Llibre Càlcul Vectorial - NRR

C
ALCULO DIFERENCIAL E INTEGRAL EN R

n
Ignacio Gracia Rivas
1
Narciso Rom
an-Roy
2
Narciso Urbizu Monta
es
3
Departamento de de Matematica Aplicada IV
C/ Jordi Girona 1; Edicio C-3, Campus Norte UPC
E-08034 Barcelona
18 de febrero de 2004
1
e-mail: ignacio@ma4.upc.es
2
e-mail: matnrr@ma4.upc.es
3
e-mail: urbi@ma4.upc.es
Prefacio
Estos Apuntes de Analisis Vectorial constituyen una gua personal a la asignatura de Analisis Vectorial
que se imparte en la E.T.S.E.T.B. en el curso 1-B de la carrera de Ingeniera de Telecomunicaci on
(Plan de Estudios 1992). Por tanto, en ning un momento pretenden ser una gua ocial, ni tan siquiera una
pauta a seguir respecto a como debe ser impartida la asignatura.
Estan basados (aunque no integramente) en los apuntes que, sobre diversas partes del programa, haban
preparado principalmente los profesores M.C. Mu noz Lecanda y P. Morillo Bosch. Debemos agradecer
tambien la colaboracion de otros muchos compa neros que han impartido esta asignatura y que, ademas de
hacernos valiosas sugerencias, han detectado erratas y errores que han sido ya corregidos (aunque somos
consciente de que todava pueden quedar otros muchos por detectar). Entre estos profesores hemos de citar,
ademas de los anteriores, a E. Garriga Valle, X. Gr` acia Sabat e, P. Martn de la Torre y G. S aez
Moreno.
i
Contents
1 Topologa de R
n
. Sucesiones 2
1.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Nociones de Topologa de R
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.1 Norma y distancia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.2 Bolas y rectangulos abiertos y cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.3 Puntos interiores, adherentes, exteriores y frontera . . . . . . . . . . . . . . . . . . . . 5
1.2.4 Abiertos y cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Sucesiones en R
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.1 Sucesiones de vectores en R
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.2 Sucesiones de Cauchy. Completitud . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3.3 Sucesiones, puntos interiores y puntos frontera . . . . . . . . . . . . . . . . . . . . . . 11
1.3.4 Conjuntos compactos y sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2 Lmites y continuidad de funciones en R
n
13
2.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Funciones de varias variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2.1 Funciones escalares y vectoriales. Conjuntos de nivel . . . . . . . . . . . . . . . . . . . 13
2.3 Lmites de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3.1 Lmite de una funcion en un punto y en el innito . . . . . . . . . . . . . . . . . . . . 15
2.3.2 Lmites direccionales. Lmites reiterados . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.4 Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.4.1 Continuidad. Propiedades de las funciones continuas . . . . . . . . . . . . . . . . . . . 18
2.4.2 Propiedades topologicas. Teorema de Weierstrass. Consecuencias . . . . . . . . . . . . 19
2.4.3 Continuidad uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3 Calculo Diferencial en R
n
21
3.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2 Diferenciabilidad de funciones en R
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
ii
I. Gracia Rivas, N. Rom an Roy, N. Urbizu Monta n es Calculo Diferencial e Integral en R
n
. iii
3.2.1 Diferenciabilidad de una funcion en un punto. Interpretacion geometrica . . . . . . . . 21
3.2.2 Derivadas direccionales. Derivadas parciales. Matriz jacobiana . . . . . . . . . . . . . 24
3.2.3 Interpretacion geometrica de las derivadas parciales. Aproximacion lineal . . . . . . . 26
3.2.4 Caracterizacion de funciones diferenciables . . . . . . . . . . . . . . . . . . . . . . . . 27
3.3 Propiedades de las funciones diferenciables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.3.1 Propiedades elementales (linealidad y otras) . . . . . . . . . . . . . . . . . . . . . . . . 29
3.3.2 Derivadas parciales de orden superior. Teorema de Schwarz . . . . . . . . . . . . . . . 29
3.3.3 Regla de la cadena. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.3.4 Teorema de la funcion implcita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.3.5 Teorema de la funcion inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.4 Operadores diferenciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.4.1 Gradiente de un campo escalar. Campos conservativos . . . . . . . . . . . . . . . . . . 37
3.4.2 Rotacional de un campo vectorial. Campos irrotacionales . . . . . . . . . . . . . . . . 39
3.4.3 Divergencia de un campo vectorial. Campos solenoidales . . . . . . . . . . . . . . . . . 41
3.4.4 Laplaciana de funciones escalares y vectoriales. Funciones armonicas . . . . . . . . . . 42
3.4.5 Expresion de los operadores diferenciales en otras coordenadas . . . . . . . . . . . . . 43
3.4.6 Otras propiedades de los operadores diferenciales . . . . . . . . . . . . . . . . . . . . . 43
3.4.7 Determinacion de funciones potenciales escalares y vectoriales . . . . . . . . . . . . . . 44
4 Curvas y supercies 46
4.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.2 Curvas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.2.1 Curvas en R
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.2.2 Curvas regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
4.2.3 Recta tangente y plano normal a una curva. Aplicaciones . . . . . . . . . . . . . . . . 50
4.2.4 Orientacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.3 Supercies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.3.1 Supercies en R
3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.3.2 Supercies regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.3.3 Plano tangente y recta normal a una supercie . . . . . . . . . . . . . . . . . . . . . . 55
4.3.4 Supercies orientadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.4 Borde de un conjunto. Conectividad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.4.1 Frontera geometrica o borde de un conjunto . . . . . . . . . . . . . . . . . . . . . . . . 57
4.4.2 Deformaciones de curvas y supercies. Conjuntos conexos . . . . . . . . . . . . . . . . 58
5 Estudio local de funciones en R
n
61
n
. iv
5.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
5.2 Formula de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
5.2.1 Formula de Taylor. Expresion del resto. . . . . . . . . . . . . . . . . . . . . . . . . . . 61
5.3 Calculo de extremos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
5.3.1 Formas cuadraticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
5.3.2 Extremos libres. Puntos crticos. Condicion necesaria de extremo . . . . . . . . . . . . 64
5.3.3 Condicion suciente de extremo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
5.3.4 Extremos condicionados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
5.3.5 Metodo de los multiplicadores de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . 67
5.3.6 Extremos absolutos de una funcion continua en un compacto . . . . . . . . . . . . . . 69
6 Integracion de funciones escalares en R
n
71
6.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
6.2 Concepto de integral m ultiple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
6.2.1 Integral m ultiple en un rectangulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
6.2.2 Medida y contenido cero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
6.2.3 Funciones integrables en un rectangulo . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
6.2.4 Integral m ultiple en una region mas general . . . . . . . . . . . . . . . . . . . . . . . . 75
6.3 Propiedades de la integral m ultiple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
6.3.1 Primeras propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
6.3.2 Funciones denidas por integrales. Teorema de Leibnitz (derivacion bajo el signo
integral) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
6.3.3 Calculo de integrales m ultiples por iteracion: Teorema de Fubini . . . . . . . . . . . . 79
6.3.4 Cambio de variable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
6.4 Integrales impropias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
6.4.1 Funcion no acotada en el entorno de un punto . . . . . . . . . . . . . . . . . . . . . . 82
6.4.2 Region de integracion no acotada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
7 Integrales de lnea y de supercie 84
7.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
7.2 Integrales de lnea de campos escalares y vectoriales . . . . . . . . . . . . . . . . . . . . . . . 84
7.2.1 Longitud de un arco de curva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
7.2.2 Integral de lnea de un campo escalar. Propiedades . . . . . . . . . . . . . . . . . . . . 85
7.2.3 Integral de lnea de un campo vectorial. Propiedades . . . . . . . . . . . . . . . . . . . 87
7.3 Integrales de lnea de campos conservativos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
7.3.1 Independencia del camino en una integral de lnea . . . . . . . . . . . . . . . . . . . . 89
n
. v
7.3.2 Caracterizacion de campos conservativos mediante integrales de lnea . . . . . . . . . . 90
7.3.3 Determinacion de funciones potenciales escalares mediante integrales de lnea . . . . . 91
7.4 Integrales de supercie de campos escalares y vectoriales . . . . . . . . . . . . . . . . . . . . . 91
7.4.1

Area de una supercie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
7.4.2 Integral de supercie de un campo escalar. Propiedades . . . . . . . . . . . . . . . . . 93
7.4.3 Integral de supercie de un campo vectorial. Propiedades . . . . . . . . . . . . . . . . 94
8 Teoremas del Analisis Vectorial 97
8.1 Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
8.2 Teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
8.2.1 Teorema de Stokes en R
3
. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . 97
8.2.2 Teorema de Stokes en casos especiales . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
8.2.3 Teorema de Green. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
8.2.4 Caracterizacion de campos conservativos por medio del teorema de Stokes . . . . . . . 101
8.2.5 Aplicacion: Resolucion de ecuaciones diferenciales exactas. Factor integrante . . . . . 101
8.3 Teorema de la divergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
8.3.1 Teorema de Gauss-Ostrogadski en R
3
. Aplicaciones . . . . . . . . . . . . . . . . . . . 103
2
. Aplicaciones . . . . . . . . . . . . . . . . . . . 104
8.3.3 Caracterizacion de los campos solenoidales . . . . . . . . . . . . . . . . . . . . . . . . 105
8.4 Otras aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
8.4.1 Denicion intrnseca de los operadores diferenciales . . . . . . . . . . . . . . . . . . . . 107
Preliminares
A lo largo del curso se va a trabajar en el conjunto R
n
:=
n

R . . . R, que es un espacio afn n-dimensional.
Esto signica que, una vez jado un origen, R
n
se identica con un espacio vectorial, el cual se supondra
dotado con la metrica eucldea (con lo que R
n
es un espacio vectorial eucldeo). Salvo indicacion contraria,
se tomara la base canonica usual referida a un sistema de coordenadas cartesianas ortogonales; es decir,
la que esta formada por vectores ortonormales que denotaremos {e
i
}
i=1...n
(e
1
, . . . , e
n
). Los elementos
x R
n
presentan, por consiguiente, una naturaleza dual, por cuanto se pueden considerar indistintamente
como puntos, que vendran especicados por medio de sus coordenadas x (x
1
, . . . , x
n
), o como vectores,
que seran los vectores de posicion de dichos puntos, en cuyo caso los valores de las coordenadas del punto
son las componentes escalares del vector de posicion, esto es, x = x
1
e
1
+. . . +x
n
e
n

n
i=1
x
i
e
i
. Finalmente,
el producto escalar de dos vectores x, x
R
n
se especicara poniendo x, x
i=1
x
i
x
i
.
Eventualmente, tambien se manejaran otros sistemas de coordenadas en R
2
y R
3
; en particular:
Coordenadas polares en R
2
.
Se designan por (r, ); con r (0, ), [0, 2). La relacion con las coordenadas cartesianas (x, y)
en R
2
es
x = r cos , y = r sin
Coordenadas cilndricas en R
3
.
Se designan por (r, , z); con r (0, ), [0, 2), z (, ). La relacion con las coordenadas
cartesianas (x, y, z) en R
3
es
x = r cos , y = r sin , z = z
Coordenadas esfericas en R
3
.
Se designan por (r, , ); con r (0, ), [0, 2), [0, ). La relacion con las coordenadas
cartesianas (x, y, z) en R
3
es
x = r sin cos , y = r sin cos , z = r cos
1
Chapter 1
Topologa de R
n
. Sucesiones
1.1 Introduccion
Antes de comenzar el estudio de las funciones reales de varias variables, es preciso hacer algunas consid-
eraciones sobre el espacio en que se denen, esto es, R
n
. En terminos mas precisos, lo primero que se va
a hacer en este captulo preliminar es una somera introduccion a ciertas nociones topologicas
1
sobre R
n
.
Concretamente, se presentaran las deniciones que generalizan algunos conceptos basicos bien conocidos en
la recta real R, como son las nociones de distancia entre puntos o de intervalo, entre otras. La exposicion
concluira analizando otras caractersticas de R
n
relacionadas con las sucesiones, que estan en ntima relacion
con sus propiedades topologicas como, p. ej., la completitud.
1.2 Nociones de Topologa de R
n
1.2.1 Norma y distancia
Los dos primeros conceptos que se van a denir generalizan en R
n
las nociones de valor absoluto y distancia
en R.
Denicion 1 Para todo vector x R
n
, se denomina norma o modulo de x al valor
x x, x
1/2
i=1
x
2
i
Comentario:
Observese que cuando n = 1 esta es precisamente la denicion de valor absoluto, (luego es una buena
generalizacion de este concepto).
Algunas propiedades de la norma son las siguientes:
Proposicion 1 x, y R
n
, R.
1. x 0, y x = 0 x = 0
1
La Topologa es la parte de las matematicas que estudia las propiedades de los espacios que son invariantes por transfor-
maciones que los deforman (sin romperlos) y, por tanto, independientes de los sistemas coordenados elegidos.
2
n
. 3
2. x = ||x; y como consecuencia x y = y x.
3. |x, y| x y (desigualdad de Schwarz).
4. x +y x +y.
5. x y x y.
6. Si x (x
i
), entonces |x
i
| x
n
i=1
|x
i
|.
( Dem. ) Se basan en las propiedades del producto escalar. Se demostraran unicamente 3 y 4.
3. Se tiene que demostrar que:
(
n
i=1
x
i
y
i
)
2
(
n
i=1
x
i
)
2
(
n
i=1
y
i
)
2
.
En efecto, se observa que (
n
i=1
x
i
z + y
i
)
2
0, z R. Haciendo A =
n
i=1
x
2
i
, B =
n
i=1
x
i
y
i
y C =
n
i=1
y
2
i
se tiene Az
2
+ 2Bz + C 0 y por tanto la ecuacion de 2
o
grado Az
2
+ 2Bz + C, o tiene una solucion real
doble, o no tiene ninguna, lo que implica B
2
AC 0 que es la desigualdad buscada.
Se ha supuesto que A = 0. Si A = 0 la demostracion es trivial pues todos los x
i
son nulos.
5. Teniendo en cuenta la propiedad anterior, se tiene que
x+y
2
=
n
i=1
(x
i
+y
i
)
2
=
n
i=1
(x
2
i
+y
2
i
+2x
i
y
i
) = x
2
+2xy+y
2
x
2
+2 x y+y
2
= ( x+y )
2
Se dice que (R
n
, ) es un espacio normado.
Denicion 2 Dados dos puntos x, y R
n
, con x (x
1
, . . . , x
n
), y (y
1
, . . . , y
n
), se denomina distancia
entre x e y a la norma del vector x y; es decir,
d(x, y) x y x y, x y
1/2
i=1
(x
i
y
i
)
2
Las propiedades de la distancia se obtienen a partir de las de la norma y algunas de ellas son las siguientes:
Proposicion 2 x, y, z R
n
.
1. d(x, y) = d(y, x).
2. d(x, y) = 0 y = x.
3. d(x, y) d(x, z) + d(z, y) (desigualdad triangular).
( Dem. ) Inmediatas.
Se dice que (R
n
, d) es un espacio metrico. Con estas deniciones, siguiendo la terminologa del

Algebra
Lineal, R
n
es un espacio vectorial eucldeo.
n
. 4
1.2.2 Bolas y rectangulos abiertos y cerrados
Los siguientes conceptos generalizan en R
n
las nociones de intervalos (abiertos y cerrados) en R.
Denicion 3 Sea un punto p R
n
y un escalar r R
+
.
1. Se denomina esfera con centro en p y radio r al conjunto
S(p, r) = S
r
(p) {x R
n
| d(x, p) = r}
2. Se denomina bola abierta con centro en p y radio r al conjunto
B(p, r) = B
r
(p) {x R
n
| d(x, p) < r}
3. Se denomina bola cerrada con centro en p y radio r al conjunto
B(p, r) =

B
r
(p) B
r
(p) S
r
(p) {x R
n
| d(x, p) r}
(Tambien se utiliza la bola perforada B
r
(a) = B
r
(a) {a}).
Denicion 4 En R
n
se denomina rectangulo abierto H (respectivamente rectangulo cerrado

H) al producto
cartesiano de n intervalos abiertos (resp. cerrados) de R:
H (a
1
, b
1
) . . . (a
n
, b
n
)
n
i=1
(a
i
, b
i
)
H [a
1
, b
1
] . . . [a
n
, b
n
]
n
i=1
[a
i
, b
i
]
En ambos casos, se denomina centro del rectangulo al punto de R
n
cuyas coordenadas son las de los puntos
medios de los correspondientes intervalos; es decir,
c
a
1
+b
1
2
, . . . ,
a
n
+b
n
2
Comentario:
Existen rectangulos que no son ni abiertos ni cerrados: son aquellos formados a partir de productos
cartesianos de intervalos abiertos, cerrados y/o semiabiertos indistintamente.
Una relacion entre bolas y rectangulos esta dada por la siguiente propiedad:
Proposicion 3 1. Toda bola contiene un rectangulo y, a su vez, esta contenida en un rectangulo, todos
con el mismo centro.
2. Todo rectangulo contiene una bola y, a su vez, esta contenido en una bola, todos con el mismo centro.
( Dem. ) Evidente.
Comentarios:
Como consecuencia de esta propiedad, a partir de un punto se puede construir una secuencia innita
alternada de bolas y rectangulos, cada uno incluyendo al precedente, que tienen como centro dicho
punto.
n
. 5
Realmente, las nociones de bola y rectangulo son topologicamente equivalentes puesto que el paso de
una a otra se lleva a cabo por una mera deformacion del espacio R
n
, esto es, matematicamente
hablando, por medio de un cambio de coordenadas (p. ej., de cartesianas a esfericas).
Observese que cuando n = 1 de ambas deniciones se recupera la nocion de intervalo.
Denicion 5 Un conjunto A R
n
se dice que esta acotado si existe alguna bola o rectangulo que lo
contenga.
Denicion 6 Se denomina entorno de un punto p R
n
a todo conjunto E(p) (acotado) que contenga una
bola o rectangulo con centro en p.
1.2.3 Puntos interiores, adherentes, exteriores y frontera
A n de poder hacer consideraciones de tipo topologico sobre conjuntos que no sean ni bolas ni rectangulos,
es necesario introducir nuevos conceptos.
Denicion 7 Sea un conjunto A R
n
y un punto x R
n
.
1. Se dice que x es un punto interior de A si B
r
(x) contenida en A (lo que implica que x A).
Se denomina interior de A, y se designa por

A o bien Int A, al conjunto formado por todos sus puntos
interiores.
2. Se dice que x es un punto adherente de A si B
r
(x) contiene puntos de A
En particular, los puntos adherentes pueden ser de dos tipos:
(a) Se dice que x es un punto de acumulacion de A si B
r
(x) contiene alg un punto de A, distinto de
x (lo que no implica nada sobre la pertenencia de x al conjunto A).
Se denomina acumulacion de A, y se designa por A
, al conjunto formado por todos sus puntos

de acumulacion.
(b) Se dice que x es un punto aislado de A si es adherente pero no es de acumulacion; esto es, B
r
(x)
Tal que A B
r
(x) = {x} (lo que implica que x A).
Se denomina adherencia (tambien clausura o cierre) de A, y se designa por

A, al conjunto formado
por todos sus puntos adherentes.
3. Se dice que x es un punto exterior de A si no es adherente; esto es, B
r
(x) que no contiene ning un
punto de A (lo que implica que x A).
Se denomina exterior de A, y se designa por Ext A, al conjunto formado por todos sus puntos exteriores.
4. Se dice que x es un punto frontera de A si B
r
(x) contiene puntos de A y puntos que no son de A (lo
que no implica nada sobre la pertenencia de x al conjunto A).
Se denomina frontera (topologica) de A, y se designa por Fr A, al conjunto formado por todos sus
puntos frontera.
Comentarios:
Todo punto interior, por su propia denicion, es de acumulacion, luego es adherente; esto es,

A

A.
Pero no todo punto de acumulacion ha de ser interior necesariamente.
Un punto aislado no es interior ni exterior: es un punto frontera.
Un punto frontera puede ser de acumulacion (p. ej., los puntos frontera de un intervalo) o no, ya
que un punto aislado de un conjunto siempre es punto frontera. Por tanto, todo punto frontera es
adherente, pero no es interior (ni, por supuesto, exterior).
n
. 6
Todo punto exterior no es de acumulacion y todo punto de acumulacion no es exterior.
La adherencia de A se obtiene a nadiendo a A todos los puntos frontera que no le pertenecen; es decir,
A A Fr A.
Ejemplos:
La frontera de una bola es la esfera con el mismo centro y de igual radio. Si la bola es abierta, sus
puntos frontera no le pertenecen, si es cerrada s.
Si A es un conjunto nito de puntos aislados se tiene que
Int A = Ext A = R
n
A Fr A = A
Proposicion 4 Si x es un punto de acumulacion de A, entonces toda bola B
r
(x) contiene innitos puntos
de A.
( Dem. ) (Reduccion al absurdo). Supongamos que exista alguna bola B
r
(x) que contiene solamente n
puntos de A, a
1
, a
2
, ... , a
n
. Sea r = min{x a
1
, ... , x a
n
}, entonces B
r/2
(x) no contiene ning un
punto de A y, por tanto, x no es punto de acumulacion de A.
Comentarios:
Como consecuencia inmediata de este resultado se tiene que los conjuntos nitos no tienen puntos de
acumulacion.
No obstante, un conjunto innito puede tener puntos de acumulacion (p. ej.; si A = {1/n, n R},
entonces 0 es punto de acumulacion de A), o no tenerlos (como el conjunto B = {1, ... , n, ...}).
Ademas, en un conjunto innito de puntos aislados todos sus elementos son puntos frontera, pero
puede haber mas de estos que no son del conjunto, ya que si hay puntos de acumulacion de A que no
pertenecen a A, estos son tambien puntos frontera. (Como ejemplo, el lmite de una sucesion en R
estrictamente creciente (o decreciente) convergente es un punto frontera de la sucesion pero no es un
elemento de la misma (ademas es el unico punto de acumulacion del conjunto)).
Teorema 1 (Bolzano-Weierstrass). Sea A R
n
un conjunto acotado con innitos puntos, entonces existe
al menos un punto de R
n
que es punto de acumulacion de A.
En relacion con estas deniciones se establece la siguiente propiedad:
Proposicion 5 A R
n
, Int A, Ext A y Fr A establecen una particion de R
n
; esto es, todo punto de R
n
pertenece a uno, y solo uno, de estos tres conjuntos; es decir,
1. Int A Ext A Fr A = R
n
.
2. Int A Ext A = , Ext A Fr A = , Int A Fr A = ,
( Dem. ) Inmediato a partir de las deniciones (se deja como ejercicio).
1.2.4 Abiertos y cerrados
Se acaba de comentar y ver que los puntos frontera de un conjunto pueden pertenecerle o no. Basandonos
en esta observacion vamos a introducir una nueva caracterizacion de los conjuntos de R
n
.
n
. 7
n
. Se denomina complementario de A al conjunto
R
n
A {x R
n
| x A}
A partir de esta y de la anterior denicion se comprueba de inmediato que:
Proposicion 6 A R
n
.
1. Fr A = Fr(R
n
A).
2. Int A = Ext(R
n
A) y Ext A = Int(R
n
A).
Teniendo esto en cuenta se dene:
n
.
1. A es abierto si coincide con su interior: A = Int A.
2. A es cerrado si su complementario es un abierto.
Los conjuntos cerrados se caracterizan por las siguientes propiedades equivalentes:
Proposicion 7 Sea A R
n
. Son equivalentes:
1. A es cerrado.
2. A =

A.
3. Fr A A.
4. A
A.
( Dem. ) La demostracion se basa en la observacion de que A es cerrado si R
n
A es abierto x A,
x Int (R
n
A) = Ext A.
Ejemplos:
Las bolas y rectangulos abiertos (resp cerrados) son abiertos (resp. cerrados).
Un conjunto nito de puntos aislados es cerrado.
Un conjunto innito de puntos aislados no necesariamente es cerrado, depende de si tiene o no puntos
de acumulacion: p. ej., sobre la recta los puntos de la sucesion A =
1 +
1
n
.
En R, N y Z son cerrados. Q no es ni abierto ni cerrado, ya que Fr Q = R.
Comentarios:
Un conjunto no puede ser abierto y cerrado simultaneamente, salvo el vaco y el total R
n
que, por
denicion, son abiertos y cerrados a la vez.
Obviamente, hay conjuntos que no son ni abiertos ni cerrados (p. ej., un rectangulo formado por el
producto cartesiano de intervalos semiabiertos).
Finalmente se tiene la siguiente propiedad sobre la union y la interseccion de abiertos y cerrados:
n
. 8
Proposicion 8 1. La union de abiertos es un abierto.
2. La interseccion nita de abiertos es un abierto.
3. La interseccion de cerrados es un cerrado.
4. La union nita de cerrados es un cerrado.
( Dem. )
1. Sea F una coleccion arbitraria de abiertos y sea S =
AF
A. x S existe A F tal que x A, y
como es abierto existe B
r
(x) A S, por tanto x Int S luego S es un abierto.
2. (Se hace para dos abiertos. La generalizacion es inmediata).
Sea S = A
1
A
2
. Para todo x S existen B
r
1
(x) A
1
y B
r
2
(x) A
2
. Sea r = min(r
1
, r
2
), entonces
B
r
(x) S y, por tanto, todo punto de S es interior luego S es abierto.
3. La interseccion de cerrados es el complementario de la union de los complementarios, que son abiertos,
y por lo anterior es un abierto y su complementario cerrado.
4. Se razona como en la anterior.
Contraejemplos:
La interseccion innita de abiertos puede ser un cerrado:
nN
1
1
n
, 1 +
1
n
= [1, 1]
La union innita de cerrados puede ser un abierto:
nN
1 +
1
n
, 1
1
n
= (1, 1)
Relacionado con los anteriores conceptos introduciremos, nalmente, la siguiente denicion:
Como consecuencia inmediata de la proposicion 7 se tiene que:
Proposicion 9 A R
n
,

A es cerrado, y es el menor cerrado que contiene a A.
Para acabar, se demuestra la siguiente propiedad:
Proposicion 10 Si B R
n
es cerrado y A B, entonces

A B.
( Dem. )

A es cerrado, luego x

A se tiene que, o bien x Fr A, o bien x Int A.
Obviamente Int A A B.
Por otra parte, si x Fr A entonces B
r
(x) contiene puntos de A y, por lo tanto, de B (dado que A B,
luego x Ext B y, como B es cerrado, eso implica que x B. De ah Fr A B.
Por consiguiente Int A Fr A

A B.
n
. 9
1.3 Sucesiones en R
n
1.3.1 Sucesiones de vectores en R
n
El concepto de sucesion de n umeros reales se generaliza en R
n
de la siguiente manera:
Denicion 10 Se denomina sucesion (de vectores) en R
n
a toda aplicacion N R
n
.
Comentarios:
Se usa la misma terminologa y notacion que para sucesiones numericas. As, las imagenes de la
aplicacion se denominan terminos o elementos de la sucesion. El termino general de una sucesion
vectorial se designa por {x
m
}.
Observese que si x
m
(x
m
1
, . . . , x
m
n
), entonces una sucesion de vectores en R
n
induce n sucesiones
numericas, que son las de las coordenadas: {x
m
} ({x
m
1
}, . . . , {x
m
n
}).
Denicion 11 Sea {x
m
} una sucesion de vectores. Un punto a R
n
es el lmite de la sucesion si, 0,
N tal que si , entonces x
a < . Se usara la notacion lim

m
{x
m
} = a , o tambien
{x
m
}
m
a
2
.
Si una sucesion tiene lmite se dice que es convergente, si no lo tiene es no convergente o divergente.
Comentario:
Notese que la denicion de lmite signica que, a partir del termino -esimo todos los terminos estan
contenidos en una bola abierta de centro en a y radio .
Las propiedades de las sucesiones de vectores son analogas a las de las sucesiones numericas:
Proposicion 11 Sean {x
m
} y {y
m
} sucesiones en R
n
y R.
1. lim
m
{x
m
} = a si, y solo si lim
m
{x
m
a} = 0 (vector nulo).
2. lim
m
{x
m
} = a si, y solo si lim
m
{x
m
i
} = a
i
(i = 1, . . . , n), (las sucesiones de la coordenadas convergen
a las coordenadas de a).
3. Si {x
m
} es convergente entonces esta acotada.
4. Si {x
m
} tiene lmite entonces este es unico.
5. Si lim
m
{x
m
} = a y lim
m
{y
m
} = b , entonces lim
m
{x
m
y
m
} = a b .
6. Si lim
m
{x
m
} = a entonces lim
m
{x
m
} = a .
7. Si lim
m
{x
m
} = a y lim
m
{y
m
} = b entonces para la sucesion de los productos escalares se tiene que
lim
m
{x
m
, y
m
} = a, b .
8. Si lim
m
{x
m
} = 0 y {y
m
} es otra sucesion tal que {y
m
} acotada entonces lim
m
{x
m
, y
m
} = 0
( Dem. )
1. Como en R.
2
Esta es la misma denicion que para sucesiones numericas cambiando el valor absoluto por la norma.
n
. 10
2. Inmediata observando que, de acuerdo con el apartado 5 de la proposicion 3,
|x
m
i
a
i
| x
m
a
n
i=1
|x
m
i
a
i
|
3. Como en R.
4. Es una consecuencia de 2 y de la unicidad del lmite de las sucesiones numericas.
5. Inmediata observando que, de acuerdo con la desigualdad triangular,
x
m
+y
m
a b x
m
a +y
m
b|
6. Inmediata.
7. Observese que
x
m
, y
m
a, b = x
m
a, y
m
+a, y
m
a, b
= x
m
a, y
m
+a, y
m
b
y ambas sucesiones tienen lmite igual a 0.
8. Usando la desigualdad de Schwarz se tiene que
|x
m
, y
m
| x
m
y
m
m
0
Comentario:
Teniendo en cuenta la segunda propiedad, el calculo de lmites de sucesiones de vectores se reduce al
calculo de lmites de sucesiones numericas (las sucesiones de las cooordenadas).
1.3.2 Sucesiones de Cauchy. Completitud
Igual que se hizo con las sucesiones numericas, se dene el siguiente concepto:
Denicion 12 Sea {x
m
} una sucesion de vectores. {x
m
} es una sucesion de Cauchy si 0, N tal
que si , , entonces x
< .
Comentario:
Notese que esta denicion signica que, a partir del termino -esimo todos los terminos de la sucesion
estan contenidos en una bola abierta de diametro .
Teniendo en cuenta los comentarios hechos en el apartado anterior, es evidente que:
Proposicion 12 {x
m
} es una sucesion de Cauchy si, y solo si, lo son las n sucesiones numericas compo-
nentes {x
m
i
}.
( Dem. ) Inmediata observando que, de acuerdo de nuevo con el apartado 5 de la proposicion 3,
|x
i
x
i
| x
i=1
|x
i
x
i
|
n
. 11
Con todos estos conceptos ya estamos en condiciones de explorar las relaciones entre las sucesiones
(convergentes) de vectores y las propiedades topologicas de R
n
. De este modo, es posible establecer en R
n
propiedades analogas a las que ya se vericaban para la recta real R, como son el teorema de Bolzano-
Weierstrass
3
y, en particular:
Teorema 2 (de completitud de R
n
): La c.n.s. para que una sucesion {x
m
} sea convergente en R
n
es que
sea una sucesion de Cauchy.
( Dem. ) Basta usar las sucesiones de las coordenadas y el teorema de completitud de R.
1.3.3 Sucesiones, puntos interiores y puntos frontera
Siguiendo con las relaciones entre las sucesiones de vectores y la topologa de R
n
, analizaremos, a contin-
uacion, las dos siguientes propiedades:
n
. x Ext A existe una sucesion {x
m
} de puntos de A cuyo lmite es x.
( Dem. ) Si x Ext A entonces x Int A o x Fr A. En cualquier caso se puede construir una sucesion
de bolas B(x,
1
m
) cada una de las cuales contiene puntos de A (por denicion de punto interior o frontera),
entonces basta tomar uno de ellos en cada bola x
m
B(x,
1
m
) y se tiene una sucesion {x
m
} A que
obviamente tiene como lmite x.
Proposicion 14 A R
n
es cerrado si, y solo si, {x
m
} sucesion de puntos de A convergente, su lmite es
un punto x A.
( Dem. ) (=) Si A es cerrado y {x
m
} x, con {x
m
} A, entonces en todo entorno de x hay puntos
de {x
m
} (por denicion de lmite), esto es puntos de A, luego x Ext A y, por tanto, x A.
(=) x Fr A, de acuerdo con la proposicion anterior, {x
m
} A con {x
m
} x. Pero, por
hipotesis, toda sucesion de puntos de A convergente lo es a un punto de A, luego x A. Por consiguiente
Fr A A, luego A es cerrado.
1.3.4 Conjuntos compactos y sucesiones
Para concluir este captulo preliminar, se va a introducir una ultima nocion de topologa tendra el mismo
papel en las propiedades de las funciones de varias variables que los intervalos cerrados de R en ciertos
teoremas relativos a funciones de una variable.
Denicion 13 Sea K R
n
. K es un conjunto compacto si es cerrado y esta acotado.
La propiedad que relaciona los conjuntos compactos con las sucesiones es la siguiente:
Proposicion 15 K R
n
es compacto si, y solo si, de toda sucesion de puntos de {x
m
} K se puede
obtener una subsucesion convergente a un punto x K.
( Dem. ) (=) Sea K compacto y {x
k
} K. Suponiendo que la sucesion {x
k
} tiene innitos terminos (en
caso contrario es facil extraer subsucesiones convergentes), por el teorema 1, tiene un punto de acumulacion
b, lo que implica que toda bola centrada en b contiene innitos puntos de la sucesion.
3
Que enuncia que toda sucesion acotada tiene alguna subsucesion convergente.
n
. 12
Para la bola B
1
(b) elegimos un punto x
h
1
{x
k
}.
Para la bola B
1/2
h
2
{x
k
}, con h
2
> h
1
.
Para la bola B
1/3
h
3
{x
k
}, con h
3
> h
2
, y as sucesivamente.
Obtenemos de esta forma una subsucesion {x
h
j
}
jN
, en K, que tiene como lmite b y como K es cerrado
entonces b K.
(=) (Reduccion al absurdo):
1. Si K no es cerrado x Fr K con x K. Sea {x
m
} K tal que {x
m
} x, entonces cualquier
subsucesion de esta converge a x K, contra la hipotesis.
2. Si K no esta acotado entonces, M R
+
, x
m
K con x
m
> M, luego se puede formar una
sucesion {x
m
} divergente que, por tanto, no tiene subsucesiones convergentes, contra la hipotesis.
Comentario:
Aunque, como ya se ha se nalado, en algunos teoremas sobre funciones en R
n
los compactos tienen el
mismo papel que los intervalos cerrados en R, ambos conceptos no son equivalentes en R. En efecto, en
R todo intervalo cerrado es un compacto, pero no todo compacto es semejante a uno o varios intervalos
cerrados. La diferencia esta en que en los intervalos cerrados todos sus puntos son de acumulacion, en
los compactos no necesariamente (p. ej., un conjunto nito de puntos aislados es un compacto).
Chapter 2
Lmites y continuidad de funciones en
R
n
2.1 Introduccion
En el curso de Calculo Innitesimal se analizaron unicamente las funciones (reales) de una variable. Sin
embargo, en la naturaleza hay fenomenos para cuya descripcion matematica se requieren funciones que
dependen de mas de una variable y que, en Fsica, suelen denominarse campos. As, p. ej.,
La temperatura de una region del espacio (a lo largo del tiempo):
T(x, y, z, t): R
4
R
La velocidad de las partculas de un uido en movimiento
v(x, y, z): R
3
R
3
La fuerza gravitatoria en el entorno de una distribucion de masa
F(x, y, z): R
3
R
3
En este captulo se va a hacer una presentacion de este tipo de funciones, comenzando ya a estudiar
los conceptos analticos con ellas relacionados, tal como se hizo en su momento con las funciones de una
variable. Concretamente, se empezara introduciendo las nociones de lmite y continuidad y, en los siguientes
captulos, se abordaran las cuestiones relativas a la diferenciabilidad e integrabilidad de estas funciones.
(A partir de ahora, siempre que no se diga explcitamente lo contrario, se toman los dominios de las
funciones abiertos a n de evitar problemas de aproximacion a los puntos frontera).
2.2 Funciones de varias variables
2.2.1 Funciones escalares y vectoriales. Conjuntos de nivel
Denicion 14 Se denomina campo o funcion (real) de varias variables a toda aplicacion
f: A R
n
R
m
(n > 1, m 1)
La region A R
n
donde esta denida la aplicacion recibe el nombre de dominio de la funcion
1
, y se indica
como Domf.
1
El dominio de una funcion de varias variables suele estar dado por una o varias expresiones analticas del tipo h(x
1
, . . . , x
n
)
0.
13
n
. 14
Igualmente, se denomina imagen de f al conjunto de puntos que son imagen de alg un punto del dominio,
Imf = {y R
m
| f(x) = y, x A}.
1. Si m = 1 entonces se dice que f es un campo o funcion escalar.
2. Si m > 1 entonces se dice que f es un campo o funcion vectorial. En este caso se tiene
f : A R
n
R
m
x (x
1
, . . . , x
n
) (f
1
(x), . . . , f
m
(x))
donde f
j
: A R
n
R (j = 1, . . . , m) son funciones escalares que se denominan funciones componentes
de f
2
.
Ejemplos:
Funciones escalares: temperatura, presion, densidad,...
Funciones vectoriales: campos gravitatorio, electrostatico, electromagnetico...
Comentarios:
Es evidente, a partir de lo expuesto en la denicion, que el estudio de una funcion vectorial se reduce al
de sus funciones componentes. Por ese motivo, en adelante se prestara atencion preferente al analisis
de las funciones escalares.
Para una funcion vectorial con funciones componentes f = {f
i
}, se tiene que Domf =
m
i=1
Domf
i
.
Denicion 15 1. Sea f : A R
n
R
m
, con f = (f
1
, . . . , f
m
). Se denomina graca de la funcion al
conjunto graf f R
n+m
dado por
graf f := {(p; q) | p A, q = f (p)}
{(x
1
, . . . , x
n
; y
1
, . . . , y
m
) | (x
1
, . . . , x
n
) A, y
1
= f
1
(x
1
, . . . , x
n
), . . . , y
m
= f
m
(x
1
, . . . , x
n
)}
2. Sea f: A R
n
R. Se denomina conjunto de nivel k o equiescalar al conjunto de puntos del dominio
donde la funcion tiene el mismo valor k, es decir,
k
:= {p (x
1
, . . . , x
n
) A | f(p) = c (ctn.)}
3. Sea f: A R
n
R. Se denomina seccion de la graca de f a la interseccion de graf f con planos de
R
n+1
. (Es habitual considerar los planos coordenados o planos paralelos a estos).
Comentarios:
Un campo escalar f: A R R tiene como graca, en general, una curva en R
2
cuya ecuacion es
y = f(x); lo que se denomina expresion explcita de la curva. Igualmente, si f: A R
2
R, la graca
de f esta en R
3
y es, generalmente, una supercie cuya expresion explcita es z = f(x, y).
Si se trata de una funcion de dos variables, un conjunto de nivel es, en general, una curva cuya ecuacion
es F(x, y) = cte. Se dice que es una curva dada en forma mplicita. En el caso de funciones de tres
variables, un conjunto de nivel es, en general, una supercie que, en forma mplicita, se expresa como
F(x, y, z) = cte.
Observese que, en particular, para funciones de dos variables f f(x, y), las secciones obtenidas al
intersectar la graca de f con los planos paralelos al plano coordenado XY proyectan sobre las curvas
de nivel de la funcion (y analogamente sucede para funciones de mas variables).
2
Los valores que toman estas funciones componentes en cada punto del dominio de f son, obviamente, las componentes de
un vector de R
m
(de ah el nombre de funciones vectoriales).
n
. 15
El estudio de las secciones y supercies de nivel es util con vistas a tener una idea aproximada de como
es la graca de la funcion.
Finalmente, dadas f , g: R
n
R
m
, se denen las funciones f + g, f , fg: R
n
R
m
como la suma o
producto componente a componente; es decir,
(f , g)(x) = ((f
1
+g
1
)(x), . . . , (f
m
+g
m
)(x))
(f )(x) = (f
1
(x), . . . , f
m
(x))
fg(x) = (f
1
(x)g
1
(x), . . . , f
m
(x)g
m
(x))
Analogamente la funcion producto escalar f , g: R
n
R esta dada por
f , g(x) = f
1
(x)g
1
(x) +. . . +f
m
(x)g
m
(x)
Por otra parte, si f : A R
n
R
m
y g : B R
m
R
l
, se dene la funcion compuesta g f : C R
n
R
l
por
(g f)(x) = g(f (x))
Notar que C = Dom(g f ) = A f
1
(B).
2.3 Lmites de funciones
2.3.1 Lmite de una funcion en un punto y en el innito
Comenzaremos el analisis de las funciones de varias variables propiamente dicho estudiando el compor-
tamiento de una funcion en el entorno de un punto. La primera nocion sobre este particular es la de lmite:
Denicion 16 Sea f: A R
n
R
m
una funcion, a R
n
un punto de acumulacion de A y p R
m
. p es el
lmite de f en a si, 0, > 0 tal que si xa < entonces f(x)p < . Se escribira lim
xa
f(x) = p,
o bien f(x)
xa
p
3
.
Una denicion alternativa de este concepto viene dada por la siguiente propiedad:
Proposicion 16 Sea f: A R
n
R
m
una funcion, a R
n
un punto de acumulacion de A y p R
m
. p es
el lmite de f en a si, y solo si, {x
l
} A, sucesion de puntos en A con lim
l
{x
l
} = a , se tiene que para la
sucesion de las imagenes, lim
l
{f(x
l
)} = p .
( Dem. ) Como en el caso de una variable.
Las propiedades de los lmites de funciones de varias variables son analogas a las de las del caso de una
variable:
Proposicion 17 Sean f, g: A R
n
R
m
funciones, a R
n
un punto de acumulacion de A y p, q R
m
.
1. Si lim
xa
f(x) = p entonces p es unico.
2. lim
xa
f(x) = p si, y solo si, lim
xa
f
j
(x) = p
j
(j = 1, . . . , m)
4
.
3. Si lim
xa
f(x) = p y lim
xa
g(x) = q , entonces lim
xa
(f(x) g(x)) = p q .
3
Esta es la misma denicion que para funciones de una variable cambiando el valor absoluto por la norma.
4
As, el calculo de lmites de funciones vectoriales se reduce al calculo de lmites de sus funciones componentes.
n
. 16
4. Si lim
xa
f(x) = p y R, entonces lim
xa
f(x) = p .
5. Si m = 1, lim
xa
f(x) = p = 0 y f(x) = 0, x A, entonces
1
f(x)
esta bien denida en A y lim
xa
1
f(x)
=
1
p
6. Si m = 1, f tiene lmite en a y este es positivo (resp. negativo), entonces existe alguna bola perforada
con centro en a sobre la que f toma valores positivos (resp. negativos).
7. Si m = 1 y f h g en un entorno perforado de a, y lim
xa
f(x) = lim
xa
g(x) = b, entonces lim
xa
h(x) = b.
8. Si lim
xa
f(x) = p y lim
xa
xa
f(x)g(x) = (p
1
q
1
, . . . , p
m
q
m
)
5
.
9. Si lim
xa
f(x) = p y lim
xa
xa
f(x), g(x) = p, q.
10. Si lim
xa
f(x) = p, entonces lim
xa
f(x) = p
11. Si f tiene lmite en a, entonces esta acotada sobre alguna bola de centro a.
12. Sean f : A R
n
R
m
y g: B R
m
R
l
, con f (A) B, y tales que a es punto de acumulacion de
A, b = lim
xa
f (x) es un punto de acumulacion de B y lim
yb
g(y) = c, entonces lim
xa
(g f )(x) = c, siempre
que b B o g es continua en b
6
.
( Dem. ) Se demuestran facilmente a partir de las deniciones y propiedades dadas.
Finalmente, introduciremos los conceptos de lmites innitos y en el innito.
Denicion 17 Sea f : A R
n
R
m
, y a R
n
.
1. f tiene lmite innito en a si, L > 0, > 0 tal que x A {a} que cumpla x a < se tiene
f(x) > L. Se expresa lim
xa
f = .
2. Si A es no acotado, f tiene lmite en el innito si, > 0, M > 0 tal que , x A que cumpla
x > M, se tiene f(x) b < . Se expresa lim
x
f = b.
3. Si A es no acotado, f tiene lmite innito en el innito si, L > 0, M > 0 tal que, x A que cumpla
x > M, se tiene f(x) > L. Se expres lim
x
f =
2.3.2 Lmites direccionales. Lmites reiterados
En el calculo de lmites de funciones de varias variables no se dispone de tecnicas analogas a las del caso de
una variable
7
. Ello obliga a desarrollar otros metodos de calculo nuevos basados en los conceptos que se van
a exponer en este apartado. Dado que, seg un se ha visto en el primer punto de la proposicion 17, el lmite
de una funci on vectorial se obtiene calculando el de sus funciones componentes, solo vamos a considerar, en
adelante, el caso de funciones escalares.
En el apartado anterior hemos podido observar (proposicion 16) que el lmite de una funcion en un punto
puede alcanzarse tomando una sucesion en el dominio que tenga como lmite ese punto, y analizando el
comportamiento de la sucesion de las imagenes. Es en este hecho en el que se va a basar la tecnica que va
a ser desarrollada. As, estudiaremos el comportamiento de la funcion en un punto acercandonos al mismo
por medio de una sucesion de puntos que esten sobre una lnea. Esta es la idea que subyace en la siguiente
denicion:
n
R y a A un punto de acumulacion de A.
5
Donde f(x)g(x) (f
1
(x)g
1
(x), . . . , f
m
(x)g
m
(x)).
6
Ver seccion siguiente.
7
P. ej., no existe nada semejante a la regla de LHopital.
n
. 17
1. Si c: I R A es una curva parametrizada
8
que pasa por a (esto es, c(t
0
) = a), se denomina lmite
de f en a seg un la curva c(t) al valor lim
tt
0
f(c(t)) (si existe)
9
.
2. En particular, se denomina lmite direccional de f en a al lmite seg un la recta c(t) := a +tv; esto es,
al valor lim
t0
f(a +tv) (si existe).
Como caso particular, en el caso de funciones de dos variables, y con curvas (rectas) dadas en forma
explcita se tiene que, si f: A R
2
R y a (x
0
, y
0
) A un punto de acumulacion de A,
1. El lmite de f en a seg un la curva y = g(x) (que pasa por a) es el valor lim
xx
0
f(x, g(x)) (si existe)
2. En particular, el lmite direccional de f en a es el lmite seg un la recta y = mx + b (que pasa por a);
esto es, el valor lim
xx
0
f(x, mx +b) (si existe).
Comentarios:
Los lmites seg un curvas son la generalizacion al caso de varias variables, de la nocion de lmite lateral
del caso de una variable.
A este respecto, podra enunciarse un resultado analogo al correspondiente a lmites laterales en los
siguientes terminos:
Proposicion 18 lim
xa
f(x) = p si, y solo si, los lmites seg un todas las posibles curvas que pasen por a
existen y son iguales a p.
Y un obvio corolario de este resultado, referido a los lmites direccionales es:
Corolario 1 Si lim
xa
f(x) = p entonces los lmites direccionales seg un cualquier recta que pase por a existen
y son iguales a p.
Teniendo esto en cuenta, se puede asegurar que el lmite de una funcion en un punto no existe si se da
alguno de los siguientes casos:
1. Si el lmite seg un una curva depende de la curva elegida. En particular, si al hacer lmites
direccionales, no existe el lmite para alguna recta o su valor depende de m (esto es, de la recta
que se toma).
2. Si existiendo y siendo iguales todos los lmites direccionales, no existe o es diferente de los ante-
riores el lmite seg un alguna otra curva.
Una manera de indagar si existe el valor del lmite en un punto para funciones de dos o de tres variables
consiste en hacer un cambio de coordenadas a polares (en R
2
) o a esfericas (en R
3
) y hacer r 0 ( si
el lmite es en el origen
10
).
Para concluir esta seccion, hay que se nalar que existen tambien los denominados lmites reiterados que,
para una funcion de dos variables, son los del tipo
lim
xx
0
lim
yy
0
f(x, y) , lim
yy
0
lim
xx
0
f(x, y)
cuyo valor, en caso de existir y ser el mismo, no tiene por que coincidir con lim
(x,y)(x
0
,y
0
)
f(x, y). En particular,
se tiene que:
8
Ver captulo 4.
9
Observese que se trata de un lmite de una funcion de una variable.
10
Si no, hay que hacer previamente otro cambio de coordenadas que lleve el punto en cuestion al origen.
n
. 18
Si lim
(x,y)(a,b)
f(x, y) = p, y existen lim
xa
1
f(x, y) y lim
ya
2
f(x, y), entonces existen los lmites reiterados
de f y valen p.
Puede ocurrir que exista lim
(x,y)(a,b)
f(x, y) y no existir alguno de los reiterados.
Si existen el lmite de la funcion y los reiterados en un mismo punto, estos han de coincidir.
2.4 Continuidad
2.4.1 Continuidad. Propiedades de las funciones continuas
En la seccion anterior se ha tratado del concepto de lmite de una funcion en un punto, pero en ning un
momento se ha considerado la cuestion de si la funcion estaba o no denida en dicho punto. Esto da origen
al siguiente concepto:
n
R
m
y a R
n
un punto de acumulacion de A
11
.
1. f es continua en a si
(a) a A; es decir, f (a), y
(b) lim
xa
f (x) = f (a)
12
.
2. f es continua en un conjunto B A si lo es x B.
Las propiedades de las funciones continuas se basan en las del lmite:
Proposicion 19 Sean f , g: A R
n
R
m
funciones y a A.
1. f es continua en a si, y solo si, lo son todas y cada una de sus funciones componentes.
2. Si f y g son continuas en a, tambien lo es f g.
3. Sea R. Si f es continua en a, tambien lo es f .
4. Si m = 1 y f(x) = 0, x A, entonces
1
f(x)
esta bien denida en A y si f es continua en a, tambien
lo es
1
f(x)
.
5. Si f y g son continuas en a, tambien lo es f , g.
6. Si f y g son continuas en a, tambien lo es fg.
7. Si m = 1, f(x) = 0 y f es continua en a, entonces f no cambia de signo en alg un entorno de a.
8. Si f es continua en a, entonces f esta acotada en alg un entorno de a.
9. Si g: B R
m
R
l
, b = f (a) B y f y g son continuas en a y b respectivamente, entonces g f es
continua en a.
Finalmente, se tiene tambien la siguiente caracterizacion de los conjuntos abiertos y cerrados:
Teorema 3 Sea f : A R
n
R
m
. Las tres armaciones siguientes son equivalentes.
11
Si a es un punto aislado de A entonces basta con asegurar la primera condicion.
12
Es la misma denicion que para funciones de una variable.
n
. 19
1. f es continua.
2. Para todo abierto V R
m
, f
1
(V ) = A U, donde U es un abierto de R
n
3. Para todo cerrado T R
m
, f
1
(T) = A S, donde S es un cerrado de R
n
( Dem. ) (1 2) Sea V un abierto de R
m
y a un punto de f
1
(V ). Se ha de probar que a U A,
con U abierto. Sea f (a) = b, como V es abiert, existe B
(b) V . Por ser f continua en A, existe B
a
(a) tal
que f (B
a
(a) A) B
(b); de donde se deduce que

B
a
(a) A f
1
(f (B
a
(a) A)) f
1
(B
(b)) f
1
(V )
y esto implica que
f
1
(V ) =
af
1
(V )
[B
a
(a) A] = [
af
1
(V )
B
a
(a)] A = U A, con U abierto
donde se ha tenido en cuenta que la union de abiertos es un abierto.
(2 1) Sea a A y f (a) = b. Veamos que f es continua en a. Sean > 0 y B
(b) la bola abierta

en R
m
. Por hipotesis f
1
(B
(b)) = U A, con U abierto en R

n
. Como a U A y U es abierto, existe un
> 0 tal que
B
(a) A U A f
1
(B
(b))
luego f (B
(a) A) B
(b), lo que implica que f es continua en a.

(2 3) T cerrado implica que R
m
T es un abierto. Luego, por 2, f
1
(R
m
T) = U A, donde
U es un abierto de R
n
. Por tanto f
1
(T) = (R
n
U) A y R
n
U es un cerrado de R
n
.
(3 2) Analogo al caso anterior.
Ejemplo:
Sea f: (0, ) R R dada por f(x) =
1
x
, y V = [1, ) (que es cerrado en R). Se tiene que
f
1
(V ) = (0, 1] = [0, 1] (0, ), donde U [0, 1] es cerrado.
2.4.2 Propiedades topologicas. Teorema de Weierstrass. Consecuencias
A continuaci on vamos a rese nar algunas propiedades de las funciones continuas, que son generalizaciones de
otras bien conocidas en el calculo de una variable.
Teorema 4 (de Weierstrass): Sea K R
n
un compacto y f : K R
m
una funcion continua. Entonces
f (K) es compacto.
( Dem. ) Se ha de demostrar que f (K) es cerrado y esta acotado.
1. f (K) es cerrado: Hemos de probar que Fr (f (K)) f(K) Sea y Fr (f (K)), sabemos que existe una
sucesion {y
h
} f (K) tal que lim
h
y
h
= y. Sea {x
h
} la sucesion en K tal que f (x
h
) = y
h
. Por ser
K compacto, existe una subsucesion {x
h
i
} convergente en K, esto es, existe lim
i
x
h
i
que vale a K.
Por ser f continua, la sucesion {f (x
h
i
)} converge a f (a) en R
m
. Ahora bien, f (x
h
i
) = y
h
i
y la sucesion
{y
h
i
} es subsucesion de {y
h
}, que tiene lmite y, por tanto, ambas han de tener el mismo lmite. Luego
y = f (a) f (K), lo que implica Fr (f (K)) f(K), y f (K) es un conjunto cerrado.
2. f (K) esta acotado: Si no lo estuviera, h N, x
h
K tal que f (x
h
) > h, y tendramos la sucesion
{x
h
} en K que, como es un compacto, ha de tener alguna subsucesion convergente. Sea esta {x
h
l
} y
a K su lmite. Por tanto, puesto que f es continua, {f (x
h
l
)} f (a), lo cual es absurdo dado que la
sucesion no esta acotada. Luego f (K) tiene que estar acotado.
n
. 20
Son consecuencias de este teorema:
Proposicion 20 Sea K R
n
compacto y f: K R una funcion continua. Entonces f toma en K valores
extremos.
( Dem. ) Por el teorema anterior f(K) es un compacto, o sea cerrado y acotado. Sea h = inf f(K),
entonces h es un punto adherente de f(K), que es un cerrado, lo que implica h f(K) f(K). Por tanto,
existe un x k tal que f(x) = h, luego f alcanza el nmo. Igualmente se demostrara la existencia del
supremo.
Corolario 2 Sea K R
n
compacto y f : K R
m
una funcion continua. Entonces:
1. Cada componente de f toma en K valores extremos.
2. f toma en K valores extremos.
( Dem. ) Basta considerar la proposicion anterior y, en el segundo apartado, que f continua f continua.
2.4.3 Continuidad uniforme
n
R
m
. f es uniformemente continua en A si > 0 > 0 tal que, si
x, y A con x y < , entonces f (x) f (y) <
13
.
Las propiedades de las funciones uniformemente continuas son las mismas que en el caso de una variable.
Proposicion 21 Sea f : A R
n
R
m
una funcion uniformemente continua en A. Entonces:
1. f es continua en A.
2. Si {x
m
} es una sucesion de Cauchy, tambien lo es {f (x
m
)}.
( Dem. ) Inmediatas ambas.
Finalmente, enunciamos (sin demostrar) que:
Teorema 5 (de Cauchy): Si K R
n
es un compacto y f : K R
m
es una funcion continua en K, entonces
es uniformemente continua en K.
13
Es la misma denicion que para funciones de una variable, sustituyendo valor absoluto por norma y tiene, por tanto, la
misma interpretacion geometrica.
Chapter 3
Calculo Diferencial en R
n
3.1 Introduccion
En este captulo se trata esencialmente de introducir la nocion de derivada o, mas exactamente, de diferencial
de una funcion de varias variables y sus propiedades. Como ya es costumbre, se busca generalizar el concepto
ya existente en el caso de una variable. Por ello conviene recordar que, en ese caso, hay dos maneras de
entender esta cuestion, que corresponden a otras tantas maneras de interpretar el concepto de derivada:
la interpretacion analtica de la derivada como lmite del cociente incremental, y
la interpretacion geometrica de la derivada como aplicacion lineal que permite denir la recta tangente
a la gr aca de la funcion. En esta interpretacion se apoya precisamente la aplicacion de la aproximacion
lineal de funciones.
Ademas de ello, se han de tener presente las propiedades analticas de la derivada que la hacen tan util
(reglas algebraicas, regla de la cadena, etc.).
Si para generalizar este concepto al caso de varias variables se sigue el primer metodo se llega a la nocion
de derivada parcial o, mas genericamente, al de derivada direccional. Sin embargo, el resultado obtenido es
insatisfactorio por cuanto sus propiedades distan mucho de ser las esperadas (no se satisface la regla de la
funcion compuesta ni es adecuado para obtener aproximaciones lineales, como ya veremos). Sin embargo,
siguiendo el segundo metodo se llega tambien a las nociones anteriores y se obtiene un concepto plenamente
satisfactorio en lo referente a sus propiedades analtico-geometricas.

Este sera, por tanto, el camino que
seguiremos en la exposicion.
Finalmente, tambien se van a introducir los diversos operadores diferenciales: gradiente, rotacional,
divergencia y laplaciana, conceptos relacionados como son las nociones de campo conservativo, irrotacional
y solenoidal, y las propiedades mas relevantes de estos operadores.
3.2 Diferenciabilidad de funciones en R
n
3.2.1 Diferenciabilidad de una funcion en un punto. Interpretacion geometrica
Recordemos que, en el caso de una variable, dada una funcion f: A R R y a A, se poda interpretar
la derivada de f en a como una aplicacion lineal
f
a
: R R
h h
21
n
. 22
con =
df
dx
(a) f
(a) . La interpretacion geometrica era que la imagen de esta aplicacion daba una
aproximacion al valor f(a +h) f(a); esto es, de forma mas rigurosa,
f(a +h) = f(a) + h +R
1
(h) , (con R
1
(h) = o(h) si h 0)
Se sabe, ademas, que, si la funcion es derivable en a, la ecuacion de la recta tangente a graf f en el punto
(a, f(a)) es precisamente
y = f(a) + (x a)
luego el valor de la aproximacion f(a) +h es la ordenada del punto de esta recta cuya abcisa es x = a +h.
Observese que, el que esta recta sea tangente a la graca esta determinado por el hecho de que la diferencia
R
1
(h) = f(a +h) (f(a) + h) es un innitesimo de primer orden cuando h 0.
Todo esto daba origen a la siguiente caracterizacion de la derivada de una funcion en un punto:
Denicion 21 Sea f: A R R y a A. f es derivable en a si existe una aplicacion lineal f
a
: R R
tal que
1. f(a +h) = f(a) +f
a
(h) +R
1
(h) = f(a) + h +R
1
(h).
2. R
1
(h) = o(h) cuando h 0.
En tal caso se denomina derivada de f en a al valor
1
f
(a) = lim
h0
f(a +h) f(a)
h
Pretendemos generalizar estas ideas al caso de funciones de varias variables. Comenzaremos razonando
con funciones escalares de dos variables y despues extenderemos los razonamientoa al caso general.
Sea f: A R
2
R y a (a
1
, a
2
) A. Siguiendo las pautas del caso de una variable, lo que se busca es,
en primer lugar, una aplicacion lineal
D
a
f : R
2
R
h D
a
f( h)
tal que la imagen de esta aplicacion de una aproximacion al valor f(a + h) f(a); esto es, de forma mas
rigurosa,
f(a +h) = f(a) + D
a
f( h) +R
1
(h) , (con R
1
(h) = o(h))
Si se designa por J
a
f = ( ) la matriz asociada a esta aplicacion lineal, la expresion precedente adopta la
forma explcita
f(a +h) = f(a) + J
a
f( h) +R
1
(h) = f(a) + h
1
+ h
2
+R
1
(h)
y poniendo (h
1
, h
2
) h = x a (x a
1
, y a
2
) y z f(x, y) se tiene que
z = f(a) + J
a
f(x a) = f(a
1
, a
2
) + (x a
1
) + (y a
2
)
es la ecuacion de un plano en R
3
tal que la condicion R
1
(h) = o(h) hace que sea tangente a la graf f en
el punto (a, f(a)) R
3
.
Si la funcion escalar es de mas variables, todo es igual, salvo que la aplicacion en cuestion es ahora
D
a
f : R
n
R
h D
a
f( h)
cumpliendo que
f(a +h) = f(a) + D
a
f( h) +R
1
(h) , (con R
1
(h) = o(h))
1
Que se obtiene directamente a partir de estas condiciones.
n
. 23
y tiene por matriz asociada J
a
f = (
1
. . .
n
), con lo que estaremos considerando un hiperplano en R
n+1
en
lugar de un plano en R
3
, cuya ecuacion tiene la expresion mas general
z = f(a) + J
a
f(x a) = f(a) +
n
i=1
i
(x
i
a
i
)
y tal que la condicion R
1
(h) = o(h) hace que sea tangente a la graf f en el punto (a, f(a)) R
n+1
.
Finalmente, si la funcion es vectorial, f = (f
1
, . . . , f
m
), todo lo dicho se aplica a todas y cada una de sus
funciones componentes; es decir, tendremos una aplicacion
D
a
f : R
n
R
m
h D
a
f (h)
que verica que
f (a +h) = f (a) + D
a
f (h) +R
1
(h) , (con R
1
(h) = o(h))
y tiene por matriz asociada
J
a
f =
_
_
_
1
1
. . .
n
1
.
.
.
.
.
.
1
m
. . .
n
m
_
_
_
con lo que estaremos considerando hiperplanos en R
n+1
cuyas ecuaciones pueden escribirse en forma com-
pacta como
_
_
z
1
.
.
.
z
m
_
_
z = f (a) + J
a
f (x a) =
_
_
_
f
1
(a)
.
.
.
f
m
(a)
_
_
_+
_
_
_
1
1
. . .
n
1
.
.
.
.
.
.
1
m
. . .
n
m
_
_
_
_
_
x
1
a
1
.
.
.
x
n
a
n
_
_
y tales que la condicion R
1
(h) = o(h) hace que sean tangentes cada uno de ellos a la correspondiente
graf f
j
en el punto (a, f
j
(a)) R
n+1
.
Teniendo esto en cuenta, es posible generalizar la denicion 21 en los siguientes terminos:
n
R
m
y a A. f es diferenciable en a si existe una aplicacion lineal
D
a
f : R
n
R
m
tal que
1. f (a +h) = f (a) + D
a
f (h) +R
1
(h).
2. R
1
(h) = o(h) cuando h 0.
En tal caso se denomina diferencial de f en a a dicha aplicacion.
f es diferenciable en A si es diferenciable a A.
Comentario:
Observese que la condicion 2 signica que
lim
h0
f (a +h) (f (a) + D
a
f (h))
h
= 0 (3.1)
y, dado que esta igualdad expresa el hecho la propiedad de que los hiperplanos sean tangentes a las
correspondientes gracas, de ahora en adelante la denominaremos condicion de tangencia.
Por supuesto, es evidente que:
n
R
m
y a A. f es diferenciable en a si, y solo si, lo son todas y cada
una de sus funciones componentes f
j
.
n
. 24
3.2.2 Derivadas direccionales. Derivadas parciales. Matriz jacobiana
Llegados a este punto, lo que queda por hacer es denir de manera unvoca la aplicacion diferencial, esto es,
determinar los coecientes de su matriz asociada J
a
f .
Para ello, partiremos de la condicion de tangencia expresada en la ecuacion (3.1). Teniendo en cuenta
que la existencia del lmite de una funcion en un punto obliga a la existencia e igualdad de todos los
lmites direccionales seg un cualquier recta que pase por el punto (corolario 1), se pueden elegir caminos de
aproximacion al punto h = 0 que sean rectas de ecuacion h = tv (con v un vector director de la recta)
2
y
como h 0 t 0, se tendra que cumplir que
0 = lim
t0
f (a +tv) f (a) D
a
f (tv)
tv
=
1
v
lim
t0
f (a +tv) f (a) tD
a
f (v)
|t|
donde se ha hecho uso de que D
a
f es una aplicacion lineal. Esto implica que
0 =
lim
t0
f (a +tv) f (a) tD
a
f (v)
|t|
= lim
t0
f (a +tv) f (a) tD
a
f (v)
t
= lim
t0
f (a +tv) f (a)
t
D
a
f (v)
lim
t0
f (a +tv) f (a)
t
D
a
f (v)
y de aqu se obtiene que ha de ser

0 = lim
t0
f (a +tv) f (a)
t
D
a
f (v) D
a
f (v) = lim
t0
f (a +tv) f (a)
t
igualdad que, escrita en forma matricial es
_
_
_
1
1
. . .
n
1
.
.
.
.
.
.
1
m
. . .
n
m
_
_
_
_
_
v
1
.
.
.
v
n
_
_
= lim
t0
1
t
_
_
_
_
_
f
1
(a +tv)
.
.
.
f
m
(a +tv)
_
_
_
_
_
_
f
1
(a)
.
.
.
f
m
(a)
_
_
_
_
_
(3.2)
Si ahora, en particular, se toma como recta de aproximacion el primero de los ejes que, tomando como vector
director v = (1, 0, . . . , 0), tiene por ecuacion h
1
= t, h
2
= . . . = h
n
= 0, se obtienen los siguientes coecientes
de J
a
f
1
j
= lim
t0
f
j
(a
1
+t, a
2
, . . . , a
n
) f
j
(a
1
, . . . , a
n
)
t
y tomando sucesivamente como rectas de aproximacion el resto de los ejes se obtienen todos los demas
coecientes que estan dados por
i
j
= lim
t0
f
j
(a
1
, . . . , a
i
+t, . . . , a
n
) f
j
(a
1
, . . . , a
n
)
t
Entonces, con toda generalidad se puede denir:
Denicion 23 Sean f : A R
n
R
m
, a A y v R
n
un vector. Se denomina derivada direccional de f
en a seg un v al valor del siguiente lmite (si existe)
D
a
f (v)
f
v
(a) := lim
t0
f (a +tv) f (a)
t
(3.3)
En particular, se denomina derivada parcial de f en a respecto a la variable x
i
o tambien derivada parcial
i-esima de f en a a la derivada direccional de f en a seg un el vector e
i
de la base canonica
3
asociada al
sistema de coordenadas de R
n
; esto es, al valor del siguiente lmite (si existe)
4
f
x
i
(a) = ff
x
i
(a) lim
t0
f (a
1
, . . . , a
i
+t, . . . , a
n
) f (a
1
, . . . , a
n
)
t
2
Notese que se trata de una ecuacion vectorial (h
1
, . . . , h
n
) = t(v
1
, . . . , v
n
).
3
Es decir, en la direccion del eje coordenado X
i
.
4
Se observa que esta es la generalizacion inmediata de la denicion analtica de derivada como lmite del cociente incremental
que se tena para funciones de una variable.
n
. 25
Si las derivadas parciales existen x B A, se denomina funcion derivada parcial de f respecto a la
variable x
i
o tambien funcion derivada parcial i-esima de f a la funcion
f
x
i
: B R
n
R
m
a
f
x
i
(a)
Comentarios:
Las derivadas direccionales (o parciales) son vectores si m > 1, o nmeros si m = 1; esto es, seg un se
trate de una funcion vectorial o escalar.
La derivada direccional de una funcion escalar en un punto seg un un vector dado da cuenta de la
variacion de la funcion en un entorno de dicho punto, en la direccion dada.
La derivada parcial de una funcion de varias variables no es otra cosa que la derivada ordinaria respecto
a una de las variables, manteniendo las otras constantes; es decir, mide la variacion de la funcion en la
direcci on de esa variable. As pues, en muchos casos, se pueden calcular como derivadas ordinarias de
una funcion de una variable
5
.
Una funcion escalar de n variables puede tener hasta n derivadas parciales en cada punto.
A partir de aqu, se dene:
n
R
m
Si existen todas la derivadas parciales de f en a, se denomina matriz
jacobiana de f en a a la matriz que tiene por componentes los valores de estas derivadas parciales:
J
a
f
_
_
_
f
1
x
1
(a) . . .
f
1
x
n
(a)
.
.
.
.
.
.
f
m
x
1
(a) . . .
f
m
x
n
(a)
_
_
_
Si J
a
f es una matriz cuadrada, se denomina jacobiano a su determinante.
Y con toda esta terminologa se ha probado que:
n
R
m
y a A. Si f es diferenciable en a entonces:
1. Existen todas las derivadas direccionales de sus funciones componentes en a y, en particular, sus
derivadas parciales en a.
2. J
a
f es una matriz asociada a la diferencial de f en a, D
a
f .
Como obvio corolario de esta proposici on y de acuerdo con la denicion de derivada direccional (ecuacion
(3.3) y la igualdad (3.2), se tiene que:
Corolario 3 Sea f : A R
n
R
m
y a A. Si f es diferenciable en a entonces
D
a
f (v) = J
a
f (v)
(es decir, la derivada direccional de una funcion en un punto seg un un vector dado es la imagen de dicho
vector por la aplicacion diferencial de la funcion en ese punto).
Comentarios:
5
En algunas ocasiones esto no es as; p. ej., la funcion f(x, y) = x
1/3
y
1/3
en (0, 0) tiene derivadas parciales iguales a 0, pero
no se pueden calcular derivando las funciones x
1/3
y y
1/3
, dado que ninguna de ellas es derivable en el origen.
n
. 26
Es obvio que tomando otras derivadas direccionales en a que no fueran seg un los vectores de la base
canonica de R
n
se obtendra otra matriz asociada a la aplicacion lineal D
a
f . La matriz jacobiana J
a
f
es pues la matriz asociada a la aplicacion lineal D
a
f referida a la base canonica.
Observese que los coecientes de la matriz jacobiana son n umeros cuyo valor, en general, cambia al
cambiar de punto. Esto pone de maniesto que la aplicacion diferencial depende del punto en cuestion.
Notese que esta proposicion asegura la unicidad de la diferencial, ya que queda determinada por las
derivadas parciales que son, obviamente, unicas.
El recproco de esta proposicion no es cierto; esto es, la existencia de las derivadas parciales no garantiza
la diferenciabilidad, tal como queda puesto de maniesto en los siguientes contraejemplos:
Ejemplos:
f(x, y) x
1/3
y
1/3
, en el origen a = (0, 0).
Tiene derivadas parciales:
f
x
(0, 0) = lim
t0
f(t, 0) f(0, 0)
t
= lim
t0
t
1/3
0 0
t
= 0
f
y
(0, 0) = lim
t0
f(0, t) f(0, 0)
t
= lim
t0
0t
1/3
0
t
= 0
pero no es diferenciable por no cumplirse la condicion de tangencia, ya que
lim
h0
f(h) f(0, 0)
f
x
(0, 0)h
1
f
y
(0, 0)h
2
h
= lim
(h
1
,h
2
)(0,0)
h
1/3
1
h
1/3
2
0 0 0
h
2
1
+h
2
2
no existe (como se comprueba, p. ej., haciendo el lmite direccional seg un la recta h
1
= h
2
, que
da ).
f(x, y) =
1 si x = 0 o y = 0
0 si x = 0 y y = 0
, en el origen a = (0, 0).
Tiene derivadas parciales:
f
x
(0, 0) = lim
t0
f(t, 0) f(0, 0)
t
= lim
t0
1 1
t
= 0
f
y
(0, 0) = lim
t0
f(0, t) f(0, 0)
t
= lim
t0
1 1
t
= 0
pero no es diferenciable por no cumplirse la condicion de tangencia, ya que
lim
h0
f(h) f(0, 0)
f
x
(0, 0)x
f
y
(0, 0)y
h
= lim
(h
1
,h
2
)(0,0)
0 1 0 0
h
2
1
+h
2
2
=
3.2.3 Interpretacion geometrica de las derivadas parciales. Aproximacion lineal
A raiz de todo lo expuesto y a modo de conclusion, se nalemos que el que una funcion sea diferenciable en
un punto es equivalente a que
1. Exista la aplicacion lineal denida por la matriz jacobiana; lo que implica que existan las derivadas
parciales de la funcion en el punto en cuestion.
2. Se cumpla la condicion de tangencia.
Dada una funcion f: A R
n
R y a A, ha quedado pues claro, que las derivadas parciales de f en a,
si existen, denen un (hiper)plano en R
n+1
cuya ecuacion general es
x
n+1
= f(a) +
n
i=1
f
x
i
(a)(x
i
a
i
) f(a) + J
a
f(x a) (3.4)
n
. 27
o, en forma vectorial,
0P = (a, f(a)) +
1
(1, 0, . . . ,
f
x
1
(a)) +. . . +
n
(0, . . . , 1,
f
x
n
(a)) (3.5)
Si la funcion es, ademas, diferenciable en a, dicho (hiper)plano es tangente a graf f en (a, f(a)).
No es difcil darse cuenta
6
de que el valor de cada derivada parcial
f
x
i
(a) es la pendiente de la recta
tangente en (a, f(a)) a la curva obtenida al intersectar graf f con el (hiper)plano
x
1
= a
1
, . . . , x
i1
= a
i1
, x
i+1
= a
i+1
, . . . , x
n
= a
n
cuya ecuacion es, por tanto,
x
n+1
= f(a) +
f
x
i
(a)(x
i
a
i
) ; x
1
= a
1
, . . . , x
i1
= a
i1
, x
i+1
= a
i+1
, . . . , x
n
= a
n
Teniendo todo esto en cuenta y recordando el signicado analtico-geometrico de la diferencial se establece
la siguiente denicion:
n
R y a A, tal que f es diferenciable en a.
1. Se denomina (hiper)plano tangente a la graf f en (a, f(a)) al (hiper)plano de R
n+1
denido por la
diferencial de f en a (que tiene por ecuacion las expresiones (3.4) y (3.5)).
2. Se denomina aproximacion lineal de la funcion f en a al valor obtenido al utilizar la ecuacion del
(hiper)plano como aproximacion de la funcion en un entorno E(a). (Es decir, al valor obtenido al
calcular con la aplicacion lineal D
a
f).
3.2.4 Caracterizacion de funciones diferenciables
Vamos a analizar seguidamente algunas condiciones para la diferenciabilidad. Para empezar estudiaremos la
relacion entre diferenciabilidad y continuidad. De manera equivalente al caso de una variable se tiene que:
Proposicion 24 Si f : A R
n
R
m
es diferenciable en a A, entonces es continua en a.
( Dem. ) Por denicion, f : A R
n
R
m
es diferenciable en a A si f (a + h) = f (a) + D
a
f (h) + R
1
(h),
con R
1
(h) = o(h) para h 0. Entonces, como lim
h0
D
a
f (h) = 0 , se tiene que lim
h0
f (a + h) = f (a) , luego
f es continua en a.
Comentario:
La sola existencia de las derivadas parciales en un punto, o direccionales en general, no garantiza
la continuidad de la funcion en dicho punto, como pone de maniesto el segundo de los ejemplos
considerados al nal del apartado anterior y tambien el siguiente:
Ejemplo:
Sea f: R
2
R denida por f(x, y) =
_
_
_
xy
2
x
2
+y
4
si x = 0
0 si x = 0
Sea v = (v
1
, v
2
), entonces
D
0
f (v) = lim
t0
f(tv
1
, tv
2
) f(0, 0)
t
= lim
t0
v
1
v
2
2
v
2
1
+t
2
v
4
2
=
_
_
_
v
2
2
v
1
si v
1
= 0
0 si v
1
= 0
6
Basta con hacer un analisis en el caso de una funcion de dos variables.
n
. 28
luego la funcion tiene derivadas direccionales en (0, 0), sin embargo el lmite de la funcion seg un la
curva x = y
2
es
lim
y0
f(y
2
, y) =
y
4
y
4
+y
4
=
1
2
= f(0, 0) = 0
y por tanto la funcion no es continua en (0, 0).
Sin embargo, existen resultados relativos exclusivamente a las derivadas parciales, o direccionales en
general, que dan condiciones sucientes para la diferenciabilidad. Los principales son los siguientes:
n
R
m
y a A. Si f tiene todas sus derivadas parciales denidas en un
entorno E(a) y son funciones acotadas en E(a), entonces f es continua en a.
( Dem. ) Por simplicidad se probara para funciones de dos variables f(x, y). Si
f
x
<

k y
f
y
<

k en
todos los puntos de U, entonces
|f(x +h, y +k) f(x, y)| |f(x +h, y +k) f(x +h, y)| +|f(x +h, y) f(x, y)|
k
f
y
(x+h,)
+
k
f
x
(,y)
(|k| +|h|)
k 0 (para h 0, k 0)
n
R
m
y a A. Si f tiene todas sus derivadas parciales denidas en un
entorno E(a) y son funciones continuas en a, entonces f es diferenciable en a.
( Dem. ) Basta con demostrarlo para funciones escalares.
Sean la bola de centro a y radio , B
(a), en la que como sabemos existen las derivadas parciales de f , y

h R
n
tal que a +h B
(a), se tiene
f(a +h) f(a) = [f(a +h
1
e
1
) f(a)]+
+ [f(a +h
1
e
1
+h
2
e
2
) f(a +h
1
e
1
)]+
+ [f(a +h
1
e
1
+h
2
e
2
+h
3
e
3
) f(a +h
1
e
1
+h
2
e
2
)]+
+
+ [f(a +h
1
e
1
+ ... +h
n
e
n
) f(a +h
1
e
1
+ ... +h
n1
e
n1
)] =
=
f
x
1
(c
1
)h
1
+ ... +
f
x
n
(c
n
)h
n
donde
c
1
= a +
1
e
1
con 0 <
1
< h
1
c
2
= a +
1
e
1
+
2
e
2
con 0 <
2
< h
2
...
c
n
= a +
1
e
1
+... +
n
e
n
con 0 <
n
< h
n
de modo que
f(a +h) f(a) =
n
i=1
f
x
i
(a) +
n
i=1
f
x
i
(c
i
)
f
x
i
(a)
h
i
y como las derivadas parciales son continuas en a, se tiene que
lim
h0
f(a +h) f(a)

n
i=1
f
x
i
(a)h
i
h
= lim
h0
i=1
f
x
i
(c
i
)
f
x
i
(a)
h
i
h
lim
h0
n
i=1
f
x
i
(c
i
)
f
x
i
(a)
= 0
luego f es diferenciable en a.
Comentario:
n
. 29
Se puede probar que la existencia y continuidad de las derivadas parciales en E(a) grantiza la existencia
y continuidad de todas las derivadas direccionales en los puntos de ese entorno.
Esto da origen a la siguiente denicion:
n
R
m
y U A. f es una funcion de clase C
1
o tambien diferenciable con
continuidad en U si f tiene todas sus derivadas parciales denidas y son funciones continuas en U
7
.
3.3 Propiedades de las funciones diferenciables
3.3.1 Propiedades elementales (linealidad y otras)
Las propiedades elementales de la diferenciabilidad son las siguientes:
Proposicion 27 Sean f , g: A R
n
R
m
funciones diferenciables en a A.
1. (Linealidad de la diferencial): , R, f +g es diferenciable en a y
D
a
(f +g) = D
a
f +D
a
g
2. Para m = 1 (funciones escalares): fg es diferenciable en a y
D
a
(fg) = D
a
f g(a) +f(a)D
a
g
3. Para m = 1 (funciones escalares): Si g(x) = 0, x A, entonces f/g esta bien denida en A, es
diferenciable en a y
D
a
(f/g) =
1
g(a)
2
(D
a
f g(a) f(a)D
a
g)
4. f , g es diferenciable en a y
D
a
f , g = D
a
m
j=1
(f
j
g
j
) =
m
j=1
(D
a
f
j
g
j
(a) +f
j
(a)D
a
g
j
)
( Dem. ) Todas son inmediatas. Basta tener en cuenta que trabajar con las diferenciales es equivalente a
hacerlo con sus matricas jacobianas asociadas.
3.3.2 Derivadas parciales de orden superior. Teorema de Schwarz
Sea f: A R
n
R
8
. Si sus derivadas parciales existen x B A, cabe preguntarse por su continuidad
y diferenciabilidad como funciones
f
x
i
: B R
n
R
Entonces:
n
R y a A. Se denomina derivada parcial de segundo orden de f en a
respecto a las variables x
i
y x
j
a la derivada parcial en a (respecto a x
j
) de la funcion derivada parcial
(respecto a x
i
):

2
f
x
j
x
i
(a)
f
x
i
x
j
(a)
7
Por tanto la funcion es diferenciable en U, de acuerdo con el teorema anterior.
8
f puede ser una funcion componente de un campo vectorial.
n
. 30
Si la anterior derivada parcial de segundo orden de f existe x D B, se denomina funcion derivada
parcial de segundo orden de f respecto a las variables x
i
y x
j
a la funcion
2
f
x
j
x
i
: D R
n
R
a

2
f
x
j
x
i
(a)
n
R y a A, tal que existen todas la derivadas parciales de segundo orden
de f en a. Se denomina matriz hessiana de f en a a la matriz que tiene por componentes los valores de
estas derivadas parciales:
H
a
f
_
_
_
_
2
f
x
2
1
(a) . . .

2
f
x
n
x
1
(a)
.
.
.
.
.
.
2
f
x
1
x
n
(a) . . .

2
f
x
2
n
(a)
_
_
_
_
H
a
f es una matriz cuadrada y su determinante se denomina hessiano.
La denicion de derivada parcial se puede iterar sucesivamente, obteniendose as todas las denominadas
derivadas parciales de orden superior de f,

k
f
x
i
1
. . . x
i
k
. En particular, se denominan derivadas cruzadas a
las derivadas parciales de orden superior obtenidas derivando respecto a las mismas variables pero en orden
diferente.
Entonces, atendiendo a la continuidad de estas funciones se dene:
n
R y U A. f es una funcion de clase C
k
en U si existen las derivadas
parciales de orden k de f y son funciones continuas en U
9
.
Se dira que f es una funcion de clase C
o suave en U si f es una funcion de clase C

k
en U, k N.
Comentario:
El orden en que se deriva para obtener las derivadas parciales de orden superior es relevante, ya que
no siempre se cumple que las derivadas cruzadas sean iguales.
Ejemplo: La funcion
f(x, y) =
xy
x
2
y
2
x
2
+y
2
si (x, y) = (0, 0)
0 si (x, y) = (0, 0)
tiene derivadas parciales en todo su dominio:
f
x
=
x
4
y+4x
2
y
3
y
5
(x
2
+y
2
)
2
si (x, y) = (0, 0)
lim
t0
f(t,0)f(0,0)
t
= 0 si (x, y) = (0, 0)
f
y
=
x
5
4x
3
y
2
xy
4
(x
2
+y
2
)
2
si (x, y) = (0, 0)
lim
t0
f(0,t)f(0,0)
t
= 0 si (x, y) = (0, 0)
mientras que las derivadas parciales cruzadas de segundo orden son
2
f
xy
=
x
6
y
6
+9x
4
y
2
7x
2
y
4
(x
2
+y
2
)
3
si (x, y) = (0, 0)
lim
t0
f
y
(t,0)
f
y
(0,0)
t
= 1 si (x, y) = (0, 0)
2
f
yx
=
x
6
y
6
+9x
4
y
2
7x
2
y
4
(x
2
+y
2
)
3
si (x, y) = (0, 0)
lim
t0
f
x
(0,t)
f
x
(0,0)
t
= 1 si (x, y) = (0, 0)
Es decir que

2
f
yx
(0, 0) =

2
f
xy
(0, 0)
9
Por tanto, las derivadas parciales de orden k 1 son diferenciables en U.
n
. 31
En relaci on con el problema de la igualdad de las derivadas cruzadas, vamos a estudiar a continuacion
bajo que condiciones se puede garantizar esta o, lo que es lo mismo, cuando la matriz hessiana es simetrica.
La respuesta a esta cuestion la da el siguiente teorema:
Teorema 6 (de Schwarz): Sea f: A R
n
R y a A. Si f tiene derivadas parciales cruzadas de segundo
orden en un entorno abierto E(a) y son funciones continuas en a, entonces las derivadas cruzadas de segundo
orden en a son iguales:
2
f
x
i
x
j
(a) =

2
f
x
j
x
i
(a) (i, j)
( Dem. ) Vease J.M. Ortega, Introduccio a lAnàlisi Matemàtica.
Un corolario inmediato de este teorema es:
Corolario 4 Sea f: A R
n
R y a A. Si f es una funcion de clase C
k
en un entorno abierto E(a),
entonces las derivadas cruzadas de cualquier orden m (con m = 2, . . . , k) en a, respecto a m variables
cualesquiera, son iguales:
m
f
x
i
1
. . . x
i
m
(a) =

m
f
x
(i
1
)
. . . x
(i
m
)
(a) (m = 2, . . . , k)
( Dem. ) Inmediata.
Comentario:
Todas las funciones elementales son de clase C
en sus dominios. Por consiguiente, cualquier combi-

nacion lineal o composicion (como veremos de inmediato) de ellas tambien lo es.
3.3.3 Regla de la cadena. Aplicaciones
Una de las propiedades mas relevantes de las funciones diferenciables es la generalizacion de la regla de la
cadena al caso de varias variables; esto es, la regla de diferenciacion de funciones compuestas.
Teorema 7 Sean f : A R
n
R
m
y g: B R
m
R
p
con f (A) B y tales que f es diferenciable en a A
y g es diferenciable en b = f (a) B. Entonces g f es diferenciable en a y
D
a
(g f ) = D
f (a)
g D
a
f (3.6)
( Dem.) Que f sea diferenciable en a signica que f (a + h) = f (a) + D
a
f h + R
1
(h) con R
1
(h) = o(h).
Que g lo sea en b = f(a) signica que g(b + k) = g(b) + D
b
gk + T
1
(k) con T
1
(k) = o(k). Tomando
k = f (a +h) f (a) = f (a +h) b se tiene
g(f (a +h)) = g(f (a)) + D
b
g(f (a +h) f (a)) +T
1
(k)
= (g f )(a)) + D
f (a)
g D
a
f h + D
f (a)
gR
1
(h) +T
1
(k)
(g f )(a)) + D
f (a)
g D
a
f h +R
1
(h)
pero Dg(f (a))R
1
(h) = o(h) trivialmente y, como h 0 k 0, se tiene que T
1
(k) = o(h), luego
R
1
(h) = o(h), lo cual completa la demostracion.
Comentarios:
Como corolario de este teorema se tiene que, si f y g son de clase C
k
en E(a)) y E(b) respectivamente,
con f (E(a)) E(b), entonces g f es de clase C
k
en E(a).
n
. 32
Dado que el segundo miembro de la expresion (3.6) es una composicion de aplicaciones, puede enten-
derse como un producto de matrices (jacobianas)
J
a
(g f ) = J
f (a)
gJ
a
f
As, si
f : A R
n
A R
m
x (x
1
, . . . , x
n
) (f
1
(x), . . . , f
m
(x))
;
g : A R
m
R
p
y (y
1
, . . . , y
m
) (g
1
(y), . . . , g
p
(y))
al hacer la composicion h := g f , se tiene
h g f : R
n
f
R
m
g
R
p
x (x
1
, . . . , x
n
) (y
1
f
1
(x), . . . , y
m
f
m
(x)) (g
1
(y), . . . , g
p
(y))
con lo cual
_
_
_
h
1
x
1
(a) . . .
h
1
x
n
(a)
.
.
.
.
.
.
h
p
x
1
(a) . . .
h
p
x
n
(a)
_
_
_ =
_
_
_
g
1
y
1
(f (a)) . . .
g
1
y
n
(f (a))
.
.
.
.
.
.
g
m
y
1
(f (a)) . . .
g
m
y
n
(f (a))
_
_
_
_
_
_
f
1
x
1
(a) . . .
f
1
x
n
(a)
.
.
.
.
.
.
f
n
x
1
(a) . . .
f
n
x
n
(a)
_
_
_
esto es,
h
k
x
i
(a) =
m
j=1
g
k
y
j
(f (a))
f
j
x
i
(a) (i = 1, . . . , n) (k = 1, . . . , p)
Una aplicacion particular de la regla de la cadena es el cambio de variables.
La composicion de dos funciones no diferenciables puede ser diferenciable. En tal caso su diferencial
ha de calcularse a partir de la expresion de la funcion compuesta, ya que no es aplicable la regla de la
cadena.
Ejemplo:
Sean las funciones
f(x) =
x si x 0
x
2
si x 0
g(x) =
x
2
si x 0
x si x 0
ninguna de ellas es diferenciable en el origen, pero su composicion (g f)(x) = x
2
s lo es.
La mera existencia de las derivadas parciales no garantiza la validez de este resultado, puesto que el
hecho de que dos funciones tengan derivadas parciales en un punto no asegura que su composicion
tambien las tenga (a menos que la funcion sea diferenciable).
Ejemplo:
Sean las funciones g(x, y) x
1/3
y
1/3
y f (x) (x, x) y su composicion (g f )(x) x
2/3
. Ambas,
f y g tienen derivadas parciales en el origen:
g
x
(0, 0) = 0 ,
g
y
(0, 0) = 0
f
1
x
(0) = 1 ,
f
2
x
(0) = 1
pero su composicion no es derivable en (0, 0).
n
. 33
3.3.4 Teorema de la funcion implcita
En geometra analtica es frecuente dar la ecuacion de una hipersupercie por medio de una ecuacion del tipo
F(x
1
, . . . , x
n
) = 0, denominada expresion implcita de la hipersupercie. Un problema que se plantea es si es
posible siempre describir la hipersupercie por medio de una expresion explcita del tipo x
n
= f(x
1
, . . . x
n1
).
La generalizacion de este problema es la siguiente: dadas m
expresiones del tipo F
i
(x
1
, . . . , x
n
, y
1
, . . . , y
m
) = 0, si es posible siempre aislar m variables en funcion de
las n restantes; esto es, obtener m expresiones explcitas
y
1
= f
1
(x
1
, . . . x
n
) , . . . , y
m
= f
m
(x
1
, . . . x
n
)
La respuesta es negativa en ambos casos, como se pone de maniesto con algunos ejemplos sencillos:
Ejemplos:
Un ejemplo tpico es la circunferencia en el plano. Su expresion implcita es
F(x, y) x
2
+y
2
1 = 0
y no se puede obtener una expresion explcita que describa la circunferencia globalmente. As, poniendo
y = f(x)
1 x
2
podemos describir arcos de circunferencia; esto es, se tiene una descripcion local de la curva en el
entorno de cada punto de la misma (excepto para los puntos (1, 0)).
Otro ejemplo lo constituye un sistema lineal de m ecuaciones con n +m variables
0 = Ax +By C F(x, y)
donde x (x
1
, . . . , x
n
) R
n
, y (y
1
, . . . , y
m
) R
m
, A M
(m,n)
(R) (es una matriz real de orden
(m, n)), B M
(m,m)
(R) y C es una matriz columna de m componentes. La cuestion es si se puede
despejar el vector y como funcion de x. Para ello la c.n.s. es que det B = 0, en cuyo caso
y = B
1
(C Ax) f (x)
(Observese que B =
F
y
).
El siguiente teorema da condiciones para poder asegurar la existencia (local) de este tipo de funciones
explcitas, analizando, ademas, su diferenciabilidad.
Teorema 8 Sean
F : W R
n+m
= R
n
R
m
R
m
(x, y) (x
1
, . . . x
n
; y
1
, . . . , y
m
) (F
1
(x, y), . . . , F
m
(x, y))
p (a, b) R
n+m
con a R
n
, b R
m
y U R
n
R
m
un abierto con p U, tal que:
1. F(p) = 0.
2. F es de clase C
1
(resp., de clase C
k
) en U.
3. det
F
i
y
j
(p)
= 0 , (1 i, j m).
Entonces existen sendos abiertos A R
n
y B R
m
con a A y b B, y una funcion unica
f : A R
n
B R
m
x (x
1
, . . . x
n
) (y
1
= f
1
(x), . . . , y
m
= f
m
(x))
tal que
n
. 34
1. F(x
1
, . . . , x
n
; f
1
(x), . . . , f
m
(x)) = 0, x A. En particular, F(a, f (a)) = 0, lo que signica que
b = f (a).
2. f es de clase C
1
(resp., de clase C
k
) en A.
La funcion f se denomina funcion implcitamente denida por F.
( Dem. ) Vease M. Spivak, Calculo en variedades.
Comentarios:
Observese que este es un teorema de existencia local pues, en general, no puede asegurarse que exista
globalmente la funcion implcita.
Este teorema da condiciones sucientes para que exista (localmente) la funcion implcita, asegura su
diferenciabilidad y permite calcular su diferencial sin necesidad de conocer explcitamente la expresion
de la funcion implcita. En efecto:
Corolario 5 Con las hipotesis del teorema, los elementos de la matriz jacobiana J
a
f se obtienen resolviendo
el sistema (lineal)
0 =
F
k
x
i
(p) +
m
j=1
F
k
y
j
(p)
f
j
x
i
(a) (k = 1, . . . , m ; i = 1, . . . , n) (3.7)
cuya solucion es
f
j
x
i
(a) =
|
(F
1
,...,F
m
)
(y
1
...y
j1
,x
i
,y
j+1
...y
m
)
(p) |
|
(F
1
,...,F
m
)
(y
1
...y
m
)
(p) |
F
1
y
1
(p) . . .
F
1
y
j1
(p)
F
1
x
i
(p)
F
1
y
j+1
(p) . . .
F
1
y
m
(p)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
F
m
y
1
(p) . . .
F
m
y
j1
(p)
F
m
x
i
(p)
F
m
y
j+1
(p) . . .
F
m
y
m
(p)
F
1
y
1
(p) . . .
F
1
y
m
(p)
.
.
.
.
.
.
F
m
y
1
(p) . . .
F
m
y
m
(p)
( Dem. ) Basta considerar la siguiente composicion de funciones

R
n
G
R
n
R
m
F
R
m
(x
1
, . . . , x
n
) (x
1
, . . . , x
n
, y
1
= f
1
(x), . . . , y
m
= f
m
(x)) (F
1
(x, f(x)) = 0, . . . , F
m
(x, f(x))) = 0
a p F(p)
Se observa que, de acuerdo con la primera conclusion del teorema de la funcion implcita, F G = 0
R
m.
Ademas, ambas funciones son diferenciables en a y p respectivamente (teniendo en cuenta las hipotesis del
teorema) luego se puede aplicar la regla de la cadena, con lo que se obtiene
D
a
(F G) = D
G(a)
F D
a
G = 0
y escribiendo las matrices jacobianas correspondientes se tiene
_
_
0 . . . 0
.
.
.
.
.
.
0 . . . 0
_
_
=
_
_
_
F
1
x
1
(p) . . .
F
1
x
n
(p)
F
1
y
1
(p) . . .
F
1
y
m
(p)
.
.
.
.
.
.
.
.
.
.
.
.
F
m
x
1
(p) . . .
F
m
x
n
(p)
F
m
y
1
(p) . . .
F
m
y
m
(p)
_
_
_
_
_
_
_
_
_
_
_
_
1 . . . 0
.
.
.
.
.
.
0 . . . 1
f
1
x
1
(a) . . .
f
1
x
n
(a)
.
.
.
.
.
.
f
m
x
1
(a) . . .
f
m
x
n
(a)
_
_
_
_
_
_
_
_
_
(3.8)
que da lugar al sistema (3.7), el cual es compatible y determinado en virtud de las hipotesis del teorema
(concretamente la tercera). A partir de aqu la solucion se obtiene de manera inmediata.
Comentarios:
n
. 35
Introduciendo las matrices
F
x
(p)
=
_
_
_
F
1
x
1
(p) . . .
F
1
x
n
(p)
.
.
.
.
.
.
F
m
x
1
(p) . . .
F
m
x
n
(p)
_
_
_ ;
F
y
(p)
=
_
_
_
F
1
y
1
(p) . . .
F
1
y
m
(p)
.
.
.
.
.
.
F
m
y
1
(p) . . .
F
m
y
m
(p)
_
_
_
la ecuacion (3.8) (y, por tanto, el sistema (3.7)) se puede expresar en la forma
(0) =
F
x
(p)
F
y
(p)
J
a
f
de donde la solucion es
J
a
f =
F
y
(p)
F
x
(p)
Como caso particular, si F(x, y) es una funcion que cumple las condiciones del teorema de la funcion
implcita, lo cual permite despejar y = f(x) en un entorno de un punto p = (a, b) de su dominio,
entonces el resultado anterior conduce a:
0 =
F
x
(p) +
F
y
(p)
f
x
(a)
f
x
(a) =
F
x
(p)
F
y
(p)
3.3.5 Teorema de la funcion inversa
Este resultado es la generalizacion del teorema del mismo nombre en el caso de una variable.
Teorema 9 Sea g: R
n
R
n
, a A y U A un abierto con a U, tal que:
1. g es de clase C
1
(resp., de clase C
k
) en U.
2. det J
a
g = 0 (es decir, D
a
g es un isomorsmo).
Entonces existe un entorno abierto V de g(a) tal que
1. g: U R
n
V R
n
tiene inversa g
1
: V R
n
U R
n
2. g
1
es de clase C
1
(resp., de clase C
k
) y
D
g(a)
g
1
= (D
a
g)
1
( Dem. ) Se puede obtener como consecuencia del teorema de la funcion implcita (Vease tambien M.
Spivak, Calculo en variedades). En efecto, considerese F: R
n+n
R
n
dada por
F(x
1
, . . . , x
n
; y
1
, . . . , y
n
) := (x
1
g
1
(y), . . . , x
n
g
n
(y))
y sea el punto p ((g(a), a) R
2n
. Entonces:
F(p) = 0, por construccion.
F es de clase C
1
, por serlo g.
det
F
y
(p)
= det
g
y
(a)
= 0 , por hipotesis.
Luego el teorema de la funcion implcita garantiza localmente la existencia de la funcion y = f (x) g
1
(x),
y es de clase C
k
en su dominio.
El calculo de D
g(a)
g
1
se hace obteniendo la diferencial en g(a) de esta funcion implcita, siguiendo las
pautas del Corolario 3.7.
Comentarios:
n
. 36
Observese que este es un teorema de existencia local pues, en general, no puede asegurarse que la
funcion inversa exista globalmente (p. ej., la funcion y = sin x solo tiene inversas locales).
El teorema da condiciones para que exista (localmente) la inversa de una funcion, asegura su diferen-
ciabilidad y permite calcular su diferencial sin necesidad de conocer explcitamente la expresion de la
funcion inversa.
La segunda de las hipotesis del teorema es condicion necesaria para la existencia de inversa diferenciable
ya que, si g ha de tener inversa diferenciable, la aplicacion lineal D
g(a)
g
1
, ha de ser necesariamente la
aplicacion lineal (D
a
g)
1
, luego D
a
g ha de ser necesariamente un isomorsmo y, por tanto, su matriz
asociada regular.
Sin embargo, la primera hipotesis no es necesaria para la existencia de inversa (hay funciones que sin
ser de clase C
1
tienen inversa de clase C
1
).
Denicion 30 La funcion g: A R
n
R
n
es un difeomorsmo en U A si
1. g es diferenciable en U.
2. g
1
en U.
3. g
1
es diferenciable en g(U).
As pues, el teorema de la funcion inversa arma que si g es de clase C
k
, k 0, con jacobiano no nulo
entonces g es un difeomorsmo local.
Ejemplos:
Los cambios de coordenadas son difeomorsmos (locales). En particular:
Coordenadas polares. La aplicacion:
g: (0, +) (0, 2) R
2
{(x, 0), x 0}
(r, ) (r cos , r sin ) = (x, y)
donde
J
(r,)
g =
(x, y)
(r, )
=
cos r sin
sin r cos
con jacobiano det J

(r,)
g = r.
Coordenadas cilndricas. La aplicacion:
g: (0, +) (0, 2) R R
3
{(x, 0, z), x 0}
(r, , z) (r cos , r sin , z) = (x, y, z)
donde
J
(r,,z)
g =
(x, y, z)
(r, , z)
=
_
_
cos r sin 0
sin r cos 0
0 0 1
_
_
con jacobiano det J
(r,,z)
g = r.
Coordenadas esfericas. La aplicacion:
g: (0, +) (0, ) (0, 2) R
3
{(x, 0, z), x 0}
(r, , ) (r sin cos , r sin sin , r cos ) = (x, y, z)
donde
J
(r,,)
g =
(x, y, z)
(r, , )
=
_
_
sin cos r cos cos r sin sin
sin sin r cos sin r sin cos
cos r sin 0
_
_
con jacobiano det J
(r,,)
g = r
2
sin .
n
. 37
3.4 Operadores diferenciales
3.4.1 Gradiente de un campo escalar. Campos conservativos
Para poder abordar otras aplicaciones geometricas del calculo diferencial es preciso introducir ciertos con-
ceptos nuevos
10
. Todos ellos se referiran a funciones diferenciables
11
. El primero de ellos es el siguiente:
n
R una funcion diferenciable. Se denomina gradiente de f en a A al
vector de R
n
cuyas componentes son los valores de las derivadas parciales de f en a
12
:
grad f(a)
f
x
1
(a), . . . ,
f
x
n
(a)
Se denomina gradiente de f a la funcion que asigna a cada punto el gradiente de la funcion en dicho
punto:
grad f : A R
n
R
n
a gradf(a)
Notacion:
Es habitual utilizar la notacion operacional, introduciendo el llamado operador nabla
:=

x
1
, . . . ,

x
n
que es un operador vectorial que act ua sobre funciones reales. Entonces gradf f
13
.
Comentario:
El gradiente solo esta denido para funciones escalares, pero la funcion gradiente es una funcion
vectorial cuyas funciones componentes son, obviamente, las derivadas parciales de la funcion original,
grad f =
f
x
1
, . . . ,
f
x
n
.
En relacion con este concepto, de entrada, cabe plantearse dos cuestiones:
1. Si el gradiente de cualquier funcion escalar es una funcion vectorial de R
n
en R
n
, toda funcion vectorial
de esta guisa es el gradiente de alguna funcion escalar.
2. Cual es el signicado geometrico del gradiente?
La respuesta a la primera pregunta es negativa (aunque la justicacion de ello queda aplazada hasta el
ultimo captulo, sobre el teorema de Stokes). Esto da origen al siguiente concepto:
n
R
n
.
1. f es un campo conservativo si grad = f , para alguna funcion escalar diferenciable : A R
n
R.
10
Las deniciones se daran referidas a sistemas de coordenadas cartesianas en R
n
. Al nal del ultimo captulo se dran
deniciones independientes de las coordenadas para algunos de ellos.
11
Aunque para denirlos bastara, en principio, con la existencia de las derivadas parciales, su utilidad se pone de maniesto
cuando las funciones son, ademas, diferenciables.
12
Aunque, a efectos de calculo, sean equivalentes, no debe confundirse el gradiente de una funcion (escalar) en un punto con
la diferencial (esto es, la matriz jacobiana) de la funcion en dicho punto: lo primero es un vector de R
n
, lo segundo representa
una aplicacion lineal.
13
Esta es una notacion muy usada, sobre todo en Fsica.
n
. 38
2. Se denomina funcion potencial escalar de un campo vectorial conservativo f a cualquier funcion escalar
diferenciable : A R
n
R de la cual sea gradiente; esto es, tal que f = .
Comentarios:
Es evidente que toda funcion escalar es una funcion potencial escalar de alg un campo vectorial: su
gradiente. Sin embargo no toda funcion vectorial tiene asociada una funcion potencial escalar: solo los
campos conservativos.
Es evidente, por la propia denicion, que dos funciones escalares que dieran en una constante son
funciones potenciales del mismo campo conservativo (o lo que es lo mismo, un campo conservativo
tiene innitas funciones potenciales). Recprocamente, dos funciones potenciales del mismo campo
conservativo dieren necesariamente en una constante.
El que un campo vectorial sea gradiente de otro (esto es, conservativo) tiene interesantes interpreta-
ciones de caracter fsico-geometrico, cuyo analisis queda aplazado hasta el captulo sobre las integrales
de linea en que volveremos a abordar este tema
Ejemplos: Campos newtonianos.
Potencial electrostatico (creado por una carga q):
f :=
1
4
0
q
r
(r = r).
Campo electrostatico : E = f =
1
4
0
q
r
2
r
r
.
Potencial gravitatorio (creado por una masa M):
f :=
GM
r
.
Campo gravitatorio: G = f =
GM
r
2
r
r
.
Para poder contestar a la segunda de las cuestiones planteadas anteriormente es necesario recurrir al
concepto de derivada direccional introducido en el captulo anterior. Entonces, a partir del corolario 3 se
tiene que la relacion entre la derivada direccional y el gradiente de una funcion es la siguiente:
n
R una funcion diferenciable en a A y v R
n
un vector unitario.
Entonces:
D
a
f(v) = f(a), v
( Dem. ) Si v = (v
1
, . . . , v
n
) entonces, del corolario 3 se obtiene
D
a
f(v) = J
a
f(v) =
f
x
1
(a) . . .
f
x
n
(a)
_
_
v
1
.
.
.
v
n
_
_
=
n
i=1
f
x
i
(a)v
i
= f(a), v
A partir de este resultado estamos ya en condiciones de obtener la interpretacion geometrica del gradiente.
n
R una funcion diferenciable en a A y tal que gradf(a) = 0. Entonces:
1. gradf(a) indica la direccion en la cual la derivada direccional de f en a es maxima; esto es, la de
maxima variacion de la funcion, creciendo en el sentido de gradf(a) y decreciendo en sentido opuesto.
El valor de dicha derivada es gradf(a) (si se toman vectores unitarios
14
).
14
Por convenio, esta es la eleccion que se hace en muchos los casos.
n
. 39
2. La derivada direccional de f en a es nula si, y solo si, dicha direccion es perpendicular a gradf(a)
( Dem. ) Teniendo en cuenta que
D
a
fv) = f(a), v = f(a)v cos(f(a), v)
ambos resultados se obtienen de forma inmediata.
El gradiente de una funcion en un punto tiene otras caractersticas geometricas relevantes. As, como
corolario de la proposicion precedente se tiene:
Corolario 6 Sea f: A R
n
R una funcion diferenciable en a A y tal que gradf(a) = 0. Entonces
gradf(a) es perpendicular a la supercie de nivel de la funcion que pasa por a.
( Dem. ) Es un resultado inmediato que se obtiene a partir del segundo apartado de la proposicion anterior,
ya que sobre los puntos de una supercie de nivel la funcion es constante, por denicion, luego a lo largo de
cualquier vector tangente a la supercie en a, la derivada direccional de f en a es nula y, por tanto, dicho
vector es necesariamente perpendicular a gradf(a).
3.4.2 Rotacional de un campo vectorial. Campos irrotacionales
Al igual que a todo campo escalar se le puede asociar una funcion vectorial derivada del primero (el
gradiente) que tiene un signicado geometrico claro y da origen al concepto de campo conservativo; a un
campo vectorial se le puede asociar una nueva funcion vectorial y otra escalar que, de alguna manera, tambien
puede decirse que derivan de aquel y tienen, a su vez, interesantes propiedades.
Vamos a considerar, en este apartado, el primero de ellos. Aunque todas las deniciones pueden ex-
tenderse a R
n
(n 3), solo vamos a referirlas a n = 2, 3, que es el marco que va a interesarnos en este
curso.
3
R
3
, con f = (f
1
, f
2
, f
3
), una funcion diferenciable. Se denomina rotacional
de f en a A al vector de R
3
cuyas componentes son
rot f (a) :=
f
3
y
(a)
f
2
z
(a),
f
1
z
(a)
f
3
x
(a),
f
2
x
(a)
f
1
y
(a)
Se denomina rotacional de f al campo vectorial rot f : A R

3
R
3
que tiene por funciones componentes
rot f :=
f
3
y

f
2
z
,
f
1
z

f
3
x
,
f
2
x

f
1
y
Esta denicion se puede extender a campos vectoriales en R

2
del siguiente modo:
2
R
2
, con f = (f
1
, f
2
), una funcion diferenciable. Se denomina rotacional
escalar de f en a A al valor
rot f (a) :=
f
2
x
(a)
f
1
y
(a)
Se denomina rotacional escalar de f al campo escalar
rot f :=
f
2
x

f
1
y
Notacion:
n
. 40
Utilizando la notacion operacional del operador nabla, que en R
3
es
:=

x
,

y
,

z
es habitual escribir rot f := f .

Esta denicion da origen al siguiente concepto:
n
R
n
(n = 2, 3), con f = (f
1
, f
2
, f
3
), una funcion diferenciable. f es un
campo irrotacional si rot f = 0.
Expresion explcita:
Si f : A R
3
R
3
, con f = (f
1
, f
2
, f
3
), entonces, recordando la expresion explcita de rot f , que
rot f = 0 signica que
f
i
x
j
=
f
j
x
i
(i, j = 1, 2, 3)
En el caso particular de R
2
, la condicion de irrotacionalidad es simplemente
f
1
y
=
f
2
x
(3.9)
Comentario:
Como el gradiente, el rotacional tiene tambien una interpretacion fsico-geometrica, que esta dada a
traves del concepto de campo irrotacional: si f representa el campo de velocidades de un uido (o
cualquier otro campo fsico) entonces, que el campo sea irrotacional signica que no tiene remolinos
15
. Observese que esto no implica que las lneas de corriente no puedan ser cerradas.
Existen propiedades que relacionan los diversos operadores diferenciales. La primera de ellas se reere al
gradiente y el rotacional y permite una primera comparacion entre los campos conservativos e irrotacionales.
Proposicion 30 Sea : A R
3
R de clase C
2
, entonces
rot(grad) = 0
Como consecuencia, si f : A R
3
R
3
es de clase C
1
y es un campo conservativo entonces es irrotacional.
(Dem.) Dada , si f = , entonces rot f = rot tiene por componentes
f
i
x
j
f
j
x
i
=

2
x
j
x
i
x
i
x
j
y si es de clase C
2
todas ellas son nulas.
La segunda armacion es una consecuencia de la primera.
El recproco de esta propiedad no es cierto, a menos que se impongan condiciones adicionales, como se
vera en el ultimo captulo, cuando se estudien las aplicaciones del teorema de Stokes.
Ejemplo: La funcion f (x, y) :=
y
x
2
+y
2
,
x
x
2
+y
2
es irrotacional, pero no tiene potencial escalar

(en todo su dominio), ya que, aunque la funcion (x, y) = arctan
x
y
cumple que grad = f , no esta

denida en los puntos del dominio de f tales que y = 0.
15
Al colocar en su seno una rueda con aspas, esta se mueve a lo largo de las lneas de corriente, pero sin girar.
n
. 41
3.4.3 Divergencia de un campo vectorial. Campos solenoidales
En el apartado anterior se ha comentado que hay dos maneras de obtener funciones derivadas de un campo
vectorial diferenciable dado: una nueva funcion vectorial y otra funcion escalar. En el presente apartado
vamos a analizar la manera de obtener esta ultima.
n
R
n
, con f = (f
1
, . . . , f
n
), una funcion diferenciable. Se denomina diver-
gencia de f en a A al valor
div f (a) :=
f
1
x
1
(a) +. . . +
f
n
x
n
(a)
Se denomina divergencia de f al campo escalar div f : A R
n
R denido por
div f :=
f
1
x
1
+. . . +
f
n
x
n
Notacion:
Utilizando la notacion del operador nabla, se tiene que div f := f .
Comentario:
Como el gradiente y el rotacional, la divergencia tiene tambien una interpretacion fsico-geometrica:
si f representa el campo de velocidades de un uido (o cualquier otro campo fsico), entonces div f
representa la variacion de la masa de uido (o la magnitud fsica del que se trate) por unidad de
volumen y de tiempo. Entonces, que el campo tenga divergencia nula signica que no hay fuentes ni
sumideros o, en el caso de uidos, tambien esta relacionado con la incompresibilidad del uido
16
.
Esta interpretacion queda puesta mas de maniesto a partir del teorema de la divergencia que sera
estudiado en el ultimo captulo.
La propiedad que se va a considerar a continuacion tiene relacion con la siguiente cuestion: cuando se
analizo el gradiente de una funcion, se introdujo el concepto de campo vectorial conservativo como aquel
que era gradiente de un campo escalar y, en tal caso, dicha funcion escalar (no unica) reciba el nombre de
funcion potencial escalar. Analogamente, ahora podemos cuestionarnos sobre los campos vectoriales que son
el rotacional de alg un otro. Entonces:
3
R
3
.
1. f es un campo solenoidal si rot g = f , para alguna funcion vectorial diferenciable g: A R
3
R
3
.
2. Se denomina funcion potencial vectorial de un campo vectorial solenoidal f a cualquier funcion vectorial
diferenciable g: A R
3
R
3
de la cual sea rotacional; esto es, tal que f = g.
Comentarios:
Es evidente que toda funcion vectorial es una funcion potencial de alg un campo vectorial: su rotacional.
Sin embargo no toda funcion vectorial tiene asociada una funcion potencial vectorial: solo los campos
solenoidales.
16
En algunos textos a los campos vectoriales con divergencia nula (o sin divergencia) se les suele denominar campos
solenoidales. No obstante, en este curso se reservara esa terminologa para referirnos a campos que, ademas verican una
condicion suplementaria que vamos a tratar de inmediato.
n
. 42
Teniendo en cuenta la proposicion 30, en la cual se enuncia que el rotacional de un gradiente es nulo
(esto es, que todo campo campo conservativo de clase C
1
es irrotacional), es evidente que dos funciones
vectoriales que dieran en un gradiente (esto es, en un campo conservativo) son funciones potenciales
vectoriales del mismo campo solenoidal (o lo que es lo mismo, un campo solenoidal tiene innitas
funciones potenciales vectoriales).
Recprocamente, dos funciones potenciales vectoriales del mismo campo solenoidal dieren necesaria-
mente en un gradiente; es decir, en un campo conservativo
17
.
Los campos solenoidales pueden ser caracterizados por medio de su divergencia, tal como enuncia el
siguiente resultado, que establece una relacion entre los operadores rotacional y divergencia:
Proposicion 31 Sea g: A R
3
R
3
una funcion de clase C
2
. entonces
div(rot g) = 0
Como consecuencia, si f : A R
3
R
3
es de clase C
1
y es un campo solenoidal, entonces su divergencia
es nula.
(Dem.) Si f = rot g entonces
div f = div(rot g) = ( g) = 0 (3.10)
lo cual es inmediato a partir de la expresion explcita de los operadores y los campos, y del teorema de
Schwarz.
El recproco de esta propiedad no es cierto, a menos que se impongan condiciones adicionales, como se
vera en el ultimo captulo, cuando se estudien las aplicaciones del teorema de Gauss-Ostrogadskii.
Ejemplo: La funcion f (x, y, z) :=
r
r
3
tiene divergencia nula, pero no tiene potencial vectorial (en todo
su dominio).
3.4.4 Laplaciana de funciones escalares y vectoriales. Funciones armonicas
Aparte de los operadores diferenciales introducidos (gradiente, rotacional y divergencia), otro operador muy
usual en las aplicaciones fsicas es el siguiente:
Denicion 38 1. Sea : A R
n
R una funcion dos veces diferenciable. Se denomina laplaciana del
campo escalar a la funcion escalar := div (grad), esto es,
:=
2
:= : A R
n
R
cuya expresion explcita es, consecuentemente,
=

2
x
2
1
+. . . +

2
x
2
n
2. Sea f : A R
n
R
n
, con f = (f
1
, . . . , f
n
), una funcion dos veces diferenciable. Se denomina laplaciana
del campo vectoriar f a la funcion vectorial f : A R
n
R
n
cuyas funciones componentes son las
laplacianas de sus funciones componentes:
f := (
2
f
1
, . . . ,
2
f
n
) :=
2
f
A partir de aqu, se dene:
Denicion 39 1. Sea : A R
3
R una funcion de clase C
2
. es una funcion armonica si = 0.
2. Sea f : A R
n
R
n
2
. f es una funcion armonica si f = 0; esto es, si lo son
sus funciones componentes.
17
Esto es analogo a lo que ya suceda con los campos conservativos y sus funciones potenciales escalares.
n
. 43
3.4.5 Expresion de los operadores diferenciales en otras coordenadas
Se deja como ejercicio comprobar, utilizando la regla de la cadena, que las expresiones de los operadores
diferenciales en coordenadas polares en R
2
y cilndricas o esfericas en R
3
son las siguientes:
Coordenadas polares en R
2
:
gradf =
f
r
,
1
r
f
rot f =
1
r
(rf
2
)
r

f
1
div f =
1
r
(rf
1
)
r
+
f
2
f =
1
r
r
f
r
+
1
r
2
2
f
2
Coordenadas cilndricas en R
3
:
gradf =
f
r
,
1
r
f
,
f
z
rot f =
1
r
(f
3
)

(rf
2
)
z
,
f
1
z

f
3
r
,
(rf
2
)
r

f
1
div f =
1
r
(rf
1
)
r
+
f
2
+
(rf
1
)
z
f =
1
r
r
f
r
+
1
r
2
2
f
2
+

2
f
z
2
Coordenadas esfericas en R
3
:
gradf =
f
r
,
1
r
f
,
1
r sin
f
rot f =
1
r
2
sin
(r sin f
3
)

(rf
2
)
,
f
1

(r sin f
3
)
r
,
(rf
2
)
r

f
1
div f =
1
r
2
sin
(r
2
sin f
1
)
r
+
r sin f
2
+
(rf
1
)
f =
1
r
2
r
2
f
r
+
1
r
2
sin
2
(sin f)
2
+
1
r
2
sin
2
f
2
3.4.6 Otras propiedades de los operadores diferenciales
Finalmente, a continuacion se recopilan algunas otras propiedades de los operadores diferenciales:
Proposicion 32 (Con las adecuadas hipotesis sobre la diferenciabilidad con continuidad de las funciones
que intervienen):
1. (Linealidad del gradiente):
( ) =
2. (Gradiente del producto):
() = +
3. (Linealidad del rotacional):
(f g) f g
n
. 44
4. (Rotacional del producto):
(f ) = f + f
5. (Rotacional del rotacional):
( f ) = ( f ) f
6. (Rotacional del gradiente):
() = 0
7. (Linealidad de la divergencia):
(f g) = f g
8. (Divergencia del producto):
(f ) = f + f
9. (Divergencia del producto vectorial):
(f g) = g ( f ) f ( g)
10. (Divergencia del rotacional):
( f ) = 0
(Dem.) Utilizar las propiedades de las funciones diferenciables y las expresiones explcitas de los operadores.
3.4.7 Determinacion de funciones potenciales escalares y vectoriales
Dado un campo conservativo f (f
1
, . . . , f
n
), el calculo de una funcion potencial escalar puede efectuarse
de la siguiente manera: por denicion la funcion potencial escalar ha de vericar que
x
i
= f
i
luego la determinacion de se realiza a partir de n integrales (indenidas) del tipo
=
f
i
dx
i
El resultado nal esta determinado salvo por una constante (he aqu la arbitrariedad en la eleccion de la
funcion potencial escalar a la que se acaba de hacer alusion). Sin embargo, lo habitual es jar el valor de
la funcion potencial en un punto determinado (denominado origen de potencial), con lo cual aquella queda
determinada unvocamente.
La manera de obtener un potencial vectorial para un campo solenoidal consiste en utilizar su denicion,
lo que lleva a resolver un sistema de ecuaciones en derivadas parciales. A continuacion se describe un metodo
para obtenerlo: Sea f : A R
3
R
3
, con f = (f
1
, f
2
, f
3
), un campo solenoidal con dominio A abierto. Se
trata de obtener un potencial vectorial g = (g
1
, g
2
, g
3
) de f ; por lo que el sistema a resolver es
g
3
y

g
2
z
= f
1
;
g
1
z

g
3
x
= f
2
;
g
2
x

g
1
y
= f
3
1. Dado que se busca una solucion particular, se puede tomar, p. ej., g
1
(x, y, z) = 0.
2. Integrando la tercera ecuacion se obtiene
g
2
(x, y, z) =
f
3
(x, y, z)dx +
2
(y, z)
y en esta solucion se puede volver a elegir la funcion arbitraria
2
(y, z) = 0.
n
. 45
3. Integrando la segunda ecuacion se obtiene
g
3
(x, y, z) =
f
2
(x, y, z)dx +
3
(y, z)
4. Con los resultados precedentes la primera ecuacion queda en la forma
3
y

g
2
z
= f
1
que integrada determina la funcion
3
(y, z), salvo una funcion arbitraria (z), que puede tomarse
tambien nula.
5. Cualquier otro potencial vectorial se obtiene a partir de este sumandole un gradiente.
Chapter 4
Curvas y supercies
4.1 Introduccion
Siguiendo con el estudio de las aplicaciones del calculo diferencial con funciones de varias variables, se
dedicara este captulo a introducir los conceptos geometricos relacionados con la descripcion de curvas y
supercies en R
n
.
4.2 Curvas
4.2.1 Curvas en R
n
Comenzaremos esta seccion introduciendo los primeros objetos geometricos con los que vamos a trabajar
que son las curvas en R
n
. Hay tres aproximaciones diferentes a este concepto:
Denicion 40 1. Se denomina curva en R
n
a la graca de toda funcion vectorial f : I R R
n1
; esto
es
C := graf f := {(x, y
1
, . . . , y
n1
) R
n
| x I, y
i
= f
i
(x), (i = 1, ..., n 1)} (4.1)
(Se dice, en este caso, que la curva esta dada en forma explcita).
2. Se denomina curva en R
n
a la interseccion de los conjuntos de nivel (hipersupercies) de n1 funciones
escalares; es decir, si F: A R
n
R
n1
con F = (F
1
, . . . F
n1
,
C := {(x
1
, . . . , x
n
) R
n
| F
i
(x
1
, . . . , x
n
) = k
i
(k
i
= ctn.)} (4.2)
(Se dice, en este caso, que la curva esta dada en forma implcita).
3. Se denomina curva (parametrizada) en R
n
a toda funcion vectorial
c: I R R
n
t (x
1
(t), . . . , x
n
(t))
(4.3)
(Se dice, en este caso, que la curva esta dada en forma parametrica).
En este caso, es habitual denominar curva a la imagen de esta aplicacion, esto es, a su representacion
graca, C := Imc, y parametrizacion a la propia funcion c.
Comentarios:
En (1) y (3), se denomina arco de curva a la restriccion de f y c a un intervalo (propio) contenido en
I.
46
n
. 47
Para una curva dada existen innitas parametrizaciones. No obstante, la mayora los resultados sobre
curvas que se van a dar son independientes de la parametrizacion que se elija.
Ejemplo: Considerense las dos siguientes parametrizaciones de la recta bisectriz del primer y tercer
cuadrante en R
2
:
c: I R R
2
; c: I R R
2
t (t, t) t (t
3
, t
3
)
(4.4)
En algunos casos no es posible dar una parametrizacion de toda la curva a la vez y hay que hacerlo
por trozos.
Como caso particular de la denicion precedente, estan las curvas en R
2
:
1. (Forma explcita): Se denomina curva en R
2
a la graca de toda funcion escalar f: A R R;
esto es
C := graf f := {(x, y) R
2
| x A, y = f(x)}
2. (Forma implcita): Se denomina curva en R
2
a un conjunto de nivel de toda funcion escalar
F: B R
2
R; esto es
C := {(x, y) R
2
| F(x, y) = k (k = ctn.)}
3. Forma parametrica): Se denomina curva en R
n
a la imagen de una funcion
c: I R R
2
t (x
1
(t), x
2
(t))
esto es, C := Imc.
El paso de una forma a otra no siempre es factible. As, p. ej., con curvas en R
2
siempre puede pasarse
de una expresion en forma explcita a otra en forma implcita (p. ej., poniendo F(x, y) yf(x) = 0),
o en forma parametrica (p. ej., haciendo x = t, y = f(t), o por medio de otras expresiones mas
complicadas), pero no al reves
1
.
Ejemplos:
Recta en R
3
, que pasa por el punto (2, 1, 3) y tiene como vector director (1, 3, 1):
1. {(x, y, z) R
3
| y = 3x 5, z = x + 5, x R}.
2.
(x, y, z) R
3
|
x 2
1
=
y 1
3
=
z 3
1
.
3. c(t) = (2, 1, 3) +t(1, 3, 1) = (2 +t, 1 + 3t, 3 t), t R
Elipse (interseccion del cilindro x
2
+y
2
= 1 con el plano z = x +y):
1. {(x, y, z) R
3
| y =
1 x
2
, z = x
1 x
2
, x (1, 1)}.
2. {(x, y, z) R
3
| x
2
+y
2
= 1, z = x +y}.
3. c(t) = (cos t, sin t, cos t + sin t), t [0, 2)
Atendiendo a las caractersticas geometricas de las curvas se puede establecer la siguiente terminologa:
Denicion 41 1. Una curva es plana si su representacion graca esta en R
2
. En caso de no ser as, la
curva se denomina alabeada.
2. Una curva es simple si su representacion graca no tiene autointersecciones.
Si c: I R R
n
es una parametrizacion, esto equivale a que c sea inyectiva.
1
Traducido en terminos geometricos, signicara que toda curva (de nivel o parametrizada) fuera la graca de una funcion
de una variable, lo cual se sabe que no es cierto.
n
. 48
3. Una curva es conexa si su representacion graca tiene una sola rama.
Si c: I R R
n
es una parametrizacion, esto equivale a que c sea continua.
4. Una curva c: I R R
n
es cerrada
2
si
(a) es conexa.
(b) I = [a, b] (es un intervalo cerrado), y
(c) c(a) = c(b).
5. Una curva c: I R R
n
es de Jordan si es cerrada y simple en (a, b).
Atendiendo a las caractersticas analticas de las curvas se dene:
Denicion 42 Una curva parametrizada c: I R R
n
es diferenciable (respecto a esa parametrizacion)
en un punto o en un intervalo, si lo es la funcion c. La curva es diferenciable a trozos si I descompone en
un n umero nito de subintervalos en cada uno de los cuales la curva es diferenciable.
Una curva dada en forma explcita o implcita es diferenciable en un punto o en un intervalo, si es
diferenciable la funcion que la dene.
4.2.2 Curvas regulares
Comenzaremos deniendo este concepto para curvas parametrizadas.
Denicion 43 Sea una curva parametrizada c: I R R
n
.
1. Un punto c(t
0
) C = Imc, t
0
I, es un punto regular de la parametrizacion considerada si:
(a) La funcion c es de clase C
1
en un entorno de t
0
.
(b) c
(t
0
)
_
_
_
dx
1
dt
(t
0
)
.
.
.
dx
n
dt
(t
0
)
_
_
_ = 0.
(c
(t
0
) se denomina vector tangente a la curva en el punto c(t
0
), asociado a la parametrizacion
dada).
En caso contrario, se dice que es un punto singular.
2. Una curva es regular para una parametrizacion dada, si todos sus puntos son regulares para esa
parametrizacion.
3. Una curva es regular a trozos para una parametrizacion dada, si I descompone en un n umero nito
de subintervalos en cada uno de los cuales la parametrizacion es regular.
Comentarios:
Observese que la recta que pasa por el punto c(t
0
) y tiene por vector director c
(t
0
) es efectivamente
tangente a la curva en ese punto y, por tanto, tambien dicho vector lo es; ya que, por ser la curva
diferenciable en el, se verica la condicion de tangencia que es justamente
lim
0
c(t
0
+ ) c(t
0
) c
(t
0
)
= 0
2
Observese que toda curva cerrada, considerada como conjunto de puntos en R
n
, es un cerrado, pero no toda curva que sea
un conjunto cerrado ha de ser cerrada.
n
. 49
Una curva parametrizada de diversas formas equivalentes puede ser regular (resp. diferenciable) en un
punto para una parametrizacion y no serlo para otra.
Ejemplo: Para las parametrizaciones dadas en (4.4), ambas de clase C
, en t
0
= 0 se tiene respecti-
vamente c
(0) = (1, 1) y c
(0) = (0, 0).

No obstante, el concepto de regularidad (resp. diferenciabilidad) es intrnseco y esta relacionado con
el hecho de que la curva tenga vector tangente en un punto dado; esto es, que localmente la curva
sea semejante a un segmento de recta en un entorno de dicho punto. Como consecuencia, los puntos
angulosos no son regulares.
Para curvas dadas en forma explcita e implcita, la noci de regularidad se obtiene a partir de la denicion
dada:
Proposicion 33 Sea C R
n
una curva.
1. Si C esta dada en forma explcita mediante (4.1), p (x
0
, f
1
(x
0
), . . . , f
n1
(x
0
))) C y f es de clase
C
1
en un entorno E(x
0
), entonces p es un punto regular de C y un vector tangente a C en p es
1,
df
1
dx
(x
0
), . . . ,
df
n1
dx
(x
0
)
.
2. Sea C dada en forma implcita mediante (4.2) y p (x
0
, . . . , x
n
) C. Si F es de clase C
1
en un
entorno E(p) y J
p
F tiene rango maximo k1, entonces p es un punto regular de C y un vector normal
a C en p se obtiene a partir del teorema de la funcion implcita.
( Dem. )
1. Basta considerar la aplicacion
c : I R R
n
x (x, f
1
(x), . . . , f
n1
(x))
con x
0
I tal que c(x
0
) = p, que es una parametrizacion de C de clase C
1
. Entonces c
(x
0
) =
(1, f
1
(x
0
), . . . , f
n1
(x
0
)) = 0 es un vector tangente a C en p y la graca de f es una curva regular en
p, de acuerdo con la denicion precedente.
2. Si el rango de F es maximo, o sea n1, quiere decir que n1 de las variables se pueden expresar como
funcion de la n-esima y, por tanto, los puntos de C se pueden expresar como (x, f
1
(x), . . . , f
n1
(x)) y,
seg un el apartado anterior, tendramos una curva regular.
Un vector tangente se obtiene a partir del teorema de la funcion implcita
3
(corolario 5).
Comentario:
Como caso particular, si una curva en R
2
esta dada en forma implcita o explcita, un vector tangente
a la curva en un punto p se obtiene del siguiente modo:
Forma implcita: Dada F(x, y) = 0, con F funcion diferenciable en p tal que F(p) = 0.
En cada punto, F(p) es perpendicular a la curva, de acuerdo con el corolario 6 y, por tanto,
cualquier vector perpendicular a este es un vector tangente.
Consecuentemente, una curva dada en forma implcita en R
2
es regular en un punto si la funcion
que la dene es de clase C
1
en un entorno de dicho punto y su diferencial en el punto es no nula,
con lo cual su gradiente en dicho punto tambien lo es.
3
Para el caso de curvas en R
3
, tambien haciendo el producto vectorial F
1
(p) F
2
(p) se tiene un vector tangente.
n
. 50
Forma explcita: Dada y = f(x), a Domf, con f funcion diferenciable en a. Un vector
tangente en (a, f(a)) se puede obtener directamente a partir de la ecuacion de la recta tangente a
graf f en (a, f(a)). Tambien se puede tomar F(x, y) y f(x), con lo que la curva en cuestion
es la curva de nivel cero de F, y aplicar el resultado anterior. En ambos casos el vector tangente
es
1,
df
dt
(a)
.
Como consecuencia, una curva dada en forma explcita en R
2
es regular si la funcion que la dene
es de clase C
1
.
Finalmente:
Denicion 44 Sean C
1
, C
2
R
n
dos curvas y p R
n
tal que p C
1
y p C
2
, y p es un punto regular
de C
1
y C
2
. Se denomina angulo formado por las supercies en dicho punto al formado por sus rectas o
vectores tangentes en el.
4.2.3 Recta tangente y plano normal a una curva. Aplicaciones
Denicion 45 Sea C R
n
una curva regular en p C y v R
n
un vector tangente a C en p.
1. Se denomina recta tangente a la curva en el punto p a la recta que pasa por dicho punto y tiene como
vector director bfv.
Su ecuacion vectorial es, por consiguiente,
x = p + v
_
_
x
1
.
.
.
x
n
_
_
=
_
_
_
p
1
.
.
.
p
n
_
_
_+
_
_
v
1
.
.
.
v
n
_
_
( R)
2. Se denomina (hiper)plano normal a la curva en el punto p al (hiper)plano que pasa por dicho punto y
es perpendicular al vector tangente v.
Su ecuacion vectorial es, por consiguiente,
x p, v = 0 (x
1
p
1
)v
1
+. . . + (x
n
p
n
)v
n
= 0
La manera de obtener explcitamente la ecuacion del plano tangente y de la recta normal a una curva en
un punto dado depende de la forma en que este dada la supercie y, por tanto, dicho vector.
Otras aplicaciones relacionadas con curvas regulares son las dos siguientes:
Un problema que tiene relacion con el calculo de vectores tangentes es el de la obtencion del vector
tangente a la transformada de una curva, y se plantea del siguiente modo: Considerese una funcion
f : A R
n
R
m
diferenciable. Sea c: I R R
n
, con c(I) A, una curva diferenciable en t
0
I, y
c
(t
0
) su vector tangente en c(t
0
). Al realizar la composicion
C = f c : I R
c
R
n
f
R
m
t (c
1
(t), . . . , c
m
(t)) (C
1
(t), . . . , C
m
(t))
se obtiene una nueva curva que se denomina transformada de la curva c por la funcion f . Se trata
de calcular su vector tangente en el punto C(t
0
) = f (c(t
0
)). Dado que estamos en presencia de
sendas funciones diferenciables, tiene sentido aplicar nuevamente la regla de la cadena para calcular la
diferencial de la funcion compuesta, con lo que, en representacion matricial, se tiene que
J
t
o
C = J
c(t
o
)
f J
t
o
c
_
_
_
f
1
x
1
(c(t
0
))) . . .
f
1
x
n
(c(t
0
))
.
.
.
.
.
.
f
m
x
1
(c(t
0
)) . . .
f
m
x
n
(c(t
0
))
_
_
_
_
_
_
dc
1
dt
(t
0
)
.
.
.
dc
n
dt
(t
0
)
_
_
_
_
_
_
dC
1
dt
(t
0
)
.
.
.
dC
n
dt
(t
0
)
_
_
_
n
. 51
luego pueden identicarse J
t
o
C y J
t
o
c con los respectivos vectores tangentes de C y c en los puntos
correspondientes, luego se concluye que
C
(t
0
) = J
c(t
o
)
f (c
(t
0
))
es decir, el vector tangente a la curva C en el punto c(t
0
) = f (c(t
0
) es el transformado del vector
tangente a c por la aplicacion D
c(t
o
)
f
4
.
Otra aplicacion relacionada con este tema es la siguiente: considerese una funcion f : A R
n
R
m
diferenciable y una curva diferenciable c: I R R
n
, con c(I) A. La cuestion es determinar como
vara la funcion al pasar de un punto a = c(t
0
) (con t
0
I) a otro a +h en sus inmediaciones que este
situado sobre la graf c, esto es, a +h = c(t
0
+ ). Dado que, como ya es sabido, una aproximacion al
valor de la variacion de una funcion en el entorno de un punto viene dada por medio de la diferencial,
la resolucion del problema pasa por el calculo de la diferencial de la funcion compuesta F = f c en
t
0
. Para ello, dado que las funciones son ambas diferenciables, basta aplicar la regla de la cadena y
obtener
D
t
o
(f c)) = D
c(t
o
)
f D
t
o
c
que no es otra cosa que la derivada direccional de la funcion en la direccion de la recta tangente a la
curva dada en el punto en cuestion.
4.2.4 Orientacion
Dada una curva, en su representacion graca se puede establecer un sentido de recorrido o, lo que es
equivalente, asignar un sentido a los vectores tangentes en todos los puntos de la curva. Esta idea se plasma
en el siguiente concepto:
Denicion 46 Sea una curva parametrizada diferenciable c: I R R
n
. Una orientacion de la curva es
una funcion continua que asigna a cada punto c(t) un vector tangente no nulo u.
Toda curva dotada con una orientacion se dice que esta orientada. Un arco de curva orientada se
denomina camino o trayectoria.
Como caso especial de orientacion se tiene el siguiente:
Denicion 47 Sea una curva parametrizada regular c: I R R
n
. Dada una parametrizacion, se denom-
ina orientacion natural de la curva (respecto a la parametrizacion dada) a la denida por el sentido creciente
del parametro que la describe; es decir, esta dada en cada punto por el vector u=c(t)
5
.
Comentario:
Una curva simple tiene dos unicas orientaciones posibles: la natural y la opuesta.
4.3 Supercies
4.3.1 Supercies en R
3
Vamos a introducir, a continuacion, el concepto de supercie en R
n
y, concretamente, en R
3
, que es el caso
que nos va a interesar a lo largo de este curso.
Hay tres aproximaciones diferentes al concepto de supercie (en R
3
):
4
Por esta razon, en Geometra Diferencial, a la aplicacion diferencial se la denomina, tambien, aplicacion tangente.
5
Evidentemente, dicha orientacion natural depende de la parametrizacion.
n
. 52
Denicion 48 1. Se denomina supercie a la graca de toda funcion escalar f: A R
2
R; esto es
S := graf f := {(x, y, z) R
3
| (x, y) A, z = f(x, y)} (4.5)
(Se dice, en este caso, que la supercie esta dada en forma explcita).
2. Se denomina supercie a un conjunto nivel de toda funcion escalar F: B R
3
R; esto es
S := {(x, y, z) R
3
| F(x, y, z) = k (k = ctn.)} (4.6)
(Se dice, en este caso, que la supercie esta dada en forma implcita).
3. Se denomina supercie (parametrizada) a toda funcion vectorial
: D R
2
R
3
(u, v) (x
1
(u, v), x
2
(u, v), x
3
(u, v))
(4.7)
(Se dice, en este caso, que la supercie esta dada en forma parametrica).
Tambien, en este caso, es habitual denominar supercie a la imagen de esta aplicacion, esto es, a su
representacion graca, S := Im, y parametrizacion a la propia funcion .
Comentarios:
Es interesante se nalar que, contra lo que pudiera parecer, no toda supercie es inmersible en R
3
(p.
ej., el plano proyectivo o la botella de Klein).
Estas tres deniciones no son equivalentes. En efecto:
(1) (2): pues la graca de toda funcion escalar de dos variables f: A R
2
R puede ser
considerada como la supercie de nivel de la funcion escalar de tres variables F(x, y, z) = f(x, y)
z.
(1) (3): pues la graca de toda funcion escalar de dos variables puede ser parametrizada (p.
ej., (x, y, z) = (u, v, f(u, v))).
La supercie de nivel de toda funcion escalar de tres variables F: A R
3
R no siempre es la
graca de otra funcion escalar de dos variables (p. ej., la esfera (en R
3
)).
Tampoco es, en muchos casos, parametrizable.
Una supercie parametrizada no siempre es la supercie de nivel de alguna funcion escalar de tres
variables, ni la graca de otra de dos variables.
Sin embargo, usando el teorema de la funcion implcita (siempre que se cumplan las condiciones de
regularidad establecidas como hipotesis en dicho teorema), es posible demostrar que, localmente, las
tres concepciones de supercie dadas en la denicion anterior son equivalentes.
En algunos casos no es posible dar una parametrizacion de toda la supercie a la vez y hay que hacerlo
por trozos.
Para una supercie parametrizada existen innitas parametrizaciones. No obstante, la mayora de los
resultados que se obtendran son independientes de la parametrizacion que se elija (salvo cuando se
advierta lo contrario).
A este respecto, se tiene la siguiente denicion:
Denicion 49 Sean : D R
2
R
3
y
: D
R
2
R
3
dos parametrizaciones. Se dice que y
son
regularmente equivalentes si existe una funcion g: D
D de clase C
1
tal que
(D
) = ( g)(D
).
Esto implica que ambas parametrizaciones representan la misma supercie; esto es, S = (D) =
(D
).
Ejemplos:
Plano:
n
. 53
1. (x, y, z) | z = ax +by (a, b R).
2. (x, y, z) | ax +by z = 0.
3. x = u, y = v, z = au +bv; (u, v) R
2
Cono:
1. (x, y, z) | z =
x
2
+y
2
.
2. (x, y, z) |
x
2
+y
2
z = 0.
3. x = r sin cos v, y = r sin sin v, z = r cos ;
(0 r, 0 v < 2, = ctn.).
Esfera:
1. (x, y, z) | x
2
+y
2
+z
2
= R
2
.
2. x = Rsin ucos v, y = Rsin usin v, z = Rcos u;
(0 u , 0 v < 2, R = ctn.).
Toro:
1. x =
a +b
2
+
a b
2
cos u
cos v ,
y =
a +b
2
+
a b
2
cos u
sin v ,
z =
a b
2
sin u ;
(0 u < 2), (0 v < 2).
De manera analoga a como se hizo con las curvas, se puede establecer la siguiente terminologa:
Denicion 50 Dada una supercie S (denida en uno o varios de los sentidos dados en la denicion 48):
1. Es una supercie plana si S es inmersible en R
2
. En caso de no ser as, se denomina alabeada.
2. Es una supercie simple si S no tiene autointersecciones. En el caso de tratarse de una supercie
parametrizada, esto es equivalente a que sea inyectiva.
Puede demostrarse que:
Proposicion 34 Si : D R
2
R
3
es una supercie parametrizada simple entonces toda curva cerrada
simple en D tiene como imagen por una curva cerrada simple en S.
4.3.2 Supercies regulares
Atendiendo a las caractersticas analticas de las supercies se establece la siguiente terminologa (para
supercies parametrizadas):
Denicion 51 Una supercie parametrizada : D R
2
R
3
es una supercie continua (resp. diferencia-
ble) respecto a la parametrizacion dada si lo es la funcion .
Denicion 52 Dada una supercie parametrizada diferenciable : D R
2
R
3
, se denen las funciones
(vectoriales)
T
u

u
:=
x
u
,
y
u
,
z
u
, T
v

v
:=
x
v
,
y
v
,
z
v
Sea (u
0
, v
0
) D:
n
. 54
1. Se denomina producto vectorial fundamental en (u
0
, v
0
) (respecto a la parametrizacion dada) a
T
u
(u
0
, v
0
) T
v
(u
0
, v
0
) :=
(y, z)
(u, v)
(u
0
, v
0
)
(z, x)
(u, v)
(u
0
, v
0
)
(x, y)
(u, v)
(u
0
, v
0
)
(4.8)
2. (u
0
, v
0
) es un punto regular de la parametrizacion considerada si
(a) Las funciones

u
y

v
estan denidas en un entorno E(u
0
, v
0
) y son continuas en (u
0
, v
0
) (o,
lo que es equivalente, es de clase C
1
en E(u
0
, v
0
)).
(b) T
u
(u
0
, v
0
) T
v
(u
0
, v
0
) = 0.
En caso contrario, se dice que es un punto singular.
3. La supercie es regular o suave si todos sus puntos son regulares
6
.
4. La supercie es regular o suave a trozos si su representacion graca es la union de un n umero nito
de imagenes de supercies parametrizadas regulares.
7
.
Comentarios:
Tal como ha sido denido, el resultado de hacer el producto vectorial fundamental depende de la
parametrizacion. Esto signica que un punto puede ser regular para una parametrizacion y singular
para otra y, por consiguiente, el concepto de regularidad parece que depende de la parametrizacion.
Realmente esto no es as ya que, geometricamente, una supercie regular se caracteriza porque lo-
calmente se asemeja a un trozo de plano y, consecuentemmente, tiene vector normal en los puntos
regulares (por tanto, no tiene pliegues ni esquinas
8
). Consecuentemente, este es un concepto
intrnseco (independiente de la parametrizacion). En este sentido, la denicion dada es imprecisa, pero
sera suciente para cubrir los objetivos del curso
9
.
En caso de que la supercie este dada en forma explcita o implcita, para asegurar la regularidad en
un punto basta con pedir que sean de clase C
1
las funciones f(x, y) o F(x, y, z) respectivamente (y, en
este ultimo caso, que el gradiente de F sea no nulo en dicho punto).
La interpretacion geometrica de los vectores T
u
(u
0
, v
0
) y T
v
(u
0
, v
0
) y del producto vectorial fundamental
es la siguiente: si en D R
2
se consideran las rectas u = u
0
y v = v
0
, sus imagenes por , (u
0
, v) y (u, v
0
),
son curvas en R
3
que estan obviamente contenidas en S = Im y reciben el nombre de curvas coordenadas
de la supercie. Entonces, T
v
(u
0
, v
0
) y T
u
(u
0
, v
0
) son respectivamente los vectores tangentes a dichas curvas
en el punto (u
0
, v
0
) (como queda puesto de maniesto por su propia denicion).
Ademas, partiendo del hecho de que toda supercie regular es diferenciable y, por tanto, se verica la
condicion de tangencia, es posible demostrar facilmente que:
2
R
3
es una supercie parametrizada y x = (u
0
, v
0
) S es un punto
regular, entonces:
1. T
u
(u
0
, v
0
) y T
v
(u
0
, v
0
) son vectores tangentes a la supercie en el punto x (esto es, el plano que
denen es tangente a la supercie en el punto en cuestion).
2. Consecuentemente, T
u
(u
0
, v
0
) T
v
(u
0
, v
0
) es un vector perpendicular a S en x y se denomina vector
normal a la supercie (en el punto correspondiente).
Se designa por n el vector normal unitario en x.
6
Observese que implica que sea de clase C
1
.
7
P. ej., un cubo es una supercie regular a trozos.
8
As, son supercies no regulares aquellas que no son diferenciables (esto es, tienen puntos angulosos) o bien aquellas para
las que, en alg un punto, T
u
= T
v
( = 0).
9
Existen deniciones intrnsecas que soslayan estos problemas.
n
. 55
Teniendo en cuenta los comentarios hechos sobre la relacion entre las tres concepciones de supercie
dadas en la denicion 48, se obtienen facilmente las expresiones del producto vectorial fundamental (y, por
tanto, del vector normal) cuando la supercie esta dada en forma explcita o implcita.
Proposicion 36 Sea S R
3
una supercie.
1. Si S esta dada en forma explcita mediante (4.5), p (x
0
, y
0
, f(x
0
, y
0
)) S y f es de clase C
1
en un entorno E(x
0
, y
0
), entonces p es un punto regular de S y un vector normal a S en p es
f
x
(x
0
, y
0
),
f
y
(x
0
, y
0
), 1
.
2. Si S esta dada en forma implcita mediante (4.6), p (x
0
, y
0
, z
0
) S, F es de clase C
1
en un entorno
E(p) y F(p) = 0, entonces p es un punto regular de S y un vector normal a S en p es F(p).
( Dem. )
1. Tomando la parametrizacion (x, y) = (x, y, f(x, y)), se tiene que
x
=
1, 0,
f
x
y
=
0, 1,
f
y
_
_
_
=T
u
T
v
=
f
x
,
f
y
, 1
(4.9)
Tambien, tomando F(x, y, z) z f(x, y), la supercie en cuestion es la supercie de nivel cero de F,
por lo que basta tener en cuenta el corolario 6 para obtener el mismo resultado.
2. Basta tener en cuenta que F, en cada punto, es perpendicular a la supercie de nivel de F, de acuerdo
con el corolario 6.
Tambien, asumiendo que se cumplen las hipotesis del teorema de la funcion implcita, existe localmente
la funcion z = f(x, y) tal que F(x, y, f(x, y)) = 0. Entonces, a partir de dicho teorema se obtiene que
f
x
=
F
x
F
z
,
f
y
=
F
y
F
z
Luego, teniendo en cuenta lo expuesto en el caso anterior, resulta que
T
u
T
v
=
F
x
F
z
,
F
y
F
z
, 1
=
F
F
z
(4.10)
Finalmente:
Denicion 53 Sean S
1
, S
2
R
3
dos supercies y p R
3
tal que p S
1
y p S
2
, y p es un punto regular
de S
1
y S
2
. Se denomina angulo formado por las supercies en dicho punto al formado por sus rectas o
vectores normales en el.
4.3.3 Plano tangente y recta normal a una supercie
Al igual que al estudiar las curvas diferenciables introdujimos las nociones de recta tangente y plano normal
a la curva en un punto, algo analogo se puede hacer cuando se trata de supercies.
De esta manera, teniendo en cuenta que, de acuerdo con los resultados de la seccion 4.3.2, toda supercie
regular en un punto tiene bien denido un vector normal a la supercie en dicho punto, se dene:
Denicion 54 Sea S R
3
una supercie regular en el punto a S.
1. Se denomina plano tangente a la supercie en el punto a al plano que pasa por a y tiene como vector
caracterstico un vector normal a S en a.
n
. 56
2. Se denomina recta normal a la supercie en el punto a a la recta que pasa por a y tiene como vector
director un vector normal a S en a (y, por consiguiente, es perpendicular al plano tangente).
La manera de obtener la ecuacion del plano tangente y de la recta normal a una supercie en un punto
dado depende de la forma en que este dada la supercie:
Forma parametrica : (Ec. (4.7)). Un vector normal a la supercie es su producto vectorial fundamental
en a, luego la ecuacion del plano tangente a S en a es:
0 = (x, y, z) (a), T
u
(a) T
v
(a) = (xa
1
)
(y, z)
(u, v)
(a)
+(y a
2
)
(z, x)
(u, v)
(a)
+(z a
3
)
(x, y)
(u, v)
(a)
o, equivalentemente
(x, y, z) = (a) + T
u
(a) +T
v
(a)
Una ecuacion vectorial de la recta normal es, por tanto,
(x, y, z) = (a) + T
u
(a) T
v
(a)
Forma implcita : (Ec. (4.6)). De acuerdo con el corolario 6, un vector normal a la supercie es gradF(a),
luego la ecuacion del plano tangente a S en a es:
0 = (x, y, z) (a
1
, a
2
, a
3
), F(a) = (x a
1
)
F
x
(a) + (y a
2
)
F
y
(a) + (z a
3
)
F
z
(a)
(x, y, z) = (a
1
, a
2
, a
3
) + F(a)
Tambien se puede tomar el vector normal dado en la expresion (4.10).
Forma explcita : (Ec. (4.5)). La ecuacion del plano tangente a graf f en (a, f(a)) es, como ya sabemos,
z f(a) = (x a
1
)
f
x
(a) + (y a
2
)
f
y
(a)
(x, y, z) = (a
1
, a
2
, f(a)) + (f(a), 1)
Tambien se obtienen tomando la funcion F(x, y, z) f(x, y) z, deniendo S como su supercie de
nivel cero y empleando el metodo anterior.
Finalmente, tambien se puede tomar la parametrizacion y el vector normal dado en la expresion (4.9)
y emplear el primer metodo.
4.3.4 Supercies orientadas
Dada una supercie, es intuitivo que, en un entorno de cada punto de la misma, se pueden distinguir dos
lados: uno exterior y otro interior. Una manera de se nalar ambos lados es por medio de un vector en
cada punto que sea perpendicular a la supercie y apunte en el sentido deseado. Esta es la idea que subyace
en el concepto de orientacion:
Denicion 55 Sea una supercie regular S R
3
. Una orientacion de la supercie es una funcion continua
que asigna a cada punto (u
0
, v
0
) S un vector normal no nulo n(u
0
, v
0
).
Una supercie dotada con una orientacion se dice que esta orientada.
Comentarios:
n
. 57
Si se tiene una supercie parametrizada regular, lo habitual es tomar como vector unitario normal en
cada punto n = T
u
T
v
. Esta claro, por tanto, que la orientacion dependera de la parametrizacion.
Observese que al dar un vector normal en cada punto de una supercie se estan distinguiendo dos
sentidos: el del vector y su opuesto, cada uno de los cuales corresponde a una de las orientaciones de
la supercie. Por tanto, una supercie tiene, en un entorno de cada punto, solo dos orientaciones, esto
es, dos lados
10
.
La propiedad anterior es, en general, solo local, pues hay supercies que, al ser consideradas en su
totalidad, solo tienen una cara
11
. Esto signica que, partiendo de un punto (u
0
, v
0
), donde se tiene un
vector normal unitario n, existe alg un camino cerrado en S tal que, al desplazar este vector a lo largo del
mismo, cuando se vuelve al punto de partida dicho vector ha cambiado su sentido y coincide con n.
Las supercies que, consideradas en su totalidad, tienen dos lados reciben el nombre de supercies
orientables, en contraposicion a las que solo tienen un lado que son las supercies no orientables
12
.
4.4 Borde de un conjunto. Conectividad
4.4.1 Frontera geometrica o borde de un conjunto
Vamos a introducir, seguidamente, una serie de conceptos que seran muy utilizados en adelante.
En primer lugar, es importante se nalar que en muchos de los enunciados de Analisis vectorial se usa el
termino frontera (referido a un conjunto de puntos), no en el sentido topologico, sino en el geometrico;
es decir, se esta haciendo referencia a los puntos, si existen, que delimitan geometricamente dicho conjunto,
(que formaran en muchos casos una curva, supercie o hipersupercie en R
n
). As pues, hay que distinguir
entre la frontera topologica y la frontera geometrica o borde de un conjunto.
Se va a establecer la denicion para regiones en R
3
.
Denicion 56 1. Sea S R
3
una supercie. Un punto p Fr S es un punto frontera regular de la
supercie S si existe un abierto U R
3
que contiene a p y un isomorsmo : U R
3
V R
3
de
clase C
1
tal que (p) = 0 y
(U S) = {(x, y, z) V | z = 0 , y 0}
Se denomina borde o frontera geometrica de S, y se designa por S, al conjunto de puntos frontera
regulares de S.
2. Sea A R
3
. Un punto p Fr A es un punto frontera regular de la region A si existe un abierto U R
3
que contiene a p y un isomorsmo : U R
3
V R
3
de clase C
1
tal que (p) = 0 y
(U A) = {(x, y, z) V | z 0}
Se denomina borde o frontera geometrica de A, y se designa por A, al conjunto de puntos frontera
regulares de A.
Comentarios:
El borde de una supercie lo constituyen puntos de curvas regulares y el borde de un volumen en
R
3
lo constituyen puntos de supercies regulares (incluyendo los puntos frontera regulares de dichas
supercies).
Ademas de los puntos frontera regulares, en la frontera de supercies o de regiones en R
3
puede haber
puntos aislados y/o vertices que se denominan puntos frontera singulares.
10
Si la supercie no es simple, en los puntos m ultiples puede haber varios vectores normales distintos. Ello no es obice para
seguir hablando de orientacion (incluso en esos puntos), como se comprende intuitivamente.
11
P. ej., la banda de Mobius.
12
Existen deniciones rigurosas de estos conceptos, pero para cubrir los objetivos del curso basta con esta idea intuitiva.
n
. 58
La denicion de borde de una region en R
2
es un caso particular de la de borde de una supercie en
R
3
, cuando dicha supercie es plana.
La denicion anterior se puede extender a arcos de curvas en R
3
o R
2
, en cuyo caso se obtiene de forma
inmediata que el borde lo constituyen sus extremos, si los tiene.
Obviamente A Fr A (pero no al reves)
13
.
Relacionada con el concepto de borde, se puede establecer la siguiente:
Denicion 57 Una supercie S R
3
es cerrada (geometricamente) si existe alguna region compacta V
R
3
tal que S = V
14
.
Hay ciertas cuestiones de gran relevancia sobre el tema de la orientacion de los bordes de supercies y
regiones en R
3
. As se tiene que:
Denicion 58 En R
3
, sean e
1
, e
2
, e
3
los vectores de la base ortonormal (dextrogira) seg un los ejes X, Y, Z.
1. Sea S R
3
una supercie con borde C R
3
una curva de Jordan regular (o varias)
15
.
(a) Se denomina orientacion positiva de la curva C a la que asigna a cada punto p C el vector
(D
p
)
1
(e
1
).
(b) Se denomina orientacion inducida sobre S por la orientacion positiva de C a la que asigna a cada
punto p S el vector (D
p
)
1
(e
3
).
Si la orientacion del borde C de la supercie S es la negativa, la orientacion inducida sobre S es
la opuesta.
2. Sea A R
3
una region con borde S R
3
una supercie regular (o varias). Se denomina orientacion
positiva de la supercie S a la que asigna a cada punto p S el vector (D
p
)
1
(e
3
)
Comentarios:
Es evidente que, del mismo modo que la orientacion de la curva borde de una supercie induce una
orientacion sobre esta, el recproco es igualmente cierto y una orientacion de una supercie con borde
induce otra sobre la curva frontera en cuestion.
En cualquier caso, la orientacion inducida se obtiene por la popularmente denominada regla de la
mano derecha.
Como puede observarse, la orientacion inducida en el borde de una supercie S por la de la propia
supercie es la que corresponde a recorrer la curva de tal manera que S este siempre a la izquierda
16
.
Esta orientacion y su opuesta son, por consiguiente, independientes de la parametrizacion de la curva.
4.4.2 Deformaciones de curvas y supercies. Conjuntos conexos
Antes de abordar la nocion de conectividad en un conjunto, es necesario introducir el siguiente concepto:
Denicion 59 Sea A R
n
.
13
Por ejemplo, en el sentido topologico, todos los puntos de una supercie en R
3
son puntos frontera, y no solo los puntos de
la curva que la delimita, que constituyen su borde.
14
Observese que esto implica que S =
2
V = 0.
15
La misma denicion es obviamente valida para curvas planas que sean borde de regiones en R
2
.
16
P. ej., una corona circular tiene por frontera dos circunferencias. En este caso, observese que tomar la orientacion inducida
en ambas implica recorrer la exterior en sentido antihorario y la interior en sentido horario.
n
. 59
1. Sean c
1
, c
2
: R A R
n
, con C
1
= Imc
1
, C
2
= Imc
2
, dos curvas regulares (a trozos), cerradas o con
extremos comunes (esto es, con C
1
= C
2
). Se dice que estas curvas son homotopicas (o tambien
que se pueden deformar homotopicamente una en la otra) en A si existe una deformacion continua en
A que transforma una en otra; esto es, una funcion continua F(t, s), F: I [0, 1] A R
n
, tal que
F(t, 0) = c
1
(t) y F(t, 1) = c
2
(t), t I.
2. Una curva de Jordan c: R A R
n
se dice que es contractil a un punto en A si se puede deformar
homotopicamente en A a un punto p A R
n
; esto es, existe una funcion continua F(t, s), F: I
[0, 1] A R
n
, tal que F(t, 0) = c(t) y F(t, 1) = p, t I.
Comentario:
La idea de deformacion continua se puede extender a supercies. As, sean
1
,
2
: R
2
R
n
, con
S
1
= Im
1
, S
2
= Im
2
, dos supercies regulares (a trozos), bien cerradas o bien simples con frontera
geometrica la misma curva de Jordan regular (a trozos). Se dice que estas supercies son homeomorfas
si existe una deformacion continua que transforma una en otra.
La idea de conectividad juega un papel importante en el desarrollo de algunos de los conceptos que
van a ser tratados a partir de ahora. Basicamente, hay dos maneras (no equivalentes) de pensar en la
conectividad de un conjunto. La primera se basa en la conexion de puntos por medio de curvas simples y es
la siguiente:
Denicion 60 Sea A R
n
. A es un conjunto arco-conexo si x, y A, existe una curva c: I = [a, b]
R R
n
tal que
1. c es una curva conexa.
2. c(a) = x, c(b) = y.
3. t I, c(t) A; esto es, Imc A.
Comentario:
En R, los conjuntos arco-conexos son intervalos.
Una propiedad que relaciona funciones continuas y conjuntos arco-conexos es la siguiente:
Proposicion 37 Sean f : A R
n
R
m
continua y A un conjunto arco-conexo. Entonces f (A) es arco-
conexo.
( Dem. ) Sean y
1
, y
2
puntos de f (A). Existen x
1
, x
2
A tales que f (x
1
) = y
1
y f (x
2
) = y
2
. Por ser A
arco-conexo, existe una curva c tal que c(t
1
) = x
1
y c(t
2
) = x
2
. Entonces f c: [t
1
, t
2
] f (A) es una curva
tal que f c(t
1
) = y
1
y f c(t
2
) = y
2
. Luego f (A) es arco-conexo.
La segunda nocion de conectividad utiliza curvas cerradas y se establece en los siguientes terminos:
Denicion 61 Sea A R
n
. A es un conjunto simplemente conexo si toda curva de Jordan C A es
contractil a un punto p A.
Ejemplos:
En R
2
, un conjunto simplemente conexo es una region que no tiene agujeros.
En R
3
, los conjuntos que no son simplemente conexos son topologicamente equivalentes a un toro (o a
una corona circular).
n
. 60
Para completar este estudio, se puede establecer el siguiente concepto:
Denicion 62 Sea A R
n
(n 2). A es un conjunto m ultiplemente conexo si es arco-conexo pero no
simplemente conexo.
Como caso particular de conjuntos conexos se tiene:
Denicion 63 Dada una supercie S (denida en uno o varios de los sentidos dados en la denicion 48),
S es una supercie arco-conexa (resp. simplemente conexa o m ultiplemente conexa) si S es un conjunto
arco-conexo (resp. simplemente conexo o m ultiplemente conexo).
Finalmente, en el ultimo captulo se utilizaran los siguientes conceptos:
Denicion 64 Sea A R
n
.
1. A es un conjunto estrellado respecto a un punto p A si, x A, el segmento px A.
2. A es un conjunto convexo si es estrellado respecto a todos sus puntos; esto es, x, y A, el segmento
xy A.
Chapter 5
Estudio local de funciones en R
n
5.1 Introduccion
El presente captulo esta dedicado a analizar aplicaciones de tipo analtico de la diferenciabilidad de funciones
de varias variables. En concreto, se va a estudiar primero el problema de la aproximacion local de funciones
por medio de la generalizacion de la formula de Taylor para, a continuacion abordar el problema de la
identicacion y calculo de extremos (y puntos crticos) de funciones en diversos casos.
5.2 Formula de Taylor
5.2.1 Formula de Taylor. Expresion del resto.
Estamos ya en condiciones de generalizar la formula de Taylor para funciones de varias variables.
Teorema 10 (de Taylor): Sea f: A R
n
R y a A tal que f es una funcion de clase C
k
en un entorno
abierto E(a). Si x a +h E(a) es un punto tal que el segmento ax E(a), entonces
f(x) = P
k
(f; a) +R
k
(f; a)
= f(a) +
n
i=1
f
x
i
(a)(x
i
a
i
) +
1
2!
n
i,j=1
2
f
x
i
x
j
(a)(x
i
a
i
)(x
j
a
j
) +. . .
+
1
k!
n
i
1
,...,i
k
=1
k
f
x
i
1
. . . x
i
k
(a)(x
i
1
a
i
1
) . . . (x
i
k
a
i
k
) +R
k
(f; a)
= f(a) +
n
i=1
f
x
i
(a)h
i
+
1
2!
n
i,j=1
2
f
x
i
x
j
(a)h
i
h
j
+. . . +
1
k!
n
i
1
,...,i
k
=1
k
f
x
i
1
. . . x
i
k
(a)h
i
1
. . . h
i
k
+R
k
(f; a)
donde P
k
(f; a) recibe el nombre de polinomio de Taylor de grado k asociado a f en a y R
k
(f; a) es el resto
de Taylor de orden k que verica que R
k
(f; a) = o(h
k
) cuando h 0.
Si, ademas, f es una funcion de clase C
k+1
en E(a), entonces
R
k
(f; a) =
1
(k + 1)!
n
i
1
,...,i
k
,i
k+1
=1
k+1
f
x
i
1
. . . x
i
k
x
i
k+1
()h
i
1
. . . h
i
k
donde ax.

Esta es la denominada expresion de Lagrange del resto.
61
n
. 62
( Dem. ) Vease J.M. Ortega, Introduccio a lAnàlisi Matemàtica. (Es como en el caso de una variable).
Comentarios
Observese que los coecientes de los terminos de primer y segundo grado del polinomio de Taylor son
los coecientes de las matrices jacobiana y hessiana de f en a, respectivamente.
Los teoremas de acotacion del resto del caso de funciones de una variable se generalizan de manera
inmediata a este caso general.
Como consecuencia inmediata del teorema de Taylor se puede obtener el teorema del valor medio para
funciones de varias variables:
Teorema 11 (del valor medio): Sea f: A R
n
R y a, x A tal que f es una funcion de clase C
1
en A
y ax A, entonces ax tal que
f(x) f(a) = J
f(x a)
( Dem. ) Se obtiene directamente a partir del teorema de Taylor, tomando el polinomio de orden 0 y la
expresion de Lagrange del resto de orden 1.
5.3 Calculo de extremos
5.3.1 Formas cuadraticas
Antes de abordar el tema de la localizacion e identicacion de los extremos de las funciones de varias variables,
es preciso efectuar un breve repaso sobre formas cuadraticas, ya que sus propiedades son esenciales en este
estudio.
Denicion 65 Sea E un espacio vectorial (real y eucldeo) dotado con un producto escalar. Sea (e
1
, . . . , e
n
)
una base ortonormal de E y A una matriz de orden n cuya expresion en la base dada es A = (a
ij
). Se
denomina forma cuadratica asociada a la matriz A a la aplicacion
A : E R
x =
n
i=1
x
i
e
i
A(x)
n
i=1
a
ij
x
i
x
j
es decir,
A(x) = ( x
1
. . . x
n
)
_
_
a
11
. . . a
1n
.
.
.
.
.
.
a
n1
. . . a
nn
_
_
_
_
x
1
.
.
.
x
n
_
_
Denicion 66 Sea A una forma cuadratica.
1. A es denida positiva (resp. semidenida positiva) si
A(x)
> 0 (resp. 0) si x = 0
= 0 si x = 0
2. A es denida negativa (resp. semidenida negativa) si
A(x)
< 0 (resp. 0) si x = 0
= 0 si x = 0
3. A es indenida en cualquier otro caso.
n
. 63
Comentario:
Observese que se A es denida positiva, entonces A es denida negativa y recprocamente.
Se demuestra que las formas cuadraticas denidas se pueden caracterizar de la siguiente manera:
Proposicion 38 Sea A una forma cuadratica.
1. A es denida positiva si R
+
tal que , x E,
A(x)
> x
2
si x = 0
= 0 si x = 0
2. A es denida negativa si R
tal que, x E,
A(x)
< x
2
si x = 0
= 0 si x = 0
A efectos de calculo, el principal resultado que se usa para discernir si una forma es denida o no y de que
clase es el denominado criterio de Silvester o de los determinantes orlados (valido para formas cuadraticas
simetricas):
Proposicion 39 (Criterio de Silvester:) Sea A una forma cuadratica simetrica asociada a la matriz A (de
orden n)
1
. Sean
i
, i = 1, . . . , n, los sucesivos determinantes orlados de la matriz A
2
:
A =
_
_
_
_
a
11
a
12
. . . a
1n
a
21
a
22
. . . a
2n
.
.
.
.
.
.
a
n1
a
n2
. . . a
nn
_
_
_
_
;
1
= a
11
,
2
= a
11
a
22
a
12
a
21
, . . . ,
n
= |A|
1. La c.n.s. para que A sea denida positiva es que
i
> 0 , i
2. La c.n.s. para que A sea denida negativa es que
(1)
i
i
> 0 , i
es decir, los signos de los determinantes orlados vayan alternandose de la siguiente manera:
2k1
< 0 ,
2k
> 0 , (k N)
3. En el resto de los casos:
(a) A es indenida si, y solo si,
n
= 0.
(b) A es semidenida si, y solo si,
n
= 0.
Un criterio equivalente (aunque algo mas preciso) es el siguiente:
Proposicion 40 (Criterio de los valores propios:) Sea A una forma cuadratica simetrica asociada a la
matriz A (de orden n)
1
Esto es, si A = (a
ij
), a
ij
= a
ji
.
2
Estos son los determinantes de las sucesivas submatrices cuadradas a lo largo de la diagonal de A.
n
. 64
1. La c.n.s. para que A sea denida positiva es que todos los valores propios de A sean estrictamente
positivos.
La c.n.s. para que A sea semidenida positiva es que exista alg un valor propio de A nulo y todos los
demas sean estrictamente positivos.
2. La c.n.s. para que A sea denida negativa es que todos los valores propios de A sean estrictamente
negativos.
La c.n.s. para que A sea semidenida negativa es que exista alg un valor propio de A nulo y todos los
demas sean estrictamente negativos.
3. En el resto de los casos es indenida.
5.3.2 Extremos libres. Puntos crticos. Condicion necesaria de extremo
Como en el caso de una variable, se dene:
n
R y a A.
1. f presenta un mnimo local en a si, B
r
(a) A tal que f(x) f(a), x B
r
(a).
2. f presenta un maximo local en a si, B
r
(a) A tal que f(x) f(a), x B
r
(a).
En cualquier caso se dice que f presenta un extremo local en a y, si las desigualdades son estrictas, se
denomina extremo local estricto (mnimo o maximo respectivamente).
Una primera caracterizacion de los extremos locales viene dada por la siguiente condicion (necesaria):
n
R y a A, tal que f es diferenciable en a. Si f presenta un extremo
local en a entonces D
a
f = 0
( Dem. ) Si f presenta un extremo local en a entonces la funcion f restringida sobre cualquier recta
c(t) = a + tv (que pase por a), esto es, cualquier curva (f c)(t) = f(a + tv) presenta necesariamente un
extremo en el punto t = 0. Entonces
0 = (f c)
(0) D
a
f(v) (v)
es decir, todas las derivadas direccionales en a son nulas luego, en particular, lo son las derivadas parciales
en a y, por tanto, D
a
f = 0.
A raiz de este resultado se dene:
n
R y a A, tal que f es diferenciable en a. f tiene un punto crtico en a
si D
a
f = 0
As pues, la proposicion precedente asegura que todo extremo local es un punto crtico, pero no al reves.
Entonces:
n
R y a A, tal que f es diferenciable en a. f tiene un punto de silla en a
si a es un punto crtico pero no es un extremo local de f.
Comentarios:
El nombre punto de silla se justica porque puede demostrarse que, en un entorno del punto, existen
regiones en las que la funcion toma indistintamente valores mayores y menores que f(a).
Ejemplo: f(x, y) x
2
y
2
en (0, 0).
Los puntos de silla son el equivalente, en varias variables, de la nocion de punto de inexion (con
tangencia horizontal) del caso de una variable.
n
. 65
5.3.3 Condicion suciente de extremo
Analizaremos, a continuacion las posibles condiciones sucientes que permitan discernir si un punto crtico
es o no un extremo local. En primer lugar se introduce la siguiente nomenclatura:
n
R y a A, tal que f es dos veces diferenciable en a. Se denomina Hessiana
de f en a a la forma cuadratica asociada a la matriz hessiana H
a
f, y se designa por H
a
f.
Cabe ahora interrogarse sobre cuando esta forma es denida (positiva o negativa) o no, y la relacion que
este hecho pueda tener con el comportamiento de la funcion en a. La respuesta la da el siguiente resultado:
n
R y a A, tal que f es de clase C
2
en un entorno de a.
1. Si a es un punto crtico de f y H
a
f es una forma denida positiva entonces f presenta un mnimo
local (estricto) en a.
a
f es una forma denida negativa entonces f presenta un maximo
local (estricto) en a.
a
f es una forma indenida entonces f presenta un punto de silla en
a.
a
f es una forma semidenida entonces f presenta un punto crtico
degenerado
3
en a.
( dem. )
1. Haciendo el desarrollo de Taylor de f en a hasta el segundo orden, teniendo en cuenta que a punto
crtico de f D
a
f = 0 J
a
f = 0 y que, de acuerdo con la proposicion 38, H
a
f(h) h
2
, se tiene
que
f(a +h) = f(a) + J
a
fh +H
a
f(h) +R
2
(h) > f(a) +
1
2
h
2
+R
2
(h)
de ah
f(a +h) f(a)
h
2
>
1
2
+
R
2
(h)
h
2
h0
1
2
0
luego, para h sucientemente peque no, f(a+h) > f(a), por tanto f presenta un mnimo local (estricto)
en a, de acuerdo con la denicion.
2. Igual que el caso anterior.
3. El razonamiento es similar al de los casos anteriores.
4. El razonamiento es similar al de los casos anteriores.
El siguiente resultado da un metodo operativo para identicar el caracter de los puntos crticos. Su
demostracion se basa (en parte) en la aplicacion de las proposiciones anterior y 39.
n
R y a A un punto crtico de f, tal que f es de clase C
2
en un entorno
de a. Sean
i
los determinantes orlados de H
a
f.
1. Si
i
> 0, i, entonces f presenta un mnimo local (estricto) en a.
3
Esto es, puede ser un punto de silla, un maximo o un mnimo local (no estrictos), pero su caracter no puede determinarse
analizando unicamente las derivadas parciales de primer y segundo orden de la funcion en a, y hay que hacer un estudio analtico
mas elaborado.
n
. 66
2. Si (1)
i
i
> 0, i, entonces f presenta un maximo local (estricto) en a.
3. En el resto de los casos, f presenta en a
(a) Un punto de silla, si
n
= 0.
(b) Un punto crtico degenerado si
n
= 0.
Tambien, de la proposicion 40 se obtiene el siguiente criterio:
n
2
en un entorno
de a. Sea H
a
f la matriz hessiana de f en a.
1. Si todos los valores propios de H
a
f son estrictamente positivos entonces f presenta un mnimo local
estricto en a.
2. Si todos los valores propios de H
a
f son estrictamente negativos entonces f presenta un maximo local
estricto en a.
3. En el resto de los casos:
(a) Si hay valores propios de H
a
f que son algunos positivos y otros negativos, entonces f presenta un
punto de silla en a.
(b) En todos los demas casos, f presenta un punto crtico degenerado en a.
Caso particular: funciones de dos variables
Dado que es el caso con el que nos encontraremos mas frecuentemente a lo largo del curso, vamos a
especicar alguno de los resultados anteriores para funciones de dos variables.
Sea f: A R
n
2
en un entorno de a. Sean
i
(i = 1, 2) los determinantes orlados de H
a
f; es decir,
1
=

2
f
x
2
(a) ,
2
=

2
f
x
2
(a)
2
f
y
2
(a)

2
f
yx
(a)
2
Los casos posibles son los siguientes:
1.
2
> 0
_
1
> 0 f presenta en a un mnimo local. (Ej.: f(x, y) = x
2
+y
2
en (0, 0)).
1
< 0 f presenta en a un maximo local. (Ej.: f(x, y) = (x
2
+y
2
) en (0, 0)).
1
= 0 No es posible pues implicara que
2
=

2
f
yx
(a)
2
.
2.
2
< 0
_
_
_
1
> 0 f presenta en a un punto de silla. (Ej.: f(x, y) = x
2
y
2
en (0, 0)).
1
< 0 f presenta en a un punto de silla. (Ej.: f(x, y) = x
2
+y
2
en (0, 0)).
1
= 0 f presenta en a un punto de silla. (Ej.: f(x, y) = y
2
+ 2xy en (0, 0)).
3.
2
= 0 No se puede asegurar nada y hay que hacer un estudio aparte. (Ej.: f(x, y) = (y3x
2
)(yx
2
)
en (0, 0)).
Ejemplo: f(x, y) = 1 x
2
.
f
x
= 2x = 0 x = 0
f
y
= 0
= Ptos. crticos (0, y

0
)
Pero f(0, y
0
) = 1 mientras que (x, y) B
r
(0, y
0
), f(x, y) = 1x
2
0 = f(0, y
0
), luego (0, y
0
) son m aximos
no estrictos, de acuerdo con la denicion.
n
. 67
5.3.4 Extremos condicionados
En las dos siguientes secciones se analiza un problema menos general que el planteado anteriormente. Si antes
se trataba de localizar los extremos locales de una funcion en todo su dominio, ahora se trata de hallar los
extremos de la funcion sobre un conjunto de puntos del dominio, que estaran analticamente especicados por
medio de una (o varias) funciones del mismo tipo que la original. Este problema tiene m ultiples aplicaciones
fsicas y geometricas.
n
R y a A. Sean g
1
, . . . , g
m
: A R
n
R, (m < n).
1. f presenta en a un mnimo condicionado a que g
1
(x) = 0, . . . = g
m
(x) = 0 si,
(a) g
1
(a) = 0, . . . = g
m
(a) = 0.
(b) B
r
(a) A tal que, x B
r
(a) con g
1
(x) = 0, . . . = g
m
(x) = 0, se tiene que f(x) f(a).
2. f presenta en a un maximo condicionado a que g
1
(x) = 0, . . . = g
m
(x) = 0 si,
(a) g
1
(a) = 0, . . . = g
m
(a) = 0.
(b) B
r
(a) A tal que, x B
r
(a) con g
1
(x) = 0, . . . = g
m
(x) = 0, se tiene que f(x) f(a).
En cualquier caso se dice que f presenta un extremo condicionado en a.
Las relaciones g
1
(x) = . . . = g
m
(x) = 0 se denominan condiciones o ligaduras.
Comentarios:
Observese que las ligaduras seleccionan puntos en el dominio A de f: son aquellos que pertenecen a la
interseccion de los conjuntos de nivel cero de las funciones g
1
, . . . , g
m
.
Los extremos libres de una funcion no son necesariamente extremos condicionados, ni recprocamente.
Para determinar los extremos condicionados de una funcion la manera mas directa consistira en restringir
la funcion dada sobre los puntos del dominio denidos por las ligaduras. Teniendo en cuenta el comentario
precedente, la manera de llevar a efecto este procedimiento sera el siguiente:
1. Parametrizar la curva o (hiper)supercie denida por las ligaduras (ver captulo 4).
2. Expresar f en funcion de la parametrizacion y obtener los extremos (libres) de la funcion resultante.
Sin embargo el exito de este metodo depende de la parametrizacion que se tome
4
y puede presentar problemas
si la parametrizacion elegida no es adecuada.
5.3.5 Metodo de los multiplicadores de Lagrange
Para solventar el problema que se acaba de se nalar, existe un procedimiento alternativo conocido como
metodo de los multiplicadores de Lagrange, el cual se basa en la aplicacion del siguiente teorema:
Teorema 12 (de Lagrange): Sea f: A R
n
R y a A, y sean g
1
, . . . , g
m
: A R
n
R, (m < n), tales
que:
1. f, g
1
, . . . , g
m
son funciones diferenciables en a.
2. g
1
(a), . . . , g
m
(a) son vectores no nulos y linealmente independientes.
4
Suponiendo que se tenga alguna.
n
. 68
Si f presenta en a un extremo condicionado a que g
1
(x) = . . . = g
m
(x) = 0 entonces
1
, . . . ,
m
R tales
que
f(a) =
1
g
1
(a) +. . . +
m
g
m
(a)
o, lo que es equivalente
D(f
1
g
1
. . .
m
g
m
)(a) = 0
Los coecientes
1
, . . . ,
m
se denominan multiplicadores de Lagrange.
( Dem. ) Se hara la demostracion en el caso particular en que haya una sola ligadura g(x) = 0.
Supongase que se trata de un maximo (el mnimo se tratara igual). Por ser a extremo condicionado,
g(a) = 0. Sea, entonces, S la supercie de nivel cero de g que pasa por a y c: I R R
n
una curva en S que
pasa por a; esto es, c(t) S o, lo que es lo mismo, (g c)(t) = 0, con c(0) = a. Por ser g(a) perpendicular
a las supercies de nivel se tiene que g(a), c
(0) = 0.
Considerese la funcion f c: R R, que ha de tener un maximo local en t = 0 por las condiciones de f
y c. de ah (f c)
(0) = 0, pero
(f c)
(0) = J
c(0)
fc
(0) = f(a), c
(0) = 0
luego f(a) es perpendicular a todas las curvas en S, por tanto es perpendicular a S y, como solo hay una
recta perpendicular a S en a, necesariamente f(a) y g(a) han de ser linealmente dependientes.
Comentarios
En el caso en que solo haya una ligadura g(x) = 0, la interpretacion geometrica del teorema es que las
supercies de nivel de f y g son tangentes en los puntos extremos condicionados.
El teorema solo da una condicion necesaria para la existencia de extremos condicionados; por tanto,
una vez resuelto el sistema hay que hacer un analisis para ver si los puntos hallados son realmente
extremos de la funcion restringida
5
.
En particular, si por alg un razonamiento previo (de tipo geometrico, por ejemplo) se concluye que ha
de haber un n umero dado de extremos condicionados y por el metodo de Lagrange se obtiene el mismo
n umero de puntos candidatos, entonces estos son necesariamente los extremos condicionados buscados.
El metodo de los multiplicadores de Lagrange consiste, por consiguiente, en hallar los puntos x
(x
1
, . . . , x
n
) que sean solucion del siguiente sistema de n + m ecuaciones (con n + m incognitas: las n
coordenadas x
i
y los m multiplicadores
j
)
6
:
g
1
(x) = 0 . . . g
m
(x) = 0 (m ecuaciones)
f(x) =
1
g
1
(x) +. . . +
m
g
m
(x) (n ecuaciones)
Sobre este sistema se pueden hacer los siguientes comentarios:
El sistema puede ser incompatible:
Por no ser compatibles las ligaduras; esto es, no denen una region en A (el problema esta mal
planteado).
Ejemplo: g
1
(x, y, z) x
2
+y
2
z = 0; g
2
(x, y, z) 1 +z = 0.
5
Existen metodos analticos que resuelven este problema, pero su dicultad excede el nivel del curso (vease, p. ej., J.E.
Marsden, A.J. Tromba, Calculo Vectorial, pp. 272-274).
6
Este sistema se obtiene de forma equivalente deniendo la funcion de n +m variables
F(x
1
, . . . , x
n
,
1
, . . . ,
m
) f(x
1
, . . . , x
n
)
m
j=1
j
g
j
(x
1
, . . . , x
n
)
e imponiendo que
D
(x
1
,...,x
n
,
1
,...,
m
)
F = 0
n
. 69
Por no tener la funcion f extremos condicionados a las ligaduras dadas (esto es, la funcion
restringida sobre las ligaduras es creciente o decreciente en sentido estricto).
Ejemplo: f(x, y) x
2
y; g(x, y) 1 xy = 0.
Parametrizacion de la ligadura: c(t) = (t, 1/t)
Funcion restringida: (f c)(t) = t.
El sistema puede ser indeterminado.
Ejemplo: Si la condicion fuera una supercie de nivel de la propia funcion f entonces f(x) = g(x),
x, con lo que las n ultimas ecuaciones del sistema anterior seran identidades y todos los puntos que
satisfacieran la ligadura seran solucion (la funcion f es constante sobre todos ellos).
Ejemplo: f(x, y) x
2
y
2
; g(x, y) x +y = 0.
Se tiene que f(x, y) = (2x, 2y), g(x, y) = (1, 1); y la igualdad f(x, y) = g(x, y) se traduce en
el sistema
2x = , 2y =
que se satisface automaticamente en todos los puntos que cumplen la ligadura (y = x, por lo que
todos ellos son solucion.
Comentario:
Un caso especial a rese nar es cuando, en la resolucion del problema, se obtiene que
1
= . . . =
m
= 0.
Entonces f(a) = 0, lo cual signica que la funcion tiene un punto crtico en a independientemente
de las condiciones. En tal caso se analiza si es un extremo (libre) usando el metodo descrito en las
secciones previas y, si lo es, tambien es un extremo condicionado.
Ejemplo: f(x, y) = x
2
+y
2
+ 1; g(x, y) y = 0.
La solucion del sistema da = 0 y (x, y) = (0, 0), que es un punto crtico de f (pues D
(0,0)
f = (0, 0))
y corresponde a un mnimo local (como pone de maniesto el analisis de la hessiana de f en dicho
punto).
5.3.6 Extremos absolutos de una funcion continua en un compacto
El ultimo problema que se va a considerar se plantea en los siguientes terminos:
Sea f: A R
n
R una funcion continua y K A un compacto. De acuerdo con el teorema de
Weierstrass, f alcanza en K valores maximo y mnimo absolutos. Se trata de determinar los puntos de K
donde esto sucede.
Para resolverlo, asumiremos las siguientes hipotesis adicionales:
1. f es diferenciable en K.
2. K es un conjunto compacto cuya frontera es la union de un n umero nito de elementos regulares
(curvas, supercies,hipersupercies) y, eventualmente, de vertices.
En tal caso el procedimiento consiste en:
1. Determinar los puntos crticos de f en Int K.
2. Determinar los (candidatos a) extremos condicionados de f en cada elemento regular de la frontera,
que es un problema de extremos condicionados.
3. Determinar los valores que toma f en cada uno de los puntos obtenidos y en los vertices, si los hubiere,
y a partir de ah obtener los extremos absolutos.
Los casos concretos que nos van a interesar son:
n
. 70
f: A R
2
R; K A.
Con las hipotesis asumidas, Fr K esta formada por un n umero nito de arcos de curvas diferenciables
que intersectan en un n umero nito de vertices.
En este caso, el segundo punto del procedimiento se traduce en un problema de extremos condicionados
con una sola ligadura, para cada arco de curva.
f: A R
3
R; K A.
Con las hipotesis asumidas, Fr K esta formada por un n umero nito de supercies diferenciables que
intersectan en un n umero nito de arcos de curvas diferenciables que, a su vez, intersectan en un
n umero nito de vertices.
En este caso, el segundo punto del procedimiento se desglosa en dos partes:
1. Un problema de extremos condicionados con una sola ligadura para cada supercie.
2. Un problema de extremos condicionados con dos ligaduras para cada arco de curva.
Chapter 6
Integracion de funciones escalares en
R
n
6.1 Introduccion
En este captulo se va a generalizar el concepto de integral, ya conocido para funciones de una variable, al
caso de funciones de varias variables (reales); esto es, el concepto de integral m ultiple.
Asi como en una variable la integral de una funcion en un intervalo se interpreta como el area de la region
del plano R
2
entre la graca de la funcion y el intervalo, para funciones de varias variables se puede hacer
una interpretacion analoga y as, las integrales dobles (es decir, de funciones escalares de dos variables)
daran el volumen de una region de R
3
entre la graca de la funcion y la region de R
2
donde se integra.
Esta interpretacion puede extrapolarse a integrales m ultiples en general (esto es, de funciones de un n umero
arbitrario de variables).
De las tres aproximaciones existentes al concepto de integral, Cauchy, Riemann, y Lebesgue, estudiaremos
la segunda (Riemann), aunque debe advertirse que la teora mas completa al respecto es, por descontado, la
de Lebesgue.
El proceso a seguir va a ser el siguiente: se comenzara introduciendo la nocion de integral m ultiple
sobre un rectangulo, para despues considerar otros dominios de integracion mas generales. Seguidamente
se enunciaran y discutiran las propiedades mas importantes de la integracion m ultiple y se contemplara la
generalizacion del concepto de integral impropia en este contexto. En todo momento se prestara especial
atencion al caso de las integrales dobles, por ser las que permiten dar ideas mas intuitivas y las que mas se
van a utilizar. Por descontado, todas las funciones con las que se trabajara son escalares.
6.2 Concepto de integral m ultiple
6.2.1 Integral m ultiple en un rectangulo
Para acceder al concepto de integral m ultiple en un rectangulo se sigue un proceso que es la generalizacion
del correspondiente al caso de una variable.
Denicion 72 Sea N R
n
un rectangulo cerrado. Se denomina volumen, area o medida de N al producto
de las longitudes de sus lados: v(N) :=
i
(b
i
a
i
).
Comentario:
Un volumen en R es, obviamente, la longitud del correspondiente intervalo, mientras que en R
2
es el
71
n
. 72
area del rectangulo en cuestion.
Denicion 73 Sea N R
n
un rectangulo cerrado. Se denomina particion P de N al producto cartesiano
de particiones de los lados del rectangulo; es decir, P = (P
1
, . . . , P
n
), donde P
i
es una particion del intervalo
[a
i
, b
i
] R.
Dadas dos particiones P y P
de N, se dice que P es mas na que P
(o que P
es mas gruesa que P)

si P
P.
Una particion de un rectangulo divide este en subrectangulos N
j
. De este modo, P es mas na que P
si
todo subrectangulo de P
se obtiene por union de subrectangulos de P. Tambien es evidente que, dadas dos

particiones, siempre hay otra que es mas na que ambas (p. ej., la que se obiene al hacer la union de ellas),
de la cual se dice que es un renamiento de las anteriores.
En adelante, sea N R
n
un rectangulo cerrado, P una particion y f: N R una funcion acotada en N.
Evidentemente, f esta acotada en cada uno de los rectangulos de la particion; por tanto se pueden denir
m
j
(f) := inf{f(x) , x N
j
} M
j
(f) := sup{f(x) , x N
j
}
Entonces:
Denicion 74 Se denominan suma superior y suma inferior de f en N referidas a la particion P respecti-
vamente a
S(f, P) :=
N
j
P
M
j
(f)v(N
j
) s(f, P) :=
N
j
P
m
j
(f)v(N
j
)
A partir de estas deniciones y comentarios, es facil demostrar que:
Proposicion 45 1. Si P y P
son particiones de N y P es mas na que P
, entonces:
s(f, P
) s(f, P) S(f, P) S(f, P
).
2. Si P y P
son particiones cualesquiera de N, entonces

s(f, P
) S(f, P).
(es decir, cualquier suma inferior es menor o igual que cualquier suma superior, independientemente
de la particion que se tome).
Consideradas todas las posibles particiones de un rectangulo, es obvio que el conjunto de las sumas
superiores e inferiores esta acotado. En efecto, una cota inferior (el nmo) es la suma inferior correspondiente
a la particion trivial (el propio rectangulo), que es mv(N), con m := min{f(x) / x N}; mientras que una
cota superior (el supremo) es la suma superior en esta misma particion, Mv(N), con M := max{f(x) / x
N}. Entonces, el conjunto de las sumas inferiores y el de las sumas superiores tambien estan acotados, luego
tienen supremo e nmo respectivamente. Ello permite denir:
Denicion 75 Se denominan integral superior e integral inferior de f en N al nmo de las sumas superiores
y al supremo de las sumas inferiores de f en N, respectivamente:
N
f := inf{S(f, P)} , P
N
f := sup{s(f, P)} , P
Puede probarse (por reduccion al absurdo) que la integral inferior es menor o igual que la superior.
Entonces:
n
. 73
Denicion 76 f es integrable (en el sentido de Riemann) en N si las integrales superior e inferior de f
en N son iguales:
N
f =
N
f := I
En tal caso, el n umero real I se denomina integral (de Riemann) de f en N
1
:
I :=
N
f
Comentario:
Para las integrales dobles, triples, etc., se emplea muy habitualmente la siguiente notacion:

N
f ,

N
f
o tambien (Leibnitz)

N
f(x, y)dxdy ,

N
f(x, y, z)dxdydz
Utilizando la misma tecnica de demostracion que en una variable, se prueba el siguiente aserto:
Teorema 13 Sea N R
n
y f: N R
n
acotada. La c.n.s. para que f sea integrable en N es que, R
+
,
exista alguna particion P tal que S(f, P) s(F, P) < .
6.2.2 Medida y contenido cero
Para abordar la generalizacion del concepto de integral m ultiple a regiones mas generales, es necesario
introducir ciertas nociones previas.
n
.
Un recubrimiento de A es un conjunto (no necesariamente nito) de conjuntos {U
1
, U
2
, . . .}, U
i
R
n
,
cuya union contiene a A.
A tiene medida cero si, R
+
, existe un recubrimiento por rectangulos cerrados, {N
i
}, tal que
i=1
v(N
i
) <
Comentarios:
En la denicion pueden sustituirse los intervalos cerrados por abiertos.
Es evidente que si un conjunto A tiene medida cero, entonces cualquier subconjunto B A tambien
tiene medida cero.
Es tambien obvio que la union nita de conjuntos de medida cero tiene medida cero. Si la union es de
un n umero innito se tiene el siguiente resultado:
Teorema 14 La union de un n umero innito pero numerable de conjuntos de medida cero tiene medida
cero.
1
A la misma nocion de integral se llega usando la generalizacion del concepto de suma de Riemann para funciones de varias
variables en un rectangulo, en vez de los de suma superior e inferior aqu empleados.
n
. 74
(Dem.) Si A =
i=1
A
i
, como cada A
i
tiene medida cero, se pueden tomar recubrimientos
{N
1
j
} de A
1
con
j
v(N
1
j
) < /2
{N
2
j
} de A
2
con
j
v(N
2
j
) < /2
2
. . . . . . . . . . . . . . . . . .
{N
i
j
} de A
i
con
j
v(N
i
j
) < /2
i
. . . . . . . . . . . . . . . . . .
con lo que v(A) =
i
v(A
i
) <
i
/2
i
=
Ejemplos:
Teniendo en cuenta lo anterior, se comprueba facilmente que:
Un punto tiene medida cero.
Todo conjunto con un n umero nito de puntos tiene medida cero.
Todo conjunto con un n umero innito pero numerable de puntos tiene medida cero
2
.
n
. A tiene contenido cero si, R
+
, existe un recubrimiento nito
por rectangulos cerrados, {N
i
}
i=1,...,n
, tal que
n
i=1
v(N
i
) <
Comentarios:
En la denicion pueden sustituirse los intervalos cerrados por abiertos.
Es evidente que si un conjunto A tiene contenido cero, entonces cualquier subconjunto B A tambien
tiene contenido cero.
Un segmento de recta en R (es decir, [a, b] R) no tiene contenido cero ni medida cero (ya que
v([a, b]) = b a). S lo tiene cuando se considera como subconjunto de R
n
(n > 1).
Obviamente, si A tiene contenido cero, entonces tiene medida cero. El recproco no es cierto, en general
(p. ej., Q en R). Sin embargo:
Proposicion 46 Si A es compacto y tiene medida cero entonces tiene contenido cero.
(Dem.) Inmediato teniendo en cuenta que todo conjunto compacto se caracteriza porque de todo recubrim-
iento del mismo se puede extraer alg un recubrimiento nito.
Ejemplos:
Todo conjunto con un n umero nito de puntos tiene contenido cero.
Como caso especialmente interesante se tiene:
Proposicion 47 La graca de toda funcion continua en un compacto K R
n
tiene contenido cero en R
n+1
(y, por tanto, medida cero).
(Dem.) En efecto, f continua en K f uniformemente continua en K, luego

v(K)
R
+
, R
+
, tal
que
| x
1
x
2
|< | f(x
1
) f(x
2
) |<

v(K)
por tanto, la suma de las areas de los rectangulos es menor que

v(K)
v(K) = .
2
Como casos particulares, en R, el conjunto de los n umeros racionales Q tiene medida cero y, por consiguiente, tambien el
de los enteros Z y los naturales N.
n
. 75
6.2.3 Funciones integrables en un rectangulo
Existen ciertos tipos de funciones para las que puede probarse su integrabilidad. En concreto se tiene que:
Proposicion 48 Toda funcion continua en un rectangulo cerrado N es integrable en el.
(Dem.) La demostracion es la misma que en el caso de una variable y se basa en el hecho de que toda
funcion continua en un compacto es uniformemente continua en el.
Sobre funciones no continuas, se puede dar el siguiente resultado:
Teorema 15 (Lebesgue) Sea N R
n
un rectangulo cerrado, f: N R una funcion acotada en N y D N
el conjunto de puntos de discontinuidad de f. f es integrable (en el sentido de Riemann) en N si, y solo si,
D tiene medida cero.
(Dem.) La demostracion utiliza el concepto de oscilacion de la funcion. (Vease M. Spivak: Calculo en
variedades, p. 49 51).
Teniendo en cuenta que contenido cero implica medida cero, se obtiene como corolario inmediato del
teorema precedente el siguiente resultado:
Corolario 7 Sea N R
n
un rectangulo, f: N R una funcion acotada en N y A N el conjunto de
puntos de discontinuidad de f. Si A tiene contenido cero, entonces f es integrable en N.
6.2.4 Integral m ultiple en una region mas general
Hasta el momento solo se han tratado integrales de funciones acotadas sobre rectangulos. Sin embargo, se
pueden considerar regiones de integracion mas generales, pero acotadas. Estos casos se reducen al anterior
siguiendo el procedimiento que, a continuacion, se describe.
Denicion 79 Sea A R
n
una region acotada, f: A R acotada, y N R
n
un rectangulo tal que A N.
Se dene la funcion
f(x) :=
f(x) si x A
0 si x A
Entonces, la integral (de Riemann) de f en A (si existe) es
A
f :=
f
Es evidente que, si f es integrable en N, entonces lo es tambien en A y, obviamente, los puntos de
discontinuidad de

f en N son los puntos de discontinuidad de f en A y, eventualmente, los de Fr A. Entonces:
n
una region acotada y f: A R
n
R. Si FrA tiene medida cero y el conjunto
de puntos de discontinuidad de f en A tiene medida cero entonces f es integrable en A.
En particular, si FrA tiene medida cero y f es continua en IntA, entonces es integrable en A.
(Dem.) Es una consecuencia directa del teorema de Lebesgue y del comentario precedente.
Comentario:
Es evidente que la extension del concepto de integral que se acaba de dar es independiente del rectangulo
N elegido, ya que

f es nula fuera de A.
n
. 76
Denicion 80 Un conjunto A R
n
acotado se dice que es medible de Jordan si su frontera tiene medida
cero.
En tal caso, la integral
A
1 (cuya existencia esta garantizada en virtud de los enunciados precedentes)
se denomina medida, area o volumen de A.
Nota:
En este curso, todas las regiones acotadas con las que se trabajara seran aquellas cuya frontera esta for-
mada por (porciones de) gracas de funciones continuas sobre compactos (e.d.; curvas, supercies,. . .)
que, eventualmente, intersectan entre s. Consecuentemente, todas ellas son regiones medibles de
Jordan.
As, p. ej., en R
2
, las unicas regiones que se van a considerar son las siguientes:
Regiones de tipo I: estan denidas como:
A := {(x, y) R
2
| a x b ,
1
(x) y
2
(x)}
Regiones de tipo II: estan denidas como:
A := {(x, y) R
2
| c y d ,
1
(y) x
2
(y)}
Regiones de tipo III: Son, a la vez del tipo I y del tipo II, luego estan denidas simultaneamente
como:
A := {(x, y) R
2
| a x b ,
1
(x) y
2
(x)}
= {(x, y) R
2
| c y d ,
1
(y) x
2
(y)}
Para dimension n > 2 la generalizacion de estos tipos es obvia.
6.3 Propiedades de la integral m ultiple
6.3.1 Primeras propiedades
Es inmediato probar que, igual que en el caso de una variable, la integracion de funciones de varias variables
tiene las propiedades de linealidad, monotona y aditividad; esto es:
Proposicion 50 (Linealidad). Si f y g son funciones integrables en A y , R, entonces f g es
integrable en A y

A
f g =
A
f
A
g
Proposicion 51 (Monotona). Si f y g son funciones integrables en A y f g en A entonces
A
f
A
g
Proposicion 52 (Aditividad). Si f es integrable en A
1
y A
2
, entonces f es integrable en A
1
A
2
y
A
1
A
2
f =
A
1
f +
A
2
f
A
1
A
2
f
Tambien, siguiendo las pautas de la demostracion del correspondiente teorema para funciones de una
variable, se puede probar:
Teorema 16 (del valor medio). Sea A R
n
y f: R una funcion continua en A. Entonces x
0
A tal
que

A
f = f(x
0
)v(A)
n
. 77
6.3.2 Funciones denidas por integrales. Teorema de Leibnitz (derivacion bajo
el signo integral)
Igual que suceda con el caso de funciones de una variable, existen funciones de varias variables que estan
denidas por medio de integrales. En este apartado se va a hacer un rapido estudio de las principales
propiedades que conciernen a este tipo de funciones, ya que dichas propiedades van a ser inmediatamente
utilizadas para explorar nuevas caractersticas de las integrales m ultiples.
La situacion mas general de interes que se va a presentar es la siguiente:
Denicion 81 Sean las funciones
1

1
(x
1
, . . . , x
n
),
2

2
(x
1
, . . . , x
n
) y
f : A R
m
R
(x
1
, . . . , x
m
) f(x
1
, . . . , x
m
)
con 0 < m n + 1. Se denomina integral dependiente de (n) parametros a la funcion (si existe)
(x
1
, . . . , x
n
) :=

2
(x
1
,...,x
n
)
1
(x
1
,...,x
n
)
f(x
1
, . . . , x
m
)dx
m
Comentario:
Como caso particular, si f: A R R,
2

2
(x) y
1

1
(x) = a R, se obtiene
(x) :=

2
(x)
a
f(t)dt
que es la funcion area del Calculo de una variable cuando
2
(x) = x.
El primer resultado que vamos a analizar concierne a la continuidad de estas funciones.
Proposicion 53 En las condiciones de la denicion 81, si se cumplen las siguientes hipotesis:
1. A Domf es compacto.
2. f es continua en A
3.
i
(i = 1, 2) son funciones continuas.
Entonces la funcion esta denida y es una funcion (uniformemente) continua en su dominio.
(Dem.) Por simplicidad haremos la prueba para el siguiente caso particular
3
: f: A R
2
R, A
[a, b] [c, d],
i
: R R con Im
i
[a, b], (i = 1, 2). Por ser A compacto, f es uniformemente continua en
A, luego, > 0, > 0, tal que, si P, Q A y |P Q| < , entonces |f(P) f(Q)| < . Sean , [a, b],
con | | < , entonces
|() ()| :=
b
a
f(, y)dy
b
a
f(, y)dy
b
a
|f(, y) f(, y)|dy < |b a|
(pues |(, y), (, y)| < ). Luego es uniformemente continua en [c, d] y, por tanto, continua.
Sobre la cuestion de la diferenciabilidad, analizaremos unicamente el problema del calculo de las derivadas
parciales de estas funciones. El resultado al respecto es:
3
La demostracion en el caso general diere en cuestion de matices concernientes a los dominios de las funciones que intervienen
en la denicion.
n
. 78
Teorema 17 (de Leibnitz): En las condiciones de la denicion 81, si se cumplen las siguientes hip otesis:
1. f es una funcion de clase C
1
.
2.
i
(i = 1, 2) son funciones continuas cuyas derivadas parciales

i
x
j
existen j = 1, . . . , n.
Entonces la funcion tiene derivadas parciales y
x
j
=

2
(x
1
,...,x
n
)
1
(x
1
,...,x
n
)
f
x
j
dx
m
+f(x
1
, . . . , x
m
=
2
(x
1
, . . . , x
n
))
2
x
j
f(x
1
, . . . , x
m
=
1
(x
1
, . . . , x
n
))
1
x
j
(Esta expresion recibe el nombre de formula de Leibnitz).
( Dem. ) Por simplicidad haremos la prueba para el siguiente caso particular: f: A R
2
R, A
[a, b] [c, d],
1

1
(x) = a y
2

2
(x) con Im
2
[a, b].
Sea [a, b]; vamos a calcular
(). Se tiene que

(x)

2
(x)
a
f(x, y)dy =

2
()
a
f(x, y)dy +

2
(x)
2
()
f(x, y)dy
1
(x) +
2
(x)
Entonces
1
(x) =

2
()
a
f(x, y)
x
dy
mientras que para
2
se tiene que
2
( +h)
2
()
h
=
1
h

2
(+h)
2
()
f( +h, y)dy

2
()
2
()
f(, y)dy
= ()
y usando el teorema de la media integral, (
2
(),
2
( +h)) tal que
() =
1
h
[f( +h, )(
2
( +h)
2
())] = f( +h, )
2
( +h)
2
()
h
h0
f(,
2
())
2
()
y de ah el resultado.
Comentarios:
El problema de estudiar la diferenciabilidad de se reduce ahora a comprobar la condicion de tangencia.
En los casos particulares en que m n, si f no depende de la variable x
j
(respecto a la cual se deriva),
es obvio que el primer sumando no existe.
En concreto, en el caso particular anteriormente se nalado en que
(x) :=
x
a
f(t)dt
la formula de Leibnitz se reduce a la formula de Barrow del caso de una variable.
El problema de la integracion de este tipo de funciones va a ser tratado en el siguiente apartado, donde
se va a analizar el metodo de resolucion de integrales m ultiples por iteracion.
n
. 79
6.3.3 Calculo de integrales m ultiples por iteracion: Teorema de Fubini
Vamos a abordar ya el problema del calculo de integrales m ultiples de forma practica. A n de simplicar
la exposicion, estudiaremos con detalle el caso de funciones de dos variables, esto es, de integrales dobles, ya
que la generalizacion para un n umero mayor de variables es inmediata.
Comenzaremos enunciando el teorema de Fubini para integrales dobles en regiones de integracion rect-
angulares.
Teorema 18 (Fubini). Sea N := [a, b] [c, d] y f: N R una funcion acotada e integrable en N.
1. Si la funcion (x) :=
d
c
f(x, y)dy existe x [a, b], entonces la integral
b
a
(x)dx existe y
N
f =
b
a
(x)dx :=
b
a
d
c
f(x, y)dydx
2. Si la funcion (y) :=
b
a
f(x, y)dx existe y [c, d], entonces la integral
d
c
(y)dy existe y
N
f =
d
c
(y)dy :=
d
c
b
a
f(x, y)dxdy
3. Si todas las condiciones se cumplen simultaneamente, se tiene que
4
N
f =
b
a
d
c
f(x, y)dydx =
d
c
b
a
f(x, y)dxdy
Estas integrales reciben el nombre de integrales iteradas.
(Dem.) La demostracion es larga. Daremos aqu una version particular para el caso en que f sea una
funcion continua en N.
Si f es continua en N, entonces
N
f existe y (x) y (y) son funciones continuas en sus intervalos de
denicion, de acuerdo con la proposicion 53. Considerense, ahora, las funciones
F(t) :=
t
c
b
a
f(x, y)dxdy , G(t) :=
b
a
t
c
f(x, y)dydx
que estan bien denidas por ser f continua y en virtud del lema anterior. Se observa que F(c) = G(c) y,
ademas, F
(t) = G
(t), ya que, de acuerdo con el teorema de Barrow,

F
(t) =
b
a
f(x, t)dx
y por el teorema de Leibnitz,
G
(t) =
b
a
t
c
f(x, y)dy
dx =
b
a
f(x, t)dx
De ambas igualdades se deduce que F(t) = G(t) y, por consiguiente, que F(d) = G(d), que es el resultado
que se quera probar
4
Es habitual utilizar tambien la siguiente notacion
b
a
(x)dx :=
b
a
dx
d
c
f(x, y)dy
y lo mismo para la integral de (y).
n
. 80
Interpretacion geometrica:
La justicacion geometrica del teorema se basa en el denominado principio de Cavalieri para el calculo
de vol umenes: tal como ya se indico,
N
f es el volumen comprendido entre el rectangulo N y la graca de
f; pero, por otra parte, (x) :=
d
c
f(x, y)dy es el area de la seccion transversal a la direccion 0Y en cada
punto del eje, por tanto (x)dx es el volumen de una lamina innitesimal transversal a dicho eje, por lo que
b
a
(x)dx sera el volumen total.
La interpretacion en la direccion 0X es analoga.
El teorema de Fubini para integrales dobles en regiones de integracion no rectangulares se enuncia como
sigue:
Teorema 19 (Fubini generalizado). Sea A R
n
y f: N R una funcion acotada e integrable en A
(acotada).
1. Si A es una region de tipo I y la funcion (x) :=

2
(x)
1
(x)
f(x, y)dy existe x [a, b] entonces existe
tambien la integral
b
a
(x)dx y se verica que
A
f =
b
a
(x)dx =
b
a

2
(x)
1
(x)
f(x, y)dydx
2. Si A es una region de tipo II y la funcion (y) :=

2
(y)
1
(y)
f(x, y)dx existe y [c, d] entonces existe
tambien la integral
d
c
(y)dy y se verica que
A
f =
d
c
(y)dy =
d
c

2
(y)
1
(y)
f(x, y)dxdy
3. Si A es una region de tipo III y las condiciones anteriores se verican simultaneamente, entonces
A
f =
b
a

2
(x)
1
(x)
f(x, y)dydx =
d
c

2
(y)
1
(y)
f(x, y)dxdy
Comentarios:
El teorema de Fubini permite reducir el calculo de integrales dobles al calculo de dos integrales simples
iteradas; es decir, a integrar sucesivamente respecto a cada una de las dos variables, sin importar el
orden en que se haga, si se esta en el caso 3. En este ultimo caso es, pues, un teorema de invariancia
respecto al intercambio en el orden de integracion.
La generalizacion del teorema al caso de integrales de funciones de mas variables es obvia: bajo las
condiciones correspondientes, la integral m ultiple se obtiene integrando sucesivamente respecto a cada
una de las variables, sin importar el orden en que se haga, en el mejor de los casos. En este sentido,
el teorema de Fubini permite reducir el calculo de integrales m ultiples al calculo de integrales simples
iteradas.
En muchas ocasiones, evaluar la integral m ultiple integrando en un cierto orden puede ser mas facil
que hacerlo en otro orden distinto. Incluso puede darse el caso de que realizar la integracion en un
orden no sea factible (por no existir alguna de las integrales iteradas intermedias o por no saber hallar
alguna primitiva), pero s lo sea en otro orden diferente.
n
. 81
6.3.4 Cambio de variable
En el problema del calculo de primitivas de funciones de una variable es muy habitual realizar cambios
de variables que reducen la dicultad de la integracion, al cambiar la funcion del integrando por otra mas
sencilla. As, si f: R R es integrable en [a, b] y g: R R es una funcion de clase C
1
, se tiene que
b
a
f =
d
c
(f g)g
:=
d
c
F
donde a = g(c) y b = g(d), y si g es inyectiva (cambio de variable), entonces
b
a
f =
d
c
(f g)|g
|
Este es basicamente el enunciado del teorema del cambio de variable para integrales de funciones de una
variable.
La generalizacion de este resultado a la integracion de funciones de varias variables es el siguiente:
Teorema 20 (del cambio de variables). Sea g: A R
n
R
n
una funcion inyectiva de clase C
1 5
y
f: g(A) R R integrable en g(A), entonces f g es integrable en A y
g(A)
f =
A
(f g)|det(Jg)|
(Dem.) (Vease M. Spivak: Calculo en variedades, p. 62 67).
Comentario:
El resultado anterior es cierto aun cuando g no sea inyectiva, siempre y cuando ello suceda en un
conjunto de puntos de medido cero.
Interpretacion geometrica:
Puede demostrarse que el valor absoluto del jacobiano |det(Jg)| de una transformacion es una medida de
como dicha transformacion distorsiona el volumen de la region de R
n
sobre la que se aplica dicha transfor-
macion; esto es, v(g(A)) = |detJg|v(A).
En efecto, se va a demostrar en el caso de funciones de dos variables. Sea la transformacion
g: A R
2
R
2
(u, v) (x x(u, v), y y(u, v))
Considerese un punto (u, v) A y otro, tan proximo a el como se desee, (u + du, v + dv) A. Tenemos
denido el rectangulo elemental N
0
con dos vertices en estos puntos y lados determinados por los vectores
(du, 0) y (0, dv), cuya area es, pues, dA = dudv. Bajo la accion de g, esta region se transforma en g(N
0
).
Veamos como ha cambiado el area de N
0
por efecto de esta transformacion, calculando el area de g(N
0
).
Una aproximacion al area buscada se obtiene del siguiente modo: calculando la imagen de (u+du, v+dv)
por medio de la aproximacion lineal de g, se obtiene
g(u + du, v + dv) g(u, v) + Jg(u, v)
du
dv
x
y
x
u
(u, v)du +
x
v
(u, v)dv
y
u
(u, v)du +
y
v
(u, v)dv
5
En algunas versiones del teorema se a nade la hipotesis de que |det(Jg(x))| = 0, x A. Sin embargo, se puede demostrar
que, con el resto de las hipotesis sobre la funcion g:
si C := {x A | |det(Jg(x))| = 0}, entonces g(C) tiene medida cero (teorema de Sard),
lo cual hace que dicha hipotesis sea superua.
n
. 82
y, de este modo, se obtiene un paralelogramo con dos vertices en el punto (x, y) = g(u, v) y en el punto
imagen por la aproximacion lineal, y lados determinados por los vectores
T
u
:=
x
u
(u, v),
y
u
(u, v)
du , T
v
:=
x
v
(u, v),
y
v
(u, v)
dv
Como ya es sabido, el area de un paralelogramo es, precisamente, el determinante de la matriz cuyos elementos
son las componentes de los vectores que delimitan sus lados, luego, en este caso, es
dA
= |detJg(u, v)|dudv = |detJg(u, v)|dA (6.1)

que es el valor aproximado del area de la region g(N
0
)
6
; por consiguiente, se ha demostrado lo que se
pretenda
7
.
Hecha esta observacion, el resultado del teorema se justica de forma inmediata. En efecto, se trata de
obtener
g(A)
f(x, y)dxdy en funcion de u, v. Observemos que (dx, dy) es la variacion de la funcion g al
pasar de evaluarla en el punto (u, v) al punto (u + du, v + dv). Por tanto, el producto dxdy determina el
area de la region transformada; esto es, dA
, por lo que, basta tener en cuenta la expresion (6.1) para llegar

al resultado enunciado.
Ejemplos:
Coordenadas polares: |detJg| = r.
Coordenadas cilndricas: |detJg| = r.
Coordenadas esfericas: |detJg| = r
2
sin , (0 ).
6.4 Integrales impropias
6.4.1 Funcion no acotada en el entorno de un punto
Se trata, ahora, de generalizar el concepto de integral impropia de primera especie del calculo en una variable
al caso de integrales m ultiples. La situaci on es la siguiente:
Denicion 82 Sea A R
n
una region acotada y f: A R una funcion acotada en A salvo en el entorno
B
r
(p) de un punto p A, y tal que f es integrable en cualquier region A B
r
(p). La integral
A
f es una
integral impropia (de primera especie). Entonces:
1. La integral
A
f existe y converge si existe el lmite lim
r0
AB
r
(p)
f . En tal caso el valor de dicho
lmite es, por denicion, el valor de esa integral.
2. La integral
A
f existe pero no converge (diverge) si lim
r0
AB
r
(p)
f = .
3. La integral
A
f no existe si no existe lim
r0
AB
r
(p)
f .
6
Si el jacobiano es nulo signica que los vectores T
u
y T
v
son paralelos; es decir, la region se transforma en una curva en el
entorno del punto en cuestion.
7
Para una region no elemental el resultado es el mismo, ya que las areas totales se obtendran integrando las areas elementales
que se acaban de obtener sobre toda la region.
n
. 83
6.4.2 Region de integracion no acotada
De manera analoga se generaliza el concepto de integral impropia de segunda especie del calculo en una
variable al caso de integrales m ultiples. La situacion es, ahora, la siguiente:
Denicion 83 Sea A R
n
una region no acotada y f: A R una funcion de signo constante integrable en
cualquier region B
r
(p) A, para alg un punto p A. La integral
A
f es una integral impropia (de segunda
especie). Entonces,
1. La integral
A
f existe y converge si existe el lmite lim
r
AB
r
(p)
f . En tal caso el valor de dicho
lmite es, por denicion, el valor de esa integral.
2. La integral
A
f existe pero no converge (diverge) si lim
r
AB
r
(p)
f = .
3. La integral
A
f no existe si no existe lim
r
AB
r
(p)
f .
El caso general (integrales impropias de tercera especie) se generaliza de manera obvia, toda vez que es
conocido el procedimiento para una variable.
Chapter 7
Integrales de lnea y de supercie
7.1 Introduccion
Continuando con la teora de la integracion de funciones de varias variables, si en el captulo anterior se trato el
problema de integrar funciones escalares sobre regiones de R
n
, en los dos captulos que siguen a continuacion
se van a tratar algunas situaciones que, de forma inmediata, nos llevaran a considerar la integracion con
funciones vectoriales y, nalmente, nos conduciran a los teoremas fundamentales del Analisis vectorial. Estos
teoremas, que son debidos a G. Stokes, G. Green y K.F. Gauss-M.V. Ostrogadsky , establecen la vinculacion
entre el Calculo diferencial y el Calculo integral en varias variables. Todos tienen importantes aplicaciones
fsicas y, de hecho, tienen su origen en problemas fsicos relacionados con la teora de campos gravitatorios
y electromagneticos, teora del calor e hidrodinamica, por citar algunos.
As, en este captulo, se tratara la cuestion de la integracion de funciones escalares, no sobre regiones
arbitrarias de R
n
en general, sino a lo largo de curvas en R
n
y el caso mas general de la integracion de funciones
vectoriales, a lo largo de curvas (ambos problemas tiene importantes aplicaciones fsicas y tecnicas); es decir,
la nocion de integral de lnea. Ello nos llevara, de forma natural, a retomar algunas cuestiones relacionadas
con los campos conservativos que haban quedado planteadas en la parte del curso sobre Calculo Diferencial.
Tambi se introduciran las integrales de supercie de funciones escalares y vectoriales y sus propiedades y
aplicaciones.
7.2 Integrales de lnea de campos escalares y vectoriales
7.2.1 Longitud de un arco de curva
Antes de entrar en la denicion de integral de lnea, vamos a resolver el problema del calculo de la longitud
de un arco de curva, puesto que estas cuestiones guardan una estrecha relacion entre si.
El problema se resuelve como en el caso de curvas planas (ya estudiado en la asignatura de Calculo
Innitesimal).
Denicion 84 Sea c: I = [a, b] R A R
n
una curva. Sea P {t
0
= a, t
1
, . . . , t
n1
, t
n
= b} una
particion del intervalo I.
1. Se denomina poligonal de c respecto a la particion P a la lnea compuesta por todos los segmentos
rectilneos que unen los puntos c(t
i
), i = 0, . . . , n.
2. Tomando particiones de I cada vez mas nas, se obtienen poligonales compuestas por segmentos cada
vez mas peque nos. Se denomina longitud del arco de curva c al lmite cuando
P
0 de las longitudes
84
n
. 85
de estas poligonales (siendo
P
el diametro de la particion P; esto es, la longitud del subintervalo de
la particion mas largo)
1
.
Teniendo en cuenta esta denicion, se obtiene que:
Proposicion 54 Sea C A R
n
una curva regular (a trozos) y c: I = [a, b] R A R
n
una
parametrizacion regular, con c(t) (x
1
(t), . . . , x
n
(t)). La longitud del arco de curva C es
L(C) :=
b
a
dl =
b
a
c
(t)dt =
b
a
(x
1
(t))
2
+. . . , (x
n
(t))
2
dt (7.1)
(Dem.) Sea P una particion de I cuyo diametro es tan peque no como se desee. Dos puntos t y t + t de
esta particion denen un elemento de (arco de) curva que es el arco de curva comprendido entre los puntos
x = (x
1
(t), . . . , x
n
(t)) y x +x = (x
1
(t +t), . . . , x
n
(t +t)), cuya longitud se aproxima por el segmento
de la correspondiente poligonal y es, por tanto,
l =
(x
1
(t +t) x
1
(t))
2
+. . . , (x
n
(t +t) x
n
(t))
2
pero al ser las funciones x
i
(t) diferenciables, aplicando el teorema del valor medio del calculo diferencial se
tiene que
x
i
(t +t) x
i
(t) = x
i
()t , (t, t +t)
pero
P
0 t 0, entonces t, y resulta
L = lim
t0
l = lim
t0
1
(t)
2
+. . . , x
n
(t)
2
t =
b
a
c
(t)dt
donde se ha tenido en cuenta la denicion de integral.
Comentario:
Puede demostrarse que este resultado es independiente de la parametrizacion elegida.
Denicion 85 Sea c: I = [a, b] R A R
n
una curva regular (a trozos) y (x
1
(t), . . . , x
n
(t)) una
parametrizacion de la misma. Se denomina vector diferencial de longitud de arco al vector
dl := c
(t)dt = uc
(t)dt := udl
(donde u =
c
(t)
c
(t)
es el vector tangente unitario); con lo que
L(C) :=
b
a
dl =
b
a
dl
7.2.2 Integral de lnea de un campo escalar. Propiedades
En el captulo anterior hemos denido la integral de funciones escalares sobre regiones de R
n
. Una situacion
diferente pero particularmente interesante (por sus aplicaciones) se presenta cuando se tiene una curva en
el dominio de la funcion y se trata de integrar la funcion a lo largo de dicha curva. Este concepto surge, de
hecho, como una generalizacion de la expresion obtenida en el apartado anterior, que permita determinar
la longitud de un arco de curva. As, algunos problemas geometricos y fsicos que dan lugar a este tipo de
integrales son los siguientes:
Calculo del area de una supercie cuya base es la graca de una curva c(t) y cuya altura en cada punto
de la base esta dada por una funcion f(x) (x R
2
).
1
La identicacion que hace esta denicion de la longitud de un arco de curva con la del lmite de las longitudes de poligonales
recibe el nombre de recticacion del arco de curva.
n
. 86
Calculo de la masa de un alambre cuya forma esta dada por la graca de una curva c(t) y su densidad
es una funcion f(x) (x R
n
, n = 2 o n = 3).
Con vistas a la resolucion de este tipo de cuestiones y para poder precisar que se entiende por la nocion
de integral de una funcion a lo largo de una curva, vamos a tomar como punto de partida el primer problema,
que es el que da una interpretacion geometrica sobre la que razonar.
Proposicion 55 Sea una funcion f: A R
n
R y una curva parametrizada regular (a trozos) c: I =
[a, b] R A R
n
. El area de la supercie cuya base es la graca de la curva c y cuya altura en cada
punto de la base esta dada por la funcion f, viene determinada por la siguiente integral (si existe)
b
a
f(c(t))c
(t)dt
(Dem.) El area de cada elemento de supercie que se levanta sobre el correspondiente elemento de arco dl
es dS = f(x)dl = f(c(t))dl, luego integrando sobre todo el arco de curva considerado se obtiene el area total
buscada que, teniendo en cuenta la proposicion 7.1, resulta ser
b
a
f(x
1
(t), . . . , x
n
(t))
1
(t)
2
+. . . +x
n
(t)
2
dt =
b
a
f(c(t))c
(t)dt (7.2)

Denicion 86 Sea una funcion f: A R
n
R y una curva parametrizada diferenciable (a trozos) c: I =
[a, b] R A R
n
Se denomina integral de lnea de la funcion escalar f a lo largo de la curva c o tambien
integral de lnea de primera especie a la siguiente integral (si existe)
C
fdl :=
b
a
f(c(t))c
(t)dt
(donde C Imc). Si c es cerrada se usa la notacion
C
fdl .
Se pueden dar condiciones sucientes que garantizan la existencia de la integral anterior:
n
R y una curva c: I R A R
n
. Si c es regular (a
trozos) y f c es integrable (en particular, si f es continua), entonces existe la integral
C
fdl
2
.
(Dem.) Trivial.
Comentarios:
As pues, el calculo de una integral de lnea de este tipo se reduce al calculo de una integral ordinaria
(de una funcion de una variable) sobre un intervalo.
Como consecuencia, las propiedades de las integrales de lnea de primera especie son las de las integrales
(de Riemann) de funciones de una variable (linealidad, monotona, aditividad del intervalo,. . .).
Como caso particular, tomando la funcion f = 1 en la integral, se obtiene la expresion para calcular
la longitud del arco de curva c.
El resultado de una integral de lnea (esto es, la proposicion 55) no depende ni de la parametrizacion
de la curva ni de su sentido de recorrido (esto es, su orientacion).
2
En tales casos, el calculo explcito de la integral se efect ua por medio de la expresion (7.2).
n
. 87
7.2.3 Integral de lnea de un campo vectorial. Propiedades
Otra situacion distinta pero relacionada con la anterior consiste en integrar una funcion vectorial a lo largo
de una curva denida en el dominio de la funcion.
Hay diversos problemas fsicos que dan origen a este tipo de integrales:
En Mecanica: el problema fsico por excelencia que da lugar a estas integrales es el calculo del trabajo
realizado por un campo de fuerzas sobre una partcula que se mueve a lo largo de una trayectoria.
En teora de uidos: calculo de la componente neta del campo de velocidades de un uido, tangencial
a una lnea de corriente.
En Electromagnetismo: calculo del ujo de corriente electrica en un conductor lineal sometido a un
campo electrico.
Partiendo de la primera interpretacion, vamos a dar una expresion analtica que permita efectuar ese
calculo.
Sea una funcion vectorial f : A R
n
R
n
y una curva diferenciable (a trozos) c: I = [a, b] R
n
A
R
n
. Sea (x
1
(t), . . . , x
n
(t)) una parametrizacion de la curva y P una particion de I cuyo diametro es tan
peque no como se desee. Dos puntos t
i
y t
i
+t de esta particion denen un vector
l
i
:= (x
1
(t
i
+t), . . . , x
n
(t
i
+t)) (x
1
(t
i
), . . . , x
n
(t
i
))
Se construye, entonces, la siguiente suma de productos escalares

i
f (c(t
i
)) l
i
que, en el lmite, denira
una integral

C
f dl := lim
(max l
i
)0
i
f (c(t
i
)) l
i
(7.3)
cuyo resultado, si f representa un campo de fuerzas y c una trayectoria, da (por denicion) el trabajo
realizado.
Denicion 87 Sea una funcion vectorial f : A R
n
R
n
y una curva parametrizada diferenciable (a
trozos) bfc: I = [a, b] R
n
A R
n
. Se denomina integral de lnea de la funcion vectorial f a lo largo de
la curva bfc o tambien integral de lnea de segunda especie a la siguiente integral (si existe)
C
f dl (7.4)
Si bfc es cerrada se usa la notacion
C
f dl .
El resultado de esta integral de lnea se denomina circulacion del campo f a lo largo de C.
Notacion:
Es habitual expresar este tipo de integrales como
c(b)
c(a)
C
f dl
o tambien, de manera mas explcita, si f = (f
1
, . . . , f
n
), teniendo en cuenta que dl = (dx
1
, . . . , dx
n
)
C
f dl :=
C
f
1
dx
1
+. . . f
n
dx
n
A partir de esta denicion se obtiene la expresion para el calculo de estas integrales de lnea:
n
. 88
Proposicion 57 Sea una funcion vectorial f : A R
n
R
n
y una curva diferenciable (a trozos) c: I =
[a, b] R
n
A R
n
. Entonces,
C
f dl :=
b
a
f (c(t)) c
(t)dt
(Dem.) Tomando como punto de partida la expresion (7.3)
C
f dl := lim
(max l
i
)0
i
f (c(t
i
)) l
i
= lim
(max t)0
i
f (c(t
i
))
c(t
i
+t) c(t
i
)
t
t =
b
a
f (c(t)) c
(t)dt
Comentarios:
Como en el caso precedente, el calculo de una integral de lnea de este tipo se reduce al calculo de
una integral ordinaria (de una funcion de una variable) sobre un intervalo. Como consecuencia, las
propiedades de las integrales de lnea de segunda especie son las de las integrales (de Riemann) de
funciones de una variable (linealidad, monotona, aditividad del intervalo,. . .).
La interpretacion del producto escalar que aparece en el integrando, en la proposicion precedente, es
la siguiente: el campo vectorial f asigna, en cada punto c(t), un vector (en R
n
) que se multiplica
escalarmente por el vector tangente a la curva en dicho punto.
A este respecto, debe tenerse en cuenta que el vector tangente en un punto tiene dos orientaciones
posibles. Entonces, para realizar la integral, debe tomarse aquella que coincide con el sentido en que
se recorre la curva.
El resultado de una integral de lnea (esto es, la proposicion 55) no depende de la parametrizacion de
la curva pero s de su orientacion, tal como se desprende del comentario anterior, (ya que al cambiar
el sentido del vector tangente vara el signo del producto escalar del integrando). As pues:
Proposicion 58 La integral de lnea de un campo vectorial es una integral orientada, esto es, su valor
depende del sentido de recorrido de la curva
3
.
(Dem.) Evidente tras los comentarios realizados.
Se pueden dar condiciones sucientes que garantizan la existencia de la integral (7.4):
Proposicion 59 Sea una funcion f : A R
n
R
n
y una curva c: I R A R
n
. Si c es regular (a
trozos) y f c es integrable, en el sentido de que lo son sus funciones componentes, (en particular, si f es
continua), entonces existe la integral
C
f dl .
(Dem.) Trivial.
Finalmente, el calculo de integrales de lnea de campos vectoriales puede reducirse al de integrales de
lnea de campos escalares. En efecto:
n
R
n
y una curva diferenciable (a trozos) c: I =
[a, b] R
n
A R
n
. Entonces
C
f dl :=
b
a
[f (c(t)) u(t)]c
(t)dt
donde u(t) :=
c
(t)
c
(t)
es el vector unitario tangente a c.
3
En particular, cambia de signo al cambiar la orientacion de la curva por su opuesta.
n
. 89
Dem.) Inmediata.
Comentarios:
Esta expresion expresa el hecho de que la integral de lnea de la funcion vectorial f a lo largo de la
curva c es igual a la integral de lnea de la componente tangencial de la funcion vectorial f a lo largo
de dicha curva.
Observese que, para curvas simples, la mencionada componente tangencial f (c(t)) u(t) dene una
funcion escalar en Imc. Si la curva no es simple, esto no es as, pero, aun en este caso, sigue siendo
util la interpretacion dada.
7.3 Integrales de lnea de campos conservativos
7.3.1 Independencia del camino en una integral de lnea
Siguiendo con el tema que nos ocupa, es evidente que, dada una funcion vectorial y dos puntos en su dominio,
el resultado de evaluar la integral de lnea de esta funcion entre esos dos puntos depende, en general, de la
curva que los une. Sin embargo hay casos en que esto no es as. Entonces:
n
R
n
, cuyo dominio A es arco-conexo, y x, y A. La
integral
y
x
f dl es independiente del camino en A si su valor es independiente de la curva C que une los
puntos x e y.
Vamos pues a investigar que tipo de funciones vectoriales son las que tienen la propiedad de que su
integral de lnea entre dos puntos es independiente del camino. Para ello comenzaremos planteandonos la
siguiente cuestion: hay un aspecto de la integracion de funciones de varias variables que hasta el momento
no ha sido analizado y es si existe alguna generalizacion en este ambito del segundo teorema fundamental
del Calculo de la teora de la integral de funciones de una variable. Una respuesta (parcial) a esta cuestion
la da el siguiente teorema:
n
R
n
un campo conservativo; es decir, f = para alguna funcion : A
R
n
R; y tal que:
1. es de clase C
1
.
2. A es abierto y arco-conexo.
Entonces, x, y A, la integral de lnea de f entre x e y es independiente del camino y su valor es
y
x
f dl = (y) (x)
(esto es, solo depende del valor de la funcion potencial en esos puntos).
(Dem.) Se trata de calcular la integral
y
x
f dl =
b
a
(c(t)) c
(t)dt
Por ser A arco-conexo puede tomarse una curva regular cualquiera c: [a, b] R A R
n
, con x = c(a) e
y = c(b). Se construye, entonces, la composicion de funciones:
F: [a, b] R
c
A R
n

R
t c(t) (c(t))
n
. 90
y aplicando la regla de la cadena
F
(t) = D(c(t)) D
t
bfc(t) = (bfc(t)) c
(t) = f (bfc(t)) c
(t)
Por otra parte, F
es una funcion continua, luego el teorema fundamental del Calculo permite expresar
b
a
f (c(t)) c
(t)dt =
b
a
F
(t)dt = F(b) F(a) := (c(b)) (c(a)) = (y) (x)

Si la curva elegida fuera regular solo a trozos, entonces la integral se descompondra en una suma (nita)
de integrales, para cada una de las cuales se aplicara la misma tecnica, llegandose al mismo resultado.
Comentarios:
Notese que, de acuerdo con el teorema 21, el valor de la integral de lnea entre dos puntos de un campo
conservativo es simplemente la diferencia de los valores de la funcion potencial escalar en esos puntos.
En el caso de una variable, toda integral es evaluable, en principio, por medio del calculo de primitivas.
Para campos vectoriales de varias variables la generalizacion de este procedimiento (que sera hallar
una funcion escalar de la cual fuera gradiente y aplicar el teorema precedente) no siempre es factible,
ya que no toda funcion vectorial es un gradiente, como ya sabemos.
De este modo, se acaba de probar que, bajo las hipotesis del teorema, todo campo vectorial conservativo
tiene la propiedad de que su integral de lnea entre dos puntos cualesquiera es independiente del camino.
Podemos, ahora, interrogarnos sobre la certeza del recproco de esta propiedad. La respuesta a la cuestion la
da el siguiente resultado (que enunciamos sin demostracion), que es una generalizacion del primer teorema
fundamental del Calculo:
n
R
n
una funcion vectorial de clase C
1
, con dominio A abierto y arco-conexo
y tal que la integral de lnea de f entre dos puntos cualesquiera de A sea independiente del camino. Sea un
punto jo p A; se dene la funcion escalar : A R
n
R como
(x) :=
x
p
f dl (x A) (7.5)
(integral de lnea a lo largo de cualquier camino regular (a trozos) entre p y x). Entonces f es un campo
vectorial conservativo y
(x) = f (x)
7.3.2 Caracterizacion de campos conservativos mediante integrales de lnea
Los dos ultimos teoremas ponen de relieve la equivalencia entre el hecho de que un campo vectorial sea
conservativo y que su integral de lnea entre dos puntos sea independiente del camino. Esta es, por tanto
una caracterstica esencial para este tipo de funciones vectoriales. Sin embargo, vamos a ver que hay otras
condiciones equivalentes a estas. Vamos a dar, a continuacion, un primer listado de condiciones. As, el
siguiente teorema resume y amplia lo expuesto hasta el momento.
n
R
n
1
, con dominio A abierto y arco-conexo.
Las siguientes condiciones son equivalentes:
1. f es el gradiente de alg un campo escalar (esto es, tiene funcion potencial escalar):
f (x) = (x)
2. La integral de lnea de f entre dos puntos cualesquiera de A es independiente del camino.
n
. 91
3. La integral de lnea de f a lo largo de cualquier curva cerrada regular (a trozos) contenida en A es
nula:

C
f dl = 0 , C cerrada | Imc A
En adelante se denominara campo conservativo a cualquier campo vectorial (de clase C
1
con dominio arco-
conexo) que satisfaga estas condiciones.
(Dem. Probaremos que (1) (2) y que (3) (2).
(1) (2): (1) (2) es una consecuencia directa del teorema 21. (2) (1) es el teorema 22.
(3) (2): Sea C un camino cerrado cualquiera en A. Realizando una particion de C en dos caminos
C
1
y C
2
, se tiene que:
0 =
C
f dl =
C
1
f dl +
c
2
f dl =
y
x C
1
f dl +
x
y
C
2
f dl
y
x C
1
f l =
x
y
C
2
f dl =
y
x C
2
f dl
y como el resultado es valido c cerrado, lo es tambien x, y y C
1
, C
2
, lo cual quiere decir que la
integral de lnea entre dos puntos cualesquiera es independiente del camino.
El recproco se obtiene invirtiendo el razonamiento.
7.3.3 Determinacion de funciones potenciales escalares mediante integrales de
lnea
Teniendo en cuenta las propiedades que se acaban de analizar, dado un campo conservativo f (f
1
, . . . , f
n
),
el calculo de una funcion potencial escalar puede efectuarse tambien por aplicacion de la formula (7.5):
(x) =
x
p
f dl =
x
p
f
1
dx
1
+. . . +f
n
dx
n
El resultado depende, obviamente, del punto p elegido que es el origen de potencial y, por tanto, es en la
eleccion de dicho punto donde reside la arbitrariedad en la determinacion de la funcion potencial en este
metodo.
7.4 Integrales de supercie de campos escalares y vectoriales
7.4.1

Area de una supercie
Del mismo modo que el estudio de las integrales de lnea comenzo obteniendo previamente la expresion para
la determinacion de la longitud de un arco de curva, nos introduciremos en el analisis de las integrales de
supercie deduciendo la expresion para el calculo del area de una porcion de supercie (parametrizada).
Proposicion 61 Sea : D R
2
R
3
una supercie regular (a trozos). El area de la supercie S := Im
es
A(S) =
D
T
u
T
v
dudv =
(y, z)
(u, v)
2
+
(z, x)
(u, v)
2
+
(x, y)
(u, v)
2
dudv
n
. 92
(Dem.) Sea el rectangulo elemental N D con vertices en los puntos (u, v), (u + du, v), (u, v + dv) y
(u+du, v +dv), cuya area, por consiguiente, es dudv. Se trata de calcular el area del elemento de supercie
(N), que denotaremos dS. Una aproximacion al valor de dicha area se obtiene de la siguiente forma:
utilizando la aproximacion lineal resulta que
(u + du, v) (u, v) J
(u,v)
u + du
v
u
v
=
_
_
x
u
y
u
z
u
_
_
du = T
u
du
(u, v + dv) (u, v) J
(u,v)
u
v + dv
u
v
=
_
_
x
v
y
v
z
v
_
_
dv = T
v
dv
de modo que, en el plano tangente a S en (u, v), se tiene un paralelogramo que, con vertice en (u, v), tiene
como lados los vectores T
u
du y T
v
dv, cuya area es una aproximacion a dS y su valor es, por consiguiente,
dS T
u
T
v
dudv
Como consecuencia de esto, y teniendo en cuenta la denicion de integral y la expresion explcita del producto
vectorial fundamental, dada en la denici on 52, se obtiene de inmediato el resultado anunciado.
Comentarios:
Con esta demostracion se acaba de dar otra interpretacion geometrica al producto vectorial fundamen-
tal: su modulo es el factor de amplicacion entre el area de un rectangulo elemental en el dominio de
una supercie, y el area del elemento de supercie imagen de dicho rectangulo.
A partir de este resultado se pueden obtener las correspondientes expresiones para el calculo del area
cuando la supercie esta dada en forma explcita o implcita:
Corolario 8 Sea S una supercie regular (a trozos).
1. Si la supercie esta dada en forma explcita,
f: A R
2
R , S = {(x, y, z) R
3
| (x, y) A, z = f(x, y)}
entonces
A(S) =
1 +
f
x
2
+
f
y
2
dxdy
2. Si la supercie esta dada en forma implcita,
F: B R
3
R , S := {(x, y, z) R
3
| F(x, y, z) = k}
y se cumplen las hipotesis del teorema de la funcion implcita, existiendo localmente la funci on z =
f(x, y) tal que F(x, y, f(x, y)) = 0, con dominio A
R
2
, entonces
A(S) =
F
x
2
+
F
y
2
+
F
z
2
|
F
z
|
dxdy
(Dem.) Basta tener en cuenta las expresiones del producto vectorial fundamental para estos casos.
Casos particulares:
Si la supercie esta dada en forma explcita y su graca esta contenida en un plano paralelo al plano
coordenado XY (donde se halla el dominio de la funcion), entonces
f
x
=
f
y
= 0 y queda
A(S) =
A
dxdy
que es la conocida expresion para el calculo del area de una supercie contenida en dicho plano coor-
denado.
n
. 93
Si la supercie esta dada en forma explcita y su graca esta contenida en un plano que forma un
angulo con el plano coordenado XY (donde se halla el dominio A de la funcion), entonces
A(S) =
A
dxdy
cos
=
A(A)
cos
Denicion 89 Sea : D R
2
R
3
una supercie regular. Se denomina vector diferencial de supercie al
vector
dS := (T
u
T
v
)dudv = nT
u
T
v
dudv := ndS
(donde n es el vector normal unitario); con lo que
A(S) :=
D
dS =
D
dS
7.4.2 Integral de supercie de un campo escalar. Propiedades
Estamos ya preparados para introducir la nocion de integral de una funcion escalar sobre una supercie. Al
igual que las integrales de lnea de funciones escalares eran una generalizacion de la expresion que daba la
longitud de un arco de curva, las integrales de funciones escalares sobre supercies lo son de la que determina
el area de una supercie. De cualquier modo, hay tambien toda una diversidad de problemas en Geometra
y Fsica que dan origen a este tipo de integrales:
El ya mencionado calculo de areas.
Calculo del volumen de una region en R
3
, que se levanta sobre una supercie, y cuya altura en cada
punto esta dada por el valor que toma una funcion escalar en ese punto.
Calculo de masas de guras bidimensionales de densidad supercial variable y, por extension, calculo
de centros de masa y de gravedad.
Calculo de momentos de inercia de guras planas respecto a ejes coplanarios con ellas.
As pues, por analoga con las integrales de lnea, se dene:
Denicion 90 Sea una funcion f: A R
3
R y una supercie (parametrizada) regular (a trozos) : D
R
2
R
3
tal que S Im A. Se denomina integral de supercie de la funcion escalar f sobre la supercie
S o tambien integral de supercie de primera especie a la siguiente integral (si existe)
S
fdS :=
D
f((u, v))T
u
T
v
dudv
Expresion explcita
Sea f = (f
1
, f
2
, f
3
). Teniendo en cuenta la expresion explcita del producto vectorial fundamental
(ecuaci on (4.8)), se tiene que
S
fdS :=
D
f((u, v))T
u
T
v
dudv =
D
f((u, v))
(y, z)
(u, v)
2
+
(z, x)
(u, v)
2
+
(x, y)
(u, v)
2
dudv
que es la expresion explcita de las integrales de supercie (de primera especie).
3
R y una supercie (parametrizada) regular (a trozos)
: D R
2
R
3
tal que S Im A. Si f es integrable (en particular, si f es continua), entonces
existe la integral
S
fdS .
n
. 94
(Dem.) Trivial.
Comentarios:
Como caso particular, tomando la funcion f = 1 en la integral, se obtiene la expresion para calcular el
area de la supercie.
Si la supercie estuviera dada en forma explcita o implcita, la denicion dada es aplicable sin ning un
problema, teniendo en cuenta todo lo expuesto en los apartados precedentes.
El resultado de una integral de supercie de primera especie no depende de la orientacion (es evidente)
ni tampoco de la parametrizacion de la supercie. En efecto:
2
R
3
y
: D
R
2
R
3
son dos parametrizaciones regulares regularmente
equivalentes, entonces
1. T
u
T
v
= T
u
T
v
det Jg.
2. Si existe
(D)
fdS , tambien existe
(D
)
fdS y son iguales
4
.
(Dem.)
1. Expresando T
u
, T
v
en funcion de T
u
y T
v
, por medio de la regla de la cadena, se obtiene el resultado.
2. Evidente puesto que al ser parametrizaciones equivalentes, la supercie es la misma.
7.4.3 Integral de supercie de un campo vectorial. Propiedades
La nocion de integral de lnea de un campo vectorial tiene tambien su analoga en el caso de integrales de
supercie.
El problema fsico que da origen a este tipo de integrales es el calculo del ujo de un uido que uye
a traves de una supercie que corta a sus lneas de corriente (esto es, la masa de uido que atraviesa la
supercie en la unidad de tiempo). Un problema similar en teora de campos es el calculo del ujo de un
campo de fuerzas a traves de supercies que cortan a sus lneas de fuerza.
3
R
3
y una supercie (parametrizada) regular (a trozos)
: D R
2
R
3
tal que S Im A. Se denomina integral de supercie de la funcion vectorial f sobre la
supercie S o tambien integral de supercie de segunda especie a la siguiente integral (si existe)
S
f dS :=
D
f ((u, v)) (T
u
T
v
)dudv
El resultado de esta integral de supercie se denomina ujo del campo f a traves de S
5
.
Expresion explcita
4
Tomando f = 1 en este resultado, se obtiene como corolario que el area de una supercie es independiente de la
parametrizacion.
5
En la primera interpretacion fsica que se ha dado de este problema, f representa el campo de densidad de momento lineal
del uido (masa por velocidad dividido por volumen). El resultado de la integral es, por tanto, la masa neta de uido que
atraviesa la supercie.
n
. 95
Sea f = (f
1
, f
2
, f
3
). Teniendo en cuenta la expresion explcita del producto vectorial fundamental
(ecuacion (4.8)), se tiene que
S
f dS :=
D
f ((u, v)) (T
u
T
v
)dudv
=
f
1
((u, v))
(y, z)
(u, v)
+f
2
((u, v))
(z, x)
(u, v)
+f
3
((u, v))
(x, y)
(u, v)
dudv
que es la expresion explcita de las integrales de supercie (de segunda especie).
Es habitual introducir la siguiente notacion, que viene sugerida por la expresion del teorema del cambio
de variable,

S
f dS =
S
f
1
dy dz +f
2
dz dx +f
3
dx dy
Proposicion 64 Sea una funcion f : A R
3
R
3
y una supercie (parametrizada) regular (a trozos)
: D R
2
R
3
tal que S Im A. Si f es integrable (en particular, si f es continua), entonces
existe la integral
S
f dS .
(Dem.) Trivial.
Comentario:
Si la supercie estuviera dada en forma explcita o implcita, la denicion dada es aplicable sin ning un
problema, teniendo en cuenta todo lo expuesto en los apartados precedentes.
Es evidente que el resultado de una integral de supercie de segunda especie depende de la orientacion,
pues si se cambia esta, cambia el sentido (y, por tanto el signo) del producto vectorial en el inte-
grando. Sin embargo, el resultado de una integral de supercie de segunda especie no depende de la
parametrizacion:
2
R
3
y
: D
R
2
R
3
son dos parametrizaciones regulares regularmente
equivalentes, entonces si existe
(D)
fdS , tambien existe
(D
)
fdS y son iguales u opuestos dependiendo
de la orientacion
6
.
(Dem.) Igual a como se ha expuesto para las integrales de supercie de primera especie.
Finalmente, el calculo de integrales de supercie de campos vectoriales puede reducirse al de integrales
de supercie de campos escalares. En efecto:
3
R
3
y una supercie (parametrizada) regular (a
trozos) : D R
2
R
3
tal que S Im A. Entonces
S
f dS =
D
f ((u, v)) nT
u
T
v
dudv
Dem.) Inmediata.
Comentario:
6
Tomando f = 1 en este resultado, se obtiene como corolario que el area de una supercie es independiente de la
parametrizacion.
n
. 96
Esta expresion expresa el hecho de que la integral de supercie de la funcion vectorial f sobre S es
igual a la integral de supercie de la componente de la funcion vectorial f en la direccion normal a S.
Observese que, para supercies simples, la mencionada componente normal dene una funcion escalar.
Si la supercie no es simple, esto no es as, pero, aun en este caso, sigue siendo util la interpretacion
dada.
Chapter 8
Teoremas del Analisis Vectorial
8.1 Introduccion
En el captulo anterior se ha tratado sobre la integracion de funciones escalares y vectoriales a lo largo
de curvas y supercies. En el presente captulo vamos a estudiar los teoremas del Analisis vectorial, que
conciernen a estos conceptos (teoremas de Stokes y de la divergencia o de Gauss-Ostrogadski). Como ya
fue comentado en la introduccion del captulo anterior, todos estos temas tienen su origen, en general, en
problemas fsicos, como ya veremos.
Comenzaremos estableciendo el teorema de Stokes, se estudiaran sus peculiaridades y, como caso especial,
obtendremos el teorema de Green. Tambien se utiliza este teorema para establecer la relacion entre los
campos conservativos y los irrotacionales.
El siguiente paso sera establecer el teorema de la divergencia o de Gauss-Ostrogadsky, sus casos partic-
ulares y su aplicacion para caracterizar los campos solenoidales.
Hay que advertir que, aunque la mayora de los conceptos que van a estudiarse se pueden desarrollar en
R
n
en general, en este curso solo interesan en R
3
, y a ello nos ce niremos.
8.2 Teorema de Stokes
8.2.1 Teorema de Stokes en R
3
. Aplicaciones
El teorema de Stokes o del rotacional es el primero de los teoremas fundamentales del Analisis vectorial que
vamos a considerar. Aparte de sus implicaciones fsicas, la importancia analtica de este teorema radica,
entre otras razones, en que, a traves de el se relacionan los dos tipos de integrales que se han denido para
campos vectoriales: las integrales de lnea y las de supercie de segunda especie. Mas concretamente, el ujo
del rotacional de un campo vectorial a traves de una supercie que tiene por borde una curva de Jordan,
y la circulacion de dicho campo a lo largo de esa curva de Jordan. (De hecho, este teorema tiene su origen
en las leyes fsicas que relacionan el ujo y la circulacion de los campos fsicos en esas condiciones). De esta
manera, el teorema da sentido geometrico al concepto de rotacional.
El teorema de Stokes se puede enunciar para el caso general R
n
, (n 2), aunque en este curso solo va a
ser utilizado en R
3
y R
2
.
Teorema 24 (del rotacional o de Stokes en R
3
): Sean una funcion f : A R
3
R
3
, y una supercie
S A R
3
tales que:
1
.
97
n
. 98
2. S es una supercie regular (a trozos), orientada y orientable, tal que

S A, y es una region compacta.
3. S es una curva de Jordan regular orientada (o un n umero nito de estas
1
) tal que todos sus puntos
son regulares
2
.
Entonces

S
f dl =
S
rot f dS
donde la integral de lnea se eval ua tomando la orientacion inducida en S por la orientacion de S (o
recprocamente).
(Dem.) Vease, p. ej., J.E. Marsden, A.J. Tromba: Calculo Vectorial, pp. 506-507), o tambien L.D.
Kudri` atsev: Curso de Analisis Matematico, vol 2, pp. 290-291).
Notacion:
Si f = (f
1
, f
2
, f
3
), teniendo en cuenta la expresion explcita del rotacional, es habitual utilizar la siguiente
notacion:
f
3
y

