En el análisis complejo , una rama de las matemáticas , el teorema de Bloch describe el comportamiento de las funciones holomorfas definidas en el disco unitario . Proporciona un límite inferior para el tamaño de un disco en el que existe una función inversa de una función holomorfa. Recibe su nombre en honor a André Bloch .
Sea f una función holomorfa en el disco unitario | z | ≤ 1 para lo cual
El teorema de Bloch establece que existe un disco S ⊂ D en el que f es biholomorfo y f(S) contiene un disco con radio 1/72.
Si f es una función holomorfa en el disco unitario con la propiedad | f′ (0)| = 1, entonces sea L f el radio del disco más grande contenido en la imagen de f .
El teorema de Landau establece que existe una constante L definida como el ínfimo de L f sobre todas esas funciones f , y que L es mayor que la constante de Bloch L ≥ B .
Este teorema lleva el nombre de Edmund Landau .
El teorema de Bloch se inspiró en el siguiente teorema de Georges Valiron :
Teorema. Si f es una función entera no constante, entonces existen discos D de radio arbitrariamente grande y funciones analíticas φ en D tales que f (φ( z )) = z para z en D .
El teorema de Bloch se corresponde con el teorema de Valiron a través del llamado principio de Bloch .
Primero demostramos el caso cuando f (0) = 0, f′ (0) = 1 y | f′ ( z )| ≤ 2 en el disco unitario.
Por la fórmula integral de Cauchy , tenemos un límite
donde γ es el círculo en sentido antihorario de radio r alrededor de z , y 0 < r < 1 − | z |.
Por el teorema de Taylor , para cada z en el disco unitario, existe 0 ≤ t ≤ 1 tal que f ( z ) = z + z 2 f″ ( tz ) / 2.
Por lo tanto, si | z | = 1/3 y | w | < 1/6, tenemos
Por el teorema de Rouché , el rango de f contiene el disco de radio 1/6 alrededor de 0.
Sea D ( z 0 , r ) el disco abierto de radio r alrededor de z 0 . Para una función analítica g : D ( z 0 , r ) → C tal que g ( z 0 ) ≠ 0, el caso anterior aplicado a ( g ( z 0 + rz ) − g ( z 0 )) / ( rg′ (0)) implica que el rango de g contiene a D ( g ( z 0 ), | g′ (0)| r / 6).
Para el caso general, sea f una función analítica en el disco unitario tal que | f′ (0)| = 1, y z 0 = 0.
Repitiendo este argumento, encontramos un disco de radio al menos 1/24 en el rango de f , lo que demuestra el teorema, o encontramos una secuencia infinita ( z n ) tal que | z n − z n −1 | < 1/2 n +1 y | f′ ( z n )| > 2| f′ ( z n −1 )|.
En el último caso la secuencia está en D (0, 1/2), por lo que f′ no está acotada en D (0, 1/2), una contradicción.
En la prueba del Teorema de Landau anterior, el teorema de Rouché implica que no solo podemos encontrar un disco D de radio al menos 1/24 en el rango de f , sino que también hay un pequeño disco D 0 dentro del disco unidad tal que para cada w ∈ D hay un único z ∈ D 0 con f ( z ) = w . Por lo tanto, f es una función analítica biyectiva de D 0 ∩ f −1 ( D ) a D , por lo que su inversa φ también es analítica por el teorema de la función inversa .
El número B se denomina constante de Bloch . El límite inferior 1/72 del teorema de Bloch no es el mejor posible. El teorema de Bloch nos dice que B ≥ 1/72, pero el valor exacto de B aún se desconoce.
Los límites más conocidos para B en la actualidad son
donde Γ es la función Gamma . El límite inferior fue demostrado por Chen y Gauthier, y el límite superior se remonta a Ahlfors y Grunsky.
La constante óptima L definida de manera similar en el teorema de Landau se denomina constante de Landau . Su valor exacto también se desconoce, pero se sabe que
En su artículo , Ahlfors y Grunsky conjeturaron que sus límites superiores son en realidad los valores verdaderos de B y L.
Para funciones holomorfas inyectivas en el disco unitario, se puede definir de manera similar una constante A. Se sabe que
