Doc. Lic. Raúl P. Castro Vidal UNAC.

FIEE

UNIVERSIDAD NACIONAL DEL

CALLAO

FACULTAD : INGENIERÍA ELECTRÓNICA

TEMA : NÚMEROS COMPLEJOS

PROFESOR : CASTRO VIDAL RAÚL PEDRO

ALUMNO : ANDÍA CORDERO MARTHA ELIZABETH

1713220379
AZÁLDEGUI VEGASO LUIS ENRIQUE
1613215185
CHALCO CCAHUA GINO ROGGER
1713220219
MENDOZA GUTIÉRREZ VÍCTOR
1023220325
HUAMÁN CASIMIRO JOSÉ CARLOS
1523220752
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

UNVERSIDAD NACIONAL DEL CALLAO

FACULTAD DE INGENIERIA ELECTRICA Y ELECTRONICA
ESCUELA PROFESIONAL DE INGENIERIA ELECTRONICA

BALOTARIO DE MATEMATICAS AVANZADAS

Problema 1

A) Representar el conjunto de los puntos 𝑅𝑒[(𝑚 + 𝑖)𝑧 + 𝑏] = 0

𝑐𝑜𝑛 𝑚, 𝑏 ∈ ℝ 𝑦 𝑒𝑥𝑝𝑙𝑖𝑐𝑎𝑟 𝑒𝑙 𝑠𝑖𝑔𝑛𝑖𝑓𝑖𝑐𝑎𝑑𝑜 𝑔𝑒𝑜𝑚𝑒𝑡𝑟𝑖𝑐𝑜 𝑑𝑒 𝑚 𝑦 𝑏.

Solución:

1.- Si z  x  iy
 Re (m  i )( x  iy )  b  0
Re mx  myi  xiy  b  0
mx  y  b  0
y  mx  b
Dónde:
m: pendiente
b: intersección de la recta con el eje “y”

B) Utilizando la representación polar, demostrar la igualdad que tanto sorprendió a Leibniz:

√1 + 𝑖√3 + √1 − 𝑖√3 = √6
Tener en cuenta solo la raíz principal.

Solución:

  M
2
1 i 3  1 i 3 2

1  i 3  1  i 3  2 (1  i 3)(1  i 3)  M 2
2  2 1 3  M 2
M2  6→M  6
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

Problema2

Calcular las siguientes integrales, siendo C la circunferencia de radio 1, recorrido en el sentido

antihorario.

𝑒𝑧 − 𝑧 − 1
∫ 𝑑𝑧
𝐶 𝑧2

𝑧 ∗ 𝑠𝑒𝑛𝑧
∫ 𝑑𝑧
𝐶 𝑧

Solución:

𝑒 𝑧 −𝑧−1
A).- ∫ 𝑑𝑧.
𝑧2
𝐶

ez  z  1 ez  z  1
 z 2 dz 
C

C
z2
dz  2 i Re s( f ( z ),0)

d  2 e z  z  1
Re s( f ( z ),0)  lim  lim e z  z  1  0
z 0 dz  
z. 2
 z  z0
ez  z  1
 dz  2 i  0  0
C
z2

𝑧∗𝑠𝑒𝑛𝑧
B) ∫ 𝑑𝑧
𝑧
𝐶

𝑧∗ |𝑧|
Se sabe que: 𝑧 ∗ . 𝑧 = |𝑧| ---------------> 𝑧 = 𝑧
Entonces:
. ∗ .
𝑧 𝑠𝑒𝑛𝑧 |𝑧|𝑠𝑒𝑛𝑧
∫ 𝑑𝑧 = ∫ 𝑑𝑧
𝐶 𝑧 𝐶 𝑧

Por el enunciado del problema se tiene que: |𝑧| = 1

Entonces se tiene:
.
𝑠𝑒𝑛𝑧
∫
𝐶 𝑧
Por el teorema de Integración de Cauchy:
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

. 𝑠𝑒𝑛𝑧 2𝜋𝑖
∫𝐶 = 𝑓′(0), 𝑓 ′ (0) = cos 0 = 1
𝑧 1!

.
𝑠𝑒𝑛𝑧
∫ = 2𝜋𝑖
𝐶 𝑧

Problema 3

Hallar las series de Laurent asociadas a las siguientes funciones en los dominios específicos:

1
𝑎) 𝑓(𝑧) = 𝑝𝑎𝑟𝑎 0 < |𝑧 − 1| < 1 𝑦 |𝑧 − 1| > 1.
𝑧(𝑧−1)
1
𝑏) 𝑓(𝑧) = 𝑧(4−𝑧)2 𝑝𝑎𝑟𝑎 0 < |𝑧| < 4.
1 1
𝑐) 𝑓(𝑧) = 𝑧 cos 𝑧 𝑝𝑎𝑟𝑎 𝑧 ≠ 0.

Solución:

1
a.- f ( z )  para 0  z  1  1  z  1  1
z ( z  1)
Solución

1 1 1 1 1
** f ( z )     
z ( z  1) z  1 z ( z  1) 1  ( z  1)
1 1 
f ( z)    ( z  1)n , donde z  1  1 converge.
z ( z  1) ( z  1) n 1
** En z  1  1 no converge, por lo cual hacemos
1
 1 , luego:
z 1
1 1 1 
( 1)n
f ( z) 
z ( z  1)

2
 
1  ( z  1)2 n 0 ( z  1)n 2
( z  1)  1  
 ( z  1) 
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

1
b.- f ( z )  para 0  z  4
z (4  z ) 2
Solución
La función es analítica en z  4
 
1 1  1   z
n
1 1  n
Sea= g ( z )        
4  z 4  1  z  4 n 0  4 
 z
4n 1 n 0
 4
