応用数学 - 常微分方程式の基礎 - 版の履歴

Wiki: Wiki がページ「常微分方程式 - 常微分方程式の基礎」を「応用数学 - 常微分方程式の基礎」に、リダイレクトを残さずに移動しました

2023-09-01T20:26:55Z

Wiki がページ「常微分方程式 - 常微分方程式の基礎」を「応用数学 - 常微分方程式の基礎」に、リダイレクトを残さずに移動しました

← 古い版	2023年9月2日 (土) 05:26時点における版
(相違点なし)

2022年11月15日 (火) 22:27にWikiによる

2022-11-15T22:27:14Z

← 古い版		2022年11月16日 (水) 07:27時点における版
51行目:		51行目:
	**: Cに0を代入した時の特殊解 : <math>y = x^2</math>		**: Cに0を代入した時の特殊解 : <math>y = x^2</math>
	**: Cに1を代入した時の特殊解 : <math>y = x^2 + 1</math>		**: Cに1を代入した時の特殊解 : <math>y = x^2 + 1</math>
	*: <br>		<br>
			[[ファイル:Ordinary Differential Equations Basis 1.png\|フレームなし\|中央]]
			<br>
	* 2階常微分方程式		* 2階常微分方程式
	*: <math>\frac{d^2y}{dx^2} - 2 \frac{dy}{dx} + y = 0</math>		*: <math>\frac{d^2y}{dx^2} - 2 \frac{dy}{dx} + y = 0</math>
74行目:		76行目:
	** 特異解		** 特異解
	**: <math>y = \frac{x^2}{4}</math> (放物線)		**: <math>y = \frac{x^2}{4}</math> (放物線)
			<br>
			[[ファイル:Ordinary Differential Equations Basis 2.png\|フレームなし\|中央]]
	<br><br>		<br><br>

79行目:		83行目:
	特別な場合の初期値問題については、解の存在とその一意性が保障されている。<br>		特別な場合の初期値問題については、解の存在とその一意性が保障されている。<br>
	<br>		<br>
	* 定理(解の存在と一意性)		定理(解の存在と一意性)
	*: 2変数関数f(x, y)が点(a, b)を含むxy平面上のある領域において、連続かつ有限の値をとるならば、
	*: 初期値問題 <math>\frac{dy}{dx} = f(x, y), \quad y(a) = b</math> は、少なくとも1つの解をもつ。		2変数関数f(x, y)が点(a, b)を含むxy平面上のある領域において、連続かつ有限の値をとるならば、
	*: さらに、その領域で、f(x, y)がyに関して偏微分可能であり、<math>\frac{\partial f}{\partial y}</math> が連続ならば、ただ1つの解をもつ。		初期値問題 <math>\frac{dy}{dx} = f(x, y), \quad y(a) = b</math> は、少なくとも1つの解をもつ。

			さらに、その領域で、f(x, y)がyに関して偏微分可能であり、<math>\frac{\partial f}{\partial y}</math> が連続ならば、ただ1つの解をもつ。
			<br><br>

			== 微分方程式の解曲線の直観的意味 ==
			直観的意味.
			川の各地点ごとに流れの方向が決まっている時、曲折しながら流れる川で、水面に浮かぶ笹船の描く曲線が微分方程式の解曲線である。

			解説.
			以下の微分方程式を考える。
			<math>\frac{dy}{dx} = f(x, y)</math>

			ここで、<math>\frac{dy}{dx}</math> は、点(x, y)における接線の傾きである。
			平面上の各点(x, y)に傾き、f(x, y)の小矢印を記入するとき、方向の場が与えられる。

			曲線 <math>f(x, y) = k</math> 上のどの点にも同一の傾きkの小矢印が記入できる。
			そのため、曲線 <math>f(x, y) = k</math> を等傾線と呼ぶことがある。

			下図に示すように、<math>y(a) = b</math> という初期条件が与えられれば、点(a, b)を通って方向の場を表す小矢印と各点で接する曲線が、
			微分方程式 <math>\frac{dy}{dx} = f(x, y)</math> の解曲線である。
			<br>
			川の各地点ごとに流れの方向が決まっている時、曲折しながら流れる川で、水面に浮かぶ笹船の描く曲線が微分方程式の解曲線である。
			[[ファイル:Ordinary Differential Equations Basis 3.png\|フレームなし\|中央]]
	<br><br>		<br><br>

