Calculo Avanzado PDF

Notas para el Curso Cálculo
Avanzado MA2002
Manuel del Pino

Departamento de Ingenierı́a Matemática and CMM, Uni-
versidad de Chile, Casilla 170 Correo 3, Santiago, Chile.
E-mail address: delpino@dim.uchile.cl
Índice general
Prefacio 5
Capı́tulo 1. Elementos de Cálculo Vectorial 7
1. Integración sobre curvas en RN 7
2. Campos vectoriales conservativos 12
3. El Teorema de Green 16
4. Integración sobre superficies 21
5. El Teorema de la divergencia 26
6. El Teorema de Stokes 34
7. Campos vectoriales en otros sistemas de coordenadas 37
8. Comentario: significado de divergencia y rotor 40
Capı́tulo 2. Funciones de variable compleja 43
1. Conceptos básicos 43
2. Funciones clásicas y sus derivadas 48
3. Integración compleja y fórmulas de Cauchy 55
Capı́tulo 3. Series de Fourier y Separación de variables en EDP 73
1. Separación de variables: motivación de las series de Fourier 73
2. Cálculo de algunas Series de Fourier 76
3. Otras EDP clásicas 81
3
Prefacio
La presente es una versión preliminar de un apunte para el curso de

Cálculo Avanzado, MA2002, de la Facultad de Ciencias Fı́sicas y Ma-
temáticas de la Universidad de Chile, que contiene elementos básicos
de Cálculo Vectorial, Funciones de Variable Compleja, y series de Fou-
rier con aplicación al método de separación de variables para algunas
EDPs clásicas.
5
Capı́tulo 1
Elementos de Cálculo Vectorial
Comenzamos por revisar algunos conceptos básicos concernientes

a integración en curvas (objetos unidimensionales en R2 y R3 ) y en
superficies (objetos de dos dimensiones en R3 ).
1. Integración sobre curvas en RN

Una curva continua en RN es un par (C, ~γ ), donde C = ~γ ([a, b]) y ~γ
es una función continua ~γ : [a, b] → RN , llamada una parametrización
de C,
γ1 (t)
 
