Metodos Matematicos de la Fsica I (licenciatura)

Olivier Sarbach
Universidad Michoacana de San Nicolas de Hidalgo
8 de marzo de 2007

1. Algebra lineal
2. Calculo
En este captulo estudiamos primero algunas propiedades de funciones f :
Rn Rm (no necesariamente lineales) del espacio vectorial Rn al espacio vecto-
rial Rm . En particular, analizaremos la diferenciabilidad de funciones f : Rn
Rm y sus aproximaciones por polinomios (el teorema de Taylor). Despues, ana-
lizaremos la diferenciabilidad de campos vectoriales y de formas diferenciales
(analisis vectorial).
De ahora en adelante, consideramos el espacio vectorial real Rn con el pro-
ducto escalar canonico dado por
n
X
(x, y) := x y = xj y j , x, y Rn , (1)
j=1

y la norma inducida
1/2
p n
X
kxk := (x, x) = x2j , x Rn . (2)
j=1

La norma es importante en todo lo que sigue porque nos permite introducir una
nocion de distancia entre dos puntos x y y en Rn . Esta distancia se define como

d(x, y) := kx yk, x, y Rn . (3)

Por ejemplo, la bola abierta centrada en x Rn con radio > 0 esta definida
por
B (x) := {y Rn : d(x, y) < }.

1
2.1. Sucesiones convergentes
Definicion 1 Una sucesion en Rn es una funcion N R que asigna a todo
numero natural k N un punto xk Rn . Escribimos {xk }kN o simplemente
xk para denotar una sucesion en Rn .
Definicion 2 Una sucesion xk en Rn se llama convergente a x Rn si para
todo > 0 existe una constante K = K() N (que depende de ) tal que
kxk xk < para todo k K(). (4)
En este caso, x se llama el lmite de xk , y escribimos
lm xk = x o simplemente xk x.
k

Observaciones
1. Notamos que xk converge a x si y solo si la sucession real {kxk xk}kN
converge a cero, es decir, si y solo si
lm kxk xk = 0. (5)
k

2. El lmite x de una sucesion convergente xk en Rn es unico: Sea y Rn

otro lmite, entonces usando la desigualdad del triangulo obtenemos que
kx yk = kx xk + xk yk kx xk k + kxk yk 0,
lo que implica x = y.
Definicion 3 Si una sucesion xk de Rn no es convergente, se llama divergen-
te.
Ejemplos
1. Sean xk := ( k1 , 1 k1 ), k N, y x := (0, 1). Dado > 0 definimos K()

como un numero natural mas grande que 2 . Entonces,

1 1 2
kxk xk = k( , )k = <
k k k
para todos k K(), y por lo tanto,
lm xk = x.
k

2. Definimos xk := ( k1 , k), k N. Sea x R2 arbitrario. Entonces la distancia

entre xk y x,
r
1
kxk xk kxk k kxk = + k 2 kxk > k kuk
k2
puede ser arbitrariamente grande. Por lo tanto, xk no puede converger a
x y xk es divergente.

2
 Un resultado util es el siguiente

Teorema 1 Sea xk = (x1k , x2k , ..., xnk ) una sucesion en Rn . Entonces xk con-
verge al punto x = (x1 , x2 , ..., xn ) Rn si y solo si las n sucesiones correspon-
dientes en R, {x1k }kN , ... {xnk }kN convergen a x1 , ... , xn , respectivamente;
es decir, si y solo si

lm xjk = xj , para j = 1, 2, ...n.

k

Demostracion.
(i) Si xk x, entonces existe para cada > 0 un K() N tal que
n
X
kxk xk2 = (xjk xj )2 < 2
j=1

para todos k K(). En particular, esto implica que

|xjk xj | <

para todos j = 1, 2, ...n y todos k K(). Entonces

lm xjk = xj , para j = 1, 2, ...n. (6)

k

(ii) Por otro lado, si vale (6), existen para cada > 0 numeros naturales
K1 (), K2 (), ...Kn () tales que

|xjk xj | <
n
para todos k Kj () y j = 1, 2, ...n. Definimos K() = max{K1 (), K2 (), ...Kn ()}.
Entonces 1/2
X n
kxk xk = |xjk xj |2 <
j=1

para todos k K() lo que implica que xk x.

Ejemplos
1. Sea xk := ( 1k , ek , 1 k12 ), k N. Puesto que 1
k
0, ek 0 y
1 k12 1 para k , obtenemos que

lm xk = (0, 0, 1).
k

2. Sea xk := ( k1 , (1)k , cos(k)

k ), k N. Entonces xk diverge, porque la suce-
sion real (1)k diverge.

3
2.2. Funciones f : Rn Rm continuas
Definicion 4 Sea f : Rn Rm una funcion. Se dice que f es continua en un
punto x0 Rn si para todo > 0 existe un = (, x0 ) > 0 (que depende de
y, en general, tambien de x0 ) tal que

kf (x) f (x0 )k < para todos x B (x0 ).

f se llama continua, si f es continua en todos los puntos x 0 Rn .

Teorema 2 (prueba con sucesiones) Sea f : Rn Rm una funcion. En-

tonces f es continua en el punto x si y solo si

lm f (xk ) = f (x)
k

para todas las sucesiones xk que convergen a x. En otras palabras, f : Rn Rm

es continua en x Rn si y solo si

lm xk = x implica lm f (xk ) = f (x).

k k

Demostracion.
(i) Sea f continua en x y sea xk una sucesion en Rn que converge a x. Quere-
mos demostrar que f (xk ) f (x). Entonces sea > 0. Por la continuidad
de f en el punto x existe un = (, x) > 0 tal que

kf (y) f (x)k <

para todos y Rn con ky xk < . Por la convergencia de xk a x existe

un K = K() = K(, x) tal que

kxk xk <

para todos k K. Entonces,

kf (xk ) f (x)k <

para todos k K lo que implica que f (xk ) converge a f (x).

(ii) Por otro lado, supongamos que f no es continua en x. Entonces existe un
> 0 tal que para todos > 0 existe un x Rn con

kx xk < y kf (x ) f (x)k .

En particular, para = k1 , k N, existe xk Rn con

1
kxk xk < y kf (xk ) f (x)k .
k
De esta manera, construimos una sucesion xk que converge a x pero que
tiene la propiedad que f (xk ) no converge a f (x).

4
Ejemplos
1. Sea f : R R la funcion

0, x < 2,
f (x) :=
1, x 2.

Puesto que f es constante sobre los intervalos (, 2) y (2, ), f es

