Teorema en análisis complejo que establece que todas las funciones pueden factorizarse según sus ceros
En matemáticas , y particularmente en el campo del análisis complejo , el teorema de factorización de Weierstrass afirma que toda función entera puede representarse como un producto (posiblemente infinito) que involucra sus ceros . El teorema puede verse como una extensión del teorema fundamental del álgebra , que afirma que todo polinomio puede factorizarse en factores lineales, uno por cada raíz.
El teorema, que lleva el nombre de Karl Weierstrass , está estrechamente relacionado con un segundo resultado: cada secuencia que tiende al infinito tiene asociada una función entera con ceros precisamente en los puntos de esa secuencia.
Es evidente que cualquier conjunto finito de puntos en el plano complejo tiene asociado un polinomio cuyos ceros están precisamente en los puntos de ese conjunto. La inversa es una consecuencia del teorema fundamental del álgebra : cualquier función polinómica en el plano complejo tiene una factorización
donde a es una constante distinta de cero y es el conjunto de ceros de . [1]
Las dos formas del teorema de factorización de Weierstrass pueden considerarse como extensiones del anterior a funciones enteras. La necesidad de términos adicionales en el producto se demuestra cuando se considera donde la secuencia no es finita . Nunca puede definir una función entera, porque el producto infinito no converge. Por lo tanto, no se puede, en general, definir una función entera a partir de una secuencia de ceros prescritos o representar una función entera por sus ceros utilizando las expresiones producidas por el teorema fundamental del álgebra.
Una condición necesaria para la convergencia del producto infinito en cuestión es que para cada z, los factores deben aproximarse a 1 cuando . Por lo tanto, es lógico que se busque una función que pueda ser 0 en un punto prescrito, pero que permanezca cerca de 1 cuando no esté en ese punto y, además, no introduzca más ceros que los prescritos. Los factores elementales de Weierstrass tienen estas propiedades y sirven para el mismo propósito que los factores anteriores.
Los factores elementales
Consideremos las funciones de la forma para . En , se evalúan como y tienen una pendiente plana en el orden hasta . Justo después de , caen abruptamente a un pequeño valor positivo. En contraste, considere la función que no tiene pendiente plana pero, en , se evalúa como exactamente cero. Observe también que para | z | < 1 ,
Los factores elementales , [2]
también denominados factores primarios , [3]
son funciones que combinan las propiedades de pendiente cero y valor cero (ver gráfico):
Para | z | < 1 y , se puede expresar como y se puede leer cómo se aplican esas propiedades.
La utilidad de los factores elementales reside en el siguiente lema: [2]
Lema (15.8, Rudin) para | z | ≤ 1 ,
Las dos formas del teorema
Existencia de una función completa con ceros especificados
Sea una secuencia de números complejos distintos de cero tal que . Si es cualquier secuencia de números enteros no negativos tal que para todo ,
entonces la función
es entera con ceros solo en los puntos . Si un número aparece en la secuencia exactamente m veces, entonces la función f tiene un cero en de multiplicidad m .
La secuencia en el enunciado del teorema siempre existe. Por ejemplo, siempre podríamos tomar y tener la convergencia. Tal secuencia no es única: cambiarla en un número finito de posiciones, o tomar otra secuencia p ′ n ≥ p n , no romperá la convergencia.
También se incorpora aquí el caso dado por el teorema fundamental del álgebra. Si la sucesión es finita entonces podemos tomar y obtener: .
El teorema de factorización de Weierstrass
Sea ƒ una función entera, y sean los ceros distintos de cero de ƒ repetidos según multiplicidad; supongamos también que ƒ tiene un cero en z = 0 de orden m ≥ 0 . [a]
Entonces existe una función entera g y una secuencia de números enteros tales que
Un caso especial del teorema de factorización de Weierstraß ocurre para funciones enteras de orden finito . En este caso, el puede tomarse independiente de y la función es un polinomio. Por lo tanto, donde son aquellas raíces de que no son cero ( ), es el orden del cero de en (el caso se toma como que significa ), un polinomio (cuyo grado llamaremos ), y es el entero no negativo más pequeño tal que la serie converge. Esto se llama representación canónica de Hadamard . [4] El entero no negativo se llama género de la función entera . El orden de satisface
En otras palabras: Si el orden no es un entero, entonces es la parte entera de . Si el orden es un entero positivo, entonces hay dos posibilidades: o .
Por ejemplo, , y son funciones enteras del género .