Académique Documents
Professionnel Documents
Culture Documents
alculo
Avanzado MA2002
Manuel del Pino
tica and CMM, UniDepartamento de Ingeniera Matema
versidad de Chile, Casilla 170 Correo 3, Santiago, Chile.
E-mail address: delpino@dim.uchile.cl
Indice general
Prefacio
7
7
12
16
21
26
34
37
40
43
43
48
55
73
73
76
81
Prefacio
La presente es una version preliminar de un apunte para el curso de
Calculo Avanzado, MA2002, de la Facultad de Ciencias Fsicas y Matematicas de la Universidad de Chile, que contiene elementos basicos
de Calculo Vectorial, Funciones de Variable Compleja, y series de Fourier con aplicacion al metodo de separacion de variables para algunas
EDPs clasicas.
Captulo 1
Elementos de C
alculo Vectorial
Comenzamos por revisar algunos conceptos basicos concernientes
a integracion en curvas (objetos unidimensionales en R2 y R3 ) y en
superficies (objetos de dos dimensiones en R3 ).
1.
Integraci
on sobre curvas en RN
1 (t)
~ (t) = ...
N (t)
Por simplicidad notacional, denotamos a menudo una curva (en que la
parametrizacion esta subentendida) simplemente C. La curva se llama
simple si no tiene auto-intersecciones, esto es si su parametrizacion es
inyectiva. Llamamos a C una curva de clase C 1 si su parametrizacion
~ : [a, b] RN es continuamente diferenciable y tal que
10 (t)
~ 0 (t) = ... 6= 0 para todo t [a, b].
0
N
(t)
Esta u
ltima condicion hace que la curva sea suave, en el sentido de
tener una recta tangente en cada uno de sus puntos: En x0 = ~ (t0 ) la
recta tangente es aquella de ecuacion
x = x0 + s~ 0 (t0 ),
sR
1. ELEMENTOS DE CALCULO
VECTORIAL
8
2
veces C o C.
1.1. Concatenaci
on de curvas. Si ~1 : [a1 , b1 ] RN , ~2 :
N
[a2 , b2 ] R , son parametrizaciones C 1 por tramos, de curvas C1 y C2 ,
tales que ~ (b1 ) = ~ (a2 ) entonces ~ : [a1 , b1 + b2 a2 ] RN definida
como
~1 (t)
t [a1 , b1 ]
~ (t) =
~1 (a2 + t b1 ) t [b1 , b1 + b2 a2 ]
La curva parametrizada por ~ (cuyo recorrido es C1 C2 ) se denomina
C1 + C2 . En modo inductivo se define la concatenacion de k curvas Ci
como C1 + + Ck .
1.2. Integraci
on en Curvas. Comenzamos por definir la longitud de la curva simple de clase C 1 C, parametrizada por ~ , en el modo
siguiente:
Z b
`(C) =
k~ 0 (t)k dt
a
Explcitamente,
k~ 0 (t)k =
q
0
~10 (t)2 + + ~N
(t)2
SOBRE CURVAS EN RN
1. INTEGRACION
En efecto, la ecuacion
~ ( ) ~ (t) = 0,
tiene una u
nica solucion = (t) [
a, b]. La funcion : [a, b] [
a, b]
es biyectiva. Aceptando que esta funcion es de clase C 1 (este hecho se
puede probar facilmente en base al teorema de la funcion implcita), se
tiene, observando que
~ 0 ( (t)) 0 (t) = ~ 0 (t)
y haciendo un cambio de variables en la integral, obtenemos
Z b
Z b
Z b
0
0
0
f (~ (t)) k~ (t)k dt =
f (~ ( (t))) k~ ( (t)) k | (t)| dt =
f (~ ( ))k~ 0 ( )k d
a
C1
Ck
1. ELEMENTOS DE CALCULO
VECTORIAL
10
donde los ~ei son los elementos de la base canonica. Para A R3 escribimos usualmente
F~ (x, y, z) = (P (x, y, z), Q(x, y, z), R(x, y, z)) =
~ :=
F~ dl
Z
C
F~ tdl =
SOBRE CURVAS EN RN
1. INTEGRACION
~ =
F~ dl
C
11
~
F~ dl.
~1 (t) = (t 2, t),
~ =
F~ dl
F (~1 (t))
C1
~10 (t) dt
2
(t 2)3
2t3
2t2 +
+ t = 2.
3
3
0
En modo similar, obtenemos
Z
~ =
F~ dl
C2
=
2
0
16
cos3 t
cos3 t+8(cos t
)+2 cos t = 2.
3
3
2
~ =
F~ dl
C3
1
(2t3 +3t2 +t+ (t+1)) dt = 2.
4
1
1
R
~ =2
La pregunta obvia que surge, es si el resultado com
un C F~ dl
es una coincidencia, o si resultara en verdad el mismo para cualquier
eleccion C de camino (orientado) que una los puntos (2, 0) y (0, 2).
2
1. ELEMENTOS DE CALCULO
VECTORIAL
12
2.
As, la integral de lnea depende solo de los puntos inicial y final del
camino, y no del camino especfico que una a estos puntos.
Consideremos = R2 y F~ (x, y) = (2xy, x2 + 1), el campo vectorial
del ejemplo anterior. Notemos que F~ (x, y) = f (x, y) donde f (x, y) =
x2 y + y. En efecto, f
(x, y) = 2xy + 1 y f
(x, y) = x2 . As, para todo
x
y
camino de clase C 1 C con punto inicial (2, 0) y final (0, 2) se tiene que
Z
~ = f (0, 2) f (2, 0) = 2 0 = 2,
F~ dl
C
F1 (x)
F~ (x) = ...
FN (x)
13
En
H particular, si la curva C es cerrada, esto es, x0 = x1 , tenemos que
~ = 0.
F~ dl
C
De hecho, se tiene mas la validez de la afirmacion recproca en
un dominio conexo. RN abierto, se dice conexo, si todo par de
puntos de puede unirse por una curva C 1 por tramos, completamente
contenida en .
n 2.1. Sea RN un abierto conexo y F~ : RN
Proposicio
H
~ = 0 para
R un campo vectorial continuo. Supongamos que C F~ dl
toda curva cerrada C contenida en . Entonces F~ es conservativo en
.
N
Demostraci
on Fijemos un punto x0 en . Sea x , y x : [0, 1]
de clase C 1 , la parametrizacion de una curva C x con x (0) = x0 ,
R
~ . Esta es una buena definicion,
x (1) = x. Definamos f (x) := C x F~ dl
pues es independiente de la curva particular C x que se escoja. En efecto
si i : [0, 1] i = 1, 2 parametrizan dos curvas C1x , C2x que unen x0
y x y consideramos la curva : [0, 2] definida por (t) = 1 (t)
para t [0, 1] y (t) = 2 (2 t) para t [1, 2]. Entonces la curva C
H
~ = 0. Se sigue que
parametrizada por es cerrada, y luego C F~ dl
R2
F~ ((t)) 0 (t) dt = 0, esto es
0
Z 1
Z 2
0
~
F~ (2 (2 t)) 20 (2 t) dt = 0.
F (1 (t)) 1 (t) dt +
0
1. ELEMENTOS DE CALCULO
VECTORIAL
14
R
R
~ x F~ dl
~ = 0. En efecto, observemos que C es la
y entonces C x F~ dl
C2
1
concatenacion C = C1x + (C2x ).
Fijemos x y una bola B(x, ) . Para |t| < , y el vector ej de la
base canonica, calculemos f (x+te) usando un camino C x+te constituido
por una curva C x que une x0 y x, la cual se contin
ua por el segmento
de recta x + ej , [0, t]. De este modo, tenemos que
Z t
F~ (x + ej ) ej d
f (x + tej ) f (x) =
0
f
2f
i
0
[F~ (x)]ij =
(x) =
(x) =
(x)
xj
xj xi
xj xi
2f
y, del mismo modo, [F~ 0 (x)]ji = xi x
(x). Por otra parte, f es de clase
j
2
C (), por ende el teorema de Schwartz nos dice que las segundas
2f
derivadas parciales son intercambiables. Esto asegura que xi x
(x) =
j
2
f
(x) en todo x , de modo que [F~ 0 (x)]ij = [F~ 0 (x)]ji .
xj xi
p(x, y) =
x2
y
,
+ y2
q(x, y) =
x2
x
.
+ y2
15
p
(x, y)
x
q
(x, y)
x
p
(x, y)
y
q
(x, y)
y
p
y
q
.
x
Tenemos en
p
y 2 x2
q
(x, y) = 2
(x, y) para todo (x, y) R2 \ {(0, 0)}.
=
2
2
y
(x + y )
x
Por otra parte, consideremos la curva cerrada simple C R2 \ {(0, 0)}
parametrizada por (t) = (cos t, sin t), t [0, 2]. Entonces,
I
Z 2
~ =
F~ dl
F~ ((t)) 0 (t) dt =
C
1
( sin t, cos t) ( sin t, cos t) dt = 2.
sin t + cos2 t
0
As para cierta curva cerrada simple C R2 \ {(0, 0)}, se tiene que
H
~ 6= 0. Por lo tanto F~ no es conservativo en esta region.
F~ dl
C
2
1. ELEMENTOS DE CALCULO
VECTORIAL
16
Demostraci
on. Supongamos que es estrellado respecto a x0 , y consideremos la funcion f : R definida por
Z 1
Z 1
N
X
Fj (x0 +t(xx0 )) dt.
F (x0 +t(xx0 ))(xx0 ) dt =
(xj x0j )
f (x) =
0
j=1
Z
N
X
Fi (x0 +t(xx0 )) dt +
(xj x0j )
j=1
j=1
[
0
N
X
j=1
d
[Fi (x0 + t(x x0 ))] t dt =
0 dt
t=1 Z 1
Fi (x0 + t(x x0 ))t
Fi (x0 + t(x x0 )) dt.
t=0
El Teorema de Green
3. EL TEOREMA DE GREEN
17
Teorema 3.1 (Teorema de Green). Sea D un abierto cuya frontera puede parametrizarse como una curva C 1 por tramos,
cerrada simple C. Entonces
I
Z Z
Q
P
~ =
dx dy .
F~ dl
x
y
C
D
Demostraci
on La realizaremos en un dominio D de una clase amplia:
aquellos que se pueden escribir como uniones finitas de regiones basicas
de tipos 1 y 2. Decimos que D es una region de tipo 1, si tiene la forma
D = {(x, y) / a x b,
(3.3)
g(x) y h(x)}
1
(3.4)
g(y) x h(y)}.
h(x)
Q P
dx dy =
dy) dx =
x
y
D
g(x)
a
Z b Z h(x)
Z b
Q
(
dy) dx.
[P (x, g(x)) P (x, h(x))] dx +
g(x) x
a
a
Ahora, tenemos que
Z h(x)
Z h(x)
d
Q
Q(x, y)dy =
(x, y) dy+Q(x, h(x))h0 (x)Q(x, g(x))g 0 (x)
dx g(x)
x
g(x)
Q P
x
y
Z
(
y por ende
Z
h(x)
Q
(x, y) dy =
a
g(x) x
Z h(b)
Z h(a)
Z b
Q(b, y)dy
Q(a, y)dy+ [Q(x, g(x))g 0 (x)Q(x, h(x))h0 (x)] dx.
dx
g(b)
g(a)
As, tenemos,
Z b
Z Z
Q P
dx dy =
[P (x, g(x)) P (x, h(x))] dx+
x
y
D
a
(3.5)
Z h(b)
h(a)
Q(b, y)dy
g(b)
g(a)
Z b
Q(a, y)dy+ [Q(x, g(x))g 0 (x)Q(x, h(x))h0 (x)] dx.
a
1. ELEMENTOS DE CALCULO
VECTORIAL
18
t [g(b), h(b)],
t [a, b],
t [g(a), h(a)].
Entonces
I
~ =
F~ dl
4 Z
X
i=1
~ =
F~ dl
4 Z
X
Ci
i=1
Tenemos
Z b
Z b
0
F~ (1 (t)) 1 (t) dt =
[ P (x, g(x)) + Q(x, g(x))g 0 (x)] dx,
a
h(b)
F~ (2 (t))
20 (t) dt
Q(b, y) dy,
g(b)
h(b)
g(b)
F~ (3 (t)) 30 (t) dt =
h(a)
F~ (4 (t))
40 (t) dt
h(a)
g(a)
Q(a, y) dy.
g(a)
F~ dl.
dx dy =
x
y
D
C
El teorema de Green se verifica entonces en regiones de tipo 1, esto es
de la forma (3.3). Exacamente los mismos calculos, conducen a que el
teorema vale tambien en una region de tipo 2, de la forma
(3.6)
D = {(x, y) / c y d,
p(y) x q(y)}
C1
C2
3. EL TEOREMA DE GREEN
19
En efecto:
Z
~ =
F~ dl
+
C1
C2
C1 \C2
~
F~ dl
C0
C0
C2 \C1
(3.7)
+
C1
~ =
F~ dl
C2
~ =
F~ dl
+
C1 \C2
C2 \C1
~
F~ dl.
=D
1
Usando esta formula, es imediato probar lo siguiente: Si D
~ =
F~ dl
k Z
X
i=1
~
F~ dl.
Ci
Como ademas,
Z Z
D
Q P
x
y
dx dy =
k Z Z
X
i=1
Di
Q P
x
y
dx dy,
1. ELEMENTOS DE CALCULO
VECTORIAL
20
(t 1, t2 )
si t [0, 1],
2
~ (t) = = (t 1, 1 + (t 1)3 ) si t [1, 2] .
(t, 6 2t)
si t [2, 3]
R
~
Calcule C (y, x) dl.
Q
= 2. Entonces
Soluci
on F~ = (P, Q) = (y, x) entonces Q
x
y
Z
Z Z
~
(y, x) dl = 2
dxdy.
C1
donde C1
Ejemplo 3.2. Si C1 y C2 son dos curvas cerradas simples C 1 por
tramos, que no se intersectan (digamos C1 esta dentro de la region
abierta encerrada por la curva C2 , entonces vale la siguiente forma
del teorema de Green: Si P i + QJ es un campo vectorial de clase C 1
en alguna region que contiene a C1 y a C2 (supuestas con orientacion
positiva), entonces
Z Z
I
I
Q
P
~ =
~
F~ dl
F~ dl
x
y
D
C2
C1
en que D es la region anular entre las dos curvas.
Soluci
on Basta cortar D por una tercera curva simple C3 que une
las dos curvas de la frontera, y llamamos D1 y D2 a las componentes
resultantes, de modo que D1 = C3 (C1 (C2 ) \ D2 . Si C3 es tal que
la curva resultante es de orientacion positiva, entonces 2 esta limitado
por la curva (recorrida en modo positivo) (C3 ) (C1 (C2 )) \ D1 .
Obtenemos
Entonces
Z
Z
Z
Q P
Q P
Q P
=
x
y
x
y
x
y
D
D1
D2
Z
Z
Z
Z
~
~
~ =
~
F~ dl +
F~ dl
F~ dl +
F~ dl
C3
(C1 C2 )\D2
I
C1
~
F~ dl
C3
I
C2
~
F~ dl.
(C1 C2 )\D1
SOBRE SUPERFICIES
4. INTEGRACION
4.
21
Integraci
on sobre superficies
4.1. Definici
on de superficie e integral. Sea D un conjunto abierto y acotado en R2 . Una superficie de clase C1 en R3 es un
conjunto de la forma
S=
~ (D)
dotado de una parametrizacon
~ , donde
~ : (u, v) D
~ (u, v) R3 ,
1
es una funcion inyectiva de clase C (D), de manera tal que S tenga un
plano tangente definido en cada uno de sus puntos (y un vector normal).
Para precisar esta condicion, consideremos un punto p0 =
~ (u0 , v0 ). la
curva u 7 (u, v0 ), definida en una vecindad de u0 esta contenida
en S. Por lo tanto el vector ~tu := u~ (u0 , v0 ) es un vector tangente a
S. Para que haya genuinamente un plano de direcciones tangentes, es
necesario y suficiente que el vector ~tv := v~ (u0 , v0 ) defina una direccion
linealmente independiente de ~tu , esto es, ~tu y ~tv no son paralelos.
As, el plano tangente a S en el punto p0 es aquel de los vectores de la
forma p = p0 + ~tu + ~tv , , R.
Notemos que un vector normal al plano tangente (esto es, a la superficie), esta dado por ~tu ~tv , as, un vector normal unitario es
n
=
~tu ~tv
.
k~tu ~tv k
Tal como definimos longitud en una curva, lo hacemos a continuacion con el area de la superficie S:
Z Z
A(S) :=
k~tu ~tv k du dv.
D
~ (u + du, v)
~ (u, v) y
~ (u, v + dv)
~ (u, v). Esta area corresponde
a la norma del producto cruz entre estos dos vectores. As,
~
(u
+
du,
v)
~
(u,
v)
~
(u,
v
+
dv)
~
(u,
v)
=
dA(u, v) =
du
dv
du
dv
~
~
du dv .
u
v
Naturalmente, el elemento vectorial de superficie esta dado por
~
~
~
dA(u, v) = n
dA(u, v) =
du dv.
u
v
Como en una curva, tenemos dos posibles elecciones de un vector normal unitario. Una superficie en la que pueden distinguirse dos lados, se
1. ELEMENTOS DE CALCULO
VECTORIAL
22
f (x) dA :=
f (~
(u, v))
u
v
S
D
Ejemplo 4.1. Calcule el centro de gravedad de la mitad de una
esfera de radio R.
Soluci
on Sea S = {(x, y, z) / z 0, x2 + y 2 + z 2 = R2 }. El centro
de masa del S es por definicion el punto
Z Z
Z Z
Z Z
1
zdA).
ydA,
(
x, y, z) =
xdA,
(
A(S)
S
S
S
Usemos coordenadas esfericas para parametrizar S. Definamos
~
= (R sin sin , R cos sin , 0),
~
= (R cos cos , R sin cos , R sin )
i
j
k
~
~
=
R cos cos R sin cos R sin
z dA = R
Z Z
(cos sin ) sin d = 0 =
Z Z
0
3
y dA,
S
Z
d
cos sin d = R3
SOBRE SUPERFICIES
4. INTEGRACION
23
2
Ejemplo 4.2. Sea D un abierto en R2 y g : D
R R R R una
1
funcion de clase C . Sea S el grafico de g. Calcule
f dA.
S
Soluci
on Tenemos que una parametrizacion de S esta dada por
~
~
g
g
g
= 1 0 x
= i j + k.
x
y
x
y
0 1 g
y
Por lo tanto
s
2 2
~
g
g
~
dA =
x y
= 1 + x + y dx dy
y
Z Z
Z Z
f dA =
1+
g
x
2
+
g
y
2
dx dy.
h2
dA =
1 + 2 dx dy = R h2 + R2 .
R
S
D
Por otra parte,
r
p
Z Z
Z Z
x2 + y 2
h2
zdA =
h(1
) 1 + 2 dx dy.
R
R
S
D
Usando coordenadas polares, obtenemos
r
r
Z Z
Z
Z R
h2 2
r
h2 R2
zdA =
1+ 2
d
h(1 )r dr = h 1 + 2
R 0
R
R 3
S
0
La coordenada z del centro de masa del manto es entonces
RR
zdA
h
z = R RS
= ,
3
dA
S
independientemente del radio de la base.
1. ELEMENTOS DE CALCULO
VECTORIAL
24
Ejemplo 4.3. Considere la superficie de revolucion S que se obtiene de rotar en torno al eje z el grafico de una funcion positivaRxR= g(z),
z [a, b], de clase C 1 . Encuentre una formula para A(S) =
dA.
S
Soluci
on S se parametriza, usando coordenadas cilndricas del modo
siguiente:
~
~
z [a, b],
[0, 2].
Por lo tanto
p
~
~
= g(z) 1 + g 0 (z)2 dz d
dA =
z
y
Z Z
dA =
S
Z b
p
p
g(z) 1 + g 0 (z)2 dz d = 2
g(z) 1 + g 0 (z)2 dz .
R2 h
z
A(S) = 2R 1 + 2
(1 ) dz = R h2 + R2
h 0
h
y recuperamos la formula obtenida en el ejemplo anterior.
4.2. Integral de flujo de un campo vectorial. En lo que sigue, consideraremos solo superficies S parametrizadas, que sean orientables, y donde se ha hecho una eleccion de vector normal n
. A la
superficie con la orientacion opuesta le llamaremos S .
La integral de flujo de un campo vectorial F~ : S R3 sobre una
superficie F es la integral
Z Z
Z Z
~
~
F n
dA =
F~ dA.
S
S
3
En modo explcito, si
~ : D R es una parametrizacion de S y el
vector normal (que define la orientacion) tiene la direccion de u~ v~ ,
entonces
Z Z
Z Z
~
~
~
~
F n
dA =
F (~
(u, v))
du dv .
u
v
S
D
SOBRE SUPERFICIES
4. INTEGRACION
25
RR
Si F~ denota el campo de velocidades de un fludo, entonces
F~
n dA
S
representa el volumen del fluido que ha cruzado la celda S en una
unidad de tiempo.
2
2
Ejemplo 4.4. Sea la region limitada por el cilindro
R R x +y =1
y los planos z = 0, z = x + 2. Sea S = . Calcule
F~ n
dA con
S
yn
F~ = 2xi 3yj + z k,
la normal exterior.
Soluci
on
S se puede descomponer en tres pedazos suaves: la tapa superior:
S3 = {z = x + 2, x2 + y 2 1}, S2 = {0 z x + 2, x2 + y 2 = 1},
S3 = {z = 0, x2 + y 2 1}.
Entonces
Z Z
3 Z Z
X
~
F n
dA =
F~ n
dA .
S
i=1
Si
y claramente tenemos
Tenemos: Sobre S1 , n
= k,
Z Z
F~ n
dA =
Z Z
x2 +y 2 1
S1
S3
Z Z
(2 x) dx dy = 2.
x2 +y 2 1
(0, 2),
z (0, 2 + cos ).
i
j
k
z = sin cos 1 = i cos + j sin
0
0
1
que corresponde a la normal exterior. Entonces,
Z Z
Z 2 Z cos +2
i cos +j sin ) dz =
F~
n dA =
d
(2 cos i3 sin j+z k)(
S2
Z
0
26
1. ELEMENTOS DE CALCULO
VECTORIAL
Por lo tanto,
Z Z
F~ n
dA = 0 + 2 2 = 0.
S
5.
El Teorema de la divergencia
Veremos dos generalizaciones del Teorema de Green a tres dimensiones. El primero de estos es el Teorema de Gauss o Teorema de la
divergencia. Para motivarlo, reescribiremos el Teorema de Green en
una forma distinta. Sea R2 un abierto acotado tal que su frontera se parametriza por una curva C, orientada en la direccion
antihoraria. Sea t = (t1 , t2 ) el vector tangente. Entonces el vector
n
= (t2 , t1 ) = (n1 , n2 ) corresponde al vector normal unitario a la
curva, que apunta en la direcci
on exterior a . Para un campo vec~
torial generico G = (R, S) de clase C 1 () tenemos que
Z
Z Z
S R
(
(Rt1 + St2 ) dl
) =
y
x
C
Por lo tanto, escribiendo F~ = (P, Q) y G = (Q, P ), obtenemos que
Z Z
P
Q
(
+
) =
y
x
Z
(P n1 + Rn2 ) dl
C
esto es
Z Z
(5.8)
F~ =
F~ n
dl
N
X
Fi
i=1
xi
y llamamos a esta cantidad la divergencia del campo F~ . Se denota tambien a veces F~ = div (F~ ). A la formula (5.8) le llamamos Teorema
de la divergencia en el plano. Como veremos, esta se extiende naturalmente a tres dimensiones, donde C se reemplaza por una superficie
que representa a la frontera de .
Teorema 5.1 (Teorema de la divergencia (Gauss)). Sea R3
un abierto, cuya frontera se parametriza como una superficie S de
5. EL TEOREMA DE LA DIVERGENCIA
27
donde n
denota la normal unitaria exterior a .
Demostraci
on Como en el Teorema de Green, probaremos el resultado en regiones basicas, de lo cual se deduce que Consideremos primero
una region prisma tipo 1, de la forma
= {(x, y, z) / (x, y) D,
Z Z
h(x,y)
Z Z
Z
(R(x, y, g(x, y))R(x, y, h(x, y))) dx dy+
dxdy
Observemos que
Z g(x,y)
Z
x
P (x, y, z)dz =
h(x,y)
g(x,y)
(x P +y Q) dz.
h(x,y)
g(x,y)
h(x,y)
y
g(x,y)
Z
y
g(x,y)
Q(x, y, z)dz =
h(x,y)
h(x,y)
De este modo,
Z Z
Z
Z Z Z g(x,y)
x P + y Q =
[x
D
h(x,y)
Z Z
g(x,y)
g(x,y)
P dz + y
h(x,y)
Qdz] +
h(x,y)
Z Z
P (x, y, g)gx P (x, y, h)hx +
D
h(x,y)
h(x,y)
h(x,y)
h(x,y)
1. ELEMENTOS DE CALCULO
VECTORIAL
28
g(x,y)
Z Z Z
(x P + y Q + z R) = I + II
D
h(x,y)
donde
Z
g(x,y)
g(x,y)
P + y
Q,
h(x,y)
Z Z
Z Z
II =
P (x, y, h)hx P (x, y, g)gx +
Q(x, y, h)hy Q(x, y, g)gy +
D
D
Z Z
(R(x, y, g(x, y)) R(x, y, h(x, y))) dx dy =
I=
h(x,y)
Reescribamos
Z Z
Z Z
II =
(P, Q, R)(x, y, g)(gx , gy , 1)+
(P, Q, R)(x, y, h)(hx , hy , 1)
D
y vemos que
Z Z
I=
(P, Q, R)
n dA,
Z Z
Z Z
(P, Q, R)
n dA+
(P, Q, R)
n dA,
II =
S1
S2
S3
donde
S1 = {(x, y, z) / (x, y) D, h(x, y) z g(x, y)},
S2 = {(x, y, z) / (x, y) D, z = g(x, y)}, S3 = {(x, y, z) / (x, y) D, z = h(x, y)}
de modo que S1 S2 S3 = S = y n
denota normal unitaria exterior.
Hemos demostrado en consecuencia que
Z Z Z
Z
~
F = I + II =
F~ n
dA.
o
= {(x, y, z) / (y, z) D, h(y, z) < x < g(y, z)}.
= k
i=1
Si
5. EL TEOREMA DE LA DIVERGENCIA
29
= 2 3 + 1 = 0. Recuperamos entonces el
pues (2xi 3yj + z k)
resultado del ejemplo, con un calculo mucho mas sencillo.
En modo similar, obtenemos
Z Z
F~2 n
dA =
Z Z Z
dx dy dz =
(2xi 3yj + z k)
Z Z Z
3
Z Z
x+2
dx dy dz = 3
dx dy
x2 +y 2 1
0
Z Z
(x + 2) dx dy = 6.
3
dz =
x2 +y 2 1
N
X
ei
i=1
xi
1
, 0, 0).
|{z}
i-esima entrada
N
X
i=1
ei
f
xi
30
1. ELEMENTOS DE CALCULO
VECTORIAL
Fi
~
~
div F = F =
ei
ei Fi =
.
xi
xi
i=1
i=1
i=1
Un operador de segundo orden de gran importancia es el Laplaciano
2
f = f := f =
N
X
2f
i=1
x2i
= tr(f 00 (x)).
~
~
~
+j
+k
rot (F ) = F = i
P i + Qj + Rk =
x
y
z
i j k
= R Q i + P R j + Q P k
x y z
y
z
z
x
x
y
P Q R
Observemos que la cantidad F~ mide cuan asimetrica es la matriz
3 3 F~ 0 (x, y, z). En efecto, tenemos que
F~ 0 (x, y, z) =
P
x
Q
x
R
x
P
y
Q
y
R
y
P
z
Q
z
R
z
Soluci
on Por el teorema de la divergencia, tenemos que
Z Z
Z Z Z
( F~ ) n
dA =
( F~ ).
S
5. EL TEOREMA DE LA DIVERGENCIA
31
)+
(
)+
(
).
x y
z
y z
x
z x
y
( F~ ) =
RR
S
Soluci
on Sea S0 = {(x, y, 0) / xa2 + yb2 1}, superficie que consideramos dotada de su normal exterior k . Ahora,
2 = 2 + 4 + 2 = 8.
Concluimos que
Z Z
Z Z
n
dA =
n
dA = 4abc.
S+S0
1
(x2 + y 2 + z 2 )
3
2
(x, y, z) =
~x
.
k~xk3
1. ELEMENTOS DE CALCULO
VECTORIAL
32
Soluci
on Calculemos la divergencia de F~ . Vemos que
P
x2
1
3
=
3
5
x
(x2 + y 2 + z 2 ) 2
(x2 + y 2 + z 2 ) 2
Q
1
y2
=
3
3
5
y
(x2 + y 2 + z 2 ) 2
(x2 + y 2 + z 2 ) 2
R
1
z2
=
3
3
5
z
(x2 + y 2 + z 2 ) 2
(x2 + y 2 + z 2 ) 2
y por lo tanto F~ = 0 en R3 \ {~0}, ~0 = (0, 0, 0). Consideremos > 0
~0, ) y la region = \ B(
~0, ). Tenemos que
tal que B(
Z Z
Z Z Z
F~ n
dA =
F~ =
0=
Z Z
F~ n
Z Z
F~ n
dA.
B(~0,)
1
(x, y, z)
x2 +y 2 +z 2
1
(x2
y2
z2) 2
(x, y, z) 1 (x, y, z) = 2
y entonces
Z Z
F~ n
dA = 2 4 2 = 4.
B(~0,)
~x n
dA = 4 .
k~xk3
(~x ~x0 ) n
0 si ~x0 6 ,
dA
=
.
4 si ~x0
x ~x0 k3
k~
A este u
ltimo resultado se le conoce como formula de Gauss.
5. EL TEOREMA DE LA DIVERGENCIA
Z Z Z
Z Z
(uv vu) =
(5.11)
(u
33
v
v
v ) dA .
Soluci
on Para probar (5.10), consideremos el campo vectorial F~ =
uv. Entonces, vemos que
F~ = (uv) = u v + u (v) = u v + uu.
Por el teorema de la divergencia, obtenemos
Z Z Z
Z Z
Z Z Z
~
F =
uv+u(v) =
F~
n dA =
Z Z
u = f
en ,
u=g
en .
esta es u
Demuestre que si (5.12) posee una solucion u C 2 (),
nica.
soluciones de (5.12). Entonces v :=
Soluci
on sean u1 , u2 C 2 ()
u1 u2 satisface
(5.13)
v = 0 en ,
v = 0 en .
o sea,
Z Z Z
|v|2 = 0.
v
dA .
1. ELEMENTOS DE CALCULO
VECTORIAL
34
6.
El Teorema de Stokes
Demostraci
on La haremos en el caso en que S es un grafico de una
funcion g : D 7 R, de modo que la parametrizacion esta dada por
~ : D R2 R3 ,
~ (x, y) = (x, y, g(x, y)). Supongamos (sin perdida de
generalidad) que la funcion g es positiva. Consideremos las siguientes
superficies:
S0 = {(x, y, 0) / (x, y) D},
S1 = {(x, y, z) / (x, y) D}
S0
S1
)i + (
)j + (
)k.
y
z
z
x
x
y
por lo cual, usando el Teorema de Green en el plano,
Z Z
Z Z
Z
Q P
~
(F )
n=
(
)(x, y, 0) dx dy =
(P, Q)(x, y, 0)tdl = I
x
y
S0
D
D
6. EL TEOREMA DE STOKES
35
( F~ ) n
=
g(x,y)
[(
dl
S1
R Q
P R
)x + (
)y ] dz =
y
z
z
x
Z
dl([P (x, y, g(x, y))P (x, y, 0)]y [Q(x, y, g(x, y))Q(x, y, 0)]x ) +
D
"Z
g(x,y)
R
(x, y, z) dz ,
y
Z
0
g(x,y)
#
R
(x, y, z) dz dl = II+III.
x
R
III =
(x, y, z)
(x, y, z) dz dx dy ,
y
y 0
x
D x 0
o sea,
Z Z
III =
D
R
R
(x, y, g)gx
(x, y, g)gy dx dy ,
y
x
mientras que
Z
d`[P (x, y, g(x, y))y Q(x, y, g(x, y))x ] .
I + II =
D
Z Z
III =
D
Entonces,
Z
I+II+III =
1. ELEMENTOS DE CALCULO
VECTORIAL
36
Por lo tanto,
Z Z
Z
Z Z
~
( F~ ) n
+
( F~ ) n
= I + II + III = F~ dl.
S0
S1
Tenemos
i
j
k
= (3x2 + 3y 2 ) k.
F~ = x
y
z
y 3 x3 z 3
S se parametriza por (x, y) = (x, y, 1xy), (x, y) D = {x2 +y 2 <
1}. As,
i j k
x y = 1 0 1 = i + j + k
0 1 1
de modo que
dx dy
( F~ ) n
dA = (3x2 + 3y 2 ) k (i + j + k)
y entonces
Z Z
Z Z
(F~ )
n dA =
S
o sea
(3x +3y ) dx dy = 3
x2 +y 2 1
3
r3 dr d = ,
2
~ = 3.
F~ d`
t [0, 2] .
0
2
1
sin4 t+cos4 t+(1sin tcos t)3 (sin tcos t) dt = (1sin tcos t)4 +
4
0
Tenemos
Z 2
2
1
(1 sin t cos t)3 (sin t cos t) dt = (1 sin t cos t)4 0 = 0
4
0
y
Z 2
Z 2
Z
Z
1 2
1 2
3
4
4
2
cos t dt =
cos t dt =
(1+cos 2t) dt =
(1+cos2 2t)dt =
4 0
4 0
4
0
0
H
~ = 3 .
y por lo tanto, F~ d`
C
7.
~
es invertible. Mas aun, supongamos que los vectores ui (~u), i = 1, 2, 3
son ortogonales en todo ~u D. Definamos
~
1
~
hi :=
ui
, ui := hi ui , i = 1, 2, 3
Entonces, podemos expresar el vector gradiente de una funcion escalar f en el modo siguiente:
f (~x) =
3
X
(f (~x) ui ) ui , ~x =
~ (~u)
i=1
Por abuso de notacion, escribimos a veces la funcion f en las coordenadas ~u, como f (~u), queriendo decir
f (~x(~u))),
~x(~u) =
~ (~u).
1. ELEMENTOS DE CALCULO
VECTORIAL
38
Entonces
f =
(7.16)
3
X
1 f
ui .
h
u
i
i
i=1
Es com
un, y natural expresar a un campo vectorial en las coordenadas
~u, esto es terminos de los vectores del triedro ui , i = 1, 2, 3. Supongamos
que (expresado en las coordenadas ~u en vez de las cartesianas) tenemos
F~ (~u) =
3
X
Fi (~u)
ui
i=1
( F~ ) h1 h2 h3 du =
F~ dx =
3 Z
X
1
Fi h1 h2 h3 du =
hi ui
i=1
Z
Z
Z
F1 h2 h3 du +
F2 h1 h3 du +
F3 h1 h2 du =
u1
u1
u1
Z
1
(F1 h2 h3 ) +
(F2 h1 h3 ) +
(F3 h1 h2 ) h1 h2 h3 du .
h1 h2 h3 u1
u1
u1
Como es arbitaria, obtenemos entonces que para F~ = F3 u3 + F3 u3 +
F3 u3
(7.17)
1
F~ =
(F1 h2 h3 ) +
(F2 h1 h3 ) +
(F3 h1 h2 ) .
h1 h2 h3 u1
u1
u1
Con este metodo podemos derivar otras formulas, por ejemplo para
calcular el Laplaciano de una funcion escalar f (~x) expresado en coordenadas ~u. Tenemos
!
3
3
X
X
2f
1 f
f =
= f =
ui .
x2i
h ui
i=1
i=1 i
De la formula (7.17) obtenemos entonces que
(7.18)
3
X
1 f
1
h1 h2 h3 2
.
f =
h1 h2 h3 i=1 ui
hi ui
F~ =
u1
u2
u3 .
h1 h2 h3
h1 F1 h2 F2 h3 F3
Esta formula corresponde al calculo formal
1
~
u1
+ u2
+ u3
F =
(F1 u1 + F2 u2 + F3 u3 ).
h1 u1 h2 u2 h3 u3
los principales sistemas de
Junto con el sistema Cartesiano (i, j, k),
coordenadas ortononales son las coordenadas cilndricas y las esfericas.
7.0.1. Coordenadas cilndricas. Recordemos que esta es la transformacion
~x =
~ (r, , z) = (r cos , r sin , z).
Entonces
r = (cos , sin , 0), hr = 1,
z = (0, 0, 1), hz = 1,
f =
2f
2f
1 f
1 2f
+
+
+
z 2
r2
r r
r2 2
1. ELEMENTOS DE CALCULO
VECTORIAL
40
7.0.2.
De modo que
= (cos sin , sin sin , cos ), h = 1,
2 f
+ 2 2
+ 2
sin
.
f = 2
sin
sin 2
8.
Los teoremas de la divergencia y de Stokes, conducen a interpretaciones simples de los operadores divergencia y rotor en un punto dado.
Supongamos que F~ (x) denota la velocidad de un fluido en el punto
x R3 . Esto significa que una partcula arrastrada por el fluido en ese
punto avanza kF~ (x)k unidades de longitud por unidad de tiempo. As,
si
R consideramos la bola B(x0 , r) = {x / kx x0 k < r} tenemos que
F~ n
representa el volumen neto del fluido que sale el casquete
B(x0 ,r)
esferico (hacia el exterior), esto es, la diferencia entre el volumen de lo
que sale y de lo que entra en una unidad de tiempo. Esta diferencia,
a medida que el radio se hace mas y mas peque
no esta medida precisamente por la divergencia del campo de velocidades en el punto x0
(de ah el nombre divergencia). En terminos precisos, tenemos que si el
campo F~ es de clase C 1 , entonces, por el teorema de la divergencia,
1
lm 3
r0 r
1
F~ n
= lm 3
r0 r
B(x0 ,r)
4
div F~ dx = div F~ (x0 )
3
B(x0 ,r)
Entonces podemos decir que el flujo neto esta aproximadamente medido, para r muy peque
no, por la formula,
Z
4
F~ n
r3 div F~ (x0 )
3
B(x0 ,r)
R
1
El flujo neto por unidad de area esta dado entonces por 4r
F~
2
B(x0 ,r)
n
r div F~ (x0 ).
3
41
1
F~ td` = lm 2
r0 r
D(x0 ,r)+
(rot F~ ) n
dA = 4rot F~ (x0 ) e.
D(x0 ,r)
As, la circulacion del campo de velocidades a lo largo de la circunferencia D(x0 , r) esta dada por aproximacion,
Z
F~ td` 4r2 rot F~ (x0 ) e .
D(x0 ,r)+
Captulo 2
Conceptos b
asicos
44
la multiplicacion. El inverso de un n
umero complejo z = x + iy 6= 0 se
define como
z
x
y
z 1 :=
= 2
i
.
z z x + y 2
x2 + y 2
y mas en general, el cuociente
a + bi
1
= 2
(ac + bd + i(bc ad)).
c + di
c + d2
1.1. Lmites y continuidad. Decimos que una sucecion compleja zn = xn + yn converge a z0 = x0 + iz0 , zn z0 si
lm |zn z0 | = lm k(xn , yn ) (x0 , y0 )k.
Al coincidir el concepto de convergencia sucesiones en R2 y en C, tenemos automaticamente heredadas las nociones de abierto, cerrado, y,
muy importante, continuidad y lmites para funciones f : C C.
No elaboraremos por ende mayormente en estos conceptos, asumiendolos como comprendidos desde el curso anterior. Por ejemplo, supongamos que es un abierto, y que z0 . Decimos que
lm f (z) = L C
zz0
zz0
lm f2 (z) = L2
zz0
se cumple que
(1.2)
lm f1 (z) + f2 (z) = L1 + L2 ,
zz0
lm f1 (z)f2 (z) = L1 L2 .
zz0
(u1 u2 v1 v2 )(x, y) = a1 b1 a2 b2 ,
(x,y)(x0 ,y0 )
lm
(u1 v2 + u2 v2 )(x, y) = a1 b2 + a2 b2
(x,y)(x0 ,y0 )
1. CONCEPTOS BASICOS
45
1.2. Derivada en el sentido complejo. Consideremos una funcion f : C C, con abierto. Decimos de f es derivable en el
sentido complejo en z0 si el siguiente lmite existe:
f 0 (z0 ) = lm
zz0
f (z) f (z0 )
z z0
zz0
f (z) f (z0 )
(f (z) f (z0 ))(
z z0 )
= lm
zz0
z z0
|z z0 |2
f 0 (z0 ) = lm i
t0
v
u
f (z0 + it) f (z0 )
=
(z0 ) i (z0 )
t
y
y
Entonces, la conclusion es una importante restriccion a derivadas parciales de las funciones u y v en caso de que f sea derivable en el sentido
complejo:
f 0 (z0 ) =
u
v
v
u
(z0 ) + i (z0 ) =
(z0 ) i (z0 ).
x
x
y
y
Df (x0 , y0 ) =
u
(x0 , y0 )
x
u
y (x0 , y0 )
u
(x0 , y0 )
y
u
(x0 , y0 )
x
46
u
(x0 , y0 )(x x0 ) + u
(x0 , y0 )(y y0 )
x x0
x
y
=
Df (x0 , y0 )
=
y y0
(x0 , y0 )(x x0 ) + u
(x0 , y0 )(y y0 )
u
y
x
volviendo a la notacion compleja, de (1.1) obtenemos
u
u
(x0 , y0 ) i (x0 , y0 ) (x x0 + i(y y0 )) = f 0 (z0 )(z z0 ).
x
y
Por lo tanto, vemos que la siguiente igualdad se cumple:
|f (z) f (z0 ) f 0 (z0 )(z z0 )|
0 = lm
=
zz0
|z z0 |
x x0
f (x, y) f (x0 , y0 ) Df (x0 , y0 )
y y0
lm
.
(x,y)(x0 ,y0 )
k(x x0 , y y0 )k
En otras palabras, si f es derivable compleja entonces lo es en el sentido
real, y su matriz derivada tiene la estructura especial (1.4). i.e. las
ecuaciones de Cauchy Riemmann (1.3) se satisfacen.
Los calculos anteriores son reversibles, y de hecho tambien entregan
la condicion recproca. En resumen, tenemos el siguiente resultado.
n 1.1. f es derivable como funcion compleja en z0 si
Proposicio
y solo si, la funcion f es diferenciable en el sentido real y su maa b
triz derivada tiene la estructura (1.4), esto es
. En tal caso,
b
a
f 0 (z0 ) = a + ib.
Es interesante notar lo siguiente. Si f = u + iv es derivable en el
sentido complejo en una region y u, v son ademas funciones de clase
C 2 (), entonces las funciones u y v son armonicas, esto es
u = uxx + uyy = 0,
v = vxx + vyy = 0 en .
1. CONCEPTOS BASICOS
47
z C.
k
[0, 2) k = 0, 1, 2, . . . , n 1.
n
zk = e2i n ,
k = 0, 1, . . . n.
48
2.
Funciones cl
asicas y sus derivadas
ln(z) := ln r + i
o sea
ln(x + iy) = ln
p
x2 + y 2 + iarg (x + yi)
donde
arctan xy
arctan xy
2
arg (x + iy) =
+ arctan xy
3 arctan x
2
y
si y 0, x > 0
si x 0, y > 0,
si x < 0, y 0
si x 0, y < 0
2. FUNCIONES CLASICAS
Y SUS DERIVADAS
49
50
(f1 f2 )0 (z0 ) = f10 (z0 )f2 (z0 )+f1 (z0 )f20 (z0 ).
=
z z0 f (z) f (z0 )
f (z)f (z0 )
z z0
Gracias a (1.2) se sigue entonces que
d 1
1
f 0 (z0 )
(z0 ) =
dz f
f (z0 )2
A manera de ejemplo, podemos aplicar el resultado anterior para
derivar potencias. Observemos que
d
z z0
(z)z=z0 = lm
= 1.
zz
dz
0 z z0
Afirmamos que para todo n 1 se tiene que
d n
(2.6)
(z ) = n z n1 .
dz
En efecto, por induccion, aceptemos el resultado para un n 1. Entonces
d n+1
d
(z ) = (z n z) = nz n1 z + z n 1 = (n + 1)z n ,
dz
dz
y el resultado se sigue. Observemos que gracias a la proposicion anterior, el resultado (2.6) es tambien valido para potencias negativas
n 0.
2. FUNCIONES CLASICAS
Y SUS DERIVADAS
51
eiy eiy
= sin y
2i
as como
ex ex
ex + ex
= cosh x,
= sinh x,
2
2
es natural extender estas funciones a todo C definiendo
eiz + eiz
eiz eiz
cos z :=
, sin z :=
,
2
2i
ez + ez
ez ez
cosh z :=
, sinh z :=
,
2
2
De modo que valen, por ejemplo, la identidades cosh(iz) = cos z, sin z =
i sinh(iz). Ademas, se obtienen las formulas familiares:
sin2 z + cos2 z = 1,
cosh2 z sinh2 z = 1.
Por otra parte, se verifica, a partir de los resultados operacionales obtenidos para la derivacion, que estas funciones son derivables en todo
zy
d
d
(sinh z) = cosh z,
(cosh z) = sinh z,
dz
dz
52
d
d
(sin z) = cos z,
(cos z) = sin z.
dz
dz
2.3.1. potencias no-enteras. Cuando C no es un n
umero entero, definimos la funcion z 7 z por
z := e log z
z = C \ {x + i0 / x 0}.
n
X
X
bk := lm
bk .
n+
k=0
k=0
on
Decimos en tal caso, que la serie
k=0 bk converge. Una condici
suficiente para la convergencia de una serie de n
umeros complejos es su
convergencia absoluta. Observemos que la sucesion de n
umeros reales
Sn =
n
X
|bk |
k=0
X
|bk | < +.
k=0
X
X
|zn |
|bk |
|bk | =: C < +.
k=0
k=0
2. FUNCIONES CLASICAS
Y SUS DERIVADAS
53
la sucesion. En efecto
|zn zkn |
kn
X
|bk |
k=n
|bk | 0
k=n
k=0 bk
f (z) =
N
X
kak (z z0 )k1 .
k=1
Consideremos ahora una funcion definida como una serie de potencias en torno a z0 ,
(2.7)
f (z) =
ak (z z0 )k .
k=0
X
|ak |rk < +}.
r = sup{r > 0 /
k=0
|ak ||z z0 |
k=0
k=0
f (z) = g(z) :=
kak (z z0 )k1 .
k=1
54
k|ak |r
k1
k0
X
k=0
k|ak |r
k=0
k1
k=0
k=0
Entonces
|f (z+h)f (z)g(z)h|
k=0
h
h
)k 1k
|
|z z0 |
|z z0 |
s (0, 1),
j=2
X
1
2
|f (z+h)f (z)g(z)h| |h|
k(k1)|ak ||zz0 |k2 (1+)k2 C|h|2 ,
2
k=2
C=
k=2
X
k!
ak (z z0 )kj .
f (j) (z) =
(k
j
+
1)!
k=j
Es importante notar que de esta expresion obtenemos
f (j) (z0 ) = k!ak ,
COMPLEJA Y FORMULAS
3. INTEGRACION
DE CAUCHY
55
X
f (j) (z0 )
f (z) =
(z z0 )k .
k!
k=j
3.
Integraci
on compleja y f
ormulas de Cauchy
3.1. Integraci
on sobre curvas. . Sea (C, ) una curva C 1 por
tramos, : [a, b] C. Sea f : C C una funcion continua. Se define
Z
Z b
f ((t)) (t) dt.
(3.8)
f dz :=
C
Z
(3.9)
(u, v) td` + i
(v, u) td`.
(3.10)
2
Demostraci
on Consideremos
el vector
R
R en RR (P, Q) = ((u, v)
t, (v, u) t) y denotemos C (P, Q)d` = ( C P d`, C Qd`). Entonces para
cada vector e con kek = 1 tenemos
Z
Z
Z
e (P, Q)d` = (P, Q) e d`
k(P, Q)kd`
C
C
C
R
gracias a la desigualdad
de
Cauchy-Schwartz.
Entonces
si
(P, Q)d` 6=
C
R
R
0 y escogemos e = C (P, Q)d`/k C (P, Q)d`k, obtenemos que
Z
Z
(P, Q)d`
k(P, Q)kd`
C
56
Z
f (z) dz =
C
v v
+
x y
Z Z
dxdy + i
D
u v
x y
dxdy
= 0,
x y
x y
R
y entonces C f (z) dz = 0. Recordemos que un abierto C se dice
simplemente conexo si todo par de puntos de puede unirse por una
curva C 1 por tramos, y si toda curva C 1 por tramos, cerrada simple en
, encierra una region contenida en . Hemos demostrado el siguiente
resultado
Teorema 3.1 (Cauchy). Sea C un abierto simplemente conexo, y f : C C una funcion holomorfa con derivada compleja f 0
continua.
Sea C una curva cerrada simple, C 1 por tramos en EntonR
ces C f (z) dz = 0.
Este resultado es central en la teora de funciones de variable compleja. Es de hecho tambien valido bajo la hipotesis mas debil de que
la funcion f sea solo derivable en el sentido complejo en todo , sin
suponer la continuidad. En todo caso, esto es suficiente para nuestros
propositos.
El teorema anterior nos dice,
R equivalentemente que en la situacion
descrita, el valor de la integral C f dz depende solo de los puntos inicial
y final de un punto inicial y final de C. Considerando una curva
R z simple
z
1
Cz0 , C por tramos que une los puntos z0 y z designamos por z0 f dz a
R
la integral C z f dz.
z0
COMPLEJA Y FORMULAS
3. INTEGRACION
DE CAUCHY
57
Demostraci
on Escribamos
que de la PropoH
H f = u + iv Recordemos
sicion 2.1, los hechos que C (u, v) td` = 0, C (u, v) td` = 0, para
toda C cerrada simple, implican que los campos (u, v) y (v, u) son
conservativos Mas precisamente, se tiene precisamente que
Z
(u, v) td`, z = x + iy
P (z) =
Czz0
satisface
P
= u,
x
P
= v
y
z = x + iy
Czz0
satisface
Q
= v,
x
Q
= u
y
De este modo, la funcion F = P +iQ satisface las ecuaciones de CauchyRiemann, por tanto es holomorfa. Se tiene entonces que F 0 = u + iv, y
la demostracion se concluye.
A manera de ejemplo consideremos cuanquier subdominio simplemente contexo de C\{0}, por ejemplo R2 sin un rayo infinito emanando
desde el origen. Entonces para un z0 dado en , la funcion
Z z
dw
F (z) =
z0 w
es una realizacion de la funcion logaritmo en . Cabe se
nalar que para
la existencia de la primitiva holomorfa no necesitamos suponer a priori
que la funcion u + iv fuera holomorfa, sino solo su continuidad y el
hecho que la integral sobre curvas cerradas simples en fuera igual a
cero.
Por otra parte, tenemos que si F es una primitiva holomorfa de f
en simplemente conexo, tenemos que
Z
f dx = F (z1 ) F (z0 )
z
Cz01
58
3.3. El arm
onico conjugado. Sea un abierto simplemente
conexo en C. Supongamos que u es una funcion de clase C 2 (), armonica en el sentido que
uxx + uyy = u(x, y) = 0 (x, y) .
Afirmamos que existe una funcion v, definida sobre , tambien armonica, en modo tal que la funcion
f (x + iy) = u(x, y) + iv(x, y)
es holomorfa en . Para demostrar esto, consideremos el campo vectorial (P, Q) = (uy , ux ). Notemos que Qx = Py , por la armonicidad de
u. Por el Ejemplo 3.2, concluimos que el par (P, Q) tiene un potencial
v, esto es
vx = uy , vy = ux
de modo que la funcion f = u + iv es holomorfa en .
Corolario 3.1. Bajo las hipotesis del teorema anterior, si C encierra k curvas cerradas simples disjuntas C1 , . . . Ck en su interior, de
modo que Ci = Di y
\ ki=1 Di , entonces
D
Z
k Z
X
f (z) dz =
f (z) dz
C
i=1
Ci
2 = 2 + C2 1 C02 .
Z
Z
f (z) dz+ f (z) dz =
2
1 +C1 2 C01
Z
f (z) dz+
2 +C2 1 C02
f (z) dz =
COMPLEJA Y FORMULAS
3. INTEGRACION
DE CAUCHY
59
Z
f (z) dz
f (z) dz,
C0
3.4. La f
ormula integral de Cauchy. Otro corolario del Teorema de Cauchy, especialmente importante en aplicaciones a calculos
con funciones de variable compleja es la formula de Cauchy
Teorema 3.2. Sea f : C C una funcion holomorfa en
con derivada f 0 continua en . Sea C una curva en , simple, cerrada,
C 1 por tramos que encierra una region contenida en . Sea z0 un punto
de la region encerrada por C. Vale entonces la siguiente formula:
Z
1
f (z)
f (z0 ) =
dz
2i C z z0
en que suponemos que C esta recorrida en sentido antihorario.
Demostraci
on Es una consecuencia del Corolario 3.1. Consideremos
la curva C que rodea a z0 , parametrizada por
(t) = z0 + eit ,
t [0, 2].
z
0
C
0
y el resultado queda demostrado.
60
3.5. Expansi
on en serie de potencias de funciones holomorfas. Una consecuencia importante es el hecho que una funcion
holomorfa con derivada continua en puede expandirse en serie de potencias. Consideremos un disco D(z0 , r0 ) . Tomemos C = D(z0 , r0 )
orientada positivamente. Escribamos
1
f (z0 + w) =
2i
|w|
|zz0 |
1
1
f (z)
dz =
z z0 w
w
zz0
Z
C
1
1
w
zz0
f (z)
dz
z z0
X
j=0
wk
,
(z z0 )k
z C.
As,
1
f (z0 + w) =
2i
Z
C
f (z)
1
dz =
z z0 w
2
Z X
C j=0
wk
f (z)
dz.
k
(z z0 ) z z0
X
1
f (z)
k
(3.11)
f (z0 + w) =
ak w , ak =
dz.
2i C (z z0 )k+1
j=0
En efecto, el intercambio se justifica pues
Z
n Z
X
k
k
X
w
f (z)
f (z)
w
dz
dz
k
k
C
(z z0 ) z z0
(z z0 ) z z0
j=0
j=1 C
Z
k
k
X
X
1
|
w
f
(z)
dz max |f |`(C)
|r0
k z z
C
C
(z
z
)
w
0
0
j=n+1
j=n
y esta u
tima cantidad tiende a cero cuando n , de modo que
Z X
Z
X
wk
f (z)
wk
f (z)
dz
dz = 0
k
k
(z
z
)
z
z
0
0
C j=0 (z z0 ) z z0
C
j=1
Por otra parte, hemos obtenido que
Z
1
|f (z)|
1
d` max |f | `(C) k .
|ak |
k+1
C
C |z z0 |
r0
P
k
De este modo, el radio de convergencia r de la serie
j=0 ak w se
puede estimar como r r0 . En efecto,
COMPLEJA Y FORMULAS
3. INTEGRACION
DE CAUCHY
(
r = sup r > 0 /
)
|ak |r
j=0
k
X
1
r
sup r > 0 / max |f |
C
r0
j=0
(
61
)
= r0 .
X
f (z)
1
k
f (z) =
ak (zz0 ) , |zz0 | < r0 , ak =
dz.
k+1
2i
(z
z
)
0
D(z
,r
)
0
0
j=0
De este modo, el radio de convergencia de la serie que representa
f es al menos aquel del disco D(z0 , r0 ) contenido en . Usando los
resultados de 2.5, tenemos entonces que f es infinitamente derivable
en . Esto es, la presencia de una derivada f 0 (z) (y su continuidad,
hipotesis que no es en verdad necesaria), implica la existencia de infinitas derivadas, y la propiedad de expansion local en serie de potencias
en torno a cada punto del dominio. Esta u
ltima propiedad se denomina
analiticidad, y usaremos en modo intercambiable los terminos analtica
y holomorfa para una funcion compleja definida en una region dada.
Por otra parte, de los resultados en 2.5, sabemos ademas que ak =
de modo que la formula de Cauchy resulta extendida del modo
siguiente:
f (k)(z0 )
k!
(3.12)
(k)
k!
(z0 ) =
2i
Z
D(z0 ,r0 )
f (z)
dz
(z z0 )k+1
para todo k = 0, 1, 2, . . ..
3.6. Expansi
on en serie de potencias de algunas funciones
cl
asicas. Recordemos que f : C C dada por f (z) = ez satisface
f 0 (z) = ez , de modo que f (k) (z) = ez para todo k 0. De este modo,
vale la expansion en serie de potencias en torno a 0,
X
X
f (k) (0) k
zk
ez =
z =
.
k!
k!
k=0
k=0
Esta serie podra eventualmente considerarse como una definicion de
la funcion exponencial. Su radio de convergencia es infinito.
Hemos visto tambien que para f (z) = log z, en su dominio de definicion tenemos f 0 (z) = z1 , y por lo tanto, para k 1, f (k) (z) =
(1)k1 (k1)!
. Desarrollando en serie en torno a z = 1, obtenemos
zk
log z =
X
f (k) (1)
k=1
k!
(z 1)
X
(1)k1
k=1
(z 1)k
62
eiz ez X
z 2k1
sin(z) =
=
.
(1)k1
2i
(2k 1)!
j=1
ez + ez X z 2k
cosh(z) =
=
.
2
(2k)!
j=0
3.7. Otras consecuencias de la f
ormula de Cauchy. Una
consecuencia clasica de (3.12) es el siguiente resultado
Teorema 3.3 (Liouville). Si f es una funcion analtica y acotada
en todo C, entonces es constante.
Demostraci
on Supongamos que f es analtica y acotada en todo R2 .
De la formula (3.12) obtenemos entonces que (con r0 > 0 arbitrario)
Z
1
|f (z)|
1
0
|f (z0 )|
d`
sup |f | r02 2r0
2
D(z0 ,r0 ) r0
2
Haciendo r0 + obtenemos entonces que f 0 (z0 ) = 0 en todo z0
R2 . Como sabemos, esto implia que el diferencial real de f es tambien
identicamente nulo, y que esto implica que f es constante.
Otra consecuencia famosa es la siguiente.
1
Se sigue que la funcion f (z)
es analtica y acotada en todo C. Por el
Teorema de Liouville concluimos que esta funcion es constante, lo cual
es una contradiccion.
A partir de este resultado se sigue que un polinomio monico complejo de grado k tiene exactamente k raices complejas, contando multiplicidades. En efecto, Si z0 es una raiz de f (z) = z k +ak1 z k1 + +a0 ,
entonces f (z) es divisible por (z z0 ): existe un polinomio monico g(z)
de grado k 1 tal que f (z) = (z z0 )g(z). Si k 1 1, aplicamos
COMPLEJA Y FORMULAS
3. INTEGRACION
DE CAUCHY
63
akj
a1
+
+ a0 + a1 (z zj ) +
k
(z zj )
z zj
A esta expansion en torno a una singularidad de orden finito se le denomina desarrollo de Laurent. Al n
umero a1 se le denomina el residuo
de f en el polo zj . Se denota habitualmente Res(f, zj ).
La f
ormula de los residuos es una extension del la formula integral de Cauchy. Una observacion inicial es que en el contexto de esta
f (z)
u
ltima formula, si anotamos g(z) = zz
entonces Res(g, z0 ) = f (z0 ) y
0
la formula integral de Cauchy se lee
Z
g(z) dz = 2iRes(g, z0 ).
C
j=1
Demostraci
on Consideremos, para un n
umero suficientemente peque
no, discos D(zj , ) que esten encerrados por C. Denominamos Cj a
la frontera de este disco, parametrizada por
j (t) = zj + eit ,
t [0, 2].
64
j=1
f (z) dz =
Cj
Cj
akj
a1
+
+ a0 + a1 (z zj ) +
k
(z zj )
z zj
se sigue que
Z
f (z) dz = i
Cj
Ahora
tanto,
R 2
0
aj
j+1
e(j+1) it dt.
j=kj
j=1
Demostraci
on Consideremos, para un n
umero R > 0 suficientemente
grande, el camino formado por R + CR donde R esta parametrizado
por 1 (x) = x, x [R, R], y CR por 2 () = Rei , [0, ]. Para R
suficientemente grande tenemos que
(3.14)
I
Z
Z
k
X
f (z) dz =
f (z) dz +
f (z) dz =
2i Res(f, zj ).
R +CR
CR
j=1
COMPLEJA Y FORMULAS
3. INTEGRACION
DE CAUCHY
Z
lm
f (x) dx =
f (z) dz = lm
65
f (x) dx
f (z) dz le
CR
CR
de modo que
Z
lm
f (z) dz = 0
CR
I=
Soluci
on Sea f (z) =
z2
.
1+z 4
x2
dx
1 + x4
est
an en el semiplano superior son z1 = e 4 i = 22 (1 + i), z2 = e 4 i =
2
(i 1).
2
Tenemos que
1
z2
.
Res(f, zi ) = i 3 =
4zi
4zi
Por lo tanto,
1 i
1 3 i
2
2
Res(f, z1 ) = e 4 =
(1 i), Res(f, z2 ) = e 4 =
(i 1).
4
8
4
8
As,
Z
x2
2
2
dx = 2i
(2i) =
.
4
8
2
1 + x
Ejemplo 3.2. Calcule la integral
Z
x sin x
I=
dx,
x 2 + a2
0
a > 0.
Soluci
on Para un R > 0 dado, consideremos el camino rectangular
cerrado, recorrido en sentido antihorario,
C = C1 + C2 C 3 C 4
donde los Ci estan parametrizados respectivamente por
1 (t) = t, t [R, R],
2 (t) = R + it, t [0, R],
3 (t) = iR + t, t [R, R],
66
dt
2
2
2
2
C
R t + a
R (iR + t) + a
Z R
Z R
(R + it)ei(R+it)
(R + it)ei(R+it)
+
dt
dt.
(R + it)2 + a2
(R + it)2 + a2
0
0
Tenemos,
Z R
Z R
(R + t)et
(R + it)ei(R+it)
dt C
dt
2
2
2
2
(R + it) + a
R a
R
0
0
y en modo similar
Z R
(R + it)ei(R+it)
C
dt
2
2
(R + it) + a
R
zeiz
,
z 2 +a2
y
R
C
(iR + t)ei(iR+t)
dt
2
2
R
R (iR + t) + a
De este modo los tres u
ltimos terminos en la expansion de la integral
tienden a cero si R + mientras que del primero finalmente deducimos
Z
teit
dt = ea i.
2 + a2
t
t sin t
dt = ea .
2
2
t +a
2
0
Z
d
=
2 + sin
I
C
dz
iz
1
+ zz2i
I
=
f (z) dz
C
COMPLEJA Y FORMULAS
3. INTEGRACION
DE CAUCHY
67
donde
2
z 2 + 4iz 1
El denominador
tiene
dos
ceros,
que
resultan
ser
z
=
i(2
3) y
1
I = 2i
k
X
Res(R, zj ).
j=1
sin x
dx
x
Soluci
on Consideremos el camino cerrado, recorrido en sentido antihorario, constituido por
6
X
Cj
C=
j=1
donde
C1 = (R, ],
C4 = R + i[0, R],
Tenemos entonces que
C5 = iR + [R, R],
C3 = (, R],
C6 = R + i[0, R]
eiz
dz = 0
C z
ya que el integrando no tiene singularidades en la region dentro de la
curva. Vemos que cuando R +,
I
I=
68
Z
C5
eiz
dz =
z
Z
RR
ei(x+iR)
dx = O(eR ) 0.
iR + x
sin x
dx =
x
2
El ejemplo anterior se generaliza al calculo de una integral de la
forma
Z
P (x) ix
I=
e dx
Q(x)
en que suponemos que P y Q son polinomios con grado(Q) grado(P )+
P (z)
1 y que f (z) = eiz Q(z)
tiene un n
umero finito de polos simples (esto
es, de orden 1) sobre el eje real: x1 , x2 , . . . , xm , y ademas un n
umero
finito de polos z1 , . . . , zk en el semiplano superior. Llegamos en tal caso, con un argumento enteramente analogo al del ejemplo anterior, a
la formula
Z
k
m
X
X
P (x) ix
e dx = 2i
Res(f, zj ) + i
Res(f, xj ).
Q(x)
j=1
j=1
Ejemplo 3.5. Calcular la integral
Z 1
x
I=
P (x)
0
donde P es un polinomio de grado 1, con P (x) 6= 0 para todo x 0
y 0 < < 1.
COMPLEJA Y FORMULAS
3. INTEGRACION
DE CAUCHY
69
Soluci
on consideremos la funcion f (z) = zP (z) donde en la definicion
de la potencia no entera, consideramos el argumento definido en (0, 2).
Observemos que
z 1 = |z|1 ei(1) arg(z)
Tomemos el camino CR, de la figura, constituido por los arcos de
crculos de radios C y CR y los segmentos I1 e I2 , orientados como se
indica.
|z|1 d` = C 0
CR
d
R CR1 0
l
k
X
x1
2i
dx =
Res(f (z), wj )
P (x)
1 ei(1)2 j=1
70
z 1
1+z
2iei(1)
.
=
1 ei(1)2
sin()
P (x)
dx
Q(x)
0
donde P y Q son polinomios, con grado(Q) grado(P ) + 2 y Q no
tiene ceros en el semieje real positivo.
I=
Soluci
on Consideremos el camino C,R del ejemplo anterior, y la funcion
P (z)
f (z) =
log z, log z = log |z| + i arg(z)
Q(z)
donde, como antes, tomamos arg(z) variando entre 0 y 2. En modo
analogo al ejemplo anterior, obtenemos
Z
1
f (z) dz C log 0
C
Z
CR1 log R 0
f
(z)
dz
CR
k
X
P (x)
dx = 2i
Res(f, wj ).
Q(x)
j=1
COMPLEJA Y FORMULAS
3. INTEGRACION
DE CAUCHY
1
+i
,
Res(f, ei 3 ) = i
9
2
2
Res(f, w) =
Res(f, ei ) = i,
3
Res(f, e
Finalmente,
Z
0
i 53
5
)= i
9
2
dx
=
3.
1 + x3
9
!
1
3
i
.
2
2
71
Captulo 3
Separaci
on de variables: motivaci
on de las series de
Fourier
(1.15)
T (x, t) = u(x)v(t).
Sustituyendo esta expresion en la ecuacion (1.15) obtenemos u(x)v 0 (t) =
u00 (x)v(t) o, dicho de otro modo, para cierta constante se debe tener
u00 (x)
v 0 (t)
=
=
u(x)
v(t)
Como v 0 (t) = v(t), tenemos entonces las soluciones dadas por m
ultit
plos de e . No es razonable que sin influencia externa alguna la temperatura crezca sino lo opuesto. Por ello suponemos > 0. La ecuacion
para u queda
u00 (x) + u(x) = 0,
73
74
DE VARIABLES EN EDP
3. SERIES DE FOURIER Y SEPARACION
cuyas
soluciones
estan dadas por combinaciones lineales de las funciones
sin( x), cos( x). De este modo obtenemos las soluciones separadas
de (1.15) como las funciones de la forma
T (x, 0) = f (x),
T (0, t) = 0,
T (`, 0) = 0.
X
2 2
k
k 2 t
T (x, t) =
ck e ` sin
x
`
k=1
entonces, bajo hipotesis adecuadas en los coeficientes, debiera tenerse
que esta expresion es tambien solucion. Si ademas tenemos que
X
k
(1.17)
T (x, 0) = f (x) =
ak sin
x
`
k=1
tendramos una solucion del problema (1.15) con condiciones iniciales
y de borde (1.16). Este es el origen de las Series de Fourier.
En caso de ser valida una expansion de esta clase, podemos calcular
los coeficientes mediante las formulas
Z `
Z `
X
j
k
k
f (x) sin
x dx =
aj
sin
x sin
x dx .
`
`
`
0
0
j=1
Notando que, despues de un calculo directo,
`
Z `
j
k
(1.18)
sin
x sin
x dx = 2
0
`
`
0
si j = k
si j =
6 k
DE VARIABLES: MOTIVACION
DE LAS SERIES DE FOURIER
1. SEPARACION
75
T (x, 0) = T0 (x),
Tx (0, t) = 0,
Tx (`, 0) = 0.
T (x, t) =
X
k=0
bk e
2 2
t
`2
cos
k
x
`
X
k
(1.21)
bk cos
T (x, 0) = f (x) =
x
`
k=0
Los coeficientes se calculan en este caso mediante las formulas
Z `
Z `
X
k
j
k
f (x) cos
x dx =
bj
cos
x cos
x dx .
`
`
`
0
0
j=1
Tenemos ahora
Z `
`
j
k
`
sin
(1.22)
x sin
x dx =
2
`
`
0
0
si j = k = 0
si j = k 1
si j 6= k
f (x) = =
f (x) si x [`, 0]
76
DE VARIABLES EN EDP
3. SERIES DE FOURIER Y SEPARACION
f (x)
si x [0, `]
f (x) si x [`, 0]
La primera es natural tomando en consideracion que f (0) = 0, y la
segunda de f 0 (0) = 0. Observemos que las extensiones f(x) en ambos
casos son peri
odicas, en el sentido que se extienden naturalmente a
una funcion periodica de perodo 2` en toda la recta, y diferenciable en
caso que f (x) lo sea, esto en consideracion a que en ambos casos
(1.23)
f(`) = f(`), f0 (`) = f0 (`).
f(x) = =
Cabe hacer notar que las soluciones basicas satisfacen estas condiciones de (1.15) si y solamente si k N {0} y
2 2
2 2
k
k
k 2 t
k 2 t
T (x, t) = e ` sin
x , T (x, t) = e ` cos
x .
`
`
lo que esta asociada a una solucion (periodica en R) de (1.15) de la
forma, en [`, `],
X
2 2
k
k
k 2 t
`
x + bk cos
x ].
T (x, t) =
e
[ak sin
`
`
k=0
2.
C
alculo de algunas Series de Fourier
(2.24)
f (x) =
k
2k
x + bk cos
x ,
`
`
ak sin
k=0
x [`, `].
(2.25)
f (x) sin
k
x
`
dx,
(2.26)
1
bk =
`
f (x) cos
k
x
`
dx, k 1,
1
b0 =
2`
f (x) dx.
`
2. CALCULO
DE ALGUNAS SERIES DE FOURIER
77
k
2` X (1)k1
sin
x
(2.27)
S(x) =
k=1
k
`
`2 4`2 X (1)k
k
+ 2
cos
x .
(2.28)
S(x) =
3
k=1 k 2
`
En particular, de reflejar esta expansion efectivamente a la funcion
x2 en x = `, obtendramos
`2 4`2 X (1)k
2
+ 2
cos (k) .
` =
3
k=1 k 2
78
DE VARIABLES EN EDP
3. SERIES DE FOURIER Y SEPARACION
X
1
2
=
k2
6
k=1
(2.29)
Z
2x cos
k
x
`
dx +
` cos
k
x
`
dx
2`
k
(1)
1
.
k22
cos
k
k
x
`
`
0
= ((1)k 1) .
k
`
y encontramos finalmente
ak = ((1)k + 1)
`
.
k
2. CALCULO
DE ALGUNAS SERIES DE FOURIER
79
X
`
k
2`
k
k
k
x
(1) + 1 sin
x .
S(x) = `+
(1) 1 cos
22
k
`
k
`
k=1
k=1
La teora de las series de Fourier trata de determinar la validez de
la expansion (2.24) para una funcion arbitraria definida en [`, `]. En
particular se trata de determinar para que valores de x se tiene que
S(x) = f (x) en los ejemplos 2.1, 2.2, 2.3. Esta convergencia es cierta
en gran generalidad, como enuncia el siguiente resultado.
Teorema 2.1. Sea f : [`, `] R una funcion continua por tramos. Consideremos su serie de Fourier
X
k
k
ak sin
S(x) =
x + bk cos
x
`
`
k=0
con los coeficientes ak y bk dados por las formulas (2.25) y (2.26). Su+
pongamos que x (`, `) es tal que los lmites f (x
0 ) y f (x0 ) existen,
as como las derivadas laterales, f 0 (x ) y f 0 (x+ ). Entonces
1
S(x) = (f (x+ ) + f (x )) .
2
En particular, si f es diferenciable en x, entonces S(x) = f (x).
No haremos aqu la demostracion de este resultado fundamental de
convergencia de las series de Fourier. Indicamos s un corolario.
Corolario 2.1. Bajo las hipotesis del teorema anterior, si los lmites f (` ) y f (`+ ) existen, as como las derivadas laterales, f 0 (` ) y
f 0 (`+ ), entonces
1
S(`) = S(`) = (f (`+ ) + f (` )).
2
Demostraci
on Consideremos la funcion f(x) definida en [`, `] por
f (x + `) si ` x 0,
f(x) =
f (x `) si
0 x `.
Llamemos S(x)
a la serie de Fourier de f. Calculemos los coeficientes
de esta serie. Observemos que
Z `
Z 0
Z `
k
k
k
f (x) sin
x dx =
f (x+`) sin
x dx + f (x`) sin
x dx
`
`
`
`
`
0
Z `
Z 0
k
k
f (x) sin
(x `) dx +
f (x) sin
(x + `) dx =
`
`
0
`
80
DE VARIABLES EN EDP
3. SERIES DE FOURIER Y SEPARACION
f (x) sin
cos(k)
`
k
x
`
dx
y similarmente
Z `
Z `
k
k
f (x) cos
f(x) sin
x dx = cos(k)
x dx.
`
`
`
`
De este modo,
S(x)
=
ak cos(k) sin
k=0
S(x)
=
X
k=0
ak sin
k
k
x + bk cos(k) cos
x =
`
`
k
k
(x + `) + bk cos
(x + `) .
`
`
De modo que
S(x)
= S(x + `).
De acuerdo al teorema anterior,
1
1
S(`) = S(0)
= (f(0 ) + f(0+ )) = (f (` ) + f (`+ ))
2
2
y el resultado queda demostrado.
Observaci
on. Como ejemplos, vemos que efectivamente, de acuerdo a
lo calculado en los Ejemplos 2.1, 2.2, 2.3 tenemos
2` X (1)k1
k
x=
sin
x
k=1
k
`
para todo x (`, `). Mientras que en x = 0, ` la serie es igual a 0 que
corresponde al promedio de los valores en los extremos como se predice
en el corolario anterior.
Por otra parte, tenemos tenemos que para todo x [`, `] vale la
formula
`2 4`2 X (1)k
k
2
x =
+ 2
cos
x .
3
k=1 k 2
`
En particular evaluando en x = `, obtenemos la validez de la clasica
formula (2.29).
Por otra parte, tenemos que, evaluando en x = 0 la serie en el
Ejemplo 2.3,
X
`
1
2`
+
= (f (0 ) + f (0 )) = ` +
(1)k 1 .
2
2
2
2
k
k=1
3. OTRAS EDP CLASICAS
81
Observaci
on. Notemos que la serie S(x) es una funcion en verdad
definida en todo x R y es 2`-periodica en el sentido que S(x + 2`) =
S(x) para todo x R. Sea f(x) la extension 2`-periodica de f (x)
definida como
f(x) := f (x 2k`), para x (2k`, 2(k + 1)`], k Z.
Entonces el resultado del Teorema se aplica en todo punto de R: Por
ejemplo, S(x) = f(x) en todo punto donde f es diferenciable.
3.
Otras EDP cl
asicas
x [0, `],
t>0
X
k
k
k
u(x, t) =
sin
x
ak sin
t + bk cos
t .
`
`
`
k=1
Para determinar la solucion, necesitamos ahora dos condiciones iniciales: forma inicial de la cuerda, u(x, 0) = f (x) y velocidad inicial de
sus puntos, ut (x, 0) = g(x). As, necesitamos entonces determinar los
coeficientes de Fourier en la serie de senos
X
k
x
f (x) =
bk sin
`
k=1
82
DE VARIABLES EN EDP
3. SERIES DE FOURIER Y SEPARACION
g(x) =
X
k
k=1
ak sin
k
x
`
.
on
u(x, y) = v(x)w(y),
Para lograr la condicion de borde v(0) = v() = 0 necesitamos considerar = k 2 y las soluciones basicas
sin(kx)eky ,
sin(kx)eky
Y as, queremos
u(x, y) =
ak sin(kx)eky + bk sin(kx)eky
k=1
en modo que
X
g(x, 0) =
(ak + bk ) sin(kx),
g(x, `) =
k=1
k=1
X
k=1
dk sin(kx),
g(x, `) =
ek sin(kx)
k=1
3. OTRAS EDP CLASICAS
83
X
u(x, y) =
ak sin(kx)eky .
k=1
con
g(x, 0) =
ak sin(kx).
k=1
v(r) = rk , rk
X
u(r, ) =
ak rk sin(k) + bk rk cos(k)
k=0
y queremos que
u(1, ) = g() =
X
k=0
ak sin(k) + bk cos(k).