UNIVERSIDAD NACIONAL PEDRO RUIZ GALLO FACULTAD DE CIENCIAS FISICAS Y MATEMATICAS ESCUELA PROFESIONAL DE MATEMATICA

Funciones de variable compleja

Curso:

Clculo Avanzado I

Docente:

Amado Malca Villalobos

Alumnos:

Arbul Baquedano, Laura

Mendoza del Castillo, Junior

Snchez Goycochea, Nestor

Lambayeque - 2010

En este ejercicio trabajaremos con el conjunto de nmeros complejos

C = {x +

iy/x, y R, i2 = 1}.

Recordemos primeramente algunos hechos bsicos sobre este

conjunto. Dado el nmero complejo es su parte imaginaria. Se escribe

z = x + iy ,

decimos que

es su parte real y que

x = Re(z ), y = Im(z ).

Dos nmeros complejos

z1 y

z2

se dicen ser iguales, los cual se escribe como

z1 = z2 , si tiene la misma parte real y la z = x + iy , denotado

misma parte imaginaria. Se dene el mdulo del nmero complejo por

|z |como |z | = z,

x2 + y 2 .

Dado el complejo

z = x + iy , C

se dene su conjugado,

denotado por

como

z = x iy .

En el Conjunto

se introducen las operaciones entonces

de suma y producto de la siguiente manera: si

z1 = x1 + iy1 , z2 = x2 + iy2 ,

z1 + z2 = (x1 + x2 ) + i(y1 + y2 ), z1 z2 = (x1 x2 y1 y2 ) + i(x1 y2 + x2 y1 ).

que

Se demuestra

con estas operaciones forma un campo. Esto se comprobar en el primer inciso

de este ejercicio, en el cual, adems, se recuerdan algunos resultados elementales sobre el manejo algebraico con nmeros complejos.
a.

Sean

z, z1 , z2 , z3 nmeros z C, z = 0

complejos y a,b,c nmeros reales. tiene un inverso multiplicativo

En el inciso a8 se tal que

probar que todo

z 1 ,

zz 1 = 1.
z1 z2

Dena el cociente del complejo como

z1 entre el complejo z2 (no nulo), denotado por

z1 /z2

1 z1 z2 .

Demuestre que:

a1.

z1 + z2 = z2 + z1

Sean:

z1 = x1 + iy1 z2 = x2 + iy2

z1 + z2 = (x1 + x2 ) + i(y1 + y2 ) = (x2 + x1 ) + i(y2 + y1 ) z1 + z2 = z2 + z1

a2.

Por denicin de suma en

C R

Por axioma conmutativo de suma en Por denicin de suma en

z1 + (z2 + z3 ) = (z1 + z2 ) + z3

Sean:

z1 = x1 + iy1
2

z2 = x2 + iy2 z3 = x3 + iy3

z1 + (z2 + z3 ) = (x1 + iy1 ) + ((x2 + x3 ) + i(y2 + y3 )) = (x1 + (x2 + x3 )) + i(y1 + (y2 + y3 )) = ((x1 + x2 ) + x3 ) + i((y1 + y2 ) + y3 ) = ((x1 + x2 ) + i(y1 + y2 )) + (x3 + iy3 ) z1 + (z2 + z3 ) = (z1 + z2 ) + z3
a3.

Por denicin de suma en C Por denicin de suma en C Por axioma asociativo de suma en R Por denicin de suma en C Por denicin de suma en C

z + 0 = 0,

en donde

0 = 0 + i0

Sean:

z = x + iy 0 = 0 + i0

z1 + 0 = (x + iy ) + (0 + i0) = (x + 0) + i(y + 0) = x + iy z+0=z

a4.Dado

Por denicin de suma en

C R

Por axioma del elemento identidad de suma en

z C,

existe

z C

tal que

z + ( z ) = 0

Sean:

z = x + iy z = (x + iy ) = (1)(x, y ) = (x, y ) = x iy 0 = 0 + i0

z + (z ) = (x + iy ) + (x iy ) = (x + (x)) + i(y + (y )) = 0 + i0 z + (z ) = 0
Por denicin de suma en

C R

Por axioma del inverso aditivo en

a5.

