UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

FACULTAD DE INGENIERIA ELECTRONICA, ELECTRICA Y DE

TELECOMUNICACIONES

CURSO
Funciones Balotario Primera Prctica
Analticas
Calificada

GRUPO PROFESOR

11 Lic. Ral Castro Vidal

APELLIDOS Y NOMBRES CODIGO

CHAVEZ HIDALGO, Gabriela 15190250

CUBA MIRANDA, Lucero Milagros 15190005
MORENO ACOSTA, Olenka del Rocio 15190279
RODRIGUEZ VEGA, Jeremias Jhoel 15190130
ZAMBRANO RODRIGUEZ, Jorge Armando 15190139
 FIEE UNMSM S Funciones analticas

CONTENIDO:

I. Introduccin

II. Problemas sobre contornos

III. Problemas sobre cotas superiores

IV. Problemas sobre integrales cerradas

V. Problemas sobre Cauchy-Riemann

VI. Problemas sobre la frmula integral de Cauchy

VII. Problemas sobre funciones armnicas

VIII. Problemas sobre analiticidad

IX. Bibliografa

X. Enlaces

UNMSM-FIEE 2
 FIEE UNMSM S Funciones analticas

I. Introduccin:

Hasta ahora hemos resuelto, principalmente, las distintas operaciones como derivadas e

integrales de funciones definidas en el mbito de los nmeros reales.

Sin embargo, en las aplicaciones, se puede observar que las funciones reales no logran

explicar cierto tipo de problemas que impliquen la relacin 2 + 1 = 0. Por esta razn

vamos a dedicar este trabajo grupal a la bsqueda de soluciones a problemas que

relacionen variables complejas en la bsqueda de derivadas, integrales, continuidad, etc.

As, en la primera parte del este trabajo resolveremos problemas que relacionen

contornos, existencia de derivadas, analiticidad, conceptos que impliquen el uso de los

nmeros complejos.

UNMSM-FIEE 3
 FIEE UNMSM S Funciones analticas

PROBLEMA 1

cos z C1 , C2 , C3 yC4 se
Sea f :D una funcin tal que f ( z) los contornos
z 2 16
muestran en la siguiente figura:

Expliquen y fundamenten la validez de las siguientes relaciones de igualdad:

a) f ( z )dz f ( z )dz b) f ( z )dz f ( z )dz c) f ( z )dz f ( z )dz d ) f ( z )dz f ( z )dz

C1 C2 C3 C4 C1 C3 C1 C4

e) f ( z )dz f ( z )dz f ) f ( z )dz f ( z )dz

C3 C1 C2 C4

RESOLUCIN:
cos()
() =
2 + 16
Teorema de Cauchy
1 . ()
(0 ) =
2 0

Integral de Cauchy para derivadas parciales:

.
() 2 () (0 )
=
( 0 )+1 !

Tenemos que para 1

. . .
cos() cos()
() = 2
=
1 + 16 ( 4)( + 4)

2 + 16:
Tenemos que +4est dentro de la circunferencia de 1

UNMSM-FIEE 4
 FIEE UNMSM S Funciones analticas

.
cos() . .
()
() = + 4 =
1 4 4

cos()
() =
+ 4
Ahora tenemos:
.
2(4)
() = 2(0 )
1 (4 + 4)
.
cosh(4)
() =
1 4

Analizamos para 2
. .
cos()
() =
1 2 ( 4)( + 4)

Tenemos que 4est dentro de la circunferencia de 2

Haremos el mismo procedimiento que en 1
.
cosh(4)
() =
2 4

Analicemos para 3
.
() = 4 4 Son races y puntos
1

. .
cos() F(z)
=
3 ( 4)( + 4) 3 ( 4)( + 4)

1
= +
( 4)( + 4) 4 + 4
1 1
= =
8 8
Reemplazamos:
. . .
cos() F(z)
() =
3 3 8( 4) 3 8( + 4)
.
2
() = [cos(4) cos(4)]
3 8
.
() = 0
3

UNMSM-FIEE 5
 FIEE UNMSM S Funciones analticas

.
El anlisis para () es anlogo ya que contiene races 4 4 como puntos
4

.
() = 0
4

a) V
. .
() = ()
1 2

cosh(4) cosh(4)
=
4 4
b) V
. .
() = ()
3 4

0=0
c) V
. .
() ()
1 2

cosh(4)
0
4
d) V
. .
() ()
1 4

cosh(4)
0
4
e) V
. .
() ()
3 1

cosh(4)
0
4

f) V
. .
() ()
2 4

cosh(4)
0
4

UNMSM-FIEE 6
 FIEE UNMSM S Funciones analticas

PROBLEMA 2
Sea f: una funcin tal que f(z) es analtica en el dominio D, entonces para cualquier
curva C contenida en D que encierra a Z0 , demuestre la frmula de la integral de Cauchy:
()
= ( )

RESOLUCIN:
- por el principio de contornos:

