ド・ブランジュの定理

テンプレート:要改訳 複素解析では、ド・ブランジュの定理(de Branges's theorem)、あるいはビーベルバッハの予想(Bieberbach conjecture)と呼ばれる定理は、単位開円板から複素平面への単射的な写像を与えるための、正則函数の必要条件を与える定理である。これはルートヴィヒ・ビーベルバッハ（ テンプレート:Harvs） により予想され、最終的にはルイ・ド・ブランジュ(テンプレート:Harvs)により証明された。

この定理は、「函数のテイラー係数 a_n に関しては、いつでも a₀ = 0 で a₁ = 1 として正規化する」ことができることをいっている。開円板上に定義された次の形のテイラー級数を持つ正則函数で単射的（単葉的）である函数を考えよう。

$f(z)=z+\sum _{n\ge 2}{a}_n{z}^n.$

このような函数を単葉函数(schlicht function)という。この定理は、全ての $n\ge 2$ に対して、

$\left|a_n\right|\le n$

となることを言っている。等号が成り立つ場合は、ケーベ極値函数(Koebe's extremal function)の場合に限る。

単葉函数

テンプレート:Main 正規化

a₀ = 0 であり、a₁ = 1

であるということは、

f(0) = 0 であり f'(0) = 1

であることを意味する。これはいつでも、任意の開単位円板上に定義され、次式を満たす単射的函数 g から出発するとテンプレート:仮リンク(linear fractional transformation)により保証されている。

$f(z)=\frac{g(z)-g(0)}{g^{\prime }(0)}.$

そのような函数 g は、リーマンの写像定理に現れるので、今、注目している函数である。

単葉函数(schlicht function)は、1 対 1 に対応し、f(0) = 0 と f'(0) = 1 を満たす解析函数 f として定義される。単葉函数の族は、

$f_{\alpha }(z)=\frac{z}{(1-\alpha z{)}^2}=\sum _{n=1}^{\mathrm{\infty }}n{\alpha }^{n-1}{z}^n$

であり、α が絶対値が 1 の複素数であるようなテンプレート:仮リンク(rotated Koebe function)である。f が単葉函数で、n ≥ 2 に対して、|a_n| = n であれば、f はケーベ函数という。

ド・ブランジュの定理の条件は、函数の単葉性を示すだけ、すなわち、函数

$f(z)=z+z^2=(z+1/2{)}^2-1/4$

を示すことだけでは不十分である。単位円板上で正則で、全ての n に対して、|a_n| ≤ n を示せても、f(−1/2 + z) = f(−1/2 − z) であるので、単射的ではない。

歴史

過去にはKoepfによってKoepf (2007) というサーベイが書かれている。

テンプレート:Harvtxt は、|a₂| ≤ 2 を証明し、|a_n| ≤ n となるであろうことを予想をした。テンプレート:Harvtxt と テンプレート:Harvtxt は独立にテンプレート:仮リンク(starlike functionsin)の評価基準に関する予想を証明した。その後、テンプレート:仮リンク(Charles Loewner)は、(テンプレート:Harvtxt) で |a₃| ≤ 3 をレヴナー方程式を使い証明した。彼の仕事は、最も新しい研究にも使われており、シュラム・レヴナー発展方程式にも適用される。

テンプレート:Harvtxt では、ビーベルバッハの予想(Bieberbach conjecture)が正しいければ、このことはファクタを無視する限りは、すべての n について |a_n| ≤ en であることを証明し、このことはビーベルバッハの予想が e = 2.718... の何倍かということを除いては、成り立つことを示している。後日、何人かが e 以下の定数になることを導出している。

f(z) = z + ... が単葉函数であれば、φ(z) = f(z²)^1/2 は奇函数の単葉函数である。テンプレート:Harvtxt は、このテイラー係数が全ての k について b_k ≤ 14 となることを示した。彼らは、14 を 1 に変えることができると、ビーベルバッハの予想の自然な一般化となることを予想した。このリトルウッドとパーレイの予想は、コーシー不等式を使うとビーベルバッハの予想を容易に導けるが、しかし、直ちに、テンプレート:Harvtxt により誤っていることが証明された。彼らは、奇函数である単葉函数で、 b₅ = 1/2 + exp(−2/3) = 1.013... となり、これが b₅ の可能な限り最大値を与えることを示した。（後年、テンプレート:仮リンク(Isaak Moiseevich Milin)は 14 は 1.14. と取り替えることができることを示し、また、ハイマン(Hayman)は φ がケーベ函数ではない場合に数値 b_k が 1 より小さい極限値を取ることを示した。従って、リトルウッドとパーレイの予想は、任意の函数の有限個の係数を除きと正しいこととなる。）リトルウッドとパーレイの弱い形の予想は、テンプレート:Harvtxt を参照。

ロバートソンの予想(Robertson conjecture)は、もし

$\varphi (z)=b_{1}z+b_3{z}^3+b_5{z}^5+\cdots$

が、奇函数の単葉函数で単位円板上で b₁=1 であれば、全ての正の正数 n に対し

$\sum _{k=1}^n|b_{2k+1}{|}^2\le n$

が成り立つという予想である。

ロバートソンは、この彼の予想が未だにビーベルバッハの予想を意味する程は強くないことを示し、n = 3 の場合にこの予想を証明した。この予想は、係数自体というよりも係数の変化する二次函数の境界という重要なアイデアを導入した。この二次函数の境界は、単葉函数のあるヒルベルト空間の元のノルムの境界と同値である。

大きな n のある値にたいするビーベルバッハ予想の証明はいくつかあり、特に、テンプレート:Harvtxt は、|a₄| ≤ 4 を証明し、テンプレート:Harvtxtとテンプレート:Harvtxtは |a₆| ≤ 6 を証明し、 テンプレート:Harvtxtは、|a₅| ≤ 5 を証明した。

テンプレート:Harvtxtは、a_n/n の極限が存在することを示し、f がケーベ函数であれば 1 より小さな値となることを示した。特に、任意の f に対して、ビーベルバッハ予想には多くとも有限個の例外しかないことを示した。

ミリンの予想は、各々の単位円板上の単葉函数と任意の正の整数 n に対して、

$\sum _{k=1}^n(n-k+1)(k|{\gamma }_k{|}^2-1/k)\le 0$

が成り立つことを言っている。ここにf の対数的係数(logarithmic coefficients) γ_n は次に式で与えられる。

$\log (f(z)/z)=2\sum _{n=1}^{\mathrm{\infty }}{\gamma }_n{z}^n.$

テンプレート:Harvtxt は、テンプレート:仮リンク(Lebedev–Milin inequality)を使い、ミリンの予想（後日、ド・ブランジュにより証明されることになる）がロバートソンの予想を含んでいることとなり、従ってビーベルバッハ予想を含むことになる。

最終的に テンプレート:Harvtxt は、全ての n に対して|a_n| ≤ n が成り立つことを証明した。

ド・ブランジュの証明

証明には整函数のあるタイプのヒルベルト空間を使う。これらの空間の研究は、今日、複素解析の一分野へと成長していて、空間はド・ブランジュ空間(de Branges space)とかテンプレート:仮リンク(de Branges function)と呼ばれるようになっている。ド・ブランジュ(De Branges)は対数の係数の強いミリンの予想 テンプレート:Harv を証明した。ミリンの予想は、奇函数の単葉函数のロバートソンの予想 テンプレート:Harv を含んでいることは既に知られており、従って単葉函数についてのビーベルバッハの予想 テンプレート:Harv を含んでいることは既に知られていた。彼の証明は、テンプレート:仮リンク(Jacobi polynomial)に対するレヴナー方程式とテンプレート:仮リンク(Askey–Gasper inequality)とべき級数のテンプレート:仮リンク(Lebedev–Milin inequality)を使った。

ド・ブランジュはこの予想をいくつかのヤコビ多項式の不等式へと還元し、最初の数項を手で評価した。ワルター・ガウチ(Walter Gautschi)は計算機を使いこれらのド・ブランジュの（最初の30個の項といったことによりビーベルバッハの予想を証明することとなる）不等式をさらに評価して、同じような不等式を知っているかとリチャード・アスキーに聞いた。アスキーは テンプレート:Harvtxt で8年前に必要な不等式を証明していることを指摘した。これがド・ブランジュに証明を完成させることとなった。最初のバージョンは非常に長く、小さなミスもあったのでこの証明について懐疑的な見方があったが、これらの誤りをテンプレート:仮リンクの”レニングラード幾何学的函数論セミナー”の人たちの助けを借りて修正した。ド・ブランジュが1984年にそこを訪問したときのことである。

ド・ブランジュは次のような結果を証明した。この結果は、$\nu =0$ はミリンの予想（従って、ビーベルバッハの予想）を含む。$\nu >-3/2$と σ_n が、正の整数 n に対し極限を 0 とする実数であるとし、

${\rho }_n=\frac{\mathrm{\Gamma }(2\nu +n+1)}{\mathrm{\Gamma }(n+1)}({\sigma }_n-{\sigma }_{n+1})$

が非負で、非増加で、極限 0 を持つとする。そのときには、全てのリーマン写像函数 F(z) = z + ... は単位円板上で単葉であり、

$\frac{F(z{)}^{\nu }-z^{\nu }}{\nu }=\sum _{n=1}^{\mathrm{\infty }}{a}_n{z}^{\nu +n}$

を満たし、

$\sum _{n=1}^{\mathrm{\infty }}(\nu +n){\sigma }_n|a_n{|}^2$

の最大値は、ケーベ函数 z/(1 − z)² となる。

参考文献

• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:SpringerEOM
• テンプレート:Citation
• テンプレート:Citation.
• テンプレート:Citation
• Koepf, Wolfram (2007), Bieberbach’s Conjecture, the de Branges and Weinstein Functions and the Askey-Gasper Inequality
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation (Translation of the 1971 Russian edition)
• テンプレート:Citation
• テンプレート:Citation
• 楠 幸男、須川敏幸：「複素解析学特論」、現代数学社、ISBN 978-4768705209（2019年11月21日）の第3章"ビーベルバッハ予想"。