Introducción alTeorema de Cauchy .
Ejemplo .Sea c una curva cerrada formada por la semicircunferencia y por el eje imaginario, hallar
el valor de:
dz
1. ∮ z 2+1
c
dz
2. ∮ 2 2
c ( z +1 )
1
3. ∮ 1+ Z 4 dz
c
Para darle solución a las integrales, vamos a emplear el Teorema de Cauchy.
Antecedentes y conexión pedagógica con el cálculo integral.
Una familia de integral muy usada en el cálculo integral básico, tiene como sus miembros a:
∞ ∞ ∞ ∞
∫ dx 2 , ∫ dx 2 , ∫ dx 2 2 , ∫ dx 2 2 ,
0 ( 1+ x ) −∞ ( 1+ x ) 0 ( 1+ x ) −∞ ( 1+ x )
∞ ∞
∫ (1+dxx 4 ) , ∫ (1+dxx 4 )
0 −∞
[Link] tomamos como referencia:
∞
dx
∫
0 ( 1+ x 2 )
El procedimiento usado en cálculo es empírico. (Es una técnica apoyada en la experiencia que
aprendemos comparados con ciertos patrones).
Resolviendo la integral por sustitución trigonométrica. Es de la forma:
Hipotenusa: √1+ x 2
Cateto opuesto: x
Cateto adyacente: 1
Buscamos una función trigonométrica que involucre el cateto adyacente y el cateto opuesto; es
c.o x
decir: tanu= tan u=
c.a 1
tanu=x
Derivando tenemos:
sec 2 u du=dx
NOTA:
−1 π
Es importante tener en cuenta que: lim tan x =
x→ ∞ 2
Ahora reemplazando en la integral tenemos:
π π π
2 2 2 2 2 π
sec u sec u π
∫ 1+tan 2
du=∫ 2
du=∫ du=¿ u ¿02 = ¿
0 u 0 sec u 0 2
Ahora analicemos el término:
1
2
. Mirando 1+ x 2 en términos de una variable compleja , queda:
1+ x
1+ x 2=( i+ x ) (−i+ x )
¿−i 2+ix−ix+ x 2=1+ x 2
Por lo tanto:
1 1
2
=
1+ x ( i+ x ) (−i+ x )
Empleando fracciones parciales:
1 A B
= + ( ¿)
( i+ x ) (−i+ x ) ( i+ x ) (−i+ x )
Resolviendo la suma de fracciones tenemos:
1 A (−i+ x ) + B(i+ x)
=
( i+ x ) (−i+ x ) ( i+ x )(−i + x )
Simplificando queda:
1= A (−i+ x ) +B (i+ x )
1=−iA + Ax +Bi +Bx
Formando un sistema de ecuaciones:
Agrupando para x : 0=Ax + Bx
Agrupando para los números:
1=−iA + Bi
Factorizamos x de la primera ecuación:
0=x ( A + B)
1=−iA + Bi
Dividiendo x a ambos lados de la primera ecuación, queda:
0=A + B
1=−iA + Bi
Multiplicamos la primera ecuación por i ,queda:
0=iA +iB
Sumando la ecuación0=iA +iB y la ecuación 1=−iA + Bi ,queda:
1=2 Bi
Despejando B,nos queda:
1 1
B= = i
2i 2
Reemplazando el valor de B en la primera ecuación:
1
0=A + i
2
−1 −1
A= = i
2i 2
Reemplazando los valores de A y B en (¿):
−1 1
i i
1 2 2
= +
( i+ x ) (−i+ x ) ( i+ x ) (−i+ x )
En variable compleja :
dz
∮ f ( z ) dz=∮ 1+ z2
c c
dz dz dz
∮ 1+ z2 =∫ 1+ z 2 +¿∫ 1+ z 2 ¿
c c1 c2
c es una curva cerrada.
c 1 U c2=c
Figura 1. Curva c .
Parametrizando la curva c tenemos:
Parametrización de c 1:
x=Rcosϴ
y=Rsenϴ
Por lo tanto, z=x +iy=Rcosϴ+iRsenϴ=R ( cosϴ+isenϴ )
Por lo tanto, z=x +iy=R eiϴ ; 0≤ ϴ≤ π
z=R e iϴ; 0≤ ϴ≤ π
Derivando, queda:
dz=iR e iϴ dϴ
Reemplazando en la integral tenemos:
iϴ
∮ 1+dzz2 =∫ 1+(
iR e dϴ
iϴ 2
Re )
+ ¿∫
dz
1+ z 2
¿
c c1 c2
Parametrizando c 2:
z=x ; −R ≤ϴ ≤ R
dz=dx
Reemplazando en la integral tenemos:
iR e iϴ dϴ
∮ 1+ z2 ∫ 1+ R2 e2 i ϴ + ¿∫ 1+dxx 2 ¿
dz
=
c c 1 c 2
Reemplazando los límites de las integrales queda:
π R
iR e iϴ dϴ
∮ 1+dzz2 =∫ 1+ R e2 2iϴ ∫
+
dx
2
c 0 −R 1+ x
R
dx
La integral ∫ por simetría es igual a:
−R 1+ x 2
R→∞
dx
2 ∫
0 1+ x 2
La primera integral es cero, miremos porque:
π
iR e iϴ dϴ
∫ 1+ R2 e2 i ϴ
0
R eiϴ ∞
i lim 2 2 iϴ
= Indeterminado
R → ∞ 1+ R e ∞
Por lo tanto, dividimos entre el denominador con mayor potencia:
1
R e iϴ
i lim
R→ ∞ 1 R 2e2 i ϴ
2 2i ϴ
+ 2 2iϴ
R e R e
1
i lim
R→ ∞ 1
( )
R e iϴ
2 2iϴ
R e
+1
Por propiedades de los límites:
lim 1
i R → ∞iϴ
Re
lim 1
R →∞
+1
R2 e 2i ϴ
En el numerador tenemos:
lim 1
R →∞
i iϴ
=0
Re
En el denominador tenemos:
lim 1
R→ ∞
2 2iϴ
+1=1
R e
Por lo tanto, queda:
i0
=0
1
Se emplea el Teorema de Cauchy:
f ( z ) dz
∮ =2 πif (a)
c z−a
1
( )
dz dz z+ i
∮ 1+ z2 =¿ ∮ (i+ z)(−i+ z )=∮ ( z−i) dz ¿
c c c
1 1 1
a=i f ( z ) = f ( a )= =
z +i i+i 2i
1
( ) ∞
z+ i 1 dx
∮ ( z−i) dz=2 πi 2i =π=2∫ 1+ x 2
c 0
Por lo tanto:
∞
∫ 1+dxx 2 = π2
0
[Link] si tomamos como referencia:
∞
dx
∫ 2
0 ( 1+ x 2 )
∞
dx
Se resuelve la integral igual que∫ 2
; es decir por sustitución trigonométrica. El mismo
0 1+ x
proceso y todo queda igual, pero al reemplazar cambia:
π π π π π
2 2 2 2 2 2 2
sec u sec u 1 1
∫ 2
du=∫ 4
du=∫ 2
du=¿∫ cos2 u du=¿ ∫ ( 1+cos 2 u ) du ¿ ¿
0 ( 1+ tan u ) 2
0 sec u 0 sec u 0 20
( π2 ) = 1 ( π + 2 sen ( π ) )= π
( )
π sen 2
1 sen 2u 1 π
¿
2
u+( u
¿ =
2 2
+ ) 2
0
π 2 2 π 4
2
Ahora analicemos el término:
1 2
. Mirando ( 1+ x 2 ) entérminos de una variable compleja , queda :
2 2
( 1+ x )
2
( 1+ x 2 ) =( i+ x )2 (−i + x )2
¿ ( i 2+ 2ix+ x 2 ) ( (−i )2−2 ix+ x 2 )=(−1+2ix+ x2 )(−1−2 ix + x 2)
¿ x 4−2 x 3 i− x2 +2 x3 i−4 x 2 i 2−2 xi−x 2+2 xi+1=x 4 −x 2+ 4 x 2−x 2+ 1
¿ x 4 +2 x2 +1
Completando cuadrados:
2
x 4 +2 x 2+1−1+ 1=( 1+ x 2 )
Por lo tanto:
1 1
=
2 2
( 1+ x ) ( i+ x ) (−i+ x )2
2
Empleando fracciones parciales:
1 A B C D
= + + + ¿
( i+ x ) (−i+ x ) (i+ x ) ( i+ x ) (−i+ x ) (−i+ x )2
2 2 2
Resolviendo la suma de fracciones tenemos:
1 A ( i+ x )(−i+ x )2+ (−i+ x )2 B+C (−i+ x ) ( i+ x )2 + D ( i+ x )2
2 2
= 2 2
(1)
( i+ x ) (−i+ x ) ( i+ x ) (−i+ x )
Para hallar el valor de B:
1 A C D
2 2
( i+ x )2 =( i+ x )2 + B+ ( i+ x )2 + (i+ x )2
( i+ x ) (−i+ x ) ( i+ x ) (−i+ x ) (−i+ x )2
Evaluar en x=−i .
Por lo tanto, queda:
1
=B
(−2i )2
1 −1
B= =
4 i2 4
Para hallar el valor de D :
1 A B C
2 2
(−i+ x )2=(−i+ x )2 + (−i + x )2 2
+ (−i+ x )2 +D
( i+ x ) (−i+ x ) ( i+ x ) ( i+ x ) (−i+ x )
Evaluar en x=i .
Por lo tanto, queda:
1
=D
( 2i )2
1 −1
D= =
4 i2 4
Reemplazamos los valores de B y D en (1), queda:
2 2
1 2 1 ( (−i+ x ) ¿ ¿ 2+ ( i+ x ) )+ C (−i+ x ) ( i+ x )
=A ( i+ x ) (−i+ x ) − ¿
( i+ x )2 (−i+ x )2 4 (i+ x )2 (−i+ x )2
1
A ( i+ x )(−i+ x )2− ( x 2−2 xi+i 2+ x 2 +2 xi+i 2 )+ C (−i+ x ) ( i+ x )2
1 4
2 2
=
( i+ x ) (−i+ x ) ( i+ x )2 (−i+ x )2
1
A ( i+ x )(−i+ x )2− ( x 2−2)+C (−i+ x )( i+ x )2
1 4
2 2
=
( i+ x ) (−i+ x ) ( i+ x )2 (−i+ x )2
1
A ( i+ x )(−i+ x )2− x 2+ 2+C (−i+ x ) ( i+ x )2
1 2
2 2
=
( i+ x ) (−i+ x ) ( i+ x )2 (−i+ x )2
1 1
A ( x 3−i x 2+ x −i ) +C ( x 3+i x 2+ x +i )− x 2 +
1 2 2
=
( i+ x ) (−i+ x )2
2 2
( i+ x ) (−i+ x ) 2
1 2 1
1
=
(
( A+ C ) x 3+ −iA +iC −
2)x + ( A +C ) x +Ci+
2
2 2 2 2
( i+ x ) (−i+ x ) ( i+ x ) (−i+ x )
A+C=0 A=−C
1
−iA +iC− =0
2
1
−iA−iA − =0
2
1
−2 iA=
2
1
A=
−2 i∗2
1 −1
A= = i
−4 i 4
Y
1
C= i
4
Reemplazando los valores en¿ :
−1 −1 1 −1
i i
1 4 4 4 4
= + + +
( i+ x ) (−i+ x ) (i+ x ) ( i+ x ) (−i+ x ) (−i+ x )2
2 2 2
En variable compleja :
dz
∮ f ( z ) dz=∮ 2
c c ( 1+ z 2)
dz dz dz
∮ 2 2
=∫ 2 2
+¿ ∫ 2
¿
c ( 1+ z ) c1 ( 1+ z ) c2 ( 1+ z 2)
c es una curva cerrada.
Miramos la Figura1, para parametrizar:
Parametrización de c 1:
x=Rcosϴ
y=Rsenϴ
Por lo tanto, z=x +iy=Rcosϴ+iRsenϴ=R ( cosϴ+isenϴ )
Por lo tanto, z=x +iy=R eiϴ ; 0≤ ϴ≤ π
z=R e iϴ; 0≤ ϴ≤ π
Derivando, queda:
dz=iR e iϴ dϴ
Reemplazando en la integral tenemos:
dz iR e iϴ dϴ dz
∮ 2 2
=∫ iϴ 2 2
+¿ ∫ 2
¿
c ( 1+ z ) c1 ( 1+(R e ) ) c2 ( 1+ z 2)
Parametrizando c 2:
z=x ; −R ≤ϴ ≤ R
dz=dx
Reemplazando en la integral tenemos:
dz iR e iϴ dϴ dx
∮ 2 2
=∫ iϴ 2 2
+¿ ∫ 2
¿
c ( 1+ z ) c1 ( 1+(R e ) ) c2 ( 1+ x2 )
Reemplazando los límites de las integrales queda:
π iϴ R
∮ 1+dzz2 =∫ iR e dϴ iϴ 2 2
+∫
dx
2 2
c 0 ( 1+( R e ) ) − R ( 1+ x )
R
dx
La integral ∫ 2 por simetría es igual a:
−R ( 1+ x 2 )
R→∞
dx
2 ∫ 2
0 ( 1+ x 2 )
La primera integral es cero, miremos porque:
π
iR eiϴ dϴ
∫ 2
0 ( 1+ R2 e2 i ϴ )
R eiϴ
i lim 2
R→ ∞ ( 1+ R 2 e 2 i ϴ )
R eiϴ ∞
i lim 2 2i ϴ 4 4 iϴ
= Indeterminado
R → ∞ 1+2 R e +R e ∞
Por lo tanto, dividimos entre el denominador con mayor potencia:
1
R e iϴ
i lim
R→ ∞ 1 2 R2 e 2i ϴ R 4 e 4 i ϴ
+ +
R 4 e4 i ϴ R4 e 4 i ϴ R 4 e 4 i ϴ
i lim
R→ ∞
( 4
1
R e 4iϴ
2
R eiϴ
+ 2 2i ϴ +1
R e
)
Por propiedades de los límites:
lim 1
R→∞
i iϴ
Re
lim 1
R→ ∞ 2
4 4 iϴ
+ 2 2iϴ
+1
R e R e
En el numerador tenemos:
lim 1
R →∞
i iϴ
=0
Re
En el denominador tenemos:
lim 1
R →∞ 2
4 4iϴ
+ +1=1
R e 2i ϴ
2
R e
Por lo tanto, queda:
i0
=0
1
Se emplea el Teorema de Cauchy:
f ( z ) dz
∮ =2 πif (a)
c z−a
1
∮
dz
=¿∮
dz
=∮
( ( ) )
z +i 2
dz ¿
2 2
c ( 1+ z ) c ( i+ z ) (−i+ z )2 c ( z−i )2
2
1
f ( z )=
( z +i )2
0∗( z+ i )2 −1∗2 ( z+i ) −2 ( z +i ) −2
f ( a )=f ´ ( z )= = =
2 2 4 3
( ( z +i ) ) ( z+ i ) ( z +i )
−2 −2 −2 1
f ´ (i)= = = =
( i+i ) ( 2 i )3 −8 i 4 i
3
∮
( ( ))
z+ i 2
dz=2
πi∗1 π
= =2∫
dx
∞
c ( z−i )2 4i 2 0 1+ x
2
Por lo tanto:
∞
dx π
∫( 2
=
0 1+ x ) 4