- Construimos el corte transversal DE y como F(z) es analtica en la legin R entonces por el

teorema de Cauchy:

() = 0

() + () + () + () = 0 . (1)

Como:

() = () . (2)

Reemplazar (2) en (1) tenemos:

() + () + () + () = 0

() = ()

() = ()

() = () ()
1 2

UNMSM-FIEE 7
 FIEE UNMSM S Funciones analticas

Grfico de () :

()
Sabemos que la funcin; es analtica dentro y sobre la curva , excepto en el punto
0
z=z0.

Del teorema () tenemos:

() ()
= . . ()
0 0
Como se puede elegir como un crculo de radio con centro z0; luego una ecuacin para
es : 0 = 0 = , donde 0 2

z = z0 + , dz =

2
() (0 + ) 2
= = (0 + ) . ()
0 0 0

Reemplazamos () en ():
2
()
= (0 + )
0 0

Tomando limite a ambos lados cuando ----> 0

2
()
lim = lim (0 + )
0 0 0 0

UNMSM-FIEE 8
 FIEE UNMSM S Funciones analticas

2
()
= (0 )
0 0

()
= 2(0 ) .
0

2.2. Utilice la frmula (2.1) y calcule

z 1
2
1
C z 1
2
dz con centros a) z 1 b) z c) z 1
2
d ) z i e) z i 1
2
+1 2 + 1
=
2 1 ( + 1)( 1)

a. z = 1:
(
2 + 1

2 + 1 + 1 ) 12 + 1
= = 2(1) = 2 ( ) = 2
( + 1)( 1) 1 1+1

b. z = 1 / 2

( 2 + 1)( 1/2) 12 1 1

( + 1)( 1)
(1/2) 1 ( + 1)( )
= = 2 ( ) = 2( 2 2 2 )=0
( 1/2) ( 1/2) 2 1 1
(2 + 1) (2 1)

()
Observacin: queda demostrado que 1 / z no es punto singular entonces:
0

()
= 0
1 0

c. z = -1

2 + 1
(
1) (1)2 + 1
= 2 ( ) = 2
+1 (1 1)

d. z = i , como no es punto singular:

2
+1
= 0
2 1

e. z = i+1 ,como no es un punto singular:

UNMSM-FIEE 9
 FIEE UNMSM S Funciones analticas

PROBLEMA 3

Evalu las siguientes integrales:

a) El cuadrado de vertices :1 i, 1, 1 i.

b) La circunferencia z i 2
dz
I1 z 2 ( z 2 4)
1
c) La circunferencia z i
C 2
donde C est dado por :
I dz d ) La circunferencia z i 1
2 z ( z 4)
2
2
e) La circunferencia z 3i 2
C

SOLUCIN:
c) : = /
Im (z)
2i

i
r=1/2
0 Re (z)

1
1 = () = , = 0, 2, +2.
2 ( 2 + 4)

:

=0
2 ( 2
+ 4)
NOTA:

2 =
( 2 + 4)

:

=0
2 ( 2
+ 4)

UNMSM-FIEE 10
 FIEE UNMSM S Funciones analticas

d) : + 3 = 2
Im (z)
0 Re (z)

-i
r=1/2
-2i

1
1 = () = , = 0, 2, +2.
2 ( 2 + 4)

=0
2 ( 2
+ 4)
NOTA:

2 =
( 2+ 4)

:

=0
2 ( 2
+ 4)

UNMSM-FIEE 11
 FIEE UNMSM S Funciones analticas

e) : + = /
Im (z)
0 Re (z)

-
-2i
-3i

r =2

1 =
2 ( 2
+ 4)
1 1
2 ( 2) 2 ( 2)
2 2 = =
( + 4) ( + 2) (2)
1
() =
2 ( 2)
1
2 ( 2)
= 2(2) =
(2) 8

2 =
( 2+ 4)
1 1
( 2) ( 2)
= =
( 2 + 4) ( + 2) (2)
1
() =
( 2)
1
( 2)
= 2(2) =
(2) 4

UNMSM-FIEE 12
 FIEE UNMSM S Funciones analticas

PROBLEMA 4

e 2 z dz
Obtenga una cota superior para el mdulo de la integral C z2 1
, tomada alrededor de la

circunferencia C: z 3, cual es el valor de esta integral si la trayectoria de integracin es la

1
circunferencia es la circunferencia C: z
2
y si la trayectoria fuera la circunferencia

C: z 3, entonces cual sera el valor de la integral dada.

RESOLUCIN:

Hallando la cota superior de la integral:

2

2 + 1

Donde M es la cota superior del mdulo de la funcin y L es la longitud de la circunferencia

: = 3.

2 2
2 = 2
+1 + 1

Para 2 :

(2) 2
2 =
! !
=0 =0

6
2
!
=0

2 6
1
Para 2 +1:

2 1 2 + 1 2 + 1

8 2 + 1 10
1 1
2 + 1
8 10
Entonces:

2 6
2 =
+1 8

