Teoría de Wiman-Valiron
La teoría de Wiman-Valiron es una teoría matemática inventada por Anders Wiman como una herramienta para estudiar el comportamiento de funciones completas arbitrarias. Después del trabajo de Wiman, la teoría fue desarrollada por otros matemáticos y se extendió a clases más generales de funciones analíticas. El principal resultado de la teoría es una fórmula asintótica para la función y sus derivados cerca del punto donde se alcanza el módulo máximo de esta función.
Término máximo e índice central
Por definición, una función completa puede representarse mediante una serie de potencias que es convergente para todos los complejos :
Los términos de esta serie tienden a 0 como , entonces para cada hay un término de módulo máximo. Este término depende de . Su módulo se llama el término máximo de la serie:
aquí es el exponente para el cual se alcanza el máximo; Si hay varios términos máximos, definimos como el mayor exponente de ellos. Este número depende de , se denota por y se llama el índice central .
Deja
Ser el módulo máximo de la función . La desigualdad de Cauchy implica que para todos . La estimación inversa fue probado por primera vez por Borel, y una estimación más precisa debido a que Wiman lee [1]
en el sentido de que por cada existen valores arbitrariamente grandes de por lo que esta desigualdad se mantiene. De hecho, Valiron demostró que la relación anterior es válida para "la mayoría" de los valores de : el conjunto excepcional para lo que no posee tiene medida logarítmica finita:
Las mejoras de estas desigualdades fueron objeto de mucha investigación en el siglo XX. [2]
La principal fórmula asintótica
El siguiente resultado de Wiman [3] es fundamental para varias aplicaciones: ser el punto por el cual el máximo en la definición de se alcanza por el Principio Máximo tenemos . Resulta que se comporta cerca del punto como un monomio: hay valores arbitrariamente grandes de tal que la fórmula
se mantiene en el disco
aquí es un número positivo arbitrario, y la o (1) se refiere a , donde es el conjunto excepcional descrito anteriormente. Este disco generalmente se llama el disco de Wiman-Valiron.
Aplicaciones
La fórmula para para cerca se puede diferenciar por lo que tenemos una relación asintótica.
Esto es útil para estudios de soluciones completas de ecuaciones diferenciales.
Otra aplicación importante se debe a Valiron [4] quien notó que la imagen del disco Wiman-Valiron contiene un anillo "grande" ( donde ambos y son arbitrariamente grandes). Esto implica el importante teorema de Valiron de que hay discos arbitrariamente grandes en el plano en el que se pueden definir las ramas inversas de una función completa. Una versión cuantitativa de esta afirmación se conoce como el teorema de Bloch .
Este teorema de Valiron tiene otras aplicaciones en la dinámica holomórfica: se utiliza en la prueba del hecho de que el conjunto de escape de una función completa no está vacío.
Desarrollo posterior
En 1938, Macintyre [5] encontró que uno puede deshacerse del índice central y de las series de poder en esta teoría. Macintyre sustituye el índice central por la cantidad.
y demostró la relación principal en la forma.
Esta declaración no menciona la serie de potencias, sino el supuesto de que es entero fue utilizado por Macintyre.
La generalización final fue lograda por Bergweiler, Rippon y Stallard [6] quienes demostraron que esta relación persiste para todas las funciones analíticas ilimitadas definido en una región arbitraria ilimitada en el plano complejo, bajo el único supuesto de que está limitado por . La declaración clave que hace posible esta generalización es que el disco de Wiman-Valiron está realmente contenido en para todos los no excepcionales .
Referencias
- Wiman, A. (1914). «Über den Zusammenhang zwischen dem Maximalbetrage einer analytischen Funktion und dem grössten Gliede der zugehörigen taylor'schen Reihe». Acta Mathematica 37: 305-326 (German).
- Hayman, W. (1974). «The local growth of power series: a survey of the Wiman-Valiron method». Canadian Mathematical Bulletin 17 (3): 317-358.
- Wiman, A. (1916). «Über den Zusammenhang zwischen dem Maximalbetrage einer analytischen Funktion und dem grössten Betrage bei gegebenem Argumente der Funktion». Acta Mathematica 41: 1-28 (German).
- Valiron, G. (1949). Lectures on the general theory of integral functions. NY: Chelsea, reprint of the 1923 ed.
- Macintyre, A. (1938). «Wiman's method and the "flat regions" of integral functions». Quarterly J. Math.: 81-88.
- Bergweiler, W.; Rippon, Ph.; Stallard, G. (2008). «Dynamics of meromorphic functions with direct or logarithmic singularities». Proc. London Math. Soc. 97: 368-400.