05 - Integración en El Campo Complejo

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 11

UNIVERSIDAD TECNOLOGICA NACIONAL Página

Facultad Regional Córdoba


INTEGRACIÓN EN EL CAMPO COMPLEJO No: 1
Departamento: ING. MECANICA
Cátedra: CÁLCULO AVANZADO De: 11

UNIDAD 5
INTEGRACIÓN EN EL CAMPO COMPLEJO

5.1.- INTEGRALES COMPLEJAS DE LÍNEAS ......................................................................... 2


5.1.1.- Conexión entre integrales reales y complejas de línea ............................................... 2
5.1.2.- Propiedades de las integrales ..................................................................................... 3
5.1.3.- Cambio de variables ................................................................................................... 3

5.2.- REGIONES SIMPLE Y MÚLTIPLEMENTE CONEXAS .................................................... 4


5.2.1.- Convencion sobre la orientación de los caminos cerrados .......................................... 4

5.3.- INTEGRALES INDEFINIDAS ........................................................................................... 5


5.3.1.- Integrales indefinidas especiales ................................................................................ 5

5.4.- TEOREMA DE GREEN EN EL PLANO ............................................................................ 5

5.5.- TEOREMA DE LA INTEGRAL DE CAUCHY (Ó CAUCHY GOURSAT)............................ 5


5.5.1.- Consecuencias del teorema de Cauchy ...................................................................... 6

5.6.- FORMULA DE LA INTEGRAL DE CAUCHY .................................................................... 9

5.7.- DERIVADAS DE UNA FUNCIÓN ANALÍTICA ................................................................ 11

Ing. Gustavo J. GONZALEZ


UNIVERSIDAD TECNOLOGICA NACIONAL Página
Facultad Regional Córdoba
INTEGRACIÓN EN EL CAMPO COMPLEJO No: 2
Departamento: ING. MECANICA
Cátedra: CÁLCULO AVANZADO De: 11

5.1.- INTEGRALES COMPLEJAS DE LÍNEAS


En el caso de una integral definida real, el cálculo se realiza sobre un intervalo de la recta
representativa de la variable. Para el caso de la variable compleja se integra a lo largo de una curva
continua C en el plano complejo. Esta curva se denomina trayectoria de integración, de aquí el
nombre que reciben las integrales definidas complejas o integrales complejas de línea.
Sea la curva continua C definida por:
z(t ) = x(t ) + i y(t )
donde t es un parámetro real.
Suponemos a una f (z ) continua en todos los puntos de C como se muestra en la Figura 5.1

b
y n
zn−1 t0  t  t1
zn−1
C k zn−1 a = z (t 0 )
2 zk
z2 zn−1 b = z (t1 )
zk −1 zn−1
1 z1
zn−1
a
x
Figura 5.1

Se subdivide a C en n partes, indicadas en los puntos z1 , z 2 ,....., z n−1 los cuales son elegidos en
forma arbitraria. Se llamara a = z 0 y b = z n .

Sobre cada arco que une zk −1 a z k , con k = 1,....., n ; se elige un punto  k . Luego se forma la
suma:
Sn = f (1 )(z1 − a ) + f ( 2 )(z2 − z1 ) + .......... . + f ( n )(b − zn −1 ) (5.1)

Escribiendo zk − zk −1 = zk la ecuación 5.1 queda:


n n
Sn =
 f ( )(z
k =1
k k − zk −1 ) =
 f ( ) z
k =1
k k

Si el número de subdivisiones n aumenta de tal modo que el mayor  z k se aproxime a cero,


entonces S n se aproxima a una límite, que no depende del modo de subdivisión, y es el que se
llama integral compleja de línea ó brevemente integral de línea. También se la suele llamar
integral de f (z ) a lo largo de la curva C y se denota por:
b

 f (z ) dz
a
ó
 f (z ) dz
C
(5.2)

5.1.1.- Conexión entre integrales reales y complejas de línea

Si f (z ) = u(x, y ) + i v(x, y ) = u + i v entonces la ecuación 5.2 se puede expresar en términos de la


integral de línea:

Ing. Gustavo J. GONZALEZ


UNIVERSIDAD TECNOLOGICA NACIONAL Página
Facultad Regional Córdoba
INTEGRACIÓN EN EL CAMPO COMPLEJO No: 3
Departamento: ING. MECANICA
Cátedra: CÁLCULO AVANZADO De: 11

 f (z ) dz =  (u + i v)(dx + i dy) =  u dx − v dy + i v dx + u dy
