Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Calculo Vectorial, Variable Compleja y Ecuaciones en Derivadas Parciales - Universidad de Chile
Calculo Vectorial, Variable Compleja y Ecuaciones en Derivadas Parciales - Universidad de Chile
ii
Hctor Ramrez C.
hramirez@dim.uchile.cl
Prefacio
R
El clculo vectorial en n , y el clculo diferencial e integral de funciones de variable compleja son materias
fundamentales del anlisis matemtico, tanto por su inters en matemticas puras como por su utilidad para
modelar y resolver problemas en ingeniera. Una gran variedad de estos ltimos se expresan en trminos de
ecuaciones en derivadas parciales (EDP), para cuya resolucin los mtodos basados en variable compleja son de
gran eficacia.
El objetivo de estos apuntes es proporcionar los elementos bsicos del clculo vectorial, de la teora de funciones
de variable compleja e ilustrar su utilizacin en la resolucin de ecuaciones en derivadas parciales, tal como se
expone en el curso de Matemticas Aplicadas. Esta es una de las asignaturas del segundo ao 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 beneficiado de una activa participacin de los Profesores Hctor Ramrez Cabrera y Juan Diego Dvila.
Buena parte del material referente a la teora de EDP se debe a este ltimo. Agradezco a todos ellos las mltiples
e interesantes discusiones que hemos tenido sobre diversos aspectos del curso.
Mis ms sinceros agradecimientos a Miguel Carrasco y Claudio Pizarro, quienes participaron activamente en
la confeccin de este apunte al transcribir en LaTeX buena parte de las notas manuscritas, elaborar todas las
figuras y sugerir varias ideas para mejorar la presentacin. Sin ellos, la versin actual de los apuntes no existira.
Tambin debo agradecer a Regina Mateluna por su eficiente y siempre bien dispuesta colaboracin.
Finalmente, quisiera agradecer el financiamiento proporcionado por el Departamento de Ingeniera Matemtica
de la Universidad de Chile y por el proyecto Fondef IDEA+.
Felipe Alvarez
Agosto 2005
iii
iv
ndice general
I
Clculo Vectorial
1. Curvas y superficies en
R3
1.1. Curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
12
13
13
14
15
16
17
18
19
1.3. Superficies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
23
26
27
32
1.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33
NDICE GENERAL
vi
2. Integracin de campos vectoriales
39
41
43
43
46
2.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
49
3. Divergencia y rotor
II
39
55
55
59
59
60
62
67
69
70
3.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
71
4. El plano complejo
77
79
79
80
82
5. Continuidad y derivacin
85
85
86
88
5.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
89
91
91
93
93
94
94
95
97
6.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
97
NDICE GENERAL
vii
101
113
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
119
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
137
151
III
157
159
NDICE GENERAL
viii
173
. . . . . . . . . . . . . . . . . . . . . . . . . . 176
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194
199
NDICE GENERAL
15.Tpicos adicionales en EDPs
ix
213
NDICE GENERAL
Parte I
Clculo Vectorial
Captulo 1
Curvas y superficies en
1.1.
R3
Curvas
La nocin de curva es la formalizacin matemtica de la idea intuitiva de trayectoria de una partcula. Por esta
razn los casos n = 2 y n = 3 juegan un rol principal en lo que sigue.
~r(t)
Definicin 1.1.1. Un conjunto n se llamara curva si existe una funcin continua ~r : [a, b]
llamada parametrizacin de la curva, tal que
= {~r(t) : t [a, b]}.
Luego, diremos que la curva es
1) suave: si admite una parametrizacin de clase C 1 .
r
2) regular: si admite una parametrizacin suave ~r tal que k d~
dt (t)k > 0, para todo t I.
Rn,
R3
Ejemplo 1.1.2. . Se define la cicloide como la curva descrita por un punto solidario a una rueda (de radio R)
que gira sin resbalar.
R
t
a
p
a=R
a>R
1.1. CURVAS
Ejemplo 1.1.3. La funcin ~r(t) = (a cos t, b sen t), t [0, /2] parametriza el cuarto de elipse que se ve a
continuacin
p
1 (x/a)2 ), x [0, a].
ht
), t [0, 4] parametriza una hlice, que realiza 2 vueltas
Ejemplo 1.1.4. La funcin ~r(t) = (a cos t, a sen t, 2
llegando a una altura h, como se ve en la proxima figura
h
~r
0
Podemos pensar que la hlice es una trayectoria que sigue el contorno de un cilindro dado (en este caso de radio
a y altura h).
Insistamos que una curva es un conjunto, que no debe confundirse con la parametrizacin que la define. De
hecho, una curva admite muchas parametrizaciones tal como vimos en el ejemplo 1.1.3. Intuitivamente, una
misma curva puede diferentes maneras y con distintas velocidades.
1.1.1.
Definicin 1.1.5. Dos parametrizaciones ~r1 : [a, b] n y ~r2 : [c, d] n de una misma curva se dicen
equivalentes si existe un cambio de variables continuo y biyectivo : [a, b] [c, d] tal que ~r1 (t) = ~r2 ((t)) para
todo t [a, b]. En este caso, la funcin se llamar reparametrizacin.
Una funcin continua y biyectiva definida en un intervalo ser necesariamente creciente o decreciente. En el
primer caso diremos que la reparametrizacin preserva la orientacin, mientras que en el segundo caso diremos
que la invierte.
La definicin anterior conlleva naturalmente a preguntarnos lo siguiente
R3
~r1
~r2
1.1.2.
Sea una curva simple y regular. Sea ~r : [a, b] n una parametrizacin regular. Con el fin de definir 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.
Intuitivamente, cuando el peso de la malla ({ti }) = max(ti+1 ti ) tiende a cero, la longitud de la poligonal
converge hacia el largo de la curva .
1.1. CURVAS
~r(t1 )
~r(t8)
L()
~r(t7 )
P8
i=1
k~r(ti ) ~r(ti1 )k
~r(t0)
Definicin 1.1.7. Sea una curva simple y regular. Sea ~r : [a, b]
la longitud de por:
Z b
d~r
d
L() =
d
a
n1
P
k~r(ti+1 ) ~r(ti )k converge cuando el paso ({ti }) tiende a cero, hacia la
Proposicin 1.1.8. La suma
i=0
R b
d~r
integral a
d
d. El valor de esta integral no depende de la parametrizacin regular ~r, y en por lo tanto el
largo de est bien definido.
~r(t)
s(t)
~r(a)
Intuitivamente s(t) es el recorrido hasta el instante t. Claramente
d~r
ds
(t) =
d
> 0
dt
con lo cual s(t) es una biyeccin estrctamente creciente con s y s1 de clase C 1 . Denotaremos por t : [0, L()]
[a, b] la funcin inversa de s, la cual nos permite reparametrizar la curva usando como parmetro la longitud
de arco o camino recorrido, vale decir
~r1 (s) = ~r1 (t(s)), s [0, L()]
1
> 0 con lo cual la reparametrizacin preserva la orientacin. Es fcil ver que cualquier
d~
r
k d
k
otra parametrizacin regular conduce a la misma parametrizacin en longitud de arco (salvo orientacin) por lo
cual esta puede ser considerada como parametrizacin cannica. La llamaremos parametrizacin natural o en
longitud de arco
Notemos que
dt
ds (s)
Ejemplo 1.1.10. Encuentre la parametrizacin natural de la cicloide ~r(t) = R(t sen t, 1 cos t), t [0, 2]
Respuesta:
s
s
1
~r1 (s) = 2R arc cos 1
4R
4R
s 2
s 2
1 1
,1 1
4R
4R
s [0, 8R].
ht
Ejercicio: Encontrar la reparametrizacin en longitud de arco para la hlice ~r(t) = (a cos t, a sen t, 2
), t [0, 4].
1.1.3.
R3
Definicin 1.1.11. Consideremos ~r : [a, b] n una parametrizacin regular de una curva simple . Definimos
el vector velocidad, la rapidez y el vector tangente, respectivamente, mediante
~v (t) =
donde s : [0, l()]
d~r
(t),
dt
v(t) = k
d~r
ds
(t)k = (t),
dt
dt
T (t) =
~v (t)
d~r
d~r
=
(t)/k (t)k,
v(t)
dt
dt
(1.3)
r(t)
d~r
(s)
ds
(1.4)
r
debido a que k d~
ds (s)k = 1. Esto nos permite interpretar la parametrizacin natural como aquella que se obtiene
al recorrer la curva con velocidad constante unitaria, y adems nos indica que el vector tangente slo depende
del punto en el cual es calculado y no de la parametrizacin regular ~r asociada a la curva, salvo por la orientacin.
En efecto, si ~r1 ( ) = ~r(( )) con una reparametrizacin, entonces
d~r1
d~r1
d~r
d
d~r
d
d
T (( )).
( )/k
( )k =
(( )) ( )/k (( ))k| ( )| = signo
d
d
dt
d
dt
d
d
Enfaticemos que lo anterior nos permite calcular el vector tangente a en el punto p de dos maneras
distintas:
(1) T (t) =
d~
r
d~
r
dt (t)/k dt (t)k
d~r1
ds
1.1.4.
Integral de Lnea
a
donde ~r : [a, b]
1.1. CURVAS
Es fcil verificar que el valor de la integral definida en (1.5) no depende de la parametrizacin regular elegida.
Una aplicacin de la integral de lnea es el clculo de la masa de un alambre parametrizado por ~r : [a, b] 3 .
En efecto, si suponemos que la densidad lineal de masa de este alambre [gr/cm] est dada por la funcin contnua
(x, y, z), que depende de la posicin dentro del alambre. Entonces, la masa total del alambre puede aproximarse
por
k1
X
(~r(ti ))k~r(ti+1 ) ~r(ti )k.
(1.6)
M
i=0
Ejemplo 1.1.13. 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
Z
M=
8 3
2
= 2
(1 + t )dt = 2 2 + .
3
0
0
1.1.5.
Centro de masa
El centro de masa de una curva 3 , cuya densidad lineal de masa es : 3 , se define como el punto
de coordenadas:
Z
Z
Z
1
1
1
xG =
x dl, yG =
y dl, zG =
z dl,
M
M
M
Ejemplo 1.1.14. El centro de masa de la hlice del ejemplo 1.1.13 est dado por
Z 2
Z 2
6
1
1
2
t2 cos t dt =
,
xG =
cos t (1 + t ) 2 dt =
8 3
M 0
(3
+
4 2 )
(2 + 3 ) 0
Z 2
Z 2
1
6
1
,
sen t (1 + t2 ) 2 dt =
t2 sen t dt =
yG =
M 0
(3 + 4 2 )
(2 + 38 3 ) 0
Z 2
1
1
3(1 + 2 2 )
2
4
zG =
(2
+
4
)
=
.
t (1 + t2 ) 2 dt =
M 0
(3 + 4 2 )
(2 + 38 3 )
1.1.6.
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 particula, 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 moviminto
rectilineo (T (t) es constante) la nica aceleracin posible proviene de la variacin de la rapidez y est dada por
d2 s
dt2 T (t). Por el contrario, en un movimiento a lo largo de una circunferencia de radio R a velocidad angular
constante , la rapidez es constante e igual a R. Sin embargo, por efecto del cambio en la direccin de la
2
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 identificaremos
la circunferencia que mejor aproxima (instantaneamente) la trayectoria.
10
R3
R
R
Intuitivamente, la curvatura aparece por efecto de la variacin del vector tangente, respecto de la longitud de
arco. Mientras ms rpida sea esta variacin, ms cerrada ser la curva y menor el radio de la misma. Estas
consideraciones intuitivas permiten afirmar lo siguiente
Definicin 1.1.15. Definimos la curvatura de la curva mediante
dT
k(s) =
(s)
ds
(1.7)
Cuando k(s) > 0 definimos el radio de curvatura y el vector normal, respectivamente como
dT
dT
1
, N (s) =
(s)
(s)
R(s) =
k(s)
ds
ds
(1.8)
Notemos que N (s) T (s). En efecto, esto se obtiene de derivar la identidad kT (s)k = 1, de modo tal que
0=
d
dT
2
kT (s)k = 2T (s)
(s).
ds
ds
Debido a lo engorroso que puede llegar a ser el clculo explcito de la parametrizacin en longitud de arco,
vale la pena tener expresiones para la curvatura, radio de curvatura y vector normal, calculable a partir de una
parametrizacin regular cualquiera ~r(t). Eso es relativamente fcil utilizando la regla de la cadena.
1.1.7.
dT dt
dT ds
dT
=
=
ds
dt ds
dt
dt
dT
ds
k=
dt (t)
dt (t)
1
R=
k
dT
dT
N=
dt
dt
R3.
(1.9)
(1.10)
(1.11)
(1.12)
1.1. CURVAS
11
B
N
T
Hemos visto que los vectores T y N son ortogonales entre s, pero varan a medida que nos movemos por la
curva. En consecuencia el vector B variara tambin (a menos que la curva sea plana).
Notemos que
dB
dT
dN
dN
dN
=
N +T
= kN N + T
=T
,
ds
ds
ds
ds
ds
obteniendo as que
dB
ds
1
kBk2
2
= 0,
dB
ds
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:
(t) = N (t)
dB
ds
(t)/ (t) .
dt
dt
ht
2 k
(1.13)
12
R3
= ( sen t, cos t, 0) y k = (0, 0, 1) denotan los vectores unitarios de las coordedonde (t) = (cos t, sen t, 0), (t)
y d (t) = (t). Se tiene que
nadas polares o cilndricas. Notemos que ddt (t) = (t)
dt
p
a2 + h 2 ,
p
a2 + h 2 ,
B(t) = (ak h(t))/
+ hk)/
T (t) = (a(t)
(t) = h/(a2 + h2 ),
1.1.8.
N (t) = (t),
h
dB
(t),
(t) =
dt
a2 + h 2
k(t) = a/(a2 + h2 ).
Frmulas de Frenet
Considerando las definiciones dadas en esta seccin, las siguientes relaciones se satisfacen:
(i)
dT
ds
= kN ,
(ii)
dN
ds
= kT + B,
(iii)
dB
ds
= N ,
1.1.9.
13
Planos de Frenet
Sea 3 una curva regular y consideremos ~r : [a, b] R3 su parametrizacin en longitud de arco que
supondremos dos veces diferenciable. Consideremos T (s) y N (s) los vectores tangente y normal (unitarios) a
~r en el punto s. Los vectores T (s) y N (s) determinan un plano, llamado plano osculador de ~r en el punto
s. Por definicin el vector binormal B(s) es unitario (en efecto si u y v son vectores entonces ku vk =
2
2
kuk kvk hu, vi2 ) y es ortogonal al plano osculador por lo tanto un punto ~x 3 pertenecer a este plano si
satisface la ecuacin:
(~x ~r(s)) B(s) = 0.
(1.14)
El plano definido por los vectores N (s) y B(s) se llama plano normal de ~r en s y por lo tanto tiene por vector
normal a T (s). La ecuacin del plano normal esta dada por:
(~x ~r(s)) T (s) = 0.
(1.15)
Se llama plano rectificante de ~r en s al plano que pasa por ~r(s) y que es ortogonal al plano osculador y al plano
normal y por lo tanto tiene como vector normal a N (s). Su ecuacin viene dada por:
(~x ~r(s)) N (s) = 0.
(1.16)
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
~x = ~r(s) + tT (s),
~x = ~r(s) + tN (s),
~x = ~r(s) + tB(s),
donde t
R es un parmetro.
R,
t R,
t R,
(1.17)
(1.18)
(1.19)
Plano Normal
Plano Rectificante
Plano Osculador
T(s)
N(s)
B(s)
Figura 1.6: planos Osculador, Normal y rectificante.
1.2.
Coordenadas ortogonales
Las coordenadas cartesianas no siempre son las ms cmodas para describir curvas (trayectorias), superficies,
volmenes y otros objetos geomtricos. En diversas ocasiones el problema en estudio posee ciertas simetras que
14
R3
no se ven reflejadas al utilizar estas coordenadas. As, se hace evidente el estudiar formalmente un sistema de
coordenadas arbitrario, al cual nos referiremos por sistema de coordenadas curvilneas.
En general, un sistema de coordenadas curvilneas es una transformacin invertible ~r : D
que a todo triplete (u, v, w) D le corresponde un nico punto en el espacio
R3 R3, de modo
1.2.1.
Asociado a un sistema de coordenadas curvilneo, dado por ~r, se define un triedro de vectores unitarios de
la siguiente manera. Supongamos que ~r es diferenciable, fijemos (u0 , v0 , w0 ) D y consideremos la curva
~
r
parametrizada por u 7 ~r(u, v0 , w0 ). Si k u
(u0 , v0 , w0 )k =
6 0, entonces el vector tangente a la curva en el punto
~r(u0 , v0 , w0 ) est bien definido y se expresa como
~r
~r
(u0 , v0 , w0 )
(u0 , v0 , w0 )
u
=
u
u
~
r
~
r
(u0 , v0 , w0 )k 6= 0 y k w
(u0 , v0 , w0 )k 6= 0, los vectores tangentes v y w
a las
Similarmente, asumiendo que k v
curvas parametrizadas por v 7 ~r(u0 , v, w0 ) y w 7 ~r(u0 , v0 , w) estn bien definidos. Todo esto se establece a
continuacin.
~
r
~
r
~
r
6= 0, v
6= 0 y w
6= 0 en el punto (u0 , v0 , w0 ). Definimos el triedro de
Definicin 1.2.1. Supongamos que u
vectores unitarios, u
, v y w,
asociados al sistema de coordenadas dado por ~r, el punto ~r(u0 , v0 , w0 ), mediante
~r
~r
~r
~r
~r
~r
.
u
=
, v =
, w
=
(1.20)
/
/
/
u
u
v
v
w
w
u =
1 ~r
,
hu ~u
v =
1 ~r
,
hv ~v
w
=
1 ~r
.
hw w
~
~r(u0 , v0 , )
~r(u0 , v0 , w0 )
~r(u0 , , w0 )
u
v
~r(, v0 , w0 )
(1.21)
1.2.2.
15
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 figura:
[0, +[
[0, 2[
z
+P
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 e z, en coordenadas cartesianas, le corresponden los
siguientes valores en coordenadas cilndricas
y
p
= x2 + y 2 , = arctan
, z = z.
x
Calculemos los factores escalares y el triedro unitario asociado a este sistema de coordenadas.
~r
= (cos , sen , 0) h = 1,
~r
= ( sen , cos , 0) h = ,
~r
= (0, 0, 1) hz = 1,
z
obteniendo finalmente que el triedro es:
= (cos , sen , 0), = ( sen , cos , 0), z = k = (0, 0, 1).
z
(1.22)
16
1.2.3.
R3
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 figura.
+P
r [0, +[
[0, ]
[0, 2[
r
y
As, tenemos para un punto descrito usando los valores r, y la siguiente representacin
~r(r, , ) = (r sen cos , r sen sen , r cos ).
Recprocamente, para un punto dado en coordenadas cartesianas, es decir descrito usando x, y y z, se tiene la
relacin
p
r = x2 + y 2 + z 2 ,
= arctan
!
p
x2 + y 2
,
z
= arctan
y
x
~r
= (r sen sen , r sen cos , 0) h = r sen ,
obteniendo
r = (sen cos , sen sen , cos ),
(1.23)
17
z
1.2.4.
Coordenadas toroidales
Este nuevo sistema no corresponde exactamente a la nocin de sistema de coordenadas definida anteriormente,
pues no permiten describir el espacio 3 completo. Sin embargo, el anlisis anterior sigue siendo vlido.
En estas coordenadas, dado un radio mayor R fijo, la posicin de un punto P~ queda determinada por un radio
menor r y dos ngulos y como muestra la figura.
z
R
~r
= (sen cos , sen sen , cos ); hr = 1,
r
~r
= (r cos cos , r cos sen , r sen ); h = r,
~r
= ((R + r sen ) sen , (R + r sen ) cos , 0); h = (R + r sen ).
18
R3
De donde obtenemos
r = (sen cos , sen sen , cos );
~r
~
b
~
b
Notemos que en todos los sistemas de coordenadas anteriores, los triedros calculados resultan ortogonales.
Esta propiedad no es vlida en cualquier sistema de coordenadas. Sin embargo, en lo que sigue limitaremos
nuestro estudio a sistemas de coordenadas que si satisfagan esta propiedad, los cuales sern llamados sistemas
ortogonales.
1.2.5.
En las aplicaciones, muchas magnitudes escalares se expresan de manera natural como una funcin descrita en
un sistema de coordenadas curvilneas distinto al cartesiano. A modo de ejemplo y motivacin, pensemos en el
potencial gravitacional engendrado por una partcula de masa M que se encuentra en el origen. Su expresin
en coordenadas cartesianas es
GM
V (x, y, z) = p
,
2
x + y2 + z 2
V (r, , ) = V (r) =
GM
.
r
Resulta entonces interesante obtener una expresin para el gradiente de una funcin diferenciable f :
3
en trminos de un sistema de coordenadas curvilneas dado.
R3
(f ~r) = f
u
(f ~r) = f
v
(f ~r) = f
w
~r
= hu f u
,
u
~r
= hv f v,
v
~r
= hw f w,
19
1
1
1
(f ~r)
u+
(f ~r)
v+
(f ~r)w.
hu u
hv v
hw w
(1.24)
Notemos que en el caso de las coordenadas cartesianas, lo anterior corresponde a la expresin habitual para el
gradiente
f
f
f
f =
k.
+
+
x
y
z
Ejercicio. Exprese f en coordenadas esfricas y cilndricas.
Ejemplo 1.2.2. Volvamos al ejemplo del potencial gravitacional V = GM
r . El campo de fuerzas generado
~
por este potencial viene dado por F = V , que de acuerdo a la expresin (1.24), se escribe en coordenadas
esfricas como sigue
GM
F~ (r) = 2 r.
r
Verifiquemos lo anterior mediante un clculo directo. Dado que
GM
V (x, y, z) = p
2
x + y2 + z 2
tenemos que
GM x
V
=
3 ,
2
x
(x + y 2 + z 2 ) 2
GM y
V
=
3 ,
2
y
(x + y 2 + z 2 ) 2
GM z
V
=
3 .
2
z
(x + y 2 + z 2 ) 2
As se concluye la expresin
V =
GM
(x2 + y 2 + z 2 )
3
2
=
(xi + yj + z k)
GM
xi + yj + z k
GM
p
= 2 r.
x2 + y 2 + z 2 x2 + y 2 + z 2
r
En general, hemos deducido que si g :]0; [ es una funcin diferenciable, entonces g(r), como funcin en el
sistema de coordenadas esfricas representado por sus componentes (r, , ), tiene como gradiente a la funcin
g = g (r)
r.
1.2.6.
(1.25)
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 paralelogramo definido por dos vectores ~a y ~b
~b
~a
20
R3
h = ~c
~c
~
b
k~~aa
~bk
~a
(~
a~b)
k~
a~bk
~b
el volumen V viene dado por
~b)
(~
a
V = base altura =k~a ~bk ~c
= |~c (~a ~b)|.
k~a ~bk
1 dV =
ZZZ
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 = ~r1 (). La frmula de cambio de variables para la integral de una funcin integrable f : 3
viene dada por
Z
Z
f=
(f ~r)|J~r|
(1.26)
~r
~r
~r
dudvdw.
w
u v
~r
~r
~r
dV =
(
) dudvdw,
w u v
el cual se interpreta como el volumen infinitesimal que corresponde al paraleleppedo definido por lo lados
~
r
~
r
v dv, y w dw.
(1.27)
~
r
u du,
21
~
r
w dw
~r
dw
b
dv
du b
~
r
v dv
~
r
u du
~r
= hv v
v
~r
= hw w,
donde u, v, y w
son mutuamente ortogonales y unitarios. Es directo entonces ver que
~r
~r
~r
(
) = hu hv hw ,
w u v
(1.28)
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
22
R3
Ejemplo 1.2.3. Calculemos el diferencial de volumen para el sistema de coordenadas cilndricas y esfricas:
Coordenadas cilndricas: (, , z).
Tenemos que h = 1 , h = , hz = 1, por lo tanto dV = dddz.
dz
dV = d d dz
d
d
dV = r 2 sen dr d d
r d
dr
r sen d
Finalmente, aplicamos lo anterior a las coordenadas toroidales.
Coordenadas Toroidales:
Hemos visto que para el sistema de coordenadas toroidales:
z
R
1.3. SUPERFICIES
23
De este modo, como para una funcin f = f (r, , ) sabemos que (ref. (1.24))
f =
1 f
1 f
1 f
+
r +
,
hr r
h
h
se obtiene la expresin
f
f 1 f
1
+
r +
.
r
R + r sen
r
f =
(1.29)
1.3.
1.3.1.
Superficies
La nocin de superficie
Intuitivamente una superficie es un conjunto S 3 que localmente se asemeja a un plano. El fenmeno fsico
ms cercano podra ser el de una membrana delgada, donde una de las dimensiones (espesor) es despreciable
frente a las otras.
z
As, las superficies aparecen en los modelos como los conjuntos frontera que separan dos medios o dos fases
dentro de un fluido.
Definicin 1.3.1. Un conjunto S
contnua ~r : 2 3 tal que
Podemos pensar en la parametrizacin ~r como una funcin que tuerce el conjunto plano S en
R3 .
24
x
se puede parametrizar como sigue:
~r1 (, ) = (R sen cos , R sen sen , R cos ), [0, 2), [0, /2],
p
R).
~r2 (x, y) = (x, y, R2 x2 y 2 ), (x, y) B(0,
Consideremos tambin el siguiente manto de un cono
R3
1.3. SUPERFICIES
25
z
a
x
Para esta figura, algunas posibles parametrizaciones son:
~r1 (x, y) = (x, y,
hp 2
a),
x + y 2 ), (x, y) B(0,
a
p
1
(ra cos , ra sen , rh), r [0, h2 + a2 ], [0, 2),
~r2 (r, ) =
h 2 + a2
~r3 (r, ) = (r cos , r sen , rh/a), r [0, a], [0, 2).
Estas tres parametrizaciones se obtienen usando coordenadas cartesianas, esfricas y cilndricas, respectivamente. Notemos ~r2 y ~r3 son suaves incluso en el vrtice del cono, mientras que ~r1 presenta problemas de
diferenciabilidad en este punto.
Finalmente, la parametrizacin de la superficie del Toro de radios (R, a):
z
R
x
viene dada por:
~r1 (, ) = ((R + a sen ) cos , (R + a sen ) sen , a cos ), [0, 2), [0, 2).
En los ejemplos anteriores hemos podido notar que al igual que para las curvas, existen varias parametrizaciones
asociadas a una misma superficie.
Terminamos esta seccin haciendo las siguientes definiciones.
Definicin 1.3.3. Diremos que una superficie es suave si admite una parametrizacin continuamente diferenciable (C 1 ). Una superficie se dir suave por pedazos si es una unin finita de superficies suaves.
Diremos tambin que una superficie es simple si admite una parametrizacin inyectiva.
El concepto de superficies regulares lo introduciremos ms adelante.
26
1.3.2.
R3
~r(, )
v0
v
u
D
u0
~
r
u
6= 0 y
~
r
v
~r ~r
~r ~r
/k k; v =
/k k,
u u
v v
donde cada una de estas funciones est evaluada en (u0 , v0 ).
(1.31)
u
=
Diremos que la parametrizacin ~r asociada a la superficie S es regular si los vectores tangentes u y v son
linealmente independientes. En tal caso, llamaremos plano tangente al plano generado por u
y v, y definiremos
el vector normal a S en ~r(u0 , v0 ) como
n
= u v/k
u vk.
(1.32)
Finalmente, diremos que una superficie S es regular si admite una parametrizacin regular, y que es regular
por trozos si est compuesta por una unin finita de superficies regulares.
En general, los vectores tangentes u
y v dependen de la parametrizacin. Sin embargo, el plano tangente y el
vector normal son nicos, este ltimo salvo por el signo.
Ejemplo 1.3.5. Consideremos la esfera de radio R:
z
r = n
R
x
= v
= u
1.3. SUPERFICIES
27
y el vector normal es
t
n
x
se tiene la siguiente parametrizacin
~r(r, ) = (r cos , r sen , rh/a), r [0, a], [0, 2).
Entonces, los vectores tangentes son:
h p
1 + (h/a)2
t := (
r + k)/
a
donde corresponde al vector unitario polar (descrito anteriormente parapla esfera), k = (0, 0, 1), y ahora
r = (cos , sen , 0). Finalmente, el vector normal asociado es n
= (k ha r)/ 1 + (h/a)2 .
1.3.3.
El rea de un paralelgramo definido por los vectores ~a y ~b est dada por k~a ~bk, lo cual se desprende de la
siguiente figura:
~b
~a
28
R3
En resumen
A = k~ak k~bk | sen | = k~a ~bk
(1.33)
Luego, para aproximar el rea de una superficie procedemos a subdividir en pequeas celdas como se indica en
la siguiente figura:
z
v
~r(, )
~
r (ui , vj ) +
~r(, )
~
r
u u
v
vj
u
ui
~
r
v v
b
~
r(ui , vj )
~
r
u u
De esta manera, podemos estimar el area (A)ij de la regin ennegrecida como sigue
~r
~r
~r
~r
uv.
(ui , vj )v
=
(A)ij
(ui , vj )u
u
v
u v
Sumando se tiene
A(S) =
X
i,j
X
~r
~r
(A)ij
u v
uv.
i,j
1.3. SUPERFICIES
29
Definicin 1.3.7. Sea S una superficie simple y regular, y ~r : D 2 3 una parametrizacin regular de
sta. Si : 3 es una funcin escalar continua definida en un abierto que contiene a S, definimos
la integral de superficie de sobre S mediante:
ZZ
ZZ
~r
~r
dudv.
(u,
v)
(u,
v)
dA =
(~r(u, v))
u
v
Notemos que los conceptos antes definidos no dependen de la parametrizacin regular elegida, es decir, si ~r1 = ~r
es una reparametrizacin de la superficie S, donde : D1 2 D es un difeomorfismo ( y 1 de clase C 1 ),
entonces
ZZ
ZZ
~r
~r1
~r1
~r
(s, t)
(s, t)
dsdt =
(u, v)
(~r(u, v))
(u, v)
(~r1 (s, t))
dudv,
s
t
u
v
D1
RR
del teorema de cambio de variables para integrales dobles. En efecto, sabemos de la regla de la cadena que las
siguientes igualdades son satisfechas:
~r u
~r v
~r1
=
+
;
s
u s
v s
Por lo que se tiene
~r1
~r1
~r
~r
s
t
u v
~r1
~r u
~r v
=
+
.
t
u t
v t
u v
v u
s t
s t
dsdt,
s
t
u v
s t
s t
|
{z
}
D1
D1
=
ZZ
D
| det J |
~r
~r
(~r(u, v))
u v dudv.
RR
con el fin de evitar el sumar dos veces la misma regin. El anlogo en curvas es que la parametrizacin no debe
devolverse y pasar dos veces por el mismo segmento de la curva.
Notemos que si representa densidad superficial de masa o carga elctrica, la integral
RR
dA representa la
masa total o la carga elctrica total contenida en la superficie S, respectivamente. La nocin de centro de masa
se extiende entonces naturalmente al caso de superficies de la siguiente manera:
ZZ
ZZ
ZZ
1
1
1
xG =
x dA; yG =
y dA; zG =
z dA,
(1.34)
M
M
M
S
donde M =
RR
S
~r
dA y dA = u
~
r
v dudv.
1
~rG =
M
ZZ
~r dA,
(1.35)
En otras palabras, intuitivamente se tiene que el diferencial de masa est dado por dm = dA.
Observacin 1.3.9. Las definiciones establecidas en esta seccin pueden extenderse trivialmente al caso de
una superficie S regular por trozos.
30
A(S) =
sen
R
dd
0
0
0
0
Z Z 2
=
R2 | sen | dd = 4R2 .
0
y cuya parametrizacin es
~r(, ) =
h
,
cos , sen ,
a
A(S) =
+ a k
dd
dd =
0
0
0
0
s
2
Z a Z 2
Z a
p
h
dd = 1 + h
=
k
2
d = a2 + h2 .
a
a
Z
R3
1.3. SUPERFICIES
31
Ejemplo 1.3.12. Calculemos finalmente el area de la superficie de un Toro de radios (R, a), donde a < R.
A(S) =
(R
+
a
sen
)
dd
0
0
0
0
Z 2 Z 2
Z 2 Z 2
=
a|R + a sen |dd =
a(R + a sen )dd = 4 2 aR.
0
r
). De esta forma se obtiene:
Para esto parametrizamos en cilndricas ~r(, ) = (r cos , r sen , 2
Z a Z 2
Z a Z 2
~r
~r
ddr =
r r + h k
ddr
A(S) =
r
2
0
0
0
0
s
2
Z a Z 2
rk h
ddr = r2 + h
=
ddr
2
2
0
0
s
2
Z a
Z 2a
h p
2r
h2
1+
1 + u2 du
=h
dr =
h
2 0
0
i 2a
p
h2 1 h p
=
u 1 + u2 + ln u + u2 + 1 0 h
2 2
s
s
2
2
h2 2a
2a
2a
2a
.
=
+ ln
+ 1+
1+
4
h
h
h
h
32
R3
p
Finalmente, la masa del anterior helicoide cuando la densidad es (x, y, z) = 1 + x2 + y 2 , y h = 2 viene
dada por
Z a Z 2 p
Z a
p
a3
2
2
2
m=
.
1 + r 1 + r ddr = 2
(1 + r )dr = 2 a +
3
0
0
0
1.3.4.
Superficies Orientables
Terminaremos este captulo haciendo una definicin que ser se importante en el proximo captulo.
Definicin 1.3.14 (Informal). Diremos que una superficie S es orientable si podemos decidir sin ambigedad
cual es cada uno de los lados de al superficie. En el caso que el vector normal n
exista en todo punto de la
superficie (lo que ocurre, por ejemplo, para una superficie S regular), diremos que es orientable si el vector
normal puede ser definido como una funcin continua n
: S 3.
~n
~r
b
~r
Ejemplo 1.3.16. La banda de Mbieus, que se muestra en al siguiente figura, no es orientable ya que se puede
pintar toda la banda sin cambiar de lado. En otras palabras, ambos lados de la banda se confunden.
Cuando S sea una superficie cerrada y orientable, diremos que S est orientada segn la normal exterior si la
normal apunta, para todo punto de la superficie, en direccin contraria al volumen encerrado por la superficie,
y diremos que est orientada segn la normal interior en caso contrario.
1.4. EJERCICIOS
33
~
~
~
n
=n
(~
(u, v)) :=
(u, v)
(u, v)/
(u, v)
(u, v)
.
u
v
v
v
Notemos adems que cambiando el orden de las variables obtenemos la orientacin opuesta.
1.4.
Ejercicios
Ejercicios Resueltos
-1
(i) Calcule el vector tangente, normal y binormal, la curvatura y la torsion a la curva en los puntos
donde tenga sentido. Justifique brevemente en cuales puntos estas nociones estn bien definidas.
(ii) Calcule adems la parametrizacin en longitud de arco y el largo total de la curva.
Solucin.
El vector tangente viene dado por:
( cos , sen , 0)
T () =
(cos , sen , 0)
h0+
(1, 0, 0)
(1, 0, 0),
(0, 1, 0)
(0, 1, 0),
34
2.
As tambin
~r( + h) ~r()
h
~r( + h) ~r()
lm
h
h0
lm
h0+
(1, 0, 0)
(1, 0, 0)
(0, 1, 0)
(0, 1, 0)
3
2 .
N () =
(sen , cos , 0)
( sen , cos , 0)
Y para
< <
<<
3
2
3
2 ,
i
B() = T N = cos
sen
j
sen
cos
< < 2:
B()
i
T N = cos
sen
k
0
0
= (0, 0, 1).
j
sen
cos
k
0
0
< <
3
2
3
2
<<
= (0, 0, 1).
< < 2:
dT
d~r
k() =
d
/
d
= 1.
< <
k() =
dB
d
3
2
N ()
d~
r
k| d
k|
como:
= 0 N () = 0.
1
2
arc cos(1
4s
3 ).
Obteniendo
4s
1
4s
1
~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.
R3
1.4. EJERCICIOS
35
A(Rf ) =
Rb
p
1 + f (x)2 f (x)dx
z
y
A(Sf ) =
Rb
a
p
2x 1 + f (x)2 dx
z
usadas para las reas de revolucin de una funcin f : [a, b] R en torno al eje x e y respectivamente,
son consistentes con la definicin de rea dada en este captulo.
Demostracin.
Para el eje x: Si intercambiamos mentalmente el eje x con el eje z y utilizamos coordenadas cilndricas,
podemos escribir la superficie de revolucin de f en torno a x (ahora z) como:
S (z, ) = f (z)b
+ zb
k,
A(S) =
ZZ
dudv.
u
v
S
Luego
Concluyendo que
S
b
= f (z),
S
= f (z)b
+b
k.
z
S
S
z
Z
Z b
q
S
S
2f (z) 1 + f (z)2 dz
z =
z
a
36
R3
S (x, ) = xb
+ f (x)b
k,
S
b
= x.
S
= b + f (x)b
k
x
Por lo tanto,
S
S
= xb
k + xf (x)(b
),
x
p
cuya norma es igual a |x| 1 + f (x)2 , concluyendo que
Z
Z
q
2
x 1 + f (x) x =
q
2x 1 + f (x)2 dx.
(y + z)(y z) = 0
y = z,
(, z) = ab
+ zb
k,
Observamos que el rango al que pertenece z esta limitado por y, que vale a cos(), y como la superficie es
simtrica, podemos considerar z > 0 y 0 < < 2 , para despus multiplicar el resultado obtenido por 8
k, se obtiene
(nmero de caras de la superficie). As, dado que = ab y z = b
= ab
a cos()
az = a
0
a cos() = a2 sen()|02 = a2
Ejercicios Propuestos
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. (a) 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.
(b) 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.
1.4. EJERCICIOS
37
3. Una partcula se mueve sobre el manto del cilindro de ecuacin x2 + y 2 = 1 de forma tal que z = z() es
solucin de la ecuacin diferencial
d2 z
d2
z(0) = 1
dz
(0) = 0,
d
(c) Calcule el vector tangente, el normal y el binormal asociado a , as como su curvatura y su torsin.
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. Considere una curva 3 con la siguiente propiedad : existe un punto P~0 por el cual pasan todas las
rectas normales a (note que todo arco de circunferencia satisface esta propiedad). Sea ~r(s) : [0, ()]
3
una parametrizacin de en longitud de arco.
R tal que
~ (s)
P~0 = ~r(s) + (s)N
~ (s) denota el vector normal.
donde N
(b) Demuestre que se cumplen las siguientes igualdades
1 k(s)(s)
(s)
= 0
= 0
(s)(s)
= 0,
9. Sea S el grafo de la funcin f : [a, b] [c, d] . Calcular el vector normal y probar que:
s
2 2
Z bZ d
f
f
1+
+
dxdy.
A(S) =
x
y
a
c
38
R3
Captulo 2
Integral de Trabajo
Siguiendo el mismo argumento dado para la longitud de arco, se puede demostrar que si la parametrizacin ~r
es suave y si el campo de fuerzas F~ es contnuo, entonces la suma anterior converge hacia la integral
Z b
d~r
F~ (~r(t)) (t) dt.
dt
a
Esto nos permite hacer la siguiente definicin:
a
donde ~r : [a, b]
d~
39
40
F~2
F~1
F~0
~r(t1 )
~r(t0 )
Es fcil verificar que esta integral no depende de la parametrizacin regular ~r elegida, salvo por el cambio de
signo que se produce cuando se trabaja con una parametrizacin que invierta la orientacin de la curva .
Esto implica que la integral de trabajo esta bien definida slo si la orientacin de la curva est claramente
establecida.
Ejemplo 2.1.2. Calculemos la integral del campo F~ :
largo de la curva
y
x
R2 tal que
~r(t) = (2 cos t, 2 sen t).
Ejemplo 2.1.3. Sea F~ : 3 3 el campo dado por F~ (x, y, z) = (x, y, z). Considere adems la curva dada
en el ejemplo anterior (extendiendo por 0 la tercera coordenada). El trabajo resulta ser:
Z 2
W =
(2 cos t, 2 sen t, 0) (2 sen t, 2 cos t, 0) dt
0
8 sen t cos t dt = 0.
Consideremos ahora los dos caminos 1 y 2 dados por la figura que van desde P = (1, 0, 0) hasta Q = (1, 0, 4):
41
~
Q
P~
Sus parametrizaciones estn dadas por
~r1 (t) = P + t(Q P ) = (1, 0, 4t), t [0, 1],
~r2 (t) = (cos(2t), sen(2t), 4t), t [0, 1].
W1 (t) =
W2 (t) =
16t dt = 8,
16t dt = 8.
Notemos que en el ejemplo anterior la integral de trabajo es igual a 0 en el caso de la primera curva que es
cerrada, y para la helicoide, el trabajo sobre la curva 1 es el mismo que sobre la curva 2 . De hecho, se puede
mostrar que para cualquier curva que una P y Q, esta integral tendr el mismo valor. Esto se debe a que
F~ = g, donde g : 3 3 est dada por g(x, y, z) = (x2 + y 2 z 2 )/2. En efecto
F~ d~r =
b
a
d~r
F~ (~r(t)) (t) dt =
dt
g(~r(t))
d~r
(t) dt
dt
d
[g(~r(t))] dt = g(~r(a)) g(~r(b)),
dt
y esta ltima cantidad depende solamente de los puntos extremos de la curva y no de la forma que esta tenga.
De esta manera motivamos el estudio de la siguiente seccin.
2.1.1.
Campos Conservativos
Rn Rn
F~ = g.
42
As en el ejemplo 2.1.3, la funcin g(x, y, z) = (x2 +y 2 z 2 )/2 corresponde al potencial de la funcin F~ (x, y, z) =
(x, y, z).
Antes de caracterizar la existencia de campos conservativos, consideremos una curva formada por la unin
de finitas curvas regulares i , i = 1, ..., k. Una curva de este tipo se dir entonces regular por trozos (o por
pedazos), y se denotar por = ki=1 i , o por = 1 2 ...k .
Ejemplo 2.1.5. Consideramos la curva dada por el borde de un rectngulo como se muestra en la figura:
4
3
1
2
Notemos que tanto una integral de lnea, como una de trabajo, pueden ser trivialmente definidas para una curva
= ki=1 i regular por trozos, de la manera siguiente:
Z
Z
k Z
k Z
X
X
F~ d~r.
(2.2)
f dl y
F~ d~r =
f dl =
i=1
i=1
Advirtamos que cada segmento i debe ser recorrido de manera consistente con la orientacin de la curva.
Finalmente, para una curva con una orientacin dada, denotemos por la misma curva con la orientacin
inversa. Es directo verificar las siguientes relaciones:
Z
Z
Z
Z
F~ d~r = F~ d~r.
(2.3)
f dl = f dl y
Rn. Entonces
1. El campo F~ es conservativo.
2. Para toda curva regular por trozos, y cerrada: es decir, la parametrizacin ~r asociada satisface que
~r(a) = ~r(b), se tiene
Z
F~ d~r = 0.
3. Para cualquier par de curvas, 1 y 2 , con igual punto inicial y final, se tiene
Z
Z
~
F~ d~r.
F d~r =
1
Demostracin.
1 implica 2: Sea h(t) = g(~r(t)). Se tiene
d~r
d~r
dh
(t) = g(~r(t)) (t) = F~ (~r(t)) (t),
dt
dt
dt
43
Rn .
Una aplicacin del ltimo caso es el campo gravitacional entre dos objetos de masa M y m:
GM m
F~ (~x) =
x
,
x2
donde x
:= ~x/x si ~x 6= 0, y G es la constante gravitacional universal. Obtenindose g(~x) = GMm
x .
2.2.
2.2.1.
Integral de flujo
Lneas de flujo de un campo vectorial
Rn.
44
Representacin grfica
f~(x, y, z)
b
b
b
(x, y, z)
Ejemplo 2.2.1. Consideremos un fluido movindose en una regin 3 . Si a cada punto (x, y, z) le
asociamos la velocidad de las partculas en dicho punto ~v (x, y, z) = (v1 (x, y, z), v2 (x, y, z), v3 (x, y, z)) obtenemos
el campo vectorial de velocidades del fluido.
Ejemplo 2.2.2. Una pieza metlica se calienta por un lado y se enfra por el otro. El calor fluye de regiones
calientes a regiones fras con una velocidad proporcional al gradiente de temperaturas:
J~ = kT (x, y, z),
donde la constante k > 0 se llama conductividad trmica. Ilustremos este fenmeno con
J~ = kT,
45
Ejemplo 2.2.3. Las partculas de un disco que gira con velocidad angular constante estn sujetas al campo
de velocidades ~v : D 2 2 dado por
Ejemplo 2.2.4. La velocidad de las partculas de un fluido con movimiento circular (como cuando quitamos el
tapn del lavamanos) puede aproximarse por
x
y
,
~v (x, y) =
x2 + y 2 x2 + y 2
Lneas de Flujo
46
Consideremos la lnea de flujo que pasa por ~r0 en el instante t = 0, y definamos la funcin (t, ~r0 ) = como la
posicin de la partcula suspendida en esta lnea de flujo una vez trascurrido un tiempo t. Esta funcin se llama
flujo asociado al campo f~ y est definida por la ecuacin diferencial
d (t, ~r ) = f~((t, ~r ))
0
0
dt
(2.5)
2.2.2.
y
x2 +y 2
.
, x2x
2
+y
Consideremos a un fluido sometido a un campo de velocidades f~ y una superficie S inmersa en este fluido como
se muestra en la siguiente figura:
En el resto de esta seccin supondremos que S es una superficie regular orientable (ver Definicin 1.3.14), cuyo
campo de vectores normales es denotado por n
. Sea adems
~ una parametrizacin regular asociada a esta
superficie S, entonces la cantidad f~(~
(u, v)) n
(u, v) representa la velocidad ortogonal a S de las partculas que
pasan por el punto
~ (u, v) S. As, en un pequeo lapso de tiempo t, la cantidad de volumen de lquido que
atraviesa un elemento de rea (o de superficie), dado por A, es aproximadamente igual a
V [f~(~
(u, v)) n
]At.
47
~
v kuv,
~
uvt,
V f~(~
(u, v))
u
v
Z Z
~
VT OT AL
f~(~
(u, v))
dudv t.
u
v
D
En consecuencia, el caudal (volumen por unidad de tiempo) que atraviesa la pared S puede estimarse como
ZZ
VT OT AL
=
f~ n
dA.
(2.6)
Q := lm
t0
t
S
Esta ltima expresin se pude obtener alternativamente como sigue. Notemos que el volumen que atraviesa un
elemento de superficie S en un intervalo de tiempo t puede aproximarse por el volumen del paraleleppedo
descrito por los vectores u~ u, v~ v, f~t:
f~t
~
u
v v
~
u
u u
Luego, dado que el volumen de un paraleleppedo definido por tres vectores ~a, ~b y ~c viene dado por
Vol(~a, ~b, ~c) = ~a (~b ~c),
se obtiene
V = f~t
Deduciendo para el caudal Q la expresin
Q=
~
u
v .
u
v
ZZ
f~ n
dA.
Si
~:D
entonces
~
,
n
=
u
v
u
v
~=
f~ dA
ZZ
D
~
~
dudv.
(u, v)
f (~
(u, v))
~u
v
48
Observacin 2.2.8. Notemos que para dar sentido a la anterior integral de flujo fue necesario especificar el
campo de normales n
. As por ejemplo, si usamos n
= r como normal para la esfera, la integral es negativa
cuando se trata de un caudal que entra y viceversa. Si en cambio usamos la normal n
=
r la interpretacin es
la opuesta.
Ejemplo 2.2.9. Procederemos a calcular el flujo del campo elctrico generado por una carga Q en el origen, a
travs del manto de le esfera S(0, R) orientado segn la normal exterior.
z
~r
Recordemos que el campo elctrico producido por la carga Q viene dado por
~ =
E
Q r
.
40 r2
ZZ
~ n
E
dA =
ZZ
S
Q 1
dA =
40 R2
Z2 Z
0
Q 1 2
Q
R sendd = .
2
40 R
0
Ejemplo 2.2.10. Procederemos a calcular el flujo del campo elctrico generado por una carga Q en el origen,
sobre el plano infinito h = 2.
Dado que E
~ =
En este caso la normal es constante n
= k.
Q
40
(x,y,z)
x2 +y 2 +z 2
Z Z
~ kdxdy
E
=
Q
40
Z Z
Q
p
3 dxdy = 4
0
x2 + y 2 + h2
1
Z Z2
0
3 rddr,
r 2 + h2
Z
0
Q
Q
[(h2 + r2 )1/2 ] =
.
20
20 h
0
2.3. EJERCICIOS
49
Ejemplo 2.2.11. Repitamos el ejemplo anterior pero ahora sobre el manto del cilindro infinito x3 + y 2 = a2 .
z
a
x
Usaremos coordenadas cilndricas, de esta forma se tiene que n
= r = (cos , sen , 0) y
~ =
E
Q
~r
Q r
r + z k
.
=
40 k~rk3
40 z 2 + r2 3
Z Z2
Qa
20
Z
Q
1
Q
a
r + z k
r)addz =
dz
(
p
3
z 23
40
20
)
1
+
(
a2 + z 2
a
a
1
Qa
3 du = 2
0
1 + u2
Qa
1
Qa
tgh(
)
.
d
=
=
2
cos h ( )
20
0
2.3.
Ejercicios
Ejercicios Resueltos
1. Considere el campo F~ :
R3 R3 definido por:
F~ (x, y, z) = (yz, xz, xy)
y 0
a) Evale las integrales de flujo del campo sobre cada una de las 5 caras de la regin. Haga un bosquejo
y considere la orientacin exterior.
b) Interprete fsicamente los 5 flujos calculados, asi como el flujo total a travs de .
Solucin:
50
T1
L2
L1
T2
F S =
(F (~ (u, v)) n
b)
u
v
Con la superficie que encierra al volumen , una parametrizacin de esa superficie, F~ el campo y n
b2
x
2
xzxz
ab 2
)
2
Lo que significa que dado como orientamos el flujo (exteriormente), a traves de L1 esta entrando
flujo.
L2 : parametrizamos un rectngulo, en x = 0:
~ (y, z) = (0, y, z)
b2
y
2
yzyz
ab 2
)
2
Lo que significa que dado como orientamos el flujo (exteriormente), a traves de L1 esta entrando
flujo tambin.
2.3. EJERCICIOS
51
(, r) [0,
][0, a]
2
kk
cos() sen() 4
a
2
Esto pues, las coordenadas del campo en los ejes x e y se anulan al hacer con la normal, se sigue
que:
Z 2
a4
a4 cos(2) 2
a4
|0 ) =
sen(2) = (
=
4 0
4
2
8
T2 : Usamos coordenadas cilndricas de nuevo:
~ (r, ) = rb
(, r) [0, ] [0, a]
2
r3 cos() sen()r
a4
8
Pues la integral es la misma salvo un signo. Este calculo podria haberse evitado, pues viendo los
signos de ambos flujos calculados, en T1 sale flujo, mientras que en T2 entra flujo, por lo tanto,
en suma se anulan, y esto es porque en ambas superficies, que son simtricas, el campo tambin es
simtrico (pues no depende de z), luego solo diferir lo calculado por los signos de las normales por
las cuales orientamos el campo para calcular.
Manto: Claramente, la buena idea es usar otra vez las coordenadas cilndricas:
~ (, z) = ab
+ zb
k
(, z) [0,
] [0, b]
2
a2 b2 sen(2) =
a2 b 2
2
lo que significa que por el Manto, sale flujo, sumando a los flujos que entran por L1 y L2 , se obtiene
que el flujo total a travs de es cero!.
2. Calcular la integral de flujo del campo f~ = 2xi + yxj + zxk a travs del tringulo de vrtices (1, 0, 0),
(0, 2, 0) y (0, 0, 3). Defina ud. la orientacin.
RR
~ = 1.
Respuesta:
f~ dA
S
3. Calcular la integral de flujo del campo f~(x, y, z) = (0, 0, 1) = k a travs del cono x2 + y 2 = z 2 ,
x2 + y 2 1, z 0. Defina ud. la orientacin.
RR
~ = .
Respuesta:
f~ dA
S
Ejercicios Propuestos
52
R
1. Sea el campo vectorial F~ (x, y) = (2x + y 2 ) + (3y 4x)
. Calcular la integral de trabajo F~ d~ donde
es la lenteja formada por las ecuaciones x = y 2 ; y = x2 ; x, y 0 recorrida en sentido anti-horario.
2. Considere la curva plana descrita por la siguiente ecuacin en coordenadas polares
= a (1 cos ())
a > 0, [0, 2]
(i) Encuentre una parametrizacin para . Grfique esta parametrizacin detalladamente y encuentre
sus posibles irregularidades.
(ii) Calcule el largo de .
(iii) Calcule el trabajo efectuado por el campo vectorial
2y
2x
2
2 2
2
2 2
~
, 2x y cos x y + 2
F =
2xy cos x y + 2
x + y2 + 1
x + y2 + 1
al dar una vuelta completa a la curva en el sentido anti-horario.
3. 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
2
2
3
z
+
x
sin(x
),
y
cos(y
),
e
x2 + y 2
x2 + y 2
z2
, h>0
h2
z = 12,
RR
2.3. EJERCICIOS
53
7. Una partcula se mueve a lo largo de una trayectoria definida sobre el casquete de una esfera unitaria,
de manera que la altura z y el ngulo en cilndricas cumplen la relacin z() = e , donde 0.
Considere el campo
F~ (x, y, z) =
x2
2x
2y
+ x sen(x2 ), 2
y 2 cos(y 3 ), ez .
2
2
2
2
+y +z
x +y +z
(a) Demostrar que el trabajo realizado por el campo F~ a travs de es acotado superiormente por 3.
Puede dar una cota ms fina?.
(b) Demuestre que el trabajo realizado es acotado inferiormente por 1/3 e1 .
Indicacin: En el desarrollo de esta pregunta deber
R + acotar expresiones que dependen de las funciones
seno y coseno, as como ciertas integrales del tipo 0 sen u du cuyo valor es indefinido. Esto se logra de
manera directa usando propiedades de acotamiento de las funciones seno y coseno.
54
Captulo 3
Divergencia y rotor
3.1.
El teorema de la divergencia.
El teorema de la divergencia es un resultado fundamental del clculo vectorial. Formalmente, consiste en una
expresin del tipo
ZZ
ZZZ
~=
F~ dS
div(F~ )dV
(3.1)
donde
y es una superficie cerrada regular por trozos orientada segn la normal exterior a la regin .
El trmino div(F~ ) corresponde a la divergencia de la funcin vectorial F~ = (f1 , f2 , f3 ) de clase C 1 , e involucra
derivadas parciales de F~ . Su expresin en el sistema de coordenadas cartesianas es la siguiente:
div(F~ ) =
Resulta tambin til la notacin
f2
f3
f1
+
+
.
x
y
z
(3.2)
~ := + + k ,
x
y
z
(3.3)
~ F~ .
div(F~ ) =
(3.4)
En la seccin 3.2 daremos una expresin general para calcular la divergencia para un sistema de coordenadas
curvilneas ortogonal arbitrario.
En cierta forma, la frmula (3.1) extiende al caso vectorial el teorema fundamental del clculo para funciones
de una variable, el cual establece que para una funcin derivable f : se tiene
R R
f (b) f (a) =
Zb
f (x)dx.
La expresin (3.1) coincide con la frmula anterior cuando F~ = f , = [a, b] y = {a, b}.
Antes de enunciar el teorema principal de esta seccin, motivemos la obtencin de la expresin dada en (3.1) para
un caso simple. Supongamos que el conjunto viene dado por el cubo de lado a > 0 y vrtice ~r0 = (x0 , y0 , z0 ):
= a = [x0 , x0 + a] [y0 , y0 + a] [z0 , z0 + a],
como se ve en la siguiente figura
55
(3.5)
56
a
z
a
~r0
a
y
x
Llamemos Si a las 6 superficies regulares asociadas a las caras de este cubo, caracterizando cada superficie Si
mediante la normal exterior a cada una de ellas como sigue:
S1 : n
= ;
S3 : n
= k;
S2 : n
= ;
S4 : n
= ;
S6 : n
= k.
S5 : n
=
;
(3.6)
6
[
(3.7)
Si ,
i=1
a la cual asignaremos la orientacin dada por la normal exterior. As, para todo campo F~ se tiene
ZZ
~=
F~ dS
6 ZZ
X
i=1 S
i
~
F~ dS.
(3.8)
Analicemos la integral anterior, para el campo continuamente diferenciable F~ (x, y, z) = f1 (x, y, z)+f2 (x, y, z)
+
sobre las superficies S3 y S6
f3 (x, y, z)k,
xZ0 +a yZ
0 +a
F~ k dA =
S3
ZZ
ZZ
ZZ
dA =
F~ (k)
ZZ
~
F~ dS
S3
~
F~ dS
S6
S6
f3 (x, y, z0 + a)dydx,
x0
y0
xZ0 +a yZ0 +a
f3 (x, y, z0 )dydx.
x0
y0
~+
F~ dS
ZZ
~=
F~ dS
S6
xZ0 +a yZ
0 +a
x0
y0
xZ0 +a yZ
0 +a zZ
0 +a
x0
y0
z0
f3
(x, y, z) dzdydz.
z
57
que coincide con la expresin (3.1). Si bien esta relacin fue obtenida en un caso muy simple, como lo es la
frontera de un cubo, podemos ya inferir lo siguiente:
1
a0 Vol(a )
div(F~ )(~r0 ) = lm
ZZ
~
~ = lm flujo de F a travs de a .
F~ dS
a0
volumen de a
(3.9)
Para probar (3.9) basta notar que el volumen del cubo a es simplemente Vol(a ) = a3 , y usar la expresin
(3.1) y la igualdad de lmites
Z
1 t+a
lm
g( ) d = g(t),
a0 a t
valida para toda funcin g :
R R continua, y t dom g.
La ecuacin (3.9) nos da una nueva expresin para la divergencia de un campo F~ que no depende del sistema de
coordenadas que se este utilizando, y que por lo tanto puede considerarse como una definicin de este operador.
R3 R, como la
Observacin 3.1.2. Dado que los superficies frontera a son regulares, en la definicin anterior se pueden
sustituir los volmenes a por su adherencia a , en otras palabras, la familia de conjuntos {a }a>0 puede estar
compuesta tanto por abiertos como por cerrados.
Observacin 3.1.3. Se puede demostrar que el valor de la funcin divergencia no depende de los volmenes
a elegidos. Sin embargo, la expresin para para la divergencia si. Por ejemplo, hemos visto en el desarrollo
anterior que al elegir a como cubos de lado a, dados por (3.5), se deduce la conocida expresin de la divergencia
en coordenadas cartesianas dada en (3.2).
La relacin (3.9) nos permite adems interpretar fsicamente este operador como el flujo neto por unidad de
volumen. Luego, si div(F~ ) > 0 se considera que el fluido se expande, y si div(F~ ) < 0 se considera que el fluido
se contrae.
A continuacin probaremos el resultado principal de esta seccin, estableciendo la relacin (3.1) para el caso de
una volumen general.
Teorema 3.1.4 (Teorema de Gauss de la divergencia). Sea 3 un abierto acotado cuya frontera
es una superficie regular por trozos, orientada segn la normal exterior. Sea F~ : 3 3 un campo
= . Entonces
vectorial de clase C 1 sobre el abierto
ZZ
ZZZ
~
~
F dS =
div(F~ )dV.
Demostracin. Dividimos en una unin finita de cubos, con la excepcin que se da en la frontera de ,
donde los pequeos volmenes colindantes a esta tienen algn lado que no es vertical. Llamemos {Qi }ni=1 a esta
divisin.
Notemos que
ZZ
~=
F~ dS
n ZZ
X
i=1 Q
~
F~ dS,
58
ya que las integrales sobre las caras interiores se anulan mutuamente cuando Qi es un cubo. Gracias a la relacin
(3.9) que es valida para para todo Qi que sea cubo, se obtiene lo siguiente:
ZZZ
ZZ
~
~
(div F~ )dV, para todo Qi cubo.
(3.10)
F dS =
Qi
Qi
i los volmenes que intersiempre cuando Vol(Qi ) y diam(Qi ) sean suficientemente pequeos. Denotando por Q
sectan la frontera y por Qi los cubos que no la intersectan, de las relaciones (3.10) y (3.11) deducimos
ZZ
X
X ZZZ
X ZZ
X ZZ
~
~+
~=
(div F~ )(~ri ) Vol(Qi ).
(div F~ )dV +
F~ dS
F~ dS
F~ dS
i
Q
i
Q
i
Q
RRR
div(F~ )dV cuando las cantidades
Concluimos notando que el lado derecho de la anterior ecuacin converge a
Vol(Qi ) y diam(Qi ) tienden a 0 para todo i (es decir, la divisin {Qi } se hace cada vez ms fina), y que la
aproximacin anterior se transforma en igualdad en el lmite.
Observacin 3.1.5. El Teorema de la divergencia es tambin vlido en dominios no acotados siempre que las
integrales sean convergentes.
Ejemplo 3.1.6. Para el campo vectorial f~(x, y, z) = (x, y, z), se tiene que
Z Z
~ = 3 Vol(),
f~ dA
S1
S
h
ZZ
~=
f~ dA
SS1
59
ZZZ
div(f~)dv = 0,
ZZ
~ = a2 .
f~ dA
cono
~=
f~ dA
S1
T (x, y, z) = x2 + y 2 + z 2 .
Calculemos el flujo de calor, sobre la esfera de radio R (denotada por ), en funcin de la conductividad trmica
k del material. Para este caso se tiene que el campo de temperaturas (instantneo) asociado a este potencial
queda definido como
f~ = kT.
Entonces, el flujo de calor asociado es
ZZ
ZZZ
ZZZ
ZZZ
~
~
~
=
f dA =
div(f ) dV =
k div(T ) dV = 6k
dV = 8kR3 .
3.1.1.
R R de clase
Consideremos un campo f~(x, y, z) = g(r)~r, con ~r = (x, y, z) y r = k~rk, para cierta funcin g :
C 1 . Esto ltimo llevado a coordenadas cartesianas nos dice lo siguiente
p
p
p
f (x, y, z) = xg
x2 + y 2 + z 2 , yg
x2 + y 2 + z 2 , zg
x2 + y 2 + z 2 .
Luego, f~ es a divergencia nula, es decir div(f~) = 0, si y slo si gg = r3 , que equivale a decir ln g = 3 ln r + cte
concluyendo que
r3
Ejemplo 3.1.10. El campo elctrico y el campo gravitacional son a divergencia nula, salvo en el orgen!.
3.1.2.
~ =
Consideremos E
Q
~
r
40 k~
r k3
el campo elctrico generado por una carga puntual Q situada en el orgen. Sea
RR
~ dA.
~
un abierto en
de frontera regular orientada segn la normal exterior. Calcularemos el flujo E
RRR
RR
~
~ dA
~=
div(E)dV
= 0, debido a la proposicin 3.1.9.
Si 0
/ entonces E
60
Consideremos entonces el caso 0 . Tomemos r0 > 0 pequeo tal que B(0, r0 ) , y definamos =
RR
~ dA
~ = 0.
\ B(0, r0 ), de modo tal que 0
/ y en consecuencia el flujo para es 0, es decir E
Esto implica que
ZZ
~ dA
~=
E
ZZ
~ dA
~=
E
B(0,r0 )+
Z Z2
0
Q r
Q
r r02 sendd = ,
2
40 r0
0
Sr0
Supongamos ahora que en hay n cargas q1 , ..., qn en las posiciones ~r1 , ..., ~rn . Entonces, los campos
~ =E
~ 1 + ... + E
~ n , obteniendo
elctricos de cada carga se superponen, es decir, E
ZZ
n ZZ
X
~
~
~ i dA
~ = q1 + ... + qn .
(3.12)
E dA =
E
0
0
i=1
(3.13)
3.2.
Sea ~r : D 3
volumen acotado
Notemos que el volumen puede verse como un cubo de lado en el sistema de coordenadas dado por ~r.
Sea tambin F~ : 3 3 un campo de clase C 1 en el abierto con r~0 . Definamos
61
~=
F~ dS
uZ0 + vZ0 +
uZ0 + wZ0 +
vZ0 + wZ0 +
v0
u0
u0
w0
v0
w0
~
r
~
r
u /k u k,
v0
v (Fv hu hw )
y hw =
Denotando
(u, v, w) =
w (Fw hu hv )]
hu hv hw
w0
~
r
~
r
v /k v k,
hv =
donde hu =
del sistema de coordenadas ~r.
(Fu hv hw ) +
[ u
~
r
~
r
w /k w k
u (Fu hv hw )
hu hv hw dwdvdu,
v (Fv hu hw )
w (Fw hu hv )
,
hu hv hw
y usando la expresin de diferencial de volumen dV = hu hv hw dwdvdu y el teorema del valor medio para
integrales multiples se obtiene
ZZ
~ = (u , v , w )
F~ dS
dV = (u , v , w ) Vol( ),
u0
v0
w0
donde u [u0 , u0 + ], v [v0 , v0 + ], y w [w0 , w0 + ]. Esta ltima igualdad junto con la definicin 3.1.1
de divergencia implica que
RR
~
F~ dS
~
div(F )(~r0 ) = lm
= (u0 , v0 , w0 ).
0
Vol( )
Es decir,
1
[ (Fu hv hw ) +
(hu Fv hw ) +
(hu hv Fw )]
(3.14)
div F~ =
hu hv hw u
v
w
Reescribamos la funcin divergencia en los sistemas de coordenadas ms usuales:
(i) Coordenadas cartesianas: ~r(x, y, z) = (x, y, z), se obtiene
hx = hy = hz = 1; F~ = Fx + Fy + Fz k,
div F~ =
Fx +
Fy +
Fz .
x
y
z
(ii) Coordenadas esfricas: ~r(r, , ) = (r cos sen , r sen sen , r cos ), se obtiene
hr = 1, h = r sen , h = r; F~ = Fr r + F + F ,
1
div F~ = 2
[ (Fr r2 sen ) +
(F r) +
(F r sen )].
r sen r
h = 1, h = , hz = 1; F~ = F + F + Fz k,
1
div F~ = [ (F ) +
F +
(Fz )].
62
3.3.
El teorema de Stokes
De la misma forma que definimos la divergencia (ver definicin 3.1.1) podemos definir el rotor asociado a un
campo F~ como sigue.
donde n
es la normal (exterior) a cada superficie a , y la operacin denota el producto cruz en
R3.
Observacin 3.3.2. Al igual que en el caso de la divergencia, dado que las superficies frontera a son
regulares, en la definicin anterior la familia de conjuntos {a }a>0 puede estar compuesta tanto de abiertos
como de cerrados.
La interpretacin fsica que se le da al rotor asociado a un campo F~ es la de representar la velocidad angular
local de este, la cual se produce cuando el fluido en el punto estudiado rota sobre s mismo. De ah el nombre
de rotor o rotacional de F~ . Veamos esto mediante el siguiente ejemplo.
Consideremos una rueda de altura h y aspas de radio r, y cuyo centro esta ubicado en el punto (x, y, z). Esta
se sumerge en un flujo dado por F~ como muestra la figura:
Z Zh 2
0 0
ddz =
(F~ )r
1
2rh
ZZ
dS,
(F~ )
donde S denota el borde de la rueda (o manto del cilindro que esta forma), y vT denota la rapidez tangencial
media. Usando propiedades del producto cruz y el hecho que = w
se obtiene que F~ = F~ (w
) = w(
F~ ),
lo que implica
ZZ
ZZ
1
1
~
w
(
F ) dS =
w
(
n F~ ) dS,
w
=
2r2 h
2r2 h
S
63
ZZ
ZZ
1
1
1
(
n F~ ) dS = w
w
(
n F~ ) dS ,
w
=
2
2r h
2
Vol(Ch,r )
Ch,r
Ch,r
donde Ch,r denota el cilindro de radio r y altura h formado por la rueda. Haciendo tender h y r a cero, se
obtiene en el limite que
1
w(x, y, z) = w
rot(F~ )(x, y, z).
(3.16)
2
Es decir, el rotor rot(F~ ) coincide con la velocidad angular del flujo F~ en el punto (x, y, z), salvo por el factor 21 ,
tal como lo habamos anunciado.
La definicin 3.3.1 dada para la funcin rotor de un campo vectorial no es fcil de utilizar en la prctica, es por
esto que en lo que sigue, daremos una expresin analtica para el rotor al menos en coordenadas cartesianas. En
la seccin 3.4 se vera como calcular el rotor de un campo para un sistema de coordenadas curvilneas ortogonal
arbitrario.
Consideremos a continuacin que F~ es un campo vectorial de clase C 1 , y {a } una familia de abiertos, acotados
de 3 con las mismas propiedades que en la definicin 3.3.1. Para todo vector ~v 3 se tiene que
ZZ
ZZ
ZZ
1
1
1
~v
(
n F~ ) dS =
~v (
n F~ ) dS =
(F~ ~v ) n
dS.
Vol(a )
Vol(a )
Vol(a )
(3.17)
Dado que ~v 3 es arbitrario, esta frmula primero implica que el rotor existe bajo las mismas condiciones
que el operador divergencia (es decir, basta que el campo F~ sea C 1 ), y segundo, al reemplazar ~v = , ~v = y
nos permite obtener la siguiente expresin
~v = k,
k = div(F~ i) + div(F~ ) + div(F~ k)
k.
rot(F ) =
y
z
z
x
x
y
Notemos que usando la notacin (3.3):
~ := + + k ,
x
y
z
podemos escribir el rotor de un campo F~ como sigue
~ F~ .
rot(F~ ) =
(3.18)
la velocidad
Ejemplo 3.3.4. Un cuerpo slido gira en torno al eje k con velocidad angular constante igual a k.
de un punto en la posicin ~r es ~v = ~r, vale decir, el campo de velocidades es
= y + x
~v (x, y, z) = k (x + y
+ z k)
64
~v
~r
De esta forma
~
(y + x
)
+ + k
rot(~v ) = ~v =
x
y
z
= 2 k = 2~.
Observacin 3.3.5. Si F~ representa el campo de velocidades de un flujo, como en el caso del ejemplo anterior
(F~ = ~v ), la condicin rot(F~ ) = 0 significa que el fluido no rota, es decir que una pequea rueda sumergida en
el flujo se desplazar con este pero no rotar sobre si misma.
f~ = 0
f~ 6= 0
+ 2
+ + k
~v =
x
y
z
x2 + y 2
x + y2
x
y
= k
k
x x2 + y 2
y x2 + y 2
= 0.
Teorema 3.3.7 (Teorema de Stokes). Sea S 3 una superficie simple, orientable y regular por trozos,
cuyo borde S es una curva cerrada, simple y regular por trozos. Sea F~ : 3 3 un campo vectorial de
clase C 1 definido sobre un abierto que incluye la superficie S y su frontera S. Sea finalmente n
un campo
de vectores normales que definen una orientacin para S y supongamos que la curva cerrada S es recorrida de
manera coherente con la eleccin de la normal n
, es decir, respetando la regla de la mano derecha. Entonces
I
ZZ
~
F~ d~r =
rot(F~ ) dS.
(3.19)
S
65
Figura 3.1: Teorema de Stokes
S
S
n
i
S
Ai
Sea Si la curva cerrada definida como la frontera de la superficie Si , orientada de manera coherente con la
normal n
i . Adems, a cada una de estas superficies Si le asociamos un paraleleppedo ih de base Ai y altura
h como se muestra en la siguiente figura
n
i
S
Ai
Ai
Para todo i fijemos un punto ~ri ih . Debido a la definicin 3.15 de rotor se tiene que
rot F~ (~ri )
1
hAi
ZZ
n
F~ dA.
(3.20)
Si
66
donde T es el vector tangente a la curva Si . Entonces, recordando que d~r = T dr, de la ecuacin (3.20) se
obtiene
Z h Z
1
rot F~ (~ri ) n
i
F~ d~r dh.
hAi 0
Si
La ltima igualdad es valida para toda altura h suficientemente pequea, por lo que al hacer tender h a cero se
infiere que
Z
F~ d~r.
rot F~ (~ri ) n
i Ai
Si
(3.21)
Si
Notemos que en la ultima igualdad en (3.21) hemos usado que las integrales asociadas a los lados internos de
los paraleleppedos ih se anulan entre s.
RR
~ y que la
Finalmente, concluimos notando que el lado izquierdo de (3.21) converge a la integral S rot(F~ ) dS,
aproximacin anterior se vuelve igualdad en el lmite.
H
Observacin 3.3.8. El smbolo simplemente denota
que la integral de lnea en cuestin es sobre una curva
R
cerrada. En lo que sigue, esta notacin y la usual sern utilizadas para este tipo de integrales.
Ejemplo 3.3.9. Encontrar el trabajo realizado por la fuerza
Recprocamente, supongamos que el rotor de F~ es nulo. Sean 1 y 2 dos curvas simples y regulares con el
mismo punto inicial y final. Al definir la curva cerrada = 1
2 y aplicar el teorema de Stokes concluimos
H
que F~ d~r = 0, y por lo tanto
F~ d~r
F~ d~r =
F~ d~r +
F~ d~r =
F~ d~r = 0.
1 Por
definir
67
Observacin 3.3.11. El hecho que el dominio sea simplemente conexo es necesario para aplicar el Teorema
de Stokes sobre la curva cerrada en la demostracin de la proposicin anterior. Esta propiedad de nos
permite decir que la superficie encerrada por es simple y regular por trozos, lo cual es una hiptesis del
teorema.
3.4.
~
r
~
r
~
r
k, hv = k v
k y hw = k w
k son los factores escalares asociados al sistema de coordenadas dado
donde hu = k u
~
por ~r. De este modo F (~r(u, v, w)) = Fu (u, v, w)
u + Fv (u, v, w)
v + Fw (u, v, w)w,
lo que se escribe simplemente
como F~ = Fu u
+ Fv v + Fw w.
Para obtener rot(F~ )(r~0 ) expresado en las coordenadas dadas por ~r, usaremos la expresin
rot F~ = (rot(F~ ) u
)
u + (rot(F~ ) v)
v + (rot(F~ ) w)
w.
ZZ
1
rot(F~ )(r~0 ) = lm 3
0
(
n F~ )dA.
(3.23)
As, para explicitar el rotor rot(F~ ) en ~r0 hay dos alternativas: utilizar (3.23) directamente que conlleva a
argumentos similares a los esgrimidos para el caso del operador divergencia (ver seccin 3.2), o bien aplicar el
teorema de Stokes. Procederemos usando el teorema de Stokes, del cual se deduce que
ZZ
I
ZZ
~
~
~
rot(F~ ) u
dA,
rot(F ) dS =
F d~r =
F~ d~r =
vZ0 +
vZ0 +
F~ d~r +
v0
v0
w0
F~ d~r +
Zv0
v0 +
~r
dv +
F~ (~r(u0 , v, w0 ))
v
|
{z
}
vZ0 +
v0
wZ0 +
F~ d~r +
Zw0
w0 +
F~ d~r
wZ0 +
w0
vZ0 +
v0
68
que gracias al teorema fundamental del clculo implica
I
F~ d~r =
wZ0 + vZ0 +
wZ0 + vZ0 +
(Fw hw )
(Fv hv )](u0 , v, w)dvdw
v
w
w0
w0
v0
ZZ
S
v0
vZ0 + wZ0 +
v0
w0
[ (Fw hw )
(Fv hv )] dA.
hv hw v
w
Utilizando el teorema del valor medio para integrales mltiples y haciendo 0 se deduce finalmente que
rot(F~ ) u
=
[ (Fw hw )
(Fv hv )].
hv hw v
w
[ Fw hw
[
[ Fv hv
Fv hv ]
u+
Fu hu
Fw hw ]
v+
Fu hu ]w.
hv hw v
w
hu hw w
u
hu hv u
v
~ F~ con
que corresponde a rot(F~ ) =
hv v
v
Fv hv
hw w
,
w
Fw hw
1
1
1
~ =u
+ v
+w
.
hu u
hv v
hw w
Ejemplo 3.4.1.
h = 1, h = , hz = 1; F~ = F + F + Fk k,
k
1
~
rot(F ) =
z
F F Fz
1 Fz
F
F
Fz 1
F
=
+
+
k.
(F )
z
z
(ii) Coordenadas esfricas: ~r(r, , ) = (r cos sen , r sen sen , r cos ), se obtiene
hr = 1, h = r, h = r sen ; F~ = Fr r + F + F ,
r
r
r sen
1
rot(F~ ) = 2
r sen r
Fr rF r sen F
= 2
(F r sen )
(F r) r
r sen
1
Fr
1
Fr
+
.
(F r sen ) +
(F r)
r sen
r
r r
3.5.
69
En esta seccin veremos un resultado que se puede obtener como una consecuencia directa del teorema de Stokes.
Teorema 3.5.1 (Teorema de Green). Sea S 2 una regin acotada tal que su frontera S es una curva
cerrada y regular por trozos, orientada en el sentido anti-horario. Consideremos F~ : 2 2 un campo
vectorial de clase C 1 con un abierto que contiene a S y S, y denotemos F~ = (f1 , f2 ). Entonces
I
ZZ
f2
f1
F~ d~r =
dA.
(3.24)
x
y
S
Observacin 3.5.2. Notemos que si consideramos la extensin por cero a 3 del campo F~ dado en el teorema
anterior, es decir F~ = (f1 , f2 , 0), y suponemos que la regin S esta inmersa en el plano xy, entonces la igualdad
(3.24) se puede escribir como
I
ZZ
F~ d~r =
rot(F~ ) k dA,
(3.25)
S
Ejemplo 3.5.3. Aplicamos el teorema de Green al clculo de reas de regiones planas. Sea S 2 una regin
en el plano xy que satisface las hiptesis del teorema de Green. Si tomamos f1 = 0 y f2 = x en (3.24), se
obtiene
ZZ
I
x dy.
dxdy =
S
Obviamente la integral del lado derecho de la ltima igualdad es el rea A(S) de la regin S. Si ahora f1 = y
y f2 = 0 se tiene
ZZ
I
A(S) =
dxdy =
y dx.
S
1
2
(x dy y dx).
Esta frmula nos permite calcular un rea en trminos de una integral de lnea.
Apliquemos esta frmula a la elipse x2 /a2 + y 2 /b2 = 1. Para esto, reescribamos la elipse usando x = a cos t e
y = b sen t, luego se obtiene
1
A(elipse) =
2
Z2
Z2
1
(xy yx ) dt =
(ab cos2 t (ab sen2 t)) dt = ab.
2
0
x
y
,
x2 + y 2 x2 + y 2
Notemos que el campo F~ es continuamente diferenciable (C 1 ) en todos lados, salvo en el origen (x, y) = (0, 0)
donde no est definido. Adems, se tiene que
f1
f2
= 0.
x
y
En efecto
x2 + y 2
(x2 + y 2 ) 2x2
f2
=
;
=
x
x2 + y 2
x2 + y 2
f1
x2 y 2
x2 + y 2
(x2 + y 2 ) 2y 2
=
=
.
=
y
x2 + y 2
x2 + y 2
x2 + y 2
70
R
Sin embargo, la integral de lnea F~ d~r es igual a 2 para cualquier curva que da una vuelta (en sentido
anti-horario) alrededor del cero. Veremos esto para una circunferencia de radio R en 2 , cuya parametrizacin
~r : [0, 2) 2 est dada por ~r() = (R cos , R sen ). Entonces
F~ d~r =
Z2
[f1 (~r())~r1 () + f2 (~r())~r2 ()]d
0
Z2
Z2
R sen
R cos
= [
(R sen ) +
(R cos )]d = d = 2.
R2
R2
0
Esto muestra que la hiptesis de suavidad (ser de clase C 1 ) del campo F~ es fundamental para que el teorema de
Green se cumpla.
3.5.1.
Frmulas de Green
Las siguientes frmulas son consecuencia del teorema de Gauss de la divergencia (ver Teorema 3.1.4).
Proposicin 3.5.5 (Primera frmula de Green). Sean f, g dos funciones escalares de clase C 1 y C 2 , respectivamente. Consideremos un volumen 3 cuya superficie es cerrada, simple, regular por trozos y
orientada segn la normal exterior n
. Entonces
ZZZ
(f g + f g)dV =
donde g =
normal de g.
2g
x2
2g
y 2
2 g
z 2
ZZ
g
dA,
n
(3.26)
g
n
=n
g es la derivada
div F~ = div(f g) = f g + f g.
Adems, dado que f es una funcin escalar se tiene
g
.
F~ n
= f (
n g) = f
n
Entonces la igualdad (3.26) se deduce al aplicar el teorema de la divergencia al campo F~ .
ZZZ
(f g gf )dV =
ZZ
g
f
f
dA.
g
n
n
(3.27)
Demostracin. La igualdad (3.27) se deduce directamente al restar a (3.26), la misma ecuacin (3.26) pero
donde los roles de f y g son intercambiados.
3.6. EJERCICIOS
3.6.
71
Ejercicios
Ejercicios Resueltos
1. Sea S el hemisferio superior de la esfera x2 + y 2 + (z 1)2 = 1. Consideremos el campo def por F~ (x, y, z) =
RR
~
(z sen(x) y 3 , z cos(y) + x3 , cos(xy)). Calcule I = S F~ dS.
Solucin: Utilizando el teorema de Stokes se sigue (queda como ejercicio verificar las hiptesis)
I
ZZ
~
~
F dS =
I=
F~ d~r
S
Antes de hacer el clculo de la integral notemos que la frontera de S est definida por el conjunto {(x, y, z) |
x2 + y 2 = 1 z = 1} la cual se puede parametrizar por ~r() = (x(), y(), 1) = (cos(), sen(), 1), su vector
tangente esta dado por T () = ( sen(), cos(), 0) = (y(), x(), 0). Por lo tanto, el integrando queda:
(notaremos x, y en lugar de x(), y())
F~ (~r()) T () = y(sen(x) y 3 ) + x(cos(y) + x3 )
= y sen(x) + x cos(y) + y 4 + x4
ZZ
~=
F~ dS
ZZ
~
F~ dS
= 3(x2 + y 2 ).
( F~ ) k =
x
y
La parametrizacin de T es clsica: (r, ) = (r cos , r sen , 1) donde r [0, 1] y [0, 2] la normal es
k y la componente de superficie dS = rdr d, luego se concluye que
ZZ
~=
F~ dS
ZZ
~=
F~ dS
3r2 rdr d
2. Sea 3 un abierto conexo por caminos de frontera regular = 1 2 . Considere la ecuacin del
calor en rgimen estacionario con condiciones de borde mixtas.
en
u = 0
(ECM)
u = T0
sobre 1
u = u sobre 2
donde > 0 y T0 0 son constantes conocidas.
72
c) Resuelva (ECM) para el caso = {~r 3 | a < k~rk < b} con 0 < a < b, 1 = S(0, a) y 2 = S(0, b).
Indicacin: suponga que la solucin tiene simetra esfrica.
Solucin:
a) Consideremos la ecuacin u = 0 multiplicando por u y luego integrando se tiene
ZZZ
uudV = 0
(3.28)
uu dV =
ZZ
~
uu dS
ZZZ
u u dV
~=
uu dS
ZZ
1
=0+
=
ZZ
~+
uu dS
ZZ
ZZ
2
uu n
dS
~
uu dS
u
dS =
n
ZZ
u2 dS
r2
=0
(3.29)
u = 0
r
r
3.6. EJERCICIOS
73
C1
+ C2
r
Para encontrar los valores de las constantes C1 y C2 veremos como se comporta u en la fontera.
Evaluando u en r = a (i.e. sobre 1 )
u(a) = Ta =
C1
+ C2
a
C1
b2
C1
+ C2
a
C1
+ C2
b
Ejercicios Propuestos
1. Calcule el flujo definido por el campo
x
F~ (x, y, z) = ey sin y + xy 2 z, ex cos zx2 yz, p
x2 + y 2
a travs de la superficie lateral del cilindro de radio 1 que se encuentra entre los planos z = 1 y z = 1.
Indicacin: Calcule el flujo total que sale del cilindro (incluyendo las tapas y usando el teorema de la
divergencia). Calcule el flujo a travs de las tapas directamente.
2. Considere el volumen
|z| 2 x2 y 2
(x 1)2 + y 2 1
con
F~ (x, y, z) =
donde g es el mdulo de la aceleracin de gravedad, es la densidad del agua y h es la altura del nivel del
agua. Demuestre que G es igual al peso del volumen de agua desplazado por el objeto.
74
4. Dado F~ :
F~ n
dA =
R
R
ZZZ
dV,
para cierta funcin escalar : 3 . Hemos denotado aqu por a una superficie regular que encierra
al volmen , la cual est orientada segn la normal exterior n
. Adems, el operador laplaciano para
una funcin escalar : 3 de clase C 2 se ha definido como
2 2 2
+ 2 + 2.
x2
y
z
5. Sea el campo vectorial F~ (x, y, z) = (2x + 2, 4y 4, 2z). Calcular el flujo de F~ a travs del hemisferio
superior del casquete elipsoidal
x2
y2
z2
+
+
=1
a2
b2
c2
orientado segn la normal interior.
6. Calcule el flujo del campo
F~ (x, y, z) = (ez sen y + xy 2 z, ex cos z + x2 yz, x2 ez )
a travs del manto del cilindro de la figura, orientado segn la normal exterior.
z
a
h
y
~ : 3
7. Sean los campos F~ , G
las siguientes identidades:
(i) rot() = 0.
(ii) div(rot(F~ )) = 0.
~ =G
~ rot(F~ ) F~ rot(G).
~
(iii) div(F~ G)
(iv) div(f g) = 0.
(v) rot(F~ ) = rot(F~ ) + F~ .
3.6. EJERCICIOS
75
ZZ
~
~ F~ dS.
R R
ZZ
d 3
(r f (r2 )).
dr
Con la misma notacin, sea C + una curva de extremos O = (0, 0, 0) y A = (0, 0, a), regular por trozos,
recorrida desde O hasta A.
(iii) Calcular rot F~ (~r).
(iv) Verificar que
C+
~ =1
F~ d
2
Za
0
f (t)dt.
76
Parte II
77
Captulo 4
El plano complejo
En este captulo recordaremos la definicin y algunas propiedades bsicas de los nmeros complejos. El estudiante
familiarizado con estos conceptos puede pasar directamente al captulo 5.
4.1.
donde a, b, c, d, . Desde el punto de vista algebraico, el plano complejo C no es otra cosa que
de la operacin adicional producto definida por
Este producto
R2 dotado
=
=
.
b
d
b a
d
ad + bc
Es fcil verificar que ( 2 , +, ) 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 . Ms precisamente, la funcin
h:
R
a
C
h(a) = (a, 0)
Histricamente, los nmeros complejos fueron introducidos con el fin de resolver ecuaciones algebraicas que no
tienen solucin en los nmeros reales. El ejemplo cannico es la ecuacin
x2 = 1.
Consideremos el complejo (0, 1), el cual satisface
(0, 1)2 = (0, 1) (0, 1) = (1, 0).
1 Para
las definiciones de espacio vectorial y de cuerpo, el lector puede ver el apunte del curso de lgebra.
debe confundirse la operacin con el producto interno estndar, tambin conocido como producto escalar, y que se define
como h(a, b), (c, d)i = ac + bd.
2 No
79
80
R.
1
2i (z
z).
a
1
b
z= 2
i 2
.
2
zz
a +b
a + b2
Ahora bien, dados z = a + ib 6= 0 y w = c + id, para calcular w/z utilizamos las siguientes identidades:
ad bc
wz
ac + bd
w
+i 2
.
= w z 1 =
= 2
z
zz
a + b2
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.
4.2.
zz = a2 + b2 ,
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.
81
b
z0
A
Abierto
Cerrado
Observemos que |a + ib| coincide con la norma euclidiana k(a, b)k del vector (a, b) 2 , y por lo tanto corresponde a la distancia entre el punto (a, b) y el origen del plano cartesiano. De este modo, C y 2 tienen la
misma estructura topolgica, lo que significa que las nociones de vecindad, conjunto abierto, conjunto cerrado,
compacidad y convergencia son las mismas.
En consecuencia:
1. Un conjunto A C se dice abierto si para todo punto z0 A existe un radio > 0 tal que el disco
D(z0 , ) := {z C : |z z0 | < }
est contenido en A (ver figura 4.1).
2. Un conjunto A C se dice cerrado si su complemento Ac = C \ A es abierto. Ejemplo: el disco cerrado
definido por
D(z0 , ) := {z C : |z z0 | }
es un conjunto cerrado pues tiene como complemento al conjunto
D(z0 , )c = {z C : |z z0 | > },
y es fcil verificar que este ltimo es abierto.
3. Un conjunto A C se dice acotado si existe un radio 0 > 0 tal que A D(0, 0 ).
4. Un conjunto se dice compacto si es cerrado y acotado.
5. Una sucesin de nmeros complejos zn = an + ibn se dice que converge al complejo z = a + ib, y se escribe
zn z, si se tiene que
lm |zn z| = 0,
n
82
Demostracin. Es directo de la compacidad de sucesiones en
R2 .
Finalmente, recordemos que un conjunto A se dice conexo (o tambin conexo por caminos), si dados dos puntos
cualesquiera del conjunto existe una curva regular por trozos que los une y que est completamente contenida
en A.
4.3.
Sea z = x + iy un nmero complejo, que como sabemos corresponde a un punto P de coordenadas cartesianas
x e y. Pero P tambin puede describirse en coordenadas polares r y . Ms precisamente, tenemos
z = x + iy = r cos + ir sen ,
p
donde r = x2 + y 2 = |z| y es el ngulo en radianes entre el eje OX y el segmento que une el origen con P ;
se dice que es el argumento de z.
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 6.2.1 veremos que es posible dar un sentido a la funcin exponencial evaluada en un nmero
arg z (, ]
83
As,
arg(z1 z2 ) = arg(z1 ) + arg(z2 ) (mod 2),
y en particular se tiene que multiplicar un complejo por ei corresponde a rotar el segmento que lo une con el
origen en radianes. Adems, como (ei )n = ei ei = ei(++) = ein , se deduce la frmula de Moivre
(cos + i sen )n = cos n + i sen n.
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:
k=2
1 = ei
b1
rk = 1,
k = 0 (mod 2)
2
2
2
r = 1, = 0, ( ), 2( ), . . . , (k 1)( )
k
k
k
2i 2
(k1)i 2
i 2
k
k
k
,...,e
z = 1, e , e
k=3
2
ei 3b
b1
b
ei
4
3
84
Captulo 5
Continuidad y derivacin
En este captulo estudiaremos las nociones de continuidad y derivabilidad de funciones de variable compleja.
En todo lo que sigue, f : C es una funcin definida sobre un conjunto abierto C.
5.1.
Funciones continuas
Definicin 5.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
lm f (z) = f (z0 ),
zz0
o de manera equivalente
lm |f (z) f (z0 )| = 0.
zz0
Si lo anterior es cierto para todo z0 , decimos simplemente que f es continua en y escribimos f C().
Por otra parte, dado z C, f (z) tiene una parte real y otra imaginaria; en consecuencia, se puede escribir
f (z) = u(z) + iv(z),
o bien
f (z) = u(x, y) + iv(x, y),
1
z = x + iy,
donde las funciones u = u(x, y) y v = v(x, y) son a valores en . Es directo verificar que f = u + iv es continua
en z0 = x0 + iy0 ssi u : y v : son continuas en (x0 , y0 ). En particular, las operaciones de suma,
producto, ponderacin por escalar, composicin y cuociente (cuando est bien definido) de funciones continuas
preservan la continuidad.
Ejemplos 5.1.2.
1. Si f (z) = z 2 entonces
f (z) = x2 y 2 + i2xy,
u(x, y) = x2 y 2
v(x, y) = 2xy.
R , f (z) = z 2 es continua en C.
2
85
R2 .
86
2. Si f (z) = 1/z entonces
f (z) =
x
y
i 2
,
x2 + y 2
x + y2
5.2.
zz0
f (z) f (z0 )
,
z z0
o(h)
= 0.
h0 h
En particular, si f es derivable en z0 entonces f es continua en z0 .
lm
f (z) f (z0 )
f (z0 + h) f (z0 )
=
z z0
h
u(x0 + h, y0 ) + iv(x0 + h, y0 ) u(x0 , y0 ) + iv(x0 , y0 )
=
.
h
h
Luego
f (z) f (z0 )
u(x0 + h, y0 ) u(x0 , y0 )
v(x0 + h, y0 ) v(x0 , y0 )
=
+i
.
z z0
h
h
Se tendr en particular que
f (z0 ) = lm
h0
f (z0 + h) f (z0 )
u
v
=
(x0 , y0 ) + i (x0 , y0 ).
h
x
x
Del mismo modo, es posible repetir un anlisis similar al anterior para z = z0 + ih con h
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
R. En tal caso
As,
87
f (z) f (z0 )
v(x0 , y0 + h) v(x0 , y0 )
u(x0 , y0 + h) u(x0 , y0 )
=
i
.
z z0
h
h
v
u
f (z0 + h) f (z0 )
=
(x0 , y0 ) i (x0 , y0 )
h0
h
y
y
Por unicidad del lmite en la definicin de derivada, debe cumplirse la igualdad de las dos expresiones recin
calculadas para f (z0 ). De este modo, igualando las partes real e imaginaria se obtiene
u
v
(x0 , y0 ) =
(x0 , y0 ),
x
y
(C-R)
v
u
(x0 , y0 ) = (x0 , y0 ),
y
x
f (z0 ) = lm
que se conocen como las condiciones de Cauchy-Riemann. Cabe sealar que este desarrollo slo asegura que estas
condiciones son necesarias para la existencia de la derivada de f en z0 . Veremos a continuacin que en realidad
estas igualdades resultan ser condiciones necesarias y suficientes para la derivabilidad de una funcin en un
punto. Para ello, notemos que, de manera equivalente, f es derivable en z0 si existe algn complejo f (z0 ) = a+ib
tal que
|f (z) f (z0 ) (a + ib)(z z0 )|
lm
= 0.
zz0
|z z0 |
b
a
x x0
y y0
= 0,
u
v
(x0 , y0 ) =
(x0 , y0 )
x
y
v
u
(x0 , y0 ) = (x0 , y0 )
y
x
En tal caso,
f (z0 ) =
v
u
(x0 , y0 ) + i (x0 , y0 ).
x
x
Ejemplos 5.2.3.
1. Consideremos
f (z) = z 2 = x2 y 2 + 2ixy.
Las funciones u(x, y) = x2 y 2 y v(x, y) = 2xy son (Frchet)-derivables en todo 2 pues todas sus
derivadas parciales son continuas en 2 . Ms an, es directo verificar que se cumplen las condiciones de
Cauchy-Riemann en todo 2 :
v
u
x = 2x = y ,
u
v
y = 2y = x .
Luego
88
2. Sea
= 3(x2 y 2 ) = v
y ,
v
= 6xy = x .
Luego
f (z0 ) = 3(x20 y02 ) + i6x0 y0 = 3z02 .
3. Tomemos ahora
f (z) = z k ,
con k > 0 un entero fijo. Veremos por definicin que
f (z0 ) = kz0k1 .
En efecto,
k
|(z0 + h)
z0k
kz0k1 h|
k
X
k kl l
=
z h
l 0
l=2
k2
X k k2j
z0
hj
= |h2 |
j=0 j + 2
|h|2
k2
X
j=0
k!
|z0 |k2j |h|j
(j + 2)!(k 2 j)!
|h|2 k(k 1)
2
k2
X
j=0
(k 2)!
|z0 |k2j |h|j
j!(k 2 j)!
(z0 + h)k z0k
k1
k2
0.
kz
0
|h| k(k 1)(|z0 | + |h|)
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.
5.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 ).
5.4. EJERCICIOS
89
Similarmente,
f (z) =
es holomorfa en C \ {0} con
f (z0 ) =
1
zk
k
,
z0k+1
z0 6= 0.
Por otra parte, es evidente que si f C con C C una constante entonces f 0. Para la recproca se tiene:
Proposicin 5.3.1. Sea f : C C una funcin holomorfa con un conjunto abierto y conexo por
caminos. 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
u
v
v
(x, y) =
(x, y) =
(x, y) =
(x, y) = 0.
x
y
x
y
Como es conexo por caminos, 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 5.3.2. Sean F, G H() dos primitivas de una funcin f : C C, donde es un abierto
conexo por caminos. Entonces existe una constante C C tal que para todo z , F (z) = G(z) + C.
Demostracin. Basta aplicar la Proposicin 5.3.1 a la funcin H = F G.
5.4.
Ejercicios
1. Para las siguientes funciones, determine aquellas que son holomorfas en todo C y calcule su derivada:
a) f (z) = z.
b) f (z) = ex (cos y i sen y), z = x + iy.
90
2.
a) Sea f : C
f (z0 ) = 0.
R. Pruebe que si f
b) Sean C un abierto conexo por caminos y f : C una funcin holomorfa. Pruebe que si |f | es
constante en entonces f tambin es constante. Indicacin: considere |f |2 .
3.
y
mediante las frmulas
z z
1
=
i
z
2 x
y
=
+i
z
2 x
y
f
= 0.
z
f
(z).
z
2f
= 0.
zz
d ) Dada una funcin f = u + iv con u y v de clase C 2 , se define el laplaciano de f mediante
c) Explicite en trminos de u y v a qu corresponde la ecuacin
f = u + iv,
y si f = 0 en entonces se dice que f es armnica en . Deduzca que si f H() entonces f es
armnica en . Pruebe que f H() si y slo si f (z) y zf (z) son armnicas en .
R3
definidos por
(ii) Pruebe que si u(x, y) y v(x, y) son conjugadas y de clase C 2 entonces u = v = 0 (decimos que u y
v son armnicas) y adems u v = 0.
(iii) Pruebe que si u(x, y) es armnica entonces existe una funcin v(x, y) conjugada de u. Indicacin: note
que lo anterior es equivalente a probar que un cierto campo es conservativo.
u
1 v
r =
r
1 u
v
=
r
r
Estas se conocen como las ecuaciones de Cauchy-Riemann en coordenadas polares. Verifique que de tenerse
estas condiciones entonces
u
v
f (z) =
ei , z = rei .
+i
r
r
Captulo 6
6.1.
Sea (ck )k0 C una sucesin de nmeros complejos y a C un punto dado. Dado z C definimos la suma
parcial
N
X
SN (z) =
ck (z a)k .
k=0
R = 1/ lm sup
k
p
k
|ck |,
P
2. La serie S(z) =
ck (z a)k es holomorfa en D(a, R) = {z C : |z a| < R} con
k=0
S (z) =
k=1
kck (z a)k1 .
Demostracin. Supongamos para simplificar que a = 0, el caso general se hace igual. Tenemos que:
p
Si |z| < R k |ck ||z| < 1 para todo k suficientemente grande, luego
|SN +m (z) SN (z)|
NX
+m
k=N +1
91
p
( k |ck ||z|)k
| {z }
k=N +1
N +1
|ck ||z|k
0 cuando N .
1
92
X
S(z + h) S(z ) X
k
k
(z
+
h)
z
0
0
0
0
kck z0k1 =
kz0k1
ck
h
h
k=1
k=2
|h|
k=2
|h|
"
|
k=2
k2
{z
convergente a un
M<+
= M |h| 0 cuando h 0.
#
}
Observacin. Si |z a| = R entonces puede o no haber convergencia, lo que depender de cada serie en
particular.
Corolario 6.1.2. Bajo las condiciones del teorema anterior, la serie
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 =
S (k) (a)
.
k!
6.2.
93
6.2.1.
La funcin exponencial
X
zk
k=0
k!
r
k
1
= 1/0 = ,
k!
R, exp(x) = ex.
y R, exp(iy) = cos y + i sen y.
x
En efecto, desarrollando la serie de potencias e identificando sus partes real e imaginaria se obtiene
exp(iy) =
X
(iy)k
k!
k=0
=
=
y4
y6
y3
y5
y7
y2
+
+ . . .] + i[y
+
+ . . .]
2!
4!
6!
3!
5!
7!
cos y + i sen y.
[1
En efecto,
exp(z1 + z2 )
X
(z1 + z2 )k
k!
k=0
k
X
1 X k kj j X X z1kj z2j
z1 z2 =
k! j=0 j
(k j)! j!
j=0
k=0
k=0
X
z1kj z2j
=
= exp(z1 ) exp(z2 ).
(k j)! j!
j=0
k=j
x, y
R,
R.
94
6.2.2.
Funciones hiperblicas
Una vez definida la funcin exponencial, podemos definir las funciones coseno y seno hiperblico de una variable
compleja de manera similar a como se definen las funciones hiperblicas de una variable real.
El coseno hiperblico es la funcin holomorfa en C
cosh : C C
definida por
exp(z) + exp(z)
2
z2
z4
z6
=1+
+
+
+ ...
2!
4!
6!
= cosh(x) cos y + i senh(x) sen y.
cosh(z) =
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 = ( 2 + k)i, k Z.
senh(z) = 0 z = ki, k Z.
6.2.3.
Funciones trigonomtricas
Por analoga con el caso real, las funciones trigonomtricas coseno y seno de una variable compleja se definen a
partir de sus series de potencias1
El coseno es la funcin holomorfa en C
1 Las
cos : C C
series de potencias del seno y del coseno tienen ambas radio de convergencia igual a infinito.
95
z4
z6
z2
+
+ ...
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
definida por
z5
z7
z3
+
+ ...
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 = ( 2 + k), k Z.
sen(z) = 0 z = k, k Z.
6.2.4.
Funcin logaritmo
Aunque nos gustara definir 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) 6= 0 para todo z C.
2. exp(z) no es inyectiva pues es 2i-peridica.
La primera dificultad es simple de resolver pues basta restringir el dominio del logaritmo al rango de la exponencial, esto es, C \ {0}. Aunque el segundo inconveniente es ms delicado, veremos a continuacin que s es
posible definir
log : C \ {0} C
de modo tal que se tenga la propiedad
z C \ {0}, exp(log(z)) = z.
96
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 = rei tiene como solucin x = ln r,
y = (mod 2). Luego, el conjunto solucin est dado por {ln |z| + i(arg z + 2k)|k Z}, donde arg z (, ]
es el valor principal del argumento de z definido en la seccin 4.3.
As, para cada k Z tenemos la determinacin k-sima de la funcin logaritmo logk : C \ {0} C definida por
logk (z) = ln |z| + i(arg z + 2k). La determinacin principal del logaritmo complejo es la funcin
log : C \ {0} C
definida por
log(z) = ln |z| + i arg z.
Propiedades.
exp(log(z)) = eln |z| earg z = z.
log(z1 z2 ) = log(z1 ) + log(z2 ) (mod 2i).
R.
log(z) es holomorfa en C \ R , y ms an
log(z) es discontinua en
1
.
z0
log (z0 ) =
En efecto,
h
1 log(1 + z0 )
log(z0 + h) log(z0 )
=
h
z0
( zh )
0
w
1
1
1
1
=
=
z0 exp(w) exp(0)
z0 exp (0)
z0
donde w = log(1 +
h
z0 )
0 cuando h 0.
1 X
=
(1 z)k
z
k=0
entonces
log (z) =
si |z 1| < 1
(1 z)k
k=0
si |z 1| < 1,
X
(1)k
k=0
k+1
(z 1)k+1
6.3. EJERCICIOS
97
R :
X
z
z0
=
(1 )k
z
z0
k=0
siempre que |z z0 | < |z0 | entonces para todo z en la componente conexa por caminos del conjunto
D(z0 , |z0 |) \ que contiene a z0 se tiene
log(z) = log(z0 ) +
k=0
6.2.5.
(1)k
(z z0 )k+1 .
(k + 1)z0k+1
Otras funciones
senh(z)
cosh(z)
sen(z)
cos(z)
6.3.
Ejercicios
Ejercicios Resueltos
1. Determine el radio de convergencia de las siguientes series:
P
P n n2 n
x
(i) (log (n))2 xn ,
(ii)
n+1
Solucin:
(i) En esta ocasin utilizaremos el criterio del cuociente, recordando que el cuociente de una serie se define
por
|an+1 |
1
= lm sup
.
R
|an |
n
Se deja al lector ver que sucede cuando se aplica el criterio de la raz ensima.
Desarrollamos el cuociente de la serie y obtenemos
2
1
log(n + 1)
(log(n + 1))2
.
=
l
m
sup
= lm sup
R
(log n)2
log n
n
n
98
Utilizando lHpital se llega a
2
2
1
1
1/(n + 1)
== lm sup
= 1.
= lm sup
R
1/n
n 1 + 1/n
n
Concluyendo que el radio es R = 1.
(ii) En este caso usaremos el criterio de la raz ensima
s
n2
p
n
1
n
n
= lm sup |an | = lm sup
R
n+1
n
n
n
n
n 1
1
1
n
= lm sup 1 +
= lm sup 1 +
= e1 .
= lm sup
n+1
n
n
n
n
n
Concluimos as que R = e.
2. Sea Sn (z) = z + 2z 2 + 3z 3 + . . . + nz n y Tn (z) = z + z 2 + z 3 + . . . + z n
(i) Mostrar que Sn (z) =
Tn (z)nz n+1
.
1z
n=1
Solucin:
(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 + 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
n.
1/n
= 0,
1
P
obteniendo que 1/R = 1, i.e. R = 1, que equivale a decir que nN nz n < + si |z| < 1.
P n
Calculemos ahora
nz :
X
Tn nz n+1
nz n = lm Sn con Sn =
n
1z
log
1
R
= lm sup
n
Notemos que
2
Tn = z + z + . . . + z = z(1 + z + z + . . . + z
n1
)=z
n1
X
1=0
zi = z
(1 z n )
,
1z
6.3. EJERCICIOS
99
lm |nz|n+1 = lm n|z|n+1 = lm
Luego
nz n = lm Sn =
n
1
z
.
lm (Tn nz n1 ) =
1 z n
(1 z)2
3. Sea f : C C definida por f (z) = ez . Determine la serie de potencias de f en torno al origen y su radio
de convergencia.
Solucin:
Dado que en
R se tiene que ex =
n=0
xn
n! ,
z 2
para f se obtiene
X
X
(z 2 )n
z 2n
=
=
(1)n .
n!
n!
n=0
n=0
P
1. Sabiendo que la serie S(z) =
ck (z z0 )k tiene radio de convergencia R0 > 0, determine el radio de
convergencia de las siguientes series de potencias:
X
X
X
ck (z z0 )2k ,
c2k (z z0 )k ,
c2k (z z0 )k .
2. Determinar el radio de convergencia de las siguientes series de potencias y estudiar la convergencia cuando
|z| = 1:
X
X zk X zk
zk,
.
,
k
k2
3. Pruebe que:
a)
1
z2
=1+
b)
1
z2
1
4
4. Pruebe que:
k=1
P
(1)k (k
+ 41
k=1
+ 1)
z2 k
,
2
cuando |z 2| < 2.
d ) lm tan(x + iy) = i.
y
100
Captulo 7
Definicin
Un camino en C es una curva regular por trozos parametrizada por una funcin continua y diferenciable por
trozos : [a, b] C. Se dice que el camino es cerrado si (a) = (b). En algunas ocasiones, denotaremos por
a la curva como conjunto imagen de [a, b] va la parametrizacin , es decir
= ([a, b]) = {(t) : a t b}.
Sea C un conjunto abierto y f : C una funcin continua. Dado un camino parametrizado por
: [a, b] , definimos la integral compleja de f sobre mediante
Z
f (z)dz :=
Zb
f ((t))(t)dt.
f (z)dz,
Ms explcitamente, tenemos que si (t) = x(t) + iy(t) y f (z) = u(x, y) + iv(x, y), z = x + iy, entonces se tiene
Z
f (z)dz =
Zb
a
+i
[u(x(t), y(t))x(t)
v(x(t), y(t))y(t)]dt
Zb
[u(x(t), y(t))y(t)
+ v(x(t), y(t))x(t)]dt.
Luego
R.
2
f (z)dz =
Z
u
v
d~r + i
Z
v
u
d~r.
f (z)dz se calcula a partir de dos integrales de trabajo sobre , vista esta ltima como una
En particular resulta que la integral compleja es invariante bajo reparametrizaciones regulares de que preservan
la orientacin; en caso que dos parametrizaciones regulares del camino lo recorran en sentido opuesto, el valor
de la integral slo cambia de signo.
101
102
7.2.
Propiedades y ejemplos
[f (z) + g(z)]dz =
2. f C()
f (z)dz +
g(z)dz.
Z
f (z)dz L() sup |f (z)|,
z
donde L() =
Rb
a
|(t)|dt
3. Si f C() admite primitiva, i.e. F H() tal que F (z) = f (z), entonces
Z
f (z)dz = F ((b)) F ((a)),
y en consecuencia el valor de la integral slo depende de los extremos del camino pero no de la trayectoria
recorrida. En particular, si es un camino cerrado entonces
I
f (z)dz = 0.
Demostracin.
1. Directo.
2. Comencemos por observar que si H(t) = U (t) + iV (t) entonces
b
b
Z
Z
Zb
Zb
H(t)dt = U (t)dt + i V (t)dt |H(t)|dt.
a
Rb
a
r0 = e
i0
Rb
H(t)dt, de modo que r0 = H(t)dt. Luego,
a
Zb
H(t)dt =
Zb
ei0 H(t)dt,
Zb
i0
H(t)dt
Zb
Zb
Re[e
i0
H(t)]dt
|ei0 H(t)|dt =
Zb
a
Zb
a
|Re[ei0 H(t)]|dt
|H(t)|dt,
103
donde hemos usado que |ei0 | = 1, probando as nuestra primera afirmacin. Utilizando lo anterior, se
obtiene
Z
Zb
Z
f (z)dz |f ((t))| |(t)|dt
sup
|f
(z)|
|(t)|dt
z
a
sup |f (z)|L().
z
f (z)dz =
Zb
F ((t))(t)dt
Zb
a
d
[F ((t))]dt = F ((b)) F ((a)).
dt
1
(z z0 )k+1 .
k+1
En el caso k = 1 se tiene un problema cuando el camino encierra al punto z0 pues log(z z0 ) es primitiva
de (z z0 )1 pero slo para z C \ {z0 + } y por lo tanto no podemos aplicar la proposicin 7.2.1 cuando
{z0 + } 6= como en la figura 7.1.
z0
104
R. Luego
Zb
1
i(t)
i(t)
(t)]dt
[r(t)e
+ r(t)ie
r(t)ei(t)
a
b
Z
Zb
1 r(t)
=
dt + i (t)dt
2i
r(t)
a
i
1 h r(b)
ln
+ i[(b) (a)]
=
2i
r(a)
(b) (a)
2
nmero de vueltas de en torno a z0 en sentido antihorario.
Un ejemplo de los valores que puede tomar la indicatriz de una curva cerrada se ilustra en la figura 7.2
0
1
1
Figura 7.2: Funcin indicatriz de una curva cerrada
En el caso de una funcin que es expresable como una serie de potencias en un disco se tiene:
Corolario 7.2.4. Para una serie de potencias
S(z) =
k=0
ck (z z0 )k
S(z)dz = 0
105
Demostracin. Basta con observar que la serie de potencias S(z) tiene como primitiva en D(z0 , R) a la funcin
X
ck
(z z0 )k+1 .
F (z) =
k+1
k=0
Resultados como el corolario 7.2.4 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 7.2.5 (Integrales de Fresnel).
Las siguientes identidades se conocen como las integrales de Fresnel:
Z
cos(x )dx =
sen(x )dx =
.
2
(7.1)
3
(R)
/4
1
exp(iz 2 )dz = 0.
(7.2)
(R)
(R)
exp(iz )dz =
exp(iz )dz +
exp(iz )dz +
exp(iz 2 )dz.
106
Tenemos
Z
exp(iz 2 )dz =
ZR
exp(ix2 )dx =
cos(x2 )dx + i
ZR
sen(x2 )dx,
ZR
luego
Z
exp(iz )dz
cos(x )dx + i
Z
0
Tenemos
Z
exp(iz 2 )dz =
luego
Z0
exp(iz )dz e
i/4
ZR
er dr,
r
r
1
= (
+i
), cuando R .
2
2
2
2
Finalmente
Z
exp(iz 2 )dz =
2
=
=
Z/4
2 2i
i
exp(iR e )Rie d
0
Z/4
2
R eiR (cos 2+i sen 2) ei d
0
Z/4
2
eR sen 2 d
R
0
Z/4
2 2
eR 2 d
R
0
/4
4R2
e
4R
0
R2
[1 e
] 0, cuando R .
4R
cos(x )dx =
sen(x2 )dx =
1
2
7.3.
107
El teorema de Cauchy-Goursat
Una pregunta interesante es saber si un resultado similar al corolario 7.2.4 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.
Definicin 7.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.
Definicin 7.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 7.3.3 (Cauchy-Goursat). Si f es una funcin holomorfa en un abierto simplemente conexo
entonces
I
f (z)dz = 0
Demostracin. Para simplificar, slo daremos la demostracin en el caso en que se supone adems que f (z)
es continua1 en . Sea D C la regin encerrada por el camino . Si f = u + iv entonces se tiene que
I
I
I
v
u
d~r.
d~r + i
f (z)dz =
u
v
ZZ
ZZ
u v
(v) u
dxdy + i
dxdy,
=
x
y
y
D x
D
|
|
{z
}
{z
}
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 7.3.4. El teorema 7.3.3 fue demostrado originalmente por A. Cauchy bajo la hiptesis adicional
de que f (z) es continua en , lo que asumimos en la demostracin slo para simplificar el anlisis pues nos
permite aplicar directamente el teorema de Green en el plano.
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 8.2.1).
El resultado anterior puede extenderse a situaciones ms generales. Un ejemplo lo constituye el siguiente teorema:
Teorema 7.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
1 Para
una demostracin en el caso general el lector puede referirse por ejemplo a Teora de Funciones de Variable Compleja,
R.V. Churchill, McGraw-Hill, New York, 1966.
108
y escojamos > 0 suficientemente pequeo de modo tal que los discos cerrados D(pj , ) estn contenidos en D
y no se intersecten entre s. Sea j (t) = pj + eit con t [0, 2]. Entonces
I
n I
X
f (z)dz
f (z)dz =
j=1
n
[
D(pj , ).
i=1
f (z)dz +
f (z)dz
D
n
XI
j=1 (j )
I
n
X
f (z)dz,
j=1
7.4. EJERCICIOS
7.4.
109
Ejercicios
Ejercicios Resueltos
1.
|z|
z dz con la frontera del semicrculo { z C : |z| 1, Imz 0} .
Solucin:
La curva se compone de la semicircunferencia de radio 1 que se parametriza mediante 1 (t) = eit con
t [0, ], y del segmento [1, 1] que se parametriza poniendo 2 (t) = t con t [1, 1] (este segmento no
se considera, pues corresponde a una integral de una funcin impar en un intervalo simetrico respecto al
origen, o sea da cero).
Luego,
Z
Z 1
Z
Z
|z|
z dz =
eit ieit dt +
|t|tdt = i
= i
2.
Solucin:
Los cuatro lados de pueden paramtrizarse poniendo:
t [0, 1]
1 (t) = t,
t [0, 1]
2 (t) = 1 + it,
3 (t) = 1 + i(1 t),
4 (t) = (1 t)i,
t [0, 1]
t [0, 1]
Por lo tanto:
Z
|z| d =
1
2
t dt +
(1 + t )idt
= (i 1)
3.
1
2
(i + t )dt
t2 idt
dt = i 1
|z|
|dz|
|1z|2
y use que
n=1
X
1
r
1
=
(1
+
2
( )n cos(nt))
r2 2rR cos(t) + r2
R2 r 2
R
n=1
rn converge uniformemente a
r
1r
Solucin:
Probemos en primer lugar que si 0 r < R,
X
1
1
r
= 2
(1 + 2
( )n cos(nt))
r2 2rR cos(t) + r2
R r2
R
n=1
110
1
R
z
1
r2
(
)
=
=
+
(R z)(R z)
(R z)(Rz r2 )
R2 r 2 R z
Rz r2
por lo que poniendo z = reit y usando la segunda parte de la indicacin, se tiene que:
r
)eit
(R
1
1
1
=
(
+
)
r
r2 2rR cos t + r2
R2 r2 1 ( R )eit
1 ( Rr )eit
X
r n int
r it X r n int
1
(
( ) e + ( )e
)
= 2
( ) e
R r2 n=0 R
R
R
n=0
X
r n int X r n int
1
(
(
)
e
+
( ) e
)
R2 r2 n=0 R
R
n=1
X
r
1
( )n cos(nt)).
(1
+
2
R2 r 2
R
n=0
4. Calcule
Z 2
Z 2
r
dt
dt
2
2
rdt
=
r
=
r
it |2
2 + r2 sen2 (t)
|1
re
(1
r
cos(t))
1
2r
cos(t)
+ r2
0
0
0
Z 2
X
X
r2
sen(nt) t=2
2r2
r2
n
=
[t
+
2
rn
.
]t=0 =
(1
+
2
r
cos(nt))dt
=
2
2
1r 0
1r
n
1 r2
n=1
n=0
|z|
|dz| =
|1 z|2
zdz, siendo :
(t) = t2 + it con 0 t 2
Solucin:
Por definicin, tenemos que:
Z
zdz =
(t it)(2t + i)dt =
t3
t2
8
t4
i + ]t=2
t=0 = 10 i.
2
3
2
3
la lnea poligonal que conecta los puntos 0 con 2i, y 2i con 4 + 2i.
=[
Solucin:
Nuevamente por definicin tenemos que:
Z
zdz =
=[
(it)idt +
4
0
(t 2i)dt
t2 t=2
t2
]t=0 + [ 2it]t=4
t=0 = 10 8i.
2
2
7.4. EJERCICIOS
5. Calcule
dz
,
z2
111
siendo :
dz
=
z2
iei(t)
dt = i
e2i(t)
2
1 3i(t) t=
[e
]t=0 =
3
3
e3i(t) dt =
dz
=
z2
ieit
dt = i
e2it
e3it dt =
1 3it t=2
2
[e ]t= =
3
3
Ejercicios Propuestos
|z|=2
|z|=1
[0,z0 ]
dz
,
z2 + 1
z n dz
|z|=1
[0,i]
3. Pruebe que
lm
z
dz = 0,
z3 + 1
R
|z|=R
lm
R
[R,R+i]
z 2 exp(z)
dz = 0
z+1
4. Pruebe que
Z
ex dx
Zb
ex dx
x2
cos(2bx)dx
= e
b2
ex sen(2bx)dx
= eb
1 b2 + x2
dx =
(1 b2 + x2 )2 + 4b2 x2
2
1
en un contorno rectangular adecuado.
1 + z2
112
b) Si adems b 6= 0, pruebe que
Z
0
6. Pruebe que
x
1
1+b
dx =
ln
(1 b2 + x2 )2 + 4b2 x2
4b 1 b
Z
Captulo 8
La frmula de Cauchy
El siguiente resultado, que bsicamente es una consecuencia del teorema 7.3.3 de Cauchy-Goursat, es fundamental para el desarrollo de la teora de funciones de varible compleja.
Teorema 8.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:
I
f (z)
1
dz,
(8.1)
f (z0 ) =
2i D(p,r) z z0
donde D(p, r) es la circunferencia de centro p y radio r > 0 recorrida en sentido antihorario.
Demostracin. Supongamos z0 6= p (el caso z = p es anlogo y se deja como ejercicio al lector). En virtud del
teorema 7.3.5, que a su vez es una consecuencia del teorema 7.3.3, para todo > 0 suficientemente pequeo se
tiene
I
I
I
f (z)
f (z)
f (z)
dz =
dz +
dz.
(8.2)
D(p,r) z z0
D(p,) z z0
D(z0 ,) z z0
La primera integral del lado derecho tiende a 0 cuando 0; en efecto, por la Proposicin 7.2.1 se tiene
I
f (z)
|f (z)|
dz 2 sup
2M ,
D(p,) z z0
zD(p,) |z z0 |
D(z0 ,)
f (z)
dz
z z0
Z2
f (z0 + eit ) it
ie dt
eit
Z2
113
114
Z2
(8.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
2
Z
Z
f (z0 + eit )dt 2f (z0 ) = [f (z0 + eit ) f (z0 )]dt
0
Z2
0
2,
y como > 0 es arbitrario, esto implica que se tiene (8.3).
Finalmente, observando que el lado izquierdo en (8.2) no depende de y haciendo 0 en esta igualdad se
obtiene
I
f (z)
dz = 2if (z0 ),
z
z0
D(p,r)
lo que prueba el resultado.
8.2.
Teorema 8.2.1. Sea f : C C una funcin continua en un abierto y holomorfa en \ {p}. Sea r > 0
tal que D(p, r) . Entonces existe una sucesin de constantes c0 , c1 , c2 , . . . C tales que
f (z) =
k=0
ck (z p)k ,
y ms an
ck =
1 (k)
1
f (p) =
k!
2i
z D(p, r),
D(p,r)
f (w)
dw,
(w p)k+1
f (z) =
zp dw
2i D(p,r) w z
2i D(p,r) (w p) 1 wp
I
X
(z p)k
1
dw
f (w)
=
2i D(p,r)
(w p)k+1
k=0
!
I
X
1
f (w)
=
dw (z p)k
2i D(p,r) (w p)k+1
=
k=0
k=0
ck (z p)k .
115
R P PR
El intercambio
=
se justifica como sigue
I
I
N I
X
X
X
( %)
( %) =
( %)
D
D
D
k=0
k=0
k=N +1
X f (w)(z p)k
2r sup
(w p)k+1
wD
N +1
X
|z p|k
2r sup |f (w)|
rk+1
wD
|
{z
} N +1
M
k
X
|z p|
0
2M
r
N +1
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 6.1.1 y el corolario 6.1.2).
Una consecuencia importante del ltimo resultado es la siguiente:
Corolario 8.2.2. Si f : C C es continua en un abierto , y holomorfa en salvo en a lo ms un
nmero finito de puntos, entonces f es holomorfa en todo y, ms an, f es infinitamente derivable en .
8.3.
Otras consecuencias
Corolario 8.3.1 (Desigualdades de Cauchy). Sea abierto, f H(), p y r > 0 tal que D(p, r) .
Si definimos
Mr = sup |f (z)|
D(p,r)
entonces
|f (k) (p)|
k 0,
Demostracin. Del teorema 8.2.1, se deduce que
1 (k)
1
f (p) =
k!
2i
de modo que:
|f
(k)
k!
(p)|
2
=
k!
2
D(p,r)
D(p,r)
Z2
0
k! 1
2 rk
k!Mr
rk
f (w)
dw
(w p)k+1
|f (w)|
|dw|
rk+1
|f (p + rei )|
|riei |d
rk+1
Z2
0
|f (p + rei )|d
k! 1
k!Mr
Mr 2 = k .
k
2 r
r
Corolario 8.3.2 (Teorema de Liouville). Si f H(C) es una funcin acotada entonces f constante en C.
116
Demostracin. Por hiptesis, existe una constante M > 0 tal que z C, |f (z)| M . Sea z0 C. Dado r > 0,
obviamente D(z0 , r) C que es la regin en donde f es holomorfa. Por el corolario anterior, se tiene que para
k = 1, |f (z0 )| M/r, pues Mr = supzD(z0 ,r) |f (z)| M . Como r > 0 es arbitrario, podemos hacer r
para deducir que |f (z0 )| = 0, y como z0 tambin es arbitrario, tenemos que f 0 en C, de donde se sigue que
f es constante.
Corolario 8.3.3 (Teorema de dAlembert o Teorema Fundamental del Algebra). Si f es un polinomio
no constante entonces existe z0 C tal que f (z0 ) = 0. En consecuencia, todo polinomio de grado n 1 tiene
exactamente n races.
Demostracin. La demostracin de este resultado mediante mtodos puramente algebraicos es algo dificultosa.
Sin embargo, puede deducirse con relativa facilidad a partir del teorema de Liouville.
Argumentando por contradiccin, supongamos que z C, f (z) 6= 0 con f (z) = a0 + a1 z + . . . + an z n , n 1 y
an 6= 0. Obviamente f H(C) y adems podemos definir g H(C) mediante g(z) = 1/f (z). Si g fuese acotada
entonces, por el teorema de Liouville, se tendra g C para alguna constante C C. Pero en tal caso, f tambin
sera constante, lo que contradice la hiptesis. Veamos ahora que efectivamente g es una funcin acotada bajo
la condicin z C, f (z) 6= 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, . . . , n 1}. Notemos que |g(z)| 0 cuando |z| . En particular, r > 0 tal que
|z| > r |g(z)| 1. Para |z| r, notemos que g es continua de modo que es acotada en el compacto D(0, r).
Tomando M = max{1, supzD(0,r) |g(z)|} < se tiene que z C, |g(z)| < M .
8.4.
Ejercicios
Ejercicios Resueltos
2
Z
2
3
ex cos(2bx)dx = eb
2
0
Z
Z b
2
2
2
ey cos(2by)dy = eb
ey dy
0
Solucin:
R
Primero notamos que la funcin f es holomorfa en todo C, lo que implica que f (z)dz = 0 para cualquier
curva cerrada en C.
Consideremos = 1 2 3 4 donde
1 : x; x [0, R],
8.4. EJERCICIOS
117
As, de la igualdad
P4
i=1 i
ZR
x2
F (z)dz = 0 se obtiene
Zb
dx +
(R+iy)2
idy
ZR
(x+R)2
dx
Zb
ey idy = 0.
Recordemos que
lm
ZR
Z
2
ex dx =
dx =
,
2
x2
ZR
x2 2xib
ZR
b2
R dx = lm
Z
0
eb ex (cos(2xb) i sen(2bx))dx
2
eb ex (cos(2xb) i sen(2bx))dx.
R2
Zb
0
Zb
y2
e | cos(2yR)|dy
ey dy 0
R
Adems se tiene
lm
Zb
y 2
dy =
Zb
ey dy
Igualando entonces, tanto la parte real como la imaginaria a 0 en (8.4), finalmente se obtiene:
Real:
x2
concluyendo que
ex cos(2xb)dx =
Imaginaria:
dx
R
0
eb ex cos(2xb)dx = 0,
2
eb 2 .
b2 x2
e e
concluyendo que
ey sen(2by)dy = eb
sen(2bx)dx
Rb
0
ey dy
Zb
0
ey dy = 0,
(8.4)
118
Ejercicios Propuestos
Z2
log(1 + rei )d = 0,
y por lo tanto
Z/2
ln(sen x)dx = ln 2.
2
0
R,
Captulo 9
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 9.1.1. El complejo p = 0 es un punto singular aislado de la funcin
sen z
f (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) = lm f (z).
zp
Notemos que en este caso podemos extender la definicin de f a todo el disco D(p, R) de la siguiente forma:
f (z) si z D(p, R) \ {p},
b
f (z) =
L0 (p) si z = p.
La funcin fb as definida 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 8.2.2 se tiene fb H(). Esto justifica la terminologa de punto singular
evitable.
si z 6= 0,
z
b
f (z) =
1
si z = 0.
120
Se dice que p C es un polo de f (z) si p es un punto singular aislado de f (z) y adems existe un entero m 1
tal que el lmite
Lm (p) = lm (z p)m f (z)
zp
existe y es no nulo, i.e. Lm (p) 6= 0. El menor m 1 con dicha propiedad se llama orden del polo p. Diremos que
p es un polo simple cuando sea un polo de orden m = 1.
Ejemplo 9.1.3. El complejo p = 0 es un polo simple de la funcin
f (z) =
pues
L1 (0) = lm (z 0)
z0
cos z
,
z
cos z
= lm cos z = cos(0) = 1.
z0
z
2
zp
zp
zp
para todo entero m 1, lo que contradice la definicin de polo. Luego, un polo es una verdadera singularidad
de la funcin en el sentido que no es posible repararla en p por continuidad.
Supongamos que p es un polo de f (z) de orden m 1. Si consideramos
g(z) = (z p)m f (z)
entonces p resulta ser un punto singular evitable de g(z) y en consecuencia la funcin
(
(z p)m f (z)
si z \ {p},
g(z) =
b
lm (z p)m f (z) si z = p.
zp
es holomorfa en todo . De acuerdo al teorema 8.2.1, si r > 0 es tal que D(p, r) entonces b
g(z) admite una
expansin en serie de Taylor en D(p, r) y en particular se tiene
z D(p, r) \ {p},
(z p)m f (z) =
k=0
donde
b
ck
=
=
=
b
ck (z p)k ,
gb(k) (p)
k!I
g(w)
b
1
dw
2i D(p,r) (w p)k+1
I
1
f (w)
dw,
2i D(p,r) (w p)km+1
con lo cual se obtiene para f (z) el siguiente desarrollo en serie de potencias (con potencias negativas) para todo
z D(p, r) \ {p}:
b
c0
b
c1
cm1
b
f (z) =
+
+ ...+
+ R(z),
(9.1)
(z p)m
(z p)m1
(z p)
donde el resto
R(z) =
k=m
b
ck (z p)km
121
es una funcin holomorfa en D(p, r) por tratarse de una serie de potencias usual. El desarrollo (9.1) puede
escribirse como
f (z) =
=
cm (z p)m + . . . + c1 (z p)1 + c0 + c1 (z p) + . . .
X
ck (z p)k ,
k=m
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 9.4, la cual constituye una generalizacin de la serie de Taylor al caso de funciones con singularidades
aisladas. En el caso ms general, la serie de Laurent puede admitir infinitos trminos no nulos asociados a
potencias negativas (en lugar de slo un nmero finito como ocurre en el caso de un polo), en cuyo caso decimos
que se trata de una singularidad esencial de f (z). En este apunte, no abordaremos el caso de singularidades
esenciales.
Como veremos en la siguiente seccin, el coeficiente b
cm1 (o equivalentemente, el coeficiente c1 ) en el desarrollo
de Laurent (9.1) de f (z) en torno a p juega un rol muy importante en la teora de funciones de variable compleja.
A este coeficiente se le llama residuo de f en p y se denota por Res(f, p). Tenemos que
I
1
gb(m1) (p)
=
f (w)dw.
Res(f, p) =
(m 1)!
2i D(p,r)
Una expresin para Res(f, p) que es muy til en clculos especficos se obtiene al notar que todas las derivadas
de b
g son continuas de modo tal que, recordando que gb(z) = (z p)m f (z) si z 6= p:
dm1
1
[(z p)m f (z)]
zp (m 1)! dz m1
Res(f, p) = lm
donde
9.2.
dm1
dz m1
(9.2)
Sea f H( \ {p}). Supongamos primero que p es un punto singular evitable de f , de modo que la extensin
fb de f a todo por continuidad satisface fb H(). Si es simplemente conexo y \ {p} es un camino
cerrado simple entonces podemos aplicar el teorema 7.3.3 de Cauchy-Goursat a fb para deducir que
I
f (z)dz = 0,
(9.3)
donde hemos usado que fb coincide con f en \ {p} y que el camino no pasa por p.
Supongamos ahora que p es un polo de f de orden m. Como en este caso no es posible extender f a todo de
modo que la extensin sea continua, nada asegura que (9.3) sea vlido. De hecho, si suponemos que el camino
cerrado simple est contenido en D(p, r) \ {p} con r > 0 de modo tal que el desarrollo (9.1) es vlido para
todo z D(p, r) \ {p}, entonces tenemos
I
I
c0
b
cm1
b
+ ...+
+ R(z) dz
f (z)dz =
m
(z p)
(z p)
I
1
= b
cm1
dz
z
122
siempre que se recorra en sentido antihorario. Esta propiedad explica el nombre de residuo dado al coeficiente
cm1 , y puede extenderse a situaciones ms generales. Introduzcamos primero la siguiente definicin.
b
Definicin 9.2.1. Una funcin f se dice meromorfa en un abierto si existe un conjunto P finito o
numerable tal que
(1) f H( \ P ).
(2) f tiene un polo en cada punto p P .
(3) P no posee puntos de acumulacin.
Teorema 9.2.2 (de los residuos de Cauchy). Sea f una funcin meromorfa en un abierto y sea P el
conjunto de todos sus polos. Sea un camino simple y cerrado, recorrido en sentido antihorario, que encierra
una regin D y tal que P = . Entonces encierra un nmero finito de polos de f , digamos P D =
{p1 , . . . , pn } y ms an
I
n
X
Res(f, pj ).
(9.4)
f (z)dz = 2i
j=1
Demostracin. Comencemos por notar que si bien P puede ser infinito, sabemos que D es acotado, y como P
no tiene puntos de acumulacin en se sigue que P D es finito. Ahora bien, de acuerdo con el teorema 7.3.5,
para > 0 pequeo se tiene
I
n I
X
f (z)dz, j (t) = pj + eit , 0 t 2.
f (z)dz =
j=1
j
En torno a cada polo pj la funcin f admite un desarrollo del tipo (9.1) de modo tal que
I h
I
i
f (z)dz =
cjmj (z pj )mj + . . . + cj1 (z pj )1 + Rj (z) dz
j
=
=
cj1
1
dz
z pj
2i Res(f, pj ),
9.3.
Ejemplos
Una primera regla de clculo sencilla para evaluar el residuo de una funcin de la forma
f (z) =
g(z)
h(z)
D(0,2)
1
dz.
1 + z2
(9.5)
9.3. EJEMPLOS
123
1
1
=
1 + z2
(z + i)(z i)
p2 = i,
bi
1
,
2i
y
Res(f, i) =
Luego
D(0,2)
1
.
2i
1
1
1
= 0.
dz
=
2i
1 + z2
2i 2i
124
X 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)
= lm
lm
zp
zp g(z)
El denominador tiende hacia
caso tiende a
f (n) (p)
n! ,
g(n) (p)
n! .
f (k) (p)
k! (z
p)kn
k=0
(n+1) (p)
g(n) (p)
+ g (n+1)!
(z
n!
p) + . . .
El numerador slo converge cuando f (k) (p) = 0 para todo k < n, y en tal
I
dz
,
z sen z
Solucin La funcin
f (z) =
1
z sen z
tiene como candidatos a ser polos todos los puntos del tipo pk = k, k Z.
Si k = 0 entonces p0 = 0 es polo de orden 2; en efecto
z
1
= lm
= 1,
z0 sen z
z0 cos z
lm z 2 f (z) = lm
z0
z0
z0
1
sen z
no existe. Si k 6= 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.
9.3. EJEMPLOS
125
Residuo:
1 d1 2
d z
(z f (z)) = lm
1
z0 1! dz
z0 dz
sen z
cos z cos z + z sen z
sen z z cos z
= lm
= 0.
= lm
z0
z0
sen2 z
2 sen z cos z
Res(f, 0) =
lm
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 9.3.4. Calcular
e3iz
z3
dz,
3eiz + 2
e3iz
z3
,
3eiz + 2
(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.
Si en lugar del camino anterior se considera la circunferencia centrada en el origen y de radio R > 0 suficientemente grande, entonces ambos puntos son relevantes.
126
f (z) =
(3iz)2
(1 + (3iz) +
2!
(3iz)3
3!
3
( 92 z 2
27 3
6 iz
3z 2
+ . . .) 3(1 + iz +
z
+ . . .) ( 32 z 2
iz 3
6
(iz)2
2!
(iz)3
3!
+ . . .) + 2
+ . . .)
z
0 p = 0 no es polo.
+ o(z 2 )
p = i ln 2:
1
z3
z3
,
=
iz
2
iz
iz
2
iz
(e 1) (e + 2)
(e 1) e eip
f (z) =
luego
zp
1
p3
p3 1
i( i ln 2)3
z3
=
=
=
6= 0,
zp (eiz 1)2 eiz eip
(eip 1)2 ieip
9 i(2)
18
lm
de modo que p = i ln 2 es un polo simple. En este caso, el residuo coicide con el lmite que acabamos de
calcular, es decir
Res(f, p) = lm (z p)f (z) =
zp
y en consecuencia
i( i ln 2)3
,
18
f (z)dz = ( i ln 2)3 .
9
D(0,R)
2
f ()
1
1
dz =
z
2i
Zb
a
d
1
1
f ((t)) (t)dt =
f ((t))
dt
2i
f (z)
dz.
f (z)
f (z)
f (z)
y sea p un cero de f . Como f es holomorfa, podemos encontrar r > 0, m 1 y una funcin f0 (z) holomorfa en
D(p, r) tales que para todo z D(p, r), f (z) = (z p)m f0 (z) con f0 (p) 6= 0 (m es la multiplicidad de p). De
este modo, para z D(p, r) podemos escribir
g(z) =
m
f (z)
m(z p)m1 f0 (z) + (z p)m f0 (z)
=
+ 0 ,
m
(z p) f0 (z)
z p f0 (z)
127
y en consecuencia p es un polo simple de g y ms an Res(g, p) = m. Repitiendo esto para cada uno de los ceros
de f , deducimos del teorema de los residuos que
I
X
1
g(z)dz =
mp = nmero total de ceros de f en D.
2i
pD
9.4.
Series de Laurent
k=
ck (z a)k
(9.6)
donde a C es un punto dado y (ck )k Z es una familia de nmeros complejos indexada por los enteros.
Observemos que a diferencia de una serie de potencias, en la serie de Laurent intervienen tanto potencias
positivas como negativas de (z a).
k=0
ck (z a)k ,
N (z) =
1
X
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 6= a diremos que la serie de Laurent (9.6) converge si P (z) y N (z) convergen.
R1 = lm sup
k
p
k
|ck |,
R2 = 1/ lm sup
k
k= ck (z
p
k
|ck |
A = {z C : R1 < |z a| < R2 }
p
mientras que diverge si |w| > 1/ lm sup k |ck |. Tomando w = (z a)1 vemos que N (z) converge si |z a| > R1
k
y diverge si |za| < R1 . En sntesis, la serie de Laurent L(z) converge si R1 < |za| < R2 y diverge si |za| < R1
o |z a| > R2 .
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 7 (z a)1 . Luego L(z) es holomorfa en A.
128
r1
r2
1
2
Figura 9.4: circulos de radio r1 < r2
Observacin 9.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.
Teorema 9.4.3. Sean a C un punto dado, 0 R1 < R2 y A la regin definida por
A = {z C : R1 < |z a| < R2 }.
Si f : A C es una funcin holomorfa, entonces existen constantes (ck )kZ tales que
f (z) =
k=
Ms an,
1
ck =
2i
ck (z a)k ,
D(a,r)
z A.
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
no depende de r. En efecto, sean R1 < r1 < r2 < R2 y usemos la notacin 1 = D(a, r1 ), 2 = D(a, r2 ),
f (w)
parametrizadas en sentido antihorario. Entonces por el teorema de Cauchy aplicado a la funcin w 7 (wa)
k+1 ,
que es holomorfa en A, y al camino de la figura:
se deduce que
f (w)
dw =
(w a)k+1
f (w)
.
(w a)k+1
129
za dw
2i 2 w z
2i 2 w a 1 wa
I
X
1
(z a)k
dw
f (w)
=
2i 2
(w a)k+1
k=0
I
X
1
f (w)
=
dw (z a)k
2i 2 (w a)k+1
=
k=0
k=0
RP
PR
ck (z a)k ,
donde el intercambio
se justifica exactamente del mismo modo que en la demostracin del Teore=
ma 8.2.1, utilizando que para w 2
z a |z a|
w a = r2 < 1.
f (w)
dw
2i 1 w z
2i 1
z a 1 wa
za
I
X
(w a)k
1
dw
f (w)
=
2i 1
(z a)k+1
k=0
I
X
(w a)k1
1
dw
f (w)
=
2i 1
(z a)k
k=1
I
X
1
f (w)
=
dw (z a)k
2i 1 (w a)k+1
k=1
k=1
ck (z a)k ,
R P PR
En esta ocasin el intercambio
=
se justifica como sigue
I
I
N I
X
X
X
( %) =
( %)
( %)
1
1
1
k=N +1
k=0
k=0
X
f (w)(w a)k1
2r1 sup
(z a)k
w1
N +1
2M
donde M = supw1 |f (w)|. Notemos que
X
N +1
r1
|z a|
k
N +1
r1
|z a|
N +1
k
r1k1
|z a|k
cuando N ,
130
Observacin 9.4.4. El teorema anterior afirma que f se puede representar por una serie de Laurent en el anillo
A. Notemos que la frmula explcita para los coeficientes en trminos de f garantiza que esta representacin es
nica.
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 9.4.3 deducimos que
f (z) =
k=
ck (z p)k ,
z D(p, R) \ {p},
X
(1/z)n
n!
n=0
ck z k ,
k=
donde
ck =
0
1
(k)!
si k > 0
si k 0.
Observacin 9.4.6. Los coeficientes del desarrollo en serie de Laurent de una funcin holomorfa dependen
crucialmente de cual es el anillo con respecto al cual se hace la expansin. Incluso anillos distintos pero centrados
en el mismo punto producen series de Laurent diferentes.
1
y encontremos su serie de Laurent en los anillos A1 = {z C : |z 1| < 2}
Ejemplo 9.4.7. Sea f (z) = zi
y A2 = {z C : |z 1| > 2}.
Primero observemos que efectivamente f es holomorfa en ambos anillos. Si |z 1| < 2 utilizando la serie
geomtrica obtenemos
1
1
1
=
=
zi
z1+1i
1i
1
+1
1
1
=
1 i 1 z1
i1
1 X z 1 k
=
1i
i1
z1
1i
k=0
X
(z 1)k
=
,
(i 1)k+1
k=0
9.5. EJERCICIOS
131
y la serie converge si | z1
i1 | < 1, es decir si |z 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 X i 1 k
=
z1
z1
k=0
X
(i 1)k
,
=
(z 1)k+1
k=0
9.5.
Ejercicios
Ejercicios Resueltos
1. Encontrar la serie de Taylor o la serie de Laurent de la funcin f (z) = 1/(1 z 2 ) en la regin
(i) 0 |z| < 1,
(iii) 0 |z 1| < 2.
Solucin
P k
P k
(i) Notemos que para 0 |z| < 1 se cumple que la serie
z es convergente y
z =
P 2k
la serie de Taylor en 0 |z| < 1 corresponde a
z .
1
1z
por lo tanto
(ii) Para |z| > 1, f (z) puede ser escrita de modo equivalente como f (z) = z12 (11 1 ) . Analogamente al
2
P 1 k
P 1 k z
1
item anterior la serie
. Por lo tanto
es
convergente
para
|z|
>
1
y
se
cumple
=
z
z2
1 1
z2
X
1 X 1
1
=
2
2k
2(k+1)
z
z
z
1
1
(iii) Finalmente notemos que 1z
2 = (1z)(1+z) . La funcin
de Laurent en torno a al punto z0 = 1 como
1
(1+z)
1
(2+(z1)
X
1
1
=
=
(z 1)k
(1 + z)
(2 + (z 1))
esta serie es convergente en |z 1| < 2. Concluimos entoneces que la serie de Laurent de f para
|z 1| < 2 est dada por
X
1
(z 1)k .
f (z) =
(1 z)
1
(z 2 +3)2 /(z)
1
z 2 (1z)
132
(i) Desarrollando el numerador queda
f (z) = (z 4 + 6z 2 + 9)/z = z 3 + 6z +
9
z
f (z) =
pero
1
d
=
2
z
dz
Por lo tanto
1
z
d X
1
d
=
(1 z)k
=
dz 1 (1 z)
dz
X
d X
=
(1)k (z 1)k =
(1)k k(z 1)k .
dz
1 X
(1)k k(z 1)k .
z1
3. Encontrar todas las series de Taylor y de Laurent con centro 0, y determinar las regiones para las cuales
estas convergen, de las siguientes funciones:
f (z) =
Solucin.
k=
ck (z a)k
p
k
|ck |,
R2 = 1/ lm sup
k
k= ck (z
p
k
|ck |
A = {z C : R1 < |z a| < R2 }.
=
=
z2
z4
z6
1
+
+ ...
2!
4!
6!
1
1
z
z3
z5
1
+
...
z5
2!z 3 4!z 6!
8!
10!
1
z5
9.5. EJERCICIOS
133
1
z2
1
1
1
= z 1+
+
+
+ ...
1!z 2
2!z 4 3!z 6
1
1
1
= z+ +
+
+ ...
z
2!z 3 3!z 5
1 1
z3 1 z
1 X k X k3
z
=
z
z3
=
=
k=0
k=0
1
1
1
+ 2 + + 1 + z + z 2 + ...
z3
z
z
1
z4
1
1 1
= 4
z 1 z1
1
!
X
X
1
1
k
k+4
z
z
1
z4
1
z4
1
1
1
4 5 6 ...
z
z
z
1
z
k=0
k=0
cos(z)
z 2 sen(z) , buscamos
iz
iz
eiz eiz
2i
= 0.
2iz
Esto sucede si e
=e
entonces |e
| = 1. Si z = x + iy esto quiere decir que |e2i(x+iy) | =
2ix
2y
|e
| |e
| = 1.
Si y 6= 0, no se cumple la igualdad, por lo que necesariamente Im (z) = 0 para todo z que es raz.
Por otro lado e2ix = 0 si y slo si x , por lo que f (z) es holomorfa en C \ .
Luego, los polos son los enteros, todos de orden 1, excepto z = 0, que posee multiplicidad 3.
lm
z0
d
sen z sen 0
sen z
= lm
=
sin(z) |z=0 = cos z |z=0 = ,
z0
z
z0
dz
obteniendo
lm z
z0
cos z
= 1 = z 3 f (z) |z=0
sen z
134
Para p0 = n
Z se tiene
lm f (z)(z n) = lm
zn
zn
(z n)
cos z
cos(z)
lm
(z n) = lm
,
zn
z 2 sen z
z 2 zn sen(z)
pues ambos limites existen. Pero sen((z n)) = sen(z) cos(n) + cos(z) sen(n) = (1)n sen(z),
obtenindose
h cos n i
(z n) (1)n
lm f (z)(z n) =
l
m
zn
zn sen((z n))
n2
n
(1)
(1)2n
(z n)
1
n
=
=
l
m
(1)
= 2.
2
zn sen((z n))
n
n2
n
Luego
res (f, n) =
1
,
n2
1 d2 cotg(z) 3
1 d2
3
(f
(z)
z
)
=
l
m
z
z0 2 dz 2
z0 2! dz 2
z2
d
= lm
(cotg(z) cosec2 (z) z)
z0 dz
= lm
z0
sen3 (z)
sen2 (z)
z cos z sen(z)
2
= lm
z0
sen3 (z)
2
z sen z + cos z cos z
2
= lm
z0
3 sen2 (z) cos(z)
2
2
z
1
=
lm
.
=
3 z0 sen(z) cos(z)
3
N + 12 (1 i),
N + 21 (1 + i)
(iii) Considere el borde del cuadrado CN de vrtices N + 12 (1 i),
H
P
1
y
N + 21 (1 + i), con N . Calcule CN f (z)dz y concluya el valor de
n2 .
res (f, 0) = lm
n=1
Solucin:
Aplicando el Teorema de los Residuos
I
CN
+
f (z)dz = 2i
3
"
n=N
X
nN
n6=
n2
N
X
1
2
+2
= 2
3
n2
n=1
z CN , N N , luego
I
I
I
1
M
dz
f (z)dz M
|dz|,
2
2
C
CN |z|
CN
N + 21
N
9.5. EJERCICIOS
135
pues |z| N +
1
2
H
, y como C
I
8M
= 0.
f (z)dz lm
lm
N N + 1
N
CN
2
Es decir
"
n=1
N
X
1
2
+2
lm 2i
N
3
n2
n=1
1
n2
1
2
, se obtiene
= 0,
2
6 .
Ejercicios Propuestos
1. Probar que si f (z) = (ekz 1)/z cuando z 6= 0 y f (0) = k entonces f H(C).
2. Suponga que f y g tienen polos de orden m y n respectivamente en z0 . Que puede decirse sobre las
singularidades de f + g, f g y fg en z0 ?.
3. Calcule las singularidades de las siguientes funciones:
(i)
1
z 4 +z 2 ,
(ii) cotanz,
(iii) cosecz,
(iv)
exp( z12 )
z1 .
ez
+ 1)
z(z 2
en torno a z0 = 0.
5. Explique por qu el residuo en un polo simple no puede ser 0.
6. Sea p C un polo de g(z) y h(z) y considere f (z) = g(z) + h(z). Pruebe que
Res(f, p) = Res(g, p) + Res(h, p).
7. Considere una funcin de la forma
f (z) =
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) 6= 0, h(p) = h (p) = 0, h (p) 6= 0.
Verifique que necesariamente f (z) tiene un polo de orden dos en p y pruebe que
Res(f, p) =
8. Calcular
h (p)
3 h (p)2
I
cos z
z3
b) f (z) =
(1e2z )
z4
(Resp.: 0).
(Resp.:
8i
3 ).
f (z)dz
136
c) f (z) =
d ) f (z) =
ez
2(z1)2
2
z
(1z 4 )
(Resp.: ie).
(Resp.: i
2 ).
1
z 2 +9
1
z 2 +9
z
en {z C : |z 4| < 5},
en {z C : |z 4| > 5},
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.
11. Desarrolle cada una de las siguientes funciones en una serie de Laurent convergente para la regin 0
|z z0 | < R, y determine la regin precisa de convergencia.
(i) f (z) = cosh(2z)/z, z0 = 0,
2
(iv) f (z) = z 5 e1/z , z0 = 0,
4
z
(vi) f (z) = z+2i
, z0 = 2i,
82z
(ii) f (z) = 4zz
(iii) f (z) = z cos(1/z), z0 = 0,
3 , z0 = 0,
3
(v) f (z) = cos(z)/(z ) , z0 = ,
(vii) f (z) = sen(z)/(z 41 )3 , z0 = /4.
12. Muestre que si f es holomorfa en z 6= 0 y f (z) = f (z) entonces todos los trminos pares en su expansin
de Laurent sobre z = 0 son iguales a cero.
13. Encuentre la expansin en serie de Laurent de:
exp(1/z 2 )
1
, sobre z = 0,
(ii)
(i) z4 +z
2 , sobre z = 0,
z1
14. Calcule
R 2
0
(iii)
1
z 2 4 ,
1
Indicacin: integre la funcin f (z) = [z n + 1/z n ][ za
1
z1/a ]
sobre z = 2.
Captulo 10
p(cos, sen )
d,
q(cos, sen )
(10.1)
donde p y q son polinomios. La resolucin de este tipo de integrales mediante el uso de las tcnicas del clculo
resulta a menudo bastante engorrosa dado que aparecen cuocientes de polinomios en sen y cos . Sin
en
embargo, el uso del teorema de los residuos simplifica de manera sustancial el tratamiento de estas expresiones,
como veremos a continuacin.
dz = ei id.
Notando que
sen
cos
ei ei
z z 1
=
2i
2i
z + z 1
ei + ei
=
2
2
convertimos el integrando original en un cuociente de polinomios, esta vez en z, de modo que (10.1) se transforma
en una integral de contorno en el plano C, la que puede evaluarse utilizando el teorema de los residuos.
Para ilustrar lo anterior, veamos un ejemplo:
Ejemplo 10.1.1. Calcular
I=
Z2
d
.
2 + sen
z2
2
+ 4iz 1
137
138
tiene como polos simples a las races de la ecuacin z 2 + 4iz 1 = 0, las que resultan ser
z1 = i(2 + 3),
z2 = i(2 3).
Como | i(2 + 3)| = 2 + 3 > 1 y 0 < | i(2 3)| = 2 3 < 1, slo z2 est encerrado por la curva |z| = 1.
Veamos cunto vale Res(f, z2 ) :
Res(f, z2 ) =
=
=
z + i(2 + 3)
2
2
=
i(2 3) + i(2 + 3)
2i 3
i
3
lm (z z2 )f (z) = lm
zz2
zz2
Z2
0
d
2
i
= 2i Res(f, z2 ) = 2i = .
2 + sen
3
3
2
El argumento anterior tambin es vlido cuando se integran cocientes de polinomios en cos n y sen n para
n > 1 dado que estos pueden expresarse en trminos de sumas de potencias de z = ei :
sen n
cos n
ein ein
z n z n
=
,
2i
2i
ein + ein
z n + z n
=
.
2
2
Z2
0
cos 2
d.
5 4 sen
As, tenemos
I=
|z|=1
sen
cos 2
ei ei
z z 1
=
,
2i
2i
ei2 + ei2
z 2 + z 2
=
.
2
2
z 2 +z 2
2
2
(z
z 1 )
i
dz
=
iz
|z|=1
(z 4 + 1)dz
+ 5z 2i)
2iz 2 (2iz 2
5 + 25 4 (2i) (2i)
5 + 25 16
i
z1 =
=
=
4i
4i
2
p
5 25 4 (2i) (2i)
5 25 16
=
= 2i
z2 =
4i
4i
139
Como |z1 | = 12 < 1 y |z2 | = 2 > 1, slo nos interesa el residuo R1 asociado a z1 .
Veamos cunto vale R1 :
R1
z4 + 1
i
lm (z ) 2
2 2iz (2iz 2 + 5z 2i)
z 2i
lm
z 2i
z4 + 1
2iz 2 2i(z 2i)
( 2i )4 + 1
2i( 2i )2 2i( 2i 2i)
17
16
3i
2
17
2
17i
=
.
16 3i
24
=
2i (2i)2
8
Luego, por el teorema de los residuos:
I=
Z2
0
cos 2
d = 2i(R1 + R2 ) = 2i
5 4 sen
17i 5i
+
24
8
.
6
2
10.2.
En esta seccin nos interesaremos en el problema de evaluar integrales impropias del tipo
Z
R R
f (x)dx = lm
ZR
R
R
f (x)dx,
En lo que sigue, supondremos que la funcin a integrar f : C admite una extensin definida sobre todo el
plano complejo mediante una funcin meromorfa(9.2.1), cuya restriccin a coincide con la funcin original, y
que denotamos simplemente por f : C C.
El siguiente teorema es un primer resultado que permite evaluar una gran variedad de integrales impropias.
140
Teorema 10.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 , es decir, P = .
(b) f admite un nmero finito de polos en Int(H), es decir, Int(H) P es un conjunto finito.
(c) Existen constantes K 0, M 0 y p > 1 tales que
|f (z)|
K
,
|z|p
z H, |z| M.
Entonces
Z
f (x)dx = 2i
Res(f, z).
zInt(H)P
Demostracin. Dado R > 0, denotemos por CR el arco de semicircunferencia parametrizado por () = Rei ,
[0, ], tal como se ilustra en la figura 10.1, de modo que su largo es L(CR ) = R.
CR
lm
R
CR
f (z)dz = 0.
Por otra parte, aplicando el teorema de los residuos 9.2.2 al camino cerrado y simple dado por R = [R, R]CR
para R suficientemente grande de modo tal que R encierre todos los polos de f en Int(H), se deduce
2i
zInt(H)P
f (z)dz =
ZR
f (x)dx +
f (z)dz.
CR
Z
Z
Z
X
= lm f (x)dx +
f (z)dz =
2i
f (x)dx,
zInt(H)P
CR
141
Un caso interesante para el cual es fcil verificar que se tienen las hiptesis del teorema 10.2.1 est dado por el
siguiente resultado:
Corolario 10.2.2. Sean p, q dos polinomios primos entre s tales que q no tiene ceros reales y adems se tiene
grado(q) grado(p) + 2.
Entonces:
p(x)
dx = 2i
q(x)
q(z)=0, Im(z)>0
Res
(10.2)
p
,z
q
Demostracin. Sea la funcin racional definida por f (z) = p(z)/q(z). Dado que p y q son primos entre s,
los polos de f (z) corresponden a los ceros de q, los que por hiptesis no son reales. Para aplicar el teorema
10.2.1, basta verificar que f satisface la condicin de decaimiento (c). Para ver que esto es cierto, denotemos
n = grado(p) y m = grado(q) y escribamos
z n ( zan0 + an1
+ . . . an )
a0 + a1 z + . . . + an z n
p(z)
z
=
=
bm1
b0
m
q(z)
b0 + b1 z + . . . + bm z m
z ( z m + z + . . . bm )
Pero
y similarmente
an1
a0
lm an +
+ . . . + n = |an |,
|z|
z
z
b0
bm1
+ . . . + m = |bm |.
lm bm +
z
z
|z|
Luego, para |z| suficientemente grande, digamos |z| M para una constante M > 0 apropiada, se tiene
an1
a0
+ . . . + n 2|an |
an +
z
z
y
bm + bm1 + . . . + b0 1 |bm |,
z
zm 2
p(z) 4|an | 1
q(z) |bm | |z|p
| {z }
K
Ejemplo 10.2.3. Calcular
x2
dx.
1 + x4
x2
1 + x4
142
y
q(z) = 1 + z 4
evaluados en la variable real x. En primer lugar, la raz de p(z) es 0 de multiplicidad 2, mientras que las races
de q(z) estn dadas por las soluciones de la ecuacin z 4 = 1, es decir, por los complejos ei/4 , ei3/4 , ei/4 y
ei3/4 , de los cuales ninguno es real y slo los dos primeros se encuentran en el semiplano superior H. Como
p(z) y q(z) no tienen races comunes, stos son primos entre s y adems grado(q) = 4 = grado(p) + 2. De este
modo, se satisfacen las hiptesis del corolario 10.2.2. Deducimos que
Z
x2
dx = 2i Res
1 + x4
z2
, ei/4
1 + z4
+ 2i Res
z2
i3/4
.
,e
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 (9.5) para obtener:
Res
z2
, ei/4
1 + z4
y similarmente
Res
ei2/4
1
= ei/4 ,
4
4ei3/4
z2
, ei3/4
1 + z4
1 i3/4
e
4
En consecuencia
Z
x2
2i
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 = .
1 + x4
2 2
2
Para estudiar qu ocurre cuando el integrando f (z) admite polos reales, necesitamos el siguiente resultado
preliminar.
Proposicin 10.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 ],
tal como se ilustra en la figura 10.2.
Entonces
lm
C,
1 ,2
143
C,1 ,2
2
1
ab
X
c1
+
ck (z a)k , |z a| < ,
f (z) =
za
k=0
|
{z
}
f1 (z)
para algn radio > 0 suficientemente pequeo y algunos coeficientes (ck ) C. Para 0 < < , se tiene
Z
f (z)dz = c1
C,1 ,2
Z2
1
iei d +
ei
f1 (z)dz
C,1 ,2
= i(2 1 ) Res(f, a) + A
{z
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 10.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 finito de polos reales simples, es decir,
R P = {a1, . . . , as}
con aj polo simple de f .
(b) f admite un nmero finito de polos en Int(H), es decir, Int(H) P es un conjunto finito.
(c) Existen constantes K 0, M 0 y p > 1 tales que
|f (z)|
Entonces
f (x)dx = 2i
K
,
|z|p
X
z H, |z| M.
zInt(H)P
Res(f, z) + i
s
X
j=1
Res(f, aj ).
144
CR
C1 ()
R
C2 ()
Cs ()
a1
a2
as
I(R,)
CR
donde
I(R, ) = [R, R] \
(10.3)
zInt(H)P
s
[
j=1
]aj , aj + [,
f (x)dx i
s
X
Res(f, aj ) + 0 = 2i
j=1
Res(f, z),
zInt(H)P
p(x)
dx = 2i
q(x)
q(z)=0, Im(z)>0
Res
p
,z
q
+ i
q(a)=0, a
Res
p
,a .
q
145
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 isz
(e + eisz ) = (esy+isx + esyisx )
2
2
vemos que cuando R , las coordenadas imaginarias y de los puntos z = x + iy CR donde CR es el arco
de semicircunferencia considerado anteriormente (ver figuras 10.1 y 10.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.
cos sz =
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 comportameinto de eisz , entonces podemos calcular
Z
f (x)eisx dx,
f (x)e
isx
dx =
|f (z)|
Entonces, para todo s > 0 se tiene
K
,
|z|p
lm
R
CR
z H, |z| M.
f (z)eisz dz = 0,
f (x)eisx dx = 2i
wInt(H)P
(10.4)
146
Demostracin. Una vez verificado (10.4), la demostracin es esencialmente la misma que la del teorema 10.2.1.
Para probar (10.4), comencemos por acotar la integral para R > M :
Z
Z
f (z)eisz dz = eisRei f (Rei )Riei d
0
CR
Z
0
|eisRe |
KR
= p
R
K
Rd
Rp
2KR
esR sen d =
Rp
esR sen d.
Z2
sen
2
,
,
2
y por lo tanto
Z
Z2
2sR
2KR
f (z)eisz dz
e d
p
R
0
CR
2KR 2sR 2
=
e
Rp 2sR
0
2KR
sR
=
1e
p
R 2sR
K
.
sRp
Como p > 0, se deduce (10.4).
Observacin 10.2.8. En el teorema anterior basta con p > 0, a diferencia del teorema 10.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 10.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.
(10.5)
p(x) isx
e dx = 2i
q(x)
Res
q(w)=0, Im(w)>0
cos sx
dx, a > 0.
x2 + a2
h(z) =
eisz
z 2 + a2
p(z) isz
e ,w .
q(z)
147
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} * . Adems,
grado(q) = 2 > 0 + 1 = grado(p) + 1. Luego, se satisfacen las hiptesis del corolario 10.2.9 y por lo tanto, para
el caso s > 0 se tiene
Z
Z
1
eisx dx
h(x)dx =
2
x + a2
= 2i Res(h, ai) = 2i
pues
Res(h, ai) =
esa
= esa ,
2ai
a
eisia
esa
=
.
2ai
2ai
x
1
1
= .
dx
=
arc
tg
x2 + a2
a
a
a
Z
eisx
dx = esa .
+ a2
a
x2
Por lo tanto
y adems
cos sx
dx = esa
x2 + a2
a
sen sx
dx = 0.
x2 + a2
Notemos que esta ltima identidad es inmediata pues se trata del valor principal de una integral impropia de
a de un integrando dado por una funcin impar.
2
Para finalizar, enunciemos los resultados anlogos al teorema 10.2.5 y al corolario 10.2.6:
Teorema 10.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 finito de polos reales simples, es decir,
R P = {a1, . . . , as}
con aj polo simple de f .
(b) f admite un nmero finito de polos en Int(H), es decir, Int(H) P es un conjunto finito.
(c) Existen constantes K 0, M 0 y p > 0 tales que
|f (z)|
K
,
|z|p
z H, |z| M.
f (x)eisx dx = 2i
wInt(H)P
Res(f (z)eisz , w) + i
s
X
j=1
Res(f (z)eisz , aj ).
148
Corolario 10.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:
Z
10.3.
p(x) isx
e dx = 2i
q(x)
Res
q(w)=0, Im(w)>0
p(z) isz
e , w + i
q(z)
q(a)=0, a
Res
p(z) isz
e ,a .
q(z)
Ejercicios
Ejercicios Resueltos.
1. Calcular las siguientes integrales
R 2 sen(2)
R + x sen(2x)
(i) 0 35 cos d, (ii) (x4)(x
2 +3) dx.
Solucin.
sen 2
d
3 5 cos
Res(f (z), 0) =
=
2
i
i
5
dz
iz
z4 1
dz
z(5z 2 6z + 5)
z4 1
dz
3+4i
z(z ( 5 ))(z ( 34i
5 ))
34i
son {0, 3+4i
5 , 5 }, todos simples. Solo se consideran los
z+z 1
,
2
z 2 z 2
2i
z+z 1
5 2
3
r Z
1 2
i i |z|=1
r Z
1 2
i i |z|=1
z 4 1
34i
z(z( 3+4i
5 ))(z( 5 ))
y cos =
q
|z|=1
z 2 z 2
2i
.
zei2z
(z4)(z 2 +3) ,
z4 1
lm
2
z0 (5z 6z + 5)
i
5
i 3e2 3
zei2z
=
,
=
lm
(i 3 4)(2i 3)
zi 3 (z 4)(z + i 3)
zei2z
4ei8
=
.
Res(f (z), 4) = lm 2
z4 (z + 3)
19
Res(f (z), i 3)
2 3
i8
3e
2i (ii 34)(2i
+ i 4e19 .
3)
10.3. EJERCICIOS
149
Ejercicios Propuestos.
1. Pruebe que:
a)
Z2
0
2
d
=
, a > 1.
a + cos
a2 1
b)
Z2
cos2 3
1 a + a2
d
=
, 0 < a < 1.
1 2a cos 2 + a2
1a
c)
0
Z2
0
d)
ena
cos n
d = 2(1)n
, n 0 es un entero y a > 0.
cosh a + cos
senh a
Z/2
/2
sen
d = .
5 4 sen
6
2. Calcule
Z2
0
cos nx
dx
1 + 2a cos x
a2
b)
dx
2
=
.
1 + x6
3
x sen x
dx = ea , con a > 0.
x2 + a2
2
c)
cos x
a
dx =
e
, donde
2
2
x +a
2a
d)
ln x
dx = n , para n = 0 y n = 1 (considere ambos casos separadamente).
(1 + x2 )n+1
4
e)
sen x
dx = 2 (1 ea ), a > 0.
x(x2 + a2 )
2a
R y a > 0.
f (x)dx = e
f (ei x)dx.
cos(x)
dx +
(1 + x)2
Z
0
exp(x)
dx = 1.
1 + x2
150
5. Calcule
dx
+1
x100
6. Demuestre que
xm
dx =
,
+1
n sen[(m + 1)/n]
xn
3
(R)
2/n
1
2
ex Im e2ix p(x + i) dx = 0,
Si suponemos ahora que |f (z)| es el producto de una funcin de x y una funcin de y, muestre que
|f (z)| = ep(x)+q(y) , donde p y q son dos polinomios de grado 2.
Finalmente concluya que
f (z) = exp(z 2 + z + ), donde , y son constantes complejas.
Indicacin: utilice la funcin logartmica compleja, la cual es holomorfa en
(d) Mostrar que la parte (c) es tambin cierta cuando f (z) es holomorfa en
para todo z .
C \ R .
Captulo 11
Definicin
u
v
=
y
x
en .
(11.1)
En consecuencia,
2u
2v
=
,
x2
xy
2v
2u
=
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 2 u
+ 2 =0
x2
y
en .
Definiendo el operador Laplaciano, denotado por , aplicado a una funcin w = w(x, y) de clase C 2 mediante
w :=
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 11.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 .
151
152
11.2.
Dos funciones u = u(x, y) y v = v(x, y) se dicen armnicas conjugadas en un dominio si la funcin de variable
compleja f (z) = u(x, y) + iv(x, y) es holomorfa en . En otros trminos, u, v C 2 () se dicen armnicas
conjugadas ssi u y v satisfacen las condiciones de Cauchy-Riemann (11.1), y en particular se tiene u = v = 0
en . Notemos que a posteriori dos funciones armnicas conjugadas son suaves: u, v C ().
Un problema que surge inmediatamente es la determinacin de una funcin armnica v que sea conjugada a
una funcin armnica u dada.
Ejemplo 11.2.1. Consideremos la funcin u(x, y) = xy. Es directo verificar que u es armnica en 2 . De la
segunda ecuacin en (11.1), deducimos que si u admite una funcin armnica conjugada v = v(x, y), sta debe
satisfacer
v
u
=
= x.
x
y
Luego v(x, y) = x2 /2 + g(y), para alguna funcin y 7 g(y) por determinar. Para encontrar g(y), imponemos
la primera ecuacin en (11.1):
y=
v
x2
u
=
=
+ g(y) = g (y),
x
y
y
2
1 2
(y x2 ) + C,
2
R. De esta forma
R.
(11.2)
Es fcil verificar que, efectivamente, esta ltima funcin es armnica en 2 y, ms an, es conjugada a u =
xy para cada valor de C . Tomando por ejemplo C = 0, vemos que la funcin holomorfa f = u + iv
correspondiente es f (z) = xy + i 21 (y 2 x2 ) = 2i (2ixy + x2 y 2 ) = 2i z 2 . 2
El mtodo empleado en el ejemplo 11.2.1 es general: para encontrar funciones conjugadas a una funcin u que es
armnica en todo 2 , basta con integrar las condiciones de Cauchy-Riemann. Sin embargo, cuando el dominio
no es todo el plano, puede pasar que no exista una funcin conjugada si no asuminos una hiptesis adicional
sobre la naturaleza del dominio. Para ilustrar esto ltimo, consideremos el siguiente ejemplo:
Ejemplo 11.2.2. Sea = D(0, 2) \ {0} = {z C|0 < |z| < 2} y consideremos
u(x, y) = log(x2 + y 2 )
Es directo verificar que u es armnica en . En efecto, derivando se obtiene que para todo (x, y) 6= (0, 0):
u
2x
,
= 2
x
x + y2
u
2y
= 2
y
x + y2
y as
2(x2 + y 2 ) 4x2
2(y 2 x2 )
2u
=
=
x2
(x2 + y 2 )2
(x2 + y 2 )
mientras que
2(x2 y 2 )
2u
2u
= 2
= 2.
2
2
2
y
(x + y )
x
Luego, u = 0 en .
Supongamos que u admite una funcin armnica conjugada v = v(x, y) en , y definamos la funcin auxiliar
: [0, 2] mediante
153
Como cos2 t + sen2 t = 1 y v est definida en = D(0, 2) \ {0}, la funcin est bien definida. Se tiene que
(11.3)
v
v
(cos t, sen t)( sen t) +
(cos t, sen t) cos t, 0 < t < 2
x
y
Como u y v satisfacen las condiciones de Cauchy-Riemann, deducimos que tambin se tiene que
(t)
=
=
=
u
u
(cos t, sen t)( sen t) +
(cos t, sen t) cos t
y
x
2 sen2 t
2 cos2 t
+
cos2 t + sen2 t cos2 t + sen2 t
2.
(x,y)
Z
u u
,
) d~r,
y x
(11.4)
(x0 ,y0 )
donde
(x,y)
Z
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 (11.4)
est bien definida pues el valor de la integral no depende del camino escogido. En efecto, si 1 y 2 son dos
caminos que unen (x0 , y0 ) y (x, y) entonces = 1 (2 ) es un camino cerrado, el cual slo encierra puntos
de (pues es simplemente conexo). Podemos entonces aplicar el teorema de Green en el plano para deducir
que si D es la regin encerrada por entonces
ZZ
ZZ
I
u
u
u u
[ ( )
udxdy = 0,
(11.5)
) d~r =
( )]dxdy =
( ,
y x
y y
D x x
D
donde la ltima integral se anula pues el integrando es idnticamente 0 (recordemos que u es armnica en ).
Como, con abuso de notacin, se tiene
Z
Z
Z
Z
I
I
= ,
= +
=
1 (2 )
(2 )
154
de (11.5) se deduce que
u u
,
) d~r =
y x
u u
,
) d~r,
y x
(x+h,y)
Z
u u
1
( ,
) d~r = lm
h0 h
y x
(x,y)
Zh
u
(x + t, y))dt.
y
(x,y)
Z
(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
v(x, y) =
Zx
0
x dx +
Zy
0
y dy =
x2
y2
y 2 x2
+
=
,
2
2
2
11.3.
Podemos utilizar la teora de funciones holomorfas para deducir propiedades de las funciones armnicas. Un
ejemplo interesante lo constituye el siguiente resultado.
Proposicin 11.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
(11.6)
155
Demostracin. En virtud del teorema 11.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 8.1.1 a f (z) =
u(x, y) + iv(x, y) para deducir de la frmula de Cauchy (8.1) con p = z0 = x0 + iy0 que
Z 2
Z 2
1
f (z0 + Rei )
1
i
iRe d =
f (z0 + Rei )d,
f (z0 ) =
2i 0
Rei
2 0
o equivalentemente
1
u(x0 , y0 ) + iv(x0 , y0 ) =
2
La ecuacin (11.6) asegura que el valor de la funcin armnica u en el punto z0 = (x0 , y0 ) es igual a la media
de los valores que toma sobre la circunferencia de centro (x0 , y0 ) y radio R. En realidad, la frmula integral de
Cauchy (8.1) proporciona ms informacin pues permite evaluar la funcin holomorfa en todo punto interior
al disco D(z0 , R). Tomemos u como en el enunciado de la proposicin 11.3.1, y sea R (0, ) y f = u + iv
holomorfa en D(z0 , ). De (8.1) se deduce que para todo z D(z0 , R)
I
f (w)
1
dw.
f (z) =
2i D(z0 ,R) w z
Utilizando notacin polar z = z0 + rei (con r < R), w = z0 + Rei de modo tal que dw = Riei d, y
f (r, ) = f (z0 + rei ) (anlogo para f (R, )), podemos escribir
Z 2
1
f (R, )
Riei d
f (r, ) =
2i 0 Rei rei
Z 2
1
f (R, ) Rei rei i
=
Re d
2 0 Rei rei Rei rei
Z 2
f (R, )(R2 rRei() )
1
d.
=
2 0 R2 + r2 2rR cos( )
Escribiendo f (r, ) = u(r, ) + iv(r, ) e igualando las partes reales, obtenemos
Z 2
1
u(R, )(R2 rR cos( )) + v(R, )rR sen( )
u(r, ) =
d.
2 0
R2 + r2 2rR cos( )
El inconveniente de esta ltima frmula es que en el integrando aparece la funcin armnica conjugada de u.
Para tener una frmula donde slo intervenga explcitamente u, procedemos como sigue. Comencemos por notar
que podemos factorizar el denominador del integrando como
R2 + r2 2rR cos( ) = (rei Rei )(rei Rei ).
Entonces, sumando y restando r2 ,
Z 2
Z 2
1
1
f (R, )(R2 r2 )
f (R, )(r2 rRei() )
f (r, ) =
d
+
d.
2 0 R2 + r2 2rR cos( )
2 0 R2 + r2 2rR cos( )
Pero r2 rRei() = (rei Rei )rei , y en consecuencia
Z 2
Z 2
I
f (R, )(r2 rRei() )
1
f (R, )
f (w)
i
Re
d
=
d
=
dw,
R2 + r2 2rR cos( )
Rei (R2 /r)ei
i D(z0 ,R) w zb
0
0
(w)
z z0 | > R. Luego, la funcin h(w) = fwb
donde zb = z0 + (R2 /r)ei . Como |z z0 | = r < R, deducimos que |b
z
es holomorfa en D(z0 , |b
z z0 |) ) D(z0 , R) y, en virtud del teorema 7.3.3 de Cauchy-Goursat, deducimos que
I
f (w)
dw = 0.
b
D(z0 ,R) w z
156
1
u(r, ) =
2
f (r, ) =
de donde se deduce que
R2
f (R, )(R2 r2 )
d,
+ r2 2rR cos( )
u(R, )(R2 r2 )
d,
R2 + r2 2rR cos( )
que se conoce como frmula integral de Poisson. Notemos que cuando r = 0, se recupera (11.6).
11.4.
Ejercicios
a) u(x, y) = x2 y 2 .
2. Suponga que u = u(x, y) y v = v(x, y) son dos funciones armnicas conjugadas en un dominio . Demuestre
que las siguientes funciones son armnicas en :
a) f (x, y) = u(x, y)v(x, y).
b) g(x, y) = eu(x,y) cos v(x, y).
c) h(x, y) = cos u(x, y) senh v(x, y).
R 2
3. Calcule el valor de la integral 0 cos(sen ) cosh(cos )d.
Parte III
157
Captulo 12
12.1.1.
Consideraremos el problema de la difusin de calor en una barra delgada que se encuentra perfectamente aislada
por su superficie lateral.
Si la barra es lo suficientemente delgada como para suponer que la temperatura es constante sobre cualquier
seccin transversal, el estado del sistema est descrito por una funcin escalar u = u(t, x), la cual proporciona
el valor de la temperatura de la barra al instante t y en la posicin longitudinal x.
Supondremos que u(t, x) y todas las otras funciones que utilizaremos son tan regulares como sea necesario para
que ciertas expresiones que involucran sus derivadas estn bien definidas.
Es bien sabido que, en un cuerpo trmicamente conductor, el calor fluye desde las zonas de mayor temperatura
hacia las de menor temperatura. Ms an, de acuerdo a la ley de Fourier, la rapidez a la cual el calor fluye
entre zonas contiguas es proporcional a la diferencia de temperaturas por unidad de longitud, y el factor de
proporcionalidad depende de las propiedades conductoras del cuerpo en cuestin.
As, en el instante t, la rapidez con que el calor Q fluye desde un punto x hacia uno a su derecha, digamos x + x
con x 1, puede aproximarse por
u(t, x) u(t, x + x)
dQ
k(x)
,
dt
x
donde k = k(x) > 0 es un coeficiente de conductividad trmica que depende del material del cual est hecho la
barra. En el lmite se obtiene
dQ
u(t, x + x) u(t, x)
u
= k(x) lm
= k(x) (t, x).
x0
dt
x
x
u
Notemos que dQ/dt > 0 cuando u
x (t, x) < 0. Esto es consistente pues si x (t, x) < 0 entonces la temperatura
es (localmente) decreciente, de modo que su valor es menor a la derecha del punto x, y por lo tanto el calor
fluye hacia la derecha. Anlogamente, si u
x (t, x) > 0 entonces el valor de la temperatura es mayor a la derecha
del punto x, y por lo tanto el calor fluye 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 superficie 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
Z t2
u
u
[k(x1 ) (t, x1 ) + k(x2 ) (t, x2 )]dt.
Q1 =
x
x
t1
159
160
t2
t1
x2
x1
i
u
h
k(x) (t, x) dxdt.
x
x
Al interior de la barra puede haber una fuente de calor, cuya tasa de produccin de calor por unidad de tiempo
y de longitud est dada por una funcin F = F (t, x). Por lo tanto, la cantidad neta de calor producida en el
segmento (x1 , x2 ) durante el lapso (t1 , t2 ) est dada por
Q2 =
t2
t1
x2
F (t, x)dxdt.
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 calorfica especfica1 . Luego, la cantidad de
calor total necesaria para el cambio de temperatura en el segmento (x1 , x2 ) es
Q3 =
x2
x1
x2
c(x)
x1
t2
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 .
Ms explcitamente,
Z
t2
t1
x2
x1
u
c(x) (t, x)dxdt =
t
t2
t1
x2
x1
i
u
h
k(x) (t, x) + F (t, x) dxdt.
x
x
De la arbitrariedad de los puntos x1 < x2 y t1 < t2 , un argumento clsico de localizacin2 permite concluir que
u = u(t, x) necesariamente satisface la ecuacin en derivadas parciales
c(x)
u i
u
h
k(x)
+ F (t, x).
=
t
x
x
(12.1)
donde = k/c, f = F/c, y, con el fin de simplificar la notacin, hemos utilizado las notaciones
ut :=
2u
u
.
, uxx :=
t
x2
12.1.2.
161
En esta seccin deduciremos la ecuacin del calor en el caso general de un material ocupando una cierta regin
3 , 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 ]
es suficientemente regular.
Un modelo sencillo pero vlido en muchas situaciones, conocido como la ley de Fourier, supone que la cantidad
de calor Q que atraviesa un elemento de superficie A orientada segn el campo de normales n
, en un lapso
de tiempo t viene dado por
Q
= k u n
A,
t
donde
u =
u
x
u ,
y
u
z
es decir u es el gradiente de u con respecto a las variables espaciales. k > 0 denota el coeficiente de conduccin
trmica del material. Observemos que dado que k es positivo, el calor fluye de zonas de alta temperatura a zonas
de baja temperatura, pues u es la direccin de mximo descenso de la funcin u.
ZZ
~
=
ku dS,
y haciendo t 0
dQ
=
dt
ZZ
~
ku dS.
Por otra parte existe una relacin entre la cantidad de calor q almacenada en en elemento de volumen V y la
temperatura en esta regin:
q = c u V,
donde c es el calor especfico y es la densidad del material. Derivando con respecto a t se deduce que la
variacin de la cantidad de calor por unidad de tiempo en V es
q
u
= c
V.
t
t
162
Si no hay fuentes de calor en entonces la variacin de calor en por unidad de tiempo es igual a la cantidad
de calor que entra en por unidad de tiempo. De lo anterior se obtiene
ZZ
ZZZ
u
~
dV =
ku dS.
c
t
~=
ku dS
y se deduce que
ZZZ
ZZZ
div(ku) dV,
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
u
c
div(ku) = 0 sobre [0, T ] ,
t
que es la ecuacin del calor para un cuerpo general. Si el cuerpo es homogneo, es decir c(x, y, z) = c0 , (x, y, z) =
0 y k(x, y, z) = k0 entonces
k0
u
div(u) = 0.
t
c0 0
Definiendo =
k0
c0 0
y recordando que
div(u) = u =
2 u 2u 2 u
+ 2 + 2,
x2
y
z
(12.2)
La ecuacin del calor se complementa con condiciones de borde adicionales, que sern explicitadas en la seccin 12.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 ] ,
(t, x, y, z) f (t, x, y, z),
de modo que el calor instantneo generado en una subregin est dado por
ZZZ
f (t, ~r) dV (~r).
f
u
u =
t
c0 0
en [0, T ] ,
en [0, T ] .
12.1.3.
163
Supongamos que una gas ocupa una regin porosa 3 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 verificar que u satisface
ut = a2 u
en ,
(12.3)
donde a es una constante. La ley de Nernst es anloga a la ley de Fourier para la conduccin de calor.
12.2.
12.2.1.
Consideremos una cuerda elstica de longitud L sometida a una cierta tensin y cuyo movimiento se confina 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] , es decir, u es una funcin de dos variables
u : [0, T ] [0, L] R.
Con el objeto de simplificar la derivacin de la ecuacin que satisface u haremos los siguientes supuestos:
1. las oscilaciones de la cuerda son pequeas y cada punto de sta se mueve verticalmente,
2. la cuerda est sometida a una tensin cuya componente horizontal > 0 es constante y uniforme
3. las fuerzas de friccin pueden ser despreciadas,
4. en una primera aproximacin despreciaremos el efecto de fuerzas externas como la 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 = .
(12.4)
tan tan =
Pero tan =
encontramos
u
x |x
y tan =
u
x |x+x ,
2u
l 2 .
(12.5)
2u
2u
=
,
x2
t2
l
donde hemos utilizado x
1 cuando x 1. Si se quiere incorporar el efecto de fuerzas externas, de manera
anloga se puede verificar que u satisface
donde c =
Las condiciones adicionales naturales para complementar esta ecuacin son de dos tipos:
(12.6)
164
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].
t [0, T ]
quiere decir que el extremo x = 0 de la cuerda est fijo a una altura 0. Otro ejemplo es
ux (t, 0) = 0
t [0, T ]
(12.7)
que significa que el extremo x = 0 est libre. En efecto, retomando (12.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
2u
.
t2
Usando que 2 sen u
x x y haciendo x 0 resulta (12.7).
1
ux (t, 0) t [0, T ]
(12.8)
h
que modela la situacin en que el extremo x = 0 est sujeto a un resorte de constante elstica k = h . En esta
situacin
2u
2 sen (fuerza ejercida por el resorte en x = 0) = l 2 ,
t
es decir
2u
2 sen ku|x=0 = l 2 .
t
Nuevamente, haciendo x 0 encontramos (12.8)
u(t, 0) =
12.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 superficie en 3 y por simplicidad supondremos que esta superficie se puede
representar mediante una funcin
u(t, x, y) : [0, T ] ,
de modo tal que en cada instante t la membrana corresponde a la superficie parametrizada por (x, y) 7 u(t, x, y).
Nuevamente suponemos
1. las oscilaciones de la membrana son pequeas y cada punto de sta se mueve verticalmente,
2. la membrana est sometida a una tensin superficial > 0 constante y uniforme
3. las fuerzas de friccin pueden ser despreciadas,
165
y y+y y y
u
u
xy
2u
= x
t2
u
u
y y+y y y
+ y
u
u
,
x x+x x x
p
/ y u = uxx + uyy es el Laplaciano de u con respecto a las coordenadas espaciales.
12.2.3.
1
f (t, x, y)
(12.9)
Consideremos una barra delgada de un material elstico de longitud L y supongamos que el origen est ubicado
en uno de los extremos. Las deformaciones longitudinales de esta barra las describimos mediante una funcin
u : [0, L] [0, T ] de modo tal que si una partcula que ocupa inicialmente (en una situacin de equilibrio)
la posicin x [0, L], en el instante t se sita en x + u(x, t).
Modelando la barra como una familia de N resortes con masas y constantes elsticas idnticas, y luego considerando N , es posible deducir que u satisface la siguiente EDP
utt = c2 uxx + f (x, t)
donde c > 0 depende de las propiedades de la barra (densidad de masa y constante elstica), y f es (excepto
por una constante) una densidad lineal de fuerzas externas.
12.3.
12.3.1.
Membrana en reposo
Retomando la seccin 12.2.2, si la membrana est en reposo de (12.9) vemos que la funcin u :
debe satisfacer la ecuacin
u + F (x, y) = 0 en
R2 R
(12.10)
en .
Una funcin que es solucin de la ecuacin de Laplace se dice una funcin armnica.
(12.11)
166
12.3.2.
En esta seccin escribiremos ~x = (x1 , x2 , x3 ), ~y = (y1 , y2 , y3 ). El campo elctrico generado por una cantidad
finita de cargas qj con ubicadas en los puntos ~yj viene dada por
~ x) =
E(~
N
X
qi
~x ~yj
,
4
k~
x
~yj k3
0
j=1
R3 R tal que
~ = .
E
Cuando las cargas se distribuyen continuamente de acuerdo a una densidad volumtrica (~y) el campo elctrico
en un punto ~x cualquiera se puede escribir
ZZZ
1
~x ~y
E(~x) =
d~y .
(12.12)
(~y)
40
k~x ~y k3
(12.13)
Sea 3 un conjunto abierto acotado no vaco cuya frontera es una superficie regular. Queremos calcular
~ a travs de , es decir
el flujo de E
ZZ
ZZ
ZZZ
~x ~y
~
~ dS(~
~ x) = 1
d~y dS(~
x)
(~y )
E
40
k~x ~yk3
1
=
40
ZZZ
(~y )
ZZ
~x ~y
~ x) d~y .
dS(~
k~x ~yk3
Por lo tanto
ZZ
~ dS(~
~ x) = 1
E
0
ZZZ
(~y ) d~y .
167
ZZZ
1
+ dV = 0.
0
Como lo anterior se tiene para todo , se concluye que el integrando debe ser nulo, es decir
=
1
.
0
(12.14)
Notemos que esta ecuacin es una Poisson (12.10) y en ausencia de carga sta ltima queda como
= 0
la cual resulta ser una ecuacin de Laplace (12.11).
Hemos visto que estas dos ltimas ecuaciones modelan diversos sistemas fsicos. Lo que diferencia un problema
de otro es el significado fsico de las variables y las condiciones iniciales y de bordexs, tema a tratar en la
siguiente seccin.
12.4.
En esta seccin veremos cmo complementar las ecuaciones en derivadas parciales antes mencionadas, es decir,
daremos condiciones que definen 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 n (n = 1, 2 o 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 12.1 y las hiperblicas de seccin 12.2. En
esta situacin supondremos que t [t0 , T ].
u
(t, ) = h() sobre t [t0 , T ]
n
donde n
representa la normal exterior a y donde h :
un caso ms general h puede depender del tiempo.
168
Condiciones mixtas
Esta clase de condiciones vienen caracterizadas por combinaciones de condiciones del tipo Dirichlet
y Neumann sobre porciones de la frontera.
Condiciones iniciales
En lo que respecta a las condiciones iniciales, stas tienen sentido slo en problemas de evolucin y se dan
en un instante t0 con el objeto de describir el campo tratado (campo de temperaturas, campo elctrico,
etc.) en t0 sobre todo . La condicin inicial viene tpicamente dada por algo del tipo
donde u0 :
R es dato.
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.
Por ejemplo, en el caso de la conduccin del calor en una regin de 3 (ver la seccin12.1.2), donde u
representa la distribucin de temperaturas, la condicin de borde tipo Dirichlet corresponde al caso en que esta
distribucin se conoce sobre la frontera del dominio. Por otro lado, en la condicin de borde tipo Neumann es el
flujo de calor puntual el que constituye un dato. Ms precisamente, recordemos que el flujo de calor por unidad
de rea y tiempo est dado por
u
= kh,
ku n
= k
n
12.5.
1. Ecuacin de Navier-Stokes
En dinmica de fluidos, las ecuaciones de Navier-Stokes son un conjunto no lineal de ecuaciones en derivadas parciales que rigen el movimiento del fluido en cuestin. Estas se encuentran considerando la masa,
el momentum y balances de energa para un elemento de volumen infinitesimal 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 fluido y p(x, y, z, t) la presin. Luego la ecuacin para fluidos
compresibles viene dada por
D~u
~
~ + ~u +
~ ~u
= F p
Dt
3
donde es el coeficiente de viscosidad del fluido, F es la densidad volumtrica de fuerzas externas (por
u
ejemplo la gravedad), es la densidad y D~
Dt es la aceleracin del elemento de fluido, tambin conocida
como derivada material, la cual viene expresada por
D~u
~u
=
+ (~u )~u,
Dt
t
~ u viene dada por
o por componentes, escribiendo ~u = (u1 , u2 , u3 ), la componente i-sima de (~u )~
h
i
~ u = u1 ui + u2 ui + u3 ui .
(~u )~
x
y
z
i
169
Dt
2. Ecuacin de Schrdinger para una partcula
En mecnica cuntica existe lo que se denomina la dualidad ente ondas y partculas. La descripcin de
una partcula viene dada por una funcin de onda (~r, t) que tiene valores en los nmeros complejos, es
decir (~r, t) C y |(~r, t)|2 = (~r, t)(~r, t) se interpreta como la funcin densidad de probabilidad de
encontrar la partcula en la posicin ~r en el instante t.
De la teora de la mecnica cuntica se deduce que la funcin debe satisfacer la siguiente ecuacin en
derivadas parciales
~2
(~r, t) =
~r + V (~r) (~r, t)
(12.15)
i~
t
2m
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 es solamente con respecto a
las variables espaciales y por eso la notacin ~r . Usualmente esta ecuacin se acompaa de la condicin
(probabilstica)
ZZZ
Notemos que (12.15) representa un sistema de dos ecuaciones reales en derivadas parciales, siendo las
incgnitas las partes real e imaginaria de .
3. Ecuaciones de Maxwell
En la teora de electromagnetismo, existen cuatro ecuaciones fundamentales que permiten visualizar lo
~ el vector desplazamiento D,
~ el flujo elctrico J~ y el campo magntico
que sucede con el campo elctrico E,
~
B. Estas ecuaciones son las ecuaciones de Maxwell, las cuales son
~ D
~
~
~
B
~
~ E
~ + B
t
~ B
~
= 0
= 0
= 0
= 0
~
D
J~ +
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
~ genera E
~ (de donde se deduce la ley de induccin). De este set tambin
ecuacin se puede concluir que B
~ es conservativo y as
se puede concluir que las lineas de campo magntico son cerradas, el flujo de B
sucesivamente.
12.6.
Principio de superposicin
Recordemos brevemente la nocin del principio de superposicin para ecuaciones diferenciales ordinarias (E.D.O.).
Consideremos una E.D.O. lineal descrita por
Ly = 0 en un intervalo I = (a, b)
170
donde L : C n (I, ) C(I, ) es un operador diferencial lineal de orden n. El principio de superposicin dice
que: Toda combinacin lineal finita de soluciones de una E.D.O. lineal homognea, es tambin solucin, es
decir
c1 , c2
R,
y1 , y2 Ker(L) c1 y1 + c2 y2 Ker(L)
o tambin
n
X
Lyi = 0 i = 1, 2, ..., n L
yi
i=1
=0
La nocin de operadores diferenciales lineales es fcilmente extendible al caso de operadores actuando sobre
funciones de varias variables, es decir sobre funciones u : n . Por ejemplo consideremos el operador L =
(Laplaciano) que acta L : C 2 ( n ) C( n ) mediante Lu = u. En este contexto se ampla la teora y se
puede demostrar que el principio de superposicin es tambin vlido para las E.D.P.s lineales.
Al igual que en ecuaciones diferenciales ordinarias las soluciones de una EDP lineal no homognea se pueden
descomponer en una solucin de la homognea y una solucin particular.
12.7.
En esta seccin presentamos una deduccin de la ecuacin de superficies mnimas como un ejemplo de una
ecuacin no lineal.
La ecuacin (12.10) que modela una membrana en reposo se dedujo suponiendo que las deformaciones son
pequeas. Es interesante estudiar la ecuacin resultante sin hacer esta hiptesis, lo que por simplicidad haremos
en el caso que no hay fuerzas externas. Supondremos que la membrana es elstica, que est en equilibrio de
fuerzas y est sometida a una tensin T que es constante. Con el fin de utilizar esta informacin imaginamos que
cortamos una parte de la membrana, obteniendo una (pequea) superficie S cuya frontera S es una curva
el vector normal unitario a S orientado en
cerrada en 3 . Denotemos por el vector tangente a S y por n
direccin del eje z. Dado que (x, y) 7 u(t, x, y) parametriza S, podemos escribir
u
1 x
u
n
=
y ,
k
nk
1
donde
k
nk =
1+
u 2
x
u 2
y
Orientemos de modo que sea consistente con la orientacin de S para el teorema de Stokes. De este modo el
vector
n
,
apunta fuera de S, es perpendicular a y tangente a la membrana. Sobre S acta una fuerza a lo largo de S
ejercida por el complemento de sta que viene dada por
T (
n
).
De este modo, la fuerza neta sobre S que le ejerce el resto de la membrana es
Z
~
F =
T (
n
) dr.
S
R . Entonces
F~ e = T
(
n
) e dr = T
(
n e) dr.
171
se tiene
F~ e = T
ZZ
S
= T
~ (
[
n e)] n
dA = T
ZZ
ZZ
S
~ n
(
)(
en
) dA = T e
~ e)
~ n
[(
n (
)
e] n
dA
ZZ
~ n
(
)
n dA.z
Luego
ZZ
F~ = T
~ n
(
)
n dA.
Pensando en S como una pequea superficie en torno a punto (x0 , y0 , z0 ) de rea A, escribamos como F~ la
fuerza ejercida por el resto de la membrana sobre S, esto es
~ n
F~ = T (
)
n A + o(A).
Si no hay fuerzas externas actuando sobre la membrana, como sta est en reposo la ley Newton establece que
F~ = 0
y por lo anterior
~ n
T (
)
n A + o(A) = 0.
u
u
x
y
~ n
q
q
+
,
=
x
y
2
2
1 + ux + uy
1 + u2x + u2y
donde
ux =
u
,
x
uy =
u
.
y
ux
uy
+ q
= 0.
q
x
y
2
2
1 + ux + uy
1 + u2x + u2y
(12.16)
172
Captulo 13
Consideremos el problema de difusin de calor en una barra delgada de longitud L > 0, compuesta por un
material homogneo e istropo de coeficiente de difusividad trmica > 0, y que se encuentra perfectamente
aislada por su superficie lateral, y sin fuentes de calor externas actuando dentro de la barra, es decir f (x) = 0
en (12.1). Tal como se dedujo en la seccin 12.1.1, la EDP que modela esta situacin es
ut = uxx
(13.1)
La incgnita u = u(t, x) es la temperatura al instante t y en la posicin x sobre la barra. Si suponemos que sus
extremos se mantienen a temperatura constante igual a 0, entonces u satisface la condicin de borde de tipo
Dirichlet homogneo
u(t, 0) = u(t, L) = 0 t > 0.
(13.2)
Consideraremos adems la condicin inicial
u(0, x) = f (x)
0 < x < L.
(13.3)
Para resolver (13.1) bajo (13.2) y (13.3), aplicaremos el mtodo de separacin de variables, el que describiremos
detalladamente a continuacin.
13.1.1.
(13.4)
Se introducen as dos nuevas incgnitas, T (t) y X(x), y por lo tanto necesitaremos dos ecuaciones para determinarlas. Sustituyendo (13.4) en (13.1), obtenemos
T (t)X(x) = T (t)X (x)
(13.5)
Como slo nos interesan soluciones no triviales, se requiere que X(x0 ) 6= 0 para algn x0 (0, L). Deducimos
de (13.5) que para todo t > 0 se tiene
T (t) = 1 T (t),
donde
1 =
X (x0 )
.
X(x0 )
173
174
T (t0 )
T (t0 )
y t0 > 0 es tal que T (t0 ) 6= 0. En consecuencia, si ahora tomamos cualquier par (t, x) tal que T (t) 6= 0 y
X(x) 6= 0, lo anterior conduce a
X (x)
T (t)
=
= 2 ,
1 =
T (t)
X(x)
donde la segunda igualdad proviene de (13.5).
De este modo, se deduce que T (t) y X(x) satisfacen, respectivamente, las siguientes ecuaciones diferenciales
ordinarias:
T (t) + T (t)
X (x) + X(x)
para una constante
= 0,
t > 0,
= 0,
0 < x < L,
R.
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 (13.6) se expresa como una combinacin lineal de dos
funciones fundamentales, cuya forma depende del signo de . Ms precisamente, comoel polinomio caracterstico
asociado a (13.6) est dado por p(m) = m2 + , y ste tiene como races1 m1,2 = C, obtenemos que:
X(x) = C1 e
+ C2 e
C1 , C2
R.
C1 , C2
R.
R.
C1 , C2
Observacin 13.1.1. Cuando 6= 0, una forma de evitar tener que considerar los casos < 0 y > 0 por
separado consiste en utilizar la funcin exponencial compleja cuando corresponda. En efecto, supongamos que
> 0. Entonces se tiene
+ ei
C1 (ei
i x
i x
e
e
+ C2 e
.
C1 e
=
1 Aqu
i x
)/2 + C2 (i)(ei
ei
i x
)/2
175
Como i = 1 = , de lo anterior deducimos que podemos escribir la solucin general de la forma
X(x) = C1 e
+ C2 e
C1 , C2 , si < 0
C1 , C2 C, si > 0
y los coeficientes complejos C1 y C2 son uno el conjugado del otro. 2
Sustituyendo las expresiones as obtenidas para T (t) y X(x) en (13.4), se construyen soluciones de (13.1) en
variables separadas que son de la forma
U (t, x) = et (C1 e
+ C2 e
(13.6)
),
13.1.2.
A continuacin buscaremos soluciones no triviales de (13.1) en variables separadas que satisfagan la condicin
de borde (13.2). Esto restringir los valores admisibles para a un subconjunto numerable de .
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 6= 0 de modo tal que exista una funcin U de la forma (13.6), 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 aun 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
e imponiendo U (t, L) = 0, obtenemos
e
2 Cuando
),
= 0.
3 Recordemos
(13.7)
(13.8)
176
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, (13.8) conduce a
e
= e
e2
= 1 2 L = i2k, k Z
= (k/L)2 , k Z.
Como nos interesa 6= 0 y adems las soluciones para k y k coinciden, basta que k recorra todos los enteros
positivos para obtener todos los valores posibles para , esto es
k = (k/L)2 , k N \ {0},
(13.9)
y tenemos que las soluciones en variables separadas correspondientes (13.7) son de la forma
i
h
2
Uk (t, x) = Ck e(k/L) t eikx/L eikx/L
2
= Ck e(k/L) t 2i sen(kx/L)
= Ak k (t, x),
como Ak := 2iCk , el cual pertenece a
(13.10)
La figura 13.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 (13.1) que satisfacen la condicin de borde (13.2).
En la tercera etapa del mtodo, veremos cmo imponer la condicin inicial (13.3).
Observacin 13.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 (13.4), supuesta no
trivial, satisfaga la condicin de borde (13.2) se requiere que
X (x) = X(x), 0 < x < L,
X(0) = X(L) = 0,
para algn
C([0, L])
d2 f
7
Af := 2
dx
sobre el espacio vectorial V = {f C 2 (0, L)C([0, L]) | f (0) = f (L) = 0}, el problema anterior puede escribirse
AX = X. Los escalares k dados por (13.9) 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
13.1.3.
Consideremos ahora la condicin inicial (13.3). Para motivar lo que sigue, comencemos por el caso en que
f (x) = A sen(k0 x/L)
(13.11)
t=0
1 (t, x)
177
2 (t, x)
t=0
t>0
t>0
L
2
L x
L x
para algn par de constantes A y k0 N \ {0}. Dado que la k-sima solucin fundamental (13.10) satisface
k (0, x) = sen(kx/L), entonces es directo ver que la solucin de (13.1)-(13.3) correspondiente a (13.11) es
2
m
X
Ai sen(ki x/L)
i=1
m
X
Ai ki (t, x) =
m
X
i=1
i=1
En efecto, de acuerdo al principio de superposicin (ver seccin 12.6), la linealidad de (13.1) implica que cualquier combinacin lineal de soluciones es tambin solucin de (13.1). Adems, como cada solucin fundamental
satisface la condicin de borde (13.2), sus combinaciones lineales tambin la satisfacen:
u(t, 0) =
m
X
Ai ki (t, 0) =
i=1
u(t, L) =
m
X
Ai ki (t, L) =
i=1
m
X
i=1
m
X
i=1
178
l
2
(13.12)
Ak sen(kx/L)
k=1
Ak k (t, x) =
k=1
Ak e(k/L) t sen(kx/L)
k=1
13.2.
Series de Fourier
una funcin continua (basta continua por trozos). El mtodo de separacin de variables
Sea f : [, ]
descrito en la seccin anterior conduce de forma natural a la siguiente pregunta: Podemos expresar f como una
combinacin lineal (eventualmente, como una serie infinita) de funciones sinusoidales? Diremos que f admite
un desarrollo en serie de Fourier en [, ] si existen escalares a0 , a1 , ... y b1 .b2 , ... tales que
f (x)
=
=
nx
nx i
a0 X h
an cos
+ bn sen
, x [, ]
+
2
n=1
N h
nx
nx i
X
a0
an cos
+ bn sen
, x [, ]
+ lm
N +
2
n=1
Supongamos que esta igualdad es vlida. Cmo se obtienen los coeficientes en trminos de f (x)? Para responder
a sto, veamos primero la serie de Fourier en forma compleja. Recordemos que
ei + ei
2
ei ei
sen =
2i
cos =
179
Luego si f (x) admite un desarrollo en serie de Fourier, entonces podemos reescribir este desarrollo como
i
inx
1
inx
a0 X h 1
+
(an ibn )e l + (an + ibn )e l
2
2
2
n=1
f (x) =
Ck e
(13.13)
ikx
l
k=
donde C0 =
a0
2
y
Ck =
1
2 (an
1
2 (an
ibn ) si k 1
+ ibn ) si k 1
Para determinar los coeficientes complejos, fijamos k0 N , multiplicamos la ecuacin (13.13) por e
integramos en el intervalo [, ] para obtener
Z
f (x)e
ik0 x
dx =
Ck
k=
= 2Ck0 +
Ck
k=
k6=k0
i(kk0 )x
ikx
ik0 x
dx
i(kk0 )x
dx
i(kk0 )x
e
= 0,
i(k k0 )
1
2
f ()e
ik0
f (x)dx
Si n 1 entonces:
Cn =
1
(an ibn )
2
y en consecuencia
Z
nx
dx
Z
nx
1
dx
bn = 2 Im(Cn ) =
f (x) sen
an = 2(Cn ) =
f (x) cos
inx
imx
dx =
0 si n 6= m
2 si n = m
ik0 x
l
180
mx
nx
) sen(
)dx =
sen(
nx
mx
cos(
) cos(
)dx =
sen(
0 si n 6= m
si n = m
(
0
mx
nx
) cos(
)dx = 0
si n 6= m
si n = m
n, m N
X
1
ik/
f (x) =
f ()e
d eikx/
2
k=
(" Z
#
Z
nx
X
1
n
1
d cos
+
f ()d +
f () cos
=
2
n=1
)
" Z
#
nx
n
1
d sen
f () sen
+
Aunque supusimos que f es continua, en realidad basta que sea integrable para que los coeficientes de Fourier
estn bien definidos. Dada una funcin f integrable en [, ], definamos
nx
nx
a0 X
+
an cos(
) + bn sen(
),
Sf (x) =
2
n=1
donde los coeficientes se calculan como antes. En general, no se tiene que f (x) = Sf (x), x [, ]. Desde ya
para tener esta propiedad es necesario que f () = f (), esto es la 2-periodicidad de f .
Sin embargo se pueden demostrar las siguientes propiedades:
Sea
SN (x) =
x
nx
a0 X
+
an cos
+ bn sen
2
n=1
en media cuadrtica:
Z
R.
[f (t) SN (t)]2 dt 0
cuando N .
Sf () =
x ] , [
1
Sf () = [f () + f ()].
2
Sf (x)
181
|f (x)| dx 0.
q
hf, f i2
!1/2
|f (x)| dx]
ikx
k 2 =
=
ikx
ikx
!1/2
dx
Luego, los coeficientes de Fourier (en su forma compleja) vienen dados por
E
D
ikx
1
f, e
Ck = ikx
2
ke k2
y por lo tanto, la descomposicin de f viene dada por
D
E
ikx
ikx
f, e
X
e
2
f (x) =
ikx
ikx
ke k2
k 2
n=1 ke
Adems, se tiene que para k 6= j
D ikx ijx E
e ,e
=
=
ikx
ijx
i(kj)x
dx
dx
= 0,
n
X
h~x, ek i ek
kek k kek k
k=1
182
donde la base cumple
hek , ej i = 0,
k 6= j.
As, la serie de Fourier de f ,en forma compleja, se puede interpretar como una descomposicin en una base
ortogonal de la funcin exponencial.
Observacin importante
Si g : [, ]
g(x)dx
Z0
g(x)dx +
Z
0
g(x)dx +
g(x)dx =
Z0
g(x)dx +
g(x)dx =
g(x)dx
[g(x) + g(x)]dx = 0
luego:
(1) Si f es par entonces f (t) sen( nt
) es impar de donde bn = 0, n 1.
P
an cos nx
Luego Sf (x) = a20 +
.
n=1
P
nx
Luego Sf (x) =
bn sen .
n=1
En el primer caso f admite un desarrollo en trminos de slo cosenos, mientras que en el segundo aparecen slo
senos.
Ejemplo.PDesarrollo en serie de Fourier de f (x) = x en [, ]. Como f es impar an = 0 n N , de donde
bn sen nx y los coeficientes bn vienen dados por
Sf (x) =
n1
1
bn =
x
1
1
x sen nx dx = cos nx| +
2
2
2
, b3 = , b4 =
,...
b1 = 2, b2 =
2
3
4
Es decir
Sf (x) = 2[senx
En particular, se deduce
2
cos nx
dx = (1)n
n
n
1
1
sen 2x + sen 3x + . . .
2
3
1 1
= f ( ) = 2 1 + ... ,
2
2
3 5
X
(1)n
= .
2n
+
1
4
n=0
a0
2
R1
183
an cos(nx) donde
n=1
a0 =
Z1
x2 dx =
2
3
y
an =
Z1
x2 cos(nx)dx
1
Z1
2
x sen(nx)dx
n
1
2 sen(nx)
=x
1
Z1
2 x cos(nx)
cos(nx)
=
dx
+
n
n
n
1
es decir
an =
En consecuencia
x2 =
4
2
[cos n + cos(n)] =
(1)n .
2
(n)
(n)2
1
4
1
1
1
1
+ 2 cos(x) + cos(2x) cos(3x) +
cos(4x)
cos(5x) + . . . .
3
4
9
16
25
13.3.
X
1
2
=
.
n2
6
n=1
13.3.1.
Ecuacin del calor en una barra finita: condiciones de borde de tipo Dirichlet
donde > 0.
(EC)
(CB)
ut = uxx
u(0, x) = f (x)
(CI)
u(t, 0) = u(t, ) = 0
t > 0, 0 x
0x
t>0
184
u=0
u=0
(x)
T (t)
X(x)
X(x) = / cte
| {z }
| {z }
indep. de x
X(x) = be
/x
indep. de t
+ ce
/x
Luego
U (t, x) = a et [be
/x
+ ce
/x
Notemos que la constante a puede ser absorbida en k ; es por eso que la podemos suprimir de la familia de
soluciones U (t, x). Examinemos ahora la condicin de borde en x = 0
(CB)
u(t, 0) = 0
t > 0
U (t, x) = b e /x e /x et
= e
u(t, ) = 0 t
, es decir
e2 / = 1
Resolviendo
p
2 / =
2ki k Z
k
( )2
k
( )2
185
Finalmente, obtenemos
U (t, x) = [e
ki
x
ki
x
]e(
2
ki
x) t
= 2i sen
kx ( kx )2 t
e
Uk (t, x) = sen
Nota: Como Uk (t, x) = Uk (t, x) basta considerar el conjunto de soluciones elementales tales Uk (t, x); k =
1, 2, 3, ... (k N )
P
Cada funcin Uk satisface (EC) y (CB), de modo que t Ut (t, x) tambin. Solo nos queda ajustar las constantes
k de manera de satisfacer (CI). Postulamos
u(t, x) =
k sen
k=1
2
kx ( k
) t
e
k sen
k=1
kx
f (x) =
f (x) x [, 0]
k
kx
2
f(x) sen
dx =
f (x) sen
kx
dx
En conclusin
X
k
kx ( k )2 t
2
f () sen
u(t, x) =
d sen
e
k=1
Notemos que u(t, x) 0 cuando t y que las frecuencias ms altas decaen ms rpidamente.
13.3.2.
Ecuacin del calor en una barra finita. Condiciones de borde de tipo Neumann
ut
= uxx
186
y
borde aislado, flujo de calor 0
h
i
U (x, t) = a et e x + e x
Como se ha hecho en casos anteriores absorbemos a en k . Veamos ahora qu pasa con la condicin en x =
(CB)
Evaluando en x = se obtiene
Ux (t, ) = 0
t > 0
i
h
e e = 0
2
kZ
ki
x
+ e
ki
x
]e(
k 2
) t
= cos
kx ( k )2 t
,
e
u(t, x) =
k=1
kx ( k )2 t X 2
k
kx ( k )2 t
=
e
d cos
e
k cos
f () cos
k=1
13.3.3.
187
Veamos la ecuacin del calor en el caso con condiciones mixtas, es decir Dirichlet en un extremo y Neumann en
el otro:
(EC)
ut
= uxx
extremo semi-aislado
u=0
extremo semi aislado
u=0
radiacin de calor
proporcional al salto
de temperatura
x=0
h
i
U (t, x) = et [e /x e /x ]
La (CB) en el extremo semi-abierto se escribe
r h
i
/
e
+ e / = [e / e / ]
o equivalentemente, tomando y = .
y
cos y
sen y
o bien
tan y
Esta ecuacin trascendente entrega una familia de soluciones numerables, digamos {yj }j=0 la cual se puede
encontrar mediante mtodos numricos. Estas se pueden representar como las intersecciones de los grficos de
y
con tan y (lo que se puede apreciar en el grfico 13.2).
las funciones l
Como yk 6= k, los coeficientes k no corresponden a los coeficientes de Fourier clsicos, pero para encontrarlos
se razona de manera anloga. En efecto
u(t, x) =
k=0
k Uk (t, x)
188
en particular
u(0, x) = f (x) =
k Uk (0, x)
k=0
con
Uk (t, x)
eyk /
As
f (x) =
k=0
Como
yk
i
h
eyk /x eyk /x
i
h
k eyk /x eyk /x
k sen
k=0
yk x
y x
Ahora, multiplicando por sen j e integrando sobre [0, ] (donde supondremos que el intercambio de la sumatoria
con la integral es vlido) se obtiene
Z
yj x
dx
f (x) sen
Z
X
k=0
k sen
yk x
yj x
sen
dx
sen
yj x
yk x
sen
0
k 6= j
y por lo tanto
Z
f (x) sen
yj x
dx = j
j =
sen2
yj x
dx
f (x) sen
yj x
dx
R
0
sen2
yj x
dx
189
u=0
u=0
u = f (x)
Demostracin.
Sea k 6= j; entonces se tiene que
Z
sen
yj x
yk x
sen
dx
sen(yk yj ) x
sen(yk + yj ) x
2(yk yj )/
2(yk + yj )/ 0
sen(yk yj ) sen(yk + yj )
2
yk yj
yk + yj
sen yk cos yj + cos yk sen yj
sen yk cos yj cos yk sen yj
2
yk yj
yk + yj
1 yk cos yk cos yj yj cos yk cos yj
yk cos yk cos yj + yj cos yk cos yj
2
yk yj
yk + yj
0
=
=
=
=
13.3.4.
0 =
u(0, y) =
u(x, 0) =
u(x, ) =
uxx + uyy
y > 0,
0<x<
u(, y) = 0 y > 0
f (x) 0 < x <
0 0<x<
en una regin como se muestra a continuacin Soluciones elementales: Las suponemos en variables separadas
U (x, y) = X(x)Y (y)
Se tiene X (x)Y (y) + X(x)Y (y) = 0. Dividiendo por XY se obtiene
X
Y
=
= = cte.
X
Y
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
190
obtenemos a + b = 0, de donde
X(x) = e
=e
U (, y) = 0 y
2 = 2ki k Z
As
=
2
Podemos entonces reescribir las expresiones de X(x) y de Y (y), mdulo una constante
(
X(x) = sen kx
k
k
Y (y) = c e y + d e y
De la condicin
U (x, ) = 0
se desprende que c = 0, pues de otro modo la solucin diverge, cosa que no es aceptable desde el punto de vista
de la fsica. Tenemos que k Z
ky
kx
Uk (x, y) = e sen
k=1
k e
ky
sen
kx
k sen kx
, lo que nos permite expresar los coeficientes k como
2
k =
f () sen
k
d
X
k
2
kx
f () sen
u(x, y) =
d eky/ sen
k=1
Ejercicio. Resolver la ecuacin de ondas de una cuerda de largo con un extremo fijo y el otro libre.
13.3.5.
Consideremos una membrana rectangular. Como se vio en la seccin 12.3.1 la ecuacin que modela esta situacin
es
(EO)
utt = 2 (uxx + uyy ) en R 2
(CB)
(CI)
u=0
u(0, x, y) = f (x, y)
ut (0, x, y) = g(x, y)
sobre R
en R
en R
191
u(x, t)
x=0
x=
b
a
R+
Como la igualdad anterior es cierta para cualquier valor que tomen las variables x, y y t, se tiene:
T
T
X
X
Y
Y
= K0
= K1
= K2
= a1 e
Y (y)
= a2 e
K0 t
K1 x
K2 y
+ b0 e
K0 t
+ b1 e
+ b2 e
K1 x
K2 y
t > 0, y [0, b]
192
u(t, a, y) = 0
Luego, podemos escribir e
K1 a
=e
K1 a
, que equivale a
p
2 K1 a = 2k1 i,
K1 =
Y (y) = sen
Se tiene adems
2
k1
a
k1
x
a
k1 Z
0 t > 0, x [0, a]
0 t > 0, x [0, a]
CB : u(t, x, 0) =
u(t, x, b) =
obtenemos una expresin para Y
k1 Z
k2
y
b
2 2
K0 = (K1 + K2 ) =
"
k2 Z
k1
a
2
k2
b
2 #
Podemos con esto escribir una solucin elemental. En este caso queda parametrizada por k1 y k2 .
Uk1 ,k2 = sen
k2 y
k1 x
sen
[k1 k2 sen wk1 k2 t + k1 k2 cos wk1 k2 t]
a
b
donde
wk1 k2 =
s
k1
a
2
k2
b
2
sen
k1 ,k2 =1
k1 x
k2 y
sen
[k1 k2 sen wk1 k2 t + k1 k2 cos wk1 k2 t]
a
b
u(0, x, y) =
k1 k2 sen
k1 k2
k2 y
k1 x
sen
= f (x, y)
a
b
De este modo
k1 k2
4
=
ab
Za Zb
0
f (x, y) sen
k2 y
k1 x
sen
dydx
a
b
k1 k2
k1 k2 wk1 k2 sen
k1 x
k2 y
sen
= g(x, y)
a
b
193
y
u=0
b
u=0
u = T = cte
u=0
13.3.6.
4
=
abwk1 k2
Za Zb
0
g(x, y) sen
k1 x
k2 y
sen
dydx
a
b
= 0
0 < y < b,
Y
Y
Y = ae y + be x
X = ce x + de x
donde a, b, c y d son constantes a determinar. Imponemos la condicin de borde u(x, 0) = 0, la cual nos entrega
a + b = 0. Luego
Y (y) = a e y e y
Utilizando ahora u(0, y) = 0, se obtiene c + d = 0, con lo que se concluye que
X(x) = c e x e x
b = 2ki
2
k
=
b
194
As, se encuentra que
ky
b
X(x) = 2c senh
kx
b
ky
kx
sen
b
b
k senh
k=1
kx
ky
sen
b
b
k sen h
k=1
ka
ky
sen
,
b
b
2T
ka
=
k sen h
b
b
Zb
0
sen
ky
2T
dy =
[1 (1)k ]
b
k
Finalmente obtenemos
u(x, y) =
k=1
13.3.7.
4T
y
x
sen (2k 1)
.
senh (k 1)
(2k 1) senh[(2k 1)a/b)]
b
b
=0
=0
= f (x)
= g(x)
(EO)
195
T (t) = ae t + be t
X(x) = ce x/ + de x/
u(t, )
De donde
e/ = 0 e2
=1
2 / = 2ki k Z
ki
=
kZ
i
h kxi
i
h kti
kti
kxi
c e e
Uk (t, ) = ae + be
{z
}
|
2i sen( kx
)
kN
kt
kt
kx
+ bk sen
] sen
[ak cos
k=1
es solucin de la ecuacin.
Tenemos dos familias de constantes que determinar: ak y bk . Para las primeras utilizamos la condicin inicial
sobre u
X
kx
u(0, x) = f (x) =
ak sen
k=1
y obtenemos
2
ak =
f (x) sen
kx
dx
bk k
X
kx
k
sen
.
bk
k=1
2
bk =
k
Z
0
g(x) sen
kx
dx.
196
13.4.
Ejercicios
X (1)n
.
n2
n1
n1
(x, y) .
2y
x2 (x, t)
cos(x)
0 < x < 2
=0
t>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.
p
5. 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(r2 ) y ut (x, y, z, 0) = 0.
6. Resuelva el problema de Dirichlet en el crculo:
u
= 0
R>r
u(R, ) = f ()
[0, 2].
Observe que a utilizar separacin de variables, si u(r, ) = A(r)B(), entonces B(0) = B(2) y B (0) =
B (2).
7. Resuelva el problema de Neumann en el crculo:
u =
ur (R, ) =
0
R>r
f ()
[0, 2].
u(x, 0) =
u(0, t) = u(, t) =
F (x, t)
f (x)
0.
x (0, ), t > 0
13.4. EJERCICIOS
197
x [0, ], t > 0
= x
u(1, ) =
1>r
[0, 2].
cos(2)
11. Resuelva:
u =
u(1, ) = u(2, ) = u(r, 0) =
u (r, )
0
0
r2 .
= 0
uy (x, 0, z, t) = uy (x, , z, t)
= 0.
u(x, y, z, 0) = f (x, y)
u(0, y, z, t) = u(, y, z, t) = u(x, y, , t) = 0
(1) ut = c2 u k(u v)
(2) vt = a2 v l(v u)
donde k > 0 y l > 0 son constantes relacionadas con el intercambio de calor entre los gases. La superficie
es adiabtica (u n
= v n
= 0 en ), y en el instante inicial (t = 0) las temperaturas u, v son
constantes en todo
RRR
RRR iguales a u0 y v0 respectivamente.
V = l(V U ).
(b) Deducir que la cantidad K(t) = lU (t) + kV (t) se conserva y probar que
lm U (t) = lm V (t) =
(c) Sea w :
lu0 + kv0
().
k+l
w = w en
w n
= 0 en
RRR
RRR
RR
~=
w2 .
kwk2 +
(c.1) Probar la identidad: ww dS
(e) Calcular, usando la parte (b), la temperatura constante del rgimen estacionario.
198
Captulo 14
La transformada de Fourier
14.1.
R R una funcin continua. Es posible demostrar que en este caso, dado > 0, se tiene que para todo
Sea f :
x [, ]
f (x) =
N
X
lm
N +
donde
1
Ck =
2
Ck ei
kx
k=N
Ck ei
kx
k=
f ()ei
d,
Ck C.
Qu ocurre cuando +?
X
k
1
f (y)ei(xy) dy
f (x) =
2
k=
Definimos
gx, (s) =
x [, ].
f (y)ei(xy)s dy.
k
1 X
gx,
f (x) =
2
k=
k h
i
1 X
(k + 1) k .
gx,
=
2
k=
Esta ltima expresin puede verse como la suma de Riemann de la funcin gx, sobre (, ) con un paso
= . Es claro que si entonces el paso de la particin = tiende a cero y que
Z
gx, (s) gx (s) =
f (y)ei(xy)s dy.
Bajo
R ciertas condiciones se puede argumentar entonces que las sumas de Riemann de gx, convergen a la integral
g(s) ds. De este modo deducimos que
Z
Z
1
gx (s) ds donde gx (s) =
f (y)ei(xy)s dy
(14.1)
f (x) =
2
199
200
Observacin 14.1.1. Lo anterior no se hizo rigurosamente pues las sumas de Riemann corresponden a funciones
que dependen de l y no a una funcin fija, sin embargo, dado que gx,l gx cuando l , este paso al
lmite s se puede justificar de manera rigurosa.
As, tenemos que:
Z hZ
i
1
f (x) =
f (y)ei(xy)s dy ds
2
Z
hZ
i
1
ixs
e
f (y)eiys dy ds
=
2
Z
h 1 Z
i
1
eixs
f (y)eiys dy ds
=
2
2
R
C una funcin integrable (i.e |f (y)|dy < ).
(14.2)
RC
1
s f(s) =
2
(14.3)
f (y)eiys dy
RC
1
x g(x) =
2
(14.4)
g(s)eixs ds
es decir
1
f (x) =
2
Corolario 14.1.5. Si f, g :
Z
1
eixs
f (y)eiys dy ds
2
(14.5)
14.2.
Propiedades fundamentales
14.2.1.
201
Proposicin 14.2.2. Sea f : C una funcin integrable, k veces derivable, tal que f (k) :
integrable, es decir f , f , f ,...., f (k) poseen transformada de Fourier. Entonces
R C tambin es
(14.7)
f(s)
.
3s2 + 2is + 1
y(x) = T 1 (
u(s))
f(s)
= T 1
3s2 + 2is + 1
Z
f(s)
1
eisx
ds.
=
2
3s + 2is + 1
2
(14.8)
Para una funcin f = f (x) particular se hace el clculo explcito de esta integral cuando sea posible.
Observacin 14.2.4. Notar que de la teora de EDOs lineales sabemos que el espacio de las soluciones de
(14.7) es de dimensin 2. En otras palabras, en la solucin (14.8) faltan dos constantes libres. Puede explicar
esto?
14.2.2.
El teorema de convolucin
f[
g(s) = f(s)
g (s) 2
o bien en forma inversa
1
g (s) (x) = (f g)(x)
T 1 f(s)
2
Demostracin.
Z
1
f[
g(s) =
eisy (f g)(y)dy
2
Z
Z
1
=
eisy
f (y )g()ddy
2
(14.9)
(14.10)
202
|
{z
}
= 2 f(s)
g (s)
2 f(s)
14.2.3.
Linealidad
\
f
+ g = f +
g
Crecimiento en espacio
\
f (x
x0 )(s) = eisx0 f(s)
Crecimiento en frecuencia
(s s0 )
0 x f (x)(s) = f
eis\
Modulacin
1
f (x)\
cos(w0 x)(s) = [f(s wo ) + f(s + wo )]
2
1
f (x)\
sen(w0 x)(s) = [f(s + wo ) f(s wo )]
2i
Cambio de escala
1 s
f\
(ax)(s) =
f ( ) a 6= 0
|a| a
2 f(s)
g (s)
Derivacin
(x)(s) = isf(s)
f[
14.3.
f (s) =
ex eisx dx
2
Z
is 2
1
s2
e(x+ 2 ) 4 dx
=
2
2
s4 Z
is 2
e
e(x+ 2 ) dx.
=
2
Llamemos I a la integral I =
203
is 2
e(x+ 2 ) dx. Para calcularla consideremos el siguiente camino (ver figura 14.1)
2
y la funcin definida en el plano complejo f (z) = ez la cual es holomorfa por ser composicin de funciones
holomorfas. Entonces
I
4 Z
X
2
2
ez dz.
ez dz =
0=
CR
j
CR
j=1
iR
R +
i 2s
1
CR
i 2s
R + i 2s
2
CR
4
CR
3
CR
x2
Figura 14.1: Camino de integracin para calcular ed
ez dz =
1
CR
s 2
e(x+i 2 ) dx
s 2
e(x+i 2 ) dx
2.
Z
ez dz =
2
CR
0
s
2
= i
e(R+iy) idy
s
2
e(R+iy) dy
3.
Z
ez dz =
3
CR
ex dx
4.
Z
4
CR
z 2
dz = i
s
2
e(R+iy) dy
204
Notemos que
Z
ez dz +
ez dz = i
4
CR
2
CR
s
2
e(R+iy) e(R+iy) dy
= ieR
s
2
= 2eR
s
2
i
h
2
ey ei2Ry ei2Ry dy
2
ey sen(2Ry)dy.
z 2
dz +
z 2
4
CR
2
CR
y por lo tanto
I=
s
2
ey dy 0.
ez dz se deduce que
CR
Z
R2
dz 2e
is 2
e(x+ 2 ) dx +
ex dx = 0
is 2
e(x+ 2 ) dx =
ex dx =
En consecuencia
s2
s2
1
e 4
f(s) = I = e 4 .
2
2
Proposicin 14.3.2. Si a
1 s
f( )
|a| a
(14.11)
Demostracin.
Z
1
eisx g(x)dx
g(s) =
2
Z
1
eisx f (ax)dx
=
2
Haciendo el cambio de variables y = ax
1
g(s) =
2
(
=
y
1
eis a f (y) dy
a
R is y
1 1
a f (y)dy
a 2 e
R
1 1
is y
a f (y)dy
a 2 e
1 s
f( )
|a| a
1 s
af(a)
a1 f( as )
si a > 0
si a < 0
si a > 0
si a < 0
1
2
205
2
y f (x) = ex tenemos
g(x) = f (ax) = e
x2
2
y luego
2f( 2s)
1
( 2s)2
= 2 e 4
2
g(s) =
= e
s2
2
f (x)
ea|x| , a > 0
3
4
eax , a > 0
1
, a>0
(a2 +x2
k |x| a
0
|x| > a
ex
0
x0
x<0
1
1
2 1+is
a
2
a2 +s2
s2
1 e 4a
p 2a1 a|s|
2 ae
q
2 sen(as)
k
s
14.4.
La transformada de Fourier es utilizable para ecuaciones en que una o ms variables se mueven sobre dominios
infinitos como
o [0, ). Ilustremos el mtodo a travs de algunos ejemplos.
14.4.1.
ut
= uxx
u(0, x) = f (x)
<x<
R
|u(t, x)|dx <
t>0
La condicin
|f (x)|dx < tiene una doble finalidad. Por un lado nos garantiza que u(t, ) posee transformada
de Fourier, pero tambin dice que u(t, ) = u(t, ) = 0, es decir, sirve como condicin de borde en infinito.
Aplicando T F en la variable x a la ecuacin EC se obtiene
Ahora bien
u
bt = d
uxx = s2 b
u
1
u
bt (s) =
2
eisx
u
(t, x)dx = u
b(t, s)
t
t
206
de modo que
u
b(t, s) = s2 b
u(t, s).
t
Esto conduce a
u
b(t, s) = u
b(0, s)es
y de aqu
1
u(t, x) =
2
= fb(s)es
2
eixs es
fb(s)ds.
)=
2
1 ex /4t
2t
deducimos que
2
1
Definamos
2
1
G(t, x)=
ex /4t
4t
que se conoce como la funcin de Green de la ecuacin (EC). Vemos entonces que
u(t, x) =
1
2
R R
f () cos(s( x))es
t0+
dds
0
si x > 0
+ si x = 0
=
t
2t
4t 4t2
2
x2 /4t
x
e
2t 4t 2t
2
G
x
2G
2x
x ex /4t
2t 4t
2
2
x
ex /4t
1 G
1 =
2t
t
2t 4t
207
uxx
(x)
= uxx
(CI)
es decir
ut
ut
u(0, x) =
uxx
Z
f (y)(x y)dy = f (x)
Formalmente:
(1)
f (y)G(t, x y)dy =
(2)
lm
t0
G
(t, x y)dy =
f (y)
t
2
x2
f (y)
2G
(t, x y)dy
x2
f (y)G(t, x y)dy
14.4.2.
ut = uxx
u(0, x) = f (x)
u(t, 0) = 0
t > 0, x > 0
x>0
t>0
Para resolver este problema es til la nocin de extensin par de una funcin w : [0, )
seguimos denotando por w : )
(
w(x)
x0
w(x) =
w(x) x < 0
R R
Notar w es continua en
(14.12)
Supongamos que u es solucin de (14.12) y definamos v como la extensin impar de u con respecto a la variable
x, es decir
(
u(t, x)
x>0
v(t, x) =
u(t, x) x < 0
208
La funcin v(t, x) satisface
vt = vxx
v(0, x) = f (x).
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
fb(s) =
=
f ()e
is
Z0
Z
1
is
d +
f ()eis d]
d = [ f ()e
2
Z0
Z
1
is
[ f ()e
d + f ()eis d]
2
1
2i
f () [eis eis ] d
|
{z
}
2i sen(s)
f () sen(s)d
Reemplazando se obtiene
v(t, x)
Z Z
Z Z
isx s2 t
1
fb(s)ds =
s2 t isx
Z
[ f ()i sen(s)d]ds
0
dsd
f () sen(s) sen(sx)es
dsd
14.4.3.
u (t, 0) = 0
t>0
x
Para tratar este problema conviene utilizar la nocin de extensin par de una funcin w : [0, )
denotamos por w
:
(
w(x)
x0
w(x)
=
w(x) x < 0.
R R
(14.13)
R, que
209
w
resulta ser continua si y slo si w es continua. Adems w
es derivable en 0 si y slo w es derivable en 0
(utilizando la definicin de derivada con lmite lateral) y dw
=
0.
dx
Si u es solucin de (14.13) y se define v(t, x) como
(
v(t, x) =
v(t, x)
v(t, x)
x0
x<0
= vxx
= f(x)
v(0, x)
Por otro lado, si resolvemos la ecuacin para v y encontramos que v es par, derivable y que
tenemos la solucin de (14.13) (restringiendo v a [0, )).
v
x (t, 0)
= 0, entonces
Z Z
0
14.4.4.
f () cos(s) cos(sx)es
dsd.
uxx + uyy = 0
u(x, 0) = f (x) < x <
u(x, ) = 0
<x<
Aplicando T F en la variable x se obtiene
u
d
d
xx + u
yy = 0
y por lo tanto
s2 u
+
2u
2u
=
0
= s2 u
u
(s, y) = a(s)esy + b(s)esy
y 2
y 2
f(s)
( = a(s) + b(s)
a(s) = 0 s > 0
= 0
b(s) = 0 s < 0
=
de donde
1
u(x, y) =
2
f (x z)
u
(s, y) = f(s)ey|s|
y
2
dz =
y2 + z 2
y
2
y 2 +x2
resulta
y
1
f (x z)dz
y2 + z 2
(14.14)
210
Definamos
G(x, y)=
y
,
y 2 + x2
f (x z)G(z, y)dz =
Z
f (z)G(x z, y)dz
(14.15)
2)
lm G(x, y) =
y0
0
x 6= 0
+ x = 0
G(x, y)dx = 1
3)
G 2G
+
=0
x2
y 2
Interpretar G como solucin de (14.14) con condicin de borde u(x, y) = (x), e interpretar frmula (14.15).
14.5.
Ejercicios
2
a
.
2
a + s2
3. La mezcla de dos fluidos en un tubo infinitamente largo puede modelarse a travs de la ecuacin de
convexin-difusin: ut = ux + uxx , con condicin inicial u(x, 0) = f (x).
(i) Probar que la transformada de Fourier u(s, t) = u(, t)(s) es igual a
u
(s, t) = f(s) exp(is s2 )t.
(ii) Deducir que la solucin puede expresarse como
u(x, t) =
f (y)G(x y, t)dy.
utt = a2 uxx ,
u(x, 0) = f (x),
ut (x, 0) = 0,
14.5. EJERCICIOS
211
utt = 16uxx
u(0, x) = exp(|x|)
(eo)
ut (0, x) = 0
x
x
x
R; t > 0
R
R
cos(4st)/[1 + s2 ].
(ii) Calcule la solucin u(t, x) de (eo). Indicacin: puede usar el teorema de residuos de Cauchy, o bien
las propiedades algebraicas de la transformada de Fourier.
6. Se desea determinar la evolucin de la temperatura u(t, x) en una barra semi-infinita cuando hay transferencia de calor al medio circundante segn el modelo
ut = kuxx u,
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 < .
7. Para h > 0 constante, considere la ecuacin
ut = uxx hux ,
< x < .
Use el mtodo de la Transformada de Fourier (suponiendo que las transformadas existen) para demostrar
que
Z
1
u(x, t) =
f (x th + 2y t) exp(y 2 )dy.
R
212
Captulo 15
BR (p) = {x
u = 0 en .
Rn : kx pk < R}
1
n rn1
u(x) dA(x),
Br (p)
r [0, R]
donde n es el rea del manto de la esfera de radio 1 en n y n rn1 corresponde al rea del manto de la esfera
de radio r. La cantidad f (r) es el promedio de la funcin u sobre la esfera con centro p y radio r.
Nuestro objetivo es calcular la derivada de f , y para tal efecto conviene introducir un cambio de variables
Z
1
f (r) =
u(p + ry) dA(y).
n rn1 B1 (0)
Entonces
Z
df
d 1
(r) =
u(p + ry) dA(y)
dr
dr n B1 (0)
Z
1
d
=
u(p + ry) dA(y)
n B1 (0) dr
Z
1
=
u(p + ry) y dA(y)
n B1 (0)
Z
1
u(p + ry) n
dA(y)
=
n B1 (0)
213
214
ya que u es armnica. Luego f es constante y para averiguar cul es esta constante observemos que
Z
1
(u(x) u(p)) dA(x)
|f (r) u(p)| =
n1
n r
Br (p)
max |u(x) u(p)| 0 cuando r 0,
xB r (p)
debido a la continuidad de u.
Hemos probado as
Teorema 15.1.1. Sea
BR (p) se tiene
1
n rn1
n
u(p) =
n rn
u dA,
Br (p)
u dV,
Br (p)
0 < r < R,
0 < r < R.
La segunda igualdad se deduce de multiplicar la primera por rn1 e integrar. Observemos que la primera de
estas frmulas dice que si u es armnica entonces u(p) es igual al promedio de u sobre la esfera Br (p) y la
segunda afirma que u(p) es igual al promedio de u sobre la bola Br (p).
15.2.
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
Z
1
(u(x0 ) u(x)) dA(x).
0=
n rn1 Br (x0 )
Pero por hiptesis u(x0 ) u(x) 0 para todo x Br (x0 ) por lo que u(x0 ) u(x) = 0 para todo x Br (x0 )
(si u(x0 ) u(x) > 0 para algn punto x Br (x0 ) la integral resultara positiva.)
Esto muestra que u(x) = u(x0 ) para todo x BR (x0 ). Veamos ahora que u(x) = u(x0 ) para todo x .
Recordemos que dado x
como es conexo existe un camino continuo que une x0 con x
y que est
contenido en . Utilizando el hecho que es abierto y el camino es compacto se puede encontrar una
secuencia finita de puntos x1 , x2 , x3 , . . . , xm = x
en y R > 0, tales que las bolas BR (xk ) k = 0, 1, . . . , m
estn contenidas en y xk+1 BR (xk ) para k = 0, 1, . . . , m 1. Hemos probado que u(x) = u(x0 ) para todo
x BR0 (x0 ) y luego u(x1 ) = u(x0 ) = max u. Repitiendo el argumento anterior se encuentra que u(x) = u(x1 )
para todo x BR (x1 ), y por induccin se prueba que u(
x) = u(x0 ). Luego u es constante en , lo cual es una
contradiccin.
Mediante una demostracin anloga se prueba que u no puede alcanzar su mnimo en .
Corolario 15.2.2. Supongamos que
armnica en . Entonces
y
mn u = mn u.
R es continua y
215
Demostracin. Bajo las hiptesis de este corolario, el mximo de u se alcanza en algn punto x0 . Si
x0 por el teorema anterior u es constante y (15.2) es cierto. Si x0 vemos que (15.2) tambin vale.
El teorema 15.2.1 es ms fuerte que el corolario 15.2.2, ya que mientras este ltimo resultado dice que si u es
armnica entonces u siempre alcanza un mximo en , el teorema afirma que si el mximo se llegara a alcanzar
dentro de entonces u sera constante. Por este motivo al primero de estos resultados se le llama el principio
del mximo fuerte, mientras que al segundo se le dice principio del mximo dbil.
15.3.
Consideramos la ecuacin del calor en una regin n abierta y acotada. En realidad, la regin donde se
plantea la ecuacin del calor es
QT = (0, T ) ,
donde T > 0.
Supondremos que u = u(t, x) est definida para (t, x) QT y que u es una funcin continua en QT y C 2 (QT ).
Diremos que u satisface la ecuacin del calor si
ut (t, x) = u(t, x) (t, x) QT = (0, T ) .
(15.1)
Definamos
T = ({0} ) ([0, T ] ).
Intuitivamente QT es un cilindro no uniforme con base igual a y altura T , y T es una parte de la frontera
de QT que corresponde a la base y el manto lateral (sin incluir la tapa superior).
Teorema 15.3.1. Sea u : QT
calor (15.1) en QT . Entonces
R una funcin continua tal que u C 2(QT ) que satisface la ecuacin del
max u = max u,
QT
(15.2)
y
mn u = mn u.
QT
Observacin 15.3.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
max u = max u.
QS
La conclusin se obtiene luego haciendo S T .Supongamos que maxQS u se alcanza en un punto (t0 , x0 ) que
no pertenece a S . Entonces, gracias a las condiciones necesarias de optimalidad sabemos que x u(t0 , x0 ) = 0,
la matriz Hessiana 2 u(t0 , x0 ) es semi-definida negativa y ut (t0 , x0 ) 0. Tomando la traza de 2 u(x0 ) vemos
que u(t0 , x0 ) 0, por lo que
ut (t0 , x0 ) u(t0 , x0 ) 0.
Esto no es suficiente para una demostracin pero slo falta un pequeo truco. En efecto, consideremos > 0 y
la funcin
v(t, x) = u(t, x) + kxk2 .
216
(t,x)QS
De aqu se deduce
(t,x)QS
u(t, x) + kxk
(t,x)S
y haciendo 0 obtenemos
2
max kxk
max u(t, x) +
(t,x)S
(t,x)S
(t,x)S
max u(t, x) max u(t, x) es siempre cierta dado que S QS . Esto prueba (15.2).
(t,x)QS
15.4.
(t,x)QS
La desigualdad
(t,x)S
R y : R funciones.
u = sobre .
Teorema 15.4.2. Sea una regin abierta y acotada en n , y sean f : (0, T ) , : (0, T )
y u0 : funciones. Entonces existe a lo ms una funcin u en C([0, T ] ) C 2 ((0, T ) ) solucin de
en (0, T )
ut u = f
u=
u(0, ) = u0
sobre (0, T )
en .
15.5.
Ejercicios
1. De una demostracin del teorema de unicidad para la ecuacin de Laplace (teorema 15.4.1) bajo la hiptesis
que u1 , u2 son soluciones de clase C 1 () C 2 () de
(
u = f en
u = sobre ,
15.5. EJERCICIOS
217
(15.3)
sobre ,
entonces
u0
en .
c) Podemos suponer que es conexo. Supongamos que existe un punto x con u(x) > 0 y sea
un camino diferenciable con (t) para t (0, 1], (0) = x0 y (1) = x. Sea t1 el ltimo t
donde u((t)) = 0, en otras palabras
t1 = sup{t [0, 1] : u((t)) = 0}
Observe que u((t1 )) = 0 y por la parte anterior
d
dt u((t))
3. 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
en (0, T )
ut u = 0
u=0
sobre (0, T )
u(0, ) = u0 en .
Defina
E(t) =
y pruebe que
|u(t, )|2
d
E(t) = 2
dt
ut (t, )2 0.
( se refiere solo a las variables espaciales.) Deduzca que si u0 0 entonces u(t, ) 0 y concluya.
218
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] P.V. ONeil, Matemticas avanzadas para ingeniera, Vol. 2, Compaa Editorial Continental, Mxico D.F.,
1994.
[5] C Pita Ruiz, Clculo vectorial, Prentice Hall Hispanoamericana, 1995
[6] A.D. Wunsch, Variable compleja con aplicaciones, Addison-Wesley Iberoamericana, Buenos Aires, 1997.
219