Théorème de De Branges

De Branges's theorem In complex analysis, de Branges's theorem, or the Bieberbach conjecture, is a theorem that gives a necessary condition on a holomorphic function in order for it to map the open unit disk of the complex plane injectively to the complex plane. It was posed by Ludwig Bieberbach (1916) and finally proven by Louis de Branges (1985).

The statement concerns the Taylor coefficients an of a univalent function, c'est à dire. a one-to-one holomorphic function that maps the unit disk into the complex plane, normalized as is always possible so that a0 = 0 and a1 = 1. C'est-à-dire, we consider a function defined on the open unit disk which is holomorphic and injective (univalent) with Taylor series of the form {style d'affichage f(z)=z+sum _{ngq 2}un_{n}z ^{n}.} Such functions are called schlicht. The theorem then states that {style d'affichage |un_{n}|leq nquad {texte{pour tous }}ngq 2.} The Koebe function (voir ci-dessous) is a function in which an = n for all n, and it is schlicht, so we cannot find a stricter limit on the absolute value of the nth coefficient.

Contenu 1 Schlicht functions 2 Histoire 3 De Branges's proof 4 Voir également 5 References Schlicht functions The normalizations a0 = 0 and a1 = 1 mean that f(0) = 0 and f '(0) = 1.

This can always be obtained by an affine transformation: starting with an arbitrary injective holomorphic function g defined on the open unit disk and setting {style d'affichage f(z)={frac {g(z)-g(0)}{g'(0)}}.} Such functions g are of interest because they appear in the Riemann mapping theorem.

A schlicht function is defined as an analytic function f that is one-to-one and satisfies f(0) = 0 and f '(0) = 1. A family of schlicht functions are the rotated Koebe functions {style d'affichage f_{alpha }(z)={frac {z}{(1-alpha z)^{2}}}=somme _{n=1}^{infime }nalpha ^{n-1}z ^{n}} with α a complex number of absolute value 1. If f is a schlicht function and |un| = n for some n ≥ 2, then f is a rotated Koebe function.

The condition of de Branges' theorem is not sufficient to show the function is schlicht, as the function {style d'affichage f(z)=z+z^{2}=(z+1/2)^{2}-1/4} shows: it is holomorphic on the unit disc and satisfies |un|≤n for all n, but it is not injective since f(−1/2 + z) = f(−1/2 − z).

History A survey of the history is given by Koepf (2007).

Bieberbach (1916) proved |a2| ≤ 2, and stated the conjecture that |un| ≤n. Loewner (1917) and Nevanlinna (1921) independently proved the conjecture for starlike functions. Then Charles Loewner (Löwner (1923)) proved |a3| ≤ 3, using the Löwner equation. His work was used by most later attempts, and is also applied in the theory of Schramm–Loewner evolution.

Littlewood (1925, théorème 20) Prouvé cela |un| ≤ en for all n, showing that the Bieberbach conjecture is true up to a factor of e = 2.718... Several authors later reduced the constant in the inequality below e.

If f(z) = z + ... is a schlicht function then φ(z) = f(z2)1/2 is an odd schlicht function. Paley and Littlewood (1932) showed that its Taylor coefficients satisfy bk ≤ 14 for all k. They conjectured that 14 can be replaced by 1 as a natural generalization of the Bieberbach conjecture. The Littlewood–Paley conjecture easily implies the Bieberbach conjecture using the Cauchy inequality, but it was soon disproved by Fekete & Szegö (1933), who showed there is an odd schlicht function with b5 = 1/2 + exp(−2/3) = 1.013..., and that this is the maximum possible value of b5. Isaak Milin later showed that 14 can be replaced by 1.14, and Hayman showed that the numbers bk have a limit less than 1 if f is not a Koebe function (for which the b2k+1 are all 1). So the limit is always less than or equal to 1, meaning that Littlewood and Paley's conjecture is true for all but a finite number of coefficients. A weaker form of Littlewood and Paley's conjecture was found by Robertson (1936).