z1 z2 = z2 z1

Sean:

z1 = x1 + iy1 z2 = x2 + iy2

z1 + z2 = (x1 x2 y1 y2 ) + i(x1 y2 + x2 y1 ) = (x2 x1 y2 y1 ) + i(y2 x1 + y1 x2 ) z1 z2 = z2 z1

a6.

Por denicin de producto en C Por axioma conmutativo del producto en R Por denicin de producto en C

z1 (z2 z3 ) = (z1 z2 )z3

Sean:

z1 = x1 + iy1 z2 = x2 + iy2 z3 = x3 + iy3

Por denicin de
z1 (z2 z3 ) = (x1 + iy1 )((x2 x3 y2 y3 ) + i(x2 y3 + x3 y2 ))

producto en C Por denicin de producto en C Por axioma distributivo en R Por axioma conmutativo de la suma en R Por axioma asociativo de la suma en R Por axioma conmutativo de la suma en R Por axioma asociativo de la suma en R Por axioma distributivo en R Por denicin de

= (x1 (x2 x3 y2 y3 ) y1 (x2 y3 + x3 y2 )) + i(x1 (x2 y3 + x3 y2 ) + (x2 x3 y2 y3 )y1 ) = ((x1 x2 x3 x1 y2 y3 ) (y1 x2 y3 + y1 x3 y2 )) + i((x1 x2 y3 + x1 x3 y2 ) + (x2 x3 y1 y2 y3 y1 )) = ((x1 x2 x3 x1 y2 y3 ) (y1 x3 y2 + y1 x2 y3 )) + i((x1 x2 y3 + x1 x3 y2 ) + (y2 y3 y1 + x2 x3 y1 )) = (x1 x2 x3 + (x1 y2 y3 y1 x3 y2 ) y1 x2 y3 ) + i(x1 x2 y3 + (x1 x3 y2 y2 y3 y1 ) + x2 x3 y1 ) = (x1 x2 x3 + (y1 x3 y2 x1 y2 y3 ) y1 x2 y3 ) + i(x1 x2 y3 + (y2 y3 y1 + x1 x3 y2 ) + x2 x3 y1 ) = ((x1 x2 x3 y1 x3 y2 ) + (x1 y2 y3 y1 x2 y3 ) + i((x1 x2 y3 y2 y3 y1 ) + (x1 x3 y2 + x2 x3 y1 )) = ((x1 x2 y1 y2 )x3 (x1 y2 + y1 x2 )y3 + i((x1 x2 y2 y1 )y3 + (x1 y2 + x2 y1 )x3 )

= (z1 z2 )z3

producto en C

a7.

1z = z ,

en donde

1 = 1 + i0

Sea:

z = x + iy

1z = (1 + i0)(x + iy ) = (1x 0y ) + i(1y + 0x) = (x 0y ) + i(y + 0x) = (x 0) + i(y + 0) = x1 + iy1 1z = z

a8.Dado

Por denicin de suma en

C R R R

Por axioma del inverso aditivo en

Por Teorema del elemento absorbente en

Por axioma del elemento identidad de suma en

z C, z = 0,

existe

z 1 C

tal que

z 1 z = 1

Sean:

z = x + iy z 1 = x1 + iy1
Tenemos por denicin:

(x + iy )(x1 + iy1 ) = 1 (x1 x y1 y ) + i(x1 y + xy1 ) = 1 + i0

Por denicin de igualdad en

se tienen las ecuaciones

x1 x y1 y = 1

(1)

x1 y + xy1 = 0
De (1):

(2)

x1 x = 1 + y 1 y
Si multiplicamos (2) por

(3)

x1 yx + x2 y1 = 0
Reemplazando (1) en esta ecuacin:

(1 + y1 y )y + x2 y1 = 0

y1 y 2 + y + x2 y1 = 0

y1 =
Reemplazando esta expresin en (3):

y x2 + y 2

x1 x = 1 +

x2

y + y2

x1 x = 1

y2 x2 + y 2

x1 x =

x2 x2 + y 2

x1 =
Como por condicin, igual a

x2

x + y2
tenemos que

z = 0

es decir

x2 + y 2 = 0 ,

z 1

existe y es

z 1 =

x2

x y i 2 2 +y x + y2

z 1 =

x2

x y , 2 2 + y x + y2

a9.

z (z1 + z2 ) = zz1 + zz2

7

Sean:

z = x + iy z1 = x1 + iy1 z2 = x2 + iy2

z (z1 + z2 ) = (x + iy )((x1 + x2 ) + i(y1 + y2 )

Por denicin de suma en C

= (x(x1 + x2 ) y (y1 + y2 )) + i(x(y1 + y2 ) + (x1 + x2 )y )

Por denicin de producto en C

= ((xx1 + xx2 ) (yy1 + yy2 )) + i((xy1 + xy2 ) + (x1 y + x2 y ))

Por axioma distributivo en R

= ((xx1 yy1 ) + (xx2 yy2 )) + i((xy1 + x1 y ) + (xy2 + x2 y ))

Por axioma asociativo en R

= ((xx1 yy1 ) + i(xy1 + x1 y )) + ((xx2 yy2 ) + i(xy2 + x2 y ))

Por asociativadad de la suma en C (a3)

= zz1 + zz2

a10.

|z | = |z |

Sean

z = x + iy z = x iy |z | =
Pero

x2 + y 2 y 2 = (y )2 x2 + (y )2 = |z |

|z | =

a11.

zz = |z |2

zz = (x + iy )(x iy ) = (xx y (y )) + i(xy + xy )

= x2 + y 2 + i(0) = x2 + y 2
2

= = |z |2

x2 + y 2

a12.

|zz | = |z | |z |

De inciso a11 se sabe que:

zz = |z |2 = (x2 + y 2 ) + i(0)
Por tanto:

|zz | =

(x2 + y 2 )2 + 02

|zz | = x2 + y 2 |zz | = |zz | = x2 + y 2 x2 + y 2 x2 + y 2 x2 + ( y ) 2

|zz | = |z | |z |

a13.

|z1 /z2 | = |z1 | / |z2 |

Sean:

z1 = x1 + iy1 z2 = x2 + iy2

Por denicin de cociente en

C:

1 z1 /z2 = z1 z2

z1 /z2 = (x1 , y1 )

x2 2

x2 y2 , 2 2 2 + y2 x2 + y2

x1 x2 + y1 y2 y1 x2 y2 x1 , 2 2 x2 x2 2 + y2 2 + y2 x1 x2 + y1 y2 2 x2 2 + y2 +i y1 x2 y2 x1 2 x2 2 + y2
9

z1 /z2 =

|z1 /z2 | =

x1 x2 + y1 y2 2 x2 2 + y2

y1 x2 y2 x1 2 x2 2 + y2
2

|z1 /z2 | =

2 2 2 2 2 2 2 x2 1 x2 + 2x1 x2 y1 y2 + y1 y2 + y1 x2 2x1 x2 y1 y2 + y2 x1 2 (x2 2 + y2 ) 2 2 2 2 2 2 2 x2 1 x2 + y1 y2 + y1 x2 + y2 x1 2 (x2 2 + y2 ) 2

|z1 /z2 | =

|z1 /z2 | =

2 2 2 2 2 x2 1 (x2 + y2 ) + y1 (x2 + y2 ) 2 (x2 2 + y2 ) 2

|z1 /z2 | =

2 2 2 (x2 1 + y1 ) (x2 + y2 ) 2 (x2 2 + y2 ) 2 (x2 1 + y1 ) 2 (x2 2 + y2 ) 2 x2 1 + y1 2 x2 2 + y2 2

|z1 /z2 | =

|z1 /z2 | =

|z1 /z2 | =

|z1 | |z2 |

a14.

|z1 + z2 | |z1 | + |z2 |

Sean:

z1 = x1 + iy1 z2 = x2 + iy2

Primero probaremos la propiedad

z1 z2 + z1 z2 = 2Re(z1 z2 )

z1 z2 + z1 z2 = (x1 + iy1 )(x1 iy2 ) + (x1 iy1 )(x1 + iy2 ) = (x1 x2 + y1 y2 ) + i(x1 y2 + x2 y1 ) + (x1 x2 + y1 y2 ) + i(x1 y2 x2 y1 ) = 2(x1 x2 + y1 y2 ) + i(x1 y2 + x2 y1 + x1 y2 x2 y1 ) = 2(x1 x2 + y1 y2 )

z1 z2 + z1 z2 = 2Re(z1 z2 )
10

(4)

Ahora procedemos a demostrar la desigualdad triangular: Sabemos que

|z |2 = zz

entonces:

|z1 + z2 |2 = (z1 + z2 )(z1 + z2 ) = (z1 + z2 )(z1 + z2 ) = z1 z1 + z1 z2 + z2 z1 + z2 z2 = |z1 |2 + z1 z2 + z1 z2 + |z2 |2

Aplicando (4):

= |z1 |2 + 2Re(z1 z2 ) + |z2 |2 |z1 |2 + 2 |z1 | |z2 | + |z2 |2 |z1 |2 + 2 |z1 | |z2 | + |z2 |2 (|z1 | + |z2 |)2 |z1 + z2 |2 (|z1 | + |z2 |)2 |z1 + z2 | |z1 | + |z2 |

b.

Identique el nmero complejo

z = x + iy ,

como el punto del plano

R2 cuyas

coordenadas son (x,y).

Pensando en esta identicacin es que hablamos del plano

complejo. Describa los siguientes conjuntos de puntos en el plano complejo:

b1.

{z C | Re(z ) = 0}

Sea:

z = x + iy Re(z ) = 0 x = 0
Que es el eje y

11

b2.

{z C | Im(z ) = 1}

Sea:

z = x + iy Im(z ) = 1 y = 1
Que una recta horizontal que pase por y = 1

12

b3.

{z C | Re(z ) > 0}

Sea:

z = x + iy Re(z ) > 0 x > 0

Que es el semiplano superior

b4.

{z C | Im(z ) < Re(z )}

Sea:

z = x + iy Im(z ) < Re(z ) y < x

Es la regin a la derecha de la recta

y=x

13

b5.

{z C | |z | = 1}

Sea:

z = x + iy |z | = 1 x2 + y 2 = 1
Que es la circunferencia con centro en el origen y radio 1

14

b6.

{z C | |z | 1}

Sea:

z = x + iy |z | 1 x2 + y 2 1
Que es la circunferencia con centro en el origen y radio 1 unida con la regin interior a ella

b7.

{z C | |z | 1}

Sea:

z = x + iy |z | 1 x2 + y 2 1
Que es la circunferencia con centro en el origen y radio 1 unida con la regin exterior a ella

15

c. Sea

z0

un nmero complejo dado. Dena la bola abierta con centro en

z0

y radio

r > 0,

denotada por

B (z0 , r)

como el conjunto

{z C | |z z0 | < r}.

Identique

geomtricamente este conjunto en el plano complejo: Sean:

z = x + iy z0 = x0 + iy0 |z z0 | < r (x x0 )2 + (y y0 )2 < r

|z z0 | < r (x x0 )2 + (y y0 )2 < r2
Es decir la bola abierta

B (z0 , r)

corresponde geomtricamente a la regin interior

a una circunferencia (sin considerar la circunferencia misma) con centro en radio

(x0 , y0 )

r U
de

d. Un subconjunto

se dice ser abierto, si para cada

zU

existe una bola

B (z, r)
abiertos
d1.

tal que

B (z, r) U .

De los conjuntos dado en el inciso b, diga cules son

U = {z C | Re(z ) = 0}

No es abierto porque ninguna bola abierta que tomemos estar incluida al conjunto

16

d2.

U = {z C | Im(z ) = 1}

No es abierto porque ninguna bola abierta que tomemos estar incluida al conjunto U

d3.

U = {z C | Re(z ) > 0}
17

S es abierto porque cualquier bola abierta que tomemos (por ms cerca que se encuentre del eje x) s estar incluida al conjunto U

d4.

U = {z C | Im(z ) < Re(z )}

S es abierto porque cualquier bola abierta que tomemos (por ms cerca que se encuentre de la recta y = x) s estar incluida al conjunto U

18

d5.

U = {z C | |z | = 1}

No es abierto porque ninguna bola abierta que tomemos estar incluida al conjunto U

d6.

U = {z C | |z | 1} x2 + y 2 +1

No es abierto porque ninguna bola abierta que tomemos sobre la frontera estar incluida al conjunto U

19

d7.

U = {z C | |z | 1} x2 + y 2 +1

No es abierto porque ninguna bola abierta que tomemos sobre la frontera estar incluida al conjunto U

e.

Una funcin del tipo

f : U C C,

que a cada nmero complejo z de

su dominio

U C

le asocia un nmero complejo

f (z ) C

bien determinado, se

dice ser una funcin (compleja) de (una) variable compleja. funciones reales

Demuestre que existen Si consideramos el

u, v : U C R,

tales que

f (z ) = u(z ) + iv (z ). R2 ,

dominio de estas funciones como parte del plano

podemos decir que las funciones Ntese entonces que

u, v : U R2 R u
y

son tales que

f (x + iy ) = u(x, y ) + iv (x, y ).

son del tipo de funciones que hemos estudiado en este captulo. A

se le llama

parte real de y

f,

y a

se le llama la parte imaginaria de

f.

Identique las funciones

para cada una de las funciones de variable compleja dadas a continuacin:

e1.

f (z ) = z

Sea:

z = x + iy f (x + iy ) = x + iy

20

Entonces:

u(x, y ) = x v (x, y ) = y

e2.

f (z ) = z 2

Sea:

z = x + iy f (x + iy ) = (x + iy )2 = (x2 y 2 ) + i(2xy )
Entonces:

u(x, y ) = x2 y 2 v (x, y ) = 2xy

e3.

1 f (z ) = , z = 0 z

Sea:

z = x + iy f (x + iy ) = (x + iy )1 =
Entonces:

x2

x y i 2 2 +y x + y2

x + y2 y v (x, y ) = 2 x + y2 u(x, y ) = x2

e4.

f (z ) = (3z + 2)2

Sea:

z = x + iy f (x + iy ) = (3(x + iy ) + 2)2 = ((3x + 2) + iy )2 = ((3x + 2)2 y 2 ) + i(2(3x + 2)y ) f (x + iy ) = (9x2 + 12x + 4 y 2 ) + i(6xy + 4y )
Entonces:

u(x, y ) = 9x2 + 12x + 4 y 2

21

v (x, y ) = 6xy + 4y

e5.

f (z ) = z

Sea:

z = x + iy f (x + iy ) = x iy
Entonces:

u(x, y ) = x v (x, y ) = y

e6.

f (z ) = |z |

Sea:

z = x + iy f (x + iy ) =
Entonces:

x2 + y 2 = ( x2 + y 2 ) + i0

u(x, y ) = v (x, y ) = 0

x2 + y 2

f.

Sea

f : U C C, f = u + iv , z0

una funcin denida en el conjunto abierto

U de

C.

Sea

un punto de U. Se dice que el lmite de

f,

cuando

tiende a

z0 ,

es tal

L( C),
que si

lo cual se escribe como entonces

limzz0 f (z ) = L, |f (z ) L| <

si dado

> 0,

existe

> 0,

0 < |z z0 | < ,

. Demuestre que si

f es

una funcin entonces

polinomial, es decir, es una funcin del tipo

f (z ) = an z n + ... + a1 z + a0 ,

limzz0 f (z ) = f (z0 ).

Ms an, demuestre que este resultado es cierto para funciones

racionales, es decir, funciones que son cociente de dos funciones polinomiales, con en el dominio de la funcin. Calcule:

z0

f1.

limz(1+i) z 2
22

z (1+i)

lim z 2 = (1 + i)2 = 2i

f2.

limz1

z2 + 3 z 2i z2 + 3 4 4(1 + 2i) 4 8 = = = + i z 1 z 2i 1 2i 5 5 5 lim

f3.

limz(1+i)

z 3 3z + 2 z 2 + 4i

(1 + i)(2i 3) + 2 z 3 3z + 2 z (z 2 3) + 2 = lim = z (1+i) z (1+i) z 2 + 4i z 2 + 4i 6i lim

z 3 3z + 2 3 i (3 + i)i 1 1 = = = + i 2 z (1+i) z + 4i 6i 6 6 2 lim

23