UNMSM-FIEE 13
 FIEE UNMSM S Funciones analticas

La longitud de la circunferencia : = 3 es:

= 2(3) = 6
Por lo tanto:

2 6 6
=
2 + 1 8

2 3 6

2 + 1 4
1
Hallando la integral alrededor de la circunferencia : = 2.

2
2
=
2 + 1 ( )( + )

2
2
2
= +
2 + 1 1 ( )( + ) 2 ( )( + )

Para C1, observaos que en el punto z=i la funcin no es analtica. Ubicamos este punto y observamos
que est fuera de la trayectoria cerrada C1, por lo tanto se cumple el teorema de Cauchy:

2
=0
1 ( )( + )

Un caso similar observamos para C2 pero con el punto z=-i que hace que la funcin no sea analtica
en dicho punto. Entonces:

2
=0
2 ( )( + )
1
Por lo tanto la integral para la trayectoria cerrada : = 2 ser:

2
=0
2 + 1

UNMSM-FIEE 14
 FIEE UNMSM S Funciones analticas

Hallando la integral alrededor de la circunferencia : = 3.

2
2
=
2 + 1 ( )( + )

2
2
2
= +
2 + 1 1 ( )( + ) 2 ( )( + )

Para C1, observaos que en el punto z=i la funcin no es analtica. Ubicamos este punto y observamos
que est dentro de la trayectoria cerrada C1, por lo tanto aplicamos la frmula de Cauchy:

2 2 2
= 2() =
1 ( )( + ) 2

2
= 2
1 ( )( + )

Un caso similar observamos para C2 pero con el punto z=-i que hace que la funcin no sea analtica
en dicho punto. Entonces:

2 2 2
= 2() =
2 ( )( + ) 2

2
= 2
2 ( )( + )

Por lo tanto:

2
2
2
= +
2 + 1 1 ( )( + ) 2 ( )( + )

2
= 2 2
2 + 1

2
= 2 (1 1 )
2 + 1

UNMSM-FIEE 15
 FIEE UNMSM S Funciones analticas

PROBLEMA 5

5.1) Determine el valor de la integral

a) z 2
z3 2z 1
z 1
dz donde C es el contorno definido por : 1
b) z
C 3

a)
||z||=2 circunferencia con centro 0 y radio 2
() = 3 + 2 + 1 es analtica en todo C
Con (0) = 1

+1 = 3 = 2
() = 3 + 2 + 1

() = 3 2 + 2
() = 6
() = 6

3 +2+1 2(1)
(1)3
= = 6
2

b) ||z||=1/2 circunferencia con centro 0 y radio 1/2

() = 3 + 2 + 1 no es analtica en todo C
Con (0) = 1 no pertenece a la regin C
3 +2+1
(1)3
=0

UNMSM-FIEE 16
 FIEE UNMSM S Funciones analticas

5.2) Determine el valor de la integral

cos z
z 1 z 5
C 3 2
dz donde C es el contorno definido por z 4 4.

cos z
z 1 z 5
C 3 2
dz , siendo C : z 4 4.

Aplicando la frmula de integral de Cauchy para las derivadas:

cos z
z 1 dz 2 i d cos z
3

C z 5 2
1! dz z 13
(5)

cos z 64sen5 48cos 5

z 1 z 5
C 3 2
dz 2 i
46

Finalmente:

cos z
z 1 z 5
C 3 2
dz 0, 023 i

UNMSM-FIEE 17
 FIEE UNMSM S Funciones analticas

5.3) Determinar el valor de la integral:

ln 8
1 Donde C es el contorno definido por 1 = 9
2 +
2

Solucin:

Contorno definido:
y

8/9

x
1

Reordenando la integral:

ln ln
=
1 1 1 1 1
2 +2 ( 2 2 )( 2 + 2 )

ln
1 1
ln ( 2 2 )
=
1 1 1 1 1 1
( 2 2 )( 2 + 2 ) ( 2 + 2 )

1 1 ln
Entonces 0 = () = 1 1
2 2 ( )
2 2

1 1 8
0 1 = 1 = 0.707 <
2 2 9
Por lo cual se encuentra dentro del contorno.
Por la integral de Cauchy:

ln
= 2 (0 )
1
2 + 2

UNMSM-FIEE 18
 FIEE UNMSM S Funciones analticas

1 1
ln ln(2 2 )
= 2
2 1 1 1 1 1
+2 (2 2 2 2 )

1 1 1 1
ln ln2 2 + arg (2 2 ) + 2
= 2
1 ()
2 +2

ln 2
= 2(ln + ( ) + 2)
1 2 4
2 + 2

ln 2
= 2(ln + ( + 2))
1 2 4
2 + 2

2
= 2(ln + ( + 2)) /
2 4

UNMSM-FIEE 19
 FIEE UNMSM S Funciones analticas

PROBLEMA 6

6.1 Teorema de Morera

Sea C una curva cerrada simple que encierra un dominio simplemente conexo D,
sea f : D una funcin continua, con derivada continua en D tal que f z dz 0.
C

