Lipschitz 条件じょうけんとは何なにか：連続れんぞくとの違ちがい

date2026-05-26descriptionLipschitz 条件を、単なる連続性より強く、一階初期値問題の一意性を支える条件として整理する。prerequisites関数の連続性 / 初期値問題の存在・一意性type講義statusactive

mathdifferential-equationslipschitzlecture

導入どうにゅう

このページの核心かくしんは、連続れんぞくであることと Lipschitz 連続れんぞくであることを区別くべつし、初期値問題しょきちもんだいの一意性いちいせいに必要ひつような制御せいぎょがどこにあるかを確認かくにんすることである。

用語ようごと定義ていぎ

Lipschitz 条件じょうけんLipschitz condition は、ある定数ていすう $L [PARSE ERROR: Undefined("Command(\"ge\")")] 0$ が存在そんざいして

| f (y_{1}) - f (y_{2}) | [PARSE ERROR: Undefined("Command(\"le\")")] L | y_{1} - y_{2} |

が成立せいりつする条件じょうけんである。微分方程式びぶんほうていしき $y^{'} = f (x, y)$ では、通常つうじょう $y$ に関かんする Lipschitz 性せいを確認かくにんする。

なぜこの方針ほうしんを選えらぶのか

連続性れんぞくせいは「値あたいが急きゅうに飛とばない」ことを保証ほしょうする。一方いっぽう、Lipschitz 条件じょうけんは「入力にゅうりょくの差さに対たいして出力しゅつりょくの差さが一定倍率いっていばいりつで抑制よくせいされる」ことを保証ほしょうする。初期値しょきちから出発しゅっぱつした 2 本ほんの候補解こうほかいが離はなれすぎないことを示しめすためには、この倍率制御ばいりつせいぎょが重要じゅうようである。

一意性いちいせいに作用さようする理由りゆう

同一どういつの初期値しょきちを持もつ 2 解かい $y_{1}, y_{2}$ が存在そんざいすると仮定かていする。積分形せきぶんけいで表あらわすと、

y_{i} (x) = y_{0} + \int_{x_{0}}^{x} f (t, y_{i} (t)) d t

である。したがって差さを取とると、

| y_{1} (x) - y_{2} (x) | [PARSE ERROR: Undefined("Command(\"le\")")] \int_{x_{0}}^{x} | f (t, y_{1} (t)) - f (t, y_{2} (t)) | d t

となる。ここで $y$ に関かんする Lipschitz 条件じょうけんがあれば、

| y_{1} (x) - y_{2} (x) | [PARSE ERROR: Undefined("Command(\"le\")")] L \int_{x_{0}}^{x} | y_{1} (t) - y_{2} (t) | d t

を得える。この不等式ふとうしきは、差さが 0 から出発しゅっぱつしたなら増殖ぞうしょくできないことを示しめす基礎きそになる。厳密げんみつには Gronwall 不等式ふとうしきを用もちいて $y_{1} = y_{2}$ を結論けつろんする。この構造こうぞうこそ、Lipschitz 条件じょうけんが一意性いちいせいに作用さようする理由りゆうである。

連続性れんぞくせいだけでは、この差さを定数倍ていすうばいで抑制よくせいする不等式ふとうしきを得えられない。連続れんぞくと Lipschitz 連続れんぞくの違ちがいは、値あたいの近接きんせつだけでなく、近接きんせつの速度そくどを制御せいぎょできるかにある。

具体例ぐたいれい

Lipschitz 条件じょうけんを満みたす例れい

$f (y) = 3 y + 1$ では

| f (y_{1}) - f (y_{2}) | = 3 | y_{1} - y_{2} |

であるため、 $L = 3$ と選択せんたくできる。

連続れんぞくだが Lipschitz でない例れい

$f (y) = \sqrt{| y |}$ は $y = 0$ で連続れんぞくである。しかし

\frac{| f (y) - f (0) |}{| y - 0 |} = \frac{\sqrt{| y |}}{| y |} = \frac{1}{\sqrt{| y |}}

は $y \to 0$ で発散はっさんする。したがって $y = 0$ の近傍きんぼうで 1 つの定数ていすう $L$ により差さを抑制よくせいできない。

$\partial f / \partial y$ の連続性れんぞくせいとの関係かんけい

$\partial f / \partial y$ が長方形領域ちょうほうけいりょういきで連続れんぞくなら、その領域りょういきで有界ゆうかいである。このとき平均値定理へいきんちていりから Lipschitz 条件じょうけんが成立せいりつする。ただし、これは十分条件じゅうぶんじょうけんであり、必要条件ひつようじょうけんではない。

どこまで成なり立たつか

Lipschitz 条件じょうけんは一意性いちいせいを保証ほしょうする標準的ひょうじゅんてきな条件じょうけんである。しかし、Lipschitz 条件じょうけんが破綻はたんしても、必かならず非一意ひいちいになるわけではない。定理ていりの仮定かていが不成立ふせいりつであることは、結論けつろんの否定ひていを意味いみしない。

また、Lipschitz 条件じょうけんには局所きょくしょと大域たいいきの区別くべつがある。初期値問題しょきちもんだいの局所一意性きょくしょいちいせいでは、初期点しょきてんの近傍きんぼうでの Lipschitz 性せいが中心ちゅうしんになる。一方いっぽう、全時間ぜんじかんで解かいを延長えんちょうできるかは、右辺うへんの成長せいちょうや爆発ばくはつの有無うむにも依存いぞんする。したがって Lipschitz 条件じょうけんは一意性いちいせいの条件じょうけんであり、大域存在たいいきそんざいを無条件むじょうけんに保証ほしょうする条件じょうけんではない。

演習えんしゅうリンク

data/exercise/math/differential-equations/存在一意性と数値解法-基本演習.n.md