~γ (t) =  ... 
γN (t)
Por simplicidad notacional, denotamos a menudo una curva (en que la
parametrización está subentendida) simplemente C. La curva se llama
simple si no tiene auto-intersecciones, esto es si su parametrización es
inyectiva. Llamamos a C una curva de clase C 1 si su parametrización
~γ : [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 condición 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 aquélla de ecuación
x = x0 + s~γ 0 (t0 ), s∈R
~γ 0 (t0 ) 6= 0 es un vector tangente a la curva. Fı́sicamente una curva
C puede representar la trayectoria recorrida por una partı́cula cuya
posición en el instante t es el punto x = ~γ (t). El vector ~γ 0 (t) representa
la velocidad de la partı́cula en ese instante. Es intuitivamente claro
que si la partı́cula se detiene en un instante dado, la trayectoria podrı́a
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 ecuación
7
8 1. ELEMENTOS DE CÁLCULO VECTORIAL
2
y = |x| 3 . Este lugar geométrico tiene una ”punta”, no siendo suave en
el origen.
En la práctica, consideraremos en este curso curvas C simples que
sean de clase C 1 por tramos, esto es, que admitan una parametrización
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 parametrización satisface
~γ (a) = ~γ (b). Le llamaremos cerrada simple si la restricción de la función
~γ al intervalo (a, b] es inyectiva.
Debemos observar que una curva dada puede ser recorrida en dos
sentidos opuestos, ya que si la parametrización ~γ : [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 parametrización le
llamamos orientación. A la curva parametrizada por ~γ ˜ le llamamos a
−
veces C o −C.
1.1. Concatenación de curvas. Si ~γ1 : [a1 , b1 ] → RN , ~γ2 :
[a2 , b2 ] → RN , 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 concatenación de k curvas Ci
como C1 + · · · + Ck .
1.2. Integración en Curvas. Comenzamos por definir la longi-

tud de la curva simple de clase C 1 C, parametrizada por ~γ , en el modo
siguiente:
Z b
`(C) = k~γ 0 (t)k dt
a
Explı́citamente,
q
k~γ 0 (t)k = ~γ10 (t)2 + · · · + ~γN
0
(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)
d`(t) = k~γ (t + dt) − ~γ (t)k =
dt = k~γ 0 (t)k dt.
dt
1. INTEGRACIÓN SOBRE CURVAS EN RN 9
Sea f : C → R una función 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 a
Si f (x) designa densidad de masa (masa por Runidad de longitud) en el
alambre C, en el punto x de éste, la cantidad C f d` representa la masa
total del alambre.
Como es natural, la noción de integral sobre la curva C es inde-
pendiente de la parametrización utilizada. Si ~γ˜ : [ã, b̃] → RN es otra
parametrización inyectiva de la misma curva C, debemos probar que
Z b Z b̃
(1.1) 0
f (~γ (t)) k~γ (t)k dt = f (~γ˜ (τ ))k~γ˜ 0 (τ )k dτ.
a ã
En efecto, la ecuación
~γ˜ (τ ) − ~γ (t) = 0,
tiene una única solución τ = τ (t) ∈ [ã, b̃]. La función τ : [a, b] → [ã, b̃]
es biyectiva. Aceptando que esta función es de clase C 1 (este hecho se
puede probar fácilmente en base al teorema de la función implı́cita), 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
f (~γ (t)) k~γ (t)k dt = ˜ ˜ 0 0
f (~γ (τ (t))) k~γ (τ (t)) k |τ (t)| dt = f (~γ˜ (τ ))k~γ˜ 0 (τ )k dτ
a a ã
con lo que (1.1) está demostrado.
Si tenemos que C es la concatenación 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 parametrización ~γ : [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) = .
k~γ 0 (t)k
Este objeto define un campo vectorial sobre C, esto es, una función
t̂ : C → RN , x 7→ t̂(x) continua, que no depende de la parametriza-
ción particular que se escoja, excepto los puntos inicial x0 = γ(a) y
x1 = γ(b). En otras palabras, t̂ solo depende de la orientación en que

se recorre la curva. Hay dos orientaciones posibles para la curva: La
orientación opuesta a la de una parametrización dada ~γ : [a, b] → RN ,
es aquélla asociada a la parametrización ~γ˜ (t) := ~γ (b + a − t). En efecto,
se verifica de inmediato que el vector tangente unitario en x ∈ C para
esta parametrización 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 función continua F~ : A ⊂
RN → RN . Es común pensar a F~ como una función 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 canónica. Para A ⊂ R3 escri-
bimos 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 Z Z b
~ :=
F~ · dl F~ · t̂ dl = F~ (~γ (t)) · ~γ 0 (t) dt.
C C a
La cantidad anterior es independiente de la parametrización utilizada
que tenga asociada el mismo vector tangente unitario t̂, esto es, con
igual orientación. 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 C
Si C es una curva cerrada simple, la integral de lı́nea se suele denotar
~ ~ y es común también llamarle la circulación del campo F~ a lo
H
C
F · dl,
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
1. INTEGRACIÓN SOBRE CURVAS EN RN 11
I I
~ =−
F~ · dl ~
F~ · dl.
C C
Ejemplo 1.1. Considere las curvas planas C1 , C2 y C3 que unen los

puntos (−2, 0) y (0, 2) respectivamente parametrizadas por
π
~γ1 (t) = (t − 2, t), t ∈ [0, 2] ~γ2 (t) = (2 sin t, 2 cos t), t ∈ [− , 0],
2
~γ3 (t) = (2t, 2(t + 1)2 ), t ∈ [−1, 0].

~ i = 1, 2, 3.
Sea F~ (x, y) = (2xy, x2 + 1). Calcule Ci F~ · dl,
R
Solución Tenemos que F (~γ1 (t))·~γ10 (t) = (2(t−2)t, (t−2)2 +1)·(1, 1) =

2(t − 2)t + (t − 2)2 + 1, de modo que
Z Z 2 Z 2
~ =
F~ · dl F (~γ1 (t)) · ~γ10 (t) dt = [2(t − 2)t + (t − 2)2 + 1] dt =
C1 0 0
2t3 (t − 2)3 2
− 2t2 + + t = 2.

3 3 0
En modo similar, obtenemos
Z Z 0 Z 0
~ =
F~ ·dl F (~γ2 (t))·~γ20 (t) dt = (8 sin t cos t, 4 sin2 t+1)·(2 cos t, −2 sin t) dt =
C2 − π2 − π2
0
cos3 t
Z
16 0
(16 sin t cos2 t−8 sin3 t−2 sin t) dt = − cos3 t+8(cos t− )+2 cos t π = 2.

− π2 3 3 −2
Por otra parte
Z Z 0 Z 0
~ =
F~ ·dl F (~γ3 (t))·~γ30 (t) dt = (8t(t+1)2 , 4t2 +1)·(2, 4(t+1)) dt =
C3 − π2 −1
Z 0 Z 0
2 2 1
(16t(t+1) +16t (t+1))+4(t+1)) dt = 16 (2t3 +3t2 +t+ (t+1)) dt = 2.
−1 −1 4
~ =2
La pregunta obvia que surge, es si el resultado común C F~ · dl
R
es una coincidencia, o si resultarı́a en verdad el mismo para cualquier
elección C de camino (orientado) que una los puntos (−2, 0) y (0, 2).
2. Campos vectoriales conservativos

Un campo vectorial en que la integral de trabajo sólo dependa de
los puntos inicial y final del camino que les une se llama conservativo.
El siguiente ejemplo clarifica el fenómeno del campo vectorial anterior.
Ejemplo 2.1. Sea Ω ⊂ RN un abierto. Consideremos un campo

vectorial F~ : Ω ⊂ RN → RN con la siguiente propiedad: Existe una
función 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 .
Solución 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 (t) = (γ1 (t), . . . , γN (t)) γ10 (t) + · · · + 0
(γ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 cálculo, obtenemos que
Z Z b Z b
~ ~
F · dl = ~ 0
F (~γ (t)) · ~γ (t) dt = φ0 (t) dt = φ(b) − φ(a),
C a a
de modo que, como φ(b) = f (x1 ), φ(a) = f (x0 ),
Z
~ = f (x1 ) − f (x0 ).
F~ · dl
C
Ası́, la integral de lı́nea depende sólo de los puntos inicial y final del
camino, y no del camino especı́fico 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
(x, y) = 2xy + 1 y ∂f
∂y
(x, y) = x2 . Ası́, para todo
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 cálculos del Ejemplo 1.1.
Definición 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 función 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 función f se denomina potencial del campo F~ .
Ası́, hemos demostrado que para un campo conservativo, las inte-
grales de lı́nea 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
H particular, si la curva C es cerrada, esto es, x0 = x1 , tenemos que

En
~ = 0.
F~ · dl
C
De hecho, se tiene más la validez de la afirmación recı́proca 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 Ω.
Proposición 2.1. Sea Ω ⊂ RN un abierto conexo ~ N
H yF :Ω⊂R →
R un campo vectorial continuo. Supongamos que C F~ · dl
N ~ = 0 para
toda curva cerrada C contenida en Ω. Entonces F~ es conservativo en
Ω.
Demostración Fijemos un punto x0 en Ω. Sea x ∈ Ω, y γx : [0, 1] →
Ω de clase C 1 , la parametrización de una curva C x con γx (0) = x0 ,
γx (1) = x. Definamos f (x) := C x F~ · dl ~ . Esta es una buena definición,
R
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
parametrizada por γ es cerrada, y luego C F~ · dl ~ = 0. Se sigue que
H
R2
0
F~ (γ(t)) · γ 0 (t) dt = 0, esto es
Z 1 Z 2
~ 0
F (γ1 (t)) · γ1 (t) dt + F~ (γ2 (2 − t)) · γ20 (2 − t) dt = 0.
0 1
Cambiando variables 2 − t = τ en la segunda integral obtenemos

Z 1 Z 1
F~ (γ1 (t)) · γ1 (t) dt −
0
F~ (γ2 (τ )) · γ20 (τ ) dt = 0
0 0
~ − x F~ · dl
y entonces C x F~ · dl ~ = 0. En efecto, observemos que C es la
R R
1 C2
concatenación C = C1x + (−C2x ).
Fijemos x y una bola B(x, δ) ⊂ Ω. Para |t| < δ, y el vector ej de la
base canónica, calculemos f (x+te) usando un camino C x+te constituido
por una curva C x que une x0 y x, la cual se continúa por el segmento
de recta x + τ ej , τ ∈ [0, t]. De este modo, tenemos que
Z t
f (x + tej ) − f (x) = F~ (x + τ ej ) · ej dτ
0
Del teorema fundamental del cálculo obtenemos entonces que
d
f (x + tej ) = Fj (x + tej ),
dt
∂f
y por lo tanto, evaluando en t = 0, ∂x j
(x) = Fj (x), esto es ∇f (x) =
F~ (x).
Preguntas que surgen naturalmente son las siguientes: ¿Cómo de-

terminar si un campo vectorial dado F~ es conservativo? Y en tal ca-
so: ¿Cómo encontrar el potencial asociado? Una condición necesaria
está dada por el siguiente resultado:
Proposición 2.2. Sea Ω un abierto de RN y F~ : Ω ⊂ RN → RN
un campo vectorial de clase C 1 (Ω). Si F~ es conservativo, entonces su
matriz derivada N × N , F~ 0 (x) es simétrica.
Demostración. Tenemos que
∂ 2f

∂F i ∂ ∂f
[F~ (x)]ij =
0
(x) = (x) = (x)
∂xj ∂xj ∂xi ∂xj ∂xi
2f
y, del mismo modo, [F~ 0 (x)]ji = ∂x∂i ∂xj
(x). Por otra parte, f es de clase
2
C (Ω), por ende el teorema de Schwartz nos dice que las segundas
2f
derivadas parciales son intercambiables. Esto asegura que ∂x∂i ∂x j
(x) =
2
∂ f
(x) en todo x ∈ Ω, de modo que [F~ 0 (x)]ij = [F~ 0 (x)]ji .
∂xj ∂xi

Es natural preguntarse si la simetrı́a de la derivada es también
condición 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) y x
F (x, y) = , p(x, y) = − , q(x, y) = .
q(x, y)) x2 + y2 x2 + y2
2. CAMPOS VECTORIALES CONSERVATIVOS 15
Muestre que la matriz F~ 0 (x, y) es simétrica en todo punto, pero que F~

no es conservativo en R2 \ {(0, 0)}.
Solución. Tenemos que

" #
∂p ∂p
(x, y) (x, y)
F~ 0 (x, y) = ∂x
∂q
∂y
∂q
∂x
(x, y) ∂y
(x, y)
∂p ∂q
de modo que esta matriz es simétrica si y sólo si ∂y
= ∂x
. Tenemos en
efecto que
∂p y 2 − x2 ∂q
(x, y) = 2 2 2
= (x, y) para todo (x, y) ∈ R2 \ {(0, 0)}.
∂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 0
Z 2π
1
2 (− sin t, cos t) · (− sin t, cos t) dt = 2π.
0 sin t + cos2 t
Ası́ para cierta curva cerrada simple C ⊂ R2 \ {(0, 0)}, se tiene que
~ 6= 0. Por lo tanto F~ no es conservativo en esta región.
F~ · dl
H
C

La caracterı́stica 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 región. Por
ejemplo, se verifica de inmediato que la función f (x, y) = arctan( xy )
definida en Ω = {(x, y) / x > 0} es un potencial para f . En efecto,
∂f y 1 y ∂f 1 1 x
(x, y) = − 2 y 2 = − 2 , (x, y) = 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 condición de matriz Jacobiana simétrica 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 es-
trellado. Sea F~ : Ω ⊂ RN → RN . un campo vectorial de clase C 1 (Ω)
tal que la matriz F~ 0 (x) es simétrica en todo x ∈ Ω. Entonces F~ es
conservativo en Ω.
Demostración. Supongamos que Ω es estrellado respecto a x0 , y con-

sideremos la función f : Ω → R definida por
Z 1 N
X Z 1
f (x) = F (x0 +t(x−x0 ))·(x−x0 ) dt = (xj −x0j ) Fj (x0 +t(x−x0 )) dt.
0 j=1 0
Afirmamos que F (x) = ∇f (x). En efecto,
(2.2)
Z 1 N
X Z 1
∂i f (x) = Fi (x0 +t(x−x0 )) dt + (xj −x0j ) ∂i Fj (x0 +t(x−x0 )) t dt.
0 j=1 0
Por otra parte, ∂i Fj = ∂j Fi , por lo que

XN Z 1
(xj − x0j ) ∂i Fj (x0 + t(x − x0 )) t dt =
j=1 0
Z 1 N
X
[ ∂j Fi (x0 + t(x − x0 ))(xj − x0j )] t dt =
0 j=1
Z 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 0
A partir de esta relación y (2.2), obtenemos entonces que ∂i f (x) =
Fi (x), y por lo tanto que ∇f = F~ , como deseábamos.
3. El Teorema de Green
Centraremos a continuación nuestra atención 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 asimetrı́a de la matriz Jacobiana de F~ está reflejada por la can-
tidad ∂Q
∂x
− ∂P
∂y
, y es natural que esté entonces de algún modo vinculada
~ sobre una curva cerrada sim-
con el valor de la integral de lı́nea C F~ · dl
H
ple C contenida en Ω. El modo preciso en que esto sucede es el Teorema
de Green, el que enunciamos a continuación.
3. EL TEOREMA DE GREEN 17
Teorema 3.1 (Teorema de Green). Sea D ⊂ Ω un abierto cu-

ya frontera ∂Ω puede parametrizarse como una curva C 1 por tramos,
cerrada simple C. Entonces
I Z Z
~ = ∂Q ∂P
F~ · dl − dx dy .
C D ∂x ∂y
Demostración La realizaremos en un dominio D de una clase amplia:
aquellos que se pueden escribir como uniones finitas de regiones básicas
de tipos 1 y 2. Decimos que D es una región de tipo 1, si tiene la forma
(3.3) D = {(x, y) / a ≤ x ≤ b, g(x) ≤ y ≤ h(x)}

1
donde h y g son funciones de clase C ([a, b]). Análogamente, decimos
que D es de tipo 2 si tiene la forma
(3.4) D = {(x, y) / a ≤ y ≤ b, g(y) ≤ x ≤ h(y)}.
Supongamos que D tiene la forma (3.3). Entonces,
Z Z Z b Z h(x)
∂Q ∂P ∂Q ∂P
− dx dy = − ( dy) dx =
D ∂x ∂y a g(x) ∂x ∂y
Z b Z b Z h(x)
∂Q
[P (x, g(x)) − P (x, h(x))] dx + ( dy) dx.
a a g(x) ∂x
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) g(x) ∂x
y por ende
Z b Z h(x)
∂Q
dx (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.
g(b) g(a) a
Ası́, tenemos,
Z Z Z b
∂Q ∂P
− dx dy = [P (x, g(x)) − P (x, h(x))] dx+
D ∂x ∂y a
(3.5)
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.
g(b) g(a) a
Por otra parte,

∂D = C = C1 + C2 + C3 + C4 .
donde, para tener el sentido de recorrido antihorario, las curvas Ci se

parametrizan del modo siguiente:
γ1 (t) = (t, g(t)), t ∈ [a, b], γ2 (t) = (b, t), t ∈ [g(b), h(b)],
γ3 (t) = (b + a − t, h(b + a − t)), t ∈ [a, b],
γ4 (t) = (a, h(a) + g(a) − t), t ∈ [g(a), h(a)].
Entonces
I 4 Z
X 4 Z
X
~ =
F~ · dl ~ =
F~ · dl F~ (γi (t)) · γi0 (t) dt.
C i=1 Ci i=1
Tenemos
Z b Z b
F~ (γ1 (t)) · γ1 (t) dt =
0
[ P (x, g(x)) + Q(x, g(x))g 0 (x)] dx,
a a
Z h(b) Z h(b)
F~ (γ2 (t)) · γ20 (t) dt = Q(b, y) dy,
g(b) g(b)
Z b Z b
F~ (γ3 (t)) · γ30 (t) dt = − [ P (x, h(x)) + Q(x, h(x))h0 (x)] dx,
a a
Z h(a) Z h(a)
F~ (γ4 (t)) · γ40 (t) dt =− Q(a, y) dy.
g(a) g(a)
Combinando estas relaciones con (3.5), obtenemos, como se deseaba,

Z Z I
∂Q ∂P ~
− dx dy = F~ · dl.
D ∂x ∂y C
El teorema de Green se verifica entonces en regiones de tipo 1, esto es

de la forma (3.3). Exacamente los mismos cálculos, conducen a que el
teorema vale también en una región 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 Z Z Z Z Z
+ ~ =
F~ · dl + + + ~
F~ · dl
C1 C2 C1 \C2 C0 −C0 C2 \C1
en que −C0 designa a la curva C0 recorrida en la dirección opuesta. Por

lo tanto
Z Z Z Z Z
(3.7) + ~ =
F~ · dl + ~ =
F~ · dl ~
F~ · dl.
C1 C2 C1 \C2 C2 \C1 C
Usando esta fórmula, es imediato probar lo siguiente: Si D̄ = D̄1 ∪

D̄2 ∪· · ·∪ D̄k , 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 k Z
X
~ =
F~ · dl ~
F~ · dl.
C i=1 Ci
Como además,
Z Z k Z Z
∂Q ∂P X ∂Q ∂P
− dx dy = − dx dy,
D ∂x ∂y i=1 Di ∂x ∂y
el resultado se sigue de inmediato.
Gracias al Teorema de Green, tenemos el siguiente corolario, que

entrega una condición suficiente sobre un abierto conexo Ω ⊂ R2 de ma-
nera que un campo vectorial C 1 (Ω) con matriz Jacobiano simétrica sea
conservativo. Ω se dice simplemente conexo si si toda curva C 1 , cerrada
simple contenida en Ω, encierra una región 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
∂x
− ∂P
∂y
= 0 en
~
Ω. Entonces F es conservativo.
Demostración En efecto, gracias al teorema de Green, la integral de

linea sobre toda curva cerrada del campo es cero, y el resultado se sigue.
Ejemplo 3.1. Sea ~γ : [0, 2] → R2 una parametrización de la curva

C definida por

 (t − 1, t2 ) si t ∈ [0, 1],
~γ (t) = = (t − 1, 1 + (t − 1)3 ) si t ∈ [1, 2] .
2
 (t, 6 − 2t) si t ∈ [2, 3]
~
R
Calcule C (y, −x) · dl.
Solución F~ = (P, Q) = (−y, x) entonces ∂Q

∂x
− ∂Q
∂y
= −2. Entonces
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 región
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 región que contiene a C1 y a C2 (supuestas con orientación
positiva), entonces
I I Z Z
~ − ~ = ∂Q ∂P
F~ · dl F~ · dl −
C1 C2 D ∂x ∂y
en que D es la región anular entre las dos curvas.
Solución 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 orientación 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
− = − + − =
D ∂x ∂y D1 ∂x ∂y D2 ∂x ∂y
Z Z Z Z
~
F~ · dl + ~
F~ · dl − ~
F~ · dl + ~ =
F~ · dl
C3 (C1 ∪−C2 )\D2 C3 (C1 ∪−C2 )\D1
I I
~ −
F~ · dl ~
F~ · dl.
C1 C2
4. INTEGRACIÓN SOBRE SUPERFICIES 21
4. Integración sobre superficies

4.1. Definición de superficie e integral. Sea D un conjun-
to abierto y acotado en R2 . Una superficie de clase C1 en R3 es un
conjunto de la forma
S=ϕ ~ (D)
dotado de una parametrizacón ϕ ~ , donde ϕ~ : (u, v) ∈ D → ϕ ~ (u, v) ∈ R3 ,
1
es una función 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 condición, 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 dirección
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 su-
perficie), está dado por ~tu × ~tv , ası́, un vector normal unitario es
~tu × ~tv
n̂ = .
k~tu × ~tv k
Tal como definimos longitud en una curva, lo hacemos a continua-
ción con el área de la superficie S:
Z Z
A(S) := k~tu × ~tv k du dv.
D
El elemento de área dA(u, v) está naturalmente representado por el
área del “elemento de superficie”, dado por el paralelógramo de lados
~ (u + du, v) − ϕ
ϕ ~ (u, v) y ϕ~ (u, v + dv) − ϕ~ (u, v). Esta área 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 nor-
mal unitario. Una superficie en la que pueden distinguirse dos lados, se
denomina orientable, y en tal caso la elección de vector normal unitario

(apuntando en una dirección o la opuesta), define la orientación.
En modo natural, para una función continua f : S → R, se define
la integral de f sobre S como
Z Z Z Z
∂ϕ
~ ∂ϕ ~
f (x) dA := f (~
ϕ(u, v))
× du dv.
S D ∂u ∂v
Ejemplo 4.1. Calcule el centro de gravedad de la mitad de una
esfera de radio R.
Solución Sea S = {(x, y, z) / z ≥ 0, x2 + y 2 + z 2 = R2 }. El centro
de masa del S es por definición el punto
Z Z Z Z Z Z
1
(x̄, ȳ, z̄) = ( xdA, ydA, zdA).
A(S) S S S
Usemos coordenadas esféricas 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 área del semi-casquete esférico deviene
Z 2π Z π
2
2
A(S) = R dθ sin φ dφ = 2π R2 .
0 0
Por otra parte
π
Z Z Z 2π Z
2
Z Z
3
x dA = R dθ (cos θ sin φ) sin φ dφ = 0 = y dA,
S 0 0 S
π
Z Z Z 2π Z
2
3
z dA = R dθ cos φ sin φ dφ = πR3
S 0 0
y por lo tanto el centro de masa es el punto (0, 0, R2 ).
Ejemplo 4.2. Sea D un abierto en R2 y g : D 2

R R⊂ R → R una
1
función de clase C . Sea S el gráfico de g. Calcule S
f dA.
Solución Tenemos que una parametrización 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 0 1 ∂g
∂x ∂y
∂y
Por lo tanto
s 2 2
∂ϕ
~ ∂ ϕ
~ ∂g ∂g
∂x × ∂y = 1 + ∂x + ∂y dx dy
dA =
y
s 2 2
Z Z Z Z
∂g ∂g
f dA = f (x, y, g(x, y)) 1+ + dx dy.
S D ∂x ∂y
A manera de ilustración, calculemos el área y centro de masa del manto
del cono de revolución S de altura h y radio basal R. S puede describirse
como el gráfico de la función
p
x2 + y 2
g(x, y) = h(1 − ), (x, y) ∈ D = {(x, y) / x2 + y 2 ≤ R2 }.
R
Entonces
∂g h x ∂g h y
=− p , =− p
∂x R x2 + y 2 ∂y R x2 + y 2
Z Z r √
h2
Z Z
dA = 1 + 2 dx dy = πR h2 + R2 .
S D R
Por otra parte,
p r
x2 + y 2 h2
Z Z Z Z
zdA = h(1 − ) 1 + 2 dx dy.
S D R R
Usando coordenadas polares, obtenemos
r r
h2 2π
Z R
h2 R2
Z Z Z
r
zdA = 1+ 2 dθ h(1 − )r dr = πh 1 + 2
S R 0 0 R R 3
La coordenada z del centro de masa del manto es entonces
RR
zdA h
z̄ = R RS = ,
S
dA 3
independientemente del radio de la base.
Ejemplo 4.3. Considere la superficie de revolución S que se obtie-

ne de rotar en torno al eje z el gráfico de una función positivaRxR= g(z),
z ∈ [a, b], de clase C 1 . Encuentre una fórmula para A(S) = S
dA.
Solución S se parametriza, usando coordenadas cilı́ndricas del modo
siguiente:
ϕ
~ (θ, z) = (g(z) cos θ, g(z) sin θ, z), z ∈ [a, b], θ ∈ [0, 2π].
Tenemos ahora

∂ϕ
~ ∂ϕ~
î ĵ k̂
= −g(z) sin θ g(z) cos θ 0 = g(z) cos θî+g(z) sin θĵ−g(z)g 0 (z)k̂.

×
∂θ ∂z g 0 (z) cos θ g 0 (z) sin θ 1
Por lo tanto

∂ϕ
~ ∂ϕ ~ p
dA =
× = g(z) 1 + g 0 (z)2 dz dθ
∂θ ∂z
y
Z Z Z 2π Z b p Z b p
dA = g(z) 1 + g 0 (z)2 dz dθ = 2π g(z) 1 + g 0 (z)2 dz .
S 0 a a
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
R2 h
Z
z √
A(S) = 2πR 1 + 2 (1 − ) dz = πR h2 + R2
h 0 h
y recuperamos la fórmula obtenida en el ejemplo anterior.
4.2. Integral de flujo de un campo vectorial. En lo que si-

gue, consideraremos sólo superficies S parametrizadas, que sean orien-
tables, y donde se ha hecho una elección de vector normal n̂. A la
superficie con la orientación 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
~ : D → R es una parametrización de S y el
En modo explı́cito, si ϕ
vector normal (que define la orientación) tiene la dirección de ∂∂uϕ~ × ∂∂vϕ~ ,
entonces
Z Z Z Z
~ ~ ∂ϕ
~ ∂ϕ ~
F · n̂ dA = ϕ(u, v)) ·
F (~ × du dv .
S D ∂u ∂v
Si F~ denota el campo de velocidades de un fluı́do, entonces F~ ·n̂ dA

RR
S
representa el volumen del fluido que ha cruzado la celda S en una
unidad de tiempo.
2 2
Ejemplo 4.4. Sea Ω la región limitada por el cilindro
R R x +y =1
y los planos z = 0, z = x + 2. Sea S = ∂Ω. Calcule S
F~ · n̂ dA con
F~ = 2xî − 3y ĵ + z k̂, y n̂ la normal exterior.
Solución
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
Tenemos: Sobre S1 , n̂ = −k̂, y claramente tenemos

Z Z Z Z
F~ · n̂ dA = − (2x, −3y, 0) · k̂ dxdy = 0.
S1 x2 +y 2 ≤1
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 orientación según la normal exterior, y entonces
Z Z Z Z
F~ · n̂ dA = (2xî − 3y ĵ + (x + 2)k̂) · (k̂ − î) dxdy =
S3 x2 +y 2 ≤1
Z Z
(2 − x) dx dy = 2π.
x2 +y 2 ≤1
Por otra parte, en S2 tomemos la parametrización
ϕ(θ, 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
F~ ·n̂ dA = dθ (2 cos θî−3 sin θĵ+z k̂)(î cos θ+ĵ sin θ) dz =
S2 0 0
Z 2π
(2 cos2 θ − 3 sin2 θ)(cos θ + 2) dθ = −2π.
0
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 dimen-
siones. El primero de éstos 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 fron-
tera ∂Ω se parametriza por una curva C, orientada en la dirección
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 dirección exterior a Ω. Para un campo vec-
~ = (R, S) de clase C 1 (Ω) tenemos que
torial genérico G
Z Z Z
∂S ∂R
( − ) = (Rt1 + St2 ) dl
Ω ∂x ∂y C
Por lo tanto, escribiendo F~ = (P, Q) y G = (−Q, P ), obtenemos que

Z Z Z
∂P ∂Q
( + ) = (P n1 + Rn2 ) dl
Ω ∂x ∂y C
esto es
Z Z Z
(5.8) ∇ · F~ = F~ · n̂ dl
Ω C
En general, para un campo vectorial diferenciable F~ : Ω ⊂ RN →

RN escribimos
N
X ∂Fi
∇ · F~ (x) := (x) = tr(F~ 0 (x))
i=1
∂xi
y llamamos a esta cantidad la divergencia del campo F~ . Se denota tam-

bién a veces ∇ · F~ = div (F~ ). A la fórmula (5.8) le llamamos Teorema
de la divergencia en el plano. Como veremos, ésta se extiende na-
turalmente 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
(5.9) ~
∇·F = F~ · n̂ dA
Ω S
donde n̂ denota la normal unitaria exterior a Ω.
Demostración Como en el Teorema de Green, probaremos el resulta-
do en regiones básicas, de lo cual se deduce que Consideremos primero
una región 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 h(x,y)
Z Z Z Z Z g(x,y)
(R(x, y, g(x, y))−R(x, y, h(x, y))) dx dy+ dxdy (∂x P +∂y Q) dz.
D D h(x,y)
Observemos que
Z g(x,y) Z g(x,y)
∂x P (x, y, z)dz = ∂x P dz + P (x, y, g)gx − P (x, y, h)hx
h(x,y) h(x,y)
y
Z g(x,y) Z g(x,y)
∂y Q(x, y, z)dz = ∂x Q dz + Q(x, y, h)gy − Q(x, y, g)hy .
h(x,y) h(x,y)
De este modo,
Z Z Z g(x,y) Z Z Z g(x,y) Z g(x,y)
∂x P + ∂y Q = [∂x P dz + ∂y Qdz] +
D h(x,y) D h(x,y) h(x,y)
Z Z Z Z
P (x, y, g)gx − P (x, y, h)hx + Q(x, y, g)gy + Q(x, y, h)hy .
D D
Ahora, gracias al la versión 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) ∂D h(x,y) h(x,y)
donde por ν = (νx , νy ) denotamos el vector normal unitario exterior a

∂D y obtenemos
Z Z Z g(x,y)
(∂x P + ∂y Q + ∂z R) = I + II
D h(x,y)
donde Z Z g(x,y) Z g(x,y)
I= νxP + νy Q,
∂D h(x,y)
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 =
D
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 D
y vemos que
Z Z Z Z Z Z
I= (P, Q, R)·n̂ dA, II = (P, Q, R)·n̂ dA+ (P, Q, R)·n̂ dA,
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 entéramente simétrico, la fórmula (5.9) resulta ser válida 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)}.
Si Ω puede descomponerse como Ω̄ = ∪ki=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 razón es que las contribuciones a la integrales de las regiones Si ∩ Sj

F~ · n̂i y otra como F~ · n̂j . En
RR RR
aparecen una vez como Si ∩Sj Si ∩Sj
esta región se tiene que n̂i = −n̂j , y por ende estas contribuciones se
cancelan. De aquı́ se sigue la identidad, de la cual se deduce la validez

de (5.9) en toda región que es unión finita de regiones de tipo 1, 2 o
3.
F~ ·n̂ dA, respectivamente con F~1 = 2xî−

RR
Ejemplo 5.1. Calcule S
3y ĵ + z k̂ y F~2 = xî + y ĵ + z k̂, donde S es aquélla del Ejemplo 4.4.
Solución En lugar del cálculo directo del ejemplo, usemos el teorema
de la divergencia. Sea Ω la región encerrada por S. Entonces
Z Z Z Z Z
~
F1 · n̂ dA = ∇ · (2xî − 3y ĵ + z k̂) dx dy dz = 0
S Ω
pues ∇ · (2xî − 3y ĵ + z k̂) = 2 − 3 + 1 = 0. Recuperamos entonces el

resultado del ejemplo, con un cálculo mucho más sencillo.
En modo similar, obtenemos
Z Z Z Z Z
F~2 · n̂ dA = ∇ · (2xî − 3y ĵ + z k̂) dx dy dz =
S Ω
Z Z Z Z Z Z x+2
3 dx dy dz = 3 dx dy dz =
Ω x2 +y 2 ≤1 0
Z Z
3 (x + 2) dx dy = 6π.
x2 +y 2 ≤1
5.1. Operadores vectoriales. Aquı́ elaboramos un poco sobre

notación para operadores diferenciales. Es a veces conveniente escribir
(para funciones definidas en RN )
N
X ∂
∇= ei
i=1
∂xi
donde ei es el i-ésimo elemento de la base canónica,
ei = (0, · · · , 0, 1
|{z} , 0, · · · 0).
i-ésima 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 convención, operamos el
operador ∇ en el mismo modo que lo harı́amos con un vector. De este
modo, es natural escribir, para una función escalar f : Ω ⊂ RN → R,
N
X ∂f
∇f = ei
i=1
∂xi
y para un campo vectorial F~ : Ω ⊂ RN → RN ,

N
! N
! N
~ ~
X ∂ X X ∂Fi
div F = ∇ · F = ei · ei Fi = .
i=1
∂xi i=1 i=1
∂xi
Un operador de segundo orden de gran importancia es el Laplaciano
N
X ∂ 2f
2
∆f = ∇ f := ∇ · ∇f = = tr(f 00 (x)).
i=1
∂x2i
Para el caso especial N = 3, tenemos un operador más, llamado el rotor
de un campo vectorial. Si F~ = P î + Qĵ + Rk̂, entonces denotamos

~ ~ ~ ∂ ∂ ∂
rot (F ) = ∇ × F = î + ĵ + k̂ × 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 cuán asimétrica es la matriz

3 × 3 F~ 0 (x, y, z). En efecto, tenemos que
 
∂P ∂P ∂P
∂x ∂y ∂z
F~ 0 (x, y, z) =
 ∂Q ∂Q ∂Q 
 ∂x ∂y ∂z 
∂R ∂R ∂R
∂x ∂y ∂z
y las coordenadas de ∇× F~ corresponden precisamente a las diferencias

de las entradas de la matriz simétricas 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.
Solución Por el Lema de Poincaré, es suficiente verificar que la ma-
triz Jacobiana F~ 0 (x) = 0 es simétrica 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
F~ un campo vectorial de clase C 2 en Ω̄. Muestre que
Z Z
(∇ × F~ ) · n̂ dA = 0.
S
Solución Por el teorema de la divergencia, tenemos que

Z Z Z Z Z
(∇ × F~ ) · n̂ dA = ∇ · (∇ × F~ ).
S Ω
Por otra parte, si F~ = (P, Q, R), tenemos que

∂ ∂R ∂Q ∂ ∂P ∂R ∂ ∂Q ∂P
∇ · (∇ × F~ ) = ( − )+ ( − )+ ( − ).
∂x ∂y ∂z ∂y ∂z ∂x ∂z ∂x ∂y
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 elipo-

sidal S definido por la ecuación
x2 y 2 z 2
+ 2 + 2 =1
a2 b c
~ donde Φ(x, y, z) = (x + 1)2 + 2(y − 1)2 + z 2
RR
Calcule S
∇Φ · dA
2 2
Solución Sea S0 = {(x, y, 0) / xa2 + yb2 ≤ 1}, superficie que considera-
mos dotada de su normal exterior −k̂ . Ahora,
∇Φ = (2(x + 1), 4(y − 1), 2z), ∇2 Φ = 2 + 4 + 2 = 8.
2 2 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 Ω Ω
RR
Por otro lado ∇Φ · k̂ = 0 en S0 y entonces S0
∇Φ · n̂dA = 0. Por otro
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 = 4πabc.
Ω D
Concluimos que
Z Z Z Z
∇Φ · n̂dA = ∇Φ · n̂dA = 4πabc.
S S+S0
Ejemplo 5.5. Sea

1 ~x
F~ (x, y, z) = (P, Q, R) = 3 (x, y, z) = .
(x2 + y 2 + z 2 ) 2 k~xk3
y Ω ⊂ R3 un abierto con frontera suave ∂Ω, y tal que (0, 0, 0) ∈ Ω.
~
F~ · dA.
RR
Calcule ∂Ω
Solución Calculemos la divergencia de F~ . Vemos que

∂P 1 x2
= 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
tal que B̄(~0, δ) ⊂ Ω y la región Ωδ = Ω \ B̄(~0, δ). Tenemos que
Z Z Z Z Z
0= ∇ · F~ = F~ · n̂ dA =
Ωδ ∂Ωδ
Z Z Z Z
F~ · n̂ − 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,
1
F~ · n̂ = 3 (x, y, z) · δ −1 (x, y, z) = δ −2
(x2 + y2 + z2) 2
y entonces Z Z
F~ · n̂ dA = δ −2 4πδ 2 = 4π.
∂B(~0,δ)
En conclusión, tenemos que
~x · n̂
Z Z
dA = 4π .
∂Ω k~xk3
independientemente del dominio Ω que contenga a 0. Podemos observar
que, del mismo modo (verifique),

(~x − ~x0 ) · n̂
Z Z
0 si ~x0 6∈ Ω̄,
dA = .
∂Ω k~x − ~x0 k 3 4π si ~x0 ∈ Ω̄
A este último resultado se le conoce como fórmula de Gauss.
Ejemplo 5.6 (Fórmulas de Green). Sea Ω ⊂ R3 un abierto acotado
de frontera ∂Ω de clase C1 . Tenemos entonces que si u, v ∈ C 2 (Ω̄),
∂u
∂n
= ∇u · n̂, donde n̂ es la normal unitaria exterior entonces
Z Z Z Z Z Z Z Z
∂v
(5.10) u∆v = u dA − ∇u · ∇v
Ω ∂Ω ∂n Ω
Z Z Z Z Z
∂v ∂v
(5.11) (u∆v − v∆u) = (u − v ) dA .
Ω ∂Ω ∂ν ∂ν
Solución Para probar (5.10), consideremos el campo vectorial F~ =
u∇v. Entonces, vemos que
∇F~ = ∇ · (u∇v) = ∇u · ∇v + u∇ · (∇v) = ∇u · ∇v + u∆u.
Por el teorema de la divergencia, obtenemos
Z Z Z Z Z Z Z Z Z Z
~ ∂v
∇·F = ∇u·∇v+u∇·(∇v) = F~ ·n̂ dA = u dA .
Ω Ω ∂Ω ∂Ω ∂ν
y (5.10) queda demostrado. Notemos que (5.11) se sigue de (5.10) y de
la fórmula simétrica,
Z Z Z Z Z Z Z Z
∂u
v∆u = v dA − ∇v · ∇u .
Ω ∂Ω ∂n Ω
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 ecuación en derivadas
parciales con condición de borde,
(5.12) ∆u = f en Ω, u=g en ∂Ω.
Demuestre que si (5.12) posee una solución u ∈ C 2 (Ω̄), ésta es única.
Solución sean u1 , u2 ∈ C 2 (Ω̄) soluciones de (5.12). Entonces v :=
u1 − u2 satisface
(5.13) ∆v = 0 en Ω, v = 0 en ∂Ω.
Usando la fórmula de Green (5.10) obtenemos
Z Z Z Z Z Z Z Z
∂v
0= v∆v = v dA − ∇v · ∇v
Ω ∂Ω ∂n Ω
o sea, Z Z Z
|∇v|2 = 0.
Ω
Por lo tanto ∇v(x) = 0 para todo x ∈ Ω. Sea x0 ∈ ∂Ω y ~γ : [0, 1] → Ω
una parametrización 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.
0 dt 0
Por lo tanto v = u1 − u2 ≡ 0 y el resultado queda demostrado.

6. El Teorema de Stokes
A continuación consideraremos otra extensión del Teorema de Green
a mayores dimensiones. Para enunciarlo, recordemos que una superfi-
cie orientable S es una en la cuál pueden reconocerse dos lados, lo que
matemáticamente se escribe, afirmando la existencia de un campo vec-
torial 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 dirección 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
curva cerrada simple, C 1 , 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.
Z Z I
(6.14) (∇ × F~ ) · n̂ dA = ~ .
F~ · dl
S C
Demostración La haremos en el caso en que S es un gráfico de una

función g : D ⊂7→ R, de modo que la parametrización está dada por
~ : D ⊂ R2 → R3 , ϕ
ϕ ~ (x, y) = (x, y, g(x, y)). Supongamos (sin pérdida de
generalidad) que la función 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 . Tene-
mos, 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̃ S S0 S1
Notamos que en S0 , n̂ = −k̂. Escribamos F~ = P î + Qĵ + Rk̂ y recor-

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)·t̂dl = I
S0 D ∂x ∂y ∂D
6. EL TEOREMA DE STOKES 35
donde t̂ = (tx , ty ) es el vector tangente a ∂ en la orientación 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
Además, en S1 tenemos que n̂ = (νx , νy , 0), y luego
Z Z Z Z g(x,y)
∂R ∂Q ∂P ∂R
(∇ × F~ ) · n̂ = dl [( − )νx + ( − )νy ] dz =
S1 ∂D 0 ∂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 #
Z g(x,y) Z g(x,y)
∂R ∂R
(x, y, z) dz , − (x, y, z) dz ·ν dl = II+III.
∂D 0 ∂y 0 ∂x
Ahora, por el teorema de la divergencia plano, tenemos que
Z Z " Z g(x,y) Z g(x,y) #
∂ ∂R ∂ ∂R
III = (x, y, z) − (x, y, z) dz dx dy ,
D ∂x 0 ∂y ∂y 0 ∂x
o sea,
Z Z
∂R ∂R
III = (x, y, g)gx − (x, y, g)gy dx dy ,
D ∂y ∂x
mientras que
Z
I + II = d`[P (x, y, g(x, y))νy − Q(x, y, g(x, y))νx ] .
∂D
Z Z
III = [∂y (R(x, y, g)gx ) − ∂x (R(x, y, g)gy )] dx dy =
D
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 parametrización

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`
Por lo tanto,
Z Z Z Z Z
(∇ × F~ ) · n̂ + ~
(∇ × F~ ) · n̂ = I + II + III = − F~ · dl.
S0 S1 C
De aquı́, y (6.15), obtenemos la validez de (6.14) para esta región.

Podemos con esto, demostrar, en el modo “habitual”, el resultado en
regiones constituidas por uniones finitas de gráficos de funciones C 1 .

Ejemplo 6.1. Use el Teorema de Stokes para evaluar la integral de

~ donde F~ = −y 3 î + x3 ĵ − z 3 k̂. y C es la intersección del
lı́nea C F~ · d`
H
cilindro x2 + y 2 = 1 y el plano x + y + z = 1, orientada en dirección

antihoraria.
Solución Consideremos la superficie S = {x2 +y 2 ≤ 1, x+y+z = 1}.
Entonces, si n̂ es la normal hacia arriba de S, entonces
I Z Z
~ ~
F · d` = (∇ × F~ ) · n̂ dA .
C S
Tenemos
î ĵ k̂
∇ × F~ = ∂x ∂y ∂z = (3x2 + 3y 2 ) k̂.
∂ ∂ ∂

−y 3 x3 −z 3
S se parametriza por ϕ(x, y) = (x, y, 1−x−y), (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
(∇ × F~ ) · n̂ dA = (3x2 + 3y 2 ) k̂ · (î + ĵ + k̂) dx dy
y entonces
Z Z Z Z Z 2π Z 1
3
(∇×F~ )·n̂ dA = 2 2
(3x +3y ) dx dy = 3 r3 dr dθ = π,
S x2 +y 2 ≤1 0 0 2
o sea I
~ = 3π.
F~ · d`
C
Para verificar, hagamos el cálculo 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π
~ ~
F ·d` = (− sin3 t, cos3 t, −(1−sin t−cos t)3 )·(− sin t, cos t, sin t−cos t) dt =
C 0
Z 2π
1
sin4 t+cos4 t+(1−sin t−cos t)3 (sin t−cos t) dt = (1−sin t−cos t)4 +
0 4
Tenemos
Z 2π
1 2π
(1 − sin t − cos t)3 (sin t − cos t) dt = (1 − sin t − cos t)4 0 = 0
0 4
y
Z 2π Z 2π
1 2π 1 2π
Z Z
4 4 2 3π
cos t dt = cos t dt = (1+cos 2t) dt = (1+cos2 2t)dt =
0 0 4 0 4 0 4
y por lo tanto, F~ · d` ~ = 3 π.
H
C 2

7. Campos vectoriales en otros sistemas de coordenadas

En ciertos problemas, resulta natural que un campo vectorial F~ :
Ω ⊂ R3 → R3 se exprese en términos de una base ortonormal no sea
necesariamente la Euclideana, y que posiblemente varı́e de punto en
punto. Consideremos un sistema de coordenadas
~x = (x1 , x2 , x3 ) = ϕ
~ (u1 , u2 , u3 ) = ϕ ~ : D ⊂ R3 → R3 ,
~ (~u), con ϕ
una transformación inyectiva. Supongamos tambien que la matriz ϕ ~ 0 (~u)
∂ϕ~
es invertible. Más aun, supongamos que los vectores ∂ui (~u), i = 1, 2, 3
son ortogonales en todo ~u ∈ D. Definamos

∂ϕ
~ 1 ∂ϕ~
hi :=
∂ui , ûi := hi ∂ui , i = 1, 2, 3

Entonces, podemos expresar el vector gradiente de una función es-

calar f en el modo siguiente:
3
X
∇f (~x) = (∇f (~x) · ûi ) ûi , ~x = ϕ
~ (~u)
i=1
Por abuso de notación, escribimos a veces la función f en las coor-

denadas ~u, como f (~u), queriendo decir
f (~x(~u))), ~x(~u) = ϕ
~ (~u).
Por regla de la cadena, vemos entonces que
∂f
= hi ∇f · ûi .
∂ui
Entonces
3
X 1 ∂f
(7.16) ∇f = ûi .
i=1
hi ∂u i
Es común, y natural expresar a un campo vectorial en las coordenadas

~u, esto es términos de los vectores del triedro ûi , i = 1, 2, 3. Supongamos
que (expresado en las coordenadas ~u en vez de las cartesianas) tenemos
3
X
F~ (~u) = Fi (~u)ûi
i=1
Calculemos la divergencia en estas coordenadas. Notemos primero

que
ϕ0 (~u))| = h1 h2 h3 .
|det (~
Para una función ψ(~x) suave,
R que se anula fuera de un conjunto aco-
tado, tenemos escribiendo para designar integración 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 Z
− ∇ · (ψ F~ ) ψ h1 h2 h3 du = ∇ψ · F~ dx =
3 Z
X 1 ∂ψ
Fi h1 h2 h3 du =
i=1
hi ∂ui
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 û3 + F3 û3 +
F3 û3
(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 método podemos derivar otras fórmulas, por ejemplo para
calcular el Laplaciano de una función escalar f (~x) expresado en coor-
denadas ~u. Tenemos
3 3
!
X ∂ 2f X 1 ∂f
∆f = = ∇ · ∇f = ∇ · ûi .
i=1
∂x2i i=1 i
h ∂ui
De la formula (7.17) obtenemos entonces que

3
1 X ∂ 1 ∂f
(7.18) ∆f = h1 h2 h3 2 .
h1 h2 h3 i=1 ∂ui hi ∂ui
Se puede obtener también la siguiente fórmula para el rotor.

h1 û1 h2 û2 h3 û3
1 ∂
∇ × F~ = ∂ ∂

∂u1 ∂u2 ∂u3 .
h1 h2 h3

h1 F1 h2 F2 h3 F3
Esta fórmula corresponde al cálculo formal

~ 1 ∂ 1 ∂ 1 ∂
∇×F = û1 + û2 + û3 × (F1 û1 + F2 û2 + F3 û3 ).
h1 ∂u1 h2 ∂u2 h3 ∂u3
Junto con el sistema Cartesiano (î, ĵ, k̂), los principales sistemas de
coordenadas ortononales son las coordenadas cilı́ndricas y las esféricas.
7.0.1. Coordenadas cilı́ndricas. Recordemos que esta es la trans-
formación
~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.
Los vectores r̂, θ̂, ẑ son en efecto ortogonales, y para un campo vecto-
rial F~ = Fr r̂ + Fθ θ̂ + Fz ẑ tenemos
1 ∂ 1 ∂Fθ ∂Fz
∇ · F~ = (rFr ) + + .
r ∂r r ∂θ ∂z
De este modo, podemos también calcular el Laplaciano de una fun-
ción escalar f (r, θ, z). Usando la fórmula (7.18) obtenemos
∂ 2f ∂ 2f 1 ∂f 1 ∂ 2f
(7.19) ∆f = + + +
∂z 2 ∂r2 r ∂r r2 ∂θ2
7.0.2. Coordenadas esféricas. 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 función escalar f (ρ, θ, φ).
Usando la fórmula (7.18) obtenemos
∂ 2f

1 ∂ 2 ∂f 1 1 ∂ ∂f
∆f = 2 ρ + 2 2 + 2 sin φ .
ρ ∂ρ ∂ρ ρ sin φ ∂θ2 ρ sin φ ∂φ ∂φ
8. Comentario: significado de divergencia y rotor

Los teoremas de la divergencia y de Stokes, conducen a interpreta-
ciones 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 partı́cula arrastrada por el fluido en ese
punto avanza kF~ (x)k unidades de longitud por unidad de tiempo. Ası́,
R consideramos la bola B(x0 , r) = {x / kx − x0 k < r} tenemos que
si
∂B(x0 ,r)
F~ · n̂ representa el volumen neto del fluido que sale el casquete
esférico (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 más y más pequeño está medida pre-
cisamente por la divergencia del campo de velocidades en el punto x0
(de ahı́ el nombre divergencia). En términos precisos, tenemos que si el
campo F~ es de clase C 1 , entonces, por el teorema de la divergencia,
Z Z
1 1 4
lı́m 3 F~ · n̂ = lı́m 3 div F~ dx = πdiv F~ (x0 )
r→0 r ∂B(x0 ,r) r→0 r B(x0 ,r) 3
Entonces podemos decir que el flujo neto está aproximadamente medi-
do, para r muy pequeño, por la fórmula,
Z
4
F~ · n̂ ≈ πr3 div F~ (x0 )
∂B(x0 ,r) 3
1
F~ ·
R
El flujo neto por unidad de área está dado entonces por 4πr 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
Z Z
1 1
lı́m 2 F~ · t̂ d` = lı́m 2 (rot F~ ) · n̂dA = 4πrot F~ (x0 ) · e.
r→0 r ∂D(x0 ,r)+ r→0 r D(x0 ,r)
Ası́, la circulación del campo de velocidades a lo largo de la circunfe-

rencia ∂D(x0 , r) está dada por aproximación,
Z
F~ · t̂ d` ≈ 4πr2 rot F~ (x0 ) · e .
∂D(x0 ,r)+
Si rot F~ (x0 ) 6= 0, notemos que la dirección del eje e que maximiza

la circulación de F~ en torno a él es precisamente la del rotor, e =
rot F~ (x0 ) .
krot F~ (x0 )k
Capı́tulo 2
Funciones de variable compleja
1. Conceptos básicos
Consideraremos en este capı́tulo funciones f : Ω ⊂ R2 → R2 , donde
Ω es un abierto, que son diferenciables, pero de hecho con una noción de
diferenciabilidad más restrictiva que la habitual. Consideramos en este
capı́tulo 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 también tiene la siguiente útil representación
matricial en matrices columna

a −b c ac − bd
(1.1) =
b a d ad + bc
Denotando, en vez de la notación 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 número complejo z = x + iy es Re(z) := x y su

parte imaginaria, Im(z) := y.
El conjugado de z = x + iy es el número 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 expresión en términos
de números complejos:
(x1 , y1 ) · (x2 , y2 ) = x1 x2 + y1 y2 = Re(z1 z̄2 ),
donde z1 = x1 + iy1 , z2 = x2 + iy2 . Por ejemplo, la desigualdad de
Cauchy-Schwartz se lee |Re(z1 z̄2 )| ≤ |z1 | |z2 |. C dotado de las opera-
ciones de suma y producto es un cuerpo. 1 es el elemento neutro para
43
44 2. FUNCIONES DE VARIABLE COMPLEJA
la multiplicación. El inverso de un número complejo z = x + iy 6= 0 se

define como
z̄ x y
z −1 := = 2 − i .
z z̄ x + y2 x2 + y 2
y mas en general, el cuociente
a + bi 1
= 2 (ac + bd + i(bc − ad)).
c + di c + d2
1.1. Lı́mites y continuidad. Decimos que una suceción com-

pleja zn = xn + yn converge a z0 = x0 + iz0 , zn → z0 si
lı́m |zn − z0 | = lı́m k(xn , yn ) − (x0 , y0 )k.
n→∞ n→∞
Al coincidir el concepto de convergencia sucesiones en R2 y en C, te-

nemos automáticamente heredadas las nociones de abierto, cerrado, y,
muy importante, continuidad y lı́mites para funciones f : Ω ⊂ C → C.
No elaboraremos por ende mayormente en estos conceptos, asumiéndo-
los como comprendidos desde el curso anterior. Por ejemplo, suponga-
mos que Ω es un abierto, y que z0 ∈ Ω. Decimos que
lı́m f (z) = L ∈ C
z→z0
si y sólo si para toda sucesión zn → z0 con zn 6= z0 para todo n, se tiene

que f (zn ) → L. f es continua en z0 si se tiene que lı́mz→z0 f (z) = f (z0 ).
El álgebra compleja de lı́mites se prueba directamente a partir de
aquella en R2 . Por ejemplo, si
lı́m f1 (z) = L1 , lı́m f2 (z) = L2
z→z0 z→z0
se cumple que
(1.2) lı́m f1 (z) + f2 (z) = L1 + L2 , lı́m f1 (z)f2 (z) = L1 L2 .
z→z0 z→z0
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
lı́m (u1 u2 − v1 v2 )(x, y) = a1 b1 − a2 b2 ,
(x,y)→(x0 ,y0 )
lı́m (u1 v2 + u2 v2 )(x, y) = a1 b2 + a2 b2

(x,y)→(x0 ,y0 )
gracias al álgebra de lı́mites reales. Se sigue que lı́mz→z0 (p + iq) = L1 L2

1. CONCEPTOS BÁSICOS 45
1.2. Derivada en el sentido complejo. Consideremos una fun-

ción f : Ω ⊂ C → C, con Ω abierto. Decimos de f es derivable en el
sentido complejo en z0 ∈ Ω si el siguiente lı́mite existe:
f (z) − f (z0 )
f 0 (z0 ) = lı́m
z→z0 z − z0
Escribamos f (z) = u(z) + iv(z) con u y v funciones a valores reales.
Tenemos que
f (z) − f (z0 ) (f (z) − f (z0 ))(z̄ − z̄0 )
lı́m = lı́m
z→z0 z − z0 z→z0 |z − z0 |2
En particular, Escribamos z = z0 + t 1. Tenemos que
f (z0 + t1) − f (z0 ) ∂u ∂v
f 0 (z0 ) = lı́m = (z0 ) + i (z0 )
t→0 t ∂x ∂x
Por otro lado, si tomamos z = z0 + t i. Tenemos que
f (z0 + it) − f (z0 ) ∂v ∂u
f 0 (z0 ) = lı́m −i = (z0 ) − i (z0 )
t→0 t ∂y ∂y
Entonces, la conclusión es una importante restricción a derivadas par-
ciales de las funciones u y v en caso de que f sea derivable en el sentido
complejo:
∂u ∂v ∂v ∂u
f 0 (z0 ) = (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 cómo se relaciona la derivada compleja f 0 (z0 )
con la diferenciabilidad (en el sentido real) de la función 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

∂x ∂y
(x0 , y0 )
Df (x0 , y0 ) = ∂v ∂v
∂x
(x0 , y0 ) ∂y (x0 , y0 )
Hacemos la siguiente observación: si f 0 (z0 ) existe entonces la matriz
Df (x0 , y0 ) tiene la estructura especial
∂u ∂u
∂x
(x0 , y0 ) ∂y
(x0 , y0 )
(1.4) Df (x0 , y0 ) = ∂u ∂u
− ∂y (x0 , y0 ) ∂x
(x0 , y0 )
∂u
(x0 , y0 )(x − x0 ) + ∂u (x0 , y0 )(y − y0 )

x − x0 ∂x ∂y
Df (x0 , y0 ) = =
y − y0 − ∂u
∂y
(x0 , y0 )(x − x0 ) + ∂u
∂x
(x0 , y0 )(y − y0 )
volviendo a la notación 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 = lı́m =
z→z0 |z − z0 |

x − x0

f (x, y) − f (x0 , y0 ) − Df (x0 , y0 )

y − y0

lı́m .
(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 cálculos anteriores son reversibles, y de hecho también entregan
la condición recı́proca. En resumen, tenemos el siguiente resultado.
Proposición 1.1. f es derivable como función compleja en z0 si
y sólo si, la función f es diferenciable en el sentido real y su ma-
a −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 región Ω y u, v son además funciones de clase
C 2 (Ω), entonces las funciones u y v son armónicas, esto es
∆u = uxx + uyy = 0, ∆v = vxx + vyy = 0 en Ω.
Ejemplo 1.1. Considere la función f definida sobre C por
p
f (x + iy) = |x||y|,
donde x, y ∈ R. Muestre que f satisface las ecuaciones de Cauchy-
Riemann en el origen pero que f no es holomorfa en (0, 0).
Solución Es claro que las derivadas parciales existen y son todas igua-
les 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 )) = lı́m |e1 ||e2 |.
t→0 |t|
1. CONCEPTOS BÁSICOS 47
Este lı́mite de hecho no existe.
1.3. Forma polar. Es a menudo útil escribir números complejos

utilizando coordenadas polares, esto es x+iy = r cos θ+ir sin θ De gran
utilidad es la notación
eiθ = cos θ + i sin θ.
Esta notación 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 ) = eiθ1 eiθ2 .
Notemos que e2πi = e0 = 1 y que vale la famosa Ecuación de Euler:
eiπ + 1 = 0, que relaciona a los cinco números más importantes en
matemáticas. Ası́ tenemos que todo número complejo puede escribirse
como z = reiθ , r = |z|. Notemos también que z̄ = re−iθ . La notación
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 ecuación
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
algún k entero, nθ = 2kπ. Entonces necesitamos
k
θ = 2π ∈ [0, 2π) ⇐⇒ k = 0, ‘1, 2, . . . , n − 1.
n
Las raices de la unidad son entonces los n números complejos
k
zk = e2πi n , k = 0, 1, . . . n.
2. Funciones clásicas y sus derivadas
2.1. Funciones exponencial y logaritmo. La notación eiy ,

permite una extensión natural de la función exponencial real, x ∈ R 7→
ex a la función 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 función exponencial satisface
1
e0 = 1, ez1 +z2 = ez1 ez2 , = e−z .
ez
Verifiquemos que esta función es derivable en el sentido complejo. Para
ello, usemos la Proposición 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 función
es diferenciable
en el sentido real. Por otra parte esta matriz tiene la
a −b
estructura , por lo tanto f es derivable en el sentido complejo
b a
en z y
f 0 (z) = a + ib = ex cos y + iex sin y = ez .
Al hablar de función exponencial, es natural considerar la función
logaritmo, su inversa. En verdad la función z → ez no es inyectiva,
pues ez+2iπ = ez , pero es posible definir una función 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 p
ln(x + iy) = ln x2 + y 2 + iarg (x + yi)
donde
arctan xy


 si y ≥ 0, x > 0
π

− arctan xy si x ≤ 0, y > 0,


2
arg (x + iy) =
π + arctan xy


 si x < 0, y ≤ 0

 3 π − arctan x

si x ≥ 0, y < 0
2 y
Esta función no está definida para z = 0 y es obviamente discontinua

en el semieje real, {x + 0i / x > 0}. Visto en la expresión polar (2.5),
lı́m ln r + iθ = 2πi 6= lı́m+ ln r + iθ.
θ→2π − θ→0
2. FUNCIONES CLÁSICAS Y SUS DERIVADAS 49
La función z 7→ ln z es derivable en toda la región C \ {x + 0i / x ≥

0}. En efecto, sus derivadas parciales son continuas en esta región.
Calculemos la matriz derivada real:
y
x
r 2 r 2
D ln(x + iy) =
− ry2 x
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,
d 1
(ln z) = .
dz z
Observación. Es importante que notemos que la función log z cons-
tituye una extensión de la función logaritmo real, pues para x > 0
tenemos en efecto
ln(x + i0) = ln x. Por otra parte, ésta no constituye la la única inversa
por la derecha posible de la función exponencial, pues, por ejemplo,
ln z + 2kπ i también 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 definición alternativa del argumento:

arctan(y/x) si x > 0
arg (x + iy) =
π + arctan(y/x) si x ≤ 0.
Con esta definición se logra el mismo efecto: El cambio está en que
esta función es ahora discontinua en la semirecta {0 + iy / y ≤ 0}. En
efecto, para y < 0
3 π
lı́m− arg (x + iy) = π 6= − = lı́m+ arg (x + iy).
x→0 2 2 x→0
Sin embargo si L(z) es cualquier función derivable tal que eL(z) = z en
algún abierto, entonces por la regla de la cadena (que demostraremos
más tarde), eL(z) L0 (z) = 1, y por ende L0 (z) = z1 .
2.2. Propiedades operacionales de la derivación compleja.

2.2.1. El álgebra de la derivación. Usando, o bien la definición, o
el conocimiento que ya poseemos de las propiedades de la diferenciabi-
lidad en R2 , es sencillo verificar la validez de las propiedades siguientes.
Proposición 2.1. Sea Ω un abierto en C y f1 , f2 : Ω ⊂ C → C ,

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 ).
Además, 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
Demostración La linealidad de la derivación se verifica fácilmente.
Para el caso de la regla del producto, lo más sencillo es imitar la de-
mostración 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 lı́mite cuando z → z0 usando el álgebra de lı́mites (1.2) se
sigue el resultado deseado.
Para el caso del cuociente, nos basta probar la fórmula en el caso
f1 = 1. Si f (z) 6= 0 es derivable compleja en z0 entonces

1 1 1 1 f (z) − f (z0 )
− =
z − z0 f (z) f (z0 ) f (z)f (z0 ) z − z0
Gracias a (1.2) se sigue entonces que

d 1 1
(z0 ) = − f 0 (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 = lı́m = 1.
dz z→z 0 z − z0
Afirmamos que para todo n ≥ 1 se tiene que

d n
(2.6) (z ) = n z n−1 .
dz
En efecto, por inducción, aceptemos el resultado para un n ≥ 1. En-
tonces
d n+1 d
(z ) = (z n z) = nz n−1 z + z n 1 = (n + 1)z n ,
dz dz
y el resultado se sigue. Observemos que gracias a la proposición an-
terior, el resultado (2.6) es también válido para potencias negativas
n ≥ 0.
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 ).
Demostración La diferenciablidad de la composición 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 trigonométricas e hiperbólicas, potencias
no enteras. Considerando que
eiy + e−iy eiy − e−iy
= cos y, = sin y
2 2i
ası́ como
ex + e−x ex − e−x
= cosh x, = sinh x,
2 2
es natural extender estas funciones a todo C definiendo
eiz + e−iz eiz − e−iz
cos z := , sin z := ,
2 2i
ez + e−z ez − e−z
cosh z := , sinh z := ,
2 2
De modo que valen, por ejemplo, la identidades cosh(iz) = cos z, sin z =
−i sinh(iz). Además, se obtienen las fórmulas familiares:
sin2 z + cos2 z = 1, cosh2 z − sinh2 z = 1.
Por otra parte, se verifica, a partir de los resultados operacionales ob-
tenidos para la derivación, que estas funciones son derivables en todo
zy
d d
(sinh z) = cosh z, (cosh z) = sinh z,
dz dz
d d
(sin z) = cos z, (cos z) = − sin z.
dz dz
2.3.1. potencias no-enteras. Cuando α ∈ C no es un número en-
tero, definimos la función z 7→ z α por
z α := eα log z z ∈ Ω = C \ {x + i0 / x ≥ 0}.
Usando las fórmulas 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 sucesión de numeros complejos. Definimos, en caso de existir, el
lı́mite
X∞ Xn
bk := lı́m bk .
n→+∞
k=0 k=0
P∞
Decimos en tal caso, que la serie k=0 bk converge. Una condición
suficiente para la convergencia de una serie de números complejos es su
convergencia absoluta. Observemos que la sucesión de números reales
n
X
Sn = |bk |
k=0
es creciente. Si además es acotada superiormente, esto es, existe C > 0

con Sn ≤ C para todo n, tenemos queP Sn tiende a un lı́mite cuando n →
∞. Este lı́mite se denota por cierto ∞ k=0 |bk | En este caso escribimos
simplemente
X∞
|bk | < +∞.
k=0
Tenemos el siguiente resultado
Proposición 2.2. Si ∞
P P∞
k=0 |bk | < +∞, entonces la serie k=0 bk
es convergente. Decimos en tal caso que esta última serie es absolu-
tamente convergente.
Demostración Tenemos que la sucesión zn := nk=0 bk es acotada en
P
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 subsucesión

convergente, zkn → z̄. Afirmamos que z̄ es en realidad el lı́mite de toda
la sucesión. En efecto
kn
X ∞
X
|zn − zkn | ≤ |bk | ≤ |bk | → 0
k=n k=n
P∞
cuando n → +∞. Concluimos que zn → z̄, esto es, que la serie k=0 bk
es convergente.
2.5. Series de potencias. Mediante las reglas algebráicas que

hemos encontrado para la derivación compleja, es inmediato que un
polinomio P
f (z) = N k
k=0 ak (z − z0 ) es derivable y
N
X
0
f (z) = kak (z − z0 )k−1 .
k=1
Consideremos ahora una función definida como una serie de poten-

cias en torno a z0 ,
∞
X
(2.7) f (z) = ak (z − z0 )k .
k=0
El radio de convergencia de esta serie es la cantidad r∗ ≤ +∞ dada

por
X∞
r∗ = sup{r > 0 / |ak |rk < +∞}.
k=0
Supongamos que r∗ > 0, y que |z − z0 | ≤ r < r∗ . Entonces para
todo k suficientemente grande tenemos
∞
X ∞
X
k
|ak ||z − z0 | ≤ |ak |rk < +∞.
k=0 k=0
De este modo, la serie (2.7) converge absolutamente para todo z con |z−
z0 | < r∗ . De acuerdo a Proposición 2.2, la serie es entonces convergente
para todos estos z. Afirmamos que la serie define en verdad una función
derivable en
D(z0 , r∗ ) = {z ∈ C / |z − z0 | < r∗ }
y que
∞
X
0
f (z) = g(z) := kak (z − z0 )k−1 .
k=1
La serie g(z) tiene el mismo radio de convergencia de f (z). En efecto,
Si r es cualquier número positivo menor que r∗ y r < r0 < r∗ entonces
krk−1 ≤ r0k para todo k ≥ k0 . Por ende

∞
X k0
X ∞
X
k|ak |r k−1
≤ k|ak |r k−1
+ |ak ||r0 |k < +∞.
k=0 k=0 k=0
entonces la serie g(z) converge absolutamente para todo z con |z−z0 | ≤

r < r∗ .
Notemos ahora que
∞
X
f (z +h)−f (z)−g(z)h = ak [(z +h−z0 )k −(z −z0 )k −k(z −z0 )k−1 h.]
k=0
Entonces
∞
X h h
|f (z+h)−f (z)−g(z)h| ≤ |ak ||z−z0 |k |(1+ )k −1−k |
k=0
|z − z0 | |z − z0 |
Por otra parte, notemos que si |a| < ε
k
k
X k 1
|(1+a) −1−ka| ≤ |a|j = k(k−1)(1+s|a|)k−2 |a|2 , s ∈ (0, 1),
j 2
j=2
y entonces si |h| < ε|z − z0 | y |z − z0 |(1 + ε) < r < r∗ obtenemos

∞
2
X 1
|f (z+h)−f (z)−g(z)h| ≤ |h| k(k−1)|ak ||z−z0 |k−2 (1+ε)k−2 ≤ C|h|2 ,
k=2
2
∞
X
C= k 2 |ak |rk−2 < +∞.
k=2
Ası́, f es derivable en todo punto z ∈ D(z0 , r∗ ), y f 0 (z) = g(z).
En general, una función 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 de-

rivar termino a término 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!
f (j) (z) = ak (z − z0 )k−j .
k=j
(k − j + 1)!
Es importante notar que de esta expresión obtenemos
f (j) (z0 ) = k!ak ,

3. INTEGRACIÓN COMPLEJA Y FÓRMULAS DE CAUCHY 55
de modo que la función se puede expresar en D(z0 , r∗ ), por su serie de

Taylor,
∞
X f (j) (z0 )
f (z) = (z − z0 )k .
k=j
k!
3. Integración compleja y fórmulas de Cauchy

3.1. Integración sobre curvas. . Sea (C, γ) una curva C 1 por
tramos, γ : [a, b] → C. Sea f : C → C una función continua. Se define
Z Z b
(3.8) f dz := f (γ(t)) γ(t) dt.
C a
Supongamos que f = u + iv. γ(t) = z(t) = x(t) + iy(t) Entonces la
integral compleja la podemos escribir en términos de integrales de lı́nea
reales. En efecto, por definición tenemos que
Z Z b
f dz := (ux0 − vy 0 ) + i(uy 0 + vx0 ) dt =
C a
Z Z
(3.9) (u, −v) · t̂ d` + i (v, u) · t̂ d`.
C C
A partir de esta representación real, obtenemos la desigualdad trian-
gular
Lemma 3.1.
Z Z

(3.10) f dz ≤ |f | d` .

C C
2
Demostración Consideremos R R en RR (P, Q) = ((u, −v) ·
el vector
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 desigualdadR de Cauchy-Schwartz.
R Entonces si C
(P, Q)d` 6=
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 C
El resultado buscado se sigue de esta última desigualdad notando que
Z Z

f dz = (P, Q)d`

C C
y que k(P, Q)k = k(u, v)k = |f |.
Supongamos que C es una curva cerrada simple, recorrida en sentido

positivo, y supongamos además que las funciones u, v son de clase C 1
en la región D encerrada por C. Por la expresión (3.9) y el teorema de
Green tenemos entonces que
Z Z Z Z Z
∂v ∂v ∂u ∂v
f (z) dz = − + dxdy + i − dxdy
C D ∂x ∂y D ∂x ∂y
Si adicionalmente suponemos que f (z) es derivable compleja en D,
entonces se satisfacen las ecuaciones de Cauchy-Riemann, de modo que
∂v ∂v ∂u ∂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 región contenida en Ω. Hemos demostrado el siguiente
resultado
Teorema 3.1 (Cauchy). Sea Ω ⊂ C un abierto simplemente cone-
xo, y f : Ω ⊂ C → C una función holomorfa con derivada compleja f 0
continua.
R Sea C una curva cerrada simple, C 1 por tramos en Ω Enton-
ces C f (z) dz = 0.
Este resultado es central en la teorı́a de funciones de variable com-
pleja. Es de hecho también válido bajo la hipótesis más débil de que
la función f sea solo derivable en el sentido complejo en todo Ω, sin
suponer la continuidad. En todo caso, ésto es suficiente para nuestros
propósitos.
El teorema anterior nos dice,
R equivalentemente que en la situación
descrita, el valor de la integral C f dz depende sólo 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 cálculo, para fun-
ciones holomorfas.
Proposición 3.1. Sea Ω una abierto simplemente conexo, y f
0
una
R z función holomorfa en Ω con derivada f (z) continua. Sea F (z) =
z0
f (w) dw Entonces F es holomorfa en Ω y
F 0 (z) = f (z).
Demostración Escribamos H f = u + iv Recordemos

H que de la Propo-
sición 2.1, los hechos que C (u, −v) · t̂ d` = 0, C (u, −v) · t̂ d` = 0, para
toda C cerrada simple, implican que los campos (u, −v) y (v, u) son
conservativos Más precisamente, se tiene precisamente que
Z
P (z) = (u, −v) · t̂ d`, z = x + iy
Czz0
satisface
∂P ∂P
= u, = −v
∂x ∂y
En modo similar, la función
Z
Q(z) = (v, u) · t̂ d`, z = x + iy
Czz0
satisface
∂Q ∂Q
= v, = −u
∂x ∂y
De este modo, la función F = P +iQ satisface las ecuaciones de Cauchy-
Riemann, por tanto es holomorfa. Se tiene entonces que F 0 = u + iv, y
la demostración se concluye.
A manera de ejemplo consideremos cuanquier subdominio Ω simple-

mente contexo de C\{0}, por ejemplo R2 sin un rayo infinito emanando
desde el origen. Entonces para un z0 dado en Ω, la función
Z z
dw
F (z) =
z0 w
es una realización de la función logaritmo en Ω. Cabe señalar que para

la existencia de la primitiva holomorfa no necesitamos suponer a priori
que la función 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 .

3.3. El armónico conjugado. Sea Ω un abierto simplemente

conexo en C. Supongamos que u es una función de clase C 2 (Ω), armóni-
ca en el sentido que
uxx + uyy = ∆u(x, y) = 0 ∀ (x, y) ∈ Ω.
Afirmamos que existe una función v, definida sobre Ω, también armóni-
ca, en modo tal que la función
f (x + iy) = u(x, y) + iv(x, y)
es holomorfa en Ω. Para demostrar esto, consideremos el campo vecto-
rial (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 función f = u + iv es holomorfa en Ω.
Corolario 3.1. Bajo las hipótesis del teorema anterior, si C en-

cierra k curvas cerradas simples disjuntas C1 , . . . Ck en su interior, de
modo que Ci = ∂Di y
D̄ \ ∪ki=1 Di ⊂ Ω, entonces
Z k Z
X
f (z) dz = f (z) dz
C i=1 Ci
En que las curvas se suponen orientadas en sentido antihorario.

Demostración Consideremos primero el caso k = 1. Consideremos
una curva C0 dentro de C y D es la región 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 además
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 división similar para C, relativa a z1 , z2 , C1 + C2 = C. Logramos
entonces por concatenación las curvas cerradas simples, recorridas en
sentido antihorario,
γ1 = Γ1 + C1 − Γ2 − C01 , γ2 = Γ2 + C2 − Γ1 − C02 .
que encierran regiones contenidas
R en Ω. Ası́, por concatenación y el
teorema anterior obtenemos γi f (z) dz = 0, i = 1, 2. Por ende
Z Z Z Z
0= f (z) dz+ f (z) dz = f (z) dz+ f (z) dz =
γ1 γ2 Γ1 +C1 −Γ2 −C01 Γ2 +C2 −Γ1 −C02
Z Z
f (z) dz − f (z) dz,
C C0
lo que prueba la afirmación en el caso k = 1. El caso general se sigue

por inducción.
3.4. La fórmula integral de Cauchy. Otro corolario del Teo-

rema de Cauchy, especialmente importante en aplicaciones a cálculos
con funciones de variable compleja es la fórmula de Cauchy
Teorema 3.2. Sea f : Ω ⊂ C → C una función holomorfa en Ω

con derivada f 0 continua en Ω. Sea C una curva en Ω, simple, cerrada,
C 1 por tramos que encierra una región contenida en Ω. Sea z0 un punto
de la región encerrada por C. Vale entonces la siguiente fórmula:
Z
1 f (z)
f (z0 ) = dz
2πi C z − z0
en que suponemos que C está recorrida en sentido antihorario.
Demostración 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 2π Z 2π
f (z0 + δeit )
Z
f (z) it
dz = it
δie dt = i f (z0 + δeit ) dt.
Cδ z − z0 0 δe 0
De este modo,
Z Z 2π
f (z)
dz = lı́m i f (z0 + δeit ) dt = 2πi f (z0 ),
C z − z0 δ→0 0
y el resultado queda demostrado.

3.5. Expansión en serie de potencias de funciones holo-

morfas. Una consecuencia importante es el hecho que una función
holomorfa con derivada continua en Ω puede expandirse en serie de po-
tencias. Consideremos un disco D(z0 , r0 ) ⊂ Ω. Tomemos C = ∂D(z0 , r0 )
orientada positivamente. Escribamos
Z Z
1 f (z) 1 f (z)
f (z0 + w) = dz = w dz
2πi C z − z0 − w C 1− z−z0
z − z0
|w|
Si |w| < r0 tenemos que |z−z0 |
< 1, y podemos expandir
∞
1 X wk
w = , z ∈ C.
1− z−z0 j=0
(z − z0 )k
Ası́,
∞
wk
Z Z X
1 f (z) 1 f (z)
f (z0 + w) = dz = k
dz.
2πi C z − z0 − w 2π C j=0 (z − z0 ) z − z0
Intercambiando la suma infinita con la integral, oenemos entonces la

fórmula de representación
∞ Z
X
k 1 f (z)
(3.11) f (z0 + w) = ak w , ak = dz.
j=0
2πi C (z − z0 )k+1
En efecto, el intercambio se justifica pues

Z ∞ n Z

k k
X w f (z) X w f (z)
dz − dz ≤

k
(z − z0 ) z − z0 k
(z − z0 ) z − z0

C
j=0 j=1 C
Z
∞ k ∞ k
X w f (z) 1 X |
dz ≤ máx |f |`(C) |r0

(z − z ) k z −z π w

C 0 0 C
j=n+1 j=n
y esta útima cantidad tiende a cero cuando n → ∞, de modo que

∞ ∞ Z
wk wk
Z X
f (z) X f (z)
k
dz − k
dz = 0
C j=0 (z − z0 ) z − z0 j=1 C (z − z0 ) z − z0
Por otra parte, hemos obtenido que

|f (z)|
Z
1 1
|ak | ≤ k+1
d` ≤ máx |f | `(C) k .
π C |z − z0 | C πr0
De este modo, el radio de convergencia r∗ de la serie ∞ k
P
j=0 ak w se
puede estimar como r∗ ≥ r0 . En efecto,
( ∞
) ( ∞ k )
X
k 1 X r
r∗ = sup r > 0 / |ak |r ≥ sup r > 0 / máx |f | = r0 .
j=0
π C j=0
r0
Por supuesto, esta fórmula puede también depresentarse por
∞ Z
X
k 1 f (z)
f (z) = ak (z−z0 ) , |z−z0 | < r0 , ak = k+1
dz.
j=0
2πi ∂D(z 0 ,r0 ) (z − z0 )
De este modo, el radio de convergencia de la serie que representa
f es al menos aquél 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,
hipótesis que no es en verdad necesaria), implica la existencia de infi-
nitas derivadas, y la propiedad de expansión 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 términos analı́tica
y holomorfa para una función compleja definida en una región dada.
Por otra parte, de los resultados en §2.5, sabemos además que ak =
f (k)(z0 )
k!
de modo que la fórmula de Cauchy resulta extendida del modo
siguiente:
Z
(k) k! f (z)
(3.12) f (z0 ) = dz
2πi ∂D(z0 ,r0 ) (z − z0 )k+1
para todo k = 0, 1, 2, . . ..
3.6. Expansión en serie de potencias de algunas funciones
clásicas. 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 expansión en serie de potencias en torno a 0,
∞ ∞
X f (k) (0) k X zk
ez = z = .
k=0
k! k=0
k!
Esta serie podrı́a eventualmente considerarse como una definición de
la función exponencial. Su radio de convergencia es infinito.
Hemos visto tambien que para f (z) = log z, en su dominio de de-
finición tenemos f 0 (z) = z1 , y por lo tanto, para k ≥ 1, f (k) (z) =
(−1)k−1 (k−1)!
zk
. Desarrollando en serie en torno a z = 1, obtenemos
∞ ∞
X f (k) (1) k
X (−1)k−1
log z = (z − 1) = (z − 1)k
k=1
k! k=1
k
una serie con radio de convergencia igual a 1.