Derivando
1 n  n 1
g '( z )    z
(4  z ) 2 4n 1 n 0
1 n  n 2
 f ( z)    z Para z  4
z (4  z ) 2 4n 1 n 0

1 1
c.- f ( z )  cos   para z  0
z z
Solución
La expansión de la serie hasta z  
1 1 1 1 1 1   1 n 
f ( z )  cos     3    ...O    
z  z  z 2 z 24 z 720 z
5 7  z  
 
La serie converge en cualquier punto fuera del origen z  0
2n
n1
 ( 1)  
1 1 1 z
f ( z )  cos    
z  z  z n 0 (2n )!
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

Problema 4
Demostrar que:
𝑑𝑧
∫ 4 3 2
=0
𝐶 𝑧 + 𝑧 − 2𝑧
Donde 𝐶 ∶ |𝑧| = 4 y razonar si existe una posible violación del teorema de Morena

Solución:

dz dz dz
z
C
4
 z3  2z 2
  z z
C
2 2
 z  2
 z
C
2
( z  2)( z  1)


 2 i   Res( f ( z ), 0)  Res( f ( z ),1)  Res( f ( z ), 2) 

d  2 1  d  1 
 Res( f ( z ), 0)  lim  z  2  lim 
z 0 dz


z ( z  2)( z  1)  z 0 dz  ( z  2)( z  1) 
2z 1 1
 lim  
z 0 ( z  2) ( z  1)
2 2
4
1 1 1
 Res( f ( z ),1)  lim( z  1)   lim 2 
z 1 z ( z  2)( z  1) z 1 z ( z  2) 3
2

1 1 1
 Res( f ( z ), 2)  lim ( z  2)  2  lim 2 
z 2 z ( z  2)( z  1) z 2 z ( z  1) 12
dz  1 1 1
  2 i        0 ...lqqd
C
z  z  2z
4 3 2
 4 3 12 
Podría decirse que en los puntos z  1, z  2, z  0 la función deja de ser derivable, por lo que la

función f ( z ) sería holomorfa en todos los puntos en C  2,1,0 ; y esto es válido si se tiene en

cuenta que una función holomorfa no necesariamente tiene primitiva en su dominio. Pero el
teorema de Morera supone que existe una primitiva para f ( z ) en C , lo cual no es cierto, ya que

tiene tres puntos singulares. Entonces se viola el teorema de Morera.

Problema 5
Calcular las siguientes integrales
∞
𝑥2
a) ∫ 𝑑𝑥
(𝑥 2 +4)(𝑥 2 +1)
−∞

Solución:
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE


x2 z2
  x 2  4  x 2  1 dx 
 z 2  4  z 2  1


z2

 z  2i  z  2i  z  i  z  i 
 z  2i z i 
   z  2i, z  i ...polos de orden 1
 z  2i z  i 
 z2   z2   2i 
2
i
 lim   z  2i    lim    
z 2i 
  z  2i  z  2i   z  1 
2 z  2 i   z  2i   z  1   4i  4  1

2

3

 z2   z2  i i
 lim   z  i  2   lim  2  
z i 
  z  4   z  i  z  i   zi   z  4   z  i    3 2i  6

x2  i i
 dx  2 i   Res  f ( z ), 2i   Res  f ( z ), i    2 i     
  x  4  x  1  3 6
2 2


x2 
  x 2  4  x 2  1 dx  3

∞
ln2 𝑥
b) ∫ 𝑑𝑥
(𝑥 2 +1)
0

Solución:
Como el integrando tiene un polo simple en z  i , entonces el residuo de este polo es:

(ln i)2  i 2 
2
(ln z )2  2
lim( z  i)   
z i ( z  i)( z  i) 2i 2i 8i
De acuerdo con el teorema del residuo,

(ln z )2   2  2
 z 2  1 dz  2 i  8i    4
C
...(1)

Ahora,
 R
(ln z )2 (ln z )2 (ln z )2 (ln z )2 (ln z )2
 z 2  1 dz  R z 2  1 dz   z 2  1 dz   z 2  1 dz   z 2  1 dz
C
...(2)
1 2

En la primera integral de la derecha, sea z   x de manera que

ln z  ln( x)  ln x  ln(1)  ln x   i y dz  dx . Asimismo, en la tercera integral de la
derecha sea z  x (de manera que dz  dx ). Así, con (1), se tiene:
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

(ln x   i)2 2
R
(ln z )2 (ln x)2 (ln z )2
 x2  1 dx   z 2  1 dz + x2  1 dx   z 2  1 dz   4
C 1 2

Ahora, sea  0 y R   . Como las integrales en torno a 1 y  2 tienden a cero, se tiene

 
(ln x   i ) 2 (ln x) 2 2
0 x 2  1 dx  + 0 x 2  1 dx  
4

O
  
(ln x) 2 ln x dx 2
2 2 dx  2 i  2 dx   2  2 
0
x 1 0
x 1 0
x 1 4

dx  
Se aprovecha que x
0
2
1
 tan 1 x 0  .
2
 
(ln x) 2 ln x 3
2 dx  2 i 0 x 2  1 dx 
0
x2  1 4

Al igualar la parte real, se encuentra:


(ln x) 2 3
 dx 
0
x2  1 8

Problema 6:
𝑖−𝑧
Sea 𝑤 = 𝑖+𝑧 . Hallar el mapeo del primer cuadrante del plano z.
Desarrollo:
𝑆𝑒𝑎 𝑧 = 𝑥 + 𝑖𝑦 ; 𝑤 = 𝑢 + 𝑖𝑣
𝑃𝑟𝑖𝑚𝑒𝑟 𝑐𝑢𝑎𝑑𝑟𝑎𝑛𝑡𝑒: 0 ≤ 𝑥 ∧ 0 ≤ 𝑦
1−𝑧 1−𝑤
𝑤= ⇒𝑧=
1+𝑧 1+𝑤

