微分方程式びぶんほうていしきポータル

date2026-07-16document_iddoc_e14ebb4dd4fd8333364528137f9bce7adescription微分方程式を初めて読むための地図として、未知関数・条件・型判定・一階解法・二階線型・作用素法・数値解法への順序を整理する。prerequisites微分法の基本 / 積分法の基本 / 導関数の定義と差商type講義content_typelecturestatusactive

mathdifferential-equationsportallecture

1導入どうにゅう

この講義こうぎでは、微分方程式びぶんほうていしきdifferential equationを解法かいほうの一覧いちらんとして覚おぼえるのではなく、式しきの形かたちから「なぜその方針ほうしんを選えらぶか」を判断はんだんする順序じゅんじょとして読よむことを説明せつめいする。

初学者しょがくしゃにとって最初さいしょに重要じゅうようなのは、難むずかしい解法名かいほうめいではない。未知みちなのが数かずではなく未知関数みちかんすうunknown functionであること、導関数どうかんすうが変化率へんかりつを表あらわすこと、条件じょうけんによって解かいの候補こうほを制約せいやくし、その存在そんざいと一意性いちいせいを別途べっと確認かくにんすることを先さきに理解りかいする必要ひつようがある。

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

2全体方針ぜんたいほうしん

微分方程式びぶんほうていしきを読よむときは、次つぎの順序じゅんじょを固定こていする。

未知関数みちかんすうと独立変数どくりつへんすうを確認かくにんする。
階数かいすう、線型性せんけいせい、条件じょうけんを確認かくにんする。
式しきの形かたちから解法かいほうの候補こうほを選択せんたくする。
得えた解かいを元もとの方程式ほうていしきと条件じょうけんへ代入だいにゅうして検算けんざんする。
その方法ほうほうが使つかえる条件じょうけんと使つかえない場面ばめんを確認かくにんする。

この順序じゅんじょにする理由りゆうは、同おなじ「微分方程式びぶんほうていしき」でも、変数分離へんすうぶんり、積分因子せきぶんいんし、特性方程式とくせいほうていしき、行列ぎょうれつ、数値解法すうちかいほうが使つかえる条件じょうけんが異ことなるからである。

3最初さいしょに読よむ 3 本ぼん

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

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

未知関数みちかんすう、独立変数どくりつへんすう、導関数どうかんすう、解かい、一般解いっぱんかい、特殊解とくしゅかいを定義ていぎする。ここを飛とばすと、後あとの解法かいほうが単たんなる手順暗記てじゅんあんきになる。

3.22. 初期値問題しょきちもんだいと境界値問題きょうかいちもんだい

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

微分方程式びぶんほうていしきでは、方程式ほうていしきだけでなく条件じょうけんが解かいを決定けっていする。初期値問題しょきちもんだいは出発点しゅっぱつてんから曲線きょくせんを伸のばす問題もんだいであり、境界値問題きょうかいちもんだいは端点たんてんや境界きょうかいで曲線きょくせんを拘束こうそくする問題もんだいである。

3.33. 一階いっかいの型判定かたはんてい

data/lecture/math/differential-equations/classifying-first-order-odes.lecture.n.md