Otras series cásicas son por ejemplo
∞
eiz − e−z X z 2k−1
sin(z) = = (−1)k−1 .
2i j=1
(2k − 1)!
∞
ez + e−z X z 2k
cosh(z) = = .
2 j=0
(2k)!
3.7. Otras consecuencias de la fórmula de Cauchy. Una

consecuencia clásica de (3.12) es el siguiente resultado
Teorema 3.3 (Liouville). Si f es una función analı́tica y acotada
en todo C, entonces es constante.
Demostración Supongamos que f es analı́tica y acotada en todo R2 .
De la fórmula (3.12) obtenemos entonces que (con r0 > 0 arbitrario)
|f (z)|
Z
0 1 1
|f (z0 )| ≤ 2
d` ≤ sup |f | r0−2 2πr0
π ∂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 Álgebra). Todo polinomio
complejo no constante tiene al menos una raı́z.
Demostración Supongamos lo contrario, esto es que algún polinomio
f (z) = z k +ak−1 z k−1 +· · ·+a0 no tiene raı́z alguna. Entonces la función
1
f (z)
es holomorfa en todo C y claramente satisface
1
lı́m = 0.
|z|→∞ f (z)
1
Se sigue que la función f (z) es analı́tica y acotada en todo C. Por el
Teorema de Liouville concluimos que esta función es constante, lo cual
es una contradicción.
A partir de este resultado se sigue que un polinomio mónico com-

plejo de grado k tiene exactamente k raices complejas, contando multi-
plicidades. En efecto, Si z0 es una raiz de f (z) = z k +ak−1 z k−1 +· · ·+a0 ,
entonces f (z) es divisible por (z − z0 ): existe un polinómio mónico g(z)
de grado k − 1 tal que f (z) = (z − z0 )g(z). Si k − 1 ≥ 1, aplicamos
el resultado del Teorema ahora a g(z). Iterando se obtiene el resultado

deseado.
3.8. La fórmula de los residuos. Sea Ω un abierto de C Con-
sideraremos ahora funciones f analı́ticas sobre Ω \ {z1 , . . . , zn }. Supon-
dremos además 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 función (z − zj )kj f (z) es analı́tica
cerca de zj . El menor de estos enteros se denomina el orden del polo
zj .
De este modo, para 0 < |z−zj | < r, la función f puede representarse
como una serie
(z − zj )kj f (z) = b0 + b1 (z − zj ) + b2 (z − zj )2 + · · ·
y por ende
a−kj a−1
f (z) = k
+ ··· + a0 + a1 (z − zj ) + · · ·
(z − zj ) z − zj
A esta expansión en torno a una singularidad de orden finito se le deno-
mina desarrollo de Laurent. Al número a−1 se le denomina el residuo
de f en el polo zj . Se denota habitualmente Res(f, zj ).
La fórmula de los residuos es una extensión del la fórmula inte-
gral de Cauchy. Una observación inicial es que en el contexto de esta
f (z)
última fórmula, si anotamos g(z) = z−z 0
entonces Res(g, z0 ) = f (z0 ) y
la fórmula integral de Cauchy se lee
Z
g(z) dz = 2πiRes(g, z0 ).
C
Este resultado se extiende del modo siguiente.
Teorema 3.5. Sea Ω ⊂ C un abierto y f : Ω\{z1 , . . . , zn } → C una
función analı́tica 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 región contenida en Ω y a los
puntos zj , entonces
Z Xk
f (z) dz = 2πi Res(f, zj ).
C j=1
Demostración Consideremos, para un número δ suficientemente pe-

queño, discos D(zj , δ) que estén encerrados por C. Denominamos Cj a
la frontera de este disco, parametrizada por
γj (t) = zj + δeit , t ∈ [0, 2π].
Tenemos entonces que

Z k Z
X
(3.13) f (z) dz = f (z) dz,
C j=1 Cj
y por otra parte

Z Z 2π
f (z) dz = f (zj + δeit ) δieit dt.
Cj 0
Ahora, como en un entorno de zj tenemos una expansión de la forma

a−kj a−1
f (z) = k
+ ··· + a0 + a1 (z − zj ) + · · ·
(z − zj ) z − zj
se sigue que
Z ∞
X Z 2π
j+1
f (z) dz = i aj δ e(j+1) it dt.
Cj j=−kj 0
R 2π
Ahora 0
e(j+1) it dt = 0 para j 6== −1 y = 2π para j = −1. Por lo
tanto,
Z
f (z) dz = 2πi a−1 = 2πi Res(f, zj )
Cj
y el resultado deseado se sigue de (3.13).
Corolario 3.2. Sea f una función analı́tica en el semiplano H =

{z ∈ C / Im(z) > 0}, excepto por un número 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 = 2πi Res(f, zj ).
−∞ j=1
Demostración Consideremos, para un número 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 Xk
f (z) dz = f (z) dz + f (z) dz = 2πi Res(f, zj ).
ΓR +CR ΓR CR j=1
Por otro lado

Z Z R Z ∞
lı́m f (z) dz = lı́m f (x) dx = f (x) dx
R→∞ ΓR R→∞ −R −∞
y Z Z
|f (z)| d` ≤ CR−p `(CR ) = 2πCR1−p

f (z) dz le
CR CR
de modo que Z
lı́m f (z) dz = 0
R→∞ CR
y el resultado se sigue haciendo R → +∞ en (3.14).
Ejemplo 3.1. Calcular
∞
x2
Z
I= dx
−∞ 1 + x4
z2
Solución Sea f (z) = 1+z 4
. Los polos de f son los ceros de 1 + z 4 que
π
√ 3
están
√
en el semiplano superior son z1 = e 4 i = 22 (1 + i), z2 = e 4 πi =
2
2
(i − 1).
Tenemos que
z2 1
Res(f, zi ) = i 3 = .
4zi 4zi
Por lo tanto,
√ √
1 −πi 2 1 − 3 πi 2
Res(f, z1 ) = e 4 = (1 − i), Res(f, z2 ) = e 4 = (−i − 1).
4 8 4 8
Ası́,
Z ∞ √ √
x2 2 2
4
dx = 2πi (−2i) = π.
−∞ 1 + x 8 2
Ejemplo 3.2. Calcule la integral
Z ∞
x sin x
I= dx, a > 0.
0 x 2 + a2
Solución Para un R > 0 dado, consideremos el camino rectangular
cerrado, recorrido en sentido antihorario,
C = C1 + C2 − C 3 − C 4
donde los Ci están parametrizados respectivamente por
γ1 (t) = t, t ∈ [−R, R],
γ2 (t) = R + it, t ∈ [0, R],
γ3 (t) = iR + t, t ∈ [−R, R],
γ4 (t) = −R + it, t ∈ [0, R].

zeiz
Entonces, por residuos encontramos que para R grande, y f (z) = z 2 +a2
,
aie−a
I
f (z) dz, = 2πiRes(f, ai) = 2πi = −πe−a i.
C 2ai
Por otra parte
Z R Z R
teit (iR + t)ei(iR+t)
I
f (z) dz = 2 2
dt − 2 2
dt
C −R t + a −R (iR + t) + a
Z R Z R
(R + it)ei(R+it) (−R + it)ei(−R+it)
+ dt − dt.
0 (R + it)2 + a2 0 (−R + it)2 + a2
Tenemos,
Z R Z R
(R + it)ei(R+it) (R + t)e−t

dt ≤ C

2 2
dt ≤
2 2

0 (R + it) + a 0
R −a R
y en modo similar
Z R
(−R + it)ei(−R+it)

C

2 2
dt ≤

0 (−R + it) + a R
y
R
(iR + t)ei(iR+t)
Z
C

2 2
dt ≤
−R (iR + t) + a R

De este modo los tres últimos términos en la expansión de la integral
tienden a cero si R → +∞ mientras que del primero finalmente dedu-
cimos Z ∞
teit
2 + a2
dt = −πe−a i.
−∞ t
De aquı́ se sigue, por paridad, que
Z ∞
t sin t π
2 2
dt = e−a .
0 t +a 2

Ejemplo 3.3. Evaluar la integral
Z 2π
dθ
I= .
0 2 + sin θ
Solución Sea C el cı́rculo parametrizado por γ(θ) = eiθ . Entonces
Z 2π I dz I
dθ iz
= −1 = f (z) dz
0 2 + sin θ C 2 + z−z2i C
donde
2
f (z) =
z 2 + 4iz − 1 √
El denominador√ tiene dos ceros, que resultan ser z1 = −i(2 − 3) y
z2 = −i(2 + 3). Notemos que |z1 | < 1 y |z2 | > 1. Entonces
I
4πi 2π
f (z) dz = 2πi Res(f, z1 ) = 2πi lı́m (z−z1 )f (z) = =√ .
C z→z1 (z1 − z2 ) 3

Una observación es que el método de este ejemplo se extiende en
modo natural al cálculo de integrales del tipo
Z 2π
p(sin θ, cos θ)
I= dθ
0 q(sin θ, cos θ)
donde p, q son polinomios en dos variables. En efecto, tenemos que
p z − z −1 z + z −1 1
Z
I = R(z) dz, R(z) = , .
C q 2i 2 iz
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
k
X
I = 2πi Res(R, zj ).
j=1
Ejemplo 3.4. Calcular

Z ∞
sin x
I= dx
0 x
Solución Consideremos el camino cerrado, recorrido en sentido anti-
horario, constituido por
X6
C= Cj
j=1
donde
C1 = (−R, −δ], C2 = {|z| ≤ δ, Im(z) ≥ 0}, C3 = (δ, R],
C4 = R + i[0, R], C5 = iR + [−R, R], C6 = −R + i[0, R]
Tenemos entonces que
eiz
I
I= dz = 0
C z
ya que el integrando no tiene singularidades en la región dentro de la
curva. Vemos que cuando R → +∞,
eiz ei(x+iR)
Z Z
dz = − dx = O(e−R ) → 0.
C5 z −RR iR + x
Por otra parte
Z iz Z R iR −y Z 1 iR −Ry
e e e e e
dz = dy = dy → 0
C4 z 0 R + iy 0 1 + iy
R iz
y en modo similar C6 ez dz to0. Obtenemos entonces que
Z −δ Z ∞ ix Z π
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 ∞
sin x π
dx =
0 x 2

El ejemplo anterior se generaliza al cálculo 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 número finito de polos simples (esto
es, de orden 1) sobre el eje real: x1 , x2 , . . . , xm , y además un número
finito de polos z1 , . . . , zk en el semiplano superior. Llegamos en tal ca-
so, con un argumento enteramente análogo al del ejemplo anterior, a
la fórmula
Z ∞ k m
P (x) ix X X
e dx = 2πi Res(f, zj ) + πi Res(f, xj ).
−∞ Q(x) j=1 j=1
Ejemplo 3.5. Calcular la integral

Z ∞ α−1
x
I=
0 P (x)
donde P es un polinomio de grado ≥ 1, con P (x) 6= 0 para todo x ≥ 0
y 0 < α < 1.
α−1
Solución consideremos la función f (z) = zP (z) donde en la definición
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
cı́rculos de radios Cδ y CR y los segmentos I1 e I2 , orientados como se
indica.
Observemos primero que

Z Z

f (z) dz ≤ C
|z|α−1 d` = πCδ α → 0
Cδ Cδ
cuando δ → 0. Por otra parte,
Z Z
α−1 d
f (z) dz ≤ CR
R ≤ CRα−1 → 0

