Vous êtes sur la page 1sur 12

Marco teórico

Integración compleja:
Las integrales complejas son una generalización de las integrales reales, donde nos
olvidamos de
la interpretación como área y nos quedamos con la definición como límite de
sumas de Riemann,
pero reemplazando los números reales por números complejos.
Recordar que para definir la integral de una función continua f(x) en un intervalo I
=[a,b],
tomamos una partición P del intervalo [a, b] dada por una colección de puntos a =
x0<x1<x2 < ... < xn−1 < xn = b, elegimos un ri en cada sub intervalo [[xi−1, xiP]
y calculamos la suma
∑f(ri)(xi − xi−1. La norma de la partición P es |P| = max{|xi − xi−1|}. La integral
s define
como el límite de esta suma cuando la norma de la partición se aproxima a 0:

∫ 𝒇(𝒙)𝒅𝒙 = 𝐥𝐢𝐦 ∑𝒏𝒊=𝟏 𝒇(𝒓𝒊 )(𝒙𝒊 − 𝒙𝒊−𝟏 )


|𝒑|→𝟎

Si la curva es un intervalo real I y f = u + iv (donde u y v son funciones reales)


entonces la
integral compleja puede calcularse haciendo dos integrales reales:

∫𝒇 = ∫𝒖 + 𝒊∫𝒗
Teorema de cauchy-goursat:
El teorema de cauchy se formula usualmente para caminos cerrados de la
siguiente manera: sea U un subconjunto abierto de C que esté simplemente
conectado, sea f: U → C sea una función holomorfa, y sea , Gamma es una
trayectoria rectificable en U cuyo punto inicial es igual a su punto final. Entonces:

∮ 𝑓 (𝑧)𝑑𝑧 = 0
𝑐

Posteriormente, Edouard Goursat demostró que no era necesario considerar la


hipótesis de que la derivada de f fuera continua para asegurar que el valor de la
integral sea cero. De esta manera:

 El teorema sigue siendo válido cuando el contorno C no es simplemente conexo


pero tiene un número finito de "agujeros".
 Sea C un contorno simple cerrado, y sean Cj (j=1, 2, ..., n) un número finito de
contornos simples cerrados dentro de C, tales que las regiones interiores a
cada Cj no tengan puntos en común. Sea R la región cerrada formada por todos
los puntos dentro de C, salvo los puntos interiores a cada Cj. Denotamos por F
toda la frontera orientada de R formada por C y todos los contornos Cj,
recorridos en un sentido tal que los puntos interiores de R queden a la
izquierda de F. Entonces, si f es analítica en todo R,

∮ 𝑓 (𝑧)𝑑𝑧 = 0
𝑓

A raíz de este trabajo, actualmente el teorema es conocido como teorema integral de


Cauchy-Goursat.
Teorema del residuo:
Si f(z) es una fracción analítica dentro y sobre una curva excepto en número finito
de puntos singulares z1 , z2 ,z3 ,z4 …,zj,……….,zm. Pertenecientes al interior de la
curva, entonce:
𝑚

∮ 𝑓 (𝑧)𝑑𝑧 = 2𝜋, 𝑖 ∑ 𝑅𝑒(𝑓, 𝑧𝑗 )


𝑗=1

Teorema de taylor:
sea

𝑓 (𝑧) = ∑ 𝑐𝑛 (𝑧 − 𝑧𝑛 )𝑛 → 𝑓(𝑧0 ) = 𝑐0 𝑑𝑒 𝑑𝑜𝑛𝑑𝑒 𝑐0 = 𝑓(𝑧0 )


𝑛=0

𝑓 (𝑧) = ∑ 𝑐𝑛 𝑛(𝑧 − 𝑧𝑛 )𝑛−1 → 𝑓 ′ (𝑧0 ) = 𝑐1 𝑑𝑒 𝑑𝑜𝑛𝑑𝑒 𝑐1 = 𝑓 ′ (𝑧0 )


𝑛=0


𝑓 ′ ′(𝑧0 )
𝑓 (𝑧) = ∑ 𝑐𝑛 𝑛(𝑛 − 1)(𝑧 − 𝑧𝑛 )𝑛−2 → 𝑓 ′′ (𝑧0 ) = 1.2𝑐2 𝑑𝑒 𝑑𝑜𝑛𝑑𝑒 𝑐2 =
′′
2!
𝑛=0

.
.
.
.

∞ ∞
(𝑛) ( )𝑛−𝑚
𝑓 𝑧) = ∑ 𝑐𝑛 𝑛(𝑛 − 1)(𝑛 − 2) … … 2.1. 𝑐𝑛 (𝑧 − 𝑧𝑛 = ∑ 𝑛! 𝑐𝑛 (𝑧 − 𝑧0 ) →
𝑛=0 𝑛=𝑚

(𝑛) (
𝑓 (𝑛) (𝑧0 )
𝑓 𝑧0 ) = 𝑛! 𝑐𝑛 𝑑𝑒 𝑑𝑜𝑛𝑑𝑒 𝑐𝑛 =
𝑛!
𝒇(𝒏) (𝒛𝟎 )(𝒛−𝒛𝟎 )𝒏
 𝒇(𝒛) = ∑∞
𝒏=𝟎 𝒏!

Teorema de Laurent:
Una serie de Laurent se define con respecto a un punto particular c y un camino de
integración γ. El camino de integración debe estar dentro de una región donde f(z) es una
función holomorfa (a veces se usa como sinónimo el término función analítica, aunque no
es estrictamente correcto, dado que una función analítica es técnicamente aquella que
admite desarrollo en serie de potencias en cierto entorno de un punto, lo que ocurre es
que en ℂ toda función holomorfa es también analítica).

Una serie de Laurent centrada alrededor de un punto {\displaystyle c\,} c\, es una serie de
la forma:

∑ 𝑎𝑛 (𝑧 − 𝑐)𝑛 𝑑𝑜𝑛𝑑𝑒 𝑎𝑛 , 𝑐, 𝑧 ∈ Ϲ
𝑛=−∞

Los coeficientes de una serie de Laurent en una función analítica se pueden encontrar por
medio de la fórmula integral de Cauchy y están dados por:
1 𝑓(𝑧)
𝑎𝑛 = ∮ 𝑑𝑧 𝑝𝑎𝑟𝑎 𝑛 ∈ 𝑍
2𝜋 (𝑧 − 𝑐)𝑛+1

Las sucesiones de constantes están definidas por un camino de integración en la


generalización de la fórmula integral de Cauchy.

Problemas resueltos
Problema 9

Solución:

A)

Sabemos que:
∞ ∞
1 1
2
= = ∑(−𝑧 2 )𝑛 = ∑(−1)𝑛 ∗ 𝑧 2𝑛
1+𝑧 1 − (−𝑧 2 )
𝑛=0 𝑛=0

1
= ∑(−1)2 𝑧 2𝑛
1 + 𝑧2
𝑛=0

Derivamos:

−(1 + 𝑧 2 )′
= ∑(−1)𝑛 ∗ 2𝑛 ∗ 𝑧 2𝑛−1
(1 + 𝑧 2 )2
𝑛=0

Tenemos:

−(2𝑧)
= ∑(−1)𝑛 ∗ 2𝑛 ∗ 𝑧 2𝑛−1
(1 + 𝑧 2 )2
𝑛=0

Operamos:

1
= ∑ 𝑛 ∗ (−1)𝑛+1 ∗ 𝑧 2(𝑛−1) … … … 𝑠𝑒𝑟𝑖𝑒 𝑑𝑒 𝑇𝑎𝑦𝑙𝑜𝑟
(1 + 𝑧 2 )2
𝑛=0

B)
1 1 1 1 1
𝑓 (𝑧) = = − ∗ ( ) + ∗ ( )
𝑧 2 + 4𝑧 + 3 2 𝑧+3 2 𝑧+1
∞ ∞
1 1 1 1 1 −𝑧 − 1 𝑛 (−1)𝑛 ∗ (𝑧 + 1)𝑛
= = ∗ = ∗∑( ) =∑
3 + 𝑧 2 + (𝑧 + 1) 2 (−𝑧 − 1) 2 2 2𝑛+1
1− 2 𝑛=0 𝑛=0