continua en todos los puntos x0 6= 2. Pero f no es continua en el punto
x0 = 2, porque si definimos la sucesion xk = 2 k1 , k N, entonces xk 2
pero f (xk ) 0 6= 1 = f (2).
2. Sea f : R2 R la funcion
(
x2 y
x2 +y 2 , (x, y) 6= (0, 0),
f (x, y) :=
0, (x, y) = (0, 0).

Puesto que para (x, y) 6= (0, 0),

|x|2 |y| (x2 + y 2 )|y|

|f (x, y)| = = |y|,
x2 + y 2 x2 + y 2

tenemos que |f (xk , yk )| 0 para todas las sucesiones (xk , yk ) (0, 0).
Por esta razon, f es continua en el punto (0, 0). (f tambien es continua
en los otros puntos de R2 . porque ?)
3. Por otro lado, la funcion f : R2 R definida por
 xy
f (x, y) := x2 +y 2 , (x, y) 6= (0, 0),
0, (x, y) = (0, 0),

no es continua en el punto (0, 0) porque la sucesion

 
1 1
(xk , yk ) = , , k = 1, 2, 3, ...
k k

satisface (xk , yk ) (0, 0) y

1
lm f (xk , yk ) = 6= f (0, 0).
k 2

4. La norma, k.k : Rn R que asigna a cada vector x Rn su magni-

tud, kxk, es una funcion continua. Para ver esto, mostramos primero la
desigualdad  
kxk kyk kx yk. (7)

5
 para todos x, y Rn : Sean x, y Rn . Usando la desigualdad del triangulo,
obtenemos que

kxk = ky + x yk kyk + kx yk,

kyk = kx + y xk kxk + kx yk,

lo que implica (7). Sea xk una sucesion en Rn que converge a x Rn .

Entonces la desigualdad (7) implica que

lm |kxk k kxk| = 0,
k

es decir, kxk k kxk. Entonces, k.k : Rn R es continua.

5. No es difcil verificar que la suma de dos funciones f1 , f2 : Rn Rm
continuas es una funcion continua. De la misma manera, el producto de
dos funciones g1 , g2 : Rn R continuas es una funcion continua. Ademas,
si h : Rn R es una funcion continua y si h no posee ceros, la funcion
1 n 1 1 n
h : R R definida por h (x) = h(x) , x R , es continua.

6. Sea A : Rn Rm una funcion lineal, es decir

A(x + y) = A(x) + A(y)

para todos x, y Rn y todos R. Sean B = {e1 , e2 , ..., en } y B 0 =

{e01 , e02 , ..., e0m } las bases canonicas de Rn y Rm , respectivamente. Podemos
desarrollar
Xm
A(ej ) = aij e0i , j = 1, 2, ..., n,
i=1

donde aij son las componentes de la matriz de transformacion correspon-

diente a A con respecto a las bases B y B 0 . Sea
n
X
x= xj ej Rn .
j=1

Entonces,
n
X m
X n
X
A(x) = xj A(ej ) = aij xj e0i .
j=1 i=1 j=1

En otras palabras, A(x)i = ai x, donde ai = (ai1 , ai2 , ..., ain ) es el i-esimo

renglon de la matriz (aij ). Usando la desigualdad de Cauchy-Schwarz,
obtenemos que
n
|A(x)i |2 = |ai x| kai k2 kxk2 =
X
|aij |2 kxk2 ,
j=1

6
 lo que implica que
m m X
n
2
X X
kA(x)k2 = |A(x)i | |aij |2 kxk2 .
i=1 i=1 j=1

Entonces, si definimos la constante

v
um X n
uX
C=t |aij |2 ,
i=1 j=1

tenemos la desigualdad
kA(x)k Ckxk (8)
n
para todos x R . Usando la linealidad de A, (8) implica que

kA(x) A(y)k Ckx yk (9)

para todos x, y Rn . Como en el ejemplo 4, concluimos que A es continua

en todos los puntos de Rn . Conclusion: Transformaciones lineales A :
Rn Rm son automaticamente continuas.
En muchos casos, conviene definir f sobre un subconjunto U de Rn y no sobre
todo Rn . Por ejemplo, la funcion f (x) = 1/x esta definida sobre el intervalo
U = (, 0) (0, ) pero no sobre todo R. Pedimos que U sea abierto, es
decir, cada punto x de U posee una vecindad V = B (x) = {y Rn : ky xk}
con la propiedad que x V U . La existencia de esta vecindad se require para
tomar lmites xk x donde xk es una sucesion en U .

Definicion 5 Sea U Rn un subconjunto de Rn . U se llama

(i) abierto si para cada punto x U existe un > 0 tal que B (x) U .
(ii) cerrado si su complemento, Rn \ U , es abierto.

Ejemplos
1. Sean a, b R, a < b y (a, b) := {x R : a < x < b}. (a, b) es abierto:
Sea x (a, b). Entonces, eligiendo 0 < < mn{b x, x a}, tenemos que
B (x) = (x , x + ) (a, b).
2. Los conjuntos (, a) = {x R : x < a} y (b, ) := {x R : x > b},
tambien son abiertos.
3. La bola abierta centrada en x con radio > 0,

B (x) = {y Rn : kx yk < },

es abierta.

7
 4. La bola cerrada centrada en x con radio > 0,

B (x) = {y Rn : kx yk },

es cerrada, porque su complemento es abierto.

5. La union U V de dos subconjuntos abiertos U y V de Rn es abierta.
6. Sean a < b y [a, b] := {x R : a x b}. [a, b] es cerrado, porque el
complemento R \ [a, b] = (, a) (b, ) es la union de dos subconjuntos
abiertos.
7. Sean a, b R, a < b. El subconjunto [a, b) = {x R : a x < b} no es
abierto ni cerrado.
8. Sea U1 , U2 , U3 , ... una familia de subconjuntos abiertos de Rn . La union
[
Uj
jN

de estos subconjuntos es abierta.

9. Sea U1 , U2 , ... Um una familia finita de subconjuntos abiertos de Rn .
Entonces, la interseccion
\m
Uj
j=1

de estos subconjuntos es abierta.

10. Por otro lado, la interseccion \
Uj
jN

de una familia infinita U1 , U2 , ... de subconjuntos abiertos de Rn no es

necesariamente abierta (porque?).
11. El subconjunto vaco, , es abierto.
12. Rn tambien es abierto. Entonces, y Rn son conjuntos que son abiertos
y cerrados al mismo tiempo.
Otra manera (equivalente a la previa) de definir la continuidad de una fun-
cion f es la siguiente:
Definicion 6 Sea f : U Rn Rm una funcion definida sobre un subconjunto
abierto, U Rn , de Rn . f se llama continua si para todos los subconjuntos
abiertos V Rm , el subconjunto

f 1 (V ) := {x U : f (x) V }

de Rn es abierto.

8
Observacion: Esta definicion es equivalente a la definicion 4. Para ver esto,
vamos a asumir primero que f : U Rn Rm es continua en el sentido de la
definicion 6 y mostrar que f es continua en el sentido de la definicion 4 en todos
los puntos x0 U : Sean x0 U , y0 := f (x0 ), > 0 y

V := B (y 0 ) = {y Rm : ky y 0 k < }.

Debido a la definicion 6, el subconjunto

f 1 (V ) = {x U : kf (x) f (x0 )k < }

de U es abierto y x0 f 1 (V ). Entonces existe > 0 tal que B (x0 ) f 1 (V ).

Esto quiere decir que
kf (x) f (x0 )k <
para todos x B (x0 ). Entonces, f es continua en el punto x0 .
Por otro lado, sea f continua en el sentido de la definicion 4 en todos los
puntos x0 U . Sea V Rm un subconjunto abierto. Tenemos que mostrar que
el subconjunto f 1 (V ) es abierto: Sea x0 f 1 (V ), es decir, x0 U satisface
f (x0 ) V . Puesto que V es abierto, existe > 0 tal que B (f (x0 )) V . Como
f es continua en el punto x0 existe > 0 tal que

kf (x) f (x0 )k <

para todos x U con kx x0 k < . Entonces, eligiendo > 0 suficientemente

pequeno tal que B (x0 ) U (esto es posible porque U es abierto), obtenemos
que B (x0 ) f 1 (V ). Entonces, f 1 (V ) es abierto y f es continua en el sentido
de la definicion 6.

9
2.3. Funciones f : Rn Rm diferenciables
Primero, nos acordamos de la definicion de diferenciabilidad para funciones
que dependen de una variable:
Definicion 7 Una funcion f : R R se llama diferenciable en x R si
existe el lmite
f (x + h) f (x)
f 0 (x) := lm . (10)
h0,h6=0 h
Observaciones

1. Geometricamente, f 0 (x) representa la pendiente da la tangente a la grafica

de f en el punto x: La tangente esta determinada por la transformacion
lineal A(x) : R R definida por

A(x)h := f 0 (x)h, h R.

Esta transformacion da una aproximacion para la diferencia entre la fun-

cion f evaluada en el punto x + h y la funcion f evaluada en el punto x.
Mas precisamente, existe una funcion error, : R R tal que

(h)
lm =0
h0,h6=0 h

y
f (x + h) = f (x) + A(x)h + (h), (11)
para todos h R. Para ver esto, definimos la funcion : R R por
(h) := f (x + h) f (x) f 0 (x)h, h R. Entonces, para h 6= 0,

(h) f (x + h) f (x)
= f 0 (x) 0
h h
para h 0 puesto que f es diferenciable en x.
2. En particular, si f es diferenciable en x R, f es automaticamente con-
tinua en x, porque (11) implica que
 
(h)
lm [f (x + h) f (x)] = lm h A(x) + = 0,
h0 h0 h

y entonces f (x + h) f (x) para h 0.

Tomando en cuenta estas observaciones existen varias posibilidades para de-

finir la diferenciabilidad de funciones f : Rn Rm que dependen de n variables.
Una posibilidad esta basada en la generalizacion de (10) y lleva a la definicion de
las derivadas parciales. Otra posibilidad esta basada en la aproximacion lineal
(11). Como vamos a ver, las dos posibilidades no llevan a definiciones equiva-
lentes para funciones que dependen de mas que una variable (n 2); en este
caso, la segunda posibilidad lleva a la definicion adequada.

10
Definicion 8 Sea f : U Rn R una funcion definida sobre un subconjunto
abierto U de Rn , y sean

e1 = (1, 0, 0, ..., 0), e2 = (0, 1, 0, ..., 0), ... en = (0, 0, 0, ..., 1),

los vectores de la base canonica de Rn . f se llama parcialmente diferenciable

en x U con respecto a la coordenada i si existe el limite

f (x + hei ) f (x)
Di f (x) := lm . (12)
h0,h6=0 h
Si f es parcialmente diferenciable en x con respecto a todas las coordenadas i =
1, 2, ...n, f se llama parcialmente diferenciable en x. En este caso, el gradiente
de f en x esta definido por el vector

grad f (x) := (D1 f (x), D2 f (x), ..., Dn f (x)). (13)

Finalmente, f se llama parcialmente diferenciable si f es parcialmente di-

ferenciable en todos los puntos x de U .

Observaciones
Otras notaciones para la derivada parcial son:

Dj f (x) f (x) j f (x) f,j (x)
xj
Otras notaciones para el gradiente son:

grad f (x) f (x),

donde
(1 , 2 , ..., n )
se llama el operador nabla.

Ejemplos
p
1. Sea r : R2 R la norma, r(x) := kxk = x21 + x22 . Entonces para
(x1 , x2 ) 6= (0, 0) tenemos que
x1 x2
D1 r(x) = p , D2 r(x) = p ,
x21 + x22 x21 + x22

y r es parcialmente diferenciable en x = (x1 , x2 ) 6= (0, 0). Ademas,

(x1 , x2 ) x
grad r(x) = p 2 = ,
x1 + x2 2 kxk

para todos x 6= (0, 0).

11
 2. Sea f : R2 R la funcion
 x1 x2
kxk2 , x = (x1 , x2 ) 6= (0, 0),
f (x) :=
0, x = (x1 , x2 ) = (0, 0).

Entonces, para x 6= (0, 0), tenemos que

x2 x21 x2 (x21 x22 )x2

D1 f (x) = 2 = ,
kxk2 kxk4 kxk4
x1 x1 x22 (x21 x22 )x1
D2 f (x) = 2 = ,
kxk2 kxk4 kxk4
y

f (h, 0) f (0, 0)
D1 f (0, 0) = lm = 0,
h0,h6=0 h
f (0, h) f (0, 0)
D2 f (0, 0) = lm = 0.
h0,h6=0 h
Entonces, f es parcialmente diferenciable. A pesar de esto, f no es conti-
nua en el punto (0, 0) como vimos en el ejemplo 3 de la seccion 2.2.
Notamos tambien que la funcion D1 f : R2 R no es continua en el punto
(0, 0), porque si definimos la sucesion xk := (0, k1 ), k N, entonces xk 0
pero D1 f (xk ) = k diverge.
El ultimo ejemplo muestra que una funcion parcialmente diferenciable no es
necesariamente continua. Por otro lado, esperamos que una buena definicion de
diferenciabilidad implica la continuidad. Por esta razon, definimos
Definicion 9 Una funcion f : U Rn Rm definida sobre un subconjunto
abierto U de Rn se llama diferenciable en x U si existe una transformacion
lineal A(x) : Rn Rm y una funcion error x : B (0) Rn Rm definida
sobre una vecindad de 0 tal que

(h)
lm =0
h0,h6=0 khk
y
f (x + h) = f (x) + A(x)(h) + (h) (14)
para todos h B (0).
f se llama diferenciable si f es diferenciable en todos los puntos x U .
Observaciones

1. Si f es diferenciable en el punto x U , la transformacion lineal A(x) en

(14) es unica como veremos en el proximo teorema. En este caso, Df (x)
A(x) se llama la diferencial de f en x o la derivada de Frechet de
f en x.

12
 2. Geometricamente, la transformacion lineal A(x) describe el espacio plano
tangente a la superficie
{(x, f (x) : x U } Rn Rm
en el punto (x, f (x)).
Ejemplo: Sea C = (cij ) una matriz real simetrica n n, y sea f : Rn R la
funcion definida por
n
X
f (x) := (x, Cx) = cij xi xj ,
i,j=1

x = (x1 , x2 , ..., xn ) Rn . Entonces, para x, h Rn , tenemos que

f (x + h) f (x) = 2(Cx, h) + (h, Ch)
= A(x)(h) + (h),
donde A(x)(h) := 2(Cx, h) y (h) := (h, Ch). Obviamente, A(x) : Rn R es
lineal y usando la desigualdad de Cauchy-Schwarz, obtenemos que
 (h)  |(h, Ch)|
= kChk 0
 
khk khk


para h 0 puesto que la transformacion lineal C es continua (ver el ejemplo 6

de la seccion 2.2). Entonces f es diferenciable en todos los puntos x Rn y la
diferencial Df (x) : Rn R de f es dada por
Df (x)(h) = 2(Cx, h), x, h Rn .
Teorema 3 Sea f : U Rn Rm diferenciable en x U , y sea A := Df (x)
la diferencial de f en x. Entonces,
(i) f es continua en el punto x.
(ii) Todas las componentes fi : U Rn R, i = 1, 2, ..., m, de f son parcial-
mente diferenciables en el punto x y
Dj fi (x) = aij , i = 1, 2, ..., m, j = 1, 2, ..., n,
donde aij son las componentes de la matriz de transformacion correspon-
diente a A con respecto a las bases canonicas de Rn y Rm .
Observacion: En particular, (ii) implica que la diferencial A esta unicamen-
te determinada por f . La matriz (aij ) se llama la matriz de Jacobi de f en x.

Demostracion del Teorema 3. Sabemos que existe una funcion : B (0)

Rn Rm tal que
(h)
lm =0 (15)
h0,h6=0 khk
y
f (x + h) f (x) = A(h) + (h) (16)
para todos h B (0).

13
 (i) (15) y (16) implican que

kf (x + h) f (x)k = kA(h) + (h)k kA(h)k + k(h)k 0

para h 0. Entonces f es continua en x.

(ii) La i-esima componente de (16) es
n
X
fi (x + h) fi (x) = aij hj + i (h).
j=1

En particular, para h = hej , h 6= 0, obtenemos que

fi (x + hej ) fi (x) i (hej )

= aij + .
h h
 
 i (he )  k(he )k
Puesto que  h j  khe jk 0 para h 0, existe el lmite
j

fi (x + hej ) fi (x)
Dj fi (x) = lm = aij .
h0,h6=0 h

El resultado (ii) del Teorema 3 dice que si una funcion f : U Rn R

es diferenciable en x U , f tambien es parcialmente diferenciable en x. Por
otro lado, una funcion f : U Rn R que es parcialmente diferenciable en un
punto x U no tiene porque ser diferenciable en x: La funcion f del ejemplo
2 arriba, por ejemplo, es parcialmente diferenciable en todos los puntos de R2
pero no es continua en el punto (0, 0). Por el resultado (i) del Teorema 3 f
no puede ser diferenciable en este punto. Sin embargo, se puede mostrar que
f : U Rn R es diferenciable si f es parcialmente diferenciable y si todas las
derivadas parciales Dj f : U Rn R, j = 1, 2, ..., n, son funciones continuas.
De manera mas general, tenemos:
Teorema 4 Sea U Rn un subconjunto abierto de Rn , y sea f : U R una
funcion que es parcialmente diferenciable en todos los puntos de un subconjunto
V U abierto de U . Si todas las derivadas parciales Dj f : V Rn R,
j = 1, 2, ..., n, son continuas, entonces f es diferenciable en todos los puntos de
V , y para todos x V la diferencial de f en x esta dada por

Df (x)(h) = (grad f (x), h), h Rn .

Demostracion. Sea x V . Puesto que V es abierto, existe un > 0 tal que

B (x) V . Sea h Rn tal que 0 < khk < . Entonces los puntos
j
X
z (j) := x + hk ek , j = 0, 1, 2, ..., n,
k=1

14
pertenecen a B (x) V . Ademas, z (0) = x y z (n) = x + h. Como f es parcial-
mente diferenciable en todos los puntos de B (x) y usando el teorema del valor
medio1 , existen valores j (0, 1), j = 1, 2, ..., n, tales que

f (z (j) ) f (z (j1) ) = Dj f (y(j) )hj ,

donde y (j) = z (j1) + j hj ej , j = 1, 2, ..., n. Entonces,

n h
X i
f (x + h) f (x) = f (z (j) ) f (z (j1) )
j=1
n
X
= Dj f (y (j) )hj
j=1
n
X
= aj hj + (h), (17)
j=1

donde definimos aj := Dj f (x), j = 1, 2, ..., n y

n h
X i
(h) := Dj f (y(j) ) aj hj .
j=1

Usando la desigualdad de Cauchy-Schwarz y la continuidad de las funciones

Dj f , obtenemos que
1/2
 (h)  n h i2
 X
 Dj f (y (j) ) aj 0

khk

j=1

para h 0. Ahora (17) implica que f es diferenciable en x y que Df (x)(h) =

(a, h) donde a = (a1 , a2 , ..., an ) = grad f (x).

Teorema 5 (regla de la cadena) Sean f : V Rm Rk y g : U Rn

Rm dos funciones definidas sobre subconjuntos abiertos V y U de Rm y Rn , res-
pectivamente. Sea g(U ) V de tal manera que se pueda definir la composicion,

f g : U R n Rk , f g(x) := f (g(x)), x U.

Si g es diferenciable en el punto x U y f es diferenciable en el punto y := g(x),

entonces f g es diferenciable en el punto x, y

D(f g)(x) = Df (y) Dg(x).

1 El teorema del valor medio dice lo siguiente: Sean a < b y f : [a, b] R una funcion que

es diferenciable en todos los puntos x R con a < x < b. Entonces existe un valor y R con
a < y < b tal que
f (b) f (a)
= f 0 (y).
ba

15
Demostracion. Ejercicio.

Ejemplo: Sea f : Rn R diferenciable en x Rn , y sea v Rn , kvk = 1,

un vector unitario. La derivada direccional de f en x con respecto a la
direccion v esta definida por

d 
Dv f (x) := f (x + tv) .
dt t=0

La funcion g : R Rn , g(t) := x + tv, t R, es diferenciable y Dg(t) = v.

Entonces, usando la regla de la cadena, obtenemos que

d 
Dv f (x) = f g(t)
dt t=0
= Df (g(0)) Dg(0)
= Df (x) v.

Entonces, Dv f (x) = (grad f (x), v).

16
2.4. El teorema de Taylor
Sea f : U Rn R una funcion definida sobre un subconjunto abierto
U de Rn , y sea f diferenciable en un punto x U . Como vimos en la seccion
anterior, esto significa que existe una transformacion lineal

A(x) = Df (x) = (grad f (x), .) : Rn R

y una funcion x : B (0) Rn R definida sobre una vecindad de 0 tal que

(h)
lm =0
h0,h6=0 khk
y
f (x + h) = f (x) + A(x)(h) + (h) (18)
para todos h B (0). En otras palabras, es posible aproximar la funcion f en
una vecindad del punto x por la constante f (x) mas la transformacion lineal
h 7 A(x)(h) = (grad f (x), h). El error esta dado por la funcion x que cae a
cero mas rapidamente que khk.
En esta seccion vamos a ver que si f es suficientemente suave se pueden
obtener aproximaciones de f que son mejores que (18). Empezamos por:

Teorema 6 (teorema de Taylor en una dimension) Sean k N y a < b.

Sea f : (a, b) R una funcion definida sobre el intervalo (a, b) que es k veces
diferenciable con derivadas f (0) := f , f (1) := f 0 , f (2) := f 00 , ... , f (k) continuas.
Sean x (a, b) y h R con x + h (a, b). Entonces existe un numero real
= (x, h) con 0 < < 1 tal que
k1
X f (j) (x) j f (k) (x + h) k
f (x + h) = h + h
j=0
j! k!

f 00 (x) 2 f (k1) (x) k1 f (k) (x + h) k

= f (x) + f 0 (x)h + h + ... + h + h .
2 (k 1)! k!
Demostracion. Para h = 0 la afirmacion es evidente. Si h 6= 0 definimos

k1
X f (j) (x)
k!
p := k f (x + h) hj .
h j=0
j!

Tenemos que mostrar que existe (0, 1) tal que

f (k) (x + h) = p.

Para ver esto, suponemos primero que h > 0 y definimos la funcion H : [0, h]
R,
k1
X f (j) (x + y) p
H(y) := f (x + h) (h y)j (h y)k , 0yh
j=0
j! k!

17
que satisface H(0) = H(h) = 0. Ademas, H es diferenciable en los puntos
y (0, h) y
k1
X f (j+1) (x + y) f (j) (x + y)

0
H (y) = (h y)j j(h y)j1
j=0
j! j!
p
+ k(h y)k1
k!
k1
X f (j+1) (x + y) k1
X f (j) (x + y)
= (h y)j + (h y)j1
j=0
j! j=0
(j 1)!
p
+ (h y)k1
(k 1)!
p f (k) (x + y)
= (h y)k1 .
(k 1)!

Por el teorema del valor medio existe z (0, h) tal que H 0 (z) = 0. Definiendo
:= z/h (0, 1) esto quiere decir que

f (k) (x + h) = p.

Si h < 0 la demostracion es parecida al caso h > 0.

Observacion: Si definimos el polinomio de Taylor Px,k del orden k de f en el

punto x por
k
X f (j) (x) j
Px,k (h) := h ,
j=0
j!

entonces el resultado del teorema 6 tambien se puede reformular de la siguiente

manera: Si f es k veces diferenciable en el punto x y si las derivadas f (0) := f ,
f (1) := f 0 , f (2) := f 00 , ... , f (k) son continuas, entonces existe una funcion error
x,k tal que
x,k (h)
lm =0
h0,h6=0 hk
y
f (x + h) = Px,k (h) + x,k (h)
para todos los h R tales que x + h (a, b).
Demostracion. Por el teorema 6 sabemos que para cada h R con x+h (a, b)
existe (0, 1) tal que

f (k) (x + h) k
f (x + h) = Px,k1 (h) + h = Px,k (h) + x,k (h),
k!
donde
f (k) (x + h) f (k) (x) k
x,k (h) = h .
k!

18
Dado que f (k) es continua y que (0, 1) tenemos que f (k) (x+h)f (k) (x) 0
para h 0. Entonces, hk x,k (h) 0 para h 0.

Ejemplos
1. Sea f : R R la funcion exponencial f (x) = ex , x R. Existen todas las
derivadas de f , y f (k) (x) = ex para k = 0, 1, 2, ..., x R. Entonces, existe
para cada x, h R y cada k N un k (0, 1) tal que
ex+k h k
f (x + h) = Px,k1 (h) + h ,
k!
donde
k
X ex
Px,k (h) = hj .
j=0
j!
Que pasa en el lmite k ?
Puesto que
 ex+k h  |h|k
hk  ex+|h| 0, k ,
 
k! k!


obtenemos que para cada x, h R,

X ex
f (x + h) = lm Px,k (h) = hj .
k
j=0
j!

En particular, para x = 0, esto se reduce a la serie exponencial,

X hj h2 h3
eh = =1+h+ + + ...
j=0
j! 2 6

2. Sea f : R R una funcion que es tres veces parcialmente diferenciable

con tercera derivada f 000 continua. Sean h > 0, y D+ f , D f las siguientes
funciones:
f (x + h) f (x)
D+ f (x) = , x R,
h
f (x) f (x h)
D f (x) = , x R.
h
Por el teorema de Taylor existe una funcion x,3 que satisface h3 x,3 (h)
0 para h 0 tal que
1 1
f (x + h) = f (x) + f 0 (x)h + f 00 (x)h2 + f 000 (x)h3 + x,3 (h), h R.
2 6
Entonces,
1
D+ f (x) = f 0 (x) + f 00 (x)h + +,x (h),
2
1
D f (x) = f 0 (x) f 00 (x)h + ,x (h),
2

19
 donde las funciones ,x tienen la propiedad que caen a cero mas rapida-
mente que h. Entonces las funciones D f dan una aproximacion para la
primera derivada de f . El error de estas aproximaciones es del orden h. Se
puede obtener una mejor aproximacion definiendo las derivadas centradas,
D0 f por
f (x + h) f (x h) 1
D0 f (x) = = (D+ f (x) + D f (x)) , x R.
2h 2
En este caso, obtenemos que
1
D0 f (x) = f 0 (x) + f 000 (x)h2 + 0,x (h),
6
donde la funcion 0,x tiene la propiedad que h2 0,x (h) 0 para h 0.
Entonces, D0 f (x) es una aproximacion para la derivada de f con un error
del orden h2 .
Los operadores de diferencias finitas D , D0 se usan en la discretizacion
de ecuaciones diferenciales con derivadas parciales.
En lo que sigue, generalizamos el teorema de Taylor para funciones que
dependen de un numero n arbitrario de variables.
Definicion 10 Sea f : U Rn R una funcion definida sobre un subconjunto
abierto U de Rn . f se llama k veces parcialmente diferenciable si existen
todas las derivadas parciales del orden menor o igual a k,
Di1 Di2 ...Dij f : U Rn R, i1 , i2 , ..., ij {1, 2, ..., n}, j k.
f se llama k veces continuamente diferenciable si existen todas las deriva-
das parciales del orden menor o igual a k y si todas las derivadas
Di1 Di2 ...Dij f : U Rn R, i1 , i2 , ..., ij {1, 2, ..., n}, j k.
son continuas. En este caso, definimos para cada x U las cantidades
n
X
D(j) f (x)(h) :=
 
Di1 Di2 ...Dij f (x) hi1 hi2 ...hij , j k,
i1 ,i2 ,...ij =1

para h = (h1 , h2 , ..., hn ) Rn .

Ejemplos
1. Para k = 0 definimos
D(0) f (x)(h) := f (x), x U, h Rn .

2. Para k = 1, tenemos que

n
X
D(1) f (x)(h) = [Di f (x)] hi = (grad f (x), h).
i=1

20
 3. Para k = 2, tenemos que
n
X
D(2) f (x)(h) = [Di Dj f (x)] hi hj = (h, Hessf (x)h),
i,j=1

donde Hessf (x) es la matriz n n real cuyas componentes Hessfij (x) :=

Di Dj f (x) son dadas por las segundas derivadas parciales de f en el punto
x. Hessf (x) se llama la matriz de Hesse de f en el punto x U . El
teorema que sigue demuestra que la matriz de Hesse es simetrica si las
segundas derivadas Di Dj f : U R son funciones continuas.
Teorema 7 (Schwarz) Sea f : U Rn R una funcion definida sobre un
subconjunto abierto U de Rn que es dos veces continuamente diferenciable. En-
tonces, las segundas derivadas conmutan, es decir,
Di Dj f (x) = Dj Di f (x)
para todos i, j {1, 2, ...n} y todos los puntos x U .
Demostracion. Es suficiente considerar el caso n = 2 y x = (0, 0). Puesto
que U es abierto, existe > 0 tal que el cuadrado [, ]2 este contenido en U .
Ahora fijamos primero y [, ] y definimos la funcion Fy : [, ] R por
Fy (x) := f (x, y) f (x, 0), |x| .
Dado que existen las derivadas parciales de f , la funcion Fy es diferenciable. Por
el teorema del valor medio existe para cada x [, ] un valor = (x, y) R
con || < |x| tal que
Fy (x) Fy (0) = Fy0 ()x = [D1 f (, y) D1 f (, 0)] x.
Por otro lado, para cada x [, ] fijo la funcion [, ] R, y 7 D1 f (x, y)
es continua y diferenciable en cada punto y (, ) dado que f es dos veces
parcialmente diferenciable. Por el teorema del valor medio existe para cada
y [, ] un valor = (x, y) R con || < |y| tal que
D1 f (x, y) D1 f (x, 0) = D2 D1 f (x, )y.
Entonces,
f (x, y) f (x, 0) f (0, y) + f (0, 0) = Fy (x) Fy (0) = D2 D1 f (, )xy. (19)
Intercambiando los papeles de x y y, encontramos de la misma manera valores
= (x,
y), = (x, y) R con ||
< |x|, | < |y| tales que
)xy.
f (x, y) f (0, y) f (x, 0) + f (0, 0) = D1 D2 f (, (20)
(19) y (20) implican que para todos xy 6= 0, D2 D1 f (, ) = D1 D2 f (, ). To-
mando una sucesion (xk , yk ) (0, 0) con xk yk 6= 0 y usando la continuidad de
las funciones D1 D2 f y D2 D1 f , obtenemos que
D2 D1 f (0, 0) = D1 D2 f (0, 0).

21
Teorema 8 (teorema de Taylor en dimensiones n 1) Sean k N y U
Rn un subconjunto abierto de Rn . Sea f : U Rn R una funcion que es k
veces continuamente diferenciable. Sean x U y h Rn tales que el segmento
x + th, t [0, 1] este contenido en U . Entonces existe (0, 1) tal que
k1
X 1 (j) 1
f (x + h) = D f (x)(h) + D(k) f (x + h)(h).
j=0
j! k!

Demostracion. Puesto que U es abiero, existe > 0 tal que x + th U para

todos los t dentro del intervalo abierto I := (, 1 + ). Definimos la funcion
g : I R por g(t) := f (x+th), t I. Dado que las primeras derivadas parciales
de f son continuas, f es diferenciable (ver teorema 4). Usando la regla de la
cadena, teorema 5, obtenemos que la funcion g es diferenciable y
n
X
g 0 (t) = [Di f (x + th)] hi = D(1) f (x + th)(h).
i=1

Si k 2, las funciones Di f : U R son diferenciables y usando otras vez la

regla de la cadena, obtenemos que
n
X
00
g (t) = [Dj Di f (x + th)] hi hj = D(2) f (x + th)(h).
i,j=1

Siguiendo de esta manera, encontramos que la funcion g es k veces diferenciable y

que g (j) (t) = D(j) f (x+th)(h), j = 1, 2, ...k. En particular, g (k) es continua pues-
to que las derivadas parciales Di1 Di2 ...Dik f : U R, i1 , i2 , ..., ik {1, 2, ..., n},
son continuas. Ahora aplicamos el teorema de Taylor en una dimension, teorema
6, a la funcion g : I R: Existe (0, 1) tal que
k1
X g (j) (0) g (k) ()
g(1) = + ,
j=0
j! k!

es decir, tal que

k1
X 1 (j) 1
f (x + h) = D f (x)(h) + D(k) f (x + h)(h).
j=0
j! k!

Como en el caso n = 1 definimos el polinomio de Taylor Px,k del orden k de

f en el punto x por
k
X 1 (j)
Px,k (h) := D f (x)(h)
j=0
j!
k n
X 1 X  
= Di1 Di2 ...Dij f (x) hi1 hi2 ...hij .
j=0
j! i 1 ,i2 ,...,ij =1

22
Teorema 9 (teorema de Taylor en dimensiones n 1, segunda version)
Sean k N y U Rn un subconjunto abierto de Rn . Sea f : U Rn R una
funcion que es k veces continuamente diferenciable. Sean x U y > 0 tales
que B (x) U . Entonces existe una funcion error x,k : B (0) R tal que

x,k (h)
lm =0
h0,h6=0 khkk
y
f (x + h) = Px,k (h) + x,k (h)
para todos los h B (0).

Demostracion. Segun la afirmacion del teorema anterior existe para cada h

B (0) un valor (0, 1) tal que
1 (k)
f (x + h) = Px,k1 (h) + D f (x + h)(h) = Px,k (h) + x,k (h),
k!
donde
1 h (k) i
x,k (h) := D f (x + h)(h) D(k) f (x)(h)
k!
n
1 X
= [Di1 Di2 ...Dik f (x + h) Di1 Di2 ...Dik f (x)] hi1 hi2 ...hik
k! i ,i ,...,i =1
1 2 k

satisface
n
  1 X  
x,k (h) Di1 Di2 ...Dik f (x + h) Di1 Di2 ...Dik f (x)khkk .
   
k! i
1 ,i2 ,...,ik =1

La continuidad de las funciones Di1 Di2 ...Dik f : U R implica que

x,k (h)
lm = 0.
h0,h6=0 khkk

Ejemplo: Sea f : R2 R una funcion que es dos veces continuamente diferen-

ciable. Entonces existe una funcion : R2 R con khk2 (h) 0 para h 0
tal que
1
f (x + h) = f (x) + (grad f (x), h) + (h, Hessf (x)h) + (h)
2
para todos los h R2 . Por ejemplo, la funcion f (x, y) := x2 + 2xy 2 + y 3 es dos
veces continuamente diferenciable y

grad f (x, y) = (2x + 2y 2 , 4xy + 3y 2 ),

 
2 4y
Hessf (x, y) = .
4y 4x + 6y

23
  
2 0
Dado que f (0, 0) = 0, grad f (0, 0) = (0, 0) y Hessf (0, 0) = , tenemos
0 0
que para h = (hx , hy ) R2 ,

f (hx , hy ) = h2x + (hx , hy ),

donde la funcion error satisface

(hx , hy )
0, (hx , hy ) (0, 0).
h2x + h2y

24
2.5. Extremos relativos de funciones f : Rn R
Como una aplicacion del teorema de Taylor vamos a analizar los extremos
relativos de funciones.
Definicion 11 Sea f : U Rn R una funcion definida sobre un subconjunto
abierto U de Rn .
1. Un punto x U se llama mnimo relativo de f si existe > 0 tal que
B (x) U y

f (y) f (x), para todos y B (x).

2. Un punto x U se llama mnimo relativo estricto de f si existe > 0

tal que B (x) U y

f (y) > f (x), para todos y B (x) \ {x}.

3. Un punto x U se llama maximo relativo (estricto) de f si x es un

mnimo relativo (estricto) de f .
4. Un punto x U se llama extremo relativo (estricto) de f si x es un
mnimo o un maximo relativo (estricto) de f .

Teorema 10 (condicion necesaria para un extremo) Sea f : U Rn

R una funcion parcialmente diferenciable definida sobre un subconjunto abierto
U de Rn . Si x U es un extremo relativo de f , entonces

grad f (x) = 0.

Demostracion. Sea {e1 , e2 , ...en } la base canonica de Rn . Defina las funciones

g1 , ..., gn por gj (t) := f (x + tej ) donde |t| es suficientemente pequeno (tal
que x + tej U ). Entonces gj es diferenciable y tiene un extremo relativo en
t = 0. Vamos a suponer que se trata de un mnimo relativo (de otra manera
consideramos las funciones gj en vez de las funciones gj ). Entonces, para h > 0,

gj (h) gj (0)
0,
h
y para h < 0,
gj (h) gj (0)
0.
h
Como gj es diferenciable en el punto t = 0, la primera desigualdad implica que
gj0 (0) 0 mientras que la segunda desigualdad implica que gj0 (0) 0. Entonces,

0 = gj0 (0) = Dj f (x).

25
Definicion 12 Sea f : U Rn R una funcion parcialmente diferencia-
ble definida sobre un subconjunto abierto U de Rn . Un punto x U tal que
grad f (x) = 0 se llama un punto crtico de f o un punto estacionario de
f.

El teorema anterior dice que si f es parcialmente diferenciable, los puntos

crticos de f son candidatos para extremos relativos. Sin embargo, pueden existir
puntos crticos que no son extremos relativos de f . Por ejemplo, la funcion
f : R R, f (x) = x3 , x R, tiene un punto crtico en x = 0, pero x = 0 no es
un extremo relativo de f .

Definicion 13 Sea f : U Rn R una funcion parcialmente diferenciable

definida sobre un subconjunto abierto U de Rn , y sea x U un punto crtico de
f . Si x no es un extremo relativo de f , x se llama un punto silla de f .

Observacion: Si x U es un punto silla de f existen para cada > 0 puntos

y1 y y 2 en la bola abierta B (x) tales que

f (y1 ) < f (x) < f (y 2 ).

Ahora vamos a usar el teorema de Taylor para obtener condiciones suficientes

para la existencia de extremos relativos o de puntos silla. La idea es la siguiente:
Sea f : U Rn R dos veces continuamente diferenciable, y sea x U un
punto crtico de f , es decir, grad f (x) = 0. Por la segunda version del teorema de
Taylor, teorema 9, existe una funcion : B (0) R definida en una vecindad
de 0 tal que khk2 (h) 0 para h 0 y
1
f (x + h) = f (x) + (h, Hessf (x)h) + (h)
2
para todos los h B (0). Puesto que (h) cae a cero mas rapidamente que khk2
cuando h 0 el cambio de f al moverse del punto x al punto x + h es dado, en
buena aproximacion, por la forma cuadratica
1
Q(h) := (h, Hessf (x)h)
2
cuando khk es pequeno. Entonces si Q(h) > 0 para h 6= 0, esperamos que x
es un mnimo relativo estricto de f , si Q(h) < 0 para h 6= 0, esperamos que x
es un maximo relativo estricto de f , mientras que si existen h1 y h2 tales que
Q(h1 ) < 0 < Q(h2 ), esperamos que x es un punto silla de f . Para analizar estas
condiciones, definimos

Definicion 14 Sea A una matriz n n real simetrica.

1. A se llama definida positiva si (h, Ah) > 0 para todos h Rn con h 6= 0.
2. A se llama definida negativa si A es positiva definida.

26
 3. A se llama indefinida si existen h1 , h2 Rn tales que (h1 , Ah1 ) < 0 <
(h2 Ah2 ).

Lema 1 Sea A una matriz n n real simetrica. Entonces,

1. A es definida positiva si y solo si todos los autovalores de A son estricta-
mente positivos.
2. A es definida negativa si y solo si todos los autovalores de A son estricta-
mente negativos.
3. A es indefinida si y solo si existe un autovalor de A que es estrictamente
negativo y un autovalor de A que es estrictamente positivo.

Demostracion. Como A es simetrica existe una base ortonormal {v 1 , v 2 , ..., v n }

de Rn donde v j , j = 1, 2, ..., n, son los autovectores de A correspondientes a los
n n
hj v j Rn . Entonces, Ah =
P P
autovalores j . Sea h = j hj v j y
j=1 j=1

n
X
(h, Ah) = j h2j . (21)
j=1

La afirmacion del lema es una consecuencia directa de (21).

Teorema 11 (condiciones suficientes para un extremo estricto o un punto silla)

Sea f : U Rn R una funcion definida sobre un subconjunto abierto U de
Rn que es dos veces continuamente diferenciable. Sea x U un punto crtico de
f . Entonces,
(i) Si Hessf (x) es definida positiva, x es un mnimo relativo estricto de f .
(ii) Si Hessf (x) es definida negativa, x es un maximo relativo estricto de f .
(iii) Si Hessf (x) es indefinida, x es un punto silla de f .

Demostracion. Por el teorema de Taylor, teorema 9, existe una funcion :

B (0) R definida en una vecindad de 0 tal que khk2 (h) 0 para h 0 y
1
f (x + h) = f (x) + (h, Hessf (x)h) + (h) (22)
2
para todos los h B (0).

(i) Sea A = Hessf (x) definida positiva. Entonces, usando (21), obtenemos
que
Xn
(h, Ah) h2j = khk2 ,
j=1

27
 donde = mn{j : j = 1, 2, ..., n} > 0 es el autovalor mnimo de A. Por
otro lado, dado que khk2 (h) 0 para h 0, existe (0, ) tal que

|(h)| khk2
4
para todos h B (0). Entonces para dichos hs, (22) implica que

f (x + h) f (x) khk2 khk2 = khk2 .
2 4 4
En particular, f (x + h) f (x) > 0 para 0 < khk < , lo que implica que
x es un mnimo relativo estricto de f .
(ii) Similar que (i).
(iii) Sea A = Hessf (x) indefinida. Entonces existen vectores h1 , h2 tales que
kh1 k = kh2 k = 1 y

:= (h1 , Ah1 ) < 0 < (h2 , Ah2 ) =: .

Puesto que khk2 (h) 0 para h 0, existe (0, ) tal que

|| 2 2
|(th1 )| t , |(th2 )| t ,
4 4
para todos |t| < . Entonces (22) implica que

2 || 2 ||
f (x + th1 ) f (x) t + t = t2 < 0,
2 4 4
2 2 2
f (x + th2 ) f (x) t t = t > 0,
2 4 4
para 0 < |t| < . Entonces, x no puede ser un extremo relativo y x es un
punto silla.

Ejemplos
1. Sean a 6= 0, b 6= 0 dos valores reales, y sea f : R2 R la funcion definida
por
1
ax2 + by 2 , (x, y) R2 .


f (x, y) =
2
Tenemos que
 
a 0
grad f (x, y) = (ax, by), Hessf (x, y) = , (x, y) R2 .
0 b

Entonces (0, 0) es el unico punto crtico de f y

a) a > 0, b > 0: (0, 0) es un mnimo estricto de f .

28
 b) a < 0, b < 0: (0, 0) es un maximo estricto de f .
c) ab < 0: (0, 0) es un punto silla de f .
2. Si grad f (x) = 0 y si Hessf (x) posee uno o varios autovalores igual a cero
(y Hessf (x) no es indefinida) hay que tener cuidado! Por ejemplo, las tres
funciones fi : R2 R, i = 1, 2, 3, definidas por

