リプシッツ連続
ウィキペディア フリーな encyclopedia
解析学におけるリプシッツ連続性(リプシッツれんぞくせい、英: Lipschitz continuity)は、ルドルフ・リプシッツに名を因む、函数のより強い形の一様連続性である。直観的には、リプシッツ連続函数は変化の速さが制限される。即ち、適当な有限値の実数が存在して、その函数のグラフ上の任意の二点を結ぶ直線の傾きの絶対値はその実数を超えない。この上界をその函数の「リプシッツ定数」(あるいは一様連続度(英語版))と呼ぶ。例えば一階微分が有界な任意の函数はリプシッツである[1]。
微分方程式論において、リプシッツ連続性は初期値問題の解の存在と一意性を保証するピカール–リンデレフの定理の中心的な条件である。リプシッツ連続性の特別な場合で、縮小性はバナッハの不動点定理において用いられる。
実数直線の有界閉集合上で定義される函数に関して、以下のような包含関係の鎖が知られている[2]:
また、
も成り立つ。