C C C C

5.1.2.- Propiedades de las integrales

Sean f (z ) y g ( z ) funciones complejas integrables a lo largo de una curva C, entonces:

1)  C  f (z ) + g (z ) dz =  C f (z ) dz +  C g (z ) dz
2)
 A f (z ) dz = A f (z ) dz
C C
donde A = constante

b a
3)
 a 
f ( z ) dz = − f ( z ) dz
b
b m b
4)
 f ( z ) dz =
a  f ( z ) dz +
a  f (z ) dz
m
donde a, b y m son puntos en la curva C

5)
 f (z ) dz  M L
C
donde f (z )  M , o sea M es una cota superior de f (z ) sobre C y L

la longitud de la curva C.
6) Si C representa a una curva de a a b, C1 representa a una curva de a a m y C2 representa
a una curva de m a b, entonces se puede escribir

 f (z ) dz =  f (z ) dz +  f (z ) dz
C1 +C2 C1 C2

5.1.3.- Cambio de variables

Sea z = g ( ) una función continua de una variable compleja  = u + i v , supóngase que la curva
C en el plano z le corresponde la curva C’ en el plano  y la derivada g ( ) es continua sobre C’,
entonces:

 f (z ) dz =  f g ( ) g ( ) d
C C

Esto es posible siempre que g ( ) sea analítica en una región que contiene a C’.
Ejemplo:
Integrar f (z ) = z 2 a lo largo de z = 1

Solución:

 f (z ) dz =  z dz
2
z =1 z =1

z = x +i y, la cual se puede escribir también en su forma trigonométrica como:

z (t ) = cos t + i sen t = e it

Y su derivada: z(t ) = i e it

Ing. Gustavo J. GONZALEZ


UNIVERSIDAD TECNOLOGICA NACIONAL Página
Facultad Regional Córdoba
INTEGRACIÓN EN EL CAMPO COMPLEJO No: 4
Departamento: ING. MECANICA
Cátedra: CÁLCULO AVANZADO De: 11

Por lo tanto:

 (e ) i e dt
2 2 2

 f z (t ) z dt = it it
0 0

2
( )
2
e 3it

i 6i
=i e dt = i
3it
= e −1
0 3i 3i
0

Teniendo en cuenta que: e i = cos + i sen = −1  e 6i = e i = (− 1) = 1


6 6
( )
Entonces:
2

 (1 − 1) = 0
1
i e 3it dt =
0 3

5.2.- REGIONES SIMPLE Y MÚLTIPLEMENTE CONEXAS

Una región R (o dominio D) se llama simplemente conexa si cualquier curva simple cerrada
contenida en R se puede contraer a un punto sin salirse de esta región.
Una región que no es simplemente conexa se llama múltiplemente conexa.
R está definida en
R es z  2 1 z  2
y y
C es una curva
z =2
C es una curva
z =2 cerrada en R
cerrada en R
z =1
C C

x x

Figura 5.2 Figura 5.3


R es simplemente conexa ya que a C R es múltiplemente conexa. C no se
la puedo deformar hasta convertirla puede deformar hasta un punto porque el
en un punto y no se saldrá de R. área de circulo de radio 1 interfiere, ya
que allí no esta definida R

Se puede también definir a una región simplemente conexa como aquella que no tiene huecos.

5.2.1.- Convencion sobre la orientación de los caminos cerrados

Se adopta el sentido positivo de integración sobre la curva (frontera ó contorno) de una región R
cuando un observador al recorrerla en esta direccion y perpendicular al plano, tiene la región a la
izquierda.

Ing. Gustavo J. GONZALEZ


UNIVERSIDAD TECNOLOGICA NACIONAL Página
Facultad Regional Córdoba
INTEGRACIÓN EN EL CAMPO COMPLEJO No: 5
Departamento: ING. MECANICA
Cátedra: CÁLCULO AVANZADO De: 11

y La zona rayada es la región considerada.


Las flechas indican el sentido positivo.

La integración de f (z ) alrededor de la frontera o contorno


C en sentido positivo, se indica como:

 f (z ) dz
C
Figura 5.4 x

