Teorema de factorización de Weierstrass

Anderson Andrés Llanos Quintero Deivit Sebastián Acuña Fonseca

Santiago Tovar Mosquera

Universidad Nacional de Colombia

24 de Noviembre de 2020
 Sección 1

Introducción
Introducción Productos Infinitos Producto de funciones Aplicaciones

Introducción

Introducción
En la siguiente presentación mostraremos el razonamiento que se debe
seguir para la correcta realización e interpretación del teorema de
Weierstrass, el cual nos garantiza que toda función entera no nula se
puede descomponer de una manera especı́fica. Esto nos permitirá, entre
otras cosas, la factorización de la función sin(πz) conociendo sus raı́ces,
siendo este el fundamento de varias identidades matemáticas.
Adicionalmente, responderemos una pregunta que nos facilitará la llegada
al ya mencionado teorema: Dada {ak }k∈N una sucesión en C sin puntos
de acumulación y {mk }k∈N una sucesión de enteros positivos, ¿Existe
f : C −→ C función entera tal que el conjunto de ceros de la función, sea
exactamente {ak : k ≥ 1} con multiplicidades mk respectivamente?

1
 Sección 2

Productos Infinitos
Introducción Productos Infinitos Producto de funciones Aplicaciones

Productos Infinitos

Definición: (Producto Infinito)

n
Y
Sean {zn }n∈N ⊆ C y pn = zk . Decimos que pn converge a z cuando
k=1
z = lı́m pn y además, diremos que z es el producto infinito de los
n→∞
números zn el cual será denotado por
∞
Y
z = lı́m pn = zn
n→∞
n=1

2
Introducción Productos Infinitos Producto de funciones Aplicaciones

Productos Infinitos

Proposición: (Condición necesaria para la convergencia de

un producto)
∞
Y
Sea {zn }n∈N ⊆ C y supongamos que z = zn existe y z 6= 0, entonces
n=1
lı́m zn = 1.
n→∞

Observación:
El recı́proco de la proposición anterior no es válido en general.
1
Consideremos la sucesión dada por zn = 1 + con n ∈ N.
n

3
Introducción Productos Infinitos Producto de funciones Aplicaciones

Productos Infinitos

Proposición: (Condición necesaria para la convergencia de

un producto)
∞
Y
Sea {zn }n∈N ⊆ C y supongamos que z = zn existe y z 6= 0, entonces
n=1
lı́m zn = 1.
n→∞

Observación:
El recı́proco de la proposición anterior no es válido en general.
1
Consideremos la sucesión dada por zn = 1 + con n ∈ N.
n

3
Introducción Productos Infinitos Producto de funciones Aplicaciones

Productos Infinitos

Proposición:
Sea {zn }n∈N ⊆ C tal que Re(zn ) > 0 para todo n ≥ 1 y sea log(z) la
∞
Y
rama principal del logaritmo. Entonces existe z 6= 0 tal que zn = z sı́,
n=1
∞
X
y solo sı́, log zn converge.
n=1

Proposición:
Sea {zn }n∈N ⊆ C una sucesión tal que Re(zn ) > −1 para todo n ∈ N.
∞
X ∞
X
Entonces la serie | log(1 + zn )| converge si y solo si zn converge
n=1 n=1
absolutamente.

4
Introducción Productos Infinitos Producto de funciones Aplicaciones

Productos Infinitos

Proposición:
Sea {zn }n∈N ⊆ C tal que Re(zn ) > 0 para todo n ≥ 1 y sea log(z) la
∞
Y
rama principal del logaritmo. Entonces existe z 6= 0 tal que zn = z sı́,
n=1
∞
X
y solo sı́, log zn converge.
n=1

Proposición:
Sea {zn }n∈N ⊆ C una sucesión tal que Re(zn ) > −1 para todo n ∈ N.
∞
X ∞
X
Entonces la serie | log(1 + zn )| converge si y solo si zn converge
n=1 n=1
absolutamente.

4
Introducción Productos Infinitos Producto de funciones Aplicaciones

Productos Infinitos

Definición: (Convergencia absoluta de un producto)

∞
Y
En el caso donde Re(zn ) > 0 para todo n, el producto infinito zn se
n=1
∞
X
dice absolutamente convergente si la serie log(zn ) converge
n=1
absolutamente.

5
Introducción Productos Infinitos Producto de funciones Aplicaciones

Productos Infinitos

Corolario: (Caracterización para la convergencia absoluta)

∞
Y
Si Re(zn ) > 0 para n ∈ N entonces el producto zn converge
n=1
∞
X
absolutamente si y solo si la serie (zn − 1) converge absolutamente.
n=1

6
 Sección 3

