INTEGRACIN COMPLEJA

INTEGRANTES

Cceres Santi David 15190166

Colla Muoz No 15190004
Licla Jarpi Paul Arturo 15190015
Snchez Casas Carlos Alberto 15190153
Heredia Andamayo Luis ngel 15190114
INTEGRALES DEFINIDAS DE FUNCIONES W(t)
CONTORNOS
 CURVA DE JORDN
Una curva es un arco simple o arco simple de Jordn si la aplicacin
es inyectiva (es decir, 1 = 2 implica que t1=t2). Es decir la
curva no pasa por un mismo punto dos veces.
Una curva es cerrada simple o curva de Jordn si es cerrada, es decir
= , y la restriccin a[a,b> es inyectiva.
Una curva de Jordn divide al plano complejo en dos subconjuntos
abiertos y conexos, uno acotado, el interior de la traza, int(),y el otro
no acotado, ext ().
 INTEGRALES CURVILNEAS COMPLEJAS, O DE CONTORNO
Definicin

Sea C un contorno descrito por C: z(t) = x(t) + i y(t) con t I = [a,b]

Sea f(z) una funcin compleja de variable compleja, continua sobre C.

La integral curvilnea compleja o integral de contorno de f(z) a lo largo del arco

orientado C, que se representa por f ( z )dz , se define as
C

b
C f ( z ) dz f z( t ) z' ( t ) dt
a

La integral del 2 miembro es integral de una funcin compleja de variable

real t.
 Expresin en trminos de integrales curvilneas reales

De la definicin:
b

f ( z ) dz f z (t ) z ' (t ) dt
C
a
b
ux(t ), y (t ) i vx(t ), y (t )x' (t ) i y ' (t )dt
a
b b
ux(t ), y(t ) x' (t ) vx(t ), y(t ) y' (t )dt i ux(t ), y(t ) y' (t ) vx(t ), y(t ) x' (t )dt
a a

Luego:
f ( z ) dz
C C u( x , y )dx v( x , y )dy i C v( x , y )dx u( x , y )dy
Tambin puede escribirse como C u iv dx idy
 Propiedades
i) C f ( z ) dz
C
f ( z ) dz
Se entiende que si C est descrita por z(t) t [a,b] entonces -C est descrita
por z(t) con t variando desde t = b hasta t = a. Queda entonces la curva
recorrida en sentido contrario al de C.

ii) C 1 C 2 f ( z ) dz C 1 f ( z ) dz
C2
f ( z ) dz

Se entiende que si C1 z1 (t ) t [a,b] y C 2 z 2 (t ) t [b,c] y siendo

z1 (b) z 2 (b) se denota C1 C 2 al contorno definido por
z1 ( t ) t a , b
C1 C 2 z 3 ( t )
z 2 ( t ) t b, c
Puede generalizarse a f (z)dz f (z)dz ... f (z)dz donde
C1 ...Cn C1 Cn
con C1 ... C n se entiende la generalizacin obvia de la definicin vista
para C1 C 2

iii) C k f ( z ) dz k
C
f ( z ) dz k C

iv) C f ( z ) g( z )dz C f ( z ) dz g( z ) dz
C
 Desigualdad ML

Si f(z) es continua a trozos sobre un contorno C z ( t ) t a , b , y es M una cota

superior de f ( z ) en C y L la longitud de C, se verifica: C f ( z )dz ML
En efecto:
b b b
C f (z)dz f z( t )z' ( t )dt f z( t ) z' ( t ) dt M z' ( t ) dt ML
a a a

Notas

Si z recorre C, se interpreta dz como dz x' (t ) iy ' (t ) dt

b
Por tanto, como la longitud de un contorno C z( t ) , t a, b es L z' (t ) dt ,
a
puede expresarse L de forma abreviada por L dz
C

Puede hablarse tambin de integracin respecto a la longitud del arco. Se representa

por f ( z)ds o f (z) dz y se define por:
C C
b
C f (z)ds C f (z) dz f z(t ) z' (t ) dt
a
 Ejemplos de integrales de contorno

Ejercicio 1
C 1 dz siendo C 1 OB y
2
Calcular z

C 2 z
2
dz siendo C 2 OAB
comparar los resultados obtenidos en las dos integrales. O

Solucin

C 1 dz siendo C 1 OB
2
z

Los extremos son z = 0 y z = 2 + i