f1 (x, y) := x2 + y 4 ,
f2 (x, y) := x2 ,
f3 (x, y) := x2 + y 3 ,

para (x, y) R2 satisfacen todas

 
2 0
grad fi (0, 0) = (0, 0), Hessfi (0, 0) = ,
0 0

pero (0, 0) es un mnimo relativo estricto de f1 , un mnimo relativo no

estricto de f2 y un punto silla de f3 . En estos casos, es necesario analizar
los terminos del orden mas alto en la expansion de Taylor para decidir
si un punto crtico es un mnimo relativo estricto, un maximo relativo
estricto o un punto silla.

29
2.6. Formas diferenciales y analisis vectorial
En esta seccion, generalizamos el calculo diferencial para campos vectoriales
y formas diferenciales. Muchas cantidades relevantes en la fsica son descritas
no por funciones, si no por campos vectoriales o formas diferenciables. Ademas,
el calculo diferencial para las formas diferenciales nos llevara de manera natural
a la definicion de los operadores div (divergencia) y rot (rotacional) que se
encuentran frecuentemente en la fsica. Tambien daremos una demostracion del
lema de Poincare y analizaremos las consecuencias de este resultado importante
para el analisis vectorial.
De ahora en adelante, U Rn denota un subconjunto abierto de Rn . Em-
pezamos con unos conceptos geometricos:
Definicion 15 Una curva continuamente diferenciable en U es una fun-
cion diferenciable : (, ) Rn con la propiedad que (t) U para todos
d
|t| < y que la derivada = dt : (, ) Rn es continua. (t) es el vector
tangente a la curva en el punto p = (t).