f
2
z
dy dz +
f
1
z

f
3
x
dz dx
f
2
x

f
1
y
dx dy =
C
f
1
dx +f
2
dy +f
3
dz
Comentario:
El teorema de Stokes establece, por tanto, la igualdad entre la circulacion de un campo vectorial a lo
largo de una curva de Jordan y el ujo de su rotacional a traves de una supercie limitada por dicha
curva (su borde).
Aplicaciones:
El teorema de Stokes tiene diversas aplicaciones fsicas y geometricas. Se nalemos algunas de ellas:
La primera aplicacion que mencionaremos es su utilidad para resolver integrales de lnea de segunda
especie (en las que la funcion del integrando no tenga una primitiva facil de evaluar), esto es, calculo de
circulaciones. En ocasiones estas integrales de lnea, por aplicacion del teorema, dan lugar a integrales
dobles mas sencillas de resolver.
Recprocamente, en algunos casos simples, el teorema de Stokes puede ser tambien usado para el calculo
de areas de supercies por medio de integrales de lnea.
8.2.2 Teorema de Stokes en casos especiales
El teorema de Stokes es aplicable a supercies regulares (a trozos) compactas y orientables, pero no a
supercies no orientables. En este apartado vamos a discutir con mas detalle como se aplica el teorema en
algunos casos particulares.
Supercies que no son simplemente conexas
Vamos a discutir brevemente la aplicacion del teorema de Stokes en supercies que no son simplemente
conexas pero que tienen por borde curvas de Jordan regulares (a trozos).
Con las hipotesis del teorema de Stokes, supongase que S es una supercie no simplemente conexa cuya
frontera (geometrica) S esta formada por curvas de Jordan regulares (a trozos) C
0
, C
i
(i = 1, . . . , m). El
1
Esta situacion sera tratada en detalle inmediatamente.
2
Si no es este el caso, el teorema tambien se cumple si la supercie es de clase C
3
y el conjunto de puntos frontera singulares
es negligible; esto es, es un conjunto nito de puntos que esta contenido en la union de un n umero nito de curvas de clase C
1
.
n
. 99
teorema de Stokes es aplicable a esta supercie, y la integral de lnea que en el aparece descompone en
suma de integrales de lnea sobre cada uno de los caminos que constituyen la frontera (geometrica) de S. El
resultado que se obtiene es