Demuestre que f (z) es analtica.

Si F tiene una derivada continua en D puede aplicarse el teorema de Green para obtener

()dz = vdy + i + udy

( )dxdy + i( )dxdy

As, si ()dz = 0 alrededor de toda la trayectoria cerrada C en R, se tendr

= 0,

+ = 0

alrededor de toda una curva cerrada D en R, Por tanto satisfacen las ecuaciones de Cauchy Rieman
ya que es vlido para regiones simples conexas.

= ,
= -

Y como estas derivadas parciales son continuas se colige que u + iv = F(z) es analtica.

UNMSM-FIEE 20
 FIEE UNMSM S Funciones analticas

6.2 Teorema de Liouville

Si f (z) es analtica y acotada en modulo para toda z finita, entonces demuestre que f (z) es
constante.
Sean a y b dos puntos en el plano z. Suponga que C es una circunferencia de radio r y de centro a,
que encierra al punto b.

b a

Usando la frmula de la integral de Cauchy, se tiene

1 () 1 ()
() ()= -
2 2

()
() ()=
2 ()()

Y ahora se tiene
| |= r, | |= | + | | | - | | = r - | | r/2

Si se elige un r lo bastante grande para que | |< r/2. Entonces, como |()|< M y la longitud
de C es 2r, utilizamos modulos en ambos miembros y por desigualdad de Cauchy

|| () ||(2) 2||M
|() ()|=
2
| ()()
| =
2( )
2

Con r se ve que |() ()|= 0 o que () = (), lo que muestra que () debe ser una
constante.

UNMSM-FIEE 21
 FIEE UNMSM S Funciones analticas

6.3 Teorema del mdulo mximo

Sea f : D una funcin que nos es constante y que es continua en la regin cerrada
y acotada D, adems f(z) es analtica en todo punto interior de D, entonces demuestre que el
valor mximo de f ( z) en C debe corresponder a un punto de la frontera de D.

Como () es analtica y por ende continua y sobre D, se sigue que |()|tiene un valor
mximo M almenos en un valor de z sobre o en el interior de D. Suponga que la funcin no toma
este valor mximo sobre la frontera de D sino en un punto interior a, es decir, |()| = M. Sea C1
un circulo interior de D con centro en a. Si () no es constante en C1, entonces debe existir un
punto en C1, por ejemplo b tal que |()|< M, pero esto es igual a |()| = M , done > 0.

Por continuidad de |()| en b, se ve q para toda > 0 puede hallarse un > 0 tal que

1
||()| |()|| < 2 Siempre que | | <

Es decir

1 1 1
|()| < |()| + = M - + = M -
2 2 2

Para todos los puntos interiores de una circunferencia C2 con centro en b y radio .
Trazamos un circulo C3 con centro en a y que paso por b. En una parte de este crculo se tiene
1
|()|< M - .
2

Si se toma en sentido contrario a las manecillas del reloj desde OP y , que si r = | |

UNMSM-FIEE 22
 FIEE UNMSM S Funciones analticas

1 1 2
() = 2 0 ( + ) + 2 ( + )

Entonces

1 1 2
() 2 0 |( + )| + 2 |( + )|

1 1 1 2
2 0 ( 2 ) + 2

= (M- ) + (22 )
2 2

M - 4

Es decir |()| = M M - 4
, cosa que es imposible. Debido a esta contradiccin, se
concluye que |()| no

UNMSM-FIEE 23
 FIEE UNMSM S Funciones analticas

6.4 Enuncie y demuestre el teorema fundamental del algebra.

Un polinomio de grado n 1 tiene al menos una raz.

Demostracin
Sea () = =0 2 , 0 0 1. Si no tuviera ninguna raz, la funcin = 1 seria
entera. Probaremos que esto es imposible demostrando que en tal caso sera tambin acotada en C
y no constante, en contradiccin con el Teorema de Liouville.
Para probar que esta acotada, ntese que 0
|1 | |0 |
|()| ||2 (| | )
|| ||
| |
Como 0( = 1, , 1), existe > 1 tal que
|| ||
| | | |
|| > < , = 1, ,
|| 2
Por tanto
| | | |
|| > |()| > || > >0
2 2

Por otra parte, al ser el disco cerrado de centro 0 y radio K compacto, existe M> 0 tal que |()| >
> 0 si || (ntese M> 0, al ser, por hiptesis, () 0) para todo ). Por tanto, hemos
probado que
1 2 1
|()| = < ( , ) , .
|()| | |

Esto contradice el Teorema de Liouville, al ser entera y no constante ( no es constante, ya que

0 y 1).

UNMSM-FIEE 24
 FIEE UNMSM S Funciones analticas

PROBLEMA 7

ez
7.1) Demuestre una cota superior para el mdulo de
C
z 1
dz donde C es la circunferencia

z 8.
Solucin

