Sunteți pe pagina 1din 83

Notas para el Curso C

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

Captulo 1. Elementos de Calculo Vectorial


1. Integracion sobre curvas en RN
2. Campos vectoriales conservativos
3. El Teorema de Green
4. Integracion sobre superficies
5. El Teorema de la divergencia
6. El Teorema de Stokes
7. Campos vectoriales en otros sistemas de coordenadas
8. Comentario: significado de divergencia y rotor

7
7
12
16
21
26
34
37
40

Captulo 2. Funciones de variable compleja


1. Conceptos basicos
2. Funciones clasicas y sus derivadas
3. Integracion compleja y formulas de Cauchy

43
43
48
55

Captulo 3. Series de Fourier y Separacion de variables en EDP


1. Separacion de variables: motivacion de las series de Fourier
2. Calculo de algunas Series de Fourier
3. Otras EDP clasicas

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

Una curva continua en RN es un par (C, ~ ), donde C = ~ ([a, b]) y ~


es una funcion continua ~ : [a, b] RN , llamada una parametrizacion
de C,

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

~ 0 (t0 ) 6= 0 es un vector tangente a la curva. Fsicamente una curva


C puede representar la trayectoria recorrida por una partcula cuya
posicion en el instante t es el punto x = ~ (t). El vector ~ 0 (t) representa
la velocidad de la partcula en ese instante. Es intuitivamente claro
que si la partcula se detiene en un instante dado, la trayectoria podra
perder suavidad. Por ejemplo: ~ (t) = (t3 , t2 ) Satisface ~ 0 (0) = 0 y la
curva C esta constituida por los puntos del plano (x, y) con ecuacion
7


1. ELEMENTOS DE CALCULO
VECTORIAL

8
2

y = |x| 3 . Este lugar geometrico tiene una punta, no siendo suave en


el origen.
En la practica, consideraremos en este curso curvas C simples que
sean de clase C 1 por tramos, esto es, que admitan una parametrizacion
continua ~ : [a, b] RN tales que para ciertos puntos t0 = a < t1 <
. . . < tm = b se tenga que las curvas Ci = ~ ([ti , ti+1 ]) sean de clase
C 1 . Una curva se denomina cerrada si su parametrizacion satisface
~ (a) = ~ (b). Le llamaremos cerrada simple si la restriccion de la funcion
~ al intervalo (a, b] es inyectiva.
Debemos observar que una curva dada puede ser recorrida en dos
sentidos opuestos, ya que si la parametrizacion ~ : [a, b] RN de C le
recorre en un sentido, ~ (t) := ~ (b + a t) lo hace en el sentido opuesto.
Al sentido en el cual la curva es recorrido por la parametrizacion le
le llamamos a
llamamos orientacion. A la curva parametrizada por ~

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

El elemento de longitud d`(t) esta naturalmente representado por la


longitud del elemento vectorial de trayectoria~ (t + dt) ~ (t), la que
escribimos


~ (t + dt) ~ (t)

dt = k~ 0 (t)k dt.
d`(t) = k~ (t + dt) ~ (t)k =

dt

SOBRE CURVAS EN RN
1. INTEGRACION

Sea f : C R una funcion continua. Se define la integral de f sobre C


a la cantidad
Z
Z b
f (x)d` :=
f (~ (t)) k~ 0 (t)k dt.
C

Si f (x) designa densidad de masa (masa por Runidad de longitud) en el


alambre C, en el punto x de este, la cantidad C f d` representa la masa
total del alambre.
Como es natural, la nocion de integral sobre la curva C es independiente de la parametrizacion utilizada. Si ~ : [
a, b] RN es otra
parametrizacion inyectiva de la misma curva C, debemos probar que
Z b
Z b
0
(1.1)
f (~ (t)) k~ (t)k dt =
f (~ ( ))k~ 0 ( )k d.
a

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

con lo que (1.1) esta demostrado.