S
rot f dS =
C
0
f dl
C
i
f dl
donde el signo + rige si las integrales curvilineas se eval uan tomando orientaciones opuestas para C
0
y C
i
y
el signo en caso de que las orientaciones tengan el mismo sentido.
Observese que el teorema no sera aplicable si la supercie no fuera simplemente conexa por faltarle
puntos aislados, ya que entonces su frontera geometrica incluira tambien a dichos puntos, y no sera una (o
varias) curva de Jordan.
Una consecuencia inmediata del teorema de Stokes y de esta discusion es el siguiente resultado:
Corolario 9 (Principio de deformacion de contornos): Sea f : A R
3
R
3
de clase C
1
. Sean C
1
y C
2
curvas de Jordan en A regulares (a trozos), homotopicamente equivalentes en A y tales que S A una
supercie compacta, regular, orientada y orientable con S = C
1
C
2
, para la cual rotf = 0 (sobre S).
Entonces

C
1
f dl =
C
2
f dl
(ambas curvas recorridas en el mismo sentido).
(Dem.) Basta aplicar el teorema de Stokes a la supercie S.
Supercies parametrizadas (no simples)
Si la supercie S esta parametrizada entonces S = Im con : D R
2
R
3
, siendo D una region compacta.
Si, ademas, D es una curva de Jordan regular (a trozos), c: I R D R
2
, entonces c es una curva
en R
3
. No obstante, para supercies compactas orientables no simples no es cierto que S = Im( c), ya
que c contiene arcos de curvas que no son frontera geometrica de S y que son, de hecho, los puntos de
autointerseccion de la supercie (que hacen que esta no sea simple)
3
.
Ejemplo:
Cilindro: Tomando la parametrizacion en coordenadas cilndricas:
x = Rcos , y = Rsin , z = z
con D = [0, 2] [0, h]. El borde de este cilindro S esta formado por las dos circunferencias C
1
y C
2
de
radio R (recorridas las circunferencias en sentidos opuestos). Aplicando el teorema de Stokes resulta
S
rot f dS =
C
1
f dl +
C
2
f dl =
C
1
f dl +
C
2
f dl
Supercies cerradas
Como corolario inmediato del teorema de Stokes, se tiene el siguiente resultado general:
3
R
3
de clase C
1
, y S A una supercie cerrada compacta, regular,
orientada. Entonces
S
rot f dS = 0 .
Como consecuencia, si g es un campo solenoidal de clase C
2
, entonces
S
g dS = 0 , para cualquier
supercie S cerrada.
3
No obstante, si la integral de lnea que aparece en el teorema de Stokes se eval ua sobre Im( c) en vez de sobre S, el
teorema se sigue vericando (si la supercie es orientable) ya que la contribucion a la circulacion a lo largo de esos caminos es
nula.
n
. 100
( Dem. ) Por ser S cerrada se tiene que S = ; con lo que del teorema de Stokes se deduce directamente
que