CR CR l
cuando R → +∞. Por otra parte, cuando R → ∞ y δ → 0, obtenemos
que Z Z ∞ α−1
x
f (z) dz → dx
I1 0 P (x)
y Z Z ∞ α−1
i(α−1)2π x
f (z) dz → −e dx
I2 0 P (x)
Entonces, por la fórmula de los residuos aplicada en CR,δ , obtenemos
en el lı́ mite,
∞ k
xα−1
Z
2πi X
dx = Res(f (z), wj )
0 P (x) 1 − ei(α−1)2π j=1
donde los wj son los polos de f (z).

A manera de ilustración, calculemos, para 0 < α < 1 la integral
Z ∞ α−1
x
I= dx.
0 1+x
z α−1
Para f (z) = 1+z
tenemos que Res(f (z), −1) = eiπ(α−1) . De este
modo,
2πiei(α−1)π π
I= = .
1 − ei(α−1)2π sin(απ)
Ejemplo 3.6. Calcule
Z ∞
P (x)
I= dx
0 Q(x)
donde P y Q son polinomios, con grado(Q) ≥ grado(P ) + 2 y Q no
tiene ceros en el semieje real positivo.
Solución Consideremos el camino Cδ,R del ejemplo anterior, y la fun-
ción
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
análogo al ejemplo anterior, obtenemos
Z
1
f (z) dz ≤ Cδ log → 0

