リプシッツ連続

リプシッツ連続性

解析学において、リプシッツ連続性は、関数が持つ一様連続性よりもさらに強い滑らかさを示す性質の一つです。この概念は数学者ルドルフ・リプシッツにその名が由来します。直感的には、リプシッツ連続な関数は、その値の変化の度合いに上限があることを意味します。具体的には、関数のグラフ上のどの二点を選んでも、それらを結ぶ直線の傾きの絶対値が、ある決まった有限の実数を超えないという特性を持っています。

この傾きの絶対値の上限となる最小の値を、その関数のリプシッツ定数と呼びます。

定義

二つの距離空間 (X, dX) および (Y, dY) が与えられたとき（ここで dX, dY はそれぞれの空間上の距離関数を表します）、X から Y への写像 f: X → Y がリプシッツ連続であるとは、ある非負の実定数 K が存在して、X 内の任意の二点 x₁ および x₂ に対して以下の不等式が成り立つことを指します。

`dY(f(x₁), f(x₂)) ≤ K dX(x₁, x₂)`

この条件を満たす K のうち最小のものがリプシッツ定数と呼ばれます。

特に、Y が実数全体の集合 R で距離が絶対値 `dY(x, y) = |x - y|` で与えられる場合、および X が R の部分集合である場合、上記の不等式は `|f(x₁) - f(x₂)| ≤ K |x₁ - x₂|` となります。これは、x₁ ≠ x₂ の場合に `|f(x₁) - f(x₂)| / |x₁ - x₂| ≤ K` と書き換えられ、二点 (x₁, f(x₁)) と (x₂, f(x₂)) を結ぶ直線の傾きの絶対値が K 以下であることを意味します。

定数 K = 1 のとき、関数は非拡大写像と呼ばれ、K < 1 のときは縮小写像と呼ばれます。

また、写像 f が局所リプシッツ連続であるとは、定義域 X の任意の点 x に対して、その点を含むある近傍上で f の制限がリプシッツ連続となることを言います。

他の連続性との関係

リプシッツ連続性は、他の連続性の概念と以下のような包含関係にあります。

連続的微分可能 関数 ⊆ リプシッツ連続 関数 ⊆ α-ヘルダー連続 関数 (0 < α ≤ 1) ⊆ 一様連続 関数 ⊆ 連続関数

ヘルダー連続性は、`dY(f(x), f(y)) < M dX(x, y)^α` という条件で定義され、リプシッツ連続性は α = 1 の場合の特別な形です。

また、実数直線上の有界閉集合で定義される関数に関しては、以下の関係も成り立ちます。

リプシッツ連続 関数 ⊆ 絶対連続 関数 ⊆ 有界変動 関数 ⊆ 殆ど至る所微分可能 関数

応用

リプシッツ連続性は、数学の様々な分野、特に微分方程式論において極めて重要です。

微分方程式: 初期値問題の解が存在し、かつ一意的であることを保証するピカール–リンデレフの定理において、リプシッツ連続性は中心的な条件の一つです。
不動点定理: 縮小写像（リプシッツ定数 K < 1 の写像）に関するバナッハの不動点定理は、方程式の解の存在を示す強力なツールであり、解析学や数値解析で広く用いられています。

性質

微分可能性との関係: 全ての点で微分可能な実数関数がリプシッツ連続であることは、その導関数が有界であることと同値です。これは平均値の定理から導かれます。特に、連続的に微分可能な関数は局所リプシッツ連続です。
絶対連続性: リプシッツ連続な関数は必ず絶対連続であり、したがってルベーグ測度ゼロの集合を除いたほとんど全ての点で微分可能です（これはラーデマッハーの定理の一側面です）。その導関数は、リプシッツ定数を本質的上界として有界です。
一様収束: リプシッツ定数が共通の上限 K で抑えられるリプシッツ連続関数の列が一様収束するならば、その極限関数もまたリプシッツ定数 K で抑えられるリプシッツ連続関数になります。
延長: 距離空間の部分集合上で定義されたリプシッツ連続関数は、同じリプシッツ定数を持つように定義域全体に延長できることが知られています（Kirszbraunの定理）。

例

`f(x) = |x|` はリプシッツ定数 1 を持つリプシッツ連続関数ですが、x=0 で微分可能ではありません。これは、微分可能でないリプシッツ連続関数の典型例です。一般的なノルム関数もリプシッツ連続です。
`f(x) = sin(x)` は導関数 cos(x) の絶対値が 1 で抑えられるため、リプシッツ定数 1 のリプシッツ連続関数です。
閉区間 [0, 1] 上の関数 `f(x) = √x` は連続であり一様連続でもありますが、x → 0 の近くで傾きが無限に大きくなるため、リプシッツ連続ではありません。
関数 `f(x) = x²` は実数全体ではリプシッツ連続ではありません（傾きは x と共に大きくなる）が、任意の有界区間上では局所リプシッツ連続です。

双リプシッツ連続性

写像 T が双リプシッツ連続であるとは、T 自身がリプシッツ連続であり、かつその逆写像 T⁻¹ もリプシッツ連続である場合を指します。双リプシッツ写像は定義域と像の間の距離構造を保つ変換であり、距離空間の間の同型写像とみなすことができます。双リプシッツ写像は多様体の構造論においても重要です。

片側リプシッツ連続性

標準的なリプシッツ連続性とは異なる概念として、片側リプシッツ連続性があります。これは特に常微分方程式や力学系における安定性の解析で用いられます。関数 F がある定数 C に対して `(x₁ - x₂)^T (F(x₁) - F(x₂)) ≤ C ||x₁ - x₂||²` を満たす場合に片側リプシッツ連続であるといいます。リプシッツ定数が非常に大きい関数でも、片側リプシッツ定数は小さくなる（あるいは負になる）ことがあります。

これらの概念を通じて、リプシッツ連続性は関数の「滑らかさ」や「変化率の制御」を定量的に捉え、様々な数学的問題の解析に不可欠なツールとなっています。

もう一度検索