Si tenemos que C es la concatenacion de k curvas Ci esto es, C =
C1 + + Ck , entonces
Z
Z
Z
f (x)d` =
f (x)d` + +
f (x)d` .
C

C1

Ck

1.3. Integral de linea de un campo vectorial. .


Dada una parametrizacion ~ : [a, b] RN de una curva simple C 1
C, El vector tangente unitario en el punto x = ~ (t) de C, esta dado por
~ 0 (t)
t(x) = 0
.
k~ (t)k
Este objeto define un campo vectorial sobre C, esto es, una funcion
t : C RN , x 7 t(x) continua, que no depende de la parametrizacion particular que se escoja, excepto los puntos inicial x0 = (a) y


1. ELEMENTOS DE CALCULO
VECTORIAL

10

x1 = (b). En otras palabras, t solo depende de la orientacion en que


se recorre la curva. Hay dos orientaciones posibles para la curva: La
orientacion opuesta a la de una parametrizacion dada ~ : [a, b] RN ,
es aquella asociada a la parametrizacion ~ (t) := ~ (b + a t). En efecto,
se verifica de inmediato que el vector tangente unitario en x C para
esta parametrizacion es precisamente t(x).
El elemento vectorial de longitud de la curva C en el punto x = (t)
esta dado por
~ = t(x) dl = ~ 0 (t) dt.
dl
Un campo vectorial sobre A RN es una funcion continua F~ : A
RN RN . Es com
un pensar a F~ como una funcion que a cada punto
x A le asocia un vector
N
X
F~ (x) =
Fi (x) ~ei
i=1

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)) =

P (x, y, z)i + Q(x, y, z)j + R(x, y, z)k.


Definimos la integral de linea, o de trabajo de un campo vectorial
~
F sobre C a la cantidad
Z
C

~ :=
F~ dl

Z
C

F~ tdl =

F~ (~ (t)) ~ 0 (t) dt.

La cantidad anterior es independiente de la parametrizacion utilizada


que tenga asociada el mismo vector tangente unitario t, esto es, con
igual orientacion. Si denotamos C a la curva recorrida en sentido
opuesto, tenemos que el vector tangente unitario asociado es t, por
lo que
Z
Z
~
~
~
F dl = F~ dl.
C

Si C es una curva cerrada simple, la integral de lnea se suele denotar


~ y es com
~
F dl,
un tambien llamarle la circulacion del campo F~ a lo
C
largo de C. Una curva cerrada simple plana C, esto es contenida en
R2 , puede ser recorrida en sentido horario o antihorario. El sentido
antihorario se suele denominar positivo, y se especifica como C+ o C ,
respectivamente el sentido horario se denomina negativo, y se enfatiza
escribiento C+ o C , de modo que
H

SOBRE CURVAS EN RN
1. INTEGRACION

~ =
F~ dl

C

11

~
F~ dl.

Ejemplo 1.1. Considere las curvas planas C1 , C2 y C3 que unen los


puntos (2, 0) y (0, 2) respectivamente parametrizadas por

t [0, 2] ~2 (t) = (2 sin t, 2 cos t), t [ , 0],


2

~1 (t) = (t 2, t),

~3 (t) = (2t, 2(t + 1)2 ), t [1, 0].


R
~ i = 1, 2, 3.
Sea F~ (x, y) = (2xy, x2 + 1). Calcule Ci F~ dl,
Soluci
on Tenemos que F (~1 (t))~10 (t) = (2(t2)t, (t2)2 +1)(1, 1) =
2(t 2)t + (t 2)2 + 1, de modo que
Z

~ =
F~ dl

F (~1 (t))

C1

~10 (t) dt

[2(t 2)t + (t 2)2 + 1] dt =

2
(t 2)3
2t3

2t2 +
+ t = 2.
3
3
0
En modo similar, obtenemos
Z

~ =
F~ dl

C2

F (~2 (t))~20 (t) dt

(8 sin t cos t, 4 sin2 t+1)(2 cos t, 2 sin t) dt =

=
2

(16 sin t cos2 t8 sin3 t2 sin t) dt =

0
16
cos3 t

cos3 t+8(cos t
)+2 cos t = 2.
3
3
2

Por otra parte


Z

~ =
F~ dl

C3

F (~3 (t))~30 (t) dt

(8t(t+1)2 , 4t2 +1)(2, 4(t+1)) dt =

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

(16t(t+1) +16t (t+1))+4(t+1)) dt = 16


1. ELEMENTOS DE CALCULO
VECTORIAL

12

2.

Campos vectoriales conservativos

Un campo vectorial en que la integral de trabajo solo dependa de


los puntos inicial y final del camino que les une se llama conservativo.
El siguiente ejemplo clarifica el fenomeno del campo vectorial anterior.
Ejemplo 2.1. Sea RN un abierto. Consideremos un campo
vectorial F~ : RN RN con la siguiente propiedad: Existe una
funcion f : RN R de clase C 1 () tal que F~ (x) = f (x) para
todo x . Pruebe
que si x0 y x1 son puntos de , entonces el valor
R
~
~
de la integral C F dl es independiente de la curva C contenida en ,
con puntos inicial x0 y final x1 .
Soluci
on Sea C una curva C 1 que une los puntos x0 y x1 parametrizada
por ~ : [a, b] con ~ (a) = x0 , ~ (b) = x1 . Sea (t) = f (~ (t)), esto es
(t) = f (1 (t), . . . , N (t)). Entonces, por la regla de la cadena,
f
f
0
0 (t) =
(1 (t), . . . , N (t)) 10 (t) + +
(1 (t), . . . , N (t)) N
(t).
x1
xN
De este modo, 0 (t) = f (~ (t)) ~ 0 (t) y como f = F~ , y usando el
teorema fundamental del calculo, obtenemos que
Z
Z b
Z b
0
~
~
~
F dl =
F (~ (t)) ~ (t) dt =
0 (t) dt = (b) (a),
C

de modo que, como (b) = f (x1 ), (a) = f (x0 ),


Z
~ = f (x1 ) f (x0 ).
F~ dl
C

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

consistentemente con los calculos del Ejemplo 1.1.


Definici
on Un campo vectorial F~ : RN RN ,

F1 (x)
F~ (x) = ...
FN (x)

2. CAMPOS VECTORIALES CONSERVATIVOS

13

donde es un abierto, se dice conservativo si existe una funcion f :


RN R de clase C 1 () tal que F~ (x) = f (x) para todo x ,
esto es
f
(x) = Fi (x) para todo x , i = 1, . . . , N.
xi
De existir, la funcion f se denomina potencial del campo F~ .
As, hemos demostrado que para un campo conservativo, las integrales de lnea dependen solo de los puntos inicial y final x0 y x1 de
una curva que les une:
Z
~ = f (x1 ) f (x0 ).
F~ dl
C

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

Cambiando variables 2 t = en la segunda integral obtenemos


Z 1
Z 1
0
F~ (1 (t)) 1 (t) dt
F~ (2 ( )) 20 ( ) dt = 0
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

Del teorema fundamental del calculo obtenemos entonces que


d
f (x + tej ) = Fj (x + tej ),
dt
f
y por lo tanto, evaluando en t = 0, x
(x) = Fj (x), esto es f (x) =
j
F~ (x).

Preguntas que surgen naturalmente son las siguientes: Como determinar si un campo vectorial dado F~ es conservativo? Y en tal caso: Como encontrar el potencial asociado? Una condicion necesaria
esta dada por el siguiente resultado:
n 2.2. Sea un abierto de RN y F~ : RN RN
Proposicio
un campo vectorial de clase C 1 (). Si F~ es conservativo, entonces su
matriz derivada N N , F~ 0 (x) es simetrica.
Demostraci
on. Tenemos que


F

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

Es natural preguntarse si la simetra de la derivada es tambien


condicion suficiente para que el campo vectorial F~ sea conservativo.
La respuesta es negativa como prueba el siguiente ejemplo.
Ejemplo 2.2. Sea F~ : R2 \ {(0, 0)} R2 el campo vectorial dado
por


p(x, y)
~
F (x, y) =
,
q(x, y))

p(x, y) =

x2

y
,
+ y2

q(x, y) =

x2

x
.
+ y2

2. CAMPOS VECTORIALES CONSERVATIVOS

15

Muestre que la matriz F~ 0 (x, y) es simetrica en todo punto, pero que F~


no es conservativo en R2 \ {(0, 0)}.
Soluci
on. Tenemos que
"
F~ 0 (x, y) =

p
(x, y)
x
q
(x, y)
x

p
(x, y)
y
q
(x, y)
y

de modo que esta matriz es simetrica si y solo si


efecto que

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

La caracterstica de ser conservativo esta fuertemente vinculada al


dominio. En el ejemplo anterior, si bien el campo F~ no es conservativo
en R2 \ {(0, 0)}, s resulta serlo en subdominios de esta region. Por
ejemplo, se verifica de inmediato que la funcion f (x, y) = arctan( xy )
definida en = {(x, y) / x > 0} es un potencial para f . En efecto,
f
y
x
y
f
1
1
1
=
(x, y) = 2
,
(x,
y)
=
,
y 2 = 2
y
x
x 1 + (x)
x + y2
y
x 1 + ( x )2
x2 + y 2
para todo (x, y) . En otras palabras, F~ = f en .
La condicion de matriz Jacobiana simetrica es de hecho suficiente en
cierta clase de dominios que incluye por ejemplo a {(x, y) / x > 0} pero
(por cierto) no a R2 \ {(0, 0)}. Un conjunto RN se dice estrellado
si existe un punto x0 tal que para todo x el segmento
[x0 , x] := {x0 + t(x x0 ) / t [0, 1]} .
Teorema 2.1 (Lema de Poincare). Sea RN un abierto estrellado. Sea F~ : RN RN . un campo vectorial de clase C 1 ()
tal que la matriz F~ 0 (x) es simetrica en todo x . Entonces F~ es
conservativo en .


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

Afirmamos que F (x) = f (x). En efecto,


(2.2)
Z
i f (x) =

Z
N
X
Fi (x0 +t(xx0 )) dt +
(xj x0j )

j=1

i Fj (x0 +t(xx0 )) t dt.

Por otra parte, i Fj = j Fi , por lo que


Z 1
N
X
(xj x0j )
i Fj (x0 + t(x x0 )) t dt =
0

j=1

[
0

N
X

j Fi (x0 + t(x x0 ))(xj x0j )] t dt =

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

A partir de esta relacion y (2.2), obtenemos entonces que i f (x) =


Fi (x), y por lo tanto que f = F~ , como deseabamos.

3.

El Teorema de Green

Centraremos a continuacion nuestra atencion en el caso plano, N =


2. Sea R2 un abierto. Consideremos un campo vectorial F~ :
R2 R2 , de clase C 1 (),


P
(x,
y)
F~ (x, y) =
.
Q(x, y))
La asimetra de la matriz Jacobiana de F~ esta reflejada por la cantidad Q
P
, y es natural que este entonces de alg
un modo vinculada
x
y
H
~ sobre una curva cerrada simcon el valor de la integral de lnea C F~ dl
ple C contenida en . El modo preciso en que esto sucede es el Teorema
de Green, el que enunciamos a continuacion.

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

donde h y g son funciones de clase C ([a, b]). Analogamente, decimos


que D es de tipo 2 si tiene la forma
D = {(x, y) / a y b,

(3.4)

g(y) x h(y)}.

Supongamos que D tiene la forma (3.3). Entonces,


Z Z 

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

Por otra parte,


D = C = C1 + C2 + C3 + C4 .


1. ELEMENTOS DE CALCULO
VECTORIAL

18

donde, para tener el sentido de recorrido antihorario, las curvas Ci se


parametrizan del modo siguiente:
t [a, b],

1 (t) = (t, g(t)),

2 (t) = (b, t),

3 (t) = (b + a t, h(b + a t)),


4 (t) = (a, h(a) + g(a) t),

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

F~ (i (t)) i0 (t) dt.

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 =

[ P (x, h(x)) + Q(x, h(x))h0 (x)] dx,

h(a)

F~ (4 (t))

40 (t) dt

h(a)

g(a)

Q(a, y) dy.
g(a)

Combinando estas relaciones con (3.5), obtenemos, como se deseaba,



Z Z 
I
Q P
~

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)}

Consideremos ahora un abierto acotado D que es dividido por una


curva suave C0 en dos abiertos disjuntos D1 y D2 cuyas fronteras son
curvas C 1 por tramos, simples que, recorridas en sentido antihorario,
les denotamos respectivamente C1 y C2 . Sea C la frontera de D recorrida
en sentido antihorario. Entonces se verifica lo siguiente:
Z
Z
Z
~
~
~
~
~
F dl =
F dl +
F~ dl.
C

C1

C2

3. EL TEOREMA DE GREEN

19

En efecto:
Z

~ =
F~ dl

+
C1

C2

C1 \C2

~
F~ dl

C0

C0

C2 \C1

en que C0 designa a la curva C0 recorrida en la direccion opuesta. Por


lo tanto
Z

(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

D2 Dk , donde los Di son abiertos disjuntos de tipo 1 o 2. Entonces


vale el teorema de Green en D. En efecto, si Ci denota la frontera de
Di recorrida en sentido antihorario, y C la frontera de D recorrida en
esta forma, entonces de (3.7) se sigue inductivamente que
Z

~ =
F~ dl

k Z
X

i=1

~
F~ dl.

Ci

Como ademas,
Z Z 
D

Q P

x
y


dx dy =

el resultado se sigue de inmediato.

k Z Z
X
i=1

Di

Q P

x
y


dx dy,


Gracias al Teorema de Green, tenemos el siguiente corolario, que


entrega una condicion suficiente sobre un abierto conexo R2 de manera que un campo vectorial C 1 () con matriz Jacobiano simetrica sea
conservativo. se dice simplemente conexo si si toda curva C 1 , cerrada
simple contenida en , encierra una region completamente contenida
en ,
Corolario 3.1. Sea R2 un abierto simplemente conexo, y
F~ = (P, Q) un campo vectorial de clase C 1 ( tal que Q
P
= 0 en
x
y
~
. Entonces F es conservativo.
Demostraci
on En efecto, gracias al teorema de Green, la integral de
linea sobre toda curva cerrada del campo es cero, y el resultado se sigue.


1. ELEMENTOS DE CALCULO
VECTORIAL

20

Ejemplo 3.1. Sea ~ : [0, 2] R2 una parametrizacion de la curva


C definida por

(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

El elemento de area dA(u, v) esta naturalmente representado por el


area del elemento de superficie, dado por el paralelogramo de lados

~ (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

denomina orientable, y en tal caso la eleccion de vector normal unitario


(apuntando en una direccion o la opuesta), define la orientacion.
En modo natural, para una funcion continua f : S R, se define
la integral de f sobre S como


Z Z
Z Z

~
~

du dv.

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 cos sin , R sin sin , R cos ), (, ) (0, 2)(0, ).


2
Tenemos:

~
= (R sin sin , R cos sin , 0),

~
= (R cos cos , R sin cos , R sin )

i
j
k

~
~
=

= R sin sin R cos sin


0


R cos cos R sin cos R sin

R2 sin (cos sin i + sin sin j + cos k)


y por ende



~
~
= R2 sin .


De aqu, el area del semi-casquete esferico deviene
Z 2
Z
2
2
A(S) = R
d
sin d = 2 R2 .
0

Por otra parte


Z Z
Z
3
x dA = R
S

z dA = R

Z Z
(cos sin ) sin d = 0 =

Z Z

0
3

y dA,
S

Z
d

cos sin d = R3

y por lo tanto el centro de masa es el punto (0, 0, R2 ).

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

~ (x, y) = (x, y, g(x, y)). Tenemos que




i j k

~
~
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 =

f (x, y, g(x, y))

1+

g
x

2


+

g
y

2
dx dy.

A manera de ilustracion, calculemos el area y centro de masa del manto


del cono de revolucion S de altura h y radio basal R. S puede describirse
como el grafico de la funcion
p
x2 + y 2
g(x, y) = h(1
), (x, y) D = {(x, y) / x2 + y 2 R2 }.
R
Entonces
h
g
h
g
x
y
= p
,
= p
x
R x2 + y 2
y
R x2 + y 2
Z Z
Z Z r

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) = (g(z) cos , g(z) sin , z),


Tenemos ahora


i
j

~
~

= g(z) sin g(z) cos


z
g 0 (z) cos g 0 (z) sin

z [a, b],

[0, 2].

0 = g(z) cos i+g(z) sin jg(z)g 0 (z)k.



1

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 .

Por ejemplo, el cono del problema anterior lo podemos describir de este


modo, con g(z) = R Rh z, z [0, h], y entonces
r
Z

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

(2x, 3y, 0) k dxdy = 0.

x2 +y 2 1

S1

Mientras que S3 se parametriza por (x, y) = (x, y, x + 2), x2 + y 2 1.


Por lo tanto
x y = (1, 0, 1) (0, 1, 0) = k i
que corresponde a la orientacion seg
un la normal exterior, y entonces
Z Z
Z Z
(k i) dxdy =
F~ n
dA =
(2xi 3yj + (x + 2)k)
x2 +y 2 1

S3

Z Z
(2 x) dx dy = 2.
x2 +y 2 1

Por otra parte, en S2 tomemos la parametrizacion


(, z) = (cos , sin , z),

(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

(2 cos2 3 sin2 )(cos + 2) d = 2.

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

En general, para un campo vectorial diferenciable F~ : RN


RN escribimos
F~ (x) :=

N
X
Fi
i=1

xi

(x) = tr(F~ 0 (x))

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

clase C 1 . Sea F~ : R3 R3 un campo vectorial diferenciable.


Entonces
Z
Z Z Z
~
F =
F~ n
dA
(5.9)

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,

h(x, y) z g(x, y)}.

donde D es un abierto acotado de frontera una curva simple, C 1 por


tramos, y las funciones h y g son de clase C 1 (D).
Tenemos que si F~ = (P, Q, R) entonces
Z Z Z
Z Z Z g(x,y)
F~ =
(x P + y Q + z R) =
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)

x P dz + P (x, y, g)gx P (x, y, h)hx

h(x,y)

y
g(x,y)

Z
y

g(x,y)

x Q dz + Q(x, y, h)gy Q(x, y, g)hy .

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

Q(x, y, g)gy + Q(x, y, h)hy .


D

Ahora, gracias al la version plana del teorema de la divergencia,


obtenemos,
Z Z
Z g(x,y)
Z g(x,y)
Z
Z g(x,y)
Z g(x,y)
[x
P dz +y
Qdz] =
x
P +y
Q
D

h(x,y)

h(x,y)

h(x,y)

h(x,y)

donde por = (x , y ) denotamos el vector normal unitario exterior a


D y obtenemos


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.

En modo enteramente simetrico, la formula (5.9) resulta ser valida en


regiones de tipo prisma tipo 2 o 3, respectivamente de la forma
= {(x, y, z) / (x, z) D,

h(x, z) < y < g(x, z)},

o
= {(x, y, z) / (y, z) D, h(y, z) < x < g(y, z)}.
= k

Si puede descomponerse como


i=1 i donde los i son abiertos
disjuntos de tipo 1, 2 o 3, y Si = i , S = se parametrizan de
acuerdo a su normal exterior n
i , resulta que
Z Z
XZ Z
~
F n
dA =
F~ n
i dA.
S

i=1

Si

La razon es que las contribuciones a la integrales de las regiones Si Sj


RR
RR
aparecen una vez como
F~ n
i y otra como
F~ n
j . En
Si Sj
Si Sj
esta region se tiene que n
i =
nj , y por ende estas contribuciones se

5. EL TEOREMA DE LA DIVERGENCIA

29

cancelan. De aqu se sigue la identidad, de la cual se deduce la validez


de (5.9) en toda region que es union finita de regiones de tipo 1, 2 o
3.

RR
Ejemplo 5.1. Calcule
F~
n dA, respectivamente con F~1 = 2xi
S
donde S es aquella del Ejemplo 4.4.
3yj + z k y F~2 = xi + yj + z k,
Soluci
on En lugar del calculo directo del ejemplo, usemos el teorema
de la divergencia. Sea la region encerrada por S. Entonces
Z Z Z
Z Z
dx dy dz = 0
~
F1 n
dA =
(2xi 3yj + z k)
S

= 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

5.1. Operadores vectoriales. Aqu elaboramos un poco sobre


notacion para operadores diferenciales. Es a veces conveniente escribir
(para funciones definidas en RN )
=

N
X

ei

i=1

xi

donde ei es el i-esimo elemento de la base canonica,


ei = (0, , 0,

1
, 0, 0).
|{z}
i-esima entrada

Para N = 2 o N = 3 es usual denotar (N = 3) i = (1, 0, 0),


j = (0, 1, 0), k = (0, 0, 1). Utilizando esta convencion, operamos el
operador en el mismo modo que lo haramos con un vector. De este
modo, es natural escribir, para una funcion escalar f : RN R,
f =

N
X
i=1

ei

f
xi

30

1. ELEMENTOS DE CALCULO
VECTORIAL

y para un campo vectorial F~ : RN RN ,


!
!
N
N
N
X
X
X

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)).

Para el caso especial N = 3, tenemos un operador mas, llamado el rotor


entonces denotamos
de un campo vectorial. Si F~ = P i + Qj + Rk,

 


~
~

~
+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

y las coordenadas de F~ corresponden precisamente a las diferencias


de las entradas de la matriz simetricas a la diagonal.
Ejemplo 5.2. Muestre que un campo vectorial F~ definido sobre un
abierto estrellado R3 , de clase C 1 (), tal que F~ = 0 en , es
conservativo.
Soluci
on Por el Lema de Poincare, es suficiente verificar que la matriz Jacobiana F~ 0 (x) = 0 es simetrica para todo x . Pero esto es
precisamente equivalente a decir F~ (x) = 0.

Ejemplo 5.3. Sea S = una superficie cerrada, de clase C 1 . Sea
Muestre que
F~ un campo vectorial de clase C 2 en .
Z Z
( F~ ) n
dA = 0.
S

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

Por otra parte, si F~ = (P, Q, R), tenemos que


R Q
P
R
Q P
(

)+
(

)+
(

).
x y
z
y z
x
z x
y

( F~ ) =

Usando que las derivadas parciales pueden intercambiarse, obtenemos


de inmediato que ( F~ ) 0, y el resultado se sigue.

Ejemplo 5.4. Considere el hemisferio superior del casquete eliposidal S definido por la ecuacion
x2 y 2 z 2
+ 2 + 2 =1
a2
b
c
Calcule

RR
S

~ donde (x, y, z) = (x + 1)2 + 2(y 1)2 + z 2


dA
2

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.

= (2(x + 1), 4(y 1), 2z),


2

Tenemos que = { xa2 + yb2 + zc2 1, z 0}, entonces


Z Z
Z Z Z
Z Z Z
2
n
dA =
=8
dx.
S+S0

Por otro lado k = 0 en S0 y entonces


n
dA = 0. Por otro
S0
lado con el cambio de variables (x, y, z) = T (u, v, w) = (au, bv, cw),
tenemos det T 0 (u, v, w) = abc y = T (D) donde D es la semi-esfera
superior de radio 1. Por lo tanto
Z Z Z
Z Z Z
dxdydz = abc
dudvdw = 4abc.
RR

Concluimos que
Z Z

Z Z
n
dA =

n
dA = 4abc.
S+S0

Ejemplo 5.5. Sea


F~ (x, y, z) = (P, Q, R) =

1
(x2 + y 2 + z 2 )

3
2

(x, y, z) =

~x
.
k~xk3

y R3 un abierto con frontera suave , y tal que (0, 0, 0) .


RR
~
Calcule
F~ dA.


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,)

Ahora, sobre B(~0, ) el vector normal unitario exterior es n


=

1
(x, y, z)
x2 +y 2 +z 2

1 (x, y, z). Por lo tanto,


F~ n
=

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,)

En conclusion, tenemos que


Z Z

~x n

dA = 4 .
k~xk3

independientemente del dominio que contenga a 0. Podemos observar


que, del mismo modo (verifique),

Z Z

(~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.

Ejemplo 5.6 (Formulas de Green). Sea R3 un abierto acotado

de frontera de clase C1 . Tenemos entonces que si u, v C 2 (),


u
= u n
, donde n
es la normal unitaria exterior entonces
n
Z Z Z
Z Z
Z Z Z
v
(5.10)
uv =
u
dA
u v

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

y (5.10) queda demostrado. Notemos que (5.11) se sigue de (5.10) y de


la formula simetrica,
Z Z Z
Z Z
Z Z Z
u
vu =
v
dA
v u . 

Ejemplo 5.7 (Unicidad del Problema de Dirichlet). Sea R3 un


abierto acotado, conexo, de frontera de clase C1 . Sean g : R,
f : R funciones continuas. Considere la ecuacion en derivadas
parciales con condicion de borde,
(5.12)

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 .

Usando la formula de Green (5.10) obtenemos


Z Z Z
Z Z
Z Z Z
v
0=
vv =
v
dA
v v

o sea,
Z Z Z
|v|2 = 0.

Por lo tanto v(x) = 0 para todo x . Sea x0 y ~ : [0, 1]


una parametrizacion C 1 de una curva con con ~ (0) = x0 , ~ (1) = x.
Entonces
Z 1
Z 1
d
v(x)0 = v(x)v(x0 ) =
f (~ (t)) dt =
f (~ (t))~ 0 (t) dt = 0.
dt
0
0
Por lo tanto v = u1 u2 0 y el resultado queda demostrado.

v
dA .


1. ELEMENTOS DE CALCULO
VECTORIAL

34

6.

El Teorema de Stokes

A continuacion consideraremos otra extension del Teorema de Green


a mayores dimensiones. Para enunciarlo, recordemos que una superficie orientable S es una en la cual pueden reconocerse dos lados, lo que
matematicamente se escribe, afirmando la existencia de un campo vectorial continuo, normal unitario en todo punto. Uno de los lados de la
superficie esta definido por esta normal, el otro por
n. Si la superficie
S tiene por borde S = C, una curva de clase C 1 por tramos, cerrada
simple, decimos que C esta positivamente orientada si para el sentido
en el cual se recorre, pensando en la normal a S como direccion hacia
arriba, vemos la superficie hacia la izquierda. En otras palabras, vista
desde arriba, la frontera se parametriza en sentido antihorario.
Teorema 6.1 (Teorema de Stokes). Sea S una superficie de clase
C 1 en R3 , orientable, con vector normal unitario n
y frontera C, una
1
curva cerrada simple, C , orientada en modo positivo. Sea F~ :
R3 R3 un campo vectorial definido en un abierto que contiene a
S C, y de clase C 1 . Entonces vale la siguiente identidad.
I
Z Z
~ .
F~ dl
( F~ ) n
dA =
(6.14)
C

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}

y la superficie cerrada S constituida por la union de S, S1 y S0 . Tenemos, de acuerdo al ejemplo 5.3,


(6.15)
Z Z
Z Z
Z Z
Z Z
~
~
~
0=
(F )
n=
(F )
n+
(F )
n+
(F~ )
n.
S

S0

S1

Escribamos F~ = P i + Qj + Rk y recorNotamos que en S0 , n


= k.
demos que
R Q
P
R
Q P
F~ = (

)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

donde t = (tx , ty ) es el vector tangente a en la orientacion antihoraria.


Por otra parte, tenemos que = (x , y ) = (ty , tx ) es la normal
exterior a D. Entonces,
Z
I=
dl [Q(x, y, 0)x P (x, y, 0)y ].
D

Ademas, en S1 tenemos que n


= (x , y , 0), y luego
Z Z

( 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

Ahora, por el teorema de la divergencia plano, tenemos que


#
Z Z " Z g(x,y)
Z g(x,y)

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

[y (R(x, y, g)gx ) x (R(x, y, g)gy )] dx dy =


Z
R(x, y, g)[gx y gy x ]d`.
D