Producto de funciones
Introducción Productos Infinitos Producto de funciones Aplicaciones

Producto de funciones

Lema: (Convergencia uniforme de exp)

Dados un conjunto X ⊂ C y {fn }n∈N una sucesión funciones de X en C
tales que fn (x) → f (x) uniformemente para alguna f de X en C y para
todo x en X . Si existe una constante a tal que Re(f (x)) ≤ a para todo x
en X , entonces exp(fn (x)) → exp(f (x)) uniformemente para todo x en X .

7
Introducción Productos Infinitos Producto de funciones Aplicaciones

Producto de funciones

Lema: (Convergencia de producto infinito de funciones)

Dado (X , d) un espacio métrico compacto y dada {gn } una sucesión de
X∞
funciones continuas de X en C tal que gn (x) converge absoluta y
n=1
uniformemente para x en X . Entonces el producto
∞
Y
f (x) = (1 + gn (x))
n=1

converge absoluta y uniformemente para todo x en X . Además, existe

N ∈ N tal que f (x) = 0 si y solo si gn (x) = −1 para algún n con
1 ≤ n ≤ N.

8
Introducción Productos Infinitos Producto de funciones Aplicaciones

Productos de funciones analı́ticas

Definición: (Multiplicidad del cero de una función)

Sean f : G → C analı́tica en G ⊂ C y a ∈ G tal que f (a) = 0, entonces
decimos que a es un cero de f de multiplicidad m ≥ 1 si existe una
función g : G → C analı́tica tal que f (z) = (z − a)m g (z) donde g (a) 6= 0

9
Introducción Productos Infinitos Producto de funciones Aplicaciones

Producto de funciones analı́ticas

Teorema: (Lema central para el teorema de Weierstras)

Sean G una región en C y {fn }n∈N una sucesión de funciones analı́ticas
∞
X
en G tal que ninguna fn es idénticamente cero. Si (fn (z) − 1)
n=1
converge absoluta y uniformemente sobre subconjuntos compactos de G ,
∞
Y
entonces fn (z) converge a una función analı́tica f en G. Además, sı́
n=1
a ∈ C es un cero de f entonces a es un cero de un número finito de
funciones fn , y la multiplicidad del cero de f en a es la suma de las
multiplicidades de los ceros de las funciones fn en a.

10
Introducción Productos Infinitos Producto de funciones Aplicaciones

Producto de funciones analı́ticas

Definición: (Factor Elemental)

Un factor elemental es una de las siguientes funciones Ep (z) para p ∈ N

E0 (z) = 1 − z
z2 zp
 
Ep (z) = (1 − z) exp z + + ··· + para p≥1
2 p
z 
La función Ep tiene un único cero, el cual es simple, en z = a.
a

Lema:
Si |z| ≤ 1 y p ≥ 0, entonces |1 − Ep (z)| ≤ |z|p+1 .

11
Introducción Productos Infinitos Producto de funciones Aplicaciones

Producto de funciones analı́ticas

Definición: (Factor Elemental)

Un factor elemental es una de las siguientes funciones Ep (z) para p ∈ N

E0 (z) = 1 − z
z2 zp
 
Ep (z) = (1 − z) exp z + + ··· + para p≥1
2 p
z 
La función Ep tiene un único cero, el cual es simple, en z = a.
a

Lema:
Si |z| ≤ 1 y p ≥ 0, entonces |1 − Ep (z)| ≤ |z|p+1 .

11
Introducción Productos Infinitos Producto de funciones Aplicaciones

Producto de funciones analı́ticas

Teorema: (Existencia de una función analı́tica que se anula

en los puntos de una sucesión)
Dada {an }n∈N una sucesión en C tal que lı́m |an | = ∞ y an 6= 0 para
n→∞
todo n ≥ 1 (esta no es una sucesión de puntos distintos pero, por
hipótesis, ningún punto se repite un número infinito de veces, pues
necesitamos que no hayan puntos de acumulación). Si {pn }n∈N es
cualquier sucesión de enteros positivos tal que
∞  pn +1
X r
<∞ (1)
n=1
|an |

para todo r > 0, entonces

12
Introducción Productos Infinitos Producto de funciones Aplicaciones

Producto de funciones analı́ticas

Teorema: (Existencia de una función analı́tica que se anula

en los puntos de una sucesión)
∞  
Y z
f (z) = E pn
n=1
an

La función f es una función entera con ceros solamente en los puntos an .

Si z0 ocurre en la sucesión {an }n∈N exactamente m veces, entonces f
tiene un cero en z = z0 de multiplicidad m. Además, si pn = n − 1
entonces se cumplirá la desigualdad (1), es decir, siempre existe dicha
sucesión {pn }n∈N .