The Robertson conjecture states that if {style d'affichage phi (z)=b_{1}z+b_{3}z ^{3}+b_{5}z ^{5}+cdots } is an odd schlicht function in the unit disk with b1=1 then for all positive integers n, {somme de style d'affichage _{k=1}^{n}|b_{2k+1}|^{2}leq n.} Robertson observed that his conjecture is still strong enough to imply the Bieberbach conjecture, and proved it for n = 3. This conjecture introduced the key idea of bounding various quadratic functions of the coefficients rather than the coefficients themselves, which is equivalent to bounding norms of elements in certain Hilbert spaces of schlicht functions.

There were several proofs of the Bieberbach conjecture for certain higher values of n, in particular Garabedian & Schiffer (1955) proved |a4| ≤ 4, Ozawa (1969) and Pederson (1968) proved |a6| ≤ 6, and Pederson & Schiffer (1972) proved |a5| ≤ 5.

Hayman (1955) proved that the limit of an/n exists, and has absolute value less than 1 unless f is a Koebe function. In particular this showed that for any f there can be at most a finite number of exceptions to the Bieberbach conjecture.

The Milin conjecture states that for each schlicht function on the unit disk, and for all positive integers n, {somme de style d'affichage _{k=1}^{n}(n-k+1)(k|gamma _{k}|^{2}-1/k)leq 0} where the logarithmic coefficients γn of f are given by {displaystyle log(F(z)/z)=2sum _{n=1}^{infime }gamma _{n}z ^{n}.} Milin (1977) showed using the Lebedev–Milin inequality that the Milin conjecture (later proved by de Branges) implies the Robertson conjecture and therefore the Bieberbach conjecture.

Finally De Branges (1985) proved |un| ≤ n for all n.

De Branges's proof The proof uses a type of Hilbert spaces of entire functions. The study of these spaces grew into a sub-field of complex analysis and the spaces have come to be called de Branges spaces. De Branges proved the stronger Milin conjecture (Milin 1971) on logarithmic coefficients. This was already known to imply the Robertson conjecture (Robertson 1936) about odd univalent functions, which in turn was known to imply the Bieberbach conjecture about schlicht functions (Bieberbach 1916). His proof uses the Loewner equation, the Askey–Gasper inequality about Jacobi polynomials, and the Lebedev–Milin inequality on exponentiated power series.

De Branges reduced the conjecture to some inequalities for Jacobi polynomials, and verified the first few by hand. Walter Gautschi verified more of these inequalities by computer for de Branges (proving the Bieberbach conjecture for the first 30 or so coefficients) and then asked Richard Askey whether he knew of any similar inequalities. Askey pointed out that Askey & Gasper (1976) had proved the necessary inequalities eight years before, which allowed de Branges to complete his proof. The first version was very long and had some minor mistakes which caused some skepticism about it, but these were corrected with the help of members of the Leningrad seminar on Geometric Function Theory (Leningrad Department of Steklov Mathematical Institute) when de Branges visited in 1984.

De Branges proved the following result, which for ν = 0 implies the Milin conjecture (and therefore the Bieberbach conjecture). Suppose that ν > −3/2 and σn are real numbers for positive integers n with limit 0 et telle que {style d'affichage rho _{n}={frac {Gamma (2nu +n+1)}{Gamma (n+1)}}(sigma _{n}-sigma _{n+1})} is non-negative, non-increasing, and has limit 0. Then for all Riemann mapping functions F(z) = z + ... univalent in the unit disk with {style d'affichage {frac {F(z)^{nu }-z ^{nu }}{nu }}=somme _{n=1}^{infime }un_{n}z ^{nu +n}} the maximinum value of {somme de style d'affichage _{n=1}^{infime }(nu +n)sigma _{n}|un_{n}|^{2}} is achieved by the Koebe function z/(1 − z)2.

A simplified version of the proof was published in 1985 by Carl FitzGerald and Christian Pommerenke (FitzGerald & Pommerenke (1985)), and an even shorter description by Jacob Korevaar (Korevaar (1986)).

See also Grunsky matrix Fekete–Szegő inequality Schwarz lemma References Askey, Richard; Gasper, George (1976), "Positive Jacobi polynomial sums. II", Journal américain de mathématiques, 98 (3): 709–737, est ce que je:10.2307/2373813, ISSN 0002-9327, JSTOR 2373813, M 0430358 Baernstein, Albert; Drasin, David; Duren, Pierre; et al., eds. (1986), The Bieberbach conjecture, Enquêtes mathématiques et monographies, volume. 21, Providence, R.I.: Société mathématique américaine, pp. xvi+218, est ce que je:10.1090/surv/021, ISBN 978-0-8218-1521-2, M 0875226 Bieberbach, L. (1916), "Über die Koeffizienten derjenigen Potenzreihen, welche eine schlichte Abbildung des Einheitskreises vermitteln", Sitzungsber. Preuss. Décalages. 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", Journal de mathématiques, 154 (1): 137–152, est ce que je:10.1007/BF02392821, M 0772434 de Branges, Louis (1987), "Underlying concepts in the proof of the Bieberbach conjecture", Actes du Congrès international des mathématiciens, Volume. 1, 2 (Berkeley, Calif., 1986), Providence, R.I.: Société mathématique américaine, pp. 25–42, M 0934213 Drasin, David; Duren, Pierre; 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, Enquêtes mathématiques et monographies, Providence, IR: Société mathématique américaine, volume. 21, pp. xvi+218, est ce que je:10.1090/surv/021, ISBN 0-8218-1521-0, M 0875226 Fekete, M; Un ongle, g. (1933), "Eine Bemerkung Über Ungerade Schlichte Funktionen", J. Mathématiques de Londres. Soc., s1-8 (2): 85–89, est ce que je:10.1112/jlms/s1-8.2.85 FitzGerald, Carl; Pommerenke, Christian (1985), "The de Branges theorem on univalent functions", Trans. Amer. Math. Soc., 290 (2): 683, est ce que je:10.2307/2000306, JSTOR 2000306 Goluzina, E.G. (2001) [1994], "Bieberbach conjecture", Encyclopédie des mathématiques, EMS Press Grinshpan, Arcadii Z. (1999), "The Bieberbach conjecture and Milin's functionals", Le mensuel mathématique américain, 106 (3): 203–214, est ce que je:10.2307/2589676, JSTOR 2589676, M 1682341 Grinshpan, Arcadii Z. (2002), "Logarithmic Geometry, Exponentiation, and Coefficient Bounds in the Theory of Univalent Functions and Nonoverlapping Domains", in Kuhnau, Reiner (éd.), Geometric Function Theory, Handbook of Complex Analysis, volume. 1, Amsterdam: Hollande du Nord, pp. 273–332, est ce que je:10.1016/S1874-5709(02)80012-9, ISBN 0-444-82845-1, M 1966197, Zbl 1083.30017. Hayman, O. K. (1955), "The asymptotic behaviour of p-valent functions", Actes de la London Mathematical Society, Third Series, 5 (3): 257–284, est ce que je:10.1112/plms/s3-5.3.257, M 0071536 Hayman, O. K. (1994), "De Branges' Theorem", Multivalent functions, Cambridge Tracts in Mathematics, volume. 110 (2sd éd.), la presse de l'Universite de Cambridge, ISBN 0521460263 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", Le mensuel mathématique américain, 93 (7): 505–514, est ce que je:10.2307/2323021, ISSN 0002-9890, JSTOR 2323021, M 0856290 Littlewood, J. E. (1925), "On Inequalities in the Theory of Functions", Proc. Mathématiques de Londres. Soc., s2-23: 481–519, est ce que je:10.1112/plms/s2-23.1.481 Littlewood, J.E.; Paley, E. UN. C. (1932), "A Proof That An Odd Schlicht Function Has Bounded Coefficients", J. Mathématiques de Londres. Soc., s1-7 (3): 167–169, est ce que je: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, hdl:10338.dmlcz/125927, 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 Categories: Theorems in complex analysisConjecturesConjectures that have been proved