Entones:

1 1 (−1)𝑛 ∗ (𝑧 + 1)𝑛 1
2
= − ∗ ∑ 𝑛+1
+ … … … 𝑠𝑒𝑟𝑖𝑒 𝑑𝑒 𝑇𝑎𝑦𝑙𝑜𝑟
𝑧 + 4𝑧 + 3 2 2 2 ∗ (𝑧 + 1)
𝑛=0

C)

∞1
1 (𝑧 )𝑛
𝑒𝑧 =∑
𝑛!
𝑛=0

1∞
1 (𝑧 )𝑛
3 3
𝑧 ∗ 𝑒𝑧 =𝑧 ∗∑
𝑛!
𝑛=0

3
1 𝑧 3−𝑛
𝑧 ∗ 𝑒𝑧 =∑ … … … 𝑠𝑒𝑟𝑖𝑒 𝑑𝑒 𝐿𝑎𝑢𝑟𝑒𝑛𝑡
𝑛!
𝑛=0

D)

𝑧 −𝑧
𝑓 (𝑧 ) = 2
=
3𝑧 − 𝑧 − 2 (𝑧 − 2) ∗ (𝑧 − 1)
Hacemos cambio de variable:

𝑧+1= 𝑢 → 𝑧 = 𝑢−1
−𝑢 + 1
𝑓 (𝑧) →
(𝑢 − 3) ∗ (𝑢 − 2)
𝐴 𝐵
= + → 𝐴 ∗ (𝑢 − 2) + 𝐵(𝑢 − 3) = −𝑢 + 1
𝑢−3 𝑢−2
Operamos y obtenemos los valores de A y B:

𝐴 = −2 𝐵=1
1 1
=2∗ −
3−𝑢 2−𝑢
1⁄ 1⁄
=2∗ 3 − 2
1 − 𝑢⁄3 1 − 𝑢⁄2

2 1 1 1
= ∗ − ∗
3 1 − ⁄3 2 1 − 𝑢⁄2
𝑢

∞ ∞
2 𝑢 𝑛 1 𝑢
= ∗ ∑ ( ) − ∗ ∑( )2
3 3 2 2
𝑛=0 𝑛=0
∞ ∞
2 1 1 1
= ∗ ∑ 𝑛 ∗ (𝑧 + 1)𝑛 − ∗ ∑ 𝑛 ∗ (𝑧 + 1)𝑛
3 3 2 2
𝑛=0 𝑛=0

𝑧 2 1
2
= ∑ ( 𝑛+1 − 𝑛+1 ) ∗ (𝑧 + 1)𝑛 … … … 𝑠𝑒𝑟𝑖𝑒 𝑑𝑒 𝑇𝑎𝑦𝑙𝑜𝑟
3𝑧 − 𝑧 − 2 3 2
𝑛=0

Problema 11

‖𝑧‖ = 2 → 𝑧 = 𝑥 + 𝑖𝑦 → ‖𝑧‖ = √𝑥 2 + 𝑦 2 = 2 → 𝑥 2 + 𝑦 2 = 22
−1 0 1 2
= ∫ 0 ∗ 𝑑𝑧 + ∫ 𝑧 2 ∗ 𝑑𝑧 + ∫ 𝑧 ∗ 𝑑𝑧 + ∫ 0 ∗ 𝑑𝑧
−2 −1 0 1

0 1
= ∫ 𝑧 2 ∗ 𝑑𝑧 + ∫ 𝑧 ∗ 𝑑𝑧
−1 0