| ()| , donde f(z) M y L es la longitud de C.
| | = , -8 x 8
| | 8
Adems:
| + 1| ||| |1||
| + 1| 7
1 1

| + 1| 7
Luego:
| | 8
|()| = | |= =
+1 | + 1| 7
C es una circunferencia de radio igual a 8:
L = 2(8)
L = 16

| + |

2
7.2) Sea P( z ) a0 a1 z a2 z 2 ..... an z n , calcule I
z r
z n1 P( z ) dz

Debido al valor absoluto no es una funcin analtica, por ende no se puede aplicar el Teorema de
Cauchy.

=
1 ()()
||=

= 1 (0 + 1 + + )(
0 + )
1 + +
||=

2 2
= 1 (0 + 1 + + ) (
0 +
1 + +
)
||=

= (0 + 1 + + )(

0
1
1 2 2 + +
+ 2 1 )
||=
=

Siendo esta igualdad consecuencia directa de la formula integral de Cauchy.

UNMSM-FIEE 25
 FIEE UNMSM S Funciones analticas

PROBLEMA 8

8.1) Demuestre la frmula de Euler ei cos isen .

Partiendo de las siguientes series de Taylor:

x x2 x3
xn
e 1
x

1!

2!

3!
...
n 0 n !

1 .x 2 n 1
n

x3 x5 x7
senx x
3!

5!

7!
...
n 0 2n 1 !
1 .x 2 n
n

x2 x4 x6
cos x 1
2!

4! 6!
...
n 0 2n !
Ahora, si reemplazamos z.i en vez de x en la primera ecuacin:

Si agrupamos las potencias pares de z por un lado y las potencias impares por otro, entonces:

z.i z 2 z 3 .(i) z 4
(1)n .z 2 n1
(1)n .z 2 n
e 1
z .i
... .i
1! 2! 3! 4! n 0 (2 n 1)! n0 (2n)!
Notamos que asemejan a la segunda y tercera serie, por lo tanto, reemplazando:

eiz isenz cos z

UNMSM-FIEE 26
 FIEE UNMSM S Funciones analticas

8.2) Defina el sistema de los nmeros complejos y todas las operaciones.

SISTEMA DE NMEROS COMPLEJOS
Se dice que z es un nmero complejo si se expresa como z=x+iy o, de manera equivalente,
z=x+yi, donde x R, y R, y R denota el conjunto de los nmeros reales. El smbolo i se
conoces como unidad imaginaria. El conjunto de los nmeros complejos se denota como C, y
z C indica que z pertenece al conjunto de los nmeros complejos.
Por otra parte, un nmero complejo z=x+iy tambin se puede definir como el par ordenado
z=(x, y). Esta definicin equivalente de nmero complejo permite definir a i como el nmero
complejo dado por:
i = (0,1).
Se denota con x=Rez la parte real del nmero complejo z, y con y=Imz la parte imaginaria de
z. Los nmeros complejos de la forma x+i0, se denominan reales puros o, simplemente, reales.
Adems, los nmeros complejos de la forma 0+iy, se denominan imaginarios puros.
Los nmeros reales 0 y 1, tambin se pueden definir como nmeros complejos. El cero de los
nmeros complejos, denotado 0, se define como 0=0+i0. El 1 de los nmeros complejos,
denotado 1, se define por 1=1+i0.

OPERACIONES ALGEBRAICAS:
Seguidamente se definen las operaciones algebraicas de nmeros complejos, a saber:
Suma, resta, multiplicacin y divisin.

Definicin 1 (Suma). La suma de los nmeros complejos z1 x1 iy1 , z2 x2 iy2 se

define como:

z1 z2 ( x1 x2 ) i ( y1 y2 )

Definicin 2 (Resta). La resta de los nmeros complejos z1 x1 iy1 , z2 x2 iy2 se

define como:

z1 z2 ( x1 x2 ) i( y1 y2 )

Definicin 3 (Multiplicacin). La multiplicacin de los nmeros complejos z1 x1 iy1 ,

z2 x2 iy2 se define como:

z1.z2 z1 z2 ( x1.x2 y1. y2 ) i( x1 y2 x2 y1 )

UNMSM-FIEE 27
 FIEE UNMSM S Funciones analticas

Definicin 4 (Divisin). La divisin de los nmeros complejos z1 x1 iy1 ,

z2 x2 iy2 0 se define como:

z1 x .x y . y x y x y
z1 / z2 ( 1 22 1 2 2 ) i ( 1 22 2 2 1 )
z2 x2 y2 x2 y2
Observacin: Las operaciones suma, resta y multiplicacin, son leyes de composicin interna
sobre el conjunto de nmeros complejos, es decir, son operaciones que asocian a cada par de
nmeros complejos otro nmero complejo. La divisin tambin es una ley de composicin
interna sobre el conjunto de los nmeros complejos distintos de cero.
8.3) Defina el argumento de un nmero complejo y propiedades.
ARGUMENTO DE UN NMERO COMPLEJO
De la representacin grfica del nmero complejo z=x+iy como vector, se deriva la
representacin en coordenadas polares (r, ) de z, donde r=|z| y es el argumento de z.
Definicin 6 (Argumento de z). El argumento del nmero complejo z0, denotado por argz,
es cualquiera de los ngulos orientados formados por el vector z e C con la parte positiva del
eje real.
En la siguiente figura mostramos un ejemplo de la representacin en coordenadas polares de
un nmero complejo ubicado en el primer cuadrante.

