Professional Documents
Culture Documents
6 Semestre
Variable compleja II
Clave:
05143632/06143632
Variable compleja II
Unidad 2. Anlisis complejo
ndice
Unidad 2. Anlisis complejo ..................................................................................................................3
Presentacin de la unidad......................................................................................................................3
Propsitos de la unidad ..........................................................................................................................3
Competencia especfica..........................................................................................................................3
2.1. Teorema de Cauchy-Goursat .........................................................................................................4
2.1.1. Teorema integral de Cauchy-Goursat .................................................................................. 5
2.1.2. Frmula integral de Cauchy ................................................................................................... 7
Actividad 1. Aplicacin del teorema de Cauchy-Goursat ........................................................... 10
2.2. Holomorfismo ................................................................................................................................. 10
2.2.1. Funciones holomorfas ........................................................................................................... 11
2.2.2. Teorema de Morera (recproco de Cauchy-Goursat) ..................................................... 12
2.2.3. Teorema fundamental del lgebra ......................................................................................... 13
2.2.4. Teorema de Liouville ................................................................................................................. 14
Actividad 2. Teoremas de holomorfismo ........................................................................................ 16
Actividad 3. Solucin de integrales de funciones holomorfas ................................................. 16
Evidencia de aprendizaje. Solucin de integrales de variable compleja................................ 16
Cierre de la unidad ................................................................................................................................ 17
Para saber ms....................................................................................................................................... 17
Fuentes de consulta ............................................................................................................................. 17
Variable compleja II
Unidad 2. Anlisis complejo
Unidad 2. Anlisis complejo
Presentacin de la unidad
El anlisis complejo es la parte de las matemticas que estudia cmo se comportan las
funciones de variable compleja a travs de resultados especficos y en esta segunda unidad se
plantea la teora necesaria para estudiar y aplicar el teorema de Cauchy-Goursat. Adems de
otros teoremas (Liouville, teorema fundamental del lgebra, Morera) importantes para la
solucin de integrales de variable compleja.
Dentro del anlisis complejo, la mayor parte de las veces, se necesitan de teoremas que
permiten la solucin de diferentes problemas aplicados, los cuales se vern dentro de esta
unidad, que tiene dos teoremas, por la cual tendrs que revisar y aprender sus aplicaciones,
dado que es muy indispensable para la solucin de problemas. Esos teoremas son:
Propsitos de la unidad
Competencia especfica
Aplicar el anlisis de variable compleja para resolver problemas relacionados con integrales de
lnea de funciones holomorfas, por medio del teorema de Cauchy-Goursat y holomorfismo de
funciones.
Variable compleja II
Unidad 2. Anlisis complejo
2.1. Teorema de Cauchy-Goursat
Ahora que sabes la teora bsica para resolver integrales de variable compleja, es momento de
aplicar los teoremas que te permitirn integrar funciones sobre diferentes regiones y curvas.
Las regiones son conjuntos donde se define el dominio de la funcin ().
Definicin
Un conjunto se dice conexo por trayectorias, si 0 , 1 existe una curva continua de 0 a 1 .
Variable compleja II
Unidad 2. Anlisis complejo
Regiones simplemente conexas y no conexas
Observacin
Las curvas cerradas simples separan al plano en dos regiones, una es el interior de la curva
(acotada) y la otra su exterior (no acotada). stas nuevas regiones son subconjuntos abiertos y
conexos del plano.
f(z)f(zj )
zzj
Teorema de Cauchy-Goursat
Sea () holomorfa, sobre y en el interior de un contorno cerrado simple , entonces se
cumple que:
() = 0
Demostracin:
Primero vamos a cubrir de cuadrados a la regin , con las mismas condiciones del lema
anterior.
Sea el j-simo cuadrado de la regin , el punto fijo 0 y + . Ahora definiremos la
siguiente funcin:
()( )
() = {
; = 1,2, ,
Ya que la funcin satisface las hiptesis del lema anterior, se cumple que |
f(z)f(zj )
zzj
Variable compleja II
Unidad 2. Anlisis complejo
b) () es continua en por ser () continua.
c) El lim () = 0.
Las curvas con orientacin positiva que cubren cada cuadrado (entero o partes) de la regin
.
Por la forma en que hemos definido a , para cualquier punto se tiene que:
() = [( ) ( )] + ( ) + ( ) ()
() = ( ) ()
Ya que las primeras dos integrales son cero al satisfacer las condiciones del teorema de
Cauchy que aprendiste en la unidad 1 (subtema 1.3.2).
Por sus propiedades, al reescribir la integral se obtiene:
() = ()
=1
( ) () = ()
| ()| | ( ) ()|
=1
Basta encontrar una cota superior para la desigualdad de la izquierda y con ello habremos
terminado la demostracin.
Sea igual a la longitud de un lado de los cuadrados que recubren a = rea de cada
cuadrado, =a la suma de todos los ; = longitud de cada y es la longitud total del
contorno . Entonces
| ( ) ()| < 2 (4 + ) < (422 + 2)
Ejemplo
Evala la integral sobre la curva || = 4 en sentido positivo, para 0.
Solucin:
Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas
6
Variable compleja II
Unidad 2. Anlisis complejo
Ya que el crculo de radio 4 es una curva cerrada simple, aplica el teorema de CauchyGoursat.
1. Parametriza el crculo, entonces () = 4 y su () = 4 .
2. Sustituye en la integral () =
2
= 0 4 (4 ) = 4(+1) 0 (+1)
3. Ya que (+1) = cos( + 1) + ( + 1)
La integral es:
2
4(+1) 0 cos( + 1) + ( + 1) = [
4 (+1)
cos(
+1
+ 1) + ( + 1)|2
0 ]=0
2 0
Dicho ndice calcula el nmero de vueltas que da alrededor de 0 .
1
2 0
Ejemplo
1
integral es 0 = 2.
Ahora sabes que una curva (en sentido positivo) alrededor del crculo de radio en el
intervalo 0 2, tiene un ndice de valor: (, 0 ) = .
Es importante sealar que ste valor no se altera (salvo en signo), si recorre la trayectoria en
sentido negativo, entonces el ndice ser (, 0 ) = .
De manera similar, si se tiene una curva cuyo ndice es (, 0 ), la curva homotpica a est
tendr el mismo ndice, es decir (, 0 ) = ( , 0 ).
Ciencias exactas, Ingenieras y tecnologas | Licenciatura en Matemticas
7
Variable compleja II
Unidad 2. Anlisis complejo
Teorema de la frmula de Cauchy (frmula integral de Cauchy)
Sea () holomorfa en el interior y exterior del contorno cerrado simple , entonces se cumple
la siguiente igualdad:
1
()
(0 ) =
2 ( 0 )
Demostracin
()
Sea 1 () = (
0)
()
()
=
( 0 )
( 0 )
= 2
0
Por lo tanto
2(0 ) =
(0 )
0
()
() (0 )
2(0 ) =
0
0
Por demostrar:
() (0 )
=0
0
()(0 )
,
0
Variable compleja II
Unidad 2. Anlisis complejo
Entonces |
()(0 )
|
0
|
()
()
()
( )
0
()
( ),
0
entonces (0 ) =
1
()
.
2 0
Ejemplo
Evala
sobre = (0,0) (2, 2) (2,2)
1
Solucin:
1. Observa que la curva define un tringulo (dibjala), entonces sea = 1 punto interior a
.
2. Toma a () = ya que es una funcin entera, satisface las condiciones dela
frmula integral de Cauchy.
3.
= 2 cos(1) = 1.99
2 1
()
+1 .
0)
() (0 ) = 2 (
Ejemplo
3 +2
Variable compleja II
Unidad 2. Anlisis complejo
2!
3 +2
2.2. Holomorfismo
En la asignatura de Variable compleja I estudiaste funciones que tienen sus primeras derivadas
continuas (funciones holomorfas). Los teoremas que aprenders a lo largo de ste subtema se
Variable compleja II
Unidad 2. Anlisis complejo
aplican a dichas funciones. Uno de estos resultados es el teorema fundamental del lgebra, el
cual garantiza la existencia de races (mltiples o no) en un polinomio de n-simo grado sobre
el campo de los nmeros complejos o reales.
(0 , 0 ) = 2 0 (0 + ) es el valor promedio de .
A partir de esta propiedad se deduce otra, el valor mximo (mnimo) de una funcin armnica.
2. Si es armnica sobre y tiene un mximo (mnimo) relativo en 0 , entonces es
constante en una vecindad de 0 .
3. Si () es continua y holomorfa , entonces el valor mximo de |()| en es un
punto 0 tal que 0 .
Notacin
es una regin cerrada y acotada.
es la frontera de la regin
Observacin
En caso de 3, si el valor mximo de |()| = 0 , la funcin es constante.
Ejemplo
Variable compleja II
Unidad 2. Anlisis complejo
Sea (, ) = ()() sobre la regin = [0,1][0,1], Tiene un mximo (mnimo)?
Solucin
Ya que 2 = 0, entonces por definicin es armnica y no constante, por lo tanto su mximo
est en = frontera de .
El valor mximo es: (1,1) = (1)(1) por ser ambas funciones crecientes en [0,1].
Ejemplo
La siguiente integral se conoce como la frmula integral de Poisson para puntos interiores de
un crculo, con ella es posible saber el valor de una funcin armnica en cualquier punto
interior de dicho crculo.
(, ) =
1 2
(, )( 2 2 )
2 0 2 + 2 2( )
2 0 1 + 2 2( )
2 1 + 2 2( )
Aplica el cambio de variable = , de tal forma que este definida.
2
1+
1+
(, ) = 1 [(
( )) + ((
) )]
1
2 2
1
2
2
Revisa la parte para saber ms donde hay material para que conozcas la construccin de la
frmula integral de Poisson.
El material dielctrico* se utiliza de aislante, por ser mal conductor elctrico.
Variable compleja II
Unidad 2. Anlisis complejo
Teorema de Morera
Sea () continua en una regin , s () = 0 para cualquier curva cerrada en .
Entonces es holomorfa en .
Demostracin
Por hiptesis () = 0
Ya que las trayectorias son independientes de las curvas, definimos a () 1 (), lo que
0
implica que () = (), al aplicar la frmula integral de Cauchy extendida se tiene que es
holomorfa en , porque la derivada de una funcin holomorfa lo es.
Ejemplo
1
0
;
0
Solucin
Ya que 0 est fuera de entonces se cumple el teorema de Cauchy-Goursat, por lo tanto por
1
el teorema de Morera () = .
0
1
()
Variable compleja II
Unidad 2. Anlisis complejo
Basta probar que () es constante, toma el lim
= lim
0 +1 ++
1
implica que |()| .
()
= 0.
Si || , entonces |()| < por ser (), por lo tanto |()| + () es constante,
esto es una contradiccin. Por lo tanto () es acotada (0 ) = 0.
Ejemplo
Una de las aplicaciones del teorema fundamental del lgebra que utilizas de manera frecuente
al encontrar los ceros de polinomios de grado n-simo, es la descomposicin de factores por
medio de las frmulas de Vieta, la cual asegura que para cualquier polinomio de la forma
() = + 1 + + , se puede descomponer como el producto de factores tales que
() = ( 1 )( 2 ) ( ).
En base a lo anterior encuentra la descomposicin de factores del polinomio
() = 3 6 2 + 3 + 10, es decir encuentra los valores para los cuales () = 0.
Solucin
Por ser una ecuacin de tercer grado que satisface las frmulas de Vieta, el polinomio tiene
tres races, no sabemos si reales o complejas. Un mtodo tedioso, pero seguro es el tanteo.
Supongamos que ( + 1) es raz del polinomio y realizamos la divisin
3 6 2 + 3 + 10
= 2 7 + 10
+1
Por lo tanto tenemos que () = ( + 1)( 2 7 + 10), ahora supongamos que ( 2) es
raz y calcula la divisin
2 7+10
2
= 5.
Variable compleja II
Unidad 2. Anlisis complejo
el volumen de un gas. Se escogen varios sistemas similares al que se quiere estudiar,
encontrando promedios de las propiedades de estos sistemas. Esto nos da una solucin
aproximada del problema. El teorema garantiza que la densidad de sistemas alrededor de un
sistema dado en el espacio fsico se mantiene constante.
Antes de enunciar el teorema, es necesario plantear dos resultados para su demostracin.
Teorema
Si () es holomorfa en = { < 0| }, entonces |()| alcanza su mximo en slo si
() es constante.
Demostracin
La demostracin tiene dos casos:
1. Si |()| es constante, por ser holomorfa las ecuaciones Cauchy-Riemman implican
!
,
Demostracin
Aplica la frmula integral extendida de Cauchy para 0 = 0, en = con 0 2 y >
0. Entonces
| (0)|
2
! 2 ( )
!
!
2 0
Variable compleja II
Unidad 2. Anlisis complejo
Sea () es entera holomorfa y s tal que |()| , , entonces es constante.
Demostracin
Por hiptesis est acotada por ser funcin entera, entonces por la Desigualdad de Cauchy
se tiene que:
Por hiptesis tenemos que es entera, por las propiedades de las funciones enteras, ()
tambin lo es siempre que () 0, ya que el mdulo |
1
|
()
cual satisface las hiptesis del el teorema de Liouville, por lo tanto es constante.
Nota: Otra aplicacin importante del teorema de Liouville la encontramos implcita en la
demostracin del teorema fundamental del lgebra.
Variable compleja II
Unidad 2. Anlisis complejo
Cierre de la unidad
En esta unidad 2 aprendiste que si una funcin es holomorfa, su integral puede resolverse por
medio del Teorema de Cauchy, la frmula de Cauchy o el teorema de Morera. El teorema
fundamental del lgebra se incluye dentro de estos subtemas porque para su demostracin se
utiliza el Teorema de Liouville (planteado tambin dentro de los resultados que viste en la
unidad).
Es aconsejable que revises nuevamente la unidad en caso de que lo que se acaba de
mencionar no te sea familiar, o no los recuerdes; de no ser ste tu caso, has concluido la
unidad, por lo que puedes ingresar a la Unidad 3. Series complejas, en la que aprenders a
representar funciones (que cumplen ciertas caractersticas) por medio de una serie o series de
potencias con trminos complejos a travs de los teoremas de Taylor y Laurent.
Para saber ms
Para comprobar los resultados de los ejemplos y ejercicios presentados durante la unidad, te
propongo utilizar el programa Wolfram. Puedes acceder a ella desde el siguiente link:
http://www.wolframalpha.com
Revisa los contenidos de la asignatura Clculo integral, Clculo de varias variables I, II y
variable compleja I.
Lee el tema de Funciones armnicas y construccin de la frmula integral de Poisson en el
artculo que se encuentra en la siguiente liga: http://personal.us.es/contreras/t08int_com.pdf.
Fuentes de consulta