13
Introducción Productos Infinitos Producto de funciones Aplicaciones

Existencia de una función analı́tica que se anula en los puntos

Demostración.
|z|
Notemos que para |z| ≤ r y r ≤ |an | se tiene que ≤ 1, luego
|an |
    pn +1
 1 − E pn z  ≤  z 
   
. De esta manera,
 an   an 
∞   
 1 − E pn z  < ∞
X  

n=1
an 

Uniformemente en B(0, r ). Por el teorema anterior, puesto que r > 0 es

arbitrario, tendremos que
∞  
Y z
f (z) = E pn es entera
n=1
an

Y sus ceros son precisamente los elementos an

14
Introducción Productos Infinitos Producto de funciones Aplicaciones

Existencia de una función analı́tica que se anula en los puntos

Demostración.
|z|
Notemos que para |z| ≤ r y r ≤ |an | se tiene que ≤ 1, luego
|an |
    pn +1
 1 − E pn z  ≤  z 
   
. De esta manera,
 an   an 
∞   
1 − Epn z  < ∞
X  

n=1
an 

Uniformemente en B(0, r ). Por el teorema anterior, puesto que r > 0 es

arbitrario, tendremos que
∞  
Y z
f (z) = E pn es entera
n=1
an

Y sus ceros son precisamente los elementos an

14
Introducción Productos Infinitos Producto de funciones Aplicaciones

Existencia de una función analı́tica que se anula en los puntos

Demostración.
|z|
Notemos que para |z| ≤ r y r ≤ |an | se tiene que ≤ 1, luego
|an |
    pn +1
 1 − E pn z  ≤  z 
   
. De esta manera,
 an   an 
∞   
1 − Epn z  < ∞
X  

n=1
an 

Uniformemente en B(0, r ). Por el teorema anterior, puesto que r > 0 es

arbitrario, tendremos que
∞  
Y z
f (z) = Epn es entera
n=1
an

Y sus ceros son precisamente los elementos an

14
Introducción Productos Infinitos Producto de funciones Aplicaciones

Teorema de Weierstrass

Teorema: (Teorema de Factorización de Weierstrass)

Sea f una función entera no nula. Consideremos {an }n∈N la sucesión en
C donde cada elemento es un cero de f diferente de 0 y repetido tantas
veces de acuerdo a su multiplicidad. Supongamos además que f tiene un
cero en z = 0 de orden m ≥ 0 (un cero de orden m = 0 en z = 0
significa que f (0) 6= 0). Entonces, existe una función entera g y una
sucesión de enteros no negativos {pn }n∈N tales que
∞  
m g (z)
Y z
f (z) = z · e E pn
n=1
an

15
Introducción Productos Infinitos Producto de funciones Aplicaciones

Demostración.
Consideremos el caso en el que {an }n∈N determine un conjunto infinito.
Podemos probar que lı́mn→∞ |an | = ∞ ya que en caso contrario existirı́a
un punto de acumulación para la sucesión {an }, de modo que por el
teorema de identidad f ≡ 0, lo cual contradice la hipótesis. Por el
teorema anterior, existe {pn }n∈N una sucesión de enteros positivos tal que
∞  
Y z
h1 (z) = E pn
n=1
an

Es una función entera cuyos ceros son exactamente los elementos de la

sucesión {an }. De esta manera, consideramos entonces la función
∞  
m m
Y z
h(z) = z h1 (z) = z E pn
n=1
an

La cual es entera al ser producto de enteras y sus ceros son los ceros de f
con sus respectivas multiplicidades.
16
Introducción Productos Infinitos Producto de funciones Aplicaciones

Demostración.
Consideremos el caso en el que {an }n∈N determine un conjunto infinito.
Podemos probar que lı́mn→∞ |an | = ∞ ya que en caso contrario existirı́a
un punto de acumulación para la sucesión {an }, de modo que por el
teorema de identidad f ≡ 0, lo cual contradice la hipótesis. Por el
teorema anterior, existe {pn }n∈N una sucesión de enteros positivos tal que
∞  
Y z
h1 (z) = E pn
n=1
an

Es una función entera cuyos ceros son exactamente los elementos de la

sucesión {an }. De esta manera, consideramos entonces la función
∞  
m m
Y z
h(z) = z h1 (z) = z E pn
n=1
an

La cual es entera al ser producto de enteras y sus ceros son los ceros de f
con sus respectivas multiplicidades.
16
Introducción Productos Infinitos Producto de funciones Aplicaciones