C δ
Z δ
≤ CR−1 log R → 0

f (z) dz
CR
cuando δ → 0, R → ∞. Por otra parte,
Z Z ∞
P (x)
f (z) dz → log x dx
I1 0 Q(x)
y Z Z ∞
P (x)
f (z) dz → − (log x + 2πi) dx.
I2 0 Q(x)
De este modo, sumando, y usando residuos, obtenemos ahora
Z ∞ k
P (x) X
−2πi dx = 2πi Res(f, wj ).
0 Q(x) j=1
Ilustremos esta fórmula mediante el cálculo de la integral
Z ∞
dx
I= .
0 1 + x3
Tenemos ahora que

π 5
I = −Res(f, ei 3 ) − Res(f, eiπ ) − Res(f, ei 3 π )
log z
con f (z) = 1+z 3 . Usando la fórmula
log w
Res(f, w) = ,
3w2
válida en cada uno de los polos, obtenemos
√ !
π π 1 3
Res(f, ei 3 ) = − i +i ,
9 2 2
√ !
π i 53 π 5π 1 3
Res(f, eiπ ) = i, Res(f, e )=− i −i .
3 9 2 2
Finalmente,
∞
2 √
Z
dx
= π 3.
0 1 + x3 9
Capı́tulo 3
Series de Fourier y Separación de variables en

