ド・ブランジュの定理

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

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

[math]f(z)=z+\sum_{n\geq 2} a_n z^n.[/math]

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

[math]\left| a_n \right| \leq n[/math]

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

単葉函数

"「単葉函数」"

正規化

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

であるということは、

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

であることを意味する。これはいつでも、任意の開単位円板上に定義され、次式を満たす単射的函数 g から出発すると線型分数変換(linear fractional transformation)により保証されている。

[math]f(z)=\frac{g(z)-g(0)}{g'(0)}.[/math]

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

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

[math]f_\alpha(z)=\frac{z}{(1-\alpha z)^2}=\sum_{n=1}^\infty n\alpha^{n-1} z^n[/math]

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

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

[math]f(z)=z+z^2 = (z+1/2)^2 - 1/4\;[/math]

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

歴史

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

Bieberbach (1916) は、|a₂| ≤ 2 を証明し、|a_n| ≤ n となるであろうことを予想をした。Loewner (1917) と Nevanlinna (1921) は独立に星型函数(starlike functionsin)の評価基準に関する予想を証明した。その後、チャールズ・レヴナー(Charles Loewner)は、(Loewner (1923)) で |a₃| ≤ 3 をレヴナー方程式を使い証明した。彼の仕事は、最も新しい研究にも使われており、シュラム・レヴナー発展方程式にも適用される。

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

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

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

[math]\phi(z) = b_1z+b_3z^3+b_5z^5+\cdots[/math]

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

[math]\sum_{k=1}^n|b_{2k+1}|^2\le n[/math]

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

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

大きな n のある値にたいするビーベルバッハ予想の証明はいくつかあり、特に、Garabedian & Schiffer (1955) は、|a₄| ≤ 4 を証明し、Ozawa (1969)とPederson (1968)は |a₆| ≤ 6 を証明し、 Pederson & Schiffer (1972)は、|a₅| ≤ 5 を証明した。

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

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

[math]\sum^n_{k=1} (n-k+1)(k|\gamma_k|^2-1/k)\le 0[/math]

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

[math]\log(f(z)/z)=2 \sum^\infty_{n=1}\gamma_nz^n.[/math]

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

最終的に de Branges (1985) は、全ての n に対して|a_n| ≤ n が成り立つことを証明した。

ド・ブランジュの証明

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

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

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

[math] \rho_n=\frac{\Gamma(2\nu+n+1)}{\Gamma(n+1)}(\sigma_n-\sigma_{n+1}) [/math]

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

[math]\frac{F(z)^\nu-z^\nu} {\nu}= \sum_{n=1}^{\infty} a_nz^{\nu+n}[/math]

を満たし、

[math]\sum_{n=1}^\infty(\nu+n)\sigma_n|a_n|^2[/math]

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

参考文献

• Askey, Richard; Gasper, George (1976), “Positive Jacobi polynomial sums. II”, American Journal of Mathematics (American Journal of Mathematics, Vol. 98, No. 3) 98 (3): 709–737, doi:10.2307/2373813, ISSN 0002-9327, JSTOR 2373813, MR 0430358, http://jstor.org/stable/2373813 
• Baernstein, Albert; Drasin, David; Duren, Peter et al., eds. (1986), The Bieberbach conjecture, Mathematical Surveys and Monographs, 21, Providence, R.I.: American Mathematical Society, pp. xvi+218, ISBN 978-0-8218-1521-2, MR 875226 
• Bieberbach, L. (1916), “Über die Koeffizienten derjenigen Potenzreihen, welche eine schlichte Abbildung des Einheitskreises vermitteln”, Sitzungsber. Preuss. Akad. Wiss. Phys-Math. Kl.: 940–955 
• Conway, John B. (1995), Functions of One Complex Variable II, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94460-9 
• de Branges, Louis (1985), “A proof of the Bieberbach conjecture”, Acta Mathematica 154 (1): 137–152, doi:10.1007/BF02392821, MR 772434 
• de Branges, Louis (1987), “Underlying concepts in the proof of the Bieberbach conjecture”, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Berkeley, Calif., 1986), Providence, R.I.: American Mathematical Society, pp. 25–42, MR 934213 
• Drasin, David; Duren, Peter; Marden, Albert, eds. (1986), “The Bieberbach conjecture”, Proceedings of the symposium on the occasion of the proof of the Bieberbach conjecture held at Purdue University, West Lafayette, Ind., March 11—14, 1985, Mathematical Surveys and Monographs (Providence, RI: American Mathematical Society) 21: pp. xvi+218, ISBN 0-8218-1521-0, MR 875226 
• Fekete, M.; Szegö, G. (1933), “Eine Bemerkung Über Ungerade Schlichte Funktionen”, J. London Math. Soc. s1-8 (2): 85–89, doi:10.1112/jlms/s1-8.2.85 
• テンプレート:Springer
• Grinshpan, Arcadii Z. (1999), “The Bieberbach conjecture and Milin's functionals”, The American Mathematical Monthly 106 (3): 203–214, doi:10.2307/2589676, JSTOR 2589676, MR 1682341, http://jstor.org/stable/2589676 
• Grinshpan, Arcadii Z. (2002), “Logarithmic Geometry, Exponentiation, and Coefficient Bounds in the Theory of Univalent Functions and Nonoverlapping Domains”, in Kuhnau, Reiner (English), Geometric Function Theory, Handbook of Complex Analysis, Volume 1, Amsterdam: North-Holland, pp. 273–332, ISBN 0-444-82845-1, MR 1966197, Zbl 1083.30017 .
• Hayman, W. K. (1955), “The asymptotic behaviour of p-valent functions”, Proceedings of the London Mathematical Society. Third Series 5 (3): 257–284, doi:10.1112/plms/s3-5.3.257, MR 0071536 
• Koepf, Wolfram (2007), Bieberbach’s Conjecture, the de Branges and Weinstein Functions and the Askey-Gasper Inequality
• Korevaar, Jacob (1986), “Ludwig Bieberbach's conjecture and its proof by Louis de Branges”, The American Mathematical Monthly (The American Mathematical Monthly, Vol. 93, No. 7) 93 (7): 505–514, doi:10.2307/2323021, ISSN 0002-9890, JSTOR 2323021, MR 856290, http://jstor.org/stable/2323021 
• Littlewood, J. E. (1925), “On Inequalities in the Theory of Functions”, Proc. London Math. Soc. s2-23: 481–519, doi:10.1112/plms/s2-23.1.481 
• Littlewood, J.E.; Paley, E. A. C. (1932), “A Proof That An Odd Schlicht Function Has Bounded Coefficients”, J. London Math. Soc. s1-7 (3): 167–169, doi:10.1112/jlms/s1-7.3.167 
• Loewner, C. (1917), “Untersuchungen über die Verzerrung bei konformen Abbildungen des Einheitskreises /z/ < 1, die durch Funktionen mit nicht verschwindender Ableitung geliefert werden”, Ber. Verh. Sachs. Ges. Wiss. Leipzig 69: 89–106 
• Loewner, C. (1923), “Untersuchungen über schlichte konforme Abbildungen des Einheitskreises. I”, Math. Ann. 89: 103–121, doi:10.1007/BF01448091, JFM 49.0714.01 
• Milin, I. M. (1977), Univalent functions and orthonormal systems, Providence, R.I.: American Mathematical Society, MR 0369684  (Translation of the 1971 Russian edition)
• Nevanlinna, R. (1921), “Über die konforme Abbildung von Sterngebieten”, Ofvers. Finska Vet. Soc. Forh. 53: 1–21 
• Robertson, M. S. (1936), “A remark on the odd schlicht functions”, Bulletin of the American Mathematical Society 42 (6): 366–370, doi:10.1090/S0002-9904-1936-06300-7, http://www.ams.org/bull/1936-42-06/S0002-9904-1936-06300-7/