Demostración.
Consideremos el caso en el que {an }n∈N determine un conjunto infinito.
Podemos probar que lı́mn→∞ |an | = ∞ ya que en caso contrario existirı́a
un punto de acumulación para la sucesión {an }, de modo que por el
teorema de identidad f ≡ 0, lo cual contradice la hipótesis. Por el
teorema anterior, existe {pn }n∈N una sucesión de enteros positivos tal que
∞  
Y z
h1 (z) = E pn
n=1
an

Es una función entera cuyos ceros son exactamente los elementos de la

sucesión {an }. De esta manera, consideramos entonces la función
∞  
m m
Y z
h(z) = z h1 (z) = z E pn
n=1
an

La cual es entera al ser producto de enteras y sus ceros son los ceros de f
con sus respectivas multiplicidades.
16
Introducción Productos Infinitos Producto de funciones Aplicaciones

Teorema de Weierstrass
Demostración.
f (z)
Ahora, las singularidades de h(z) son removibles. Sean ak y mk ≥ 0 un
cero de f (y por lo tanto de h) y su multiplicidad respectivamente, esto
significa, por definición, que existen fk y hk analı́ticas en una vecindad de
ak tales que hk (ak ), fk (ak ) 6= 0 y además :

f (z) = (z − ak )mk fk (z) ; h(z) = (z − ak )mk hk (z)

Esto implica por lo tanto que en una vecindad de ak se tiene que

f (z) fk (z)
= es analı́tica en ak
h(z) hk (z)

Nuevamente, para aj con j 6= k, existen fj , hj analı́ticas en una vecindad

de aj con fj (aj ), hj (aj ) 6= 0 tales que

17
Introducción Productos Infinitos Producto de funciones Aplicaciones

Teorema de Weierstrass
Demostración.
f (z)
Ahora, las singularidades de h(z) son removibles. Sean ak y mk ≥ 0 un
cero de f (y por lo tanto de h) y su multiplicidad respectivamente, esto
significa, por definición, que existen fk y hk analı́ticas en una vecindad de
ak tales que hk (ak ), fk (ak ) 6= 0 y además :

f (z) = (z − ak )mk fk (z) ; h(z) = (z − ak )mk hk (z)

Esto implica por lo tanto que en una vecindad de ak se tiene que

f (z) fk (z)
= es analı́tica en ak
h(z) hk (z)

Nuevamente, para aj con j 6= k, existen fj , hj analı́ticas en una vecindad

de aj con fj (aj ), hj (aj ) 6= 0 tales que

17
Introducción Productos Infinitos Producto de funciones Aplicaciones

Teorema de Weierstrass
Demostración.
f (z)
Ahora, las singularidades de h(z) son removibles. Sean ak y mk ≥ 0 un
cero de f (y por lo tanto de h) y su multiplicidad respectivamente, esto
significa, por definición, que existen fk y hk analı́ticas en una vecindad de
ak tales que hk (ak ), fk (ak ) 6= 0 y además :

f (z) = (z − ak )mk fk (z) ; h(z) = (z − ak )mk hk (z)

Esto implica por lo tanto que en una vecindad de ak se tiene que

f (z) fk (z)
= es analı́tica en ak
h(z) hk (z)

Nuevamente, para aj con j 6= k, existen fj , hj analı́ticas en una vecindad

de aj con fj (aj ), hj (aj ) 6= 0 tales que

17
Introducción Productos Infinitos Producto de funciones Aplicaciones

Teorema de Weierstrass
Demostración.
f (z)
Ahora, las singularidades de h(z) son removibles. Sean ak y mk ≥ 0 un
cero de f (y por lo tanto de h) y su multiplicidad respectivamente, esto
significa, por definición, que existen fk y hk analı́ticas en una vecindad de
ak tales que hk (ak ), fk (ak ) 6= 0 y además :

f (z) = (z − ak )mk fk (z) ; h(z) = (z − ak )mk hk (z)

Esto implica por lo tanto que en una vecindad de ak se tiene que

f (z) fk (z)
= es analı́tica en ak
h(z) hk (z)

Nuevamente, para aj con j 6= k, existen fj , hj analı́ticas en una vecindad

de aj con fj (aj ), hj (aj ) 6= 0 tales que

17
Introducción Productos Infinitos Producto de funciones Aplicaciones

Teorema de Weierstrass
Demostración.

fk (z) = (z − aj )mj fj (z) ; hk (z) = (z − aj )mj hj (z)

De modo que en una vecindad de aj

f (z) fk (z) fj (z)

= = es analı́tica en aj
h(z) hk (z) hj (z)

Siguiendo este proceso conseguimos funciones fe, h

e analı́ticas en todo
{0} ∪ {ak : k ≥ 1} y son tales que

f (z) fe(z)
= := q(z) es entera
h(z) h(z)
e

Y además, q(z) 6= 0 para todo z ∈ C. Como C es simplemente conexo,

