一階いっかい微分方程式びぶんほうていしきの解法診断かいほうしんだん

date2026-07-16document_iddoc_88992b92abd9529a5319c2142a42cec2description一階微分方程式が複数の型に重なることを前提に、定義域と定数解を保全して最も軽い解法を選ぶ診断手順を整理する。prerequisites一階微分方程式の分類と最初の判定 / 変数分離形と自律方程式 / 一階線型微分方程式と積分因子 / 完全微分方程式 / 同次形一階微分方程式と置換 / Bernoulli 方程式 / 積分法の基本type講義content_typelecturestatusactive

mathdifferential-equationsfirst-orderlecture

1導入どうにゅう

この講義こうぎでは、一階方程式いっかいほうていしきを構造こうぞうが明瞭めいりょうで必要ひつような変形へんけいが少すくない型かたから順じゅんに診断しんだんし、解法かいほうを選択せんたくする方法ほうほうを説明せつめいする。1 つの方程式ほうていしきが複数ふくすうの型かたに属ぞくすることがあるため、診断木しんだんきは排他的分類はいたてきぶんるいではなく優先手順ゆうせんてじゅんとして読よむ。

2診断順序しんだんじゅんじょの根拠こんきょ

診断しんだんの順序じゅんじょは、確認かくにんに必要ひつような変形量へんけいりょうで決定けっていする。変数分離形へんすうぶんりけいと自律方程式じりつほうていしきは式しきの因子構造いんしこうぞうや右辺うへんの依存関係いぞんかんけいを直接ちょくせつ確認かくにんできる。一階線型いっかいせんけいは、係数けいすうが $x$ のみに依存いぞんし、 $y$ と $y^{'}$ が線型せんけいに現あらわれるかを確認かくにんする。完全微分方程式かんぜんびぶんほうていしき、Bernoulli 型がた、同次形どうじけいは、それぞれ微分形式びぶんけいしきの変換へんかんや置換ちかんを必要ひつようとするため、その後あとに確認かくにんする。

この順序じゅんじょを採用さいようすると、単純たんじゅんな構造こうぞうを複雑ふくざつな置換ちかんで覆おおう誤用ごようを避さけられる。診断しんだんは計算けいさんの前処理まえしょりであり、解法かいほうそのものではない。

3診断木しんだんき

右辺うへんの定義域ていぎいきと、これから割わる因子いんしが 0 になる場合ばあいを確認かくにんする。
$y^{'} = F (y)$ なら自律方程式じりつほうていしきとして $F (c) = 0$ の平衡解へいこうかい $y = c$ を先さきに保全ほぜんする。非平衡枝ひへいこうえだは変数分離へんすうぶんりできる。
$y^{'} = f (x) g (y)$ に整理せいりできるなら変数分離へんすうぶんりを第一候補だいいちこうほにする。ただし $g (y) = 0$ の定数解ていすうかいを除外じょがいしない。
$y^{'} + P (x) y = Q (x)$ に整理せいりできるなら積分因子せきぶんいんしを用もちいる。変数分離形へんすうぶんりけいにもなる場合ばあいは、計算手順けいさんてじゅんが短みじかい方法ほうほうを選択せんたくする。
$M (x, y) d x + N (x, y) d y = 0$ なら、完全性かんぜんせい $M_{y} = N_{x}$ と領域条件りょういきじょうけんを確認かくにんする。
$y^{'} + P (x) y = Q (x) y^{n}$ なら Bernoulli 置換ちかん $u = y^{1 - n}$ を検討けんとうする。
$y^{'} = F (y / x)$ なら、 $x \neq 0$ の区間くかんで $v = y / x$ の置換ちかんを検討けんとうする。

4判定表はんていひょう

型かた	判定語はんていご	典型的てんけいてきな誤判定ごはんてい
変数分離形へんすうぶんりけい	$x$ の因子いんしと $y$ の因子いんしに分解ぶんかいできる	$x + y$ を積せきのように扱あつかう
一階線型いっかいせんけい	係数けいすうが $x$ のみに依存いぞんし、 $y, y^{'}$ が線型せんけいに出現しゅつげんする	$y y^{'}$ や $y^{2}$ を含ふくむのに線型せんけいと判定はんていする
完全微分方程式かんぜんびぶんほうていしき	$M d x + N d y$ の形かたち	領域条件りょういきじょうけんを省略しょうりゃくする
Bernoulli	$y^{n}$ を含ふくむが置換ちかんで線型化せんけいかできる	非線型ひせんけいという理由りゆうだけで除外じょがいする
同次形どうじけい	$y / x$ の関数かんすう	同次線型どうじせんけいと混同こんどうする

5分岐ぶんきごとの確認点かくにんてん

分岐ぶんき	確認かくにんする式しきの特徴とくちょう	失敗しっぱいしやすい判断はんだん
変数分離形へんすうぶんりけい	$y^{'} = f (x) g (y)$ または $A (y) y^{'} = B (x)$	$x + y$ を $f (x) g (y)$ と誤認ごにんする
一階線型いっかいせんけい	$y^{'}$ と $y$ が一次いちじで、係数けいすうが $x$ のみ	$y y^{'}$ や $y^{2}$ を含ふくむ式しきを線型せんけいと判定はんていする
完全微分方程式かんぜんびぶんほうていしき	$M d x + N d y = 0$ で $M_{y} = N_{x}$	領域りょういきの穴あなや、単連結性たんれんけつせいなど大域的完全性たいいきてきかんぜんせいを保証ほしょうする十分条件じゅうぶんじょうけんを省略しょうりゃくする
Bernoulli	$y^{'} + P (x) y = Q (x) y^{n}$	$n = 0, 1$ の退化たいかを通常つうじょうの Bernoulli 型がたとして処理しょりする
同次形どうじけい	$y^{'} = F (y / x)$	同次線型どうじせんけい $L [y] = 0$ と混同こんどうする

6具体例ぐたいれい

y^{'} = x y

は変数分離形へんすうぶんりけいであると同時どうじに、 $y^{'} - x y = 0$ という一階線型いっかいせんけいでもある。まず $y = 0$ が定数解ていすうかいであることを保全ほぜんし、 $y \neq 0$ の枝えだでは計算手順けいさんてじゅんが短みじかい変数分離へんすうぶんりを選択せんたくする。

y^{'} + x y = 1

は分離ぶんりではなく $P (x) = x, Q (x) = 1$ の一階線型いっかいせんけいである。したがって積分因子せきぶんいんしを選択せんたくする。

7変形後へんけいごに診断しんだんが変化へんかする例れい

y^{'} = \frac{y}{x} + {(\frac{y}{x})}^{2}, x \neq 0

は $x > 0$ または $x < 0$ の各区間かくくかんで考かんがえる。 $v = y / x$ と置換ちかんすると $y = v x$ 、 $y^{'} = v + x v^{'}$ であるため、

v + x v^{'} = v + v^{2}

となり、 $x v^{'} = v^{2}$ の変数分離形へんすうぶんりけいへ変換へんかんされる。 $v^{2}$ で割わる前まえに、 $v = 0$ 、すなわち $y = 0$ が解かいであることも確認かくにんする。

この例れいでは、 $y / x$ だけを通とおして $x, y$ が現あらわれることが同次形置換どうじけいちかんの根拠こんきょになる。置換後ちかんごにも除算じょざんで失うしなう枝えだの確認かくにんを繰くり返かえし、 $x = 0$ を横切よこぎる解かいをこの計算けいさんから主張しゅちょうしない。

8診断不能しんだんふのうな場合ばあいの扱あつかい

y^{'} = \sin (x y)

のような方程式ほうていしきは、上うえの初等的しょとうてきな型かたに直接ちょくせつ該当がいとうしない。右辺うへん $f (x, y) = \sin (x y)$ と $y$ による偏導関数へんどうかんすう $f_{y} (x, y) = x \cos (x y)$ は連続れんぞくである。局所解きょくしょかいの存在そんざいには $f$ の連続性れんぞくせいを、一意性いちいせいには $y$ に関かんする局所きょくしょ Lipschitz 連続性れんぞくせいを使用しようすることを、後続こうぞくの存在そんざい・一意性定理いちいせいていりの講義こうぎで確認かくにんする。この場合ばあいは、初等解法しょとうかいほうの探索たんさくを継続けいぞくするより、後続こうぞくの講義こうぎで導入どうにゅうする方向場ほうこうば・数値解法すうちかいほう・定性的解析ていせいてきかいせきへ移行いこうする判断はんだんが妥当だとうである。

9適用範囲てきようはんい

この診断木しんだんきは初等解法しょとうかいほうの入口いりぐちである。診断木しんだんきのどこにも該当がいとうしない方程式ほうていしきでも、解かいが存在そんざいしないとは限かぎらない。数値解法すうちかいほうや定性的解析ていせいてきかいせきへ移行いこうする判断はんだんが必要ひつようになる。

10演習えんしゅうリンク

data/exercise/math/differential-equations/classifying-and-solving-first-order-odes.exercise.n.md

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

data/lecture/math/differential-equations/lipschitz-condition-and-continuity.lecture.n.md