Definicion 16 Sea p U . El espacio tangente en el punto p esta definido

como el espacio de todos los vectores en p, es decir, como el conjunto

Tp (U ) := {(0) : es una curva continuamente diferenciable con (0) = p}.

Ejemplo: Sean p U y v Rn un vector dado. Entonces, (t) := p + tv, donde

|t| es suficientemente pequeno tal que p+tv U , define una curva continuamente
diferenciable en U con (0) = p. Ademas, (0) = v. Este ejemplo muestra que

Tp (U ) = Rn

para todos los puntos p U .

Definicion 17 Sea p U . El espacio cotangente en el punto p esta definido

como el espacio dual de Tp (U ), es decir, como el espacio vectorial

Tp (U ) := { : Tp (U ) R : es lineal}.

Tp (U ) es el espacio de los vectores en el punto p y Tp (U ) el espacio de las

formas lineales (o covectores) sobre Tp (U ).

Definicion 18 Un campo vectorial X sobre U es una funcion que asigna a

cada punto p U un vector X p Tp (U ).
Una forma diferencial de primer orden sobre U es una funcion que
asigna a cada punto p U una forma lineal p Tp (U ).

Ejemplos
1. Sea U = R3 \ {(0, 0, 0)} el espacio tridimensional menos el origen. Defina
E : U R3 por
Q
Ep = x, p = x U, (23)
kxk2

30
 donde x = x/kxk. Entonces E es un campo vectorial. En electromagnetis-
mo, (23) representa el campo electrico de una partcula estatica con carga
Q.
2. Sea U como en el ejemplo anterior. Defina la funcion f : U R por
f (p) := Q/kxk, p = x U . Entonces f es diferenciable y

grad f (p) = E p .

3. Sea f : U R una funcion diferenciable. En cada punto p U , la

diferencial df (p) : Tp (U ) R es una transformacion lineal. Entonces
df (p) Tp (U ) para cada punto p U y := df define una forma diferen-
cial de primer orden. Sean p U y v Tp (U ), entonces esta definida
por
p (v) = df (p)(v) = (grad f (p), v).

2.6.1. Representacion por coordenadas

Sea p U . Una base de Tp (U ) esta dada por los vectores

e1 = (1, 0, 0, ..., 0), e2 = (0, 1, 0, ..., 0), ... en = (0, 0, 0, ..., 1),

que forman la base canonica de Rn . Para determinar la base dual correspondien-

te de Tp (U ) consideramos para cada i = 1, 2, ...n la funcion xi : U Rn R
que asigna a cada punto p = (p1 , p2 , ..., pn ) de U su i-esima coordenada pi , es
decir,
xi (p) = pi , p = (p1 , p2 , ..., pn ) U.
La j-esima derivada parcial de la funcion xi es:

xi (p + hej ) xi (p) pi + hij pi

Dj xi (p) = lm = lm = ij ,
h0,h6=0 h h0,h6=0 h

donde ij es la delta de Kronecker (ij = 1 si i = j y ij = 0 si i 6= j). Entonces,

xi es diferenciable y grad xi = ei . Ademas, la diferencial de xi en el punto p U
es dada por

dxi (p)(v) = (grad xi (p), v) = (ei , v) = vi , v = (v1 , v2 , ..., vn ) Tp (U ).

En particular,
dxi (p)(ej ) = ij .
Entonces, las formas lineales

dx1 (p), dx2 (p), ..., dxn (p)

forman la base dual de Tp (U ) que corresponde a la base {e1 , e2 , ..., en } de Tp (U ).

31
 Si v Tp (U ) es un vector en p U y Tp (U ) es una forma lineal en p,
existen numeros reales v1 , v2 , ..., vn R y 1 , 2 , ..., n R tales que
n
X n
X
v= vj ej , = i dxi (p).
j=1 i=1

Estos numeros se pueden obtener de la siguiente manera: vj = dxj (p)(v) y

i = (ei ). De la misma manera, si X es un campo vectorial sobre U y si es
una forma diferencial de primer orden sobre U , existen funciones X1 , X2 , ..., Xn :
U R y 1 , 2 , ..., n : U R tales que
n
X n
X
X= Xj ej , = i dxi ,
j=1 i=1

es decir,
n
X n
X
Xp = Xj (p)ej , p = i (p)dxi (p) , p U.
j=1 i=1

n
P
Definicion 19 Sea k N0 . Un campo vectorial X = Xj ej sobre U se llama
j=1
k veces continuamente diferenciable si todas las funciones Xj : U Rn
R, j = 1, 2, ..., n, son k veces continuamente diferenciables.
n
P
Una forma diferencial de primer orden = i dxi sobre U se llama k
i=1
veces continuamente diferenciable si todas las funciones i : U Rn R,
i = 1, 2, ..., n, son k veces continuamente diferenciables.