existe g : C → C entera tal que q(z) = exp(g (z)) y por lo tanto
18
Introducción Productos Infinitos Producto de funciones Aplicaciones

Teorema de Weierstrass
Demostración.

fk (z) = (z − aj )mj fj (z) ; hk (z) = (z − aj )mj hj (z)

De modo que en una vecindad de aj

f (z) fk (z) fj (z)

= = es analı́tica en aj
h(z) hk (z) hj (z)

Siguiendo este proceso conseguimos funciones fe, h

e analı́ticas en todo
{0} ∪ {ak : k ≥ 1} y son tales que

f (z) fe(z)
= := q(z) es entera
h(z) h(z)
e

Y además, q(z) 6= 0 para todo z ∈ C. Como C es simplemente conexo,

existe g : C → C entera tal que q(z) = exp(g (z)) y por lo tanto
18
Introducción Productos Infinitos Producto de funciones Aplicaciones

Teorema de Weierstrass
Demostración.

fk (z) = (z − aj )mj fj (z) ; hk (z) = (z − aj )mj hj (z)

De modo que en una vecindad de aj

f (z) fk (z) fj (z)

= = es analı́tica en aj
h(z) hk (z) hj (z)

Siguiendo este proceso conseguimos funciones fe, h

e analı́ticas en todo
{0} ∪ {ak : k ≥ 1} y son tales que

f (z) fe(z)
= := q(z) es entera
h(z) h(z)
e

Y además, q(z) 6= 0 para todo z ∈ C. Como C es simplemente conexo,

existe g : C → C entera tal que q(z) = exp(g (z)) y por lo tanto
18
Introducción Productos Infinitos Producto de funciones Aplicaciones

Teorema de Weierstrass
Demostración.

fk (z) = (z − aj )mj fj (z) ; hk (z) = (z − aj )mj hj (z)

De modo que en una vecindad de aj

f (z) fk (z) fj (z)

= = es analı́tica en aj
h(z) hk (z) hj (z)

Siguiendo este proceso conseguimos funciones fe, h

e analı́ticas en todo
{0} ∪ {ak : k ≥ 1} y son tales que

f (z) fe(z)
= := q(z) es entera
h(z) h(z)
e

Y además, q(z) 6= 0 para todo z ∈ C. Como C es simplemente conexo,

existe g : C → C entera tal que q(z) = exp(g (z)) y por lo tanto
18
Introducción Productos Infinitos Producto de funciones Aplicaciones

Teorema de Weierstrass

Demostración.
∞  
m
Y z
f (z) = q(z) · h(z) = z exp(g (z)) E pn
n=1
an

Cuando z 6∈ {0} ∪ {ak : k ≥ 1}. Finalmente, en el caso para el cual

z ∈ {0} ∪ {ak : k ≥ 1}, la igualdad se tiene trivialmente ya que ambos
lados de la igualdad se hacen 0.

19
Introducción Productos Infinitos Producto de funciones Aplicaciones

Teorema de Weierstrass

Demostración.
∞  
m
Y z
f (z) = q(z) · h(z) = z exp(g (z)) E pn
n=1
an

Cuando z 6∈ {0} ∪ {ak : k ≥ 1}. Finalmente, en el caso para el cual

z ∈ {0} ∪ {ak : k ≥ 1}, la igualdad se tiene trivialmente ya que ambos
lados de la igualdad se hacen 0.

19
Introducción Productos Infinitos Producto de funciones Aplicaciones

Anexos
Teorema: (Derivada de un producto infinito)
Suponga que {fn }n∈N es una sucesión de funciones analı́ticas en una
∞
X
región U ⊂ C tal que |fn | converge uniformemente en cada
n=1
subconjunto compacto K de U. Entonces, si para todo z ∈ U el producto
∞
Y
f (z) := (1 + fn (z)) es distinto de cero, se tiene que
n=1

∞ 0
f 0 (z) X fn (z)
=
f (z) n=1
1 + fn (z)

Teorema: (Identidad para la función π cot(πz))

∞
1 X 2z
Sea z 6∈ Z entonces tenemos que π cot(πz) = +
z n=1 z 2 − n2

20
Introducción Productos Infinitos Producto de funciones Aplicaciones

Anexos
Teorema: (Derivada de un producto infinito)
Suponga que {fn }n∈N es una sucesión de funciones analı́ticas en una
∞
X
región U ⊂ C tal que |fn | converge uniformemente en cada
n=1
subconjunto compacto K de U. Entonces, si para todo z ∈ U el producto
∞
Y
f (z) := (1 + fn (z)) es distinto de cero, se tiene que
n=1

∞ 0
f 0 (z) X fn (z)
=
f (z) n=1
1 + fn (z)

