原文と比べた結果、この記事には多数の（または内容の大部分に影響ある）誤訳 があることが判明しています。情報の利用には注意してください。 正確な表現に改訳できる方を求めています。
数学では、レヴナー微分方程式 (Loewner differential equation)、あるいは、レヴナー方程式 (Loewner equation)とは、1923年にチャールズ・レヴナー （英語版 ） 複素解析 と幾何学的函数論 （英語版 ） 複素平面 上への開円板 (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 を固定する単葉写像
φ
{\displaystyle \varphi }
f
(
z
)
=
g
(
φ
(
z
)
)
{\displaystyle \displaystyle {f(z)=g(\varphi (z))}}
となることとする。
そのような写像
φ
{\displaystyle \varphi }
f
(
D
)
⊆
g
(
D
)
{\displaystyle f(D)\subseteq g(D)}
である。必要性はすぐに出る。逆に
φ
{\displaystyle \varphi }
φ
(
z
)
=
g
−
1
(
f
(
z
)
)
{\displaystyle \displaystyle {\varphi (z)=g^{-1}(f(z))}}
で定義すると、
φ
{\displaystyle \varphi }
φ
(
0
)
=
0
{\displaystyle \varphi (0)=0}
そのような写像は、
0
<
|
φ
′
(
0
)
|
≤
1
{\displaystyle 0<|\varphi '(0)|\leq 1}
r (|z| < r, 0 < r < 1) を自分自身へ写像するので、
|
f
′
(
0
)
|
≤
|
g
′
(
0
)
|
,
f
(
D
r
)
⊆
g
(
D
r
)
{\displaystyle \displaystyle {|f^{\prime }(0)|\leq |g^{\prime }(0)|},\ \ \ \ \displaystyle {f(D_{r})\subseteq g(D_{r})}}
であることが分かる。
0 ≤ t ≤ ∞ に対し、U(t) を原点 0 を含む C の開いた単連結な部分集合の族で、
U
(
s
)
⊊
U
(
t
)
{\displaystyle U(s)\subsetneq U(t)}
を満たすとする。s < t のとき
U
(
t
)
=
⋃
s
<
t
U
(
s
)
{\displaystyle U(t)=\bigcup _{s<t}U(s)}
であり、
U
(
∞
)
=
C
{\displaystyle U(\infty )={\mathbb {C} }}
とすると、
s
n
↑
t
{\displaystyle s_{n}\uparrow t}
カラテオドリの核定理 （英語版 ）
U
(
s
n
)
→
U
(
t
)
{\displaystyle U(s_{n})\rightarrow U(t)}
である。
D で C 内の単位円板を表すとすると、この定理は、リーマンの写像定理 に従った一意に定まる単葉な写像 ft (z) は、
f
t
(
D
)
=
U
(
t
)
,
f
t
(
0
)
=
0
,
∂
z
f
t
(
0
)
=
1
{\displaystyle f_{t}(D)=U(t),\,\,\,f_{t}(0)=0,\,\,\,\partial _{z}f_{t}(0)=1}
となり、 [0,∞) X D のコンパクトな部分集合の上で一様連続 であることを意味する。
さらに、函数
a
(
t
)
=
f
t
′
(
0
)
{\displaystyle a(t)=f_{t}^{\prime }(0)}
再度、パラメータ化し、
f
t
′
(
0
)
=
e
t
{\displaystyle f_{t}^{\prime }(0)=e^{t}}
とおくと、
f
t
(
z
)
=
e
t
z
+
a
2
(
t
)
z
2
+
⋯
{\displaystyle f_{t}(z)=e^{t}z+a_{2}(t)z^{2}+\cdots }
となる。
この単葉写像 ft (z) をレヴナーチェーン (Loewner chain)と呼ぶ。
ケーベの歪曲定理 （英語版 ）
ft (z) をレヴナーチェーンとすると、
f
s
(
z
)
=
f
t
(
φ
s
,
t
(
z
)
)
{\displaystyle \displaystyle {f_{s}(z)=f_{t}(\varphi _{s,t}(z))}}
であり、原点 0 を固定する円板上の単葉写像
φ
s
,
t
(
z
)
{\displaystyle \varphi _{s,t}(z)}
f
s
(
D
)
⊊
f
t
(
D
)
{\displaystyle \displaystyle {f_{s}(D)\subsetneq f_{t}(D)}}
が成り立つ。
一意性により、写像
φ
s
,
t
(
z
)
{\displaystyle \varphi _{s,t}(z)}
φ
s
,
t
∘
φ
t
,
r
=
φ
s
,
r
{\displaystyle \displaystyle {\varphi _{s,t}\circ \varphi _{t,r}=\varphi _{s,r}}}
となる。
これにより、レヴナーの半群 (Loewner semigroup)が確立する。
自己写像は連続的に s と t に依存し、
φ
t
,
t
(
z
)
=
z
.
{\displaystyle \displaystyle {\varphi _{t,t}(z)=z.}}
を満たす。
レヴナーの微分方程式 (Loewner differential equation)は、レヴナーの半群からもレブナーチェーンからも導くことができる。
半群からは、
w
s
(
z
)
=
∂
t
φ
s
,
t
(
z
)
|
t
=
s
{\displaystyle \displaystyle {w_{s}(z)=\partial _{t}\varphi _{s,t}(z)|_{t=s}}}
とすると、|z| < 1 に対して、
ℜ
p
s
(
z
)
>
0
{\displaystyle \displaystyle {\Re \,p_{s}(z)>0}}
となので、
w
s
(
z
)
=
−
z
p
s
(
z
)
{\displaystyle \displaystyle {w_{s}(z)=-zp_{s}(z)}}
となる。すると、
w
(
t
)
=
φ
s
,
t
(
z
)
{\displaystyle w(t)=\varphi _{s,t}(z)}
常微分方程式
d
w
d
t
=
−
w
p
t
(
w
)
{\displaystyle \displaystyle {{dw \over dt}=-wp_{t}(w)}}
を満たす。
レヴナーチェーンの満たす微分方程式 ft (z) を得るためには、
f
t
(
z
)
=
f
s
(
φ
s
,
t
(
z
)
)
{\displaystyle \displaystyle {f_{t}(z)=f_{s}(\varphi _{s,t}(z))}}
であることに注意すると、ft (z) は、初期条件
f
t
(
z
)
|
t
=
0
=
f
0
(
z
)
{\displaystyle \displaystyle {f_{t}(z)|_{t=0}=f_{0}(z)}}
を持つ常微分方程式
∂
t
f
t
(
z
)
=
z
p
t
(
z
)
∂
z
f
t
(
z
)
{\displaystyle \displaystyle {\partial _{t}f_{t}(z)=zp_{t}(z)\partial _{z}f_{t}(z)}}
を満たす。
常微分方程式のピカール・リンデレフの定理 (Picard–Lindelöf theorem)は、これらの方程式が解を持ち、解は z で正則であることを保証している。
レヴナーチェーンは、レヴナー半群から極限をとることを通して再発見された。
f
s
(
z
)
=
lim
t
→
∞
e
t
ϕ
s
,
t
(
z
)
.
{\displaystyle \displaystyle {f_{s}(z)=\lim _{t\rightarrow \infty }e^{t}\phi _{s,t}(z).}}
結局、D の単葉自己写像
ϕ
(
z
)
{\displaystyle \phi (z)}
φ
0
,
1
(
z
)
=
ψ
(
z
)
{\displaystyle \displaystyle {\varphi _{0,1}(z)=\psi (z)}}
であるようなレヴナー半群
w
(
t
)
=
φ
s
,
t
(
z
)
{\displaystyle w(t)=\varphi _{s,t}(z)}
同様に、g(0) =0 である D 上の単葉函数 g で、g(D) が閉単位円盤を含むようなものが与えられると、レヴナーチェーン ft (z) が存在し、
f
0
(
z
)
=
z
,
f
1
(
z
)
=
g
(
z
)
{\displaystyle \displaystyle {f_{0}(z)=z,\,\,\,f_{1}(z)=g(z)}}
が成り立つ。
もし、
φ
{\displaystyle \varphi }
[ 1]
D 上の正定置の実部をもち正規化されていて、p(0) = 1 である正則函数 p(z) は、ヘルグロッツの表現定理 （英語版 ）
p
(
z
)
=
∫
0
2
π
1
+
e
−
i
θ
z
1
−
e
−
i
θ
z
d
μ
(
θ
)
.
{\displaystyle \displaystyle {p(z)=\int _{0}^{2\pi }{1+e^{-i\theta }z \over 1-e^{-i\theta }z}\,d\mu (\theta ).}}
ここに μ は円の確率測度である。点の測度を取ることは、|κ(t)| = 1 である函数
p
t
(
z
)
=
1
+
κ
(
t
)
z
1
−
κ
(
t
)
z
{\displaystyle \displaystyle {p_{t}(z)={1+\kappa (t)z \over 1-\kappa (t)z}}}
を一つ選びだすこととなる。最初にこのことは、Loewner (1923) により考案された。
単位円板上の単葉函数の不等式は、スリット写像 (slit mappings)のコンパクト部分集合へ一様に収束する密度を使い証明することができます。これらは、省略された無限遠点へ繋がっている有限個のジョルダン曲線の弧への単位円板からの共形写像である。密度はカラテオドリの核定理 （英語版 ）
g
(
z
)
=
f
(
r
z
)
/
r
{\displaystyle \displaystyle {g(z)=f(rz)/r}}
により、近似することができ、単位円を解析曲線へ写像する。曲線上の点は、ジョルダン曲線の弧により無限遠点へつなぐことができる。解析曲線の小さな部分を選択した点の一方へ押しやることにより得られる領域は、g(D) へ収束するので、これらの領域上への D からの対応する単葉写像は、コンパクトな集合上で g へ一様収束する[ 2]
スリット写像 f へレヴナー微分方程式を適用すると、有限個の点から ∞ 押しやられたジョルダン曲線の弧 c(t) は、[0,∞) によってパラメトライズすることができるので、小さな c([t,∞)) での D から C 上への単葉写像 ft は、連続な bn を持つ
f
t
(
z
)
=
e
t
(
z
+
b
2
(
t
)
z
2
+
b
3
(
t
)
z
3
+
⋯
)
{\displaystyle \displaystyle {f_{t}(z)=e^{t}(z+b_{2}(t)z^{2}+b_{3}(t)z^{3}+\cdots )}}
の形をしている。特に、
f
0
(
z
)
=
f
(
z
)
{\displaystyle \displaystyle {f_{0}(z)=f(z)}}
である。
s ≤ t に対して、連続な an を持つ
φ
s
,
t
(
z
)
=
f
t
−
1
∘
f
s
(
z
)
=
e
s
−
t
(
z
+
a
2
(
s
,
t
)
z
2
+
a
3
(
s
,
t
)
z
3
+
⋯
)
{\displaystyle \displaystyle {\varphi _{s,t}(z)=f_{t}^{-1}\circ f_{s}(z)=e^{s-t}(z+a_{2}(s,t)z^{2}+a_{3}(s,t)z^{3}+\cdots )}}
としよう。
これはレヴナーチェーンとレヴナーの半群を与え、
p
t
(
z
)
=
1
+
κ
(
t
)
z
1
−
κ
(
t
)
z
{\displaystyle \displaystyle {p_{t}(z)={1+\kappa (t)z \over 1-\kappa (t)z}}}
となっている。ここに κ は [0,∞) から単位円への連続写像である[ 3]
κ を決定するためには、写像
φ
s
,
t
{\displaystyle \varphi _{s,t}}
κ
(
t
)
=
λ
(
t
)
−
1
{\displaystyle \displaystyle {\kappa (t)=\lambda (t)^{-1}}}
である。
同じことであるが、カラテオドリの共形写像定理 (Carathéodory's theorem) により、ft は閉円板への連続的に拡張され、しばしば駆動函数 (driving function)と呼ばれる λ(t) は、
f
t
(
λ
(
t
)
)
=
c
(
t
)
{\displaystyle \displaystyle {f_{t}(\lambda (t))=c(t)}}
として特徴づけられる。
全ての連続函数 κ がスリット写像から来るわけではないが、クファレフ(Kufarev)は κ が連続的な微分を持つときに、このことが成り立つことを示した。
Loewner (1923) でレヴナーは、スリット写像の微分方程式を使い、単葉函数
f
(
z
)
=
z
+
a
2
z
2
+
a
3
z
3
+
⋯
{\displaystyle \displaystyle {f(z)=z+a_{2}z^{2}+a_{3}z^{3}+\cdots }}
の第三番目の係数に対してのビーベルバッハ予想
|
a
3
|
≤
3
{\displaystyle \displaystyle {|a_{3}|\leq 3}}
を証明した。
この場合、必要により回転させることとし、a3 は非負であることを前提としている。
すると、連続な an を持つ
φ
0
,
t
(
z
)
=
e
−
t
(
z
+
a
2
(
t
)
z
2
+
a
3
(
t
)
z
3
+
⋯
)
{\displaystyle \displaystyle {\varphi _{0,t}(z)=e^{-t}(z+a_{2}(t)z^{2}+a_{3}(t)z^{3}+\cdots )}}
を得て、これらが
a
n
(
0
)
=
0
,
a
n
(
∞
)
=
a
n
{\displaystyle \displaystyle {a_{n}(0)=0,\,\,a_{n}(\infty )=a_{n}}}
を満たす。
α
(
t
)
=
e
−
t
κ
(
t
)
{\displaystyle \displaystyle {\alpha (t)=e^{-t}\kappa (t)}}
とすると、レヴナー微分方程式は、
a
2
˙
=
−
2
α
{\displaystyle \displaystyle {{\dot {a_{2}}}=-2\alpha }}
であり、
a
3
˙
=
−
2
α
2
−
4
α
a
2
{\displaystyle \displaystyle {{\dot {a_{3}}}=-2\alpha ^{2}-4\alpha \,a_{2}}}
であることを意味する。
従って、
a
2
=
−
2
∫
0
∞
α
(
t
)
d
t
{\displaystyle \displaystyle {a_{2}=-2\int _{0}^{\infty }\alpha (t)\,dt}}
である。ここから、直ちにビーベルバッハの不等式
|
a
2
|
≤
2.
{\displaystyle \displaystyle {|a_{2}|\leq 2.}}
が従う。
同様に、
a
3
=
−
2
∫
0
∞
α
2
d
t
+
4
(
∫
0
∞
α
d
t
)
2
{\displaystyle \displaystyle {a_{3}=-2\int _{0}^{\infty }\alpha ^{2}\,dt+4\left(\int _{0}^{\infty }\alpha \,dt\right)^{2}}}
である。a3 は非負であり、|κ(t)| = 1 であるから、コーシー＝シュワルツの不等式 を使い、
|
a
3
|
=
2
∫
0
∞
|
ℜ
α
2
|
d
t
+
4
(
∫
0
∞
ℜ
α
d
t
)
2
≤
2
∫
0
∞
|
ℜ
α
2
|
d
t
+
4
(
∫
0
∞
e
−
t
d
t
)
(
∫
0
∞
e
t
(
ℜ
α
)
2
d
t
)
{\displaystyle \displaystyle {|a_{3}|=2\int _{0}^{\infty }|\Re \alpha ^{2}|\,dt+4\left(\int _{0}^{\infty }\Re \alpha \,dt\right)^{2}}\leq 2\int _{0}^{\infty }|\Re \alpha ^{2}|\,dt+4\left(\int _{0}^{\infty }e^{-t}\,dt\right)\left(\int _{0}^{\infty }e^{t}(\Re \alpha )^{2}\,dt\right)}
=
1
+
4
∫
0
∞
(
e
−
t
−
e
−
2
t
)
(
ℜ
κ
)
2
d
t
≤
3
{\displaystyle =1+4\int _{0}^{\infty }(e^{-t}-e^{-2t})(\Re \kappa )^{2}\,dt\leq 3}
を得る。
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 
