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

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

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

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

単葉函数

正規化
a0 = 0 であり、a1 = 1
であるということは、
f(0) = 0 であり f'(0) = 1
であることを意味する。これはいつでも、任意の開単位円板上に定義され、次式を満たす単射的函数 g から出発すると(linear fractional transformation)により保証されている。

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

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

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

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

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

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

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

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

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

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

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

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

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

大きな n のある値にたいするビーベルバッハ予想の証明はいくつかあり、特に、 は、|a4| ≤ 4 を証明し、とは |a6| ≤ 6 を証明し、 は、|a5| ≤ 5 を証明した。

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

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

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

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

最終的に  は、全ての n に対して|an| ≤ n が成り立つことを証明した。

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

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

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

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

を満たし、

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