Entonces z( t ) 2t it (2 i) t t 0,1
z 2 es continua sobre C1
Por la definicin
1 1
(2 11 i)
C1 z 2 dz ( 2 i ) t 2
( 2 i ) dt ( 2 i ) 3
t 2
dt
3
0 0
 Ejemplos de integrales de contorno
C 2 dz siendo C 2 OAB
2
z
Ejercicio 1
C 1 2dz siendo C2 1 OB y2
2
Calcular z
I z dz z dz z dz ;
C 2
2 C2
z dz siendo C 2 OA
OAB AB
OA :los
comparar ) t , t 0obtenidos
z( tresultados ,2 ;
en las dos integrales. O
AB : z( t ) 2 it , t 0,1
Solucin
2 1 1 1
C 1 z dz siendo
Luego
2
C2
z 2 dz C 2 OB
1
t dt 2 it 2
i dt
8
4t dt i (4 t 2 ) dt
3
0 0 0 0
Los extremos son z = 0 y 1z = 2 + i
8
Entonces 2t tit3 (2 i8) t t 0,1 1 2 11i
z2( t )
2t isobre
continua
=z 2 es 4t C 2 i 4
3 3 1
3 3 3

Por la definicin 0
1 1
(2 11 i)
C1 z 2 dz
2
( 2 i ) t 2
( 2 i ) dt ( 2 i ) 3
t 2
dt
dz
2 2
Observemos que 0z z dz Luego 0 z dz 03
C1 C2 C1 C 2
Ejercicio 2
dz
Sin resolver la integral, hallar una cota superior del mdulo de I 6 siendo C6
C6 4
z
el segmento de origen en z = i y extremo en z = 1

Solucin

continua, C 6 z( t ) t (1 t )i , t 0,1
1
Sobre C 6 es f ( z)
4
z

dz 1
Es I 6 ML , siendo: M : cota superior de sobre C 6
C6 z 4 z4
L : longitud de C 6

2
1
2
4 2 2 2 1 1
Sobre C 6 es: z 4 z t 2 (1 t ) 2t 2 2t 1 2 t

2 2 4

(Puede verse tambin geomtricamente que sobre C es z mayor que distancia OA, es
2 4 1
decir z z )
2 4

1
Luego 4.
z4
Es por tanto M 4 y como L 2 resulta I6 4 2
EL TEOREMA DE CAUCHY-
GOURSAT
 , ;
, .
S
.

 Dominios simplemente conexos y
mltiplemente conexos.
Se dice que un dominio D es simplemente conexo si todo
camino cerrado simple contenida en el encierra solo puntos
de D.
Ejm: El dominio interior de un camino cerrado simple.
D
Cuando un dominio D no es simplemente conexo se dice que es
mltiplemente conexo.

D
La Frmula Integral de Cauchy
Teorema: Si la funcin F(Z) es analtica en un dominio D, simplemente
conexo.
0 y cualquier curva que sea cerrada . Entonces:

1
(0) =
2 (0 )

Para calcular ciertas integrales a lo largo de
contornos cerrados simples, la frmula integral de
Cauchy se puede expresar as.

= 2(0 )
(0 )

Extensin de la frmula integral de Cauchy.
1
(0) =
2 (0 )

2
0 = 2

2 ( (0 ))


23
0 = 3

2 ( (0 ))


() !
0 = +1

2 ( (0 ))

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

 Demostracin la frmula integral de Cauchy

Por el principio de deformacin de contornos

z
r0 e i
f ( z) f ( z)
C z z0 C z z0
C
z0 dz dz
C0 0
 A la variable Z la reemplazamos de la siguiente manera:

i dz
z z0 r0 e ; ir0 ei
d

Entonces reemplazando en la integral :

i
f ( z) 2 f ( z r e ) 2
C z z0 dz 0 ir0e d i f ( z0 r0e )d
0 0 i i
i
0
r 0 e 0
 Ahora el 0 lo hacemos infinitamente pequeo:
2 2
lim i f ( z0 r0 e )d i f ( z0 )d
i
r0 0
0 0

2
if ( z0 ) d 2if ( z0 )
0

As llegamos a los siguiente:

f ( z)
C z z0 dz 2 i f ( z0 )
Ejm:
Sea C el contorno del cuadrado cuyos lados estn sobre
las rectas = 2 e = 2, con C recorrido
positivamente. Calcular la siguiente integral.

( 2)


las rectas = 2 e = 2
(2)
()
Se sabe: = 2(0 )
0
x+2=0 I x-2=0

Luego: 0 = 0
(0;2) 2
C
y-2=0
(0; /2)

R
(-2;0) (2;0)

y+2=0
(0;-2)
Y = /2 = /2
/2 = /2 =cos(/2) (/2) = 0 =

= 2 = 2
0

Entonces:

= 2

( 2)

El camino ms corto entre dos verdades
del anlisis real pasa por el anlisis
complejo.

Jacques
Hadamard.
Teorema de Liouville
 El teorema de Liouville afirma que si una funcin es holomorfa en
todo el plano complejo y est acotada, entonces es constante.
FUNCION HOLOMORFA
Es el principal objeto de estudio del analisis complejo
Una funcion holomorfa, nos dice que en un punto a, no solo signica
que es diferenciable en a, sino que es diferenciable en todo un disco
abierto centrado en a, en el plano complejo
Demostracion del Teorema de Liouville
Sea f : C C una funcion entera y acotada, entonces es constante.

a,b C ab, f(a)=f(b)

<
2

Tomamos un r muy grande

 Entonces, mediante la frmula integral de Cauchy se tiene.
1 1
= -
2 2
1 ()()
=
2 ()()

=
2 ()()
 Tomamos Modulos

() = ( )() (*)
2
Sea M > 0 tal que |f(z)|M para todo z C.

< = (2),
...(1)
2
= + ( )
 = + ( )
Por teoria de modulos tenemos que:
( )
Reemplazando (1) y (2)

( ) =
2 2
 De la ecuacion que obtuvimos (*)

() = ( )() (*)
2

() . . 2
2 .
2
2
0 .

 2
0 .

De esta ultima ecuacion, cuando R tienda al infinito:
0 0
Entonces =0
De modo que =
 Por lo tanto, a partir de aqu es facil demostrar que
ninguna funcion entera, salvo las constantes puede
ser acotada en todo plano complejo, tal como afirma
en una forma ligeramente diferente el Teorema de
Liouville.
 Ejercicio.
Sea f una funcin entera tal que |f(z)|<| | para todo z C.
Demuestre que entonces
f , ||< 1.
Solucion. Puesto que 0 en C, podemos denir la funcion g(z) =
f(z)/ . Esta funcin es entera y satisface la condicin |g(z)|< 1 para
todo z en C.
Por el Teorema de Liouville, g cte = y ||< 1.
 Bibliografia :
https://www.youtube.com/watch?v=yfMv9eqYOuk
Libro de variable compleja de churchil
https://es.wikipedia.org/wiki/Teorema_de_Liouville_(an%C3%A1lisis_
complejo)
MODULO MAXIMO EN FUNCIONES
Sea () analitica en un entorno 0 < en un punto 0 . Si
() (0 ) para todo entorno, entonces tiene valor
constante (0 ) sobre ese entorno.
 Finalmente al ser 1 un punto arbitrario del entorno punteado 0 <