Desarrollando se llega a que:

|𝑤|2 = 𝑤 · 𝑤
(1 − 𝑤) · (1 + 𝑤) 1 + 𝑤 − 𝑤 − |𝑤|2
𝑧= =
(1 + 𝑤) · (1 + 𝑤) 1 + 𝑤 + 𝑤 + |𝑤|2
1 − (𝑢2 + 𝑣 2 ) 𝑖(−2𝑣)
⇒ 𝑥 + 𝑖𝑦 = 2 2
+
(𝑢 + 1) + 𝑣 (𝑢 + 1)2 + 𝑣 2
2 2
1 − (𝑢 + 𝑣 ) −2𝑣
⇒ 𝑥= 2 2
∧ 𝑦=
(𝑢 + 1) + 𝑣 (𝑢 + 1)2 + 𝑣 2
2 2
1 − (𝑢 + 𝑣 ) −2𝑣
⇒ 0≤ 2 2
… (𝛼) ∧ 0 ≤ … (𝛽)
(𝑢 + 1) + 𝑣 (𝑢 + 1)2 + 𝑣 2
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

Analizando la última expresión nos percatamos que los denominadores siempre van hacer
positivos y por condición se sabe qué tienen que ser mayor e iguala cero, entonces,
necesariamente los numeradores tienes que ser positivos.
En la condición (𝛽)
0 ≤ −2𝑣 ⇒ 𝑣 ≤ 0
En la condición (𝛼)
𝑣 ≤ 0 ; 𝑢2 + 𝑣 2 ≤ 1
La grafica sería un semicírculo ya que 𝑣 solo puede tomar valores negativos.

Problema 7
a) Resuelve la ecuación compleja 𝑖𝑧 4 𝑧 + 1 = 0

Solución:

Considerando la forma trigonométrica de un número complejo:

   
i  cos    isen  
2 2
z   (cos4  isen4 )
4 4

z   (cos(  )  isen(  ))
Donde    son respectivamente el modulo y el argumento de la ecuación puede re-escribirse de
la siguiente manera.
      4
 cos  2   isen  2    (cos 4  isen4 )  (cos(  )  isen(  ))  1  0
    
Sabemos que para multiplicar números complejos en forma trigonométrica, se multiplican los
módulos y se suman los argumentos, así nos queda:
     
 5  cos  3    isen  3     1
  2  2 
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

 5  1

De donde se obtiene el sistema   con k 
 3   2 k  
 2
  1

Resolviendo se obtiene  
 3     2k
 2
 3  4k 1  4( k  1) 1 
La ecuación 3     2k        2(k  1)  
2 2 2 2 
1   1 2h  1 
O equivalentemente 3    2h               2t  
 2   6 3   6 
1  5  9 
Tiene soluciones:     2t   ,   2t   y   2t   con t 
6  6  6 

b) Calcular el lugar geométrico de los números complejos z que satisfacen la ecuación

|𝑧 − 3| + |𝑧 + 3| = 12
Solución:

Si z  x  yi con x, y  , la desigualdad dada puede escribirse como lo siguiente:

( x  3)2  y 2  ( x  3) 2  y 2  12  ( x  3) 2  y 2  12  ( x  3) 2  y 2
Elevando al cuadrado ambos miembros:
( x  3)2  y 2  144  ( x  3) 2  y 2  24 ( x  3) 2  y 2
Aislando el radical y simplificando
( x  3)2  144  ( x  3) 2  24 ( x  3) 2  y 2 
x  6 x  9  144  x  6 x  9  24 ( x  3) 2  y 2 
2 2

12 x  144  24 ( x  3) 2  y 2 
x  12  2 ( x  3) 2  y 2
Elevando al cuadrado ambos miembros:
( x  12)2  4 ( x  3)2  y 2   x 2  24 x  144  4( x  6 x  9  y 2 ) 
2

x 2  24 x  144  4 x 2  24 x  36  4 y 2  3x 2  4 y 2  108 
x2 y2
 1
36 27
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

Por tanto, el lugar geométrico de los puntos del plano afijos del numero complejo z, cuya suma de
las distancias a los puntos fijos 3 y -3 es 12, es una elipse de centro (0,0) radio mayor 6 y radio
menor 3 3

Problema 8
Sean 𝐴1 , 𝐴2 , . . . , 𝐴11 los vértices de un polígono regular de 11 lados inscritos en una circunferencia
de radio 2. Sea P un punto tal que la distancia de P al centro del circulo es 3. Calcula el valor de la
suma
|𝑃𝐴1 |2 + |𝑃𝐴2 |2 +. . . . +|𝑃𝐴11 |2
Solución:

2
i
Sea p el número complejo asociado al punto P y w  e 11 una raíz undécima de la unidad.
Podemos suponer que el polígono de 11 lados está inscrito en una circunferencia centrada en el
origen. Como el radio de la circunferencia es 2 tenemos que:
2 k 2
i i
Ak  2e 11
 2(e 11
)k  2 wk Con k  1,2,....,11.
Entonces la suma que se desea calcular puede escribirse como sigue:
11
PA1  PA2  ...  PA11   p  2 wk
2 2 2 2

k 1

Como z  z z , se tiene
2

11 11 11

 p  2w k 2
  ( p  2 wk )( p  2 wk )   ( p  2 w k )( p  2 w ) 
k

k 1 k 1 k 1
11

 ( p p  2w
k k
p  2 wk p  4 wk w ) 
k 1
11 11 11
11 p p  2 p  wk  2 p  w  4 wk w
k k

k 1 k 1 k 1
(1) (2) (3) (4)
La distancia de P al origen es 3, luego P  3  9 , así:
2 2

(1)  p p  P  9
2