Coordenadas polares

Observacin:

Los valores de r y = definen de manera nica a z; es decir, para cada par (, ) existe
un nico nmero complejo z que tiene como coordenadas polares a (, ).
El numero complejo z caracteriza de manera nica a r, pero no a = ; esto es, dado un
nmero complejo z, entonces existe un nico r>0 tal que r=|z|, pero existen infinitos valores
de = tales que (, ) son las coordenadas polares de z.

UNMSM-FIEE 28
 FIEE UNMSM S Funciones analticas

Se tiene que = e = As pues,

= ( + )
Es la forma polar de z.

Los valores de = se pueden encontrar empleando la ecuacin:

=

Para obtener una nica representacin en coordenadas polares (, ), el valor de se debe
tomar en una determinacin, es decir, escoger un intervalo de longitud 2, por ejemplo,
[, ), [, ), etc.
Definicin 7 (Argumento principal). El argumento principal de 0 o valor principal de
argz, denotado por Argz, se define como el nico valor de argz al que
<
El argumento principal de un nmero complejo z=x+iy se puede calcular empleando la
ecuacin

= (). Esta ltima ecuacin se utiliza en la siguiente expresin para calcular el
argumento principal de un nmero complejo.

0, > 0, = 0

( ) , > 0, > 0


, = 0, > 0
2

( ) + , < 0, > 0

, < 0, = 0
Argz

( ) , < 0, < 0


, = 0, < 0
2

( ) , > 0, < 0

Como se puede apreciar, la frmula anterior considera la posicin del nmero complejo z en
el plano complejo para calcular el valor de Argz, es decir, dependiendo del cuadrante donde
se encuentre z, el argumento principal se calcula de una forma muy particular.

UNMSM-FIEE 29
 FIEE UNMSM S Funciones analticas

PROBLEMA 9
Indicar dnde () es derivable, hallar () y calcular () para las siguientes funciones:
+
a) () = ()

Se sabe que es analtica si, 0 y ( ) = 2 derivable infinitamente.

( ) sin 0
Buscamos donde ( ) sin = 0

( ) = 0 sin = 0
= =
Luego el dominio D donde () es analtica es:

= { , }

(+1)(())(()) (+1)
() = ()2 sin2

( ) ( ) ( + 1)
=
( )2 sin2
( ) ( + )( + 1)
=
( )2 sin2
( ) ( + 1) ( )()( + 1)
=
( )2 sin2
() ( + 1) + ( + 1)
=
( )2 sin2
2 + () +
=
( )2 sin2
( + 1) ( 2 ) + ( + )
=
( )2 sin2
Luego (1 + 0) =

1( + 1) (12 1)1 + (1 + 11)

=
(1 0)2 sin2 1
1( + 1) + (1 + 11)
=
(1 0)2 sin2 1
1 + (21 1)
=
sin2 1

UNMSM-FIEE 30
 FIEE UNMSM S Funciones analticas

)() = ||

= + || = 2 + 2 =
() = 2 + 2
(, ) = 2 + 2
(, ) = 0
2
= 2 + 2 + = 0
2 + 2

= = 0
2 + 2

Luego no verifica las condiciones de Cauchy- Rieman en ningn punto de C luego no es

derivable en C

UNMSM-FIEE 31
 FIEE UNMSM S Funciones analticas

PROBLEMA 10
10.1 Sea la familia de funciones reales
= ( 2 + 2 ),
1) Encontrar el valor de a para que v(x,y) sea la parte imaginaria de una funcin g(z) analtica
en todo C.

Como v(x , y )es la parte imaginaria de una funcin analtica

Entonces v(x , y) es armnica y satisface la ecuacin de Laplace.

+ = 0
2 (( 2 + 2 ))
2
=

(( 2 + 2 ))
La primera derivada: = 3 2 + 3

2 (( 2 + 2 ))
La segunda derivada: 2
= 6

2 (( 2 + 2 ))
2
=

(( 2 + 2 ))
La primera derivada: = 3 + 3 2

2 (( 2 + 2 ))
La segunda derivada: = 6
2

Reemplazamos en
+ = 0

6 + 6 = 0
= 1

10.2)
4 3 2 2 4
() = + + ( 2 + 2 )
4 2 4

UNMSM-FIEE 32
 FIEE UNMSM S Funciones analticas

():
() = (, ) + (, )

() = 3 3 2 + (3 2 + 3 )

() = 3 2 3 2 + (6)

() = 3( 2 2 + (2))

() = 3( + )2

() = 3 2
=
() = 3 2 = 3