Entonces,
Z
I+II+III =

[P (x, y, g)tx +Q(x, y, g)ty +R(x, y, g)(txgx +ty gy )] d`


D

Finalmente, notemos que si t [0, 1] 7 ~ (t) es una parametrizacion


de D, entonces la curva C, la frontera de S esta parametrizada por
t 7 ((t), g((t))). As,
~ = ( 0 (t), g((t)) 0 (t))dt = (tx , ty , gx tx + gy ty )d`.
d`


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

De aqu, y (6.15), obtenemos la validez de (6.14) para esta region.


Podemos con esto, demostrar, en el modo habitual, el resultado en
regiones constituidas por uniones finitas de graficos de funciones C 1 .

Ejemplo
6.1. Use el Teorema de Stokes para evaluar la integral de
H
~ donde F~ = y 3i + x3j z 3 k.
y C es la interseccion del
lnea C F~ d`
2
2
cilindro x + y = 1 y el plano x + y + z = 1, orientada en direccion
antihoraria.
Soluci
on Consideremos la superficie S = {x2 +y 2 1, x+y+z = 1}.
Entonces, si n
es la normal hacia arriba de S, entonces
Z Z
I
~
~
( F~ ) n
dA .
F d` =
C

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`

Para verificar, hagamos el calculo directamente. La curva C se puede