Como w es una raíz undécima de la unidad, se verifica que w11  1  0 , por tanto
( w  1)( w10  w9  ...  w  1)  0
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

Puesto que w  1 , tenemos que ( w10  w9  ...  w  1)  0 , así:

11
(2)   wk  0
k 1
2 k
i 1
Por otro lado, w  e 11

luego:
w
11
1 1 1 w10  w9  ...  w  1
(3)   w  1   ...  9  10 
k
0
k 1 w w w w10
k wk
Finalmente wk w  k  1 por tanto.
w
11
(4)   wk w  11
k

k 1
Luego, obtenemos que:
PA1  PA2  ...  PA11  11  9  2  0  2  0  4  11  99  44  143
2 2 2

Problema 9
Si 𝑧1 , 𝑧2 son las raíces de la ecuación con coeficientes reales 𝑧 2 + 𝑎𝑧 + 𝑏 = 0, probar que 𝑧1 𝑛 +
𝑧2 𝑛 es un número real para cualquier valor natural de n. En el caso particular de la ecuación 𝑧 2 −
2𝑧 + 2 = 0 expresar en función de n, dicha suma.

Solución:

Por ser la ecuación de coeficientes reales, las soluciones serán; o ambas reales o complejas
conjugadas. Si las dos son reales z1n  z2n es un número real; si son complejas conjugadas,
expresadas en forma trigonométrica serán de la forma:
z1   (cos  isen ) z2   (cos  isen )
Usando la fórmula de moivre, se tiene:
z1n   n (cos(n )  isen(n )) z2n   n (cos(n )  isen(n ))
Por tanto
z1n  z2n  2  n cos(n )
Lo que prueba z1n  z2n es un número real. Las soluciones de la ecuación z 2  2 z  2  0 son:
2  4  8 2  2i
x   1 i
2 2
i  i
Es decir x1  1  i  2e 4
y x2  1  i  2e 4

En consecuencia:
 n 
z1n  z2n  2 2n cos  
 4 
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

Problema 10
Prueba las desigualdades:
𝑎)||𝑧| − |𝑤|| ≤ |𝑧 − 𝑤|.
1 𝑧 𝑤
𝑏)|𝑧 + 𝑤| ≥ (|𝑧| + |𝑤|) ||𝑧| − |𝑤||.
2

Donde 𝑧, 𝑤 son números complejos no nulos. Estudia también cuando se da la igualdad en cada uno
de dichas desigualdades.
Solución:
a) Como |𝑧|=|𝑧 − 𝑤 + 𝑤| ≤ |𝑧 − 𝑤| + |𝑤| ⇒ |𝑧 − 𝑤| ≥ |𝑧| − |𝑤|
|𝑤|=|𝑤 − 𝑧 + 𝑧| ≤ |𝑤 − 𝑧| + |𝑧| = |𝑧 − 𝑤| + |𝑧| = ⇒ |𝑧 − 𝑤| ≥ |𝑤| − |𝑧|

b) Elevando al cuadrado
1 𝑧 𝑤
|𝑧 + 𝑤| ≥ (|𝑧| + |𝑤|) | − |
2 |𝑧| |𝑤|

1 𝑧 𝑤 1 𝑧 𝑤 2
|𝑧 + 𝑤| ≥ (|𝑧| + |𝑤|) |
2 |𝑧|
− |𝑤|| = |𝑧 + 𝑤|2 − 4 (|𝑧| + |𝑤|)2 ||𝑧| − |𝑤||
1 𝑧 𝑤 1
|𝑧 + 𝑤| ≥ (|𝑧| + |𝑤|) |
2 |𝑧|
− |𝑤|| = |𝑧|2 + |𝑤|2 + 2 𝑅𝑒(𝑧̅ ⋅ 𝑤) - 4 (|𝑧|2 + |𝑤|2 +2|𝑧||𝑤|) (2+2
𝑅𝑒(𝑧̅⋅𝑤)
|𝑧||𝑤|
)
1 1 1 𝑅𝑒(𝑧̅⋅𝑤)
= |𝑧|2 + |𝑤|2 + 2 𝑅𝑒(𝑧̅ ⋅ 𝑤) - |𝑧|2 + |𝑤|2 -|𝑧||𝑤|- ( |𝑧|2 + |𝑤|2 +2|𝑧||𝑤|)
|𝑧||𝑤|
2 2 2
1 𝑅𝑒(𝑧̅⋅𝑤) 1 𝑅𝑒(𝑧̅⋅𝑤)
= 2 ( |𝑧|2 + |𝑤|2 – 2|𝑧||𝑤|) +2 |𝑧||𝑤|
|𝑧||𝑤| -
2
( |𝑧|2 + |𝑤|2 + 2|𝑧||𝑤|)
|𝑧||𝑤|
1 1 𝑅𝑒(𝑧̅⋅𝑤)
= 2 (|𝑧| − |𝑤|)2 - 2
( |𝑧|2 + |𝑤|2 - 2|𝑧||𝑤|) |𝑧||𝑤|
1 𝑧 𝑤 1 𝑅𝑒(𝑧̅⋅𝑤)
|𝑧 + 𝑤| = (|𝑧| + |𝑤|) | − |𝑤|| = (|𝑧| − |𝑤|)2(1 - )
2 |𝑧| 2 |𝑧||𝑤|

Porque 𝑅𝑒(𝑧̅ ⋅ 𝑤) = |𝑧̅𝑤 | = |𝑧||𝑤| La igualdad se da si y solo si |𝑧| = |𝑤| o |𝑧̅𝑤 | = |𝑧||𝑤| lo que e
quivale que |𝑧̅𝑤 | = 𝜆𝜖ℝ que equivale que z y w esten en una misma semirecta a partir del origen,
o sea que tengan los mismos argumentos.

