# 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 $z$:
$f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}.$
Los términos de esta serie tienden a 0 como $n\to \infty$, entonces para cada $z$ hay un término de módulo máximo. Este término depende de $r:=|z|$. Su módulo se llama el término máximo de la serie:
aquí $n$es el exponente para el cual se alcanza el máximo; Si hay varios términos máximos, definimos $n$como el mayor exponente de ellos. Este número $n$depende de $r$, se denota por $n(r,f)$y se llama el índice central .
Deja
$M(r,f)=\max\{|f(z)|:|z|\leq r\}$
Ser el módulo máximo de la función $f$. La desigualdad de Cauchy implica que $\mu (r,f)\leq M(r,f)$ para todos $r\geq 0$. La estimación inversa $M(r,f)\leq (\mu (r,f))^{1+\epsilon }$fue probado por primera vez por Borel, y una estimación más precisa debido a que Wiman lee
$M(r,f)\leq \mu (r,f)\left(\log \mu (r,f)\right)^{1/2+\epsilon },$
en el sentido de que por cada $\epsilon >0$existen valores arbitrariamente grandes de $r$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 $r$: el conjunto excepcional $E$para lo que no posee tiene medida logarítmica finita:
$\int _{E}{\frac {dr}{r}}<\infty .$
Las mejoras de estas desigualdades fueron objeto de mucha investigación en el siglo XX.

## La principal fórmula asintótica

El siguiente resultado de Wiman es fundamental para varias aplicaciones: $z_{r}$ser el punto por el cual el máximo en la definición de $M(r,f)$se alcanza por el Principio Máximo tenemos $|z_{r}|=r$. Resulta que $f(z)$se comporta cerca del punto $z_{r}$como un monomio: hay valores arbitrariamente grandes de $r$tal que la fórmula
$f(z)=(1+o(1))\left({\frac {z}{z_{r}}}\right)^{n(r,f)}f(z_{r}),$
se mantiene en el disco
$|z-z_{r}|<{\frac {r}{\left(n(r)\right)^{1/2+\epsilon }}}.$
aquí $\epsilon >0$es un número positivo arbitrario, y la o (1) se refiere a $r\to \infty ,\;r\not \in E$, donde $E$es el conjunto excepcional descrito anteriormente. Este disco generalmente se llama el disco de Wiman-Valiron.

## Aplicaciones

La fórmula para $f(z)$para $z$cerca $z_{r}$ se puede diferenciar por lo que tenemos una relación asintótica.
$f^{(m)}(z)=(1+o(1))\left({\frac {n(r)}{z}}\right)^{m}\left({\frac {r}{z_{r}}}\right)^{n(r)}f(z_{r}).$
Esto es útil para estudios de soluciones completas de ecuaciones diferenciales.
Otra aplicación importante se debe a Valiron quien notó que la imagen del disco Wiman-Valiron contiene un anillo "grande" ( $\{z:r_{1}<|z|<r_{2}\}$donde ambos $r_{1}$ y $r_{2}/r_{1}$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 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.
$a(r,f):=r{\frac {M'(r,f)}{M(r,f)}}$
y demostró la relación principal en la forma.
Esta declaración no menciona la serie de potencias, sino el supuesto de que $f$es entero fue utilizado por Macintyre.
La generalización final fue lograda por Bergweiler, Rippon y Stallard quienes demostraron que esta relación persiste para todas las funciones analíticas ilimitadas $f$definido en una región arbitraria ilimitada $D$en el plano complejo, bajo el único supuesto de que $|f(z)|$está limitado por $z\in \partial D$. La declaración clave que hace posible esta generalización es que el disco de Wiman-Valiron está realmente contenido en $D$para todos los no excepcionales $r$.