EDP
1. Separación de variables: motivación de las series de

Fourier
En este capı́tulo veremos fórmulas de representación para algunas
ecuaciones en derivadas parciales (EDP) que corresponden a modelos
matemáticos clásicos de la fı́sica. El deseo de obtener fórmulas para las
soluciones de cierta EDP que Joseph Fourier introdujo como modelo
para la propagación del calor en 1822, le motivó a afirmar que toda
función razonable f (x) definida en el intervalo [0, 2π] podrı́a expresarse
como una serie infinita de multiplos de las funciones trigonométricas
sin(nx), cos(nx), n = 0, 1, 2, . . ., conocidas en el dı́a de hoy como se-
ries de Fourier. Fourier postuló su célebre ley de conducción del calor,
enunciando que la temperatura T (x, t) del punto x de una barra, repre-
sentada por el intervalo [0, `] en el instante t > 0, verifica la ecuación
en derivadas parciales
∂T ∂ 2T
(1.15) (x, t) = (x, t) para todo x ∈ (0, `), t ∈ (0, ∞).
∂t ∂x2
Fourier buscó primero soluciones de esta ecuación que separaran varia-
bles, lo que quiere decir que se puede escribir como múltiplo de una
función de x y de una de t.
T (x, t) = u(x)v(t).
Sustituyendo esta expresión en la ecuación (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 múlti-
plos de e−λt . No es razonable que sin influencia externa alguna la tem-
peratura crezca sino lo opuesto. Por ello suponemos λ > 0. La ecuación
para u queda
u00 (x) + λu(x) = 0,
73
74 3. SERIES DE FOURIER Y SEPARACIÓN DE VARIABLES EN EDP
cuyas
√ soluciones
√están 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) = e−λt sin( λx), e−λt 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 condición, con la función f (x) conocida se llama condición
inicial. Las otras dos, en los extremos se denominan condiciones de
borde de tipo Dirichlet. Entre las soluciones básicas, aquéllas√ que
satisfacen las condiciones de borde son precisamente para λ = kπ `
,
k∈Ny
2 2
− k 2π t kπ
Tk (x, t) = e ` sin x .
`
Ahora bien, como la ecuación (1.15) es lineal, se sigue que toda com-
binación lineal de ellas también es solución. Es también esperable que
si la combinación lineal se vuelve infinita, esto es una serie de la forma
∞
X 2 2
− k 2π t kπ
T (x, t) = ck e ` sin x
k=1
`
entonces, bajo hipótesis adecuadas en los coeficientes, debiera tenerse
que esta expresión es también solución. Si además tenemos que
∞
X kπ
(1.17) T (x, 0) = f (x) = ak sin x
k=1
`
tendrı́amos una solución 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 válida una expansión de esta clase, podemos calcular
los coeficientes mediante las fórmulas
Z ` ∞ Z `
kπ X jπ kπ
f (x) sin x dx = aj sin x sin x dx .
0 ` j=1 0 ` `
Notando que, después de un cálculo directo,
Z ` `
jπ kπ si j = k
(1.18) sin x sin x dx = 2
0 ` ` 0 6 k
si j =
1. SEPARACIÓN DE VARIABLES: MOTIVACIÓN DE LAS SERIES DE FOURIER
75
obtenemos que los coeficientes ak en (1.17) se calculan como

2 `
Z
kπ
ak = f (x) sin x dx.
` 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 básicas, aquéllas admisibles son k ∈ N ∪ {0} y

2 2
− k 2π t kπ
Tk (x, t) = e ` cos x .
`
de modo que la serie
∞
X −k
2 π2
t kπ
(1.20) T (x, t) = bk e `2 cos x
k=0
`
será solución de la ecuación (1.15) con condiciones iniciales y de borde
(1.19), siempre que
∞
X kπ
(1.21) T (x, 0) = f (x) = bk cos x
k=0
`
Los coeficientes se calculan en este caso mediante las fórmulas