Problema 11
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

Solución:
a) Necesitamos la expresión de la suma de una progresión geométrica. Sean z un número
complejo distinto de 1 y n 𝜖ℕ. Pongamos S = 1 + 𝑧 + 𝑧 2 + ⋯ 𝑧 𝑛 .Tenemos que
S = 1 + 𝑧 + 𝑧2 + ⋯ 𝑧𝑛
Sz = 𝑧 + 𝑧 2 + ⋯ 𝑧 𝑛 + 𝑧 𝑛+1
⇒ S(z - 1) =𝑧 𝑛+1 -1
y deducimos que:
𝑧 𝑛+1 −1
1 + 𝑧 + 𝑧2 + ⋯ 𝑧𝑛 = 𝑧−1

La suma en a) es una progresión geométrica de razón 𝑤 𝑚 . Debemos distinguir el caso en que

𝑤 𝑚 =1, lo que ocurre cuando m es múltiplo de n , en cuyo caso la suma en a) es igual a n. En los
demás casos, tenemos que
𝑤 𝑛𝑚 −1
1 + 𝑤 𝑚 + 𝑤 2𝑚 + ⋯ 𝑤 (𝑛−1)𝑚 = 𝑤 𝑚 −1
=0

En particular haciendo m= 1, deducimos que la suma de las raíces enésimas de la unidad es igual a
0.
b) Sean z un número complejo distinto de 1 y n 𝜖ℕ Pongamos
S = 1 − 𝑧 + 𝑧2 − ⋯ 𝑧𝑛
Sz = 𝑧 − 𝑧 2 + ⋯ 𝑧 𝑛 − 𝑧 𝑛+1
⇒ S(z -1) =−𝑧 𝑛+1 -1
y deducimos que:
−𝑧 𝑛+1 −1
1 − 𝑧 + 𝑧2 − ⋯ 𝑧𝑛 = 𝑧−1

La suma en b) es una progresión geómetrica de razón −𝑤 𝑚

−𝑤 𝑛𝑚 −1
1 − 𝑤 𝑚 + 𝑤 2𝑚 − ⋯ 𝑤 (𝑛−1)𝑚 = 𝑤 𝑚 −1

Problema 12
𝑆𝑖 𝐴(𝑥, 𝑦) = 2𝑥𝑦 − 𝑖𝑥 2 𝑦 3 , 𝑒𝑛𝑐𝑜𝑛𝑡𝑎𝑟 𝑎)𝑔𝑟𝑎𝑑 𝐴, 𝑏)𝑑𝑖𝑣 𝐴, 𝑐) 𝑟𝑜𝑡 𝐴, 𝑑) 𝑙𝑎𝑝𝑙𝑎𝑐𝑖𝑎𝑛𝑜 𝑑𝑒 𝐴

Solución:
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

     
a) A    i  (2 xy  ix 2 y 3 )  (2 xy  ix 2 y 3 )  i (2 xy  ix 2 y 3 )
 x y  x y
 2 y  2ixy 3  i (2 x  3ix 2 y 3 )  2 y  3x 2 y 2  i (2 x  2 xy 3 )
      
b)   A  Re   i  (2 xy  ix 2 y 3 )   (2 xy )  ( x 2 y 3 )  2 y  3x 2 y 2
 x y   x y
      
c)   A  Im   i  (2 xy  ix 2 y 3 )   ( x 2 y 3 )  (2 xy )  2 xy 3  2 x
 x y   x y
2 2 2 2

d)  2 A  Re A   x 2
A 
y 2
A 
x 2
(2 xy  ix 2 3
y ) 
y 2
(2 xy  ix 2 y 3 )  2iy 3  6ix 2 y

Problema 13
Demostrar que las partes real e imaginaria de una función analítica de una variable compleja
expresada en forma polar satisface la ecuación (ecuación de Laplace en forma polar)

Solución:
 2v   v    u   2u u
     r   r 
r  r    r  r  r 2 r
 2v   v    1 u  1  2u
       
r   r    r   r  2
Pero:
 2v  2v

r r
Suponiendo que las segundas derivadas parciales son continuas. Por lo tanto:
 2u u 1  2u  2u 1 u 1  2u
r    o 2  0
r 2 r r r 2 r r r r 2  2
De manera similar, mediante la eliminación de u se encuentra
 2u 1 v 1  2v
  0
r 2 r r r 2  2
Con lo que se llega al resultado buscado.
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

Problema 14
∞
1 𝜋
A) Probar que ∑ 𝑛 2 +𝑎2 = 𝑎 𝑐𝑜𝑡ℎ𝜋𝑎 𝑑𝑜𝑛𝑑𝑒 𝑎 > 0.
𝑛=−∞
Solución:
1
Sea f(z)= 𝑧2 +𝑎2 , la cual tiene polos simples en 𝑧 = ±𝑎𝑖
πcotπz
El residuo de z2 +a2
en 𝑧 = 𝑎𝑖 es:
πcotπz πcotπai π
lim (z − ai) 2 2
= = − cothπa
z→ai (z − ai) · (z + a ) 2ai 2a
De manera similar, el residuo en 𝑧 = −𝑎𝑖 es (−π/2a)𝑐𝑜𝑡ℎ𝑎π, y la suma de los residuos es
−(π/a)𝑐𝑜𝑡ℎ𝑎π. Así, de acuerdo con el problema 7.25 es:
∞
1 𝜋
∑ = −(𝑠𝑢𝑚𝑎 𝑑𝑒 𝑟𝑒𝑠𝑖𝑑𝑢𝑜𝑠) = 𝑐𝑜𝑡ℎ𝜋𝑎
𝑛2 +𝑎 2 𝑎
𝑛=−∞

