特異解とくいかいと包絡線ほうらくせんenvelope

date2026-07-16document_iddoc_3bd2011ad7a7156260d720ba7169fb7cdescription古典的な特異解を一般解族の定数選択では得られず、典型的に包絡線として現れる解として整理し、除算で失う定数解や非 Lipschitz な非一意枝と区別する。prerequisites微分方程式とは何か / 初期値問題の存在・一意性と最大存在区間 / 一階微分方程式の分類と最初の判定type講義content_typelecturestatusactive

mathdifferential-equationssingular-solutionenvelopelecture

1導入どうにゅう

この講義こうぎでは、特異解とくいかいsingular solutionを特殊解とくしゅかいparticular solutionと混同こんどうしないことを説明せつめいする。

特殊解とくしゅかいは、方程式ほうていしきを実際じっさいに満みたす具体的ぐたいてきな 1 本ほんの解かいである。一般解いっぱんかいが分わかっているときに任意定数にんいていすうを選えらんで得える解かいも、非同次方程式ひどうじほうていしきで先さきに構成こうせいする 1 本ほんの解かいも、どちらも特殊解とくしゅかいである。

一方いっぽう、特異解とくいかいは、一般解いっぱんかいの族ぞくから単純たんじゅんに定数ていすうを選えらんでも得えられない解かいとして現あらわれることがある。

本講義ほんこうぎで扱あつかう古典的特異解こてんてきとくいかいの要点ようてんは、

[PARSE ERROR: Undefined("Command(\"boxed\")")] 古典的な特異解は、一般解族の定数を選んでも得られない解であり、典型例は包絡線である

変数分離へんすうぶんりの除算じょざんで失うしなう定数解ていすうかいと、Lipschitz 条件じょうけんが成立せいりつしない状況じょうきょうで現あらわれる非一意枝ひいちえだも、「通常つうじょうの 1 パラメータ解族かいぞくだけでは解かいを尽つくせない」という警告けいこくを共有きょうゆうする。しかし、これらをすべて特異解とくいかいの同義語どうぎごとしては扱あつかわない。

2判定手順はんていてじゅん

特異解とくいかいを疑うたがうときは、次つぎの順じゅんで確認かくにんする。

方程式ほうていしきが非線型ひせんけいかを確認かくにんする。
一般解いっぱんかいの族ぞくが曲線族きょくせんぞくとして得えられているかを確認かくにんする。
その曲線族きょくせんぞくに包絡線ほうらくせんがあるかを調しらべる。
候補こうほが元もとの微分方程式びぶんほうていしきを満みたすかを必かならず検算けんざんする。
除算じょざんで失うしなった定数解ていすうかいや、非一意枝ひいちえだを特異解とくいかいと混同こんどうしていないかを確認かくにんする。

幾何学的きかがくてきな包絡線ほうらくせんが自動的じどうてきに微分方程式びぶんほうていしきの解かいになるとは限かぎらない。必かならず元もとの方程式ほうていしきへ代入だいにゅうして確認かくにんする。

3候補こうほの分類ぶんるい

特異解とくいかいや見落みおとしが現あらわれやすい背景はいけいは、次つぎのように整理せいりできる。

分類ぶんるい	見みるもの	結論けつろん
古典的特異解こてんてきとくいかい	$F (x, y, C) = 0, F_{C} (x, y, C) = 0$	一般解族いっぱんかいぞくの包絡線候補ほうらくせんこうほを求もとめ、元方程式もとほうていしきへ代入だいにゅうする
陰的方程式いんてきほうていしきの退化たいか	$F (x, y, p) = 0, F_{p} (x, y, p) = 0$	傾かたむき $p$ の別枝候補べつえだこうほを調しらべるが、これだけで特異解とくいかいとは結論けつろんしない
除算じょざんで失うしなう解かい	$h (y) = 0$	定数解ていすうかいを別べつに代入検算だいにゅうけんざんする。特異解とくいかいとは限かぎらない
非一意枝ひいちえだ	Lipschitz 条件じょうけんが成立せいりつしない状況じょうきょう	複数解ふくすうかいを構成こうせいして非一意性ひいちせいを確認かくにんする。古典的特異解こてんてきとくいかいとは別概念べつがいねんである