一階いっかいでは、最初さいしょに $y^{'} = f (x)$ 、 $y^{'} = f (x) g (y)$ 、 $y^{'} + p (x) y = q (x)$ などの形かたちを確認かくにんする。形かたちを確認かくにんする理由りゆうは、式変形しきへんけいの狙ねらいが型かたごとに異ことなるからである。

4方程式ほうていしきの形かたちから道具どうぐを選えらぶ表ひょう

見みえる形かたち	最初さいしょに確認かくにんすること	選えらぶ道具どうぐ
$y^{'} = f (x)$	導関数どうかんすうが $x$ だけで決きまるか	直接積分ちょくせつせきぶん
$y^{'} = f (x) g (y)$	$x$ 側がわと $y$ 側がわに分離ぶんりできるか	変数分離法へんすうぶんりほう
$y^{'} = F (y)$	現在げんざいの値あたいだけで増減ぞうげんが決きまるか	平衡解へいこうかい、相線そうせん、変数分離へんすうぶんり
$y^{'} + p (x) y = q (x)$	$y$ と $y^{'}$ が 1 次じで現あらわれるか	積分因子せきぶんいんし、定数変化法ていすうへんかほう
$M (x, y) d x + N (x, y) d y = 0$	ある関数かんすう $F (x, y)$ の全微分ぜんびぶんか	完全微分方程式かんぜんびぶんほうていしき
$a y^{'}' + b y^{'} + c y = 0$	係数けいすうが定数ていすうか	特性方程式とくせいほうていしき
$a y^{'}' + b y^{'} + c y = f (x)$	同次解どうじかいと特殊解とくしゅかいに分わけられるか	未定係数法みていけいすうほう、定数変化法ていすうへんかほう
$\vec{x^{'}} = A \vec{x}$	複数ふくすうの量りょうが同時どうじに変化へんかするか	行列ぎょうれつ、固有値こゆうち
式しきで解ときにくい	解かいの式しきより振ふる舞まいが必要ひつようか	方向場ほうこうば、数値解法すうちかいほう

この表ひょうは暗記表あんきひょうではなく、最初さいしょに何なにを観察かんさつするかの地図ちずである。

5第だい1 部ぶ：一階いっかい微分方程式びぶんほうていしき

5.1変数分離形へんすうぶんりけいと自律系じりつけい

data/lecture/math/differential-equations/separable-equations-and-autonomous-systems.lecture.n.md

$y^{'} = f (x) g (y)$ の形かたちなら、 $x$ 側がわと $y$ 側がわの依存関係いぞんかんけいを分わけて積分せきぶんする。自律系じりつけい $y^{'} = F (y)$ では、解かいを求もとめる前まえに平衡解へいこうかいと符号ふごうから挙動きょどうを読よめる。

5.2一階線型いっかいせんけいと積分因子せきぶんいんし

data/lecture/math/differential-equations/first-order-linear-odes-and-integrating-factors.lecture.n.md

$y^{'} + p (x) y = q (x)$ では、左辺さへんを $(μ y)^{'}$ という積せきの微分びぶんへ作つくり替かえる。積分因子せきぶんいんしは公式こうしきではなく、積せきの微分公式びぶんこうしきを逆向ぎゃくむきに使つかうための因子いんしである。

5.3完全微分方程式かんぜんびぶんほうていしき

data/lecture/math/differential-equations/exact-differential-equations.lecture.n.md

$M d x + N d y = 0$ を $d F = 0$ と見みられるなら、解かいは $F (x, y) = C$ である。初学者しょがくしゃは、ここで偏微分へんびぶんと全微分ぜんびぶんを使つかうため、必要ひつように応おうじて多変数微積分たへんすうびせきぶんへ戻もどる。

data/lecture/math/multivariable-calculus/multivariable-functions-and-partial-derivatives.lecture.n.md

5.4置換ちかんで解とける型かた

data/lecture/math/differential-equations/homogeneous-first-order-odes-and-substitution.lecture.n.md data/lecture/math/differential-equations/bernoulli-equations.lecture.n.md

ある形かたちでは、未知関数みちかんすうをそのまま扱あつかうより、新あたらしい変数へんすうに置換ちかんすると一階線型いっかいせんけいや変数分離へんすうぶんりへ戻もどる。置換ちかんは技巧ぎこうではなく、既知きちの解とける型かたへ帰着きちゃくするための変形へんけいである。

6第だい2 部ぶ：存在そんざい・一意性いちいせい・定性的理解ていせいてきりかい

data/lecture/math/differential-equations/existence-uniqueness-and-lipschitz-condition.lecture.n.md data/lecture/math/differential-equations/direction-fields-euler-method-error-and-stability.lecture.n.md

微分方程式びぶんほうていしきには、式しきで解とく前まえに「解かいが存在そんざいするか」「1 本ほんに決きまるか」という問題もんだいがある。また、式しきで解とけなくても、方向場ほうこうばslope fieldやEuler 法ほうEuler methodで解曲線かいきょくせんの振ふる舞まいを確認かくにんできる。

特異解とくいかいは、一般解いっぱんかいの族ぞくが包絡線ほうらくせんを持もつとき、または一意性いちいせい・正則性せいそくせいが退化たいかする点てんで現あらわれる。線型作用素方程式せんけいさようそほうていしきの外側そとがわにある現象げんしょうとして分わけて扱あつかう。

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

7第だい3 部ぶ：二階線型にかいせんけいと作用素さようその見方みかた

data/lecture/math/differential-equations/second-order-linear-constant-coefficient-odes.lecture.n.md data/lecture/math/differential-equations/nonhomogeneous-equations-and-undetermined-coefficients.lecture.n.md

$a y^{'}' + b y^{'} + c y = f (x)$ のような線型せんけいの方程式ほうていしきでは、同次解どうじかいと特殊解とくしゅかいを分わける。後半こうはんでは、この構造こうぞうを

L [y] = f

という線型作用素方程式せんけいさようそほうていしきlinear operator equationとして読よむ。解かいが存在そんざいするかは像ぞうimage、自由度じゆうどは核かくkernelで整理せいりできる。

data/lecture/math/linear-operator/linear-operator-equation-basics.lecture.n.md

$D = \frac{d}{d x}$ と書かくと、定数係数線型方程式ていすうけいすうせんけいほうていしきは $P (D) y = f$ と表現ひょうげんできる。この見方みかたは、特性方程式とくせいほうていしき、演算子法えんざんしほう、ラプラス変換へんかんへ接続せつぞくする。

data/lecture/math/linear-operator/polynomial-operators-and-eigenvalue-problems.lecture.n.md data/lecture/math/linear-operator/heaviside-operator-method-and-transforms.lecture.n.md data/lecture/math/analysis/introduction-to-laplace-transform.lecture.n.md

8第だい4 部ぶ：連立系れんりつけい・安定性あんていせい・応用おうよう

data/lecture/math/differential-equations/first-order-systems-and-matrix-exponentials.lecture.n.md data/lecture/math/differential-equations/phase-planes-and-stability.lecture.n.md

複数ふくすうの量りょうが同時どうじに変化へんかするとき、未知関数みちかんすうを成分せいぶんにもつベクトルvectorとして扱あつかい、行列ぎょうれつで結合けつごうを表現ひょうげんする。2 階かいの方程式ほうていしきも、位置いちと速度そくどを状態変数じょうたいへんすうにすれば 1 階かいの連立系れんりつけいに変換へんかんできる。

data/lecture/math/differential-equations/physical-models-and-transition-to-pdes.lecture.n.md

物理ぶつり・化学かがく・工学こうがくでは、式しきの各項かくこうが何なにを表あらわし、単位たんいが一致いっちするかを確認かくにんする。微分方程式びぶんほうていしきは現象げんしょうを関数かんすうの変化法則へんかほうそくへ翻訳ほんやくする言語げんごである。

9見分みわけ方かたの最終整理さいしゅうせいり

問とい	確認かくにんする対象たいしょう	理由りゆう
何なにが未知みちか	未知関数みちかんすうと独立変数どくりつへんすう	数かずではなく関数かんすうを求もとめるため
何階なんかいか	最高階さいこうかいの導関数どうかんすう	必要ひつような条件数じょうけんすうと解法かいほうが変かわるため
線型せんけいか	$y, y^{'}, y^{'}'$ が 1 次じか	重かさね合あわせと作用素さようその見方みかたが使つかえるため
条件じょうけんはどこか	初期値しょきちか境界値きょうかいちか	時間発展じかんはってんか空間拘束くうかんこうそくかが変かわるため
式しきで解とけるか	型かたに該当がいとうするか	該当がいとうしなければ定性的解析ていせいてきかいせきや数値解法すうちかいほうへ移行いこうするため

10演習えんしゅうリンク

data/exercise/math/differential-equations/introduction-to-odes-and-direct-integration.exercise.n.md data/exercise/math/differential-equations/classifying-and-solving-first-order-odes.exercise.n.md data/exercise/math/differential-equations/second-order-linear-odes.exercise.n.md data/exercise/math/differential-equations/systems-and-stability.exercise.n.md