Ejemplos
1. El campo vectorial E definido en (23) es indefinidamente diferenciable,
dado que las funciones x 7 xi /kxk3 son indefinidamente diferenciables
sobre el conjunto U = R3 /{(0, 0, 0)}.
2. Sea f : U Rn R una funcion que es continuamente diferenciable.
Entonces su diferencial, = df , tiene la expansion
n
X
df = fi dxi ,
i=1

donde
fi (p) = df (p)(ei ) = (grad f (p), ei ) = Di f (p).
Entonces df es continua y
n
X
df = (Di f )dxi . (24)
i=1

32
2.6.2. Formas diferenciales de orden mayor
Sea V := Tp (U ) = Rn el espacio vectorial que consiste de los vectores tan-
gentes en el punto p U , y sea V = Tp (U ) el espacio dual correspondiente.
Nos acordamos:
Definicion 20 Sea k N. Una k-forma sobre V es una funcion : V k R
que asigna a k vectores v 1 , ..., v k un numero real (v 1 , ..., v k ) tal que
(i) es lineal en cada argumento, es decir

(v 1 , ..., v i +w, v i+1 , ..., v k ) = (v 1 , ..., v k )+(v 1 , ..., v i1 , w, v i+1 , ..., v k )

para cada R, w V y cada i = 1, 2, ...k.

(ii) es totalmente antisimetrico, es decir

(v 1 , ..., v i , ..., v j , ..., v k ) = (v1 , ..., v j , ..., v i , ..., v k )

para cada par (i, j) tal que 1 i < j k.

Como vimos en el captulo anterior, el espacio de todas las k-formas sobre V =
Rn forma un espacio vectorial de dimension
 
n n!
= .
k k!(n k)!
Sea {e1 , ..., en } la base canonica de V y {1 , ..., n } la base dual correspondiente
de V , entonces vimos que cada k-forma se puede escribir de la forma
X
= i1 i2 ...ik i1 i2 ... ik
1i1 <i2 <...<ik n
n
1 X
= i1 i2 ...ik i1 i2 ... ik ,
k! i
1 ,i2 ,...,ik =1

donde i1 i2 ...ik = (ei1 , ei2 , ..., eik ) y donde denota el producto exterior (ver
el captulo sobre algebra lineal). En particular, i1 i2 ... ik esta definido
por
X
i1 i2 ... ik (v 1 , v 2 , ..., v k ) := sign()(i1 ) (v 1 )(i2 ) (v 2 ) (ik ) (v k ),
S(k)

donde S(k) denota el grupo de permutaciones de los k elementos 1, 2, ..., k,

sign() se refiere al signo de la permutacion , y donde v 1 , v 2 , ..., v k son vectores
en V . Por definicion, i1 i2 ... ik es totalmente antisimetrico:

i1 ... ir ... is ... ik = i1 ... is ... ir ... ik

para cada par (r, s) tal que 1 r < s k.

Ejemplos

33
 1. Una 1-forma,
n
X
= i i ,
i=1

es simplemente una forma lineal (es decir, un elemento de V ).

2. Una 2-forma se puede escribir como
n
X 1 X
= ij i j = ij i j
2 i,j=1
1i<jn

donde
 
i (v) i (w)
i j (v, w) = i (v)j (w) j (v)i (w) = det ,
j (v) j (w)

para v, w V .
3. De manera mas general,

i1 (v 1 ) ... i1 (v k )
i2 (v 1 ) ... i2 (v k )
i1 i2 ... ik (v 1 , v 2 , ..., v k ) = det
...
,
...
ik (v 1 ) ... ik (v k )

para vectores v 1 , v 2 , ..., v k V .

4. Si k = n, el espacio de k-formas es unidimensional; todas las n-formas son
proporcionales a
1 2 ... n .

5. Si k > n, no existen k-formas a parte de la k-forma trivial que asigna cero

a cada eleccion v 1 , ..., v k de vectores.
6. Para lo que sigue, tambien es conveniente definir una 0-forma como un
numero real.

Definicion 21 Sea k N. Una forma diferencial de orden k sobre U

es una funcion que asigna a cada punto p U una k-forma p .

Dado que los elementos dx1 (p), dx2 (p), ..., dxn (p) forman una base de V =
Tp (U ),
una forma diferencial de orden k se puede escribir como
X
= i1 i2 ...ik dxi1 dxi2 ... dxik ,
1i1 <i2 <...<ik n

donde las funciones i1 i2 ...ik : U Rn R se pueden obtener de la siguiente

manera:
i1 i2 ...ik (p) = p (ei1 , ei2 , ..., eik ), p U.

34
Definicion 22 Sea l N0 . Una forma diferencial de orden k sobre U se llama
l veces continuamente diferenciable si todas las funciones i1 i2 ...ik : U
Rn R, 1 i1 < i2 < ... < ik n son l veces continuamente diferenciables.

Ejemplos
1. Puesto que una 0-forma es un numero real, una forma diferencial de orden
0 sobre U es simplemente una funcion sobre U .
2. Una forma diferencial de orden 1 sobre U es una forma diferencial de
primer orden sobre U (ver definicion 19). Como ejemplo, sean U := {p =
(t, x, y, z) R4 : (x, y, z) 6= (0, 0, 0)} el espacio-tiempo menos el origen
espacial y f : U R la funcion
Q
f (p) := ,
kxk
p
donde kxk = x2 + y 2 + z 2 . Entonces f es indefinidamente diferenciable
y
Q
df = (xdx + ydy + zdz) = Ex dx + Ey dy + Ez dz,
kxk3
donde E = (Ex , Ey , Ez ) es el campo electrico definido en (23).
3. Sea U R4 el espacio-tiempo menos el origen espacial, como en el ejemplo
anterior. El tensor electromagnetico correspondiente a una partcula en
reposo con carga electrica Q es dado por la siguiente forma diferencial de
segundo orden sobre U :
Q
F = (xdx dt + ydy dt + zdz dt) = df dt. (25)
kxk3
F es indefinidamente diferenciable.
4. De manera mas general, el tensor electromagnetico es dado por la siguiente
forma diferencial de segundo orden:
F = Ex dx dt + Ey dy dt + Ez dz dt
+ Bx dy dz + By dz dx + Bz dx dy, (26)

donde Ex , Ey , Ez : U R4 R son las componentes del campo electrico

y Bx , By , Bz : U R4 R son las componentes del campo magnetico.
Notamos que en cada punto p U las seis 2-formas
dx(p) dt(p), dy(p) dt(p), dz(p) dt(p),
dy(p) dz(p), dz(p) dx(p), dx(p) dy(p),
forman una base del espacio de todas las 2-formas sobre Tp (U ). Enton-
ces, cualquier forma diferencial de segundo orden F se puede escribir
como en (26). F es l veces continuamente diferenciable si las funciones
Ex , Ey , Ez , Bx , By , Bz : U R lo son.

35
 5. Sea una forma diferencial de orden n = dim Tp (U ). Entonces existe una
funcion f : U Rn R tal que
= f dx1 dx2 ... dxn .
es l veces continuamente diferenciable si la funcion f lo es.

2.6.3. La derivada exterior

Sea f : U Rn R una funcion (o una forma diferencial de orden 0) que
es continuamente diferenciable. Entonces la diferencial df de f es una forma
diferencial de primer orden y
n
X
df = (Di f )dxi ,
i=1

como vimos en (24). Generalizamos la diferencial para una forma diferencial de

orden arbitrario:
Definicion 23 Sea
X
= i1 ...ik dxi1 ... dxik
1i1 <...<ik n

una forma diferencial de orden k sobre U que es continuamente diferenciable.

Entonces definimos la siguiente forma diferencial de orden k + 1 sobre U :
X
d := di1 ...ik dxi1 ... dxik
1i1 <...<ik n
X n
X
= (Di i1 ...ik )dxi dxi1 ... dxik .
1i1 <...<ik n i=1

La forma diferencial d se llama la derivada exterior de .

Ejemplos
n
P
1. Sea A = Aj dxj una forma diferencial de primer orden que es conti-
j=1
nuamente diferenciable. Entonces,
n
X
dA = dAj dxj
j=1
Xn
= (Di Aj )dxi dxj
i,j=1
n
1 X
= (Di Aj Dj Ai )dxi dxj
2 i,j=1
X
= (Di Aj Dj Ai )dxi dxj ,
1i<jn

36
 donde en el penultimo paso usamos dxj dxi = dxi dxj . Entonces,
F = dA es una forma diferencial de segundo orden y sus componentes son
dadas por las funciones continuas
Fij = Di Aj Dj Ai , 1 i < j n.
En particular, si A = df es la diferencial de una funcion que es dos ve-
ces continuamente diferenciable, entonces Aj = Dj f y Fij = Di Dj f
Dj Di f = 0 (ver theorem 7). Concluimos que d(df ) = 0 para cualquier
funcion f que es dos veces continuamente diferenciable.
P
2. Sea F = Fij dxi dxj una forma diferencial de segundo orden
1i<jn
que es continuamente diferenciable. Entonces dF es la siguiente forma
diferencial de tercer orden,
n
1 X
dF = dFij dxi dxj
2 i,j=1
n
1 X
= (Dk Fij )dxk dxi dxj
2
k,i,j=1
n
1 X
= (Dk Fij + Di Fjk + Dj Fki )dxk dxi dxj
6
k,i,j=1
X
= (Dk Fij + Di Fjk + Dj Fki )dxk dxi dxj .
k<i<j

En particular, si F = dA, es decir, si Fij = Di Aj Dj Ai , donde A1 , ..., An :

U Rn R son dos veces continuamente diferenciables, entonces Dk Fij +
Di Fjk + Dj Fki = 0 y dF = 0. Concluimos que d(dA) = 0 para cualquier
forma diferencial de primer orden A que es dos veces continuamente dife-
renciable.
3. Sea F la forma diferential de segundo orden definida en (25). Puesto que
F = df dt, tenemos que
F = dA, A = f dt,
y dF = d(dA) = 0.
4. Sea
F = Bx dy dz + By dz dx + Bz dx dy
el campo electromagnetico correspondiente a un campo magnetico puro,
donde las componentes del campo magnetico Bx , By , Bz : R3 R son
continuamente diferenciables. Entonces,
dF = dBx dy dz + dBy dz dx + dBz dx dy
= Dx Bx dx dy dz + Dy By dy dz dx + Dz Bz dz dx dy
= (div B)dx dy dz,

37
 donde div B Dx Bx + Dy By + Dz Bz es la divergencia del campo vec-
torial B = (Bx , By , Bz ).
Los primeros dos ejemplos surgieren que d(d) = 0 para cualquier forma
diferencial que es dos veces continuamente diferenciable. El proximo teorema
muestra que efectivamente, esto se cumple.

Teorema 12 (propiedades basicas de la derivada exterior) Sea U Rn

un subconjunto abierto de Rn .
(i) Sean y dos formas diferenciales de orden k sobre U que son continua-
mente diferenciables, y sea R. Entonces

d( + ) = d + d.

(ii) Sean y formas diferenciales de orden k y l, respectivamente, sobre U

que son continuamente diferenciables. Entonces,

d( ) = d + (1)k d.

(iii) Si es una forma diferencial sobre U que es dos veces continuamente

diferenciable, entonces
d(d) = 0.

Demostracion.
(i) Consideramos primero el caso k = 0: Sean f, g : U R dos funciones que
son continuamente diferenciables y sea R. Entonces,
n
X
d(f + g) = Di (f + g)dxi
i=1
Xn
= (Di f + Di g)dxi
i=1
= df + dg.
P P
Ahora sean = i1 ...ik dxi1 ... dxik y = i1 ...ik dxi1
i1 <...<ik i1 <...<ik
... dxik dos formas diferenciales de orden k 1. Entonces,
X
d( + ) = d (i1 ...ik + i1 ...ik ) dxi1 ... dxik
i1 <...<ik
X
= (di1 ...ik + di1 ...ik ) dxi1 ... dxik
i1 <...<ik
= d + d.

38
(ii) Consideramos primero el caso k = l = 0: Sean f, g : U R dos funciones
que son continuamente diferenciables. Entonces, f g = f g y usando la
regla de Leibnitz,
n
X
d(f g) = Di (f g)dxi
i=1
Xn
= [(Di f ) g + f Di g] dxi
i=1
= (df )g + f dg = df g + f dg.
P P
Ahora sean = i1 ...ik dxi1 ... dxik y = j1 ...jl dxj1
i1 <...<ik j1 <...<jl
...dxjl dos formas diferenciales de orden k y l, respectivamente. Entonces,
d( )

X X
= d i1 ...ik j1 ...jl dxi1 ... dxik dxj1 ... dxjl
i1 <...<ik j1 <...<jl
X X
= [(di1 ...ik )j1 ...jl + i1 ...ik dj1 ...jl ]
i1 <...<ik j1 <...<jl
dxi1 ... dxik dxj1 ... dxjl
X X
= di1 ...ik dxi1 ... dxik j1 ...jl dxj1 ... dxjl
i1 <...<ik j1 <...<jl
X X
+ i1 ...ik dxi1 ... dxik (1)k dj1 ...jl dxj1 ... dxjl
i1 <...<ik j1 <...<jl

= d + (1)k d,
donde usamos dj1 ...jl dxi1 ... dxik = (1)k dxi1 ... dxik dj1 ...jl
en el penultimo paso.
(iii) Si f : U R es una funcion que es dos veces continuamente diferenciable,
ya Pvimos en los ejemplos anteriores que d(df ) = 0. Entonces sea =
i1 ...ik dxi1 ... dxik una forma diferencial de orden k 1 que
i1 <...<ik
es dos veces continuamente diferenciable. Usando el resultado anterior y
el hecho de que d(dxij ) = 0, obtenemos que
" #
X
d(d) = d di1 ...ik dxi1 ... dxik
i1 <...<ik
X
= d (di1 ...ik ) dxi1 ... dxik
i1 <...<ik
= 0.

