Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ZZZ ZZ
div(F~ ) dV = F~ n
b dA
Felipe lvarez D.
Roberto Cominetti C.
Juan Diego Dvila B.
Hctor Ramrez C.
Tercera Edicin
1 de Marzo 2016
ii
Felipe lvarez D.
falvarez@dim.uchile.cl
Prefacio
El objetivo de estos apuntes es presentar los elementos bsicos del clculo vectorial y de la
teora de funciones de variable compleja, como asimismo ilustrar su utilizacin en la resolucin
de ecuaciones en derivadas parciales. Hemos escogido un enfoque y nivel de profundidad acorde
a lo que se espera para el curso de Clculo Avanzado y Aplicaciones, asignatura del segundo
ao del Plan Comn de la Carrera de Ingeniera Civil y las Licenciaturas en Ciencias de la
Facultad de Ciencias Fsicas y Matemticas de la Universidad de Chile.
Estos apuntes se basan en las notas escritas en colaboracin con mi colega el Profesor Roberto
Cominetti, y se han beneficiado de una activa participacin de los Profesores Hctor Ramrez
Cabrera y Juan Diego Dvila. Buena parte del material referente a la teora de EDP se debe a
este ltimo. Agradezco a todos ellos las mltiples e interesantes discusiones que hemos tenido
sobre diversos aspectos del curso.
Mis ms sinceros agradecimientos a Miguel Carrasco y Claudio Pizarro, quienes en aos
anteriores participaron activamente en la confeccin de una versin previa de este apunte para
el curso en aquel entonces llamado Matemticas Aplicadas, al transcribir en LATEX buena parte
de las notas manuscritas, elaborar figuras y sugerir varias ideas para mejorar la presentacin.
Tambin debo agradecer a Regina Mateluna, secretaria del DIM, por su eficiente y siempre
bien dispuesta colaboracin en esta tarea. Luego este apunte fue completamente reorganizado
y actualizado por Germn Ibarra y Emilio Vilches, incorporando nuevo material y revisando
cuidadosamente el que ya exista, con el fin de adecuarlo al programa del curso de Clculo
Avanzado y Aplicaciones; mi reconocimiento para ellos por un trabajo muy bien hecho. En la
segunda edicin se hicieron varias correcciones formales y de presentacin, fruto de una atenta
y constructiva revisin de todos los captulos y apndices realizada por Jorge Lemus y Nicols
Carreo; vayan mis agradecimientos ambos por su excelente trabajo. Finalmente, en esta tercera
edicin se han introducido algunas mejoras en la presentacin, incorporado nuevos ejemplos y
corregido algunos errores menores.
Sin perjuicio de lo anterior, la responsabilidad por los eventuales errores o inexactitudes que
puedan persistir es slo ma. Estar muy contento de recibir cualquier comentario o sugerencia
que permita mejorar este apunte en la siguiente direccin (favor mencionar la edicin especfica):
falvarez@dim.uchile.cl
Felipe lvarez D.
Santiago
1 de marzo de 2016
iii
iv
I Clculo Vectorial 1
vii
viii NDICE GENERAL
Problemas de recapitulacin 71
6. El plano complejo 79
6.1. Estructura algebraica del plano complejo . . . . . . . . . . . . . . . . . . . . . . 79
6.2. Estructura mtrica del plano complejo . . . . . . . . . . . . . . . . . . . . . . . 81
6.3. Representacin polar y races de la unidad . . . . . . . . . . . . . . . . . . . . . 82
7. Continuidad y derivacin 85
7.1. Funciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
7.2. Derivada compleja: condiciones de Cauchy-Riemann . . . . . . . . . . . . . . . . 86
7.3. Propiedades bsicas de la derivada compleja . . . . . . . . . . . . . . . . . . . . 89
7.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
7.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
V Apndice 275
A. Curvas en R3 277
A.1. Curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277
A.1.1. Reparametrizacin de curvas regulares . . . . . . . . . . . . . . . . . . . 280
A.1.2. Parametrizacin en longitud de arco . . . . . . . . . . . . . . . . . . . . 281
A.1.3. Velocidad, rapidez y vector tangente . . . . . . . . . . . . . . . . . . . . 283
A.2. Complementos sobre curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 284
A.2.1. Integrales sobre curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 284
A.2.2. Curvatura y vector normal . . . . . . . . . . . . . . . . . . . . . . . . . . 285
A.2.3. Vector binormal y torsin . . . . . . . . . . . . . . . . . . . . . . . . . . 286
A.2.4. Frmulas de Frenet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 288
A.2.5. Planos de Frenet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
A.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
A.4. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 290
A.5. Resolucin de Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 295
Clculo Vectorial
1
Captulo 1
b b
b
b
b
(x0 , y0, z0 )
3
4 CAPTULO 1. ELEMENTOS DE CLCULO VECTORIAL
Ejemplo 1.1.1. Los puntos de un disco plano que gira en sentido anti-horario con velocidad
angular constante > 0 tienen como campo de velocidades a ~v (x, y, 0) = y + x.
Ejemplo 1.1.2. Consideremos un fluido movindose en una regin R3 . Si a cada punto
(x, y, z) le asociamos la velocidad instantnea de las partculas que pasan por dicho punto,
obtenemos el campo de velocidades del fluido: ~v (x, y, z) = v1 (x, y, z) + v2 (x, y, z) + v3 (x, y, z)k.
Ejemplo 1.1.3. (Ley de Fourier para la conduccin del calor. El calor fluye a una
T T T
velocidad J~ proporcional al gradiente de temperaturas: J~ = T = k,
x y z
donde la constante > 0 se llama conductividad trmica y es una propiedad fsica propia del
medio conductor, siguiendo localmente la direccin de mximo descenso de la temperatura, que
es perpendicular a la correspondiente superficie de nivel tambin conocida como isoterma.
1.2. OPERADORES DIFERENCIALES DEL CLCULO VECTORIAL 5
F1 F1 F1
(x0 , y0, z0 ) (x0 , y0 , z0 ) (x0 , y0 , z0 )
x y z
F2 F2 F2
JF~ (~r0 ) = (x0 , y0, z0 ) (x0 , y0 , z0 ) (x0 , y0 , z0 )
x y z
F3 F3 F3
(x0 , y0, z0 ) (x0 , y0 , z0 ) (x0 , y0 , z0 )
x y z
En esta seccin definiremos ciertos operadores diferenciales que hacen intervenir algunas de
estas derivadas parciales en una forma bien particular. Como veremos en los captulos que
siguen, estos operadores son fundamentales para el desarrollo de los teoremas integrales del
clculo vectorial. Aqu nos concentraremos slo en la operatoria involucrada, dejando para ms
adelante la interpretacin y aplicacin de estos objetos.
6 CAPTULO 1. ELEMENTOS DE CLCULO VECTORIAL
div F~ = F~ . (1.3)
Notemos que dado ~r0 , div F~ (~r0 ) = traza (JF~ (~r0 )).
Si F~ (~r) = ~v (x, y) = (y, x, 0) entonces div ~v 0. Se dice que ~v es solenoidal, esto es,
un campo cuya divergencia siempre es nula.
F~ = F1 + F2 + F3 k (1.5)
Ejemplo 1.2.6. Veamos ahora los rotores de los campos del ejemplo 1.2.2:
Si F~ (~r) = ~r entonces rot ~r ~0. Se dice que ~r es irrotacional, esto es, un campo cuyo rotor
es siempre el vector nulo.
Observacin 1.2.7. Todo campo vectorial de clase C 1 que deriva de un potencial es irrotacio-
nal, esto es, si F~ = g en para algn potencial g de clase C 2 sobre , entonces rot F~ ~0
en . En efecto,
2 2 2
g 2g g 2g g 2g
rot(g) = + + k = ~0.
yz zy zx xz xy yx
Aqu hemos usado que cada una de las componentes es nula por la igualdad de las derivadas
cruzadas, lo que a su vez es cierto en virtud del Teorema de Schwartz (recordemos que hemos
supuesto que g es de clase C 2 , de modo que sus segundas derivadas parciales son continuas).
1. c R, div(cF~ + G)
~ = c div F~ + div G.
~
2. c R, rot(cF~ + G)
~ = c rot F~ + rot G.
~
5. div(f F~ ) = f div F~ + F~ f .
6. rot(f F~ ) = f rot F~ + f F~ .
8 CAPTULO 1. ELEMENTOS DE CLCULO VECTORIAL
7. div(F~ G)
~ =G
~ rot F~ F~ rot G.
~
8. div(f g) = 0.
9. (f g) = f g + gf + 2f g.
~ (f g gf ) = f g gf .
10.
12. rot(F~ G)
~ = F~ div G
~ G
~ div F~ + (G
~ )F~ (F~ )G.
~
14. (F~ G)
~ = (F~ )G
~ + (G
~ )F~ + F~ rot G
~ +G
~ rot F~ .
(F~ )
~ G~ = F~ (G1 ) + F~ (G2 ) + F~ (G3 ) k,
~ = G1 + G2 + G3 k.
donde G
Adems suponemos que la matriz jacobiana del sistema de coordenadas en no singular, esto es,
~r ~r ~r
J~r (u0 , v0 , w0 ) = (u0 , v0 , w0 ) (u0, v0 , w0 ) (u0 , v0 , w0 )
u v u 33
~
r
k u 6 0, y por lo tanto el vector tangente a la curva en el punto ~r(u0 , v0 , w0 ) est
(u0 , v0 , w0 )k =
bien definido y se expresa como
~r
~r
u = (u0 , v0 , w0 )
(u0 , v0 , w0 )
u u
Evidentemente, u puede depender de (u0 , v0 , w0 ) pero no explicitaremos esta dependencia para
~
r ~
r
simplificar la notacin. Similarmente, como k v 6 0 y k w
(u0 , v0 , w0 )k = 6 0, los vec-
(u0, v0 , w0 )k =
tores tangentes v y w a las curvas parametrizadas por v 7 ~r(u0 , v, w0 ) y w 7 ~r(u0 , v0 , w) estn
bien definidos. Ms an, nuevamente en virtud de la invertibilidad de la matriz jacobiana en
todo punto, se tiene que el triedro {u, v, w} es linealmente independiente por lo que constituye
una base normalizada de R3 .
Definicin 1.3.1 (Sistema ortogonal). Se dice que el sistema de coordenadas ~r = ~r(u, v, w),
(u, v, w) D, es ortogonal si los vectores unitarios del triedro {u, v, w} definidos por
~r
~
r
~
r
~r
~
r
~r
u = /
, v = /
, w = /
. (1.6)
u
u
v
v
w
w
son mutuamente ortogonales para cada (u, v, w) D.
w
~r(u0 , v0 , )
~r(u0 , v0 , w0)
~r(u0 , , w0)
u
v
~r(, v0 , w0 )
Coordenadas cilndricas
[0, +[
[0, 2[
zR
+P
z
Entonces, la relacin entre las coordenadas cilndricas y cartesianas viene dada por
~r(, , z) = (x(, , z), y(, , z), z(, , z)) = ( cos , sen , z).
p y
= x2 + y 2, = arctan , z = z.
x
Calculemos los factores escalares y el triedro unitario asociado a este sistema de coordenadas.
~r
= (cos , sen , 0) h = 1,
~r
= ( sen , cos , 0) h = ,
~r
= (0, 0, 1) hz = 1,
z
k
b
Coordenadas esfricas
Un tipo de geometra que aparece con frecuencia en las aplicaciones es la geometra esf-
rica. Para el sistema de coordenadas ligado a esta geometra, la posicin de un punto P~ est
determinada por un radio r y dos ngulos y , como se muestra en la figura.
z r [0, +[
[0, 2[
[0, ]
+P
r
y
obteniendo
r = (sen cos , sen sen , cos ), = ( sen , cos , 0), = (cos cos , cos sen , sen ).
z
r
b
Observacin 1.3.3. Notemos que para seguir la convencin conocida como la regla de la mano
derecha para el producto cruz entre dos miembros sucesivos del triedro, es conveniente ordenar
las variables como r, y , quedando asimismo el propio triedro ordenado de la forma r, y .
Esto motiva que algunos autores prefieran intercambiar el nombre de los ngulos en relacin a
lo adoptado aqu. Por esta razn se sugiere que el lector tenga la precaucin de siempre verificar
primero cul es el nombre que el autor ha dado a cada ngulo antes de seguir un desarrollo que
involucre coordenadas esfricas.
Coordenadas toroidales
r y
b
x
1.3. SISTEMAS DE COORDENADAS ORTOGONALES 13
~r(r, , ) = ((R + r sen ) cos , (R + r sen ) sen , r cos ), r [0, R], [0, 2), [0, 2).
Es fcil verificar al igual que en los casos anteriores, los vectores del triedro r, y son
mutuamente ortogonales.
~r
~
b
~
b
GM
V (x, y, z) = p ,
x2 + y2 + z2
GM
V (r, , ) = V (r) = .
r
Resulta entonces interesante obtener expresiones para los operadores diferenciales fundamen-
tales de campos escalares o vectoriales en trminos de un sistema de coordenadas ortogonales
~r = ~r(u, v, w) con (u, v, w) D. En esta seccin veremos el caso especfico del gradiente de una
funcin diferenciable f : R3 R.
14 CAPTULO 1. ELEMENTOS DE CLCULO VECTORIAL
Sea (u, v, w) D tal que ~r(u, v, w) . Para simplificar la notacin, no escribiremos expl-
citamente la dependencia en u, v y w. Como el triedro u, v, w es ortonormal y en particular es
una base de R3 , podemos escribir
Ahora bien, por definicin de los factores escalares, tenemos en particular que
~r
= hu u
u
de modo tal que
1 ~r
f (~r) u = f (~r) .
hu u
Pero por la regla de la cadena
~r
f (~r) = (f ~r),
u u
de donde se concluye que
1
f (~r) u = (f ~r).
hu u
Razonando de manera similar con las otras componentes, deducimos que
1 f 1 f 1 f
f = u + v + w. (1.8)
hu u hv v hw w
f 1 f f
f = + + k. (1.9)
z
f 1 f 1 f
f = r + + . (1.10)
r r sen r
F~ = Fu u + Fv v + Fw w.
GM
F~ = 3 (x + y + z k),
(x2 + y 2 + z 2 ) 2
GM
F~ = 2 r
r
1
div F~ = [ (Fu hv hw ) + (hu Fv hw ) + (hu hv Fw )] (1.11)
hu hv hw u v w
1
div F~ = [ (F ) + F + (Fz )].
z
16 CAPTULO 1. ELEMENTOS DE CLCULO VECTORIAL
1.4. Ejercicios
Ejercicio 1.4.1. Dibuje las curvas de nivel de la funcin f (x, y) = x2 y 2, conocida como silla
de montar.
GM~r GM
F~ (~r) = 3
= rb, ~r 6= ~0.
k~rk k~rk2
GM GM
V (~r) = = p , ~r 6= ~0
k~rk x2 + y 2 + z 2
Ejercicio 1.4.6. Muestre la validez de cada una de las identidades de la seccin 1.2.2. Una vez
que haya mostrado que una de ellas es cierta, puede usarla para verificar las siguientes.
1
div F~ = 2 ((r)r 2 ).
r r
18 CAPTULO 1. ELEMENTOS DE CLCULO VECTORIAL
Ejercicio 1.4.9. Diremos que un campo vectorial F~ : R3 \{eje Z} R3 tiene simetra cilndrica
si puede escribirse en coordenadas cilndricas como
1
div F~ = (F ).
K
F~ (~r) = ,
para alguna constante K R. Pruebe que todo campo solenoidal con simetra cilndrica
admite un potencial de la forma U() = K ln + C para ciertas constantes K y C.
1.5. Problemas
Problema 1.1. Consideremos el sistema de coordenadas dado por
con x R, [0, 2[ y 0.
(b) Encuentre expresiones para el gradiente, divergencia, laplaciano y rotor en este sistema
de coordenadas.
(c) Dada una funcin no-negativa y diferenciable f : [a, b] R+ , bosqueje la superficie
de ecuacin y 2 + z 2 = f (x)2 . Verifique que una parametrizacin de esta superficie es
.
~r1 (x, ) = xb + f (x)b
1
Problema 1.2.
(b) Considere el campo vectorial F~ (~r) = g(r) expresado en coordenadas esfricas, donde
r = k~rk y g : R R es una funcin escalar. Verifique que div F~ = 0 y pruebe que
d
rot[F~ (t~r) t~r] = 2tF~ (t~r) + t2 F~ (t~r). (1.14)
dt
(c) Sea ahora F~ un campo cualquiera tal que div F~ = 0 en una bola B de R3 centrada en
el origen. Entonces se puede probar (no
R 1 se pide que lo haga) que (1.14) es vlida en B.
~ r ) = [F~ (t~r) t~r]dt. Usando lo anterior concluya que
Definamos el campo vectorial G(~ 0
~ = F~ en B.
rot G
Problema 1.3. 2 Considere las ecuaciones de Euler en rgimen estacionario, en presencia de
un campo gravitacional
~v ~v + p = g k.
~
~
~ ~
tu = /k k; tv = /k k.
u u v v
v n
~ (, )
S tv
v0 b
tu y
D
u0 u x
1
Un conjunto se dice conexo si no puede ser descrito como unin disjunta de dos conjuntos abiertos no vacos.
21
22 CAPTULO 2. INTEGRAL DE FLUJO Y EL TEOREMA DE GAUSS
Observacin 2.1.2. Dada una superficie regular, los vectores tangentes dependen de la parame-
trizacin regular especfica que se escoja para hacer los clculos. Sin embargo, se puede demostrar
que el vector normal es nico salvo por el signo 2 . En consecuencia, el plano tangente es nico.
Ejemplo 2.1.3. Consideremos el hemisferio superior del casquete esfrico de radio R > 0 y
centro en el origen:
z
n = r
b
t =
t =
y
R
x
2
Para obtener el campo de normales de signo opuesto basta con intercambiar los roles de las variables u y v.
2.1. CAMPOS DE NORMALES 23
t = y t = ,
n = = r.
Notemos que si invertimos el orden de las variables y , considerando como nueva parame-
trizacin ~ 1 (, ), podemos tomar ahora u = y v = para obtener como campo
~ 3 (, ) :=
de normales n = = r, que resulta ser el opuesto al anterior.
Ejemplo 2.1.4. Tomemos ahora el caso del manto (sin la tapa) de un cono invertido de radio
a > 0 y altura h > 0, con eje de simetra dado por el eje Z y vrtice en el origen:
z
a
n t
h
b
t =
manera nica un plano tangente en dicho punto. Usemos ~3 = ~ 3 (, ) para encontrar un campo
de normales al manto del cono excepto en el vrtice, de modo que suponemos que > 0. Es
directo verificar que en este caso los vectores tangentes estn dados por:
+ (h/a)k a + hk
t := p = y t = .
1 + (h/a)2 a2 + h2
El lector observar que t 6= en este caso. Finalmente, como t y t resultaron ser ortogonales
(pues , y k es un triedro ortonormal), el campo de normales sobre el manto es
a + hk ak h
n = = .
a2 + h2 a2 + h2
n(p)
Tp (S)
b
p
S
r
b
r y
Ejemplo 2.2.3. La banda de Mbius, que se muestra en la siguiente figura, no es orientable.
Puede explicar por qu?
26 CAPTULO 2. INTEGRAL DE FLUJO Y EL TEOREMA DE GAUSS
Cuando S sea una superficie cerrada y orientable, diremos que S est orientada segn la
normal exterior si la normal apunta, para todo punto de la superficie, en direccin contraria al
volumen encerrado por la superficie, y diremos que est orientada segn la normal interior en
caso contrario.
Supondremos que S es una superficie regular orientable (ver definicin 2.2.1), cuyo campo de
vectores normales es denotado por n. Sea adems ~ : D R2 S una parametrizacin
regular de esta superficie S, entonces la cantidad F~ (~
(u, v)) n(u, v) representa la rapidez, en
la direccin normal, con que las partculas que pasan por el punto ~ (u, v) S atraviesan S.
Si esta rapidez es cero, significa que la velocidad slo tiene una componente tangencial a la
superficie, en cuyo caso las partculas no pasan a travs de ella en ese punto.
De esta forma, en un pequeo lapso de tiempo t, la cantidad de volumen de lquido que
atraviesa un pequeo elemento de superficie S de rea dada por A, es aproximadamente
igual a
V [F~ (~
(u, v)) n]tA.
F~ t
~
v
v
~
u
u
Como A k u~
~
v
kuv, de la definicin del campo normal n obtenemos que
~
~
~
V F (~
(u, v)) uvt,
u v
2.3. INTEGRAL DE FLUJO DE UN CAMPO VECTORIAL 27
cuyo lado derecho no es otra cosa que el volumen del paraleleppedo descrito por los vectores
u
~
u, v~ v y F~ t. Formalmente, sumando sobre todos los elementos de superficie y pasando al
lmite se obtiene la siguiente frmula para el caudal (volumen por unidad de tiempo) instantneo
que atraviesa la superficie S en el sentido del campo de normales dado por la parametrizacin:
ZZ
VT OT AL ~
~ ~
Caudal instantneo a travs de S := lm = (u, v))
F (~ dudv
t0 t u v
D
Esto no es otra cosa que la integral de flujo a travs de S orientada segn n del campo F~ .
28 CAPTULO 2. INTEGRAL DE FLUJO Y EL TEOREMA DE GAUSS
Ejemplo 2.3.3. Procederemos a calcular el flujo del campo elctrico generado por una carga
Q en el origen, a travs del manto de la esfera S(~0, R) orientado segn la normal exterior.
z
R y
Q b
Recordemos que el campo elctrico producido por la carga Q viene dado por
~ = Q r ,
E
40 r 2
para una constante universal 0 . De esta forma se obtiene el siguiente flujo elctrico :
ZZ ZZ Z2 Z
~ n dA = Q 1 Q 1 2 Q
= E dA = R sen dd = .
40 R2 40 R 2 0
S S 0 0
Ejemplo 2.3.4. Procederemos a calcular el flujo del campo elctrico generado por una carga
Q en el origen, sobre el plano infinito z = 2.
Q
2.3. INTEGRAL DE FLUJO DE UN CAMPO VECTORIAL 29
Ejemplo 2.3.5. Repitamos el ejemplo anterior pero ahora sobre el manto (sin las tapas) del
cilindro infinito x2 + y 2 = a2 , z R.
Q b
~ = Q ~r = Q p + z k .
E
40 k~rk3 40 z 2 + 2 3
Por lo tanto el flujo elctrico se calcula como sigue:
Z Z2
Q a + z k
= ( )addz
40 a2 + z 2 3
0
Z
Q 1 dz
= p 3
20 1 + ( az )2 a
Z Z
Q 1 Q 1 Q Q
= 3 du = 2
d = tgh( ) = .
20 1 + u2 20 cos h ( ) 20 0
30 CAPTULO 2. INTEGRAL DE FLUJO Y EL TEOREMA DE GAUSS
Notemos que el ltimo cambio de variables fue u = senh , obteniendo du = cosh d . El lector
notar que el resultado es independiente del valor de a > 0.
donde R3 y es una superficie cerrada regular por pedazos orientada segn la normal
exterior a la regin .
La frmula (2.3) extiende al caso vectorial el Teorema Fundamental del Clculo para funcio-
nes de una variable, el cual establece que para una funcin derivable f : R R se tiene
Zb
f (b) f (a) = f (x)dx.
a
a
z
~r0 a
a
x
2.4. EL TEOREMA DE LA DIVERGENCIA DE GAUSS 31
Llamemos Si a las 6 superficies regulares asociadas a las caras de este cubo, caracterizando
cada superficie Si mediante la normal exterior a cada una de ellas como sigue:
S1 : n = ; S2 : n = ; S3 : n = k; S4 : n = ; S5 : n = ; S6 : n = k. (2.5)
F~ dA
~ = F~ k dA = F3 (x, y, z0 + a)dydx,
S3 S3 x0 y0
F~ dA
~ = F~ (k) dA = F3 (x, y, z0 )dydx.
S6 S6 x0 y0
F~ dA
~+ F~ dA
~ = [F3 (x, y, z0 + a) F3 (x, y, z0 )] dydx
S3 S6 x0 y0
xZ0 +a yZ0 +a zZ0 +a
F3
= (x, y, z) dzdydz.
z
x0 y0 z0
donde en la ltima igualdad hemos usado el Teorema Fundamental del Clculo. Repitiendo
el procedimiento anterior para el resto de las superficies Si y sumando todos los resultados
parciales se obtiene en definitiva que
ZZ ZZZ ZZZ
~ ~ F1 F2 F3
F dA = + + dV = div(F~ ) dV, (2.8)
x y z
Q Q Q
32 CAPTULO 2. INTEGRAL DE FLUJO Y EL TEOREMA DE GAUSS
Finalicemos esta seccin con un bosquejo de demostracin del teorema de Gauss. Comence-
mos por dividir la regin del enunciado en una unin finita de cubos, con la excepcin que
se da en la frontera de , donde los pequeos volmenes colindantes a sta tienen algn lado
que no es vertical (ver la figura 2.1).
puesto que las integrales sobre las caras interiores se anulan mutuamente cuando Qi es un cubo,
en virtud de que las respectivas normales de dos cubos adyacentes son opuestas. Gracias a la
relacin (2.8) que es vlida para todo Qi que sea cubo, se obtiene lo siguiente:
ZZ ZZZ
F~ dA
~= (div F~ )dV, para todo Qi cubo. (2.10)
Qi Qi
paralela a los ejes como el grafo de funciones convenientes, para deducir que la relacin (2.10)
tambin vale para estos Qi . Finalmente, en virtud de (2.9), se deduce la validez del teorema.
En la seccin 4.4, que el lector puede omitir en una primera lectura de este apunte, se
presenta en detalle una variante de este esquema de demostracin.
Ejemplo 2.5.1. Aplicando el teorema 2.4.1 al campo vectorial F~ (~r) = ~r = (x, y, z), se ob-
tiene la siguiente expresin para el volumen de una regin que satisface las condiciones del
enunciado de dicho resultado: ZZ
1 ~
Vol() = ~r dA.
3
Es interesante hacer notar que esta expresin hace intervenir slo una integral doble sobre
en lugar de una triple sobre todo .
Ejemplo 2.5.2. El teorema de la divergencia puede ser til para calcular indirectamente flujos
a travs de superficies que no necesariamente son cerradas.
A modo de ejemplo, supongamos que se desea calcular el flujo del campo vectorial F~ ~k
a travs del manto (sin la tapa) del cono invertido de radio a y altura h que se muestra en la
siguiente figura:
Tapa a
Manto
h
Por lo tanto, por aditividad de la integral de flujo, se obtiene para el manto orientado segn la
normal exterior al cono que:
ZZ ZZ ZZ
~=
k dA ~=
k dA k kdA = a2 ,
Manto Tapa Tapa
donde usamos que el campo de normales exteriores al cono sobre la tapa est dado por n k.
Ejemplo 2.5.3. Supongamos que la temperatura de una regin de R3 est dada por
T (x, y, z) = x2 + y 2 + z 2 .
Supongamos que dicha regin contiene a la esfera S(~0, R) centrada en el origen y de radio R.
Queremos calcular el flujo de calor que sale a travs del casquete esfrico S(~0, R) en funcin
de la conductividad trmica > 0 del material. Para este caso se tiene que el campo de
temperaturas (instantneo) asociado a este potencial queda definido como
J~ = T.
Obtenemos un valor negativo, lo que es coherente con el hecho de que la temperatura decrece
hacia el origen de modo que el flujo neto de calor que sale de la esfera es negativo.
Ejemplo 2.5.4. (Ley de Gauss para el flujo elctrico). Consideremos el campo elctrico
generado por una carga puntual Q situada en el origen:
~ = Q ~r ,
E ~r 6= ~0.
40 k~rk3
Sea un abierto de R3 de frontera regular por pedazos orientada segn la normal exterior.
Supongamos que ~0 / de modo que la integral de flujo
ZZ
= ~ dA
E ~
est bien definida. Queremos evaluar en trminos de Q y otros parmetros que puedan
intervenir.
Comencemos por observar que E, ~ por ser un campo central, es a divergencia nula en todo el
espacio salvo el origen. Para esto basta aplicar el ejercicio 1.4.8 o bien calcular la divergencia
de E~ usando, por ejemplo, la expresin de este operador en coordenadas esfricas (1.12).
2.5. EJEMPLOS DE APLICACIN DEL TEOREMA DE GAUSS 35
de la divergencia que ZZ
E~ ndA = 0,
donde n es la normal exterior a .
S0
Para la ltima igualdad utilizamos el clculo directo sobre un casquete esfrico orientado segn
la normal exterior a la esfera (ver ejemplo 2.3.3).
2.6. Ejercicios
1. Calcular el flujo del campo F~ (x, y, z) = (x, y, z) a travs del disco definido por las ecua-
ciones
x2 + y 2 25, z = 12,
y orientado segn la normal superior k.
5. Calcular el flujo del campo F~ (x, y, z) = xz + k a travs del manto del paraboloide en
coordenadas cilndricas z = 4 2 , 0 2, 0 2, orientado segn la normal
interior.
6. Calcule el flujo del campo F~ (x, y, z) = ez sin y + xy 2 z, ex cos z + x2 yz, x2 2 a travs
x +y
de la superficie lateral del cilindro de radio 1 que se encuentra entre los planos z = 1 y
z = 1.
Indicacin: Calcule el flujo total que sale del cilindro (incluyendo las tapas y usando el
teorema de la divergencia). Calcule el flujo a travs de las tapas directamente.
7. El empuje total que ejerce el agua sobre un objeto de superficie S est dado por
ZZ
G= F~ dA
~
S
con
(0, 0, g(h z)) si z h
F~ (x, y, z) =
(0, 0, 0) si z > h
donde g es el mdulo de la aceleracin de gravedad, es la densidad del agua y h es la
altura del nivel del agua. Demuestre que G es igual al peso del volumen de agua desplazado
por el objeto.
2.7. PROBLEMAS 37
p
8. Sea F~ (x, y, z) = (x + cos(x + y), y + cos(x + y), x2 + y 2 + 2z sin(x + y)). Calcule el flujo
de este campo a travs de la superficie de la semiesfera x2 + y 2 + z 2 = a2 , z 0, orientada
segn la normal interior.
9. Sea el campo F~ (x, y, z) = (2x+ 2, 4y 4, 2z). Calcular el flujo de F~ a travs del hemisferio
superior del casquete elipsoidal
x2 y 2 z 2
+ 2 + 2 =1
a2 b c
orientado segn la normal interior.
10. Calcule el flujo del campo F~ (x, y, z) = (ez sen y + xy 2 z, ex cos z + x2 yz, x2 ez ) a travs del
manto del cilindro de la figura, orientado segn la normal exterior.
z
11. Calcule el flujo del campo vectorial F~ = xy 2 + yz 2 + zx2 k a travs de la superficie del
slido definido por las ecuaciones: 2 x2 + y 2 4, 0 z 5.
Calcule el flujo de F~ a travs del casquete semi-esfrico (sin tapa) dado por x2 +y 2 +z 2 = 1
con z > 0. Precise el sentido de orientacin escogido para los clculos.
2.7. Problemas
Problema 2.1. Considere el campo F~ : R3 R3 definido por:
(a) Evale las integrales de flujo del campo sobre cada una de las 5 caras de la regin. Haga
un bosquejo y considere la orientacin exterior.
(a) Interprete fsicamente los 5 flujos calculados, as como el flujo total a travs de .
Problema 2.2. 3
Considere el campo vectorial dado en coordenadas cilndricas por
1 2
F~ = + e k.
4
Indicacin: Recuerde que el volumen de la elipsoide antes descrita es igual a 3
abc.
Problema 2.5. 6 Supongamos que un fluido est sometido a un campo de velocidades dado
por F~ (x, y, z) = (x yz) + (y + xz) + (z + 2xy)k. Sea S1 la porcin del cilindro x2 + y 2 = 2
que est dentro de la esfera de ecuacin x2 + y 2 + z 2 = 4. Sea S2 la porcin de la superficie de
la esfera x2 + y 2 + z 2 = 4 que se encuentra fuera del cilindro x2 + y 2 = 2. Sea el volumen
limitado por S1 y S2 .
Z Z
(a) Calcule F~ ~ndA con ~n la normal interior al cilindro. Interprete el resultado.
S1
(b) Utilizando el teorema de la divergencia, calcule el flujo neto que pasa a travs de las
paredes de la regin .
(c) Calcule directamente el flujo a travs de S2 orientada segn la normal exterior a la es-
fera. Compare con lo obtenido en (a) y (b). En cada caso interprete los resultados y
explicite: el sistema de coordenadas y el correspondiente vector posicin que utiliza, la
parametrizacin, el campo de normales y los elementos de superficie o volumen segn
corresponda.
Problema 2.6. 7 Considere la superficie del toro de centro 0, radio mayor R y radio menor a
(a < R). Sea la porcin de la superficie del toro que se encuentra fuera de la esfera de centro
0 y radio R.
6
Control 2. Primavera 1999. Matemticas Aplicadas. Prof: Felipe lvarez
7
Control 1. Primavera 1999. Matemticas Aplicadas.
40 CAPTULO 2. INTEGRAL DE FLUJO Y EL TEOREMA DE GAUSS
T1
L2
L1
T2
L1 : parametrizamos un rectngulo, en y = 0:
Z a Z b Z a Z b
(0, xz, 0) ((0, 1, 0))dxdz = xzdxdz
0 0 0 0
Z a
b2 ab 2
= x dx = ( )
0 2 2
Lo que significa que dado como orientamos el flujo (exteriormente), a travs de L1 esta
entrando flujo.
L2 : parametrizamos un rectngulo, en x = 0:
Z a Z b Z a Z b
(yz, 0, 0) ((1, 0, 0))dydz = yzdydz
0 0 0 0
Z a
b2 ab 2
= y dy = ( )
0 2 2
Lo que significa que dado como orientamos el flujo (exteriormente), a travs de L1 esta
entrando flujo tambin.
2.8. RESOLUCIN DE PROBLEMAS 41
~ (r, ) = rb
+ bk (, r) [0, ][0, a]
2
y en este caso, nuestra normal exterior es k, entonces nuestra integral:
Z a Z Z
2 2 cos() sen() 4
r ddr
r cos() r sen() |{z} = a d
0 0 | {z } | {z } 0 2
x y kk
Esto pues, las coordenadas del campo en los ejes x e y se anulan al hacer con la normal,
se sigue que:
Z
a4 2 a4 cos(2) 2 a4
= sen(2)d = ( ) =
4 0 4 2 0 8
~ (r, ) = rb
(, r) [0, ] [0, a]
2
y en este caso, nuestra normal exterior es k, entonces nuestra integral, anlogamente al
caso anterior:
Z a Z
2 a4
r 3 cos() sen()ddr =
0 0 8
Pues la integral es la misma salvo un signo. Este calculo podra haberse evitado, pues
viendo los signos de ambos flujos calculados, en T1 sale flujo, mientras que en T2 entra
flujo, por lo tanto, en suma se anulan, y esto es porque en ambas superficies, que son
simtricas, el campo tambin es simtrico (pues no depende de z), luego solo diferir lo
calculado por los signos de las normales por las cuales orientamos el campo para calcular.
Manto: Claramente, la buena idea es usar otra vez las coordenadas cilndricas:
~ (, z) = ab
+ z k (, z) [0, ] [0, b]
2
podemos ver que geomtricamente, la normal exterior al manto es (calcularlo explcita-
mente), de este modo nuestra integral es:
Z Z b
2
(az sen , az cos , a2 sen cos ) (cos , sen , 0)adzd
0 0
Z Z b Z
2
2 a2 b2 2
2a z sen() cos()dzd = a2 b2 sen(2)d =
0 0 0 2
lo que significa que por el Manto, sale flujo, sumando a los flujos que entran por L1 y L2 ,
se obtiene que el flujo total a travs de es cero!
42 CAPTULO 2. INTEGRAL DE FLUJO Y EL TEOREMA DE GAUSS
Captulo 3
En todo lo que sigue supondremos que el lector est familiarizado con las nociones de curva
suave, parametrizacin, curvas y parametrizaciones regulares, reparametrizaciones equivalentes,
orientacin de una curva y otros conceptos relacionados (ver el apndice A).
F~0
d~
En el caso general de un campo de fuerzas F~ (~r) que no es constante y/o de una trayectoria
curvilnea parametrizada por ~r : [a, b] R3 , el trabajo total realizado por el campo de fuerzas
a lo largo de la trayectoria se puede aproximar por la suma
N
X 1
W F~ (~r(ti )) (~r(ti+1 ) ~r(ti )), (3.1)
i=0
donde a = t0 < t1 < . . . < tN = b es una particin del intervalo [a, b].
43
44 CAPTULO 3. INTEGRAL DE TRABAJO Y EL TEOREMA DE STOKES
F~2
F~1
F~0
~r(t1 )
~r(t0 )
Definicin 3.1.1 (Integral de trabajo o de lnea). Sea una curva simple y regular, y sea
F~ : R3 R3 un campo vectorial continuo. Definimos la integral de trabajo (o integral de
lnea) de F~ sobre la curva por
Z Z b
d~r
F~ d~r := F~ (~r(t)) (t) dt,
a dt
Cada segmento i debe ser recorrido de manera consistente con la orientacin de la curva.
1 2
k n
= S
Por otro lado, si suponemos que la superficie S est contenida en el plano XY , la podemos
orientar segn la normal superior constante e igual a k. Entonces la igualdad (3.2) se puede
escribir como I ZZ
~
F d~r = rot(F~ ) k dA,
S S
3.4. CAMPOS CONSERVATIVOS 49
Esta ltima cantidad depende solamente de la diferencia de valores de g en los puntos extremos
de la curva y no de la forma especfica que sta tenga. En particular, si es cerrada, entonces
~r(a) = ~r(b) y el trabajo realizado es 0.
En general, se dice que un campo vectorial F~ : R3 R3 es conservativo en si deriva
de un potencial g : R3 R en el sentido que F~ = g sobre . Tenemos el siguiente
resultado:
Proposicin 3.4.1. Sea F~ = F~ (~r) un campo vectorial continuo sobre un abierto conexo de
R3 . Entonces las tres propiedades siguientes son equivalentes:
(iii) Para cualquier par de curvas regulares, 1 y 2 , con iguales puntos inicial y
final, se tiene Z Z
F~ d~r = F~ d~r.
1 2
(i) (ii): Por el mismo clculo del ejemplo anterior, para cualquier campo conservativo
en el valor de la integral de trabajo a lo largo de una curva est dado por la
diferencia de potencial entre los extremos de la curva. Si en particular la curva es cerrada,
entonces la integral de trabajo resulta ser 0.
(ii) (iii): Basta considerar la curva cerrada = 1
2 y descomponer el trabajo total
sobre como la suma de los trabajos sobre cada segmento.
50 CAPTULO 3. INTEGRAL DE TRABAJO Y EL TEOREMA DE STOKES
(iii) (i): Comenzamos por escoger arbitrariamente un punto p~0 al cual le asigna-
remos el valor de potencial cero (notemos que el potencial no es nico, basta con sumarle
una constante para obtener otro potencial). Luego, dado cualquier punto p~ definimos
Z p
~
g(~p) := F~ d~r
p
~0
R p~
donde p~0 representa la integral de trabajo sobre cualquier curva regular por
pedazos cuyo origen es el punto ~p0 y cuyo punto final es p~.
La conexidad de asegura la existencia de . Por otra parte, en virtud de (iii) sabemos
que el valor de la integral de trabajo no depende de la forma especfica de , por lo que
la funcin g : R est bien definida.
Slo queda probar que efectivamente g es diferenciable y que g = F~ . En virtud de la
continuidad de F~ , basta probar que para todo ~p y ~h R3 ,
Supongamos ahora que el campo vectorial F~ es de clase C en . Si es conservativo, entonces
1
Para los detalles ver la observacin 1.2.7. Es decir, para un abierto conexo general , el que
un campo vectorial F~ de clase C 1 sea irrotacional es una condicin necesaria para que sea
conservativo en .
En virtud del teorema de Stokes en conjunto con la proposicin 3.4.1, es natural considerar
(3.4) como una condicin adems suficiente para que un campo vectorial sea conservativo. Sin
embargo, esto presupone que es posible aplicar el teorema de Stokes, para lo cual es necesario
imponer condiciones adicionales sobre el dominio tal como lo ilustra el siguiente ejemplo.
3.4. CAMPOS CONSERVATIVOS 51
Z2 Z2
a sen a cos
= [ (a sen ) + (a cos )]d = d = 2,
a2 a2
0 0
lo que muestra que para ese tipo de caminos cerrados la integral de trabajo no es cero.
En el ejemplo anterior, si es una curva cerrada y regular contenida en R3 \ Eje Z tal que es
posible encontrar una superficie orientable S que est completamente contenida en R3 \ Eje Z
y tal que S = , entonces s es posible aplicar el teorema de Stokes para concluir que
I ZZ
F~ d~r = rot(F~ ) dA
~ = 0.
S
El problema con la circunferencia C(a) es que cualquier superficie regular por trozos S que la
interpole en el sentido que S = C(a), necesariamente pasa por el Eje Z, y en consecuencia no se
cumple la hiptesis del teorema de Stokes sobre que la superficie tiene que estar completamente
contenida en el dominio de diferenciabilidad del campo. Esto ocurre por el tipo de dominio que
estamos considerando en este caso: = R3 \ Eje Z.
Por lo tanto, la conclusin es que si el dominio en cuestin es tal que siempre se puede
aplicar el teorema de Stokes, entonces la condicin (3.4) es tambin suficiente para concluir
que el campo es conservativo en dicho dominio. El dominio ms simple donde esto se asegura es
precisamente el espacio completo, es decir, apelando al teorema de Stokes se tiene el siguiente
resultado:
52 CAPTULO 3. INTEGRAL DE TRABAJO Y EL TEOREMA DE STOKES
F~ es conservativo en R3 rot F~ = ~0 en R3 .
Sin embargo, hay otros dominios que tambin permiten concluir una caracterizacin similar.
Un dominio se dice estrellado si existe ~r0 tal que para todo ~r el segmento [~r0 , ~r]
est contenido en . Un dominio se dice convexo si para todo par de puntos ~r1 , ~r2 el
segmento [~r1 , ~r2 ] est contenido en . Se tiene que:
R3 \ Eje Z no es estrellado.
Intuitivamente, un dominio estrellado no tiene agujeros por lo que dada una curva cerrada y
regular por trozos en un dominio estrellado, siempre es posible encontrar una superficie orien-
table regular por trozos que la interpola y que est completamente contenida por el dominio,
de modo que se cumple el siguiente resultado que generaliza al anterior:
F~ es conservativo en rot F~ = ~0 en .
Existen adems otros dominios que, sin ser estrellados, s permiten interpolar una superficie
dada cualquier curva cerrada contenida en ellos. Un ejemplo es = R3 \ {~0}, para el cual se
cumple que si es una curva simple, regular por trozos y cerrada que no pase por el origen,
siempre es posible construir una superficie regular por trozos y orientable S R3 \ {~0} tal que
S = , por lo que tambin se tiene lo siguiente:
R
proporciona un potencial para F~ en R3 \ {~0}, donde (r)dr es una primitiva de y C es una
constante arbitraria.
3.5. EJERCICIOS 53
3.5. Ejercicios
1. Sea ~
Z el campo vectorial F (x, y) = (2x + y ) + (3y 4x). Calcular la integral de trabajo
2
7. Dados dos campos escalares f, g : R3 R de clase C 2 , pruebe que para toda curva simple
cerrada y regular por pedazos se tiene
I I
f g d~r + gf d~r = 0.
9. Utilice el teorema de Green en el plano para calcular el rea de la regin encerrada por la
hipocicloide x2/3 + y 2/3 = 4. Ind.: considere la curva plana parametrizada por x = 8 cos3
y y = 8 sin3 , [0, 2].
10. Utilice el teorema de Stokes para calcular la integral de trabajo del campo G ~ = (x y) +
x2 y + zxk a lo largo del crculo x2 + y 2 = 1 orientado en sentido antihorario.
14. Sea F~ (x, y, z) = (6abz 3 y20bx3 y 2, 6abxz 3 10bx4 y, 18abxyz 2 ). Pruebe que es conservativo
y determine el potencial asociado.
16. Considere la regin del plano R = [0, ]2 R2 . Se define para n > 2 las siguientes
funciones
3.6. Problemas
Problema 3.1. Sea R3 un abierto no vaco, F~ : R3 un campo vectorial y g : R
un campo escalar, ambos de clase C 1 . Pruebe que si S S , donde S es una superficie
regular a pedazos, entonces se tiene la frmula de integracin por partes
ZZ I ZZ
~ ~
g rot(F ) dA = ~
g F d~r g F~ dA,
~
S S S
siempre que las orientaciones de S y S sean las adecuadas (explique). Qu puede decir cuando
adems se tiene que F~ es conservativo en ?
Problema 3.2. Considere la curva sobre el plano XY descrita por la siguiente ecuacin en
coordenadas polares
Problema 3.3. Dado h > 0, sea la curva que se encuentra sobre la superficie definida por
z2
x2 + y 2 = ,
h2
de forma tal que la altura z = z () satisface la ecuacin diferencial
dz
= z
d
z (0) = h
1
Problema 3.4.
(a) Bosqueje la superficie definida por z 2 +x2 = 4+y 2 , y 0. Note que para y fijo, la ecuacin
anterior representa una circunferencia.
(b) Bosqueje la curva C obtenida al intersectar la superficie anterior con el cilindro de ecuacin
x2 + y 2 = 4.
I
(c) Calcule la circulacin F~ d~r para el campo (en coordenadas cilndricas)
C
z
F~ (, , z) = ( sin + z) + sin + (z 3 cos ) k.
(b) Sea F~ = 1 + z k (en coordenadas cilndricas). Pruebe que rot F~ = ~0 para > 0, pero que
I
sin embargo F~ d~r 6= 0. Explique esta aparente contradiccin con el teorema de Stokes.
x2 y x
Problema 3.6. 3
Considere el campo F~ (x, y, z) = 2 2
+ 2 .
(x + y ) (x + y 2) 2y
1
Control 2. Primavera 1996. Matemticas Aplicadas. Prof: Roberto Cominetti
2
Control 2. Primavera 1997. Matemticas Aplicadas. Prof: Roberto Cominetti
3
Control 2. Primavera 1999. Matemticas Aplicadas.
Captulo 4
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 la base cannica de~R . Consideremos una base ortonormal v1 , v2 , v3 de
3
~
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), vi i
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
= Rji h , 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
reemplazar ~v = , ~v = y ~v = k, nos permite obtener la expresin:
ZZ
1
lm n F~ dA = div(F~ ) + div(F~ ) + div(F~ k) k = rot F~ .
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
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 ) = w ( F~ ), lo que implica
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 para algn > 0. Sabemos que la velocidad de un punto en la posicin ~r es
~v = ~ ~r,
~v (x, y, z) = k (x + y + z k) = y + x
~v
~r
F~ = 0 F~ 6= 0
68 CAPTULO 5. COMPLEMENTOS SOBRE ROTOR Y TEOREMA DE STOKES
ni
S
Ai
ni
S
Ai Ai h
ni (n F~ ) = ni (F~ n) = F~ (ni n) = F~ T ,
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 ) ni 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 ) ni 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
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 ,
exteriores a , est dado por n = u(u0, v, w), (v, w) (v0 , v0 + ) (w0, w0 + ). Recorramos
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
Problema 3. 3
Sea ~v un campo definido por
~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
Problema 4. 4
Sea el campo vectorial F~ : R2 \ {(0, 0)} R2 definido por
y x
F~ (x, y) =
,
x2 + y 2 x2 + y 2
Z
1
Dada una curva R \ {(0, 0)} se define n() :=
2
F~ d~r.
2
(a) Para las siguientes parametrizaciones, bosqueje la curva correspondiente y calcule el valor
de n().
(i)
~ (t) = (r cos(t), r sen(t)), t [0, 2].
(ii)
~ (t) = (r cos(t), r sen(t)), t [0, 2].
(iii)
~ (t) = (r cos(t), r sen(t)), t [0, 4].
(iv) es la frontera del cuadrado [1, 1] [1, 1] recorrida en el sentido de las manecillas
del reloj. Pregunta: Es F~ un campo conservativo en todo R2 \{(0, 0)}? Dada curva
cerrada en torno al origen (0,0), se le llama a n() el nmero de enrollamiento anti-
horario de . Justifique esta terminologa.
(b) Considere la curva parametrizada por ~ (t) = (2r r cos(t), r sen(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.
(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
(b) Use el teorema de la divergencia para calcular el flujo del campo F~ = (en coordenadas
cilndricas) a travs de orientada segn la normal exterior.
(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
b = g sobre
u n
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 + h) f (z0 ) v u
f (z0 ) = lm = (x0 , y0 ) i (x0 , y0 )
h0 h 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
x
= 2x = v
y
,
u v
y
= 2y = 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
x
= 3(x2 y 2) = y ,
u v
y
= 6xy = 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
Xk2
2 k k2j j
= |h | z h
j=0
j+2 0
k2
X k!
|h|2 |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|2 k(k 1)(|z0 | + |h|)k2.
Luego
(z0 + h)k z0k
kz k1 |h| k(k 1)(|z0 | + |h|)k2 0 cuando h 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, yw
~ y, z) = u(x, y)b + v(x, y)b .
~ 1 (x, y, z) = v(x, y)b u(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!
k=0
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.
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)
Determine el radio de convergencia R de esta serie y pruebe que ella converge para |z| < R
y diverge para |z| R. Compruebe que para |z| < R se tiene
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 = lm = 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.
Ejemplo 9.2.4. (Integrales de Fresnel) Las siguientes identidades se conocen como las
integrales de Fresnel:
Z Z r
cos(x2 )dx = sen(x2 )dx = . (9.1)
2
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)
Por otra parte,
I Z Z Z
2 2 2
exp(iz )dz = exp(iz )dz + exp(iz )dz + exp(iz 2 )dz.
(R)
1 2 3
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
2 2
exp(iz )dz cos(x )dx + i sen(x2 )dx, cuando R .
1 0 0
Tenemos
Z Z0 ZR
2 2 i/2 i/4 i/4 2
exp(iz )dz = exp(ir e )e dr = e 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
= R eiR (cos 2+i sen 2) ei d
2
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
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
Ind (z0 ) = i(t)
[r(t)ei(t) + 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 dz = 0, lm dz = 0
R z3 + 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|zdz con la frontera del semicrculo { z C : |z| 1, Imz 0} .
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
2 2
= 2 2
(1 + 2 ( )n cos(nt))
R 2rR cos(t) + r R r n=1
R
P r
y use que n=1 r n converge uniformemente a 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 z 2
, siendo :
Z Z
x2 b2 2
e cos(2bx)dx = e ex dx
0
0
Z Z b
y 2 b2 2
e sin(2by)dy = e 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 |1 reit |2 0 (1 r cos(t))2 + r 2 sen2 (t) 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
entonces
k!Mr
k 0, |f (k) (p)|
rk
124 CAPTULO 10. FRMULA DE CAUCHY Y PRIMERAS CONSECUENCIAS
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.
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
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.
Problema 10.3. Encuentre el desarrollo en serie de potencias ck z k en torno a z0 = 0, para
la funcin
f (z) = 1/(1 z z 2 ).
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
1
Problema 10.5. 2
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.
i 3i 5i 7i
son {e 4 , e 4 , e 4 , e 4 }. Observamos que si R < 1 ninguna de las races pertenece al
i
conjunto D. Si R > 1 slo la raz e 4 est dentro de D (si R = 1 no podemos integrar la
i
funcin z 41+1 sobre = D pues la misma no estara bien definida en el punto e 4 ).
Nos interesan las valores grandes de R dado que nuestro razonamiento incluye hacer
R .
Factorizando z 4 + 1 se tiene que
Z Z
1 1 1
4
dz = 3i 5i 7i i dz
z +1 (z e 4 )(z e 4 )(z e 4 ) z e 4
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
Z
1 1
dz L(R ) sup 4
1 + z4 zR z + 1
R
R 1 R
= sup 4 i4
= R 0
2 [0,/2] |R e + 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
dx =
0 x4 + 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:
e 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.5. 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
g(z) = (z p)m f (z)
entonces p resulta ser un punto singular evitable de g(z) y en consecuencia la funcin
(
(z p)m f (z) si z \ {p},
b
g (z) = m
lm (z p) f (z) si z = p.
zp
es holomorfa en todo .
De acuerdo al teorema 10.2.1, si r > 0 es tal que D(p, r) entonces b
g (z) admite una
expansin en serie de Taylor en D(p, r) y en particular se tiene
X
m
z D(p, r) \ {p}, (z p) f (z) = ck (z p)k ,
b
k=0
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): un punto singular
aislado que no es polo ni evitable. En este apunte, no abordaremos mayormente el caso de
singularidades esenciales.
Como veremos en la siguiente seccin, el coeficiente b cm1 (o equivalentemente, el coeficiente
c1 ) en el desarrollo de Laurent (11.1) de f (z) en torno a p juega un rol muy importante en la
teora de funciones de variable compleja. A este coeficiente se le llama residuo de f en p y se
denota por Res(f, p). Tenemos que
I
gb(m1) (p) 1
Res(f, p) = = f (w)dw.
(m 1)! 2i D(p,r)
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
11.2. EL TEOREMA DE LOS RESIDUOS 133
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.
Definicin 11.2.1. Una funcin f se dice meromorfa en un abierto si existe un conjunto
P finito o numerable tal que
(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
j mj j 1
f (z)dz = cmj (z pj ) + . . . + c1 (z pj ) + Rj (z) dz
j j
I
1
= cj1 dz
j z pj
= 2i Res(f, pj ),
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.
Ejemplo 11.3.1. Calcular: I
1
dz.
D(0,2) 1 + z2
Solucin Comencemos por notar que los polos de
1 1
f (z) = 2
=
1+z (z + i)(z i)
estn dados por
p1 = i, p2 = i,
y ambos son polos simples y estn encerrados por D(0, 2).
b
i
b
i
Luego I
1 1 1
dz = 2i = 0.
D(0,2) 1 + z2 2i 2i
Antes de ver otro ejemplo, demostremos el siguiente resultado que es bastante til para el
clculo de polos y residuos.
Proposicin 11.3.2 (Regla de lHpital). Sean f, g H(), p y n 1 tales que
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
n!
+ g (n+1)!(p) (z p) + . . .
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
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 el residuo result ser 0, lo que no es posible cuando el polo es simple.
z3
f (z) = ,
e3iz 3eiz + 2
11.3. EJEMPLOS 137
R R
e3iz 3 |{z}
eiz +2 = 0 w 3 3w + 2 = 0
w
(w 1)2 (w + 2) = 0
w = 1 o bien w = 2
iz = log(1) o bien iz = log(2) = ln 2 + i
z = 0 o bien z = i ln 2.
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
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
11.4. SERIES DE LAURENT 139
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 }.
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.
r2 r1
se deduce que I I
f (w) f (w)
dw = .
1 (w a)k+1 2 (w a)k+1
I I
1 f (w) 1 f (w)
f (z) = dw dw.
2i 2 wz 2i 1 wz
I I
1 f (w) 1 f (w) 1
dw = za dw
2i 2 wz 2i 2 w a 1 wa
I X
1 (z a)k
= f (w) dw
2i 2 (w a)k+1
k=0
X I
1 f (w)
= k+1
dw (z a)k
k=0
2i 2 (w a)
X
= ck (z a)k ,
k=0
R P PR
donde el intercambio = se justifica exactamente del mismo modo que en la demos-
tracin del Teorema 10.2.1, utilizando que para w 2
z a |z a|
w a = r2 < 1.
I I
1 f (w) 1 1 1
dw = f (w) dw
2i 1 wz 2i 1 z a 1 wa za
I X
1 (w a)k
= f (w) dw
2i 1 (z a)k+1
k=0
I X
1 (w a)k1
= f (w) k
dw
2i 1 k=1
(z a)
X I
1 f (w)
= k+1
dw (z a)k
k=1
2i 1
(w a)
X
= ck (z a)k ,
k=1
142 CAPTULO 11. TEOREMA DE LOS RESIDUOS
R P PR
En esta ocasin el intercambio = se justifica como sigue
I
X XN I I X
( %) ( %) = ( %)
1 1
k=0 k=0 1 k=N +1
X
f (w)(w a)k1
2r1 sup
w1 (z a)k
k=N +1
X r1k1
2r1 sup |f (w)|
w1
k=N +1
|z a|k
X k
r1
2M ,
k=N +1
|z a|
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.
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 z1 1 + z1
1 1
= i1
z1 1 z1
1 X i 1 k
=
z1 k=0
z1
X
(i 1)k
= ,
k=0
(z 1)k+1
11.5. Ejercicios
1. Probar que si f (z) = (ekz 1)/z cuando z 6= 0 y f (0) = k entonces f H(C).
1 exp( 1
)
(i) z 4 +z 2
, (ii) cotanz, (iii) cosecz, (iv) z1
z2
.
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
(iv) f (z) = z e , z0 = 0, (v) f (z) = cos(z)/(z ) , z0 = ,
3
z4
(vi) f (z) = z+2i , z0 = 2i, (vii) f (z) = sen(z)/(z 41 )3 , z0 = /4.
11.6. PROBLEMAS 145
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.
11. Encuentre la expansin en serie de Laurent de:
1 exp(1/z 2 ) 1
(i) z 4 +z 2 , sobre z = 0, (ii) z1 , sobre z = 0, (iii) z 2 4
, sobre z = 2.
12. Calcular el desarrollo en series de Laurent en la regin senalada.
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
1
d ) f (z) = 2
en:
z(z + 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| < .
13. Clasifique las singularidades de las siguientes funciones. Senale cules son singularidades
aisladas, y de stas indique los polos, determine el orden y calcule el residuo en cada uno.
2
z2 ez
a) f (z) = . b) f (z) =
(z 4 + 16)2 z1
z 1
c) f (z) = z .. d) f (z) =
e z+1 z 2 (sen z)
1
e) f (z) = .
cos(1/z)
z2 2
f ) f (z) = .
sen2 (z)
11.6. Problemas
Problema 11.1. Considere una funcin de la forma
g(z)
f (z) =
h(z)
146 CAPTULO 11. TEOREMA DE LOS RESIDUOS
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
2g (p) 2 g (p)h (p)
Res(f, p) = .
h (p) 3 h (p)2
Problema 11.2. Encontrar el desarrollo en serie de Taylor de Laurent con centro 0, y
determinar las regiones donde stas convergen, para las siguientes funciones:
2z+3
(i) f (z) = z 5 sen z, (ii) f (z) = z 2 e1/z , (iii) f (z) = 1/(z 3 z 4 ), (iv) f (z) = z 2 3z+2
.
Compare las regiones donde estas series convergen con las regiones que se obtienen a partir
de los distintos teoremas de convergencia de series vistos en clases.
R 2
Problema 11.3. Calcule 0 cos(nx)/[1 + a2 2a cos(x)] dx con a (0, 1) y n N.
1 1
Indicacin: integre la funcin f (z) = [z n + 1/z n ][ za z1/a
] sobre el crculo unitario.
1
(ii) f (z) = z 2 (1z)
para 0 < |z| < 1 y |z 1| < 1.
Problema 11.6. Encontrar el desarrollo en serie de Taylor de Laurent con centro 0, y
determinar las regiones donde stas convergen, para las siguientes funciones:
2
(i) f (z) = z 5 cos z, (ii) f (z) = ze1/z , (iii) f (z) = 1/(z 3 z 4 ).
Problema 11.7. (i) Sea f (z) = cot(z)
z2
. Indique donde f es holomorfa encuentre sus polos
y determine sus ordenes correspondientes.
(ii) Calcule los resduos de los polos de f .
(iii) Considere el borde del cuadrado CN de vrtices N + 12 (1i), N + 12 (1i), N + 21 (1+
H P
i) y N + 12 (1 + i), con N N. Calcule CN f (z)dz y concluya el valor de 1
n2
.
n=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.
1
Examen. Primavera 2007. Matemticas Aplicadas. Prof: Felipe lvarez
11.6. PROBLEMAS 147
(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 )
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 (z0 ) 3g (z0 )h(iv)
Res , z0 =
h h (z0 ) 2(h (z0 ))2
1 1 1 1 1 X (1)k (z 1)k
= = =
(1 + z) (2 + (z 1)) 2 1 ( z1
2
) 2 2k
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
z 1 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.
Esto sucede si e = e iz iz
entonces |e | = 1. Si z = x + iy esto quiere decir que
2iz
(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 cos z
lm 2
(z 0)3 = lm z ,
z0 z 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
donde p y q son polinomios. La resolucin de este tipo de integrales mediante el uso de las
tcnicas del clculo en R resulta a menudo bastante engorrosa dado que aparecen cuocientes
de polinomios en sen y cos . Sin embargo, el uso del teorema de los residuos simplifica de
manera sustancial el tratamiento de estas expresiones, como veremos a continuacin.
Proponemos el siguiente cambio de variables:
z = ei , dz = ei id.
Notando que
ei ei z z 1
sen = =
2i 2i
ei + ei z + z 1
cos = =
2 2
convertimos el integrando original en un cuociente de polinomios, esta vez en z, de modo que
(12.1) se transforma en una integral de contorno en el plano C, la que puede evaluarse utilizando
el teorema de los residuos. Para ilustrar lo anterior, veamos un ejemplo:
Ejemplo 12.1.1. Calcular
Z2
d
I= .
2 + sen
0
Solucin Utilizando el cambio de variables propuesto, se tiene:
I dz I
iz 2dz
I= zz 1 = 2 + 4iz 1
.
|z|=1 2 + 2i |z|=1 z
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
= = =
i(2 3) + i(2 + 3) 2i 3 3
Finalmente, por el teorema de los residuos
Z2
d i 2
I= = 2i Res(f, z2 ) = 2i = .
2 + sen 3 3
0
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
H = {z C : Im(z) 0},
El siguiente teorema es un primer resultado que permite evaluar una gran variedad de integrales
impropias.
Teorema 12.2.1. Sea f : C C una funcin meromorfa en C y denotemos por P el conjunto
de los polos de f . Supongamos que:
(a) f no tiene polos en R, es decir, R P = .
(b) f admite un nmero finito de polos en Int(H), es decir, Int(H) P es un conjunto finito.
(c) Existen constantes K 0, M 0 y p > 1 tales que
K
|f (z)| , z H, |z| M.
|z|p
Entonces
Z X
f (x)dx = 2i Res(f, z).
zInt(H)P
CR
R R
Por (a) y (b), para R > 0 suficientemente grande el camino CR no pasa por ningn polo de
f y, por (c), tenemos adems la siguiente estimacin:
Z
f (z)dz sup |f (z)| L(CR ) K R = K .
zC |Rei |p Rp1
R
CR
12.2. INTEGRALES IMPROPIAS SOBRE DOMINIOS NO ACOTADOS 161
X Z ZR Z
2i Res(f, z) = f (z)dz = f (x)dx + f (z)dz.
zInt(H)P R R CR
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
p(z) a0 + a1 z + . . . + an z n z n ( zan0 + . . . + an1
z
+ an )
= m
= b b
q(z) b0 + b1 z + . . . + bm z z m ( z m + . . . + z + bm )
0 m1
an1 a0 bm1 b0
Pero lm|z| an + z + . . . + z n = |an |, y similarmente lm|z| bm + z + . . . + z m =
|bm |. Luego, para |z| suficientemente grande, digamos |z| M para una constante M > 0
apropiada, se tiene an + z + . . . + z n0 2|an | y bm + bm1
an1 a
z
+ . . . + zbm0 12 |bm |, de donde
se deduce que
p(z) 4|an | 1
q(z) |bm | |z|r
| {z }
K
con r := m n 2 en virtud de (12.2).
162 CAPTULO 12. EVALUACIN DE INTEGRALES VA RESIDUOS
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
y similarmente
z2 1
Res , ei3/4 = ei3/4
1 + z4 4
En consecuencia
Z
x2 2i
dx = [cos(/4) + cos(3/4) i(sen(/4) + sen(3/4))]
1 + x4 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
dx = .
1 + x4 2 2
0
Para estudiar qu ocurre cuando el integrando f (z) admite polos reales, necesitamos el
siguiente resultado preliminar.
12.2. INTEGRALES IMPROPIAS SOBRE DOMINIOS NO ACOTADOS 163
C,1 ,2
2
a b
1
Entonces Z
lm f (z)dz = i(2 1 ) Res(f, a).
0
C,
1 ,2
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| < ,
za
|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 i
iei d + f1 (z)dz
e
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.
164 CAPTULO 12. EVALUACIN DE INTEGRALES VA RESIDUOS
CR
C1 () C2 () Cs ()
b b b
R a1 a2 as R
Por el teorema de los residuos, tenemos que para R suficientemente grande y > 0 pequeo:
Z Xs Z Z X
f (x)dx + f (z)dz + f (z)dz = 2i Res(f, z), (12.3)
j=1 CR zInt(H)P
I(R,) Cj ()
donde s
[
I(R, ) = [R, R] \ ]aj , aj + [,
j=1
Corolario 12.2.6. 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) + 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
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.
166 CAPTULO 12. EVALUACIN DE INTEGRALES VA RESIDUOS
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.
K
|f (z)| , z H, |z| M.
|z|p
sen
Por otra parte, sabemos que
2 , 0 2 , y por lo tanto
Z Z2
f (z)eisz dz 2KR e 2sR
d
R p
CR 0
2KR 2sR 2
= e
Rp 2sR 0
2KR
= p
1 esR
R 2sR
K
.
sRp
Como p > 0, se deduce (12.4).
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
eisz
h(z) = 2
z + a2
Notemos que h es de la forma
p(z) isz
h(z) = e
q(z)
con p(z) = 1 y q(z) = z 2 + a2 . Los ceros de q(z) son simples y estn dados por {ai, ai} * R.
Adems, grado(q) = 2 > 0 + 1 = grado(p) + 1. Luego, se satisfacen las hiptesis del corolario
12.2.9 y por lo tanto, para el caso s > 0 se tiene
Z Z
1
h(x)dx = eisx dx
x2 + a2
esa
= 2i Res(h, ai) = 2i = esa ,
2ai a
pues
eisia esa
Res(h, ai) = = .
2ai 2ai
El caso s = 0 se puede calcular directamente
Z x
1 1
dx = arc tg = .
x2 + a2 a a a
Z
eisx
2 2
dx = esa .
x +a a
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.
Para finalizar, enunciemos los resultados anlogos al teorema 12.2.5 y al corolario 12.2.6:
12.3. EJERCICIOS 169
R P = {a1 , . . . , as }
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
170 CAPTULO 12. EVALUACIN DE INTEGRALES VA RESIDUOS
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) 2 2
dx = 2 (1 ea ), a > 0.
x(x + a ) 2a
0
3. Calcule
Z
dx
x100 +1
0
4. Calcular la Integral Z
x sin(x)dx
x2 + a2
12.4. Problemas
Problema 12.1. Calcular las siguientes integrales
Z 2 p
sen(2)
(i) d.
0 3 5 cos
Z +
x sen(2x)
(ii) 2
dx.
(x 4)(x + 3)
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
|f (z)| = ep(x)+q(y) , donde p y q son dos polinomios de grado 2.
172 CAPTULO 12. EVALUACIN DE INTEGRALES VA RESIDUOS
3 2
(R)
2/n
1 R
i(N + 1
2
)
CN
N N+ 1
b b
1)
i(N + 2
Demuestre que I
lm g(z)dz = 0.
N CN
1
Control 3. Primavera 2002. Matemticas Aplicadas. Prof: Felipe lvarez
12.4. PROBLEMAS 173
X
1 2
= .
n=1
n2 6
Z
sen x 3
Problema 12.7. Muestre que dx = 1 .
x(x2 + 1)2 2e
Problema 12.8. Pruebe que Z
eaz
=
ex + 1 sin(a)
eaz
Hint: integrar ez +1
en el rectngulo de vertices R y R + 2i
Problema 12.9. 2
Sea P (z) un polinomio de grado n 2 con n races distintas z1 , . . . , zn .
Z Xn
1 1
1. Pruebe que para R > 0 suficientemente grande, se tiene dz = 2i
.
D(0,R) P (z) j=1
P (zj )
Pn 1
2. Deduzca que j=1 P (zj ) = 0.
Problema 12.10. 3
Pruebe que
Z
cos x
dx = /2
ex+e x e + e/2
Indicaciones:
3. Concluya.
Problema 12.11. 4
Sean a > 0 y b > 0. Calcule la integral
Z
cos(x)
dx.
0 (x + a2 )(x2 b2 )
2
2
Examen. Primavera 2006. Matemticas Aplicadas. Prof: Alberto Mercado
3
Control 3. Otoo 2007. Matemticas Aplicadas. Prof: Alberto Mercado
4
Control 3. Otoo 2007. Matemticas Aplicadas. Prof: Alberto Mercado
174 CAPTULO 12. EVALUACIN DE INTEGRALES VA RESIDUOS
Solucin Problema 12.9 Sea P (z) un polinomio de grado n 2 con n races distintas
z1 , . . . , zn .
Ahora, si R > 0 es tal que {z1 , . . . , zn } D(0, R), por el teorema de los residuos y
Z Xn
1 1
lo anterior se tiene que dz = 2i (z )
.
D(0,R) P (z) j=1
P j
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 12 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)
/2
= e
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 + eRit |
dt eR dt = eR 0
0 |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
1
Res(f, ia) = lm (z ia)f (z) = lm eiz
zia zia (z + ia)(z 2 b2 )
1 +i
= ea 2 2
= ea ,
(2ia)(a b ) 2a(a2 + b2 )
1
Res(f, b) = lm(z b)f (z) = lm eiz
zb + b)
zb (z 2 + a2 )(z
1 1
= eib 2 2
= (cos(b) + i sen(b)) ,
(b + a )2b 2b(a + b2 )
2
178 CAPTULO 12. EVALUACIN DE INTEGRALES VA RESIDUOS
y
1
Res(f, b) = lm (z + b)f (z) = lm eiz
zb zb (z 2 b)
+ a2 )(z
ib
e 1
= 2 2
= (cos(b) i sen(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 serie 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
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
a0 X nx
N 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
1
Z
1h x i 1
Z
cos nx 2
bn = x sen nx dx = cos nx + dx = (1)n
n n n
Ejemplo 13.3.2. Serie de Fourier de f (x) = x2 en [1, 1]. Como f es par entonces bn = 0.
P
Luego Sf (x) = a20 + an cos(nx) donde
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
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
Problema 13.1. 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.
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 Z
i(xy)s
gx, (s) = f (y)e dy y 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 es tal que permite justificar lo anterior de manera
rigurosa. Esto va ms all del alcance 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 iys
= e f (y)e dy ds
2
Z h 1 Z i
1 ixs
= e f (y)eiys dy ds (14.2)
2 2
fb: R C
Z
1 (14.3)
s fb(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 fb(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 = fb: R C es integrable. Entonces se tiene que si f es continua:
f (x) = T 1 T f (x) = fb(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 fb(s)
y concluimos que
fb(s)
yb(s) = .
3s2 + 2is + 1
Aplicando antitransformada
y(x) = T 1 (b
g (s))
fb(s)
= T 1
3s2 + 2is + 1
Z
1 fb(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 fb(s)
Traslacin en frecuencia:
eis\ b(s s0 )
0 x f (x)(s) = f
Modulacin:
1
f (x)\
cos(w0 x)(s) = [fb(s wo ) + fb(s + wo )]
2
1
f (x)\
sen(w0 x)(s) = [fb(s + wo ) fb(s wo )]
2i
198 CAPTULO 14. LA TRANSFORMADA DE FOURIER
Cambio de escala:
1 b s
f\
(ax)(s) = f a 6= 0
|a| a
f\
(x)(s) = fb(s)
Convolucin:
f[
g(s) = 2 fb(s)b
g (s)
Derivacin:
f[
(x)(s) = isfb(s)
1 b s
gb(s) = f (14.11)
|a| a
Demostracin.
Z
1
g (s) =
b eisx g(x)dx
2
Z
1
= eisx f (ax)dx
2
14.3. TRANSFORMADA DE UNA FUNCIN A VALORES REALES 199
donde en la tercera igualdad hemos usado que f es a valores reales de modo tal que f (y) = f (y).
Empecemos
R pornotar que f es integrable; de hecho, f es una funcin positiva y sabemos
que f (x)dx = .
Para s = 0, tenemos por definicin que
Z
1 1
fb(0) = f (y)dy = .
2 2
R is 2
Llamemos I a la integral I = e(x+ 2 ) dx. Para calcularla, sea R > 0 un parmetro, por
ahora fijo pero destinado a crecer hasta infinito, y consideremos el camino CR descrito en la
figura 14.1.
200 CAPTULO 14. LA TRANSFORMADA DE FOURIER
iR
CR1 i 2s
R + i 2s R + i 2s
CR2 CR4
CR3
R R R
2
Sea la funcin definida en el plano complejo dada por 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
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
14.3. TRANSFORMADA DE UNA FUNCIN A VALORES REALES 201
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
y por lo tanto Z Z
(x+ is )2 2
I= e 2 dx = ex dx = .
En consecuencia, para s > 0 se tiene que:
s2
e 4 1 s2
fb(s) = I = e 4 .
2 2
Para s < 0, dado que f es a valores reales se tiene
1 (s)2 1 s2
fb(s) = fb(s) = fb(s) = e 4 = e 4 .
2 2
Notemos que la misma frmula permite recuperar el caso s = 0 analizado inicialmente.
Por lo tanto, se deduce que
1 s2
fb(s) = e 4 , s R.
2
Observemos que fb es una funcin par a valores reales.
2
Observacin 14.3.3. Tomando a = 1 y f (x) = ex tenemos
2
x2
g(x) = f (ax) = e 2
y luego aplicando la frmula para un cambio de escala (14.11) :
g (s) = 2fb( 2s)
b
1 (2s)2
= 2 e 4
2
s2
= e 2 .
202 CAPTULO 14. LA TRANSFORMADA DE FOURIER
f (x) fb(s)
(
x
e x0 1 1
1
0 x<0 2 1 + is
2 1 s2
2 eax , a > 0 e 4a
2a
r
2 a
3 ea|x| , a > 0
a2 + s2
r
1 2 1 a|s|
4 , a>0 e
a2+ x2 a
( r
k |x| b 2 sen(bs)
5 k
0 |x| > b s
14.4. Ejercicios
Para completar el cuadro 14.1, en cada caso que sigue demuestre que la transformada de
Fourier es la funcin indicada:
x
e si x 0 1 1
1. f (x) = fb(s) = .
0 si x < 0. 2 1 + is
r
2 a
2. f (x) = ea|x| , a > 0 fb(s) = .
a2 + s2
r
k si |x| b b 2 k sen(bs)
3. f (x) = f (s) = .
0 si |x| > b. s
r
1 b(s) = 2 e|s| .
4. f (x) = f
1 + x2
14.5. Problemas
Problema 14.1. Calcule la transformada de Fourier de f (x) = cos(x)/[x3 x2 + 4x 4].
14.5. PROBLEMAS 203
Teorema 14.5.1. Sea f : R R una funcin continua de banda limitada a |s| s0 . Entonces:
X sen s0 (x nL)
f (x) = f (nL) ,
n=
s0 (x nL)
donde L = s0
.
cn dadas por
(a) Considere la familia de funciones
(
0 si |s| > s0
cn (s) =
12 ins
2s0 e s0 si |s| 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
(b) Demuestre que la familia {cn (s)} es una familia de funciones ortonormales, es decir, que
el producto interno para funciones complejas entre cn (s) y c
m (s) es cero si n 6= m y es
uno si n = m.
(c) Muestre que la familia {cn (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 en un dominio se dice que es una
funcin armnica en dicho dominio.
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.
Ejemplo 15.4.1. 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. Ms precisamente, 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. SUPERPOSICIN DE SOLUCIONES: EDP LINEAL Y HOMOGNEA 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.
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
knk = 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
T ( n).
se tiene
ZZ ZZ
F~ e = T ~ (n e)] n dA = T
[ ~ e)n (
[( ~ n)e] n dA
S S
ZZ ZZ
= T ~ n)(e n) 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)n A + o(A) = 0.
T (
Dividiendo por A y haciendo A 0 obtenemos
~ n)n = 0.
T (
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
reduce a
u = 0.
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.
(c) Probar que (b) = 2Lk(T0 T1 )/ ln(b/a).
(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
donde k IR es la conductividad trmica de la esfera.
(b) Utilizando el cambio de escala u(r, t) = v(r, t)/r, compruebe que la nueva funcin v(r, t)
satisface la ecuacin
v 2v
(r, t) = k 2 (r, t).
t r
(c) Deduzca una expresin analtica para la distribucin de temperatura en rgimen permanente
(en trminos de r, k, a, R, T0 , Ta ), y grafique la funcin u(r) que resulta.
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.
(a) Proporcione una interpretacin fsica o geomtrica, segn corresponda, de cada una de
las siguientes funciones:
u 2u u
(x, t) 2
(x, t) (x, t)
t t x
3
Control 2. Primavera 1999. Matemticas Aplicadas.
4
Control 2. Primavera 1996. Matemticas Aplicadas. Prof: Felipe lvarez
15.8. SOLUCIN DE PROBLEMAS 225
(c) Asumiendo que la solucin posee simetra esfrica (es decir u solo depende de r) se obtiene
que
2 u
u = 0 r =0 (15.19)
r r
El alumno tiene que verificar este clculo.
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). resolviendo el sistema lineal
C1
Ta = + C2
a
C1 C1
= + C2
b2 b
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 ,
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
= (C1 iC2 )/2ei x + (C1 + iC2 )/2e i x
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).
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.
Los coeficientes Ak se ajustan de manera que u satisfaga las condiciones de borde e iniciales.
u=0 u=0
234 CAPTULO 16. SEPARACIN DE VARIABLES
Nota: Como Uk (t, x) = Uk (t, x) basta considerar el conjunto de soluciones elementales tales
Uk (t, x); k = 1, 2, 3, ... (k N).
P
Cada funcin Uk satisface (EC) y (CB), de modo que Ak Uk (t, x) tambin. Slo nos queda
ajustar las constantes Ak de manera de satisfacer (CI). Postulamos
X
kx ( k )2 t
u(t, x) = Ak sen e
k=1
es decir
Z Z
1 kx 2 kx
Ak = f(x) sen dx = f (x) sen dx
0
En conclusin
X Z
2 k kx k 2
u(t, x) = f () sen d sen e( ) t
k=1
0
Notemos que u(t, x) 0 cuando t y que las frecuencias ms altas decaen ms rpida-
mente.
y
borde aislado, flujo de calor 0
x
z
u=0
extremo semi aislado
u=0
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 representar como las
intersecciones de los grficos de las funciones ly con tan y (lo que se puede apreciar en el
grfico 16.2).
Como yk 6= k, los coeficientes Ak no corresponden a los coeficientes de Fourier clsicos,
pero para encontrarlos se razona de manera anloga. En efecto
X
u(t, x) = Ak Uk (t, x) t > 0, 0 < x <
k=0
en particular
X
u(0, x) = f (x) = Ak Uk (0, x)
k=0
con
y x
2 t 2 k
Uk (t, x) = e(yk /) ei(yk /)x ei(yk /)x = 2ie(yk /) t sen ,
q
donde hemos usado que i yk = k
. Por el argumento estndar, la constante 2i puede ser
absorbida por el coeficiente Ak an por determinar. As, el problema se reduce a encontrar los
coeficientes Ak de modo que
y x
Xk
f (x) = Ak sen
k=0
y x
Ahora, multiplicando por sen j e integrando sobre [0, ] (donde supondremos que el inter-
cambio 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 = Ak sen sen dx
0 k=0 0
y por lo tanto
Z y x Z y x
j j
f (x) sen dx = Aj sen2 dx,
0 0
R yj x
f (x) sen
dx
0
Aj =
R yj x
sen2
dx
0
Demostracin de la ortogonalidad.
Sea k 6= j; entonces se tiene que
Z y x y x
k j sen(yk yj ) x sen(yk + yj ) x
sen sen dx =
2(yk yj )/ 2(yk + yj )/ 0
0
sen(yk yj ) sen(yk + yj )
=
2 yk yj yk + yj
sen yk cos yj cos yk sen yj sen yk cos yj + cos yk sen yj
=
2 yk yj yk + yj
1 yk cos yk cos yj yj cos yk cos yj yk cos yk cos yj + yj cos yk cos yj
=
2 yk yj yk + yj
= 0
X Y
= = = cte.
X Y
240 CAPTULO 16. SEPARACIN DE VARIABLES
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. Tenemos que k N \ {0}:
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) = Ak sen
, lo que nos permite expresar los coeficientes Ak
k=1
como
Z
2 k
Ak = 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
Se tiene adems
" 2 2 #
k1 k2
K0 = 2 (K1 + K2 ) = 2 2 +
a b
Podemos con esto escribir una solucin elemental. En este caso queda parametrizada por k1 y
k2 .
k1 x k2 y
Uk1 ,k2 = 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]
k1 ,k2 =1
a b
X k1 x k2 y
u(0, x, y) = k1 k2 sen sen = f (x, y)
a b
k1 k2
244 CAPTULO 16. SEPARACIN DE VARIABLES
y
u=0
b
u=0 u = T = cte
u=0 a x
De este modo
Za Zb
4 k1 x k2 y
k1 k2 = f (x, y) sen sen dydx
ab a b
0 0
kx ky
Uk (x, y) = senh sen
b b
Aplicando el principio de superposicin
X kx ky
u(x, y) = Ak senh sen
b b
k=1
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 = Ak senh sen ,
k=1
b b
Zb
ka 2T ky 2T
Ak senh = sen dy = [1 (1)k ]
b b b k
0
Finalmente obtenemos
X 4T x y
u(x, y) = senh (2k 1) sen (2k 1) .
k=1
(2k 1) senh[(2k 1)a/b)] b b
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
De esta relacin observamos que bk k
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, v son constantes en todo iguales a u0 y v0 respectivamente.
(a) Sea ZZZ
U(t) = u dxdydz
y ZZZ
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
(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).
4
Examen Especial. Primavera 2007. Matemticas Aplicadas. Prof: Felipe lvarez
16.4. PROBLEMAS 251
a sin(r) + b cos(r)
U(t, r) = exp( 2 t) .
r
con a, b, constantes a determinar.
(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.
(e) Concluya que la solucin de la ecuacin del calor en la esfera con las condiciones de borde
dadas en las partes (c) y (d), es de la forma
X
u(t, r) = Ak exp(k2 t) sin(k r)/r
k=1
Problema 16.11. 5
Encuentre la solucin u = u(t, x) de la ecuacin:
Problema 16.12. 6
Encuentre una expresin en forma de una serie para la solucin u(x, t) de
2 u u 2u
(EDP) + + u = 0 < x < 1, t > 0
t2 t x2
u
(CI) u(x, 0) = f (x), (x, 0) = 0 para 0 < x < 1.
x
5
Control 3. Primavera 2007. Matemticas Aplicadas. Prof: Felipe lvarez
6
Examen. Primavera 2002. Matemticas Aplicadas. Prof: F. Avarez, R. Correa y P.Gajardo
252 CAPTULO 16. SEPARACIN DE VARIABLES
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).
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, ).
Problema 16.15. Resuelva el problema de ecuaciones en derivadas parciales dado por:
2utt = uxx , x (0, 1), t > 0
u(0, t) = u(1, t) = 0, t>0
u(x, 0) = 0, x (0, 1),
ut (x, 0) = cos(x), x (0, 1).
8
Problema 16.16.
7
Control 3. Primavera 2003. Matemticas Aplicadas. Prof: Felipe lvarez
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
Captulo 17
R
La condicin |f (x)|dx < tiene una doble finalidad. Por un lado nos garantiza que u(t, )
posee transformada de Fourier, pero tambin dice que u(t, ) = u(t, ) = 0, es decir, sirve
como condicin de borde en infinito.
Aplicando T F en la variable x a la ecuacin EC se obtiene
2
bt = uc
u xx = s b
u
Ahora bien
Z
1 u
bt (s) =
u eisx (t, x)dx = u b(t, s)
2 t t
257
258 CAPTULO 17. USO DE TRANSFORMADAS EN LA RESOLUCIN DE EDPS
de modo que
b(t, s) = s2 b
u u(t, s).
t
Esto conduce a
= fb(s)es t
2 t 2
b(0, s)es
b(t, s) = u
u
y de aqu
Z
1
fb(s)ds.
2 t
u(t, x) = eixs es
2
2 t 2
Usando la frmula de la convolucin y el hecho que T 1 (es )= 1 ex /4t deducimos que
2t
Z
1 1 (xy)2 /4t
u(t, x) = e f (y)dy
2 2t
Definamos
1 2
G(t, x)= ex /4t
4t
que se conoce como la funcin de Green de la ecuacin (EC). Vemos entonces que
Z
u(t, x) = G(t, x y)f (y)dy.
1
R R 2 t
Ejercicio. Probar u(t, x) = 2
f () cos(s( x))es dds
(EC) ut = uxx
(CI) u(0, x) = (x)
(EC) ut = uxx
(CI) u(0, x) = (x y)f (y)
R
es decir f (y)G(t, x y)dy es solucin de
(EC) ut = uxx
Z
(CI) u(0, x) = f (y)(x y)dy = f (x)
Formalmente:
Z Z Z
G 2G
(1) f (y)G(t, x y)dy = f (y) (t, x y)dy = f (y) (t, x y)dy
t t x2
Z
2
= f (y)G(t, x y)dy
x2
Z
(2) lm f (y)G(t, x y)dy = f (x).
t0
Para resolver este problema es til la nocin de extensin impar de una funcin w : [0, ) R
(que por simplicidad seguimos denotando por w : R R)
(
w(x) x0
w(x) =
w(x) x < 0
vt = vxx , t>0
v(0, x) = f(x), x R.
Donde f es la extensin impar de f. Por otro lado, si resolvemos la ecuacin para v y encontramos
una solucin impar, como las soluciones de esta ecuacin son continuas se tiene v(t, 0) = 0,
t > 0 y en consecuencia restringiendo v a [0, ) obtenemos la solucin del problema original.
Notemos que f es impar de modo que
Z Z Z0
1 1
fb(s) = f ()eis
d = [ f ()e is
d + f ()eis d]
2 2
0
Z Z0
1
= [ f ()eis d + f ()eis d]
2
0
Z
1
= f () [eis eis ] d
2 | {z }
0 2i sen(s)
Z
2i
= f () sen(s)d
2
0
17.1. USO DE LA TRANSFORMADA DE FOURIER EN LA RESOLUCIN DE EDPS 261
Reemplazando se obtiene
Z Z Z
1 isx s2 t b i s2 t isx
v(t, x) = e e f (s)ds = e e [ f () sen(s)d]ds
2
0
Z Z
1 2 t
= f () sen(s)[i cos sx + sen(sx)]es dsd
0
Z Z
2 2 t
= f () sen(s) sen(sx)es dsd
0 0
uc c
xx + u yy = 0
y por lo tanto
2 u 2 u
s2 u + 2
= 0 2
= s2 u u(s, y) = a(s)esy + b(s)esy
y y
de donde
Z
1
u(x, y) = eixs ey(s) f(s)ds
2
q
2 y
Usando el Teorema de la convolucin y el hecho que A(es|y| ) = y 2 +x2
resulta
Z r Z
1 2 y 1 y
u(x, y) = f (x z) dz = f (x z)dz
2 y2 + z2 y2 + z2
Definamos
1 y
G(x, y)= ,
y + x2
2
Resulta
Z Z
u(x, y) = [G(, y) f ](x) = f (x z)G(z, y)dz = f (z)G(x z, y)dz (17.4)
17.2. USO DE LA TRANSFORMADA DE LAPLACE 263
Interpretar G como solucin de (17.3) con condicin de borde u(x, y) = (x), e interpretar la
frmula (17.4).
Supondremos, en esta seccin, que el lector est familiarizado con las nociones bsicas rela-
tivas a la transformada de Laplace, la cual le asigna a una funcin u(x, t), definida para t 0,
la funcin
Z +
U(x, s) = est u(x, t)dt (17.5)
0
que es una ecuacin ordinaria en x. Si imponemos la condicin de que U sea acotada, entonces
(17.8) tiene una nica solucin, que es
Z +
1
U(x, s) = e s|x|
()d (17.9)
2 s
264 CAPTULO 17. USO DE TRANSFORMADAS EN LA RESOLUCIN DE EDPS
Aclaremos que si la ecuacin original no es de coeficientes constantes, sino que stos dependen
de la variable que se escoge para la transformacin (t en la frmula (17.5)), entonces la ecuacin
transformada -si es que puede encontrarse- es tambin una EDP, que incluso puede ser de mayor
orden que la original.
Veamos algn ejemplo tpico en el que el procedimiento se aplica satisfactoriamente, teniendo
en cuenta la existencia de tablas para la transformada (y, por lo tanto, para la transformada
inversa).
Ejemplo 1. Resolver el problema
Por lo dicho antes, conviene tomar transformada respecto de t, utilizando (17.11), se obtiene
s 1
Ux (x, s) + U(x, s) =
x s
Se integra esta ecuacin (por ejemplo, multiplicando por el factor integrante xs ) y se obtiene
K x
U(x, s) = +
xs s(s + 1)
La constante de integracin K puede evaluarse a partir de (17.12), ya que
Z
U(0, s) = u(0, t)estdt = 0
0
17.2. USO DE LA TRANSFORMADA DE LAPLACE 265
Ejemplo 2. Sea
d2 U
= sU(x, s) (17.17)
dx2
cuya solucin general es
U(x, s) = A cosh x s + B senh x s (17.18)
Utilizando (17.15) en (17.5),
K
U(0, s) = Ux (L, s) = 0
s
Con estas condiciones pueden determinarse A y B en (17.18), por lo que resulta
cosh(L x) s
U(x, s) = K
s cosh L s
La transformada inversa de este tipo de funciones se obtiene como el desarrollo en serie siguiente
(donde se ha regresado a la variable original):
( X
)
4 1 2 2 2
u(x, t) = K 1 e(2n1) at/4L sen[(2n 1)x/2L]
n=1 2n 1
17.3. Ejercicios
1. Resuelva los siguientes problemas utilizando la transformada de Laplace
a)
xut + ux = x x > 0 , t > 0
u(x, 0) = 0 x > 0
u(0, t) = 0 t 0
b)
uxx = (1/k)ut x > 0 , t > 0
u(x, 0) =0 x0
u(0, t) = u0 (cte) t 0 , u est acotada
c)
uxx = (1/c2 )utt 0<x<L t>0
u(x, 0) = 0 ut (x, 0) = 0 0xL
u(0, t) = 0 ux (L, t) = k(cte) t 0
d)
ur r + (1/r)ur = (1/k)ut 0 r R , t > 0
u(r, 0) = 0 0rR
u(R, t) = u0 (cte) t0
17.4. Problemas
Problema 17.1. La mezcla de dos fluidos en un tubo infinitamente largo puede modelarse a
travs de la ecuacin de convexin-difusin: ut = ux +uxx , con condicin inicial u(x, 0) = f (x).
(i) Probar que la transformada de Fourier u(s, t) = u(, t)(s) es igual a
u(s, t) = f(s) exp(is s2 )t.
(ii) Deducir que la solucin puede expresarse como
Z +
u(x, t) = f (y)G(x y, t)dy.
ux (t, 0) = 0, t>0
y que la distribucin inicial de temperaturas esta dada por una funcin f (x), es decir
Pruebe que u se puede expresar como u(t, x) = [f () G(t, )](x) para una funcin G(t, x) la
cual se pide determinar usando el mtodo de la transformada de Fourier.
Indicacin: Extienda apropiadamente el problema a todo < x < .
Problema 17.4. 1
Para h > 0 constante, considere la ecuacin
1
F 1 [(s) cos(sx0 )](x) = [f (x x0 ) + f (x + x0 )].
2
1
Examen. Primavera 2003. Matemticas Aplicadas. Prof: Felipe lvarez
2
Control 3. Primavera 2007. Matemticas Aplicadas. Prof: Felipe lvarez
268 CAPTULO 17. USO DE TRANSFORMADAS EN LA RESOLUCIN DE EDPS
x
(a) Demuestre que la transformada de Fourier de la funcin f (x) = (x2 +1)2
viene dada por:
r
i |s|
f(s) = se .
2 2
1
p
Indicacin: Recuerde que F x2 +1
(s) = 2
e|s| .
(b) Las vibraciones u = u(t, x) de una varilla infinita satisfacen la ecuacin de elasticidad
siguiente:
utt + 2 uxxxx = 0, t > 0, < x < + ( > 0).
R
Suponga que |u(t, x)|dx < para t > 0, y que la varilla inicialmente se encuentra
x
en reposo (i.e. ut (0, x) = 0 para < x < +) en la posicin u(0, x) = 2 .
(x + 1)2
Problema 17.7. 4
Resuelva el problema diferencial
ux (0, y) = 0, 0<y<1
y
u(x, 0) = 0, u(x, 1) = f (x), 0<x<
donde
1 0 < x < c,
f (x) =
0 x c,
con c > 0.
Problema 17.8. 5 q
(a) Sea f (x) = exp(a|x|). Pruebe que f (s) = 2 a2 +s
a
2.
1
f (x) = .
(x2 + a2 )2
Problema 17.10. 7
Dados > 0 y b R, considere la EDP dada por:
ut uxx + bux = 0
< x < , t > 0 (17.19)
R
con condicin inicial u(x, 0) = f (x). Suponga que |u(x, t)|dx < para todo t 0.
5
Examen. Primavera 2001. Matemticas Aplicadas. Prof: Felipe lvarez
6
Control 3. Primavera 2003. Matemticas Aplicadas. Prof: Felipe lvarez
7
Examen. Primavera 2006. Matemticas Aplicadas. Prof: Alberto Mercado
270 CAPTULO 17. USO DE TRANSFORMADAS EN LA RESOLUCIN DE EDPS
1. Encuentre la funcin de Green G(x, t) de (17.19). (i.e. tal que u(x, t) = (f () G(, t))(x)).
\ 2 1 2
Indicacin: use que g(x g (s), y que F 1 (eas )(x) = ex /4a .
x0 )(s) = eisx0 b
2a
2. Sea y(x, t) solucin yt yxx = 0, < x < , t > 0, con condicin inicial y(x, 0) =
f (x). Pruebe que u(x, t) = y(x tb, t) para todo x R, t 0.
Z Z
1 y 1 y
u(x, y) = G(, y) f () = f (x w)dw = f (w)dw.
w 2 + y 2 (x w)2 + y 2
(17.20)
Verifique que u(x, y) es solucin de la siguiente EDP estacionaria en el semiplano supe-
rior:
uxx + uyy = 0, x R, y > 0
u(x, 0) = f (x), xR (17.21)
u(x, y) 0, y , x R.
Indicaciones:
1 2
de donde deducimos que G(x, t) = e(xbt) /(4t) .
4t
2. Sea y(x, t) solucin de yt yxx = 0, con y(x, 0) = f (x).
Esta ecuacin tiene funcin de Green, (vista en clase, y que se puede deducir de lo
1 2
anterior tomando b = 0) dada por G0 (x, t) = ex /(4t) de donde se sigue que
4t
G(x, t) = G0 (x tb, 0), de donde se obtiene que u(x, t) = y(x tb, t), teniendo en
cuenta la definicin de convolucin.
Otra forma de probar esto (asumiendo que las soluciones son nicas) es verificar
directamente que y(x bt, t) satisface la ecuacin (17.22), y es por lo tanto igual a
u.
3. Suponiendo que lm u(x, t) existe, para identificar este lmite, podemos observar que
0
en la frmula (17.24), juega el mismo paper que t, por lo que al tomar 0
ocurre lo mismo que cuando t 0 en G0 : aparece la delta de Dirac, por lo que el
lado derecho de (17.24), cuando 0, resulta f evaluada en y = x. Es decir, el
lmite buscado es f (x bt).
Otro posibilidad es razonar que con = 0, se tiene que y satisface yt = 0, con
y(x, 0) = f (x), de donde y(x, t) = f (x) para todo t 0. Con el inciso 2), deducimos
que
lm u(x, t) = y(x tb, t) = f (x bt).
0
272 CAPTULO 17. USO DE TRANSFORMADAS EN LA RESOLUCIN DE EDPS
1 y
2. Sea G(x, y) = , con x R, y > 0. Si f : R R es integrable, definamos
x + y2
2
Z Z
1 y 1 y
u(x, y) = G(, y) f () = 2 2
f (x w)dw = f (w)dw.
w + y (x w)2 + y 2
(17.26)
Verifique que u(x, y) es solucin de la siguiente EDP estacionaria en el semiplano
superior:
uxx + uyy = 0, x R, y > 0
u(x, 0) = f (x), xR (17.27)
u(x, y) 0, y , x R.
Indicaciones:
17.5. RESOLUCIN DE PROBLEMAS 273
Apndice
275
Apndice A
Curvas en R3
A.1. Curvas
p Denotamos por R n
el espacio n-dimensional dotado de la norma euclidiana: k~
x k = ~x ~x =
x21 + . . . + x2n . La nocin de curva es la formalizacin matemtica de la idea intuitiva de la
trayectoria de una partcula que se mueve en el espacio. Por esta razn los casos n = 2 y n = 3
juegan un rol principal en lo que sigue.
Definicin A.1.1 (Curva). Diremos que un conjunto Rn es una curva si existe una funcin
continua ~r : [a, b] Rn , llamada parametrizacin de la curva, tal que = {~r(t) : t [a, b]}.
~r(t)
5) Cerrada simple: si admite una parametrizacin ~r : [a, b] Rn de clase C 1 tal que ~r(a) =
~r(b) y que sea inyectiva sobre [a, b).
277
278 APNDICE A. CURVAS EN R3
Ejemplo A.1.2. Se define la cicloide como la curva descrita por un punto p solidario a una
rueda (de radio R) que gira sin resbalar.
R
t
a
p
a<R
a=R
a>R
Notemos que cuando a < R la trayectoria es simple y regular, mientras que en el caso a > R
deja de ser simple aunque sigue siendo regular.
A.1. CURVAS 279
El caso crtico es a = R, pues para este valor la trayectoria es simple pero no es regular
(justifique). Es importante observar que la parametrizacin es siempre suave, a pesar de que
la curva presenta puntas; de hecho, es esto ltimo lo que obliga a pasar por esos puntos con
velocidad nula.
Ejemplo A.1.3. La funcin ~r(t) = (a cos t, b sen t), t [0, /2] parametriza el cuarto de elipse
que se ve a continuacin
p
Esta curva se puede parametrizar tambin mediante ~r1 (x) = (x, b 1 (x/a)2 ), x [0, a].
ht
Ejemplo A.1.4. La funcin ~r(t) = (a cos t, a sen t, 2 ), t [0, 4] parametriza una hlice, que
realiza 2 vueltas llegando a una altura 2h, como se ve en la prxima figura.
h
~r
0 4 h
Podemos pensar que la hlice es una trayectoria que sigue el contorno de un cilindro dado
(en este caso de radio a y altura 2h).
Insistamos que una curva es un conjunto, que no debe confundirse con la parametrizacin
que la define. De hecho, una curva admite muchas parametrizaciones tal como vimos en el
ejemplo A.1.3. Intuitivamente, esto se explica porque una misma curva puede recorrerse de
diferentes maneras y con distintas velocidades.
280 APNDICE A. CURVAS EN R3
(1) Son todas las parametrizaciones de una misma curva necesariamente equivalentes?
(2) En caso afirmativo, existe alguna parametrizacin ms natural que las otras?
La respuesta a (1) es en general no, como lo muestra la siguiente curva y las dos parametri-
zaciones que se indican a continuacin y cuyas orientaciones no son comparables respecto a la
orientacin (no podemos decir ni que se preserva ni que se invierte).
~r1 ~r2
Las que tienen la misma orientacin que ~r (que llamaremos orientacin positiva), y
~r(t8)
~r(t1 ) P8
L() i=1 k~r(ti ) ~r(ti1 )k
~r(t7 )
~r(t0)
Definicin A.1.8. Sea una curva simple y regular. Sea ~r : [a, b] Rn una parametrizacin
regular de . Definimos la longitud de mediante
Z b
d~r
L() :=
dt (A.1)
dt
a
El valor de esta integral no depende de la parametrizacin regular ~r que se escoja para describir
, y por lo tanto el largo de est bien definido.
282 APNDICE A. CURVAS EN R3
Sea una curva simple y regular, y ~r : [a, b] Rn una parametrizacin regular. Definimos
la funcin longitud de arco s : [a, b] [0, L()] como
Z t
d~r
s(t) :=
(A.2)
dt ( )
d
a
De acuerdo a lo anterior, s(t) es la longitud del camino recorrido sobre por la parametrizacin
hasta el instante t, tal como lo ilustra la figura.
~r(t)
s(t)
~r(a)
En consecuencia, s() es una funcin estrictamente creciente, con lo cual resulta ser una biyec-
cin, y su inversa es tambin de clase C 1 (por el teorema de la funcin inversa) y estrictamente
creciente. De esta forma podemos considerar la reparametrizacin dada por esta funcin inver-
sa, la cual denotamos por t : [0, L()] [a, b], y considerar la parametrizacin equivalente que
resulta de tomar como parmetro la longitud de arco, vale decir
dt 1
(s) =
d~r
> 0.
ds
(t(s))
dt
Es posible verificar que cualquier otra parametrizacin regular conduce a la misma para-
metrizacin en longitud de arco, salvo orientacin por supuesto, por lo cual sta puede ser
considerada como una parametrizacin cannica de la curva. La llamaremos parametrizacin
natural o en longitud de arco
Respuesta:
r !
s s s 2 s 2
~ (s) = 2R arc cos 1 1 1 1 ,1 1 s [0, 8R].
4R 4R 4R 4R
v(t)
T(t)
r(t)
d~
T (s) = (s) (A.4)
ds
debido a que k d~
ds
(s)k = 1. Esto nos permite interpretar la parametrizacin natural como aquella
que se obtiene al recorrer la curva con velocidad constante unitaria, y adems nos indica que
el vector tangente slo depende del punto en el cual es calculado y no de la parametrizacin
regular ~r asociada a la curva, salvo por la orientacin. En efecto, si ~r1 ( ) = ~r(( )) con una
reparametrizacin, entonces
d~r1
d~r1
d~r d
d~r
d
( )/
( )
= (( )) ( )/
(( ))
( ) = signo d T (( )).
d
d
dt d
dt
d d
d~
r
(1) T (t) = dt
(t)/k d~
r
dt
(t)k donde t es tal que ~r(t) = P .
(2) Calcular la parametrizacin en longitud de arco ~ (s) y calcular
d~
T (s) = con s tal que ~ (s) = P .
ds
Usando los mismos argumentos para definir la longitud de arco, podemos mostrar que cuando
R
el paso de la malla ({ti }) tiende a cero, la suma anterior tiende a la integral de lnea d.
Ejemplo A.2.2. La densidad de masa de un alambre helicoidal parametrizado por ~r(t) =
(cos t, sen t, t), t [0, 2], viene dada por
(x, y, z) = x2 + y 2 + z 2 .
R
R
Notemos que N(s) T (s). En efecto, esto se obtiene de derivar la identidad kT (s)k2 = 1,
de modo tal que
d dT
0= kT (s)k2 = 2T (s) (s).
ds ds
Debido a lo engorroso que puede llegar a ser el clculo explcito de la parametrizacin en
longitud de arco, vale la pena tener expresiones para la curvatura, radio de curvatura y vector
normal que sean calculables directamente a partir de una parametrizacin regular cualquiera
~r(t). Eso es relativamente fcil utilizando la regla de la cadena pues se tiene
dT dT dt dT ds
= = .
ds dt ds dt dt
En consecuencia
dT
ds
(t) =
dt (t)
dt (t) (A.9)
1
R(t) = (A.10)
(t)
dT
dT
N(t) =
(A.11)
dt dt
B = T N,
Hemos visto que los vectores T y N son ortogonales entre s, pero pueden variar a medida
que nos movemos por la curva. En consecuencia el vector B variar tambin en general.
A.2. COMPLEMENTOS SOBRE CURVAS 287
T N
B
N
B T
Figura A.6: Vectores tangente, normal y binormal.
Notemos que
dB dT dN dN dN
= N +T = N N + T =T ,
ds ds ds ds ds
dB
obteniendo as que ds
es ortogonal a T . De otra parte, sabemos que
dB d 1 2
B = kBk = 0,
ds ds 2
La torsin se puede interpretar como la tasa a la cual el vector binormal persigue al vector
normal. Notemos que no es necesario trabajar con la parametrizacin en longitud de arco ya
que se tiene:
dB ds
(t) = N(t) (t)/ (t) . (A.12)
dt dt
ht
Ejemplo A.2.7. Consideremos la hlice ~r(t) = a(t) + 2 k de la figura A.3, donde (t) =
(cos t, sen t, 0), (t) = ( sen t, cos t, 0) y k = (0, 0, 1) denotan los vectores unitarios de las
coordenadas cilndricas. Notemos que d dt
(t) = (t) y ddt (t) = (t). Se tiene que
T (t) = (a(t) + hk)/ a2 + h2 , N(t) = (t),
dB h
B(t) = (ak h(t))/ a2 + h2 , (t) = (t),
dt a2 + h2
(t) = h/(a2 + h2 ), k(t) = a/(a2 + h2 ).
288 APNDICE A. CURVAS EN R3
dT
(i) = N,
ds
dN
(ii) = T + B,
ds
dB
(iii) = N,
ds
dN dB dT
= T +B = N T + B (kN) = B T.
ds ds ds
dT
Demostracin. 1) Si = 0, de la frmula de Frenet (I) se tiene que ds
= 0, es decir, que
T (s) = T0 constante para todo s. De esta manera se concluye que
Z s
~r(s) = ~r(0) + T0 ds = ~r(0) + sT0 .
0
dB
2) Si = 0, de la frmula de Frenet (III) se tiene que ds
= 0, es decir, que B(s) = B0
constante para todo s. Entonces
d d~r
(B0 ~r) = B0 = B T = 0,
ds ds
y luego B ~r es siempre constante (e igual a B0 ~r(0)), esto quiere decir que la curva pertenece
al plano ortogonal a B0 y que pasa por ~r(0), el cual esta dado por
B0 (~r(s) ~r(0)) = 0.
A.3. EJERCICIOS 289
El plano definido por los vectores N(s) y B(s) se llama plano normal de ~r en s y por lo
tanto tiene por vector normal a T (s). La ecuacin del plano normal esta dada por:
Se llama plano rectificante de ~r en s al plano que pasa por ~r(s) y que es ortogonal al plano
osculador y al plano normal y por lo tanto tiene como vector normal a N(s). Su ecuacin viene
dada por:
(~x ~r(s)) N(s) = 0. (A.15)
A las rectas que pasan por ~r(s) y tienen vectores paralelos T (s), N(s) y B(s) se les llama,
respectivamente, recta tangente, recta normal y recta binormal de ~r en s. Es claro que las
ecuaciones paramtricas de estas rectas corresponden respectivamente a
donde t R es un parmetro.
A.3. Ejercicios
1. Parametrizar la curva plana cuyos puntos satisfacen lo siguiente : el producto de las distan-
cias a dos focos en la abscisa (A, 0) y (A, 0) es constante e igual a B > 0. (Lemniscata)
2. Sea la curva descrita por un punto P de una circunferencia de radio R0 , la cual rueda sin
resbalar sobre otra circunferencia de radio mayor R > R0 . Parametrice la curva resultante
y determine la funcin de longitud de arco. Estudie la curvatura y la torsin donde tenga
sentido.
3. Parametrizar la circunferencia que pasa por los puntos (1, 0, 0), (0, 1, 0), (0, 0, 1).
Indicacin: Note que el vector (1, 1, 1) es normal al plano que contiene a la circunferencia.
290 APNDICE A. CURVAS EN R3
Plano Normal
Plano Rectificante
Plano Osculador
T(s)
N(s)
B(s)
5. Dada una funcin continua y no nula g : [0, l0 ] R, pruebe que existe una curva plana
de longitud l0 tal que
Z ssu curvatura estZ dada por |g|. Z s
s
Ind.: Defina (s) = g( )d, x(s) = cos ( )d, y(s) = sin ( )d y estudie ~r(s) =
0 0 0
.
x(s)b + y(s)b
6. Sea el grafo de una funcin diferenciable f : [a, b] R. Determine una frmula para la
longitud de . Suponiendo que f es dos veces diferenciable, pruebe que la curvatura en el
punto (x, f (x)) viene dada por
|f (x)|
k(x) = .
[1 + f (x)2 ]3/2
A.4. Problemas
(a) Calcule el vector tangente, normal y binormal, la curvatura y la torsion a la curva en los
puntos donde tenga sentido. Justifique brevemente en cuales puntos estas nociones estn
bien definidas.
-1
Problema A.2. 1 Una partcula se mueve sobre el manto del cilindro de ecuacin x2 + y 2 = 1
de forma tal que z = z() es solucin de la ecuacin diferencial
d2 z
= z
d2
dz
z(0) = 1 , (0) = 0,
d
donde (r, , z) son las coordenadas cilndricas.
(a) Encuentre una parametrizacin de la curva descrita por la partcula (use a como
parmetro).
Problema A.3. 2 Considere una curva R3 con la siguiente propiedad : existe un punto P~0
por el cual pasan todas las rectas normales a (note que todo arco de circunferencia satisface
esta propiedad). Sea ~r(s) : [0, ()] R3 una parametrizacin de en longitud de arco.
(a) Justifique la existencia de una funcin escalar : [0, ()] R tal que
1 k(s)(s) = 0
(s) = 0
(s)(s) = 0,
Problema A.4. 3
Considere la curva que se forma al intersectar las superficies
x2 + y 2 = 4
x2 + z 2 = 4 + y 2
(b) Calcule el centro de masa suponiendo densidad de masa (x, y, z) = xy. Puede usar
argumentos de simetra.
Problema A.5. 4
Considere la curva parametrizada (en coordenadas cilndricas) por
~r() = e|| b + 2b
k, [, ]
(b) Calcule la curvatura y la torsin (distinga los casos > 0 y < 0. Qu ocurre en = 0?).
Problema A.6. 5 Sea una curva simple regular y ~r0 : [0, L()] R3 su parametrizacin
en longitud de arco. Suponga que k(s) 6= 0 y considere la curva definida por los centros de
curvatura, llamada evoluta de , cuya parametrizacin viene dada por
(a) Demuestre que las rectas tangentes a ambas curvas (en ~r0 (s) y ~c(s) respectivamente) son
perpendiculares.
(b) Pruebe que si la curva es plana, entonces la recta tangente a la evoluta en el punto ~c(s)
intersecta a la curva en el punto ~r0 (s).
(c) Probar que la evoluta de una hlice es una hlice. Para ello basta verificar que la curvatura
y la torsin son constantes.
3
Control 1. Primavera 1997. Matemticas Aplicadas. Prof: Roberto Cominetti
4
Control 1. Primavera 1999. Matemticas Aplicadas.
5
Control 1. Primavera 2000. Matemticas Aplicadas.
A.4. PROBLEMAS 293
Problema A.7. 6 Sean t, n, b los vectores tangente, normal y binormal a una curva regular
C. Se define el vector de Darboux como w ~ = t + k b donde k y representan la curvatura y
torsin de la curva. Probar que cada uno de los vectores t, n, b satisface la ecuacin
du
~ u.
=w
ds
Problema A.8. 7 Sea ~ : [a, b] R3 la parametrizacin de una curva regular R3 . Denote-
mos por T (t), N(t) y B(t) los vectores tangente, normal y binormal respectivamente. Sea (t)
la curvatura y (t) la torsin. Suponga que (t) 6= 0 y (t) 6= 0 para todo t. Se dice que es una
curva de Bertrand si existe otra curva regular, llamada par de Bertrand de , parametrizada
segn t y tal que para cada valor de t las rectas normales a ambas curvas son iguales.
(a) Pruebe que si es una curva de Bertrand entonces existe una funcin : [a, b] R tal
que la parametrizacin de su par de Bertrand satisface ~r(t) = ~ (t) + (t)N(t). Ms an,
muestre que necesariamente es constante, i.e. (t) 0 para algn 0 R.
(c) Pruebe que si existen dos constantes no nulas A y B tales que A(t) + B (t) = 1 para
todo t, entonces es una curva de Bertrand. Indicacin: considere ~r(t) = ~ (t) + AN(t).
(c) Usando (ii), verifique que dados a > 0 y b > 0 la hlice ~ (t) = (a cos(2t), a sin(2t), bt),
t [0, 1], es una curva de Bertrand y caracterice sus pares de Bertrand.
Problema A.9. 8 Sea R2 la curva parametrizada por ~r : [0, ] R2 con ~r(t) = sin tbi +
[cos t + ln tan(t/2)]b
j.
(a) Dado t0 [0, /2[, encuentre la ecuacin de la recta tangente a en el punto ~r(t0 ). Sea
P0 = (0, y0) el punto de interseccin de esta recta tangente con el eje OY . Pruebe que la
longitud del segmento de la tangente entre ~r(t0 ) y P0 es igual a 1.
(a) Pruebe que si pertenece a una esfera (i.e. existen a > 0 y ~p0 R3 tales que k~ (s)~p0 k =
a) entonces
R(s)2 + (R (s)/ (s))2 constante, (A.19)
donde R(s) es el radio de curvatura en el punto ~ (s).
6
Control 1. Primavera 2001. Matemticas Aplicadas.
7
Control 1. Primavera 2002. Matemticas Aplicadas. Prof: Felipe lvarez
8
Control 1. Primavera 2003. Matemticas Aplicadas. Prof: Felipe lvarez
9
Control 1. Primavera 2003. Matemticas Aplicadas. Prof: Felipe lvarez
294 APNDICE A. CURVAS EN R3
(b) Demuestre la recproca: si ~ (s) satisface (A.19) entonces pertenece a una esfera. Ind.:
pruebe que si se tiene (A.19) entonces la funcin ~p(s) := ~ (s)+R(s)N(s)+R (s)/ (s)B(s)
es constante (con T (s), N(s) y B(s) los vectores tangente, normal y binormal respectiva-
mente).
10
Problema A.11.
(a) Muestre que N(s) = ~ (s) para todo s [0, L()], y utilizando las frmulas de Frenet
pruebe que = 1 y = 0. Deducir que es una curva plana.
(b) Suponiendo adicionalmente que ~ (0) = (0, 1, 0) y ~ (0) = (0, 0, 1) dar una frmula expl-
cita para ~ (s).
(c) Qu sucede si en (A.20) se reemplaza normal interior por normal exterior?
10
Control 1. Primavera 2006. Matemticas Aplicadas. Prof: Felipe lvarez
11
Control 1. Primavera 2007. Matemticas Aplicadas. Prof: Felipe lvarez
A.5. RESOLUCIN DE PROBLEMAS 295
3
Y para 2
<< 2
< < 2:
i j k
B() = T N = cos sen 0 = (0, 0, 1).
sen cos 0
3
La torsin se calcula para 0 < < 2
< < 2
como:
dB
d
N()
k() = d~
r
= 0 N() = 0.
k| d k|
1 4s 1 4s
~r(t(s)) = (cos3 ( arc cos(1 )), sen3 ( arc cos(1 )), 0).
2 3 2 3
B.1. Area
El rea de un paralelgramo definido por los vectores ~a y ~b est dada por k~a ~bk, lo cual se
desprende de la siguiente figura:
~b A
~a
En resumen
A = k~ak k~bk | sen | = k~a ~bk (B.1)
Luego, para aproximar el rea de una superficie procedemos a subdividir en pequeas celdas
como se indica en la siguiente figura:
v
D ~r(, )
S
u x
297
298 APNDICE B. AREA E INTEGRAL DE SUPERFICIE
~
r
~r(, ) ~
r(ui , vj ) + u
u
vj
u b
~
r
u
u
~
r ~
r (ui , vj )
v
v
ui
De esta manera, podemos estimar el area (A)ij de la regin ennegrecida como sigue
~r ~
r
~r ~
r
(A)ij
u (u i , vj )u (u i , vj )v
=
u v
uv.
v
Sumando se tiene
X X
~r ~
r
A(S) = (A)ij
u v
uv.
i,j i,j
Notemos que los conceptos antes definidos no dependen de la parametrizacin regular elegida,
es decir, si ~r1 = ~r es una reparametrizacin de la superficie S, donde : D1 R2 D es
un difeomorfismo ( y 1 de clase C 1 ), entonces
ZZ
ZZ
~r1 ~
r 1
~r ~
r
(~r1 (s, t))
s (s, t) (s, t)
dsdt =
(~
r (u, v))
(u, v)
u (u, v)
dudv,
t v
D1 D
B.3. EJEMPLOS 299
RR
con lo cual la integral dA no cambia bajo reparametrizacin. La demostracin es una simple
D
aplicacin del teorema de cambio de variables para integrales dobles. En efecto, sabemos de la
regla de la cadena que las siguientes igualdades son satisfechas:
~r1 ~r u ~r v ~r1 ~r u ~r v
= + ; = + .
s u s v s t u t v t
Por lo que se tiene
~r1 ~r1 ~r ~r u v v u
= .
s t u v s t s t
Finalmente, aplicando el teorema de cambio de variables se deduce
ZZ
ZZ
~r1 ~r1
~r ~r
u v v u
(~r1 (s, t))
dsdt =
(~r((s, t)))
dsdt,
s t
u v
s t s t
D1 D1 | {z }
| det J |
ZZ
~r ~
r
= (~r(u, v))
u v
dudv.
D
RR
Observacin B.2.2. Es importante que la parametrizacin ~r() usada para calcular dA
S
sea simple y regular con el fin de evitar el sumar dos veces la misma regin. El anlogo en
curvas es que la parametrizacin no debe devolverse y pasar dos veces por el mismo segmento
de la curva.
RR
Notemos que si representa densidad superficial de masa o carga elctrica, la integral dA
S
representa la masa total o la carga elctrica total contenida en la superficie S, respectivamente.
La nocin de centro de masa se extiende entonces naturalmente al caso de superficies de la
siguiente manera:
ZZ ZZ ZZ
1 1 1
xG = x dA; yG = y dA; zG = z dA, (B.2)
M M M
S S S
RR
~r
donde M = dA y dA =
u r
~
v
dudv. Podemos resumir lo anterior con la siguiente
S
notacin vectorial ZZ
1
~rG = ~r dA, con ~r = (x, y, z). (B.3)
M
S
En otras palabras, intuitivamente se tiene que el diferencial de masa est dado por dm = dA.
Observacin B.2.3. Las definiciones establecidas en esta seccin pueden extenderse trivial-
mente al caso de una superficie S regular por trozos.
B.3. Ejemplos
Ejemplo B.3.1. Calculemos el rea la superficie de una esfera
300 APNDICE B. AREA E INTEGRAL DE SUPERFICIE
z
y cuya parametrizacin es x
h
~r(, ) = cos , sen , , [0, a], [0, 2),
a
viene dada por
Z
Z
Z a Z 2
a
~r ~r
2
h
A(S) =
dd =
+ k
dd
a
0 0 0 0
s
Z a Z 2
2 Z a
h
h
=
k
dd = 1 + 2 d = a a2 + h2 .
0 0 a a 0
B.3. EJEMPLOS 301
Ejemplo B.3.3. Calculemos finalmente el rea de la superficie de un Toro de radios (R, a),
donde a < R.
a R
~r(, ) = ((R + a sen ) cos , (R + a sen ) sen , a cos ), [0, 2), [0, 2).
Z
Z
Z 2 Z 2
2
~r ~r
2
A(S) =
dd =
(R + a sen ) a
dd
0 0 0 0
Z 2 Z 2 Z 2 Z 2
= a|R + a sen |dd = a(R + a sen )dd = 4 2 aR.
0 0 0 0
h
Para esto parametrizamos en cilndricas ~r(, ) = (r cos , r sen , 2 ). De esta forma se ob-
302 APNDICE B. AREA E INTEGRAL DE SUPERFICIE
tiene:
Z
Z
Z a Z 2
a
~r ~r
2
h
A(S) =
ddr =
r r + k
ddr
r
2
0 0 0 0
s
Z a Z 2
Z a Z 2 2
h
h
=
r k
ddr = 2
r + ddr
2
2
0 0 0 0
s 2
Z a Z 2a
2r h2 h
=h 1+ dr = 1 + u2 du
0 h 2 0
h2 1 h i 2a
= u 1 + u2 + ln u + u2 + 1 0 h
2 2
s 2 s 2
2
h 2a 2a 2a 2a
= 1+ + ln + 1+ .
4 h h h h
B.4. Ejercicios
3. Calcular la masa de una superficie esfrica S de radio R tal que en cada punto (x, y, z) S,
la densidad de masa es igual a la distancia de (x, y, z) a un punto fijo (x0 , y0 , z0 ).
4. Sea S el grafo de la funcin f : [a, b] [c, d] R. Calcular el vector normal y probar que:
s 2 2
Z bZ d
f f
A(S) = 1+ + dxdy.
a c x y
B.5. PROBLEMAS 303
5. Sea f : R R una funcin de clase C 1 tal que f (v) 6= 0 para todo v R. Considere
la superficie parametrizada por ~r(u, v) = ubi + f (v)b j + f (v)2b
k. Determine la ecuacin del
plano tangente a la superficie en el punto ~r(u0 , v0 ). Pruebe que este plano contiene al eje
OX si y slo si f (v0 ) = 0.
B.5. Problemas
(iii) Calcule el volumen. Qu puede decir sobre los dos valores calculados?
Rb p
A(Rf ) = 2 1 + f (x)2 f (x)dx
a
+ +
a b x
z
304 APNDICE B. AREA E INTEGRAL DE SUPERFICIE
y
y
Rb p
A(Sf ) = a
2x 1 + f (x)2 dx
z
usadas para las reas de revolucin de una funcin f : [a, b] R en torno al eje x e y
respectivamente, son consistentes con la definicin de rea considerada aqu.
Problema B.3. Calcule el rea de la interseccin entre x2 + y 2 = a2 y x2 + z 2 = a2 .
Problema B.4. 1
Sea S R3 la superficie caracterizada por x2 + y 2 2z = 0, x2 + y 2 4y 0.
(b) Deduzca que el valor del rea de la semi-esfera x2 + y 2 + z 2 = a2 con y 0 que no est
incluida dentro del cilindro es un cuadrado perfecto.
Problema B.6. 3 Sea C una curva simple regular y ~r0 : [0, L(C)] R3 su parametrizacin en
longitud de arco. Considere la superficie parametrizada por
~r : [0, L(C)] [0, 2] R3
(s, ) 7 ~r(s, ) := ~r0 (s) + a cos()N(s) + a sin()B(s)
donde N (s) y B(s) representan los vectores normal y binormal a la curva C en el punto ~r0 (s),
y a 0 es una constante tal que a 1/k(s) para todo s [0, L(C)].
1
Control 1. Primavera 2003. Matemticas Aplicadas. Prof: Felipe lvarez
2
Control 1. Primavera 1999. Matemticas Aplicadas. Prof: Felipe lvarez
3
Control 1. Primavera 2000. Matemticas Aplicadas.
B.5. PROBLEMAS 305
x2 + y 2 + z 2 = a2
x 0, y 0, z 0
(b) El momento de inercia de una superficie R3 respecto de una recta L se define como
ZZ
I= dL (x, y, z)2 (x, y, z)dA
(b) Considere la seccin S de P que queda dentro del cilindro (x 1)2 + y 2 1. Encuentre
una parametrizacin para S indicando su dominio de definicin.
(a) Pruebe que el plano tangente a S en el punto (x0 , y0 , z0 ) S est dado por xx0
a2
+ yy
b2
0
+ zzc20 =
1.
(b) Pruebe que la recta que pasa por el origen (0, 0, 0) y que es perpendicular al plano de la
2 2 2
parte (a.1) est dada por xa
x0
= yb
y0
= zcz0 .
(c) Verifique que las proyecciones ortogonales del origen sobre los planos tangentes a S satis-
facen la ecuacin a2 x2 + b2 y 2 + c2 z 2 = (x2 + y 2 + z 2 )2 .
4
Control 1. Primavera 2000. Matemticas Aplicadas.
5
Control 1. Primavera 2001. Matemticas Aplicadas.
6
Control 1. Primavera 2003. Matemticas Aplicadas. Profesor: Felipe lvarez
306 APNDICE B. AREA E INTEGRAL DE SUPERFICIE
x2 + y 2 x2 z 2 = 0 (y + z)(y z) = 0 y = z,
Observamos que el rango al que pertenece z esta limitado por y, que vale a cos(), y como
la superficie es simtrica, podemos considerar z > 0 y 0 < < 2 , para despus multiplicar el
resultado obtenido por 8 (nmero de caras de la superficie). As, dado que = ab y z = b
k,
se obtiene
= ab
z
cuya norma es igual a a. Por lo tanto,
Z Z a cos() Z
2 2
az = a a cos() = a2 sen()|02 = a2
0 0 0
Diferencial de volumen
~b A
~a
~c (~a~b)
h = ~c k~a~bk
~
k~~aa b
~bk ~a
~b
309
310 APNDICE C. DIFERENCIAL DE VOLUMEN
Notemos que
~c (~a ~b) = det(~a, ~b, ~c).
siempre que la integral exista. Decimos entonces que el elemento de volumen en cartesianas
viene dado por
dV = dxdydz.
dv ~
r
du b
u
du
~r ~r ~r
= hu u = hv v = hw w,
u v w
donde u, v, y w son mutuamente ortogonales y unitarios. Es directo entonces ver que
~r ~r ~r
w u v = hu hv hw ,
dV = hu hv hw dudvdw. (C.3)
En otras palabras, para calcular el volumen de se suma sobre todo (u, v, w) D el volumen
del correspondiente paraleleppedo rectangular
w
hw dw
v
k
~r(u, v, w) hu du
hv dv
~u
312 APNDICE C. DIFERENCIAL DE VOLUMEN
C.2. Ejemplos
Ejemplo C.2.1. Coordenadas cilndricas: (, , z).
Tenemos que h = 1 , h = , hz = 1, por lo tanto
dV = dddz.
dz
dV = d d dz
z
d
d
Ejemplo C.2.2. Coordenadas esfricas: (r, , ).
Tenemos que hr = 1 , h = r sen , h = r, entonces
dV = r 2 sen drdd.
dV = r 2 sen dr d d
r d
dr
r sen d
C.3. Ejercicio
Para el sistema de coordenadas toroidales en que la posicin de un punto viene dado por
~r(r, , ) = ((R + r sen ) cos ), (R + r sen ) sen , r cos ), r [0, R], [0, 2), [0, 2).
verifique que el diferencial de volumen se calcula como sigue:
dV = r(R + r sen )drdd. (C.4)
C.3. EJERCICIO 313
r y
b
x
314 APNDICE C. DIFERENCIAL DE VOLUMEN
Apndice D
315
316 APNDICE D. TPICOS ADICIONALES EN EDPS
Ejemplo D.2.1. Consideremos la funcin u(x, y) = xy. Es directo verificar que u es armnica
en R2 . De la segunda ecuacin en (D.1), deducimos que si u admite una funcin armnica
conjugada v = v(x, y), sta debe satisfacer
v u
= = x.
x y
Luego v(x, y) = x2 /2 + g(y), para alguna funcin y 7 g(y) por determinar. Para encontrar
g(y), imponemos la primera ecuacin en (D.1):
u v x2
y= = = + g(y) = g (y),
x y y 2
Ejemplo D.2.2. Sea = D(0, 2) \ {0} = {z C|0 < |z| < 2} y consideremos
u(x, y) = log(x2 + y 2)
Es directo verificar que u es armnica en . En efecto, derivando se obtiene que para todo
(x, y) 6= (0, 0):
u 2x u 2y
= 2 , = 2
x x + y2 y x + y2
D.2. FUNCIONES ARMNICAS CONJUGADAS 317
y as
2u 2(x2 + y 2) 4x2 2(y 2 x2 )
= =
x2 (x2 + y 2 )2 (x2 + y 2 )
mientras que
2u 2(x2 y 2 ) 2u
= = .
y 2 (x2 + y 2 )2 x2
Luego, u = 0 en .
El problema con el ejemplo D.2.2 es que el dominio D(0, 2)\{0} tiene un hoyo. Recordemos
que un abierto no vaco C se dice simplemente conexo si es conexo y si todo camino cerrado
contenido en no encierra puntos fuera de .
Teorema D.2.3. Sea u una funcin armnica en un dominio simplemente conexo . Entonces
existe una funcin v armnica conjugada de u en .
318 APNDICE D. TPICOS ADICIONALES EN EDPS
Demostracin. Sea (x0 , y0) un punto arbitrario que permanecer fijo. Definamos para
todo (x, y)
Z
(x,y)
u u
v(x, y) = , d~r, (D.4)
y x
(x0 ,y0 )
(x,y)
Z
donde representa la integral sobre un camino cualquiera que va desde (x0 , y0) a (x, y).
(x0 ,y0 )
Un camino que une (x0 , y0 ) y (x, y) siempre existe en virtud de la conexidad de . La funcin
dada por (D.4) est bien definida pues el valor de la integral no depende del camino escogido.
En efecto, si 1 y 2 son dos caminos que unen (x0 , y0) y (x, y) entonces = 1 (2 ) es un
camino cerrado, el cual slo encierra puntos de (pues es simplemente conexo). Podemos
entonces aplicar el teorema de Green en el plano para deducir que si D es la regin
encerrada por entonces
I ZZ ZZ
u u u u
, d~r = dxdy = udxdy = 0, (D.5)
y x D x x y y D
Z
(x+h,y) Zh
v v(x + h, y) v(x, y) 1 u u 1 u
(x, y) = lm = lm , d~r = lm (x + t, y) dt.
x h0 h h0 h y x h0 h y
(x,y) 0
La frmula integral (D.4) proporciona una herramienta til para encontrar una funcin
conjugada v de una funcin armnica u en un simplemente conexo.
Ejemplo D.2.1 (continuacin). Consideremos la funcin u = xy, que es armnica en R2 .
Tomemos (x0 , y0) = (0, 0) y definamos
Z
(x,y)
v(x, y) = (x dx + y dy ).
(0,0)
Notemos que v(0, 0) = 0. Como podemos escoger el camino de (0, 0) a (x, y), tomamos aquel ms
simple para la integracin. En este caso, como el dominio para u es todo el plano y el integrando
es un polinomio en las coordenadas cartesianas, tomamos el camino como la unin de dos
segmentos de recta, el primero que une (0, 0) con (x, 0) (parametrizado por ~r(x ) = (x , 0), x
[0, x]) y el segundo que une (x, 0) con (x, y) (parametrizado por ~r(y ) = (x, y ), y [0, y ]). As
Zx Zy
x2 y 2 y 2 x2
v(x, y) = x dx + y dy = + = ,
2 2 2
0 0
Demostracin. En virtud del teorema D.2.3, u admite una funcin armnica conjugada v en
el disco D((x0 , y0 ), ), que evidentemente es simplemente conexo. Dado 0 < R < , podemos
aplicar el teorema 10.1.1 a f (z) = u(x, y) + iv(x, y) para deducir de la frmula de Cauchy (10.1)
con p = z0 = x0 + iy0 que
Z 2 Z 2
1 f (z0 + Rei ) i 1
f (z0 ) = i
iRe d = f (z0 + Rei )d,
2i 0 Re 2 0
o equivalentemente
Z 2
1
u(x0 , y0 ) + iv(x0 , y0 ) = [u(z0 + Rei ) + iv(z0 + Rei )]d.
2 0
Utilizando notacin polar z = z0 + rei (con r < R), w = z0 + Rei de modo tal que dw =
Riei d, y f (r, ) = f (z0 + rei ) (anlogo para f (R, )), podemos escribir
Z 2
1 f (R, )
f (r, ) = Riei d
2i 0 Rei rei
Z 2
1 f (R, ) Rei rei i
= Re d
2 0 Rei rei Rei rei
Z 2
1 f (R, )(R2 rRei() )
= d.
2 0 R2 + r 2 2rR cos( )
u C 2 (), u = 0 en .
BR (p) = {x Rn : kx pk < R}
ya que sobre la superficie B1 (0) se tiene n(y) = y. Por lo tanto, cambiando de variables
nuevamente
Z
df 1 u
(r) = n1
dA
dr n r Br (p) n
Z
1
= u
n r n1 Br (p)
= 0,
ya que u es armnica. Luego f es constante y para averiguar cul es esta constante observemos
que
Z
1
|f (r) u(p)| = (u(x) u(p)) dA(x)
n r n1
Br (p)
debido a la continuidad de u.
Hemos probado as
Teorema D.4.1. Sea Rn un conjunto abierto y u : R una funcin armnica. Entonces
si p y BR (p) se tiene
Z
1
u(p) = u dA, 0 < r < R,
n r n1 Br (p)
y Z
n
u(p) = u dV, 0 < r < R.
n r n Br (p)
Pero por hiptesis u(x0 ) u(x) 0 para todo x Br (x0 ) por lo que u(x0 ) u(x) = 0 para
todo x Br (x0 ) (si u(x0 ) u(x) > 0 para algn punto x Br (x0 ) la integral resultara
positiva.)
Esto muestra que u(x) = u(x0 ) para todo x BR (x0 ). Veamos ahora que u(x) = u(x0 ) para
todo x . Recordemos que dado x como es conexo existe un camino continuo que
une x0 con x y que est contenido en . Utilizando el hecho que es abierto y el camino
es compacto se puede encontrar una secuencia finita de puntos x1 , x2 , x3 , . . . , xm = x en
y R > 0, tales que las bolas BR (xk ) k = 0, 1, . . . , m estn contenidas en y xk+1 BR (xk )
para k = 0, 1, . . . , m 1. Hemos probado que u(x) = u(x0 ) para todo x BR0 (x0 ) y luego
u(x1 ) = u(x0 ) = max u. Repitiendo el argumento anterior se encuentra que u(x) = u(x1 ) para
todo x BR (x1 ), y por induccin se prueba que u(x) = u(x0 ). Luego u es constante en , lo
cual es una contradiccin.
Mediante una demostracin anloga se prueba que u no puede alcanzar su mnimo en .
Corolario D.5.2. Supongamos que Rn es abierto, conexo y acotado y que u : R es
continua y armnica en . Entonces
max u = max u (D.7)
y
mn u = mn u. (D.8)
Demostracin. Bajo las hiptesis de este corolario, el mximo de u se alcanza en algn punto
x0 . Si x0 por el teorema anterior u es constante y (D.7) es cierto. Si x0 vemos
que (D.7) tambin vale. Razonando de manera anloga, se prueba (D.8).
El teorema D.5.1 es ms fuerte que el corolario D.5.2, ya que mientras este ltimo resultado
dice que si u es armnica entonces u siempre alcanza un mximo en , el teorema afirma que
si el mximo se llegara a alcanzar dentro de entonces u sera constante. Por este motivo al
primero de estos resultados se le llama el principio del mximo fuerte, mientras que al segundo
se le dice principio del mximo dbil.
Definamos
T = ({0} ) ([0, T ] ).
Intuitivamente QT es un cilindro no uniforme con base igual a y altura T , y T es una parte
de la frontera de QT que corresponde a la base y el manto lateral (sin incluir la tapa superior).
Teorema D.6.1. Sea u : QT R una funcin continua tal que u C 2 (QT ) que satisface la
ecuacin del calor (D.9) en QT . Entonces
y
mn u = mn u.
QT T
Observacin D.6.2. Este teorema se conoce como el principio del mximo dbil para la ecua-
cin del calor y establece que el mximo de u siempre se alcanza en algn punto de T . En otras
palabras el comportamiento de u slo toma en cuenta los valores de esta funcin en T , es decir
los valores en el instante inicial (t = 0) y los valores en el borde de para todo t (0, T ).
Esto concuerda con la nocin de que la variable t representa el tiempo, y que lo que ocurre en
el tiempo t = T viene descrito por la condiciones del problema.
max u = max u.
QS S
ut (t0 , x0 ) u(t0 , x0 ) 0.
Esto no es suficiente para una demostracin pero slo falta un pequeo truco. En efecto, con-
sideremos > 0 y la funcin
v(t, x) = u(t, x) + kxk2 .
v es continua en QS y por lo tanto maxQS v se alcanza, digamos en (t1 , x1 ) QS . Si (t1 , x1 )
no pertenece a S repitiendo el argumento anterior podemos afirmar que v(t1 , x1 ) 0 y
vt (t1 , x1 ) 0, por lo que
vt (t1 , x1 ) v(t1 , x1 ) 0.
Pero un clculo directo muestra que
lo que es una contradiccin. Hemos probado que necesariamente (t1 , x1 ) S , por lo que
max u(t, x) + kxk2 = max u(t, x) + kxk2 .
(t,x)QS (t,x)S
D.7. UNICIDAD PARA LA ECUACIN DE LAPLACE Y EL CALOR 325
De aqu se deduce
2
2
max u(t, x) max u(t, x) + kxk max u(t, x) + max kxk
(t,x)QS (t,x)S (t,x)S (t,x)S
y haciendo 0 obtenemos
La desigualdad max u(t, x) max u(t, x) es siempre cierta dado que S QS . Esto prueba
(t,x)QS (t,x)S
(D.10).
D.8. Ejercicios
1. Verifique que las siguientes funciones son armnicas en todo R2 y encuentre funciones
armnicas conjugadas para cada una de ellas:
a) u(x, y) = x2 y 2 .
b) u(x, y) = x5 10x3 y 2 + 5xy 4 .
c) u(x, y) = ex cos y + x3 3xy 2 + 2y.
326 APNDICE D. TPICOS ADICIONALES EN EDPS
D.9. Problemas
Problema D.1. Sean u(x, y) y v(x, y) dos funciones de clase C 1 en R2 . Considere los campos
en R3 definidos por F = v i + uj, y G = ui v j.
1. Pruebe que F y G son conservativos si y slo si las funciones u y v satisfacen las ecuaciones
de Cauchy - Riemann. En tal caso decimos que u y v son funciones conjugadas.
2. Pruebe que si u y v son funciones conjugadas y de clase C 2 , entonces u = 0 y v = 0,
(diremos que u y v son armnicas). Pruebe qdems que u v = 0.
3. Si u es armnica, pruebe que existe una funcin v conjugada de u.
Indicacin: Esto es equivalente a probar que cierto campo es conservativo.
Problema D.2. 1 Dada f (z) = u(x, y) + iv(x, y), con u y v funciones de clase C 2 en R2 ,
definimos f = u + iv. Decimos que f es una funcin armnica compleja si f = 0.
Demuestre que f H() si y slo si f (z) y zf (z) son armnicas complejas.
Problema D.3.
De una demostracin del teorema de unicidad para la ecuacin de Laplace (teorema D.7.1) bajo
la hiptesis que u1 , u2 son soluciones de clase C 1 () C 2 () de
(
u = f en
u = sobre ,
Problema D.4. Pruebe el principio del mximo dbil (corolario D.5.2) en el siguiente caso: si
u C 1 () C 2 () satisface (
u 0 en
u 0 sobre ,
entonces
u0 en .
Siga los siguientes pasos:
c) Podemos suponer que es conexo. Supongamos que existe un punto x con u(x) > 0
y sea un camino diferenciable con (t) para t (0, 1], (0) = x0 y (1) = x.
Sea t1 el ltimo t donde u((t)) = 0, en otras palabras
Problema D.5. Para la ecuacin del calor tambin es posible probar el teorema de unicidad y
el principio del mximo dbil integrando por partes. Para el teorema de unicidad puede proceder
del siguiente modo: suponga que u C([0, T ] ) C 2 ((0, T ) ) satisface
ut u = 0 en (0, T )
u = 0 sobre (0, T )
u(0, ) = u0 en .
Defina Z
E(t) = |u(t, )|2
y pruebe que Z
d
E(t) = 2 ut (t, )2 0.
dt
= xu yv + i(yu + xv)
Denotando w = xu yv , q = yu + xv (las partes real y compleja de zf (z)), se tiene:
w
= xux + u yvx
x
2w
= xuxx + ux + ux yvxx
x2
= xuxx + 2ux yvxx
w
= xuy yvy v
y
2w
= xuyy yvyy vy vy
y 2
= xuyy + yvyy 2vy
de donde se tiene
w = x(uxx + uyy ) y(vxx + vyy ) + 2(ux vy )
(D.12)
= xu yv + 2(ux vy ).
q
= yuy + u + xvy
y
2q
= yuyy + uy + uy + xvyy
y 2
D.10. RESOLUCIN DE PROBLEMAS 329
de donde se tiene
q = yuxx + xvxx + 2vx + yuyy + 2uy + xvyy
(D.13)
= yu + xv + 2(uy + vx ).
En conclusin :
(zf (z)) = w + iq
(D.14)
= xu yv + 2(ux vy ) + i(yu + xv + 2(uy + vx )).
(=)
Supongamos que f y zf (z) son armnicas complejas. Esto quiere decir que
u = v = w = q = 0
(donde w y q son la parte real e imaginaria de zf (z), como arriba).
Entonces las partes real e imaginaria en (D.14) son cero, de donde se sigue que
ux vy = 0, uy + vx = 0
que son justamente las ecuaciones de Cauchy- Riemann, y como u y v son de clase C 2
(en todo R2 ), se sigue que f es holomorfa.
330 APNDICE D. TPICOS ADICIONALES EN EDPS
ndice de figuras
331
332 NDICE DE FIGURAS
[1] J. Bak, D.J. Newman, Complex Analysis, Springer-Verlag, New York, 1997.
[3] R.V. Churchill, Teora de Funciones de Variable Compleja, McGraw-Hill, New York, 1966.
[4] J.E. Marsden, A.J. Tromba, Clculo Vectorial, Addison-Wesley Longman de Mxico, 1998.
[5] P.V. ONeil, Matemticas avanzadas para ingeniera, Vol. 2, Compaa Editorial Conti-
nental, Mxico D.F., 1994.
[7] A.D. Wunsch, Variable compleja con aplicaciones, Addison-Wesley Iberoamericana, Buenos
Aires, 1997.
333