parametrizar mediante
~ (t) = (cos t, sin t, 1 cos t sin t),

t [0, 2] .

7. CAMPOS VECTORIALES EN OTROS SISTEMAS DE COORDENADAS 37

De este modo ~ 0 (t) = ( sin t, cos t, sin t cos t) y


I
Z 2
~
~
( sin3 t, cos3 t, (1sin tcos t)3 )( sin t, cos t, sin tcos t) dt =
F d` =
C

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.

Campos vectoriales en otros sistemas de coordenadas

En ciertos problemas, resulta natural que un campo vectorial F~ :


R3 R3 se exprese en terminos de una base ortonormal no sea
necesariamente la Euclideana, y que posiblemente vare de punto en
punto. Consideremos un sistema de coordenadas
~x = (x1 , x2 , x3 ) =
~ (u1 , u2 , u3 ) =
~ (~u), con
~ : D R3 R3 ,
una transformacion inyectiva. Supongamos tambien que la matriz
~ 0 (~u)

~
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).

Por regla de la cadena, vemos entonces que


f
= hi f ui .
ui


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

Calculemos la divergencia en estas coordenadas. Notemos primero


que
|det (~
0 (~u))| = h1 h2 h3 .
Para una funcion (~x) suave,
R que se anula fuera de un conjunto acotado, tenemos escribiendo
para designar integracion sobre todo el
espacio, y por el teorema de la divergencia,
Z
Z
Z
~
~
0 = ( F ) = F + F~ .
Gracias al Teorema del cambio de variables, tenemos que
Z
Z
( F~ ) dx = ( F~ ) h1 h2 h3 du
As,
Z

( 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

7. CAMPOS VECTORIALES EN OTROS SISTEMAS DE COORDENADAS 39

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

Se puede obtener tambien la siguiente formula para el rotor.




h1 u1 h2 u2 h3 u3

1


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,

= ( sin , cos , 0), h = r.

z son en efecto ortogonales, y para un campo vectoLos vectores r, ,


rial F~ = Fr r + F + Fz z tenemos
1
1 F Fz
F~ =
(rFr ) +
+
.
r r
r
z
De este modo, podemos tambien calcular el Laplaciano de una funcion escalar f (r, , z). Usando la formula (7.18) obtenemos
(7.19)

f =

2f
2f
1 f
1 2f
+
+
+
z 2
r2
r r
r2 2


1. ELEMENTOS DE CALCULO
VECTORIAL

40

7.0.2.

Coordenadas esfericas. Aqu el cambio de coordenadas es


~x =
~ (, , ) = ( cos sin , sin sin , cos )

De modo que
= (cos sin , sin sin , cos ), h = 1,

= ( sin , cos , 0), h = sin ,

= (cos cos , sin cos , sin ), h = .


Se verifica de inmediato que estos vectores son ortogonales. Calculemos
por ejemplo el operador Laplaciano para una funcion escalar f (, , ).
Usando la formula (7.18) obtenemos




1
1
f
1
2f

2 f

+ 2 2
+ 2
sin
.
f = 2

sin

sin 2

8.

Comentario: significado de divergencia y rotor

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

8. COMENTARIO: SIGNIFICADO DE DIVERGENCIA Y ROTOR

41

El rotor rot F~ (x0 ) mide la tendencia del fluido a rotar. Consideremos


un vector unitario cualquiera e y un disco plano D(x0 , r) con vector
normal e. En otras palabras D(x0 , r) = B(x0 , r) {(x x0 ) e = 0}.
Entonces, usando el teorema de Stokes
1
lm 2
r0 r

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)+

Si rot F~ (x0 ) 6= 0, notemos que la direccion del eje e que maximiza


la circulacion de F~ en torno a el es precisamente la del rotor, e =
rot F~ (x0 ) .
~ (x0 )k
krot F

Captulo 2

Funciones de variable compleja


1.

Conceptos b
asicos

Consideraremos en este captulo funciones f : R2 R2 , donde


es un abierto, que son diferenciables, pero de hecho con una nocion de
diferenciabilidad mas restrictiva que la habitual. Consideramos en este
captulo a R2 dotado del producto complejo. As, recordemos, C es el
cuerpo, obtenido a partir de R2 , con su suma habitual, y adicionalmente
el producto
(a, b) (c, d) := (ac bd, ad + bc).
El producto complejo tambien tiene la siguiente u
til representacion
matricial en matrices columna

  

a b c
ac bd
(1.1)
=
b a
d
ad + bc
Denotando, en vez de la notacion de pares ordenados o vectores
columna, i := (0, 1) y 1 := (1, 0), se escribe (a, b) = a + bi, y entonces
resulta que i i = i2 = 1, y naturalmente
(a + bi)(c + di) = ac bd + (ad + bc) i.
La parte real de un n
umero complejo z = x + iy es Re(z) := x y su
parte imaginaria, Im(z) := y.
El conjugado de z = x + iy es el n
umero z = x iy. Definimos el
valor absoluto de z = x + iy como
p

|z| = z z = x2 + y 2 = k(x, y)k.


Podemos dar al producto punto en R2 la siguiente expresion en terminos
de n
umeros complejos:
(x1 , y1 ) (x2 , y2 ) = x1 x2 + y1 y2 = Re(z1 z2 ),
donde z1 = x1 + iy1 , z2 = x2 + iy2 . Por ejemplo, la desigualdad de
Cauchy-Schwartz se lee |Re(z1 z2 )| |z1 | |z2 |. C dotado de las operaciones de suma y producto es un cuerpo. 1 es el elemento neutro para
43

44

2. FUNCIONES DE VARIABLE COMPLEJA

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

si y solo si para toda sucesion zn z0 con zn 6= z0 para todo n, se tiene


que f (zn ) L. f es continua en z0 si se tiene que lmzz0 f (z) = f (z0 ).
El algebra compleja de lmites se prueba directamente a partir de
aquella en R2 . Por ejemplo, si
lm f1 (z) = L1 ,

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

En efecto, si fj (x + iy) = uj (x, y) + ivj (x, y), Lj = aj + ibj , entonces,


por ejemplo, si anotamos f1 f2 = p + iq, entonces p = u1 u2 v1 v2 ,
q = u1 v1 + u2 v2 , de modo que
lm

(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 )

gracias al algebra de lmites reales. Se sigue que lmzz0 (p + iq) = L1 L2


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

Escribamos f (z) = u(z) + iv(z) con u y v funciones a valores reales.


Tenemos que
lm

zz0

f (z) f (z0 )
(f (z) f (z0 ))(
z z0 )
= lm
zz0
z z0
|z z0 |2

En particular, Escribamos z = z0 + t 1. Tenemos que


u
v
f (z0 + t1) f (z0 )
=
(z0 ) + i (z0 )
t0
t
x
x
Por otro lado, si tomamos z = z0 + t i. Tenemos que
f 0 (z0 ) = lm

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

En particular f (x + iy) = u(x, y) + v(x, y)i satisface las ecuaciones


de Cauchy-Riemann
(1.3)
u
v
v
u
(x0 , y0 ) =
(x0 , y0 ),
(x0 , y0 ) = (x0 , y0 ), z0 = x0 + iy0 .
x
y
x
y
Una pregunta natural es como se relaciona la derivada compleja f 0 (z0 )
con la diferenciabilidad (en el sentido real) de la funcion f (x, y) =
(u(x, y), v(x, y)) en el punto (x0 , y0 ). De existir, la derivada real, que
para evitar confusiones le denotamos Df (x0 , y0 ) esta dada por

 u
(x0 , y0 ) u
(x0 , y0 )
x
y
Df (x0 , y0 ) = v
v
(x0 , y0 ) y
(x0 , y0 )
x
Hacemos la siguiente observacion: si f 0 (z0 ) existe entonces la matriz
Df (x0 , y0 ) tiene la estructura especial

(1.4)

Df (x0 , y0 ) =

u
(x0 , y0 )
x
u
y (x0 , y0 )


u
(x0 , y0 )
y
u
(x0 , y0 )
x

46

2. FUNCIONES DE VARIABLE COMPLEJA



  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 .

Ejemplo 1.1. Considere la funcion f definida sobre C por


p
f (x + iy) = |x||y|,
donde x, y R. Muestre que f satisface las ecuaciones de CauchyRiemann en el origen pero que f no es holomorfa en (0, 0).
Soluci
on Es claro que las derivadas parciales existen y son todas iguales a 0 en el origen. Por lo tanto las ecuaciones de Cauchy-Riemann
se satisface. Por otro lado f no es diferenciable (en sentido real) en el
origen, por ende no es holomorfa en el origen. Para verificar esto, nos
basta ver que
tp
f 0 ((0, 0); (e1 , e2 )) = lm
|e1 ||e2 |.
t0 |t|


1. CONCEPTOS BASICOS

Este lmite de hecho no existe.

47

1.3. Forma polar. Es a menudo u


til escribir n
umeros complejos
utilizando coordenadas polares, esto es x+iy = r cos +ir sin De gran
utilidad es la notacion
ei = cos + i sin .
Esta notacion se justifica pues
ei(1 +2 ) = cos(1 + 2 ) + i sin(1 + 2 ) .
Como
cos(1 + 2 ) = cos 1 cos 2 sin 2 sin 2 ,
sin(1 + 2 ) = sin 1 cos 2 + cos 1 sin 2 ),
concluimos que
ei(1 +2 ) = ei1 ei2 .
Notemos que e2i = e0 = 1 y que vale la famosa Ecuacion de Euler:
ei + 1 = 0, que relaciona a los cinco n
umeros mas importantes en
matematicas. As tenemos que todo n
umero complejo puede escribirse
como z = rei , r = |z|. Notemos tambien que z = rei . La notacion
polar es u
til para encontrar las raices de la unidad, esto es, para un
entero n 1, para encontrar las soluciones complejas de la ecuacion
z n = 1,

z C.

En efecto. Escribamos z = rei . Sustituyendo obtenemos que rn ein =


1. de modo que necesariamente r = 1, y entonces necesitamos que
ein = 1
Esta igualdad, para valores [0, 2) es posible si y solamente si, para
alg
un k entero, n = 2k. Entonces necesitamos
= 2

k
[0, 2) k = 0, 1, 2, . . . , n 1.
n

Las raices de la unidad son entonces los n n


umeros complejos
k

zk = e2i n ,

k = 0, 1, . . . n.

48

2. FUNCIONES DE VARIABLE COMPLEJA

2.

Funciones cl
asicas y sus derivadas

2.1. Funciones exponencial y logaritmo. La notacion eiy ,


permite una extension natural de la funcion exponencial real, x R 7
ex a la funci
on exponencial compleja z C 7 ez C, definida
como
ez = ex+iy := ex eiy = ex (cos y + i sin y) .
Es inmediato comprobar que la funcion exponencial satisface
1
e0 = 1, ez1 +z2 = ez1 ez2 ,
= ez .
ez
Verifiquemos que esta funcion es derivable en el sentido complejo. Para
ello, usemos la Proposicion 1.1. Escribimos f (z) = ex+iy = ex cos y +
iex sin y. As,

 x
e cos y ex sin y
.
Df (z) = x
e sin y ex cos y
En efecto, las derivadas parciales son continuas, por ende la funcion
es diferenciable
en el sentido real. Por otra parte esta matriz tiene la

a b
, por lo tanto f es derivable en el sentido complejo
estructura
b
a
en z y
f 0 (z) = a + ib = ex cos y + iex sin y = ez .
Al hablar de funcion exponencial, es natural considerar la funcion
logaritmo, su inversa. En verdad la funcion z ez no es inyectiva,
pues ez+2i = ez , pero es posible definir una funcion log de modo que
elog z = z (una inversa por la derecha de la exponencial) en el modo
siguiente: Para 0 6= z = rei , [0, 2) definimos
(2.5)

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

Esta funcion no esta definida para z = 0 y es obviamente discontinua


en el semieje real, {x + 0i / x > 0}. Visto en la expresion polar (2.5),
lm ln r + i = 2i 6= lm+ ln r + i.


2. FUNCIONES CLASICAS
Y SUS DERIVADAS

49

La funcion z 7 ln z es derivable en toda la region C \ {x + 0i / x


0}. En efecto, sus derivadas parciales son continuas en esta region.
Calculemos la matriz derivada real:
 x

y
2
2
r
r
D ln(x + iy) =
x
ry2
r2


a b
que tiene la estructura
y por lo tanto la derivada compleja
b a
existe y
x
y
1
f 0 (x + iy) = 2 i 2 =
.
r
r
x + iy
Por lo tanto, como en el caso real,
1
d
(ln z) = .
dz
z
Observaci
on. Es importante que notemos que la funcion log z constituye una extension de la funcion logaritmo real, pues para x > 0
tenemos en efecto
ln(x + i0) = ln x. Por otra parte, esta no constituye la la u
nica inversa
por la derecha posible de la funcion exponencial, pues, por ejemplo,
ln z + 2k i tambien invierte la exponencial por la derecha. De hecho,
no es tampoco la u
nica de estas inversas que extiende al logaritmo real.
Tomemos por ejemplo la siguiente definicion alternativa del argumento:

arctan(y/x)
si x > 0
arg (x + iy) =
+ arctan(y/x)
si x 0.
Con esta definicion se logra el mismo efecto: El cambio esta en que
esta funcion es ahora discontinua en la semirecta {0 + iy / y 0}. En
efecto, para y < 0
3

lm arg (x + iy) = 6= = lm+ arg (x + iy).


x0
2
2 x0
Sin embargo si L(z) es cualquier funcion derivable tal que eL(z) = z en
alg
un abierto, entonces por la regla de la cadena (que demostraremos
mas tarde), eL(z) L0 (z) = 1, y por ende L0 (z) = z1 .
2.2. Propiedades operacionales de la derivaci
on compleja.
2.2.1. El algebra de la derivacion. Usando, o bien la definicion, o
el conocimiento que ya poseemos de las propiedades de la diferenciabilidad en R2 , es sencillo verificar la validez de las propiedades siguientes.

50

2. FUNCIONES DE VARIABLE COMPLEJA

n 2.1. Sea un abierto en C y f1 , f2 : C C ,


Proposicio
funciones derivables en el sentido complejo en z0 , C. Entonces
f1 + f2 y f1 f2 son derivables en z0 y
(f1 +f2 )0 (z0 ) = f10 (z0 )+f20 (z0 ),

(f1 f2 )0 (z0 ) = f10 (z0 )f2 (z0 )+f1 (z0 )f20 (z0 ).

Ademas, si f2 (z) 6= 0 para todo z cercano a z0 , tenemos que f1 /f2 es


derivable en z0 y
 0
f1
f10 (z0 )f2 (z0 ) + f1 (z0 )f20 (z0 )
(z0 ) =
.
f2
f2 (z0 )2
Demostraci
on La linealidad de la derivacion se verifica facilmente.
Para el caso de la regla del producto, lo mas sencillo es imitar la demostracion para funciones reales. Tenemos
f1 f2 (z) f1 f2 (z0 )
f1 (z) f1 (z0 )
f2 (z) f2 (z0 )
= f2 (z)
+ f1 (z0 )
z z0
z z0
z z0
Tomando lmite cuando z z0 usando el algebra de lmites (1.2) se
sigue el resultado deseado.
Para el caso del cuociente, nos basta probar la formula en el caso
f1 = 1. Si f (z) 6= 0 es derivable compleja en z0 entonces


1
1
1
f (z) f (z0 )
1

=
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

2.2.2. Regla de la cadena. Sean , abiertos en C, f : ,


g : C derivables respectivamente en z0 y f (z0 ). Entonces g f :
C es derivable en z0 y (g f )0 (z0 ) = g 0 (f (z0 )) f 0 (z0 ).
Demostraci
on La diferenciablidad de la composicion en el sentido
real se sigue de la regla de la cadena, as como el hecho que
D(g f )(z0 ) = Dg(f (z0 )) Df (z0 ) .
Las matrices derivada en el lado derecho tienen la forma respectiva


a1 b1
Dg(f (z0 )) =
, g 0 (f (z0 )) = a1 + ib1 ,
b1
a1


a2 b2
Df (z0 ) =
, f 0 (z0 ) = a2 + ib2 .
b2
a2
As, encontramos


a1 a2 b1 b2 a1 b2 b1 a2
D(g f )(z0 ) =
.
a1 b 2 + b 1 a2
a1 a2 b1 b2
Por lo tanto, las ecuaciones de Cauchy-Riemann se satisfacen y
(g f )0 (z0 ) = a1 a2 b1 b2 + i(a1 b2 + b1 a2 ) = g 0 (f (z0 )) f 0 (z0 ). 
2.3. Funciones trigonom
etricas e hiperb
olicas, potencias
no enteras. Considerando que
eiy + eiy
= cos y,
2

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

2. FUNCIONES DE VARIABLE COMPLEJA

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}.

Usando las formulas encontradas para las derivadas de las funciones


logaritmo y exponencial, y la regla de la cadena obtenemos
d
d
z = e log z ( log z) = z 1 .
dz
dz
2.4. Convergencia de series complejas. Sea bk , k = 0, 1, 2, . . .
una sucesion de numeros complejos. Definimos, en caso de existir, el
lmite

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

es creciente. Si ademas es acotada superiormente, esto es, existe C > 0


con Sn C para todo n, tenemos queP
Sn tiende a un lmite cuando n
. Este lmite se denota por cierto
k=0 |bk | En este caso escribimos
simplemente

X
|bk | < +.
k=0

Tenemos el siguiente resultado


P
P
n 2.2. Si
Proposicio
k=0 |bk | < +, entonces la serie
k=0 bk
es convergente. Decimos en tal caso que esta u
ltima serie es absolutamente convergente.
P
Demostraci
on Tenemos que la sucesion zn := nk=0 bk es acotada en
C. En efecto
n

X
X
|zn |
|bk |
|bk | =: C < +.
k=0

k=0

Por el teorema de Bolzano-Weierstrass en R2 , zn tiene una subsucesion


convergente, zkn z. Afirmamos que z es en realidad el lmite de toda


2. FUNCIONES CLASICAS
Y SUS DERIVADAS

53

la sucesion. En efecto
|zn zkn |

kn
X

|bk |

k=n

|bk | 0

k=n

cuando n +. Concluimos que zn z, esto es, que la serie


es convergente.

k=0 bk

2.5. Series de potencias. Mediante las reglas algebraicas que


hemos encontrado para la derivacion compleja, es inmediato que un
polinomio P
k
f (z) = N
k=0 ak (z z0 ) es derivable y
0

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

El radio de convergencia de esta serie es la cantidad r + dada


por

X
|ak |rk < +}.
r = sup{r > 0 /
k=0

Supongamos que r > 0, y que |z z0 | r < r . Entonces para


todo k suficientemente grande tenemos

|ak ||z z0 |

k=0

|ak |rk < +.

k=0

De este modo, la serie (2.7) converge absolutamente para todo z con |z


z0 | < r . De acuerdo a Proposicion 2.2, la serie es entonces convergente
para todos estos z. Afirmamos que la serie define en verdad una funcion
derivable en
D(z0 , r ) = {z C / |z z0 | < r }
y que
0

f (z) = g(z) :=

kak (z z0 )k1 .

k=1

La serie g(z) tiene el mismo radio de convergencia de f (z). En efecto,


Si r es cualquier n
umero positivo menor que r y r < r0 < r entonces

54

2. FUNCIONES DE VARIABLE COMPLEJA

krk1 r0k para todo k k0 . Por ende

k|ak |r

k1

k0
X

k=0

k|ak |r

k=0

k1

|ak ||r0 |k < +.

k=0

entonces la serie g(z) converge absolutamente para todo z con |zz0 |


r < r .
Notemos ahora que
f (z +h)f (z)g(z)h =

ak [(z +hz0 )k (z z0 )k k(z z0 )k1 h.]

k=0

Entonces
|f (z+h)f (z)g(z)h|

|ak ||zz0 |k |(1+

k=0

h
h
)k 1k
|
|z z0 |
|z z0 |

Por otra parte, notemos que si |a| <


k  
X
1
k
k
|(1+a) 1ka|
|a|j = k(k1)(1+s|a|)k2 |a|2 ,
j
2

s (0, 1),

j=2

y entonces si |h| < |z z0 | y |z z0 |(1 + ) < r < r obtenemos

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 |ak |rk2 < +.

k=2

As, f es derivable en todo punto z D(z0 , r ), y f 0 (z) = g(z).

En general, una funcion f : C C de dice holomorfa en


si es derivable en el sentido complejo en todo punto de . Escribimos
en tal caso f H().
Notemos que el radio de convergencia de las series obtenidas al derivar termino a termino la serie de f , es siempre el mismo. Obtenemos,
inductivamente que f es derivable de cualquier orden en todo punto de
D(x0 , r ) y

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

de modo que la funcion se puede expresar en D(z0 , r ), por su serie de


Taylor,

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

Supongamos que f = u + iv. (t) = z(t) = x(t) + iy(t) Entonces la


integral compleja la podemos escribir en terminos de integrales de lnea
reales. En efecto, por definicion tenemos que
Z b
Z
(ux0 vy 0 ) + i(uy 0 + vx0 ) dt =
f dz :=
C

Z
(3.9)

(u, v) td` + i

