Transformaciones e integracin

I-


1

TRANSFORMACIN(O MAPEO) CONFORME


Definicin:

Una funcin w = f(z) analtica y no constante transforma un dominio D del plano z en otro
dominio f(D) del plano w. En los puntos en los que f (z) 0 una aplicacin de este tipo
posee una importante propiedad de ser conforme, lo que significa que si dos curvas
cualesquiera se cortan en un punto de D, sus imgenes en f(D) se cortan formando el mismo
ngulo que aquellas.
En cada punto z de un dominio donde f es analtica y f (z) 0 la transformacin
w = f(z) es conforme.

C
1
*
C
1

C
2
*
C
2






Fig.1: Curvas C
1
y C
2
Fig.2: Imgenes de las curvas C
1
*
, C
2
*
,
respectivamente bajo un mapeo conforme.


Transformacin lineal

Forma general: w = Az + B; A y B constantes complejas.

a) w = z + B

+ =
+ =
+ + + = +
2
1
2 1
B y v
B x u
jB B jy x jv u
Representa una traslacin, sin la modificacin de la forma, ni orientacin, ni tamao de la
figura.

b) w = Az

+ =
=
=

r . R
re . Re e
j j j

Representa una rotacin segn y una magnificacin (contraccin o dilatacin) de la
figura segn: ( ). n contracci hay 1 A si ; dilatacin hay 1 A Si R A < > =

c) w = Az + B Representa una combinacin de rotacin con magnificacin y traslacin.

Ejemplo:
Si se quisiera encontrar la imagen de la siguiente regin: 2 y 0 ; 1 x 0 , mediante
w = (1+j)z + (2-j) se arribara a las siguientes conclusiones:


Transformaciones e integracin
I-


2

Traslacin segn (2-j)
Rotacin segn arg(1+j) =
4

Magnificacin segn: dilatacin 1 2 ; 2 j 1 > = +

Transformacin potencial

Forma general: w = z
n
(n > 1)

=
=
=

n
r
e . r e
n
jn n j

Ejemplos:
1) w = z
2
para x 0 y ; 0 . Con estas condiciones resulta:
2
0