Teorema: (Identidad para la función π cot(πz))

∞
1 X 2z
Sea z 6∈ Z entonces tenemos que π cot(πz) = +
z n=1 z 2 − n2

20
 Sección 4

Aplicaciones
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Proposición:
∞ 
z2
Y 
Dado z ∈ C, entonces sin(πz) = πz 1− .
n=1
n2

Demostración.
Empezamos notando que sin(z) = 0 sı́, y solo sı́, z = kπ con k ∈ Z. De
esta manera, sin(πz) = 0 sı́, y solo sı́, z ∈ Z. Ahora, necesitamos crear
nuestra sucesión {an }n∈N donde cada an ∈ Z y an 6= 0. Puesto que
N ∼ Z, podemos considerar la sucesión an = n2 si n es par y an = − n+12 si
n es impar. Esta sucesión contiene a a todos los ceros de sin(πz) sin
contar el 0. Además, si tomamos pn = 1 vemos que
∞  pn +1 X ∞  2 X ∞  2 ∞  2
X r r r X r
= + =2 <∞
n=1
|an | n=1
|a2k | n=1
|a2k−1 | n=1
n

21
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Proposición:
∞ 
z2
Y 
Dado z ∈ C, entonces sin(πz) = πz 1− .
n=1
n2

Demostración.
Empezamos notando que sin(z) = 0 sı́, y solo sı́, z = kπ con k ∈ Z. De
esta manera, sin(πz) = 0 sı́, y solo sı́, z ∈ Z. Ahora, necesitamos crear
nuestra sucesión {an }n∈N donde cada an ∈ Z y an 6= 0. Puesto que
N ∼ Z, podemos considerar la sucesión an = n2 si n es par y an = − n+12 si
n es impar. Esta sucesión contiene a a todos los ceros de sin(πz) sin
contar el 0. Además, si tomamos pn = 1 vemos que
∞  pn +1 X ∞  2 X ∞  2 ∞  2
X r r r X r
= + =2 <∞
n=1
|an | n=1
|a2k | n=1
|a2k−1 | n=1
n

21
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Proposición:
∞ 
z2
Y 
Dado z ∈ C, entonces sin(πz) = πz 1− .
n=1
n2

Demostración.
Empezamos notando que sin(z) = 0 sı́, y solo sı́, z = kπ con k ∈ Z. De
esta manera, sin(πz) = 0 sı́, y solo sı́, z ∈ Z. Ahora, necesitamos crear
nuestra sucesión {an }n∈N donde cada an ∈ Z y an 6= 0. Puesto que
N ∼ Z, podemos considerar la sucesión an = n2 si n es par y an = − n+12 si
n es impar. Esta sucesión contiene a a todos los ceros de sin(πz) sin
contar el 0. Además, si tomamos pn = 1 vemos que
∞  pn +1 X ∞  2 X ∞  2 ∞  2
X r r r X r
= + =2 <∞
n=1
|an | n=1
|a2k | n=1
|a2k−1 | n=1
n

21
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Proposición:
∞ 
z2
Y 
Dado z ∈ C, entonces sin(πz) = πz 1− .
n=1
n2

Demostración.
Empezamos notando que sin(z) = 0 sı́, y solo sı́, z = kπ con k ∈ Z. De
esta manera, sin(πz) = 0 sı́, y solo sı́, z ∈ Z. Ahora, necesitamos crear
nuestra sucesión {an }n∈N donde cada an ∈ Z y an 6= 0. Puesto que
N ∼ Z, podemos considerar la sucesión an = n2 si n es par y an = − n+12 si
n es impar. Esta sucesión contiene a a todos los ceros de sin(πz) sin
contar el 0. Además, si tomamos pn = 1 vemos que
∞  pn +1 X ∞  2 X ∞  2 ∞  2
X r r r X r
= + =2 <∞
n=1
|an | n=1
|a2k | n=1
|a2k−1 | n=1
n

21
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Por el teorema de factorización de Weierstrass, existe g : C → C función
entera tal que
∞  ∞
Y  
m g (z)
Y z z
sin(πz) = z e E1 E1
a2k n=1
a2k−1
k=1
∞ 
Y z z
 z  −z
= z m e g (z) 1− ek 1+ e k
k k
k=1
∞ 
z2
Y 
m g (z)
=z e 1− 2
k
k=1

Veamos que m = 1. Como sin(πz) es entera, admite representación en

serie de potencias alrededor de 0 :

π3 z 2 π5 z 4 π n z n−1
 
sin(πz) = z π − + − ··· ± + ··· = z · q(z)
3! 5! n! 22
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Por el teorema de factorización de Weierstrass, existe g : C → C función
entera tal que
∞  ∞
Y  
m g (z)
Y z z
sin(πz) = z e E1 E1
a2k n=1
a2k−1
k=1
∞ 
Y z z
 z  −z