39
2.6.4. El lema de Poincare
Para lo que sigue, es conveniente definir:
Definicion 24 Una forma diferencial de orden k N0 sobre U que es conti-
nuamente diferenciable se llama cerrada si d = 0.
Una forma diferencial de orden k N sobre U que es continua se llama
exacta si existe una forma diferencial de orden k 1sobre U que es conti-
nuamente diferenciable tal que = d.
Sea una forma diferencial de orden k N sobre U que es continuamente
diferenciable. Por el resultado del teorema 12(iii), es automaticamente cerrada
si es exacta. Ahora preguntamos si tambien vale la afirmacion contraria: Su-
pongamos que es cerrada. Es automaticamente exacta, es decir, existe una
forma diferencial de orden k 1 sobre U que es continuamente diferenciable
tal que = d?
Como vamos a ver, la respuesta depende de las propiedades topologicas de
U . Para entender esto, empezamos con:
Ejemplo: Sea U = R2 \ {(0, 0)} el plano menos el origen, y sea la forma
diferencial de primer orden sobre U dada por
y x
:= dx + 2 dy.
x2 +y 2 x + y2
Como es facil verificar, es continuamente diferenciable y d = 0. Entonces
es cerrada. Sean V := {(x, y) R2 : x < 0} y V+ := {(x, y) R2 : x > 0}
los semiplanos a la izquierda y a la derecha, respectivamente, del eje y. Como
vamos a mostrar ahora, , definida como forma diferencial sobre los subespacios
V , V+ o V := V V+ es exacta, pero no es exacta como forma diferencial
definida sobre todo U .
Sea g : V R la funcion definida por
y
g(x, y) := arc tg , x 6= 0, y R.
x
Entonces g es continuamente diferenciable, y
y x
dg = (Dx g)dx + (Dy )dy = dx + 2 dy = .
x2 + y 2 x + y2
Entonces, dg = sobre V y es exacta sobre V . Pero no es exacta como
forma diferencial definida sobre todo U . Para ver esto, supongamos que es
exacta sobre U . Entonces existe una funcion f : U R que es continuamente
diferenciable tal que = df . Dado que = df = dg sobre V , d(f g) = 0 sobre
V . Entonces existe una constante c R tal que f (x, y) = g(x, y) + c para
todos los puntos (x, y) V . De la misma manera, existe una constante c+ R
tal que f (x, y) = g(x, y) + c+ para todos los puntos (x, y) V+ . Entonces,

arc tg xy
+ c , (x, y) V ,


f (x, y) = y
arc tg x + c+ , (x, y) V+ .

40
Por otro lado, f es una funcion continua sobre U . En particular, f es continua
en los puntos (0, 1) y (0, 1). Tomando en cuenta que lm arc tg(z) = /2,
z
lm arc tg(z) = /2, encontramos que
z

+ c = lm f (x, 1) = lm f (x, 1) = + c+ ,
2 x0,x<0 x0,x>0 2

+ c = lm f (x, 1) = lm f (x, 1) = + c+ ,
2 x0,x<0 x0,x>0 2
La primera ecuacion implica que c+ = c , la segunda que c+ = c + lo
que es absurdo. Entonces, no puede ser exacta sobre todo U .
De este ejemplo aprendemos que el hecho de que si una forma cerrada es
exacta o no puede depender del dominio U sobre cual esta definida . Ahora
introducimos una propiedad de U que garantiza que una forma cerrada siempre
es exacta:
Definicion 25 Sea U Rn un subconjunto abierto de Rn . Se dice que U tiene
forma de estrella con respecto a un punto p0 U si para todos p U el
segmento entre p0 y p,

{tp + (1 t)p0 : 0 t 1} U.

esta dentro de U .
Ejemplos
1. Los semiplanos V y V+ del ejemplo anterior tienen forma de estrella (con
respecto a cualquiera de sus puntos).
2. U = Rn tiene forma de estrella (con respecto a cualquier punto p0 Rn ).
3. El espacio menos el origen, U = R2 \ {(0, 0)}, no tiene forma estrella.
4. La bola abierta U := B (p) centrada en p Rn con radio > 0 tiene
forma de estrella con respecto a p.

Teorema 13 (Lema de Poincare) Sea U Rn un subconjunto abierto de

Rn que tiene forma de estrella, y sea una forma diferencial de orden k N
sobre U que es continuamente diferenciable y cerrada. Entonces es exacta.

Observacion: Para versiones mas generales del lema de Poincare consultar la

literatura, por ejemplo [3].

Demostracion del teorema 13. Podemos asumir que U tiene forma de

estrella con respecto al origen (de otra manera, hacemos una traslacion de U ).
Entonces, para todos los puntos x U , el segmento tx, 0 t 1 se encuentra
dentro de U .

41
 n
P
Empezamos con el caso k = 1: Sea A = Aj dxj una forma diferencial de
j=1
primer orden sobre U que es continuamente diferenciable y que satisface dA = 0,
es decir,
Di Aj (x) Dj Ai (x) = 0, x U.
Entonces definimos
Z1 X
n
f (x) := xj Aj (tx) dt, x U.
0 j=1

f es pacialmente diferenciable, y para x U tenemos que

Z1 X
n
Di f (x) = [ij Aj (tx) + txj Di Aj (tx)] dt
0 j=1

Z1

n
X
= Ai (tx) + t xj Dj Ai (tx) dt
0 j=1

Z1  
d
= Ai (tx) + t Ai (tx) dt
dt
0
Z1
d
= [tAi (tx)] dt
dt
0
1
= tAi (tx)|t=0 = Ai (x).
Entonces, df = A yP
A es exacta.
Ahora sea F = Fij dxi dxj una forma diferencial de segundo orden sobre
i<j
U que es continuamente diferenciable y que satisface dF = 0, es decir,
Dk Fij (x) + Di Fjk (x) + Dj Fki (x) = 0, x U.
Entonces definimos
Z1 X
n
Aj (x) := txk Fkj (tx) dt, x U.
0 k=1

Ai es parcialmente diferenciable, y para x U tenemos que

Z1 " n
X
#
Di Aj (x) Dj Ai (x) = 2tFij (tx) + txk (Di Fkj (tx) Dj Fki (tx)) dt
0 k=1

Z1 " n
X
#
= 2tFij (tx) + t xk Dk Fij (tx) dt
0 k=1

42
 Z1
d 2 
= t Fij (tx) dt
dt
0
1
= t2 Fij (tx)t=0 = Fij (x),

donde hemos usado Fij = F

Pji y dF = 0. Entonces, dA = F y F es exacta.
Ejercicio: Sea = i1 ...ik dxi1 ... dxik una forma diferencial
i1 <...<ik
de P
orden k sobre U que es cerrada. Verifique que la forma diferencial =
i2 ...ik dxi2 ... dxik definida por
i2 <...<ik

Z1 X
n
i2 ...ik (x) := tk1 xj ji2 ...ik (tx) dt, x U.
0 j=1

satisface d = .

Ejemplo: Sea U = R4 y supongamos que el tensor electromagnetico, F , definido

en (26) este cerrado, dF = 0. Entonces existe una forma diferencial de primer
orden A = At dt + Ax dx + Ay dy + Az dz tal que dA = F . Tenemos que

dA = dAt dt + dAx dx + dAy dy + dAz dz

= (Dx At Dt Ax ) dx dt + (Dy At Dt Ay ) dy dt + (Dz At Dt Az ) dz dt
+ (Dy Az Dz Ay ) dy dz + (Dz Ax Dx Az ) dz dx + (Dx Ay Dy Ax ) dx dy.

Comparando con (26), obtenemos que

E = grad At Dt A, B = rot A, (27)

donde A = (Ax , Ay , Az ) y donde

rot A (Dy Az Dz Ay , Dz Ax Dx Az , Dx Ay Dy Ax )

es el rotacional de A.

Observacion: La ecuacion dF = 0 es equivalente a las ecuaciones de Maxwell

homogeneas. Si las ecuaciones de Maxwell se consideran sobre un dominio U
que tiene forma de estrella, el lema de Poincare se puede usar para reemplazar
E y B por los potenciales At (potencial electrico) y A (potencial magnetico).
Definiendo E y B por (27), las ecuaciones de Maxwell homogeneas, dF = 0, son
automaticamente satisfechas.
Los potenciales At y A no son unicos: Sea A0 = A0t dt + A0x dx + A0y dy + A0z dz
otra forma diferencial de primer orden tal que dA0 = F . Entonces, d(A0 A) = 0,
es decir, A0 A es cerrada. El lema de Poincare implica que existe una funcion
f : U R que es continuamente diferenciable tal que A0 = A + df . Entonces A
y A0 se distinguen solamente por la diferencial de una funcion f , y

A0t = At + Dt f, A0 = A + grad f.

43
2.6.5. Aplicacion para el analisis vectorial
Sea U R3 un subconjunto abierto del espacio tridimensional. Definimos:

ds := (dx, dy, dz) (elemento de lnea)

dS := (dy dz, dz dx, dx dy) (elemento de area)
dV := dx dy dz (elemento de volumen).

Entonces una forma diferencial A, F o de orden k = 1, 2, 3, respectivamente,

sobre U se puede escribir de la manera siguiente:

A = a ds ax dx + ay dy + az dz,
F = b dS bx dy dz + by dz dx + bz dx dy,
= h dV h dx dy dz,

para una funcion h : U R y dos campos vectoriales a, b : U R3 sobre

U . Sean f : U R una funcion que es continuamente diferenciable, y sean
a, b : U R3 continuamente diferenciables. Entonces, tenemos que

df = grad f ds, (28)

d(a ds) = (rot a) dS, (29)
d(b dS) = (div b) dV, (30)

donde en termino del operador nabla, (Dx , Dy , Dz ), los operadores grad ,

rot , div se pueden escribir de la siguiente manera:

grad f = f (gradiente de f ),
rot a = a
= (Dy az Dz ay , Dz ax Dx az , Dx ay Dy ax ) (rotacional de a),
div b = b
= D x bx + D y by + D z bz (divergencia de b).

Si f y a son dos veces continuamente diferenciables, entonces usando las

identidades (28,29,30) obtenemos que

0 = d2 f = d(grad f ds) = (rot grad f ) dS ,

0 = d2 (a ds) = d [rot a) dS] = (div rot a) dV.

Entonces valen las siguientes identidades:

rot grad 0, div rot 0.

Por otro lado, sean a, b : U R3 dos campos vectoriales que son continua-
mente diferenciables y que satisfacen

rot a = 0, div b = 0.

44
Entonces las formas a ds y b dS sobre U son cerradas. Si U tiene forma de
estrella, el lema de Poincare implica que existe una funcion f : U R y una
forma diferencial de primer orden sobre U tales que

a ds = df, b dS = d.

Escribiendo = c ds para un campo vectorial c : U R3 , obtenemos que

a = grad f y b = rot c. Entonces hemos demostrado el siguiente resultado:

Teorema 14 Sea U R3 un subconjunto abierto del espacio tridimensional

que tiene forma de estrella.

(i) Sea a : U R3 un campo vectorial sobre U que es continuamente diferen-

ciable y que satisface rot a = 0. Entonces existe una funcion f : U R
que es continuamente diferenciable tal que a = grad f .
(ii) Sea b : U R3 un campo vectorial sobre U que es continuamente di-
ferenciable y que satisface div b = 0. Entonces existe un campo vectorial
c : U R3 que es continuamente diferenciable tal que b = rot c.

Ejemplo: Las ecuaciones de Maxwell homogeneas son

div B = 0, Dt B + rot E = 0,

donde E = (Ex , Ey , Ez ) : R U R3 y B = (Bx , By , Bz ) : R U R3

son funciones continuamente diferenciables que representan el campo electrico
y magnetico, respectivamente. Dependen del tiempo t R y de las coordenadas
espaciales (x, y, z) U . Si U tiene forma de estrella, la ecuacion div B = 0
garantiza que para cada t R existe un campo vectorial A(t) : U R3 tal que

B(t) = rot A(t). (31)

Introduciendo esto en la ecuacion Dt B + rot E = 0 obtenemos que

rot (Dt A + E) = 0.

Entonces existe para cada t R, una funcion (t) : U R tal que

Dt A(t) + E(t) = grad (t). (32)

Las ecuaciones (31,32) son equivalentes a las ecuaciones (27) con A t = . Los
potenciales y A no son unicos; la transformacion

7 + Dt f, A 7 A + grad f, (33)

donde f : R U R es una funcion que es dos veces continuamente diferen-

ciable, deja E y B invariantes. En la observacion debajo de la ecuacion (27)
mostramos que (33) es la unica transformacion que deja los campos E y B
invariantes.

45
2.7. Integracion de formas diferenciales y el teorema de
Stokes
En esta seccion aprendemos como integrar formas diferenciales sobre sub-
conjuntos de Rn y sobre superficies. Luego, formulamos el teorema de Stokes
para formas y analizamos varios casos particulares, incluyendo el teorema de
Gauss, el teorema clasico de Stokes y las formulas de Green.
Por falta de tiempo solamente consideramos superficies locales y solamente
demostramos el teorema de Stokes para un caso particular. Para un analisis mas
completo, consultar la literatura, por ejemplo [3].
Empezamos con la integracion de formas diferenciales de orden n sobre sub-
conjuntos de Rn :
Definicion 26 Sea U Rn un subconjunto abierto de Rn y sea una forma
diferencial de orden n sobre U . Entonces existe una funcion f : U R tal que

= f dx1 dx2 ... dxn .

La forma se llama integrable sobre un subconjunto A U si la funcion f

es integrable sobre el conjunto A. En este caso, definimos
Z Z
:= f (x) dn x.
A A

Ejemplo: Sea la siguiente forma diferencial sobre R2 :

= (x2 + y 2 )dx dy.

Entonces no es integrable sobre A = R2 puesto que la integral de la funcion

f (x, y) = x2 + y 2 sobre R2 no existe (es infinita). Por otro lado, es integrable
sobre el cuadrado A = [0, 1] [0, 1] y

Z1 Z1
2
Z Z
2 2 2
= (x + y ) dx dy = x dx + y 2 dy = .
3
A A 0 0

2.7.1. Superficies locales en Rn

Definicion 27 Un subconjunto S Rn se llama una superficie local de
dimension k en Rn si existe un subconjunto U Rk abierto de Rk y una
funcion continuamente diferenciable : U Rk Rn tal que
(i) La imagen de es igual a S: (U ) {(y) : y U } = S.
(ii) dim RgD(y) = k para cada y U , es decir, los vectores columnas de la
matriz de transformacion correspondiente a la diferencial, D(y) : R k
Rn , de , son linealmente independientes para cada y U .