S
rot f dS =
S
f dl = 0
Supercies no orientables
El teorema de Stokes no es valido para supercies no orientables. Para mostrarlo, analicemos el siguiente
ejemplo:
Ejemplo:
Banda de Mobius: Tomando la siguiente parametrizacion:
x = (R +ucos(v/2)) cos v , y = (R +ucos(v/2)) sin v , z = usin(v/2)
con D = [1, 1] [0, 2]. Si se toma cualquier funcion vectorial f : R
3
R
3
y se calculan las integrales
que aparecen en la formula de Stokes se obtiene que
S
rot f dS =
S
f dl + 2
f dl =
S
f dl
donde es un segmento transversal a S, que cruza la banda y es recorrido dos veces en el mismo
sentido. Realmente, si se toma una parametrizacion c del contorno de D (los lados de este rectangulo
en el plano UV ); esto es, D = Imc, entonces Im( c) = S .
As pues, el teorema de Stokes no es valido para esta supercie no orientable.
8.2.3 Teorema de Green. Aplicaciones
El teorema de Stokes es tambien aplicable a campos vectoriales en R
2
, caso en el que presenta ciertas
peculiaridades, siendo por ello por lo que muchas veces se enuncia como un teorema diferente y recibe el
nombre de teorema de Green. Su enunciado es el siguiente:
Teorema 25 (de Green o de Stokes en R
2
): Sea una funcion f : A R
2
R
2
, con f = (f
1
, f
2
), y una
region S A tales que
1
.
2.