UNMSM-FIEE 33
 FIEE UNMSM S Funciones analticas

PROBLEMA 11
11.-
(, ) = +
)(, ).

(, ):

2 2
+ =0
2 2

1)(, )"x":


= ; (laprimeraderivada)

2
= ; (segundaderivada) (I)
2

2)(, )"y":

= ; (laprimeraderivada)
2
2
= ; (segundaderivada) (II)

()()

2 2
+ =
2 2
2 2
+ = 0()
2 2
(, )

(, )(, )

= ; =


= = (1)

(1)

= (x)

UNMSM-FIEE 34
 FIEE UNMSM S Funciones analticas

= + ()
= + ()(y)

= + () (2)

(2)(3)

= + ()
() = 0

() =

= +

)()(, ) ()

() = ( + ) + (, )

() ()

:

= ()


= ()

(, ) = +

= + 1; =

, ():

= =

= (x)

= + () ()

UNMSM-FIEE 35
 FIEE UNMSM S Funciones analticas

= + ()()

= + ()

():

+ () = + 1

() = 1

() = +

():

= + +

() = ( + ) + ( + + ) ()

() = ( + ) + + +
() = + +
()

(), (, ) = + , (, ) = + +

() = +

() = + 1 + ( )
() = ( + ) + 1

() = + 1
() = + 1

UNMSM-FIEE 36
 FIEE UNMSM S Funciones analticas

PROBLEMA 12
12. (, ) = + ( + )
() Tiene que ser analtica en todo i e entera (funcin entera)
Sea () = (, ) + (, )(0) = 1
Entonces supongamos que es derivable, entonces verifica Cauchy-Riemann

n , =

= ( + )


= + )


= ( + )

= +

= + ( )

= +
(, ) =

Ahora veamos si
=

=


=

Se verifica entonces:
() = + (1 + ( + ))
(0) = Cumple
() Es entera pues posee derivadas parciales continuas (, ) verificando las ecuaciones de
Cauchy-Riemann
()
()

UNMSM-FIEE 37
 FIEE UNMSM S Funciones analticas

PROBLEMA 13
Sea la funcin (, ) = ( ).
a) Demostrar que (, ) es una funcin armnica.
b) Hallar la funcin que sea armnica conjugada de .
c) Obtener "(0) siendo () = +

Resolucin (a):
Derivadas parciales:
(, ) = ( )
() = [( + ) ]
() = ( )
() = ( 2)
() = ( ) + ()
() = ( )
() = ( ) + ()

() = ( 2)
Luego:
() + () = 0
Entonces:
La funcin es armnica en C
Resolucin (b):
(,) = ( )

= = + ()

Derivando u respecto a x:

=
= cosx
En v:

V=( cosx) +()

Integrando:
V=( ) ( ) ( )+()

= ( ) ( ) ( ) + ()

UNMSM-FIEE 38
 FIEE UNMSM S Funciones analticas

Como vemos:
=

( ) ( ) ( ) + ()
= +
Despejando para hallar ():

() = 2( )
Integrando:
(x)=2 + 2
Tenemos:
(,) = ( ) ( ) ( )+ 2 + 2