46
(iii) La funcion : U S es inyectiva (es decir, (y 1 ) = (y 2 ) para y1 , y2
U implica que y 1 = y2 ) y su inversa, 1 : S U es continua.

Ejemplos

1. k = 1: Sean a < b, U := (a, b) y : (a, b) Rn una curva continuamente

diferenciable. Entonces S := (a, b) es una superficie local de dimension 1
en Rn si se cumplen
(a)

d
(t) (t) 6= 0, a < t < b,
dt

(b) S no posee intersecciones.

(c) 1 : S (a, b) es continua.

Por ejemplo, la curva (t) := (t2 , t3 ), t R, es continuamente diferencia-

ble, pero (0) = 0, entonces (R) no define una superficie local. En cam-
bio, la curva (t) := (t3 4t, t2 4), t R es continuamente diferenciable
y satisface (t) = (3t2 4, 2t) 6= (0, 0) para todos t R, pero S := (R)
tampoco define una superficie local porque (2) = (2) = (0, 0), enton-
ces S posee una interseccion en el punto (0, 0).
Finalmente, un ejemplo de una curva continuamente diferenciable que sa-
tisface (a) y (b) pero no (c) es el siguiente:

(t, sen(/t)) , 0 < t 2,
(t) := (2 + 2 sen (t/2 1) , 3 2 cos (t/2 1)) , 2 < t 2 + 3,
(0, 5 + 3 t) , 2 + 3 < t < 8 + 3.

es diferenciable, y

1, t2 cos(/t) ,


0 < t 2,
(t) := (cos (t/2 1) , sen (t/2 1)) , 2 < t 2 + 3,
(0, 1) , 2 + 3 < t < 8 + 3.

es continua. Ademas, : (0, 8 + 3) S := (0, 8 + 3) es inyectivo. Pero