S A es una region compacta.
3. S es una curva de Jordan regular (a trozos) orientada (o un n umero nito de estas) tal que todos sus
puntos son regulares
4
.
Entonces

S
f
1
dx +f
2
dy =
f
2
x

f
1
y
dxdy
donde la integral curvilnea se eval ua tomando la orientacion positiva de C.
(Dem.) Es un caso particular del teorema de Stokes, con la supercie plana. Vease tambien, p. ej., J.E.
Marsden, A.J. Tromba: Calculo Vectorial, pp. 492-496.
Aplicaciones:
4
Si no es este el caso, el teorema tambien se cumple si la supercie es de clase C
3
y el conjunto de puntos frontera singulares
es negligible.
n
. 101
El teorema de Green tiene las mismas aplicaciones fsicas y geometricas que el de Stokes, pero ademas,
otras que le son peculiares. Una de ellas es el calculo de areas ya que el area de una region compacta
S con borde C se puede calcular tomando, por ejemplo, cualquiera de las siguientes funciones
f (x, y) (y, 0) A =
S
dxdy =
C
ydx
f (x, y) (0, x) A =
S
dxdy =
C
xdy
f (x, y) =
1
2
(y, x) A =
S
dxdy =
1
2
C
ydx +xdy
es decir, se obtiene integrando las mencionadas funciones a lo largo del contorno de la supercie.
Este resultado es una muestra de la potencia del teorema, pues permite calcular el area de una region
operando unicamente sobre su contorno.
Como ya sucediera con el teorema de Stokes, como caso particular del teorema de Green puede presentarse
la situacion de que el dominio A de la funcion f no es simplemente conexa pero tiene por borde curvas de
Jordan regulares (a trozos). Entonces el teorema tambien se puede aplicar siguiendo las mismas pautas que
en el caso de R
3
.
As, sea f : A R
n
R
2
, con f = (f
1
, f
2
), una funcion de clase C
1
. Considerese una region compacta
S A no simplemente conexa que tenga por borde gracas de curvas de Jordan regulares (a trozos), C
0
,
C
i
(i = 1, . . . , m). El teorema de Green es aplicable a esta region y la integral de lnea que en el aparece
descompone en suma de integrales de lnea sobre cada uno de los caminos que constituyen la frontera
(geometrica) de S. El resultado que se obtiene es
f
2
x