∞
1 𝜋 1
B) Probar que ∑ 2 +𝑎 2 = 𝑐𝑜𝑡ℎ𝜋𝑎 − 𝑑𝑜𝑛𝑑𝑒 𝑎 > 0.
𝑛=1 𝑛 2𝑎 2𝑎 2
Solución:
El resultado del problema 7.26 se escribe de la forma

−1 ∞
1 1 1 𝜋
∑ 2 2
+ 2+∑ 2 2
= 𝑐𝑜𝑡ℎ𝜋𝑎
𝑛 +𝑎 𝑎 𝑛 +𝑎 𝑎
𝑛=−∞ 𝑛=1
∞
1 1 𝜋
2∑ + 2 = 𝑐𝑜𝑡ℎ𝜋𝑎
𝑛2 +𝑎 2 𝑎 𝑎
𝑛=1
De donde se obtiene el resultado buscado.

1 1 1 π2
C) Probar que 12 + 22 + 32 +. . . . . . . = 6
Solución:

Se tiene
π2 𝑧 2 π4 𝑧 4
πcotπz πcosπz (1 − 2! + 2! −. . . . )
𝐹(𝑧) = = 2 =
𝑧 2 𝑧 𝑠𝑒𝑛πz (1 − π2 𝑧2 + π4 𝑧4 −. . . . )
3! 5!
1 π2 𝑧 2 π2 𝑧 2 1 π2 𝑧 2
= 3 (1 − + ⋯ )(1 + + ⋯ ) = 3 (1 − + ⋯)
𝑧 2! 3! 𝑧 3
2
De manera que el residuo en z=0 es −π3
De este modo, como en los problemas 7.26 y 7.27.
−1
𝑁 𝑁
πcotπz 1 1 𝜋2 1 𝜋2
∮ 𝑑𝑧 = 2 ∑ + ∑ − = 2 ∑ −
𝐶𝑛 𝑧2 𝑛2 𝑛2 3 𝑛2 3
𝑛=1 𝑛=1
𝑛=−𝑁
Se toma límite cuando 𝑁 → ∞ y se tiene, debido a que el lado izquierdo tiende a cero.
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

Problema 15
𝑎+𝑖∞
1 𝑒 𝑧𝑡
Calcular 2πi ∫ 𝑑𝑧 donde a y t son constantes positivas arbitrarias.
√𝑧+1
𝑎−𝑖∞

Solución:

El integrado tiene un punto de ramificación en Z=-1.Como recta de ramificación se tomara

la parte del eje real que está a la izquierda de z=-1. Como esta recta se ramifica no puede
cruzarse. Se considera
𝑒 𝑧𝑡
∮ 𝑑𝑧
√𝑧 + 1
𝐶
Donde C es el contorno ABCDEFGHJKA, el segmento EF y HJ se encuentra sobre el eje x;
asimismo, FGH es una circunferencia de radio 𝜀 y BDC y JKA representan arcos de una
circunferencia de radio R.
𝑒 𝑧𝑡
Como es analítica dentro de C y sobre ella, de acuerdo con el teorema de Cauchy se
√𝑧+1
tiene:
𝑒 𝑧𝑡
∮ 𝑑𝑧 = 0
√𝑧 + 1
𝐶
Se omite el integrando y se obtiene como

∫ +∫ +∫ +∫ +∫ +∫ =0
𝐴𝐵 𝐵𝐷𝐸 𝐸𝐹 𝐹𝐺𝐻 𝐻𝐽 𝐽𝐾𝐴
𝑖𝜃
Ahora sobre BDE y JKA, 𝑧 = 𝑅𝑒 , donde 𝜃 va de 𝜃0 a 𝜋 y de 𝜋 𝑎 2𝜋 − 𝜃0 ,
respectivamente.
πi
Sobre EF, 𝑧 + 1 = 𝑢𝑒 πi , √𝑧 + 1 = √𝑢𝑒 2 = 𝑖 √𝑢 y sobre HJ, 𝑧 + 1 = 𝑢𝑒 −πi , √𝑧 + 1 =
−πi
√𝑢𝑒 2 = −𝑖 √𝑢.En ambos casos 𝑧 = −𝑢 − 1, 𝑑𝑧 = −𝑑𝑢, donde 𝑢 varia de R-1 a 𝜀 a lo
largo de EF y de 𝜉 a R-1 a lo largo de HJ.
Sobre FGH, 𝑧 + 1 = 𝜉𝑒 𝑖𝜙 , donde 𝜙 va de -𝜋 a 𝜋. Por tanto se escribe
𝑎+𝑖𝑡 π 𝑖𝜃 𝑡 𝜉
𝑒 𝑧𝑡 𝑒 𝑅𝑒 𝑖𝜃
𝑒 −(𝑢+1)𝑡
∫ 𝑑𝑧 + ∫ 𝑖𝑅𝑒 𝑑𝜃 + ∫ (−𝑑𝑢)
√𝑧 + 1 √𝑅𝑒 𝑖𝜃 + 1 𝑖 √𝑢
𝑎−𝑖𝑡 𝜃0 𝑅−1
−π 𝑅−1
(𝜀𝑒 𝑖𝜙 −1)𝑡 −(𝑢+1)𝑡
𝑒 𝑒
+∫ 𝑖𝜀𝑒 𝑖𝜃 𝑑𝜙 + ∫ (−𝑑𝑢)
√𝜀𝑒 𝑖𝜙 + 1 −𝑖 √𝑢
π 𝜀
2π−θ0
𝑒 𝑅𝑒 𝑡
+∫ 𝑖𝑅𝑒 𝑖𝜃 𝑑𝜃 = 0
√𝑅𝑒 𝑖𝜃 + 1
π
Ahora se toma límites cuando 𝑅 → ∞(𝑦 𝑇 = √𝑅 2 − 𝑎2 → ∞) y 𝜀 → 0.Puede mostrarse
que las integrales segunda, cuarta y sexta tienden a cero. Por tanto, se tiene
𝑎+𝑖∞ 𝑅−1 ∞
𝑒 𝑧𝑡 𝑒 −(𝑛+1)𝑡 𝑒 −(𝑢+1)𝑡
∫ 𝑑𝑧 = lim 2𝑖 ∫ 𝑑𝑢 = 2𝑖 ∫ 𝑑𝑢
√𝑧 + 1 𝜀→0;𝑅→∞ √𝑢 √𝑢
𝑎−𝑖∞ 𝜀 0
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

