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

date2026-05-26description一階微分方程式を、分離形・線型・完全・Bernoulli・同次形・置換型へ診断するための判定木として整理する。prerequisites一階微分方程式の分類 / 積分法の基本type講義statusactive

mathdifferential-equationsfirst-orderlecture

導入どうにゅう

このページの核心かくしんは、一階方程式いっかいほうていしきを最もっとも構造こうぞうが明瞭めいりょうで変形へんけいが軽かるい型かたから順じゅんに診断しんだんし、解法かいほうを選択せんたくすることである。

なぜこの順序じゅんじょで診断しんだんするのか

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

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

診断木しんだんき

$y^{'} = f (x) g (y)$ に整理せいりできるかを確認かくにんする。可能かのうなら変数分離形へんすうぶんりけいである。
$y^{'} = F (y)$ かを確認かくにんする。該当がいとうすれば自律系じりつけいとして平衡点へいこうてんを先さきに判定はんていする。
$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)$ なら、 $v = y / x$ の置換ちかんを検討けんとうする。

判定表はんていひょう

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

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

分岐ぶんき	確認かくにんする式しきの特徴とくちょう	失敗しっぱいしやすい判断はんだん
分離形ぶんりけい	$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$ と混同こんどうする

具体例ぐたいれい

y^{'} = x y

は $f (x) = x, g (y) = y$ と分離ぶんりできる。したがって変数分離へんすうぶんりを選択せんたくする。

y^{'} + x y = 1

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

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

y^{'} = 1 + \frac{y}{x}

は最初さいしょには分離ぶんりしにくい。しかし $v = y / x$ と置換ちかんすると $y = v x$ 、 $y^{'} = v + x v^{'}$ であるため、

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

となり、 $x v^{'} = 1$ の分離形ぶんりけいへ変換へんかんされる。

この例れいでは、最初さいしょの形かたちだけで分離形ぶんりけいではないと結論けつろんしてはならない。 $y / x$ が反復はんぷくして出現しゅつげんするため、同次形どうじけいの置換ちかんを検討けんとうする根拠こんきょがある。変形後へんけいごに分離形ぶんりけいへ移行いこうする型かたでは、診断木しんだんきを一方向いちほうこうの分類表ぶんるいひょうとしてではなく、再判定さいはんていを含ふくむ手順てじゅんとして運用うんようする必要ひつようがある。

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

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

のような方程式ほうていしきは、上うえの初等的しょとうてきな型かたに直接ちょくせつ該当がいとうしない。しかし右辺うへんは滑なめらかであるため、初期値問題しょきちもんだいでは局所的きょくしょてきな存在そんざい・一意性いちいせいを確認かくにんできる。この場合ばあいは、初等解法しょとうかいほうの探索たんさくを継続けいぞくするより、方向場ほうこうば・数値解法すうちかいほう・定性的解析ていせいてきかいせきへ移行いこうする判断はんだんが妥当だとうである。

どこまで成なり立たつか

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

演習えんしゅうリンク

data/exercise/math/differential-equations/一階微分方程式の分類と解法-基本演習.n.md