f
1
y
dxdy =
C
0
f
1
dx +f
2
dy
C
i
f
1
dx +f
2
dy (8.1)
donde el signo + rige si las integrales curvilineas se eval uan tomando orientaciones opuestas para C
0
y C
i
y
el signo en caso de que las orientaciones tengan el mismo sentido.
Comentario:
Tambien ahora se obtiene el (principio de deformacion de contornos) (en R
2
) como corolario del teorema
de Green.
8.2.4 Caracterizacion de campos conservativos por medio del teorema de Stokes
En el captulo 3 se establecio la propiedad de que, bajo las adecuadas hipotesis de diferenciabilidad, todo
campo conservativo es irrotacional (proposicion 30). Si el recproco de esta propiedad fuera cierto, los campos
conservativos y los irrotacionales quedaran identicados. Sin embargo, las condiciones para que esto sea as
son mas restrictivas. El resultado, que se obtiene como corolario del teorema de Stokes, es el siguiente:
3
R
3
tal que A Domf es simplemente conexo y f es de clase C
1
. Si f es un
campo irrotacional entonces es conservativo.
(Dem.)
Como es obvio, el resultado es tambien valido para funciones f : A R
2
R
2
.
8.2.5 Aplicacion: Resolucion de ecuaciones diferenciales exactas. Factor inte-
grante
En este apartado vamos a considerar una aplicacion de los anteriores resultados a la resolucion de cierto tipo
de ecuaciones diferenciales.
n
. 102
Denicion 92 Una ecuacion diferencial del tipo
dy
dx
=
f
1
(x, y)
f
2
(x, y)
o, equivalentemente
f
1
(x, y)dx +f
2
(x, y)dy = 0 (8.2)
es una ecuacion diferencial exacta (e.d.e.) si existe una funcion (x, y) tal que
x
= f
1
,