Z ` ∞ Z `
kπ X jπ kπ
f (x) cos x dx = bj cos x cos x dx .
0 ` j=1 0 ` `
Tenemos ahora

Z `
jπ

kπ
` si j = k = 0
`
(1.22) sin x sin x dx = 2
si j = k ≥ 1
0 ` ` 
0 si j 6= k
obtenemos que los coeficientes ak en (1.17) se calculan como
2 ` 1 `
Z Z
kπ
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 función f˜(x) definida en el intervalo [−`, `] obtenida
como extensión de f (x), respectivamente impar y par definidas por

˜ f (x) si x ∈ [0, `]
f (x) = =
−f (−x) si x ∈ [−`, 0]

f (x) si x ∈ [0, `]
f˜(x) = =
f (−x) si x ∈ [−`, 0]
La primera es natural tomando en consideración que f (0) = 0, y la
segunda de f 0 (0) = 0. Observemos que las extensiones f˜(x) en ambos
casos son periódicas, en el sentido que se extienden naturalmente a
una función periódica de perı́odo 2` en toda la recta, y diferenciable en
caso que f (x) lo sea, esto en consideración a que en ambos casos
(1.23) f˜(−`) = f˜(`), f˜0 (−`) = f˜0 (`).
Cabe hacer notar que las soluciones básicas satisfacen estas condi-
ciones de (1.15) si y solamente si k ∈ N ∪ {0} y

2 2
− k 2π t kπ 2 2
− k 2π t kπ
T (x, t) = e ` sin x , T (x, t) = e ` cos x .
` `
lo que está asociada a una solución (periódica en R) de (1.15) de la
forma, en [−`, `],
∞
X 2 2
− k 2π t kπ kπ
T (x, t) = e ` [ak sin x + bk cos x ].
k=0
` `
2. Cálculo de algunas Series de Fourier

La pregunta más general es si una función f (x), definida en [−`, `]
admite una expansión del tipo
∞
X kπ 2kπ
(2.24) f (x) = ak sin x + bk cos x , x ∈ [−`, `].
k=0
` `
Tomando en consideración el hecho que

Z `
kπ jπ
sin x cos x dx = 0,
−` ` `
obtenemos las fórmulas
Z `
1 kπ
(2.25) ak = f (x) sin x dx,
` −` `
(2.26)
Z ` Z `
1 kπ 1
bk = f (x) cos x dx, k ≥ 1, b0 = f (x) dx.
` −` ` 2` −`
2. CÁLCULO 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 [−`, `]
Solución Tenemos que la serie es de senos solamente, por la imparidad
de f . Calculemos
Z ` Z `
kπ ` kπ x=` ` kπ
x sin x dx = − x cos x |x=0 + cos x dx =
0 ` kπ ` 2kπ 0 `
`2 `2
− cos(kπ) = (−1)k−1 .
kπ kπ
2`
Por lo tanto ak = (−1)k−1 kπ . La serie de Fourier de f (x) = x es
∞
2` X (−1)k−1

kπ
(2.27) S(x) = sin x
π k=1 k `
Ejemplo 2.2. Encuntre la serie de Fourier de f (x) = x2 en [−`, `]

Solución Tenemos que la serie es de cosenos solamente, por la paridad
de f . Calculemos
1 ` 2 `2
Z
b0 = x dx = .
` 0 3
Para k ≥ 1,
2 ` 2
Z Z `
kπ 2 2 kπ ` 4 kπ
bk = x cos x dx = x sin x − x sin x dx =
` 0 ` kπ ` 0 kπ 0 `
Z `
2 2 kπ 4` kπ ` 4` kπ
x sin x + 2 2 x cos x − 2 2 cos x dx =
kπ ` k π ` 0 k π 0 `
4`2 4`2

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

kπ
(2.28) S(x) = + 2 cos x .
3 π k=1 k 2 `
En particular, de reflejar esta expansión efectivamente a la función
x2 en x = `, obtendrı́amos
∞
2 `2 4`2 X (−1)k
` = + 2 cos (kπ) .
3 π k=1 k 2
y llegarı́amos a la hermosa fórmula
∞
X 1 π2
(2.29) =
k=1
k2 6
Ejemplo 2.3. Consideremos ahora la función discontinua, definida

en [−`, `],

` si − ` ≤ x < 0,
f (x) =
2x si 0 ≤ x ≤ `.
Encuentre su serie de Fourier.
Solución Encontremos primero los coeficientes para los cosenos.
Z 0 Z `
1
b0 = `dx + 2 xdx = `.
2` −` 0
Para k ≥ 1,
Z ` Z 0
1 kπ kπ
bk = 2x cos x dx + ` cos x dx
` 0 ` −` `
La segunda integral es claramente cero. La primera,
Z ` Z `
`2

kπ ` kπ x=` ` kπ
x cos x dx = x sin x − sin x dx = 2 2 [cos (kπ) − 1] .
0 ` kπ ` x=0 kπ 0 ` k π
Ası́,
2` k

bk = (−1) − 1 .
k2π2
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:
1 `
Z
kπ 2`
2x sin x dx = −(−1)k
` 0 ` kπ
La segunda,
`2

kπ 0 `
− cos x = ((−1)k − 1) .
kπ ` −` kπ
y encontramos finalmente
`
ak = −((−1)k + 1) .
kπ
2. CÁLCULO DE ALGUNAS SERIES DE FOURIER 79
La serie de Fourier de f (x) es entonces

(2.30)
∞ X ∞
X 2` k
kπ ` k
kπ
S(x) = `+ 2π2
(−1) − 1 cos x − (−1) + 1 sin x .
k=1
k ` k=1
kπ `
La teorı́a de las series de Fourier trata de determinar la validez de

la expansión (2.24) para una función 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 función continua por tra-
mos. Consideremos su serie de Fourier
∞
X kπ kπ
S(x) = ak sin x + bk cos x
k=0
` `
con los coeficientes ak y bk dados por las fórmulas (2.25) y (2.26). Su-
pongamos que x ∈ (−`, `) es tal que los lı́mites 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 demostración de este resultado fundamental de
convergencia de las series de Fourier. Indicamos sı́ un corolario.
Corolario 2.1. Bajo las hipótesis del teorema anterior, si los lı́mi-
tes f (`− ) y f (−`+ ) existen, ası́ como las derivadas laterales, f 0 (`− ) y
f 0 (−`+ ), entonces
1
S(−`) = S(`) = (f (−`+ ) + f (`− )).
2
Demostración Consideremos la función 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 ` −` `
Z `
kπ
cos(kπ) f (x) sin x dx
−` `
y similarmente
Z ` Z `
kπ kπ
f¯(x) sin x dx = cos(kπ) f (x) cos x dx.
−` ` −` `
De este modo,
∞
X kπ kπ
S̄(x) = ak cos(kπ) sin x + bk cos(kπ) cos x =
k=0
` `
∞
X kπ kπ
S̄(x) = ak sin (x + `) + bk cos (x + `) .
k=0
` `
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.
Observación. Como ejemplos, vemos que efectivamente, de acuerdo a
lo calculado en los Ejemplos 2.1, 2.2, 2.3 tenemos
∞
2` X (−1)k−1

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
fórmula
∞
`2 4`2 X (−1)k

2 kπ
x = + 2 cos x .
3 π k=1 k 2 `
En particular evaluando en x = `, obtenemos la validez de la clásica
fórmula (2.29).
Por otra parte, tenemos que, evaluando en x = 0 la serie en el
Ejemplo 2.3,
∞
` 1 − +
X 2`
(−1)k − 1 .

= (f (0 ) + f (0 )) = ` + 2 2
2 2 k=1
k π
3. OTRAS EDP CLÁSICAS 81
Observación. Notemos que la serie S(x) es una función en verdad

definida en todo x ∈ R y es 2`-periódica en el sentido que S(x + 2`) =
S(x) para todo x ∈ R. Sea f˜(x) la extensión 2`-periódica 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 clásicas

El método de separación de variables se extiende a otros contextos.
Por ejemplo
3.1. la Ecuación de ondas unidimensional o Ecuación de
la cuerda vibrante. Esta es la ecuación
utt = uxx , x ∈ [0, `], t>0
En este caso, una cuerda de extremos fijos 0 y ` en el eje x, se describe en
su deformación vibratoria en el instante t como una función y = u(x, t)
con u(0, t) = 0 = u(x, `) las soluciones básicas de variables separables
se calculan escribiendo u(x, t) = v(x)w(t). Sustituyendo obtenemos la
relación
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 solución se expresa como
∞
X kπ kπ kπ
u(x, t) = sin x ak sin t + bk cos t .
k=1
` ` `
Para determinar la solución, necesitamos ahora dos condiciones inicia-
les: 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π
f (x) = bk sin x
k=1
`
∞
X kπ kπ
g(x) = − ak sin x .
k=1
` `
3.2. El Problema de Dirichlet para la Ecuación de Lapla-