(v, u) td`.

A partir de esta representacion real, obtenemos la desigualdad triangular


Lemma 3.1.
Z

Z


f dz
|f | d` .

(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

El resultado buscado se sigue de esta u


ltima desigualdad notando que
Z

Z



f dz = (P, Q)d`


C

y que k(P, Q)k = k(u, v)k = |f |.

56

2. FUNCIONES DE VARIABLE COMPLEJA

Supongamos que C es una curva cerrada simple, recorrida en sentido


positivo, y supongamos ademas que las funciones u, v son de clase C 1
en la region D encerrada por C. Por la expresion (3.9) y el teorema de
Green tenemos entonces que
Z Z 

Z
f (z) dz =
C

v v
+
x y

Z Z 
dxdy + i
D

u v

x y


dxdy

Si adicionalmente suponemos que f (z) es derivable compleja en D,


entonces se satisfacen las ecuaciones de Cauchy-Riemann, de modo que
u v
v v
+
= 0,

= 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

3.2. Existencia de primitivas. El siguiente resultado puede


leerse como una forma del Teorema fundamental del calculo, para funciones holomorfas.
n 3.1. Sea una abierto simplemente conexo, y f
Proposicio
0
una
R z funcion holomorfa en con derivada f (z) continua. Sea F (z) =
f (w) dw Entonces F es holomorfa en y
z0
F 0 (z) = f (z).

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

En modo similar, la funcion


Z
(v, u) td`,
Q(z) =

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

sobre cualquier camino que una z0 y z1 .

58

2. FUNCIONES DE VARIABLE COMPLEJA

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

En que las curvas se suponen orientadas en sentido antihorario.


Demostraci
on Consideremos primero el caso k = 1. Consideremos
una curva C0 dentro de C y D es la region anular encerrada entre C
y C0 . Consideremos dos puntos de C1 z01 , z02 y dos puntos z1 y z2
sobre C. Consideremos curvas disjuntas simples, 1 , 2 , de clase C 1
que unen respectivamente z01 con z1 y z02 con z2 . Supongamos ademas
que C0 esta dividida en dos tramos disjuntos C01 y C02 que unen z01 y
z02 en sentidos opuestos, de modo que C01 + C02 = C1 . Consideramos
una division similar para C, relativa a z1 , z2 , C1 + C2 = C. Logramos
entonces por concatenacion las curvas cerradas simples, recorridas en
sentido antihorario,
1 = 1 + C1 2 C01 ,

2 = 2 + C2 1 C02 .

que encierran regiones contenidas


en . As, por concatenacion y el
R
teorema anterior obtenemos i f (z) dz = 0, i = 1, 2. Por ende
Z
0=
1

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

lo que prueba la afirmacion en el caso k = 1. El caso general se sigue


por induccion.


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].

