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,
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

EL TEOREMA DE CAUCHYGOURSAT

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.

Cuando un dominio D no es simplemente conexo se dice

que es mltiplemente conexo.

La Frmula Integral de Cauchy

Teorema:

Si la funcin F(Z) es analtica en un dominio D,

simplemente conexo.
y cualquier curva que sea cerrada . Entonces:

Para calcular ciertas integrales a lo largo de

contornos cerrados simples, la frmula integral de
Cauchy se puede expresar as.

Extensin

de la frmula integral de Cauchy.

Ejm:

Sea C el contorno del cuadrado cuyos lados estn sobre

las rectas e , con C recorrido positivamente. Calcular la
siguiente integral.

las rectas e
x+2=0

sabe:
Se
Luego:

x-2=0

(0;2)
y-2=0
(0;
/2)

(-2;0)

(2;0)

y+2=0
(0;-2)


Y
=cos(

Entonces:

El camino ms corto entre

dos verdades del anlisis
real pasa por el anlisis
complejo.
Hadamard.

Jacques

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.

 En otras palabras:
Sea f : C C una funcion entera y acotada, es decir,
existe M > 0 tal que
|f(z)|<MzCm;
entonces resulta que f es constante

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)

 Entonces, mediante la frmula integral de Cauchy se

tiene.

 Tomamos Modulos
(*)
Sea M > 0 tal que |f(z)|M para todo z C.
...(1)


Reemplazando (1) y (2)

 De la ecuacion que obtuvimos (*)

(*)


De esta ultima ecuacion, cuando R tienda al infinito:
Entonces =0
De modo que

 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 definir 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)

PRINCIPIO DEL MODULO MAXIMO

El principio del mdulo mximo afirma que el
mdulo de una funcion holomorfa alcanza su mximo
en la frontera del dominio.

 Sea A C , un conjunto conexo y abierto y f : A C

una funcion holomorfa no constante. Entonces f no
alcanza su mximo sobre A, es decir:
z A , w A, / | f ( w ) | > | f ( z ) |
Si se tuviera la igualdad, la funcin sera constante

 Demostracion :

donde
Supongamos que f no es constante en ningun entorno
de
entorno de es un abierto en que contiene a

 entorno de es un abierto en que contiene a

.b
.

y con
Esto es una contradiccion de la hipotesis que el modulo
maximo se alcanzaba en

EJERCICIO:
Sea el disco unidad O={zC:|z|< y sea f una funcin
holomorfa en O, continua en y no constante. Analizar
cuales de cada una de las siguientes situaciones es
posible
a)|f|3en yf(0)=3
b)|f|3en yf(1)=3
c)|f|3en yf(0)=3/ (1+i)
d)f(1/2)=4y si,entoncesf(x+iy)=3

 Solucin
Recordamos el principio del mdulo mximo:
Sea OC un dominio es decir, conexo y abierto.
(a) Si f:OC es holomorfa y no constante, entonces |f(z)|
no tiene mximo relativo en O (como consecuencia,
tampoco absoluto).
(b) Si f es holomorfa en O acotado, continua en y no
constante, entonces|f(z)| alcanza un mximo absoluto
en la frontera de

1.
a)La funcin |f| tendra un mximo relativo en 0D, lo cual
contradice al principio del mdulo mximo. No es posible.
b) La funcin f(z)=z+2 holomorfa en O, continua en y no constante.
Adems,
|f(z)||z+2||z|+|2|1+2=3yf(1)=3, luego la situacin es posible.
c) Se verifica |f(0)|= (3/)=3. La funcin |f| tendra un mximo relativo
en 0D, lo cual contradice al principio del mdulo mximo. No es
posible.
d) Para todo z se verifica |f(z)|=3. La funcin no alcanzara mximo
absoluto en , lo cual contradice al principio del mdulo mximo. No
es posible

BIBLIOGRAFIA
http://fernandorevilla.es/blog/2015/09/06/principio-delmodulo-maximo/
https://www.youtube.com/watch?v=A9rkfqOe30E
http://misuma.um.es/beca/Docencia/0607.ac/2.1%20%2
0Modulo%20Maximo%20y%20Lema%20Schwarz
%20%20(Presentacion).pdf