0 1
𝑧3 𝑧2
= | + |
3 −1 2 0

1 1 5
= + =
3 2 6
Problema 12:

A)

𝑧𝑑𝑧 (𝑖) |𝑧| = 1/2


∫ , 𝑝𝑎𝑟𝑎 𝐶{
𝑧2 + 1 (𝑖𝑖) |𝑧| = 2
𝐶

𝑧 2 + 1 = (𝑧 + 𝑖)(𝑧 − 𝑖)
𝑖
𝑠𝑖𝑛𝑔. { 𝑝𝑜𝑙𝑜𝑠 𝑑𝑒 𝑜𝑟𝑑𝑒𝑛 1 ∈ℂ
−𝑖

𝑧𝑑𝑧
∫ = 2𝜋𝑖(𝑅𝑒𝑠(𝑓, 𝑖 ) + 𝑅𝑒𝑠(𝑓, −𝑖 ))
𝑧2+1
𝐶

𝑧0 ∈ ℂ 𝑝𝑜𝑙𝑜 𝑑𝑒 𝑜𝑟𝑑𝑒𝑛 𝑘:
1 𝑑 𝑘−1
𝑅𝑒𝑠(𝑓, 𝑧0 ) = lim [(𝑧 − 𝑧0 )𝑘 𝑓 (𝑧)]
(𝑘 − 1)! 𝑧→𝑧0 𝑑𝑧 𝑘−1

𝑧0 = 𝑖, 𝑘 = 1:
1 𝑧 𝑧 𝑖 1
𝑅𝑒𝑠(𝑓, 𝑖 ) = lim(𝑧 − 𝑖 ) = lim = =
(1 − 1)! 𝑧→𝑖 (𝑧 + 𝑖 )(𝑧 − 𝑖 ) 𝑧→𝑖 𝑧 + 𝑖 𝑖 + 𝑖 2

𝑧0 = −𝑖, 𝑘 = 1:
1 𝑧 𝑧 −𝑖 1
𝑅𝑒𝑠(𝑓, −𝑖 ) = lim (𝑧 + 𝑖 ) = lim = =
(1 − 1)! 𝑧→−𝑖 (𝑧 + 𝑖 )(𝑧 − 𝑖 ) 𝑧→−𝑖 𝑧 − 𝑖 −𝑖 − 𝑖 2

𝑧𝑑𝑧 1 1
∴∫ = 2𝜋𝑖 ( + ) = 2𝜋𝑖
𝑧2 + 1 2 2
𝐶

B)

𝑧 2 + 3𝑖 − 2 (𝑖) |𝑧| = 1
∫ 𝑑𝑧, 𝑝𝑎𝑟𝑎 𝐶{
𝑧 3 + 9𝑧 (𝑖𝑖) |𝑧| = 4
𝐶

𝑧 3 + 9𝑧 = 𝑧(𝑧 + 3𝑖 )(𝑧 − 3𝑖 )
3𝑖
𝑠𝑖𝑛𝑔. { 𝑝𝑜𝑙𝑜𝑠 𝑑𝑒 𝑜𝑟𝑑𝑒𝑛 1
−3𝑖

𝑧 2 + 3𝑖 − 2
∫ 𝑑𝑧 = 2𝜋𝑖(𝑅𝑒𝑠(𝑓, 3𝑖 ) + 𝑅𝑒𝑠(𝑓, −3𝑖 ))
𝑧 3 + 9𝑧
𝐶

𝑧0 ∈ ℂ 𝑝𝑜𝑙𝑜 𝑑𝑒 𝑜𝑟𝑑𝑒𝑛 𝑘:
1 𝑑 𝑘−1
𝑅𝑒𝑠(𝑓, 𝑧0 ) = lim 𝑘−1 [(𝑧 − 𝑧0 )𝑘 𝑓 (𝑧)]
(𝑘 − 1)! 𝑧→𝑧0 𝑑𝑧

𝑧0 = 3𝑖, 𝑘 = 1:
1 𝑧 2 + 3𝑖 − 2 𝑧 2 + 3𝑖 − 2
𝑅𝑒𝑠(𝑓, 3𝑖 ) = lim (𝑧 − 3𝑖 ) = lim
(1 − 1)! 𝑧→3𝑖 𝑧(𝑧 + 3𝑖 )(𝑧 − 3𝑖 ) 𝑧→3𝑖 𝑧 (𝑧 + 3𝑖 )
−11 + 3𝑖 11 1
= lim = − 𝑖
𝑧→3𝑖 −18 18 6
𝑧0 = −3𝑖, 𝑘 = 1:
1 𝑧 2 + 3𝑖 − 2 𝑧 2 + 3𝑖 − 2
𝑅𝑒𝑠(𝑓, −3𝑖 ) = lim (𝑧 + 3𝑖 ) = lim
(1 − 1)! 𝑧→−3𝑖 𝑧(𝑧 + 3𝑖 )(𝑧 − 3𝑖 ) 𝑧→−3𝑖 𝑧(𝑧 − 3𝑖 )
−11 + 3𝑖 11 1
= lim = − 𝑖
𝑧→−3𝑖 −18 18 6

𝑧 2 + 3𝑖 − 2 11 1 11 1 2𝜋 22𝜋
∴∫ 𝑑𝑧 = 2𝜋𝑖 ( − 𝑖 + − 𝑖) = + 𝑖
𝑧 3 + 9𝑧 18 6 18 6 3 9
𝐶
Problema 13:
Enuncie y demuestre el teorema fundamental del álgebra mediante la teoría de funciones de
variable compleja:

Sol.
El teorema fundamental del álgebra expresa lo siguiente:

Sea: 𝑃(𝑧) = 𝑎𝑛 𝑧 𝑛 + 𝑎𝑛−1 𝑧 𝑛−1 + 𝑎𝑛−2 𝑧 𝑛−2 + 𝑎𝑛−3 𝑧 𝑛−3 + ⋯ + 𝑎1 𝑧 + 𝑎0


Con 𝑎𝑛 ≠ 0 un polinomio de grado “n”, entonces existe un 𝑧0 complejo tal que 𝑃(𝑧0 ) = 0

Esto se demostrará usando el método de reducción al absurdo:

Suponiendo que dicho polinomio sea cero 𝑃 (𝑧) = 0, ∀ 𝑧 ∈ 𝐶, entonces se define la


1
función 𝑓 (𝑧) = analítica para todo C.
𝑃(𝑧)

Usando teoría de límites, cuando z tienda a infinito (𝑧 → ∞), entonces eso implica que
𝑓(𝑧) → ∞
Siguiendo con la teoría de límites:

Dado 𝜀 > 0, ∃𝑅 > 0 𝑡𝑎𝑙 𝑞𝑢𝑒 ‖𝑓(𝑧)‖ < 𝜀 , ∀‖𝑧‖ > 𝑅


Entonces debido a que f es analítica se cumple que f(z) es acotada ∀‖𝑧‖ < 𝑅 siendo R un
número suficientemente grande q cumple la condición del límite asociado
Ante esta situación, se concluye que f(z) es analítica y acotada. Por lo tanto, f(z) es
constante
1
Sin embargo, esta conclusión contradice la suposición 𝑓 (𝑧) = . Por lo tanto la
𝑃(𝑧)
suposición es contradictoria y esto implica q la proposición
“Sea: 𝑃(𝑧) = 𝑎𝑛 𝑧 𝑛 + 𝑎𝑛−1 𝑧 𝑛−1 + 𝑎𝑛−2 𝑧 𝑛−2 + 𝑎𝑛−3 𝑧 𝑛−3 + ⋯ + 𝑎1 𝑧 + 𝑎0
Con 𝑎𝑛 ≠ 0 un polinomio de grado “n”, entonces existe un 𝑧0 complejo tal que 𝑃(𝑧0 ) = 0”
Sea verdadera.