Y la funcin:
() = ( ) + [(( ) ( ) ( )]
Es holomorfa en C.
Entonces: = + +

Resolucin (c):
Obtener (0)
Siendo () = +
() = (, ) + (, )
Reemplazando ():

() = ( ) + ( + + )
Reduciendo:() = cos ( + ) ( + ) +
Tambin: = +
() = cos () () +
= ( cos ) +

() = ( ) +

Derivando:

() = ( + 2)

Evaluando () = 0:
(0) = 2

UNMSM-FIEE 39
 FIEE UNMSM S Funciones analticas

PROBLEMA 14

Solucin
a. Para que sea armnica:
2 2
+ =0
2 2
Se tiene

2
2
2 2
( cos(2)) 2 2 2 2
= 2 ( ) (2) 2 ( ) (2)

Ahora
2 2 ) 2 2 )
(2 ( (2) 2 ( (2))

2 2 2 2 2 2 2
2
= 4 ( ) 2 (2) + 2 ( ) (2) 8 ( ) (2)

2 2
4 ( ) 2 (2)
Se tiene
2 2 2 2
= 2 ( ) (2) 2 ( ) (2)

2 2 ) 2 2 )
(2 ( (2) 2 ( (2))

2 2 2 2 2 2 2
2
= 8 ( ) (2) + 4 ( ) 2 (2) 2 ( ) (2)

2 2
4 ( ) 2 (2)
Para que sea armnica
2 2
+ =0
2 2
2 2 ) 2 2 2 2 2 2
4 ( 2 (2) + 2 ( ) (2) 8 ( ) (2) 4 ( ) 2 (2)
2 2 2 2 2 2
+ 8 ( ) (2) + 4 ( ) 2 (2) 2 ( ) (2)
2 2
4 ( ) 2 (2) = 0
0=0

UNMSM-FIEE 40
 FIEE UNMSM S Funciones analticas

Entonces esa funcin si es armnica

b. Conjugada de
(; ) (; )

= =

2 2 ) 2 2 )
[2 ( (2) 2 ( (2)] =
2 2
= ( ) (2) +
2 2 2 2
= 2 ( ) (2) 2 ( ) (2) + ()

Pero nosotros sabemos que

2 2 2 2
= (2 ( ) (2) 2 ( ) (2)

Entonces

2 2 ) 2 2 )
2 ( (2) + 2 ( (2)
2 2 2 2
= 2 ( ) (2) 2 ( ) (2) + ()
() = 0 =

2 2 )
= ( (2) +
2 2
= ( ) (2)
Por lo tanto
() = (; ) + (; )

UNMSM-FIEE 41
 FIEE UNMSM S Funciones analticas

PROBLEMA 15
Estudiar la analiticidad de la siguiente funcin.

() = (, ) + (, ) =

RESOLUCIN:
Para eso, tenemos que verificar si son continuas:

, , ,

Entonces resolviendo queda
1

= sen Es continua para 0 0 2

1

= cos Es continua para 0 0 2

1
= cos Es continua para 0 0 2
2

1
= sen Es continua para 0 0 2
2

Y se debe cumplir

1 1

=
=

Para comprobar si es analtica.

Comprobando:
1
=

1 1 1
( sen ) = ( 2 sen )

1 1
sen = 2 sen
2

UNMSM-FIEE 42
 FIEE UNMSM S Funciones analticas

1
S cumple, entonces pasamos a verificar =

1
=

1 1 1
2
cos = ( cos )

1 1
cos = cos
2 2
S cumple
Entonces concluimos que s es analtica.
Cauchy-Riemann en coordenadas polares
1
() = +

1 1 1
() = ( sen ) + ( 2 cos )

1 1
() = 2
sen 2 cos

UNMSM-FIEE 43
 FIEE UNMSM S Funciones analticas

PROBLEMA 16
Analizar si existe su derivada

() = | + | = | + ( + 1)| = 2 + ( + 1)2

(,) = 2 + ( + 1)2

(,) = 0

Supongamos que es derivable entonces cumple la hiptesis del teorema de Cauchy - Rieman :
Luego segn las ecuaciones de Cauchy-Rieman:

= 1


= 2
{ }
Para la ecuacin (1)

2 + ( + 1)2 (,) 2
= = 0 =0
2 2 + ( + 1)2

Entonces = 0; 1
Para la ecuacin (2)

2 + ( + 1)2 (,) 2( + 1)
= = 0 =0
2 2 + ( + 1)2

Entonces = 1; 0
Por lo tanto no es derivable . Por lo tanto no es analtica

UNMSM-FIEE 44
 FIEE UNMSM S Funciones analticas

PROBLEMA 17
Estudiar la analiticidad de la siguiente funcin:

() =

Sea = + =

Entonces remplazando en ()

() = = = (cos sin ) = cos sin

Entonces sea: (,) = cos ;(,) = sin

Realizamos la derivada parcial:

(,) (,)
= cos ; = sin

(,) (,)
= sin ; = cos

Luego segn las ecuaciones de Cauchy-Rieman:

= (1)


= (2)
{ }
Entonces como vemos:
Para la ecuacin (1):
(,) (,)
= cos = cos

Para la ecuacin (2):
(,) (,)
= sin = sin

No verifica la hiptesis del teorema de Cauchy-Rieman.
Por lo tanto no es analtica .

UNMSM-FIEE 45
 FIEE UNMSM S Funciones analticas

Ahora veamos donde () = es derivable, para ello vemos cuando
= y =

Entonces
cos = cos
2 cos = 0
(2 1)
cos = 0 = ;
2

Adems observamos que ; ; ; son continuas en (x,y)

(21) (21)
Donde 0 = + = + 0 =
2 2

(2 1) (2 1)
cos( ) sin( )
2 2
Entonces se obtiene dos soluciones:

0 = ( (1)) ( (1)) =

Luego () es derivable en

(2 1)
= { = ; + }
2

UNMSM-FIEE 46
 FIEE UNMSM S Funciones analticas

IX. BIBLIOGRAFIA

Variable Compleja Notas -W. La Cruz

Variable compleja y aplicaciones Churchill
Variable compleja - Derrick
Matemticas avanzadas para ingeniera Glyn James

X. ENLACES

Teorema de Liouville (demostracin)

https://www.youtube.com/watch?v=yfMv9eqYOuk
Morera's Theorem, Proof
https://www.youtube.com/watch?v=EYbNYe-vVpc
Teorema fundamental del lgebra
https://www.youtube.com/watch?v=TZijiBt7yeI
Variable compleja - Teorema de los residuos 1
https://www.youtube.com/watch?v=f27SubgixMQ

UNMSM-FIEE 47
 FIEE UNMSM S Funciones analticas

UNMSM-FIEE 48