Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Apunte C.A.A.
Apunte C.A.A.
F n dA
div(F ) dV =
ii
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 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 beneciado 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 en la confeccin de una versin previa de este apunte para el curso en
A
aquel entonces llamado Matemticas Aplicadas, al transcribir en LTEX buena parte de las notas
manuscritas, elaborar las guras y sugerir varias ideas para mejorar la presentacin. Tambin
debo agradecer a Regina Mateluna, secretaria del DIM, por su eciente 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 n de adecuarlo al programa del curso de Clculo Avanzado y Aplicaciones.
Mi reconocimiento para ellos por un trabajo muy bien hecho.
En la presente 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 por su excelente trabajo.
Sin perjuicio de los nombres mencionados anteriormente, la responsabilidad por los eventuales errores o inexactitudes que se puedan encontrar en estos apuntes es slo ma. Estar muy
contento de recibir cualquier comentario o sugerencia que permita mejorar este apunte en la
siguiente direccin: falvarez@dim.uchile.cl
Finalmente, quisiera agradecer el nanciamiento proporcionado por el Departamento de
Ingeniera Matemtica de la Universidad de Chile y por el proyecto Fondef IDEA+.
Felipe Alvarez
Santiago, Marzo 2009
iii
iv
Tema
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Clculo Vectorial
Unidad
Captulos
Cap. 1
Cap. 2
Cap. 3
Cap. 4
Cap. 5
Cap. 6 y 7
Cap. 8
Cap. 9
Cap. 10 y 11
Cap. 12
Cap. 13
Cap. 14
Cap. 15
Cap. 16
Cap. 17
vi
ndice general
I
Clculo Vectorial
10
13
15
1.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
1.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18
21
21
24
26
30
33
2.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
36
2.7. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
39
43
43
NDICE GENERAL
viii
47
48
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
49
3.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
53
3.6. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
57
57
58
59
61
65
65
66
68
69
Problemas de recapitulacin
71
II
77
6. El plano complejo
79
79
81
82
7. Continuidad y derivacin
85
85
86
89
7.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91
7.5. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91
93
93
NDICE GENERAL
ix
95
95
96
97
98
105
. . . . . . . . . . . . . . . . . . . . . . . . . . . 112
121
129
NDICE GENERAL
x
12.Evaluacin de integrales va residuos
157
III
Anlisis de Fourier
13.Series de Fourier
179
181
193
IV
205
207
NDICE GENERAL
xi
227
NDICE GENERAL
xii
17.Uso de transformadas en la resolucin de EDPs
257
Apndices
A. Curvas en R3
275
277
. . . . . . . . . . . . . . . . . . . . 281
297
307
NDICE GENERAL
xiii
311
. . . . . . . . . . . . . . . . . . . . . . . . . . . 311
xiv
NDICE GENERAL
Parte I
Clculo Vectorial
Captulo 1
Elementos de clculo vectorial
1.1.
3
triedro correspondiente a la base cannica de R .
Sea un abierto no vaco de R3 . Llamaremos campo escalar sobre a toda funcin a valores
reales f : R. Llamamos grafo de f al conjunto G(f ) = {(x, f (x)) | x } R4 . Dado
R, se dene el conjunto de nivel de la funcin f como N (f ) = {x | f (x) = } R3 ,
el cual puede ser vaco. Al conjunto de nivel se le conoce como supercie de nivel o bien como
supercie equipotencial.
Llamaremos campo vectorial sobre a toda funcin F : R3 R3 . En coordenadas
cartesianas, escribiremos
(x0 , y0 , z0 )
Ejemplo 1.1.1. Las partculas sobre un disco en el plano XY que gira con velocidad angular
constante > 0 y con eje de rotacin dado por el eje Z, estn sujetas al campo de velocidades
dado por v(x, y, 0) = y + x.
Ejemplo 1.1.3. (Ley de conduccin de Fourier). El calor uye de regiones calientes a regiones fras con una velocidad J proporcional al gradiente de temperaturas: J = T (x, y, z) =
T
T
T
x
y
z
propiedad fsica propia del medio conductor. En consecuencia, el ujo de calor sigue localmente la direccin de mximo descenso de la temperatura, que a su vez es perpendicular a la
correspondiente supercie de nivel tambin conocida como isoterma.
1.2.
r0 = (x0 , y0, z0 ). Sabemos que el diferencial de F en dicho punto est representado por la
matriz jacobiana:
JF (r0 ) =
F1
F1
F1
(x0 , y0, z0 )
(x0 , y0 , z0 )
(x0 , y0 , z0 )
x
y
z
F2
F2
F2
(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 deniremos 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.
1.2.1.
1
de clase C . Se dene el operador divergencia de F como
div F :=
F1 F2 F3
+
+
.
x
y
z
(1.1)
= +
+k ,
x
y
z
(1.2)
(1.3)
F = F1 + F2 + F3 k
(1.5)
1
Ejemplo 1.2.4. Si f (x, y, z) = 2 (x2 + y 2 + z 2 ) entonces f 3.
F3 F2
y
z
F1 F3
z
x
F2 F1
x
y
k.
F1
rot F = F =
F2
F3
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 irrotacional, esto es, si F = g en para algn potencial g de clase C 2 sobre , entonces rot F 0
en . En efecto,
rot(g) =
2g
2g
yz zy
2g
2g
zx xz
2g
2g
xy yx
k = 0.
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.2.2.
Identidades vectoriales
8
8. div(f g) = 0.
9. (f g) = f g + gf + 2f g.
10. (f g gf ) = f g gf .
11. F = (div F ) rot(rot F ).
12. rot(F G) = F div G G div F + (G )F (F )G.
13. (F F ) = 2(F )F + 2F (rot F ).
14. (F G) = (F )G + (G )F + F rot G + G rot F .
Observacin 1.2.8. En las tres ltimas identidades se usa la notacin
donde G = G1 + G2 + G3 k.
1.3.
Las coordenadas cartesianas no siempre son las ms cmodas para describir objetos geomtricos y campos escalares o vectoriales. De hecho, en diversas ocasiones el problema en estudio
posee ciertas simetras que no se ven reejadas al utilizar estas coordenadas. En esta seccin
discutiremos otros sistemas de coordenadas que sern tiles en varios contextos.
1.3.1.
En general, un sistema de coordenadas curvilneas es una transformacin invertible sucientemente diferenciable r : D R3 R3 , de modo que a todo triplete (u, v, w) D le
corresponde un nico punto en el espacio
r(u, v, w) = (x(u, v, w), y(u, v, w), z(u, v, w)).
Adems suponemos que la matriz jacobiana del sistema de coordenadas en no singular, esto es,
Jr (u0 , v0 , w0 ) =
r
r
r
(u0 , v0 , w0 )
(u0, v0 , w0 )
(u0 , v0 , w0 )
u
v
u
33
r
(u0 , v0 , w0 )
u
r
(u0 , v0 , w0 )
u
r
(u0 , v0 , w0 )
u
r
r
simplicar la notacin. Similarmente, como v (u0 , v0 , w0 ) = 0 y w (u0, v0 , w0 ) = 0, los vectores tangentes v y w a las curvas parametrizadas por v r(u0 , v, w0 ) y w r(u0 , v0 , w) estn
bien denidos. Ms an, nuevamente en virtud de la invertibilidad de la matriz jacobiana en
todo punto, se tiene que el triedro {, v, w} es linealmente independiente por lo que constituye
u
una base normalizada de R3 .
Denicin 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 {, v, w} denidos por
u
u=
r
r
,
/
u u
v=
r r
,
/
v v
w=
r
r
.
/
w w
(1.6)
r(u0, v0 , )
r(u0 , v0 , w0)
r(u0 , , w0)
r(, v0 , w0 )
r
,
u
hv =
r
,
v
hw =
r
.
w
r
= hv v ,
r
= hw w.
(1.7)
10
1.3.2.
Coordenadas cilndricas
Para este sistema de coordenadas la posicin de un punto P en el espacio queda determinada
por tres variables, , y z, como muestra la siguiente gura:
+P
[0, +[
[0, 2[
zR
z
Entonces, la relacin entre las coordenadas cilndricas y cartesianas viene dada por
r(, , z) = (x(, , z), y(, , z), z(, , z)) = ( cos , sen , z).
Recprocamente, a un punto descrito por lo valores x, y y z, en coordenadas cartesianas, le
corresponden los siguientes valores en coordenadas cilndricas
=
x2 + y 2,
= arctan
y
,
x
z = z.
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
obteniendo nalmente que el triedro es:
= (cos , sen , 0),
z = k = (0, 0, 1).
11
x
Coordenadas esfricas
Un tipo de geometra que aparece con frecuencia en las aplicaciones es la geometra esfrica. 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 gura.
z
r [0, +[
[0, 2[
[0, ]
+P
r
y
x2 + y 2 + z 2 ,
= arctan
y
,
x
= arctan
x2 + y 2
z
r
= (r cos cos , r cos sen , r sen ) h = r,
12
obteniendo
r = (sen cos , sen sen , cos ), = ( sen , cos , 0), = (cos cos , cos sen , sen ).
x
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 preeran 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 vericar
primero cul es el nombre que el autor ha dado a cada ngulo antes de seguir un desarrollo que
involucre coordenadas esfricas.
Coordenadas toroidales
Este nuevo sistema no corresponde exactamente a la nocin de sistema de coordenadas denida anteriormente, pues no permiten describir el espacio R3 completo. Sin embargo, el anlisis
anterior sigue siendo vlido.
En estas coordenadas, dado un radio mayor R jo, la posicin de un punto P queda determinada por un radio menor r y dos ngulos y como muestra la gura.
z
R
13
hr = 1;
h = r;
h = (R + r sen ).
Es fcil vericar al igual que en los casos anteriores, los vectores del triedro r, y son
mutuamente ortogonales.
1.3.3.
En las aplicaciones, muchas magnitudes escalares se expresan de manera natural como una
funcin descrita en un sistema de coordenadas curvilneas distinto al cartesiano. Un ejemplo
sencillo es el potencial gravitacional engendrado por una partcula de masa M que se encuentra
en el origen. Su expresin en coordenadas cartesianas es
V (x, y, z) =
GM
x2
+ y2 + z2
GM
.
r
Resulta entonces interesante obtener expresiones para los operadores diferenciales fundamentales 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 especco del gradiente de una
funcin diferenciable f : R3 R.
14
Sea (u, v, w) D tal que r(u, v, w) . Para simplicar la notacin, no escribiremos explcitamente la dependencia en u, v y w. Como el triedro u, v , w es ortonormal y en particular es
3
una base de R , podemos escribir
f (r) = (f (r) u) + (f (r) v) + (f (r) w)w.
u
v
Ahora bien, por denicin de los factores escalares, tenemos en particular que
r
= hu u
u
de modo tal que
f (r) u =
1
r
f (r)
.
hu
u
r
=
(f r),
u
u
1
(f r).
hu u
Razonando de manera similar con las otras componentes, deducimos que
f (r) u =
f =
1 f
1 f
1 f
u+
v+
w.
hu u
hv v
hw w
(1.8)
k.
f =
x
y
z
(i) Coordenadas cilndricas: si f = f (, , z) entonces
f =
f
1 f f
+
+
k.
(1.9)
1 f 1 f
f
r+
+
.
r
r sen
r
(1.10)
GM
. El campo de
r
fuerzas generado por este potencial viene dado por F = V . De acuerdo a la expresin
GM
(1.10), dicho campo de fuerzas se escribe en coordenadas esfricas como sigue F (r) = 2 r .
r
Ejemplo 1.3.4. Volvamos al ejemplo del potencial gravitacional V =
1.3.4.
15
GM
(x2
+ y2 + z2 ) 2
(x + y + z k),
GM
r
r2
[ (Fu hv hw ) + (hu Fv hw ) +
(hu hv Fw )]
hu hv hw u
v
w
(1.11)
tiene
1
[ (Fr r 2 sen ) + (F r) +
(F r sen )].
(1.12)
div F = 2
r sen r
1
div F = [ (F ) + F + (Fz )].
16
1
[ (Fw hw )
[
(Fv hv )] +
u
(Fu hu )
(Fw hw )]
v
rot F =
hv hw v
w
hu hw w
u
1
+
[ (Fv hv )
(Fu hu )]w.
hu hv u
v
Observacin 1.3.7. Aqu se asume que el triedro u, v y w (en ese orden) est orientado de
modo que se satisface la regla de la mano derecha, i.e. u v = w, v w = u y w u = v .
La frmula anterior suele reescribirse de manera abreviada como sigue:
hu u
rot(F ) =
1
hu hv hw
hv v
hw w
,
u
v
w
Fu hu Fv hv Fw hw
(1.13)
+w
.
=u
hu u
hv v
hw w
Observacin 1.3.8. La notacin para el rotor como un determinante es muy til como regla
mnemotcnica. Sin embargo, sta debe ser aplicada directamente, evitando usar las propiedades
del determinante para factorizar las o columnas. La razn es que en general esas propiedades
no son ciertas cuando intervienen operadores diferenciales, en este caso las derivadas parciales,
junto con productos de funciones que dependen de las variables con respecto a las cuales se est
derivando, en cuyo caso el orden de los factores s puede alterar el producto.
Escribamos el rotor en coordenadas esfricas y cilndricas.
1.3.7)
r r r sen
rot(F ) = 2
r sen r
Fr rF r sen F
1
(F r sen ) (F r) r
= 2
r sen
1
Fr
1
Fr
+
(F r sen ) +
(F r)
.
r sen
r
r r
1
rot(F ) =
F F Fz
1 Fz
F Fz 1
F
F
=
+
+
(F )
k.
z
z
1.4. EJERCICIOS
1.4.
17
Ejercicios
Ejercicio 1.4.1. Dibuje las curvas de nivel de la funcin f (x, y) = x2 y 2, conocida como silla
de montar.
Ejercicio 1.4.2. Describa las lneas de fuerza del campo gravitacional:
F (r) =
GMr
GM
=
r,
3
r
r 2
r = 0.
Encuentre las supercies de nivel (equipotenciales) para el potencial gravitacional correspondiente y verique que las lneas de fuerza las intersectan perpendicularmente.
Ejercicio 1.4.3. Encuentre las lneas de ujo de los campos (y, x) y
y
, x
x2 +y 2 x2 +y 2
GM
=
r
GM
x2 + y 2 + z 2
r=0
1
((r)r 2 ).
r 2 r
r
para alguna constante K R. Concluya que todo campo central solenoidal admite un
K
+ C para ciertas constantes K y C.
potencial de la forma V (r) =
r
18
Ejercicio 1.4.8. Diremos que un campo vectorial F : R3 \{eje Z} R3 tiene simetra cilndrica
si puede escribirse en coordenadas cilndricas como
F (r) = F (),
> 0,
div F =
1
(F ).
K
,
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.
Ejercicio 1.4.9. Encuentre expresiones para el laplaciano de un campo escalar en coordenadas
cilndricas y esfricas.
1.5.
Problemas
1.5. PROBLEMAS
Problema 1.2.
19
rot
(r, t)dt =
a
b
(r, t)dt
a u
donde r =
(b) Considere el campo vectorial F (r) = g(r) expresado en coordenadas esfricas, donde
r = r y g : R R es una funcin escalar. Verique que div F = 0 y pruebe que
rot[F (tr) tr] = 2tF (tr) + t2
d
F (tr).
dt
(1.14)
(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 se pide que lo haga) que (1.14) es vlida en B.
1
Denamos el campo vectorial G(r) = 0 [F (tr) tr]dt. Usando lo anterior concluya que
rot G = F en B.
Problema 1.3. 2 Considere las ecuaciones de Euler en rgimen estacionario, en presencia de
un campo gravitacional
v v + p = g k.
(a) Demuestre la identidad vectorial
1
2
2
2
v v = (v1 + v2 + v3 ) v ( v).
2
(b) Deduzca que para el caso de un ujo irrotacional e incompresible ( constante) se satisface
la ecuacin de Bernoulli
2
2
2
(v + v2 + v3 ) + p + gz = constante.
2 1
(c) Un estanque cilndrico de radio R contiene agua hasta una altura h. En el fondo del
estanque se practica una abertura de radio << R. Suponiendo que el ujo es irrotacional, estacionario, e incompresible, demuestre que la rapidez con que sale el lquido es
1
2
20
Captulo 2
Integral de ujo y el teorema de Gauss
2.1.
Campos de normales
/
;
tu =
u u
tv =
/
.
v v
z
n
(, )
v0
tv
tu
D
u0
Un conjunto se dice conexo si no puede ser descrito como unin disjunta de dos conjuntos abiertos no vacos.
21
22
tu tv
.
tu tv
(2.1)
Los vectores tu y tv pueden no ser ortogonales, razn por la cual en general es necesario
normalizar en (2.1). Diremos que una supercie es regular si admite una parametrizacin
: D R2 R3 que es regular en todo punto (u, v) int(D), y que es regular por pedazos si se descompone en una unin nita de supercies regulares.
Denicin 2.1.1 (Campo de normales). Si S es regular y : D R2 R3 es una parametrizacin regular de S podemos calcular un campo de normales n sobre S mediante
n(u, v) :=
tu (u, v) tv (u, v)
=
tu (u, v) tv (u, v)
(u, v)
u
(u, v)
u
(u, v)
v
(u, v)
v
donde identicamos n(u, v) con la normal n((u, v)) a la supercie S en el punto (u, v).
Observacin 2.1.2. Dada una supercie regular, los vectores tangentes dependen de la parametrizacin regular especca 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
t =
t =
x
2
Para obtener el campo de normales de signo opuesto basta con intercambiar los roles de las variables u y v.
23
t =
t = ,
Notemos que si invertimos el orden de las variables y , considerando como nueva parametrizacin 3 (, ) := 1 (, ), podemos tomar ahora u = y v = para obtener como campo
de normales n = = , que resulta ser el opuesto al anterior.
r
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
t =
x
Algunas posibles parametrizaciones son:
1 (x, y) = (x, y,
h
a
1
(ra cos , ra sen , rh), r [0, h2 + a2 ], [0, 2),
h2 + a2
2 (r, ) =
24
en el vrtice, lo que es consistente con nuestra idea intuitiva de que no es posible denir de
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 vericar que en este caso los vectores
tangentes estn dados por:
+ (h/a)k
a + hk
t :=
=
a2 + h2
1 + (h/a)2
t = .
El lector observar que t = en este caso. Finalmente, como t y t resultaron ser ortogonales
2.2.
ak h
a + hk
=
.
a2 + h2
a2 + h2
Supercies orientables
Escoger una orientacin para un plano signica denir una nocin de movimiento positivo a
lo largo de las curvas cerradas, regulares y simples contenidas en dicho plano (ver el apndice A).
De hecho, dado un plano de vector normal constante dado, este ltimo dene una orientacin
que obedece a la convencin popularmente conocida como la regla de la mano derecha: se
extiende la mano derecha de modo que el pulgar quede perpendicular a los restantes dedos,
entonces, si el pulgar indica el sentido del vector normal al plano, al cerrar los otros dedos sobre
la palma de la mano se obtiene la orientacin positiva.
Por ejemplo, si consideramos el plano XY de vector normal constante e idnticamente igual
a k, entonces la regla de la mano derecha impone el escoger la orientacin positiva como aquella
obtenida al recorrer la curva en sentido antihorario (i.e. contrario a las manecillas del reloj),
tal como se ilustra en la siguiente gura:
25
localmente el vector normal permite distinguir entre las dos caras de un elemento de supercie.
n(p)
Tp (S)
p
S
r
z
26
Cuando S sea una supercie cerrada y orientable, diremos que S est orientada segn la
normal exterior si la normal apunta, para todo punto de la supercie, en direccin contraria al
volumen encerrado por la supercie, y diremos que est orientada segn la normal interior en
caso contrario.
2.3.
Supondremos que S es una supercie regular orientable (ver denicin 2.2.1), cuyo campo de
vectores normales es denotado por n. Sea adems : D R2 S una parametrizacin
regular de esta supercie 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, signica que la velocidad slo tiene una componente tangencial a la
supercie, 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 supercie S de rea dada por A, es aproximadamente
igual a
V [F ((u, v)) n]tA.
F t
v
v
u
u
Como A
V F ((u, v))
uvt,
u
v
27
cuyo lado derecho no es otra cosa que el volumen del paraleleppedo descrito por los vectores
F ((u, v))
dudv
u
v
dA =
dudv,
u
v
F dA :=
S
F n dA =
F ((u, v))
(u, v)
(u, v) dudv,
u
v
(2.2)
.
u
v
u
v
Para interpretar correctamente el valor de la integral de ujo es necesario especicar el campo
de normales n. Por ejemplo, si orientamos un casquete esfrico usando la normal exterior n = r ,
la integral de ujo corresponde al ujo neto que sale de la esfera a travs del casquete. Si este
valor fuese negativo, signica que lo que sale de la esfera no alcanza para compensar lo que
entra, y por lo tanto existe un caudal neto positivo que entra a la esfera.
Notemos que si la densidad del lquido no fuera uniforme sino que viniese dada por el campo
escalar (x, y, z), entonces el ujo masivo a travs de la supercie S est dada por
F ndA =
m =
S
(u, v)
(u, v)]dudv.
u
v
Esto no es otra cosa que la integral de ujo a travs de S orientada segn n del campo F .
28
F dA
S
Ejemplo 2.3.3. Procederemos a calcular el ujo 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
Q
x
Recordemos que el campo elctrico producido por la carga Q viene dado por
E=
Q r
,
40 r 2
para una constante universal 0 . De esta forma se obtiene el siguiente ujo elctrico :
E n dA =
=
S
Q 1
dA =
40 R2
Q 1 2
Q
R sen dd = .
2
40 R
0
Ejemplo 2.3.4. Procederemos a calcular el ujo del campo elctrico generado por una carga
Q en el origen, sobre el plano innito z = 2.
Q
40
(x, y, z)
x2 + y 2 + z 2
3,
29
E kdxdy =
20
1
x2 + y 2 + 4
3 dxdy,
3 rddr =
0
r2 + 4
(4 + r 2 )3/2 rdr =
0
Q
[(4 + r 2 )1/2 ]
0
Q
.
20
Ejemplo 2.3.5. Repitamos el ejemplo anterior pero ahora sobre el manto (sin las tapas) del
cilindro innito x2 + y 2 = a2 , z R.
z
a
x
Usaremos coordenadas cilndricas, de esta forma se tiene que n = = (cos , sen , 0) y
E=
Q r
40 r
Q + z k
.
40 z 2 + 2 3
Q
=
20
Q
=
20
Q
a + z k
)addz
(
40 a2 + z 2 3
1
1+
1
z 3
( a )2
dz
a
3 du =
20
1 + u2
1
Q
tgh( )
d =
2 ( )
cos h
20
Q
.
0
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.
30
2.4.
(2.3)
div(F )dV
donde R3 y es una supercie 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 funciones de una variable, el cual establece que para una funcin derivable f : R R se tiene
b
f (b) f (a) =
f (x)dx.
a
(2.4)
a
z
a
r0
y
x
Llamemos Si a las 6 supercies regulares asociadas a las caras de este cubo, caracterizando
cada supercie 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)
S = Q =
Si ,
i=1
(2.6)
31
F dA =
Q
F dA.
i=1 S
i
(2.7)
F k dA =
F dA =
S3
S3
F3 (x, y, z0 + a)dydx,
y0
x0
F (k) dA =
F dA =
S6
F3 (x, y, z0 )dydx.
x0
S6
y0
F dA +
S3
F dA =
S6
x0
y0
x0 +a y0 +a z0 +a
=
x0
y0
F3
(x, y, z) dzdydz.
z
z0
donde en la ltima igualdad hemos usado el Teorema Fundamental del Clculo. Repitiendo
el procedimiento anterior para el resto de las supercies Si y sumando todos los resultados
parciales se obtiene en denitiva que
F1 F2 F3
+
+
x
y
z
F dA =
Q
dV =
div(F ) dV,
(2.8)
32
Teorema 2.4.1 (Gauss). Sea R3 un abierto acotado cuya frontera es una supercie
regular por pedazos, orientada segn la normal exterior. Sea F : U R3 R3 un campo
vectorial de clase C 1 sobre un abierto U = . Entonces
F dA =
div(F )dV.
F dA =
i=1 Q
i
F dA,
(2.9)
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:
F dA =
Qi
(div F )dV,
(2.10)
Qi
2.5.
33
En esta seccin presentamos algunas aplicaciones simples que ilustran la utilizacin del
teorema de la divergencia de Gauss.
Ejemplo 2.5.1. Aplicando el teorema 2.4.1 al campo vectorial F (r) = r = (x, y, z), se obtiene la siguiente expresin para el volumen de una regin que satisface las condiciones del
enunciado de dicho resultado:
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 ujos
a travs de supercies que no necesariamente son cerradas.
A modo de ejemplo, supongamos que se desea calcular el ujo 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 gura:
z
a
Tapa
Manto
h
x
Si tapamos el cono incluyendo la tapa, entonces podemos aplicar el teorema de la divergencia
de Gauss para obtener:
Manto Tapa
div(k)dv =
k dA =
Cono
0 dv = 0.
Cono
Por lo tanto, por aditividad de la integral de ujo, se obtiene para el manto orientado segn la
normal exterior al cono que:
k dA =
Manto
Tapa
k dA =
k kdA = a2 ,
Tapa
donde usamos que el campo de normales exteriores al cono sobre la tapa est dado por n k.
34
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 ujo 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 denido como
J = T.
Entonces, el ujo de calor asociado es
=
S(0,R)
J dA =
div(J) dV =
S(0,R)
dV = 8R3 .
T dV = 6
S(0,R)
S(0,R)
Obtenemos un valor negativo, lo que es coherente con el hecho de que la temperatura decrece
hacia el origen de modo que el ujo neto de calor que sale de la esfera es negativo.
Ejemplo 2.5.4. (Ley de Gauss para el ujo elctrico). Consideremos el campo elctrico
generado por una carga puntual Q situada en el origen:
E=
Q r
,
40 r 3
r = 0.
Sea un abierto de R3 de frontera regular por pedazos orientada segn la normal exterior.
Supongamos que 0 de modo que la integral de ujo
/
E dA
est bien denida. 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.7 o bien calcular la divergencia
de E usando, por ejemplo, la expresin de este operador en coordenadas esfricas (1.12).
Si el dominio no encierra al origen, esto es, cuando 0 = entonces podemos aplicar
/
directamente el teorema 2.4.1 para concluir que
=
div(E)dV = 0.
35
satisface la hiptesis sobre el dominio de diferenciabilidad del campo requerida por el teorema
de la divergencia.
La idea para abordar el caso 0 es reducirse a calcular el ujo a travs de un casquete
esfrico donde el resultado se obtiene directamente (ver el ejemplo 2.3.3). Para esto, procedemos
como sigue: tomemos r0 > 0 sucientemente pequeo tal que B(0, r0 ) y denamos =
/
\ B(0, r0 ), de modo tal que se tenga 0 (ver la gura 2.2). Para el dominio
modicado estamos entonces en la situacin anterior, y por lo tanto se tiene por el teorema
de la divergencia que
E ndA = 0,
S0
la normal interior a la bola B(0, r0 ) es decir , lo que denotamos por S0 , o bien segn la
r
+
normal exterior r, en cuyo caso escribimos S0 . Ahora bien, sobre S0 la normal exterior al
r
Lo anterior implica que
0=
E ndA =
E ndA +
E ndA,
S0
E dA =
S0
E dA =
+
S0
Q
.
0
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).
36
2.6.
Ejercicios
1. Calcular el ujo del campo F (x, y, z) = (x, y, z) a travs del disco denido por las ecuaciones
x2 + y 2 25, z = 12,
y2
b2
z2
c2
+ +
= 1 orientado segn la normal interior y es el campo escalar
elipsoidal
(x, y, z) = (x + 1)2 + 2(y 1)2 + z 2 .
x
x2 +y 2
a travs
de la supercie lateral del cilindro de radio 1 que se encuentra entre los planos z = 1 y
z = 1.
Indicacin: Calcule el ujo total que sale del cilindro (incluyendo las tapas y usando el
teorema de la divergencia). Calcule el ujo a travs de las tapas directamente.
7. El empuje total que ejerce el agua sobre un objeto de supercie S est dado por
F dA
G=
S
con
F (x, y, z) =
2.7. PROBLEMAS
37
9. Sea el campo F (x, y, z) = (2x+ 2, 4y 4, 2z). Calcular el ujo 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 ujo 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 gura, orientado segn la normal exterior.
z
a
h
y
11. Calcule el ujo del campo vectorial F = xy 2 + yz 2 + zx2 k a travs de la supercie del
2
2
slido denido por las ecuaciones: 2 x + y 4, 0 z 5.
12. Sea F el campo vectorial dado por
F (x, y, z) =
1
x2 + y 2 z 2 2z cos(x y) .
2
Calcule el ujo 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
38
Problema 2.2.
F = + e k.
x y z
, ,
a2 b2 c2
y sea S la supercie de
al campo F .
(b) Sea D(x0 , y0, z0 ) la distancia desde el origen al plano tangente a la elipsoide en (x0 , y0 , z0 ).
Pruebe que D = 1/F n en S.
1
4
dA =
D
3
bc ac ab
+
+
a
b
c
3
4
4
abc.
3
39
Problema 2.5. 6 Supongamos que un uido est sometido a un campo de velocidades dado
(a) Calcule
S1
(b) Utilizando el teorema de la divergencia, calcule el ujo neto que pasa a travs de las
paredes de la regin .
(c) Calcule directamente el ujo a travs de S2 orientada segn la normal exterior a la esfera. 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 supercie o volumen segn
corresponda.
Problema 2.6. 7 Considere la supercie del toro de centro 0, radio mayor R y radio menor a
(a < R). Sea la porcin de la supercie del toro que se encuentra fuera de la esfera de centro
0 y radio R.
(a) Bosqueje la supercie .
(b) Calcular el ujo del campo
F (x, y, z) = x + y + z k
2.8.
Resolucin de problemas
F ((u, v)) n
dudv
u v
40
T1
L2
L1
T2
L1 : parametrizamos un rectngulo, en y = 0:
(x, z) = (x, 0, z)
a
0
b
0
x
0
b2
dx
2
xzdxdz
=
0
ab 2
)
2
Lo que signica que dado como orientamos el ujo (exteriormente), a travs de L1 esta
entrando ujo.
L2 : parametrizamos un rectngulo, en x = 0:
(y, z) = (0, y, z)
a
0
b
0
y
0
b2
dy
2
=
0
yzdydz
ab 2
)
2
Lo que signica que dado como orientamos el ujo (exteriormente), a travs de L1 esta
entrando ujo tambin.
T1 : Usamos coordenadas cilndricas:
(r, ) = r + bk
(, r) [0, ][0, a]
2
41
cos() sen() 4
a d
2
Esto pues, las coordenadas del campo en los ejes x e y se anulan al hacer con la normal,
se sigue que:
a4
=
4
sen(2)d
a4 cos(2)
(
4
2
a4
8
(, r) [0, ] [0, a]
2
r 3 cos() sen()ddr
a4
8
Pues la integral es la misma salvo un signo. Este calculo podra haberse evitado, pues
viendo los signos de ambos ujos calculados, en T1 sale ujo, mientras que en T2 entra
ujo, por lo tanto, en suma se anulan, y esto es porque en ambas supercies, 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) = a + z k
(, z) [0, ] [0, b]
2
b
0
b
2
2a z sen() cos()dzd =
0
a2 b2 sen(2)d =
a2 b2
2
lo que signica que por el Manto, sale ujo, sumando a los ujos que entran por L1 y L2 ,
se obtiene que el ujo total a travs de es cero!
42
Captulo 3
Integral de trabajo y el teorema de Stokes
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).
3.1.
Se dene el trabajo realizado por una fuerza constante F0 a lo largo de una trayectoria
rectilnea descrita por un vector desplazamiento d como
W = F0 d = F0
d cos ,
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
W
N 1
i=0
donde a = t0 < t1 < . . . < tN = b es una particin del intervalo [a, b].
43
(3.1)
44
W =
a
F (r(t))
dr
(t) dt.
dt
F dr :=
F (r(t))
dr
(t) dt,
dt
F dr =
F1 dx + F2 dy + F3 dz.
F dr,
45
Observacin 3.1.2. Es posible vericar que la integral de trabajo no depende de la parametrizacin regular r elegida, salvo por el cambio de signo que se produce cuando se considera una
parametrizacin que invierte la orientacin de la curva . Ms precisamente, si denotamos por
la misma curva pero con la orientacin opuesta, entonces se tiene:
F dr =
F dr.
Observacin 3.1.3. Una curva se dir regular por pedazos si se puede descomponer en
la unin de un nmero nito de curvas regulares = k i , donde cada par de segmentos
i=1
distintos a lo ms tiene en comn los extremos. Notemos que la integral de trabajo puede ser
trivialmente denida para una curva = k i regular por pedazos, de la manera siguiente:
i=1
k
F dr =
i=1
F dr.
Cada segmento i debe ser recorrido de manera consistente con la orientacin de la curva.
Ejemplo 3.1.4. Calculemos la integral de trabajo del campo dado por
F = (3x + 4y) + (2x + 3y 2),
y
x
t [0, 2].
W =
C
2
=
0
2
=
0
46
W =
C
2
=
0
2
=
0
8 sen t cos t dt = 0.
Consideremos ahora los dos caminos 1 y 2 que van desde P = (1, 0, 0) hasta Q = (1, 0, 4) tal
como se ilustra en la siguiente gura :
P
Sus parametrizaciones estn dadas, respectivamente, por
1 : r1 (t) = P + t(Q P ) = (1, 0, 4t), t [0, 1],
2 : r2 (t) = (cos(4t), sen(4t), 4t), t [0, 1].
Los trabajos realizados son, respectivamente:
1
W1 =
1
F dr =
16t dt = 8
0
y
W2 =
2
1
F dr
(cos(4t), sen(4t), 4t) (4 sen(4t), 4 cos(4t), 4) dt
=
0
1
16t dt = 8.
0
3.2.
47
S y supongamos que la curva cerrada S es recorrida con orientacin positiva con respecto a
la eleccin de la normal n, es decir, respetando la regla de la mano derecha (ver gura 3.2).
Entonces
F dr =
rot(F ) n dA.
S
= S
k
rot F = F =
3x + 4y 2x + 3y 2
= 2k.
F dr =
C
48
3.3.
x
y
Mdx + Ndy =
(3.2)
dxdy.
rot F = F =
M(x, y) N(x, y)
N(x, y) M(x, y)
x
y
k.
Por otro lado, si suponemos que la supercie 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
rot(F ) k dA,
F dr =
S
1
2
x dy y dx,
S
1
(xy y x) dt =
3.4.
49
Campos conservativos
Notemos que en el ejemplo 3.1.5 donde F (x, y, z) = (x, y, z), la integral de trabajo es igual
a 0 sobre la primera curva C que es cerrada, mientras que para las curvas 1 y 2 que unen
ambas a P con Q, el valor de las respectivas integrales de trabajo es el mismo. Esto no es una
coincidencia sino que se debe a que en este caso F = g, donde g : R3 R3 est dada
por g(x, y, z) = (x2 + y 2 z 2 )/2. En efecto, si es una curva regular parametrizada por
r : [a, b] R3 , entonces tenemos que
b
dr
(t) dt
dt
a
b
dr
=
g(r(t)) (t) dt
dt
a
b
d
[g(r(t))] dt = g(r(a)) g(r(b)).
=
a dt
F dr =
F (r(t))
Esta ltima cantidad depende solamente de la diferencia de valores de g en los puntos extremos
de la curva y no de la forma especca 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:
(i) El campo F es conservativo en .
(ii) Para toda curva cerrada y regular por pedazos se tiene
F dr = 0.
(iii) Para cualquier par de curvas regulares, 1 y 2 , con iguales puntos inicial y
nal, se tiene
1
F dr =
F dr.
50
(iii) (i): Comenzamos por escoger arbitrariamente un punto p0 al cual le asignaremos 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 denimos
p
g(p) :=
p0
F dr
l
m
(3.3)
g(p + h) g(p) =
[p,p+h]
(F ) dr =
F (p + th) h dt,
(3.4)
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 .
Ejemplo 3.4.2. Consideremos nuevamente el campo de fuerzas F : R3 R3 del ejemplo 3.1.4.
51
F = 2
2
x +y
x + y2
que es de clase C en el abierto conexo = {(x, y, z) R3 | x2 + y 2 > 0} = R3 \ Eje Z. Es
directo vericar que F satisface (3.4), esto es, F es irrotacional en todo R3 \ Eje Z. En efecto,
por denicin del rotor en este caso tenemos que
rot F =
pero
F2 (x, y) F1 (x, y)
k,
x
y
F2 (x, y)
(x2 + y 2) 2x2
x2 + y 2
=
= 2
x
(x2 + y 2)2
(x + y 2)2
mientras que
(x2 + y 2 ) 2y 2
x2 y 2
x2 + y 2
F1 (x, y)
=
= 2
= 2
.
y
(x2 + y 2)2
(x + y 2 )2
(x + y 2 )2
Podemos concluir que F es conservativo en todo R3 \ Eje Z? La respuesta es negativa. De
hecho, si consideramos la circunferencia C(a) de ecuacin x2 + y 2 = a2 recorrida en sentido
anti-horario, entonces
2
F dr =
C(a)
a cos
a sen
(a sen ) +
(a cos )]d =
[
2
a
a2
d = 2,
0
lo que muestra que al menos 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 supercie 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
F dr =
rot(F ) dA = 0.
S
El problema con la circunferencia C(a) es que cualquier supercie 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 supercie 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 suciente 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
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:
Todo dominio convexo es estrellado.
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 supercie orientable 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:
Proposicin 3.4.5. Sea F : R3 R3 un campo de clase C 1 . Supongamos que es
estrellado. Entonces:
F es conservativo en
rot F = 0 en .
Existen adems otros dominios que, sin ser estrellados, s permiten interpolar una supercie
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 supercie regular por trozos y orientable S R3 \ {0} tal que
S = , por lo que tambin se tiene lo siguiente:
Proposicin 3.4.6. Sea F : R3 \ {0} R3 un campo de clase C 1 . Entonces:
F es conservativo en R3 \ {0}
rot F = 0 en R3 \ {0}.
(r)dr + C,
r > 0,
3.5. EJERCICIOS
3.5.
53
Ejercicios
1. Sea el campo vectorial F (x, y) = (2x + y 2 ) + (3y 4x). Calcular la integral de trabajo
2. Una partcula se mueve a lo largo de una trayectoria sobre el manto del paraboloide
invertido de ecuacin x2 + y 2 = z de manera que la altura z y el ngulo en cilndricas
cumplen la relacin z() = e2 , 0. Considere el campo
F (x, y, z) =
2xy
2xy
+ x sen(x2 ), 2
y 2 cos(y 3), ez
2
+y
x + y2
x2
2
Indicacin:
ex cos3 (x)dx = .
5
0
3. Una partcula se desplaza sobre la esfera de centro (0, 0, 0) y radio a describiendo una
trayectoria helicoidal caracterizada por las ecuaciones r = a y = /2 (coordenadas
esfricas) con variando desde 0 hasta 2. Bosqueje esta trayectoria y calcule el trabajo
realizado por la fuerza F (x, y, z) = y + x.
4. Considere el campo
x
F (x, y, z) =
x2
y2
x2
y2
+ zk
t [, 2]
Bosqueje C = C1
C2
t [0, 1]
t [0, ]
F dr.
C3 y calcule
C
dr.
C
54
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
f g dr +
gf dr = 0.
F dA.
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)+
+y
+y
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.
15. Pruebe que el campo F (x, y, z) = (x + y) + (x y) es conservativo. Calcule el trabajo
0 2.
de F sobre la hlice () = cos + sin + k,
16. Considere la regin del plano R = [0, ]2 R2 . Se dene para n > 2 las siguientes
funciones
Mn (x, y) = xy n1 cosn (y) + ln(1 + xn )
n
Nn (x, y) = yxn1 sinn (x) + yey
(a) Calcule In =
3.6. PROBLEMAS
3.6.
55
Problemas
g rot(F ) dA =
g F dr
g F dA,
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
= a (1 cos ())
a > 0, [0, 2]
2xy 2 cos x2 y 2 +
x2
2x
2y
, 2x2 y cos x2 y 2 + 2
2+1
+y
x + y2 + 1
x2 + y 2 =
1 1
1
, , 2
x y z
56
Problema 3.4.
(a) Bosqueje la supercie denida por z 2 +x2 = 4+y 2 , y 0. Note que para y jo, la ecuacin
anterior representa una circunferencia.
(b) Bosqueje la curva C obtenida al intersectar la supercie anterior con el cilindro de ecuacin
x2 + y 2 = 4.
(c) Calcule la circulacin
C
F (, , z) = ( sin + z) +
sin + (z 3 cos ) k.
de .
1
(b) Sea F = + z k (en coordenadas cilndricas). Pruebe que rot F = 0 para > 0, pero que
sin embargo
Problema 3.6.
x
x2 y
+ 2
2 + y2)
(x
(x + y 2) 2y
F dr a lo largo de la circunferencia x2 + y 2 = 1, z = 2
plano z = 0 y que no pasa por el origen. Distinga segn si la curva encierra o no el origen.
Captulo 4
Complementos sobre divergencia y
teorema de Gauss
4.1.
cuyo dimetro es 3 y que est contenido en , al menos para todo > 0 sucientemente
pequeo. En el caso general, notemos que como consecuencia de (ii), Vol( ) 0 cuando
0. Adems, si para cada > 0 escogemos r , por (i) combinado con (ii) deducimos
que r r0 cuando 0.
En virtud primero del teorema de la divergencia de Gauss, y en segundo trmino del teorema
del valor medio para integrales mltiples, se tiene que para cada > 0:
F dA =
(4.1)
F dA = l
m
div(F )(r0 ) = l
m
57
(4.2)
4.2.
Las siguientes frmulas son del tipo integracin por partes y resultan como consecuencias
directas del teorema de la divergencia de Gauss.
Proposicin 4.2.1 (Primera frmula integral de Green). Sean f y g dos campos escalares
de clase C 1 y C 2 , respectivamente, en un abierto no vaco U R3 . Consideremos un abierto
R3 cuya supercie es cerrada, regular por pedazos y orientada segn la normal exterior
n. Supongamos que U. Entonces
f g dV =
donde
g
dA
n
f g dV,
(4.3)
g
= g n denota la derivada normal de g.
g
n
(f g gf )dV =
g
f
g
n
n
dA.
(4.4)
4.3.
59
En esta seccin veremos cmo obtener la frmula (1.11) para la divergencia en coordenadas
ortogonales, a partir de escoger apropiadamente la familia de abiertos { }>0 en (4.2).
Sea r : D R3 R3 un sistema de coordenadas ortogonales. Consideremos el vector
r0 = r(u0 , v0 , w0 ) y para cada > 0 sucientemente pequeo denamos el abierto
= {r(u, v, w) | u0 < u < u0 + , v0 < v < v0 + , w0 < w < w0 + }.
(4.5)
Es fcil ver que esta eleccin para la familia de abiertos { }>0 satisface las condiciones establecidas 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 r0 . Denamos
Fu = Fu (u, v, w) = F (r(u, v, w)) u(u, v, w),
o ms simplemente
F = Fu u + Fv v + Fw w,
donde hemos omitido las dependencias explcitas en (u, v, w) para simplicar la notacin.
Notemos que podemos descomponer la supercie en la unin de 6 supercies 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).
1
Por ejemplo, si llamamos S a la imagen va r de la cara correspondiente a u = u0 + ,
1
entonces S es la supercie parametrizada por
en cuyo caso es fcil ver que la normal exterior a la regin est dada por
n = u(u0 + , v, w),
mientras que el diferencial de rea correspondiente (ver el apndice B) es
dA = (hv hw )(u0 + , v, w).
Aqu
r r
r r
r r
/
, hv =
/
y hw =
/
u u
v v
w w
son los factores escalares asociados a cada componente del sistema de coordenadas r.
hu =
F dA =
1
S
w0
Procediendo de manera anloga con las otras 5 supercies y conservando siempre la orientacin
dada por la normal exterior al abierto en cada caso, se deduce que:
u0 + v0 +
F dA =
u0
v0
u0 + w0 +
+
u0
w0
v0 + w0 +
+
v0
w0
u0 + v0 + w0 +
=
u0
[ u (Fu hv hw ) +
(Fw hu hv )]
w
hu hv hw
w0
v0
(Fv hu hw )
v
hu hv hw dwdvdu,
Denotando
(u, v, w) =
(Fu hv hw )
u
(Fv hu hw )
v
(Fw hu hv )
w
hu hv hw
F dA = (u , v , w )
dV = (u , v , w ) Vol( ),
u0
v0
w0
[ (Fu hv hw ) + (hu Fv hw ) +
(hu hv Fw )]
hu hv hw u
v
w
4.4.
61
F = (F1 , F2 , F3 ) =
Fi ei
i=1
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
F (y) =
Fi (y)vi
Fi (y) = F (Ry), vi
i=1
div F =
i=1
Fi
=
xi
i=1
Fi
yi
i=1
Fi
=
yi
F (Ry)
, vi =
yi
i=1
i=1 j=1
F xj
, vi
xj yi
i=1
Fi
=
yi
i=1 j=1
3
i=1
Rji yi lo que
F
Rji, vi
xj
Por otro lado, los vectores vi pueden expresarse en trminos de R y la base cannica vi =
3
k=1 Rki ek por lo que
3
i=1
Fi
=
yi
Rji
i=1 j=1 k=1
F
, Rki ek =
xj
Rji Rki
j=1 k=1
i=1
F
, ek
xj
donde
jk =
1 si j = k
0 si j = k.
i=1
Fi
=
yi
jk
j=1 k=1
F
, ek =
xj
j=1
F
, ej =
xj
j=1
Fj
.
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 sucientemente 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
F dA =
(4.6)
div(F )dV.
Demostracin.
El caso x0 . Gracias al Lema 4.4.1 vemos que la frmula (4.6) es invariante bajo rotacin de los ejes. Efectuando una rotacin conveniente podemos suponer entonces que n(x0 ) =
(1, 1, 1)/ 3. Usando la denicin de supercie regular y el teorema de la funcin inversa podemos armar que existe R > 0 tal que la supercie 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
div F dV =
div F dV =
BR (x0 )
F1 F2 F3
+
+
x1
x2
x3
dV
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
F3
dV =
x3
BR (x0 )
3 (x1 ,x2 )
U3
x3
F3
dx3 dx1 dx2
x3
63
F3
dV =
x3
BR (x0 )
=
,
,1
x1 x2
x2
x1
Luego, si F se anula fuera de Br (x0 )
(0, 0, F3 ) n dS =
y deducimos que
F3
dV =
x3
y anlogamente
F2
dV =
x2
F1
dV =
x1
(0, F2 , 0) n dS.
(F1 , 0, 0) n dS.
F n dS = 0
div F =
Q
Notando que
F n dS = 0
Para x denamos
i (x)
j=1 j (x)
i (x) =
Entonces
i es C 1 en una vecindad de
i se anula fuera de BRi (xi )
para cualquier x :
m
i=1
i (x) = 1.
m
i=1
(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
i F n dS =
div(i F ) dV
Sumando
m
F n dS =
i=1
i F n dS =
div(i F ) dV
i=1
div
i F
i=1
dV =
div F dV
Captulo 5
Complementos sobre rotor y teorema de
Stokes
5.1.
n F dA,
rot(F )(r0 ) = l
m
(5.1)
1
1
1
v
( F ) dA =
n
v ( F ) dA =
n
(F v) n dA.
Vol( )
Vol( )
Vol( )
En virtud de 4.2, deducimos que la expresin del lado derecho converge a div(F v), es decir
1
l v
m
( F ) dA = div(F v).
n
(5.2)
0
Vol( )
Dado que v R3 es arbitrario, esta ltima frmula implica que el lmite existe y ms an, al
1
0 Vol( )
n F dA = div(F ) + div(F ) + div(F k) k = rot F .
l
m
Para la ltima igualdad usamos una identidad que es fcil de vericar (ver el ejercicio 1.4.5).
65
66
5.2.
1
w = vT =
2h
h 2
(F ) ddz =
1
2h
0 0
(F ) dA,
S
donde S denota el borde de la rueda (o manto del cilindro que sta forma) y vT denota la
rapidez tangencial media. Usando propiedades del producto cruz y el hecho que = w se
= F (w ) = w ( F ), lo que implica
obtiene que F
w=
1
w
22 h
( F ) dA =
1
w
22 h
( F ) dA,
n
S
w=
1
w
22 h
Ch,
1
1
( F ) dA = w
n
2
Vol(Ch, )
Ch,
( F ) dA ,
n
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
(5.3)
67
Es decir, el rotor rot(F ) coincide con la velocidad angular del ujo F en el punto (x, y, z), salvo
por el factor 1 , tal como lo habamos anunciado.
2
Ejemplo 5.2.1. Un cuerpo slido gira en torno al eje k con velocidad angular constante igual
v(x, y, z) = k (x + y + z k) = y + x
v
r
rot v = v = +
+k
x
y
z
(y + x) = 2 k = 2.
F =0
F =0
68
5.3.
Supongamos que estamos bajo las condiciones del enunciado del teorema de Stokes. En
esta seccin daremos una idea de cmo se puede demostrar este resultado apelando a la caracterizacin lmite del rotor dada por (5.1). Comenzamos por descomponer la supercie S en
pequeos cuadrados Si de rea Ai y normal ni (siguiendo la direccin dada por n) como se
muestra en la gura:
ni
S
Ai
Sea Si la curva cerrada denida como la frontera de la supercie Si , orientada de manera coherente con la normal ni . Adems, a cada una de estas supercies Si le asociamos un
S
Ai
Ai
1
hAi
n F dA.
(5.4)
Si
h
i , respectivamente, notamos que el producto ni
n
supercie en cuestin es calculada en estas tapas. Adems, para los cuatro lados restantes del
paraleleppedo i se tiene que
h
ni ( F ) = i (F n) = F ( i n) = F T ,
n
n
F dr dh.
hAi 0
Si
69
La ltima igualdad es vlida para toda altura h sucientemente pequea, por lo que al hacer
tender h a cero se inere que
rot F (ri ) ni Ai
Si
F dr.
rot F (ri ) ni Ai
Si
F dr =
F dr.
(5.5)
Notemos que en la ltima igualdad en (5.5) hemos usado que las integrales asociadas a los lados
internos de los paraleleppedos i se anulan entre s. Finalmente, se concluye notando que el
h
lado izquierdo de (5.5) converge a la integral
S
ms na.
Para que esta demostracin sea rigurosa, falta justicar que los errores en las aproximaciones
realizadas pueden hacerse arbitrariamente pequeos y por lo tanto se anulan en el lmite.
5.4.
Para obtener rot(F )(r0 ) expresado en las coordenadas dadas por r, usaremos la escritura
rot F = (rot(F ) u) + (rot(F ) v ) + (rot(F ) w)w,
u
v
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.
1
Comencemos por considerar la supercie S = {r(u0 , v, w) | v0 v v0 + , w0 w
1
w0 + }, que es exactamente la misma de la seccin 4.3, y la curva cerrada = S que
1
1
corresponde a la frontera de S . Recordemos que el campo de normales sobre la supercie S ,
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
F dr =
1
rot(F ) u dA = [rot(F ) u](r ) A(S ),
rot(F ) dA =
1
S
1
S
70
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
1
1
0 A(S )
F dr.
[rot(F ) u](r0 ) = l
(5.6)
Ahora bien, al descomponer la integral de trabajo del numerador en cuatro integrales, cada
1
una asociada a uno de los segmentos que constituyen y que son aristas de un lado de S ,
obtenemos, con algo de abuso de notacin, que
F dr =
F dr +
v0
w0
F dr +
v0 +
F (r(u0 , v, w0))
=
v0
v0
w0 +
v0 +
v0 +
r
dv +
v
w0
F dr +
w0 +
F dr
w0 +
w0 +
v0 +
v0
F dr =
w0
v0
w0 + v0 +
=
w0
=
1
S
v0
v0 + w0 +
v0
w0
(Fw hw )
(Fv hv )](u0 , v, w)dvdw
v
w
1
[ (Fw hw )
(Fv hv )] dA.
hv hw v
w
1
1
A(S )
1
S
1
[ (Fw hw )
(Fv hv )] dA.
hv hw v
w
Utilizando una vez ms el teorema del valor medio para integrales mltiples y haciendo 0
se deduce nalmente que
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
Problema 1.
0
si S es una supercie cerrada
v(x, y, z) = z + x + y k.
H2 )
rot v n dA
71
PROBLEMAS DE RECAPITULACIN
72
y
x
,
2 x2 + y 2
+y
x2
1
2
F dr.
(a) Para las siguientes parametrizaciones, bosqueje la curva correspondiente y calcule el valor
de n().
(i) (t) = (r cos(t), r sin(t)), t [0, 2].
(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 . Justique esta terminologa.
(b) Considere la curva parametrizada por (t) = (2r r cos(t), r sin(t)), t [0, 2]. Para
calcular n() pruebe que existe g : R R2 R tal que F (x, y) = g(x, y) en un
rectngulo R que contiene a la curva . Deduzca el valor de n() para toda curva contenida
en dicho rectngulo.
1
d
y
).
Ind.: Busque g de la forma g(x, y) = f ( x ) (recuerde que (arctg)(t) =
dt
1 + t2
(c) Hay alguna contradiccin entre los resultados obtenidos en las partes (a) y (b) ? Justique.
Problema 5. Sea r = (x, y, z), r = ||r|| y la supercie = {r R3 | a r b} orientada
hacia el exterior. Sean F : R3 R3 y f : R R ambas de clase C 1 tales que:
F (r) = f (r 2 )r.
(a) Vericar que
r 2 div F (r) =
d 3 2
(r f (r )).
dr
PROBLEMAS DE RECAPITULACIN
73
(c) Con la misma notacin, sea C una curva de extremos O = (0, 0, 0) y A = (0, 0, a), regular
por pedazos, recorrida desde O hasta A. Vericar que
a
1
F dr =
2
C
f (t)dt.
0
F dA para el campo
F (x, y, z) = (x, y, exp(xy)).
Problema 7.
PROBLEMAS DE RECAPITULACIN
74
Problema 9.
(a) Encuentre una parametrizacin regular de S y obtenga un campo de normales a S. Bosqueje S en un grco.
(b) Calcule el ujo a travs de S orientada segn el campo de normales obtenido en (a), para
y
el campo F (x, y, z) = x 2 + 2 2 + k.
2
x +y
Problema 10.
x +y
1
(a) Sea F : R3 el campo vectorial dado por F = + k (coordenadas cilndricas). Sea
S la porcin del casquete esfrico x2 + y 2 + z 2 = a2 que se encuentra fuera del cilindro
x2 + y 2 a2 /4. Bosqueje S y calcule el ujo de F a travs de la supercie S orientada
segn la normal exterior al cubo.
(b) Sea F : R3 el campo vectorial dado por F = cos() (coordenadas esfricas). Utilice
PROBLEMAS DE RECAPITULACIN
75
(d) Demuestre que si R3 es un abierto acotado que contiene al origen, cuya frontera
es una supercie regular a trozos y orientada segn la normal exterior, entonces
F dA = 4K 2
UdV.
u = f
u n = g
u vdV =
vgdA
vf dV.
u
dV = Vol(),
x
12
76
PROBLEMAS DE RECAPITULACIN
Parte II
Funciones de Variable Compleja
77
Captulo 6
El plano complejo
En este captulo recordaremos algunas deniciones y propiedades bsicas de los nmeros
complejos. El lector familiarizado con estos conceptos puede pasar directamente al captulo 7.
6.1.
c
d
a b
b a
c
d
ac bd
ad + bc
Es fcil vericar que (R2 , +, ) resulta ser un cuerpo conmutativo, el cual se denota simplemente 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)
Para las deniciones de espacio vectorial y de cuerpo, el lector puede ver el apunte del curso de lgebra.
No debe confundirse la operacin con el producto interno estndar, tambin conocido como producto
escalar, y que se dene como (a, b), (c, d) = ac + bd.
1
79
80
1
(z
2i
z).
b
1
a
i 2
.
z= 2
zz
a + b2
a + b2
Los nmeros complejos son muy tiles en Ingeniera Elctrica, donde el smbolo i se reserva para denotar
la corriente mientras que se usa j para el complejo (0, 1); nosotros utilizaremos i para denotar este ltimo.
3
81
Ahora bien, dados z = a + ib = 0 y w = c + id, para calcular w/z utilizamos las siguientes
identidades:
w
wz
ac + bd
ad bc
= w z 1 =
= 2
+i 2
.
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.
6.2.
|z| = zz = a2 + b2 ,
y la distancia entre dos nmeros complejos z1 , z2 C se dene como
d(z1 , z2 ) = |z1 z2 |.
Tenemos las siguientes propiedades:
z C, |z| 0, |z| = |z|, |Re(z)| |z| y |Im(z)| |z|.
|z| = 0 ssi z = 0. En trminos de la funcin distancia: d(z1 , z2 ) = 0 ssi z1 = z2 .
z1 , z2 C, |z1 z2 | = |z1 ||z2 |.
z1 , z2 C, |z1 + z2 | |z1 | + |z2 |. En trminos de la funcin distancia, se obtiene como
consecuencia la desigualdad triangular:
z1 , z2 , z3 C, d(z1 , z2 ) d(z1 , z3 ) + d(z3 , z2 ).
Observemos que |a + ib| coincide con la norma euclidiana (a, b) 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 signica 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 gura 6.1).
2. Un conjunto A C se dice cerrado si su complemento Ac = C \ A es abierto. Ejemplo: el
disco cerrado denido por
D(z0 , ) := {z C : |z z0 | }
82
z0
A
Abierto
Cerrado
6.3.
83
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 (, ]
84
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
k
z = 1, e k , e k , . . . , e
ei 3
1
4
ei 3
Captulo 7
Continuidad y derivacin
En todo lo que sigue, f : C es una funcin denida sobre un conjunto abierto C.
7.1.
Funciones continuas
Denicin 7.1.1. Diremos que f es continua en z0 si para toda sucesin (zn )n1 tal
que zn z0 se tiene que f (zn ) f (z0 ), lo que se escribe de forma compacta como
l f (z) = f (z0 ),
m
zz0
o de manera equivalente
l |f (z) f (z0 )| = 0.
m
zz0
z = x + iy,
donde las funciones1 u = u(x, y) y v = v(x, y) son a valores en R. Es directo vericar 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 denido) de funciones continuas preservan la continuidad.
Ejemplos 7.1.2.
1. Si f (z) = z 2 entonces
f (z) = x2 y 2 + i2xy,
1
85
86
de modo tal que
u(x, y) = x2 y 2
y
v(x, y) = 2xy.
Dado que u y v son continuas en R2 , f (z) = z 2 es continua en C.
2. Si f (z) = 1/z entonces
f (z) =
y
x
i 2
,
x2 + y 2
x + y2
7.2.
f (z0 ) = l
m
o(h)
= 0.
h0 h
En particular, si f es derivable en z0 entonces f es continua en z0 .
l
m
.
h
h
87
Luego
u(x0 + h, y0 ) u(x0 , y0 )
v(x0 + h, y0 ) v(x0 , y0 )
f (z) f (z0 )
=
+i
.
z z0
h
h
u
v
f (z0 + h) f (z0 )
=
(x0 , y0) + i (x0 , y0).
h0
h
x
x
f (z0 ) = l
m
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
f (z) f (z0 )
v(x0 , y0 + h) v(x0 , y0 )
u(x0 , y0 + h) u(x0 , y0 )
=
i
.
z z0
h
h
As,
v
u
f (z0 + ih) f (z0 )
=
(x0 , y0) i (x0 , y0)
h0
ih
y
y
f (z0 ) = l
m
Por unicidad del lmite en la denicin 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
v
u (x0 , y0) =
(x0 , y0 ),
x
y
(C-R)
u (x , y ) = v (x , y ),
0 0
0 0
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 sucientes 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
|f (z) f (z0 ) (a + ib)(z z0 )|
= 0.
zz0
|z z0 |
l
m
x x0
y y0
88
l
m
u(x, y)
v(x, y)
(x,y)(x0 ,y0 )
u(x0 , y0 )
v(x0 , y0 )
x x0
y y0
a b
b a
x x0
y y0
= 0,
89
3. Tomemos ahora
f (z) = z k ,
con k > 0 un entero jo. Veremos por denicin que
k1
f (z0 ) = kz0 .
En efecto,
k
k
|(z0 + h)
k
z0
k1
kz0 h|
=
l=2
k kl l
z h
l 0
k2
= |h |
j=0
k2
|h|
2
j=0
k
z k2j hj
j+2 0
k!
|z0 |k2j |h|j
(j + 2)!(k 2 j)!
k2
|h| k(k 1)
j=0
(k 2)!
|z0 |k2j |h|j
j!(k 2 j)!
k
(z0 + h)k z0
h0
k1
kz0
|h| k(k 1)(|z0 | + |h|)k2 0.
h
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.
7.3.
Reglas de derivacin:
1. Sean f, g : C dos funciones derivables en z0 y sea C, entonces la funcin
h = f + g tambin es derivable en z0 y se tiene
h (z0 ) = (f + g) (z0 ) = f (z0 ) + g (z0 ).
2. Si f, g : C son derivables en z0 entonces el producto f g es derivable en z0 y se tiene
(f g)(z0 ) = f (z0 )g(z0 ) + f (z0 )g (z0 ).
3. Si f, g : C son derivables en z0 con g(z0 ) = 0 entonces el cuociente f /g es derivable
en z0 y se tiene
90
f (z) =
es holomorfa en C \ {0} con
f (z0 ) =
k
k+1
z0
z0 = 0.
Por otra parte, es evidente que si f C con C C una constante entonces f 0. Para la
recproca se tiene:
Proposicin 7.3.1. Sea f : C C una funcin holomorfa con un conjunto abierto y
conexo. Si f 0 en entonces f es constante en .
Demostracin. Sea f = u + iv H() tal que f 0 en . Por Cauchy-Riemann, se tiene
(x, y) ,
u
v
v
u
(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 .
Diremos que una funcin holomorfa F : C es una primitiva de f : C si
z , F (z) = f (z).
Corolario 7.3.2. Sean F, G H() dos primitivas de una funcin f : C C, donde
es un abierto conexo. Entonces C C tal que z , F (z) = G(z) + C.
Demostracin. Basta aplicar la Proposicin 7.3.1 a la funcin H = F G.
7.4. EJERCICIOS
7.4.
91
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.
7.5.
Problemas
1
=
z
2
1
=
z
2
y
mediante las frmulas
z z
i
x
y
+i
x
y
f
(z).
z
f
= 0.
z
92
2f
= 0.
zz
u
1 v
r
r
1 u
=
r
r
Estas se conocen como las ecuaciones de Cauchy-Riemann en coordenadas polares. Verique
que de tenerse estas condiciones entonces
f (z) =
u
v
+i
r
r
ei , z = rei .
Captulo 8
Funciones en serie de potencias
Hemos visto que las funciones algebraicas, entendidas como sumas (nitas), productos, cuocientes 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.
8.1.
Sea (ck )k0 C una sucesin de nmeros complejos y a C un punto dado. Dado z C
denimos la suma parcial
N
SN (z) =
k=0
ck (z a)k .
Recordemos que dada una sucesin de nmeros reales (an ), se dene el lmite superior de la
sucesin como
l sup an l sup ak (0, +].
m
m
n kn
|ck |,
k=0
S (z) =
k=1
93
kck (z a)k1 .
94
k=N +1
|ck ||z|k
( k |ck ||z|)k
k=N +1
N +1
0 cuando N .
1
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 subsucesin Nk tal que
Nk
|cNk | 1/R.
Nk
|cNk | >
Demostremos ahora que la serie S(z) es derivable trmino a trmino tal como se establece
en el enunciado. Comencemos por notar que como l supk k1 k|ck | = l supk k |ck |, entonces
m
m
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(z0 + h) S(z0 )
k1
=
kck z0
h
k=1
k=2
|h|
k=2
|h|
k
(z0 + h)k z0
k1
kz0
h
ck
k=2
convergente a un M <+
= M|h| 0 cuando h 0.
95
S(z) =
k=0
ck (z a)k ,
tiene derivadas de todos los rdenes en D(a, R), lo que escribimos S C (D(a, R)), y ms
an
n N, S (n) (z) =
k=n
En particular,
k N, ck =
8.2.
S (k) (a)
.
k!
8.2.1.
La funcin exponencial
k=0
zk
.
k!
exp : C C.
k=0
(iy)k
k!
y3 y5 y7
y2 y4 y6
+
+ . . .] + i[y
+
+ . . .]
2!
4!
6!
3!
5!
7!
= cos y + i sen y.
= [1
96
exp(z1 + z2 ) =
k=0
(z1 + z2 )k
k!
1
k!
k kj j
z z =
j 1 2
j=0
k=0
kj
z1
j=0 k=j
x, y R,
j
z2
(k j)! j!
k=0 j=0
kj
j
z1
z2
(k j)! j!
= exp(z1 ) exp(z2 ).
8.2.2.
Funciones hiperblicas
Una vez denida la funcin exponencial, podemos denir las funciones coseno y seno hiperblico de una variable compleja de manera similar a como se denen las funciones hiperblicas
de una variable real.
El coseno hiperblico es la funcin holomorfa en C
cosh : C C
denida por
exp(z) + exp(z)
2
z2 z4 z6
=1+
+
+
+ ...
2!
4!
6!
= cosh(x) cos y + i senh(x) sen y.
cosh(z) =
97
denida por
exp(z) exp(z)
2
z3 z5 z7
=z+
+
+
+ ...
3!
5!
7!
= senh(x) cos y + i cosh(x) sen y.
senh(z) =
Propiedades.
cosh(z) = cosh(z) (funcin par).
senh(z) = senh(z) (funcin impar).
Ambas son 2i-peridicas.
cosh (z) = senh(z).
senh (z) = cosh(z).
cosh2 (z) senh2 (z) = 1.
cosh(z) = 0 z = ( + k)i, k Z.
2
senh(z) = 0 z = ki, k Z.
8.2.3.
Funciones trigonomtricas
Por analoga con el caso real, las funciones trigonomtricas coseno y seno de una variable
compleja se denen a partir de sus series de potencias1
El coseno es la funcin holomorfa en C
cos : C C
denida por
z2 z4 z6
+
+ ...
2!
4!
6!
exp(iz) + exp(iz)
=
2
= cosh(iz)
= cosh(y) cos x i senh(y) sen x.
cos(z) = 1
sen : C C
Las series de potencias del seno y del coseno tienen ambas radio de convergencia igual a innito.
98
denida por
z3 z5 z7
+
+ ...
3!
5!
7!
exp(iz) exp(iz)
=
2i
1
= senh(iz)
i
= cosh(y) sen x + i senh(y) cos x.
sen(z) = z
Propiedades.
cos(z) = cos(z) (funcin par).
sen(z) = sen(z) (funcin impar).
Ambas son 2-peridicas.
cos (z) = sen(z).
sen (z) = cos(z),
cos2 (z) + sen2 (z) = 1.
cos(z) = 0 z = ( + k), k Z.
2
sen(z) = 0 z = k, k Z.
8.2.4.
Funcin logaritmo
Aunque nos gustara denir la funcin logaritmo de un nmero complejo log(z) simplemente
como la funcin inversa de exp(z), hay dos inconvenientes que nos lo impiden:
1. exp(z) no es epiyectiva pues exp(z) = 0 para todo z C.
2. exp(z) no es inyectiva pues es 2i-peridica.
La primera dicultad 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 denir
log : C \ {0} C
de modo tal que se tenga la propiedad
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 =
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
denido en la seccin 6.3.
As, para cada k Z tenemos la determinacin k-sima de la funcin logaritmo logk :
C \ {0} C denida por logk (z) = ln |z| + i(arg z + 2k). La determinacin principal del
logaritmo complejo es la funcin
log : C \ {0} C
denida por
1
.
z0
En efecto,
h
1 log(1 + z0 )
log(z0 + h) log(z0 )
=
h
z0
( zh )
0
1
1
w
1
1
=
=
z0 exp(w) exp(0)
z0 exp (0)
z0
donde w = log(1 +
h
)
z0
0 cuando h 0.
1
=
(1 z)k
z
k=0
entonces
log (z) =
k=0
(1 z)k
si |z 1| < 1
si |z 1| < 1,
k=0
(1)k
(z 1)k+1
k+1
100
k=0
(1
z k
)
z0
siempre que |z z0 | < |z0 | entonces para todo z en la componente conexa por caminos del
conjunto D(z0 , |z0 |) \ R que contiene a z0 se tiene
log(z) = log(z0 ) +
k=0
8.2.5.
(1)k
(z z0 )k+1 .
k+1
(k + 1)z0
Otras funciones
senh(z)
cosh(z)
sen(z)
cos(z)
8.3. EJERCICIOS
8.3.
101
Ejercicios
c2k (z z0 )k ,
c2 (z z0 )k .
k
2. Pruebe que:
1
z2
1
z2
=1+
k=1
1
4
1
4
(1)k (k + 1)
k=1
z2 k
,
2
cuando |z 2| < 2.
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).
1
l ey sen(x + iy) = 2 [sen x + i cos x].
m
l tan(x + iy) = i.
m
4. Demostrar que
f (z) = exp(z 2 ) + cos(z)
es holomorfa en todo el plano complejo y encontrar su serie de potencias en torno a 0.
k
5. Considere la serie S(z) =
k=0 ak z con ak = 2 si k es par y ak = 1 si k es impar.
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
S(z) =
2+z
.
1 z2
z2
indicando su
(1 + z)2
102
8.4.
Problemas
(log (n))2 xn ,
n2
n
n+1
xn
Tn (z)nz n+1
.
1z
n=1
dicha serie.
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
1
(log(n + 1))2
log(n + 1)
= l sup
m
= l sup
m
2
R
(log n)
log n
n
n
== l sup
m
n
1
1 + 1/n
= 1.
= l sup
m
n
|an | = l sup
m
n
n+1
n
n+1
n2
1
= l sup 1 +
m
n
n
1
= l sup 1 +
m
n
n
n 1
= e1 .
Concluimos as que R = e.
Solucin Problema 8.2
(i) Usamos que
(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 ,
obteniendo que Sn (z) =
Tn (z)nz n+1
.
1z
n.
1
R
1
R
= l sup
m
n
1/n
= 0,
1
1
log n.
n
104
nN
nz n :
Calculemos ahora
nz n = l Sn con Sn =
m
n
nN
Tn nz n+1
1z
Notemos que
n1
Tn = z + z 2 + . . . + z n = z(1 + z + z 2 + . . . + z n1 ) = z
zi = z
i=0
(1 z n )
,
1z
Por otra parte, si 0 < |z| < 1, se obtiene aplicando lHpital lo siguiente
|z|n+1
n
= l
m
= 0.
n ln |z|
n 1/|z|n+1
l n|z|n+1 = l
m
m
y si z = 0,
l n|z|n+1 = 0.
m
Luego
nz n = l Sn =
m
n
nN
n=0
z 2
n=0
zn
,
n!
z
1
l (Tn nz n+1 ) =
m
.
n
1z
(1 z)2
para f se obtiene
(z 2 )n
=
n!
donde,
n=0
z 2n
(1)n =
n!
an z n
n=0
an =
(1) 2
n
!
2
si n es par
0 si n es impar
Captulo 9
Integral en el plano complejo
9.1.
Denicin
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}.
f (z)dz :=
f ((t))(t)dt.
f (z)dz =
a
+i
Luego
f (z)dz =
u
v
v
u
dr + i
105
dr.
106
Esto muestra que
9.2.
Propiedades y ejemplos
f (z)dz +
g(z)dz.
2. f C()
f (z)dz L() sup |f (z)|,
z
donde L() =
a
3. Si f C() admite primitiva, i.e. F H() tal que F (z) = f (z), entonces
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
f (z)dz = 0.
107
Demostracin.
1. Directo.
2. Comencemos por observar que si H(t) = U(t) + iV (t) entonces
|H(t)|dt.
V (t)dt
U(t)dt + i
H(t)dt =
a
b
i0
ei0 H(t)dt,
H(t)dt =
r0 = e
H(t)dt . Luego,
ei0 H(t)dt =
r0 = Re
a
Re[ei0 H(t)]dt
a
b
|ei0 H(t)|dt =
|Re[ei0 H(t)]|dt
|H(t)|dt,
a
donde hemos usado que |ei0 | = 1, probando as nuestra primera armacin. Utilizando
lo anterior, se obtiene
b
|(t)|dt
f (z)dz
= sup |f (z)|L().
z
F ((t))(t)dt =
f (z)dz =
d
[F ((t))]dt = F ((b)) F ((a)).
dt
(z z0 )k dz = 0 para todo k = 1.
108
1
(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:
Corolario 9.2.3. Para una serie de potencias
S(z) =
k=0
ck (z z0 )k
109
Demostracin. Basta con observar que la serie de potencias S(z) tiene como primitiva en
D(z0 , R) a la funcin
ck
F (z) =
(z z0 )k+1.
k+1
k=0
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:
sen(x2 )dx =
cos(x )dx =
.
2
(9.1)
3
(R)
/4
1
(9.2)
110
Por otra parte,
exp(iz 2 )dz =
(R)
exp(iz 2 )dz +
1
exp(iz 2 )dz +
2
exp(iz 2 )dz.
3
R
2
exp(iz )dz =
exp(ix )dx =
luego
exp(iz 2 )dz
cos(x2 )dx + i
sen(x2 )dx,
cos(x )dx + i
R
2
Tenemos
exp(iz 2 )dz =
3
luego
2
er dr,
i/4
exp(iz )dz e
1
= (
2
2
+i
2
), cuando R .
2
Finalmente
/4
exp(iz 2 )dz
2
=
0
/4
2 (cos 2+i sen 2)
eiR
= R
ei d
0
/4
2
eR
sen 2
0
/4
2 2 2
eR
/4
4R2
= e
4R
0
R2
=
[1 e ] 0, cuando R .
4R
Para la segunda desigualdad hemos usado que
[0, /2], sen 2/.
111
Por lo tanto, haciendo R en (9.2) e igualando las partes real e imaginaria, se obtiene
sen(x2 )dx =
cos(x )dx =
0
1
2
i(t)
r(t)e
a
b
1 r(t)
=
dt + i (t)dt
2i
r(t)
a
1
r(b)
ln
+ i[(b) (a)]
2i
r(a)
Ind (z0 ) =
Un ejemplo de los valores que puede tomar la indicatriz de una curva cerrada se ilustra en
la gura 9.3
0
1
1
Figura 9.3: Funcin indicatriz de una curva cerrada
112
9.3.
El teorema de Cauchy-Goursat
Una pregunta interesante es saber si un resultado similar al corolario 9.2.3 es cierto pero slo
bajo el supuesto que f es holomorfa en un dominio , sin saber a priori si es o no expresable
como una serie de potencias. Un resultado fundamental de la teora de funciones de variable
compleja establece que esto es as siempre que se asuma una propiedad adicional sobre el
dominio.
Denicin 9.3.1. Un subconjunto C abierto y conexo por caminos se dice que es simplemente conexo si todo camino cerrado contenido en encierra solamente puntos de .
Dicho de otra forma, un conjunto simplemente conexo no tiene agujeros.
Denicin 9.3.2. Un camino cerrado simple es un camino que genera dos conjuntos disjuntos
abiertos y conexos, uno acotado y el otro no acotado, y ambos conjuntos tienen al camino como
frontera.
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
f (z)dz = 0
(v) u
=
dxdy + i
x
y
D
f (z)dz =
u v
dxdy,
x y
0
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
simplicar el anlisis pues nos permite aplicar directamente el teorema de Green en el plano.
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.
1
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).
El resultado anterior puede extenderse a situaciones ms generales. Un ejemplo lo constituye
el siguiente teorema:
Teorema 9.3.5. Sea C un conjunto abierto y conexo, y consideremos
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 sucientemente 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
n
f (z)dz =
f (z)dz
j=1
D = D \
D(pj , ).
i=1
continua y nita de tales segmentos, que una el camino con 1 . Similarmente, sea L2 D
otro segmento (o cadena) rectilneo que una 1 con 2 , y as sucesivamente hasta Ln+1 uniendo
n con .
114
f (z)dz = 0 =
f (z)dz,
0 =
f (z)dz +
f (z)dz
f (z)dz +
j=1
n
f (z)dz
(j )
f (z)dz,
j=1
9.4.
Ejercicios
dz
,
+1
Im(z)dz,
|z|=1
z n dz
z2
|z|=2
|z|=1
3. Pruebe que
l
m
R
|z|=R
z
dz = 0,
3 +1
z
l
m
R
[R,R+i]
z 2 exp(z)
dz = 0
z+1
4. Sea C un camino cerrado simple recorrido en sentido antihorario y que encierra una
regin D C. Pruebe que
1
zdz.
Area(D) =
2i
9.5. PROBLEMAS
115
5. Pruebe que
9.5.
Problemas
Problema 9.1.
Problema 9.2.
|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:
1
r
1
= 2
(1 + 2
( )n cos(nt))
R2 2rR cos(t) + r 2
R r2
R
n=1
y use que
n=1
r n converge uniformemente a
r
1r
z dz, siendo :
dz
,
z2
siendo :
x2
b2
ex dx
cos(2bx)dx = e
ey sin(2by)dy = eb
ey dy
0
116
Problema 9.7.
1 b2 + x2
dx =
(1 b2 + x2 )2 + 4b2 x2
2
1
en un contorno rectangular adecuado.
1 + z2
(1
b2
x
1
1+b
dx =
ln
2 )2 + 4b2 x2
+x
4b 1 b
l R
m
R+
entonces se tiene
ei0
|f (Rei )|d = 0
f (ei0 x)dx =
(9.3)
f (x)dx.
(b) Pruebe que f (z) = exp(z 2 ) satisface (9.3) para todo 0 ]0, /4].
ex cos(x2 )dx,
Indicacin:
9.6.
sin( )
8
2 2
,
2
ex sin(x2 )dx.
cos( ) =
8
2+ 2
.
2
Resolucin de Problemas
|z|dz =
z
eit ieit dt +
0
|t|tdt = i
= i
0
117
1 (t) = t,
t [0, 1]
t [0, 1]
2 (t) = 1 + it,
3 (t) = (1 t) + i,
t [0, 1]
4 (t) = (1 t)i,
t [0, 1]
Por lo tanto:
1
2
|z| dz =
1
2
t dt +
0
1
2
(1 + t )idt
1
2
(1 + (1 t) )dt
(1 t)2 idt
=
0
(2t 2 + 2ti)dt = i 1
1
r
1
= 2
(1 + 2
( )n cos(nt))
2 2rR cos(t) + r 2
2
R
R r
R
n=1
siendo la convergencia de la serie uniforme en t [0, 2]. En efecto, observemos primero que
1
1
1
= 2
=
R2 2rR cos(t) + r 2
R rR(eit + eit ) + r 2
(R reit )(R reit )
Pero si |z| = r, por fracciones parciales, obtenemos que :
z
1
R
r2
1
=
= 2
(
+
)
(R z)(R z )
(R z)(Rz r 2 )
R r 2 R z Rz r 2
por lo que poniendo z = reit y usando la segunda parte de la indicacin, se tiene que:
r
( R )eit
1
1
1
+
)
= 2
(
r
r
R2 2rR cos t + r 2
R r 2 1 ( R )eit 1 ( R )eit
r
r
r
1
( )n eint )
( ( )n eint + ( )eit
= 2
2
R r n=0 R
R
R
n=0
1
r
r
= 2
( ( )n eint +
( )n eint )
2
R r n=0 R
R
n=1
118
r
1
(1 + 2
( )n cos(nt)).
= 2
2
R r
R
n=0
uniformemente en t [0, 2].
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|
|dz| =
|1 z|2
=
2
0
2
r
rdt = r 2
|1 reit |2
r
1 r2
(1 + 2
0
2
0
dt
= r2
(1 r cos(t))2 + r 2 sen2 (t)
r n cos(nt))dt =
n=0
2
0
r
2r 2
sen(nt) t=2
[t + 2
rn
]t=0 =
.
1 r2
n
1 r2
n=1
z dz =
=[
t3 t2
8
t4
i + ]t=2 = 10 i.
t=0
2
3
2
3
z dz =
(it)idt +
0
(t + 2i)dt
0
t2
t2
= [ ]t=2 + [ + 2it]t=4 = 10 + 8i.
t=0
2 t=0
2
Solucin Problema 9.5
(a) Por denicin:
dz
=
z2
iei(t)
dt = i
e2i(t)
2
1
e3i(t) dt = [e3i(t) ]t= =
t=0
3
3
dz
=
z2
ieit
dt = i
e2it
dt
1 2r cos(t) + r 2
2
1
e3it dt = [e3it ]t=2 =
t=
3
3
119
f (z)dz = 0
Consideremos = 1 2 3 4 donde
1 : x; x [0, R],
As, de la igualdad
f (z)dz = 0 se obtiene
b
x2
e
0
R
(R+iy)2
dx +
idy
e
0
b
(x+ib)2
e
0
Adems
+
x2
(9.4)
l
m
ey idy = 0.
dx
ex dx,
dx =
R
x2
l
m
b2
R
0
eb ex (cos(2xb) i sen(2bx))dx
e2xib e dx = l
m
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
b
R2 y 2
e cos(2yR)dy
e
0
|eR ey cos(2yR)|dy
b
R2
b
y2
R2
ey dy 0
e | cos(2yR)|dy e
b
R2
R2 y 2
e
0
e sen(2yR)dy e
Adems se tiene
b
y 2
l
m
R
0
ey dy 0.
ey dy
dy =
0
120
Igualando entonces, tanto la parte real como la imaginaria a 0 en (9.4), nalmente se obtiene:
Real:
x2
e
0
concluyendo que
eb ex cos(2xb)dx = 0,
dx
ex cos(2xb)dx = eb
ex dx.
Imaginaria:
b
b2
x2
e e
0
concluyendo que
ey dy = 0,
sen(2bx)dx
0
2
ey sen(2by)dy = eb
b
0
ey dy
Captulo 10
Frmula de Cauchy y primeras
consecuencias
10.1.
La frmula de Cauchy
El siguiente resultado, que bsicamente es una consecuencia del teorema 9.3.3 de CauchyGoursat, es fundamental para el desarrollo de la teora de funciones de variable compleja.
Teorema 10.1.1. Sea f : C C continua en y holomorfa en \ {p}. Sea r > 0 tal
que D(p, r) . Entonces, para todo z0 D(p, r) se tiene la frmula integral de Cauchy:
f (z0 ) =
1
2i
D(p,r)
f (z)
dz,
z z0
(10.1)
D(p,r)
f (z)
dz =
z z0
f (z)
dz +
D(p,) z z0
f (z)
dz.
D(z0 ,) z z0
(10.2)
La primera integral del lado derecho tiende a 0 cuando 0; en efecto, por la Proposicin
9.2.1 se tiene
f (z)
|f (z)|
dz 2 sup
2M,
zD(p,) |z z0 |
D(p,) z z0
donde M = sup{|f (z)|/|z z0 | : z D(p, )} es nito debido a la continuidad de f y a que
z0 no pertenece al conjunto cerrado D(p, ) de modo que > 0, z D(p, ), |z z0 | .
121
122
Por otra parte, para la segunda integral del lado derecho en (10.2) se obtiene
D(z0 ,)
f (z)
dz =
z z0
f (z0 + eit ) it
ie dt
eit
0
2
=
0
l
m
(10.3)
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
=
0
2
2,
y como > 0 es arbitrario, esto implica que se tiene (10.3).
Finalmente, observando que el lado izquierdo en (10.2) no depende de y haciendo 0
en esta igualdad se obtiene
f (z)
dz = 2if (z0 ),
D(p,r) z z0
lo que prueba el resultado.
10.2.
k=0
ck (z p)k ,
z D(p, r),
y ms an
ck =
1 (k)
1
f (p) =
k!
2i
D(p,r)
f (w)
dw,
(w p)k+1
123
1
2i
1
2i
k=0
k=0
El intercambio
D k=0
1
f (w)
dw =
2i
D(p,r) w z
f (w)
D(p,r)
1
2i
k=0
(z p)k
dw
(w p)k+1
f (w)
dw (z p)k
(w p)k+1
D(p,r)
ck (z p)k .
se justica como sigue
( %)
( %) =
k=0
D(p,r)
1
f (w)
zp dw
(w p) 1 wp
( %)
D k=N +1
2r sup
wD
f (w)(z p)k
(w p)k+1
k=N +1
2r sup |f (w)|
wD
2M
k=N +1
|z p|k
r k+1
k=N +1
|z p|
r
0 cuando N .
Finalmente, la igualdad f (k) (p) = k!ck es consecuencia de que la serie se puede derivar
trmino a trmino y luego evaluar en z = p de manera iterativa (ver el teorema 8.1.1 y el
corolario 8.1.2).
10.3.
Otras consecuencias
sup
zD(p,r)
|f (z)|
124
entonces
|f (k) (p)|
k 0,
k!Mr
rk
f (w)
dw
k+1
D(p,r) (w p)
de modo que:
|f (k) (p)|
|f (w)|
|dw|
k+1
D(p,r) r
k!
2
k!
=
2
|f (p + rei )|
|riei |d
r k+1
k! 1
2 r k
|f (p + rei )|d
0
k! 1
k!Mr
Mr 2 = k .
k
2 r
r
10.4. EJERCICIOS
125
hiptesis. Veamos ahora que efectivamente g es una funcin acotada bajo la condicin z C,
f (z) = 0; en efecto
g(z) =
=
1
1
=
f (z)
a0 + a1 z + . . . + an z n
1
an z n
1
b0
zn
b1
z n1
+ ...+
bn1
z
+1
donde bi = ai /an , i {0, 1, . . . , n1}. Notemos que |g(z)| 0 cuando |z| . En particular,
r > 0 tal que |z| > r |g(z)| 1. Para |z| r, notemos que g es continua de modo que
es acotada en el compacto D(0, r). Tomando M = mx{1, supzD(0,r) |g(z)|} < se tiene que
a
z C, |g(z)| M.
10.4.
Ejercicios
sen(z 2 ) + cos(z 2 )
dz,
(z 1)(z 2)
10.5.
Problemas
Problema 10.1. Pruebe que si f H(D(z0 , R)) entonces para todo r ]0, R[ se tiene
1
f (z0 ) =
2
126
log(1 + rei )d = 0,
0
y por lo tanto
/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 ).
Pruebe adems que ck es la sucesin de Fibonacci (c0 = c1 = 1, ck+2 = ck + ck+1 ).
Indicacin: puede servirle separar en fracciones parciales.
Problema 10.4.
1
2i
(z + 1)n
dz,
z k+1
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
n=0
Problema 10.5.
2n 1
= 5.
n 5n
1
dx.
1 + x4
Indicacines:
1. Para R > 0, sea D = {z C : |z| R, 0 arg(z) /2.}, y sea = D (el borde de
1
D). Pruebe que 1+z 4 dz = (1 i) 2/4. Sugerencia: Le ayudar encontrar las races de
z 4 + 1 = 0.
2. Si R = {z : |z| = R, 0 arg(z) /2}, pruebe que
1
dz
R 1+z 4
0 si R .
3. Concluya.
1
2
Control 3. Primavera 2002. Matemticas Aplicadas. Prof: Salomn Alarcn y Felipe lvarez
Control 2. Primavera 2006. Matemticas Aplicadas. Prof: Alberto Mercado
10.6.
127
Resolucin de problemas
1
dz =
z4 + 1
(z e
3i
4
)(z e
3i
4
(ze
5i
4
)(z e
1
)(ze
5i
4
)(ze
7i
4
7i
4
) ze4
dz
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
i
1
2i
(1 i)
2i
=
dz = 2i g(e 4 ) =
=
z4 + 1
( 2)( 2(1 + i))(i 2)
2 2(1 + i)
2 2
= 0.
1
4
zR z + 1
R
1
R
=
sup
=
R 0
2 [0,/2] |R4 ei4 + 1|
2(R4 1)
L(R ) sup
1
dz =
z4 + 1
R
0
1
dx +
x4 + 1
1
dz +
z4 + 1
R
0
1
(i)dy
y4 + 1
1
dx + 0 +
4 +1
x
1
(i)dy = (1 i)
4+1
y
1
dx =
4 +1
x
2
4
2(1i)
4
x4
(10.4)
cuando hacemos
1
dx
+1
128
Captulo 11
Teorema de los residuos
11.1.
Sea f (z) una funcin de variable compleja. Se dice que p C es un punto singular aislado
de f (z) si existe un radio R > 0 tal que f H(D(p, R) \ {p}) pero f no es holomorfa en p.
Ejemplo 11.1.1. El complejo p = 0 es un punto singular aislado de la funcin
f (z) =
sen z
.
z
2
Se dice que p es un punto singular evitable si, junto con ser punto singular aislado, el siguiente
lmite existe
L0 (p) = l f (z).
m
zp
Notemos que en este caso podemos extender la denicin de f a todo el disco D(p, R) de la
siguiente forma:
f (z) si z D(p, R) \ {p},
f (z) =
L0 (p) si z = p.
La funcin f as denida coincide con f en D(p, R) \ {p} y evidentemente es continua en todo
D(p, R). Como f H(D(p, R) \ {p}), por el corolario 10.2.2 se tiene f H(). Esto justica
la terminologa de punto singular evitable.
Ejemplo 11.1.2. El complejo p = 0 es un punto singular evitable de la funcin
f (z) =
sen z
,
z
z0
sen z
= 1.
z
129
130
si z = 0,
z
f (z) =
1
si z = 0.
cos z
.
z
existe y es no nulo, i.e. Lm (p) = 0. El menor m 1 con dicha propiedad se llama orden del
polo p. Diremos que p es un polo simple cuando sea un polo de orden m = 1.
Ejemplo 11.1.3. El complejo p = 0 es un polo simple de la funcin
f (z) =
pues
L1 (0) = l (z 0)
m
z0
cos z
,
z
cos z
= l cos z = cos(0) = 1.
m
z0
z
Si p es un polo de f (z) entonces p no puede ser un punto singular evitable de f (z), pues en
caso contrario se tendra
l (z p)m f (z) = l (z p)m l f (z) = 0L0 = 0,
m
m
m
zp
zp
zp
para todo entero m 1, lo que contradice la denicin 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
g(z) =
(z p)m f (z)
si z \ {p},
m
l (z p) f (z) si z = p.
m
zp
es holomorfa en todo .
131
De acuerdo al teorema 10.2.1, si r > 0 es tal que D(p, r) entonces g(z) admite una
expansin en serie de Taylor en D(p, r) y en particular se tiene
z D(p, r) \ {p},
(z p) f (z) =
k=0
ck (z p)k ,
donde
ck
g (k) (p)
=
k!
g(w)
1
dw
=
2i D(p,r) (w p)k+1
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}:
f (z) =
c0
c1
cm1
+
+ ...+
+ R(z),
m
m1
(z p)
(z p)
(z p)
donde el resto
R(z) =
k=m
(11.1)
ck (z p)km
es una funcin holomorfa en D(p, r) por tratarse de una serie de potencias usual.
El desarrollo (11.1) puede escribirse como
f (z) = cm (z p)m + . . . + c1 (z p)1 + c0 + c1 (z p) + . . .
=
k=m
ck (z p)k ,
1
2i
D(p,r)
f (w)
dw.
(w p)k+1
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 innitos trminos no nulos asociados
a potencias negativas (en lugar de slo un nmero nito como ocurre en el caso de un polo),
en cuyo caso decimos que se trata de una singularidad esencial de f (z). En este apunte, no
abordaremos mayormente el caso de singularidades esenciales.
132
g (m1) (p)
1
=
(m 1)!
2i
f (w)dw.
D(p,r)
Una expresin para Res(f, p) que es muy til en clculos especcos se obtiene al notar que
todas las derivadas de g son continuas de modo tal que, recordando que
g(z) = (z p)m f (z),
se tiene
z = p,
1
dm1
[(z p)m f (z)]
zp (m 1)! dz m1
Res(f, p) = l
m
donde
dm1
dz m1
11.2.
(11.2)
(11.3)
donde hemos usado que f coincide con f en \ {p} y que el camino no pasa por p.
f (z)dz =
siempre que se recorra en sentido antihorario. Esta propiedad explica el nombre de residuo
dado al coeciente cm1 , y puede extenderse a situaciones ms generales. Introduzcamos primero
la siguiente denicin.
11.3. EJEMPLOS
133
Res(f, pj ).
f (z)dz = 2i
(11.4)
j=1
Demostracin. Comencemos por notar que si bien P puede ser innito, sabemos que D es
acotado, y como P no tiene puntos de acumulacin en se sigue que P D es nito. Ahora
bien, de acuerdo con el teorema 9.3.5, para > 0 pequeo se tiene
n
f (z)dz =
f (z)dz,
j=1
j (t) = pj + eit , 0 t 2.
En torno a cada polo pj la funcin f admite un desarrollo del tipo (11.1) de modo tal que
f (z)dz =
= cj
1
cj j (z pj )mj + . . . + cj (z pj )1 + Rj (z) dz
m
1
1
dz
z pj
= 2i Res(f, pj ),
lo que prueba el resultado.
11.3.
Ejemplos
Una primera regla de clculo sencilla para evaluar el residuo de una funcin de la forma
f (z) =
g(z)
h(z)
g(z)
,p
h(z)
g(p)
.
h (p)
(11.5)
134
Ejemplo 11.3.1. Calcular:
D(0,2)
1
dz.
1 + z2
1
1
=
2
1+z
(z + i)(z i)
p2 = i,
1
,
2i
y
Res(f, i) =
1
.
2i
Luego
D(0,2)
1
1
1
= 0.
dz = 2i
2
1+z
2i 2i
D(i,1)
1
1
= .
dz = 2i
2
1+z
2i
2
Antes de ver otro ejemplo, demostremos el siguiente resultado que es bastante til para el
clculo de polos y residuos.
11.3. EJEMPLOS
135
g (k) (p)
g (n) (p)
g (n+1) (p)
(z p)k =
(z p)n +
(z p)n+1 + . . .
k!
n!
(n + 1)!
kn
Luego
f (z)
= l
m
l
m
zp g(z)
zp
El denominador tiende hacia
k < n, y en tal caso tiende a
g (n) (p)
.
n!
f (n) (p)
,
n!
f (k) (p)
(z
k!
p)kn
k=0
(n+1) (p)
g (n) (p)
+ g (n+1)! (z
n!
p) + . . .
dz
,
z sen z
i
1
136
Solucin La funcin
1
z sen z
tiene como candidatos a ser polos todos los puntos del tipo pk = k, k Z.
f (z) =
z
1
= l
m
= 1,
z0 sen z
z0 cos z
l z 2 f (z) = l
m
m
z0
1
sen z
no existe. Si k = 0 entonces pk no pertenece a la regin encerrada por , y por lo tanto estos
puntos no son relevantes para el clculo de la integral.
l zf (z) = l
m
m
z0
z0
Residuo:
1 d1 2
d
z
(z f (z)) = l
m
1
z0 1! dz
z0 dz
sen z
cos z cos z + z sen z
sen z z cos z
= l
m
= 0.
= l
m
z0
z0
sen2 z
2 sen z cos z
Res(f, 0) = l
m
Luego
dz
= 0.
z sen z
Notemos que en este caso el residuo result ser 0, lo que no es posible cuando el polo es simple.
2
Ejemplo 11.3.4. Calcular
z3
dz,
e3iz 3eiz + 2
11.3. EJEMPLOS
137
(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.
z3
(3iz)2
2!
+ (3iz) + . . .) 3(1 + iz +
3!
z3
=
3
3
( 9 z 2 27 iz 3 + . . .) ( 2 z 2 iz + . . .)
2
6
2
z3
z0
0 p = 0 no es polo.
=
2 + o(z 2 )
3z
(1 + (3iz) +
p = i ln 2:
f (z) =
luego
(iz)2
2!
(iz)3
3!
+ . . .) + 2
z3
z3
1
= iz
,
iz 1)2 (eiz + 2)
2 eiz eip
(e
(e 1)
z3
p3
p3 1
i( i ln 2)3
zp
1
= ip
=
=
= 0,
zp (eiz 1)2 eiz eip
(e 1)2 ieip
9 i(2)
18
l
m
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
Res(f, p) = l (z p)f (z) =
m
zp
y en consecuencia
i( i ln 2)3
,
18
f (z)dz = ( i ln 2)3 .
9
D(0,R)
2
138
1
2i
f (z)
dz = nmero total de ceros de f en D,
f (z)
f ()
1
1
dz =
z
2i
1
d
1
f ((t)) (t)dt =
f ((t))
dt
2i
f (z)
dz.
f (z)
f (z)
f (z)
m
f (z)
m(z p)m1 f0 (z) + (z p)m f0 (z)
=
+ 0 ,
(z p)m f0 (z)
z p f0 (z)
11.4.
g(z)dz =
pD
Series de Laurent
k=
ck (z a)k
(11.6)
139
P (z) =
k=0
ck (z a) ,
N(z) =
1
k=
ck (z a)k .
Observemos que P (z) es una serie de potencias y que N(z) se puede reescribir de la siguiente
manera
N(z) =
k=1
ck ((z a)1 )k ,
Dado z = a diremos que la serie de Laurent (11.6) converge si P (z) y N(z) convergen.
|ck |,
y
R2 = 1/ l sup
m
k= ck (z
|ck |
A = {z C : R1 < |z a| < R2 }
y dene una funcin holomorfa en A.
Demostracin. Dado z C recordemos que P (z) = ck (z a)k converge si |z a| < R2 y
k=0
diverge si |z a| > R2 . Adems, si R2 > 0 entonces P (z) es holomorfa en {z C : |z a| < R2 }.
Por otro lado observemos que dado w C, g(w) =
|w| < 1/ l sup
m
k
k
k=1 ck w
converge si
|ck |
Para concluir notemos que si R1 < entonces N(z) es una funcin holomorfa en {z C :
|z a| > R1 }, ya que es la composicin de g con la funcin z (z a)1 . Luego L(z) es
holomorfa en A.
Observacin 11.4.2. Si R1 R2 no se puede garantizar la convergencia de la serie de Laurent
para ningn z C.
Como en el caso de las series de potencias, si |z a| = R1 o |z a| = R2 puede o no haber
convergencia de la serie de Laurent, lo que depender de cada caso particular.
140
f (z) =
k=
ck (z a)k ,
z A.
Ms an,
ck =
1
2i
D(a,r)
f (w)
dw,
(w a)k+1
para cualquier r tal que R1 < r < R2 , donde D(a, r) est parametrizado en sentido antihorario.
Demostracin. Primero observemos que
1
2i
D(a,r)
f (w)
dw
(w a)k+1
r2
r1
1
2
Figura 11.4: crculos de radio r1 < r2
Consideremos ahora un punto z A cualquiera y escojamos r1 y r2 de modo que
R1 < r1 < |z a| < r2 < R2 .
Por la frmula de Cauchy en el camino de la gura 11.4 obtenemos
f (z) =
1
2i
f (w)
1
dw
wz
2i
f (w)
dw.
wz
141
f (w)
1
dw =
wz
2i
1
=
2i
=
=
k=0
k=0
f (w)
1
za dw
w a 1 wa
f (w)
(z a)k
dw
(w a)k+1
k=0
1
2i
f (w)
dw (z a)k
(w a)k+1
ck (z a)k ,
donde el intercambio
se justica exactamente del mismo modo que en la demos=
tracin del Teorema 10.2.1, utilizando que para w 2
za
|z a|
=
< 1.
wa
r2
f (w)
1
dw =
wz
2i
1
=
2i
1
=
2i
=
=
1 k=0
k=1
k=1
f (w)
f (w)
k=1
1
2i
(w a)k
dw
(z a)k+1
(w a)k1
dw
(z a)k
f (w)
dw (z a)k
(w a)k+1
ck (z a)k ,
se justica como sigue
( %) =
k=0
k=0
f (w)
( %)
1
1
dw
z a 1 wa
za
( %)
1 k=N +1
2r1 sup
w1
k=N +1
f (w)(w a)k1
(z a)k
2M
k=N +1
k1
r1
|z a|k
k=N +1
r1
|z a|
142
donde M = supw1 |f (w)|. Notemos que
k=N +1
r1
|z a|
0 cuando N ,
ak con a = r1 /|z a| < 1.
Observacin 11.4.4. El teorema anterior arma que f se puede representar por una serie de
Laurent en el anillo A. Notemos que la frmula explcita para los coecientes en trminos de f
garantiza que esta representacin es nica.
Revisemos el concepto de singularidad aislada de una funcin f (z). Supongamos p C es
un punto singular aislado de f (z), es decir, existe un radio R > 0 tal que f H(D(p, R) \ {p})
pero f no es holomorfa en p. Gracias al Teorema 11.4.3 deducimos que
f (z) =
k=
ck (z p)k ,
z D(p, R) \ {p},
(1/z)n
1/z
e =
n!
n=0
Entonces la serie de Laurent de f en torno a 0 es
f (z) =
ck z k ,
k=
donde
ck =
0
1
(k)!
si k > 0
si k 0.
Observacin 11.4.6. Los coecientes del desarrollo en serie de Laurent de una funcin holomorfa dependen crucialmente de cul es el anillo con respecto al cual se hace la expansin.
Incluso anillos distintos pero centrados en el mismo punto producen series de Laurent diferentes.
11.5. EJERCICIOS
143
1
Ejemplo 11.4.7. Sea f (z) = zi y encontremos su serie de Laurent en los anillos A1 = {z
1 i 1 z1
i1
1
=
1i
k=0
k=0
z1
i1
(z 1)k
,
(i 1)k+1
Si |z 1| > 2
1
1
1
1
=
=
1i
zi
z1+1i
z 1 1 + z1
1
1
=
i1
z 1 1 z1
1
=
z1
k=0
k=0
i1
z1
(i 1)k
,
(z 1)k+1
11.5.
Ejercicios
1
z 4 +z 2
(ii) cotanz,
(iii) cosecz,
(iv)
exp(
1
z2
z1
144
cos z
z3
(Resp.: 0).
(1e2z )
c) f (z) =
d ) f (z) =
z2
(1z 4 )
(Resp.:
z4
ez
2(z1)2
8i
).
3
(Resp.: ie).
(Resp.: i ).
2
1
z 2 +9
1
z 2 +9
en {z C : |z 4| < 5},
en {z C : |z 4| > 5},
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,
2
(iv) f (z) = z 5 e1/z , z0 = 0,
(v) f (z) = cos(z)/(z )3 , z0 = ,
4
1
z
(vii) f (z) = sen(z)/(z 4 )3 , z0 = /4.
(vi) f (z) = z+2i , z0 = 2i,
10. Muestre que si f es holomorfa en z = 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:
exp(1/z 2 )
1
(ii) z1 , sobre z = 0,
(i) z 4 +z 2 , sobre z = 0,
(iii)
1
en:
z(z 1)(z 2)
1
z
en a = 0.
1
,
z 2 4
sobre z = 2.
11.6. PROBLEMAS
d ) f (z) =
145
1
en:
z(z 2 + 1)
z2
1
en a = 0.
+ z3
1
1z
en:
(ii) 1 < |z|
(iii) |z + 1| < 2
13. Clasique las singularidades de las siguientes funciones. Se ale cules son singularidades
n
aisladas, y de stas indique los polos, determine el orden y calcule el residuo en cada uno.
a)
c)
e)
f)
11.6.
z2
.
f (z) = 4
(z + 16)2
z
..
f (z) = z
e z+1
1
.
f (z) =
cos(1/z)
z2 2
f (z) =
.
sen2 (z)
ez
b) f (z) =
z1
d) f (z) =
z 2 (sen z)
Problemas
g(z)
h(z)
y asuma que f (z) tiene un polo en p C con g(z) y h(z) funciones holomorfas en una vecindad
de p. Suponga que
g(p) = 0, h(p) = h (p) = 0, h (p) = 0.
Verique que necesariamente f (z) tiene un polo de orden dos en p y pruebe que
Res(f, p) =
.
h (p)
3 h (p)2
2z+3
.
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.
146
Problema 11.3. Calcule
2
0
1
Indicacin: integre la funcin f (z) = [z n + 1/z n ][ za
1
]
z1/a
(iii) 0 |z 1| < 2.
Problema 11.5.
Encuentre la serie de Laurent de las funciones
(i) f (z) =
(ii) f (z) =
1
(z 2 +3)2 /(z)
1
z 2 (1z)
N+
Problema 11.8.
1
2
CN
1
2
(1i),
N+
1
2
(1i),
N+
n=1
1
.
n2
eiz
, donde z1 , z2 C \ {0}
z(z z1 )2 (z z2 )2
(i) Identique los polos de f con sus respectivos rdenes. Pruebe que
Res(f ; 0) =
1
,
2 2
z1 z2
Res(f ; z1 ) =
eiz1
z1 (z1 z2 )2
3z1 z2
z1 (z1 z2 )
Problema 11.9.
1
2
(1+
11.6. PROBLEMAS
Problema 11.10.
147
f (z)
dz = C P
f (z)
de los anillos:
a) A1 = {z C | 0 < |z| < 1}
b) A2 = {z C | |z| > 1}
z2
1
en cada uno
+ z3
zf (z)
dz
f (z)
1
2i
D(a,R)
h
h (z0 )
2(h (z0 ))2
148
11.7.
Resolucin de problemas
zk =
(ii) Para |z| > 1, f (z) puede ser escrita de modo equivalente como f (z) = z12 (11 1 ) .
z2
1 k
z
1
1
1
1
1
=
=
z1 =
(1 + z)
(2 + (z 1))
2 1 ( 2 )
2
k0
1
(2+(z1)
puede ser
(1)k (z 1)k
2k
1
2(1 z)
(1)k
k0
(z 1)k
(z 1)k1
(z 1)k
=
(1)k
=
(1)k k+2
2k
2k+1
2
k0
k1
9
z
149
1
1z
f (z) =
zk =
1
1
+ + 1 + z + z2 + z3 +
2
z
z
Si |z 1| < 1.
1 1
z2 z 1
1
1
=
(z 1 + 1)2 z 1
f (z) =
pero
1
d
=
2
z
dz
=
d
dz
d
dz
1
z
1
1 (1 z)
k0
d
dz
(1)k (z 1)k =
k0
k0
(1 z)k
Por lo tanto
f (z) =
1
z1
k0
k0
k2
k=
ck (z a)k
|ck |,
y
R2 = 1/ l sup
m
k
k= ck (z
|ck |
A = {z C : R1 < |z a| < R2 }.
150
(i) Notemos que
z2 z4 z6
1
cos z
= 5 1
+
+ ...
z5
z
2!
4!
6!
cos z
1
1
1
z
z3
z5
=
+
+
+ ...
z5
z 5 2!z 3 4!z 6! 8! 10!
Claramente se tiene que R1 = 0 y R2 = , luego, A = C \ {0}.
1
1
1
+
+
+ ...
2
4
1!z
2!z
3!z 6
1
1
1
+
+ ...
= z+ +
z 2!z 3 3!z 5
Luego se deduce que R2 = y R1 = 0.
1
z2
z exp
= z 1+
1
1 1
= 3
4
z
z 1z
1
zk =
= 3
z k=0
z k3
k=0
1
1
1
= 3 + 2 + + 1 + z + z 2 + ...
z
z
z
donde R1 = 0 y R2 = 1, lo que implica que A = D(0, 1) \ {0}.
Para |z| > 1:
z3
1
1
= 4
4
z
z
1
= 4
z
1
z
1
1 1
= 4
z 1 1
1
z
k=0
1
zk
k=0
1
z k+4
1
1
1
= 4 5 6 ...
z
z
z
donde R1 = 1 y R2 = , con A = C \ D(0, 1).
Solucin Problema 11.7
(i) Para f (z) =
cos(z)
,
z 2 sen(z)
iz
2iz
eiz eiz
2i
= 0.
Esto sucede si e = e
entonces |e | = 1. Si z = x + iy esto quiere decir que
|e2i(x+iy) | = |e2ix | |e2y | = 1.
Si y = 0, no se cumple la igualdad, por lo que necesariamente Im (z) = 0 para todo
z que es raz.
Por otro lado e2ix = 0 si y slo si x Z, por lo que f (z) es holomorfa en C \ Z.
Luego, los polos son los enteros, todos de orden 1, excepto z = 0, que posee multiplicidad 3.
151
(ii) Como son funciones (no polinomios), vemos el lmite de (z p0 ) f (z), donde p0 es
un polo de multiplicidad .
Para z = 0 se tiene que
cos z
cos z
(z 0)3 = l z
m
,
z0 z 2 sin z
z0
sen z
l
m
pero l cos z = 1 y
m
z0
sen z
d
sen z sen 0
= l
m
=
sin(z) |z=0 = cos z |z=0 = ,
z0
z0
z
z0
dz
l
m
obteniendo
l z
m
z0
cos z
= 1 = z 3 f (z) |z=0
sen z
Para p0 = n Z se tiene
l f (z)(z n) = l
m
m
zn
zn
cos(z)
cos z
(z n)
(z n) = l
m
l
m
,
2 sen z
2
zn
zn sen(z)
z
z
l f (z)(z n) =
m
zn
Luego
Res (f, n) =
1
,
n2
1 d2
1 d2 cotg(z) 3
(f (z) z 3 ) = l
m
z
z0 2! dz 2
z0 2 dz 2
z2
d
= l
m (cotg(z) cosec2 (z) z)
z0 dz
m
= l [2 cosec2 (z) + 2 cosec2 (z) cotg(z) 2 z]
2 z0
cos(z) z
1
= 2 l
m
3 (z)
2 (z)
z0
sen
sen
z cos z sen(z)
= 2 l
m
z0
sen3 (z)
2 z sen z + cos z cos z
= 2 l
m
z0
3 sen2 (z) cos(z)
2
2
z
1
=
=
l
m
.
3 z0 sen(z) cos(z)
3
Res (f, 0) = l
m
152
CN
2
f (z)dz = 2i
+
3
n=N
nN
n=
n2
2
1
= 2
+2
3
n2
n=1
CN
f (z)dz
pues |z| N +
se obtiene
1
2
cotg(z)
dz =
z2
f (z)dz M
, y como
CN
l
m
CN
CN
1
M
dz
|z|2
N+1
2
CN
m
f (z)dz l
8M
= 0.
1
N+2
2
1
l 2i + 2
m
N
3
n2
n=1
n=1
1
n2
|dz|,
Es decir
| cotg(z)|
dz
|z|2
z CN , N N, luego
= 0,
2
.
6
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)
1
2
153
g (z)
es holomorfa en p. Por lo tanto en el desarrollo de f /f
g(z)
k
, por lo que p es polo de orden 1 de f /f, y
en p el nico trmino singular es
zp
su residuo es el coeciente de dicho trmino, es decir k.
Adems se tiene que
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) = 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:
1
2i
f (z)
dz =
f (z)
Res(f /f, p)
p
polo de
f /f
k(p) +
p
cero def
(k(p))
p
polo de
=CP
(Donde k(p) denota el orden del polo o del cero p, segn corresponda).
Solucin Problema 11.11
a)
f (z) =
1
z 2 (1+z)
1
z 2 (1(z))
1
z2
n
n=0 (z)
n2
n=0 (z)
1
z2
1
z + 1 z + z2 z3 . . .
cn = 0 n 3
c2 = 1
c1 = 1
cn = (1)n n N
154
Y los radios de convergencia son
R1 = l sup
m
|ck | = 0
R2 = 1/ l sup
m
|ck | = 1
b)
f (z) =
1
z 2 (1+z)
1
1
z 3 ( z +1)
1 n
n=0 ( z )
1
z3
n
n3
n=0 (1) (z)
1
z3
1
z4
1
z5
1
z6
1
z7
...
cn = (1)n+1 n 3
c2 = 0
c1 = 0
cn = 0 n N
Y los radios de convergencia son
R1 = l sup
m
|ck | = 1
R2 = 1/ l sup
m
|ck | = 1/0 =
ak z k
para todo z A.
Entonces se tiene
n
z f (z) =
ak z
k+n
akn z k .
(11.7)
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 n f (z)dz = 2iRes(z n f (z), 0)
(11.8)
(11.9)
Por el teorema de series de Laurent, se tiene que Res(z n f (z), 0) es igual al coeciente 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
f (z) =
ak z k
156
Captulo 12
Evaluacin de integrales va residuos
12.1.
p(cos , sen )
d,
q(cos , sen )
(12.1)
dz = ei id.
Notando que
z z 1
ei ei
=
2i
2i
ei + ei
z + z 1
cos =
=
2
2
sen =
I=
d
.
2 + sen
157
158
dz
iz
1
+ zz
2i
La fraccin
f (z) =
z2
2dz
.
2
|z|=1 z + 4iz 1
2
+ 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)| = 2
3>1
3 < 1,
zz2
zz2 z + i(2 +
3)
2
2
=
=
i(2 3) + i(2 + 3)
2i 3
i
=
3
Res(f, z2 ) =
l (z z2 )f (z) = l
m
m
I=
0
i
d
2
= 2i Res(f, z2 ) = 2i = .
2 + sen
3
3
2
sen n =
159
I=
0
cos 2
d.
5 4 sen
z 2 +z 2
2
2
(z z 1 )
i
dz
=
iz
|z|=1
(z 4 + 1)dz
2iz 2 (2iz 2 + 5z 2i)
5 +
z2 =
25 4 (2i) (2i)
5 + 25 16
i
=
=
4i
4i
2
25 4 (2i) (2i)
5 25 16
=
= 2i
4i
4i
1
Como |z1 | = 2 < 1 y |z2 | = 2 > 1, slo nos interesa el residuo R1 asociado a z1 .
Veamos cunto vale R1 :
i
z4 + 1
R1 = l (z ) 2
m
i
2 2iz (2iz 2 + 5z 2i)
z 2
= l
m
i
z 2
=
=
z4 + 1
2iz 2 2i(z 2i)
i
( 2 )4 + 1
i
i
2i( 2 )2 2i( 2 2i)
17
16
3i
2
17i
17 2
=
.
16 3i
24
I=
0
cos 2
d = 2i(R1 ) = 2i
5 4 sen
17i
24
17
.
12
2
160
12.2.
En esta seccin nos interesaremos en el problema de evaluar integrales impropias del tipo
R
f (x)dx = l
m
R
R
f (x)dx,
H = {z C : Im(z) 0},
cuyo interior est dado por
Int(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 nito de polos en Int(H), es decir, Int(H) P es un conjunto nito.
(c) Existen constantes K 0, M 0 y p > 1 tales que
|f (z)|
K
,
|z|p
z H, |z| M.
Entonces
f (x)dx = 2i
Res(f, z).
zInt(H)P
zCR
K
K
R = p1 .
i |p
|Re
R
161
CR
R
CR
f (z)dz = 0.
Por otra parte, aplicando el teorema de los residuos 11.2.2 al camino cerrado y simple dado por
R = [R, R] CR para R sucientemente grande de modo tal que R encierre todos los polos
de f en Int(H), se deduce
R
2i
Res(f, z) =
zInt(H)P
f (x)dx +
f (z)dz =
R
CR
Res(f, z) = l
m
R
f (x)dx +
f (z)dz.
CR
f (z)dz =
f (x)dx,
p(x)
dx = 2i
q(x)
Res
q(z)=0, Im(z)>0
p
,z
q
162
Demostracin. Sea la funcin racional denida 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 vericar que f satisface la condicin de decaimiento
(c). Para ver que esto es cierto, denotemos n = grado(p) y m = grado(q) y escribamos
a0
z n ( z n + . . . + an1 + an )
a0 + a1 z + . . . + an z n
p(z)
z
=
=
0
q(z)
b0 + b1 z + . . . + bm z m
z m ( zbm + . . . + bm1 + bm )
z
a0
0
m
Pero l |z| an + an1 + . . . + z n = |an |, y similarmente l |z| bm + bm1 + . . . + zbm =
m
z
z
|bm |. Luego, para |z| sucientemente grande, digamos |z| M para una constante M > 0
a0
0
apropiada, se tiene an + an1 + . . . + z n 2|an | y bm + bm1 + . . . + zbm 1 |bm |, de donde
z
z
2
se deduce que
4|an | 1
p(z)
q(z)
|bm | |z|r
K
x2
dx.
1 + x4
x2
1 + x4
z2
x2
dx = 2i Res
, ei/4
1 + x4
1 + z4
+ 2i Res
z2
, ei3/4 .
1 + z4
En este caso es fcil ver que f (z) = (z 2 /1 + z 4 ) tiene polos simples en ei/4 y ei3/4 de modo
que los residuos pueden calcularse mediante la frmula (11.5) para obtener:
Res
z2
, ei/4
1 + z4
ei2/4
1
= ei/4 ,
i3/4
4e
4
z2
, ei3/4
4
1+z
163
1
= ei3/4
4
En consecuencia
2i
x2
dx =
[cos(/4) + cos(3/4) i(sen(/4) + sen(3/4))]
4
1+x
4
1
1
1
2i 1
i( + ) = .
4
2
2
2
2
2
x2
dx = .
4
1+x
2 2
2
Para estudiar qu ocurre cuando el integrando f (z) admite polos reales, necesitamos el
siguiente resultado preliminar.
Proposicin 12.2.4. Sea f meromorfa en un abierto y a un polo simple de f . Sea
C,1,2 la parametrizacin del arco de circunferencia de radio > 0 centrado en a cuyos lmites
son los ngulos 1 y 2 , es decir
C,1 ,2 () = a + ei ,
[1 , 2 ],
C,1 ,2
2
a
C,
1 ,2
164
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
c1
f (z) =
+
za
k=0
ck (z a)k ,
|z a| < ,
f1 (z)
para algn radio > 0 sucientemente pequeo y algunos coecientes (ck ) C. Para 0 < < ,
se tiene
2
f (z)dz = c1
C,1 ,2
1
iei d +
ei
f1 (z)dz
C,1 ,2
= 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.
Teorema 12.2.5. Sea f : C C una funcin meromorfa en C y denotemos por P el conjunto
de los polos de f . Supongamos que:
(a) f admite un nmero nito de polos reales simples, es decir,
R P = {a1 , . . . , as }
con aj polo simple de f .
(b) f admite un nmero nito de polos en Int(H), es decir, Int(H) P es un conjunto nito.
(c) Existen constantes K 0, M 0 y p > 1 tales que
|f (z)|
Entonces
K
,
|z|p
z H, |z| M.
f (x)dx = 2i
Res(f, z) + i
zInt(H)P
Res(f, aj ).
j=1
f (x)dx +
I(R,)
f (z)dz +
j=1
Cj ()
f (z)dz = 2i
CR
Res(f, z),
zInt(H)P
(12.3)
165
CR
C1 () C2 ()
R a1
Cs ()
a2
as
I(R, ) = [R, R] \
]aj , aj + [,
j=1
0
Cj ()
f (z)dz = i Res(f, aj ),
R
CR
f (z)dz = 0.
f (x)dx i
Res(f, aj ) + 0 = 2i
j=1
Res(f, z),
zInt(H)P
p(x)
dx = 2i
q(x)
Res
q(z)=0, Im(z)>0
p
,z
q
+ i
Res
q(a)=0, aR
p
,a .
q
166
o bien
para s > 0 en general no es posible aplicar directamente los resultados anteriores a las funciones 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 guras 12.1 y 12.3),
divergen a y en consecuencia el trmino esy si s > 0 crece exponencialmente.
Luego, para que f (z) cos sz satisfaga la condicin de decaimiento, la funcin f (z) debe decaer
a 0 ms rpido que una exponencial, lo que deja fuera a todas las funciones racionales que se
obtienen como cuocientes de polinomios.
Notemos que este inconveniente es consecuencia del trmino eisz que aparece en cos sz,
pues el otro trmino eisz = esy+isx es muy favorable ya que decae exponencialmente a 0
cuando y .
Por otra parte, si en lugar de considerar f (z) cos sz (resp. f (z) sen sz), tomamos
f (z)eisz ,
que para una gran variedad de funciones f (z) s satisface la condicin de decaimiento necesaria
para que la integral de f (z)eisz sobre CR tienda a 0 gracias al buen comportamiento de eisz ,
entonces podemos calcular
f (x)eisx dx,
f (x)e
dx =
167
K
,
|z|p
z H, |z| M.
R
CR
f (z)eisz dz = 0,
(12.4)
f (x)eisx dx = 2i
isz
f (z)e dz =
0
CR
|eisRe |
K
Rd
Rp
KR
Rp
esR sen d =
2KR
Rp
sen
2
,
esR sen d.
0
0 , y por lo tanto
2
f (z)eisz dz
CR
2KR
Rp
2sR
2KR 2sR 2
=
e
Rp 2sR
0
2KR
1 esR
=
Rp 2sR
K
.
sRp
Como p > 0, se deduce (12.4).
168
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 correspondiente 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
p(x) isx
e dx = 2i
q(x)
Res
q(w)=0, Im(w)>0
p(z) isz
e ,w .
q(z)
cos sx
dx, a > 0.
x2 + a2
p(z) isz
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
h(x)dx =
x2
1
eisx dx
+ a2
= 2i Res(h, ai) = 2i
esa
= esa ,
2ai
a
pues
Res(h, ai) =
eisia
esa
=
.
2ai
2ai
1
x
1
dx = arc tg
2 + a2
x
a
a
.
a
169
eisx
dx = esa .
2 + a2
x
a
Por lo tanto
cos sx
dx = esa
2 + a2
x
a
y adems
sen sx
dx = 0.
x2 + a2
Notemos que esta ltima identidad es inmediata pues se trata del valor principal de una integral
impropia de a de un integrando dado por una funcin impar.
2
Para nalizar, enunciemos los resultados anlogos al teorema 12.2.5 y al corolario 12.2.6:
Teorema 12.2.11. Sea f : C C una funcin meromorfa en C y denotemos por P el conjunto
de los polos de f . Supongamos que:
(a) f admite un nmero nito de polos reales simples, es decir,
R P = {a1 , . . . , as }
con aj polo simple de f .
(b) f admite un nmero nito de polos en Int(H), es decir, Int(H) P es un conjunto nito.
(c) Existen constantes K 0, M 0 y p > 0 tales que
|f (z)|
K
,
|z|p
z H, |z| M.
s
isx
f (x)e
isz
dx = 2i
Res(f (z)eisz , aj ).
Res(f (z)e , w) + i
j=1
wInt(H)P
Corolario 12.2.12. Sean p, q dos polinomios primos entre s tales que los ceros de q sobre el
eje real, de existir, son simples, y se tiene adems
grado(q) grado(p) + 1.
Entonces para todo s > 0 se tiene:
p(x) isx
e dx = 2i
q(x)
Res
q(w)=0, Im(w)>0
p(z) isz
e , w + i
q(z)
Res
q(a)=0, aR
p(z) isz
e ,a .
q(z)
170
12.3.
Ejercicios
1. Pruebe que:
2
a)
0
2
b)
0
2
c)
0
d
2
=
, a > 1.
a + cos
a2 1
1 a + a2
cos2 3
d =
, 0 < a < 1.
1 2a cos 2 + a2
1a
cos n
ena
d = 2(1)n
, n 0 es un entero y a > 0.
cosh a + cos
senh a
/2
d)
/2
sen
d = .
5 4 sen
6
2. Pruebe que:
dx
2
=
.
6
1+x
3
a)
b)
x sen x
dx = ea , con a > 0.
2 + a2
x
2
c)
0
d)
cos x
dx = ea , donde R y a > 0.
2 + a2
x
2a
ln x
te).
e)
sen x
dx = 2 (1 ea ), a > 0.
x(x2 + a2 )
2a
3. Calcule
dx
+1
x100
0
4. Calcular la Integral
x sin(x)dx
x2 + a2
12.4. PROBLEMAS
171
x sen(mx)
dx
a)
1 + x2 + x4
0
b)
0
c)
e)
sen2 (t)
dt
2 + cos(t)
0
cos(mx)
dx
(x2 + a2 )2
0
2
g)
0
12.4.
x2 x + 2
dx
x4 + 10x2 + 9
x sen(x)
dx
2
(x + 1)(x + 2)
sen(x)
f)
dx
2
x(x + 1)(x + 1)
d)
1
dx,
a + cos(sx)
Problemas
sen(2)
2
+ x sen(2x)
(i) 0 35 cos d, (ii) (x4)(x2 +3) dx.
cos nx
dx
1 + a2 2a cos x
f (ei x)dx.
f (x)dx = e
cos(x)
dx +
(1 + x)2
exp(x)
dx = 1.
1 + x2
xm
dx =
,
n+1
x
n sen[(m + 1)/n]
172
3
(R)
2/n
1
(c) Mostrar que la parte (a) es tambin cierta cuando f (z) es holomorfa en C y slo satisface
que f (z) = 0 para todo z C.
Problema 12.6. 1 Sea f H(C \ P ) donde P = {p1 , ..., pl } es el conjunto de los polos de
f . Supongamos que M, R > 0, p > 1 tales que z C, |z| R se tiene |f (z)| M/|z|p .
Denamos adems la funcin auxiliar g(z) = cot(z)f (z).
(i) Dado N 1, considere el camino CN de la gura.
CN
i(N + 1 )
2
N+ 1
1
i(N + 2 )
12.4. PROBLEMAS
173
Demuestre que
g(z)dz = 0.
l
m
CN
n=
n=pj
f (n) =
n=1
3
sen x
dx = 1
x(x2 + 1)2
2e
Hint: integrar
eaz
ez +1
Problema 12.9.
2
1
= .
n2
6
.
eaz
=
x +1
e
sin(a)
en el rectngulo de vertices R y R + 2i
Sea P (z) un polinomio de grado n 2 con n races distintas z1 , . . . , zn .
n
2. Deduzca que
Problema 12.10.
1
1
dz = 2i
.
P (z)
P (zj )
j=1
= 0.
Pruebe que
cos x
dx = /2
ex + ex
e + e/2
Indicaciones:
1. Sea R el rectngulo de vrtices R, R, R + i y R + i con R > 0. Sea f (z)
la funcin estudiada en el inciso a). Pruebe que R encierra slo un polo de f y que
f (z)dz = e/2 .
R
2. Pruebe que l
m
f (z)dz = l
m
R,2
R,4
verticales de R
2
3
174
3. Concluya.
Problema 12.11.
12.5.
cos(x)
dx.
(x2 + a2 )(x2 b2 )
Resolucin de problemas
sen 2
d =
3 5 cos
z 2 z 2
2i
|z|=1
z+z 1
,
2
con z = ei , la
dz
iz
z4 1
dz
2
|z|=1 z(5z 6z + 5)
2
z4 1
dz
i |z|=1 z(z ( 3+4i ))(z ( 34i ))
5
5
1
i
1
5 z+z
2
y cos =
1
i
2
i
z 4 1
z(z( 3+4i ))(z( 34i ))
5
5
z4 1
Res(f (z), 0) = l
m
z0 (5z 2 6z + 5)
i
=
5
2
i
i
5
zei2z
,
(z4)(z 2 +3)
zei2z
i 3e2 3
,
=
l
m
zi 3 (z 4)(z + i 3)
(i 3 4)(2i 3)
zei2z
4ei8
Res(f (z), 4) = l
m 2
=
.
z4 (z + 3)
19
Res(f (z), i 3) =
2 3
i8
i 3e
2i (i34)(2i3) + i 4e .
19
4
175
Solucin Problema 12.9 Sea P (z) un polinomio de grado n 2 con n races distintas
z1 , . . . , zn .
1. Dado que cada zj es un cero de orden 1 de P , se tiene que zj es un polo de orden
1 de 1/P . En particular P (zj ) = 0, y se comprueba (con lhpital, o factorizando
P (z) por z zj ), que
1
1
, zj =
Res
P (z)
P (zj )
Ahora, si R > 0 es tal que {z1 , . . . , zn } D(0, R), por el teorema de los residuos y
n
1
1
lo anterior se tiene que
dz = 2i
.
(z )
P j
D(0,R) P (z)
j=1
2. Dado que el grado de P (z) es mayor o igual que 2, se tiene que
D(0,R)
1
dz 0 cuando R
P (z)
n
P (zj )
j=1
2i
= l
m
D(0,R)
1
dz
P (z)
= 0.
e 2
= 2i
1
2 sen( 2 )i
= 2
e 2
2(1)
= e/2
176
=
0
iet+iR
dt
eR+it + eRit
y por tanto
R,2
f (z)dz
|eR+it
iet+iR
dt
eR+it + eRit
1
dt
+ eRit |
1
2
1
dt
|eR+it + eRit |
eR dt = eR 0
y por tanto
l
m
f (z)dz = 0
R,2
f (z)dz =
R,1
eit
dt
et + et
177
f (z)dz =
R,3
R
R
= e
R
eit
dt
et+i + eti
eit
dt
et ei + et ei
R
= e
= e
eit
dt
et + et
f (z)dz
R,1
4
f (z)dz =
R
j=1
R,j
f (z)dz = (1 + e
l
m
f (z)dz
(1 + e
f (z)dz = e/2
de donde se tiene
f (z)dz =
e/2
= /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.
1
(z 2
a2 )(z 2
b2 )
1
(x2
a2 )(x2
b2 )
pues ia pertenece al semiplano superior y los dos polos restantes a la recta real.
Calculando cada lmite, se tiene que
178
Res(f, b) = l eiz
m
zb
1
+i
1
= ea
= ea
,
2 b2 )
2 b2 )
(z + ia)(z
(2ia)(a
2a(a2 + b2 )
1
1
1
= eib 2
= (cos(b) + i sen(b))
(z 2 + a2 )(z + b)
(b + a2 )2b
2b(a2 + b2 )
y
Res(f, b) = l eiz
m
zb
1
eib
1
= 2
= (cos(b) i sen(b))
2 + a2 )(z b)
2 )(2b)
(z
(b + a
2b(a2 + b2 )
(x2
cos(x)
1
dx = Re eix 2
2 )(x2 b2 )
2 )(x2 b2 )
+a
(x + a
R
= Re [2iRes(f, ia) + i (Res(f, b) + Res(f, b))]
1
1
1
sen(b)
sen(b)
= 2ea
2 + b2 )
2 + b2 )
2 + b2 )
2a(a
2b(a
2b(a
Por ltimo, teniendo en cuenta que el integrando es una funcin par, se concluye que
(x2
1
1
cos(x)
dx = ea
sen(b)
.
2 )(x2 b2 )
2 + b2 )
2 + b2 )
+a
2a(a
2b(a
Parte III
Anlisis de Fourier
179
Captulo 13
Series de Fourier
13.1.
Denicin
a0
nx
nx
f (x) =
+ bn sen
+
an cos
2
n=1
, x [, ]
nx
a0
nx
an cos
=
+ bn sen
+ l
m
N +
2
n=1
, x [, ]
Este tipo de Series surge como respuesta a la siguiente pregunta: Podemos expresar una funcin
continua como una combinacin lineal (eventualmente, como una serie innita) de funciones
sinusoidales de frecuencia cada vez mayor? Si esto es posible, cmo se obtienen los coecientes
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
2
ei ei
sen =
2i
cos =
Luego si f (x) admite un desarrollo en serie de Fourier, entonces podemos reescribir este desa181
182
rrollo como
f (x) =
=
inx
1
a0
inx
1
+
(an ibn )e + (an + ibn )e
2
2
2
n=1
Ck e
(13.1)
ikx
k=
donde C0 =
a0
2
y
Ck =
1
(a
2 k
1
(a
2 k
ibk ) si k 1
+ ibk ) si k 1
Para determinar los coecientes complejos, podemos proceder, al menos formalmente, como
ik0 x
sigue: jamos k0 Z y multiplicamos la ecuacin (13.1) por e e integramos en el intervalo
[, ] para obtener
f (x)e
ik0 x
dx =
Ck
ikx
ik0 x
dx
k=
= 2Ck0 +
Ck
i(kk0 )x
k=
k=k0
i(kk0 )x
i(kk0 )x
e
i(k k0 )
= 0,
1
2
f ()e
ik0
f (x)dx
Si n 1 entonces:
1
Cn = (an ibn )
2
y en consecuencia
an = 2Re(Cn ) =
f (x) cos
1
bn = 2 Im(Cn ) =
nx
dx
f (x) sen
nx
dx
dx
13.1. DEFINICIN
183
inx
imx
0 si n = m
2 si n = m
dx =
sen
nx
mx
sen
dx =
0 si n = m
si n = m
cos
mx
nx
cos
dx =
0 si n = m
si n = m
sen
mx
nx
cos
dx = 0 n, m Z
f (x) =
k=
1
2
f ()eik/ d eikx/
1
2
f ()d +
n=1
f () cos
f () sen
d cos
n
nx
+
d sen
nx
integrable, es decir
f, g
L2
f (x)g(x)dx
f, f
L2
f (x)f (x)dx =
|f (x)|2 dx 0.
L2
f, f
L2
|f (x)| dx
ikx
1/2
L2
ikx
ikx
dx
184
Luego, los coecientes de Fourier (en su forma compleja) pueden reescribirse como
Ck =
1
e
ikx
ikx
f, e
2
L2
L2
n=1
f (x) =
f, e
e
ikx
L2
ikx
L2
e
e
ikx
ikx
L2
ikx
,e
ijx
L2
i(kj)x
dx = 0.
x=
k=1
x, ek
ek
ek
ek
k = j.
As, la serie de Fourier de f , en forma compleja, se puede interpretar como una generalizacin
de la descomposicin en una base ortogonal, pero aplicada a una funcin en lugar de un vector
estndar en Rn .
13.2.
Convergencia
Aunque supusimos que f es continua, en realidad basta que sea integrable para que los
coecientes de Fourier estn bien denidos. Dada una funcin f integrable en [, ], denamos
Sf (x) = l Sf (x),
m N
N
N
Sf (x) =
a0
nx
nx
+ bn sen
,
+
an cos
2
n=1
1
bn =
an =
nx
dx,
nx
dx.
f (x) sen
f (x) cos
13.2. CONVERGENCIA
185
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:
an =
f (x) sen(nx)
n
f (x) cos(nx)dx =
1
n
f (x) sen(nx)dx
El primer trmino del segundo miembro es cero. Al integrar otra vez por partes se obtiene
an =
f (x) cos(nx)
n2
1
n2
f (x) cos(nx)dx
2M
n2
1
f (x) cos(nx)dx 2
n
1
n2
M dx =
2M
n2
para todo n. Por lo tanto, tenemos que para todo x y para cada
N
N
|Sf +M (x) Sf (x)| 4M
Como
1
1
1
+
++
2
2
(N + 1)
(N + 2)
(N + M)2
N
< , de aqu se deduce que (Sf (x))N 1 es de Cauchy y por lo tanto convergente.
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:
N
Proposicin 13.2.2. Si f es de cuadrado integrable, se tiene que Sf f en media cuadrtica:
N
[f (x) Sf (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
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 .
Cuando la funcin f (x) es sucientemente regular, es posible asegurar convergencia uniforme:
Proposicin 13.2.4. Si f es derivable en [, ] y f () = f () entonces f = Sf en [, ].
N
Si adems f es de cuadrado integrable la convergencia de Sf hacia f es uniforme.
N
Corolario 13.2.5. Si f : R R es 2-peridica de clase C 1 entonces f = Sf en R y Sf
converge uniformemente hacia f .
13.3.
Propiedades y ejemplos
g(x)dx =
g(x)dx +
g(x)dx =
=
0
g(x)dx +
g(x)dx
0
g(x)dx +
g(x)dx =
0
[g(x) + g(x)]dx = 0
0
Luego:
(1) Si f es par entonces f (x) sen( nx ) es impar de donde bn = 0, n 1.
a0
nx
Sf (x) =
.
+
an cos
2
n=1
(2) Si f es impar entonces f (x) cos( nx ) es impar de donde an = 0, n 0.
n=1
bn sen
nx
.
187
x
1
x sen nx dx =
cos nx| +
cos nx
2
dx = (1)n
n
n
2
2
2
, b3 = , b4 =
,...
2
3
4
Es decir
2
sen 3x + . . .
3
En virtud de la regularidad de f , se tiene f (x) = Sf (x). En particular, se deduce lo siguiente
Sf (x) = 2 sen x sen 2x +
=f
2
2
=2 1
1 1
+ ... ,
3 5
n=0
(1)n
= .
2n + 1
4
an cos(nx) donde
n=1
x2 dx =
a0 =
+
2
3
y
1
x2 cos(nx)dx
an =
1
2 sen(nx)
=x
n
1
2 x cos(nx)
n
n
x sen(nx)dx
1
+
1
cos(nx)
dx
n
188
es decir
an =
4
2
[cos n + cos(n)] =
(1)n .
2
2
(n)
(n)
En consecuencia
x2 =
1
4
1
1
1
1
+ 2 cos(x) + cos(2x) cos(3x) +
cos(4x)
cos(5x) + . . . .
3
4
9
16
25
1 1
4
1
1
1
+ 2 1+ + +
+
+ ...
3
4 9 16 25
es decir
n=1
2
1
= .
n2
6
4
1 1
1
1
1
+ 2 1 + +
+ ...
3
4 9 16 25
Por lo tanto
n=1
13.4.
11 2
(1)n
=
.
n2
12
Ejercicios
(b) f (x) = ax en [, ]
(e)
a
b
si < x < 0
si 0 < x < .
0
sen(x)
si < x < 0
si 0 < x < .
f (x) =
2. Desarrolle en serie de Fourier la funcin
f (x) =
13.5. PROBLEMAS
189
13.5.
Problemas
Problema 13.1.
f (x) =
<x< 0
0x<
1 1 1
+ + ... = .
3 5 7
4
Indicacin: Para calcular la serie descrita arriba evale la serie de Fourier en un punto adecuado.
Problema 13.2.
Desarrolle en serie de Fourier la funcin
0
x
f (x) =
si < x < 0
si 0 < x < .
n=1
2
1
=
(2n 1)2
8
2
0
f (x)dx = 0.
f (x)dx =
0
1
(a2 + b2 )
n
n
n=1
190
(b) Deduzca que
f 2 (x)dx =
0
(n2 a2 + n2 b2 )
n
n
n=1
f 2 (x)dx
f 2 (x)dx
(13.2)
n=1
8
n
( 2
) sen(2nx)
4n 1
indicacin:
2 cos() sen() = sen( + ) sen( )
2 cos() cos() = cos( + ) + cos( )
(a) Pruebe que:
1
3
5
7
2
= 2
2
+ 2
2
+ ...
16
2 1 6 1 10 1 14 1
13.6.
Resolucin de problemas
f (x)dx =
an =
f (x) cos(nx)dx =
=
bn =
=
=
=
1
n
1
1
n
1
n
2dx +
1
6dx =
2 + 6 = 8
2 cos(nx)dx +
6 cos(nx)dx
f (x) sen(nx)dx =
2 sen(nx)dx +
si n impar
si n par
4
n
6 sen(nx)dx
1 (1)n
191
i=1
8
sen (2i 1)x
(2i 1)
Como la funcin f (x) tiene derivada continua en todo el intervalo excepto en un slo
punto, sabemos que se tiene la igualdad siguiente
Sf (x) =
f (x ) + f (x+ )
2
x (, )
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)
4 x=0
Sf (x) =
6 x (0, )
4 x=
Evaluando en x =
tenemos
8
i=1 (2i1)
6 = 4+
6 = 4+
=
4
i=1
1
i+1
i=1 2i1 (1)
1
1 1 1
(1)i+1 = 1 + + . . .
(2i 1)
3 5 7
192
Captulo 14
La transformada de Fourier
14.1.
Sea f : R R una funcin continua. Es posible demostrar que en este caso, dado > 0, se
tiene que para todo x ] , [
N
i kx
Ck e
f (x) = l
m
N +
donde
Ck =
1
2
k=N
Ck ei
kx
k=
f ()ei
d,
Ck C.
Qu ocurre cuando +?
1
f (x) =
2
k=
f (y)ei(xy) dy
Denimos
x [, ].
f (y)ei(xy)s dy.
gx, (s) =
1
2
1
2
k=
k=
gx,
gx,
(k + 1)
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
cero. Por otra parte, se tiene que:
f (y)ei(xy)s dy.
1
2
f (y)ei(xy)s dy
g(s) ds.
(14.1)
Lo anterior no se hizo rigurosamente pues las sumas de Riemann corresponden a funciones que
dependen de y no a una funcin ja. Sin embargo, bajo ciertas condiciones se puede demostrar
que la convergencia gx, gx cuando l es tal que permite justicar lo anterior de manera
rigurosa. Esto va ms all de este apunte.
As, formalmente tenemos que:
1
f (y)ei(xy)s dy ds
2
1
=
eixs
f (y)eiys dy ds
2
1
1
eixs
f (y)eiys dy ds
=
2
2
f (x) =
(14.2)
f: RC
s f (s) :=
2
|f (y)|dy
f (y)eiys dy
< ). Se dene la
(14.3)
1
x g (x) =
g(s)eixs ds
(14.4)
Notacin. Otras notaciones habitualmente usadas para la transformada de Fourier f (s) son
las siguientes: T f (s) y F f (s). Del mismo modo, para la antitransformada se usa adems de
g (x): T 1 g(x) y F 1 g(x).
195
1
f (x) =
2
1
eixs
2
f (y)eiys dy ds
(14.5)
Corolario 14.1.4. Si f, g : R C son continuas, integrables y f = g , entonces f = g.
Observacin 14.1.5. T y T 1 son lineales. Esto se desprende directamente de la linealidad de
la integral.
14.2.
Propiedades fundamentales
14.2.1.
(14.6)
Demostracin.
f (t)dt + f (0) C
Por otra parte, si el l |f (x)| > 0, f no podra ser integrable en R. Luego necesariamente
m
x
l f (x) = 0
m
196
1
f (s) =
2
f (x)eisx dx =
L,M +
2
f (x)eisx dx
l
m
Integrando esta ltima integral por partes y teniendo en cuenta la continuidad de f , resulta
L
isx
f (x)e
dx =
L
f (x)eisx M
f (x)iseisx dx
+
M
L
= f (L)eisL f (M)eisM + is
f (x)eisx dx
M
El lema anterior garantiza que lo que est entre parntesis tiende a cero mientras que la integral
del segundo sumando converge a f (s) 2. De esta forma queda probada la proposicin.
Corolario 14.2.3. Sea f : R C una funcin integrable, k veces derivable, tal que f (k) : R C
tambin es integrable, es decir f , f , f ,...., f (k) poseen transformada de Fourier. Entonces
(14.7)
3y + 2y + y = f (s)
Aplicando antitransformada
f (s)
.
3s2 + 2is + 1
y(x) = T 1 ((s))
g
f (s)
3s2 + 2is + 1
1
f (s)
=
ds.
eisx
3s2 + 2is + 1
2
= T 1
(14.8)
Para una funcin f = f (x) particular se hace el clculo explcito de esta integral cuando sea
posible.
14.2.2.
197
El teorema de convolucin
(f g)(x) =
f (x y)g(y)dy =
g(x y)f (y)dy
g
f g(s) = f (s)(s) 2
(14.9)
1
g
T 1 f (s)(s) (x) = (f g)(x)
2
(14.10)
eisy (f g)(y)dy
isy
f (y )g()ddy
= f (s)
is
g()
eis g()d =
eis(y) f (y )dy d
2 f (s)
g
2 f (s)(s)
14.2.3.
Linealidad
f + g = f +
g
Traslacin en espacio
eis0 x f (x)(s) = f (s s0 )
Modulacin
1
198
Cambio de escala
f (ax)(s) =
1 s
f
|a|
a
a=0
f (x)(s) = f (s)
Convolucin
f g(s) =
g
2 f (s)(s)
Derivacin
14.3.
Ejemplos
f(s) =
2
1
=
2
s2
e 4
=
2
f (x)dx =
ex eisx dx
is 2 s2
4
e(x+ 2 )
dx
is 2
e(x+ 2 ) dx.
is 2
0=
e
CR
dz =
j=1
j
CR
ez dz.
14.3. EJEMPLOS
199
iR
R +
s
i2
1
CR
s
i2
s
R + i2
2
CR
4
CR
3
CR
ez dz =
1
CR
s 2
e(x+i 2 ) dx
R
R
s 2
e(x+i 2 ) dx
2.
0
ez dz =
e(R+iy) idy
s
2
2
CR
s
2
= i
e(R+iy) dy
3.
R
ez dz =
ex dx
3
CR
4.
z 2
s
2
dz = i
4
CR
e(R+iy) dy
Notemos que
z 2
e
2
CR
z 2
dz +
s
2
dz = i
4
CR
e(R+iy) e(R+iy) dy
s
2
R2
= ie
0
s
2
R2
= 2e
ey ei2Ry ei2Ry dy
2
ey sen(2Ry)dy.
200
Esta ltima igualdad implica que
z 2
z 2
dz +
4
CR
2
CR
CR
I=
ey dy 0.
ez dz se deduce que
is 2
e(x+ 2 ) dx +
y por lo tanto
En consecuencia
dz 2e
2
s
2
R2
ex dx = 0
is 2
e(x+ 2 ) dx =
ex dx =
s2
s2
e 4
1
f (s) = I = e 4 .
2
2
1 s
f
|a|
a
(14.11)
Demostracin.
1
g (s) =
2
1
=
2
eisx g(x)dx
eisx f (ax)dx
y
1
eis a f (y) dy
a
eis a f (y)dy
is y
e a f (y)dy
1 1
a 2
1 1
a 2
1 s
f(a)
a
1 s
a f( a )
si a > 0
si a < 0
si a > 0
si a < 0
1 s
f
|a|
a
y f (x) = ex tenemos
x2
g(x) = f (ax) = e 2
14.4. EJERCICIOS
201
y luego
2f( 2s)
1 (2s)2
= 2 e 4
2
g (s) =
s2
= e 2
Funcin original
f (x)
Su transformada de Fourier
f(s)
ex x 0
0 x<0
1
1
2 1 + is
ea|x| , a > 0
2 a
a2 + s2
eax , a > 0
s2
1
e 4a
2a
a2
1
,a > 0
+ x2
2 1 a|s|
e
a
k |x| a
0 |x| > a
2 sen(as)
k
14.4.
Ejercicios
1. f (x) = ex f(s) = e 4 .
2
2. f (x) =
ex si 0 x
0 si x < 0
1
1
f (s) =
.
2 1 + is
k |x| a
0 |x| > a
f(s) =
2 a
.
a2 + s2
2 sen(as)
k
.
202
5. f (x) =
14.5.
f (s) =
1 + x2
2 |s|
e .
Problemas
1
f (y)g(y)dy =
2
g
f(s)(s)ds
1
|f (y)| dy =
2
|f(s)|2 ds
Suponga que las funciones f , g, f, g decaen lo sucientemente rpido en innito de modo
que todas las integrales que aparezcan sean convergentes.
Problema 14.3. [Teorema de Shannon]
Una funcin f se dice de banda limitada a s0 si para su transformada de Fourier se cumple
n=
donde L =
f (nL)
sen s0 (x nL)
,
s0 (x nL)
.
s0
n (s) =
0
1 ins
2s0 2 e s0
si |s| > 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
14.5. PROBLEMAS
203
(b) Demuestre que la familia {n (s)} es una familia de funciones ortonormales, es decir, que
(c) Muestre que la familia {n (s)} permite escribir la funcin f como una serie de Fourier,
cuyos coecientes estn en funcin de muestras de la funcin en intervalos de largo L, y
concluya.
204
Parte IV
Ecuaciones en Derivadas Parciales
205
Captulo 15
Ecuaciones lineales de segundo orden
15.1.
15.1.1.
208
punto x, y por lo tanto el calor uye hacia la derecha. Anlogamente, si u (t, x) > 0 entonces
x
el valor de la temperatura es mayor a la derecha del punto x, y por lo tanto el calor uye hacia
la izquierda, esto es, dQ/dt < 0.
Sea (x1 , x2 ), con x1 < x2 , un intervalo de observacin correspondiente a una seccin longitudinal de la barra. Sea (t1 , t2 ), con t1 < t2 , un intervalo correspondiente a un lapso de tiempo.
Como la barra est trmicamente aislada por su supercie lateral, el intercambio de calor slo
ocurre a travs de los puntos extremos x1 y x2 del intervalo (x1 , x2 ). En virtud de lo anterior,
la cantidad neta de calor Q1 que entra a la seccin (x1 , x2 ) en el lapso (t1 , t2 ) est dada por
t2
Q1 =
[k(x1 )
t1
u
u
(t, x1 ) + k(x2 ) (t, x2 )]dt.
x
x
t2
x2
Q1 =
t1
x1
x2
x1
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
t2
x2
F (t, x)dxdt.
Q2 =
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
c(x)[u(t2 , x) u(t1 , x)],
donde el factor de proporcionalidad c = c(x) > 0 es la capacidad calorca especca1. Luego,
la cantidad de calor total necesaria para el cambio de temperatura en el segmento (x1 , x2 ) es
x1
t2
x2
x2
Q3 =
c(x)
x1
t1
u
(t, x)dtdx,
t
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
209
Ms explcitamente,
t2
t1
x2
x1
u
c(x) (t, x)dxdt =
t
t2
t1
x2
x1
u
u
k(x)
+ F (t, x).
=
t
x
x
(15.1)
donde = k/c, f = F/c, y, con el n de simplicar la notacin, hemos utilizado las notaciones
ut :=
u
2u
, uxx := 2 .
t
x
15.1.2.
En esta seccin deduciremos la ecuacin del calor en el caso general de un material ocupando
una cierta regin R3 , que suponemos abierta y no vaca. Denotemos por u(t, x, y, z) la
temperatura del material en el punto (x, y, z) y el tiempo t. Supondremos que la funcin
u : [0, T ] R
es sucientemente 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 supercie 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 coeciente
de conduccin trmica del material. Observemos que dado que k es positivo, el calor uye de
zonas de alta temperatura a zonas de baja temperatura, pues u es la direccin de mximo
descenso de la funcin u.
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.
2
210
Fro
Calor
ku n dA
ku dS,
y haciendo t 0
dQ
=
dt
ku dS.
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 especco 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
q
dV =
t
dQ
=
dt
u
dV.
t
u
dV =
t
ku dS.
div(ku) dV,
211
u
div(ku) dV = 0.
t
Esto ltimo es vlido para todo . Por un argumento de localizacin, si todas las funciones
en el integrando son continuas, se concluye
c
u
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
Deniendo =
k0
c0 0
y recordando que
div(u) = u =
2u 2u 2u
+
+ 2,
x2 y 2
z
(15.2)
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 explicitadas 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
f (t, r) dV (r).
u
div(ku) = f
t
en [0, T ] ,
en [0, T ] .
212
15.1.3.
Supongamos que un gas ocupa una regin porosa R3 en la cual se mueve de puntos
de alta concentracin a baja concentracin, proceso que se denomina difusin. Denotemos por
u(t, x, y, z) la concentracin del gas en el instante t y el punto (x, y, z). Entonces bajo la ley
de Nernst y suponiendo que el material es homogneo e isotrpico, se puede vericar que u
satisface
ut = a2 u en ,
(15.3)
donde a es una constante. La ley de Nernst es anloga a la ley de Fourier para la conduccin
de calor.
15.2.
15.2.1.
Consideremos una cuerda elstica de longitud L sometida a una cierta tensin y cuyo movimiento se conna a un plano. Modelaremos la cuerda como una curva y por simplicidad
supondremos que sta se puede representar en cada instante t como el grafo de una funcin
u(t, ) : [0, L] R, es decir, u es una funcin de dos variables
u : [0, T ] [0, L] R.
Con el objeto de simplicar 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 gravedad.
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
1 cos = 2 cos = .
Por otro lado, en la direccin vertical
2 sin 1 sin = l
2u
,
t2
(15.4)
213
u
|
,
x x+x
2u
l
.
t2
(15.5)
l
donde hemos utilizado x 1 cuando x 0. Si se quiere incorporar el efecto de fuerzas
externas, de manera anloga se puede vericar que u satisface
(15.6)
1
> 0, F (t, x) = f (x, t) y f (x, t) es la densidad lineal de fuerzas externas.
Las condiciones adicionales naturales para complementar esta ecuacin son de dos tipos:
1. Condiciones iniciales en un instante t = 0 que describen la posicin y velocidad de la
cuerda en cada punto x [0, L]. Es decir,
u(0, x) = u0 (x) x [0, L],
y
ut (0, x) = v0 (x) x [0, L].
2. Condiciones de borde sobre los puntos 0 y 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 reejar 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 jo a una altura 0. Otro ejemplo es
ux (t, 0) = 0 t [0, T ]
(15.7)
que signica 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
2 sen = l
Usando que 2 sen u
x
2u
.
t2
214
1
ux (t, 0) t [0, T ]
h
(15.8)
que modela la situacin en que el extremo x = 0 est sujeto a un resorte de constante elstica
k = h . En esta situacin
2 sen (fuerza ejercida por el resorte en x = 0) = l
es decir
2 sen ku|x=0 = l
2u
,
t2
2u
.
t2
15.2.2.
El caso de las oscilaciones de una membrana es muy similar al de las oscilaciones de una
cuerda. Veamos brevemente cmo encontrar la EDP en esta situacin.
La membrana se modela como una supercie en R3 y por simplicidad supondremos que esta
supercie se puede representar mediante una funcin
u(t, x, y) : [0, T ] R,
de modo tal que en cada instante t la membrana corresponde a la supercie parametrizada por
(x, y) 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 supercial > 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 gravedad.
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
(contribucin de las aristas paralelas al eje x) = x
(contribucin de las aristas paralelas al eje y) = y
u
y
u
x
u
y
y+y
u
x+x
x
u
2u
= x
2
t
y
y+y
u
y
+ y
u
x
x+x
u
x
215
(15.9)
1
donde F (t, x, y) = f (t, x, y) y f (t, x, y) es la densidad supercial de fuerzas externas actuando
sobre la membrana.
15.2.3.
15.3.
15.3.1.
Membrana en reposo
Retomando la seccin 15.2.2, si la membrana est en reposo de (15.9) vemos que la funcin
u : R2 R debe satisfacer la ecuacin
u + F (x, y) = 0
en
(15.10)
en .
Una funcin que es solucin de la ecuacin de Laplace se dice una funcin armnica.
(15.11)
216
15.3.2.
E(x) =
j=1
qj
x yj
,
40 x yj 3
1
40
(y)
R3
xy
dy.
xy 3
(15.12)
Para dar sentido a esta integral supondremos que : R3 R es una funcin continua y que
(y) = 0 si y R0 , donde R0 > 0 es una constante. Notemos que se trata de una integral
impropia pero convergente (el integrando se indene en y = x).
El campo elctrico (15.12) tambin proviene de un potencial, es decir,
E = .
(15.13)
1
40
1
dy.
xy
(y)
R3
Sea R3 un conjunto abierto acotado no vaco cuya frontera es una supercie regular.
Queremos calcular el ujo de E a travs de , es decir
xy
1
(y)
E dS(x) =
dy dS(x)
40
xy 3
R3
1
xy
=
dS(x) dy.
(y)
40
xy 3
R3
xy
xy
dS(x) =
4
0
si y
si y .
1
0
217
(y) dy.
1
0
dV = 0
es decir
+
1
dV = 0.
0
Como lo anterior se tiene para todo , se concluye que el integrando debe ser nulo, es decir
=
1
.
0
(15.14)
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 signicado fsico de las variables y las condiciones iniciales
y de borde, tema a tratar en la siguiente seccin.
15.4.
En esta seccin veremos cmo complementar las ecuaciones en derivadas parciales antes
mencionadas, es decir, daremos condiciones que denen y caracterizan los problemas.
En todos los ejemplos anteriores, la situacin fsica se describe mediante una variable de
estado o funcin u que puede ser escalar o vectorial y que depende de variables espaciales
x Rn (n = 1, 2 3) y en algunos casos u depende de una variable adicional t que se
interpreta como el tiempo. Este es el caso en los problemas que llamamos de evolucin como las
ecuaciones parablicas de la seccin 15.1 y las hiperblicas de seccin 15.2. En esta situacin
supondremos que t [t0 , T ].
Las EDPs se complementan bsicamente con dos tipos de condiciones adicionales:
Condiciones de borde
Estas condiciones aparecen tanto en problemas de evolucin como en ecuaciones estacionarias. Hay diversas alternativas segn el sistema fsico que se est modelando.
218
u
(t, ) = h() sobre t [t0 , T ]
= 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
u(t0 , x, y, z) = u0 (x, y, z) (x, y, z) ,
donde u0 : R es dato.
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 condiciones 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.
15.5.
Lyi = 0, i = 1, 2, ..., n L
yi
=0
i=1
220
15.6.
15.6.1.
Ecuacin de Navier-Stokes
En dinmica de uidos, las ecuaciones de Navier-Stokes son un conjunto no lineal de ecuaciones en derivadas parciales que rigen el movimiento del uido en cuestin. Estas se encuentran
considerando la masa, el momntum y balances de energa para un elemento de volumen innitesimal en movimiento, sobre el cual se pueden producir tensiones tangenciales (debido a la
viscosidad).
Sea u(x, y, z, t) el campo de velocidades del uido y p(x, y, z, t) la presin. Luego la ecuacin
para uidos compresibles viene dada por
Du
= F p + u + u
Dt
3
= F p + u.
Dt
15.6.2.
(r, t) =
t
2m
r + V (r) (r, t)
(15.15)
h
donde = 2 con h la constante de Planck, m es la masa de la partcula y V es una funcin
que representa el potencial al cual est sometido la partcula. El Laplaciano en esta ecuacin
221
es solamente con respecto a las variables espaciales y por eso la notacin r . Usualmente esta
ecuacin se acompaa de la condicin (probabilstica)
|(r, t)|2 dr = 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 .
15.6.3.
Ecuaciones de Maxwell
J+
D
t
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 ujo
de B es conservativo y as sucesivamente.
15.6.4.
en direccin del eje z. Dado que (x, y) u(t, x, y) parametriza S, podemos escribir
u
x
1 u
y ,
n=
222
donde
n =
u
x
1+
u
y
Orientemos de modo que sea consistente con la orientacin de S para el teorema de Stokes.
T ( n) dr.
F e=T
( n) e dr = T
( e) dr.
n
[ ( e)] n dA = T
n
S
[( e) ( n)] n dA
n
e
S
= T
( n)( n) dA = T e
e
( n) dA.
n
S
Luego
F = T
( n) dA.
n
S
Pensando en S como una pequea supercie 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) A + o(A).
n
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
T ( n) A + o(A) = 0.
n
T ( n) = 0.
n
Recordemos que u no depende de z, por lo que
n =
ux
1 + u2 + u2
x
y
u
,
x
uy =
donde
ux =
uy
1 + u2 + u2
x
y
u
.
y
ux
1 + u2 + u2
x
y
uy
1 + u2 + u2
x
y
= 0.
(15.16)
15.7.
Problemas
u = 0
en
(ECM)
u = T0
sobre 1
u
= u sobre 2
n
u2 dA = 0.
dV +
2
224
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) Para [a, b] considere el ujo de calor
() :=
()
kT dA
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
r2
u
(r, t) .
r
225
(a) Proporcione una interpretacin fsica o geomtrica, segn corresponda, de cada una de
las siguientes funciones:
u
2u
u
(x, t)
(x, t)
(x, t)
t
t2
x
(b) Considere la ecuacin en derivadas parciales que gobierna el movimiento de la cuerda
vibrante de dimensin uno:
2u
2u
(x, t) = c2 2 (x, t).
(15.17)
t2
x
(i) Muestre que u(x, t) = 2 sen(2x) cos(2t) satisface la ecucin (15.17) con c = .
(ii) Sean , : R R dos funciones de clase C 2 . Muestre que u(x, t) = (x + ct) +
(x ct) es solucin de la ecuacin de ondas (15.17).
u
(x, 0)
t
= 0, muestre que
u(x, t) =
15.8.
Solucin de problemas
uudV = 0
uu dV =
u u dV
uu dA +
1
uu dA
2
uu ndS
=0+
2
u
2
u
dS =
n
u2 dS
2
226
u2 dA = 0
dV +
2
r2
=0
(15.19)
u = 0
r
r
El alumno tiene que vericar 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
+ C2
u(a) = Ta =
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 justicar 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 y por las condiciones
r
de borde se tiene que esto ltimo es igual a u(b). Los valores de C1 y C2 se obtienen
resolviendo el sistema lineal
C1
Ta =
+ C2
a
C1
C1
=
+ C2 .
2
b
b
Captulo 16
Separacin de Variables
16.1.
(16.1)
(16.2)
(16.3)
Para resolver (16.1) bajo (16.2) y (16.3), aplicaremos el mtodo de separacin de variables, el
que describiremos detalladamente a continuacin.
16.1.1.
(16.4)
Se introducen as dos nuevas incgnitas, T (t) y X(x), y por lo tanto necesitaremos dos ecuaciones para determinarlas. Sustituyendo (16.4) en (16.1), obtenemos
T (t)X(x) = T (t)X (x) 0 < x < L, t > 0.
227
(16.5)
228
Como slo nos interesan soluciones no triviales, se requiere que X(x0 ) = 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 )
.
X(x0 )
1 =
Similarmente, para todo x (0, L) se tiene
X (x) = 2 X(x),
donde
2 =
T (t0 )
T (t0 )
y t0 > 0 es tal que T (t0 ) = 0. En consecuencia, si ahora tomamos cualquier par (t, x) tal que
T (t) = 0 y X(x) = 0, lo anterior conduce a
X (x)
T (t)
=
= 2 ,
1 =
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 ecuaciones diferenciales ordinarias:
T (t) + T (t) = 0,
X (x) + X(x) = 0,
t>0
(16.6)
0<x<L
(16.7)
Por otra parte, como aplicacin de la teora general de las ecuaciones diferenciales ordinarias
lineales, sabemos que la solucin general de la ecuacin de segundo orden (16.7) se expresa como
una combinacin lineal de dos funciones fundamentales, cuya forma depende del signo de . Ms
precisamente, como el polinomio caracterstico asociado a (16.7) est dado por p(m) = m2 + ,
Si < 0 entonces m1,2 = R, luego la solucin general de (16.7) est dada por
X(x) = C1 e
1
+ C2 e
C1 , C2 R.
229
C1 , C2 R.
C1 , C2 R.
Observacin 16.1.1. Cuando = 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
= C1 (ei
+ ei
i x
)/2 + C2 (i)(ei
i x
= C1 e
ei
i x
i x
+ C2 e
)/2
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 coecientes C1 , C2 vienen dados por
C1 , C2 R, si < 0
C1 , C2 C, si > 0
y los coecientes complejos C1 y C2 son uno el conjugado del otro. 2
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
+ C2 e
),
(16.8)
230
16.1.2.
A continuacin buscaremos soluciones no triviales de (16.1) en variables separadas que satisfagan la condicin de borde (16.2). Esto restringir los valores admisibles para a un subconjunto numerable de R.
En primer lugar, observamos que si es el parmetro introducido anteriormente entonces el
caso = 0 queda descartado. En efecto, tomando U0 (t, x) = C1 +C2 x, deducimos de U0 (t, 0) = 0
que C1 = 0, lo que junto con U0 (t, L) = 0 implica que C2 = 0, obteniendo as la solucin trivial.
Busquemos entonces = 0 de modo tal que exista una funcin U de la forma (16.8), que
no sea idnticamente nula y que satisfaga
U (t, 0) = U (t, L) = 0, t > 0.
De U (t, 0) = 0 deducimos que
et (C1 + C2 ) = 0, t > 0,
y, como et > 0, se tiene
C2 = C1 .
Luego, para alguna constante C C (ms an C es un imaginario puro, pues C1 y C2 eran uno
el conjugado del otro y C1 = C2 ), que se supone no nula3 , tenemos
U (t, x) = Cet (e
),
(16.9)
= 0.
(16.10)
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 = 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
k = (k/L)2 , k N \ {0},
(16.11)
y tenemos que las soluciones en variables separadas correspondientes (16.9) son de la forma
2t
Uk (t, x) = Ck e(k/L)
eikx/L eikx/L
= Ck e(k/L) t 2i sen(kx/L)
= Ak k (t, x),
3
231
(16.12)
La gura 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,
para algn R. Deniendo el operador diferencial lineal
A: V
f
C([0, L])
d2 f
Af := 2
dx
sobre el espacio vectorial V = {f C 2 (0, L) C([0, L]) | f (0) = f (L) = 0}, el problema
anterior puede escribirse AX = X. Los escalares k dados por (16.11) son los valores propios
del operador A, mientras que los espacios propios correspondientes son unidimensionales y estn
generados por las funciones propias Xk (x) = sen(kx/L). 2
t=0
1 (t, x)
2 (t, x)
t=0
t>0
t>0
L
2
L x
Lx
232
16.1.3.
Consideremos ahora la condicin inicial (16.3). Para motivar lo que sigue, comencemos por
el caso en que
f (x) = A sen(k0 x/L)
(16.13)
para algn par de constantes A R y k0 N \ {0}. Dado que la k-sima solucin fundamental
(16.12) satisface k (0, x) = sen(kx/L), entonces es directo ver que la solucin de (16.1)-(16.3)
correspondiente a (16.13) es
2
f (x) =
Ai sen(ki x/L)
i=1
Ai ki (t, x) =
i=1
i=1
u(t, 0) =
m
2
Ai ki (t, 0) =
i=1
m
i=1
m
2
Ai ki (t, L) =
u(t, L) =
i=1
i=1
f
0
l
2
233
(16.14)
Ak sen(kx/L)
k=1
Ak k (t, x) =
k=1
Ak e(k/L) t sen(kx/L)
k=1
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 coecientes que aparecen al imponer la condicin inicial.
16.2.
16.2.1.
ut = uxx
u(0, x) = f (x)
u(t, 0) = u(t, ) = 0
donde > 0.
u=0
u=0
t > 0, 0 x
0x
t>0
234
T (t)
X(x)
indep. de x
T (t)
= cte
T (x)
X (x)
= /
X(x)
cte
indep. de t
X(x) = be
/x
+ ce /x
/x
/x
U(t, x) = b e
et
e
Anlogamente a lo anterior, hemos absorbido en k la constante b. Incorporemos al anlisis la
otra condicin de borde (en x = )
(CB) u(t, ) = 0 t
= e / , es decir
e2 / = 1
Evaluando, se obtiene e /
Resolviendo
2 / = 2ki,
k
kZ
2
Finalmente, obtenemos
U(t, x) = [e
ki
x
ki
x
]e(
ki
x)2 t
= 2i sen
kx
e(
kx 2
) t
kx
e(
kx 2
) t
235
Como nos interesan soluciones no triviales y adems Uk (t, x) = Uk (t, x), basta considerar el
conjunto de soluciones elementales para k = 1, 2, 3, ..., esto es, nos reducimos al caso k N\{0}.
Cada funcin Uk satisface (EC) y (CB), de modo que
k Uk (t, x) tambin. Slo nos queda
ajustar las constantes k de manera de satisfacer (CI). Postulamos
u(t, x) =
kx
k sen
k=1
e(
k 2
) t
k sen
k=1
kx
f(x) =
f (x) x [0, ]
f (x) x [, 0]
es decir
1
=
f(x) sen
kx
2
dx =
f (x) sen
kx
dx
En conclusin
u(t, x) =
k=1
f () sen
0
d sen
kx
e(
k 2
) t
Notemos que u(t, x) 0 cuando t y que las frecuencias ms altas decaen ms rpidamente.
16.2.2.
236
y
U(x, t) = a et e x + e x
Evaluando en x = se obtiene
e
=0
e
kZ
ki
x
+ e
ki
x
]e(
k 2
) t
= cos
kx
e(
k 2
) t
kx ( k )2 t
2 f () cos k d cos kx
e
k cos
u(t, x) =
=
k=1
k=1
e(
k 2
) t
16.2.3.
237
Veamos la ecuacin del calor en el caso con condiciones mixtas, es decir Dirichlet en un
extremo y Neumann en el otro:
(EC)
ut
(CI) u(0, x)
(CB) u(t, 0)
ux (t, )
=
=
=
=
u=0
extremo semi aislado
ux = u
radiacin de calor
proporcional al salto
de temperatura
x=0
U(t, x) = et [e /x e /x ]
La (CB) en el extremo semi-abierto se escribe
/
e
+ e / = [e / e / ]
Supongamos que < 0 (ya que es el nico caso interesante de analizar, pues los otros casos
entregan soluciones triviales) y denamos i =
exponenciales se llega a
2i cos() = 2i sen()
o equivalentemente, tomando y = .
y
cos y = sen y
o bien
y
= tan y
238
k=0
en particular
u(0, x) = f (x) =
k Uk (0, x)
k=0
con
2
Uk (t, x) = eyk /
2 t
eyk /x eyk /x
As
f (x) =
k=0
Como yk =
modo que
k eyk /x eyk /x
k sen
k=0
yk x
yj x
e integrando sobre [0, ] (donde supondremos que el intercamAhora, multiplicando por sen
bio de la sumatoria con la integral es vlido) se obtiene
yj x
f (x) sen
dx =
k=0
k sen
0
yk x
yj x
sen
dx
239
sen
0
yk x
yj x
sen
0 k = j
y por lo tanto
f (x) sen
0
yj x
dx = j
yj x
dx
sen2
0
f (x) sen
j =
yj x
yj x
sen2
0
dx
dx
yk x
yj x
sen
sen
dx =
sen(yk yj ) x
sen(yk + yj ) x
2(yk yj )/
2(yk + yj )/
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
=
16.2.4.
=
=
=
=
240
y
u=0
u=0
u = f (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
Utilizando la condicin de borde
U(0, y) = 0 y
obtenemos a + b = 0, de donde
X(x) = e
Evaluando se tiene e
que
= e
U(, y) = 0 y
2 = 2ki,
k Z.
As
=
Podemos entonces reescribir las expresiones de X(x) y de Y (y), mdulo una constante
X(x) = sen kx
k
k
Y (y) = ce y + de y
De la condicin
U(x, ) = 0
se desprende que c = 0, pues de otro modo la solucin diverge, cosa que no es aceptable desde
el punto de vista de la fsica. Nos podemos restringir a k N \ {0} y la solucin elemental
correspondiente est dada por:
Uk (x, y) = e
ky
sen
kx
241
u(x, y) =
k e
ky
sen
k=1
kx
k sen
k=1
2
k =
kx
f () sen
2
u(x, y) =
k=1
f () sen
d eky/ sen
kx
Ejercicio. Resolver la ecuacin de ondas de una cuerda de largo con un extremo jo y el otro
libre.
u(x, t)
x=0
x=
16.2.5.
Consideremos una membrana rectangular. Como se vio en la seccin 15.3.1 la ecuacin que
modela esta situacin es
(EO)
(CB)
(CI)
en R R2
sobre R
en R
en R
242
z
b y
a
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
T (t) = a0 e
K0 t
X(x) = a1 e
K1 x
Y (y) = a2 e
K2 y
+ b0 e
+ b1 e
+ b2 e
K0 t
K1 x
K2 y
K1 a
= e
K1 a
243
, que equivale a
k1 Z
2 K1 a = 2k1 i,
Desarrollando esto ltimo obtenemos
K1 =
k1
a
k1
x ,
a
k1 Z
k2
y ,
b
k2 Z
Se tiene adems
k1
a
K0 = 2 (K1 + K2 ) = 2 2
k2
b
Podemos con esto escribir una solucin elemental. En este caso queda parametrizada por k1 y
k2 que se pueden tomar en N \ {0}.
Uk1 ,k2 (t, x, y) = sen
k1 x
a
sen
k2 y
b
donde
k1
a
wk1 k2 =
k2
b
sen
k1 ,k2 =1
k1 x
a
sen
k2 y
b
u(0, x, y) =
k1 ,k2 =1
k1 k2 sen
k1 x
a
sen
k2 y
b
= f (x, y)
244
De este modo
k1 k2
4
=
ab
f (x, y) sen
k1 x
a
sen
k2 y
b
dydx
k1 k2 wk1 k2 sen
k1 x
a
sen
k2 y
b
= g(x, y)
16.2.6.
4
=
abwk1 k2
g(x, y) sen
0
k1 x
a
sen
k2 y
b
dydx
=
=
=
=
y
u=0
b
u=0
u = T = cte
u=0
Y
Y
Y = ae y + be x
X = ce x + de x
245
Y (y) = a e
X(x) = c e
b = 2ki
k
b
ky
b
X(x) = 2c senh
kx
b
kx
b
sen
ky
b
kx
b
k senh
k=1
sen
ky
b
T (y) =
0<y<b
b < y < 0,
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
u(a, y) = T =
k senh
k=1
ka
b
sen
ky
b
246
ka
2T
k senh
=
b
b
sen
ky
b
dy =
2T
[1 (1)k ].
k
n=1
16.2.7.
4T
y
x
sen (2n 1)
.
senh (2n 1)
(2n 1) senh[(2n 1)a/b)]
b
b
=0
=0
= f (x)
= g(x)
(EO)
X = 2 X
cuyas respectivas soluciones son
T (t) = ae t + be t
X(x) = ce x/ + de x/
Imponiendo las condiciones de borde
u(t, 0) = 0 X(0) = 0 c + d = 0.
u(t, ) = 0 X() = 0 e
e/ = 0 e2
De donde
2 / = 2ki, k Z
ki
=
, kZ
=1
247
kti
+ be
kti
c e
kxi
kxi
2i sen( kx )
Uk (t, ) = a cos
+ sen
b
kt
sen
kx
,
k N \ {0}.
ak cos
k=1
kt
+ bk sen
kt
sen
kx
es solucin de la ecuacin.
Tenemos dos familias de constantes que determinar: ak y bk . Para las primeras utilizamos la
condicin inicial sobre u
kx
u(0, x) = f (x) =
ak sen
k=1
y obtenemos
2
ak =
f (x) sen
kx
dx
bk
k=1
bk k
k
sen
kx
2
bk =
k
g(x) sen
0
kx
dx.
248
16.3.
Ejercicios
u
x
(b)
2u
x2
(c)
u
y
2u
xy
2
= 0.
2u
y 2
= 0.
u = 0.
u
(d) x2 xy + 3y 2x = 0.
16.4.
Problemas
(x, y) .
16.4. PROBLEMAS
249
0 < x < 2
t>0
yt (x, 0) = 0
0 < x < 2
y(0, t) = y(2, t) = 0
y(x, 0) = 0
t>0
0 < x < 2.
Indicacin: Considere soluciones del tipo y(x, t) = Y (x, t)h(x) para una funcin h adecuada.
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:
ut kuxx = F (x, t)
u(x, 0) = f (x)
u(0, t) = u(, t) = 0.
x (0, ), t > 0
x [0, ], t > 0
=
=
=
=
0
(x, y, z) (0, )3 , t > 0
f (x, y)
0
0.
250
lu0 + kv0
().
k+l
ww dS =
w2.
(e) Calcular, usando la parte (b), la temperatura constante del rgimen estacionario.
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).
(a) Expresando el Laplaciano en coordenadas esfricas, muestre que u = u(t, r) satisface la
ecuacin
u
2
=
(ru) .
t
r r 2
(b) Usando separacin de variables pruebe que esta ecuacin admite soluciones del tipo
U(t, r) = exp( 2 t)
a sin(r) + b cos(r)
.
r
16.4. PROBLEMAS
251
2
Ak exp(k t) sin(k r)/r
k=1
si 0 < x 1/2,
si 1/2 < x < 1,
x
1x
ut (0, x) = 3 sen(2x),
Problema 16.12.
0 < x < 1.
(EDP)
2 u u
2u
+
+u= 2
t2
t
x
(CB)
u(0, t) = u(0, 1) = 0
(CI)
Problema 16.13.
t > 0,
u(x, 0) = f (x),
u
(x, 0) = 0
x
(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:
n=1
1
.
(2n 1)2
(ii) Pasando el lado derecho a la condicin de inicial. Resuelva el siguiente problema diferencial en derivadas parciales
ytt yxx = 4sen(2x),
y(0, t) = y(, t) = 0,
y(x, 0) = 0,
yt (x, 0) = x,
0 < x < ,
t > 0,
0 < x < ,
0 < x < .
t > 0,
252
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, ).
2utt
u(0, t) = u(1, t)
u(x, 0)
ut (x, 0)
Problema 16.16.
x (0, ), t > 0
ut uxx + 6ux = 0,
u(0, t) = u(, t) = 0,
t>0
3x
u(x, 0) = e x,
x (0, ),
(16.15)
16.5.
253
Resolucin de problemas
1
sen(nx)xdx = cos(nx)x
n
1
cos(nx)dx
n
1
1
= (1)n 2 + 2 (sen(nx)) |
n
n
(1)n+1
= 2
n
Entonces los coecientes de la serie buscada son
an =
1
2
sen(nx)xdx =
(1)n+1
n
S(x) =
=2
(1)n+1
sen(nx)
n
(1)n+1
sen(nx)
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 resolvemos la ecuacin caracterstica:
r 2 6r = 0
254
que tiene soluiciones
r1 = 3 +
+9
r2 == 3 +
+9)x
+ C2 et e(3
+9)x
+9)x
+9
e(3
ex
+9)x
+9
= Cet+3x 2 senh(x + 9)
En x = :
+ 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
uk = Ce(k
2 9)t+3x
= Ck e(k
exki exki
2 9)t+3x
sen(kx)
255
uk (x, t) es
uk (x, 0) =
x=
Ck sen(kx)
de donde
Ck sen(kx).
(1)k+1
k
para cada k Z.
Por lo tanto, se concluye que
u(x, t) =
=2
( Obs: Es vlido si solo usa la suma de los trminos con k > 0.)
256
Captulo 17
Uso de transformadas en la resolucin de
EDPs
17.1.
17.1.1.
ut
= uxx
u(0, x) = f (x)
La condicin
|f (x)|dx < tiene una doble nalidad. 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 innito.
Aplicando T F en la variable x a la ecuacin EC se obtiene
ut = uxx = s2 u
Ahora bien
1
ut (s) =
2
eisx
257
258
de modo que
2 t
= f (s)es
2 t
y de aqu
1
u(t, x) =
2
eixs es
2 t
f (s)ds.
2 t
)=
2
1 ex /4t
2t
deducimos que
1 (xy)2 /4t
e
f (y)dy
2t
Denamos
G(t, x)=
1
2
ex /4t
4t
que se conoce como la funcin de Green de la ecuacin (EC). Vemos entonces que
u(t, x) =
1
2
f () cos(s( x))es
2 t
dds
t0
0
si x > 0
+ si x = 0
G
ex /4t x2
1
=
2
t
2t
4t 4t
2
x2 /4t
x
e
=
2t 4t 2t
2
G
x ex /4t
=
x
2t 4t
2
2G
ex /4t
1 G
x2
=
1 =
2x
t
2t 4t 2t
de modo tal que G(t, x) puede interpretarse como la solucin de
(EC)
ut = uxx
(CI)
u(0, x) = (x)
Asimismo vy (x, t) = G(t, x y)f (y) puede verse como solucin de
(EC)
ut = uxx
(CI)
u(0, x) = (x y)f (y)
es decir
ut = uxx
(CI)
u(0, x) =
Formalmente:
(1)
f (y)G(t, x y)dy =
G
f (y)
(t, x y)dy =
t
2
x2
(2)
l
m
t0
f (y)G(t, x y)dy
f (y)
2G
(t, x y)dy
x2
260
17.1.2.
u(t, 0) = 0
t>0
(17.1)
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) =
w(x)
x0
w(x) x < 0
u(t, x)
x>0
u(t, x) x < 0
v(0, x) = f (x),
t>0
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
1
f (s) =
2
is
f ()e
1
= [
2
1
=
2
2i
=
2
1
d = [
2
2i sen(s)
f () sen(s)d
0
f ()e
0
f ()eis d]
f () [eis eis ] d
0
is
f ()eis d +
d +
f ()eis d]
1
v(t, x) =
2
=
isx s2 t
1
f (s)ds =
s2 t isx
f () sen(s) sen(sx)es
0
2 t
f ()i sen(s)d]ds
2 t
dsd
dsd
17.1.3.
(t, 0) = 0
t>0
x
Para tratar este problema conviene utilizar la nocin de extensin par de una funcin w :
[0, ) R, que denotamos por w : R R
w(x) =
w(x)
x0
w(x) x < 0.
v(t, x)
x0
v(t, x) x < 0
v(0, x) = f (x)
Por otro lado, si resolvemos la ecuacin para v y encontramos que v es par, derivable y que
v
(t, 0) = 0, entonces tenemos la solucin de (17.2) (restringiendo v a [0, )).
x
Ejercicio. Probar que
2
v(t, x) =
f () cos(s) cos(sx)es
0
2 t
dsd.
262
17.1.4.
u(x, ) = 0
<x<
(17.3)
uxx + uyy = 0
y por lo tanto
s2 u +
2u
2u
2
y
y
a(s) = 0 s > 0
u(s, y) = f(s)ey|s|
u(s, ) = 0
b(s) = 0 s < 0
u(s, 0)
de donde
1
u(x, y) =
2
f (x z)
2 y
dz =
y2 + z2
y
2
y 2 +x2
resulta
1 y
f (x z)dz
y2 + z2
Denamos
G(x, y)=
1
y
,
2 + x2
y
f (x z)G(z, y)dz =
f (z)G(x z, y)dz
(17.4)
263
0
x=0
+ x = 0
l G(x, y) =
m
y0
2)
G(x, y)dx = 1
3)
G 2G
+
=0
x2
y 2
Interpretar G como solucin de (17.3) con condicin de borde u(x, y) = (x), e interpretar la
frmula (17.4).
17.2.
Esta seccin fue extrada casi por completo del apndice del libro [2], que aparece en la
bibliografa.
Supondremos, en esta seccin, que el lector est familiarizado con las nociones bsicas relativas a la transformada de Laplace, la cual le asigna a una funcin u(x, t), denida para t 0,
la funcin
+
U(x, s) =
(17.5)
(17.6)
(17.7)
(17.8)
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
1
U(x, s) =
2 s
s|x|
()d.
(17.9)
264
que calcular la transformada inversa de (1/ s)e s|x| . Como se sabe, esta integral se puede
calcular evaluando la integral de (17.9) por un clculo de residuos. Resulta que
(x)2
1
u(x, s) = e 4t
2 t
(17.10)
(17.11)
(17.12)
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
U(x, s) =
K
x
+
s
x
s(s + 1)
U(0, s) =
0
u(0, t)estdt = 0
265
x
s(s + 1)
1
(s, t) [sU(s, t)] = 2
t
s
s
y se observa que no hay ningn adelanto.
Ejemplo 2. Sea
ut = uxx 0 < x < L t > 0
u(x, 0) = 0 0 x L
u(0, t) = K ux (L, t) = 0 t 0
(17.13)
(17.14)
(17.15)
(17.16)
(17.17)
(17.18)
cosh((L x) s)
U(x, s) = K
s cosh(L s)
U(0, 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):
u(x, t) = K
n=1
1
2 2
2
e(2n1) at/4L sen[(2n 1)x/2L]
2n 1
266
17.3.
Ejercicios
17.4.
Problemas
Problema 17.1. La mezcla de dos uidos en un tubo innitamente 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(x, t) =
f (y)G(x y, t)dy.
17.4. PROBLEMAS
267
ut (x, 0) = 0,
< x <
t > 0,
0<x<
t>0
y que la distribucin inicial de temperaturas esta dada por una funcin f (x), es decir
u(0, x) = f (x),
0 < x < .
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.
< x < .
Use el mtodo de la Transformada de Fourier (suponiendo que las transformadas existen) para
demostrar que
1
u(x, t) =
f (x th + 2y t) exp(y 2 )dy.
268
x R; t > 0
utt = 16uxx
1
(eo)
xR
u(0, x) = 2
x 9
ut (0, x) = 0
xR
1
3
sen(3|s|) cos(4st).
2
f (s) =
2
Indicacin: Recuerde que F
1
x2 +1
x
(x2 +1)2
|s|
se .
2
|s|
e .
2
(s) =
(b) Las vibraciones u = u(t, x) de una varilla innita satisfacen la ecuacin de elasticidad
siguiente:
utt + 2 uxxxx = 0,
t > 0, < x < + ( > 0).
Suponga que
i
2
|s|
se cos(s2 t)
2
0 < x < ,
0<y<1
17.4. PROBLEMAS
269
0<y<1
y
u(x, 0) = 0,
donde
f (x) =
con c > 0.
0<x<
u(x, 1) = f (x),
1 0 < x < c,
0
x c,
Problema 17.8. 5
2
a
.
a2 +s2
x R; t > 0
utt = 16uxx
u(0, x) = exp(|x|) x R
(eo)
ut (0, x) = 0
xR
Pruebe que la transformada de Fourier de u(t, ) es u(t, s) =
cos(4st)/[1 + s2 ].
(c) Calcule la solucin u(t, x) de (eo). Indicacin: puede usar el teorema de residuos de Cauchy,
o bien las propiedades algebraicas de la TF.
Problema 17.9.
(x2
1
.
+ a2 )2
(17.19)
270
1. Encuentre la funcin de Green G(x, t) de (17.19). (i.e. tal que u(x, t) = (f () G(, t))(x)).
1
2
2
Indicacin: use que g(x x0 )(s) = eisx0 g(s), y que F 1 (eas )(x) = ex /4a .
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.
3. Suponga que cuando 0, la funcin u(x, t) (que depende de ) converge. Identique
la funcin lmite.
Problema 17.11.
1. Sea f (x) =
x2
2. Sea G(x, y) =
a
, con a > 0. Demuestre que f (s) =
+ a2
a|s|
e
.
2
1
y
, con x R, y > 0. Si f : R R es integrable, denamos
2 + y2
x
u(x, y) = G(, y) f () =
1
y
f (x w)dw =
w2 + y 2
y
f (w)dw.
(x w)2 + y 2
(17.20)
x R, y > 0
uxx + uyy = 0,
u(x, 0) = f (x),
xR
(17.21)
u(x, y) 0,
y , x R.
Indicaciones:
Le ser de ayuda el Teorema de convolucin (f g(s) = 2 f (s)g(s)), y la transformada calculada en el inciso a).
b) Tome transformada de Fourier -con respecto a x- en la ecuacin (17.21) para convertirla en una EDO (ms condicin de borde). Verique que este sistema es satisfecho
por la funcin u(s, y) encontrada en el inciso anterior.
17.5.
Resolucin de problemas
(17.22)
271
(17.23)
2 ibs)t
u(s, 0) = e(s
2 ibs)t
f (s)
1
u(x, t) =
2
eixs e(s
2 ibs)t
f (s)ds
1
4t
1
4t
(xbty)2
4t
f (y)dy
(xy)2
4t
f (y bt)dy
(17.24)
1
2
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
ex /(4t) de donde se sigue que
anterior tomando b = 0) dada por G0 (x, t) =
4t
G(x, t) = G0 (x tb, 0), de donde se obtiene que u(x, t) = y(x tb, t), teniendo en
cuenta la denicin de convolucin.
de donde deducimos que G(x, t) =
Otra forma de probar esto (asumiendo que las soluciones son nicas) es vericar
directamente que y(x bt, t) satisface la ecuacin (17.22), y es por lo tanto igual a
u.
3. Suponiendo que l u(x, t) existe, para identicar este lmite, podemos observar que
m
0
272
eisx
R
x2
a|s|
e
.
2
a
+ a2
a
es un cociente de polinomios con grados 0 (en el numerador) y 2
x2 + a2
(en el denominador), cuyos polos son {ia, ia}.
Segn el teorema visto en clase, para integrar con s > (i.e. s < 0) se debe tomar
ia, y en el caso s > 0 se usa ia. Es decir:
Si s < 0 se tiene
a
a
eisx 2
= 2iRes(eisx 2
, ia)
2
x +a
z + a2
R
a
= 2i esa
2ia
sa
= e
La funcin
x2
a
a
= 2iRes(eisx 2
, ia)
2
+a
z + a2
a
= 2i esa
2ia
sa
= e .
a
= e|s|a .
x2 + a2
(17.25)
y
1
, con x R, y > 0. Si f : R R es integrable, denamos
2 + y2
x
1
1
y
f (x w)dw =
2 + y2
w
y
f (w)dw.
2
2
(x w) + y
(17.26)
Verique que u(x, y) es solucin de la siguiente EDP estacionaria en el semiplano
superior:
x R, y > 0
uxx + uyy = 0,
u(x, 0) = f (x),
xR
(17.27)
u(x, y) 0,
y , x R.
u(x, y) = G(, y) f () =
Indicaciones:
273
y|s|
1
e
= ey|s|
2
2
(17.28)
s R, y > 0
s2 u + uyy = 0,
(17.29)
u(s, 0) = f(s),
sR
u(s, y) 0,
y , s R.
Veriquemos que nuestra funcin dada por (17.28) resuelve este sistema:
2
uyy (s, y) = y (e|s|y )f (s) = s2 e|s|y f (s) = s2 u(s, y),
274
Parte V
Apndices
275
Apndice A
Curvas en R3
A.1.
Curvas
r(t)
I
Adems, diremos que una curva es
1) Suave: si admite una parametrizacin de clase C 1 .
2) Regular : si admite una parametrizacin r() de clase C 1 tal que
t I.
dr
(t)
dt
3) Simple: si admite una parametrizacin de clase C 1 que sea inyectiva (i.e. no hay puntos
mltiples).
4) Cerrada: si admite una parametrizacin r : [a, b] Rn de clase C 1 tal que r(a) = r(b).
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
APNDICE A. CURVAS EN R3
278
Ejemplo A.1.2. Consideremos la curva descrita por un punto solidario a una rueda de radio
R que gira sin resbalar y que se encuentra a una distancia a del centro de la rueda. Cuando
a = R a esta curva se le conoce bajo el nombre de cicloide.
R
t
a
p
Figura A.1: Trayectoria de un punto sobre una rueda que gira sin resbalar
Su parametrizacin viene dada por
r(t) = (Rt, R) (a sen t, a cos t) = (Rt a sen t, R a cos t),
donde a es la distancia del punto al centro de la rueda.
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. El caso crtico es el de la cicloide con a = R, pues
se verica que la trayectoria es simple pero no es regular (justique). Es importante observar
que la parametrizacin sigue siendo 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.
A.1. CURVAS
279
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
a
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 gura.
h
r
0
A.1.1.
APNDICE A. CURVAS EN R3
280
r1
r2
A.1. CURVAS
281
A.1.2.
Sea una curva simple y regular. Sea r : [a, b] Rn una parametrizacin regular de . Con
el n de denir la longitud de procedemos a aproximarla por una poligonal a travs de los
puntos r(t0 ), r(t1 ), . . . , r(tN ) donde a = t0 < t1 < . . . < tN = b es una malla de puntos.
r(t1 )
r(t8)
L()
r(t7 )
8
i=1
r(ti ) r(ti1 )
r(t0)
N 1
i=0
dr
dt.
dt
L() :=
a
dr
dt
dt
(A.1)
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 denido.
Sea una curva simple y regular, y r : [a, b] Rn una parametrizacin regular. Denimos
la funcin longitud de arco s : [a, b] [0, L()] como
t
s(t) :=
a
dr
( ) d
dt
(A.2)
APNDICE A. CURVAS EN R3
282
r(t)
s(t)
r(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 gura.
Claramente, s() resulta ser una funcin de clase C 1 con
ds
dr
(t) =
(t) > 0
dt
dt
En consecuencia, s() es una funcin estrictamente creciente, con lo cual resulta ser una biyeccin, 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 inversa, 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
(s) = r(t(s)), s [0, L()]
Por el teorema de la funcin inversa, notemos que
dt
(s) =
ds
1
dr
(t(s))
dt
> 0.
s
s
1
4R
4R
1 1
s
4R
,1 1
s
4R
s [0, 8R].
A.1. CURVAS
A.1.3.
283
Denicin A.1.11. Consideremos r : [a, b] Rn una parametrizacin regular de una curva simple . Denimos el vector velocidad, la rapidez y el vector tangente, respectivamente,
mediante
v(t) =
dr
(t),
dt
v(t) =
ds
dr
(t) = (t),
dt
dt
T (t) =
v(t)
dr
= (t)
v(t)
dt
dr
(t) ,
dt
(A.3)
v(t)
T(t)
r(t)
d
(s)
ds
(A.4)
debido a que d (s) = 1. Esto nos permite interpretar la parametrizacin natural como aquella
ds
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
dr1
( )
d
dr
d
dr1
( ) = (( )) ( )
d
dt
d
dr
(( ))
dt
d
( ) = signo
d
d
d
T (( )).
dr
(t)/ dr (t)
dt
dt
d
ds
APNDICE A. CURVAS EN R3
284
A.2.
A.2.1.
Denicin A.2.1. Sea una curva simple y regular en Rn , y sea f : Rn R una funcin
continua denida en . Denimos la integral de f sobre la curva mediante:
b
f d :=
f (r(t))
a
dr
(t) dt,
dt
(A.5)
N 1
i=0
(A.6)
Usando los mismos argumentos para denir la longitud de arco, podemos mostrar que cuando
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 .
Luego, la masa total del alambre ser
2
M=
0
(1 + t2 )dt =
8
2 2 + 3 .
3
1
M
x d,
yG =
1
M
y d,
zG =
1
M
z d,
285
Ejemplo A.2.3. El centro de masa de la hlice del ejemplo A.2.2 est dado por
2
2
1
1
6
cos t (1 + t2 ) 2 dt =
,
xG =
t2 cos t dt =
8 3
M 0
(3 + 4 2 )
(2 + 3 ) 0
2
2
1
1
6
yG =
sen t (1 + t2 ) 2 dt =
,
t2 sen t dt =
8 3
M 0
(3 + 4 2 )
(2 + 3 ) 0
2
3(1 + 2 2 )
1
1
(2 2 + 4 4 ) =
zG =
t (1 + t2 ) 2 dt =
.
M 0
(3 + 4 2 )
(2 + 8 3 )
3
A.2.2.
En primera aproximacin, la trayectoria de una partcula que se mueve siguiendo la parametrizacin r(t), se aproxima a una recta cuya direccin viene dada (localmente) por el vector
tangente T (t). Cuando estudiamos las variaciones de la velocidad, esto es la aceleracin de la
partcula, vemos que esta se produce ya sea por el cambio en la magnitud de la velocidad, o
bien cambios en la direccin de la velocidad. As por ejemplo, en movimiento rectilneo (T (t)
es constante) la nica aceleracin posible proviene de la variacin de la rapidez y est dada
2s
por d 2 T (t). Por el contrario, en un movimiento a lo largo de una circunferencia de radio R a
dt
velocidad angular constante , la rapidez es constante e igual a R. Sin embargo, por efecto
2
del cambio en la direccin de la velocidad aparece una aceleracin centrpeta de magnitud
R
y que apunta hacia el centro de la circunferencia.
En lo que sigue veremos que en un movimiento general r(t), la aceleracin puede descomponerse en estos dos tipos de aceleraciones: una componente tangencial y una componente de
tipo centrpeta. Para ello identicaremos la circunferencia que mejor aproxima (instantneamente) la trayectoria. Supondremos que todas las parametrizaciones son al menos dos veces
diferenciables.
R
R
dT
(s)
ds
(A.7)
APNDICE A. CURVAS EN R3
286
Cuando (s) > 0 denimos el radio de curvatura y el vector normal, respectivamente como
R(s) :=
1
,
(s)
N(s) :=
dT
(s)
ds
dT
(s)
ds
Notemos que N(s) T (s). En efecto, esto se obtiene de derivar la identidad T (s)
de modo tal que
d
dT
0=
T (s) 2 = 2T (s)
(s).
ds
ds
(A.8)
2
= 1,
=
ds
dt ds
dt
ds
.
dt
En consecuencia
dT
ds
(t)
(t)
dt
dt
1
R(t) =
(t)
dT
dT
N(t) =
dt
dt
(A.9)
(t) =
A.2.3.
(A.10)
(A.11)
N
B
N
B
287
Notemos que
dT
dN
dN
dN
dB
=
N +T
= N N + T
=T
,
ds
ds
ds
ds
ds
obteniendo as que
dB
ds
d
dB
=
ds
ds
1
B
2
= 0,
dB
ds
es proporcional
dB
(s).
ds
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:
ds
dB
(t)/ (t) .
(A.12)
(t) = N(t)
dt
dt
ht
Ejemplo A.2.7. Consideremos la hlice de la gura A.3 parametrizada por r(t) = a(t) + 2 k,
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 (t) = (t) y d (t) = (t). Se tiene que
dt
dt
A.2.4.
N(t) = (t),
dB
h
(t) =
(t),
2 + h2
dt
a
k(t) = a/(a2 + h2 ).
Frmulas de Frenet
Considerando las deniciones dadas en esta seccin, las siguientes relaciones se satisfacen:
(i)
(ii)
(iii)
dT
= N,
ds
dN
= T + B,
ds
dB
= N,
ds
APNDICE A. CURVAS EN R3
288
dT
ds
= 0, es decir, que
r(s) = r(0) +
T0 ds = r(0) + sT0 .
0
dB
ds
dr
d
(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.2.5.
Planos de Frenet
(A.13)
A.3. EJERCICIOS
289
El plano denido 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:
(x r(s)) T (s) = 0.
(A.14)
Se llama plano recticante 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.
x = r(s) + tT (s), t R,
x = r(s) + tN(s), t R,
x = r(s) + tB(s), t R,
(A.16)
(A.17)
(A.18)
Plano Normal
Plano Rectificante
Plano Osculador
T(s)
N(s)
B(s)
Figura A.7: planos osculador, normal y recticante.
A.3.
Ejercicios
1. Parametrizar la curva plana cuyos puntos satisfacen lo siguiente : el producto de las distancias 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.
APNDICE A. CURVAS EN R3
290
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.
4. Calcular la masa del alambre que sigue la interseccin de la esfera x2 + y 2 + z 2 = 1 con
el plano x + y + z = 0 y cuya densidad de masa est dada por la funcin (x, y, z) = x2 .
5. Dada una funcin continua y no nula g : [0, l0 ] R, pruebe que existe una curva plana
de longitud l0 tal que su curvatura est dada por |g|.
s
g( )d, x(s) =
0
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
k(x) =
A.4.
|f (x)|
.
[1 + f (x)2 ]3/2
Problemas
-1
(a) Calcule el vector tangente, normal y binormal, la curvatura y la torsion a la curva en los
puntos donde tenga sentido. Justique brevemente en cuales puntos estas nociones estn
bien denidas.
(b) Calcule adems la parametrizacin en longitud de arco y el largo total de la curva.
Problema A.2.
1
A.4. PROBLEMAS
291
APNDICE A. CURVAS EN R3
292
(b) Calcule el centro de masa suponiendo densidad de masa (x, y, z) = xy. Puede usar
argumentos de simetra.
Problema A.5.
[, ]
ds
Problema A.8. 7 Sea : [a, b] R3 la parametrizacin de una curva regular R3 . Denotemos 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) = 0 y (t) = 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.
Control
Control
6
Control
7
Control
4
5
1.
1.
1.
1.
Primavera
Primavera
Primavera
Primavera
1999.
2000.
2001.
2002.
Matemticas
Matemticas
Matemticas
Matemticas
Aplicadas.
Aplicadas.
Aplicadas.
Aplicadas. Prof: Felipe lvarez
A.4. PROBLEMAS
293
(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), verique 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 ti +
[cos t + ln tan(t/2)]j.
10
APNDICE A. CURVAS EN R3
294
(b) Pruebe que las rectas normales principales (i.e. aquellas que pasan por r(s) y tienen
como direccin al vector normal N(s)) cortan el eje z en un ngulo constante igual
a /2. Calcule la curvatura = (s) y la torsin = (s) de C, y verique que
/ = a/b.
Indicacin: Puede utilizar la siguiente frmula vlida para la parametrizacin en
1
longitud de arco: (s) = (s)2 [r (s) r (s)] r (s).
2. Sea : [0, L] R3 la parametrizacin en longitud de arco de una curva simple y regular
R3 . Suponga que s [0, L], (s) = 0 y (s) = 0. Diremos que es una hlice
si existe una direccin ja d0 tal que todas las rectas tangentes a forman un ngulo
constante con d0 . De esta forma, la curva C de la parte (1) es un caso particular de una
hlice con d0 = k.
(a) Pruebe que es una hlice si y slo si las rectas normales principales son paralelas
a un plano jo.
(b) Pruebe que es una hlice si y slo si / cte.
Problema A.12.
11
Sea : [0, L()] R3 una parametrizacin en longitud de arco de una curva simple y
regular . En lo que sigue T, N, B denotan el triedro de Frenet y , la curvatura y la torsin
respectivamente. Sea S = {(x, y, z) : x2 + y 2 + z 2 = 1} la esfera unitaria y suponga que
verica:
s [0, L()], (s) S y N(s) coincide con el vector normal interior de S
(A.20)
(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 explcita para (s).
(c) Qu sucede si en (A.20) se reemplaza normal interior por normal exterior?
A.5.
Resolucin de Problemas
( cos , sen , 0)
(cos , sen , 0)
11
295
3
.
2
N() =
< <
3
,
2
B() = T N =
Y para
<<
3
2
i
j
k
cos sen 0
sen cos 0
= (0, 0, 1).
< < 2:
B() = T N =
i
j
cos sen
sen cos
k
0
0
< <
3
2
<<
k() =
3
2
< < 2:
dT
dr
/
= 1.
d
d
= (0, 0, 1).
APNDICE A. CURVAS EN R3
296
La torsin se calcula para 0 < <
k() =
dB
d
< <
3
2
como:
N()
= 0 N() = 0.
dr
| d |
s(t) =
0
3
dr
|d =
|
d
2
1
lo cual implica que t(s) = 2 arc cos(1
t
0
3
sen 2d = (1 cos(2t)),
4
4s
).
3
Obteniendo
1
4s
1
4s
r(t(s)) = (cos3 ( arc cos(1 )), sen3 ( arc cos(1 )), 0).
2
3
2
3
Por lo tanto, el largo de la curva es l() = 6.
Apndice B
Area e integral de supercie
El rea de un paralelgramo denido por los vectores a y b est dada por a b , lo cual se
desprende de la siguiente gura:
En resumen
A = a b | sen | = a b
(B.1)
Luego, para aproximar el rea de una supercie procedemos a subdividir en pequeas celdas
como se indica en la siguiente gura:
z
v
r(, )
S
y
298
r(ui , vj ) +
r(, )
r
u
u
v
vj
ui
r
v
v
r(ui , vj )
r
u
u
De esta manera, podemos estimar el area (A)ij de la regin ennegrecida como sigue
(A)ij
r
r
r
r
uv.
(ui , vj )u
(ui , vj )v =
u
v
u v
Sumando se tiene
A(S) =
i,j
(A)ij
i,j
r
r
uv.
u v
A(S) =
D
Denicin B.0.2. Sea S una supercie simple y regular, y r : D R2 R3 una parametrizacin regular de sta. Si : R3 R es una funcin escalar continua denida en un abierto
que contiene a S, denimos la integral de supercie de sobre S mediante:
dA =
S
(r(u, v))
r
r
(u, v)
(u, v) dudv.
u
v
Notemos que los conceptos antes denidos no dependen de la parametrizacin regular elegida,
es decir, si r1 = r es una reparametrizacin de la supercie S, donde : D1 R2 D es
un difeomorsmo ( y 1 de clase C 1 ), entonces
(r1 (s, t))
D1
r1
r1
(s, t)
(s, t) dsdt =
s
t
(r(u, v))
D
r
r
(u, v)
(u, v) dudv,
u
v
299
con lo cual la integral
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
=
+
;
s
u s
v s
r1
r u r v
=
+
.
t
u t
v t
s t
s t
r
r
r1 r1
s
t
u v
r1 r1
dsdt =
s
t
(r((s, t)))
u v
v u
dsdt,
s t
s t
r
r
u v
D1
D1
(r(u, v))
r
r
dudv.
u v
| det J |
dA
S
sea simple y regular con el n 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.
Notemos que si representa densidad supercial de masa o carga elctrica, la integral
dA
S
1
M
x dA;
yG =
1
M
donde M =
y dA;
zG =
1
M
dA y dA =
S
notacin vectorial
rG =
r
u
1
M
r
v
z dA,
(B.2)
(B.3)
En otras palabras, intuitivamente se tiene que el diferencial de masa est dado por dm = dA.
Observacin B.0.4. Las deniciones establecidas en esta seccin pueden extenderse trivialmente al caso de una supercie S regular por trozos.
Ejemplo B.0.5. Calculemos el rea la supercie de una esfera
300
z
R
x
cuya parametrizacin sabemos que est dada por
[0, 2), [0, ].
R sen R dd
R2 | sen | dd = 4R2 .
=
0
r
r
dd =
A(S) =
y cuya parametrizacin es x
r(, ) =
cos , sen ,
h
a
A(S) =
0
0
a
=
0
r r
dd =
h
k dd =
a
a
0
+ k dd
1+
h
a
d = a a2 + h2 .
301
Ejemplo B.0.7. Calculemos nalmente el rea de la supercie de un Toro de radios (R, a),
donde a < R.
R
r
r
dd =
A(S) =
0
0
2
2
0
2
(R + a sen ) a dd
A(S) =
ddr =
r r +
r
2
0
0
0
0
a
=
0
rk
h
ddr =
2
r2 +
0
h
2
2a
h
h2
=h
dr =
1+
1 + u2 du
2 0
0
2a
h2 1
h
=
u 1 + u2 + ln u + u2 + 1
0
2 2
2
2
2a
2a
2a
h 2a
1+
+ 1+
+ ln
=
4
h
h
h
h
2r
h
ddr
302
m=
0
B.1.
1+
r2
1+
r 2 ddr
a3
(1 + r )dr = 2 a +
3
2
= 2
0
1 + x2 + y 2 ,
Ejercicios
A(S) =
1+
a
f
x
f
y
dxdy.
5. Sea f : R R una funcin de clase C 1 tal que f (v) = 0 para todo v R. Considere
la supercie parametrizada por r(u, v) = ui + f (v)j + f (v)2 k. Determine la ecuacin del
plano tangente a la supercie en el punto r(u0 , v0 ). Pruebe que este plano contiene al eje
OX si y slo si f (v0 ) = 0.
6. Determine la masa total del casquete esfrico x2 + y 2 + z 2 = R2 , z 0, suponiendo
densidad supercial de masa (x, y, z) = x2 + y 2 .
7. Considere la porcin de la supercie cilndrica x2 + y 2 = R2 que se encuentra entre
los planos z = 0 y z = R x. Bosqueje y calcule el centro de masa de suponiendo
densidad supercial de masa constante igual a 0 .
8. Calcule el centro de masa de la supercie denida por z = x2 + y 2, 1 x2 + y 2 2, con
densidad supercial de masa (x, y, z) = 1 + 4x2 + 4y 2.
9. Determine el rea de la supercie parametrizada por (u, v) = (u2 , uv, v 2/2) donde 0
u 1, 0 v 3.
B.2. PROBLEMAS
B.2.
303
Problemas
A(Rf ) =
1 + f (x)2 f (x)dx
z
y
A(Sf ) =
b
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 denicin 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
304
(a) Encuentre una parametrizacin regular de S y obtenga un campo de normales a S. Bosqueje S en un grco.
(b) Calcule la masa y determine el centro de masa de S, asumiendo una densidad supercial
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)].
(a) Bosqueje la supercie .
(b) Calcule la normal n = n(s, ) a la supercie.
(c) Demuestre que el rea de es A() = 2aL(C).
Problema B.7.
I=
305
(a) Pruebe que el plano tangente a S en el punto (x0 , y0 , z0 ) S est dado por
1.
xx0
+ yy20 + zz20
a2
b
c
(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 xa0 = yb0 = zc0 .
x
y
z
(c) Verique que las proyecciones ortogonales del origen sobre los planos tangentes a S satisfacen la ecuacin a2 x2 + b2 y 2 + c2 z 2 = (x2 + y 2 + z 2 )2 .
B.3.
Resolucin de Problemas
S (z, ) = f (z) + z k,
dudv.
u
v
A(S) =
S
5
6
306
= f (z) + k.
z
S
= f (z),
Luego
S
S
Concluyendo que
b
S
S
z =
2f (z) 1 + f (z)2 dz
a
= + f (x)k
x
S
= x.
Por lo tanto,
S
S
= xk + xf (x)(),
x
2 , concluyendo que
cuya norma es igual a |x| 1 + f (x)
b
x 1+f
a
(x)2 x
2x 1 + f (x)2 dx.
=
a
(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 supercie es simtrica, podemos considerar z > 0 y 0 < < , para despus multiplicar el
2
= a
z
cuya norma es igual a a. Por lo tanto,
a cos()
az = a
0
2
a cos() = a2 sen()|0 = a2
Apndice C
Diferencial de volumen
El objetivo de esta seccin es describir el diferencial de volumen para un sistema de coordenadas curvilneas ortogonal arbitrario. Para esto, consideremos el paralelgramo denido por
dos vectores a y b
ab
ab
h= c
(ab)
ab
a
b
= |c (a b)|.
308
Notemos que c (a b) = det(a, b, c).
1 dV =
dxdydz,
siempre que la integral exista. Decimos entonces que el elemento de volumen en cartesianas
viene dado por dV = dxdydz.
Supongamos ahora que hemos descrito el conjunto mediante un sistema de coordenadas
(u, v, w) r(u, v, w) con D = r 1 (). La frmula de cambio de variables para la integral de
una funcin integrable f : R3 R viene dada por
f=
(f r)|Jr|
(C.1)
r r r
, ,
u v w
dudvdw.
det
r r r
, ,
u v w
dudvdw =
r
r
u v
dudvdw.
r
r
r
(
) dudvdw,
w u v
(C.2)
r
dv
v
dw
du
dv
r
du
u
r
= hv v
r
= hw w,
r
r
r
(
) = hu hv hw ,
w u v
309
y por lo tanto, se concluye de (C.2) que en este caso se tiene
(C.3)
dV = hu hv hw dudvdw.
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
hu du
r(u, v, w)
hv dv
u
Ejemplo C.0.1. Calculemos el diferencial de volumen para los sistemas de coordenadas cilndricas, esfricas y toroidales.
Coordenadas cilndricas (, , z).
Tenemos que h = 1 , h = , hz = 1, por lo tanto dV = dddz.
dz
dV = d d dz
d
d
310
Coordenadas esfricas (r, , ).
dV = r 2 sen dr d d
r d
dr
r sen d
Coordenadas toroidales:
(C.4)
Apndice D
Tpicos adicionales en EDPs
D.1.
u
v
=
y
x
en .
(D.1)
En consecuencia,
2v
2u
=
,
x2
xy
2u
2v
=
y 2
yx
en .
Como, en virtud de la continuidad de las derivadas de orden superior, las derivadas cruzadas
de v son iguales, deducimos que
2u 2u
+
=0
x2 y 2
en .
2w 2w
+
,
x2
y 2
en .
Toda funcin de clase C 2 () que satisface esta ecuacin se dice que es una funcin armnica
en .
De manera anloga a lo realizado con u, se deduce que v tambin es armnica en . As,
hemos probado:
Proposicin D.1.1. Si f = u + iv es holomorfa en un dominio entonces u y v son funciones
armnicas en , es decir,
u = v = 0 en .
311
312
D.2.
Ejemplo D.2.1. Consideremos la funcin u(x, y) = xy. Es directo vericar 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 g(y) por determinar. Para encontrar
g(y), imponemos la primera ecuacin en (D.1):
y=
u
x2
v
=
=
+ g(y) = g (y),
x
y
y
2
C R.
(D.2)
u
2y
= 2
y
x + y2
313
y as
2(x2 + y 2) 4x2
2(y 2 x2 )
2u
=
=
x2
(x2 + y 2 )2
(x2 + y 2 )
mientras que
2u
2(x2 y 2 )
2u
= 2
= 2.
y 2
(x + y 2 )2
x
Luego, u = 0 en .
Supongamos que u admite una funcin armnica conjugada v = v(x, y) en , y denamos
la funcin auxiliar : [0, 2] R mediante
(t) = v(cos t, sen t).
Como cos2 t + sen2 t = 1 y v est denida en = D(0, 2) \ {0}, la funcin est bien denida.
Se tiene que
(0) = v(1, 0) = (2).
(D.3)
Adems, es diferenciable con
(t) =
v
v
(cos t, sen t)( sen t) +
(cos t, sen t) cos t, 0 < t < 2
x
y
(t) =
314
Demostracin. Sea (x0 , y0) un punto arbitrario que permanecer jo. Denamos para
todo (x, y)
(x,y)
v(x, y) =
u u
,
y x
dr,
(D.4)
(x0 ,y0 )
(x,y)
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 denida 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
u u
,
y x
dr =
u
x
u
y
dxdy =
udxdy = 0,
(D.5)
+
1
1 (2 )
(2 )
,
2
u u
,
y x
dr =
u u
,
y x
dr,
v
v(x + h, y) v(x, y)
1
(x, y) = l
m
= l
m
h0
h0 h
x
h
u u
,
y x
(x,y)
1
dr = l
m
h0 h
u
(x + t, y) dt.
y
315
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 denamos
(x,y)
(x dx + y dy ).
v(x, y) =
(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
y
x dx +
v(x, y) =
0
y dy =
x2 y 2
y 2 x2
+
=
,
2
2
2
D.3.
Podemos utilizar la teora de funciones holomorfas para deducir propiedades de las funciones
armnicas. Un ejemplo interesante lo constituye el siguiente resultado.
Proposicin D.3.1. Sea u C 2 () una funcin armnica en un abierto no vaco. Sea
(x0 , y0 ) y > 0 tal que D((x0 , y0 ), ) . Entonces, para todo R (0, ),
u(x0 , y0 ) =
1
2
(D.6)
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
f (z0 ) =
1
2i
2
0
f (z0 + Rei )
1
iRei d =
Rei
2
o equivalentemente
u(x0 , y0 ) + iv(x0 , y0 ) =
1
2
316
1
2i
D(z0 ,R)
f (w)
dw.
wz
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
1
2i
1
=
2
1
=
2
f (r, ) =
0
2
0
2
0
f (R, )
Riei d
Rei rei
f (R, ) Rei rei i
Re d
Rei rei Rei rei
f (R, )(R2 rRei() )
d.
R2 + r 2 2rR cos( )
1
2
2
0
1
2
2
0
f (R, )(R2 r 2 )
1
d +
2 + r 2 2rR cos( )
R
2
2
0
2
0
Rei
f (R, )
1
Rei d =
2 /r)ei
(R
i
D(z0 ,R)
f (w)
dw,
wz
D(z0 ,R)
f (w)
dw = 0.
wz
317
f (R, )(R2 r 2 )
d,
R2 + r 2 2rR cos( )
1
2
u(R, )(R2 r 2 )
d,
R2 + r 2 2rR cos( )
1
2
que se conoce como frmula integral de Poisson. Notemos que cuando r = 0, se recupera (D.6).
D.4.
u = 0 en .
1
n r n1
u(x) dA(x),
Br (p)
r [0, R]
1
n
Entonces
df
d 1
u(p + ry) dA(y)
(r) =
dr
dr n B1 (0)
1
d
=
u(p + ry) dA(y)
n B1 (0) dr
1
u(p + ry) y dA(y)
=
n B1 (0)
1
u(p + ry) n dA(y)
=
n B1 (0)
318
ya que sobre la supercie B1 (0) se tiene n(y) = y. Por lo tanto, cambiando de variables
nuevamente
1
df
(r) =
dr
n r n1
1
=
n r n1
Br (p)
u
dA
n
u
Br (p)
= 0,
ya que u es armnica. Luego f es constante y para averiguar cul es esta constante observemos
que
|f (r) u(p)| =
1
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
u(p) =
1
n r n1
u dA =
Br (p)
n
n r n
u dV,
Br (p)
0 < r < R.
D.5.
Teorema D.5.1 (Principio del mximo fuerte). Sea Rn un conjunto abierto, conexo y sea
u : R una funcin armnica no constante. Entonces u no alcanza su mximo ni su mnimo
en .
Demostracin. Supongamos que u alcanza su mximo en , es decir, que existe x0 tal
que
u(x) u(x0 ) x .
Consideremos R > 0 tal que BR (x0 ) . Entonces para todo 0 < r < R por la frmula de la
media deducimos que
1
0=
(u(x0 ) u(x)) dA(x).
n r n1 Br (x0 )
319
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
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 ) = mx u. Repitiendo el argumento anterior se encuentra que u(x) = u(x1 ) para
a
todo x BR (x1 ), y por induccin se prueba que u() = u(x0 ). Luego u es constante en , lo
x
cual es una contradiccin.
Mediante una demostracin anloga se prueba que u no puede alcanzar su mnimo en .
Corolario D.5.2 (Principio del mximo dbil). Supongamos que Rn es abierto, conexo y
acotado y que u : R es continua y armnica en . Entonces
a
mx u = mx u
a
(D.7)
y
m u = m u.
n
n
(D.8)
D.6.
(D.9)
320
Denamos
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
(D.10)
mx u = mx u,
a
a
T
QT
y
m u = m u.
n
n
T
QT
Observacin D.6.2. Este teorema se conoce como el principio del mximo dbil para la ecuacin 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.
Demostracin. Probaremos que si 0 < S < T entonces
mx u = mx u.
a
a
S
QS
u(t, x) + x
= mx
a
(t,x)S
u(t, x) + x
321
De aqu se deduce
a
mx u(t, x) mx
a
(t,x)S
(t,x)QS
u(t, x) + x
mx u(t, x) +
a
(t,x)S
mx
a
(t,x)S
y haciendo 0 obtenemos
mx u(t, x) mx u(t, x).
a
a
(t,x)QS
(t,x)S
(t,x)S
(D.10).
D.7.
ut u = f en (0, T )
u = sobre (0, T )
u(0, ) = u0 en .
La demostracin es una aplicacin directa del teorema D.6.1.
D.8.
Ejercicios
1. Verique 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 .
322
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 denidos por F = v + u y G = u v
i
j,
i
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 ,
denimos 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 ,
utilizando el siguiente esquema
a) Pruebe la siguiente frmula: si u, v C 1 () C 2 () entonces
uv =
u
v
n
uv,
(D.11)
D.9. PROBLEMAS
323
en .
d
u((t))
dt
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 .
Dena
E(t) =
|u(t, )|2
y pruebe que
d
E(t) = 2
dt
ut (t, )2 0.
324
D.10.
Resolucin de problemas
2w
= xuyy yvyy vy vy
y 2
= xuyy + yvyy 2vy
de donde se tiene
w = x(uxx + uyy ) y(vxx + vyy ) + 2(ux vy )
= xu yv + 2(ux vy ).
Y por otra parte:
q
= yux + xvx + v
x
2q
= yuxx + xvxx + vx + vx
x2
= yuxx + xvxx + 2vx
q
= yuy + u + xvy
y
2q
= yuyy + uy + uy + xvyy
y 2
(D.12)
325
(D.13)
En conclusin :
(zf (z)) = w + iq
= xu yv + 2(ux vy ) + i(yu + xv + 2(uy + vx )).
(D.14)
v
y
v
x
2v 2v
+
x2 y 2
u
u
+
y
y x
=0
v =
=
=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.
326
Bibliografa
[1] J. Bak, D.J. Newman, Complex Analysis, Springer-Verlag, New York, 1997.
[2] A. Castro, Curso bsico de ecuaciones en derivadas parciales, Addison-Wesley Iberoamericana, 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 Continental, Mxico D.F., 1994.
[6] C. Pita Ruiz, Clculo vectorial, Prentice Hall Hispanoamericana, 1995
[7] A.D. Wunsch, Variable compleja con aplicaciones, Addison-Wesley Iberoamericana, Buenos
Aires, 1997.
327