Wiki: /* 概要 */

2022-11-15T22:16:19Z

概要

@@ 8行目: / 8行目: @@
 微分方程式を満たす関数 <math>y = f(x)</math>、または、<math>f(x, y) = 0</math> を、その方程式の解または解曲線という。<br>
 微分方程式における解の関数(未知関数)を求めることを「微分方程式を解く」という。<br>
 <br><br>

Wiki: /* 概要 */

2022-11-13T19:23:12Z

概要

← 古い版		2022年11月14日 (月) 04:23時点における版
1行目:		1行目:
	== 概要 ==		== 概要 ==
			微分方程式(differential equation)とは、未知関数とその導関数の関係式として記述される関数方程式である。<br>
			微分方程式は、常微分方程式(ordinary differential equation)と偏微分方程式(partial differential equation)に分類される。<br>
			<br>
			yをxの1変数関数とする時、yは <math>y = f(x)</math> または <math>f(x, y) = 0</math> と記述する。<br>
			この時、変数x、関数y、関数yの微分(導関数)である <math>\frac{dy}{dx}, \quad \frac{d^2 y}{dx^2}, \quad \frac{d^3 y}{dx^3}, \cdots</math> を含んだ方程式を、常微分方程式という。<br>
			<br>
			微分方程式を満たす関数 <math>y = f(x)</math>、または、<math>f(x, y) = 0</math> を、その方程式の解または解曲線という。<br>
			微分方程式における解の関数(未知関数)を求めることを「微分方程式を解く」という。<br>
	<br><br>		<br><br>

Wiki: /* ニュートンの運動方程式 */

2022-11-13T19:16:51Z

ニュートンの運動方程式

← 古い版		2022年11月14日 (月) 04:16時点における版
145行目:		145行目:
	==== ニュートンの運動方程式 ====		==== ニュートンの運動方程式 ====
	物体の加速度は、それに作用する力に比例し、その質量に反比例する。<br>		物体の加速度は、それに作用する力に比例し、その質量に反比例する。<br>
			この法則を数式で表すと、物体の位置xを未知関数とする微分方程式で表される。<br>
	<math>F = m \frac{d^2 x}{dt^2} \qquad</math> (F : 力、 m : 質量、 <math>\frac{d^2 x}{dt^2}</math> : 加速度)<br>		<math>F = m \frac{d^2 x}{dt^2} \qquad</math> (F : 力、 m : 質量、 <math>\frac{d^2 x}{dt^2}</math> : 加速度)<br>
			<br>
			ここで、Fは物体に働く力、 mは物体の質量、xは物体の時間tにおける位置を表す関数、<math>\frac{d^2 x}{dt^2}</math> は物体の加速度である。<br>
			また、<math>\frac{dx}{dt}</math> は物体の速度である。<br>
	<br><br>		<br><br>

	__FORCETOC__		__FORCETOC__
	[[カテゴリ:解析学]]		[[カテゴリ:解析学]]

Wiki: /* 人口増加の法則 */

2022-11-13T19:13:50Z

人口増加の法則

@@ 120行目: / 120行目: @@
 人口(一般に生物の個体数)の増加率は、その時点での人口に比例する。<br>
 <math>\frac{dx}{dt} = kx \qquad</math> (時刻tにおける人口 : x(t))<br>
 ==== ニュートンの運動方程式 ====
 物体の加速度は、それに作用する力に比例し、その質量に反比例する。<br>