Por el corolario, tenemos que


Z
Z
f (z)
f (z)
dz =
dz.
C z z0
C z z0
Ahora, como 0 (t) = ieit , tenemos que
Z
Z 2
Z 2
f (z)
f (z0 + eit )
it
dz =
ie dt = i
f (z0 + eit ) dt.
it
e
C z z0
0
0
De este modo,
Z
Z 2
f (z)
dz = lm i
f (z0 + eit ) dt = 2i f (z0 ),
0
z

z
0
C
0
y el resultado queda demostrado.

60

2. FUNCIONES DE VARIABLE COMPLEJA

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

Si |w| < r0 tenemos que

|w|
|zz0 |

1
1

f (z)
dz =
z z0 w

w
zz0

Z
C

1
1

w
zz0

f (z)
dz
z z0

< 1, y podemos expandir

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

Intercambiando la suma infinita con la integral, oenemos entonces la


formula de representacion
Z

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 .

Por supuesto, esta formula puede tambien depresentarse por


Z

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

2. FUNCIONES DE VARIABLE COMPLEJA

una serie con radio de convergencia igual a 1.


Otras series casicas son por ejemplo

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.

Teorema 3.4 (Teorema fundamental del Algebra).


Todo polinomio
complejo no constante tiene al menos una raz.
Demostraci
on Supongamos lo contrario, esto es que alg
un polinomio
k
k1
f (z) = z +ak1 z + +a0 no tiene raz alguna. Entonces la funcion
1
es holomorfa en todo C y claramente satisface
f (z)
1
= 0.
|z| f (z)
lm

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