y
= f
2
En tal caso, la funcion (x, y) se denomina funcion potencial escalar de la ecuacion.
Es inmediato comprobar, utilizando el teorema de la funcion implcita, que:
Proposicion 68 La solucion de una e.d.e. con funcion potencial escalar , esta dada por (x, y) = cte (es
decir, geometricamente, las curvas de nivel de la funcion potencial escalar).
Dada una ecuacion diferencial del tipo (8.2), el problema de analizar si es exacta y, por tanto, de obtener su
solucion tal como enuncia la proposicion precedente, puede ser planteado en terminos de campos conservativos
del siguiente modo
5
:
Sea un campo vectorial f : R
2
R
2
, cuyas funciones componentes son f = (f
1
, f
2
), entonces, de acuerdo
con las deniciones dadas, la cuestion de que la ecuacion (8.2) sea exacta es equivalente a que el campo f sea
conservativo, lo cual es, a su vez, equivalente a que se satisfaga el teorema 26. Entonces la pauta a seguir es:
Comprobar que se satisface este teorema
Obtener la funcion potencial escalar.
Si la ecuacion diferencial (8.2) no fuera exacta, entonces su solucion no puede hallarse por el metodo
descrito. No obstante, a un en este caso puede reconducirse el problema al caso anterior. As:
Denicion 93 Dada una ecuacion diferencial del tipo (8.2) no exacta, si existe una funcion (x, y) tal que
la ecuacion
(x, y)f
1
(x, y)dx +(x, y)f
2
(x, y)dy = 0
entonces dicha funcion se denomina factor integrante de la ecuacion (8.2).
Teniendo en cuenta, de nuevo, la relacion 3.9, es evidente que:
Proposicion 69 Con las condiciones de regularidad apropiadas
6
es un factor integrante de la ecuacion
f
1
(x, y)dx +f
2
(x, y)dy = 0
si, y solo si,
(f
1
)
y
=
(f
2
)
x
o, lo que es equivalente, si, y solo si, es solucion de la ecuacion diferencial en derivadad parciales
y
f
1
+
f
1
y
=