1 : S (0, 8 + 3) no es continua: Sea tk := 1/k, k N. Entonces,
(tk ) = (tk , 0) (0, 0), pero tk no converge a 1 (0, 0) = 5 + 3.
2. k = 2, n = 3: Sea : U R2 R3 continuamente diferenciable, y sea
D(y) = (v(y), w(y) la matriz de Jacobi correspondiente. La condicion
dim RgD(y) = 2 es equivalente a decir que los dos vectores columnas,
v(y) = D1 (y) y w(y) = D2 (y) de D(y) son linealmente independientes
en cada punto y U . Si : U S := (U ) es inyectiva y su inversa
1 : S U es continua, S define una superficie local. Notamos que en
este caso los dos vectores v(y) y w(y) generan el espacio tangente de S en
el punto (y).

47
 Para dar un ejemplo concreto, sea V := (0, ) R R2 . Defina la funcion
: V R2 R3 por

sen cos
(, ) := er sen sen , (, ) V.
cos

es continuamente diferenciable y

cos cos sen sen
D(, ) = cos sen sen cos =: (e , sen e ), (, ) V.
sen 0

En un ejercicio, se verifica que para cada , R, los tres vectores er ,

e , e forman una base ortonormal de R3 . En particular, los vectores e ,
e son linealmente independientes. Puesto que sen > 0 para (, ) V ,
esto implica que dim RgD(, ) = 2 para cada (, ) V .
La imagen de es la esfera S 2 := {x R3 : kxk = 1} menos el polo
norte (0, 0, 1) y el polo sur (0, 0, 1). Pero : V R3 no define una
superficie local porque no es inyectiva dado que (, + 2) = (, )
para todos (, ) V . En cambio, si se restringue sobre el subconjunto
U := (0, ) (0, 2), : U R3 define una superficie local S. S = (U )
es igual a la esfera S 2 menos el arco {x = (sen , 0, cos ) : 0 }.
3. k = n = 3. Sean U := (0, 1) (0, ) (0, 2) y : U R3 la funcion

sen cos
(r, , ) := rer = r sen sen , (r, , ) U.
cos

es continuamente diferenciable y para (r, , ) U tenemos que

sen cos r cos cos r sen sen
D(r, , ) = sen sen r cos sen r sen cos
cos r sen 0
= (er , re , r sen e ).

Puesto que det D(r, , ) = r 2 sen > 0 para cada (r, , ) U , la

transformacion D(r, , ) : R3 R3 es invertible y dim RgD(, ) = 3
para cada (r, , ) U . La imagen, S := (U ), de es la bola abierta
B1 (0) de radio uno menos el semiplano {x = (x, 0, z) : x > 0, z R}.
Ademas, la funcion : U S es inyectiva y su inversa es continua.
Entonces S R3 define una superficie local tridimensional.
Finalmente, mencionamos que un subconjunto S de Rn se llama superficie
de dimension k en Rn si cada punto p S posee una vecindad abierta U Rn
de Rn tal que S U es una superficie local de dimension k en Rn .

48
2.7.2. Integracion de formas diferenciales sobre superficies locales
Sea S una superficie local de dimension k en Rn , y sea =
P
i1 ...ik dxi1
i1 <...<ik
... dxik una forma diferencial de orden k definida sobre un subconjunto abierto
V de Rn que contiene S. Queremos definir la integral
Z
.
S

Sea : U Rk Rn la funcion de la definicion 27 tal que (U ) = S, y sean

y = (y1 , ..., yk ) las coordenadas Cartesianas de U Rk . Entonces la superficie
S esta descrita por las coordenadas x = (x1 , ..., xn ) = (1 (y), ..., n (y)).

Definicion 28 La restriccion de la forma diferencial

X
p = i1 ...ik (p)dxi1 (p) ... dxik (p)
i1 <...<ik

para p = (q), xi = i (q), i = 1, ..., n, q U , define una forma diferencial de

orden k sobre U que se llama el pull-back de sobre U :
X
q := i1 ...ik ((q)) di1 (q) ... dik (q), q U,
i1 <...<ik

o (en una notacion mas compacta)

X
:= i1 ...ik di1 ... dik .
i1 <...<ik

Puesto que el pull-back, , de es una forma diferencial de orden k sobre

el subconjunto U de Rk , existe una funcion f : U R tal que

q = f (q)dy1 (q) ... dyk (q), q U.

Ahora podemos definir:

Definicion 29 Sea S = (U ) una superficie local de dimension k en Rn , y
sea una forma diferencial de orden k definida sobre un subconjunto abierto V
de Rn que contiene S. La forma se llama integrable sobre un subconjunto
A S de S si es integrable sobre 1 (A) U . En este caso, definimos
Z Z Z
:= = f (y)dk y.
A 1 (A) 1 (A)

Aplicaciones y ejemplos

49
1. Integrales de lnea
Sea : (a, b) Rn una curva continuamente diferenciable que cumple
con los puntos (a), (b) y (c) del ejemplo 1 en la pagina 47. Sea
n
X
= i dxi
i=1

una forma diferencial de primer orden definida sobre un subconjunto abier-

to V de Rn que contiene S = (a, b). Entonces,
n
X
(t) = i ((t))di (t)
i=1
Xn
= i ((t))i (t)dt
i=1

y obtenemos que
Z Zb X
n
= i ((t))i (t)dt.
S a i=1

Este resultado tambien se puede escribir de la manera siguiente: Sea ds :=

(dx1 , dx2 , ..., dxn ) el elemento de lnea. Dado que es una forma diferencial
de primer orden existe un campo vectorial a : V Rn tal que

= a ds, a i = i .

Por otro lado,

ds = (d1 , d2 , ...dn )
= (1 , 2 , ..., n )dt
= dt.

Notamos que el vector (t) es el vector tangente a la curva en el punto

(t). Entonces,
ds = e(t)ds, (34)
donde e(t) = /kk es el vector tangente normalizado y donde ds = kkdt
es el modulo del elemento de lnea. Con esta notacion podemos escribir

Z Z Zb
= a ds = a((t)) e(t) ds.
S S a

En la fsica, la integral de lnea se usa, por ejemplo, para calcular el trabajo

efectuado al mover un cuerpo de un punto p1 R3 a otro punto p2 R3
por un camino : (0, 1) R3 dentro de un campo de fuerzas F : V

50
R3 R3 , donde V es un subconjunto abierto de R3 que contiene S =
(0, 1). En este caso, el trabajo efectuado es igual a
Z
W = F ds.
S

Ejemplos
(a) Sea V := R3 \ {(0, 0, 0)} y F : V R una fuerza central de la forma

F x := x, x V,
kxk2
donde x := x/kxk y donde es una constante. Sean L > 0 y :
(0, L) R3 el camino (t) := (0, 1, t) entre los puntos p1 = (0, 1, 0)
y p2 = (0, 1, L). Entonces,
Z
W = F ds
S
ZL

= (0, 1, t) (0, 0, 1)dt
(1 + t2 )3/2
0
ZL
t
= dt
(1 + t2 )3/2
0
 
1
= 1 .
(1 + L2 )1/2
En particular, W en el lmite L . Como vamos a ver, si
la fuerza es conservativa, es decir, si existe una funcion f : V R
que es continuamente diferenciable tal que F = grad f , entonces el
trabajo W es independiente del camino entre p1 y p2 .
(b) Sea r > 0 y considere la curva : (0, 2) R2 , (t) := r(cos(t), sen(t)),
0 < t < 2. La imagen de es el crculo con radio r centrado en el
origen menos el punto (1, 0). Tenemos que e(t) = ( sen(t), cos(t)) y
ds = rdt para 0 < t < 2. Ahora sean V = R2 \ {(0, 0)} el plano
menos el origen y la siguiente forma diferencial de primer orden
sobre V :
y x
:= 2 dx + 2 dy.
x + y2 x + y2
Vimos en la seccion 2.6.4 que es cerrada pero no exacta sobre V .
Calculamos:
Z2
1
Z
= ( sen(t), cos(t)) e(t)ds
r
S 0

51
 Z2
= dt = 2.
0

Como vamos a ver cuando lleguemos a la discusion del teorema de

Stokes, el hecho de que esta integral es diferente de cero es otra
demostracion de que no puede ser exacta sobre V .
2. Integrales de superficies en R3
Sea S = (U ) una superficie local de dimension dos en R3 . Entonces


D(y) = v(y), w(y) , y U,

y los vectores v(y) = D1 (y), w(y) = D2 (y) son linealmente indepen-

dientes en cada punto y U . Estos vectores generan el espacio tangente
de S en el punto (y). En cada punto y U , el vector

v(y) w(y)
n(y) :=
kv(y) w(y)k

describe la normal a la superficie en el punto (y).

Sea una forma diferencial de orden 2 definida sobre un subconjunto
abierto V de R3 que contiene S. Como vimos en la seccion 2.6, se puede
escribir de la forma
= b dS ,
donde b : V R3 es un campo vectorial y donde dS = (dx2 dx3 , dx3
dx1 , dx1 dx2 ) es el elemento de area. La integral de sobre S es
Z Z Z

= = (b ) dS.
S U U

Ahora, que es dS ?

Lema 2 En termino de los vectores v(y) y w(y), el pull-back de dS es

dado por
dS = (v w)dy1 dy2 = n dS, (35)
donde dS = kv wkdy1 dy2 es el modulo del elemento de area.

Demostracion. Notamos primero que

3
1 X
dSj = jkl dxk dxl
2
k,l=1

para j = 1, 2, 3. Ademas,

dk = D1 k dy1 + D2 k dy2 = vk dy1 + wk dy2

52
para k = 1, 2, 3. Entonces, por definicion del pull-back,
3
1 X
dSj = jkl dk dl
2
k,l=1
3
1 X
= jkl (vk dy1 + wk dy2 ) (vl dy1 + wl dy2 )
2
k,l=1
3
X
= jkl vk wl dy1 dy2
k,l=1
= (v w)j dy1 dy2 .

Entonces, la integral de = b dS sobre S es

Z Z Z
= b dS = (b n)dS, (36)
S S U

donde n es la normal a la superficie y dS es el modulo del elemento de

area. En la fsica, este tipo de integrales se usan para calcular el flujo de
un campo vectorial b a traves de una superficie S.
Ejemplos
(a) Sea : (0, ) (0, 2) R3 la parametrizacion de la esfera introdu-
cida en la pagina 48. En este caso, v = e y w = sen e . Entonces,
la normal es n = e e = er y dS = sen d d.
Sean V := R3 \ {(0, 0, 0)} y E : V R3 el campo electrico de una
partcula estatica con carga Q,
Q
Ex = e , x V,
kxk2 r
donde er = x = x/kxk (ver Eq. (23)). Entonces, E n = Q/kxk2 y
Z Z2 Z
Q
Z
E dS = sen dd = 2Q sen d = 4Q.
ker k2
S 0 0 0

(b) Sea : (0, ) (0, 2) R3 la parametrizacion de la esfera como en

el ejemplo previo, y sea la siguiente forma diferencial de orden dos
sobre R3 :
= x dS.
Puesto que x n = 1 sobre la esfera,
Z Z Z Z2
x dS = dS = sen dd = 4,
U
S 0 0

53
 y obtenemos la superficie de la esfera.
3. Integrales de volumen
Sea S = (U ) una superficie local de dimension tres en R3 , y sea
una forma diferencial de orden tres definida sobre un subconjunto abierto
W R3 que contiene S. Entonces, tiene la forma

= f dV,

donde f : W R es una funcion sobre W y donde dV = dx1 dx2 dx3

es el elemento de volumen. Que es dV ?

Lema 3 Tenemos que dV = det D(y) dy1 dy2 dy3 .

 

Demostracion.

dV = d1 d2 d3
3
X 1 2 3
= dyj dyk dyl
yj yk yl
j,k,l=1
3
X 1 2 3
= jkl dy1 dy2 dy3
yj yk yl
j,k,l=1
= det(D) dy1 dy2 dy3 ,

donde hemos usado la ecuacion dyj dyk dyl = jkl dy1 dy2 dy3 en
el tercer paso y la definicion del determinante en el ultimo paso.

Entonces, Z Z Z
f ((y)) det D(y) d3 y.
 
= f dV =
S S U

Ejemplo: Sea : (0, 1) (0, ) (0, 2) R3 la parametrizacion de la

bola introducida en la pagina 48. Entonces, det D(y) = r 2 sen y

Z1 Z Z2 Z1
4
Z
2
dV = r sen dddr = 4 r2 dr = ,
3
S 0 0 0 0

y obtenemos el volumen de la bola con radio 1.

Para ver como extender la definicion de la integral de formas diferenciales
sobre superficies (no necesariamente locales), consultar [3].

54
2.7.3. El teorema de Stokes
Sea S una superficie de dimension k en Rn con frontera suave S, y sea
una forma diferencial de orden k 1 sobre un subconjunto V Rn abierto
de Rn que contiene S y su frontera. El teorema general de Stokes relaciona la
integral de la forma diferencial d de orden k sobre S con la integral de sobre
la superficie S de dimension k 1:
Z Z
d = . (37)
S S

Por falta de tiempo, no podemos dar una formulacion precisa ni una demostra-
cion completa de este teorema. En vez de esto, discutimos varias aplicaciones y
ejemplos basados en la relacion (37). Una demostracion para el caso particular
que S = (Rk+ ) es la imagen del semiespacio Rk := {y = (y1 , y2 , ..., yk ) : y1 < 0}
se encuentra al final de esta seccion (y no es material obligatorio para el curso).

Aplicaciones y ejemplos
1. Integrales de lnea
Sea : (a, b) Rn una curva continuamente diferenciable que cumple
con los puntos (a), (b) y (c) del ejemplo 1 en la pagina 47 y que se puede
extender a los puntos (a) y (b). Sea f : V Rn R una funcion
continuamente diferenciable definida sobre un subconjunto abierto V de
Rn que contiene S := (a, b). Puesto que S = {(a), (b)}, la relacion
(37) implica que Z
df = f ((b)) f ((a)).
S

En particular, si (a) = (b) es una curva cerrada, obtenemos que

I
df = 0,
S
H
donde el smbolo indica que la integracion se hace sobre un camino ce-
rrado. En otras palabras: La integracion de formas exactas sobre caminos
cerrados es cero.
Ejemplos
(a) Sean (0, 2] y : (0, ) R2 el arco (t) := (cos(t), sen(t)),
0 < t < . Sean V := R2 \ {(0, 0)} y f : V R la funcion f (x, y) :=
log(x2 + 2y 2 ), (x, y) V . Entonces,
2x 4y
df = dx + 2 dy,
x2 + 2y 2 x + 2y 2

55
 y
Z
2 cos(t) sen(t)dt
Z
df =
1 + sen2 (t)
S 0

log(1 + sen2 (t))

= 0
= f (cos(), sen()) f (1, 0),
de acuerdo al teorema de Stokes.
(b) Sean y V R2 como en el ejemplo previo. Sea la forma diferencial
y x
:= dx + 2 dy.
x2 + y 2 x + y2
Como vimos en la seccion 2.6.4, es cerrada. Ademas, tenemos que
Z Z
= dt = .
S 0

En particular, siH = 2, S es el crculo cerrado con radio uno centrado

en el origen, y S = 2. Por el teoremaH de Stokes, no puede ser
exacta, de otra manera la integral S debera ser cero.
(c) Sea V R3 un subconjunto abierto de R3 , y sea F : V R3
un campo de fuerza continuo. Sean p1 y p2 dos puntos de V y :
(0, 1) V , : (0, 1) V dos caminos de p1 a p2 . Sean W y W
los trabajos efectuados al mover un cuerpo de p1 a p2 por el camino
y , respectivamente. Entonces,
Z Z I
W W = F ds F ds = F ds,

donde : (0, 2) V es el camino cerrado definido por


(t), 0 < t 1,
(t) :=
(2 t) 1 < t < 2.
Ahora, si la fuerza F es conservativa, es decir, si existe una funcion
f : V R que es continuamente diferenciable tal que F = grad f ,
entonces F ds = df y el teorema de Stokes implica que W =
W . Entonces, si la fuerza es conservativa, el trabajo no depende del
camino elegido entre p1 y p2 .
2. El teorema de Stokes para superficies en R3
Sea S una superficie de dimension dos en R3 con frontera suave, y sea una
forma diferencial de primer orden que es continuamente diferenciable sobre
un subconjunto abierto V de R3 que contiene S y su frontera. Entonces
tiene la forma
= a ds

56
para un campo vectorial a : V R3 que es continuamente diferenciable.
Ademas, como vimos en la seccion 2.6, d = (rot a) dS, donde dS =
(dx2 dx3 , dx3 dx1 , dx1 dx2 ) es el elemento de area. Entonces, la relacion
(37) implica que Z Z
(rot a) dS = a ds.
S S
La integral a la izquierda es una integral de flujo sobre la superficie S
mientras que la integral a la derecha es una integral de lnea sobre la
frontera, S, de S.
Ejemplos
(a) En magnetostatica, la ley de Ampere relaciona el rotacional del cam-
po magnetico B con la densidad de corriente J,
J = rot B.
Integrando esta relacion sobre una superficie S bidimensional y usan-
do el teorema de Stokes para superficies en R3 , obtenemos la ley de
Ampere en forma integral,
Z Z
J dS = B ds.
S S

La integral a la izquierda representa la corriente electrica a traves de

la superficie S; la integral a la derecha representa la integral de lnea
del campo magnetico sobre el camino S.
(b) Sea a : R3 R3 el campo vectorial dado por
1
a := (y, x, 0), (x, y) R2 ,
2
y sea S = (U ) una superficie bidimensional con frontera suave S
que este contenida en el plano {z = 0}. Puesto que rot a = (0, 0, 1) y
que n = (0, 0, 1), el teorema de Stokes implica que
Z Z
Area(S) = dS = a ds.
U S

Esta relacion nos permite R calcular el area, Area(S), de S por medio

de la integral de lnea S a ds.
Para dar un ejemplo concreto, sea : (0, 2) R3 la elipse (t) :=
(a cos(t), b sen(t), 0), 0 < t < 2, con semiejes a > 0 y b > 0. Sea S la
superficie que consiste de todos los puntos en el plano {z = 0} que
se encuentran dentro de la elipse. Entonces, el area de S es
Z
Area(S) = a ds
(0,2)

57
 Z2
1
= (b sen(t), a cos(t), 0) (a sen(t), b cos(t), 0)dt
2
0
Z2
ab
= dt
2
0
= ab.

En particular, si a = b, describe un crculo con radio a y encontra-

mos que el area del disco con radio a es igual a a2 .
3. El teorema de Gauss en R3
Sea S = (U ) una superficie de dimension 3 en R3 con frontera suave
S, y sea una forma diferencial de segundo orden que es continuamente
diferenciable sobre un subconjunto abierto V de R3 que contiene S y su
frontera. Como vimos en la seccion 2.6, tiene la forma

= b dS,

donde b : V R3 R3 es un campo vectorial que es continuamente

diferenciable y dS es el elemento de area. Ademas, d = (div b)dV , donde
dV = dx1 dx2 dx3 es el elemento de volumen. En este caso, la relacion
(37) implica que
Z Z Z
(div b)dV = b dS = b n dS, (38)
S S S

donde n es la normal exterior a la frontera. Entonces, la integral de vo-

lumen de la divergencia de b sobre S es igual al flujo de b a traves de la
superficie S. (38) es el teorema de Gauss en R3 que tambien se puede
generalizar al caso de superficies de dimensiones n en Rn .
Ejemplos
(a) En electrostatica, la ley de Gauss relaciona la divergencia del campo
electrico E con la densidad de carga ,

= div E.

Integrando esta relacion sobre S y usando el teorema de Gauss, ob-

tenemos que Z Z
dV = E dS.
S S

La integral a la izquierda representa la carga electrica total contenida

en el volumen S; la integral a la derecha representa el flujo del campo
electrico a traves de la superficie S. El flujo a traves de S es cero
si y solo si la carga total contenida en S es cero.

58
(b) Sea X : R3 R3 el campo vectorial dado por
1 1
X x := x = (x1 , x2 , x3 ), x = (x1 , x2 , x3 ) R3 ,
3 3
y sea S = (U ) una superficie tridimensional con frontera suave S
en R3 . Puesto que div X = 1, el teorema de Gauss implica que
Z Z
V ol(S) = dV = X n dS.
S S

Esta relacion nos permite

R calcular el volumen, V ol(S), de S por medio
de la integral de flujo S X n dS, donde n es la normal exterior a
la frontera.
Para dar un ejemplo concreto, sea S = Br (0) la bola con radio r > 0
centrada en el origen. Entonces, S = Br (0) es la esfera con radio
r centrada en el origen y n = x/r, dS = r 2 sen d d para x =
r(sen cos , sen , sen , cos ) S (ver el ejemplo (a) en la pagina
53). Puesto que X n = xx/(3r) = r/3, el volumen de S es, entonces,

r 4r3
Z Z
V ol(S) = X n dS = dS = .
3 3
S S

(c) Sean u, v : V R3 dos funciones que son dos veces continuamente

diferenciables sobre V , y sea b el campo vectorial definido por b :=
u grad v. Dado que

div b = grad u grad v + uv,

donde = div grad es el operador de Laplace (ver los ejercicios), el

teorema de Gauss (38) implica que
Z Z
(grad u grad v + uv)dV = u n grad v dS (39)
S S

Intercambiando los papeles de u y v y tomando la diferencia entre

(39) y el resultado as obtenido, tambien encontramos la formula
Z Z
(uv vu)dV = (u n grad v v n grad u)dS. (40)
S S

(39) se llama primera identidad de Green; (40) se llama segunda

identidad de Green.
Como una aplicacion, consideramos el problema de Dirichlet: Sea :
V R una funcion continua dada, y sea S un subconjunto abierto de
R3 con frontera S suave tal que S y su frontera esten contenidos en

59
 V . Buscamos una funcion : S R que es dos veces continuamente
diferenciable y que se puede extender de manera continua sobre SS
tal que

(x) = (x), x S, (41)

(x) = 0, x S. (42)

Usando la primera identidad de Green, vamos a mostrar que (si exis-

te), la solucion del problema (41,42) es unica. Sea : S R otra
funcion dos veces continuamente diferenciable que se puede extender
de manera continua sobre S S y que satisface (41) y (42). Entonces
la diferencia, w := satisface w(x) = 0 para x S y w(x) = 0
para x S. Usando la identidad (39) para u = v = w encontramos
que Z
|grad w|2 dV = 0.
S

Puesto que |grad w| es una funcion continua no-negativa, obtenemos

que grad w(x) = 0 para x S. Entonces, w debe ser constante. Por
otro lado, sabemos que w(x) es continua hasta S y que w(x) = 0
para x S. Entonces, w 0 y , lo que significa que la solucion
del problema (41,42) es unica.
Finalmente, damos una demostracion parcial del teorema de Stokes: Em-
pezamos con el caso que S = Rn+ := {x = (x1 , x2 , ..., xn ) : x1 < 0} es el
semiespacio n-dimensional. La frontera, S = {x = (x1 , x2 , ..., xn ) : x1 = 0} es
una superficie local de dimension n 1 en Rn que se puede describir de manera
simple por la parametrizacion : Rn1 Rn , (y) := (0, y1 , y2 , ...yn1 ) para
y = (y1 , y2 , ...., yn1 ) Rn1 . Sea una forma diferencial de orden n 1 que es
continuamente diferenciable sobre un subconjunto abierto V de Rn que contiene
S y su frontera, S. Tambien vamos a asumir que x es cero si kxk > R es mas
grande que un radio R dado. Entonces, se puede escribir como
n
X
x = (1)j1 aj (x)dx1 ... dxj1 dxj+1 ... dxn ,
j=1

donde las funciones aj : V R son continuamente diferenciables. Tenemos que

n
X
d = (1)j1 daj dx1 ... dxj1 dxj+1 ... dxn
j=1
n
j ... dxn
X
= (1)j1 (Dj aj )dxj dx1 dx2 ... dx
j=1
n
X
= (Dj aj )dx1 dx2 ... dxn .
j=1

60
Por otro lado, dado que d1 = 0 y que dj = dyj1 para j = 2, 3.., n, encontramos
que
n
X
y = (1)j1 aj ((y))d1 ... dj1 dj+1 ... dn
j=1
= a1 (0, y1 , y2 , ..., yn1 )dy1 dy2 ... dyn1 .
Entonces,
Z n
Z X
d = (Dj aj )(x)dn x
S Rn j=1
+

Z0 n Z0

Z X Z
= D1 a1 (x)dx1 dn1 x + Dj aj (x)dn1 dx1
j=2
Rn1 Rn1
Z
= a1 (0, x2 ..., xn )dn1 x
Rn1
Z Z

= = ,
Rn1 S

donde hemos usado el teorema fundamental del calculo integral en el tercer paso
y el hecho de que aj (x) = 0 para kxk > R. Esto demuestra el teorema de Stokes
para el caso S = Rn+ .
Ahora, sea S = (Rk+ ) una superficie local de dimension k en Rn , y una
forma diferencial de orden k 1 definida sobre un subconjunto abierto V de Rn
que contiene S y su frontera. Como antes, vamos a asumir que x = 0 si kxk > R
para un radio R dado. Sea : Rk1 Rk la funcion (z) := (0, z1 , z2 , ..., zk1 ),
z = (z1 , z2 , ..., zk1 ) Rk1 . Entonces la frontera de S esta parametrizada por
la funcion : S = ((Rk1 )). Usando el hecho de que la derivada exterior
conmuta con el pull-back y el resultado anterior, obtenemos que
Z Z Z Z Z Z
d = d = d( ) = ( ) = ( ) = .
S Rk
+ Rk
+
Rk1 Rk1 S

Referencias
[1] M. Spivak, Calculus, Publish or Perish; 3rd edition.
[2] J. Marsden and A. Tromba, Vector Calculus, W. H. Freeman; 5th edition.
[3] M. P. do Carmo, Differential Forms and Applications, Springer-Verlag
(1994).
[4] H. Flanders, Differential Forms with Applications to Physical Sciences,
(Academic Press)

61