, segn las
coordenadas de transformacin resulta:
)
`

=
=
0
2
r
2
. Es decir, el primer
cuadrante del plano z se transforma en el semiplano superior del plano w.


2) Transformar la recta y = 2 mediante: w = z
2
,

=
=
= + = + = +
xy 2 v
y x u
jxy 2 y x ) jy x ( jv u
2 2
2 2 2

Como y = 2 4 x u
2
= ; v = 4x. De aqu:
4
v
x = , entonces: 4
16
v
u
2
= , por lo
Tanto: v
2
= 16(u+4). (Ecuacin de la parbola: (v-h)
2
= 4p(u-k)).


Transformacin inversa

Forma general:
w
1
z o
z
1
w = = . Excepto z = 0, w = 0(los que no tiene imagen) se
establece una correspondencia uno a uno.

En polares:

=
=
=

r
1
re
1
e
j
j

Existe una simetra respecto al eje real y adems una inversin respecto de la circunferencia
de radio r = 1, o sea:
Si r > 1 < 1 ; si r < 1 > 1.

En cartesianas:
z
1
w =


Transformaciones e integracin
I-


3

=
+
=
=

+
= +
2 2
2 2
y x
y
v
y x
x
u
jy x
jy x
.
jy x
1
jv u
En consecuencia se puede escribir:
2 2 2 2
v u
v
y ;
v u
u
x
+

=
+
=

Estudiemos la transformacin inversa de una familia de circunferencias y rectas

Si (a,b,c,d) R, la ecuacin de una familia de circunferencias y rectas (dependiendo de a 0
o a = 0) es :
a(x
2
+y
2
) + bx + cy + d = 0 en el plano z, entonces en el plano w es:
( )
( )
0 d
v u
v c
v u
bu
v u
v u
a
2 2 2 2 2
2 2
2 2
= +
+

+
+
+
|
|

\
|
+
+


De donde: a + bu cv + d (u
2
+v
2
) = 0 d (u
2
+v
2
) + bu cv +a = 0

A partir del anlisis precedente se pueden hacer las siguientes consideraciones:

Casos Plano z Plano w
a0 , d0 a(x
2
+y
2
) + bx + cy + d = 0 d (u
2
+v
2
) + bu cv +a = 0

a0 , d=0 a(x
2
+y
2
) + bx + cy = 0 bu cv +a = 0

a=0 , d0 bx + cy + d = 0 d (u
2
+v
2
) + bu cv = 0

a=0 , d=0 bx + cy + d = 0 bu cv = 0

a=0 , b=0 cy + d = 0 d (u
2
+v
2
) cv = 0

a=0 , c=0 bx + d = 0 d (u
2
+v
2
) + bu =0

Observacin:

Si se consideran las rectas como circunferencias de radio infinito, se puede decir que
esta transformacin transforma circunferencias en circunferencias.

Ejemplos:

1) Transformar x
2
+y
2
- 4x + 2y = 0 mediante la transformacin inversa.
Respuesta: v = -2u +
2
1
.

2) Hallar analtica y grficamente mediante la transformacin inversa, la imagen de la


Transformaciones e integracin
I-


4
regin rayada:

z)

j


j/2



Respuesta: ( )

\
|

\
|
+ +
+ +

2 2
2
2 2
2
1
2
1
v u
1 1 v u
0 u


El punto del infinito

Notacin: z = (Indica que es la imagen de w = 0 bajo la transformacin w =
z
1
)
Analticamente se considera
z
1
z = pues si z, entonces z 0. Utilizando esta
sustitucin se simplifica la tarea en el clculo de lmites.
El punto del infinito recibe el nombre de punto impropio llamado .
El plano complejo ms el punto infinito, recibe el nombre de plano complejo extendido, sin
ese punto se llama plano complejo finito.

Ejemplo:
Transformar el punto z = mediante:
( )
2
2
z 1
z 4
w

= . Respuesta: w = 4


Transformacin bilineal (o lineal fraccionaria u homogrfica)

Forma general: complejas) constantes : d c, b, a, 0, bc - ad
d cz
b az
w ( ,
+
+
=

Las transformaciones de este tipo transforman circunferencias y rectas en circunferencias y
rectas.
* Cuando c 0 , la forma general se puede escribir:
d cz
1
.
c
ad bc
c
a
d cz
c
ad
b
c
a
w
+

+ =
+

+ =

Haciendo: z = cz+d y
z
1
z

= (A), resulta: z .
c
ad bc
c
a
w

+ = (B)


Transformaciones e integracin
I-


5

Las ecuaciones (A) y (B) representan tres transformaciones sucesivas en que se descompone
la transformacin bilineal.
La primera y la tercera son de tipo lineal y la segunda es inversa.
* Cuando c = 0
d
b
z .
d
a
d
b az
w + =
+
= , y resulta del tipo lineal.

La forma general de esta transformacin se puede expresar:
czw +dw =az+b Azw + Bw + Cz +D = 0 ecuacin lineal en z y w , de all que es bilineal.

Hay slo una transformacin bilineal que transforma tres puntos distintos dados:
z
1
, z
2,
z
3 ,
en tres puntos distintos dados w
1
, w
2
, w
3
, respectivamente.

Dicha transformacin viene dada por la frmula:

( )( )
( )( )
( )( )
( )( )
1 2 3
3 2 1
1 2 3
3 2 1
z z z z
z z z z
w w w w
w w w w


=


la que puede escribirse:

( )( )
3 2 1
w w w w ( )
3
z z ( )
1 2
z z = ( )( )
1 2 3
w w w w ( )( )
3 2 1
z z z z

* Si z = z
1
entonces el segundo miembro es 0 y w = w
1
* Si z = z
3
entonces el primer miembro es 0 y w = w
3
* Si z = z
2
entonces ( )( )
3 2 1
w w w w = ( )( )
1 2 3
w w w w , de donde:
w (w
1
-w
3
) = w
2
(w
1
-w
3
) , por lo tanto: w = w
2

Tambin se puede trabajar con el punto del infinito mediante sustituciones adecuadas con el
paso al lmite.

Un punto doble (o fijo) es aquel cuya imagen w representa el mismo nmero.
w = z tiene como mximo dos puntos dobles representados por las races en z, obtenidas en
la ecuacin :
d cz
b az
w
+
+
= haciendo z = w
Ejemplos:

1) Encontrar la transformacin que mapea: z
1
= 1, z
2
= 0
,
z
3
= -1 en los puntos

w
1
= j,
w
2
= 1, w
3
= . Respuesta:
) 1 z (
) 1 j 2 ( z 1
w
+
+
=

2) Mediante
) j z (
) j z (
w
+

= , transformar x>0, y>0. Respuesta:

< +
<
1 v u
0 v
2 2



3) Hallar la transformacin bilineal del crculo z <5 en el crculo w <1, de tal modo que
los puntos z
1
= -5, z
2
= 4+3j
,
z
3
= 5 se transformen en los puntos w
1
= -1, w
2
= j, w
3
=1.
Respuesta:
z 10
5 z 2
w

=


Transformaciones e integracin
I-


6
Transformacin exponencial

Forma general: w = e
z
Hallamos las coordenadas de transformacin :

=
=
= =
+
y
e
e . e e e
x
jy e jy x j

En particular las rectas x = C e y = C se transforman respectivamente en circunferencias
C
e = y rayos C =
Si consideramos la regin rectangular:

4 3
2 1
c y c
c x c
se transformar en:

4 3
c c
c c
e e
2 1


Ejemplos:
1) Transformar la regin 1 x 2; 0 y mediante w = e
z
. Respuesta:

0
e e
2

2) En qu se transforma la banda semiinfinita x 0; 0 y , utilizando la
transformacin exponencial ?
Respuesta:

<
0
1 0


Por qu no puede tomar el valor 0?


INTEGRACIN EN EL PLANO COMPLEJO

Algunas consideraciones previas para recordar:

*Teorema de Green en el plano (integrales curvilneas reales)
Sean P(x,y) y Q(x,y) y sus primeras derivadas parciales funciones continuas en toda una
regin cerrada R, constituida por todos los puntos interiores a un contorno cerrado C, junto
con el contorno mismo, entonces: ( )
|
|

\
|

= +
R C
dxdy
y
P
x
Q
Qdy Pdx .
C se recorre en sentido positivo.


*Las integrales de lnea complejas pueden expresarse en trminos de integrales de lnea
reales, en funcin de sus componentes, es decir:
|
|

\
|
+ + =

C C C C C
dy ) y , x ( u dx ) y , x ( v j dy ) y , x ( v dx ) y , x ( u dz ) z ( f

TEOREMA DE CAUCHY-GOURSAT

Sea f(z) una funcin analtica en un dominio simplemente conexo D. Entonces, dado un
contorno cerrado simple C contenido en D, tenemos:

C
f(z)dz = 0.


Transformaciones e integracin
I-


7
Consideremos una funcin f(z) = u(x,y) +j v(x,y) la cual es analtica en todos los puntos
interiores y sobre un contorno cerrado C, y es tal que ) z ( f es continua all.
Entonces u y v y sus derivadas parciales de primer orden son continuas en la misma regin y
en consecuencia se puede aplicar el teorema de Green para:
|
|

\
|
+ + =

C C C C C
dy ) y , x ( u dx ) y , x ( v j dy ) y , x ( v dx ) y , x ( u dz ) z ( f . Es decir:
|
|

\
|

+
|
|

\
|

=
R R C
dxdy
y
v
x
u
j dxdy
y
u
x
v
dz ) z ( f
Como se cumplen las condiciones de Cauchy-Riemann,
y
u
x
v
,
y
v
x
u

entonces el
segundo miembro se anula y resulta: 0 f(z)dz
C
=

Esta demostracin, basada en el teorema de Green, exige que ) z ( f sea continua en R ya que
de lo contrario no podramos aplicar dicho teorema. Cauchy obtuvo en 1814 por primera
vez este resultado, valindose de una frmula equivalente ya que Green no haba an
explicitado su teorema.
Otra demostracin, menos restrictiva, fue formulada a fines del siglo XIX por Goursat, que
no requiere que ) z ( f sea continua. La deduccin hecha por Cauchy y las condiciones menos
severas de la deduccin de Goursat se conocen como Teorema de Cauchy-Goursat, o a
veces nicamente como teorema integral de Cauchy.

Ejercicio: Probar que

=
C
z
0 dz e para toda trayectoria cerrada.

Consecuencias del teorema de Cauchy-Goursat

Consecuencia 1
Supongamos f(z) analtica en una regin comprendida entre dos curvas C y C
1
, es
decir, en un dominio doblemente conexo, entonces de puede probar que:

=
1
C C
f(z)dz f(z)dz
Demostracin:
Un dominio doblemente conexo se transforma en simplemente conexo con un corte AB, y
entonces se puede aplicar el teorema de Cauchy-Goursat:

0
B
A C
A
B C
1
= + + +



Pero:

=
A
B
B
A
Entonces:
C
1
0
B
A C
B
A C
1
= + +

, de aqu:
C
1
A
B
C









Transformaciones e integracin
I-


8


=
1
C C
Cambiando el sentido de
integracin, resulta:

=
1
C C


Si generalizamos para C
j
(j = 1,2,3,..........n) es:

+ + + + =
n 3 2 1
C C C C C
.... ..........


Consecuencia 2
f(z) es analtica en un domino simplemente conexo y tiene como contorno una curva, si
tomamos dos puntos A y B de la curva, cualesquiera y dos curvas C
1
y C
2
contenidas en
dicho dominio, se puede deducir que:

= =
=
2 1
C AB C AB
dz ) z ( f dz ) z ( f
La integral no depende del camino entre A y B.
Es esta otra consecuencia del teorema de Cauchy-Goursat, ya que si partimos de A por C
2
y
volvemos a A por C
1
y a la curva cerrada la llamamos C
*
, siendo C
*
= C
1
+C
2
sabiendo que
la integral sobre C
*
es 0, resulta:



+ =
*
1 2
C C C
, segn las condiciones dadas es:

=
*
C
0 , entonces:



= = = = = =
= = = +
1 2 1 2 1 2
C AB C AB C BA C AB C BA C AB
y 0


Observamos que la integral no depende del camino sino de los extremos.


Ejercicio:
Probar que : 2 z 1 donde , 0
) 9 z ( z
dz
C
2 2
< < =
+

Integral definida: Una integral definida puede calcularse por el incremento que sufre la
integral indefinida, como en el caso de integrales reales: ) ( F ) ( F dz ) z ( f =

, donde los
caminos de integracin estn contenidos en un dominio simplemente conexo, en el que f(z)
es analtica.



C
2
B

A
C
1


Transformaciones e integracin
I-


9

FRMULA DE LA INTEGRAL DE CAUCHY

Sea f analtica ( y unvoca en un domino simplemente conexo) en todos los puntos
interiores y sobre un contorno cerrado C; si z
0
es cualquier punto interior a C se tiene

=
C
dz
z z
f(z)
j 2
1
) f(z
0
0
donde la integral se toma en sentido positivo alrededor de C.

La frmula muestra que el valor de la funcin, que es analtica en una regin, est
determinada en toda la regin por sus valores sobre el contorno.

Demostracin:
Sea C
0
una circunferencia con centro en
0
z tal que
0 0 0
r y r z z = lo suficientemente
pequeo para que C
0
sea interior a C.
La funcin
0
z z
) z ( f

es analtica en todos los puntos interiores y sobre D, excepto en el punto

0
z . Por lo tanto la integral alrededor del contorno de la regin anular entre C y C
0
es cero,
segn la primera consecuencia del teorema de Cauchy-Goursat:
dz
z z
) z ( f
dz
z z
) z ( f
0
C 0 C 0


=

donde ambas integrales se toman en sentido positivo.

Utilizando un artificio en el segundo miembro:
C


+
=

0
C 0
0 0
C 0
dz
z z
) z ( f ) z ( f ) z ( f
dz
z z
) z ( f

Entonces:
(A)
II I
4 4 4 3 4 4 4 2 1 43 42 1
dz
z z
z f z f
z z
dz
z f dz
z z
z f
C C C

0 0
0
0
0
0
0
) ( ) (
) (
) (

Analizamos cada una de las integrales I y II.

I: ]

= = =

2
0
2
0 j
0
j
0
C 0
j 2 j d
e r
je r
z z
dz
0
donde

+ =
j
0 0
e r z z

II: Se toma el valor absoluto y se tiene en cuenta que f es continua en
0
z , entonces:
< < > = >
0 0
z z para ) z ( f ) z ( f / 0 ) ( , 0 .En particular =
0
z z ,
interior a C

0 2 dz
z z
) z ( f ) z ( f
dz
z z
) z ( f ) z ( f
0 0
C 0
0
C 0
0

Puesto que el nmero puede ser tan pequeo como se desee, el valor absoluto de la
integral tambin puede hacerse arbitrariamente pequeo. Reducir equivale simplemente a
reducir el radio de C
0
.
z
C
0
z
0
r
0

z


Transformaciones e integracin
I-


10
Reemplazando en (A), resulta: + =

0 j 2 ). z ( f dz
z z
) z ( f
0
C 0

=
C
dz
z z
f(z)
j 2
1
) f(z
0
0

Ejercicios:
1) Calcular :

+
C
2
2
dz
1 z
1 z
a lo largo del crculo de radio 1 con centro en
0
c :
a)
0
c = 1 (Rta. 2j) c)
0
c = -1 (Rta. -2j)
b)
0
c =
2
1
(Rta. 2j) d)
0
c = j (Rta. 0)
2)

=
+
+
4 z C
dz
) 3 z )( 2 z )( 1 z (
1 z 2
(Rta. 0)

Frmula de la derivada de la integral de Cauchy

Si la funcin f(z) es analtica en un recinto D y en su frontera C, entonces para cualquier
nmero natural n se verifica la frmula:

C z , D z donde
)
0
C
1 n


=
+
dz
z (z
f(z)
j 2
n!
) (z f
0
0
(n)

Se puede demostrar partiendo de la frmula de la integral de Cauchy y derivando respecto de
0
z ; cuando se llega a ) z ( f
0
se reitera el proceso y por induccin se llega a lo que se quera
demostrar y concluir:

Si una funcin f es analtica en un punto entonces sus derivadas de todos los rdenes
f , f ,....................; son tambin analticas en aquel punto.

Ejercicios:
1) Calcular dz
) 1 z (
e
2 z C
3
z 2

=

(Rta. 4e
2
j)
2) Calcular

=
+
2 z C
3
dz
) 1 z ( ) 1 z (
z ch

|

\
|
e 2
j
. Rta

Teorema de Morera

Si una funcin f es continua en todo un dominio D simplemente conexo, y si para todo
contorno cerrado C, interior a D, la integral sobre C de f(z) es igual a cero, entonces f es
analtica en todo D.

Desigualdad de Cauchy
Se parte de la frmula de la derivada de la integral de Cauchy, con n = 1,2,......,n, donde C es
un crculo de radio r con centro en
0
z y M el valor mximo de f(z) en C. Aplicando:
n
0
) n (
1 n
C
1 n
0
0
) n (
r
M ! n
) z ( f
r
Mr ! n
dz
) z z (
) z ( f
j 2
! n
) z ( f

=
+ +
Desigualdad de Cauchy