5.3.- INTEGRALES INDEFINIDAS

Si f (z ) y F (z ) son analíticas en una región R y tal que F (z ) = f (z ) , entonces F (z ) se llama


Integral indefinida o antiderivada de f (z ) y se denota por:

F (z ) =
 f (z ) dz
Puesto que la derivada de una constante es cero, se deduce que dos integrales indefinidas pueden
diferir en una constante.
Ejemplo:

 (6z − 4cos z ) dz = 3z − 4sen z + C


2

5.3.1.- Integrales indefinidas especiales

Se pueden obtener de las tablas de integrales reales y cambiar la variable por z.

5.4.- TEOREMA DE GREEN EN EL PLANO

Sean P(x, y ) y Q(x, y ) continuas, con derivadas parciales continuas en una región R y sobre su
frontera, entonces:
 Q P 
 C
P dx + Q dy =
  x − y  dx dy
R

5.5.- TEOREMA DE LA INTEGRAL DE CAUCHY (ó Cauchy Goursat)

Si f (z ) es analítica en una región R simplemente conexa y sobre su frontera, entonces para toda
trayectoria simple cerrada C en R se cumple que:

 f (z ) dz = 0
C

A continuación se demuestra el teorema de Cauchy considerando que f (z ) es continua.

Ing. Gustavo J. GONZALEZ


UNIVERSIDAD TECNOLOGICA NACIONAL Página
Facultad Regional Córdoba
INTEGRACIÓN EN EL CAMPO COMPLEJO No: 6
Departamento: ING. MECANICA
Cátedra: CÁLCULO AVANZADO De: 11

 f (z ) dz = 0
C
siendo f (z ) = u + iv ; dz = dx + i dy

se tiene:

 f (z ) dz =  (u + iv)(dx + idy) =  (u dx + i v dy + i u dy − v dy)


C C C

     C C C 
= u dx + i v dx + i u dy − v dy = (u dx − v dy ) + i (v dx + u dy )
C C C
(5.3)

por el teorema de Green en el plano:


 f g 
 C
g dx + f dy =
  −  dx dy
R  x y 
La ecuación 5.3 queda:
 v u   u v 
=
  −
R  x
−  dx dy + i
y    −  dx dy
R  x y 
Las Ecuaciones de Cauchy – Riemann (Unidad 4 – 4.2.1), planteaban:
u v u v
= , =−
x y y x
Cambiando los primeros términos en ambos paréntesis:
 u u   v v 
=
  y − y  dx dy + i  y − y  dx dy = 0
R R

Como el resultado de los paréntesis es cero, se verifica que:

 f (z ) dz = 0
C

5.5.1.- Consecuencias del teorema de Cauchy

Sea f (z ) analítica en una región R simplemente conexa.


Teorema 1:
Sean z1 y z 2 dos puntos de una región R.
y C2 z2 R
z2
C2
C = C1 + C 2
La
 f (z ) dz es independiente del camino en R que
z1

une z1 y z 2
Entonces por el teorema de Cauchy se tiene:

 f (z ) dz = 0
C1
z1
C
x Por lo tanto:
Figura 5.5

 f (z ) dz =  f (z ) dz +  f (z ) dz = 0
C C1 C2'

Ing. Gustavo J. GONZALEZ


UNIVERSIDAD TECNOLOGICA NACIONAL Página
Facultad Regional Córdoba
INTEGRACIÓN EN EL CAMPO COMPLEJO No: 7
Departamento: ING. MECANICA
Cátedra: CÁLCULO AVANZADO De: 11

de donde:

 f (z ) dz = − f (z ) dz
C1 C2'