ce. Esta es la ecuación
∆u in Ω
u=g on Ω
3.2.1. Rectángulo. Si por ejemplo Ω es el rectángulo (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 método de separación
de variables.
v 00 (x) w00 (y)
u(x, y) = v(x)w(y), =− = −λ
v(x) w(y)
Para lograr la condición de borde v(0) = v(π) = 0 necesitamos consi-

derar λ = k 2 y las soluciones básicas
sin(kx)e−ky , sin(kx)eky
Y ası́, queremos
∞
X
u(x, y) = ak sin(kx)e−ky + bk sin(kx)eky
k=1
en modo que
∞
X ∞
X
g(x, 0) = (ak + bk ) sin(kx), g(x, `) = sin(kx)(ak e−k` + bk ek` )
k=1 k=1
Suponiendo que los datos pueden expandirse como

∞
X ∞
X
g(x, 0) = dk sin(kx), g(x, `) = ek sin(kx)
k=1 k=1
obtenemos que (ak , bk ) se obtiene luego de resolver el sistema

1 1 ak d
−k` k` = k .
e e bk ek
3. OTRAS EDP CLÁSICAS 83
3.2.2. banda semi-infinita. Si Ω = (0, π) × (0, ∞) e imponemos

condiciones laterales iguales a cero, y en y = 0 una función g(x, 0)
dada, más la restricción global que la solución sea acotada, vemos que
la única combinación admisible es
X∞
u(x, y) = ak sin(kx)e−ky .
k=1
con ∞
X
g(x, 0) = ak sin(kx).
k=1
3.2.3. Un disco. Consideremos ahora el caso en que Ω = D(0, 1) y
la condición de borde es una función 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 expresión (7.19) en cilı́ndricas, y la separación
de variables nos conduce a
r2 00 1 w00 (θ)
(v (r) + v 0 (r)) = − =λ
v(r) r w(θ)
Como necesitamos que w(θ) sea 2π-periódica, 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 , r−k
La función r−k no es admisible si queremos una solución definida en
todo el disco. Entonces, buscamos una solución de la forma
∞
X
u(r, θ) = ak rk sin(kθ) + bk rk cos(kθ)
k=0
y queremos que
∞
X
u(1, θ) = g(θ) = ak sin(kθ) + bk cos(kθ).
k=0

Calculo Avanzado PDF

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Calculo Avanzado PDF

Загружено:

Авторское право:

Доступные форматы

Notas para el Curso Cálculo

Manuel del Pino

La presente es una versión preliminar de un apunte para el curso de

Elementos de Cálculo Vectorial

Comenzamos por revisar algunos conceptos básicos concernientes

1. Integración sobre curvas en RN

~γ 0 (t) =  ...  6= 0 para todo t ∈ [a, b].

1.2. Integración en Curvas. Comenzamos por definir la longi-

Sea f : C → R una función continua. Se define la integral de f sobre C

1.3. Integral de linea de un campo vectorial. .

x1 = γ(b). En otras palabras, t̂ solo depende de la orientación en que

Definimos la integral de linea, o de trabajo de un campo vectorial

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

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

Solución Tenemos que F (~γ1 (t))·~γ10 (t) = (2(t−2)t, (t−2)2 +1)·(1, 1) =

En modo similar, obtenemos

Por otra parte

2. Campos vectoriales conservativos

Ejemplo 2.1. Sea Ω ⊂ RN un abierto. Consideremos un campo

donde Ω es un abierto, se dice conservativo si existe una función f :

H particular, si la curva C es cerrada, esto es, x0 = x1 , tenemos que

De hecho, se tiene más la validez de la afirmación recı́proca en

Cambiando variables 2 − t = τ en la segunda integral obtenemos

Preguntas que surgen naturalmente son las siguientes: ¿Cómo de-

Ejemplo 2.2. Sea F~ : R2 \ {(0, 0)} → R2 el campo vectorial dado

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

Solución. Tenemos que

La condición de matriz Jacobiana simétrica es de hecho suficiente en

Demostración. Supongamos que Ω es estrellado respecto a x0 , y con-

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

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

Teorema 3.1 (Teorema de Green). Sea D ⊂ Ω un abierto cu-

(3.3) D = {(x, y) / a ≤ x ≤ b, g(x) ≤ y ≤ h(x)}

Por otra parte,

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

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

El teorema de Green se verifica entonces en regiones de tipo 1, esto es

en que −C0 designa a la curva C0 recorrida en la dirección opuesta. Por

Usando esta fórmula, es imediato probar lo siguiente: Si D̄ = D̄1 ∪

el resultado se sigue de inmediato.

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

Corolario 3.1. Sea Ω ⊂ R2 un abierto simplemente conexo, y

Demostración En efecto, gracias al teorema de Green, la integral de

Ejemplo 3.1. Sea ~γ : [0, 2] → R2 una parametrización de la curva

Solución F~ = (P, Q) = (−y, x) entonces ∂Q

4. Integración sobre superficies

denomina orientable, y en tal caso la elección de vector normal unitario

Ejemplo 4.2. Sea D un abierto en R2 y g : D 2

Ejemplo 4.3. Considere la superficie de revolución S que se obtie-

4.2. Integral de flujo de un campo vectorial. En lo que si-

Si F~ denota el campo de velocidades de un fluı́do, entonces F~ ·n̂ dA

Tenemos: Sobre S1 , n̂ = −k̂, y claramente tenemos

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

Por lo tanto, escribiendo F~ = (P, Q) y G = (−Q, P ), obtenemos que

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

y llamamos a esta cantidad la divergencia del campo F~ . Se denota tam-

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

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

La razón es que las contribuciones a la integrales de las regiones Si ∩ Sj

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

F~ ·n̂ dA, respectivamente con F~1 = 2xî−

pues ∇ · (2xî − 3y ĵ + z k̂) = 2 − 3 + 1 = 0. Recuperamos entonces el

5.1. Operadores vectoriales. Aquı́ elaboramos un poco sobre