= z m e g (z) 1− ek 1+ e k
k k
k=1
∞ 
z2
Y 
m g (z)
=z e 1− 2
k
k=1

Veamos que m = 1. Como sin(πz) es entera, admite representación en

serie de potencias alrededor de 0 :

π3 z 2 π5 z 4 π n z n−1
 
sin(πz) = z π − + − ··· ± + ··· = z · q(z)
3! 5! n! 22
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Por el teorema de factorización de Weierstrass, existe g : C → C función
entera tal que
∞  ∞
Y  
m g (z)
Y z z
sin(πz) = z e E1 E1
a2k n=1
a2k−1
k=1
∞ 
Y z z
 z  −z
= z m e g (z) 1− ek 1+ e k
k k
k=1
∞ 
z2
Y 
m g (z)
=z e 1− 2
k
k=1

Veamos que m = 1. Como sin(πz) es entera, admite representación en

serie de potencias alrededor de 0 :

π3 z 2 π5 z 4 π n z n−1
 
sin(πz) = z π − + − ··· ± + ··· = z · q(z)
3! 5! n! 22
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Por el teorema de factorización de Weierstrass, existe g : C → C función
entera tal que
∞  ∞
Y  
m g (z)
Y z z
sin(πz) = z e E1 E1
a2k n=1
a2k−1
k=1
∞ 
Y z z
 z  −z
= z m e g (z) 1− ek 1+ e k
k k
k=1
∞ 
z2
Y 
m g (z)
=z e 1− 2
k
k=1

Veamos que m = 1. Como sin(πz) es entera, admite representación en

serie de potencias alrededor de 0 :

π3 z 2 π5 z 4 π n z n−1
 
sin(πz) = z π − + − ··· ± + ··· = z · q(z)
3! 5! n! 22
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Por el teorema de factorización de Weierstrass, existe g : C → C función
entera tal que
∞  ∞
Y  
m g (z)
Y z z
sin(πz) = z e E1 E1
a2k n=1
a2k−1
k=1
∞ 
Y z z
 z  −z
= z m e g (z) 1− ek 1+ e k
k k
k=1
∞ 
z2
Y 
m g (z)
=z e 1− 2
k
k=1

Veamos que m = 1. Como sin(πz) es entera, admite representación en

serie de potencias alrededor de 0 :

π3 z 2 π5 z 4 π n z n−1
 
sin(πz) = z π − + − ··· ± + ··· = z · q(z)
3! 5! n! 22
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Donde q(0) = π 6= 0, luego por definicion z = 0 es un cero de sin(πz) de
multiplicidad m = 1. De esta manera
∞ 
z2
Y 
sin(πz) = ze g (z) 1−
n=1
n2

Considerando f (z) = sin(πz) encontraremos que, por la derivada de un

producto infinito
∞
f 0 (z) 1 X 2z
π cot(πz) = = + g 0 (z) + 2 − n2
f (z) z n=1
z

23
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Donde q(0) = π 6= 0, luego por definicion z = 0 es un cero de sin(πz) de
multiplicidad m = 1. De esta manera
∞ 
z2
Y 
sin(πz) = ze g (z) 1−
n=1
n2

Considerando f (z) = sin(πz) encontraremos que, por la derivada de un

producto infinito
∞
f 0 (z) 1 X 2z
π cot(πz) = = + g 0 (z) + 2 − n2
f (z) z n=1
z

23
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Donde q(0) = π 6= 0, luego por definicion z = 0 es un cero de sin(πz) de
multiplicidad m = 1. De esta manera
∞ 
z2
Y 
sin(πz) = ze g (z) 1−
n=1
n2

Considerando f (z) = sin(πz) encontraremos que, por la derivada de un

producto infinito
∞
f 0 (z) 1 X 2z
π cot(πz) = = + g 0 (z) + 2 − n2
f (z) z n=1
z

23
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Por otro lado, por la identidad encontrada para la función π cot(πz)
tenemos que
∞ ∞
1 X 2z 1 0
X 2z
+ 2 2
= + g (z) + (2)
z n=1 z − n z n=1
z − n2
2

De modo que g 0 (z) = 0 para z 6∈ Z, de modo que g es constante en

todo C \ Z, y puesto que g es entera, se sigue que g es constante en todo
C. Sea entonces g (z) = a para todo z ∈ C. Haciendo z → 0 mediante el
eje real vemos que, por la continuidad de h en 0, donde h se define como
∞ 
z2
Y 
h(z) = 1−
n=1
n2

