細 Wiki がページ「常微分方程式 - 常微分方程式の基礎」を「応用数学 - 常微分方程式の基礎」に、リダイレクトを残さずに移動しました |
|||
| (同じ利用者による、間の4版が非表示) | |||
| 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> | |||
適当な条件を満たす初期値問題(initial value problem)については解の存在が保障されている。<br> | |||
<br> | |||
微分方程式の初期値問題の解には、以下の種類がある。<br> | |||
* 一般解 (general solution) | |||
* 特殊解 (particular solution)<br>特別解あるいは特解とも言う。 | |||
* 特異解 (singular solution) | |||
<br><br> | |||
== 初期値問題 == | |||
初期値問題とは、未知関数のある点における値を初期条件として備えた微分方程式のことである。<br> | |||
初期値問題は、コーシー問題(Cauchy problem)とも呼ばれる。<br> | |||
<br> | |||
現象を微分方程式でモデル化することは、ある初期値問題を解くことと同義である場合が多い。<br> | |||
そのような場合、微分方程式は与えられた初期条件に対して現象がどのように時間発展するかを特徴付ける発展方程式と見なされる。<br> | |||
<br><br> | <br><br> | ||
| 26行目: | 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> | |||
[[ファイル: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> | ||
| 49行目: | 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> | ||
| 54行目: | 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つの解をもつ。 | |||
さらに、その領域で、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> | ||
| 145行目: | 197行目: | ||
==== ニュートンの運動方程式 ==== | ==== ニュートンの運動方程式 ==== | ||
物体の加速度は、それに作用する力に比例し、その質量に反比例する。<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__ | ||
[[カテゴリ:解析学]] | [[カテゴリ:解析学]] | ||