微分方程式びぶんほうていしきdifferential equationとは何なにか

date2026-07-16document_iddoc_5eae2b535e5988ec3ae9956ee5a98a94description微分方程式を、未知の数ではなく未知関数を求める方程式として導入し、解・条件・階数・線型性・常微分と偏微分の違いを整理する。prerequisites微分法の基本 / 積分法の基本 / 導関数の定義と差商type講義content_typelecturestatusactive

mathdifferential-equationsintroductionlecture

1導入どうにゅう

この講義こうぎでは、微分方程式びぶんほうていしきdifferential equationが「未知数みちすう」ではなく未知関数みちかんすうunknown functionを未知みちとし、その関数かんすうと導関数どうかんすうとの関係かんけいを規定きていする方程式ほうていしきであることを説明せつめいする。

代数方程式だいすうほうていしき $x^{2} - 3 x + 2 = 0$ では、未知みちなのは数かず $x$ である。一方いっぽう、

y^{'} = k y

では、 $k$ を定数ていすうとすると、未知みちなのは関数かんすう $y (x)$ である。この式しきは「関数かんすうの変化率へんかりつ $y^{'}$ が、その点てんでの値あたい $y$ に比例ひれいする」という変化へんかの法則ほうそくを表あらわす。微分方程式びぶんほうていしきを学まなぶ最初さいしょの目的もくてきは、式しきの形式けいしきから、表現ひょうげんされる変化へんかと適用可能てきようかのうな解法かいほうを判断はんだんすることである。

data/lecture/math/calculus/introduction-to-differential-equations.lecture.n.md

2用語ようごと定義ていぎ

独立変数どくりつへんすうindependent variableとは、入力にゅうりょくとして自由じゆうに動うごかす変数へんすうである。多おおくの常微分方程式じょうびぶんほうていしきでは $x$ または $t$ を用もちいる。 $t$ は時間じかんを表あらわす場合ばあいが多おおい。

未知関数みちかんすうunknown functionとは、方程式ほうていしきを満みたすように決定けっていしたい関数かんすうである。たとえば $y = y (x)$ や $x = x (t)$ が未知関数みちかんすうである。

導関数どうかんすうderivative $y^{'}$ は、独立変数どくりつへんすうが少すこし変化へんかしたときに、未知関数みちかんすうがどれだけ変化へんかするかを表あらわす。微分方程式びぶんほうていしきに $y^{'}$ や $y^{'}'$ が入はいるということは、関数かんすうの値あたい、変化率へんかりつ、変化率へんかりつの変化へんかの間あいだに成立せいりつする関係かんけいを方程式ほうていしきとして課かしているということである。

解かいsolutionとは、指定していされた区間くかんで必要ひつような回数かいすうだけ微分可能びぶんかのうであり、方程式ほうていしきへ代入だいにゅうすると恒等的こうとうてきに成立せいりつする関数かんすうである。

たとえば $y^{'} = k y$ に対たいして $y = C e^{k x}$ を代入だいにゅうすると、

y^{'} = C k e^{k x} = k C e^{k x} = k y

である。したがって $y = C e^{k x}$ は $y^{'} = k y$ の解かいである。

3解とくとは何なにをすることか

微分方程式びぶんほうていしきを解とくとは、指定していされた区間くかん、条件じょうけん、および解かいの概念がいねんのもとで、その解集合かいしゅうごうを決定けっていすることである。初等的しょとうてきな標準例ひょうじゅんれいでは、まず条件じょうけんを含ふくまない関数族かんすうぞくを求もとめ、つぎに条件じょうけんによって候補こうほを限定げんていする。ただし、条件じょうけんの独立性どくりつせいや整合性せいごうせいによっては、解かいが存在そんざいしない場合ばあいや複数ふくすうの解かいが残のこる場合ばあいもある。

一般解いっぱんかいgeneral solutionとは、任意定数にんいていすうを含ふくむ解かいの族ぞくである。 $y^{'} = k y$ の一般解いっぱんかいは

y = C e^{k x}

である。

特殊解とくしゅかいparticular solutionとは、方程式ほうていしきを実際じっさいに満みたす具体的ぐたいてきな 1 本ほんの解かいである。この講義群こうぎぐんでは、この用語ようごに統一とういつする。

特殊解とくしゅかいを得える方法ほうほうは 1 つではない。一般解いっぱんかいが先さきに分わかっているなら、任意定数にんいていすうに値あたいを入いれて 1 本ほんを選えらべる。たとえば $y = C e^{k x}$ で $C = 2$ とすれば $y = 2 e^{k x}$ である。非同次方程式ひどうじほうていしきでは、一般解いっぱんかいを作つくる前まえに、まず 1 本ほんの特殊解とくしゅかい $y_{p}$ を構成こうせいすることもある。

特異解とくいかいsingular solutionは、特殊解とくしゅかいとは別べつの用語ようごであり、微分方程式びぶんほうていしきを満みたすが、一般解いっぱんかいの任意定数にんいていすうを選択せんたくしても得えられない解かいを指さす。非線型方程式ひせんけいほうていしきにおいて一般解族いっぱんかいぞくの包絡線ほうらくせんとして現あらわれる場合ばあいが代表的だいひょうてきである。これは線型作用素方程式せんけいさようそほうていしきの基本枠組きほんわくぐみとは別べつに扱あつかう。

data/lecture/math/differential-equations/singular-solutions-and-envelopes.lecture.n.md

初期条件しょきじょうけんinitial conditionとは、ある基準点きじゅんてんで関数かんすうの値あたいや導関数どうかんすうの値あたいを指定していする条件じょうけんである。たとえば

y^{'} = k y, y (0) = y_{0}

なら、一般解いっぱんかい $y = C e^{k x}$ に $x = 0$ を代入だいにゅうして $C = y_{0}$ を得える。したがって

y = y_{0} e^{k x}

が初期条件しょきじょうけんを満みたす解かいである。

境界条件きょうかいじょうけんboundary conditionとは、区間くかんの端点たんてんや領域りょういきの境界きょうかいで、関数かんすう、導関数どうかんすう、またはそれらの線型結合せんけいけつごうなどのデータを指定していする条件じょうけんである。初期条件しょきじょうけんは基準点きじゅんてんに状態じょうたいを指定していし、境界条件きょうかいじょうけんは定義域ていぎいきの境界きょうかいにおいて解かいを拘束こうそくする。

data/lecture/math/differential-equations/initial-and-boundary-value-problems.lecture.n.md

4階数かいすうとは何なにか

階数かいすうorderとは、方程式ほうていしきに現あらわれる未知関数みちかんすうの導関数どうかんすうのうち、最高さいこうの階かいを表あらわす。

y^{'} = k y

は $y^{'}$ までしか含ふくまないので 1 階かいである。

m y^{'}' + c y^{'} + k y = 0

は $y^{'}'$ を含ふくむので 2 階かいである。一般いっぱんに、 $y^{(n)}$ まで含ふくむ方程式ほうていしきを $n$ 階かいの微分方程式びぶんほうていしきという。

階数かいすうが重要じゅうような理由りゆうは、必要ひつような条件じょうけんの数かずに関係かんけいするからである。たとえば 2 階かいの運動方程式うんどうほうていしきでは、位置いちと速度そくどの 2 つの初期値しょきちが必要ひつようになることが多おおい。ただし、これは典型的てんけいてきな対応たいおうであり、条件じょうけんの独立性どくりつせいと整合性せいごうせいを別途べっと確認かくにんする必要ひつようがある。

5線型せんけいlinearと非線型ひせんけいnonlinearの違ちがい

線型微分方程式せんけいびぶんほうていしきlinear differential equationとは、未知関数みちかんすうとその導関数どうかんすうが 1 次じで現あらわれ、互たがいに乗算じょうざんされず、その係数けいすうが独立変数どくりつへんすうのみに依存いぞんする微分方程式びぶんほうていしきである。

たとえば

y^{'} + p (x) y = q (x)

や

a y^{'}' + b y^{'} + c y = f (x)

は線型せんけいである。一方いっぽう、

y^{'} = y^{2}, y^{'}' + \sin y = 0, y y^{'} = x

は非線型ひせんけいである。

線型せんけいが重要じゅうような理由りゆうは、同次方程式どうじほうていしきの解かいを足たしても解かいになるという重かさね合あわせの原理げんりsuperposition principleが成立せいりつするからである。これは後あとで二階線型にかいせんけいや非同次方程式ひどうじほうていしきを扱あつかうときの中心ちゅうしんになる。

6常微分方程式じょうびぶんほうていしきordinary differential equationと偏微分方程式へんびぶんほうていしきpartial differential equation

常微分方程式じょうびぶんほうていしきordinary differential equation、すなわち ODE は、未知関数みちかんすうが 1 つの独立変数どくりつへんすうに依存いぞんする場合ばあいの微分方程式びぶんほうていしきである。たとえば $y = y (t)$ として

y^{'} = k y

を考かんがえる場合ばあいである。

偏微分方程式へんびぶんほうていしきpartial differential equation、すなわち PDE は、未知関数みちかんすうが 2 つ以上いじょうの独立変数どくりつへんすうに依存いぞんし、その偏導関数へんどうかんすうを含ふくむ微分方程式びぶんほうていしきである。たとえば温度おんど $u (t, x)$ が時間じかん $t$ と位置いち $x$ に依存いぞんする場合ばあい、時間微分じかんびぶんと空間微分くうかんびぶんが同時どうじに現あらわれる。

この講義群こうぎぐんでは、まず ODE を中心ちゅうしんに扱あつかう。PDE は空間分布くうかんぶんぷが本質ほんしつになる段階だんかいで別べつに扱あつかう。

7微分方程式びぶんほうていしきを読よむ手順てじゅん

初学者しょがくしゃが最初さいしょに固定こていすべき手順てじゅんは、問題分析もんだいぶんせき、方針ほうしん、実行じっこう、検算けんざん、一般化いっぱんかである。

問題分析もんだいぶんせきでは、未知関数みちかんすう、独立変数どくりつへんすう、階数かいすう、条件じょうけんを確認かくにんする。
方針ほうしんでは、式しきの形かたちから直接積分ちょくせつせきぶん、変数分離へんすうぶんり、一階線型いっかいせんけいなどの候補こうほを選えらぶ。
実行じっこうでは、選えらんだ方法ほうほうの条件じょうけんを確認かくにんしながら計算けいさんする。
検算けんざんでは、得えた関数かんすうを元もとの微分方程式びぶんほうていしきと条件じょうけんへ代入だいにゅうする。
一般化いっぱんかでは、その解法かいほうがどの型かたまで有効ゆうこうかを確認かくにんする。

この順序じゅんじょにすると、解法名かいほうめいを先さきに暗記あんきするのではなく、方程式ほうていしきの形かたちから道具どうぐを選択せんたくできる。

8最小例さいしょうれい： $y^{'} = k y$

最後さいごに、入口いりぐちとして $y^{'} = k y$ を確認かくにんする。この式しきは「変化率へんかりつが現在量げんざいりょうに比例ひれいする」法則ほうそくである。

$k > 0$ なら増加ぞうかが増加ぞうかを呼よぶため、指数増加しすうぞうかが現あらわれる。 $k < 0$ なら量りょうが大おおきいほど減少げんしょうも大おおきく、指数減衰しすうげんすいが現あらわれる。

計算けいさんとしては、 $y \neq 0$ の範囲はんいで

\frac{1}{y} \frac{d y}{d x} = k

と整理せいりし、

\log | y | = k x + C

を得える。したがって

y = C e^{k x}

である。 $y = 0$ も定数解ていすうかいであり、 $C = 0$ として同おなじ形かたちに含ふくめる。

この例れいは、方程式ほうていしきの形式けいしきを分析ぶんせきし、解法かいほうを選択せんたくし、得えた関数かんすうを代入だいにゅうして検算けんざんするという基本手順きほんてじゅんを示しめしている。

9次つぎに参照さんしょうするページ

data/lecture/math/differential-equations/initial-and-boundary-value-problems.lecture.n.md data/lecture/math/differential-equations/classifying-first-order-odes.lecture.n.md

10演習えんしゅうリンク

data/exercise/math/differential-equations/introduction-to-odes-and-direct-integration.exercise.n.md