el resultado del Teorema ahora a g(z). Iterando se obtiene el resultado


deseado.

3.8. La f
ormula de los residuos. Sea un abierto de C Consideraremos ahora funciones f analticas sobre \ {z1 , . . . , zn }. Supondremos ademas que las posibles singularidades zi de f son polos de
orden finito. Esto quiere decir que para cada j = 1, . . . n existe un
entero kj 0 minimal tal que la funcion (z zj )kj f (z) es analtica
cerca de zj . El menor de estos enteros se denomina el orden del polo
zj .
De este modo, para 0 < |zzj | < r, la funcion f puede representarse
como una serie
(z zj )kj f (z) = b0 + b1 (z zj ) + b2 (z zj )2 +
y por ende
f (z) =

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

Este resultado se extiende del modo siguiente.


Teorema 3.5. Sea C un abierto y f : \{z1 , . . . , zn } C una
funcion analtica con polos de orden finito en los puntos z1 , . . . , zk . Si C
es una curva cerrada simple, C 1 por tramos contenida en , orintada
en sentido positivo, y que encierra una region contenida en y a los
puntos zj , entonces
Z
k
X
f (z) dz = 2i
Res(f, zj ).
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

2. FUNCIONES DE VARIABLE COMPLEJA

Tenemos entonces que


Z
k Z
X
(3.13)
f (z) dz =
f (z) dz,
C

y por otra parte


Z

j=1

f (zj + eit ) ieit dt.

f (z) dz =
Cj

Cj

Ahora, como en un entorno de zj tenemos una expansion de la forma


f (z) =

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

e(j+1) it dt = 0 para j 6== 1 y = 2 para j = 1. Por lo


Z
f (z) dz = 2i a1 = 2i Res(f, zj )
Cj

y el resultado deseado se sigue de (3.13).

Corolario 3.2. Sea f una funcion analtica en el semiplano H =


{z C / Im(z) > 0}, excepto por un n
umero finito de polos de orden
finito z1 , . . . , zk H. Supongamos ademas that para cierto p > 1 y todo
|z| suficientemente grande, |f (z)| C|z|p . Entonces se tiene que
Z
k
X
f (x) dx =
2i Res(f, zj ).

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

Por otro lado

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

|f (z)| d` CRp `(CR ) = 2CR1p

CR

de modo que
Z
lm

f (z) dz = 0
CR

y el resultado se sigue haciendo R + en (3.14).

Ejemplo 3.1. Calcular


Z

I=

Soluci
on Sea f (z) =

z2
.
1+z 4

x2
dx
1 + x4

Los polos de f son los ceros de 1 + z 4 que

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

2. FUNCIONES DE VARIABLE COMPLEJA

4 (t) = R + it, t [0, R].


Entonces, por residuos encontramos que para R grande, y f (z) =
I
aiea
f (z) dz, = 2iRes(f, ai) = 2i
= ea i.
2ai
C
Por otra parte
Z R
I
Z R
teit
(iR + t)ei(iR+t)
f (z) dz =
dt

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

De aqu se sigue, por paridad, que


Z

t sin t
dt = ea .
2
2
t +a
2
0

Z


Ejemplo 3.3. Evaluar la integral


Z 2
d
I=
.
2 + sin
0
Soluci
on Sea C el crculo parametrizado por () = ei . Entonces
Z
0

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

z2 = i(2 + 3). Notemos que |z1 | < 1 y |z2 | > 1. Entonces


I
4i
2
f (z) dz = 2i Res(f, z1 ) = 2i lm (zz1 )f (z) =
= .
zz1
(z1 z2 )
3
C

Una observacion es que el metodo de este ejemplo se extiende en
modo natural al calculo de integrales del tipo
Z 2
p(sin , cos )
I=
d
q(sin , cos )
0
donde p, q son polinomios en dos variables. En efecto, tenemos que


Z
p z z 1 z + z 1 1
I = R(z) dz, R(z) =
,
.
q
2i
2
iz
C
en la medida que R no tenga polos sobre C. Una vez conocidos los
polos dentro del disco unitario, z1 , . . . , zk la integral puede calcularse
mediante residuos, de modo que
f (z) =

I = 2i

k
X

Res(R, zj ).

j=1

Ejemplo 3.4. Calcular


Z
I=
0

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, ],

C2 = {|z| , Im(z) 0},

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

2. FUNCIONES DE VARIABLE COMPLEJA

Z
C5

eiz
dz =
z

Z
RR

ei(x+iR)
dx = O(eR ) 0.
iR + x

Por otra parte


Z iz
Z R iR y
Z 1 iR Ry
e
e e
e e
dz =
dy =
dy 0
1 + iy
C4 z
0 R + iy
0
R iz
y en modo similar C6 ez dz to0. Obtenemos entonces que
Z
Z Z ix
e
dx = i
ei(cos +i sin ) d
+
x
0

de modo que, tomando parte imaginaria y haciendo 0,


Z
sin x
dx =
x
o sea
Z
0

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.

Observemos primero que


Z

Z




f (z) dz C

C

|z|1 d` = C 0

cuando 0. Por otra parte,


Z

Z


1


f (z) dz CR

CR

CR

d
R CR1 0
l

cuando R +. Por otra parte, cuando R y 0, obtenemos


que
Z
Z 1
x
f (z) dz
dx
P (x)
I1
0
y
Z
Z 1
x
i(1)2
f (z) dz e
dx
P (x)
I2
0
Entonces, por la formula de los residuos aplicada en CR, , obtenemos
en el l mite,
Z
0

k
X
x1
2i
dx =
Res(f (z), wj )
P (x)
1 ei(1)2 j=1

70

2. FUNCIONES DE VARIABLE COMPLEJA

donde los wj son los polos de f (z).

A manera de ilustracion, calculemos, para 0 < < 1 la integral


Z 1
x
I=
dx.
1+x
0
Para f (z) =
modo,

z 1
1+z

tenemos que Res(f (z), 1) = ei(1) . De este


I=

2iei(1)
.
=
1 ei(1)2
sin()

Ejemplo 3.6. Calcule


Z

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

cuando 0, R . Por otra parte,


Z
Z
P (x)
f (z) dz
log x dx
Q(x)
I1
0
y
Z
Z
P (x)
f (z) dz
(log x + 2i) dx.
Q(x)
I2
0
De este modo, sumando, y usando residuos, obtenemos ahora
Z
2i
0

k
X
P (x)
dx = 2i
Res(f, wj ).
Q(x)
j=1

Ilustremos esta formula mediante el calculo de la integral


Z
dx
.
I=
1 + x3
0

COMPLEJA Y FORMULAS

3. INTEGRACION
DE CAUCHY

Tenemos ahora que

I = Res(f, ei 3 ) Res(f, ei ) Res(f, ei 3 )


log z
ormula
con f (z) = 1+z
3 . Usando la f
log w
,
3w2
valida en cada uno de los polos, obtenemos
!

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

Series de Fourier y Separaci


on de variables en
EDP
1.

Separaci
on de variables: motivaci
on de las series de
Fourier

En este captulo veremos formulas de representacion para algunas


ecuaciones en derivadas parciales (EDP) que corresponden a modelos
matematicos clasicos de la fsica. El deseo de obtener formulas para las
soluciones de cierta EDP que Joseph Fourier introdujo como modelo
para la propagacion del calor en 1822, le motivo a afirmar que toda
funcion razonable f (x) definida en el intervalo [0, 2] podra expresarse
como una serie infinita de multiplos de las funciones trigonometricas
sin(nx), cos(nx), n = 0, 1, 2, . . ., conocidas en el da de hoy como series de Fourier. Fourier postulo su celebre ley de conduccion del calor,
enunciando que la temperatura T (x, t) del punto x de una barra, representada por el intervalo [0, `] en el instante t > 0, verifica la ecuacion
en derivadas parciales
T
2T
(x, t) =
(x, t) para todo x (0, `), t (0, ).
t
x2
Fourier busco primero soluciones de esta ecuacion que separaran variables, lo que quiere decir que se puede escribir como m
ultiplo de una
funcion de x y de una de t.

(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, t) = et sin( x), et cos( x).


Es razonable pensar que para determinar la temperatura T (x, t)
de la barra en todo instante, se debe conocer la temperatura en todo
instante en los extremos de la barra, y la temperatura en el instante
inicial en toda la barra.
As, supongamos por ejemplo que
(1.16)

T (x, 0) = f (x),

T (0, t) = 0,

T (`, 0) = 0.

