Teorema de Liouville (análisis complejo)


Teorema de Liouville (análisis complejo)
Para otros teoremas homónimos, véase Teorema de Liouville.

En matemáticas, y en particular en el análisis complejo, el teorema de Liouville afirma que si una función es holomorfa en todo el plano complejo y está acotada, entonces es constante. Nótese que esta afirmación es falsa en los números reales (tómese, por ejemplo, la función cos(x), que está acotada pero no es constante).

Contenido

Enunciado del teorema

Sea f:\mathbb{C} \to \mathbb{C} una función entera[1] y acotada, es decir, existe M > 0 tal que

|f(z)| < M\quad \forall z \in \mathbb{C};

entonces resulta que f es constante.

Una versión más general de este teorema afirma que si f:\mathbb{C} \to \mathbb{C} es una función entera y si \forall z \in \mathbb{C} se tiene que |f(z)|\leq C+D|z|^n, con C,\;D>0 para algún n\in\mathbb{N}_0, entonces f debe ser un polinomio de grado a lo más n. Como consecuencia directa de lo anterior, si |f(z)|\leq |p(z)|,\;\forall z\in\mathbb{C}, con p(z)\in\mathbb{C}[z], un polinomio de grado n, entonces f es un polinomio de grado a lo más n.

Demostración

La fórmula integral de Cauchy dice que

 f'(z) = \frac{1}{2\pi\,i}\oint_{|z-\zeta| = r}\frac{f(\zeta)}{(z-\zeta)^2}d\zeta.

De modo que

 |f'(z)| \le \frac{1}{2\pi}\frac{M}{r^2}\,2\pi\,r = \frac{M}{r}.

Como podemos elegir r tan grande como queramos, concluimos que f'(z) = 0 para todo z en \mathbb{C}. Finalmente, como f está definida sobre un conjunto simplemente conexo, entonces f debe ser constante.

Teorema de Liouville y teorema fundamental del álgebra

El teorema de Liouville entrega una demostración simple del teorema fundamental del álgebra, es decir, de que todo polinomio no constante a coeficientes en \mathbb{C} tiene una raíz en \mathbb{C}. La demostración es la siguiente:

Sea P(z) un polinomio no constante, y supongamos que no tiene raíces. Luego, como todos los polinomios son funciones enteras, se tiene que Q(z)=\frac{1}{P(z)} resulta ser también una función entera. Pero \lim_{z\rightarrow \infty} |P(z)|=\infty (eso siempre ocurre para polinomios no constantes), luego \lim_{z\rightarrow \infty} |Q(z)|=0 , por lo que Q resulta ser una función acotada. Luego, por el teorema de Liouville, Q es una función constante, por lo que P también lo será. Eso contradice nuestra hipótesis inicial, y se concluye que entonces P debe tener una raíz.

Notar que se sigue fácilmente que entonces P tiene tantas raíces como su grado (contando multiplicidad), pues basta dividir cada vez P por (zz0), donde z0 es la raíz recién encontrada.

Consecuencias

Espectro de un operador

Una de las consecuencias interesantes del teorema de Liouville es que el espectro de un operador necesariamente es un conjunto no-vacío. Para verlo, veamos que el hecho de que fuera vacío contradice el teorema de Liouville. Si dicho espectro fuera vacío entonces la norma de la función resolvente:

\rho:\mathbb{C} \longrightarrow \mathbb{C} \qquad
\lambda \mapsto \rho_\lambda = \|(\lambda I - B)^{-1}\|

Donde B\; es un operador acotado de un espacio de Banach, estaría definida en todo el plano complejo y sería holomorfa y acotada. Y eso implica que la función sería constante por el teorema de Liouville. Y dado que:

\lim_{\lambda \to \infty} \rho_\lambda = 0

Por ser constante, tendría que ser 0 en todos sitios y eso contradiría el hecho de que el resolvente sea un operador lineal acotado.

Notas

  1. f es derivable en el conjunto de los números complejos.

Enlaces externos


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Teorema de Liouville (análisis complejo) — Teorema de Liouville: Sea una función entera y acotada (es decir existe tal que ), entonces resulta que es constante …   Enciclopedia Universal

  • Teorema de Liouville — Existen varios teoremas conocidos como Teorema de Liouville atribuidos a Joseph Liouville: En análisis complejo, ver Teorema de Liouville (análisis complejo). En mecánica hamiltoniana, ver Teorema de Liouville (mecánica hamiltoniana). En… …   Wikipedia Español

  • Análisis complejo — Gráfico de la función f(z)=(z2 1)(z 2 i)2/(z2+2+2i). La coloración representa el argumento de la función, mientas que el brillo representa el módulo. El análisis complejo es la rama de las matemáticas que en parte investiga las funciones… …   Wikipedia Español

  • Análisis matemático — El estudio del conjunto de Mandelbrot que es un objeto fractal con autosimilaridad estadística involucra diversas áreas del análisis matemático, el análisis de la convergencia, la teoría de la medida, la geometría y la teoría de la probabilidad y …   Wikipedia Español

  • Teorema fundamental del álgebra — El teorema fundamental del álgebra establece que un polinomio en una variable, no constante y con coeficientes complejos, tiene tantas raíces[1] como indica su grado, contando las raíces con sus multiplicidades. En otras palabras, dado un… …   Wikipedia Español

  • Joseph Liouville — Joseph Liouville. Nacimiento 24 de marzo de 1809 …   Wikipedia Español

  • Función armónica — En matemáticas, sea f : D → R (donde D es un subconjunto abierto de Rn) una función real de n variables, se la llama armónica en D si sobre D tiene derivadas parciales continuas de primer y segundo orden y satisfacen la ecuación de Laplace… …   Wikipedia Español

  • Espectro de un operador — Saltar a navegación, búsqueda El espectro de un operador es un conjunto de valores complejos que generaliza el concepto de valor propio (autovalor) a espacios vectoriales de dimensión infinita. El concepto es muy importante tanto en análisis… …   Wikipedia Español

  • Número π — π (pi) es la relación entre la longitud de una circunferencia y su diámetro, en geometría euclidiana. Es un número irracional y una de las constantes matemáticas más importantes. Se emplea frecuentemente en matemáticas, física e ingeniería. El… …   Wikipedia Español

  • Función elíptica — En análisis complejo, una función elíptica es, hablando toscamente, una función definida sobre el plano complejo y periódica en ambas direcciones. Las funciones elípticas pueden ser vistas como generalizaciones de las funciones trigonométricas… …   Wikipedia Español