ここで $F_{C}$ は $\partial F / \partial C$ 、 $F_{p}$ は $\partial F / \partial p$ を表あらわす。 $F_{p} = 0$ は特異解とくいかいの存在そんざいを保証ほしょうする十分条件じゅうぶんじょうけんではない。しかし、傾かたむきの決定けっていが退化たいかする点てんなので、包絡線ほうらくせんや別枝べつえだの候補こうほを探索たんさくする指標しひょうになる。

4注意ちゅうい： $h (y)$ で割わると定数解ていすうかいを失うしなうことがある

変数分離形へんすうぶんりけい

y^{'} = f (x) h (y)

を解とくとき、 $h (y) \neq 0$ の範囲はんいでは

\frac{1}{h (y)} d y = f (x) d x

と分離ぶんりできる。しかし、この操作そうさは $h (y) = 0$ の値あたいを除外じょがいしている。

$h (a) = 0$ なら、定数関数ていすうかんすう $y (x) = a$ は

y^{'} = 0, f (x) h (a) = 0

を満みたすので解かいである。したがって、 $h (y)$ で割わる前まえに $h (y) = 0$ の定数解ていすうかいを別べつに確認かくにんする必要ひつようがある。

これは特異解とくいかいそのものとは限かぎらないが、非線型ひせんけい方程式ほうていしきで解かいを見落みおとしやすい典型的てんけいてきな背景はいけいである。

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

5線型方程式せんけいほうていしきとの対比たいひ

線型微分方程式せんけいびぶんほうていしきでは、同次解どうじかいの重かさね合あわせと 1 本ぽんの特殊解とくしゅかいから全解ぜんかいを組くみ立たてる。この全解構造ぜんかいこうぞうは後あとの線型方程式せんけいほうていしきの講義こうぎで扱あつかう。ここでは、包絡線型ほうらくせんがたの特異解とくいかいは主おもに非線型一階方程式ひせんけいいっかいほうていしきで調しらべると区別くべつしておけばよい。

6例れい 1：Clairaut 型がたの方程式ほうていしきと包絡線ほうらくせん

非線型ひせんけい微分方程式びぶんほうていしき

y = x y^{'} - (y^{'})^{2}

を考かんがえる。ここで $p = y^{'}$ と書かくと

y = x p - p^{2}

である。

まず $p$ が定数ていすう $C$ である場合ばあいを考かんがえると、

y = C x - C^{2}

を得える。これは $C$ を任意定数にんいていすうとする直線ちょくせんの族ぞくである。

この曲線族きょくせんぞくの包絡線ほうらくせんを求もとめる。曲線族きょくせんぞくを

F (x, y, C) = y - C x + C^{2} = 0

と書かく。包絡線ほうらくせんの候補こうほは

F (x, y, C) = 0, \frac{\partial F}{\partial C} (x, y, C) = 0

を同時どうじに満みたす点てんから得えられる。ここでは

\frac{\partial F}{\partial C} = - x + 2 C

なので $C = x / 2$ である。これを $y = C x - C^{2}$ に代入だいにゅうすると

y = \frac{x}{2} x - {(\frac{x}{2})}^{2} = \frac{x^{2}}{4}

を得える。

6.1検算けんざん

$y = x^{2} / 4$ なら

y^{'} = \frac{x}{2}

である。右辺うへんは

x y^{'} - (y^{'})^{2} = x \cdot \frac{x}{2} - {(\frac{x}{2})}^{2} = \frac{x^{2}}{4}

であり、これは $y$ に等ひとしい。したがって $y = x^{2} / 4$ は元もとの微分方程式びぶんほうていしきの解かいである。

しかし $y = x^{2} / 4$ は、どの定数ていすう $C$ を選えらんでも $y = C x - C^{2}$ という 1 本ほんの直線ちょくせんにはならない。したがって、これは一般解いっぱんかいの族ぞくの包絡線ほうらくせんとして現あらわれる特異解とくいかいである。

7傾かたむきの決定けっていの退化たいかと分岐ぶんき

上うえの例れいでは、 $y = x p - p^{2}$ を $x$ で微分びぶんすると

y^{'} = p + (x - 2 p) p^{'}

である。 $p = y^{'}$ なので

(x - 2 p) p^{'} = 0

を得える。

ここから

p^{'} = 0

という枝えだと、

x - 2 p = 0

という枝えだが現あらわれる。前者ぜんしゃは $p = C$ から直線族ちょくせんぞく $y = C x - C^{2}$ を与あたえ、後者こうしゃは $p = x / 2$ から包絡線ほうらくせん $y = x^{2} / 4$ を与あたえる。

つまり、特異解とくいかいが現あらわれる点てんでは、傾かたむきの決きまり方かたが退化たいかしている。すなわち、一般解いっぱんかいの族ぞくを構成こうせいしたときに暗黙あんもくに選えらんだ枝えだだけでは、別べつの解かいの枝えだを拾ひろえない。

8関連例かんれんれい：非ひ Lipschitz 状況じょうきょうで現あらわれる非一意枝ひいちえだ

初期値問題しょきちもんだい

y^{'} = \sqrt{| y |}, y (0) = 0

を考かんがえる。 $y = 0$ は解かいである。

一方いっぽう、任意にんいの $a [PARSE ERROR: Undefined("Command(\"ge\")")] 0$ に対たいして

y(x)= \begin{cases} 0 & (x\le a),\\ \dfrac{(x-a)^2}{4} & (x\ge a) \end{cases}y(x)= \begin{cases} 0 & (x\le a),\\ \dfrac{(x-a)^2}{4} & (x\ge a) \end{cases}

も解かいである。 $x < a$ では $y^{'} = 0 = \sqrt{| y |}$ であり、 $x > a$ では

y^{'} = \frac{x - a}{2}, \sqrt{y} = \sqrt{\frac{(x - a)^{2}}{4}} = \frac{x - a}{2}

である。 $x = a$ でも左右さゆうの導関数どうかんすうは 0 で一致いっちする。

この式しきは実数全体じっすうぜんたいで定義ていぎされた $C^{1}$ 級きゅうの解かいである。 $a [PARSE ERROR: Undefined("Command(\"ge\")")] 0$ とすれば $x = 0$ は待機区間たいきくかんに含ふくまれるため、初期条件しょきじょうけん $y (0) = 0$ を満みたす。

したがって、同おなじ初期条件しょきじょうけん $y (0) = 0$ から複数ふくすうの解かいが出でる。これは右辺うへん $\sqrt{| y |}$ が $y = 0$ の近ちかくで Lipschitz 条件じょうけんを満みたさず、Picard-Lindelof の一意性仮定いちいせいかていを使つかえないことと整合せいごうする。この待機解たいきかいは非一意枝ひいちえだの例れいであり、包絡線ほうらくせんとしての特異解とくいかいを定義ていぎする例れいではない。

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

9適用上てきようじょうの注意ちゅうい

特異解とくいかいは、特殊解とくしゅかいの言いい換かえではない。
包絡線ほうらくせんは、候補こうほであって自動的じどうてきに解かいとは限かぎらない。必かならず元もとの方程式ほうていしきへ代入だいにゅうして確認かくにんする。
除算じょざんで失うしなう定数解ていすうかいは、一般解族いっぱんかいぞくから得えられないことがあっても、特異解とくいかいとは限かぎらない。
Lipschitz 条件じょうけんが成立せいりつしない状況じょうきょうで現あらわれる非一意枝ひいちえだは、包絡線型ほうらくせんがたの特異解とくいかいとは別概念べつがいねんである。

10要約ようやく

古典的こてんてきな特異解とくいかいは、一般解族いっぱんかいぞくの定数ていすうを選えらんでも得えられない解かいであり、典型的てんけいてきには包絡線ほうらくせんとして現あらわれる。候補こうほは元方程式もとほうていしきへ代入だいにゅうして検算けんざんし、定数解ていすうかいや非一意枝ひいちえだとは名称めいしょうを分わける。

11直前ちょくぜんの講義こうぎ

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

12次つぎの講義こうぎ

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