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

1導入どうにゅう

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

である。

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

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

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

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

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

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

を得える。

6.1検算けんざん

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

である。右辺うへんは

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

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

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

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

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

を得える。

ここから

という枝えだと、

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

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

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

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

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

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

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

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

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

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

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

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

10要約ようやく

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

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

12次つぎの講義こうぎ

Singular Solutions and Envelopes

1Introduction

This lecture distinguishes a singular solution from a particular solution.

A particular solution is one specific function that satisfies the equation. A solution obtained by selecting the arbitrary constant in a general solution and a single solution constructed for a nonhomogeneous equation are both particular solutions.

By contrast, a singular solution may occur as a solution that cannot be obtained by selecting a constant from the general one-parameter family.

The classical situation treated in this lecture can be summarized as

Constant solutions discarded during division in separation of variables and nonunique branches that arise in a non-Lipschitz setting share the warning that a standard one-parameter family may not exhaust all solutions. They are not, however, treated here as synonyms for singular solutions.

2Diagnostic Procedure

When a singular solution is suspected, use the following procedure.

1. Determine whether the equation is nonlinear.
2. Determine whether a general one-parameter family of solution curves is available.
3. Examine whether the family has an envelope.
4. Substitute every candidate into the original differential equation.
5. Verify that a constant solution lost through division or a nonunique branch is not being conflated with a singular solution.

A geometric envelope is not automatically a solution of the differential equation. Direct substitution into the original equation is essential.

3Classification of Candidates

The principal mechanisms that may produce an additional candidate can be organized as follows.

Here $$F_C=\mathit{\partial }F/\mathit{\partial }C$$F_C=\partial F/\partial C and $$F_p=\mathit{\partial }F/\mathit{\partial }p$$F_p=\partial F/\partial p. The condition $$F_p=0$$F_p=0 is not sufficient for existence of a singular solution. It marks a degeneracy in the determination of the slope and is therefore an indicator for investigating an envelope or an additional branch.

4Caution: Division by $$h\left(y\right)$$h(y) May Discard Constant Solutions

For the separable equation

one may write

where $$h\left(y\right)\ne 0$$h(y)\ne0. This operation excludes the values for which $$h\left(y\right)=0$$h(y)=0.

If $$h\left(a\right)=0$$h(a)=0, the constant function $$y\left(x\right)=a$$y(x)=a satisfies

and is therefore a solution. Every constant root of $$h$$h must be checked before division.

Such a constant solution need not be singular, but its loss is a typical source of incomplete solution sets for nonlinear equations.

5Contrast with Linear Equations

For a linear differential equation, all solutions are constructed from the superposition of homogeneous solutions and one particular solution. That structure is developed in later lectures on linear equations. In the present context, envelope-type singular solutions are investigated primarily for nonlinear first-order equations.

6Example 1: A Clairaut-Type Equation and Its Envelope

Consider the nonlinear differential equation

Writing $$p=y^{\prime }$$p=y' gives

First suppose that $$p$$p is a constant $$C$$C. Then

which is a family of straight lines parametrized by $$C$$C.

To find its envelope, write the family implicitly as

An envelope candidate is obtained from the simultaneous equations

Here

so $$C=x/2$$C=x/2. Substitution into $$y=Cx-C^2$$y=Cx-C^2 gives

6.1Verification

If $$y=x^2/4$$y=x^2/4, then

The right-hand side of the original equation is

which equals $$y$$y. Thus $$y=x^2/4$$y=x^2/4 is indeed a solution.

No fixed constant $$C$$C makes the parabola $$y=x^2/4$$y=x^2/4 equal to one line $$y=Cx-C^2$$y=Cx-C^2. It is therefore a singular solution occurring as the envelope of the general family.

7Degeneracy in the Determination of the Slope

In the preceding example, differentiation of $$y=xp-p^2$$y=xp-p^2 with respect to $$x$$x gives

Since $$p=y^{\prime }$$p=y',

This equation has the branches

and

The first gives $$p=C$$p=C and the line family $$y=Cx-C^2$$y=Cx-C^2. The second gives $$p=x/2$$p=x/2 and the envelope $$y=x^2/4$$y=x^2/4.

Thus the singular branch appears where determination of the slope degenerates. Selecting only the branch used to construct the general family would omit the additional solution branch.

8Related Example: Nonunique Branches in a Non-Lipschitz Setting

Consider the initial value problem

The function $$y=0$$y=0 is a solution. For every $$a\text{[PARSE ERROR: Undefined("Command("ge")")]}0$$a\ge0, the function

is also a solution. For $$x<a$$x<a, $$y^{\prime }=0=\sqrt{\left|y\right|}$$y'=0=\sqrt{|y|}. For $$x>a$$x>a,

At $$x=a$$x=a, both one-sided derivatives are zero. The displayed function is therefore a $$C^1$$C^1 solution on all of $$\mathbb{R}$$\mathbb{R}. Because $$a\text{[PARSE ERROR: Undefined("Command("ge")")]}0$$a\ge0 places $$x=0$$x=0 in the waiting interval, it satisfies the initial condition $$y\left(0\right)=0$$y(0)=0.

The same initial condition thus produces multiple solutions. This is consistent with the failure of $$\sqrt{\left|y\right|}$$\sqrt{|y|} to satisfy a Lipschitz condition near $$y=0$$y=0, which prevents application of the uniqueness hypothesis in the Picard--Lindelof theorem. These waiting-time solutions illustrate nonunique branches; they do not define envelope-type singular solutions.

9Cautions in Applying the Terminology

• A singular solution is not another name for a particular solution.
• An envelope is only a candidate and need not automatically solve the differential equation. It must be substituted into the original equation.
• A constant solution discarded by division need not be singular, even if it is absent from the derived one-parameter family.
• A nonunique branch arising in a non-Lipschitz setting is conceptually distinct from an envelope-type singular solution.

10Summary

In the classical setting treated here, a singular solution is a solution that cannot be obtained by selecting the constant in the general family and typically appears as its envelope. Every candidate must be verified in the original differential equation, and the terminology should remain distinct from that for constant solutions and nonunique branches.

11Previous Lecture

12Next Lecture