数学では、レヴナー微分方程式(Loewner differential equation)、あるいは、レヴナー方程式(Loewner equation)とは、1923年にチャールズ・レヴナー(英語版)(Charles Loewner)により複素解析と幾何学的函数論(英語版)(geometric function theory)の中で発見された。もともとは、スリット写像(0 と ∞ をつなぐ曲線を持つ複素平面上への開円板(open disk)からの共形写像を研究するために導入されたのであるが、レヴナーの方法は、後日、ロシアの数学者 Pavel Parfenevich Kufarev (1909–1968) により再発見された。カラテオドリ(Constantin Carathéodory)の意味で連続的に全平面へ拡張された複素平面内の領域の族は、レヴナーチェーン(Loewner chain)と呼ばれる 1係数の共形写像の族を導き出す。これは、レヴナー半群(Loewner semigroup)と呼ばれる単位円板の正則で単葉な自己写像と同様である。この半群が正の実部を持つ円板上の正則函数の 1係数の族によって時間独立な正則ベクトル場に対応する。レヴナーの半群は、単葉な半群の考え方を一般化したものである。
レヴナー微分方程式は、1985年にルイ・ド・ブランジュ(Louis de Branges)によってビーベルバッハ予想が証明されたことでも重要な役割を演じた単葉函数の不等式を導く。レブナー自身は、予想の第三項を証明するため、1923年にこのテクニックを使った。1990年代の終わりにオデッド・シュラム(Oded Schramm)により発見されたレヴナー微分方程式の確率論的な一般化であるシュラム・レヴナー発展は、確率論や共形場理論で、飛躍的に発展している。
単葉函数の従属性
f と g を、単位円板 D, |z| < 1 の上の f(0) = 0 = g(0) である正則な単葉函数とする。
f が g に対し従属するとは、D 上の原点 0 を固定する単葉写像 が存在し、全ての |z| < 1 に対して
となることとする。
そのような写像 が存在するための必要十分条件は、
である。必要性はすぐに出る。逆に を、
で定義すると、 は の D の単葉自己写像である。
そのような写像は、 であり、各円板 Dr (|z| < r, 0 < r < 1) を自分自身へ写像するので、
であることが分かる。
レヴナーチェーン
0 ≤ t ≤ ∞ に対し、U(t) を原点 0 を含む C の開いた単連結な部分集合の族で、
を満たすとする。s < t のとき
であり、
とすると、 であれば、 カラテオドリの核定理(英語版)(Carathéodory kernel theorem)の意味で、
である。
D で C 内の単位円板を表すとすると、この定理は、リーマンの写像定理に従った一意に定まる単葉な写像 ft(z) は、
となり、 [0,∞) X D のコンパクトな部分集合の上で一様連続であることを意味する。
さらに、函数 は正定値、連続で、単調増加な函数である。
再度、パラメータ化し、
とおくと、
となる。
この単葉写像 ft(z) をレヴナーチェーン(Loewner chain)と呼ぶ。
ケーベの歪曲定理(英語版)(Koebe distortion theorem)は、チェーンから得られることと開集合 U(t) の性質が同じであることを示した。
レヴナーの半群
ft(z) をレヴナーチェーンとすると、
であり、原点 0 を固定する円板上の単葉写像 が一意に存在する s < t に対して、
が成り立つ。
一意性により、写像 は次のような半群の性質を持つ。s ≤ t ≤ r に対して、
となる。
これにより、レヴナーの半群(Loewner semigroup)が確立する。
自己写像は連続的に s と t に依存し、
を満たす。
レヴナーの微分方程式
レヴナーの微分方程式(Loewner differential equation)は、レヴナーの半群からもレブナーチェーンからも導くことができる。
半群からは、
とすると、|z| < 1 に対して、
となので、
となる。すると、 は、初期条件 w(s) = z である常微分方程式
を満たす。
レヴナーチェーンの満たす微分方程式 ft(z) を得るためには、
であることに注意すると、ft(z) は、初期条件
を持つ常微分方程式
を満たす。
常微分方程式のピカール・リンデレフの定理(Picard–Lindelöf theorem)は、これらの方程式が解を持ち、解は z で正則であることを保証している。
レヴナーチェーンは、レヴナー半群から極限をとることを通して再発見された。
結局、D の単葉自己写像 で原点 0 を固定するものが与えられると、
であるようなレヴナー半群 を構成することができる。
同様に、g(0) =0 である D 上の単葉函数 g で、g(D) が閉単位円盤を含むようなものが与えられると、レヴナーチェーン ft(z) が存在し、
が成り立つ。
もし、 もしくは、g が ∂D まで連続的に拡張できるならば、直ちにこの結果が得られる。これらの結果は、一般的には、写像 f(z) を近似 f(rz)/r に置き換え、標準のコンパクト性の議論を使うことにより得られる[1]。
スリット写像
D 上の正定置の実部をもち正規化されていて、p(0) = 1 である正則函数 p(z) は、ヘルグロッツの表現定理(英語版)(Herglotz representation theorem)により、次のように記述される。
ここに μ は円の確率測度である。点の測度を取ることは、|κ(t)| = 1 である函数
を一つ選びだすこととなる。最初にこのことは、Loewner (1923)により考案された。
単位円板上の単葉函数の不等式は、スリット写像(slit mappings)のコンパクト部分集合へ一様に収束する密度を使い証明することができます。これらは、省略された無限遠点へ繋がっている有限個のジョルダン曲線の弧への単位円板からの共形写像である。密度はカラテオドリの核定理(英語版)(Carathéodory kernel theorem)を使い示すことができる。実際、任意の単葉函数 f(z) は、
により、近似することができ、単位円を解析曲線へ写像する。曲線上の点は、ジョルダン曲線の弧により無限遠点へつなぐことができる。解析曲線の小さな部分を選択した点の一方へ押しやることにより得られる領域は、g(D) へ収束するので、これらの領域上への D からの対応する単葉写像は、コンパクトな集合上で g へ一様収束する[2]。
スリット写像 f へレヴナー微分方程式を適用すると、有限個の点から ∞ 押しやられたジョルダン曲線の弧 c(t) は、[0,∞) によってパラメトライズすることができるので、小さな c([t,∞)) での D から C 上への単葉写像 ft は、連続な bn を持つ
の形をしている。特に、
である。
s ≤ t に対して、連続な an を持つ
としよう。
これはレヴナーチェーンとレヴナーの半群を与え、
となっている。ここに κ は [0,∞) から単位円への連続写像である[3]。
κ を決定するためには、写像 は、単位円板から、内部の点を境界へ押しやるようなジョルダン曲線の弧を持つ単位円板の中への写像へ移すことに注意する。境界に触れている点は s と独立であり、[0,∞) から単位円への連続函数 λ(t) を定義する。κ(t) は λ(t) の複素共役、(もしくは、逆数)で、
である。
同じことであるが、カラテオドリの共形写像定理 (Carathéodory's theorem) により、ft は閉円板への連続的に拡張され、しばしば駆動函数(driving function)と呼ばれる λ(t) は、
として特徴づけられる。
全ての連続函数 κ がスリット写像から来るわけではないが、クファレフ(Kufarev)は κ が連続的な微分を持つときに、このことが成り立つことを示した。
ビーベルバッハ予想への応用
Loewner (1923) でレヴナーは、スリット写像の微分方程式を使い、単葉函数
の第三番目の係数に対してのビーベルバッハ予想
を証明した。
この場合、必要により回転させることとし、a3 は非負であることを前提としている。
すると、連続な an を持つ
を得て、これらが
を満たす。
とすると、レヴナー微分方程式は、
であり、
であることを意味する。
従って、
である。ここから、直ちにビーベルバッハの不等式
が従う。
同様に、
である。a3 は非負であり、|κ(t)| = 1 であるから、コーシー=シュワルツの不等式を使い、
-
を得る。
脚注
参考文献
- Duren, P. L. (1983), Univalent functions, Grundlehren der Mathematischen Wissenschaften, 259, Springer-Verlag, ISBN 0-387-90795-5
- Kufarev, P. P. (1943), “On one-parameter families of analytic functions”, Mat. Sbornik 13: 87–118
- Lawler, G. F. (2005), Conformally invariant processes in the plane, Mathematical Surveys and Monographs, 114, American Mathematical Society, ISBN 0-8218-3677-3
- Loewner, C. (1923), “Untersuchungen über schlichte konforme Abbildungen des Einheitskreises, I”, Math. Ann. 89: 103–121, doi:10.1007/BF01448091
- Pommerenke, C. (1975), Univalent functions, with a chapter on quadratic differentials by Gerd Jensen, Studia Mathematica/Mathematische Lehrbücher, 15, Vandenhoeck & Ruprecht