Teorema de factorización de Weierstrass

Teorema de factorización de Weierstrass

En matemática, concretamente en análisis complejo, el teorema de factorización de Weierstrass, llamado así en honor a Karl Weierstrass, asegura que las funciones enteras pueden ser representadas mediante un producto que envuelve sus ceros. Además, cualquier sucesión que tienda al infinito tiene asociada una función entera con ceros precisamente en los puntos de esa sucesión.

Una segunda forma extendida a funciones meromorfas permite considerar una función meromorfa dada como un producto de tres factores: los polos, los ceros, y una función holomorfa asociada distinta de cero.

Contenido

Motivación

Las consecuencias del teorema fundamental del álgebra son dobles.[1] La primera de ellas, cualquier sucesión finita {cn} en el plano complejo tiene asociado un polinomio que tiene ceros precisamente en los puntos de esa sucesión, \,\prod_n (z-c_n).

La segunda de ellas, cualquier función polinómica p(z) es el plano complejo tiene una factorización \,p(z)=a\prod_n(z-c_n), donde a es una constante distinta de cero y cn son los ceros de p.

Las dos formas del teorema de factorización de Weierstrass pueden ser pensadas como extensiones superiores de las funciones enteras. La necesidad de un mecanismo extra se demuestra cuando se considera el producto \,\prod_n (z-c_n) si la sucesión {cn} no es finita. Esto nunca puede definir una función entera, porque el producto infinito no converge. Así que, en general, no se puede definir una función entera de una sucesión de ceros preestablecidos o representar una función entera mediante sus ceros usando las expresiones dadas mediante el teorema fundamental del algebra.

Una condición necesaria para la convergencia de un producto infinito en cuestión es que, cada factor (zcn) debe aproximarse a 1 cuando n\to\infty. Así que, parece lógico que se deba buscar una función que podría ser 0 en el punto preestablecido y sin embargo, permanecer próximo a 1 cuando no se encuentre en ese punto, además de no introducir más ceros de los establecidos. Esto se define con los factores elementales de Weierstrass. Estos factores sirven para el mismo propósito que los factores (zcn) de arriba.

Los factores elementales

También se les conoce como factores primarios.[2]

Para n \in \mathbb{N}, se definen los factores elementales como:[3]

E_n(z) = \begin{cases} (1 -z) & \mbox{si }n=0, \\ (1-z)\exp \left( \frac{z^1}{1}+\frac{z^2}{2}+\cdots+\frac{z^n}{n} \right) & \mbox{de otra forma}. \end{cases}

Su utilidad radica en el siguiente lema:[3]

Lema (15.8, Rudin) para |z| ≤ 1, n ∈ No

\vert 1 - E_n(z) \vert \leq \vert z \vert^{n+1}.

Las dos formas del teorema

Existencia de una función entera con ceros específicos

A veces llamado como teorema de Weierstrass.[4]

Sea {an} una sucesión de números complejos distintos de cero tales que |a_n|\to\infty. Si {pn} es cualquier sucesión de enteros tales que para todo r > 0,

 \sum_{n=1}^\infty \left( r/|a_n|\right)^{1+p_n} < \infty,

entonces la función

f(z) = \prod_{n=1}^\infty E_{p_n}(z/a_n)

es entera con ceros únicamente en los puntos an. Si el número z0 se produce en la sucesión {an} exactamente m veces, entonces la función f tiene un cero en z = z0 de multiplicidad m.

  • Nótese que la sucesión {pn} en la declaración del teorema siempre existe. Por ejemplo siempre se podría tomar pn = n y se obtendría convergencia. Tal sucesión no es única: cambiando ésta un número finito de posiciones, o tomando otra secuencia p'n ≥ pn, no se «romperá» la convergencia.
  • El teorema generaliza lo siguiente: sucesiones en conjuntos abiertos (y por lo tanto regiones) de la esfera de Riemann tienen funciones asociadas que son holomorfas en esos subconjuntos y tienen ceros en los puntos de la sucesión.[3]
  • Nótese también que el caso dado por el teorema fundamental del álgebra está incorporado aquí. Si la sucesión {an} es finita entonces se puede tomar pn = 0 y obtener: \, f(z) = c\,{\displaystyle\prod}_n (z-a_n).

El teorema de factorización de Weierstrass

A veces llamado como Teorema del producto/factor de Weierstrass.[5]

Sea ƒ una función entera, y sea {an} los ceros distintos de 0 de ƒ, repetidos acorde con su multiplicidad; supóngase también que ƒ tiene un cero en z = 0 de orden m ≥ 0 (un cero de orden m = 0 en z = 0 significa que ƒ(0) ≠ 0). Entonces existe una función entera g y una sucesión de enteros {pn} tales que

f(z)=z^m e^{g(z)} \prod_{n=1}^\infty E_{p_n}\!\!\left(\frac{z}{a_n}\right).[6]

Ejemplos de factorización

  • \sin \pi z = \pi z \prod_{n\neq 0} \left(1-\frac{z}{n}\right)e^{z/n} = \pi z\prod_{n=1}^\infty \left(1-\frac{z^2}{n^2}\right)
  • \cos \pi z = \prod_{n\neq 0} \left(1-\frac{2z}{2n-1}\right)e^{2z/(2n-1)} = \prod_{n=1}^\infty \left( 1 - \frac{4z^2}{(2n-1)^2} \right)

Teorema de factorización de Hadamard

Si ƒ es una función finita con un orden ρ, entonces ésta admite una factorización

f(z) = z^m e^{g(z)} {\displaystyle\prod}_{n=1}^\infty E_p(z/a_n)

donde g(z) es un polinomio de grado q, y q ≤ ρ.[6]

Véase también

  • Teorema de Mittag-Leffler

Referencias

  1. Knopp, K. (1996), «Weierstrass's Factor-Theorem», Theory of Functions, Part II, New York: Dover, pp. 1–7 .
  2. Boas, R. P. (1954), Entire Functions, New York: Academic Press Inc., ISBN 0821845055, OCLC 6487790 , chapter 2.
  3. a b c Rudin, W. (1987), Real and Complex Analysis (3rd edición), Boston: McGraw Hill, pp. 301–304, ISBN 0070542341, OCLC 13093736 .
  4. Weisstein, Eric W. «Weierstrass's Theorem» (en inglés). MathWorld. Wolfram Research.
  5. Weisstein, Eric W. «Weierstrass Product Theorem» (en inglés). MathWorld. Wolfram Research.
  6. a b Conway, J. B. (1995), Functions of One Complex Variable I, 2nd ed., springer.com: Springer, ISBN 0387903283 

Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Función zeta de Riemann — ζ(s) en el plano complejo. El color de un punto s codifica el valor de ζ(s): Colores fuertes denotan valores cercanos a 0 y el tono codifica el valor del argumento. El punto blanco en s=1 es el polo de la función zeta; los puntos negros en el eje …   Wikipedia Español

  • Función poligamma — Diferentes gráficas de la función poligamma a lo largo del eje x. En naranja, para m=0, en amarillo, para m=1, en verde, para m=2, en rojo, para m=3 y en azul para m=4. En matemática, la función poligamma de orden m se define como la m ésima… …   Wikipedia Español

  • Función gamma inversa — Gráfica de 1/Γ(x) a lo largo del eje real. Función gamma invers …   Wikipedia Español

  • Curva elíptica — Saltar a navegación, búsqueda En matemáticas, las curvas elípticas se definen mediante ecuaciones cúbicas (de tercer grado). Han sido usadas para probar el último teorema de Fermat y se emplean también en criptografía (para más detalles ver el… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”