Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Unidad 3-Integración Compleja PDF
Unidad 3-Integración Compleja PDF
MATEMÁTICA D
Módulo I: Análisis de Variable Compleja
♦ Sea z(t) = u(t) + i v(t) una función de variable real t a valores complejos, con u(t) y v(t)
integrables en [a,b] , se define la integral de z(t) en [a,b] como:
b b b
∫a
z(t ) dt = ∫ u(t ) dt + i ∫ v(t ) dt
a a
Ejemplos
∫ (4t + i3t )dt = ∫
2 2 2 2 2
1- 2
4t dt + i ∫ 3t 2 dt = 2t 2 + it 3 = 6 + i9
−1 −1 −1 −1 −1
π π
( −1) n − 1
∫0 (cost + isen t ) dt = ∫0 [cos (nt) + i sen (nt)] dt =
π π sen(nt ) cos(nt )
−i =0−i
n
2-
n 0 n 0 n
∆ Actividad 1:
a) Si z1(t) = u1(t) + i v1(t) y z2(t) = u2(t) + i v2(t) son integrables en [a,b] y α y β son
constantes complejas demostrar que :
∫ [α z (t ) + β z 2 (t)] dt = α
b b b
a
1 ∫a
z 1 (t ) dt + β ∫ z 2 (t) dt (propiedad de linealidad)
a
a a a a
b b
b3) ∫
a
z(t ) dt = ∫ z(t) dt
a
1
Módulo I - Unidad 3
Matemática D
∆ Actividad 2:
b b
Si z(t) es integrable en [a,b] entonces vale la siguiente desigualdad ∫
a
z(t ) dt ≤ ∫ z(t ) dt
a
A continuación se bosqueja la demostración de esta propiedad y se deja a cargo del alumno justificar
algunos de los pasos.
b
Supongamos que el resultado de la integral ∫a
z(t ) dt es un complejo de módulo r0 y argumento
b b b
θ0, , es decir ∫ z(t ) dt = r0 e iθ0 ⇒ ∫ z(t ) dt = r0 (#) y ∫ e −iθ 0 z(t ) dt = r0 (##)
a a a
Teniendo en cuenta (#) y (##) y otras propiedades ya mencionadas, justificar todas las igualdades
y desigualdades que se indican a continuación:
∫a
b
z( t ) dt =
(1) ∫
a
b
e − iθ 0 z(t ) dt = Re ∫ e − iθ0 z( t ) dt =
( 2) a
b
( 3 ) ∫
a
b
[ ]
Re e − iθ0 z(t ) dt ≤
(4) ∫
b
a
e − iθ0 z(t ) dt =
(5) a
b
∫ z(t) dt
(1):por (#) y (##)
(2):…………………………………………………………………………………………………
(3):…………………………………………………………………………………………………
(4):…………………………………………………………………………………………………
(5):…………………………………………………………………………………………………
∆ Actividad 3:
Si z(t) es continua en [a,b] y si Z(t) es una primitiva de z(t), es decir Z’(t) = z(t) , entonces
b
∫a
z(t ) dt = Z(b ) − Z(a )
Ejemplo
Conociendo la regla de Barrow para funciones de variable real a valores complejos, podemos
hallar la integral propuesta en el ejemplo 2 del siguiente modo:
(− 1)n − 1 = 0
π
e int si n es par
∫0 (cost + isen t )
π π π
dt = ∫ (e ) = ∫ e dt = =
n it n int
0 0 in 0
in 2i/n si n es impar
2
Módulo I - Unidad 3
Matemática D
∆ Actividad 4:
a) Si γ es un arco de curva suave de ecuación z(t) = x(t) + i y(t) con a ≤ t ≤ b, calcular |z' (t)| y
b
demostrar que ∫ | dz |= ∫
γ a
z' (t ) dt = longitud del arco γ
b) Si M es una constante positiva y |z(t)| ≤ M para a ≤ t ≤ b, demostrar que
b
∫a
z(t ) dt ≤ M (b – a)
♦ Sea γ un arco de curva suave de ecuación paramétrica z(t) = x(t) + i y(t) con a ≤ t ≤ b y
f(z) una función continua sobre γ, se define la integral de f sobre el arco γ como:
b b
∫ γ ∫ ∫
f(z) dz = f ( z(t )) d[z(t)] = f ( z(t )) z' (t) dt
a a
Ejemplo
Para calcular la integral ∫ [z - Re(z) - i ] dz ,
γ
siendo γ el segmento de ecuación paramétrica
z(t) = 2t + i (4t – 1) con -1 ≤ t ≤ 2 usamos la definición de integral para transformarla en una
integral de una función de variable real a valores complejos como se muestra a continuación:
γ −1 -1
2 2
2 2 2 2
= ∫ - i4t ( 2 + 4i ) dt = ∫ (16t − 8it ) dt = = 8t − i 4t = 24 -12 i
-1 −1 −1 −1
♦ Propiedades
1- Propiedad de linealidad: Si f(z) y g(z) son dos funciones integrables sobre la curva γ y
α y β son dos constantes complejas entonces
∫ γ
[α f(z) + β g(z)] dz = α ∫ γ
f(z) dz + β ∫γ
g(z) dz
∫γ
f(z) dz ≤ ∫ f(z) dz
γ
3
Módulo I - Unidad 3
Matemática D
∆ Actividad 5:
Justificar las propiedades 1- y 2- anteriores usando la definición y las propiedades de las
integrales de funciones de variable real a valores complejos.
Ejemplos
e 2iz dz
∫C z 2 − 2z + 2 dz = 0 siendo C la semicircunferencia z = R e , 0 ≤ t ≤ π
it
Demostrar que lím
R →∞
e 2iz dz e 2 iz e 2iz
∫C z 2 − 2z + 2 dz ≤ ∫ ∫
C
dz = dz = (#)
C z 2 − 2z + 2 C
z − 2z + 2
2
R
A continuación acotamos el numerador y el denominador
e 2iz 1
por lo tanto ≤ y usando esta acotación del integrando podemos
z − 2z + 2
2
R − 2R − 2
2
1 1 πR
(#) = ∫ dz = ∫12dz =
C
R − 2R − 2
2
R − 2R − 2
2 C
3 R − 2R − 2
2
longitud de C
e 2iz dz πR
Hemos podido demostrar que 0 ≤ ∫ dz ≤ 2
C z − 2z + 2
R − 2R − 2
2
Como en esta última fracción el grado del denominador es mayor que el grado del numerador ,
tomando límite para R→→∞ en esta última desigualdad y usando el teorema del sandwich ,
podemos afirmar que se cumple lo pedido.
4
Módulo I - Unidad 3
Matemática D
∫ f(z) dz = ∫ [u(x, y) + i v(x, y)] (dx + i dy) = ∫ [u(x, y) dx - v(x, y) dy ] + i [v( x, y ) dx + u(x, y) dy ] =
γ γ γ
♦ Propiedades (continuación)
∫γ
f(z) dz = − ∫
−γ
f(z) dz
∫γ1 ∪γ 2
f(z) dz = ∫
γ1
f(z) dz + ∫γ2
f(z) dz
∆ Actividad 6:
Justificar las propiedades 3- y 4- anteriores teniendo en cuenta que las mismas propiedades son
válidas en el campo real.
Ejemplos y
i
1- Calcular ∫ γ
Im(z) dz , siendo γ : x = y2 -1 desde i hasta -i -i
x
Si parametrizamos la curva tomando y = t , entonces el trozo de parábola que nos interesa tiene
ecuación paramétrica z(t) = (t2 -1) + i t con -1 ≤ t ≤ 1 pero ha quedado mal orientada, por ello
la denominamos -γ y operamos como se muestra a continuación :
5
Módulo I - Unidad 3
Matemática D
t (2t + i ) dt = −4 / 3
1 1
∫γ
Im(z) dz = − ∫
−γ
Im(z) dz = − ∫ Im( z(t ))z' (t ) dt = − ∫
−1 −1
1
2- Calcular ∫γ z
dz , siendo γ : | z | = 2 recorrida en sentido antihorario
2π
1 2π 1 2π 1 2π 1 2π e 2it
∫ dz = ∫ z' (t ) dt = ∫ 2ie it dt = ∫ = ∫0 = =0
it 2it
2ie dt ie dt i
γ z 0 0 0 2e − it 2i 0
z(t ) 2e it
El concepto de independencia del camino ya fue estudiado con las integrales de línea de variable
real, no obstante recordemos que:
♦ Se dice que un conjunto abierto D es un dominio si para todo par de puntos de D existe una
curva contenida en D que los une.
D3 D4
D2
D1
D = D3 ∪ D4
puntos z1 y z2 del dominio D la integral toma siempre el mismo valor sobre cualquier curva
contenida en D que une z1 y z2
Luego de esta última definición, la pregunta natural es: ¿cómo saber si la integral de una
función de variable compleja es independiente del camino en un dominio D?
Para poder responder esta pregunta tenemos varias posibilidades que describimos a continuación.
6
Módulo I - Unidad 3
Matemática D
∆ Actividad 7:
Demostrar el teorema 1. (la demostración es idéntica al teorema similar visto en variable real).
Si f(z) es continua en un dominio D y existe F(z) en D tal que F’(z) = f(z) (como en la variable
real, decimos que F(z) es una primitiva de f(z)) y γ es una curva contenida en D que une z0 con
z1
z1 entonces
∫
γ
f ( z )dz = ∫ z0
f ( z ) dz = F(z 1 ) − F( z 0 ) .
Como el resultado de la integral depende sólo del punto inicial y del punto final de la curva,
podemos asegurar que: si f(z) es continua en D y existe una primitiva en D entonces la integral
es independiente del camino en D.
∆ Actividad 8:
Demostrar el teorema anterior teniendo en cuenta :
Si la curva γ tiene ecuación γ: z(t) = x(t) + i y(t) , con a ≤ t ≤ b , tal que z(a) = z0 , z(b) = z1
entonces proponemos justificar todas las igualdades que se indican a continuación :
b b b
∫ f (z)dz = ∫ f (z(t)) z'(t) dt = ∫ F'(z(t)) z'(t) dt = ∫ [F(z(t))]' dt =F(z(b)) − F(z(a)) = F(z1 ) − F(z 0 )
γ ( 1) a ( 2) a ( 3) a ( 4) ( 5)
(1): ………………………………….…………………………
(2):………………………………………………………………
(3): por regla de la cadena se sabe que [F(z(t))]’= F’(z(t)) z’(t)
(4): como F’(z(t)) es una función de variable real a valores complejos y F(z(t)) es una primitiva, puede
aplicarse la regla de Barrow
(5):………………………………………………………………
7
Módulo I - Unidad 3
Matemática D
Ejemplos
1- Calcular ∫ γ
3z 2 dz , siendo γ el trozo de parábola y = 1 - x2 desde (-1,0) a (0,1)
∫γ
3z 2 dz = F(i) – F(-1) = i3 – (-1)3 = -i + 1
1
2- Calcular
∫z γ
2
dz , siendo γ : | z | = 1
La función f(z) = 1/z2 es continua sobre la curva γ , pues es continua en C – {0} , y F(z) = -
1/z es una primitiva, por lo tanto puede aplicarse el T. de Barrow y como la curva es cerrada
la integral vale 0 (cero), pues el punto inicial coincide con el punto final.
1
3- Calcular
∫ z dz , siendo γ : | z | = 1
γ
2π 2π
1 1
∫γ z
dz = ∫ 0 e iθ
i e iθ d θ = i ∫
0
dθ = i2π
Demostración
8
Módulo I - Unidad 3
Matemática D
∫ [u(x, y) dx - v(x, y) dy ] y
∫ [v(x, y) dx + u(x, y) dy ] son independientes del camino en D
γ γ
(cuestionar esta afirmación, ¿es posible que estas integrales reales no sean independientes del
camino?)
Como las integrales reales son independientes del camino, se sabe que las expresiones
u(x,y) dx - v(x,y) dy y v(x,y) dx + u(x,y) dy son diferenciales exactas, es decir existen en
D dos funciones U(x,y) y V(x,y) , denominadas funciones potenciales, tal que:
∂U ∂U
dU( x, y ) = dx + dy = u( x, y ) dx − v( x, y ) dy ,
∂x ∂y
∂V ∂V
dV ( x, y ) = dx + dy = v( x, y ) dx + u( x, y ) dy
∂x ∂y
∂U ∂V
Por ser F(z) derivable, +i = u( x, y ) + iv( x, y ) = f ( z ) ,
sabemos que : F’(z) =
∂x ∂x
por lo tanto podemos afirmar que existe en D una función derivable F(z) tal que F’(z) = f(z)
d z
f (z *) dz * = F' ( z ) = f ( z )
z
Por lo tanto ∫
z0
f (z *) dz * = F(z) - F(z0) , de donde
dz ∫z 0
9
Módulo I - Unidad 3
Matemática D
• Ejercicios
a) γ: z(t) = 1 + it , 0 ≤ t ≤ 1
b) γ: | z | = 1 , recorrida en sentido antihorario
c) γ: | z – a | = R , recorrida en sentido antihorario
2- Calcular ∫γk
Im(z) dz para k = 1, 2 y 3 donde
a) γ1 es el segmento orientado que une 1 con i
b) γ2 : | z | = 1 , desde 1 hasta i , en sentido antihorario
c) γ3 es la poligonal que une 1 con 0 y 0 con i
d) Teniendo en cuenta que γ1 , γ2 y γ3 son tres curvas distintas que tienen el mismo punto inicial
y final, ¿puede afirmar que la integral es independiente del camino?, ¿contradice el teorema
fundamental?
3- a) Calcular ∫
C
| z | 2 e i | z | dz siendo C: |z| = 2 desde 2 a –2 en sentido antihorario
b) Deducir a partir de a) el resultado de la siguiente integral de línea real
∫ (x + y ) sen x + y dx + ( x + y ) cos x + y
2 2 2 2 2 2 2 2
dy
C
∫γ(z − a) ∫γ(z − a) dz = 0
−1 n
4- Si γ: | z - a| = R , con R ≠ 0, demostrar que dz = 2πi , para n ≠-1
5- Calcular ∫ Ln z dz para k = 1 , 2 , 3
γk
siendo
γ1: | z | = R desde R hasta – Ri en sentido antihorario,
γ2: | z | = R desde R hasta – Ri en sentido horario,
γ 3: | z | = R ,
6- Calcular:
−2z
∫ e dz siendo C : y = 2x desde (-1, 2) a (2, 8)
2
b)
C
sen(2z )dz
2i 2i 1
c) ∫1− i
d) ∫3−i z
dz sobre una curva contenida en y > -x
10
Módulo I - Unidad 3
Matemática D
7- Justificar que:
dz 4π
a) ∫
| z| = 2 z + 1
3
dz ≤
7
π
b) ∫
CR z 2
Ln z
dz ≤ (2Ln R + π ) , CR : z(t) = R eit , | t | ≤ π/2 y demostrar que
2R
Ln z
R → ∞ ∫C R z 2
lím dz = 0
Ξ Teorema de Cauchy
Sea γ una curva cerrada, simple y suave por tramos y sea f(z) una función analítica sobre γ y su
interior cuya derivada f ’(z) es continua sobre γ y su interior entonces
∫ f(z) dz = 0
γ
Demostración
Para demostrar este teorema usamos el teorema de Green que relaciona una integral de línea con
una integral doble:
Teorema de Green: Sea C una curva cerrada, simple y regular a trozos (suave) contenida en un dominio
D del plano y sea R la región limitada por C , sean M(x,y) y N(x,y) dos funciones con derivadas
parciales continuas en D entonces
∂N ∂M y C
∫C Mdx + Ndy = ∫∫R ∂x − ∂y dx dy R
D
− ∂v ∂u ∂u ∂v
=
(1 ) ∫∫
R ∂x
− dx dy + i
∂y ∫∫ ∂x − ∂y dx dy = 0 + i0 = 0
R ( 2)
11
Módulo I - Unidad 3
Matemática D
⊕ Observación
Goursat fue el primero que pudo demostrar que la hipótesis " f ’(z) continua sobre γ y su
interior " podía omitirse , nosotros aceptamos sin demostración las siguientes variantes del
teorema de Cauchy
Si γ es una curva cerrada, simple y suave por tramos y f(z) es analítica sobre γ y su interior
entonces
∫ f(z) dz = 0
γ
Si γ es una curva cerrada, simple y suave por tramos y f(z) es analítica sobre γ y su interior ,
salvo a lo sumo en un número finito de puntos excepcionales donde es continua entonces
∫ f(z) dz = 0
γ
Ejemplos
e 3z
a) La integral
∫
|z| =1 z - 2i
dz es igual a 0 pues verifica las hipótesis del T. de Cauchy Goursat :
e 3z
la curva es cerrada y suave y f(z) = es analítica sobre la curva |z| = 1 y su interior
z − 2i
pues no es analítica en 2i , pero este complejo es exterior a la curva cerrada sobre la que se
integra.
12
Módulo I - Unidad 3
Matemática D
Observemos que sobre los puntos de la curva |z| = a , la función g(z) coincide la función cuya
sen z
integral queremos calcular, es decir g(z) = para los z que verifican |z| = a , entonces la
z
sen z
integral de g(z) sobre dicha curva debe coincidir con la integral de . por lo tanto
z
sen z
∫
| z| = a z ∫
dz = g(z) dz = 0
|z | = a
∫
γ1
f(z) dz = ∫ f(z) dz
γ2
Las curvas se recorren en el mismo sentido (ambas en sentido antihorario o ambas en sentido
horario)
Demostración
R1
D C B A
R2
13
Módulo I - Unidad 3
Matemática D
∫ ∂R 1
f(z) dz = 0 y ∫ ∂R 2
f(z) dz = 0
A D C B B C D A
∫4
1B
f ( z )dz + ∫ f ( z )dz + ∫ f ( z )dz + ∫ f ( z )dz + ∫ f ( z )dz + ∫ f ( z )dz + ∫ f ( z )dz + ∫ f ( z )dz = 0
444444 A
4244444444 D C
3 14444444244444443 A B C D
(*)
sobre la frontera de R 1 sobre la frontera de R 2
Como las integrales de línea sobre los segmentos se cancelan pues se recorren en sentidos
contrarios cuando se consideran en la frontera de R1 o en la frontera de R2 y teniendo en cuenta
que (mirar el gráfico):
B C
∫14
C
f ( z ) dz
24 3
+ ∫14f (2z )43
B
dz = − ∫ f ( z ) dz
γ1
sobre la frontera de R 1 sobre la frontera de R 2
D A
∫1A4f 2
( z ) dz
4 3
+ ∫D4f (2z )4dz
1 3
= ∫ f ( z ) dz
γ2
sobre la frontera de R 1 sobre la frontera de R 2
donde en la primera integral se ha colocado un signo menos pues se observa que γ1 debe
recorrerse en sentido contrario al que anunciamos al comenzar, vemos que la expresión (*) toma
la forma: − ∫ f(z) dz + ∫ f(z) dz = 0 , y por lo tanto:
γ1 γ2
∫γ2
f(z) dz = ∫ f(z) dz
γ2
γ1
donde las curvas se recorren de modo de dejar la región R a la izquierda.
∆ Actividad 8:
Justificar la igualdad presentada en la consecuencia 2-
14
Módulo I - Unidad 3
Matemática D
∆ Actividad 9:
Justificar la afirmación presentada en la consecuencia 3.
Ayuda: tomar una curva cerrada cualquiera γ contenida en D y justificar que ∫ f(z) dz = 0 , ¿con
γ
Ejemplos
f(z)
1- Si f(z) una función analítica en todo el plano y se sabe que ∫|z | = 1 z
dz = π , ¿puede
f(z)
conocerse el valor de la integral ∫γ z
dz , siendo γ una curva suave por tramos, cerrada, que
encierra a z=0 ?
Suponer que f(z) es analítica ∀z y que las curvas se recorren en sentido positivo.
15
Módulo I - Unidad 3
Matemática D
f(z)
∫ z-z
γ
0
dz = 2πi f(z 0 )
Demostración γ
(1): son iguales por la primera consecuencia del teorema de Cauchy pues el cociente
f(z) / (z – z0) es analítico sobre las curvas γ y C y en la región limitada por ambas
(2): sumando y restando f(z0) en el numerador
(3): la integral de una suma es suma de integrales y f(z0) es constante
πi y entonces el
Demostraremos a continuación que la integral A vale cero y la integral B vale 2π
teorema estará demostrado.
f (z ) − f (z 0 )
si z ≠ z 0
g( z ) = z − z 0
f ' ( z 0 ) si z = z 0
Por lo tanto g(z) es analítica sobre la curva cerrada C y su interior , salvo a lo sumo en el punto z0
donde sabemos que es continua , por ello podemos aplicar el teorema de Cauchy Goursat (versión
2) y afirmar que
∫ g(z) dz = 0 .
C
16
Módulo I - Unidad 3
Matemática D
Observemos que sobre los puntos de la curva C, la función g(z) es igual al cociente incremental,
f (z) − f (z 0 )
por lo tanto ∫C z − z 0 dz = ∫C g(z) dz = 0 , y queda demostrado que la integral A vale
cero.
Ejemplos
cos z
a) Calcular ∫ γ z−π
dz , siendo γ la frontera del triángulo de vértices 0 , 4 ± 2i
4
f(z)
Como el integrando tiene la forma , con f(z) = cos z , analítica en todo el plano, y
z - z0
z0 = π está en el interior de la curva cerrada γ , podemos aplicar el T. de la fórmula de Cauchy
pues se verifican todas las hipótesis , así tenemos:
cos z
∫γ z − π dz = 2πi f( π) = 2πi cos(π) = −2πi
z3 + 3
b) Calcular ∫
|z − 2 i | = 2 z2 + 1
dz
f(z)
En este ejercicio el integrando no tiene la forma , pero si factoreamos el denominador
z - z0
vemos que:
z3 + 3 z3 + 3
=
z 2 + 1 ( z + i )( z − i )
z3 + 3
z3 + 3 z + i dz
∫1 z − 2 i| = 2 z2 + 1
dz = ∫
1 z − 2 i| = 2 z−i
Como (z3 +3) / (z + i) es analítica sobre la curva cerrada y su interior , podemos usar la
fórmula de Cauchy. Tomando f(z) = (z3 +3) / (z + i) el valor de la integral resulta:
z3 + 3 z3 + 3 -i+3
∫1 z − 2 i| = 2 z +1
2
dz = 2 πi f(i) = 2 πi = 2πi
z + i z =i 2i
= 3π − iπ
17
Módulo I - Unidad 3
Matemática D
En este caso los complejos i y -i, que anulan el denominador, son interiores a la curva cerrada.
Veamos que a pesar de esto puede calcularse la integral mediante la fórmula de Cauchy, para
ello consideremos dos curvas cerradas C1 y C2 interiores a C y disjuntas, C1 que sólo
encierre a i y C2 que sólo encierre a - i .
z4 + 3 z4 + 3 z4 + 3 C2
∫ ∫C1 z 2 + 1 ∫C2 z 2 + 1 dz
dz = dz + -i
C z2 + 1
∆ Actividad 10:
C1
Si f(z) es analítica en el anillo limitado por dos circunferencias concéntricas C1 C2
y C2 y z0 es un punto interior a dicho anillo, demostrar que:
1 f (z ) 1 f (z)
f (z 0 ) = ∫
2πi 1 z − z 0
C
dz - ∫
2 πi 2 z − z 0
C
dz
z0
Si f(z) es analítica sobre la curva cerrada y suave por tramos γ y su interior , y z0 es interior a γ ,
sabemos que
18
Módulo I - Unidad 3
Matemática D
f(z)
2πi f ( z 0 ) = ∫ dz .
γ z - z0
f(z)
2πi f ' ( z 0 ) = ∫ (z - z )
γ 2
dz
0
Si f(z) es analítica sobre la curva cerrada, simple y suave por tramos γ y su interior , y z0 es
f(z) 2πi f (n) (z 0 )
interior a γ entonces ∫ dz =
γ
(z - z 0 )n+1 n!
⊕ Observación:
Si en la última expresión se reemplaza n = 0 se obtiene la fórmula de la integral de Cauchy pues
interpretamos f(0) (z0) como f(z0) y teniendo en cuenta que 0! = 1.
19
Módulo I - Unidad 3
Matemática D
Ejemplo
e 2 iz
Calcular ∫ (z − π) ( z + i )
γ 2 3
dz , siendo γ la frontera del triángulo de vértices 0 , 4 ± 2i
e 2iz
3
( z + i ) dz = 2πi f ' ( π) = 2πi 2ie ( z + i ) − e 3( z + i ) = 2πi 2i( π + i) - 3
2iz 3 2 iz 2
Así, ∫
γ
(z − π)2
(z + i)6
z=π ( π + i) 4
♦ Derivadas de analíticas
Si f(z) es analítica en un punto z0 , sabemos que es analítica en todo un entorno
de z0 , y si tomamos una curva cerrada, simple y suave por tramos γ contenida
z0
en dicho entorno, podemos aplicar el teorema anterior obteniendo:
indica que existe la derivada segunda de f en todo punto interior a la curva γ y por lo tanto la
derivada primera f ' es analítica
Aplicando un razonamiento similar a la función analítica f' podemos concluir que f'' es analítica,
y repitiendo el argumento anterior llegamos al siguiente resultado fundamental.
Si f(z) es analítica en un punto, sus derivadas de todos los órdenes son también funciones
analíticas en ese punto.
20
Módulo I - Unidad 3
Matemática D
• Ejercicios
y C1
8- Si f(z) es analítica en un anillo y C1 y C2 son dos curvas cerradas
contenidas en el anillo como muestra la figura, justificar que C2
∫ f(z) dz = ∫ f(z) dz
C1 C2 x
∫
|z - 3i| =1
f(z) dz = 0
respuesta :
( z 2 − 4)
2
ez
a) ∫
C z
dz , C : z - 2 = 1 b) ∫C sen(z 2 ) dz , C : z - 2 + i = 1
e −2iz z4
c)∫C z − 3 dz , C : z = 4 d) ∫C z 2 + 4 dz , C : z = 3
e −z
d) ∫ dz , para k = 1 , 2 , C1: |z – 2| = 1 ; C2: |z | = 3
C k 2z 2 − z 3
11- Si f(z) = (z – 2i)4 h(z) donde h(z) es analítica y no se anula sobre la curva C y su interior ,
f ' (z )
justificar que ∫ dz = 8πi , C : |z – 2i| = 1
C f (z)
cos2z
12-Calcular para n = 0, n = 1, n = 2 , la integral ∫ (z − i )
C
n
dz , C: |z| = 2 enunciar previamente el
21
Módulo I - Unidad 3
Matemática D
13- Si F(z) = i z2 cos z es una primitiva de f(z) , calcular el valor exacto de ∫C1
f(z) dz donde C1
es una curva que une π eiππ con 2π
π.
(2z - π)
14- Dada I = ∫ (z
C
2
- 1) (1 − sen z )
dz
z − 2i f ( z )g' ( z )
15- Si f(z) es analítica y g( z ) =
z
, calcular ∫ | z − 2 i| = 3 g( z )
dz sabiendo que f(2i) = f(0)
Ξ Teorema de Morera
Si f(z) es continua en un dominio simplemente conexo D y para toda curva cerrada γ contenida
en D se sabe que ∫ f ( z ) dz = 0 entonces f(z) es analítica en D.
γ
Demostración
Como la integral de f(z) vale cero sobre cualquier curva cerrada contenida en D entonces por
Teorema 1 sabemos que la integral de f es independiente del camino en D y si es independiente
del camino en D, por Teorema 3 sabemos que existe una función F(z) analítica en D tal que
F'(z) = f(z) .
Como hemos visto que la derivada de una función analítica es también analítica y sabemos que f
es la derivada de la función analítica F, se desprende que f es analítica en D
Aceptamos sin demostración la siguiente propiedad, conocida como principio del módulo
máximo
Ξ Principio del módulo máximo
Si una función f(z) = u(x,y) + i v(x,y) es analítica y no constante en un dominio abierto A
entonces la función |f(z)| = (u( x, y )) + (v( x, y ) no posee máximo en A, es decir , no existe en
2 2
⊗ Observaciones
22
Módulo I - Unidad 3
Matemática D
1- Si f(z) = u(x,y) + i v(x,y) entonces |f(z)| = (u( x, y ))2 + (v( x, y )2 es una función de dos
variables reales a la que denominamos g(x,y)
Es importante observar que si existen en A puntos de coordenadas (x1, y1) donde las funciones
u(x,y) y v(x,y) se anulan simultáneamente, es decir u(x1,y1) = 0 y v(x1,y1) = 0 entonces en
dichos puntos g( x 1 , y 1 ) = (u(x 1 , y 1 ))2 + (v( x 1 , y 1 )2 = 0 .
Como la función g(x,y) , por tratarse de un módulo, verifica g(x,y) ≥ 0 para todo par (x,y) de
A , y como g(x1,y1) = 0 entonces podemos afirmar que: g(x,y) ≥ g(x1,y1) , para todo par (x,y)
de A y esta última desigualdad nos dice que la función g(x,y) alcanza un mínimo en los
puntos (x1, y1) en los cuales las funciones u(x,y) y v(x,y) se anulan simultáneamente.
Ξ Teorema
Si f es una función continua en una región acotada cerrada A, y analítica y no constante en el
interior de A, entonces:
a) la función |f(z)| alcanza siempre un máximo y ocurre en algún punto de la frontera de A,
nunca en su interior, es decir existe al menos un punto z0 en la frontera de A tal que
|f(z)| ≤ |f(z0)|
b) si además f(z) ≠ 0 en todos los puntos de A , la función |f(z)| alcanza siempre un mínimo y
ocurre en algún punto de la frontera de A, nunca en su interior.
Si se elimina la condición f(z) ≠ 0, la función |f(z)| puede alcanzar un mínimo en un punto
del interior de A cuando dicho valor mínimo es 0.
Ejemplo
Si queremos saber dónde la función f(z) = |z2 - z| alcanza un máximo o un mínimo en el recinto
cerrado y acotado definido por | z | ≤ 1 , comenzamos expresándola en función de x e y :
f(z) = (x + i y)2 - (x + i y) = (x2 - y2 - x ) + i (2xy -y) y calculando su módulo
como se sabe que maximizar una raíz es equivalente a maximizar su radicando , tomaremos la
función g elevada al cuadrado, y como sabemos que el máximo lo tomará en algún punto de
frontera, podemos parametrizar la circunferencia | z |= 1 poniendo x = cos t , y = sen t , con
0 ≤ t ≤ 2π
π , y buscar los máximos de la función
Recordar:
23
cos2t - sen2 t Módulo
= cos (2t)I - Unidad 3
2 sen t cos t = sen (2t)
Matemática D
Se deja como ejercicio verificar que los puntos críticos de esta función son t0 = 0 , t1 = π
y por lo tanto los posibles puntos donde el módulo toma el máximo valor son:
z0 = (x0,y0) = (cos 0, sen 0) = (1,0) y z1 = (x1,y1) = (cosπ π, senπ
π) = ( -1, 0)
Como | f(z0) |= g(1,0) = 0 y | f(z1) | = g(-1,0) = 2 , podemos afirmar que |f(z)| toma el
máximo valor en el punto z1 = -1 + i 0 = -1 , y para todos los complejos de |z| ≤ 1, se verifica
| f(z)| ≤ 2
Es interesante hacer notar que |f(z)| toma el mínimo valor en el punto z0 = 1 + i 0 = 1 , pues en
dicho punto la función vale cero y sabemos que por tratarse de un módulo se verifica 0 ≤ | f(z)|
y por lo tanto | f(z0)| ≤ | f(z)| para todo z de |z| ≤ 1
Es importante hacer notar que en este ejemplo encontramos un mínimo sobre la frontera, pero
según hicimos notar en la observación anterior la función toma un mínimo en los puntos del
recinto donde las funciones u y v se anulen simultáneamente , es decir puntos donde f(z) = 0, en
este caso se observa que z2 - z = 0 ⇒ z = 0 ó z = 1 , por lo tanto la función posee un mínimo
también en un punto del interior de la región.
Demostración
Ξ Teorema de Liouville
Si f(z) es analítica y acotada en todo el plano complejo entonces f(z) es una función constante.
24
Módulo I - Unidad 3
Matemática D
Demostración
1 f(z) 1 f (z) 1 M M M
2πi ∫γ (z - z 0 )2 2π ∫γ z − z 0 ∫
f '(z 0 ) = dz ≤ dz ≤ dz = 2πR =
2
2π R
γ 2
2 πR 2
R
por lo tanto podemos afirmar que para todo complejo z0 y para todo R vale : 0 ≤ |f '(z0)| ≤ M/R
Como M es una constante fija y R puede tomarse tan grande como se quiera, el cociente M/R es
tan cercano a cero como se quiera, por lo tanto la única posibilidad es que f '(z0)= 0 , como z0 es
cualquiera significa que f'(z) = 0 para todo z del plano complejo y por lo tanto la función f(z)
debe ser una constante.
• Ejercicios
16- La función de variable real f(x) = sen x es derivable para todo x y está acotada pues
| sen x | ≤ 1, ¿esto contradice el T. de Liouville? Explicar
18- Calcular
a) Max | e − z | siendo BR = { z / |z| ≤ R , 0 ≤ Arg(z) ≤ π/4}
2
BR
1
b) Max siendo D = { z / |z| ≤ 1 , 0 ≤ Arg(z) ≤ π/4}
D z2 + 1
1
19 - Justificar que
zn ∫dz = 0 , siendo γ cualquier curva cerrada que no pasa por el origen y n
γ
25
Módulo I - Unidad 3