O, con u=𝑣 2

𝑎+𝑖∞ ∞
1 𝑒 𝑧𝑡 1 𝑒 −(𝑢+1)𝑡 2𝑒 −𝑡 ∞ −𝑣2 𝑡 𝑒 −𝑡
∫ 𝑑𝑧 = ∫ 𝑑𝑢 = ∫ 𝑒 𝑑𝑣 =
2πi √𝑧 + 1 π √𝑢 π 0 √πt
𝑎−𝑖∞ 0

Problema 16
∞
(ln𝑢)2 π3
𝑃𝑟𝑜𝑏𝑎𝑟 𝑞𝑢𝑒 ∫ 𝑑𝑢 =
𝑢2 + 1 8
0

Solución:
Como el integrando tiene un polo simple en z  i , entonces el residuo de este polo es:

(ln i)2  i 2 
2
(ln z )2  2
lim( z  i)   
z i ( z  i)( z  i) 2i 2i 8i
De acuerdo con el teorema del residuo,

(ln z )2   2  2
 z 2  1 dz  2 i  8i    4
C
...(1)

Ahora,
 R
(ln z )2 (ln z )2 (ln z )2 (ln z )2 (ln z )2
 z 2  1 dz  R z 2  1 dz   z 2  1 dz   z 2  1 dz   z 2  1 dz
C
...(2)
1 2

En la primera integral de la derecha, sea z   x de manera que

ln z  ln( x)  ln x  ln(1)  ln x   i y dz  dx . Asimismo, en la tercera integral de la
derecha sea z  x (de manera que dz  dx ). Así, con (1), se tiene:

(ln x   i)2 2
R
(ln z )2 (ln x)2 (ln z )2
 x2  1 dx   z 2  1 dz + x2  1 dx   z 2  1 dz   4
C 1 2

Ahora, sea  0 y R   . Como las integrales en torno a 1 y  2 tienden a cero, se tiene

 
(ln x   i ) 2 (ln x) 2 2
0 x 2  1 dx  + 0 x 2  1 dx  
4

O
  
(ln x) 2 ln x dx 2
2 2 dx  2 i  2 dx   2  2 
0
x 1 0
x 1 0
x 1 4
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE


dx  
Se aprovecha que x
0
2
1
 tan 1 x 0  .
2
 
(ln x) 2 ln x 3
2 dx  2 i 0 x 2  1 dx 
0
x2  1 4

Al igualar la parte real, se encuentra:


(ln x) 2 3
 dx 
0
x2  1 8

Problema 17

Solución:
Para todo n≥0. Pruebe que z=0 es una singularidad evitable de f.
Solución
Como f es holomorfa en A= {𝑧𝜖ℂ : 0 < |𝑧| < 2} entonces f admite una serie de Laurent entorno al
cero es decir existen (𝑐𝑘 )𝑘 ∈ ℤ tales que:
∞
f(z)=∑𝑘=−∞ 𝑐𝑘 𝑧 𝑘 , ∀𝑧 ∈ 𝐴
1 𝑓(𝑤)
𝑐𝑘 = ∮
2𝜋𝑖 𝑤 𝑘+1
𝜕𝐷(0,𝑟)

Luego si k> 0
1 𝑓(𝑤) 1
𝑐𝑘 = 2𝜋𝑖
∮ 𝑤 𝑘+1
𝑑𝑤 = 2𝜋𝑖 ∮𝜕𝐷(0,𝑟) 𝑤 −𝑘−1 𝑓(𝑤)𝑑𝑤
𝜕𝐷(0,𝑟)

Pero k<0 implica que -k-1≥0 usando la hipótesis se obtiene que

1 1
𝑐𝑘 = 2𝜋𝑖 ∮𝜕𝐷(0,𝑟) 𝑤 −𝑘−1 𝑓(𝑤)𝑑𝑤= 2𝜋𝑖 ∮𝜕𝐷(0,𝑟) 0𝑑𝑤 = 0

Si 𝑐𝑘 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 k< 0 y

∞
f(z)=∑𝑘=−∞ 𝑐𝑘 𝑧 𝑘 , ∀𝑧 ∈ 𝐴

Así podemos definir f(0) 𝑙𝑖𝑚 f(z) = 𝑐0 ,es decir, z= 0 es una singularidad evitable de f.
𝑧→0
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

Problema 18
𝑆𝑒𝑎 𝑓 𝑎𝑛𝑎𝑙í𝑡𝑖𝑐𝑎 𝑒𝑛 𝛺, 𝑐𝑜𝑛 𝐷(𝑎, 𝑅) = {𝑧 ∈ ℂ: |𝑧 − 𝑎| ≤ 𝑅} ⊆ 𝛺.Supongamos que f(z) tien
un solo cero 𝑧0 𝑒𝑛 𝐷(𝑎, 𝑅). Demuestre que:

1 𝑧𝑓 ´ (𝑧)
𝑧0 = ∫ 𝑑𝑧
2πi 𝑓(𝑧)
𝜗𝐷(𝑎,𝑅)

Indicación: considere 𝑓(𝑧) ≠ (𝑧 − 𝑧0 )𝜑(𝑧)

