Teorema de Mittag-Leffler

En un análisis complejo, el teorema de Mittag-Leffler se refiere a la existencia de funciones

meromórficas con polos prescritos. Por el contrario, se puede usar para expresar cualquier función
meromórfica como una suma de fracciones parciales. Es hermana del teorema de factorización de
Weierstrass, que afirma la existencia de funciones holomórficas con ceros prescritos. Lleva el
nombre de Gösta Mittag-Leffler.

Teorema

Sea D un conjunto abierto en ℂ y E ⊂ D y un subconjunto discreto cerrado. Para cada 𝛼 en E,

dejemos que sea un polinomio en . Hay una función meromórfica en D tal

que para cada uno , la función solo tiene una singularidad removible en .
En particular, la parte principal de en es .

Un posible esquema de prueba es el siguiente. Si es finito, es suficiente para tomar

. Si no es finito, considere la suma finita donde es

un subconjunto finito de .

Si bien es posible que no converjan a medida que se aproxima a , se pueden restar

funciones racionales bien elegidas con polos fuera de D (proporcionados por el teorema de Runge)
sin cambiar las partes principales de y de tal manera que se garantice la convergencia.

Ejemplo

Supongamos que deseamos una función meromórfica con polos simples de residuo 1 en todos los
enteros positivos. Con notación como arriba, dejando

Y , el teorema de Mittag-Leffler afirma (no constructivamente) la existencia de una

función meromórfica con parte principal en para cada entero positivo k. Esta f
tiene las propiedades deseadas. Más constructivamente podemos dejar

Esta serie converge normalmente en ℂ (como se puede mostrar usando la prueba M) a una
función meromórfica con las propiedades deseadas.
Expansiones de polos de funciones meromórficas

Estos son algunos ejemplos de expansiones de polos de funciones meromórficas: