Académique Documents
Professionnel Documents
Culture Documents
57
58 CAPTULO 4. COMPLEMENTOS SOBRE DIVERGENCIA Y TEOREMA DE GAUSS
Observacin 4.1.1. La expresin (4.2) proporciona una caracterizacin del valor que toma
div(F~ )(~r0 ) que no hace referencia explcita a ningn sistema de coordenadas en particular, sino
que slo depende del comportamiento lmite del cociente entre el flujo que sale a travs de
y el volumen del abierto .
g
donde = g n
denota la derivada normal de g.
n
div F~ = div(f g) = f g + f g.
Adems, se tiene
g
F~ n
=f
n
Entonces la igualdad (4.3) se deduce de aplicar el teorema de la divergencia al campo F~ .
Es fcil ver que esta eleccin para la familia de abiertos { }>0 satisface las condiciones esta-
blecidas en la seccin 4.1 y que aseguran la validez de (4.2).
Sea tambin F~ : R3 R3 un campo de clase C 1 en el abierto con r~0 . Definamos
o ms simplemente
F~ = Fu u + Fv v + Fw w,
donde hemos omitido las dependencias explcitas en (u, v, w) para simplificar la notacin.
Notemos que podemos descomponer la superficie en la unin de 6 superficies regulares,
cada una correspondiente a la imagen va el cambio de coordenadas ~r = ~r(u, v, w) de una cara
del cubo [u0 , u0 + ] [y0 , y0 + ] [z0 , z0 + ] perteneciente al espacio donde se mueven las
coordenadas (u, v, w).
Por ejemplo, si llamamos S1 a la imagen va ~r de la cara correspondiente a u = u0 + ,
entonces S1 es la superficie parametrizada por
~ (v, w) = ~r(u0 + , v, w), (v, w) [y0 , y0 + ] [z0 , z0 + ],
en cuyo caso es fcil ver que la normal exterior a la regin est dada por
n
= u(u0 + , v, w),
Aqu
~r ~r ~r ~r ~r ~r
hu = /k k, hv = /k k y hw = /k k
u u v v w w
son los factores escalares asociados a cada componente del sistema de coordenadas ~r.
60 CAPTULO 4. COMPLEMENTOS SOBRE DIVERGENCIA Y TEOREMA DE GAUSS
De esta forma, tenemos que para esa superficie el flujo segn la normal exterior se puede
expresar como
ZZ Z0 +
vZ0 + w
F~ dA
~= (Fu hv hw )(u0 + , v, w)dwdv
S1 v0 w0
Procediendo de manera anloga con las otras 5 superficies y conservando siempre la orientacin
dada por la normal exterior al abierto en cada caso, se deduce que:
ZZ uZ0 + vZ0 +
F~ dA
~= [Fw hu hv (u, v, w0 + ) Fw hu hv (u, v, w0)]dvdu
u0 v0
Z0 +
uZ0 + w
Denotando
u
(Fu hv hw ) + v
(Fv hu hw ) + w
(Fw hu hv )
(u, v, w) = ,
hu hv hw
y usando la expresin del diferencial de volumen (ver el apndice C)
dV = hu hv hw dwdvdu
junto con el teorema del valor medio para integrales mltiples, se obtiene
ZZ Z0 +
uZ0 + vZ0 + w
F~ dA
~ = (u , v , w ) dV = (u , v , w ) Vol( ),
u0 v0 w0
es decir,
1
div F~ = [ (Fu hv hw ) + (hu Fv hw ) + (hu hv Fw )]
hu hv hw u v w
que es exactamente (1.11).
4.4. **DEMOSTRACIN DEL TEOREMA DE GAUSS 61
donde e1 , e2 , e3 forman
P3 labase cannica de R3 . Consideremos una base ortonormal v1 , v2 , v3 de
R . Entonces F = i=1 Fi vi donde Fi = hF~ , vi i. Introduzcamos el cambio de variables x = Ry
3 ~
donde
x1 y1
x = x2 R = [v1 , v2 , v3 ] y = y2 ,
x3 y3
es decir, R es la matriz de 3 3 cuyas columnas son los vectores v1 , v2 , v3 . Notemos que al ser
estos vectores ortonormales se tiene
RT R = I = RRT .
Entonces en las variables y y usando la base v1 , v2 , v3 el campo se puede expresar como
3
X
F (y) = Fi (y)vi Fi (y) = hF~ (Ry), vii
i=1
P3
Pero la relacin x = Ry se puede escribir componente por componente xj = i=1 Rji yi lo que
x
nos da yji = Rji . Por lo tanto
3
X X3 X 3
Fi F
= h Rji, vi i
i=1
yi i=1 j=1
xj
Por
P3 otro lado, los vectores vi pueden expresarse en trminos de R y la base cannica vi =
k=1 Rki ek por lo que
3 3 3 3 3 X 3 3
!
X Fi X X X F X X F
= Rjih , Rki ek i = Rji Rki h , ek i
i=1
y i i=1 j=1 k=1
xj j=1 k=1 i=1
xj
62 CAPTULO 4. COMPLEMENTOS SOBRE DIVERGENCIA Y TEOREMA DE GAUSS
donde (
1 si j = k
jk =
0 si j 6= k.
Por lo tanto obtenemos
3
X 3 X
X 3 3
X F 3
X Fj
Fi F
= jk h , ek i = h , ej i = .
i=1
yi j=1 k=1
xj j=1
xj j=1
xj
El segundo paso para probar el teorema de la divergencia consiste en obtener una versin
local de este, es decir, una versin del teorema donde adems se supone que el campo F~ es cero
fuera de una bola suficientemente pequea.
Lema 4.4.2. (Versin local del teorema de la divergencia) Para cualquier x0 existe un
R > 0 (pequeo, que depende de x0 ) tal que si F~ es un campo C 1 que se anula fuera de BR (x0 )
entonces
ZZ ZZZ
~ ~
F dA = div(F~ )dV. (4.6)
Demostracin.
El caso x0 . Gracias al Lema 4.4.1 vemos que la frmula (4.6) es invariante bajo rota-
cin de los
ejes. Efectuando una rotacin conveniente podemos suponer entonces que n (x0 ) =
(1, 1, 1)/ 3. Usando la definicin de superficie regular y el teorema de la funcin inversa po-
demos afirmar que existe R > 0 tal que la superficie BR (x0 ) es el grafo de funciones C 1
i : Ui R 1 i 3 es decir
BR (x0 ) = {(x1 , x2 , x3 ) : x1 = 1 (x2 , x3 ), (x2 , x3 ) U1 }
= {(x1 , x2 , x3 ) : x2 = 2 (x1 , x3 ), (x1 , x3 ) U2 }
= {(x1 , x2 , x3 ) : x3 = 3 (x1 , x2 ), (x1 , x2 ) U3 }
donde U1 , U2 , U3 son abiertos de R2 . Escribamos
ZZZ ZZZ ZZZ
F1 F2 F3
div F~ dV = div F~ dV = + + dV
x1 x2 x3
BR (x0 ) BR (x0 )
y analicemos el ltimo trmino. Vemos que se puede elegir 0 < r < R tal que si F~ se anula
fuera de Br (x0 ) entonces
ZZZ Z Z Z 3 (x1 ,x2 )
F3 F3
dV = dx3 dx1 dx2
x3 U3 x3 x3
BR (x0 )
4.4. **DEMOSTRACIN DEL TEOREMA DE GAUSS 63
y deducimos que
ZZZ ZZ
F3
dV = (0, 0, F3) n
dS.
x3
y anlogamente ZZZ ZZ
F1
dV = (F1 , 0, 0) n
dS.
x1
Notando que ZZ
F~ n
dS = 0
y para cualquier bola BRi (xi ), si F~ se anula fuera de BRi (xi ) entonces vale el teorema.
Para cada bola BRi (xi ) podemos encontrar una funcin i : R3 R, de clase C 1 tal que i > 0
en BRi (xi ) y i se anula fuera de la bola.
Para x definamos
i (x)
i (x) = Pm
j=1 j (x)
Entonces
i es C 1 en una vecindad de
P
Consideremos un campo F~ de clase C 1 . Como m ~
i=1 i (x) = 1 podemos descomponer F de
la forma m
X
~
F = (i F~ ).
i=1
Cada funcin i F~ es un campo C 1 que se anula fuera de BRi (xi ) por lo que podemos aplicar la
versin local del teorema de la divergencia
ZZ ZZZ
~
i F n
dS = div(i F ) dV
Sumando
ZZ ZZ X
m ZZZ X
m
F~ n
dS = i F~ n
dS = div(i F~ ) dV
i=1 i=1
ZZZ " m # ZZZ
X
= div i F~ dV = div F~ dV
i=1
Captulo 5
En virtud de 4.2, deducimos que la expresin del lado derecho converge a div(F~ ~v ), es decir
ZZ
1
lm ~v n F~ ) dA = div(F~ ~v ).
( (5.2)
0 Vol( )
Dado que ~v R3 es arbitrario, esta ltima frmula implica que el lmite existe y ms an, al
nos permite obtener la expresin:
reemplazar ~v = , ~v = y ~v = k,
ZZ
1 k = rot F~ .
lm F~ dA = div(F~ ) + div(F~ ) + div(F~ k)
n
0 Vol( )
Para la ltima igualdad usamos una identidad que es fcil de verificar (ver el ejercicio 1.4.5).
65
66 CAPTULO 5. COMPLEMENTOS SOBRE ROTOR Y TEOREMA DE STOKES
de modo que
La velocidad tangencial de los puntos ubicados en el borde de la rueda es F~ ,
la rapidez angular media w se puede estimar de la siguiente manera
Z Zh 2 ZZ
1 ddz = 1 dA,
w = vT = (F~ ) (F~ )
2h 2h
0 0 S
donde S denota el borde de la rueda (o manto del cilindro que sta forma) y vT denota la
rapidez tangencial media. Usando propiedades del producto cruz y el hecho que = w se
obtiene que F~ = F~ (w F~ ), lo que implica
) = w (
ZZ ZZ
1 1
w = w F~ ) dA =
( w n F~ ) dA,
(
22 h 22 h
S S
donde Ch, denota el cilindro de radio y altura h formado por la rueda. Haciendo tender h y
a cero, se obtiene por (5.1) que
1
w(x, y, z) = w rot(F~ )(x, y, z). (5.3)
2
5.2. INTERPRETACIN FSICA DEL ROTOR 67
Es decir, el rotor rot(F~ ) coincide con la velocidad angular del flujo F~ en el punto (x, y, z), salvo
por el factor 12 , tal como lo habamos anunciado.
Ejemplo 5.2.1. Un cuerpo slido gira en torno al eje k con velocidad angular constante igual
a ~ = k con > 0 una constante. Sabemos que la velocidad de un punto en la posicin ~r es
~v = ~ ~r,
~v (x, y, z) = k (x + y = y + x
+ z k)
~v
~r
F~ = 0 F~ 6= 0
68 CAPTULO 5. COMPLEMENTOS SOBRE ROTOR Y TEOREMA DE STOKES
n
i
S
Ai
n
i
S
Ai Ai h
n F~ ) =
i (
n ni (F~ n
) = F~ ( ) = F~ T ,
ni n
donde T es el vector tangente a la curva Si . Entonces, recordando que d~r = T dr, de la ecuacin
(5.4) se obtiene
Z h I
~ 1 ~
rot F (~ri ) n
i F d~r dh.
hAi 0 Si
5.4. ROTOR EN COORDENADAS ORTOGONALES 69
La ltima igualdad es vlida para toda altura h suficientemente pequea, por lo que al hacer
tender h a cero se infiere que
I
rot F~ (~ri ) n
i Ai F~ d~r.
Si
Notemos que en la ltima igualdad en (5.5) hemos usado que las integrales asociadas a los lados
internos de los paraleleppedos ih se anulan Zentre
Z s. Finalmente, se concluye notando que el
lado izquierdo de (5.5) converge a la integral rot(F~ ) dA
~ cuando la malla se hace cada vez
S
ms fina.
Para que esta demostracin sea rigurosa, falta justificar que los errores en las aproximaciones
realizadas pueden hacerse arbitrariamente pequeos y por lo tanto se anulan en el lmite.
F~ = Fu u + Fv v + Fw w.
Para obtener rot(F~ )(r~0 ) expresado en las coordenadas dadas por ~r, usaremos la escritura
rot F~ = (rot(F~ ) u)
u + (rot(F~ ) v)
v + (rot(F~ ) w)
w,
donde todos los trminos estn evaluados en ~r0 . Para esto, daremos una caracterizacin lmite
del rotor vlida en este contexto, alternativa a (5.1), que proviene de utilizar apropiadamente
el teorema de Stokes.
Comencemos por considerar la superficie S1 = {~r(u0 , v, w) | v0 v v0 + , w0 w
w0 + }, que es exactamente la misma de la seccin 4.3, y la curva cerrada = S1 que
corresponde a la frontera de S1 . Recordemos que el campo de normales sobre la superficie S1 ,
= u(u0, v, w), (v, w) (v0 , v0 + ) (w0, w0 + ). Recorramos
exteriores a , est dado por n
en sentido positivo respecto a la orientacin dada por el campo de normales. En consecuencia,
por el teorema de Stokes se tiene que
I ZZ ZZ
F~ d~r = rot(F~ ) dA
~= rot(F~ ) u dA = [rot(F~ ) u](~r ) A(S1 ),
S1 S1
70 CAPTULO 5. COMPLEMENTOS SOBRE ROTOR Y TEOREMA DE STOKES
donde para la ltima igualdad usamos el teorema de valor medio para integrales mltiples de
modo que ~r = ~r(u0 , v , w ) para algn par (v , w ) (v0 , v0 + ) (w0 , w0 + ). Por lo tanto,
por continuidad de las derivadas de F~ , se sigue que
I
~ 1
[rot(F ) u](r~0 ) = lm F~ d~r. (5.6)
0 A(S1 )
Ahora bien, al descomponer la integral de trabajo del numerador en cuatro integrales, cada
una asociada a uno de los segmentos que constituyen y que son aristas de un lado de S1 ,
obtenemos, con algo de abuso de notacin, que
I vZ0 + Z0 +
w Zv0 Zw0
F~ d~r = F~ d~r + F~ d~r + F~ d~r + F~ d~r
v0 w0 v0 + w0 +
vZ0 + Z0 +
w
~r
= F~ (~r(u0 , v, w0)) dv + Fw (u0 , v0 + , w)hw (u0, v0 + , w)dw
| {z v}
v0 w0
Fv (u0 ,v,w0 )hv (u0 ,v,w0 )
vZ0 + Z0 +
w
Utilizando una vez ms el teorema del valor medio para integrales mltiples y haciendo 0
se deduce finalmente que
1
rot(F~ ) u = [ (Fw hw ) (Fv hv )].
hv hw v w
Argumentos anlogos para las otras dos componentes permiten obtener expresiones similares
para rot(F~ ) v y rot(F~ ) w,
probando as la frmula (1.13).
Problemas de recapitulacin
1
Problema 1.
Problema 2. 2 Sea ~r el campo vectorial dado por ~r(x, y, z) = (x, y, z). Dada una superficie
regular S y un vector fijo ~v0 R3 , demuestre que
Z
ZZ 1
(~v0 ~r) d~r si S tiene borde S 6=
~=
~v0 dA 2 S
S
0 si S es una superficie cerrada
~v (x, y, z) = z + x
+ y k.
H1 = {(x, y, z) R3 : z = 0, y 0}
H2 = {(x, y, z) R3 : y = 2z}
D = {(x, y, z) R3 : x2 + y 2 = a2 }
S T
(a) Dibuje la curva C = (H1 H2 ) D y la superficie S que ella define.
71
72 PROBLEMAS DE RECAPITULACIN
~ y x
F (x, y) = ,
x2 + y 2 x2 + y 2
Z
1
2
Dada una curva R \ {(0, 0)} se define n() := F~ d~r.
2
(a) Para las siguientes parametrizaciones, bosqueje la curva correspondiente y calcule el valor
de n().
(b) Considere la curva parametrizada por ~ (t) = (2r r cos(t), r sin(t)), t [0, 2]. Para
calcular n() pruebe que existe g : R R2 R tal que F~ (x, y) = g(x, y) en un
rectngulo R que contiene a la curva . Deduzca el valor de n() para toda curva contenida
en dicho rectngulo.
d 1
Ind.: Busque g de la forma g(x, y) = f ( xy ) (recuerde que (arctg)(t) = ).
dt 1 + t2
(c) Hay alguna contradiccin entre los resultados obtenidos en las partes (a) y (b) ? Justi-
fique.
F~ (~r) = f (r 2 )~r.
4
Control 1. Primavera 1999. Matemticas Aplicadas. Prof: Felipe lvarez
PROBLEMAS DE RECAPITULACIN 73
(c) Con la misma notacin, sea C una curva de extremos O = (0, 0, 0) y A = (0, 0, a), regular
por pedazos, recorrida desde O hasta A. Verificar que
Z Za
1
F~ d~r = f (t)dt.
2
C 0
Problema 6. 5 Sea la parte de la superficie del toro de radios R, a (R > a) encerrada por
la esfera de radio R. Considere orientada segn la normal exterior al toro. Calcule:
(a) El flujo a travs de del campo elctrico debido a una carga puntual q en el orgen.
ZZ
(b) F~ dA
~ para el campo
Problema 7. 6
Considere el volumen R3 definido por las inecuaciones:
|z| 2 x2 y 2
(x 1)2 + y 2 1
(c) Calcular el trabajo del campo F~ = b a lo largo de la curva que se obtiene al intersectar
las superficies z = 2 x y con (x 1)2 + y 2 = 1 (precisar la orientacin escogida para
2 2
la curva).
(b) Escoja una orientacin para S y calcule el flujo a travs de S del campo vectorial en
coordenas cilndricas: F~ = b
3
b
+ cos2 ecos .
(c) Calcule el trabajo del campo F~ de p la parte (b) al recorrer la curva que se obtiene como
interseccin de las superficies z = x2 + y 2 y x2 + y 2 2ay = 0. Haga un bosquejo de
esta curva y precise el sentido de recorrido.
5
Examen. Primavera 1997. Matemticas Aplicadas. Prof: Roberto Cominetti
6
Control 1. Primavera 1999. Matemticas Aplicadas. Prof: Roberto Cominetti
7
Control 1. Primavera 2002. Matemticas Aplicadas. Prof: Felipe lvarez
74 PROBLEMAS DE RECAPITULACIN
Problema 9. 8
Sea S R3 la superficie caracterizada por x2 + y 2 2z = 0, x2 + y 2 4y 0.
(b) Calcule el flujo a travs de S orientada segn el campo de normales obtenido en (a), para
el campo F~ (x, y, z) = x2 2 + 2y 2 + k.
x +y x +y
Problema 10. 9
En lo que sigue denotamos = {(x, y, z) : x2 + y 2 6= 0}.
(b) Sea F~ : R3 el campo vectorial dado por F~ = cos() (coordenadas esfricas). Utilice
el Teorema de Stokes para calcular el trabajo de F~ a lo largo de la curva que resulta de
intersectar el casquete esfrico x2 + y 2 + z 2 = 2 con el plano x = 1. Haga un bosquejo
indicando la orientacin de la curva y de la normal escogida.
Problema 12. 11 De acuerdo a la teora de Yukawa para las fuerzas nucleares, la fuerza de
atraccin entre un neutrn y un protn tiene como potencial U(r) = Ker /r (coordenadas
esfricas) para ciertas constantes K < 0 y > 0.
(b) Calcule directamente el flujo de F~ a travs del casquete esfrico r = a (a > 0) orientado
segn la normal exterior.
(d) Demuestre que si R3 es un abierto acotado que contiene al origen, cuya frontera
es una superficie regular a trozos y orientada segn la normal exterior, entonces
ZZ ZZZ
~ ~
F dA = 4K 2
UdV.
Problema 13. 12 Sean dos abiertos acotados en R3 . Suponga que es una superficie
regular por pedazos y sea u C 2 (; R) tal que
u = f en
u n
b = g sobre
donde f, g C( ; R) y n
b es la normal exterior a . Pruebe que para todo v C 1 (; R)
ZZZ ZZ ZZZ
u vdV = vgdA vf dV.
12
Control 2. Primavera 2006. Matemticas Aplicadas. Prof: Felipe lvarez
76 PROBLEMAS DE RECAPITULACIN
Parte II
77
Captulo 6
El plano complejo
(a, b) + (c, d) = (a + c, b + d)
Este producto 2
entre vectores de R2 puede escribirse matricialmente como
a c a b c ac bd
= = .
b d b a d ad + bc
Es fcil verificar que (R2 , +, ) resulta ser un cuerpo conmutativo, el cual se denota simple-
mente por C. Por otra parte, C contiene una copia isomorfa del cuerpo de los nmeros reales
R. Ms precisamente, la funcin
h:R C
a h(a) = (a, 0)
1
Para las deniciones de espacio vectorial y de cuerpo, el lector puede ver el apunte del curso de lgebra.
2
No debe confundirse la operacin con el producto interno estndar, tambin conocido como producto
escalar, y que se dene como h(a, b), (c, d)i = ac + bd.
79
80 CAPTULO 6. EL PLANO COMPLEJO
x2 = 1.
i2 = 1,
z = a ib,
y geomtricamente corresponde a reflejar z con respecto al eje horizontal asociado a los nmeros
reales. Notemos que:
z1 , z2 C, z1 + z2 = z1 + z2 .
z1 , z2 C, z1 z2 = z1 z2 .
z = z ssi z R.
Re(z) = 12 (z + z).
1
Im(z) = 2i
(z z).
la corriente mientras que se usa j para el complejo (0, 1); nosotros utilizaremos i para denotar este ltimo.
6.2. ESTRUCTURA MTRICA DEL PLANO COMPLEJO 81
Ahora bien, dados z = a + ib 6= 0 y w = c + id, para calcular w/z utilizamos las siguientes
identidades:
w wz ac + bd ad bc
= w z 1 = = 2 2
+i 2 .
z zz a +b a + b2
A partir de lo anterior se deducen todas las reglas usuales del lgebra de los nmeros complejos,
las cuales se dejan al lector como ejercicio.
d(z1 , z2 ) = |z1 z2 |.
Observemos que |a + ib| coincide con la norma euclidiana k(a, b)k del vector (a, b) R2 , y
por lo tanto corresponde a la distancia entre el punto (a, b) y el origen del plano cartesiano. De
este modo, C y R2 tienen la misma estructura topolgica, lo que significa que las nociones de
vecindad, conjunto abierto, conjunto cerrado, compacidad y convergencia son las mismas.
En consecuencia:
1. Un conjunto A C se dice abierto si para todo punto z0 A existe un radio > 0 tal
que el disco
D(z0 , ) := {z C : |z z0 | < }
est contenido en A (ver figura 6.1).
D(z0 , ) := {z C : |z z0 | }
82 CAPTULO 6. EL PLANO COMPLEJO
b b
z0
A A
Abierto Cerrado
Figura 6.1: Conjunto abierto y cerrado
D(z0 , )c = {z C : |z z0 | > },
lm |zn z| = 0,
n
Propiedad. Si (zn ) C es una sucesin acotada entonces admite una subsucesin convergente.
Una caracterstica importante de que puede llevar a confusin es que no est nicamente
determinado, pues si es un valor para el ngulo entonces para cualquier entero k Z, el valor
+ 2k tambin es vlido para describir el mismo punto. Para evitar esta ambigedad, se suele
restringir el valor de al intervalo ] , ], en cuyo caso se dice que es el valor principal del
argumento de z y se escribe
= arg z.
En la seccin 8.2.1 veremos que es posible dar un sentido a la funcin exponencial evaluada en
arg z (, ]
ei = cos + i sen .
z1 z2 = r1 r2 ei(1 +2 ) ;
As,
arg(z1 z2 ) = arg(z1 ) + arg(z2 ) (mod 2),
Por otra parte, dado k N, las races k-simas de la unidad son aquellos complejos que satisfacen
z k = 1. Utilizando la representacin polar z = rei se tiene:
z k = 1 r k eik = 1 r k = 1, k = 0 (mod 2)
2 2 2
r = 1, = 0, ( ), 2( ), . . . , (k 1)( )
k k k
i 2 2i 2
(k1)i 2
z = 1, e k , e k , . . . , e k
k=2
1 = ei 1
b b
k=3
2
ei 3b
b
1
i 4
e 3
Continuidad y derivacin
lm f (z) = f (z0 ),
zz0
o de manera equivalente
lm |f (z) f (z0 )| = 0.
zz0
Por otra parte, dado z C, f (z) tiene una parte real y otra imaginaria; en consecuencia, se
puede escribir
f (z) = u(z) + iv(z),
o bien
f (z) = u(x, y) + iv(x, y), z = x + iy,
donde las funciones1 u = u(x, y) y v = v(x, y) son a valores en R. Es directo verificar que
f = u + iv es continua en z0 = x0 + iy0 ssi u : R y v : R son continuas en (x0 , y0 ). En
particular, las operaciones de suma, producto, ponderacin por escalar, composicin y cuociente
(cuando est bien definido) de funciones continuas preservan la continuidad.
Ejemplos 7.1.2.
1. Si f (z) = z 2 entonces
f (z) = x2 y 2 + i2xy,
1
El dominio de u = u(x, y) y v = v(x, y) es igual a , visto este ltimo como subconjunto de R2 .
85
86 CAPTULO 7. CONTINUIDAD Y DERIVACIN
donde
o(h)
lm= 0.
h0 h
Luego
f (z) f (z0 ) u(x0 + h, y0 ) u(x0 , y0 ) v(x0 + h, y0 ) v(x0 , y0 )
= +i .
z z0 h h
Se tendr en particular que
f (z0 + h) f (z0 ) u v
f (z0 ) = lm = (x0 , y0) + i (x0 , y0).
h0 h x x
Del mismo modo, es posible repetir un anlisis similar al anterior para z = z0 + ih con h R.
En tal caso tendremos
f (z) f (z0 ) f (z0 + ih) f (z0 )
=
z z0 ih
u(x0 , y0 + h) + iv(x0 , y0 + h) u(x0 , y0 ) + iv(x0 , y0)
=
ih ih
iu(x0 , y0 + h) + v(x0 , y0 + h) iu(x0 , y0 ) + v(x0 , y0)
= .
h h
De donde
As,
f (z0 + ih) f (z0 ) v u
f (z0 ) = lm = (x0 , y0) i (x0 , y0)
h0 ih y y
Por unicidad del lmite en la definicin de derivada, debe cumplirse la igualdad de las dos
expresiones recin calculadas para f (z0 ). De este modo, igualando las partes real e imaginaria
se obtiene
u v
(x0 , y0) = (x0 , y0 ),
(C-R) x y
u v
(x0 , y0) = (x0 , y0 ),
y x
que se conocen como las condiciones de Cauchy-Riemann. Cabe sealar que este desarrollo
slo asegura que estas condiciones son necesarias para la existencia de la derivada de f en z0 .
Veremos a continuacin que en realidad estas igualdades resultan ser condiciones necesarias
y suficientes para la derivabilidad de una funcin en un punto. Para ello, notemos que, de
manera equivalente, f es derivable en z0 si existe algn complejo f (z0 ) = a + ib tal que
1. Consideremos
f (z) = z 2 = x2 y 2 + 2ixy.
Las funciones u(x, y) = x2 y 2 y v(x, y) = 2xy son (Frchet)-derivables en todo R2 pues
todas sus derivadas parciales son continuas en R2 . Ms an, es directo verificar que se
cumplen las condiciones de Cauchy-Riemann en todo R2 :
u v
= 2x = ,
x y
u v
= 2y = .
y x
Luego
f (z0 ) = 2x0 + i2y0 = 2z0 .
2. Sea
f (z) = z 3 = (x3 3y 2x, 3x2 y y 3).
Nuevamente por Cauchy-Riemann:
u v
= 3(x2 y 2 ) = ,
x y
u v
= 6xy = .
y x
Luego
f (z0 ) = 3(x20 y02 ) + i6x0 y0 = 3z02 .
7.3. PROPIEDADES BSICAS DE LA DERIVADA COMPLEJA 89
3. Tomemos ahora
f (z) = z k ,
con k > 0 un entero fijo. Veremos por definicin que
f (z0 ) = kz0k1 .
En efecto,
X k
k k k1 k kl l
|(z0 + h) z0 kz0 h| = z h
l=2
l 0
k2
X k
= |h2 | z0k2j hj
j+2
j=0
k2
X
2 k!
|h| |z0 |k2j |h|j
j=0
(j + 2)!(k 2 j)!
k2
X
2 (k 2)!
|h| k(k 1) |z0 |k2j |h|j
j=0
j!(k 2 j)!
= |h| k(k 1)(|z0 | + |h|)k2.
2
Luego
(z0 + h)k z0k h0
kz k1 |h| k(k 1)(|z0 | + |h|)k2 0.
h 0
Las reglas usuales para la derivacin de sumas, productos, cuocientes, ponderacin por escalar
y composicin de funciones son vlidas. A continuacin enunciamos estas propiedades, cuyas
demostraciones quedan como ejercicio al lector.
p(z) = c0 + c1 z + . . . + ck z k
es holomorfo en C con
p (z0 ) = c1 + 2c2 z0 + . . . + kck z k1 .
Similarmente,
1
f (z) =
zk
es holomorfa en C \ {0} con
k
f (z0 ) = , z0 6= 0.
z0k+1
Por otra parte, es evidente que si f C con C C una constante entonces f 0. Para la
recproca se tiene:
u u v v
(x, y) , (x, y) = (x, y) = (x, y) = (x, y) = 0.
x y x y
Como es conexo, se deduce que existen dos constantes reales C1 y C2 tales que u C1 y
v C2 , y en consecuencia f C1 + iC2 en .
z , F (z) = f (z).
7.4. Ejercicios
1. Para las siguientes funciones, determine aquellas que son holomorfas en todo C y calcule
su derivada:
a) f (z) = z.
b) f (z) = ex (cos y i sen y), z = x + iy.
c) f (z) = ex (cos y i sen y), z = x + iy.
d ) f (z) = (z 3 + 1)ey (cos x + i sen x), z = x + iy.
6. Sea f (z) = u(x, y) + i v(x, y) una funcin holomorfa para la cual existen constantes
a, b, c IR no nulas tales que a u(x, y) + b v(x, y) = c. Probar que f es constante.
7.5. Problemas
Problema 7.1. Definamos los operadores diferenciales y mediante las frmulas
z z
1
= i
z 2 x y
1
= +i
z 2 x y
f
(a) Pruebe que f = u + iv satisface las ecuaciones de Cauchy-Riemann si y slo si = 0.
z
f
(b) Si f H(), muestre que z , f (z) = (z).
z
92 CAPTULO 7. CONTINUIDAD Y DERIVACIN
2f
(c) Explicite en trminos de u y v a qu corresponde la ecuacin = 0.
zz
(d) Dada una funcin f = u + iv con u y v de clase C 2 , se define el laplaciano de f mediante
f = u + iv,
Problema 7.2. Sean u(x, y) y v(x, y) dos funciones de clase C 1 en R2 . Considere los campos
en R3 definidos por w(x, ~ 1 (x, y, z) = v(x, y)b u(x, y)b
yw
~ y, z) = u(x, y)b + v(x, y)b .
(c) Pruebe que si u(x, y) es armnica entonces existe una funcin v(x, y) conjugada de u. In-
dicacin: note que lo anterior es equivalente a probar que un cierto campo es conservativo.
Hemos visto que las funciones algebraicas, entendidas como sumas (finitas), productos, cuo-
cientes y potencias de polinomios en z, son funciones holomorfas en todo C. En este captulo
extenderemos varias funciones trascendentes de una variable real al plano complejo utilizando
sus expresiones en series de potencias, obteniendo as nuevas funciones holomorfas.
Recordemos que dada una sucesin de nmeros reales (an ), se define el lmite superior de la
sucesin como
lm sup an lm sup ak (0, +].
n n kn
93
94 CAPTULO 8. FUNCIONES EN SERIE DE POTENCIAS
Supongamos que |z| > R. Por una parte, tenemos que |SN (z) SN 1 (z)| = |cN ||z|N .. Si
SN (z) converge entonces necesariamente |SN (z) SN 1 (z)| 0. Escojamos una subsu-
cesin Nk tal que q
Nk
|cNk | 1/R.
p
En particular, dado > 0 se tendr que para todo k suficientemente grande Nk
|cNk | >
1/(R + ), y en consecuencia
Escogiendo > 0 tal que R + < |z| (esto es posible pues hemos supuesto que |z| > R),
se deduce que
|cNk ||z|Nk > Nk con > 1.
Luego, |SNk (z) SNk 1 (z)| Nk , y por lo tanto SN (z) no converge.
Demostremos ahora que la serie S(z) es derivable trmino pa trmino tal como p se establece
en el enunciado. Comencemos por notar que como lm supk k1 k|ck | = lm supk k |ck |, entonces
ambas series tienen el mismo radio de convergencia. Sea z0 D(0, R) y h C pequeo de
modo tal que |z0 | + |h| R . Entonces
S(z + h) S(z ) X X
(z + h) k
z k
0 0 0 0
kck z0k1 = ck kz0k1
h h
k=1 k=2
X
|h| k(k 1)|ck |(|z0 | + |h|)k2
k=2
" #
X
|h| k(k 1)|ck |(R )k2
| k=2 {z }
convergente a un M <+
= M|h| 0 cuando h 0.
8.2. EJEMPLOS DE FUNCIONES EN SERIE DE POTENCIAS 95
tiene derivadas de todos los rdenes en D(a, R), lo que escribimos S C (D(a, R)), y ms
an
X
(n)
n N, S (z) = k(k 1) (k n + 1)ck (z a)kn .
k=n
En particular,
S (k) (a)
k N, ck = .
k!
Propiedades.
x R, exp(x) = ex .
y R, exp(iy) = cos y + i sen y.
En efecto, desarrollando la serie de potencias e identificando sus partes real e imaginaria
se obtiene
X
(iy)k
exp(iy) =
k=0
k!
y2 y4 y6 y3 y5 y7
= [1 + + . . .] + i[y + + . . .]
2! 4! 6! 3! 5! 7!
= cos y + i sen y.
96 CAPTULO 8. FUNCIONES EN SERIE DE POTENCIAS
x, y R,
exp(x + iy) = ex (cos y + i sen y).
| exp(z)| = ex 6= 0 x R.
cosh : C C
definida por
exp(z) + exp(z)
cosh(z) =
2
z2 z4 z6
=1+ + + + ...
2! 4! 6!
= cosh(x) cos y + i senh(x) sen y.
senh : C C
8.2. EJEMPLOS DE FUNCIONES EN SERIE DE POTENCIAS 97
definida por
exp(z) exp(z)
senh(z) =
2
z3 z5 z7
=z+ + + + ...
3! 5! 7!
= senh(x) cos y + i cosh(x) sen y.
Propiedades.
cosh(z) = 0 z = ( 2 + k)i, k Z.
senh(z) = 0 z = ki, k Z.
cos : C C
definida por
z2 z4 z6
cos(z) = 1 + + ...
2! 4! 6!
exp(iz) + exp(iz)
=
2
= cosh(iz)
= cosh(y) cos x i senh(y) sen x.
sen : C C
1
Las series de potencias del seno y del coseno tienen ambas radio de convergencia igual a innito.
98 CAPTULO 8. FUNCIONES EN SERIE DE POTENCIAS
definida por
z3 z5 z7
sen(z) = z + + ...
3! 5! 7!
exp(iz) exp(iz)
=
2i
1
= senh(iz)
i
= cosh(y) sen x + i senh(y) cos x.
Propiedades.
cos(z) = 0 z = ( 2 + k), k Z.
sen(z) = 0 z = k, k Z.
La primera dificultad es simple de resolver pues basta restringir el dominio del logaritmo al
rango de la exponencial, esto es, C \ {0}. Aunque el segundo inconveniente es ms delicado,
veremos a continuacin que s es posible definir
log : C \ {0} C
z C \ {0}, exp(log(z)) = z.
En efecto, sea z = rei con r = |z| > 0 de modo que z C \ {0}. Para resolver la ecuacin
exp(w) = z tomemos w = x + iy de modo que exp(w) = ex eiy , y as la ecuacin ex eiy =
8.2. EJEMPLOS DE FUNCIONES EN SERIE DE POTENCIAS 99
rei tiene como solucin x = ln r, y = (mod 2). Luego, el conjunto solucin est dado por
{ln |z| + i(arg z + 2k)|k Z}, donde arg z (, ] es el valor principal del argumento de z
definido en la seccin 6.3.
As, para cada k Z tenemos la determinacin k-sima de la funcin logaritmo logk :
C \ {0} C definida por logk (z) = ln |z| + i(arg z + 2k). La determinacin principal del
logaritmo complejo es la funcin
log : C \ {0} C
definida por
log(z) = ln |z| + i arg z.
Como la funcin arg z es discontinua en R pues pasa de a , no podemos esperar que
log(z) sea holomorfa en todo C \ {0}.
Propiedades.
/ R :
Desarrollo en serie en torno a z0
Como
z0 X z
= (1 )k
z k=0
z0
siempre que |z z0 | < |z0 | entonces para todo z en la componente conexa por caminos del
conjunto D(z0 , |z0 |) \ R que contiene a z0 se tiene
X (1)k
log(z) = log(z0 ) + k+1
(z z0 )k+1 .
k=0
(k + 1)z0
senh(z)
tanh(z) =
cosh(z)
sen(z)
tan(z) =
cos(z)
z = exp( log(z)),
8.3. Ejercicios
P
1. Sabiendo que la serie S(z) = ck (z z0 )k tiene radio de convergencia R0 > 0, determine
el radio de convergencia de las siguientes series de potencias:
X X X
ck (z z0 )2k , c2k (z z0 )k , c2k (z z0 )k .
2. Pruebe que:
1
P
z2
=1+ (k + 1)(z + 1)k , cuando |z + 1| < 1.
k=1
1 1 1
P
z2 k
z2
= 4
+ 4
(1)k (k + 1) 2
, cuando |z 2| < 2.
k=1
3. Pruebe que:
sen(iz) = i senh(z).
senh(iz) = i sen(z).
cos(iz) = cosh(z).
cosh(iz) = cos(z).
sen(z) = sen(z)
cos(z) = cos(z).
lm ey sen(x + iy) = 21 [sen x + i cos x].
y
lm tan(x + iy) = i.
y
4. Demostrar que
f (z) = exp(z 2 ) + cos(z)
2+z
S(z) = .
1 z2
z2
6. Determine la serie de potencias en torno a 0 de la funcin f (z) = indicando su
(1 + z)2
radio de convergencia.
102 CAPTULO 8. FUNCIONES EN SERIE DE POTENCIAS
8.4. Problemas
Problema 8.1. Determine el radio de convergencia de las siguientes series:
P
(i) (log (n))2 xn ,
P n n2 n
(ii) n+1
x
Problema 8.2. Sea Sn (z) = z + 2z 2 + 3z 3 + . . . + nz n y Tn (z) = z + z 2 + z 3 + . . . + z n
Tn (z)nz n+1
(i) Mostrar que Sn (z) = 1z
.
P
(ii) Determinar el radio de convergencia de la serie nz n , y usando (a) calcular la suma de
n=1
dicha serie.
2
Problema 8.3. Sea f : C C definida por f (z) = ez . Determine la serie de potencias de f
en torno al origen y su radio de convergencia.
Problema 8.4. Dado C, definimos p : C \ {0} C por
(i) Verifique que para todo k Z, pk (z) = z k . Muestre que p (z) = p (z) para cualquier
C.
(ii) Dados , C, verifique que p+ (z) = p (z)p (z). Determine adems el dominio donde
p es holomorfa y pruebe que (p ) = p1 .
(iii) Todo lo anterior justifica que la funcin p se llame funcin potencia generalizada y que se
denote ms simplemente por p (z) = z . Muestre que si , son reales y t > 0 entonces
(i) En esta ocasin utilizaremos el criterio del cuociente, recordando que el cuociente de una
serie se define por
1 |an+1 |
= lm sup .
R n |an |
8.5. RESOLUCIN DE PROBLEMAS 103
Se deja al lector ver que sucede cuando se aplica el criterio de la raz ensima.
Desarrollamos el cuociente de la serie y obtenemos
2
1 (log(n + 1))2 log(n + 1)
= lm sup = lm sup .
R n (log n)2 n log n
Utilizando lHpital se llega a
2 2
1 1/(n + 1) 1
= lm sup == lm sup = 1.
R n 1/n n 1 + 1/n
(1 z) Sn (z) = (1 z)(z + 2z 2 + . . . + nz n )
= (z + 2z 2 + 3z 3 + . . . + nz n ) (z 2 + 2z 3 + 3z 4 + . . . + nz n+1 )
= z + (2z 2 z 2 ) + (3z 3 2z 3 ) + . . . + (nz n n 1)z n ) nz n+1
= z + z 2 + z 3 + . . . + z n nz n+1
= Tn (z) nz n+1 ,
Tn (z)nz n+1
obteniendo que Sn (z) = 1z
.
Notemos que
n1
X (1 z n )
Tn = z + z 2 + . . . + z n = z(1 + z + z 2 + . . . + z n1 ) = z zi = z ,
i=0
1z
n |z|n+1
lm n|z|n+1 = lm = l
m = 0.
n n 1/|z|n+1 n ln |z|
y si z = 0,
lm n|z|n+1 = 0.
n
Luego
X 1 z
nz n = lm Sn = lm (Tn nz n+1 ) = .
nN
n 1z n (1 z)2
X
X
X
z 2 (z 2 )n z 2n n
e = = (1) = an z n
n=0
n! n=0
n! n=0
donde, ( n
(1) 2
n si n es par
an = 2
!
0 si n es impar
9.1. Definicin
Un camino en C es una curva regular por trozos parametrizada por una funcin continua
y diferenciable por trozos : [a, b] C. Se dice que el camino es cerrado si (a) = (b).
En algunas ocasiones, denotaremos por a la curva como conjunto imagen de [a, b] va la
parametrizacin , es decir
= ([a, b]) = {(t) : a t b}.
Sea C un conjunto abierto y f : C una funcin continua. Dado un camino
parametrizado por : [a, b] , definimos la integral compleja de f sobre mediante
Z Zb
f (z)dz := f ((t))(t)dt.
a
Luego
Z Z Z
u v
f (z)dz = d~r + i d~r.
v u
105
106 CAPTULO 9. INTEGRAL EN EL PLANO COMPLEJO
R
Esto muestra que f (z)dz se calcula a partir de dos integrales de trabajo sobre , vista esta
ltima como una curva en R2 .
En particular resulta que la integral compleja es invariante bajo reparametrizaciones regula-
res de que preservan la orientacin; en caso que dos parametrizaciones regulares del camino
lo recorran en sentido opuesto, el valor de la integral slo cambia de signo.
1. , C, f, g C()
Z Z Z
[f (z) + g(z)]dz = f (z)dz + g(z)dz.
2. f C()
Z
f (z)dz L() sup |f (z)|,
z
Rb
donde L() = |(t)|dt
es la longitud del camino .
a
3. Si f C() admite primitiva, i.e. F H() tal que F (z) = f (z), entonces
Z
f (z)dz = F ((b)) F ((a)),
y en consecuencia el valor de la integral slo depende de los extremos del camino pero no
de la trayectoria recorrida. En particular, si es un camino cerrado entonces
I
f (z)dz = 0.
9.2. PROPIEDADES Y EJEMPLOS 107
Demostracin.
1. Directo.
2. Comencemos por observar que si H(t) = U(t) + iV (t) entonces
b b
Z Z Zb Zb
H(t)dt = U(t)dt + i V (t)dt |H(t)|dt.
a a a a
b
Rb R
En efecto, sean r0 y 0 tales que r0 e i0
= H(t)dt, de modo que r0 = H(t)dt. Luego,
a a
Zb Zb
i0
r0 = e H(t)dt = ei0 H(t)dt,
a a
donde hemos usado que |ei0 | = 1, probando as nuestra primera afirmacin. Utilizando
lo anterior, se obtiene
Z Zb Zb
f (z)dz |f ((t))| |(t)|dt
sup |f (z)| |(t)|dt
z
a a
= sup |f (z)|L().
z
1
F (z) = (z z0 )k+1 .
k+1
z0
En el caso de una funcin que es expresable como una serie de potencias en un disco se tiene:
X
S(z) = ck (z z0 )k
k=0
Demostracin. Basta con observar que la serie de potencias S(z) tiene como primitiva en
D(z0 , R) a la funcin
X
ck
F (z) = (z z0 )k+1.
k=0
k + 1
Resultados como el corolario 9.2.3 pueden ser muy tiles para evaluar integrales reales en
base a mtodos de variable compleja. El siguiente ejemplo es una ilustracin clebre de esta
clase de tcnica.
(R) = 1 2 3
3 2
(R)
/4
1 R
Consideremos la funcin
f (z) = exp(iz 2 ).
Como se trata de la funcin exponencial, la cual se define como una serie de potencias de radio
de convergencia infinito, compuesta con el polinomio p(z) = iz 2 , se deduce que f (z) admite un
desarrollo en serie de potencias, cuyo radio de convergencia tambin es infinito.
Luego, I
exp(iz 2 )dz = 0. (9.2)
(R)
110 CAPTULO 9. INTEGRAL EN EL PLANO COMPLEJO
Tenemos
Z ZR ZR ZR
2 2 2
exp(iz )dz = exp(ix )dx = cos(x )dx + i sen(x2 )dx,
1 0 0 0
luego
Z Z Z
exp(iz 2 )dz cos(x2 )dx + i sen(x2 )dx, cuando R .
1 0 0
Tenemos
Z Z0 ZR
2
exp(iz 2 )dz = exp(ir 2 ei/2 )ei/4 dr = ei/4 er dr,
3 R 0
luego Z r r
2 i/4 1
exp(iz )dz e = ( +i ), cuando R .
2 2 2 2
3
Finalmente
/4
Z Z
exp(iz 2 )dz = exp(iR2 e2i )Riei d
2 0
/4
Z
2 (cos 2+i sen 2) i
= R e iR
e d
0
Z/4
2
R eR sen 2
d
0
Z/4
22
R eR 2 d
0
/4
4R2
= e
4R 0
R2
= [1 e ] 0, cuando R .
4R
Para la segunda desigualdad hemos usado que
[0, /2], sen 2/.
9.2. PROPIEDADES Y EJEMPLOS 111
Por lo tanto, haciendo R en (9.2) e igualando las partes real e imaginaria, se obtiene
Z Z r
2 2 1
cos(x )dx = sen(x )dx =
2 2
0 0
Zb
1 1 i(t)
Ind (z0 ) = i(t)
[r(t)e
+ r(t)iei(t) (t)]dt
2i r(t)e
a
b
Z Zb
1 r(t)
= dt + i (t)dt
2i r(t)
a a
1 h r(b) i
= ln + i[(b) (a)]
2i r(a)
(b) (a)
Ind (z0 ) =
2
= nmero de vueltas de en torno a z0 en sentido antihorario.
Un ejemplo de los valores que puede tomar la indicatriz de una curva cerrada se ilustra en
la figura 9.3
0
1 2
En otros trminos, un camino cerrado simple es aqul que siendo cerrado no se corta a s
mismo.
Teorema 9.3.3 (Cauchy-Goursat). Si f es una funcin holomorfa en un abierto simplemente
conexo entonces I
f (z)dz = 0
para todo camino cerrado, regular por trozos y simple contenido en .
esto ltimo en virtud del teorema de Green en el plano (suponiendo que se recorre en sentido
antihorario), el cual se puede aplicar pues las derivadas parciales de u y v son continuas.
Finalmente, de las condiciones de Cauchy-Riemann se deduce que los integrandos de las dos
integrales dobles son nulos en D, lo que prueba el resultado.
Observacin 9.3.4. El teorema 9.3.3 fue demostrado originalmente por A. Cauchy bajo la
hiptesis adicional de que f (z) es continua en , lo que asumimos en la demostracin slo para
simplificar el anlisis pues nos permite aplicar directamente el teorema de Green en el plano.
1
Para una demostracin en el caso general el lector puede referirse por ejemplo a Teora de Funciones de
Variable Compleja, R.V. Churchill, McGraw-Hill, New York, 1966.
9.3. EL TEOREMA DE CAUCHY-GOURSAT 113
Es generalmente reconocido que el primero en dar una demostracin sin asumir la continuidad
de f (z) fue E. Goursat. Esto ltimo es muy importante pues nos permitir probar que toda
funcin holomorfa es expresable, al menos localmente, como una serie de potencias (ver el
teorema 10.2.1).
f : \ {p1 , p2 , ..., pn } C
una funcin holomorfa, donde {p1 , p2 , ..., pn } . Sea un camino cerrado, regular por
trozos, simple y recorrido en sentido antihorario y sea D la regin encerrada por . Supongamos
que {p1 , p2 , , pn } D y escojamos > 0 suficientemente pequeo de modo tal que los
discos cerrados D(pj , ) estn contenidos en D y no se intersecten entre s. Sea j (t) = pj + eit
con t [0, 2]. Entonces
I n I
X
f (z)dz = f (z)dz
j=1 j
b
D
9.4. Ejercicios
1. Calcule directamente el valor de las siguientes integrales:
Z Z Z Z
dz
Re(z)dz, Im(z)dz, 2
, z n dz
z +1
[0,z0 ] |z|=1 |z|=2 |z|=1
3. Pruebe que Z Z
z z 2 exp(z)
lm 3
dz = 0, lm dz = 0
R z +1 R z+1
|z|=R [R,R+i]
4. Sea C un camino cerrado simple recorrido en sentido antihorario y que encierra una
regin D C. Pruebe que I
1
Area(D) = zdz.
2i
9.5. PROBLEMAS 115
5. Pruebe que
Z
2
ex Im(e2ix p(x + i))dx = 0
9.5. Problemas
R
Problema 9.1.
z dz con la frontera del semicrculo { z C : |z| 1, Imz 0} .
|z|
R
Problema 9.2.
|z|2 dz donde es el cuadrado de vrtices 0, 1, 1 + i e i.
R |z|
Problema 9.3. |1z| 2 |dz| donde es la circunferencia de radio r (0 < r < 1 ) y centro el
origen.
Indicacin: Pruebe previamente que si 0 r < R, se tiene:
X
1 1 r n
= (1 + 2 ( ) cos(nt))
R2 2rR cos(t) + r 2 R2 r 2 n=1
R
P r
y use que r n converge uniformemente a
n=1 1r
con |r| < 1 (r C).
R
Problema 9.4. Calcule zdz, siendo :
(b) la lnea poligonal que conecta los puntos 0 con 2i, y 2i con 4 + 2i.
R
Problema 9.5. Calcule dz z2
, siendo :
Z Z
x2 b2 2
e cos(2bx)dx = e ex dx
0
0
Z Z b
2 2 2
ey sin(2by)dy = eb ey dy
0 0
1
Indicacin: Integre f (z) = en un contorno rectangular adecuado.
1 + z2
(b) Si adems b 6= 0, pruebe que
Z
x 1 1+b
dx = ln
(1 b2 2 2 2
+ x ) + 4b x2 4b 1 b
0
entonces se tiene Z Z
i0 i0
e f (e x)dx = f (x)dx.
0 0
(b) Pruebe que f (z) = exp(z 2 ) satisface (9.3) para todo 0 ]0, /4].
R 2
(c) Sabiendo que ex dx = , calcule el valor de las siguientes integrales impropias:
Z Z
x2 2 2
e cos(x )dx, ex sin(x2 )dx.
0 0
2 2 2+ 2
Indicacin: sin( 8 ) = 2
, cos( 8 ) = 2
.
1 (t) = t, t [0, 1]
3 (t) = (1 t) + i, t [0, 1]
Por lo tanto:
Z Z 1 Z 1 Z 1 Z 1
2 2 2 2
|z| dz = t dt + (1 + t )idt (1 + (1 t) )dt (1 t)2 idt
0 0 0 0
Z 1
= (2t 2 + 2ti)dt = i 1
0
X
1 1 r
2 2
= 2 2
(1 + 2 ( )n cos(nt))
R 2rR cos(t) + r R r n=1
R
siendo la convergencia de la serie uniforme en t [0, 2]. En efecto, observemos primero que
1 1 1
= =
R2 2rR cos(t) + r 2 R2 rR(eit + eit ) + r 2 (R reit )(R reit )
1 z 1 R r2
= = ( + )
(R z)(R z) (R z)(Rz r 2 ) R2 r 2 R z Rz r 2
por lo que poniendo z = reit y usando la segunda parte de la indicacin, se tiene que:
1 1 1 ( Rr )eit
= 2 ( + )
R2 2rR cos t + r 2 R r 2 1 ( Rr )eit 1 ( Rr )eit
X
1 r n int r it X r n int
= 2 ( ( ) e + ( )e ( ) e )
R r 2 n=0 R R n=0
R
X
1 r n int X r n int
= 2 ( ( ) e + ( ) e )
R r 2 n=0 R n=1
R
118 CAPTULO 9. INTEGRAL EN EL PLANO COMPLEJO
X
1 r
= 2 2
(1 + 2 ( )n cos(nt)).
R r n=0
R
Por tanto, puesto que la convergencia uniforme permite intercambiar los signos de
integral y de suma, usando la indicacin con R = 1, tenemos que:
Z Z 2 Z 2 Z 2
|z| r 2 dt 2 dt
|dz| = rdt = r =r
|1 z|2 0
it
|1 re | 2
0
2 2
(1 r cos(t)) + r sen (t) 2
0 1 2r cos(t) + r 2
Z 2 X X
r2 n r2 n sen(nt) t=2 2r 2
= (1 + 2 r cos(nt))dt = [t + 2 r ]t=0 = .
1 r2 0 n=0
1 r 2
n=1
n 1 r 2
t4 t3 t2 8
=[ i + ]t=2
t=0 = 10 i.
2 3 2 3
(b) Nuevamente por definicin tenemos que:
Z Z 2 Z 4
zdz = (it)idt + (t + 2i)dt
0 0
t2 t2
= [ ]t=2 + [ + 2it]t=4
t=0 = 10 + 8i.
2 t=0 2
Solucin Problema 9.5
1 : x; x [0, R], 2 : R + iy; y [0, b], 3 : x + ib; x [R, 0], 4 : iy; y [b, 0].
P4 R
As, de la igualdad i=1 i
f (z)dz = 0 se obtiene
ZR Zb ZR Zb
x2 (R+iy)2 (x+ib)2 2
e dx + e idy e dx ey idy = 0. (9.4)
0 0 0 0
Adems
ZR Z+
x2 2
lm e dx = ex dx,
R
0 0
ZR ZR
x2 b2 2 2
lm e e2xib e dx = lm eb ex (cos(2xb) i sen(2bx))dx
R R
0 0
Z
2 2
= eb ex (cos(2xb) i sen(2bx))dx.
0
Para la parte real del segundo trmino de (9.4) (luego de factorizar apropiadamente) se tiene
b
Z Zb
e e cos(2yR)dy |eR2 ey2 cos(2yR)|dy
R2 y2
0 0
Zb Zb
R2 y2 R2 2
e e | cos(2yR)|dy e ey dy 0
R
0 0
Adems se tiene
Zb Zb
y 2 2
lm e dy = ey dy
R
0 0
120 CAPTULO 9. INTEGRAL EN EL PLANO COMPLEJO
Igualando entonces, tanto la parte real como la imaginaria a 0 en (9.4), finalmente se obtiene:
Real:
Z Z
x2 2 2
e dx eb ex cos(2xb)dx = 0,
0 0
R 2 2 R 2
concluyendo que ex cos(2xb)dx = eb ex dx.
0 0
Imaginaria:
Z Zb
b2 x2 2
e e sen(2bx)dx ey dy = 0,
0 0
R 2 2 Rb 2
concluyendo que ey sen(2by)dy = eb ey dy
0 0
Captulo 10
La primera integral del lado derecho tiende a 0 cuando 0; en efecto, por la Proposicin
9.2.1 se tiene I
f (z) |f (z)|
dz 2 sup 2M,
D(p,) z z0 zD(p,) |z z0 |
121
122 CAPTULO 10. FRMULA DE CAUCHY Y PRIMERAS CONSECUENCIAS
Por otra parte, para la segunda integral del lado derecho en (10.2) se obtiene
Z Z2
f (z) f (z0 + eit ) it
dz = ie dt
z z0 eit
D(z0 ,) 0
Z2
= f (z0 + eit )idt.
0
En efecto, dado > 0, la continuidad de f en z0 permite asegurar que existe > 0 tal que si
|z z0 | entonces |f (z) f (z0 )| < . Luego, si entonces |z0 + eit z0 | = y en
consecuencia
2 2
Z Z
f (z0 + eit )dt 2f (z0 ) = [f (z0 + eit ) f (z0 )]dt
0 0
Z2
Mr = sup |f (z)|
zD(p,r)
124 CAPTULO 10. FRMULA DE CAUCHY Y PRIMERAS CONSECUENCIAS
entonces
k!Mr
k 0, |f (k) (p)|
rk
de modo que:
I
(k) k! |f (w)|
|f (p)| k+1
|dw|
2 D(p,r) r
Z2
k! |f (p + rei )|
= |riei |d
2 r k+1
0
Z2
k! 1
|f (p + rei )|d
2 r k
0
k! 1 k!Mr
k
Mr 2 = k .
2 r r
Demostracin. Por hiptesis, existe una constante M > 0 tal que z C, |f (z)| M. Sea
z0 C. Dado r > 0, obviamente D(z0 , r) C que es la regin en donde f es holomorfa. Por el
corolario anterior, se tiene que para k = 1, |f (z0 )| M/r, pues Mr = supzD(z0 ,r) |f (z)| M.
Como r > 0 es arbitrario, podemos hacer r para deducir que |f (z0 )| = 0, y como z0
tambin es arbitrario, tenemos que f 0 en C, de donde se sigue que f es constante.
hiptesis. Veamos ahora que efectivamente g es una funcin acotada bajo la condicin z C,
f (z) 6= 0; en efecto
1 1
g(z) = =
f (z) a0 + a1 z + . . . + an z n
!
1 1
= bn1
an z n b0
zn
+ b1
z n1
+ ...+ z
+1
donde bi = ai /an , i {0, 1, . . . , n1}. Notemos que |g(z)| 0 cuando |z| . En particular,
r > 0 tal que |z| > r |g(z)| 1. Para |z| r, notemos que g es continua de modo que
es acotada en el compacto D(0, r). Tomando M = max{1, supzD(0,r) |g(z)|} < se tiene que
z C, |g(z)| M.
El resto de la demostracin es algebraica. Sea f : C C un polinomio de grado n 1.
Como f no es constante, se tiene que z0 C tal que f (z0 ) = 0. As, resulta que (z z0 ) divide
a f luego podemos escribir f (z) = (z z0 )f1 (z). Notemos que f1 : C C es necesariamente un
polinomio de grado n1. Si n1 > 0, podemos aplicar el mismo razonamiento, para obtener un
z1 C tal que f1 (z1 ) = 0. Ahora bien, (z z1 ) divide a f1 , de donde se tiene que f1 = (z z1 )f2 ,
y por consiguiente f (z) = (z z0 )(z z1 )f2 (z). Repetimos el argumento n veces, hasta obtener
una secuencia {zi }i{0,1,...,n1} tal que f (z) = (z z0 )(z z1 ) . . . (z zn1 )fn (z). Notando que
fn es de grado 0, es decir fn constante, se concluye el teorema.
10.4. Ejercicios
1. Pruebe que para todo k R,
Z
ek cos cos(k sin )d = .
0
10.5. Problemas
Problema 10.1. Pruebe que si f H(D(z0 , R)) entonces para todo r ]0, R[ se tiene
Z2
1
f (z0 ) = f (z0 + rei )d.
2
0
126 CAPTULO 10. FRMULA DE CAUCHY Y PRIMERAS CONSECUENCIAS
y por lo tanto
Z/2
ln(sen x)dx = ln 2.
2
0
Problema 10.2. Sea f H( \ {0}) C() con un conjunto abierto tal que D(0, r)
para algn r > 0. Suponga que existe una sucesin (zn )n0 \{0} tal que zn 0 y f (zn ) = 0
para todo n 0. Pruebe que f 0.
donde C \ {0} es cualquier camino cerrado y simple que encierra al origen, y que se recorre
en sentido antihorario. Usando lo anterior, pruebe que
X
2n 1
n
= 5.
n=0
n 5
Z
2 1
Problema 10.5. Calcule la integral real dx.
0 1 + x4
Indicacines:
R 1
2. Si R = {z : |z| = R, 0 arg(z) /2}, pruebe que R 1+z 4
dz 0 si R .
3. Concluya.
1
Control 3. Primavera 2002. Matemticas Aplicadas. Prof: Salomn Alarcn y Felipe lvarez
2
Control 2. Primavera 2006. Matemticas Aplicadas. Prof: Alberto Mercado
10.6. RESOLUCIN DE PROBLEMAS 127
1
Ahora consideramos la funcin g(z) = 3i 5i 7i que es holomorfa en un con-
(ze 4 )(ze 4 )(ze 4 )
junto abierto que incluye la curva y todos los puntos que rodea, (de hecho
3i 5i 7i
g H(C \ {e 4 , e 4 , e 4 })). Entonces podemos usar la frmula de Cauchy, que nos
dice que
Z
1 i 2i 2i (1 i)
4
dz = 2i g(e 4 ) = = =
z +1 ( 2)( 2(1 + i))(i 2) 2 2(1 + i) 2 2
Lo que prueba el primer punto de la indicacin.
R 1
Probaremos ahora que lmR R 1+z 4 dz = 0.
Z
1 1
dz L(R ) sup 4
4
R 1 + z zR z + 1
R 1 R
= sup = R 0
2 [0,/2] |R4 ei4 + 1| 2(R4 1)
El lado izquierdo de (10.4) no depende de R y permanece igual a 2(1i)
4
cuando hacemos
R . Mientras que al tomar lmite al lado derecho obtenemos
Z Z Z
1 1 1
4
dx + 0 + 4
(i)dy = (1 i) 4
dx
0 x +1 0 y +1 0 x +1
Lo que nos permite concluir que
Z
1 2
4
dx =
0 x +1 4
128 CAPTULO 10. FRMULA DE CAUCHY Y PRIMERAS CONSECUENCIAS
Captulo 11
Se dice que p es un punto singular evitable si, junto con ser punto singular aislado, el siguiente
lmite existe
L0 (p) = lm f (z).
zp
Notemos que en este caso podemos extender la definicin de f a todo el disco D(p, R) de la
siguiente forma:
b f (z) si z D(p, R) \ {p},
f (z) =
L0 (p) si z = p.
129
130 CAPTULO 11. TEOREMA DE LOS RESIDUOS
existe y es no nulo, i.e. Lm (p) 6= 0. El menor m 1 con dicha propiedad se llama orden del
polo p. Diremos que p es un polo simple cuando sea un polo de orden m = 1.
Ejemplo 11.1.3. El complejo p = 0 es un polo simple de la funcin
cos z
f (z) = ,
z
pues
cos z
L1 (0) = lm(z 0) = lm cos z = cos(0) = 1.
z0 z z0
para todo entero m 1, lo que contradice la definicin de polo. Luego, un polo es una verdadera
singularidad de la funcin en el sentido que no es posible repararla en p por continuidad.
Supongamos que p es un polo de f (z) de orden m 1. Si consideramos
es holomorfa en todo .
11.1. PUNTOS SINGULARES, POLOS Y RESIDUOS 131
donde
gb(k) (p)
b
ck =
k!I
1 gb(w)
= dw
2i D(p,r) (w p)k+1
I
1 f (w)
= dw,
2i D(p,r) (w p)km+1
con lo cual se obtiene para f (z) el siguiente desarrollo en serie de potencias (con potencias
negativas) para todo z D(p, r) \ {p}:
b
c0 b
c1 b
cm1
f (z) = m
+ m1
+ ...+ + R(z), (11.1)
(z p) (z p) (z p)
donde el resto
X
R(z) = ck (z p)km
b
k=m
es una funcin holomorfa en D(p, r) por tratarse de una serie de potencias usual.
Esto se trata de un caso particular de lo que se conoce como expansin en serie de Laurent
de f (z) que veremos en la seccin 11.4, la cual constituye una generalizacin de la serie de
Taylor al caso de funciones con singularidades aisladas.
En el caso ms general, la serie de Laurent puede admitir infinitos trminos no nulos asociados
a potencias negativas (en lugar de slo un nmero finito como ocurre en el caso de un polo),
en cuyo caso decimos que se trata de una singularidad esencial de f (z). En este apunte, no
abordaremos mayormente el caso de singularidades esenciales.
132 CAPTULO 11. TEOREMA DE LOS RESIDUOS
Una expresin para Res(f, p) que es muy til en clculos especficos se obtiene al notar que
todas las derivadas de gb son continuas de modo tal que, recordando que
se tiene
1 dm1
Res(f, p) = lm [(z p)m f (z)] (11.2)
zp (m 1)! dz m1
dm1
donde dz m1
denota la derivada de orden m 1.
donde hemos usado que fb coincide con f en \ {p} y que el camino no pasa por p.
Supongamos ahora que p es un polo de f de orden m. Como en este caso no es posible
extender f a todo de modo que la extensin sea continua, nada asegura que (11.3) sea vlido.
De hecho, si suponemos que el camino cerrado simple est contenido en D(p, r)\{p} con r > 0
de modo tal que el desarrollo (11.1) es vlido para todo z D(p, r) \ {p}, entonces tenemos
I I
b
c0 b
cm1
f (z)dz = m
+ ...+ + R(z) dz
(z p) (z p)
I
1
= b cm1 dz
z p
= Res(f, p)2iInd (p)
= 2i Res(f, p),
siempre que se recorra en sentido antihorario. Esta propiedad explica el nombre de residuo
dado al coeficiente b
cm1 , y puede extenderse a situaciones ms generales. Introduzcamos primero
la siguiente definicin.
11.3. EJEMPLOS 133
(1) f H( \ P ).
(2) f tiene un polo en cada punto p P .
(3) P no posee puntos de acumulacin.
Teorema 11.2.2 (Teorema de los residuos de Cauchy). Sea f una funcin meromorfa en un
abierto y sea P el conjunto de todos sus polos. Sea un camino simple y cerrado, recorrido
en sentido antihorario, que encierra una regin D y tal que P = . Entonces encierra
un nmero finito de polos de f , digamos P D = {p1 , . . . , pn } y ms an
I n
X
f (z)dz = 2i Res(f, pj ). (11.4)
j=1
Demostracin. Comencemos por notar que si bien P puede ser infinito, sabemos que D es
acotado, y como P no tiene puntos de acumulacin en se sigue que P D es finito. Ahora
bien, de acuerdo con el teorema 9.3.5, para > 0 pequeo se tiene
I Xn I
f (z)dz = f (z)dz, j (t) = pj + eit , 0 t 2.
j=1
j
En torno a cada polo pj la funcin f admite un desarrollo del tipo (11.1) de modo tal que
I I h i
f (z)dz = cjmj (z pj )mj + . . . + cj1 (z pj )1 + Rj (z) dz
j j
I
1
= cj1 dz
j z pj
= 2i Res(f, pj ),
lo que prueba el resultado.
11.3. Ejemplos
Una primera regla de clculo sencilla para evaluar el residuo de una funcin de la forma
g(z)
f (z) =
h(z)
que tiene un polo simple en p, donde g(p) 6= 0 y h(p) = 0 consiste en la frmula
g(z) g(p)
Res ,p = . (11.5)
h(z) h (p)
La demostracin de (11.5) es directa de la definicin de residuo con orden m = 1 por ser p un
polo simple.
134 CAPTULO 11. TEOREMA DE LOS RESIDUOS
b
i
b
i
Antes de ver otro ejemplo, demostremos el siguiente resultado que es bastante til para el
clculo de polos y residuos.
11.3. EJEMPLOS 135
Entonces
no existe si f (k) (p) 6= 0 para algn k {0, 1, , n 1}.
f (z) (n)
lm = f (p)
zp g(z) (n) si f (k) (p) = 0 para todo k {0, 1, , n 1}
g (p)
Luego
P
f (k) (p)
k!
(z p)kn
f (z) k=0
lm = lm g (n) (p) (n+1)
zp g(z) zp + g (n+1)!(p) (z p) + . . .
n!
g (n) (p)
El denominador tiende hacia n!
. El numerador slo converge cuando f (k) (p) = 0 para todo
f (n) (p)
k < n, y en tal caso tiende a n!
, lo que permite concluir.
1 1
Solucin La funcin
1
f (z) =
z sen z
tiene como candidatos a ser polos todos los puntos del tipo pk = k, k Z.
Si k = 0 entonces p0 = 0 es polo de orden 2; en efecto
z 1
lm z 2 f (z) = lm = lm = 1,
z0 z0 sen z z0 cos z
Residuo:
1 d1 2 d z
Res(f, 0) = lm (z f (z)) = lm
z0 1! dz 1 z0 dz sen z
sen z z cos z cos z cos z + z sen z
= lm = lm = 0.
z0 sen2 z z0 2 sen z cos z
Luego I
dz
= 0.
z sen z
Notemos que en este caso el residuo result ser 0, lo que no es posible cuando el polo es simple.
2
R R
luego
z3 zp p3 1 p3 1 i( i ln 2)3
lm = = = 6= 0,
zp (eiz 1)2 eiz eip (eip 1)2 ieip 9 i(2) 18
de modo que p = i ln 2 es un polo simple. En este caso, el residuo coincide con el lmite que
acabamos de calcular, es decir
i( i ln 2)3
Res(f, p) = lm (z p)f (z) = ,
zp 18
y en consecuencia I
f (z)dz = ( i ln 2)3 .
D(0,R) 9
2
Demostracin. Tenemos que f () es una curva cerrada que por hiptesis no pasa por 0, y
que si est parametrizada por : [a, b] entonces f () lo est por f . Luego,
I Zb I
1 1 1 1 d 1 f (z)
Indf () (0) = dz = f ((t)) (t)dt = dz.
2i f () z 2i f ((t)) dt 2i f (z)
a
Observemos que P (z) es una serie de potencias y que N(z) se puede reescribir de la siguiente
manera
X
N(z) = ck ((z a)1 )k ,
k=1
A = {z C : R1 < |z a| < R2 }
A = {z C : R1 < |z a| < R2 }.
Si f : A C es una funcin holomorfa, entonces existen constantes (ck )kZ tales que
X
f (z) = ck (z a)k , z A.
k=
Ms an, I
1 f (w)
ck = dw,
2i D(a,r) (w a)k+1
para cualquier r tal que R1 < r < R2 , donde D(a, r) est parametrizado en sentido antihorario.
deduce que I I
f (w) f (w)
k+1
dw = k+1
.
1 (w a) 2 (w a)
r2 r1
Observacin 11.4.4. El teorema anterior afirma que f se puede representar por una serie de
Laurent en el anillo A. Notemos que la frmula explcita para los coeficientes en trminos de f
garantiza que esta representacin es nica.
ii) si existe m 1 tal que ck = 0 para todo k < m pero cm 6= 0 entonces p es un polo de
orden m,
iii) en caso contrario el nmero de ndices k < 0 para los cuales ck 6= 0 es infinito y a p se le
llama una singularidad esencial.
Ejemplo 11.4.5. Consideremos f (z) = e1/z , z A donde A = {z C : |z| > 0}. Notemos que
para z 6= 0
X
1/z (1/z)n
e =
n=0
n!
Entonces la serie de Laurent de f en torno a 0 es
X
f (z) = ck z k ,
k=
donde (
0 si k > 0
ck = 1
(k)!
si k 0.
Observacin 11.4.6. Los coeficientes del desarrollo en serie de Laurent de una funcin ho-
lomorfa dependen crucialmente de cul es el anillo con respecto al cual se hace la expansin.
Incluso anillos distintos pero centrados en el mismo punto producen series de Laurent diferentes.
11.5. EJERCICIOS 143
1
Ejemplo 11.4.7. Sea f (z) = zi y encontremos su serie de Laurent en los anillos A1 = {z
C : |z 1| < 2} y A2 = {z C : |z 1| > 2}.
Primero observemos que efectivamente f es holomorfa en ambos anillos. Si |z 1| < 2
utilizando la serie geomtrica obtenemos
1 1 1 1
= = z1
zi z1+1i 1 i 1i + 1
1 1
=
1 i 1 z1i1
1 X z 1 k
=
1 i k=0 i 1
X
(z 1)k
= ,
k=0
(i 1)k+1
y la serie converge si | z1
i1
| < 1, es decir si |z 1| < 2. Esta es la serie de Laurent de f en A1 .
Si |z 1| > 2
1 1 1 1
= = 1i
zi z1+1i z 1 1 + z1
1 1
= i1
z 1 1 z1
1 X i 1 k
=
z1 z1
k=0
X
(i 1)k
= k+1
,
k=0
(z 1)
lo que corresponde a la serie de Laurent de f en A2 .
11.5. Ejercicios
1. Probar que si f (z) = (ekz 1)/z cuando z 6= 0 y f (0) = k entonces f H(C).
2. Suponga que f y g tienen polos de orden m y n respectivamente en z0 . Que puede decirse
sobre las singularidades de f + g, f g y fg en z0 ?.
3. Calcule las singularidades de las siguientes funciones:
1 exp( 1
)
z2
(i) z 4 +z 2
, (ii) cotanz, (iii) cosecz, (iv) z1
.
4. Determine los cinco primeros trminos de la serie de Laurent de
ez
f (z) =
z(z 2 + 1)
en torno a z0 = 0.
144 CAPTULO 11. TEOREMA DE LOS RESIDUOS
6. Sea p C un polo de g(z) y h(z) y considere f (z) = g(z) + h(z). Pruebe que
7. Calcular I
f (z)dz
9. Desarrolle cada una de las siguientes funciones en una serie de Laurent convergente para
la regin 0 |z z0 | < R, y determine la regin precisa de convergencia.
82z
(i) f (z) = cosh(2z)/z, z0 = 0, (ii) f (z) = 4zz 3 , z0 = 0, (iii) f (z) = z cos(1/z), z0 = 0,
5 1/z 2 3
(iv) f (z) = z e , z0 = 0, (v) f (z) = cos(z)/(z ) , z0 = ,
z4
(vi) f (z) = z+2i , z0 = 2i, (vii) f (z) = sen(z)/(z 41 )3 , z0 = /4.
10. Muestre que si f es holomorfa en z 6= 0 y f (z) = f (z) entonces todos los trminos
pares en su expansin de Laurent sobre z = 0 son iguales a cero.
1
a) f (z) = en:
z(z 1)(z 2)
(i) 0 < |z| < 1 (ii) 1 < |z| < 2 (iii) |z| > 2.
1
b) f (z) = en a = 0. Cul es el radio de convergencia?
cos(z)
1
c) f (z) = sen en a = 0.
z
11.6. PROBLEMAS 145
1
d ) f (z) = en:
z(z 2 + 1)
1
e) f (z) = en a = 0.
z2+ z3
3
1
f ) f (z) = en:
1z
(i) |z| < 1 (ii) 1 < |z| (iii) |z + 1| < 2 (iv) 0 < |z 1| < .
11.6. Problemas
Problema 11.1. Considere una funcin de la forma
g(z)
f (z) =
h(z)
y asuma que f (z) tiene un polo en p C con g(z) y h(z) funciones holomorfas en una vecindad
de p. Suponga que
g(p) 6= 0, h(p) = h (p) = 0, h (p) 6= 0.
Verifique que necesariamente f (z) tiene un polo de orden dos en p y pruebe que
Problema 11.5.
1
(i) f (z) = (z 2 +3)2 /(z)
1
(ii) f (z) = z 2 (1z)
para 0 < |z| < 1 y |z 1| < 1.
1
Problema 11.8.
eiz
Considere la funcin de variable compleja f (z) = , donde z1 , z2 C \ {0}
z(z z1 )2 (z z2 )2
son dos nmeros complejos, distintos y no nulos.
(i) Identifique los polos de f con sus respectivos rdenes. Pruebe que
1 eiz1 3z1 z2
Res(f ; 0) = 2 2 , Res(f ; z1 ) = i .
z1 z2 z1 (z1 z2 )2 z1 (z1 z2 )
2
Problema 11.10.
Sea f una funcin meromorfa en la regin D (es decir, f es analtica en D, excepto en un
nmero finito de polos). Sea una curva simple, cerrada, regular y orientada en sentido anti-
horario que no intersecta polos ni ceros de f . Denotemos:
C = nmero de ceros de f al interior de , contados segn multiplicidad.
P = nmero de polos de f al interior de , contados segn su orden.
(es decir, un polo -o un cero - de orden m cuenta m veces.)
Demostrar que Z
1 f (z)
dz = C P
2i f (z)
Para esto, probar cada uno de los siguientes puntos:
3. Muestre que f /f no tiene ningn otro polo adems de los puntos mencionados en a) y
en b), y concluya.
3 1
Problema 11.11. Calcule el desarrollo de Laurent de la funcin f (z) = en cada uno
z2 + z3
de los anillos:
a) A1 = {z C | 0 < |z| < 1}
b) A2 = {z C | |z| > 1}
Problema 11.12. Sea f analtica en , con D(a, R) = {z C : |za| R} . Supongamos
que f (z) tiene un slo cero z0 en D(a, R). Demuestre que
Z
1 zf (z)
z0 = dz
2i f (z)
D(a,R)
Problema 11.13. Sea f una funcin entera tal que f (z) cuando z . Pruebe que f
es un polinomio.
Indicacin: Muestre que f (1/z) tiene un polo de orden finito en z = 0.
Problema 11.14. Sean g y h analticas en z0 tales que g(z0 ) = 0, g (z0 ) 6= 0, h(z0 ) = h (z0 ) =
h (z0 ) = 0 y h (z0 ) 6= 0. Demuestre que g/h tiene un polo de segundo orden en z0 , con
g 3g (z ) 3g (z )h(iv)
0 0
Res , z0 =
h h (z0 ) 2(h (z0 ))2
2
Control 3. Primavera 2006. Matemticas Aplicadas. Prof: Alberto Mercado
3
Control 3. Primavera 2006. Matemticas Aplicadas. Prof: Alberto Mercado
148 CAPTULO 11. TEOREMA DE LOS RESIDUOS
1 1 1 1
(iii) Finalmente notemos que 1z 2 = (1z)(1+z) . La funcin (1+z) = (2+(z1)
puede ser
expresada en serie de Laurent en torno a al punto z0 = 1 como
1 1 1 1 1 X (1)k (z 1)k
= = =
(1 + z) (2 + (z 1)) 2 1 ( z1
2
) 2 k0 2k
X (z 1)k X k1 X k
1 k (z 1) k (z 1)
f (z) = (1)k = (1) = (1)
2(1 z) k0 2k k0
2k+1 k1
2k+2
9
f (z) = (z 4 + 6z 2 + 9)/z = z 3 + 6z +
z
que corresponde a la expresin en serie de Laurent.
4
Control 3. Otoo 2007. Matemticas Aplicadas. Prof: Alberto Mercado
11.7. RESOLUCIN DE PROBLEMAS 149
1 1
f (z) =
z2 z 1
1 1
=
(z 1 + 1)2 z 1
pero
1 d 1
2
=
z dz z
d 1 d X
= = (1 z)k
dz 1 (1 z) dz k0
d X X
= (1)k (z 1)k = (1)k k(z 1)k1.
dz k0 k0
Por lo tanto
1 X X X
f (z) = (1)k k(z 1)k1 = (1)k k(z 1)k2 = (1)k (k + 2)(z 1)k
z1
k0 k0 k2
y p
k
R2 = 1/ lm sup |ck |
k
P
Si R1 < R2 entonces L(z) = k= ck (z a)k converge para todo z en la regin anular
A = {z C : R1 < |z a| < R2 }.
150 CAPTULO 11. TEOREMA DE LOS RESIDUOS
1 1 1
= 4
5 6 ...
z z z
donde R1 = 1 y R2 = , con A = C \ D(0, 1).
Solucin Problema 11.7
cos(z) eiz eiz
(i) Para f (z) = z 2 sen(z)
, buscamos donde sen(z) = 0, i.e. sen(z) = 2i
= 0.
iz iz 2iz
Esto sucede si e = e entonces |e | = 1. Si z = x + iy esto quiere decir que
|e2i(x+iy) | = |e2ix | |e2y | = 1.
Si y 6= 0, no se cumple la igualdad, por lo que necesariamente Im (z) = 0 para todo
z que es raz.
Por otro lado e2ix = 0 si y slo si x Z, por lo que f (z) es holomorfa en C \ Z.
Luego, los polos son los enteros, todos de orden 1, excepto z = 0, que posee multi-
plicidad 3.
11.7. RESOLUCIN DE PROBLEMAS 151
(ii) Como son funciones (no polinomios), vemos el lmite de (z p0 ) f (z), donde p0 es
un polo de multiplicidad .
Para z = 0 se tiene que
cos z 3 cos z
lm (z 0) = l
m z ,
z0 z 2 sin z z0 sen z
pero lm cos z = 1 y
z0
Para p0 = n Z se tiene
cos(z) cos z (z n)
lm f (z)(z n) = lm 2
(z n) = lm 2
lm ,
zn zn z sen z zn z zn sen(z)
Luego
1
Res (f, n) = ,
n2
1 d2 3 1 d2 cotg(z) 3
Res (f, 0) = lm (f (z) z ) = lm z
z0 2! dz 2 z0 2 dz 2 z2
d
= lm (cotg(z) cosec2 (z) z)
z0 dz
= lm[2 cosec2 (z) + 2 cosec2 (z) cotg(z) 2 z]
2 z0
2 cos(z) z 1
= lm
z0 sen3 (z) sen2 (z)
2 z cos z sen(z)
= lm
z0 sen3 (z)
2
2 z sen z + cos z cos z
= lm
z0 3 sen2 (z) cos(z)
2 z 1 2
= lm = .
3 z0 sen(z) cos(z) 3
152 CAPTULO 11. TEOREMA DE LOS RESIDUOS
H
pues |z| N + 21 , y como C es el largo de la curva el cual es igual a 8 N + 12 ,
N
se obtiene I
8M
= 0.
lm f (z)dz lm
N
CN
N N + 21
Es decir " #
XN
2 1
lm 2i + 2 = 0,
N 3 n=1
n2
P
1 2
lo que implica que n2
= 6
.
n=1
g (z)
Adems se tiene que es holomorfa en p. Por lo tanto en el desarrollo de f /f
g(z)
k
en p el nico trmino singular es , por lo que p es polo de orden 1 de f /f, y
zp
su residuo es el coeficiente de dicho trmino, es decir k.
2. Sea p D un polo de orden k de f . Entonces existe R > 0 tal que
f (z) = (z p)k g(z)
en D(p, R) con g holomorfa en D(p, R) y g(p) 6= 0.
Entonces
f (z) = k(z p)k1g(z) + (z p)k g (z)
y por tanto, en una vecindad de p se tiene:
f (z) k(z p)k1 g(z) + (z p)k g (z)
=
f (z) (z p)k g(z)
k g (z)
= + .
zp g(z)
Por el mismo razonamiento que en a), se tiene que p es polo de orden 1 de f /f, y
su residuo es k. (0.5 ptos.)
3. Sea p D que no es polo ni cero de f . Entonces f es holomorfa en una vecindad de
p (pues f lo es). dado que f (p) 6= 0, se tiene que 1/f tambin es holomorfa en una
vecindad de p. Por lo tanto p no es polo de f /f .
Para concluir, por el teorema de los residuos y las preguntas a) y b) se tiene:
Z X
1 f (z)
dz = Res(f /f, p)
2i f (z)
p polo de f /f
X X
= k(p) + (k(p))
p cero def p polo de f
=CP
(Donde k(p) denota el orden del polo o del cero p, segn corresponda).
Solucin Problema 11.11
a)
1 1 1
P n
f (z) = z 2 (1+z)
= z 2 (1(z))
= z2 n=0 (z)
b)
1 1 1
P 1 n
f (z) = z 2 (1+z)
= z 3 ( z1 +1)
= z3 n=0 ( z )
cn = (1)n+1 n 3
c2 = 0
c1 = 0
cn = 0 n N
Dado que f H(D(0, 2)), se tiene que z0 = 0 es singularidad aislada de f . Por el teorema
de series de Laurent, se tiene que f tiene un desarrollo en z0 = 0. Es decir,
X
f (z) = ak z k
para todo z A.
Entonces se tiene
X X
n k+n
z f (z) = ak z = akn z k . (11.7)
11.7. RESOLUCIN DE PROBLEMAS 155
Por otra parte, para todo n 0 la funcin z n f (z) no tiene singularidades fuera de z0 = 0,
y este punto es encerrado por la curva simple . Entonces, el teorema de los residuos
implica que Z
z n f (z)dz = 2iRes(z n f (z), 0) (11.8)
y teniendo en cuenta la hiptesis sobre f se sigue que
Por el teorema de series de Laurent, se tiene que Res(z n f (z), 0) es igual al coeficiente del
trmino z 1 en la serie de z n f (z).
Teniendo en cuenta el desarrollo (11.7) se sigue que Res(z n f (z)) = an1 para todo n 0.
Gracias a 11.9 se concluye que an1 = 0 para todo n 0. Es decir, an = 0 para todo
n < 0.
Por lo tanto
X
f (z) = ak z k
0
157
158 CAPTULO 12. EVALUACIN DE INTEGRALES VA RESIDUOS
La fraccin
2
f (z) =
z2 + 4iz 1
tiene como polos simples a las races de la ecuacin z 2 + 4iz 1 = 0, las que resultan ser
z1 = i(2 + 3),
z2 = i(2 3).
Como
| i(2 + 3)| = 2 + 3>1
y por otra parte
0 < | i(2 3)| = 2 3 < 1,
slo z2 est encerrado por la curva |z| = 1.
Veamos cunto vale Res(f, z2 ) :
2
Res(f, z2 ) = lm (z z2 )f (z) = lm
zz2 zz2 z + i(2 + 3)
2 2
= =
i(2 3) + i(2 + 3) 2i 3
i
=
3
Z2
d i 2
I= = 2i Res(f, z2 ) = 2i = .
2 + sen 3 3
0
ein ein z n z n
sen n = = ,
2i 2i
ein + ein z n + z n
cos n = = .
2 2
Ilustremos lo anterior mediante un ejemplo:
12.1. INTEGRALES DE FUNCIONES TRIGONOMTRICAS 159
ei ei z z 1
sen = = ,
2i 2i
ei2 + ei2 z 2 + z 2
cos 2 = = .
2 2
As, tenemos
I z 2 +z 2 I
2 dz (z 4 + 1)dz
I= 2 =
|z|=1 5 i
(z z 1 ) iz 2iz 2 (2iz 2 + 5z 2i)
|z|=1
Como |z1 | = 21 < 1 y |z2 | = 2 > 1, slo nos interesa el residuo R1 asociado a z1 .
Veamos cunto vale R1 :
i z4 + 1
R1 = lm (z ) 2
z 2i 2 2iz (2iz 2 + 5z 2i)
z4 + 1
= lm
z 2i 2iz 2 2i(z 2i)
( 2i )4 + 1
=
2i( 2i )2 2i( 2i 2i)
17
16 17 2 17i
= 3i = = .
2
16 3i 24
Z2
cos 2 17i 17
I= d = 2i(R1 ) = 2i = .
5 4 sen 24 12
0
2
160 CAPTULO 12. EVALUACIN DE INTEGRALES VA RESIDUOS
CR
R R
Por otra parte, aplicando el teorema de los residuos 11.2.2 al camino cerrado y simple dado por
R = [R, R] CR para R suficientemente grande de modo tal que R encierre todos los polos
de f en Int(H), se deduce
X Z ZR Z
2i Res(f, z) = f (z)dz = f (x)dx + f (z)dz.
zInt(H)P R R CR
Un caso interesante para el cual es fcil verificar que se tienen las hiptesis del teorema
12.2.1 est dado por el siguiente resultado:
Corolario 12.2.2. Sean p, q dos polinomios primos entre s tales que q no tiene ceros reales y
adems se tiene
grado(q) grado(p) + 2. (12.2)
Entonces:
Z X
p(x) p
dx = 2i Res ,z
q(x) q
q(z)=0, Im(z)>0
162 CAPTULO 12. EVALUACIN DE INTEGRALES VA RESIDUOS
Demostracin. Sea la funcin racional definida por f (z) = p(z)/q(z). Dado que p y q son
primos entre s, los polos de f (z) corresponden a los ceros de q, los que por hiptesis no son
reales. Para aplicar el teorema 12.2.1, basta verificar que f satisface la condicin de decaimiento
(c). Para ver que esto es cierto, denotemos n = grado(p) y m = grado(q) y escribamos
b0
Pero lm|z| an + an1
z
+ . . . + a0
z n = |a n |, y similarmente lm |z| bm + bm1
z
+ . . . + z
m =
|bm |. Luego, para |z| suficientemente grande, digamos |z| M para una constante M > 0
apropiada, se tiene an + n1
a
z
+ . . . + zan0 2|an | y bm + bm1 z
+ . . . + zbm0 12 |bm |, de donde
se deduce que
p(z) 4|an | 1
q(z) |bm | |z|r
| {z }
K
x2
f (x) =
1 + x4
es el cociente de los polinomios p(z) = z 2 y q(z) = 1 + z 4 evaluados en la variable real x.
En primer lugar, la raz de p(z) es 0 de multiplicidad 2, mientras que las races de q(z) estn
dadas por las soluciones de la ecuacin z 4 = 1, es decir, por los complejos ei/4 , ei3/4 , ei/4
y ei3/4 , de los cuales ninguno es real y slo los dos primeros se encuentran en el semiplano
superior H. Como p(z) y q(z) no tienen races comunes, stos son primos entre s y adems
grado(q) = 4 = grado(p) + 2. De este modo, se satisfacen las hiptesis del corolario 12.2.2.
Deducimos que
Z 2 2
x2 z i/4 z i3/4
dx = 2i Res ,e + 2i Res ,e .
1 + x4 1 + z4 1 + z4
En este caso es fcil ver que f (z) = (z 2 /1 + z 4 ) tiene polos simples en ei/4 y ei3/4 de modo
que los residuos pueden calcularse mediante la frmula (11.5) para obtener:
2
z i/4 ei2/4 1
Res 4
, e = i3/4
= ei/4 ,
1+z 4e 4
12.2. INTEGRALES IMPROPIAS SOBRE DOMINIOS NO ACOTADOS 163
y similarmente
z2 1
Res 4
, ei3/4 = ei3/4
1+z 4
En consecuencia
Z
x2 2i
4
dx = [cos(/4) + cos(3/4) i(sen(/4) + sen(3/4))]
1+x 4
2i 1 1 1 1
= i( + ) = .
4 2 2 2 2 2
Finalmente, como f (x) = x2 /(1 + x4 ) es una funcin par, deducimos que
Z
x2
4
dx = .
1+x 2 2
0
Para estudiar qu ocurre cuando el integrando f (z) admite polos reales, necesitamos el
siguiente resultado preliminar.
Proposicin 12.2.4. Sea f meromorfa en un abierto y a un polo simple de f . Sea
C,1,2 la parametrizacin del arco de circunferencia de radio > 0 centrado en a cuyos lmites
son los ngulos 1 y 2 , es decir
C,1 ,2 () = a + ei , [1 , 2 ],
C,1 ,2
2
a b
1
Entonces Z
lm f (z)dz = i(2 1 ) Res(f, a).
0
C,
1 ,2
164 CAPTULO 12. EVALUACIN DE INTEGRALES VA RESIDUOS
Demostracin. Como f tiene un polo simple en a, entonces en torno a ese punto admite un
desarrollo en serie de Laurent de la forma
X
c1
f (z) = + ck (z a)k , |z a| < ,
z a k=0
| {z }
f1 (z)
para algn radio > 0 suficientemente pequeo y algunos coeficientes (ck ) C. Para 0 < < ,
se tiene
Z Z2 Z
1
f (z)dz = c1 iei d + f1 (z)dz
ei
C,1 ,2 1 C,1 ,2
| {z }
A
= i(2 1 ) Res(f, a) + A
donde
|A | M L(C,1 ,2 ) = M(2 1 ),
para alguna constante M > 0 que acota a f1 (z) en una vecindad del punto a. Esta constante
existe pues f1 (z) es holomorfa en D(a, ). Luego, haciendo 0 se tiene A 0 y se deduce
el resultado.
R P = {a1 , . . . , as }
CR
C1 () C2 () Cs ()
b b b
R a1 a2 as R
donde s
[
I(R, ) = [R, R] \ ]aj , aj + [,
j=1
grado(q) grado(p) + 2.
Entonces
Z X X
p(x) p p
dx = 2i Res ,z + i Res ,a .
q(x) q q
q(z)=0, Im(z)>0 q(a)=0, aR
166 CAPTULO 12. EVALUACIN DE INTEGRALES VA RESIDUOS
Z
f (x) cos sxdx
o bien
Z
f (x) sen sxdx
para s > 0 en general no es posible aplicar directamente los resultados anteriores a las fun-
ciones f (z) cos sz y f (z) sen sz respectivamente pues estas suelen no satisfacer la condicin de
decaimiento.
Esto se debe a que, por ejemplo, si explicitamos cos sz en trminos de exponenciales
1 1
cos sz = (eisz + eisz ) = (esy+isx + esyisx )
2 2
vemos que cuando R , las coordenadas imaginarias y de los puntos z = x + iy CR
donde CR es el arco de semicircunferencia considerado anteriormente (ver figuras 12.1 y 12.3),
divergen a y en consecuencia el trmino esy si s > 0 crece exponencialmente.
Luego, para que f (z) cos sz satisfaga la condicin de decaimiento, la funcin f (z) debe decaer
a 0 ms rpido que una exponencial, lo que deja fuera a todas las funciones racionales que se
obtienen como cuocientes de polinomios.
Notemos que este inconveniente es consecuencia del trmino eisz que aparece en cos sz,
pues el otro trmino eisz = esy+isx es muy favorable ya que decae exponencialmente a 0
cuando y .
Por otra parte, si en lugar de considerar f (z) cos sz (resp. f (z) sen sz), tomamos
f (z)eisz ,
que para una gran variedad de funciones f (z) s satisface la condicin de decaimiento necesaria
para que la integral de f (z)eisz sobre CR tienda a 0 gracias al buen comportamiento de eisz ,
entonces podemos calcular
Z
f (x)eisx dx,
Z Z Z
isx
f (x)e dx = f (x) cos sxdx + i f (x) sen sxdx.
Observacin 12.2.8. En el teorema anterior basta con p > 0, a diferencia del teorema 12.2.1
que requiere p > 1. Esto se debe a que el buen decaimiento aportado por el trmino correspon-
diente a eisz permite ser menos restrictivo sobre la funcin f (z).
Corolario 12.2.9. Sean p, q dos polinomios primos entre s tales que q no tiene ceros reales y
adems se tiene
grado(q) grado(p) + 1. (12.5)
Entonces para todo s > 0 se tiene
Z X
p(x) isx p(z) isz
e dx = 2i Res e ,w .
q(x) q(z)
q(w)=0, Im(w)>0
Por lo tanto
Z
cos sx
2 2
dx = esa
x +a a
y adems
Z
sen sx
dx = 0.
x2 + a2
Notemos que esta ltima identidad es inmediata pues se trata del valor principal de una integral
impropia de a de un integrando dado por una funcin impar. 2
Para finalizar, enunciemos los resultados anlogos al teorema 12.2.5 y al corolario 12.2.6:
R P = {a1 , . . . , as }
K
|f (z)| , z H, |z| M.
|z|p
Corolario 12.2.12. Sean p, q dos polinomios primos entre s tales que los ceros de q sobre el
eje real, de existir, son simples, y se tiene adems
grado(q) grado(p) + 1.
12.3. Ejercicios
1. Pruebe que:
Z2
d 2
a) = , a > 1.
a + cos a2 1
0
Z2
cos2 3 1 a + a2
b) d = , 0 < a < 1.
1 2a cos 2 + a2 1a
0
Z2
cos n ena
c) d = 2(1)n , n 0 es un entero y a > 0.
cosh a + cos senh a
0
Z/2
sen
d) d = .
5 4 sen 6
/2
2. Pruebe que:
Z
dx 2
a) 6
= .
1+x 3
Z
x sen x
b) 2 2
dx = ea , con a > 0.
x +a 2
0
Z
cos x
c) 2 2
dx = ea , donde R y a > 0.
x +a 2a
0
Z
ln x
d) 2 n+1
dx = n , para n = 0 y n = 1 (considere ambos casos separadamen-
(1 + x ) 4
0
te).
Z
sen x
e) dx = (1 ea ), a > 0.
x(x2 + a2 ) 2a2
0
3. Calcule
Z
dx
x100+1
0
4. Calcular la Integral Z
x sin(x)dx
x2 + a2
12.4. PROBLEMAS 171
12.4. Problemas
Problema 12.1. Calcular las siguientes integrales
R 2 sen(2) R + x sen(2x)
(i) 0 35 cos d, (ii) (x4)(x 2 +3) dx.
3 2
(R)
2/n
1 R
Problema 12.5. (a) Sea f (z) una funcin holomorfa en C tal que f (z)
/ R para todo z C,
pruebe que
log|f (z)| = 0.
(b) Si suponemos ahora que |f (z)| es el producto de una funcin de x y una funcin de y,
muestre que
Problema 12.6. 1 Sea f H(C \ P ) donde P = {p1 , ..., pl } es el conjunto de los polos de
f . Supongamos que M, R > 0, p > 1 tales que z C, |z| R se tiene |f (z)| M/|z|p .
Definamos adems la funcin auxiliar g(z) = cot(z)f (z).
(i) Dado N 1, considere el camino CN de la figura.
i(N + 1
2
)
CN
N N+ 1
b b
1)
i(N + 2
1
Control 3. Primavera 2002. Matemticas Aplicadas. Prof: Felipe lvarez
12.4. PROBLEMAS 173
Demuestre que I
lm g(z)dz = 0.
N CN
Pn 1
2. Deduzca que j=1 P (zj ) = 0.
3
Problema 12.10. Pruebe que
Z
cos x
dx =
ex + ex e/2 + e/2
Indicaciones:
3. Concluya.
4
Problema 12.11. Sean a > 0 y b > 0. Calcule la integral
Z
cos(x)
dx.
0 (x2 + a2 )(x2 b2 )
4
Control 3. Otoo 2007. Matemticas Aplicadas. Prof: Alberto Mercado
12.5. RESOLUCIN DE PROBLEMAS 175
Solucin Problema 12.9 Sea P (z) un polinomio de grado n 2 con n races distintas
z1 , . . . , zn .
n
X Z
1 1
De esto y el inciso a) se tiene = lm 2i dz = 0.
j=1
P (zj ) R D(0,R) P (z)
1. La curva R slo encierra puntos cuya parte imaginaria est en (0, ). El nico zn
que cumple esto es 21 i.
Adems R no intersecta ningn zn , por lo que el teorema de los residuos implica
que Z
1
f (z)dz = 2iRes(f, i)
R 2
Por ltimo, el polo es de primero orden, por lo que calculando el residuo se tiene que
1 eiz 1
2iRes(f, i) = 2iRes( , i)
2 2 cos(iz) 2
1
e 2
= 2i
2 sen( 21 )i
e 2
= 2
2(1)
= e/2
y adems
1 = |eit | |eit + e2R eit | + |e2R eit |
= |eit + e2R eit | + e2R
por lo que
1
|eit + e2R eit | 1 e2R
2
para R grande. (i.e. para R R0 ).
De lo anterior se tiene que
Z Z
1
R+it Rit
dt eR dt = eR 0
0 |e +e | 0
y por tanto Z
lm f (z)dz = 0
R R,2
Z 4 Z
X
Teniendo en cuenta que f (z)dz = f (z)dz, del inciso 2) (y teniendo en
R j=1 R,j
cuenta la orientacin de ), se sigue que
Z Z
lm f (z)dz = (1 + e ) f (z)dz
R R
de donde se tiene Z
e/2
f (z)dz =
= /2
1+e e + e/2
Por ltimo, dado que eix = cos(x) + i sen(x), se tiene que la integral que se pide es la
parte real de la que recin calculamos, de donde se concluye.
pues ia pertenece al semiplano superior y los dos polos restantes a la recta real.
Calculando cada lmite, se tiene que
178 CAPTULO 12. EVALUACIN DE INTEGRALES VA RESIDUOS
1 1 +i
Res(f, ia) = lm eiz 2 2
= ea 2 2
= ea ,
zia (z + ia)(z b ) (2ia)(a b ) 2a(a2 + b2 )
1 1 1
Res(f, b) = lm eiz = eib
= (cos(b) + i sen(b))
zb (z 2 + a2 )(z + b) (b2 + a2 )2b 2b(a2 + b2 )
y
1 eib 1
Res(f, b) = lm eiz 2 2
= 2 2
= (cos(b) i sen(b))
zb (z + a )(z b) (b + a )(2b) 2b(a2 + b2 )
Por ltimo, teniendo en cuenta que el integrando es una funcin par, se concluye que
Z
cos(x) 1 1
2 2 2 2
dx = ea 2 2
sen(b) .
0 (x + a )(x b ) 2a(a + b ) 2b(a + b2 )
2
Parte III
Anlisis de Fourier
179
Captulo 13
Series de Fourier
13.1. Definicin
Definicin 13.1.1. Sea f : [, ] R una funcin continua (basta continua por trozos).
Diremos que f admite un desarrollo en serie de Fourier en [, ] si existen escalares a0 , a1 , ...
y b1 , b2 , ... tales que
a0 X h nx nx i
f (x) = + an cos + bn sen , x [, ]
2 n=1
XN h nx nx i
a0
= + lm an cos + bn sen , x [, ]
2 N +
n=1
Este tipo de Series surge como respuesta a la siguiente pregunta: Podemos expresar una funcin
continua como una combinacin lineal (eventualmente, como una serie infinita) de funciones
sinusoidales de frecuencia cada vez mayor? Si esto es posible, cmo se obtienen los coeficientes
en trminos de f (x)?
Para responder a esta ltima pregunta, supongamos que f admite desarrollo en serie de
Fourier y escribamos la serie en forma compleja. Recordemos que
ei + ei
cos =
2
ei ei
sen =
2i
Luego si f (x) admite un desarrollo en serie de Fourier, entonces podemos reescribir este desa-
181
182 CAPTULO 13. SERIES DE FOURIER
rrollo como
a0 X h 1 i
inx 1 inx
f (x) = + (an ibn )e + (an + ibn )e
2 n=1
2 2
(13.1)
X ikx
= Ck e
k=
a0
donde C0 = 2
y 1
(a
2 k
ibk ) si k 1
Ck = 1
(a
2 k
+ ibk ) si k 1
Para determinar los coeficientes complejos, podemos proceder, al menos formalmente, como
ik0 x
sigue: fijamos k0 Z y multiplicamos la ecuacin (13.1) por e e integramos en el intervalo
[, ] para obtener
Z
X Z
ik0 x ikx ik0 x
f (x)e dx = Ck e e dx
k=
X Z i(kk0 )x
= 2Ck0 + Ck e dx
k=
k6=k0
Luego, los coeficientes de Fourier (en su forma compleja) pueden reescribirse como
1 D ikx
E
Ck = ikx f, e
ke k2L2 L2
6 j
Adems, se tiene que para k =
D ikx ijx E Z
i(kj)x
e ,e = e dx = 0.
L2
13.2. Convergencia
Aunque supusimos que f es continua, en realidad basta que sea integrable para que los
coeficientes de Fourier estn bien definidos. Dada una funcin f integrable en [, ], definamos
Sf (x) = lm SfN (x),
N
a0 X
N nx nx
SfN (x) = + an cos + bn sen ,
2 n=1
Ejemplo 13.2.1. Consideremos el caso particular de una funcin f (x) con periodo 2 (i.e.
= ) que es continua con primera y segunda derivadas ambas continuas. Al integrar por
partes el trmino an se tiene lo siguiente:
Z Z
1 f (x) sen(nx) 1
an = f (x) cos(nx)dx = f (x) sen(nx)dx
n n
El primer trmino del segundo miembro es cero. Al integrar otra vez por partes se obtiene
Z
f (x) cos(nx) 1
an = 2 f (x) cos(nx)dx
n2 n
El primer trmino del segundo miembro es cero debido a la periodicidad y la continuidad de
f (x). Puesto que f es continua en el intervalo de integracin, se tiene
|f (x)| M,
Una vez que se tiene la convergencia de la serie de Fourier Sf (x) R, la pregunta natural
es si podemos asegurar que Sf (x) = f (x) para cualquier x [, ]. Una respuesta completa
a esta pregunta va ms all del alcance de este apunte. Nos contentaremos con enunciar sin
demostracin algunos resultados que abordan este punto al menos en forma parcial.
Un primer resultado que establece una relacin asinttica entre la funcin f (x) y las sumas
parciales de su serie de Fourier es el siguiente:
Z
[f (x) SfN (x)]2 dx 0 cuando N .
El resultado anterior no permite relacionar directamente el valor de Sf (x), si existe, con f (x)
para un punto x dado. Un resultado bastante general en este sentido es el siguiente:
186 CAPTULO 13. SERIES DE FOURIER
Teorema 13.2.3. Si una funcin f (x) es continua por trozos en el intervalo [, ] y con
derivada por la izquierda y por la derecha en todo punto de (, ), con derivada por la izquierda
en x = y por la derecha en x = , entonces la serie de Fourier de f (x) es convergente para
cada x [, ]. En los extremos del intervalo se tiene
1
Sf () = Sf () = [f () + f ()].
2
Para x (, ), el valor de la serie es f (x), salvo en algn punto x0 en el que f (x) es
discontinua, donde el valor de la serie es el promedio de los lmites por la izquierda y por la
derecha de f (x) en x0 .
Z Z0 Z Z0 Z
g(x)dx = g(x)dx + g(x)dx = g(x)dx + g(x)dx
0 0
Z Z Z
= g(x)dx + g(x)dx = [g(x) + g(x)]dx = 0
0 0 0
Luego:
a0 X nx
Sf (x) = + an cos .
2 n=1
Z1
2
a0 = x2 dx =
3
1
y
Z1
an = x2 cos(nx)dx
1
1 Z1
2 sen(nx)
2
=x
n n x sen(nx)dx
1
1
1 Z1
2 x cos(nx) cos(nx)
= + dx
n n 1 n
1
188 CAPTULO 13. SERIES DE FOURIER
es decir
2 4
an = 2
[cos n + cos(n)] = 2
(1)n .
(n) (n)
En consecuencia
2 1 4 1 1 1 1
x = + 2 cos(x) + cos(2x) cos(3x) + cos(4x) cos(5x) + . . . .
3 4 9 16 25
es decir
X 1 2
= .
n=1
n2 6
Por lo tanto
X (1)n 11 2
= .
n=1
n2 12
13.4. Ejercicios
1. Encuentra la serie de Fourier de las siguientes funciones:
Indicacin: Para (iii) y (iv) primero extender f de manera adecuada (par o impar) al
intervalo [1, 1].
13.5. Problemas
1
Problema 13.1. Calcule la serie de Fourier en [, ] de la funcin
(
2 <x< 0
f (x) =
6 0x<
Problema 13.2.
X 1 2
=
n=1
(2n 1)2 8
R 2
Problema 13.3. Sea f C 1 , 2-periodica, tal que 0
f (x)dx = 0.
1
Control 3. Primavera 2006. Matemticas Aplicadas. Prof: Alberto Mercado
190 CAPTULO 13. SERIES DE FOURIER
Problema 13.4. (a) Demuestre que la funcin f (x) = cos(x), x (0, ), admite el siguiente
desarrollo en serie:
X
8 n
f (x) = ( 2 ) sen(2nx)
n=1
4n 1
indicacin:
1
R 1
R0 R
an =
f (x) cos(nx)dx =
2 cos(nx)dx +
6 cos(nx)dx 0
1
= n 2(sen(0) sen(n)) + 6(sen(n) sen(0)) = 0
1
R 1
R0 R
bn =
f (x) sen(nx)dx =
2 sen(nx)dx + 0
6 sen(nx)dx
1
= n 2(cos(0) cos(n)) + 6(cos(n) cos(0))
= 1
n
2(1 (1)n ) + 6((1)n 1) = n4
1 (1)n
8
n
si n impar
=
0 si n par
13.6. RESOLUCIN DE PROBLEMAS 191
Como la funcin f (x) tiene derivada continua en todo el intervalo excepto en un slo
punto, sabemos que se tiene la igualdad siguiente
f (x ) + f (x+ )
Sf (x) = x (, )
2
donde f (x ) y f (x+ ) representan los lmites por izquierda y por derecha respectivamente.
Y adems
f ( + ) + f ( )
Sf () = Sf () =
2
En nuestro caso particular tenemos que
4 x =
2 x (, 0)
Sf (x) = 4 x=0
6 x (0, )
4 x=
Evaluando en x = 2
tenemos
P 8
6 = 4+ i=1 (2i1) sen (2i 1)/2
8
P 1 i+1
6 = 4+ i=1 2i1 (1)
X
1 1 1 1
= (1)i+1 = 1 + + . . .
4 i=1
(2i 1) 3 5 7
192 CAPTULO 13. SERIES DE FOURIER
Captulo 14
La transformada de Fourier
donde Z
1 k
Ck = f ()ei d, Ck C.
2
Qu ocurre cuando +?
Reescribamos lo anterior de la siguiente manera
X Z
1 k
f (x) = f (y)ei(xy) dy x [, ].
k=
2
Definimos Z
gx, (s) = f (y)ei(xy)s dy.
1 X
k
f (x) = gx,
2 k=
1 X k h i
= gx, (k + 1) k .
2
k=
Esta ltima expresin puede verse como la suma de Riemann de la funcin gx, sobre (, )
con un paso = . Es claro que si entonces el paso de la particin = tiende a
193
194 CAPTULO 14. LA TRANSFORMADA DE FOURIER
Lo anterior no se hizo rigurosamente pues las sumas de Riemann corresponden a funciones que
dependen de y no a una funcin fija. Sin embargo, bajo ciertas condiciones se puede demostrar
que la convergencia gx, gx cuando l es tal que permite justificar lo anterior de manera
rigurosa. Esto va ms all de este apunte.
As, formalmente tenemos que:
Z hZ i
1 i(xy)s
f (x) = f (y)e dy ds
2
Z hZ i
1 ixs
= e f (y)eiys dy ds
2
Z h 1 Z i
1
= eixs f (y)eiys dy ds (14.2)
2 2
f: R C
Z
1 (14.3)
s f(s) := f (y)eiys dy
2
g : R C
Z
1 (14.4)
x g(x) = g(s)eixs ds
2
Notacin. Otras notaciones habitualmente usadas para la transformada de Fourier f(s) son
las siguientes: T f (s) y F f (s). Del mismo modo, para la antitransformada se usa adems de
g(x): T 1 g(x) y F 1 g(x).
Teorema 14.1.3 (de inversin). Sea f : R C una funcin integrable y supongamos adems
que T f = f: R C es integrable. Entonces se tiene que si f es continua:
f (x) = T 1 T f (x) = f(x)
es decir Z Z
1 ixs 1 iys
f (x) = e f (y)e dy ds (14.5)
2 2
lm f (x) = 0
x
Demostracin.
R
Lo hacemos para x +. Como f es integrable, la integral 0 f (x)dx tambin converge.
Esto nos permite afirmar que f (x) converge cuando x +. En efecto, se tiene
Z x
lm f (x) = lm (f (x) f (0)) + f (0) = lm f (t)dt + f (0) C
x x x 0
Por otra parte, si el lm |f (x)| > 0, f no podra ser integrable en R. Luego necesariamente
x
lm f (x) = 0
x
196 CAPTULO 14. LA TRANSFORMADA DE FOURIER
f\
(k) (x)(s) = (is)k f(s)
y concluimos que
f(s)
y(s) = .
3s2 + 2is + 1
Aplicando antitransformada
y(x) = T 1 (
g (s))
f(s)
= T 1
3s2 + 2is + 1
Z
1 f(s)
= eisx ds. (14.8)
2 3s2 + 2is + 1
Para una funcin f = f (x) particular se hace el clculo explcito de esta integral cuando sea
posible.
14.2. PROPIEDADES FUNDAMENTALES 197
Traslacin en espacio
\
f (x x0 )(s) = eisx0 f(s)
Traslacin en frecuencia
eis\ (s s0 )
0 x f (x)(s) = f
Modulacin
1
f (x)\
cos(w0 x)(s) = [f(s wo ) + f(s + wo )]
2
1
f (x)\
sen(w0 x)(s) = [f(s + wo ) f(s wo )]
2i
198 CAPTULO 14. LA TRANSFORMADA DE FOURIER
Cambio de escala
1 s
f\
(ax)(s) = f a 6= 0
|a| a
f\
(x)(s) = f(s)
Convolucin
f[
g(s) = 2 f(s)
g (s)
Derivacin
f[
(x)(s) = isf(s)
14.3. Ejemplos
Ejemplo 14.3.1. Calcular la transformada de Fourier de
2
f (x) = ex
R
Tenemos que f (x) es integrable ms an f (x)dx = y es una funcin positiva. Por
definicin
Z
= 1 2
f(s) ex eisx dx
2
Z
1 is 2 s2
= e(x+ 2 ) 4 dx
2
s2 Z
e 4 is 2
= e(x+ 2 ) dx.
2
R is 2
Llamemos I a la integral I = e(x+ 2 ) dx. Para calcularla consideremos el siguiente camino
2
(ver figura 14.1) y la funcin definida en el plano complejo f (z) = ez la cual es holomorfa por
ser composicin de funciones holomorfas. Entonces
I 4 Z
X
z 2 2
0= e dz = ez dz.
j
CR j=1 CR
CR1 i 2s
R + i 2s R + i 2s
CR2 CR4
CR3
R R R
1.
Z Z R
s 2
z 2
e dz = e(x+i 2 ) dx
1
CR R
Z R
s 2
= e(x+i 2 ) dx
R
2.
Z Z 0
z 2 2
e dz = e(R+iy) idy
2 s
CR 2
Z s
2 2
= i e(R+iy) dy
0
3.
Z Z R
z 2 2
e dz = ex dx
3
CR R
4.
Z Z s
2
z 2 2
e dz = i e(R+iy) dy
4
CR 0
Notemos que
Z Z Z s
2
z 2 z 2 2 2
e dz + e dz = i e(R+iy) e(R+iy) dy
2
CR 4
CR 0
Z s
h i
2
R2 2
= ie ey ei2Ry ei2Ry dy
0
Z s
2
R2 2
= 2e ey sen(2Ry)dy.
0
200 CAPTULO 14. LA TRANSFORMADA DE FOURIER
H 2
Tomando lmite cuando R en CR ez dz se deduce que
Z Z
(x+ is )2 2
e 2 dx + ex dx = 0
y por lo tanto Z Z
(x+ is )2 2
I= e 2 dx = ex dx = .
En consecuencia
s2
e 4 1 s2
f(s) = I = e 4 .
2 2
Ejemplo 14.3.2. Si a R \ {0} y g(x) = f (ax) entonces
1 s
g(s) = f (14.11)
|a| a
Demostracin.
Z
1
g(s) = eisx g(x)dx
2
Z
1
= eisx f (ax)dx
2
x2
g(x) = f (ax) = e 2
14.4. EJERCICIOS 201
y luego
g(s) = 2s)
2f(
1 (2s)2
= 2 e 4
2
s2
= e 2
2 1 s2
3 eax , a > 0 e 4a
2a
r
1 2 1 a|s|
4 ,a > 0 e
a2 + x2 a
r
k |x| a 2 sen(as)
5 k
0 |x| > a s
14.4. Ejercicios
En cada caso demuestre que la transformada de Fourier es la funcin indicada:
= 1 e s4 .
2 2
1. f (x) = ex f(s)
2
x
e si 0 x 1 1
2. f (x) = f(s) = .
0 si x < 0 2 1 + is
r
= 2 a .
3. f (x) = ea|x| , a > 0 f(s)
a2 + s2
r
4. f (x) =
k |x| a = 2 k sen(as) .
f(s)
0 |x| > a s
202 CAPTULO 14. LA TRANSFORMADA DE FOURIER
r
1 2 |s|
5. f (x) = f(s) = e .
1 + x2
14.5. Problemas
Problema 14.1. Calcule la transformada de Fourier de f (x) = cos(x)/[x3 x2 + 4x 4].
Problema 14.2. [Identidades de Plancherel y de Parseval]
Teorema (Shannon) Sea f : R R una funcin continua tal que existe su transformada de
Fourier de banda limitada a s0 entonces
X sen s0 (x nL)
f (x) = f (nL) ,
n=
s0 (x nL)
donde L = s0
.
y demuestre que la Transformada inversa para cada una de estas funciones esta dada por:
2s0 sen(s0 x n)
n (x) =
2 s0 x n
14.5. PROBLEMAS 203
(b) Demuestre que la familia {n (s)} es una familia de funciones ortonormales, es decir, que
el producto interno para funciones complejas entre n (s) y m (s) es cero si n 6= m y es
uno si n = m.
(c) Muestre que la familia {n (s)} permite escribir la funcin f como una serie de Fourier,
cuyos coeficientes estn en funcin de muestras de la funcin en intervalos de largo L, y
concluya.
204 CAPTULO 14. LA TRANSFORMADA DE FOURIER
Parte IV
205
Captulo 15
dQ u(t, x) u(t, x + x)
k(x) ,
dt x
donde k = k(x) > 0 es un coeficiente de conductividad trmica que depende del material del
cual est hecho la barra. En el lmite se obtiene
dQ u(t, x + x) u(t, x) u
= k(x) lm = k(x) (t, x).
dt x0 x x
Notemos que dQ/dt > 0 cuando u x
(t, x) < 0. Esto es consistente pues si u
x
(t, x) < 0 entonces
la temperatura es (localmente) decreciente, de modo que su valor es menor a la derecha del
207
208 CAPTULO 15. ECUACIONES LINEALES DE SEGUNDO ORDEN
y en consecuencia Z Z
t2 x2
h u i
Q1 = k(x) (t, x) dxdt.
t1 x1 x x
Al interior de la barra puede haber una fuente de calor, cuya tasa de produccin de calor
por unidad de tiempo y de longitud est dada por una funcin F = F (t, x). Por lo tanto, la
cantidad neta de calor producida en el segmento (x1 , x2 ) durante el lapso (t1 , t2 ) est dada por
Z t2 Z x2
Q2 = F (t, x)dxdt.
t1 x1
Por otra parte, la cantidad de calor que entra al segmento (x1 , x2 ), junto con el que se produce
en su interior, provocar un cambio en la distribucin de temperatura sobre dicho segmento en
el lapso de tiempo que va de t1 a t2 . La cantidad de calor por unidad de longitud necesaria para
un cambio u = u(t2 , x) u(t1 , x) de la temperatura en el punto x est dada por
y ste debe ser igual a la cantidad neta de calor que entra y que se produce en el segmento
(x1 , x2 ) durante el lapso (t1 , t2 ), esto es,
Q3 = Q1 + Q2 .
1
Densidad de capacidad calorca por unidad de longitud.
15.1. ECUACIONES PARABLICAS Y FENMENOS DE DIFUSIN 209
Ms explcitamente,
Z t2 Z x2 Z t2 Z x2 h i
u u
c(x) (t, x)dxdt = k(x) (t, x) + F (t, x) dxdt.
t1 x1 t t1 x1 x x
donde = k/c, f = F/c, y, con el fin de simplificar la notacin, hemos utilizado las notaciones
u 2u
ut := , uxx := 2 .
t x
Al coeficiente > 0 se le llama difusividad trmica del material.
u : [0, T ] R
es suficientemente regular.
Un modelo sencillo pero vlido en muchas situaciones, conocido como la ley de Fourier,
supone que la cantidad de calor Q que atraviesa un elemento de superficie A orientada segn
el campo de normales n , en un lapso de tiempo t viene dado por
Q
= k u n
A,
t
donde u
x
u = u
y ,
u
z
es decir u es el gradiente de u con respecto a las variables espaciales. k > 0 denota el coeficiente
de conduccin trmica del material. Observemos que dado que k es positivo, el calor fluye de
zonas de alta temperatura a zonas de baja temperatura, pues u es la direccin de mximo
descenso de la funcin u.
2
Por ejemplo, considere t2 y x2 como variables y derive la expresin con respecto a t2 y x2 sucesivamente,
eliminando" as la integral temporal primero y la espacial despus.
210 CAPTULO 15. ECUACIONES LINEALES DE SEGUNDO ORDEN
Fro
Calor
y haciendo t 0 ZZ
dQ ~
= ku dS.
dt
Por otra parte existe una relacin entre la cantidad de calor q almacenada en el elemento de
volumen V y la temperatura en esta regin:
q = c u V,
donde c es el calor especfico y es la densidad del material. Derivando con respecto a t se
deduce que la variacin de la cantidad de calor por unidad de tiempo en V es
q u
= c V.
t t
De este modo la variacin de calor almacenado en por unidad de tiempo es
ZZZ ZZZ
dQ q u
= dV = c dV.
dt t t
Esto ltimo es vlido para todo . Por un argumento de localizacin, si todas las funciones
en el integrando son continuas, se concluye
u
c div(ku) = 0 sobre [0, T ] ,
t
que es la ecuacin del calor para un cuerpo general. Si el cuerpo es homogneo, es decir
c(x, y, z) = c0 , (x, y, z) = 0 y k(x, y, z) = k0 entonces
u k0
div(u) = 0.
t c0 0
k0
Definiendo = c0 0
y recordando que
2u 2u 2u
div(u) = u = + + 2,
x2 y 2 z
llegamos a la ecuacin del calor para un cuerpo homogneo
u
u = 0 sobre [0, T ] , (15.2)
t
donde > 0 es una constante. Aqu es el operador Laplaciano con respecto a las variables
espaciales.
La ecuacin del calor se complementa con condiciones de borde adicionales, que sern expli-
citadas en la seccin 15.4.
Cuando en el interior del cuerpo hay fuentes distribuidas generadoras de calor, esto suele
modelarse mediante una funcin densidad por unidad de volumen
f : [0, T ] R,
(t, x, y, z) f (t, x, y, z),
de modo que el calor instantneo generado en una subregin est dado por
ZZZ
f (t, ~r) dV (~r).
u : [0, T ] [0, L] R.
Con el objeto de simplificar la derivacin de la ecuacin que satisface u haremos los siguientes
supuestos:
1. las oscilaciones de la cuerda son pequeas y cada punto de sta se mueve verticalmente,
2. la cuerda est sometida a una tensin cuya componente horizontal > 0 es constante y
uniforme
3. las fuerzas de friccin pueden ser despreciadas,
4. en una primera aproximacin despreciaremos el efecto de fuerzas externas como la grave-
dad.
Dado x (0, L) y x > 0 denotemos por el ngulo entre la cuerda y el eje x en el punto
(x, u(x)) y por el ngulo en (x + x, u(x + x)). Llamemos 1 a la tensin de la cuerda en
(x, u(x)) y 2 a la tensin en (x+ x, u(x+ x)). Realicemos un balance de fuerza en el segmento
de cuerda correspondiente a (x, x + x). Como suponemos que el movimiento de la cuerda es
vertical no hay aceleracin horizontal, es decir
2u
tan tan = l . (15.5)
t2
Pero tan = u | y tan =
x x
u
|
x x+x
, por lo que, dividiendo la ecuacin anterior por x y
haciendo x 0 encontramos
2u 2u
= ,
x2 t2
l
donde hemos utilizado x 1 cuando x 0. Si se quiere incorporar el efecto de fuerzas
externas, de manera anloga se puede verificar que u satisface
y
ut (0, x) = v0 (x) x [0, L].
Observemos que a diferencia de las ecuaciones parablicas, desde un punto de vista fsico al
menos, es necesario en las ecuaciones hiperblicas imponer condiciones iniciales sobre u y ut .
Las condiciones de borde deben reflejar las condiciones fsicas a las que est sujeta la cuerda
y pueden ser de varios tipos. Por ejemplo, una condicin de borde de la forma
u(t, 0) = 0 t [0, T ]
quiere decir que el extremo x = 0 de la cuerda est fijo a una altura 0. Otro ejemplo es
que significa que el extremo x = 0 est libre. En efecto, retomando (15.5) con x = 0 y si
suponemos que la componente vertical de la fuerza neta en x = 0 vale cero, vemos que
2u
2 sen = l .
t2
Usando que 2 sen u y haciendo x 0 resulta (15.7).
x x
214 CAPTULO 15. ECUACIONES LINEALES DE SEGUNDO ORDEN
u(t, x, y) : [0, T ] R,
de modo tal que en cada instante t la membrana corresponde a la superficie parametrizada por
(x, y) 7 u(t, x, y). Nuevamente suponemos
1. las oscilaciones de la membrana son pequeas y cada punto de sta se mueve verticalmente,
2. la membrana est sometida a una tensin superficial > 0 constante y uniforme
3. las fuerzas de friccin pueden ser despreciadas,
4. en una primera aproximacin despreciaremos el efecto de fuerzas externas como la grave-
dad.
Sean (x, y) y x > 0, y > 0. Estudiemos las fuerzas que actan sobre la porcin de
la membrana sobre el cuadrado [x, x + x] [y, y + y]. Haciendo un balance de las fuerzas
verticales y utilizando las mismas aproximaciones que en la seccin 15.2.1 podemos escribir
u u
(contribucin de las aristas paralelas al eje x) = x
y y+y y y
u u
(contribucin de las aristas paralelas al eje y) = y
x x+x x x
Luego por la ley de Newton
2u u u u u
xy 2 = x + y ,
t y y+y y y x x+x x x
15.3. ECUACIONES ELPTICAS Y FENMENOS ESTACIONARIOS 215
donde c > 0 depende de las propiedades de la barra (densidad de masa y constante elstica), y
f es (excepto por una constante) una densidad lineal de fuerzas externas.
u + F (x, y) = 0 en (15.10)
u = 0 en . (15.11)
Una funcin que es solucin de la ecuacin de Laplace se dice una funcin armnica.
216 CAPTULO 15. ECUACIONES LINEALES DE SEGUNDO ORDEN
XN
~ x) = qj ~x ~yj
E(~ 3
,
j=1
4 0 k~
x ~
y j k
~ = .
E
Cuando las cargas se distribuyen continuamente de acuerdo a una densidad volumtrica (~y )
el campo elctrico en un punto ~x cualquiera se puede escribir
ZZZ
1 ~x ~y
E(~x) = (~y ) d~y . (15.12)
40 k~x ~y k3
R3
Para dar sentido a esta integral supondremos que : R3 R es una funcin continua y que
(~y ) = 0 si k~y k R0 , donde R0 > 0 es una constante. Notemos que se trata de una integral
impropia pero convergente (el integrando se indefine en ~y = ~x).
El campo elctrico (15.12) tambin proviene de un potencial, es decir,
~ = .
E (15.13)
Sea R3 un conjunto abierto acotado no vaco cuya frontera es una superficie regular.
~ a travs de , es decir
Queremos calcular el flujo de E
ZZ ZZ ZZZ
~ x) = 1
~ dS(~ ~x ~y ~ x)
E (~y ) d~y dS(~
40 k~x ~y k3
R3
ZZZ ZZ
1 ~x ~y ~ x) d~y .
= (~y ) dS(~
40 k~x ~y k3
R3
es decir ZZZ
1
+ dV = 0.
0
Como lo anterior se tiene para todo , se concluye que el integrando debe ser nulo, es decir
1
= . (15.14)
0
Notemos que esta ecuacin es una Poisson (15.10) y en ausencia de carga sta ltima queda
como
= 0
la cual resulta ser una ecuacin de Laplace (15.11).
Hemos visto que estas dos ltimas ecuaciones modelan diversos sistemas fsicos. Lo que
diferencia un problema de otro es el significado fsico de las variables y las condiciones iniciales
y de borde, tema a tratar en la siguiente seccin.
Condiciones de borde
Estas condiciones aparecen tanto en problemas de evolucin como en ecuaciones estacio-
narias. Hay diversas alternativas segn el sistema fsico que se est modelando.
218 CAPTULO 15. ECUACIONES LINEALES DE SEGUNDO ORDEN
y si u depende de t
donde
g : R es una funcin conocida
En el caso ms general g puede depender del tiempo.
Condiciones de borde de tipo Neumann
Las condiciones de este tipo se caracterizan por venir representadas de la forma
u
u n
= (t, ) = h() sobre t [t0 , T ]
n
donde n representa la normal exterior a y donde h : R es una funcin
conocida (dato). En un caso ms general h puede depender del tiempo.
Condiciones mixtas
Esta clase de condiciones vienen caracterizadas por combinaciones de condiciones
del tipo Dirichlet y Neumann sobre porciones de la frontera.
Por ejemplo, en el caso de la conduccin del calor en una regin de R3 (ver la seccin
15.1.2), donde u representa la distribucin de temperaturas, la condicin de borde tipo
Dirichlet corresponde al caso en que esta distribucin se conoce sobre la frontera del
dominio. Por otro lado, en la condicin de borde tipo Neumann es el flujo de calor puntual
el que constituye un dato pues recordemos que el flujo de calor por unidad de rea y tiempo
est dado por
u
ku n = k = kh,
n
donde h : R es una funcin conocida y k representa la conductividad trmica.
Condiciones iniciales
En lo que respecta a las condiciones iniciales, stas tienen sentido slo en problemas de
evolucin y se dan en un instante t0 con el objeto de describir el campo tratado (campo
de temperaturas, campo elctrico, etc.) en t0 sobre todo . La condicin inicial viene
tpicamente dada por algo del tipo
donde u0 : R es dato.
15.5. ECUACIONES LINEALES Y PRINCIPIO DE SUPERPOSICIN 219
Cabe destacar que habr que imponer tantas condiciones iniciales como el orden de la
derivada temporal de u en la ecuacin, es decir, si en la ecuacin que describe el proceso
estudiado aparece la segunda derivada temporal de u, se tendr que imponer dos condicio-
nes iniciales. Una de estas ser como la antes mencionada y la segunda usualmente tendr
relacin con la primera derivada temporal de la funcin en el instante t0 , por ejemplo
u
(t0 , x, y, z) = v0 (x, y, z) (x, y, z)
t
y as sucesivamente, donde la funcin v0 es dato.
Ly = 0 en un intervalo I = (a, b)
c1 , c2 R, y1 , y2 Ker(L) c1 y1 + c2 y2 Ker(L)
o tambin
n
!
X
Lyi = 0, i = 1, 2, ..., n L yi =0
i=1
D~u
~ + ~u +
= F p ~ ~ ~u
Dt 3
donde es el coeficiente de viscosidad del fluido, F es la densidad volumtrica de fuerzas
externas (por ejemplo la gravedad), es la densidad y D~ u
Dt
es la aceleracin del elemento de
fluido, tambin conocida como derivada material, la cual viene expresada por
D~u ~u
= + (~u )~u,
Dt t
~ u viene dada
o por componentes, escribiendo ~u = (u1 , u2 , u3), la componente i-sima de (~u )~
por
h i
~ u = u1 ui + u2 ui + u3 ui .
(~u )~
i x y z
~ u = 0, y, por consiguiente la
En los fluidos incompresibles, la ecuacin de continuidad es
ecuacin anterior se reduce a
D~u ~ + ~u.
= F p
Dt
es solamente con respecto a las variables espaciales y por eso la notacin ~r . Usualmente esta
ecuacin se acompaa de la condicin (probabilstica)
ZZZ
|(~r, t)|2 d~r = 1.
R3
Notemos que (15.15) representa un sistema de dos ecuaciones reales en derivadas parciales,
siendo las incgnitas las partes real e imaginaria de .
donde 0 es una constante (la permeabilidad del vaco). Estas ecuaciones suelen complementarse
con leyes constitutivas para formar lo que se denomina un sistema cerrado de ecuaciones.
Cada una de estas ecuaciones entrega informacin sobre los campos tratados, por ejemplo de
la tercera ecuacin se puede concluir que B~ genera E
~ (de donde se deduce la ley de induccin).
De este set tambin se puede concluir que las lneas de campo magntico son cerradas, el flujo
de B~ es conservativo y as sucesivamente.
donde s
u 2 u 2
k
nk = 1+ + .
x y
Orientemos de modo que sea consistente con la orientacin de S para el teorema de Stokes.
De este modo el vector
n
,
apunta fuera de S, es perpendicular a y tangente a la membrana. Sobre S acta una fuerza
a lo largo de S ejercida por el complemento de sta que viene dada por
n
T ( ).
se tiene
ZZ ZZ
F~ e = T ~ (
[ n e)] n
dA = T ~ e)
[( ~ n
n ( e] n
) dA
S S
ZZ ZZ
= T ~ n
( en
)( ) dA = T e ~ n
( )
n dA.
S S
Luego ZZ
F~ = T ~ n
( )
n dA.
S
Pensando en S como una pequea superficie en torno a punto (x0 , y0, z0 ) de rea A, escribamos
como F~ la fuerza ejercida por el resto de la membrana sobre S, esto es
F~ = T (
~ n
)
n A + o(A).
Si no hay fuerzas externas actuando sobre la membrana, como sta est en reposo la ley Newton
establece que
F~ = 0
15.7. PROBLEMAS 223
y por lo anterior
~ n
T ( )
n A + o(A) = 0.
Dividiendo por A y haciendo A 0 obtenemos
~ n
T ( )
n = 0.
donde
u u
ux = , uy = .
x y
Luego la ecuacin para u queda
! !
ux uy
p + p = 0. (15.16)
x 1 + u2x + u2y y 1 + u2x + u2y
15.7. Problemas
Problema 15.1. Sea R3 un abierto conexo por caminos de frontera regular = 1 2 .
Considere la ecuacin del calor en rgimen estacionario con condiciones de borde mixtas.
u = 0 en
u = T0 sobre 1 (ECM)
u
n
= u sobre 2
(c) Resuelva (ECM) para el caso = {~r R3 | a < k~rk < b} con 0 < a < b, 1 = S(0, a) y
2 = S(0, b). Indicacin: suponga que la solucin tiene simetra esfrica.
224 CAPTULO 15. ECUACIONES LINEALES DE SEGUNDO ORDEN
Problema 15.2. 3 Una caera cilndrica de longitud L y radios a < b, conduce un lquido
a temperatura T1 mayor que la temperatura exterior T0 . Suponiendo conductividad trmica
k constante y simetra cilndrica, se desea determinar el rgimen estacionario de temperatura
T (, , z) = T ().
a travs del manto del cilindro de radio y longitud L, () (sin tapas, concntrico a
la caera, orientado exteriormente). Use el Teorema de la Divergencia para probar que
() es constante e igual a (b).
(b) Deducir que T / es constante y encontrar una expresin analtica para T () en funcin
de T1 , T0 , a, b.
(d) Suponga ahora que la caera se recubre por un material aislante (conductividad trmica
k conocida) hasta un radio c > b. Considerando la temperatura Tb en la interfaz como un
parmetro, use la conservacin de flujo para determinar Tb y compruebe que el flujo de
calor (b) es menor que en el caso no-aislado.
Problema 15.3. 4 Una esfera de radio R > 0 posee un ncleo de radio a < R el cual se
encuentra a una temperatura Ta , mayor que la temperatura T0 de la superficie. Suponemos que
la distribucin de temperatura u entre el ncleo y la superficie tiene simetra radial, vale decir
u = u(r, t).
(a) Muestre que u(r, t) satisface la ecuacin
u k 2 u
(r, t) = 2 r (r, t) .
t r r r
Problema 15.4. En una cuerda de largo L que est vibrando, para cada x [0, L] y t 0, la
funcin u(x, t) denota el desplazamiento vertical de la cuerda en el punto x y en el instante t.
3
Control 2. Primavera 1999. Matemticas Aplicadas.
4
Control 2. Primavera 1996. Matemticas Aplicadas. Prof: Felipe lvarez
15.8. SOLUCIN DE PROBLEMAS 225
(a) Proporcione una interpretacin fsica o geomtrica, segn corresponda, de cada una de
las siguientes funciones:
u 2u u
(x, t) (x, t) (x, t)
t t2 x
(b) Considere la ecuacin en derivadas parciales que gobierna el movimiento de la cuerda
vibrante de dimensin uno:
2u 2
2 u
(x, t) = c (x, t). (15.17)
t2 x2
(i) Muestre que u(x, t) = 2 sen(2x) cos(2t) satisface la ecucin (15.17) con c = .
(ii) Sean , : R R dos funciones de clase C 2 . Muestre que u(x, t) = (x + ct) +
(x ct) es solucin de la ecuacin de ondas (15.17).
(iii) Encuentre las funciones y en el inciso (i).
Indicacin: Recuerde que sen() + sen() = 2 sen( +
2
) cos( +
2
).
u
(iv) Si adems u(x, 0) = g(x) y t
(x, 0) = 0, muestre que
La frmula (15.19) es una ecuacin diferencial ordinaria cuya solucin est dada por
C1
u(r) = + C2
r
Para encontrar los valores de las constantes C1 y C2 veremos como se comporta u en la
frontera. Evaluando u en r = a (i.e. sobre 1 )
C1
u(a) = Ta = + C2
a
ahora derivando con respecto a r y evaluando en r = b (i.e. sobre 2 )
u C1 C1
(b) = 2 = + C2
n b b
El alumno debe justificar este clculo, es decir debe argumentar que para este problema la
normal exterior corresponde a r y por lo tanto u n coincide con u
r
y por las condiciones
de borde se tiene que esto ltimo es igual a u(b). Los valores de C1 y C2 se obtienen
resolviendo el sistema lineal
C1
Ta = + C2
a
C1 C1
= + C2 .
b2 b
Captulo 16
Separacin de Variables
Para resolver (16.1) bajo (16.2) y (16.3), aplicaremos el mtodo de separacin de variables, el
que describiremos detalladamente a continuacin.
Se introducen as dos nuevas incgnitas, T (t) y X(x), y por lo tanto necesitaremos dos ecua-
ciones para determinarlas. Sustituyendo (16.4) en (16.1), obtenemos
227
228 CAPTULO 16. SEPARACIN DE VARIABLES
Como slo nos interesan soluciones no triviales, se requiere que X(x0 ) 6= 0 para algn x0
(0, L). Deducimos de (16.5) que para todo t > 0 se tiene
T (t) = 1 T (t),
donde
X (x0 )
1 = .
X(x0 )
Similarmente, para todo x (0, L) se tiene
X (x) = 2 X(x),
donde
T (t0 )
2 =
T (t0 )
y t0 > 0 es tal que T (t0 ) 6= 0. En consecuencia, si ahora tomamos cualquier par (t, x) tal que
T (t) 6= 0 y X(x) 6= 0, lo anterior conduce a
T (t) X (x)
1 = = = 2 ,
T (t) X(x)
donde la segunda igualdad proviene de (16.5).
De este modo, se deduce que T (t) y X(x) satisfacen, respectivamente, las siguientes ecua-
ciones diferenciales ordinarias:
T (t) = Cet ,
Si < 0 entonces m1,2 = R, luego la solucin general de (16.7) est dada por
x
X(x) = C1 e + C2 e x
, C1 , C2 R.
1
Aqu utilizamos la raz cuadrada en el cuerpo de los complejos.
16.1. EJEMPLO MODELO: ECUACIN DEL CALOR 229
X(x) = C1 + C2 x, C1 , C2 R.
Si > 0 entonces m1,2 = i y por lo tanto
X(x) = C1 cos( x) + C2 sen( x), C1 , C2 R.
Observacin 16.1.1. Cuando 6= 0, una forma de evitar tener que considerar los casos < 0
y > 0 por separado consiste en utilizar la funcin exponencial compleja cuando corresponda.
En efecto, supongamos que > 0. Entonces se tiene
X(x) = C1 cos( x) + C2 sen( x)
= C1 (ei x
+ ei x
)/2 + C2 (i)(ei x
ei x
)/2
i x i x
= (C1 iC2 )/2e + (C1 + iC2 )/2e
e1 ei x + C
= C e2 ei x .
Como i = 1 = , de lo anterior deducimos que podemos escribir la solucin
general de la forma
X(x) = C1 e x + C2 e x ,
donde los coeficientes C1 , C2 vienen dados por
C1 , C2 R, si < 0
C1 , C2 C, si > 0
Sustituyendo las expresiones as obtenidas para T (t) y X(x) en (16.4), se construyen soluciones
de (16.1) en variables separadas que son de la forma
U (t, x) = et (C1 e x
+ C2 e x
), (16.8)
U0 (t, x) = C1 + C2 x.
Notemos que tenemos dos tipos de grados de libertad: el primero asociado al parmetro ;
el segundo, a los coeficientes C1 , C2 . Como veremos ms adelante, esta suerte de indetermina-
cin"de la solucin, que se debe a que hasta ahora slo hemos utilizado la ecuacin (16.1), nos
permitir imponer la condicin de borde (16.2) y la inicial (16.3) a combinaciones lineales de
soluciones de este tipo.
2
Cuando > 0, utilizamos la funcin exponencial compleja y coecientes complejos.
230 CAPTULO 16. SEPARACIN DE VARIABLES
et (C1 + C2 ) = 0, t > 0,
Esta ltima relacin debe interpretarse como una ecuacin para debido a que L > 0 es un
dato del problema. Recordando que consideramos la funcin exponencial de variable compleja
cuando > 0 y recordando su periodicidad, (16.10) conduce a
e L = e L e2 L = 1 2 L = i2k, k Z
= (k/L)2 , k Z.
Como nos interesa 6= 0 y adems las soluciones para k y k coinciden, basta que k recorra
todos los enteros positivos para obtener todos los valores posibles para , esto es
y tenemos que las soluciones en variables separadas correspondientes (16.9) son de la forma
2
h i
Uk (t, x) = Ck e(k/L) t eikx/L eikx/L
2
= Ck e(k/L) t 2i sen(kx/L)
= Ak k (t, x),
3
Recordemos que nos interesan soluciones no triviales.
16.1. EJEMPLO MODELO: ECUACIN DEL CALOR 231
La figura 16.1 ilustra los casos k = 1 y k = 2. Hemos obtenido as una familia {k (t, x)}kN\{0}
de soluciones fundamentales de la ecuacin (16.1) que satisfacen la condicin de borde (16.2).
En la tercera etapa del mtodo, veremos cmo imponer la condicin inicial (16.3).
Observacin 16.1.2. Antes de continuar, es interesante observar que lo realizado aqu puede
interpretarse como la resolucin de un problema de valores propios del tipo Sturm-Liouville.
En efecto, a partir de lo realizado en la primera etapa del mtodo, deducimos que para que
la solucin en variables separadas (16.4), supuesta no trivial, satisfaga la condicin de borde
(16.2) se requiere que
X (x) = X(x), 0 < x < L,
X(0) = X(L) = 0,
A: V C([0, L])
d2 f
f 7 Af := 2
dx
sobre el espacio vectorial V = {f C 2 (0, L) C([0, L]) | f (0) = f (L) = 0}, el problema
anterior puede escribirse AX = X. Los escalares k dados por (16.11) son los valores propios
del operador A, mientras que los espacios propios correspondientes son unidimensionales y estn
generados por las funciones propias Xk (x) = sen(kx/L). 2
t=0
1 1 (t, x) 1 t=0 2 (t, x)
t>0 t>0
L
2
0 L x 0 Lx
Ms generalmente, si
m
X
f (x) = Ai sen(ki x/L)
i=1
0 l
l x
2
16.2. APLICACIN EN LA RESOLUCIN DE EDPS 233
Como se vio en el captulo 13, bajo ciertas condiciones una funcin f (x) tiene una expresin
como Serie de Fourier, la cual es precisamente el tipo de Serie de funciones trigonomtricas que
se necesita para encontrar el valor de los coeficientes que aparecen al imponer la condicin inicial.
donde > 0.
u=0 u=0
234 CAPTULO 16. SEPARACIN DE VARIABLES
(CB) u(t, ) = 0 t
Evaluando, se obtiene e / = e / , es decir
e2 / = 1
Resolviendo
p
2 / = 2ki, k Z
2
k
=
2
k
=
Finalmente, obtenemos
ki
x ki x ( ki x)2 t kx kx 2
U(t, x) = [e e ]e = 2i sen e(
) t
Donde la constante 2i es absorbida en k . De esta forma, se obtiene que para cada k Z se
tiene la solucin elemental
kx ( kx )2 t
Uk (t, x) = sen e
16.2. APLICACIN EN LA RESOLUCIN DE EDPS 235
Como nos interesan soluciones no triviales y adems Uk (t, x) = Uk (t, x), basta considerar el
conjunto de soluciones elementales para k = 1, 2, 3, ..., esto es, nos reducimos al caso k N\{0}.
P
Cada funcin Uk satisface (EC) y (CB), de modo que k Uk (t, x) tambin. Slo nos queda
ajustar las constantes k de manera de satisfacer (CI). Postulamos
X
kx k 2
u(t, x) = k sen e(
) t
k=1
es decir
Z Z
1 sen kx 2 kx
k = f(x) dx = f (x) sen dx
0
En conclusin
X Z
2 k kx ( k )2 t
u(t, x) = f () sen d sen e
k=1
0
Notemos que u(t, x) 0 cuando t y que las frecuencias ms altas decaen ms rpida-
mente.
y
bordes aislados, flujo de calor 0
x
z
u=0
extremo semi aislado
ux = u
radiacin de calor
proporcional al salto
de temperatura
x=0
h i
Como antes se obtiene U(t, x) = et ae /x + be /x y la (CB) u(t, 0) = 0 t > 0 implica
a + b = 0 de modo que nos reducimos a
U(t, x) = et [e /x e /x ]
2i cos() = 2i sen()
o equivalentemente, tomando y = .
y
cos y = sen y
o bien
y
= tan y
238 CAPTULO 16. SEPARACIN DE VARIABLES
Esta ecuacin trascendente entrega una familia de soluciones numerables, digamos {yj } j=0 , la
cual se puede encontrar mediante mtodos numricos. Estas se pueden caracterizar como las
coordenadas horizontales de los puntos donde se intersectan los grafos de las funciones y 7 ly
con y 7 tan y (lo que se puede apreciar en el grfico de la figura 16.2).
Como yk 6= k, los coeficientes k no corresponden a los coeficientes de Fourier clsicos, pero
para encontrarlos se razona de manera anloga. En efecto
X
u(t, x) = k Uk (t, x) t > 0, 0 < x <
k=0
en particular
X
u(0, x) = f (x) = k Uk (0, x)
k=0
con
2 2 t y /x
Uk (t, x) = eyk / e k eyk /x
As
X
f (x) = k eyk /x eyk /x
k=0
q
Como yk = k
se tiene yk C, y el problema se reduce a encontrar los coeficientes k de
modo que
X y x
k
f (x) = k sen
k=0
yj x
Ahora, multiplicando por sen e integrando sobre [0, ] (donde supondremos que el intercam-
bio de la sumatoria con la integral es vlido) se obtiene
Z y x X Z y x y x
j k j
f (x) sen dx = k sen sen dx
0 k=0 0
16.2. APLICACIN EN LA RESOLUCIN DE EDPS 239
u=0 u=0
u = f (x) x
Esto nos conduce a dos E.D.Os, una para X y otra para Y que resolvemos para llegar a
(
X(x) = ae x + be x
Y (y) = ce y + de y
De la condicin
U(x, ) = 0
se desprende que c = 0, pues de otro modo la solucin diverge, cosa que no es aceptable desde
el punto de vista de la fsica. Nos podemos restringir a k N \ {0} y la solucin elemental
correspondiente est dada por:
ky kx
Uk (x, y) = e sen .
16.2. APLICACIN EN LA RESOLUCIN DE EDPS 241
P
kx
Ahora bien u(x, 0) = f (x) = k sen
, lo que nos permite expresar los coeficientes k
k=1
como
Z
2 k
k = f () sen d
0
Ejercicio. Resolver la ecuacin de ondas de una cuerda de largo con un extremo fijo y el otro
libre.
u(x, t)
x=0 x=
b y
a
R
x
T XY = 2 [T X Y + T XY ].
Como la igualdad anterior es cierta para cualquier valor que tomen las variables x, y y t, se
tiene:
T
= K0
T
X
= K1
X
Y
= K2
Y
donde K0 , K1 y K2 , constantes, para las cuales adems se satisface la relacin K0 = 2 (K1 +K2 ).
Escribimos las soluciones de las E.D.Os correspondientes
K0 t
T (t) = a0 e + b0 e K0 t
K1 x
X(x) = a1 e + b1 e K1 x
K2 y
Y (y) = a2 e + b2 e K2 y
Podemos con esto escribir una solucin elemental. En este caso queda parametrizada por k1 y
k2 que se pueden tomar en N \ {0}.
k1 x k2 y
Uk1 ,k2 (t, x, y) = sen sen [k1 k2 sen (wk1 k2 t) + k1 k2 cos (wk1 k2 t)]
a b
donde s 2 2
k1 k2
wk1 k2 = +
a b
Aplicando el principio de superposicin, escribimos la solucin general
X
k1 x k2 y
u(t, x, y) = sen sen [k1 k2 sen (wk1 k2 t) + k1 k2 cos (wk1 k2 t)]
k ,k =1
a b
1 2
X
k1 x k2 y
u(0, x, y) = k1 k2 sen sen = f (x, y)
k1 ,k2 =1
a b
244 CAPTULO 16. SEPARACIN DE VARIABLES
De este modo
Za Zb
4 k1 x k2 y
k1 k2 = f (x, y) sen sen dydx
ab a b
0 0
y
u=0
b
u=0 u = T = cte
u=0 a x
Separando variables se obtiene YY = XX = = cte. Esto conduce a dos EDOs cuyas
soluciones son
(
Y = ae y + be x
X = ce x + de x
16.2. APLICACIN EN LA RESOLUCIN DE EDPS 245
es decir, T es la extensin impar de la funcin que vale la constante T sobre el intervalo (0, b).
Notar que el valor de T en 0 no es relevante.
Gracias a la condicin de borde
X
ka ky
u(a, y) = T = k senh sen ,
k=1
b b
Zb
ka 2T ky 2T
k senh = sen dy = [1 (1)k ].
b b b k
0
u(t, 0) = 0 X(0) = 0 c + d = 0.
/
u(t, ) = 0 X() = 0 e e/ = 0 e2 /
=1
De donde
2 / = 2ki, k Z
ki
= , kZ
16.2. APLICACIN EN LA RESOLUCIN DE EDPS 247
es solucin de la ecuacin.
Tenemos dos familias de constantes que determinar: ak y bk . Para las primeras utilizamos la
condicin inicial sobre u
X kx
u(0, x) = f (x) = ak sen
k=1
y obtenemos
Z
2 kx
ak = f (x) sen dx
0
ut (0, x) = g(x)
lo que equivale a
X
k kx
bk sen .
k=1
k
De esta relacin observamos que bk debe ser el coeficiente de Fourier de la extensin impar
de g, y deducimos que
Z
2 kx
bk = g(x) sen dx.
k
0
248 CAPTULO 16. SEPARACIN DE VARIABLES
16.3. Ejercicios
1. Encontrar las soluciones elementales en variables separadas de
u = 0 R>r
u(R, ) = f () [0, 2].
u = 0 R>r
ur (R, ) = f () [0, 2].
4. Resuelva:
u = 4 1>r
u(1, ) = cos(2) [0, 2].
16.4. Problemas
Problema 16.1. Resuelva la ecuacin de Helmholtz
u + u = 0
Indicacin: Considere soluciones del tipo y(x, t) = Y (x, t)h(x) para una funcin h adecuada.
p
Problema 16.3. Sea u = v( x2 + y 2 + z 2 , t) una solucin con simetra radial de la ecuacin
de ondas
utt = c2 u en R3 .
(i) Probar que v satisface la ecuacin vtt = c2 [vrr + 2vr /r] para r 0, t 0.
(ii) Sea w(r, t) = rv(r, t). Probar que w satisface la ecuacin de ondas unidimensional.
(iii) Encontrar w para las condiciones iniciales u(x, y, z, 0) = exp(r 2 ) y ut (x, y, z, 0) = 0.
Problema 16.4. Resuelva la EDP no homognea de una dimensin:
(1) ut = c2 u k(u v)
(2) vt = a2 v l(v u)
donde k > 0 y l > 0 son constantes relacionadas con el intercambio de calor entre los gases.
La superficie es adiabtica (u n
= v n
= 0 en ), y en el instante inicial (t = 0) las
temperaturas u, vRRR
son constantes en todo iguales
RRR a u0 y v0 respectivamente.
(a) Sea U(t) =
u dxdydz y V (t) =
v dxdydz. Probar que U = k(U V ) y
anlogamente V = l(V U).
(b) Deducir que la cantidad K(t) = lU(t) + kV (t) se conserva y probar que
lu0 + kv0
lm U(t) = lm V (t) = ().
t t k+l
(c) Sea w : R solucin de la ecuacin auxiliar
w = w en
w n
= 0 en
RR RRR RRR
(c.1) Probar la identidad: ~=
ww dS kwk2 + w2.
(d) Considere ahora las ecuaciones (1) y (2) en rgimen estacionario y sean u, v las soluciones.
Probar primero que u v 0, y luego que u cte v.
(e) Calcular, usando la parte (b), la temperatura constante del rgimen estacionario.
4
Problema 16.10.
Considere la ecuacin del calor en una esfera slida de radio R y difusividad trmica > 0.
Buscamos soluciones con simetra esfrica, vale decir, u = u(t, r).
(c) Pruebe que basta tomar b = 0 para que la solucin encontrada en la parte (b) satisfaga
la condicin de borde en r = 0 dada por lmr0 U
r
(t, r) = 0, para t > 0.
4
Examen Especial. Primavera 2007. Matemticas Aplicadas. Prof: Felipe lvarez
16.4. PROBLEMAS 251
u
(CI) u(x, 0) = f (x), (x, 0) = 0 para 0 < x < 1.
x
7
Problema 16.13.
(i) Determine la serie de Fourier de la funcin f (x) = 1 |x| en el intervalo [2, 2], y deduzca
el valor de la serie de nmeros reales:
X
1
2
.
n=1
(2n 1)
(ii) Pasando el lado derecho a la condicin de inicial. Resuelva el siguiente problema diferen-
cial en derivadas parciales
ytt yxx = 4sen(2x), 0 < x < , t > 0,
y(0, t) = y(, t) = 0, t > 0,
y(x, 0) = 0, 0 < x < ,
yt (x, 0) = x, 0 < x < .
Ind.: Considere el cambio u(x, t) = y(x, t) sen(2x).
5
Control 3. Primavera 2007. Matemticas Aplicadas. Prof: Felipe lvarez
6
Examen. Primavera 2002. Matemticas Aplicadas. Prof: F. Avarez, R. Correa y P.Gajardo
7
Control 3. Primavera 2003. Matemticas Aplicadas. Prof: Felipe lvarez
252 CAPTULO 16. SEPARACIN DE VARIABLES
Problema 16.14. Resuelva la ecuacin de ondas en [0, ] con las condiciones de borde e
iniciales que se indican:
utt = uxx , x (0, ), t > 0
u(0, t) = u(, t) = 0, t>0
u(x, 0) = sen(x) 2 sen(3x), x (0, ),
ut (x, 0) = 3 sen(2x), x (0, ).
8
Examen. Otoo 2007. Matemticas Aplicadas. Prof: Alberto Mercado
16.5. RESOLUCIN DE PROBLEMAS 253
1 1
= (1)n 2 + 2 (sen(nx)) |
n n
(1)n+1
= 2
n
Entonces los coeficientes de la serie buscada son
Z
1 (1)n+1
an = sen(nx)xdx =
2 n
y adems f es diferenciable, y L2 integrable, por lo que se cumplen los teoremas de
convergencia vistos en clase. Por tanto la serie de f (x) = x es
X (1)n+1
S(x) = sen(nx)
n
X (1)n+1
=2 sen(nx)
1
n
( Obs : Es igualmente correcto si desde el principio el alumno solo integra para los
k > 0 y divide por en lugar de 2.)
2. a) Haciendo u(x, t) = X(x)T (t) tenemos que
XT X T + 6X T = 0
XT = X T 6X T
Razonando como es usual (de que en algn punto la funciones son distintas
de cero y por tanto podemos dividir por XT , y despus tener en cuenta la
independencia de las variables x y t) se tienen las ecuaciones
T = T
X 6X = X
La ecuacin para T tiene solucin T (t) = Cet y para la ecuacin de X resolve-
mos la ecuacin caracterstica:
r 2 6r = 0
254 CAPTULO 16. SEPARACIN DE VARIABLES
0 = u(0, t) = C1 et + C2 et
para toda t > 0, por lo que
C1 = C2
y por tanto, denotando C = C1 = C2 , se tiene que
t (3+ +9)x (3 +9)x
u(x, t) = Ce e e
t+3x x +9 x +9
= Ce e e
= Cet+3x 2 senh(x + 9)
En x = :
0 = u(, t) = Cet+3 senh( + 9) para todo t > 0. Teniendo en cuanta las
propiedades de la funcin senh, se tiene que cumple esta relacin ssi existe
k Z tal que
+ 9 = ki
de donde
+ 9 = k 2
(Obs: Es posible que alumno haya probado esto directamente por medio de
propiedades de la exponencial, o bien usando la relacin ez ez = e iiz ei iz =
2i sen(iz) y el hecho que los ceros de sen son de la forma k).
En todo caso, se tiene que
+ 9 = ki
y que
= k 2 9
Esto para cada k Z, por lo que para cada k se tiene una solucin fundamental
uk . Sustituyendo arriba, se concluye que stas son de la forma
2 9)t+3x
uk = Ce(k exki exki
2 9)t+3x
= Ck e(k sen(kx)
16.5. RESOLUCIN DE PROBLEMAS 255
X
b) De lo anterior, se tiene que toda funcin de la forma u(x, t) = uk (x, t) es
solucin de la ecuacin. Imponiendo la condicin inicial u(x, 0) = e3x x, se tiene
que
X
X
X
e3x x = uk (x, 0) = Ck e3x sen(kx) = e3x Ck sen(kx)
de donde
X
x= Ck sen(kx).
(1)k+1
Ck =
k
para cada k Z.
Por lo tanto, se concluye que
X (1)k+1 2 9)t+3x
u(x, t) = e(k sen(kx)
k
X (1)k+1 2 9)t+3x
=2 e(k sen(kx)
0
k
( Obs: Es vlido si solo usa la suma de los trminos con k > 0.)
256 CAPTULO 16. SEPARACIN DE VARIABLES