La primera condicion, con la funcion f (x) conocida se llama condici


on
inicial. Las otras dos, en los extremos se denominan condiciones de
borde de tipo Dirichlet. Entre las soluciones basicas, aqu
ellas que
satisfacen las condiciones de borde son precisamente para = k
,
`
kNy


2 2
k
k 2 t
Tk (x, t) = e ` sin
x .
`
Ahora bien, como la ecuacion (1.15) es lineal, se sigue que toda combinacion lineal de ellas tambien es solucion. Es tambien esperable que
si la combinacion lineal se vuelve infinita, esto es una serie de la forma



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

obtenemos que los coeficientes ak en (1.17) se calculan como




Z
2 `
k
ak =
x dx.
f (x) sin
` 0
`
Si en vez de condiciones de borde de tipo Dirichlet imponemos las
condiciones iniciales, y de borde de aislamiento,
(1.19)

T (x, 0) = T0 (x),

Tx (0, t) = 0,

Tx (`, 0) = 0.

llamadas condiciones de borde de tipo Neumann, vemos que entre


las soluciones basicas, aquellas admisibles son k N {0} y


2 2
k
k 2 t
x .
Tk (x, t) = e ` cos
`
de modo que la serie
(1.20)

T (x, t) =

X
k=0

bk e

2 2
t
`2


cos

k
x
`

sera solucion de la ecuacion (1.15) con condiciones iniciales y de borde


(1.19), siempre que



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

obtenemos que los coeficientes ak en (1.17) se calculan como




Z
Z
2 `
k
1 `
bk =
f (x) cos
x dx, k 1, b0 =
f (x) dx
` 0
`
` 0
Los dos casos retratados pueden ser considerados como un caso
especial de una funcion f(x) definida en el intervalo [`, `] obtenida
como extension de f (x), respectivamente impar y par definidas por

f (x)
si x [0, `]

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

La pregunta mas general es si una funcion f (x), definida en [`, `]


admite una expansion del tipo

(2.24)

f (x) =




k
2k
x + bk cos
x ,
`
`

ak sin

k=0

x [`, `].

Tomando en consideracion el hecho que






Z `
k
j
sin
x cos
x dx = 0,
`
`
`
obtenemos las formulas
1
ak =
`

(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

Es importante notar que si f es impar en [`, `], f (x) = f (x),



R`
entonces bk = 0 y ak = 2` 0 f (x) sin k
x dx, y recuperamos la serie
`
de senos (1.17). Similarmente, si f es par, recuperamos la serie de
cosenos (1.21)
Ejemplo 2.1. Encuntre la serie de Fourier de f (x) = x en [`, `]
Soluci
on Tenemos que la serie es de senos solamente, por la imparidad
de f . Calculemos






Z `
Z `
`
`
k
k
k
x=`
x dx =
x cos
x |x=0 +
x dx =
x sin
cos
`
k
`
2k 0
`
0
`2
`2
cos(k) = (1)k1 .
k
k
2`
Por lo tanto ak = (1)k1 k
. La serie de Fourier de f (x) = x es



k
2` X (1)k1
sin
x
(2.27)
S(x) =
k=1
k
`

Ejemplo 2.2. Encuntre la serie de Fourier de f (x) = x2 en [`, `]


Soluci
on Tenemos que la serie es de cosenos solamente, por la paridad
de f . Calculemos
Z
1 ` 2
`2
b0 =
x dx = .
` 0
3
Para k 1,






Z
Z `
2 ` 2
k
k
2 2
k
` 4
bk =
x cos
x sin
x dx =
x sin
x
x dx =
` 0
`
k
`
`
0 k 0






Z `
4`
2 2
k
4`
k
k
`
x sin
x + 2 2 x cos
x 2 2
cos
x dx =
k
`
k
`
k 0
`
0






2 2
k
4`
k
4`2
k
4`2
`
x sin
x + 2 2 x cos
x 3 3 sin
x = 2 2 (1)k .
k
`
k
`
k
`
k
0
As, la serie de Fourier de f (x) = x2 en [`, `] esta dada por



`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

y llegaramos a la hermosa formula

X
1
2
=
k2
6
k=1

(2.29)

Ejemplo 2.3. Consideremos ahora la funcion discontinua, definida


en [`, `],

`
si ` x < 0,
f (x) =
2x
si 0 x `.
Encuentre su serie de Fourier.
Soluci
on Encontremos primero los coeficientes para los cosenos.

Z 0
Z `
1
xdx = `.
b0 =
`dx + 2
2` `
0
Para k 1,
1
bk =
`

Z


2x cos

k
x
`

dx +


` cos

k
x
`


dx

La segunda integral es claramente cero. La primera,








Z `
Z `
k
k
`
k
`2
x=` `
x cos
sin
x dx =
x sin
x
x dx = 2 2 [cos (k) 1] .
`
k
`
`
k
x=0 k 0
0
As,
bk =


2` 
k
(1)

1
.
k22

Por otra parte, para k 1,


Z `



 
Z 0
1
k
k
ak =
2x sin
x dx +
` sin
x dx
` 0
`
`
`
La primera integral la calculamos en un ejemplo anterior:


Z
1 `
k
2`
2x sin
x dx = (1)k
` 0
`
k
La segunda,
`2

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

La serie de Fourier de f (x) es entonces


(2.30)
 X




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

El metodo de separacion de variables se extiende a otros contextos.


Por ejemplo
3.1. la Ecuaci
on de ondas unidimensional o Ecuaci
on de
la cuerda vibrante. Esta es la ecuacion
utt = uxx ,

x [0, `],

t>0

En este caso, una cuerda de extremos fijos 0 y ` en el eje x, se describe en


su deformacion vibratoria en el instante t como una funcion y = u(x, t)
con u(0, t) = 0 = u(x, `) las soluciones basicas de variables separables
se calculan escribiendo u(x, t) = v(x)w(t). Sustituyendo obtenemos la
relacion
w00 (t)
v 00 (x)
=
=
w(t)
v(x)
Buscando soluciones acotadas, esto se logra con > 0. Las soluciones
separadas ahora son

sin( t) sin( x), sin( t) cos( x),

cos( t) sin( x), cos( t) cos( x).

Para lograr la validez de las condiciones de borde, necesitamos = k


`
y seno en la variable espacial. As, la solucion se expresa como







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
`


.

3.2. El Problema de Dirichlet para la Ecuaci


on de Laplace. Esta es la ecuacion
u in
u=g

on

3.2.1. Rectangulo. Si por ejemplo es el rectangulo (0, )(0, `) y


se supone como dato conocido los valores de borde g(0, y) = 0, g(, y) =
0, g(x, 0), g(x, `), entonces podemos aplicar el metodo de separacion
de variables.
v 00 (x)
w00 (y)
=
=
v(x)
w(y)

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

sin(kx)(ak ek` + bk ek` )

k=1

Suponiendo que los datos pueden expandirse como


g(x, 0) =

X
k=1

dk sin(kx),

g(x, `) =

ek sin(kx)

k=1

obtenemos que (ak , bk ) se obtiene luego de resolver el sistema



   
1
1
ak
d
= k .
k`
k`
bk
ek
e
e


3. OTRAS EDP CLASICAS

83

3.2.2. banda semi-infinita. Si = (0, ) (0, ) e imponemos


condiciones laterales iguales a cero, y en y = 0 una funcion g(x, 0)
dada, mas la restriccion global que la solucion sea acotada, vemos que
la u
nica combinacion admisible es

X
u(x, y) =
ak sin(kx)eky .
k=1

con
g(x, 0) =

ak sin(kx).

k=1

3.2.3. Un disco. Consideremos ahora el caso en que = D(0, 1) y


la condicion de borde es una funcion g() dada. En este caso, bucamos
soluciones de la forma
u(r, ) = v(r)w().
El Laplaciano en coordenadas polares es
ur u
u(r, ) = urr +
+ 2,
r
r
como se obtiene de la expresion (7.19) en cilndricas, y la separacion
de variables nos conduce a
r2 00
1
w00 ()
(v (r) + v 0 (r)) =
=
v(r)
r
w()
Como necesitamos que w() sea 2-periodica, esto nos fuerza a = k 2 ,
k = 0, 1, 2, . . . y
1
k2
w00 + k 2 w = 0, v 00 (r) + v 0 (r) 2 v(r) = 0.
r
r
lo que conduce a
w() = sin , cos ,

v(r) = rk , rk

La funcion rk no es admisible si queremos una solucion definida en


todo el disco. Entonces, buscamos una solucion de la forma

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).