0 < vemos que la ecuacion = (0 )se satisface, en
todos los puntos z que estan sobre cualquier circulo 0 < ,
con 0 < <
El modulo maximo puede utilizarse para probar el principio del
modulo maximo
PRINCIPIO DEL MODULO MAXIMO
TEOREMA: Si una funcin f es analtica y no constante en un dominio
dado D, () no tiene valor mximo en D. Es decir no hay un punto 0
en el dominio tal que () (0 ) para todo punto z en el .
OBSERVACIONES
En otras palabras, esto nos quiere decir que :
El principio del mdulo mximo afirma que el mdulo de una
funcin holomorfa alcanza su mximo en la frontera del dominio.
El teorema del principio del modulo mximo es un resultado de la
mecnica hamiltoniana
 Dado que 0.
Si una funcion f es analitica en cada punto del interior de una region
acotada y cerrada, entonces () .
Si f es un funcion constante,entonces () =
Si f no es constante,entonces () para cualquier punto z en el
interior de R
 Dada de esta ultima expresion llegamos asi a un importante corolario
del principio del Modulo Maximo.
Sea f una funcion continua en una region acotada cerrada R, analitica
y no constante en el interior de R. Entonces,vel maximo valor de f(z)
en R que se alcanza siempre, ocurre en algun lugar de la frontera de
R, nunca en su interior
BIBLIOGRAFIA
http://fernandorevilla.es/blog/2015/09/06/principio-del-modulo-
maximo/
https://www.youtube.com/watch?v=A9rkfqOe30E
http://misuma.um.es/beca/Docencia/0607.ac/2.1%20%20Modulo%2
0Maximo%20y%20Lema%20Schwarz%20%20(Presentacion).pdf