Si en lugar de recorrer en sentido antihorario ( C 2' ), se lo hace en sentido horario:

 f (z ) dz = − f (z ) dz
C2' C2

 f (z ) dz =  f (z ) dz
C1 C2

Como:
z2 z2

C1
f ( z ) dz =
 f ( z ) dz
z1
y
 C2
f ( z ) dz =
 f (z ) dz
z1

Se demuestra el teorema planteado.


A esto también se lo conoce con el nombre de principio de deformación de la trayectoria, ya que
puede suponer que la curva C1 que une z1 y z 2 , se puede deformar hasta conseguir la curva C 2 .
Notar que por las condiciones planteadas, cuando se produce la deformación, no cortan puntos de
no analiticidad.

Teorema 2:
Sean z1 y z 2 dos puntos de una región R.
z2
Si G (z ) =
 f (z ) dz
z1
entonces G(z ) es analítica en R y G(z ) = f (z )

Teorema 3:
Sean z1 y z 2 dos puntos de una región R.
z2
Si F (z ) = f (z ) entonces
 f (z ) dz = F (z ) = F (z 2 ) − F (z1 )
z2
z1
z1

Teorema 4:
y
C1
Siendo f (z ) analítica en la región R múltiplemente
conexa y sobre las curvas que definen la región C1 y C 2 ,
se tiene que:
C2
 f (z ) dz =  f (z ) dz
C1 C2

Realizando las integrales a lo largo de las curvas C1 y C 2


con los sentidos indicados en la figura 5.6
x
Figura 5.6

Ing. Gustavo J. GONZALEZ


UNIVERSIDAD TECNOLOGICA NACIONAL Página
Facultad Regional Córdoba
INTEGRACIÓN EN EL CAMPO COMPLEJO No: 8
Departamento: ING. MECANICA
Cátedra: CÁLCULO AVANZADO De: 11

y Para su demostración se practica un corte del área en


C1 consideración de tal manera de unir las curvas C1 y C 2
C con lo que obtiene una curva C conformada por:
C2 C = C1 + C  + C2 (5.4)
Por el teorema de Cauchy se tiene que:

 f (z ) dz = 0
C
(5.5)

x Si ahora se considera la ecuación 5.4 y se integra según el


Figura 5.7
sentido positivo de recorrido de las curvas según se
muestra en la figura 5.8:
y
 f (z ) dz =  f (z ) dz +  f (z ) dz +  f (z ) dz −  f (z ) dz
C1
C C C1 C C2 C

C2 Como se aprecia, aparecen dos términos de la integral


sobre C’ ya que en el recorrido se la utiliza dos veces, una
en un sentido y luego en sentido opuesto; de allí la
dualidad de los signos que preceden las integrales
respectivas.
Por lo tanto queda:
x
Figura 5.8
 f (z ) dz =  f (z ) dz +  f (z ) dz
C C1 C2

Por la ecuación 5.5 se iguala a cero:

 f (z ) dz =  f (z ) dz +  f (z ) dz = 0
C C1 C2

De donde:

 f (z ) dz = − f (z ) dz
C1 C2

Si se cambia el sentido de recorrido de C 2 , queda:

 f (z ) dz =  f (z ) dz
C1 C2

Con lo que queda demostrado el teorema.


y C1 Una extensión de este teorema es que si se tienen n huecos,
C2 cuyo sentido de integración es como se muestra en la figura
C3 5.9, se puede decir:

 f (z ) dz +  f (z ) dz +  +  f (z ) dz = 0
C4
Cn C1 C2 Cn

Figura 5.9 x

Ing. Gustavo J. GONZALEZ


UNIVERSIDAD TECNOLOGICA NACIONAL Página
Facultad Regional Córdoba
INTEGRACIÓN EN EL CAMPO COMPLEJO No: 9
Departamento: ING. MECANICA
Cátedra: CÁLCULO AVANZADO De: 11

5.6.- FORMULA DE LA INTEGRAL DE CAUCHY

Sea f (z ) analítica en una región simplemente conexa R.


y Para cualquier punto z 0 en R y cualquier trayectoria simple
C
cerrada C en R que contenga a z 0 se cumple que:

f (z )
 z0
 C z − z0
dz = 2 i f ( z0 )

k Donde la integración se realiza en sentido antihorario

( z 0 es el centro de círculo de radio )


Figura 5.10 x

Demostración:
Sumando y restando f (z 0 ) a f (z ) :

f (z ) = f (z 0 ) + f (z ) − f (z 0 )
Aplicando la formula de la integral de la siguiente manera:
f (z ) f (z ) − f (z 0 )
 dz = f ( z 0 )
 
1
dz + dz
C z − z0 C z − z0 C z − z0
    
A B

A continuación se analizará cada término por separado. Para el primero (A), se realiza un cambio
de variable:

z − z0 =  e it  z = z 0 +  e it
dz
= z = i e it
dt
Reemplazando en A:
2 2

 
2
f (z 0 ) i e it dt = f (z 0 ) i dt = f (z 0 )i t 0 = f (z 0 )(2 i − 0) = 2 i f (z 0 )
1
0 e it
0

Para el segundo término (B):


Dado   0 y   0 tal que f (z ) − f (z 0 )   para todo z en el disco z − z 0   . Al elegir el radio
ρ del círculo k menor que  se tiene la desigualdad:
f (z ) − f (z 0 ) 

z − z0 
La longitud de k es 2 . De acuerdo a las propiedades de las integrales:

f (z ) − f (z 0 ) 
 k z − z0
dz  2 = 2

Ing. Gustavo J. GONZALEZ
UNIVERSIDAD TECNOLOGICA NACIONAL Página
Facultad Regional Córdoba
INTEGRACIÓN EN EL CAMPO COMPLEJO No: 10
Departamento: ING. MECANICA
Cátedra: CÁLCULO AVANZADO De: 11

Como a  se lo puede tomar tan pequeño como se desee se concluye que el valor de la última
integral es cero con lo que queda demostrado el teorema.

Ejemplos:

ez
1)
cz − 2
dz = 2  i e z
z =2
= 2  i e2