24
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Por otro lado, por la identidad encontrada para la función π cot(πz)
tenemos que
∞ ∞
1 X 2z 1 0
X 2z
+ 2 2
= + g (z) + (2)
z n=1 z − n z n=1
z − n2
2

De modo que g 0 (z) = 0 para z 6∈ Z, de modo que g es constante en

todo C \ Z, y puesto que g es entera, se sigue que g es constante en todo
C. Sea entonces g (z) = a para todo z ∈ C. Haciendo z → 0 mediante el
eje real vemos que, por la continuidad de h en 0, donde h se define como
∞ 
z2
Y 
h(z) = 1−
n=1
n2

24
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Por otro lado, por la identidad encontrada para la función π cot(πz)
tenemos que
∞ ∞
1 X 2z 1 0
X 2z
+ 2 2
= + g (z) + (2)
z n=1 z − n z n=1
z − n2
2

De modo que g 0 (z) = 0 para z 6∈ Z, de modo que g es constante en

todo C \ Z, y puesto que g es entera, se sigue que g es constante en todo
C. Sea entonces g (z) = a para todo z ∈ C. Haciendo z → 0 mediante el
eje real vemos que, por la continuidad de h en 0, donde h se define como
∞ 
z2
Y 
h(z) = 1−
n=1
n2

24
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Por otro lado, por la identidad encontrada para la función π cot(πz)
tenemos que
∞ ∞
1 X 2z 1 0
X 2z
+ 2 2
= + g (z) + (2)
z n=1 z − n z n=1
z − n2
2

De modo que g 0 (z) = 0 para z 6∈ Z, de modo que g es constante en

todo C \ Z, y puesto que g es entera, se sigue que g es constante en todo
C. Sea entonces g (z) = a para todo z ∈ C. Haciendo z → 0 mediante el
eje real vemos que, por la continuidad de h en 0, donde h se define como
∞ 
z2
Y 
h(z) = 1− 2
n=1
n

24
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Tenemos que
∞ 
ea Y z2 ea

sin(πz)
1 = lı́m = lı́m 1− 2 =
z→0 πz z→0 π
n=1
n π

De donde entonces e a = π y ası́

∞ 
z2
Y 
sin(πz) = πz 1− 2 (3)
n=1
n

Siendo esta la factorización deseada.

25
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Tenemos que
∞ 
ea Y z2 ea

sin(πz)
1 = lı́m = lı́m 1− 2 =
z→0 πz z→0 π
n=1
n π

De donde entonces e a = π y ası́

∞ 
z2
Y 
sin(πz) = πz 1− 2 (3)
n=1
n

Siendo esta la factorización deseada.

25
Introducción Productos Infinitos Producto de funciones Aplicaciones

Factorización de la función sin(πz)

Demostración.
Tenemos que
∞ 
ea Y z2 ea

sin(πz)
1 = lı́m = lı́m 1− 2 =
z→0 πz z→0 π
n=1
n π

De donde entonces e a = π y ası́

∞ 
z2
Y 
sin(πz) = πz 1− 2 (3)
n=1
n

Siendo esta la factorización deseada.

25
Introducción Productos Infinitos Producto de funciones Aplicaciones

Fórmula de Wallis
π
Proposición: (Fórmula de Wallis para )
2
π 2 2 4 4 6 6
= · · · · · ···
2 1 3 3 5 5 7

Demostración.
1
Considerando z = 2 en la factorización de sin(z) (ecuación 3) tenemos
que:
∞  ∞ 
π Y 4n2 − 1
π  
πY 1
1 = sin = 1− 2 =
2 2 n=1 4n 2 n=1 4n2
∞  
π Y (2n − 1)(2n + 1)
=
2 n=1 (2n)2

26
Introducción Productos Infinitos Producto de funciones Aplicaciones

Fórmula de Wallis
π
Proposición: (Fórmula de Wallis para )
2
π 2 2 4 4 6 6
= · · · · · ···
2 1 3 3 5 5 7

Demostración.
1
Considerando z = 2 en la factorización de sin(z) (ecuación 3) tenemos
que:
∞  ∞ 
π Y 4n2 − 1
π  
πY 1
1 = sin = 1− 2 =
2 2 n=1 4n 2 n=1 4n2
∞  
π Y (2n − 1)(2n + 1)
=
2 n=1 (2n)2

26
Introducción Productos Infinitos Producto de funciones Aplicaciones

Demostración.
Lo cual implica que
∞ 
(2n)2

π Y 2 2 4 4
= = · · · ···
2 n=1
(2n − 1)(2n + 1) 1 3 3 5

Donde obtenemos la conocida fórmula de Wallis:

π 2 2 4 4 6 6
= · · · · · ···
2 1 3 3 5 5 7

27