x
f
2
+
f
2
x
(8.3)
De este modo, la resolucion de ecuaciones diferenciales no exactas se puede reconducir al problema de
hallar factores integrantes. Desgraciadamente, muchas veces tratar de resolver la ecuacion (8.3) es mas difcil
que integrar la ecuacion original. En cualquier caso, dado que solo interesa hallar alguna solucion particular
(si existe) de la ecuacion (8.3), en muchos casos se resuelve esta ensayando soluciones particulares.
5
Se asume previamente el cumplimiento de todas las hipotesis requeridas para poder aplicar los resultados que se citan.
6
Vease la seccion 8.2.4.
n
. 103
8.3 Teorema de la divergencia
3
. Aplicaciones
El teorema de la divergencia o de Gauss-Ostrogadski es otro de los teoremas fundamentales del Analisis
vectorial y, como el teorema de Stokes, tiene implicaciones fsicas muy importantes.
El teorema tiene bastantes similitudes con el de Stokes, en el sentido de que aquellos relacionan integrales
de lnea de segunda especie, esto es, integrales simples, con integrales de supercie de segunda especie, esto
es, integrales dobles; mientras que este relaciona estas ultimas con integrales de volumen, es decir, integrales
triples. Concretamente, el ujo de un campo vectorial a traves de una supercie cerrada y la integral de su
divergencia en el volumen limitado por dicha supercie. De esta manera, el teorema da sentido geometrico
al concepto de divergencia.
El teorema de Gauss-Ostrogadski se puede enunciar para el caso general R
n
, (n 3), aunque en este
curso solo va a ser utilizado en R
3
.
Teorema 27 (de la divergencia o de Gauss-Ostrogadski en R
3
): Sean f : A R
3
R
3
una funcion y V A
una region de R
3
tales que:
1
.
2.

V A y es una region compacta.
3. V es una supercie (cerrada pero sin autointersecciones) regular (a trozos) orientada
7
(o un n umero
nito de estas
8
).
Entonces:

S
f dS =
V
div f dV
donde la integral de supercie se eval ua de forma que el resultado sea el ujo de f que sale de la region V ;
(esto es, tomando la orientacion positiva de S que esta dada por el vector normal que apunta hacia afuera
de V ).
(Dem.) Vease, p. ej., J.E. Marsden, A.J. Tromba: Calculo Vectorial, pp. 532-534), o tambien L.D.
Kudri` atsev: Curso de Analisis Matematico, vol 2, pp. 286-287).
Notacion:
Si f = (f
1
, f
2
, f
3
), teniendo en cuenta la expresion explcita de la divergencia, la formula de Gauss-
Ostrogadski suele escribirse:
S
f
1
dy dz +f
2
dz dx +f
3
dx dy =
f
1
x
+
f
2
y
+
f
3
z
dxdydz
Interpretacion:
El teorema de Gauss-Ostrogadski establece la igualdad entre la integral de la divergencia de un campo
vectorial en una region del espacio y el ujo saliente de dicho campo a traves de la supercie cerrada
que limita dicha region.
A la vista de la formula de Gauss-Ostrogadski, es evidente que si div f (p) = 0, en alg un punto p A, el
ujo del campo a traves de cualquier supercie cerrada que rodee ese punto es no nulo (y tiene el mismo
signo que la integral anterior). Por ello, recordando la interpretacion geometrica de la divergencia y del
ujo de un campo vectorial a traves de una supercie, los puntos del dominio de f en los que div f > 0
se denominan fuentes del campo y aquellos en los que div f < 0 se denominan sumideros del campo.
7
Notese que toda supercie cerrada necesariamente es arco-conexa y simplemente conexa y, ademas, compacta.
8
Esta situacion sera tratada con mas detalle inmediatamente.
n
. 104
El teorema de la divergencia es aplicable a regiones cuya frontera geometrica este constituida por un
n umero nito de supercies cerradas regulares (a trozos). As, supongase que V A es una region compacta
cuya frontera (geometrica) esta formada por supercies orientadas cerradas regulares (a trozos) S
0
, S
i
(i =
1, . . . , m). El teorema de la divergencia es aplicable a esta region y la integral de supercie que en el aparece
descompone en suma de integrales de supercie sobre cada una de las que que constituyen la frontera
geometrica de V . El resultado que se obtiene es
V
div f dV =
S
0
f dS +
S
i
f dS
donde las integrales de supercie se eval uan tomando la orientacion de la normal exterior (esto es, se
calculan los ujos salientes).
Aplicaciones:
Este teorema es util para resolver integrales de supercie de segunda especie (en las que la funcion
del integrando no tenga una primitiva facil de evaluar), esto es, calculo de ujos. En ocasiones estas
integrales de supercie, por aplicacion del teorema, dan lugar a integrales triples mas sencillas de
resolver.
Recprocamente, el teorema de Gauss-Ostrogadski puede ser tambien usado para el calculo de
vol umenes mediante el calculo de integrales de supercie. Esto puede hacerse tomando diferentes
funciones; por ejemplo:
f (x, y, z) (x, 0, 0) V =
V
dxdydz =
S
f dS
f (x, y, z) (0, y, 0) V =
V
dxdydz =
S
f dS
f (x, y, z) (0, 0, z) V =
V
dxdydz =
S
f dS
f (x, y, z)
1
3
(x, y, z) V =
V
dxdydz =
S
f dS
Este resultado es una muestra de la potencia del teorema, pues permite calcular el volumen de una
region operando unicamente sobre la supercie que la delimita.
2
. Aplicaciones
El teorema de la divergencia puede tambien formularse para campos vectoriales en R
2
. Para ello, previamente
hay que dar la siguiente denicion:
Denicion 94 Sean f : A R
2
R
2
una funcion diferenciable y C una curva regular. Se denomina ujo
del campo f a traves del arco de curva C al resultado de la integral (si existe)
C
f ndl
donde n es un vector unitario normal a la curva en cada punto, en el sentido adecuado.
Con esta denicion el teorema de la divergencia en R
2
se enuncia de la siguiente manera:
Teorema 28 (de la divergencia o de Gauss-Ostrogadski en R
2
): Sean f : A R
2
R
2
una funcion y D A
una region de R
2
tales que:
1
.
2. D es una region compacta.
n
. 105
3. D es una curva de Jordan regular (a trozos) orientada (o un n umero nito de estas
9
).
Entonces:

D
div f dS =
D
f ndl
donde el ujo a traves de la curva se eval ua tomando la normal exterior, esto es, la del vector normal que
apunta hacia afuera de la region D.
(Dem.) Se puede considerar como un caso particular del teorema de la divergencia en R
3
.
Tambien se puede probar a partir del teorema de Green, de la siguiente manera
D
f ndl =
D
(f
1
(c(t)), f
2
(c(t))
(c
2
(t), c
1
(t))
c(t)
c(t)dl
=
D
(f
1
(c(t))c
2
(t) +f
2
(c(t)c
1
(t))dt
=
D
(f
2
(c(t)), f
1
(c(t)) (c
1
(t), c
2
(t))dt
=
D
f
(t)dt =
1
y

f
2
x
dxdy
=
f
2
y
+
f
1
x
dxdy =
D
div f
donde f
= (f
2
, f
1
) denota el campo vectorial ortogonal a f .
Interpretacion:
Este teorema establece la igualdad entre la integral de la divergencia de un campo vectorial en R
2
en
una region del plano y el ujo saliente de dicho campo a traves de la curva cerrada que limita dicha
region.
8.3.3 Caracterizacion de los campos solenoidales
Como consecuencia directa del teorema de Gauss-Ostrogadski se obtienen diversas propiedades de los campos
solenoidales.
En primer lugar se puede discutir el recproco de la proposicion 31, que establece una propiedad analoga
a la que enuncia que, bajo las adecuadas hipotesis, todo campo irrotacional es conservativo. El resultado
que se tiene es el siguiente:
3
R
3
y una region V A tales que:
1. f es de clase C
1
en V .
2. V es estrellado respecto a alg un punto p V .
3. div f = 0.
Entonces f es solenoidal en V .
( Dem. ) Vease M. Spivak, Calculo en Variedades.
La segunda propiedad es analoga a la que estableca la equivalencia entre el concepto de campo con-
servativo y la propiedad de que la circulacion de dicho campo fuera nula a lo largo de cualquier curva
cerrada.
9
La frontera geometrica puede estar constituida por varias curvas de Jordan si la region D no es simplemente conexa.
n
. 106
3
R
3
1
. La c.n.s. para que f sea un campo solenoidal
es que

S
f dS = 0
para cualquier supercie S regular (a trozos) cerrada, orientada (esto es, su ujo a traves de cualquier
supercie de esta ndole es nulo).
(Dem.) Del teorema de la divergencia se obtiene que
S
f dS = 0 div f = 0
y por el teorema precedente esto es equivalente a que f sea solenoidal
10
.
Comentario:
Observese que la region V ha de ser necesariamente compacta, ya que si no, no es aplicable el teorema
de la divergencia.
Ejemplo: Como ya se comento en el apartado 3.4.3, la funcion f (x, y, z) :=
r
r
3
tiene divergencia nula,
pero no tiene potencial vectorial (no es solenoidal) en todo su dominio. Observese que en este caso no
se cumplen las hipotesis del teorema, ya que la funcion no esta denida en el origen y, por tanto, para
cualquier region que lo contenga, su interseccion con el dominio no es compacta.
La ultima propiedad es analoga a la que estableca la equivalencia entre el concepto de campo conservativo
y la propiedad de que la circulacion de dicho campo entre dos puntos fuera la misma independientemente
de la curva que los uniera.
3
R
3
1
. La c.n.s. para que f sea solenoidal es
que su ujo a traves de todas las supercies regulares (a trozos) orientables, orientadas con la misma ori-
entacion, que tienen por frontera geometrica la misma curva de Jordan regular (a trozos) y son homeomorfas
entre si en A sea el mismo y su valor es
S
f dS =
C
g dl (8.4)
donde g: A R
3
R
3
es el potencial vectorial de f (es decir, las integrales de supercie solo dependen del
contorno).
(Dem.) Sean S
1
, S
2
dos de estas supercies y V la region de R
3
que tiene por borde S
1
S
2
. Sea C la
curva tal que S
1
= S
2
= C. Aplicando el teorema de la divergencia
S
1
f dS +
S
2
f dS =
V
div f dV = 0
S
1
f dS =
S
2
f dS
ambos ujos salientes, luego cambiando la orientacion de una de las supercies y, con ello el signo de la
correspondiente integral, se obtiene el resultado
11
.
El resultado (8.4) se obtiene sin mas que aplicar el teorema de Stokes.
Comentarios
Una de las aplicaciones de esta propiedad es simplicar el calculo de integrales de lnea de segunda
especie sobre caminos cerrados, aplicando el teorema de Stokes, ya que, entonces, la integral de super-
cie que aparece es de un rotacional, esto es, de un campo solenoidal, por tanto puede evaluarse sobre
cualquier supercie que tenga por contorno la misma curva y, en particular, se elegira aquella sobre la
que sea mas facil evaluar la integral.
10
Si V no fuera estrellado respecto a ning un punto, se descompondra en union de subconjuntos estrellados, aplicandose a
cada uno el razonamiento anterior.
11
Mismo comentario que el anterior.
n
. 107
Todos estos resultados son tambien validos para funciones f : R
2
R
2
.
A modo de resumen nal, se puede establecer la siguiente tabla comparativa entre las propiedades de los
campos conservativos (o irrotacionales) y los solenoidales:
Conservativo Solenoidal
Irrotacional f = 0 Sin divergencia f = 0
Circulacion (C cerrada)
C
f dl = 0 Flujo (S cerrada)
S
f dS = 0
Circulacion (C abierta) Solo dep. extremos Flujo (S abierta) Solo dep. contorno
Potencial escalar f = ( +k) Potencial vector f = (g +)
8.4 Otras aplicaciones
8.4.1 Denicion intrnseca de los operadores diferenciales
Los conceptos de rotacional y divergencia de un campo vectorial se han denido utilizando las componentes
de la funcion, f = (f
1
, f
2
, f
3
), referidas a un sistema de coordenadas cartesianas. Esto es un inconveniente
ya que, al hacer cambios de coordenadas es de esperar, como as sucede realmente, que cambie la expresion
de estos operadores. No obstante, estos son conceptos intrnsecos (no dependen de las coordenadas) y,
utilizando los teoremas de Stokes y Gauss-Ostrogadski, se pueden dar deniciones de ellos que no dependen
de las coordenadas elegidas.
Estos hechos quedan recogidos en los siguientes teoremas (que enunciamos sin demostracion):
3
R
3
1
con dominio A abierto y un punto p A.
Considerese la bola B
t
(p) y su borde la esfera S
t
(p). Entonces
div f (p) = lim
t0
1
volB
t
(p)
S
t
(p)
f ds
(donde volB
t
(p) es el volumen de B
t
(p)).
3
R
3
1
con dominio A abierto y un punto p A.
Considerese la bola B
t
(p) y su borde la esfera S
t
(p). Entonces
rot f (p) = lim
t0
1
volB
t
(p)
S
t
(p)
(n f ) ds
(donde volB
t
(p) es el volumen de B
t
(p) y n la normal unitaria exterior a S
t
(p)).
Bibliografa
Libros de teora
1. J. de Burgos, Calculo Innitesimal de Varias Variables, McGraw-Hill, Madrid 1995.
2. J.E. Marsden, A.J. Tromba, Calculo Vectorial, Fondo Educativo Interamericano, Barcelona 1991.
Libros de problemas
1. F. Bombal, L. Rodrguez, L. Vera, Problemas de Analisis Matematico. Tomo 1: Calculo Difer-
encial, A.C., Madrid 1975.
2. E. Garriga, N. Rom an, A. S anchez, O. Serra, Càlcul innitesimal: Problemes resolts. Sèries i
calcul diferencial en diverses variables, C.P.E.T., Barcelona 1990.
3. F. Granero, Ejercicios y problemas de calculo (tomos I y II), Tebar-Flores, Madrid 1991.
4. K. Pao, F. Soon, Calculo vectorial: problemas resueltos, Addison-Wesley, Barcelona 1993.
5. Puig Adam, Calculo integral, Biblioteca Matematica, 1985.
6. M.R. Spiegel, Calculo Superior, Schaum, Madrid, 1986.
Formularios y Tablas
1. M. Abramowitz, I.A. Stegun, Handbook of Mathematical Functions with Formulas, Graphs and
Mathematical Tables, Dover, N.Y. 1964.
2. I. Bronshtein, K. Semendiaev, Manual de formulas para ingenieros, Mir, Mosc u 1982.
3. M.R. Spiegel, Manual de formulas y tablas, Col. Schaum, McGraw-Hill, N.Y. 1986.
Otras referencias recomendadas
1. A.D. Alexsandrov et al., La Matematica: su contenido, metodo y signicado (tomos I, II y III),
Alianza Ed. Madrid 1976.
2. T.M. Apostol, Calculus (tomos I y II), Reverte, Barcelona 1985.
3. R. Courant, F. John, Introduccion al calculo y al analisis matematico (tomos I y II), Limusa,
Madrid 1982.
4. L.D. Kudriatsev, Curso de Analisis Matematico (vols. I,II), Mir, Mosc u, 1983.
5. S. Lang, Calculo, Fondo Educativo Interamericano, Barcelona 1973.
6. M. Spivak, Calculo en variedades, Reverte, Barcelona 1983.
108

Llibre Càlcul Vectorial - NRR

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Llibre Càlcul Vectorial - NRR

Cargado por

Copyright:

Formatos disponibles

C

ALCULO DIFERENCIAL E INTEGRAL EN R

, al conjunto formado por todos sus puntos

a < . Se usara la notacion lim

(b) V . Por ser f continua en A, existe B

(b); de donde se deduce que

(b) la bola abierta

(b)) = U A, con U abierto en R

(b), lo que implica que f es continua en a.

y de aqu se obtiene que ha de ser

(a), en la que como sabemos existen las derivadas parciales de f , y

f(a +h) f(a)

o suave en U si f es una funcion de clase C

en sus dominios. Por consiguiente, cualquier combi-

( Dem. ) Basta considerar la siguiente composicion de funciones

con jacobiano det J

Se denomina rotacional de f al campo vectorial rot f : A R

Esta denicion se puede extender a campos vectoriales en R

es habitual escribir rot f := f .

es irrotacional, pero no tiene potencial escalar

cumple que grad = f , no esta

(0) = (0, 0).

= Ptos. crticos (0, y

de N, se dice que P es mas na que P

es mas gruesa que P)

se obtiene por union de subrectangulos de P. Tambien es evidente que, dadas dos

son particiones de N y P es mas na que P

) s(f, P) S(f, P) S(f, P

son particiones cualesquiera de N, entonces

(). Se tiene que

(t), ya que, de acuerdo con el teorema de Barrow,

= |detJg(u, v)|dudv = |detJg(u, v)|dA (6.1)

, por lo que, basta tener en cuenta la expresion (6.1) para llegar

Esto da origen a la siguiente denicion:

(t)dt = F(b) F(a) := (c(b)) (c(a)) = (y) (x)

También podría gustarte