Solución:
Puesto que f(z)tiene un solo cero 𝑧0 𝛺, f(z) se puede escribir como:
f(z)= (z-𝑧0 ) 𝜑(z) ,∀𝑧 ∈ 𝛺
donde 𝜑(z) es una función analítica y tal que 𝜑(z)≠o para todo z ∈ 𝛺 𝑙𝑢𝑒𝑔𝑜
1 𝑧𝑓 ′ (𝑧) 1 𝑧 1 𝜑′ (𝑧)
∮ 𝑑𝑧 = ∮ 𝑑z + ∮ 𝑑z
2𝜋𝑖 f(z) 2𝜋𝑖 z−𝑧0 2𝜋𝑖 𝜑(z)
𝜕𝐷(0,𝑟) 𝜕𝐷(0,𝑟) 𝜕𝐷(0,𝑟)

𝜑′ (𝑧)
como 𝜑(z) ws analítica se anula en 𝛺 se tiene que es analítica en 𝛺 y así pore el teorem ade Cauchy-
𝜑(z)

Gourzat
1 𝜑′ (𝑧)
∮ 𝑑z = 0
2𝜋𝑖 𝜑(z)
𝜕𝐷(0,𝑟)

por otro lado por la formúla de cauchy aplicado a la función g (z) =z se obtiene que

1 𝑧
∮ 𝑑z = 𝑧0
2𝜋𝑖 z−𝑧0
𝜕𝐷(0,𝑟)

de donde se concluye que

1 𝑧𝑓′ (𝑧)
2𝜋𝑖
∮ f(z)
𝑑𝑧 = 𝑧0
𝜕𝐷(0,𝑟)

Problema 19
Encontrar la serie de Laurent de las siguientes funciones en los dominios indicados.
1
𝑎) 𝑒𝑛 {𝑧 ∈ ℂ: |𝑧 − 4| < 5}.
𝑧 2 +9
1
𝑏) 𝑒𝑛 {𝑧 ∈ ℂ: |𝑧 − 4| > 5}.
𝑧 2 +9
1
𝑐) 𝑒 𝑧 + 𝑒 𝑧 𝑒𝑛{𝑧 ∈ ℂ: |𝑧| > 0}.

Solución:
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

en z  : z  4  5
1
a.-
z 92

Desarrollando en fracciones parciales

1 A B A( z  3i )  B( z  3i )
  
z  9 z  3i z  3i
2
z2  9

1 1
Evaluando en z  3i y z  3i , obtenemos que A  y B  , por lo tanto
6i 6i
1 1 1 1 B
   
z 2  9 6i z  3i 6i z  3i
1 1 1 1  ( z  4)n
Pero 
z  3i z  4  4  3i
   (1)  (4  3i)n
 ( z  4)  4  3i n 0
n

4  3i  1  
 4  3i 
z4
El cual es válido para  1  z  4  4  3i  5
4  3i
1 1 1 1  ( z  4) n
Análogamente 
z  3i z  4  4  3i
  
 ( z  4)  4  3i n 0
( 1) n

(4  3i ) n
4  3i  1  
 4  3i 
z4
El cual es válido para  1  z  4  4  3i  5
4  3i
Por lo tanto la serie de Laurent queda
1 1 1 
( z  4) n 1 1 
( z  4) n Para z4 5
z 9
2
 
6i 4  3i
 ( 1)
n 0
n

(4  3i ) n
 
6i 4  3i
 ( 1)
n 0
n

(4  3i ) n

en z  : z  4  5
1
b.-
z 9
2

Solución:

Del problema anterior, tenemos:

1 1 1 1 B
   
z  9 6i z  3i 6i z  3i
2

1 1 1 1  (4  3i ) n
Donde 
z  3i z  4  4  3i

 (4  3i ) 
 
z  4 n 0
( 1) n 
( z  4) n
( z  4)  1  
 z4 
4  3i
Valido para  1 si 5  4  3i  z  4
z4
Doc. Lic. Raúl P. Castro Vidal UNAC.FIEE

1 1 1 1  (4  3i ) n
Análogamente 
z  3i z  4  4  3i

 (4  3i ) 
 
z  4 n 0
( 1) n

( z  4) n
( z  4)  1  
 z4 
4  3i
Para  1 si 5  4  3i  z  4
z4
Entonces la serie de Laurent seria:

1 1 1 
(4  3i ) n 1 1 
(4  3i ) n
Si z4 5
z 92
  
6i z  4 n 0
( 1) n 
( z  4) n
 
6i z  4
 ( 1)
n 0
n

( z  4) n

1
c.- e  e z en
z
z  : z  0

Solución:

1 n
Sabemos que ez   z  z
n 0 n !
Luego, el desarrollo en serie de Laurent es:
  n
1
1 1 1
e  e   zn     z  0
z z

n 0 n ! n 0 n !  z 

Problema 20
Calcular la integral

1
C ( z  1) ( z  9)( z  4)
4 2
dz

Siendo C: |z| = 2, orientado positivamente.

Solución:

1  1  1 
 ( z  1)
C
4
( z  9)( z  4)
2
 2 i  Res  2  f   
z  0
z  z 
1 1 1 1 1 1
  f   2   2 
 1 z   1 9z   1 4z 
 z  z ( 1  1) 4 ( 1  9)( 1  4) z
2 2 4
z
z z2 z     
 z   z  z 
2

 1  1  1 z7 z6
 Res  2  f     lim z  2   lim
 z   z 0 z 1  z  1  9 z 2  1  4 z  z 0 1  z  1  9 z 2  1  4 z 
4 4
z
1
  2 i  (0)  0
C
( z  1) ( z  9)( z  4)
4 2

Bellavista, mayo del 2019.

Lic. Raúl P. Castro Vidal, Cód 2364