Wiki: ページの作成:「== 概要 ==

== 一般解と特殊解 == n階常微分方程式の初期値問題において、n個の任意定数を含む解を、一般解という。
一般解の任意定数に特別な値を代入して得られる解を、特殊解(特別解または特解)という。

1つの定数Cに対して、以下の初期値問題の解曲線を $y = y(x, C)$ とする。
$\frac{dy}{dx} = f(x, y) \qquad \mbox{( 1 階常…」$

2022-11-13T19:04:11Z

ページの作成:「== 概要 == == 一般解と特殊解 == n階常微分方程式の初期値問題において、n個の任意定数を含む解を、一般解という。 一般解の任意定数に特別な値を代入して得られる解を、特殊解(特別解または特解)という。 1つの定数Cに対して、以下の初期値問題の解曲線を <math>y = y(x, C)</math> とする。 <math>\frac{dy}{dx} = f(x, y) \qquad \mbox{( 1 階常…」

新規ページ

== 概要 ==

 

== 一般解と特殊解 ==
n階常微分方程式の初期値問題において、n個の任意定数を含む解を、一般解という。 
一般解の任意定数に特別な値を代入して得られる解を、特殊解(特別解または特解)という。 
 
1つの定数Cに対して、以下の初期値問題の解曲線を <math>y = y(x, C)</math> とする。 
<math>\frac{dy}{dx} = f(x, y) \qquad \mbox{( 1 階常微分方程式 )} </math> 
<math>y(a) = C \qquad \mbox{( 初期条件 : x = a のとき y = C )}</math> 
 
定数Cを動かした時、解曲線 <math>y = y(x, C)</math> は様々な関数を表す。 
このように、常微分方程式 <math>\frac{dy}{dx} = f(x, y)</math> の無数の解曲線を表す任意定数Cを含んだ解 <math>y = y(x, C)</math> が一般解である。 
 
一般解は、微分方程式の解曲線の集まり、すなわち、解曲線群を表す。 
特殊解は、解曲線群の中の個々の解曲線を表す。 
 

== 一般解と特殊解の例 ==
* 1階常微分方程式
*: <math>\frac{dy}{dx} = 2x</math>
** 一般解
**: <math>y = x^2 + C \qquad \mbox{( C は任意定数 ) }</math>
** 特殊解
**: Cに0を代入した時の特殊解 : <math>y = x^2</math>
**: Cに1を代入した時の特殊解 : <math>y = x^2 + 1</math>
*: 
* 2階常微分方程式
*: <math>\frac{d^2y}{dx^2} - 2 \frac{dy}{dx} + y = 0</math>
** 一般解
**: <math>y = (C_1 x + C_2 )e^x \qquad (C_1, C_2 : \mbox{任意定数 })</math>
** 特殊解
**: <math>C_1 = 1, \, C_2 = 1</math> を代入した時の特殊解 : <math>y = (x + 1)e^x</math>
 

== 特異解 ==
常微分方程式の一般解の任意定数において、どのような値を代入しても得られない解が存在する場合がある。 
このような解を、特異解という。 
 
つまり、特異解は一般解に含めることができない解である。 
 

== 特異解の例 ==
* 常微分方程式
*: <math>\left (\frac{dy}{dx} \right )^2 - \frac{dy}{dx} x + y = 0</math>
** 一般解
**: <math>y = Cx - C^2</math> (直線群)
** 特異解
**: <math>y = \frac{x^2}{4}</math> (放物線)
 

== 解の存在と一意性 ==
特別な場合の初期値問題については、解の存在とその一意性が保障されている。 
 
* 定理(解の存在と一意性)
*: 2変数関数f(x, y)が点(a, b)を含むxy平面上のある領域において、連続かつ有限の値をとるならば、
*: 初期値問題 <math>\frac{dy}{dx} = f(x, y), \quad y(a) = b</math> は、少なくとも1つの解をもつ。
*: さらに、その領域で、f(x, y)がyに関して偏微分可能であり、<math>\frac{\partial f}{\partial y}</math> が連続ならば、ただ1つの解をもつ。
 

== 基礎方程式 (支配方程式) ==
根本的な物理法則を数学的な方程式で表したものを、基礎方程式、または、支配方程式(governing equations)という。 
それらの方程式は、常微分方程式、または、偏微分方程式で表されることが多い。 
 
基礎方程式の例 
* マクスウェル方程式(電磁気学)
* シュレーディンガー波動方程式(量子力学)
* ハイゼンベルグ運動方程式(量子力学)
* ナビエ-ストークス方程式(流体力学)
* アインシュタイン方程式(一般相対性理論)
 

== 常微分方程式の例 ==
==== ニュートンの冷却法則 ====
ニュートンの冷却法則とは、物体の温度の低下(上昇)速度は、外気との温度差に比例する。 
<math>\frac{dx}{dt} = -k(T - T_s) \qquad</math> (変数分離系) 
 
xは熱した物質の温度で、時間tを変数とする関数であり、xsは周囲の環境の温度で定数である。 
また、<math>k > 0</math> は冷却の強さを表す定数（熱伝達率）であり、熱容量、表面積、熱伝導率等に依存する。 
 
この時、<math>\frac{dx}{dt} = -k(x - x_s)</math> の一般解は、 
<math>
\begin{array}{lcl}
\frac{dx}{x - x_s} &=& -k \\
\int{\frac{1}{x - x_s}} dx &=& \int{-k dt} \\
ln(x - x_s) &=& -kt + C \\
x - x_s &=& e^{-kt + c} \\
x &=& e^{-kt} e^C + x_s \\
x &=& C e^{-kt} + x_s \quad \therefore e^C = C
\end{array}
</math> 
 
したがって、<math>x = C e^{kt} + x_s \qquad</math> (C : 任意の定数)となる。 
<math>t = 0</math> とする時、定数Cは <math>C = x - x_s</math> となる。 
この時、特殊解は、<math>x = (x - x_s) e^{kt} + x_s</math> となる。 
 
初期値を <math>x(0) = x_0</math> とする時、<math>x(t) = (x_0 - x_s) e^{-kt} + x_s</math> と表すことができる。 
 
例題1.
フライパンの温度x0を100[℃]、部屋の温度xsを20[℃]とする。
フライパンを50分間放置した場合(x(t) = 50)、ニュートンの冷却法則における定数kを求めよ。

解答.
<math>x(t) = (x_0 - x_s) e^{-kt} + x_s</math> より、
<math>50 = (100 - 20) e^{-30k} + 20</math>
<math>k = - \frac{1}{30} ln{\frac{3}{8}}</math>
したがって、<math>k \cong 0.03</math> となる。

例題2.
温度20[℃]の室内で温度60[℃]のコーヒーを5分間放置する場合、コーヒーは何[℃]になるか求めよ。
この部屋では、<math>k = 0.032</math> とする。

解答.
<math>x(t) = (x_0 - x_s) e^{-kt} + x_s</math> より、
<math>x = (60 - 20) e^{-5 \times 0.032} + 20</math>
<math>x \cong 54.1</math>
 
==== 人口増加の法則 ====
人口(一般に生物の個体数)の増加率は、その時点での人口に比例する。 
<math>\frac{dx}{dt} = kx \qquad</math> (時刻tにおける人口 : x(t)) 

 
==== ニュートンの運動方程式 ====
物体の加速度は、それに作用する力に比例し、その質量に反比例する。 
<math>F = m \frac{d^2 x}{dt^2} \qquad</math> (F : 力、 m : 質量、 <math>\frac{d^2 x}{dt^2}</math> : 加速度) 

 

__FORCETOC__
[[カテゴリ:解析学]]