z2 +1
2) Integrar 2 en el sentido de las agujas del reloj alrededor de un círculo de radio 1 con
z −1
centro en el punto:
1
a) z = 1 , b) z = , c) z = −1 , d) z = i
2
Resolución:
a) Ya que: z 2 − 1 = (z + 1)(z − 1) , la integral puede escribirse:

z2 +1 z 2 + 1 dz
y  C z2 −1
dz =

C z +1 z −1

i O sea, en este caso el punto de no analiticidad está z 0 = 1 y


z2 +1
la función es f ( z ) =
z +1
1/2 1 x z2 +1 z 2 + 1 dz  z 2 + 1
 
-1
dz = = 2  i  = 2 i
C z2 −1 C z +1 z −1  z + 1  z =1
-i

b) Una manera de realizarlo sería trasladando el círculo hasta que se centro se encuentre en el
punto requerido. Al realizar este corrimiento, el círculo no
y atraviesa por puntos de no analiticidad alguno, con lo que de
acuerdo lo visto (principio de deformación de la trayectoria),
i la integral debe dar el mismo resultado que en a), ya que el
punto de no analiticidad sigue estando en z 0 = 1

-1 1/2 1 x

-i

z2 + 1 z 2 + 1 dz
c)
 C z2 −1
dz =
 C z −1 z +1

z2 + 1
Para este caso: z0 = −1 ; f (z ) =
z −1

Ing. Gustavo J. GONZALEZ


UNIVERSIDAD TECNOLOGICA NACIONAL Página
Facultad Regional Córdoba
INTEGRACIÓN EN EL CAMPO COMPLEJO No: 11
Departamento: ING. MECANICA
Cátedra: CÁLCULO AVANZADO De: 11

y z2 +1 z 2 + 1 dz  z 2 + 1

i
 C z2 −1
dz =

C z −1 z +1
= 2 i 
 z − 1  z =−1
= −2  i

-1 1/2 1 x

-i

d) El circulo no encierra punto de no analiticidad alguno. La función dada es analítica dentro del
círculo y sobre su periferia.
y Por el Teorema de la Integral de Cauchy:

 f (z )dz = 0
C
i

-1 1/2 1 x

-i

5.7.- DERIVADAS DE UNA FUNCIÓN ANALÍTICA

Si f (z ) es analítica en un dominio D (o región) R, entonces tiene derivadas de todos los ordenes


en R, las cuales entonces también son funciones analíticas en R. Los valores de estas derivadas en
un punto z 0 en R están dados por las formulas:

f (z ) f (z )
 dz = 2  i f ( z 0 ) f (z 0 ) =
2 i 
1
 dz
C (z − z 0 ) C (z − z 0 )

f (z )
f (z 0 ) =
 (z − z )
1
dz
2 i C 0
2

f (z )
2  i  (z − z )
f (z ) =
2!
0 3
dz
C 0
f (z )
(z 0 ) = 
n n!
f dz
2 i C (z − z 0 )n+1
C es cualquier trayectoria simple cerrada en R que encierra a z 0 y cuyo interior pertenece a R la
curva se recorre en sentido contrario al de las agujas del reloj.

Ing. Gustavo J. GONZALEZ

También podría gustarte