Apuntes de Fundamentos Matemáticos (Univ de Granada)

Apuntes de Fundamentos
Matemticos I
Ingeniera de Telecomunicaciones
Rafael Pay Albert

Departamento de Anlisis Matemtico
Universidad de Granada

Leccion 1
El espacio eucldeo
1.1. El espacio vectorial Rn

Definicin. Conjunto de todas las n-uplas de nmeros reales:
Rn = {(x1 , x2 , . . . , xn ) : x1 , x2 , . . . , xn R}
Nos interesan los casos n = 2 y n = 3:
R2 = {(x, y) : x, y R} y R3 = {(x, y, z) : x, y, z R}
Recordamos que Rn tiene estructura de espacio vectorial con las operaciones:
Suma: (x1 , x2 , . . . , xn ) + (y1 , y2 , . . . , yn ) = (x1 + y1 , x2 + y2 , . . . , xn + yn )
Producto por escalares: (x1 , x2 , . . . , xn ) = ( x1 , x2 , . . . , xn )
La base standard de Rn est formada por los vectores:
e1 = (1, 0, . . . , 0) ; e2 = (0, 1, 0, . . . , 0) ; . . . en = (0, . . . , 0, 1).
Escribiendo
n
(x1 , x2 , . . . , xn ) = x1 e1 + x2 e2 + . . . + xn en = xk ek
k=1
tenemos la nica expresin de cada elemento de Rn como combinacin lineal de los vectores
bsicos.
Para n = 2, 3 se usa la notacin siguiente:
En R2 : i = (1, 0) , j = (0, 1) , (x, y) = x i + y j
En R3 : i = (1, 0, 0) , j = (0, 1, 0) , k = (0, 0, 1) , (x, y, z) = x i + y j + z k
1
1. El espacio eucldeo 2
Interpretacin geomtrica.
Puntos: del mismo modo que R se representa geomtricamente como una recta, R2 se
puede representar como un plano en el que cada par (x, y) corresponde al punto de abcisa
x y ordenada y con respecto a un sistema de coordenadas cartesianas. Anlogamente R3 se
representa como un espacio tridimensional y, en general, una n-upla (x1 , x2 , . . . , xn ) Rn ser
un punto en un espacio de n dimensiones.
Vectores: alternativamente, cada n-upla y = (y1 , y2 , . . . , yn ) se interpreta como el segmento
orientado (vector) que une el origen (0, 0, . . . , 0) con el punto de coordenadas (y1 , y2 , . . . , yn ) .
La suma de vectores responde entonces a la regla del paralelogramo. Los vectores de la base
standard e1 , e2 , . . . , en se sitan en las direcciones de los ejes de coordenadas y los vectores
y1 e1 , y2 e2 , . . . , yn en son las componentes del vector y segn dichos ejes. Es til considerar
segmentos orientados con origen arbitrario, pero identificamos dos segmentos que se obten-
gan uno de otro aplicando la misma traslacin a su origen y extremo, con lo que al segmento
con origen en un punto P = (x1 , x2 , . . . , xn ) y extremo en Q = (y1 , y2 , . . . , yn ) corresponder

el vector PQ = (y1 x1 , y2 x2 , . . . , yn xn ). Recprocamente, cada vector z = (z1 , z2 , . . . , zn )
puede representarse por un segmento con origen en cualquier punto P = (x1 , x2 , . . . , xn ), sin ms

que tomar Q = (x1 + z1 , x2 + z2 , . . . , xn + zn ), con lo que claramente z = PQ. La suma de vec-

tores tiene ahora una clara interpretacin geomtrica: PQ + QR = PR, cualesquiera que sean
los puntos P, Q y R. Usamos indistintamente ambas interpretaciones geomtricas: la n-upla
x = (x1 , x2 , . . . , xn ) ser el punto x o el vector x, segn convenga en cada momento.
1.2. Producto escalar y norma eucldea

Definicin del producto escalar. Para x , y Rn , x = (x1 , x2 , . . . , xn ) , y = (y1 , y2 , . . . , yn ),
se define:
n
x . y = hx | yi = x1 y1 + x2 y2 + . . . + xn yn = xk yk
k=1
Para n = 2: (x, y).(u, v) = hx i + y j | u i + v ji = x u + y v

Para n = 3: (x, y, z).(u, v, w) = hx i + y j + z k | u i + v j + w ki = x u + y v + z w
Propiedades del producto escalar. Las dos principales son:
Simtrico: x . y = y . x
Lineal en cada variable (bilineal): h x + y | z i = h x | z i + h y | z i
Definicin de la norma eucldea. Para x = (x1 , x2 , . . . , xn ) Rn se define:

!1/2
n
kxk = h x | x i1/2 = xk2
k=1
Es claro que kxk > 0, y que kxk = 0 x = 0.

Desigualdad de Cauchy-Schwartz. Para x , y Rn se tiene:

|h x | y i| 6 kxk kyk
Se da la igualdad si, y slo si, x = 0 o y = x con R.
Desigualdad triangular. Para x , y Rn se tiene:
kx + yk 6 kxk + kyk
Se da la igualdad si, y slo si, x = 0 o y = x con > 0.
Significado geomtrico: kxk se interpreta como la longitud del vector x o la distancia
del origen al punto x. Por tanto d(x, y) = ky xk es la distancia entre los puntos x e y. Esta
distancia tiene las siguientes propiedades:
d(x, y) > 0
d(x, y) = 0 x = y
d(x, y) = d(y, x)
d(x, z) 6 d(x, y) + d(y, z).
1.3. Ortogonalidad
Definicin. Dos vectores x, y Rn son ortogonales cuando h x | y i = 0, en cuyo caso es-
cribimos x y. Se cumple el Teorema de Pitgoras: x y kx + yk2 = kxk2 + kyk2 .
Bases ortonormales. La base standard es ortonormal, es decir, para k, j = 1, 2, . . . , n con
k 6= j se tiene que ek e j , mientras que ke1 k = ke2 k = . . . = ken k = 1. El producto escalar se
conserva al cambiar de base ortonormal: si {u1 , u2 , . . . , un } es una base ortonormal, es claro que

n n n
k uk k uk = k k
k=1 k=1 k=1
Proyeccin Ortogonal. Dados dos vectores x, y Rn con y 6= 0, la proyeccin ortogonal

de x sobre y es:
hx|yi
y (x) = y,
kyk2
el nico vector mltiplo de y ( y con R) tal que (x y) y.
ngulo entre dos vectores. Para vectores no nulos x, y Rn , el ngulo entre ellos se
define por:
hx|yi
0 6 6 , cos =
kxk kyk
Est determinado en forma nica, pues la desigualdad de Cauchy-Schwartz nos da
hx|yi
1 6 61
kxk kyk
y la funcin coseno es una biyeccin del intervalo [0, ] sobre [1, 1]. Cabe resaltar los casos
particulares siguientes:
= 0 y = x con > 0
= y = x con < 0
= /2 y x
1.4. Producto vectorial en R3

Definicin. Para x, y R3 , x = (x1 , x2 , x3 ), y = (y1 , y2 , y3 ), se define:
x y = (x2 y3 x3 y2 ) i + (x3 y1 x1 y3 ) j + (x1 y2 x2 y1 ) k
o bien, simblicamente,
i j k

x y = x1 x2 x3
y1 y2 y3
Propiedades del producto vectorial:
Antisimtrico: x y = y x ; x x = 0
Bilineal: ( x + y) z = (x z) + (y z)
Productos de vectores bsicos: i j = k ; j k = i ; k i = j
No es asociativo: i (i j) 6= (i i) j
Norma del producto vectorial. Es fcil comprobar la Identidad de Lagrange:
kx yk2 + h x | yi2 = kxk2 kyk2 (x, y R3 )
y de ella se deduce
kx yk = kxk kyk sen
donde es el ngulo que forman x e y. Por tanto, kx yk es el rea del paralelogramo
de lados adyacentes x e y.
Direccin del producto vectorial: Para x, y 6= 0, es claro que (x y) x y tambin
(x y) y, luego x y es un vector normal al plano determinado por x e y.
Producto Mixto: Para x = (x1 , x2 , x3 ), y = (y1 , y2 , y3 ), z = (z1 , z2 , z3 ), se tiene

x1 x2 x3
y y y y y y
h x | y z i = x1 2 3 x2 1 3 + x3 1 2 = y1 y2 y3

z2 z3 z1 z3 z1 z2 z1 z2 z3
El valor absoluto de este producto mixto es el volumen del paraleleppedo con aristas
concurrentes x, y, z.
1.5. Rectas en el plano

Ecuaciones paramtricas. La recta que pasa por el punto (x0 , y0 ) con vector de direccin
(u, v) 6= (0, 0) tiene ecuaciones paramtricas:
(
x = x0 + t u
(1)
y = y0 + t v
Por tanto, la recta que pasa por dos puntos distintos (x0 , y0 ) y (x1 , y1 ) ser:
(
x = x0 + t (x1 x0 )
(2)
y = y0 + t (y1 y0 )
Ecuacin implcita. La ecuacin implcita de la recta que pasa por un punto (x0 , y0 ) con
vector normal (A, B) 6= (0, 0) es:
A (x x0 ) + B (y y0 ) = 0. (3)
Equivalentemente: A x + B y + C = 0 donde C = (Ax0 + By0 ).

Equivalencia entre ambas. Las ecuaciones (1) tienen solucin t R si, y slo si,

x x0 u
y y0 v = 0,

que es equivalente a (3) sin ms que tomar (A, B) = (v, u), con lo que se verifica (A, B) (u, v).
La forma implcita de las ecuaciones (2) es:

x x0 x1 x0
y y0 y1 y0 = 0

Distancia de un punto a una recta. La distancia del punto (x1 , y1 ) a la recta de ecuacin
Ax + By +C = 0 viene dada por
| A x1 + B y1 + C |
d=
( A2 + B2 )1/2
1.6. Planos en el espacio

Ecuaciones paramtricas. El plano que pasa por un punto (x0 , y0 , z0 ) y contiene a las rec-
tas que pasan por dicho punto con vectores de direccin linealmente independientes (u1 , v1 , w1 )
y (u2 , v2 , w2 ) tiene ecuaciones paramtricas:

x = x0 + t u1 + s u2

y = y0 + t v1 + s v2 (4)

z = z0 + t w1 + s w 2

Por tanto, el plano que pasa por tres puntos no alineados (x0 , y0 , z0 ), (x1 , y1 , z1 ) y (x2 , y2 , z2 )
ser:
x = x0 + t (x1 x0 ) + s (x2 x0 )

y = y0 + t (y1 y0 ) + s (y2 y0 ) (5)

z = z0 + t (z1 z0 ) + s (z2 z0 )

Ecuacin implcita. La ecuacin implcita del plano que pasa por un punto (x0 , y0 , z0 ) con
vector normal (A, B,C) 6= (0, 0, 0) es:
A (x x0 ) + B (y y0 ) + C (z z0 ) = 0 (6)
Equivalentemente: A x + B y + C z + D = 0 donde D = (Ax0 + By0 +Cz0 ).

Equivalencia entre ambas: El sistema de ecuaciones (4) tiene solucin t, s R si, y slo
si,
x x0 u1 u2

y y0 v1 v2 = 0

z z0 w1 w2
que es equivalente a (6) tomando (A, B,C) = (u1 , v1 , w1 ) (u2 , v2 , w2 ). La forma implcita de
las ecuaciones (5) es:
x x0 x1 x0 x2 x0

y y0 y1 y0 y2 y0 = 0

z z0 z1 z0 z2 z0
Distancia de un punto a un plano. La distancia del punto (x1 , y1 , z1 ) al plano de ecuacin

A x + B y + C z + D = 0 viene dada por
| A x1 + B y1 + C z1 + D |
d=
( A2 + B2 + C2 )1/2
1.7. Rectas en el espacio

Ecuaciones paramtricas. Las recta que pasa por un punto (x0 , y0 , z0 ) con vector de di-
reccin (u, v, w) 6= (0, 0, 0) tiene ecuaciones paramtricas:

x = x0 + t u

y = y0 + t v (7)

z = z0 + t w

Por tanto, la recta que pasa por dos puntos distintos (x0 , y0 , z0 ) y (x1 , y1 , z1 ) ser:

x = x0 + t (x1 x0 )

y = y0 + t (y1 y0 ) (8)

z = z0 + t (z1 z0 )

Ecuaciones implcitas. Se obtienen al expresar una recta como interseccin de dos planos
que pasan por el punto (x0 , y0 , z0 ) con vectores normales linealmente independientes (A1 , B1 ,C1 )
y (A2 , B2 ,C2 ): (
A1 (x x0 ) + B1 (y y0 ) + C1 (z z0 ) = 0
(9)
A2 (x x0 ) + B2 (y y0 ) + C2 (z z0 ) = 0
Equivalentemente: (
A1 x + B1 y + C1 z + D1 = 0
A2 x + B2 y + C2 z + D2 = 0
Equivalencia entre ambas. En (9) se exige que (x x0 , y y0 , z z0 ) sea ortogonal a los

vectores (A1 , B1 ,C1 ) y (A2 , B2 ,C2 ) lo que equivale a ser mltiplo de su producto vectorial. Por
tanto (9) equivale a (7) tomando (u, v, w) = (A1 , B1 ,C1 ) (A2 , B2 ,C2 ).
Recprocamente, para pasar de las ecuaciones paramtricas (7) a las ecuaciones implcitas
(9) basta escribir
x x0 y y0 z z0
= =
u v w
entendiendo que, cuando algn denominador se anula, debe anularse tambin el correspondiente
numerador. Con el mismo convenio, la forma implcita del sistema (8) es:
x x0 y y0 z z0
= =
x1 x0 y1 y0 z1 z0

Leccion 2
Gradiente, divergencia y rotacional
2.1. Gradiente de un campo escalar

Campos escalares. Un campo escalar en Rn es una funcin f : R, donde es un
subconjunto de Rn . Usualmente ser un conjunto abierto. Para n = 2 tenemos un campo
escalar en el plano, que tendr la forma (x, y) 7 f (x, y) . Para n = 3 tendremos un campo
escalar en el espacio, dado por una expresin (x, y, z) 7 f (x, y, z).
En Fsica, un campo escalar f : R describe una magnitud con valores escalares, de
forma que es una regin del plano o del espacio y, para cada punto x , f (x) es el valor
en el punto x de dicha magnitud fsica. Pinsese, por ejemplo, en un campo de temperaturas.
Definicin de gradiente. Sea f un campo escalar definido en un abierto Rn y sea
a = (a1 , a2 , . . . , an ) . Supongamos que f es diferenciable en el punto a, con lo que existen
las n derivadas parciales de f en a:
f f f ( a + t ek ) f (a)
(a) = (a1 , a2 , . . . , an ) = lm (k = 1, 2, . . . , n),
xk xk t0 t
donde {e1 , e2 , . . . , en } es la base standard de Rn . Entonces, el gradiente de f en el punto a es,

por definicin, el vector f (a) = f (a1 , a2 , . . . , an ) Rn dado por
n
f f f f
f (a) = (a), (a), . . . , (a) = (a1 , a2 , . . . , an ) ek
x1 x2 xn k=1 xk
Si el campo f es diferenciable en todos los puntos de tendremos una funcin f : Rn

que a cada punto x hace corresponder el vector gradiente en dicho punto, f (x). Es natural
entonces escribir: n
f f f f
f = , ,..., = ek ,
x1 x2 xn k=1 x k
una igualdad entre funciones, vlida en todo punto de .
8
2. Gradiente, divergencia y rotacional 9
Gradiente en el plano. Para un campo escalar plano (x, y) 7 f (x, y), que sea diferenciable
en un punto a = (x0 , y0 ), tendremos

f f f f
f (a) = f (x0 , y0 ) = (a) , (a) = (x0 , y0 ) i + (x0 , y0 ) j
x y x y
Cuando f sea diferenciable en un abierto R2 podremos escribir

f f f f
f = , = i+ j (en )
x y x y
Gradiente en el espacio. Anlogamente, si (x, y, z) 7 f (x, y, z) es un campo escalar en el

espacio, diferenciable en un punto a = (x0 , y0 , z0 ), tendremos

f f f
f (a) = f (x0 , y0 , z0 ) = (a) , (a) , (a)
x y z
f f f
= (x0 , y0 , z0 ) i + (x0 , y0 , z0 ) j + (x0 , y0 , z0 ) k
x y z
y cuando f sea diferenciable en un abierto R3 podremos escribir

f f f f f f
f = , , = i+ j+ k (en )
x y z x y z
Derivadas direccionales. Consideremos de nuevo un campo escalar f definido en un abier-

to Rn y diferenciable en un punto a . Fijado un vector u = (u1 , u2 , . . . , un ) Rn con
kuk = 1, sabemos que la derivada direccional de f en la direccin u viene dada por:
n
f f ( a + t u ) f (a) f
u
(a) = lm
t0 t
= xk (a) uk = h f (a) | u i
k=1
y mide la rapidez de variacin de f al desplazarnos desde el punto a en la direccin del vector

u. La desigualdad de Cauchy-Schwartz nos da
f
(a) = h f (a) | u i 6 |h f (a) | u i| 6 k f (a)k kuk = k f (a)k
u
Si f (a) 6= 0, podemos conseguir que las desigualdades anteriores sean igualdades tomando
f (a)
u= y tenemos una interpretacin fsica del gradiente de un campo escalar: k f (a)k
k f (a)k
es la mxima rapidez de variacin del campo que podemos conseguir al desplazarnos desde el
punto a ; esta mxima variacin se produce en la direccin del vector gradiente, ms concre-
tamente, el mximo aumento se consigue en el sentido del vector gradiente y la mxima dismi-
nucin en sentido opuesto.
2.2. Campos vectoriales

Campos vectoriales. Un campo vectorial en Rn es una funcin F : Rn donde
es un subconjunto de Rn que usualmente ser abierto. Por tanto, un campo vectorial tiene n
coordenadas, que son campos escalares; concretamente, para x = (x1 , x2 , . . . , xn ) , el vector
F(x) Rn deber tener la forma:
n
F(x) = F1 (x), F2 (x), . . . , Fn (x) = Fk (x) ek ,
k=1
ms explcitamente,

F(x1 , x2 , . . . , xn ) = F1 (x1 , x2 , . . . , xn ) , F2 (x1 , x2 , . . . , xn ), . . . , Fn (x1 , x2 , . . . , xn )
n
= Fk (x1, x2, . . . , xn) ek ,
k=1
n
o abreviadamente: F = (F1 , F2 , . . . , Fn ) = Fk ek (en ).
k=1
Es claro que, para k = 1, 2, . . . , n, la funcin Fk : R as definida es un campo escalar
en Rn . Veamos la notacin que suele usarse en los dos casos particulares que nos interesan.
Un campo vectorial en el plano vendr dado por una funcin (x, y) 7 F(x, y) definida en
un conjunto R2 y con valores en R2 . Sus componentes suelen denotarse por P y Q,
con lo que, para (x, y) , tendremos:

F(x, y) = P(x, y), Q(x, y) = P(x, y) i + Q(x, y) j
o, abreviadamente: F = (P, Q) = P i + Q j (en ).

Es costumbre representar grficamente un campo vectorial plano F : R2 haciendo
que, para cada x , el vector F(x) tenga su origen en el punto x, obtenindose una
imagen que sugiere claramente un campo de vectores.
Las componentes de un campo vectorial (x, y, z) 7 F(x, y, z), definido en R3 y con

valores en R3 suelen denotarse por P, Q y R, de forma que, para (x, y, z) , se tendr:

F(x, y, z) = P(x, y, z), Q(x, y, z), R(x, y, z) = P(x, y, z)i + Q(x, y, z)j + R(x, y, z)k
o, abreviadamente: F = (P, Q, R) = P i + Q j + R k. (en )
Los campos vectoriales aparecen con frecuencia en Fsica, para representar magnitudes vec-
toriales: para cada punto x de una regin en el plano o en el espacio, F(x) es el valor en
ese punto de la magnitud vectorial descrita por el campo. Pinsese por ejemplo en el campo de
velocidades de un fluido en movimiento o en campos de fuerzas, como un campo gravitatorio o
electromagntico.
2.3. Divergencia de un campo vectorial

Sea F un campo vectorial definido en un conjunto abierto Rn y consideremos sus
coordenadas F = (F1 , F2 , . . . , Fn ). Supongamos que F es diferenciable en un punto a , lo que
sabemos equivale a que todos los campos escalares Fk , con k = 1, 2, . . . , n, sean diferenciables
en el punto a. De hecho cada vector gradiente Fk (a) es la k-sima fila de la matriz jacobiana
de F en a. Pues bien, la traza de dicha matriz es, por definicin, la divergencia del campo F
en el punto a, y se denota por div F(a). As pues, se tendr:
n
F1 F2 Fn Fk
div F(a) = (a) + (a) + . . . + (a) = xk (a).
x1 x2 xn k=1
Cuando el campo vectorial F es diferenciable en todo punto de tenemos una funcin

div F : R que en cada punto x toma el valor div F(x) de la divergencia en dicho
punto. Tenemos entonces la siguiente igualdad entre funciones, vlida en todo punto de :
n
F1 F2 Fn Fk
div F = + + ... + = xk
x1 x2 xn k=1

Para un campo vectorial plano (x, y) 7 F(x, y) = P(x, y), Q(x, y) , que sea diferenciable
en un punto (x0 , y0 ), tendremos
P Q
div F(x0 , y0 ) = (x0 , y0 ) + (x0 , y0 )
x y
Cuando F sea diferenciable en un abierto R2 podremos escribir

P Q
div F = + (en )
x y
Anlogamente, si F = P i + Q j + R k es un campo vectorial en el espacio, diferenciable

en un punto (x0 , y0 , z0 ), tendremos
P Q R
div F(x0 , y0 , z0 ) = (x0 , y0 , z0 ) + (x0 , y0 , z0 ) + (x0 , y0 , z0 ),
x y z
y cuando F sea diferenciable en un abierto R3 podremos escribir

P Q R
div F = + + (en )
x y z
Vector simblico nabla. Para operar con las nociones que estamos estudiando es til
introducir el simbolismo
n

= , , ..., = ek
x1 x2 xn k=1 xk
y manejar como si se tratase de un vector de Rn .

Por ejemplo, si f es un campo escalar definido en un abierto Rn y diferenciable en

un punto a , al multiplicar simblicamente el vector por el escalar f (a) se obtiene la
expresin correcta del vector gradiente:
n
f f f f
f (a) = (a), (a), . . . , (a) = (a) ek
x1 x2 xn k=1 xk
Cuando f es diferenciable en todo punto de podemos hacer el mismo clculo simblico

con el escalar variable f , que multiplicado por nos da
n
f f f f
f = , ,..., = ek ,
x1 x2 xn k=1 xk
Si ahora F = (F1 , F2 , , Fn ) es un campo vectorial definido en el abierto y diferenciable

en el punto a , cuando calculamos simblicamente el producto escalar del vector por
el vector F(a) = (F1 (a), F2 (a), . . . , Fn (a)) obtenemos:
F1 F2 Fn
. F(a) = (a) + (a) + . . . + (a) = div F(a).
x1 x2 xn
Esto explica que frecuentemente se denote por . F(a) a la divergencia del campo F en el
punto a. Cuando F es diferenciable en , tenemos igualmente
F1 F2 Fn
.F = + + ... + = div F (en )
x1 x2 xn
Con las debidas precauciones, este clculo simblico con el vector resulta til. Desta-
camos como siempre los dos casos particulares que nos interesan:

En el caso n = 2 tenemos = , = i+ j
x y x y

Anlogamente, para n = 3 ser = , , = i+ j+ k
x y z x y z
2.4. Rotacional de un campo vectorial

Rotacional en el espacio. Sea F = (P, Q, R) un campo vectorial definido en un abierto
R3 y diferenciable en un punto a . Del mismo modo que la divergencia div F(a) se
obtiene como el producto escalar simblico . F(a) , podemos pensar en el producto vectorial,
tambin simblico, F(a). El vector que as se obtiene es, por definicin, el rotacional del
campo F en el punto a y se denota tambin por rot F(a). As pues:

i j k

rot F(a) = F(a) = x y z
P(a) Q(a) R(a)

R Q P R Q P
= (a) (a) i + (a) (a) j + (a) (a) k.
y z z x x y
Cuando F sea diferenciable en todo el abierto podremos escribir:

i j k

rot F = F = x y

z
P Q R

R Q P R Q P
= i+ j+ k (en ).
y z z x x y
Rotacional escalar en el plano. La nocin de rotacional recin introducida slo tiene sen-
tido para campos vectoriales en el espacio. Sin embargo, a un campo vectorial en el plano puede
asociarse de forma natural un campo vectorial en el espacio, como vamos a ver.
Sea F = (P, Q) un campo vectorial definido en un abierto R2 . Consideramos el con-
junto = {(x, y, z) R3 : (x, y) }, que es claramente un subconjunto abierto de R3 , y para
definimos
(x, y, z) ,
y, z) = (P(x, y), Q(x, y), 0),
F(x,
obteniendo un campo vectorial F : R3 . La relacin entre las componentes de F y F es
bastante clara, si ponemos F = (P, R),
Q, tenemos
y, z) = Q(x, y) ; R(x,
y, z) = P(x, y) ; Q(x,
y, z) = 0 (x, y, z)

P(x,
Si F es diferenciable en un punto (x0 , y0 ) deducimos que F es diferenciable en cualquier punto

y calculamos fcilmente el rotacional en cualquiera de esos puntos:
de la forma (x0 , y0 , z)

Q P
rot F(x0 , y0 , z) = (x0 , y0 ) (x0 , y0 ) k.
x y
Hemos motivado as la siguiente definicin:
Sea F = (P, Q) un campo vectorial definido en un abierto R2 y diferenciable en un
punto (x0 , y0 ) . El rotacional escalar de F en el punto (x0 , y0 ) se define por:
Q P
rot F(x0 , y0 ) = (x0 , y0 ) (x0 , y0 ).
x y
Si F es diferenciable en todo punto del abierto podemos pues definir rot F : R mediante
la igualdad:
Q P
rot F = .
x y
2.5. Algunas observaciones adicionales

En esta leccin hemos definido cuatro operadores diferenciales que transforman unos cam-
pos en otros. Ms concretamente:
Si f es un campo escalar diferenciable en un abierto Rn , entonces su gradiente

f : Rn es un campo vectorial definido en . Suele decirse que f es un campo
de gradientes.
Dado un campo vectorial F que sea diferenciable en un abierto Rn , su divergencia

. F es un campo escalar definido en .
Cada campo vectorial F que sea diferenciable en un abierto R3 da lugar a rot F,

otro campo vectorial definido en
Finalmente, un campo vectorial F que sea diferenciable en un abierto R2 define un

campo escalar rot F.
Veamos ahora lo que ocurre al iterar estos procesos, aunque no agotaremos todas las posibi-
lidades. Lgicamente los campos a considerar debern tener propiedades de diferenciabilidad
ms restrictivas que las usadas hasta ahora.
Rotacional de un gradiente. Vamos a comprobar sin dificultad el siguiente resultado:
Si f es un campo escalar dos veces diferenciable en un abierto R3 , entonces se verifica
que rot ( f ) = 0 en .
En efecto, de las definiciones de gradiente y rotacional se deduce que:
2
2 f
2
2 f
2
2 f

f f f
rot ( f ) = i+ j+ k,
y z z y z x x z x y y x
que se anula idnticamente en todo el abierto gracias al Lema de Schwarz, que asegura la
igualdad de las derivadas parciales segundas cruzadas de una funcin dos veces diferenciable.
De forma completamente anloga podemos obtener el mismo resultado en R2 :
Si f es un campo escalar dos veces diferenciable en un abierto R2 , entonces se verifica
que rot ( f ) = 0 en .
Divergencia de un rotacional. El siguiente resultado se comprueba tambin sin dificultad:
Si F es un campo vectorial dos veces diferenciable en un abierto R3 , entonces se
verifica que div (rot F) = 0 en .
El clculo con el vector simblico ayuda a recordar los dos resultados anteriores:
( f ) 0 y . ( F) 0
En el primer caso podemos pensar que f es un mltiplo escalar del vector y recordar que,
para x R3 y R, se tiene x ( x) = 0. En el segundo caso recordamos que el producto
vectorial de dos vectores de R3 es ortogonal a dichos vectores. Sin embargo, el simbolismo no
se puede llevar demasiado lejos: cierto que, como se ha dicho, podemos entender que F
es ortogonal a , pero es fcil dar un ejemplo de un campo vectorial F, diferenciable en R3 ,
tal que F no sea ortogonal a F , o incluso que verifique h F(x) | F(x) i =
6 0 para todo
x R3 .

Leccion 3
Curvas en el plano o en el espacio
3.1. Caminos y curvas en Rn

Definiciones. Un camino en Rn es una funcin continua : [a, b] Rn con a, b R, a < b.
Decimos tambin que el conjunto = {(t) : a 6 t 6 b} es una curva en forma paramtrica, o
simplemente una curva en Rn y que el camino recorre o parametriza la curva . Los puntos
(a) y (b) son, respectivamente, el origen y el extremo del camino . Cuando (a) = (b) se
dice que es un camino cerrado.
Nos interesan solamente los casos n = 2 (caminos en el plano, curvas planas) y n = 3
(caminos en el espacio, curvas alabeadas). Observamos que la curva tiene una interpretacin
geomtrica directa, como subconjunto del plano o del espacio, mientras el camino es una
funcin que nos proporciona una forma de parametrizar la curva , puesto que cada punto de
la curva aparece en la forma (t) para algn valor del parmetro t.
Para tener una interpretacin fsica, basta pensar que [a, b] es un intevalo de tiempo y que,
para cada t [a, b], (t) es la posicin de un mvil en el instante t, con lo que el camino nos
dara la ecuacin del movimiento mientras que la curva sera la trayectoria recorrida por el
mvil. Es claro que caminos muy distintos pueden recorrer una misma curva; equivalentemente,
sobre una misma trayectoria se pueden desarrollar movimientos muy diferentes.
Ecuaciones paramtricas. Si : [a, b] R3 es un camino en el espacio, podremos escribir:

(t) = x(t), y(t), z(t) = x(t) i + y(t) j + z(t) k (a 6 t 6 b)
donde x, y, z son funciones continuas de [a, b] en R. Decimos entonces que el camino tiene
ecuaciones paramtricas:
x = x(t)

y = y(t) (a 6 t 6 b).

z = z(t)

15
3. Curvas en el plano y en el espacio 16
Por ejemplo, fijados dos puntos (x0 , y0 , z0 ) y (x1 , y1 , z1 ) de R3 , las ecuaciones paramtricas

x = x0 + t (x1 x0 )

y = y0 + t (y1 y0 ) (0 6 t 6 1)

z = z0 + t (z1 z0 )

definen un camino que recorre el segmento que une dichos puntos, siendo (x0 , y0 , z0 ) el origen
del camino y (x1 , y1 , z1 ) su extremo.
Naturalmente, un camino en el plano, : [a, b] R2 , tendr la forma

(t) = x(t), y(t) (a 6 t 6 b)
y diremos que sus ecuaciones paramtricas son:

(
x = x(t)
(a 6 t 6 b).
y = y(t)
Por ejemplo, para (x0 , y0 ) R2 y 0 > 0, las ecuaciones paramtricas

(
x = x0 + 0 cos
( 6 6 )
y = y0 + 0 sen
definen un camino cerrado que recorre la circunferencia de centro (x0 , y0 ) y radio 0 .

Camino opuesto. Dado un camino : [a, b] Rn el camino opuesto de es, por defini-
cin, el camino op : [a, b] Rn , dado por
op (t) = (a + b t) (a 6 t 6 b).
Observamos que op recorre la misma curva que pero, intuitivamente, la recorre en sentido
contrario; en particular op (a) = (b) y op (b) = (a).
Suma de caminos. Consideremos dos caminos : [a, b] Rn y : [c, d] Rn que sean
consecutivos, es decir, tales que el extremo de coincida con el origen de : (b) = (c).
Podemos entonces definir un nuevo camino, que llamaremos suma de con y denotaremos
por . Intuitivamente el camino suma consiste en efectuar el movimiento indicado por y
a continuacin el indicado por . Concretamente definimos : [a, b + d c] Rn por:
(
(t) si a 6 t 6 b
(t) =
(t b + c) si b 6 t 6 b + d c
Ntese que la condicin (b) = (c) es la que asegura la continuidad del camino suma en el
punto b. Si los caminos y recorren sendas curvas y , es claro que la curva recorrida por
es . El proceso de suma se puede iterar, para obtener la suma de un nmero finito
de caminos, 1 2 . . . N , siempre que cada uno de ellos sea consecutivo del anterior. Se
verifica una propiedad asociativa en esta operacin de suma, que hace que tales sumas finitas se
puedan definir sin ambigedad. Por ejemplo, una suma finita de segmentos da como resultado
un camino poligonal.
3.2. Caminos regulares, vector tangente

Regularidad. Se dice que un camino : [a, b] Rn es regular cuando es una funcin de
clase C1 en el intervalo [a, b]. Por ejemplo, los dos caminos que han aparecido en el apartado
anterior, que recorran un segmento en el espacio y una circunferencia en el plano, son caminos
regulares. Es fcil observar que la suma de dos caminos regulares puede no ser regular, pinsese
por ejemplo lo que ocurre al sumar dos segmentos consecutivos que no estn alineados. Por ello
conviene considerar un tipo de regularidad ms general.
Decimos que un camino : [a, b] Rn es regular a trozos cuando existe una particin
a = t0 < t1 < . . . < tN = b del intervalo [a, b] tal que, para cada k = 1, 2, . . . , N, la restriccin
de al subintervalo [tk1 ,tk ] es una funcin de clase C1 . Si llamamos k a dicha restriccin, es
claro que k : [tk1 ,tk ] Rn es un camino regular, as como que = 1 2 . . . N , luego
se obtiene como suma finita de caminos regulares. Recprocamente, es fcil comprobar que toda
suma de caminos regulares es un camino regular a trozos. En resumen, un camino es regular
a trozos si, y slo si, se obtiene como suma de caminos regulares. Claramente, la suma de dos
caminos regulares a trozos sigue siendo un camino regular a trozos. Observamos tambin que
el camino opuesto de un camino regular, o regular a trozos, es del mismo tipo.
Vector velocidad y vector tangente. Si un camino : [a, b] Rn es derivable en un punto
t0 [a, b], el vector 0 (t0 ) Rn recibe el nombre de vector velocidad del camino en el instante
t0 y su norma, k 0 (t0 )k, es la celeridad del camino en el instante t0 . La nomenclatura procede
claramente de la interpretacin fsica.
Cuando 0 (t0 ) 6= 0 decimos tambin que 0 (t0 ) es el vector tangente al camino en el
instante t0 y la recta que pasa por el punto (t0 ) con vector de direccin 0 (t0 ) recibe el nombre
de recta tangente al camino en el instante t0 , lo cual tiene clara interpretacin geomtrica. De
hecho, considerando la curva recorrida por el camino , suele hablarse de la recta tangente a
la curva en el punto (t0 ) aunque con ello se comete un claro abuso de lenguaje.
Cuando un camino regular : [a, b] Rn tiene recta tangente en cada punto, es decir,
verifica que 0 (t) 6= 0 para todo t [a, b], se dice que es un camino suave. Si es la curva
recorrida por un camino suave , decimos tambin que es una curva suave.
Ecuacin de la recta tangente. Si el camino : [a, b] R3 viene dado por:

(t) = x(t), y(t), z(t) (a 6 t 6 b),
sabemos que es derivable en un punto t0 [a, b] si, y slo si, lo son las funciones x, y, z, en
cuyo caso
0 (t0 ) = (x 0 (t0 ), y 0 (t0 ), z 0 (t0 ) .

Cuando sea adems 0 (t0 ) 6= 0, poniendo (t0 ) = (x0 , y0 , z0 ), las ecuaciones paramtricas de la
recta tangente toman la forma

0
x = x0 + (t t0 ) x (t0 )

y = y0 + (t t0 ) y 0 (t0 )
z = z0 + (t t0 ) z 0 (t0 )

y las ecuaciones implcitas sern

x x0 y y0 z z0
= =
x 0 (t0 ) y 0 (t0 ) z 0 (t0 )
con los consabidos convenios para el caso en que se anule algn denominador.
Anlogamente, para un camino en el plano tendremos:
(t) = x(t), y(t) (a 6 t 6 b) ; (t0 ) = (x0 , y0 ) ; 0 (t0 ) = (x 0 (t0 ), y 0 (t0 )

y las ecuaciones de la recta tangente sern

(
x = x0 + (t t0 ) x 0 (t0 ) x 0 (t0 )

x x0
o bien = 0
y 0 (t0 )

y = y0 + (t t0 ) y 0 (t0 ) y y0
3.3. Longitud de un camino

Definicin. La longitud de un camino regular : [a, b] Rn viene dada por:
Z b
L() = k 0 (t)k dt. ()
a
La existencia de la integral est asegurada, por ser el integrando una funcin continua en el
intervalo [a, b]. Suponemos bien conocido el hecho de que esta integral realmente responde a la
idea de longitud de un camino.
La misma expresin puede usarse para un camino regular a trozos. En efecto, tomemos una
particin a = t0 < t1 . . . < tN = b del intervalo [a, b] de forma que la restriccin de al subin-
tervalo [tk1 ,tk ] sea una funcin de clase C1 para k = 1, 2, . . . , N. Entonces es derivable en
[a, b] salvo, a lo sumo, en el conjunto S = {t1 ,t2 , . . . ,tN1 } y en los puntos de S tiene derivadas
por la izquierda y por la derecha que pueden no coincidir, con lo que deducimos que la funcin
t 7 k 0 (t)k es continua y acotada en [a, b] \ S. Por tanto, dando valores cualesquiera a dicha
funcin en los puntos de S, obtenemos una funcin integrable en el intervalo [a, b] cuya integral
no depender de dichos valores. As pues, la integral que aparece en () tiene perfecto sentido
y podemos usarla como definicin de la longitud de un camino regular a trozos. Observamos
tambin que, llamando k a la restriccin de a cada subintervalo [tk1 ,tk ], tenemos:
Z b N Z tk N
0
L() = k (t)k dt = k 0 (t)k dt = L(k ).
a k=1 tk1 k=1
De manera ms general, si y son caminos regulares a trozos consecutivos, se tiene que

L( ) = L() + L(). Tambin se comprueba fcilmente que L(op ) = L().
Si un camino regular a trozos : [a, b] R3 tiene ecuaciones paramtricas
x = x(t) ; y = y(t) ; z = z(t) (a 6 t 6 b),

su longitud vendr dada por

Z b 1/2
L() = x 0 (t)2 + y 0 (t)2 + z 0 (t)2 dt,
a
y para un camino regular a trozos en el plano, con anloga notacin, tendremos simplemente
Z b 1/2
L() = x 0 (t)2 + y 0 (t)2 dt,
a
Funcin longitud de arco. Recordemos la interpretacin fsica de un camino regular a

trozos como la ecuacin de un movimiento durante un intervalo de tiempo [a, b]. El espacio
recorrido por el mvil desde el instante inicial a hasta un instante t vendr entonces dado por
Z t
l(t) = k 0 (s)k ds.
a
La funcin l : [a, b] R as definida recibe el nombre de funcin longitud de arco para el

camino . Cuando es regular, el Teorema Fundamental del Clculo nos asegura que l es una
funcin de clase C1 en [a, b] verificando que
l 0 (t) = k 0 (t)k (a 6 t 6 b). ()
Esta igualdad tiene nuevamente una clara interpretacin: la celeridad del movimiento en cada
instante es la derivada del espacio recorrido con respecto al tiempo.
Por otra parte, la igualdad () tambin justifica el simbolismo
dl = k 0 (t)k dt
que ms adelante ser til en el estudio de las integrales de lnea.
3.4. Curvas en el plano

Vamos a repasar las tres formas en que puede describirse una curva en el plano.
(a) Forma explcita. Llamamos curva en forma explcita a la grfica de una funcin con-
tinua f : [a, b] R, es decir, el conjunto

G = x, f (x) : a 6 x 6 b (a.1)
Observemos que la funcin f est determinada en forma nica por el conjunto G, lo cual es la
principal ventaja de esta forma explcita.
Cuando f es derivable en un punto x0 [a,b] sabemos que f 0 (x0 ) es la pendiente de la recta
tangente a G en el punto (x0 , y0 ) = x0 , f (x0 ) , luego la ecuaciones implcita y paramtricas de
dicha recta sern:
(
x = x0 + s
y y0 = f 0 (x0 ) (x x0 ) y (a.2)
y = y0 + s f 0 (x0 )
Resaltamos que, si la funcin f es derivable en todo el intervalo [a, b], tenemos bien definida
la recta tangente en cada punto de la curva G.
La nocin de curva en forma explcita es demasiado restrictiva, como se pone de manifiesto
al observar que el conjunto G definido en (a.1) no puede contener dos puntos con la misma
abcisa. Eso explica la utilidad de la nocin ms general de curva en forma paramtrica.
Para ver que efectivamente el conjunto G definido por (a.1) es una curva en forma param-
trica, basta considerar el camino : [a, b] R2 definido por (t) = t, f (t) para a 6 t 6 b.
Es obvio que G = {(t) : a 6 t 6 b}, luego recorre la curva G.
Veamos tambin que al considerar la recta tangente al camino en un instante x0 [a, b],
escribiendo como antes y0 = f (x0 ), llegamos a las ecuaciones (a.2). En efecto, si f es derivable
en x0 , tambin lo es , con 0 (x0 ) = 1, f 0 (x0 ) . Observamos que la condicin 0 (x0 ) 6= 0
se cumple automticamente, lo que explica que tengamos recta tangente con slo que f sea
derivable. Las ecuaciones paramtricas e implcita de la recta tangente al camino en el instante
x0 nos aparecen pues en la forma
(
x = x0 + (t x0 ) x x0 1
= 0
y 0
y = y0 + (t x0 ) f 0 (x0 ) y y0 f (x0 )
que son precisamente las ecuaciones (a.2).

Notemos finalmente que si la funcin f es de clase C1 en el intervalo [a, b], entonces es
un camino suave y es una curva suave.
(b) Forma paramtrica. Repasando lo ya dicho, una curva en forma paramtrica es la
imagen de una funcin continua : [a, b] R2 , es decir, el conjunto

= {(t) : a 6 t 6 b} = x(t), y(t) : a 6 t 6 b (b.1)
Cuando sea derivable en un punto t0 [a, b] con 0 (t0 ) 6= 0, las ecuaciones paramtricas e
implcita de la recta tangente a la curva en el punto (x0 , y0 ) = (t0 ) son
(
x = x0 + (t t0 ) x 0 (t0 ) x x0 x 0 (t0 )

y y y0 y 0 (t0 ) = 0 (b.2)

y = y0 + (t t0 ) y 0 (t0 )
con el abuso de lenguaje que ya habamos comentado. Tendremos ocasin de usar tambin la
recta normal a la curva en un punto (x0 , y0 ) = (t0 ), que es la recta que pasa por dicho punto
y es ortogonal a la recta tangente. La ecuacin implcita de dicha recta es fcil de obtener:
x 0 (t0 )(x x0 ) + y 0 (t0 )(y y0 ) = 0 (b.3)
(c) Forma implcita Se llama as a la descripcin de una curva como lugar geomtrico
de los puntos del plano que verifican una ecuacin o, lo que es lo mismo, como conjunto de
nivel de una funcin de dos variables. Por tanto, dada un funcin g : R donde es un
subconjunto abierto de R2 , consideramos el conjunto:
C = {(x, y) : g(x, y) = 0}. (c.1)

En general, los conjuntos de la forma {(x, y) : g(x, y) = } con R son los conjuntos
de nivel de la funcin g. Obviamente no se pierde generalidad tomando = 0.
Supondremos que g es de clase C1 en , que g se anula en algn punto de (C 6= 0/ ) y que
el gradiente de g no se anula en C, es decir, g(x, y) 6= 0 (x, y) C. Con estas condiciones
podemos decir que el conjunto C definido en (c.1) es una curva en forma implcita.
La nomenclatura se justifica porque al menos localmente el conjunto C se puede hacer
coincidir con una curva en forma paramtrica. De hecho, el Teorema de la Funcin Implcita
nos asegura que cada punto de C tiene un entorno cuya interseccin con C es la curva recorrida
por un camino regular cuya derivada no se anula en ningn punto, es decir, una curva suave.
En la situacin ms favorable, el propio conjunto C puede ser una curva en forma paramtrica,
pero en general esto no tiene por qu ocurrir: por ejemplo, C puede no estar acotado.
Calculemos ahora, para curvas en forma implcita, la recta tangente en un punto. En efecto,
sea C la curva definida en forma implcita por la igualdad (c.1), sea (x0 , y0 ) C y conside-
remos un camino suave : [a, b] C que recorra la curva U C donde U es un entorno de
(x0 , y0 ). Pongamos (x0 , y0 ) = (t0 ) con t0 [a, b] y veamos qu sabemos de 0 (t0 ). Si x = x(t)
e y = y(t), con a 6 t 6 b, son las ecuaciones paramtricas de , habr de verificarse que
g x(t), y(t) = 0 para a 6 t 6 b. La regla de la cadena nos dice entonces que
g g
(x0 , y0 ) x 0 (t0 ) + (x0 , y0 ) y 0 (t0 ) = 0,
x y
o equivalentemente g(x0 , y0 ) 0 (t0 ) = 0. Deducimos que el vector g(x0 , y0 ), que por hi-

ptesis no se anula, es ortogonal al vector 0 (t0 ), que tampoco se anula. Por tanto, la ecuacin
implcita de la recta tangente al camino en el instante t0 es:

g(x0 , y0 ) (x x0 , y y0 ) = 0. (c.2)
Observamos que esta ecuacin no depende del camino que hemos empleado, luego tiene
perfecto sentido decir que la recta de ecuacin (c.2) es la recta tangente a la curva C en el
punto (x0 , y0 ). Por otra parte, la recta normal a C en (x0 , y0 ) ser la recta cuyas ecuaciones
paramtricas e implcita vienen dadas por:
(
x = x0 + (t t0 ) g (x
x 0 0 , y ) xx
0
g
x (x0 , y0 )
y = 0. (c.3)

y = y0 + (t t0 ) g y y0 g y (x0 , y0 )

y (x0 , y0 )

Resaltamos finalmente la interpretacin geomtrica del gradiente que se ha obtenido en el

razonamiento anterior. Sea g un campo escalar de clase C1 en un abierto R2 y (x0 , y0 )
tal que g(x0 , y0 ) 6= 0. Entonces existe un entorno abierto 0 del punto (x0 , y0 ) en el que g
no se anula y tenemos todas las condiciones para afirmar que el conjunto
C = {(x, y) 0 : g(x, y) = g(x0 , y0 )}
es una curva en forma implcita, la curva de nivel del campo g que pasa por el punto (x0 , y0 ).
Pues bien, segn hemos visto, el vector gradiente g(x0 , y0 ) es el vector normal a dicha curva.
Dada la arbitrariedad del punto (x0 , y0 ), tenemos que el vector gradiente, en cada punto donde
no se anule, es ortogonal a la curva de nivel que pasa por dicho punto.

Leccion 4
Integrales de lnea
4.1. Integral de lnea de un campo escalar

Definicin. Sea f : R un campo escalar continuo, con Rn , y sea : [a, b]
un camino regular a trozos. La integral de lnea de f a lo largo de es, por definicin:
Z Z b
f (t) k 0 (t)k dt

f dl =
a
Existencia de la integral. Est asegurada, ya que el integrando es una funcin acotada

en [a, b] y continua salvo, a lo sumo, en un nmero finito de puntos para los que ni siquiera
concretamos el valor que toma en ellos dicha funcin. De hecho, si hacemos una particin
a = t0 < t1 < . . . < tn = b del intervalo [a, b] de forma que, para k = 1, 2, . . . , n, la restriccin
de al subintervalo [tk1 ,tk ] sea de clase C1 , podemos escribir
Z n Z tk
f (t) k 0 (t)k dt,

f dl =
k=1 tk1
obteniendo una suma finita de integrales de funciones continuas. Resaltamos que al campo
escalar f slo se le exige estar definido y ser continuo sobre la curva recorrida por el camino
de integracin. Habitualmente f tendr propiedades de regularidad mucho mejores, siendo por
ejemplo diferenciable en un abierto que contenga a la curva .
Casos particulares. En el caso n = 3, tendremos
Z Z b 1/2
f x(t), y(t), z(t) x 0 (t)2 + y 0 (t)2 + z 0 (t)2

f dl = dt
a
donde
x = x(t) ; y = y(t) ; z = z(t) (a 6 t 6 b)
son las ecuaciones paramtricas del camino . En el caso n = 2 tendremos solamente:
Z Z b 1/2
f x(t), y(t) x 0 (t)2 + y 0 (t)2

f dl = dt
a
22
4. Integrales de lnea 23
Ejemplo. Consideremos el campo escalar f definido en R3 por
f (x) = kxk2 (x R3 )
y el camino helicoidal dado por:

(t) = cost , sent , t (0 6 t 6 4).
En este caso tenemos claramente
f (t) = cos2 t + sen2 t + t 2 = 1 + t 2

(0 6 t 6 4)
y tambin
0 (t) = sent , cost , 1 , k 0 (t)k = 2

(0 6 t 6 4),
con lo cual Z 4 162
Z
2
f dl = (1 + t ) 2 dt = 4 2 1 + .
0 3
Interpretacin. Cuando el campo escalar que se integra es constantemente igual a 1 sobre

la curva recorrida, la integral de lnea coincide obviamente con la longitud del camino. A partir
de aqu podemos intuir, muy informalmente, otras situaciones ms generales.
En el caso n = 2, si el campo escalar f no toma valores negativos, podemos interpretar la
integral de lnea como el rea de un muro construido tomando como base la curva recorrida
por el camino y con altura variable, de forma que, para cada t [a, b], la altura del muro en
el punto (t) es precisamente f (t) . Esta idea generaliza obviamente la interpretacin de la
integral simple de una funcin positiva como el rea comprendida bajo la grfica de la funcin.
Para n = 2 o n = 3, tambin podemos interpretar que sobre la curva recorrida por
tenemos una distribucin lineal de masa (pensemos por ejemplo en un cable con la forma de
dicha curva), de manera que f (t) es la densidad lineal en el punto (t). La integral de lnea
nos da entonces la masa total.
Con respecto a ambas interpretaciones hay que hacer una salvedad: slo son correctas cuan-
do, por decirlo de manera intuitiva, el camino recorre la curva una sola vez. La formula-
cin rigurosa de esta idea puede hacerse mediante la nocin de camino simple, que estudiaremos
ms adelante.
4.2. Integral de lnea de un campo vectorial

Definicin. Sea ahora F : Rn un campo vectorial continuo en un conjunto Rn
y : [a, b] un camino regular a trozos. La integral de lnea de F a lo largo de es, por
definicin: Z Z b
F (t) 0 (t) dt

F . dl =
a
La existencia de esta integral est asegurada por las mismas razones comentadas en el caso de
un campo escalar.
Ejemplo. Consideremos el campo vectorial definido en R3 por
F(x) = x (x R3 )
y el camino helicoidal
x = cost ; y = sent ; z = t (0 6 t 6 4).
Tenemos entonces
F (t) 0 (t) = cost i + sent j + t k sent i + cost j + k

= cost sent + sent cost + t = t (0 6 t 6 4),

con lo que
Z Z 4
F . dl = t dt = 82 .
0
Notacin clsica. Sea F = (P, Q, R) un campo vectorial en el espacio, continuo sobre la

curva recorrida por un camino regular a trozos de ecuaciones paramtricas
x = x(t) ; y = y(t) ; z = z(t) (a 6 t 6 b).
Se tiene entonces, por definicin:

Z Z b
P x(t), y(t), z(t) x 0 (t) + Q x(t), y(t), z(t) y 0 (t) + R x(t), y(t), z(t) z 0 (t) dt,

F . dl =
a
lo que explica que frecuentemente se use la siguiente notacin:

Z Z Z
F . dl = P(x, y, z) dx + Q(x, y, z) dy + R(x, y, z) dz = P dx + Q dy + R dz.

Anlogamente, para un campo vectorial en el plano F = (P, Q), que sea continuo sobre la curva
recorrida por un camino regular a trozos con ecuaciones paramtricas
x = x(t) ; y = y(t) (a 6 t 6 b),
podemos escribir
Z Z Z
F . dl = P dx + Q dy = P(x, y) dx + Q(x, y) dy

Z b
P x(t), y(t) x 0 (t) + Q x(t), y(t) y 0 (t) dt.

=
a
Ejemplo. Consideremos la integral de lnea

Z
(x2 dx + xy dy + dz)

donde el camino tiene ecuaciones
x = t ; y = t2 ; z = 1 (0 6 t 6 1).
El campo vectorial que integramos viene dado por
F(x, y, z) = x2 i + xy j + k ((x, y, z) R3 )
y usando que, para cada t [0, 1], se tiene x 0 (t) = 1, y 0 (t) = 2t y z 0 (t) = 0, deducimos:
Z 1
11
Z Z
2
F . dl = (x dx + xy dy + dz) = (t 2 + 2t 4 ) dt = .
0 15
Interpretacin. Supongamos que el campo vectorial F es un campo de fuerzas en el plano

o en el espacio, pongamos por caso un campo gravitatorio o un campo elctrico. Ello significa
que una unidad de masa o de carga elctrica positiva situada en un punto x est sometida a una
fuerza F(x). Si
Z una partcula con esa carga o masa unidad recorre un camino (regular a trozos)
, la integral F . dl representa el trabajo realizado por el campo en ese recorrido.

Relacin entre las integrales de lnea. Si : [a, b] Rn es un camino suave, es decir, es
regular con 0 (t) 6= 0 para todo t [a, b], podemos definir
0 (t)
T(t) = (a 6 t 6 b),
k 0 (t)k
que es un vector unitario tangente a la curva recorrida por el camino en cada punto. Si
ahora F es un campo vectorial continuo sobre dicha curva tendremos:
Z Z b
F (t) T(t) k 0 (t)k dt

F . dl =
a
expresin que recuerda la integral de lnea de un campo escalar. Para definir correctamente
dicho campo escalar necesitamos hacer hiptesis adicionales sobre el camino que no vamos
a comentar, aunque no son difciles de adivinar. As pues, en ciertas condiciones existir un
campo escalar continuo f : R que verifica:

Z Z
f (t) = F (t) T(t) (a 6 t 6 b) y, por tanto, F . dl = f dl.

En resumen, bajo ciertas condiciones sobre el camino, toda integral de lnea de un campo
vectorial coincide con la integral de lnea de un campo escalar, y es lgico analizar
la relacin
entre ambos campos. Observamos que, para cada t [a, b], el vector f (t) T(t) es la pro-
yeccin ortogonal de F (t) sobre el vector T(t), es decir, la componente de F (t) en la
direccin tangencial a la curva en el punto (t) . Por tanto, podemos ver el campo escalar f
como la coordenada del campo vectorial F en dicha direccin tangencial a la curva en cada
punto de la misma. En general, aunque el camino no cumpla las condiciones que justifiquen
el razonamiento anterior, sigue siendo til interpretar la integral de lnea sobre de un campo
vectorial F como integral de lnea del campo escalar que se obtiene al tomar la coordenada de
F en la direccin tangencial al camino en cada punto.
4.3. Propiedades de las integrales de lnea

Linealidad. Las integrales dependen linealmente del campo que se integra. Ms concreta-
mente, se verifica que Z Z Z
( f + g) dl = f dl + g dl

para cualquier camino regular a trozos en Rn , cualesquiera campos escalares f y g que sean
continuos sobre la curva recorrida por el camino y cualesquiera , R. Anloga propiedad
se tiene para campos vectoriales:
Z Z Z
( F + G) . dl = F . dl + G . dl

Continuidad. Las integrales de lnea tambin dependen de manera continua del campo que
se integra; intuitivamente, pequeas perturbaciones del campo dan lugar a pequeas variaciones
en la integral. Ello es consecuencia de las desigualdades que vamos a presentar.
Sea : [a, b] Rn un camino regular a trozos que recorre una curva , sea f un campo
escalar continuo sobre y supongamos que f est acotado en por una constante k, es decir,

k > max{| f (x)| : x } = max f (t) : a 6 t 6 b .
Entonces se tiene, claramente, Z

f dl 6 k L()

Anlogo resultado se tiene para un campo vectorial F que sea continuo sobre . De hecho,
podemos considerar el campo escalar kFk, que tambin es continuo sobre , y la desigualdad
de Cauchy-Schwartz nos permite escribir:
Z Z

F . dl 6 kFk dl.

Naturalmente ahora, de la estimacin

k > max{kF(x)k : x } = max F (t) : a 6 t 6 b ,
se deduce que Z

F . dl 6 k L().

Aditividad. Las integrales de lnea son aditivas con respecto al camino de integracin, en
el sentido de que al recorrer consecutivamente dos caminos, las integrales se suman.
Ms concretamente, sean : [a, b] Rn y : [c, d] Rn caminos regulares a trozos conse-
cutivos, esto es, verificando que (b) = (c), y consideremos el camino suma . Si f y F
son, respectivamente, un campo escalar y un campo vectorial, ambos continuos sobre la unin
de las curvas recorridas por y , se verifica que:
Z Z Z Z Z Z
f dl = f dl + f dl y F . dl = F . dl + F . dl.

Para el camino opuesto, el comportamiento de ambas integrales no es el mismo, la de un

campo escalar no se altera al cambiar el sentido de recorrido, mientras que la de un campo vec-
torial cambia de signo. Ms concretamente, si f es un campo escalar y F un campo vectorial,
ambos continuos sobre la curva recorrida por un camino regular a trozos , se tiene:
Z Z Z Z
f dl = f dl pero F . dl = F . dl.
op op
Independencia de la parametrizacin. Las integrales de lnea no se alteran al sustituir el

camino de integracin por otro equivalente en el sentido que vamos a explicar.
Sea : [a, b] Rn un camino regular a trozos y sea : [c, d] [a, b] una funcin biyecti-
va, creciente y de clase C1 . Consideremos
el camino regular a trozos : [c, d] Rn dado por
= , esto es, (s) = (s) para c 6 s 6 d. Suele decirse que se ha obtenido de
mediante un cambio de parmetro. Ntese que y recorren la misma curva, por lo que geo-
mtricamente pueden considerarse equivalentes, aunque desde una interpretacin fsica podran
describir movimientos diferentes.
Observemos por ejemplo, en el caso n = 2, que si las ecuaciones paramtricas de vienen
dadas por
x = x(t) ; y = y(t) (a 6 t 6 b),
las de seran:
x = x (s) ; y = y (s)) (c 6 s 6 d),
lo que pone claramente de manifiesto el cambio de parmetro.
Pues bien, volviendo al caso general, si f es un campo escalar y F un campo vectorial,
ambos continuos sobre la curva recorrida por , se verifica que:
Z Z Z Z
f dl = f dl y F . dl = F . dl.

4.4. Integral de lnea de un gradiente

El siguiente resultado puede entenderse como una versin de la Regla de Barrow para inte-
grales de lnea, o como una versin vectorial de dicha regla.
Sea f : R un campo escalar de clase C1 en un abierto Rn y : [a, b] un
camino regular a trozos. Entonces:
Z
f . dl = f (b) f (a) .

En particular, si el camino es cerrado, se tendr:

Z
f . dl = 0

Por la importancia que tendr ms adelante este resultado vamos a detallar su demostracin.
Supongamos primeramente que el camino es regular y consideremos la funcin h : [a, b] R

definida por h(t) = f (t) para todo t [a, b]. La regla de la cadena nos permite asegurar que
h es de clase C1 en [a, b] con
h 0 (t) = f (t) 0 (t)

(a 6 t 6 b).
Aplicando entonces la regla de Barrow, tenemos:

Z Z b
f (t) 0 (t) dt

f . dl =
a
Z b
h 0 (t) dt = h(b) h(a) = f (b) f (a) .

=
a
En general, para un camino regular a trozos, usamos una particin a = t0 < t1 < . . . < tN = b
del intervalo [a, b] de forma que la restriccin de al intervalo [tk1 ,tk ] es un camino regular,
que denotamos por k , para k = 1, 2, . . . , N. Aplicando el resultado ya probado para caminos
regulares tenemos claramente:
Z N Z N
f . dl = f . dl = f (tk ) f (tk1 ) = f (b) f (a) .
k=1 k k=1

Leccion 5
Caracterizacin de los campos conservativos
5.1. Motivacin y enunciado del teorema

Recordemos el clculo de la integral de lnea de un gradiente, hecho en la leccin anterior.
Si f : R es un campo escalar de clase C1 en un abierto Rn y : [a, b] es un
camino regular a trozos en dicho abierto, entonces
Z
f . dl = f (b) f (a) .

Observamos que la integral no depende del camino sino solamente de su origen (a) y su
extremo (b). Sobre cualquier otro camino regular a trozos con el mismo origen y extremo,
el valor de la integral sera el mismo. Por otra parte, si el camino es cerrado, (b) = (a), la
integral se anula. Tenemos as dos condiciones necesarias para que un campo vectorial continuo
F : Rn pueda ser el campo de gradientes de un campo escalar de clase C1 en . Vamos a
ver enseguida que cualquiera de estas dos condiciones caracteriza a los campos de gradientes.
Empezamos concretando un poco mejor la propiedad que pretendemos caracterizar:
Sea F : 0 Rn un campo vectorial continuo en un abierto 0 Rn . Dado un abierto
0 , se dice que F es conservativo en cuando existe un campo escalar f : R, de
clase C1 en , tal que f (x) = F(x) para todo x .
Obviamente, que el campo F sea o no conservativo en slo depender de los valores que
F toma en y no de los que tome en 0 \ , luego no se pierde generalidad en la definicin
anterior suponiendo que 0 = . Hacemos la distincin entre ambos conjuntos para resaltar
que el carcter conservativo de un campo depende esencialmente del conjunto abierto en el que
se analiza dicho carcter. Es claro que si el campo F es conservativo en 0 tambin lo ser en
cualquier otro abierto 0 , pero veremos que el recproco no es cierto.
Para tratar el problema que nos ocupa, caracterizar los campos conservativos, no se pierde
generalidad trabajando con un tipo particular de conjuntos abiertos, que se definen como sigue:
Decimos que un conjunto abierto Rn es un dominio cuando cualesquiera dos puntos
x, y se pueden unir por un camino regular a trozos sin salirse de , es decir, existe un
camino regular a trozos : [a, b] tal que (a) = x , (b) = y.
29
5. Caracterizacin de los campos conservativos 30
El propio Rn , o una bola abierta en Rn , son ejemplos de dominios. No es difcil comprobar

que al suprimir de un dominio un punto x0 , el conjunto resultante \ {x0 } sigue siendo
un dominio. El conjunto {(x, y) R2 : x 6= 0} es un ejemplo de subconjunto abierto de R2 que
no es un dominio. Enunciamos ya el teorema que caracteriza los campos conservativos:
Teorema. Sea F : Rn un campo vectorial continuo en un dominio Rn . Entonces,
las siguientes afirmaciones son equivalentes:
(a) F es conservativo en
(b) La integral de lnea de F a lo largo de cualquier camino regular a trozos cerrado en es
nula. Es decir, si : [a, b] es un camino regular a trozos verificando que (b) = (a),
se tiene que Z
F . dl = 0

(c) La integral de lnea de F a lo largo de un camino regular a trozos en slo depende del
origen y el extremo del camino. Es decir, si : [a, b] y : [c, d] son caminos
regulares a trozos verificando que (a) = (c) y (b) = (d), se tiene que
Z Z
F . dl = F . dl

5.2. Demostracin del Teorema

Se ha comentado ya que (a) (b): si F = f en y : [a, b] es un camino regular
a trozos cerrado, se tendr:
Z
F . dl = f (b) f (a) = 0.

Comprobamos ahora fcilmente que (b) (c). Sean : [a, b] y : [c, d] dos
caminos regulares a trozos con origen y extremo comunes: (a) = (c), (b) = (d). El camino
opuesto op es consecutivo a , ya que el origen de op es el extremo de que coincide con
el extremo de . Esto nos permite considerar el camino suma op , que es un camino regular
a trozos cerrado, ya que su origen es (a) y su extremo es el extremo de op , que es (c), pero
sabemos que (a) = (c). Usando ahora (b) y propiedades conocidas de las integrales de lnea
obtenemos (c): Z Z Z
0= F . dl = F . dl F . dl.
op
La demostracin de (c) (a) se dividir en varias etapas. Suponemos desde este momento
que se verifica (c).
Definicin del campo escalar. Fijamos un punto P y, por ser un dominio, para
cada x existe un camino regular a trozos x , con origen en el punto P y extremo en x,
cuya imagen est contenida en el dominio . Definimos entonces:
Z
f (x) = F . dl
x
La hiptesis (c) hace que esta definicin sea correcta: la integral no depende del camino de
integracin que usemos, siempre que tenga su origen en P y su extremo en x. Tenemos pues
definido un campo escalar f : R y pretendemos probar que f es de clase C1 en con
f = F, para concluir que F es conservativo en .
Relacin entre ambos campos. Fijamos un punto x y, por ser un conjunto abierto,
contendr una bola abierta centrada en x, es decir, existe r > 0 tal que: ky xk < r y .
Fijado y en dicha bola abierta, vamos a encontrar la relacin que guarda f (y) con f (x).
Para calcular f (x) usamos un camino regular a trozos x : [a, b] con (a) = P y
(b) = x. Por otra parte, podemos considerar un camino regular y que recorre el segmento con
origen x y extremo y, es decir,
y (t) = x + t (y x) (0 6 t 6 1)
Observamos que ky (t) xk = t ky xk < r, luego y (t) para 0 6 t 6 1, es decir, y
tiene su imagen contenida en . Puesto que x (b) = x = y (0) , podemos considerar el camino
suma y = x y : (
x (t) si a 6 t 6 b
y (t) =
y (t b) si b 6 t 6 b + 1
Es claro que y : [a, b + 1] Rn es un camino regular a trozos con origen y (a) = x (a) = P
y extremo y (b + 1) = y (1) = y. Adems la imagen de y est contenida en por estarlo las
de x y y , luego y es uno de los caminos que podemos usar para calcular f (y). Aplicando
propiedades conocidas de las integrales de lnea obtenemos:
Z Z Z Z
f (y) = F . dl = F . dl + F . dl = f (x) + F . dl
y x y y
Usando ahora la definicin de la ltima integral y teniendo en cuenta que y0 (t) = y x para
0 6 t 6 1, deducimos que
Z 1

f (y) f (x) = F x + t(y x) y x dt
0
y aplicando el teorema del valor intermedio a la ltima integral, cuyo integrando es una funcin
continua en [0, 1], obtenemos un y [0, 1] tal que

f (y) f (x) = F x + y (y x) y x . (1)
Esta es la relacin clave entre los dos campos, que nos va a permitir concluir la demostracin.
Enunciamos para uso posterior lo que hemos probado hasta ahora:
[]: Para cada x existe r > 0 tal que, si y Rn verifica que ky xk < r, entonces
y y se puede encontrar y [0, 1] de forma que se verifique la igualdad (1).
Fin de la demostracin. Consideremos las componentes del campo vectorial F, es decir,
pongamos F(x) = F1 (x) e1 + F2 (x) e2 + . . . + Fn (x) en para todo x , donde {e1 , e2 , . . . , en }
es la base standard de Rn y F1 , F2 , . . . , Fn son campos escalares continuos en . Fijados x
y k {1, 2, . . . , n} bastar probar que
f
(x) = Fk (x)
xk
En efecto, de esta igualdad se deduce que existen todas las derivadas parciales de f y son
funciones continuas en , luego f es una funcin de clase C1 en , que claramente verifica
f = F en .
Para probar la igualdad buscada, aplicamos lo demostrado anteriormente: empezamos en-
contrando el radio r > 0 que aparece en []. Fijamos entonces t R con |t| < r y aplicamos
[] con y = x + t ek , que evidentemente verifica ky xk < r , obteniendo y [0, 1] que hace
que se cumpla (1). Escribiendo, para simplificar la notacin, t en lugar de x+tek , tenemos:

f (x + tek ) f (x) = F(x + t t ek ) tek = t Fk (x + t t ek ).
Observamos que esta igualdad se verifica siempre que se tenga |t| < r, aunque no controlamos
la forma en que t depende de t. Sin embargo, la condicin 0 6 t 6 1 nos asegura que
lm(x + t t ek ) = x con lo que la continuidad del campo Fk nos permite concluir:
t0
f (x + tek ) f (x) f
Fk (x) = lm Fk (x + t t ek ) = lm = (x)
t0 t0 t xk
como queramos demostrar.
5.3. Potencial de un campo conservativo

Para un campo vectorial F que sea conservativo en un dominio , es lgico plantearse la
unicidad del campo escalar f de clase C1 cuyo gradiente coincide con F en . La respuesta
es casi inmediata: f est determinado salvo una constante aditiva. En efecto, sea g otro campo
escalar de clase C1 que verifique g = F en . Como hicimos en la demostracin del teorema,
fijamos un punto P y, para cualquier otro punto x , consideramos un camino regular a
trozos x en , con origen P y extremo x . Tenemos entonces
Z Z Z
f (x) f (P) = f . dl = F . dl = g . dl = g(x) g(P)
x x x
La igualdad anterior prueba claramente que f g es constante en , como se quera. Pues bien,
se dice que el campo escalar f es un potencial del campo vectorial F en el dominio . Fijado
un punto cualquiera P existe un nico potencial que se anula en P.
Sabido que un campo vectorial F es conservativo en un dominio Rn se plantea el
problema prctico de calcular explcitamente un potencial f . Ello es posible aprovechando la
misma idea que hemos usado para probar la unicidad, es decir, integrando el campo F a lo largo
de caminos regulares a trozos que unan un punto fijo P con cada punto variable x .
La geometra del dominio puede facilitar mucho este procedimiento como vamos a ver con
algn ejemplo.
Supongamos por ejemplo que = Rn , o bien que es una bola abierta centrada en el
origen, esto es = {x Rn : kxk < r}. Podemos usar en este caso el origen como punto fijo
P y, para cada x tomar un camino x que recorra el segmento que une el origen con x,
puesto que dicho segmento est contenido en . As pues, tomamos
x (t) = t x (0 6 t 6 1)
y para cualquier campo conservativo F en , el potencial que se anula en el origen ser

Z Z 1
f (x) = F dl = hF(tx)|xi dt (x )
x 0
Naturalmente, el mismo mtodo puede usarse en situaciones ms generales, la nica condicin

que debe cumplir estriba en que, para cada x , el segmento que une el origen con el punto
x debe estar contenido en . Tambin es fcil modificar el mtodo anterior para que el papel
del origen pueda hacerlo otro punto fijo P siempre que, para cualquier x , el segmento
de extremos P y x est contenido en . Esto ocurre por ejemplo cuando es una bola abierta
centrada en P.
En ocasiones conviene usar un mtodo diferente, que por simplicidad vamos a presentar
en el caso particular del plano: = R2 . Concretamente, para cada a = (x, y) R2 podemos
integrar a lo largo del camino a a donde a recorre el segmento que une el origen con el
punto (x, 0) y a el que une (x, 0) con a = (x, y). Ms concretamente, tomamos:
a (t) = (tx, 0) ; a (t) = (x,ty) (0 6 t 6 1)
Para un campo vectorial F = (P, Q) en R2 , tendremos
F a (t) |a 0 (t) = P(tx, 0) x ; F a (t) |a 0 (t) = Q(x,ty) y (0 6 t 6 1)

con lo que si F es conservativo, el potencial que se anula en el origen ser

Z Z 1 Z 1
f (x, y) = F dl = P(tx, 0)x dt + Q(x,ty)y dt
a a 0 0
Z x Z y
= P(u, 0) du + Q(x, v)dv (x, y R)
0 0
donde, para la ltima igualdad, hemos hecho los cambios de variable u = tx y v = ty.
En el caso n = 3 anlogo razonamiento nos permite afirmar que para un campo vectorial
F = (P, Q, R) que sea conservativo en R3 , el potencial que se anula en el origen es
Z x Z y Z z
f (x, y, z) = P(u, 0, 0) du + Q(x, v, 0) dv + R(x, y, w) dw (x, y, z R)
0 0 0
Este mtodo puede aplicarse a dominios ms generales. Puesto que el camino de integracin
usado recorre una poligonal con segmentos paralelos a los ejes de coordenadas, bastar que
dicha poligonal se mantenga siempre contenida en el dominio con el que trabajemos.
5.4. Campos irrotacionales

Al estudiar el rotacional de un campo vectorial en el espacio se comprob que el rotacional
del gradiente de un campo escalar de clase C2 es idnticamente nulo. Igualmente, el rotacional
escalar del gradiente de un campo escalar de clase C2 en un abierto del plano tambin se anula.
En realidad, ambas afirmaciones son casos particulares de un mismo resultado, vlido en Rn
para cualquier dimensin n. En efecto, sea F = (F1 , F2 , . . . , Fn ) un campo vectorial de clase C1

en un abierto Rn y supongamos que F es conservativo en , es decir, que F = f donde
f es un campo escalar de clase C2 en . Para j, k {1, 2, . . . , n}, con j 6= k, aplicando a la
funcin f el Lema de Schwartz tenemos

Fj f f Fk
= = = (2)
xk xk x j x j xk x j
con lo que hemos obtenido un total de n(n 1)/2 igualdades no triviales, que deben verificarse
en todo punto de . En el caso n = 2, poniendo F = (P, Q), tenemos solamente la igualdad
P Q
= en
y x
que equivale a afirmar que rot F = 0 en . En el caso n = 3, poniendo F = (P, Q, R) tenemos

tres igualdades:
P Q P R Q R
= ; = ; =
y x z x z x
que se resumen diciendo que rot F = 0 en .
En vista de los comentarios anteriores es natural decir que un campo vectorial F de clase
C1 en un abierto Rn es irrotacional en cuando verifica las igualdades (2) en todo
punto de . Tambin ha quedado claro el siguiente resultado:
Sea F un campo vectorial de clase C1 en un abierto Rn . Si F es conservativo en ,
entonces F es irrotacional en .
El teorema de caracterizacin de los campos conservativos nos va a permitir ahora compro-
bar que el recproco del enunciado anterior es falso, es decir, que existen campos irrotacionales
que no son conservativos.
Ejemplo. Consideremos el dominio = R2 \ {(0, 0)} obtenido suprimiendo el origen del
plano, y el campo vectorial F : R2 dado por

y x
F(x, y) = P(x, y), Q(x, y) = 2 2
, 2 2
+ 2y (x, y) (3)
x +y x +y
Claramente F es de clase C en y comprobamos enseguida que es irrotacional en , ya que
P y2 x2 Q
(x, y) = 2 2
= (x, y) (x, y)
y x +y x
Para comprobar que F no es conservativo en usamos el camino dado por
(t) = (cos t, sent) ( 6 t 6 )
para el que se comprueba fcilmente que
F((t) | 0 (t) = 1 + sen 2t

( 6 t 6 )
y, por tanto, Z
F dl = 2 6= 0

Puesto que es un camino regular cerrado en y la integral de lnea de F a lo largo de no
es nula, concluimos que F no es conservativo en , como habamos anunciado.
Queda pues claro que ser irrotacional es una condicin necesaria pero no suficiente para que
un campo sea conservativo. Concluimos esta leccin comentando un mtodo prctico que se usa
con frecuencia para calcular potenciales, comprobando de paso que ciertos campos vectoriales
son conservativos, lo que nos dar ms informacin sobre el ejemplo anterior.
Dado un campo vectorial continuo F = (P, Q) en un abierto R2 , intentemos buscar
directamente un campo escalar f de clase C1 en que verifique la igualdad f = (P, Q).
Mediante los formalismos del clculo de primitivas, podemos empezar calculando un campo
escalar f0 , cuya primera derivada parcial coincida con P. Formalmente escribimos
Z
f0 (x, y) = P(x, y) dx
y tratamos de calcular explcitamente esta integral indefinida en la que la variable y aparece

como un parmetro. Lo que suele suceder es que debemos asumir alguna restriccin para que
este clculo tenga xito. Ms rigurosamente, es posible que encontremos un conjunto abierto
G y un campo escalar f0 : G R tal que
f0
=P (en G)
x
El siguiente paso consiste en tantear la posibilidad de que el campo f que buscamos pueda
tener la forma
f (x, y) = f0 (x, y) + (y) (x, y) G
donde : R R es una funcin a determinar. Desde luego, para cualquier funcin de clase
C1 en R, el campo f as definido ser de clase C1 en G y verificar la misma condicin que
f0 , ya que
f f0
= = P (en G)
x x
Por tanto, nuestro problema es determinar la funcin de manera que tambin se tenga
f f0
(x, y) + 0 (y)

Q(x, y) = (x, y) = (x, y) G
y y
As pues, debe verificar la igualdad
f0
0 (y) = Q(x, y) (x, y) (4)
y
en todo punto (x, y) G, condicin que parece excesivamente restrictiva, puesto que el segundo
miembro de la igualdad anterior puede muy bien depender de x mientras el primer miembro no
puede hacerlo.
Sin embargo, supongamos que el campo vectorial F de partida es de clase C1 y es irrota-

cional en . Cabe esperar que entonces la funcin f0 obtenida en el primer paso sea de clase
C2 en G y, aplicando el Lema de Schwartz tendremos:
2 f 0 2 f 0

f0 Q Q Q P
Q = = = =0
x y x x y x y x x y
Intuitivamente, esto significa que el segundo miembro de la igualdad (4) no depende de x, con
lo que es razonable esperar que nuevamente el clculo de primitivas nos permita encontrar la
funcin que buscbamos. En resumen, aunque el razonamiento anterior est lejos de ser una
demostracin rigurosa, en casos concretos podemos usar este tipo de mtodo para probar que
ciertos campos irrotacionales son conservativos en determinados dominios, encontrando para
ellos un potencial.
Veamos por ejemplo lo que ocurre con el campo vectorial del ejemplo anterior, definido en
(3), que sabemos es irrotacional pero no conservativo en R2 \ {(0, 0)}. Usando el formalismo
del clculo de primitivas escribimos:
y du y
Z Z Z
P(x, y) dx = dx = = arc tg u = arc tg
x + y2
2 1+u 2 x
donde hemos usado el cambio de variable u = y/x. Notemos que la primitiva calculada no tiene
sentido en todo el dominio . Sin embargo, podemos tomar G = {(x, y) R2 : x 6= 0} y definir
y
f0 (x, y) = arc tg (x, y) G
x
con lo que tenemos una funcin f0 de clase C en G que verifica
f0 y
(x, y) = 2 = P(x, y) (x, y) G
x x + y2
La igualdad (4) nos lleva entonces a buscar una funcin de clase C1 en R, que verifique
f0 x x
0 (y) = Q(x, y) (x, y) = 2 2
+ 2y 2 = 2y
y x +y x + y2
para todo y R. Basta evidentemente tomar (y) = y2 para todo y R. Definimos pues
y
+ y2

f (x, y) = arc tg (x, y) G
x
y es inmediato comprobar que f es un potencial del campo F en el abierto G. Hemos probado
de paso que el campo F es conservativo en el abierto G = {(x, y) R2 : x 6= 0}, aunque no lo
era en el dominio = R2 \ {(0, 0)}.

Leccion 6
Teorema de Green
En la leccin anterior, previa caracterizacin de los campos conservativos, hemos visto que
un campo irrotacional puede no ser conservativo. Tenemos por tanto una condicin fcil de
comprobar, que es necesaria para que un campo sea conservativo, pero no es suficiente. En
particular, para un campo vectorial F : R2 , diferenciable en un dominio R2 puede
ocurrir que el rotacional escalar rot F sea idnticamente nulo en sin que F sea conservativo
en . Sin embargo, bajo ciertas condiciones sobre el dominio s se puede asegurar que todo
campo vectorial diferenciable e irrotacional en es conservativo en . La explicacin de este
tipo de resultado se encuentra en una importante frmula integral descubierta por el cientfico
britnico G. Green (1793-1841) en su estudio de los campos electromagnticos. La frmula de
Green, o si se prefiere, el Teorema de Green, relaciona una integral de lnea con una integral
doble y, aparte de su utilidad en el estudio de los campos conservativos en dominios de R2 ,
tiene otras aplicaciones interesantes.
6.1. Curvas de Jordan

En lo que sigue vamos a trabajar con un tipo particular de caminos, que reciben el nombre
de caminos simples. Intuitivamente un camino es simple cuando no tiene auto-intersecciones, es
decir, un mvil que lo recorre no pasa dos veces por un mismo punto. Esto invita a decir que un
camino : [a, b] Rn es simple cuando es una funcin inyectiva, es decir, para s,t [a, b]
con s < t no podra ocurrir que (s) = (t). Sin embargo un camino cerrado nunca podra
verificar esta condicin. Relajamos entonces la hiptesis de inyectividad, slo para permitir que
pueda ser (a) = (b). Por tanto, decimos que un camino : [a, b] Rn es simple cuando
cumple la siguiente condicin:
s,t [a, b] , s < t , (s) = (t) s = a , t = b (1)
A partir de ahora nos concentramos en el caso n = 2. La curva recorrida por un camino simple
cerrado en R2 recibe el nombre de curva de Jordan.
37
6. Teorema de Green 38
As pues, una curva de Jordan es un conjunto = {(t) : a 6 t 6 b} donde : [a, b] R2

es un funcin continua, con (a) = (b), y verificando la condicin (1). El siguiente teorema
lleva el nombre del matemtico francs C. Jordan (1838-1922), aunque la primera demostracin
enteramente correcta fue publicada en 1905 por el norteamericano O. Veblen (1880-1960).
Teorema de la Curva de Jordan. Si es una curva de Jordan, su complemento R2 \ es

unin de dos dominios disjuntos, cuya frontera comn es ; uno de ellos est acotado y recibe
el nombre de regin interior a y el otro, no acotado, es la regin exterior a .
Consideremos como ejemplo, la elipse, definida en forma implcita por:
x2 y2
= (x, y) R2 : 2 + 2 = 1

(, > 0)

Para ver que es una curva de Jordan, basta usar el camino : [0, 2] R2 dado por:
(t) = ( cost , sent) (0 6 t 6 2)
Es fcil comprobar que es un camino cerrado y simple que recorre la elipse . Las regiones
interior y exterior, D y G, a la elipse son:
x2 y2 x2 y2
D = (x, y) R2 : 2 + 2 < 1 ; G = (x, y) R2 : 2 + 2 > 1

Observamos que en este ejemplo, como en la mayora de los que se utilizan en la prctica, la
tesis del teorema anterior se puede comprobar directamente sin dificultad. Es claro que D es un
dominio acotado, G es un dominio no acotado, D G = R2 \ , D G = 0/ y D = G = .
Recordemos que caminos muy diferentes pueden recorrer una misma curva, lo cual sigue
siendo cierto aunque consideremos solamente caminos simples. Intuitivamente es claro, por
ejemplo, que la circunferencia centrada en un punto (x0 , y0 ) R2 con radio 0 > 0 es una
curva de Jordan C que puede recorrerse en sentido anti-horario, mediante el camino simple
cerrado definido por:
() = (x0 + 0 cos , y0 + 0 sen ) (0 6 6 2)
y puede tambin recorrerse en sentido horario, mediante el camino opuesto op que tambin
es cerrado y simple. Observamos que al recorrer la circunferencia C mediante el camino ,
la regin interior a C queda a la izquierda. Suele decirse que est orientado positivamen-
te, mientras que op tiene orientacin negativa. Pues bien, esta nocin de orientacin puede
extenderse a caminos cerrados simples cualesquiera. La formulacin matemtica rigurosa de
esta nocin de orientacin no es sencilla as que no vamos a exponerla, conformndonos con
la idea intuitiva: diremos que un camino cerrado y simple recorre una curva de Jordan
con orientacin positiva cuando lo hace en sentido anti-horario, mientras que estar orientado
negativamente cuando recorra la curva en el sentido de las agujas del reloj. Equivalentemente,
est orientado positivamente cuando recorre la curva dejando a la izquierda su regin inte-
rior.
6.2. Enunciado del Teorema

Podemos ya enunciar el resultado principal de esta leccin:
Teorema de Green. Sea un camino en R2 , regular a trozos, cerrado y simple, que recorre
una curva de Jordan con orientacin positiva. Sea D la regin interior a y F : R2
un campo vectorial de clase C1 en un abierto R2 tal que D . Entonces, la integral
de lnea de F a lo largo del camino coincide con la integral doble sobre D del rotacional
escalar de F: Z ZZ
F . dl = (rot F) dx dy
D
Ms explcitamente, si F = (P, Q) en , el teorema afirma que:

Z ZZ
Q P
P dx + Q dy = dx dy
D x y
Es costumbre usar una notacin que permite recordar con facilidad las hiptesis del teorema
anterior. Puesto que la curva de Jordan coincide con la frontera del dominio D, = D,
resulta sugestivo denotar al camino por D+ para resaltar que dicho camino recorre la curva
D y est orientado positivamente. La frmula de Green toma entonces la siguiente forma
I ZZ
Q P
P dx + Q dy = dx dy
D+ D x y
donde tambin hemos modificado el smbolo de la integral de lnea para resaltar que el camino
es cerrado.
6.3. Campos irrotacionales y conservativos

Est bastante claro que el teorema de Green nos va a permitir obtener nueva informacin
relevante sobre la relacin entre campos conservativos e irrotacionales. Siempre que podamos
aplicar el teorema a un campo irrotacional, la integral doble que aparece en el segundo miembro
de la frmula de Green ser nula, luego tambin habr de anularse la integral de lnea del primer
miembro y esto nos acerca a la posibilidad de que el campo sea conservativo.
Para analizar mejor la idea recin sugerida, conviene empezar aclarando que el teorema de
caracterizacin de los campos conservativos puede retocarse para que baste considerar caminos
simples. Ms concretamente, si F : R2 es un campo vectorial continuo en un dominio
R2 y la integral de lnea de F a lo largo de cualquier camino regular a trozos, cerrado y
simple en se anula, entonces F es conservativo en . Comprobar esta afirmacin requiere
modificaciones en la prueba del teorema de caracterizacin, que no vamos a exponer.
Pues bien, supongamos ahora que F : R2 es un campo vectorial de clase C1 e irrota-
cional en un dominio R2 . Sea un camino regular a trozos cerrado y simple en , que
recorrer una curva de Jordan . Para poder aplicar el Teorema de Green falta un detalle
importante: la regin interior a la curva debe estar tambin contenida en . Si tal cosa
ocurre, la frmula de Green nos da
Z ZZ
F.dl = (rot F) dx dy = 0,
D
donde hemos usado el signo para tener en cuenta la orientacin de . A continuacin defini-
mos el tipo de dominios en los que el razonamiento anterior siempre puede hacerse, cualquiera
que sea la curva de Jordan considerada.
Se dice que un dominio R2 es simplemente conexo cuando toda curva de Jordan
contenida en verifica que su regin interior tambin est contenida en .
Naturalmente, el plano R2 es un dominio simplemente conexo. Dados x0 R2 y r > 0, no
es difcil comprobar que la bola abierta B = {x R2 : kx x0 k < r} es un dominio simple-
mente conexo. Igual le ocurre al semiplano abierto H = {(x, y) R2 : ax + by + c > 0}, para
cualesquiera a, b, c R con a2 + b2 > 0.
Si de un dominio cualquiera suprimimos un punto a , el dominio resultante \ {a}
nunca es simplemente conexo. As pues, R2 \ {(0, 0)} no es simplemente conexo. Un anillo
abierto A = {x R2 : r < kxk < R} es otro ejemplo de dominio que no es simplemente conexo.
Intuitivamente, un dominio es simplemente conexo cuando no tiene agujeros.
Pues bien, los razonamientos hechos anteriormente demuestran la siguiente consecuencia
del Teorema de Green:
Corolario. Si un dominio R2 es simplemente conexo, todo campo vectorial de clase

C1 e irrotacional en es conservativo en .
Podemos ahora resumir toda la informacin obtenida sobre la relacin entre campos conser-
vativos e irrotacionales. Partimos del hecho de que todo campo vectorial de clase C1 que sea
conservativo en un dominio ha de ser irrotacional en dicho dominio. Recprocamente, conside-
remos un dominio 0 R2 y sea F : 0 R2 un campo vectorial de clase C1 e irrotacional
en 0 . Para dominios 0 podemos preguntarnos si F es conservativo en . Distinguimos
dos casos:
Si 0 es simplemente conexo, el corolario anterior nos permite asegurar que F es con-

servativo en 0 y, por tanto, en cualquier dominio 0 .
Si 0 no es simplemente conexo, no tenemos ningn criterio general que nos permita
decidir si F es conservativo en 0 , pero s podemos aplicar el corolario anterior para
asegurar que F es conservativo en cualquier dominio simplemente conexo 0 .
La ltima idea siempre se puede aplicar localmente: Si F es un campo vectorial de clase C1

e irrotacional en un dominio arbitrario R2 , para cada punto x consideramos una bola
abierta Bx de centro x contenida en y, puesto que Bx es un dominio simplemente conexo,
podemos asegurar que F es conservativo en Bx . As pues F es conservativo en un entorno de
cada punto de , lo que suele expresarse diciendo que F es localmente conservativo en .
Ntese que el recproco tambin es cierto, de modo que un campo vectorial de clase C1 en un
dominio R2 es localmente conservativo en si, y slo si, es irrotacional en .
6.4. Clculo de reas mediante la frmula de Green

Para un campo con rotacional escalar constantemente igual a 1, la integral doble que aparece
en la frmula de Green es el rea de la regin interior a una curva de Jordan, luego podemos
calcular tal rea mediante una integral de lnea. Disponemos de varias elecciones posibles para
el campo vectorial, ya que es fcil dar ejemplos de campos vectoriales de clase C1 en todo el
plano con rotacional escalar constantemente igual a 1. Concretamente, podemos usar cualquiera
de los campos F = (P, Q) : R2 R2 definidos, para todo (x, y) R2 por:
P(x, y) = 0 , Q(x, y) = x
P(x, y) = y , Q(x, y) = 0
y x
P(x, y) = , Q(x, y) =
2 2
En cualquiera de los tres casos F es un campo vectorial de clase C en R2 y se verifica que
Q P
rot F = =1 (en R2 )
x y
Por tanto, aplicando el Teorema de Green obtenemos:
Corolario. Sea un camino en R2 , regular a trozos, cerrado y simple, que recorre una
curva de Jordan con orientacin positiva. Entonces el rea de la regin D interior a viene
dada por:
1
Z Z Z
rea(D) = x dy = y dx = x dy y dx
2
Obsrvese que el resultado anterior permite confirmar la orientacin del camino , puesto
que cualquiera de las integrales que aparecen en el segundo miembro de la igualdad anterior de-
be tener un valor estrictamente positivo. Si al evaluar cualquiera de esas integrales obtuvisemos
un valor negativo, detectaramos que el camino est orientado negativamente.
En la prctica, entre las frmulas obtenidas para el clculo del rea, se elige lgicamente
la que nos lleve a una integral de lnea ms fcil de evaluar. La tercera posibilidad, que parece
la ms artificiosa, es con frecuencia la ms conveniente, por la simetra que presenta. Veamos
por ejemplo el clculo del rea delimitada por una elipse, ms concretamente, de la regin D
definida por
x2 y2
D = (x, y) R2 : 2 + 2 < 1

con , > 0. Usando el camino de ecuaciones paramtricas
x = cost ; y = sent ; (0 6 t 6 2)
tenemos inmediatamente
Z 2
1 1
Z
rea(D) = x dy y dx = dt =
2 2 0

Leccion 7
Superficies
En lo que sigue vamos a hacer un tratamiento bsico de las superficies en R3 , que guarda
cierto paralelismo con el estudio de las curvas en el plano hecho anteriormente.
7.1. Forma explcita

La grfica de una funcin de dos variables ser el primer tipo de superficie que vamos
a considerar, el ms sencillo. De forma muy imprecisa, una superficie se describe en forma
explcita como el conjunto de puntos de R3 que verifican una ecuacin del tipo z = h(x, y). Para
llegar a una definicin ms rigurosa hemos de precisar donde suponemos definida la funcin h
y qu propiedades le exigimos a dicha funcin.
El papel que para las curvas en el plano hacan los intervalos cerrados y acotados [a, b] lo
harn ahora los subconjuntos del plano que se definen como sigue. Llamamos recinto en R2 a
cualquier conjunto de la forma W = D donde es una curva de Jordan y D es la regin
interior a . Un rectngulo cerrado [a, b] [c, d] (con a, b, c, d R, a < b y c < d), o un crculo
o bola cerrada {x R2 : kx x0 k 6 r} (con x0 R2 y r > 0), son ejemplos de recintos que
aparecen frecuentemente. Siempre que consideremos un recinto W , denotaremos por = W
a la curva de Jordan que lo delimita y D = W \ ser su regin interior.
Pues bien, llamaremos superficie en forma explcita a todo conjunto de la forma

S = x , y , h(x, y) : (x, y) W (1)
donde W es un recinto en R2 y h : W R es una funcin de clase C1 en W . As pues, una

superficie en forma explcita no es ms que la grfica de una funcin de clase C1 en un recinto
del plano. Puesto que un recinto no es un conjunto abierto, debemos aclarar que por funcin
de clase C1 en W entendemos la restriccin a W de una funcin de clase C1 en un conjunto
abierto que contiene a W , pero no mencionamos siquiera dicho conjunto abierto porque no
jugar ningn papel en nuestro estudio.
42
7. Superficies 43
Como ejemplo de superficie en forma explcita, dado r > 0 podemos considerar el recinto
Wr = {(x, y) R2 : x2 + y2 6 r2 } y definir h(x, y) = x2 + y2 para (x, y) Wr , obteniendo la
superficie
Sr = {(x , y , x2 + y2 ) : x, y R , x2 + y2 6 r2 } (2)
que es la parte del paraboloide de revolucin de ecuacin z = x2 + y2 situada dentro del cilindro
de ecuacin x2 + y2 = r2 .
La descripcin explcita de una superficie, dada por la expresin (1), tiene la ventaja de ser
muy intuitiva, puesto que, viendo a R2 como el plano de ecuacin z = 0 en R3 , a cada punto
(x , y , 0) del recinto W corresponde un nico punto x , y , h(x, y) de la superficie, situado
en la vertical del primero. En particular, la funcin h est determinada de manera nica. Sin
embargo, como ocurra con las curvas en el plano, la descripcin explcita resulta demasiado
restrictiva. La totalidad de una superficie que contenga dos puntos distintos en una misma recta
vertical, por ejemplo una esfera, no puede describirse en forma explcita. De ah la conveniencia
de considerar una nocin ms general de superficie, como se hace a continuacin.
7.2. Forma paramtrica

Del mismo modo que una curva es la imagen de un camino y decimos que el camino para-
metriza a la curva, una superficie en forma paramtrica ser la imagen de una funcin, a la que
llamamos parametrizacin de la superficie. Slo usaremos parametrizaciones que podramos
llamar regulares por analoga con los caminos regulares.
Ms rigurosamente, como parametrizacin de una superficie entendemos, por definicin,
una funcin : W R3 de clase C1 en un recinto W R2 . Decimos entonces que la imagen
de , es decir, el conjunto
S = {(u, v) : (u, v) W } (3)
es una superficie en R3 y que la funcin parametriza la superficie S. Al igual que ocurra
con caminos y curvas, debemos distinguir muy claramente entre la superficie S, que es un
subconjunto de R3 , y la parametrizacin , que es una funcin. Obviamente, dos funciones
distintas, incluso definidas en recintos distintos, pueden tener la misma imagen, as que una
superficie puede admitir parametrizaciones muy diversas.
Puesto que la funcin toma valores en R3 , tendr tres componentes que son funciones
con valores reales, tambin de clase C1 en el recinto W . De forma sugestiva, escribimos

(u, v) = (x(u, v), y(u, v), z(u, v) (u, v) W
y decimos que la superficie S definida en (3) tiene ecuaciones paramtricas

x = x(u, v)

y = y(u, v) (u, v) W (4)

z = z(u, v)

7. Superficies 44
Como ejemplo, veamos la parametrizacin del elipsoide con semiejes a, b, c > 0 y centrado
en un punto (a0 , b0 , c0 ) R3 . Consideremos el rectngulo
W = (, ) R2 : 6 6 ; /2 6 6 /2

(5)
y la funcin : W R3 definida por

(, ) = (a0 + a cos cos , b0 + b sen cos , c0 + c sen ) (, ) W (6)
Claramente es una parametrizacin de una superficie S = (W ), que es precisamente el

elipsoide mencionado, ya que
(x a0 )2 (y b0 )2 (z c0 )2
S = (x, y, z) R3 :

+ + = 1 (7)
a2 b2 c2
como se puede fcilmente comprobar. En resumen, el elipsoide S tiene ecuaciones paramtricas

x = a0 + a cos cos

y = b0 + b sen cos 6 6 ; /2 6 6 /2

z = c0 + c sen

Como caso particular, tomando a = b = c = r > 0, tenemos una esfera de radio r.

Ni que decir tiene, las superficies en forma explcita son casos particulares de superficies en
forma paramtrica. Si h es un funcin de clase C1 en un recinto W R2 , definiendo

(x, y) = x , y , h(x, y) (x, y) W (8)
obtenemos una parametrizacin de una superficie S = (W ) que obviamente no es otra cosa

que la grfica de la funcin h, tal y como se defini en (1).
En cierto modo, la nocin de superficie en forma paramtrica que acabamos de introducir
es demasiado general. Frecuentemente nos limitaremos a considerar las parametrizaciones de
superficies que son anlogas a los caminos simples, como vamos a explicar ahora.
En principio podramos decir que una parametrizacin : W R3 de una superficie
S = (W ) es simple cuando la funcin es inyectiva, de forma que cada punto p S se
expresara de manera nica en la forma p = (u, v) con (u, v) W . Sin embargo, como ocurra
con los caminos cerrados, esta nocin excluira ejemplos importantes de superficies, como el
elipsoide que acabamos de considerar. Intuitivamente, una superficie cerrada no podra ser
simple. Conviene por tanto relajar la hiptesis de inyectividad de la siguiente forma.
Una funcin de clase C1 en un recinto W = D es una parametrizacin simple de
la superficie S = (W ) cuando para (u1 , v1 ), (u2 , v2 ) W se tiene que
(
(u1 , v1 ) = (u2 , v2 ) o bien
(u1 , v1 ) = (u2 , v2 ) =
(u1 , v1 ), (u2 , v2 )
Equivalentemente, es inyectiva en D y no toma en los valores que toma en D, pero

puede tomar el mismo valor en puntos distintos de . Cuando una superficie S admite una
parametrizacin simple decimos tambin que S es una superficie simple.
7. Superficies 45
Por ejemplo, toda superficie en forma explcita es una superficie simple. En efecto, si una
superficie S viene definida por la expresin (1) como la grfica de una funcin de dos variables,
entonces S admite la parametrizacin dada por (8) y es evidente que la funcin es
inyectiva en todo el recinto W , en particular es una parametrizacin simple de S.
Como segundo ejemplo, no es difcil comprobar que el elipsoide S definido en (7) es una
superficie simple. De hecho la funcin definida en (6) sobre el rectngulo W dado por (5)
es una parametrizacin simple de S. Observemos que en este caso la funcin est muy lejos
de ser inyectiva en el recinto W . Por ejemplo, (, /2) = (0, 0, 1) para todo [, ].
7.3. Forma implcita

De nuevo en claro paralelismo con las curvas en forma implcita, las superficies en forma
implcita sern conjuntos de nivel de campos escalares en el espacio. Concretamente, dada un
funcin g : R donde es un subconjunto abierto de R3 , consideramos el conjunto:
S = {(x, y, z) : g(x, y, z) = 0}. (9)
Naturalmente, para que el conjunto S guarde alguna relacin con una superficie, deberemos
imponer algunas condiciones a la funcin g:
Supondremos que g es de clase C1 en , que g se anula en algn punto de (S 6= 0) / y que
el gradiente de g no se anula en S, es decir, g(x, y, z) 6= 0 (x, y, z) S. Decimos entonces
que el conjunto S definido en (9) es una superficie en forma implcita.
La nomenclatura se justifica porque al menos localmente el conjunto S se puede hacer
coincidir con una superficie en forma paramtrica. De hecho, el Teorema de la Funcin Implcita
nos asegura que cada punto de S tiene un entorno cuya interseccin con S es una superficie
simple. Ms concretamente, cada punto p S tiene un entorno U R3 tal que S U = (W )
donde : W R3 es una funcin de clase C1 e inyectiva en un recinto W del plano. En la
situacin ms favorable, el propio conjunto S puede ser una superficie simple, pero en general
esto no tiene por qu ocurrir, entre otras razones porque S puede no estar acotado. De hecho
han aparecido ya ejemplos de las dos situaciones, como vamos a resaltar.
Por una parte, el elipsoide S definido en (7) puede verse como una superficie en forma
implcita, sin ms que considerar la funcin g : R3 R definida por
(x a0 )2 (y b0 )2 (z c0 )2
g(x, y, z) = + + 1 (x, y, z R)
a2 b2 c2
que obviamente cumple las condiciones requeridas, puesto que es una funcin de clase C en
R3 , se anula por ejemplo en el punto (a0 + a, b0 , c0 ) y su gradiente viene dado por
g(x, y, z) = 2 a2 (x a0 ) , b2 (y b0 ) , c2 (z c0 ) (x, y, z R)

(10)
con lo que g slo se anula en el punto (a0 , b0 , c0 ), que no pertenece al elipsoide. En este
ejemplo disponemos de una parametrizacin global, sabamos ya que S = (W ) para el recinto
W y la parametrizacin que aparecen en (5) y (6).
7. Superficies 46
Consideremos ahora el paraboloide de revolucin S = {(x, y, z) R2 : z = x2 + y2 } que

tambin vemos como una superficie en forma implcita, ahora mediante la funcin definida
por g(x, y, z) = z x2 y2 para cualesquiera x, y, z R, otra funcin de clase C en R3 que
se anula en el origen y con gradiente dado por g(x, y, z) = (2x, 2y, 1) para x, y, z R,
que no se anula nunca. Claramente S no es un conjunto acotado, luego no podemos esperar
una parametrizacin global. Vemos fcilmente cmo se pueden conseguir parametrizaciones
locales: dado un punto p = (x0 , y0 , z0 ) S tomamos r2 > x02 + y20 y consideramos el conjunto
U = {(x, y, z) R3 : x2 + y2 6 r2 } que es un entorno de p. Entonces U S es una superficie,
de hecho se tiene claramente U S = {(x , y , x2 + y2 ) : x2 + y2 6 r2 } = Sr , que apareci en (2)
como primer ejemplo de superficie en forma explcita.
7.4. Plano tangente y vector normal

Se dice que una superficie S es suave en un punto p S, cuando existe un plano que
contiene a todas las rectas tangentes en el punto p a curvas contenidas en la superficie S que
sean suaves en dicho punto. Lgicamente, decimos tambin que es un plano tangente a
la superficie S en el punto p y que todo vector normal al plano es un vector normal a
la superficie S en el punto p. Salvo en casos degenerados a los que no prestaremos mucha
atencin, siempre existen dos curvas contenidas en la superficie cuyas rectas tangentes en el
punto p son diferentes, con lo que el plano est determinado en forma nica y podemos decir
que es el plano tangente a la superficie S en el punto p. Decir que un vector es el vector
normal a la superficie en un punto es incurrir en una ambigedad, para dos vectores normales a
una superficie en un mismo punto podremos afirmar habitualmente que uno es mltiplo escalar
del otro. La nica recta perpendicular al plano tangente en el punto p es la recta normal a
la superficie S en el punto p y s estar determinada en forma nica cuando lo est el plano
tangente, lo que como hemos dicho ocurrir en todos los casos que nos interesan.
Sea W = D un recinto en el plano y : W R3 una parametrizacin de la superficie
S = (W ). Dado un punto p = (x0 , y0 , z0 ) S podemos tener p = (u, v) para distintos valores
de los parmetros u y v. Para evitar esta ambigedad suponemos que es una parametrizacin
simple y que p (D), con lo que existe un nico par (u0 , v0 ) D tal que p = (u0 , v0 ). En
trminos de las ecuaciones paramtricas de la superficie S, que sern de la forma (4), tenemos
x0 = x(u0 , v0 ), y0 = y(u0 , v0 ) y z0 = z(u0 , v0 ).
Definimos ahora dos vectores que jugarn un papel clave en lo que sigue y no son otra cosa
que las derivadas parciales de la funcin en el punto (u0 , v0 ):

x y z
u (u0 , v0 ) = (u0 , v0 ) = (u0 , v0 ) , (u0 , v0 ) , (u0 , v0 )
u u u u
(11)
x y z
v (u0 , v0 ) = (u0 , v0 ) = (u0 , v0 ) , (u0 , v0 ) , (u0 , v0 )
v v v v
Para simplificar la notacin, puesto que el punto (u0 , v0 ) se mantiene fijo, lo omitiremos a partir
de ahora, escribiendo simplemente

x y z x y z
u = = , , y v = = , ,
u u u u v v v v
7. Superficies 47
Es fcil ver que si los vectores u y v no se anulan, sern vectores de direccin de las
rectas tangentes en el punto p a dos curvas suaves en dicho punto contenidas en la superficie S.
Si adems u y v son linealmente independientes, dichas rectas sern diferentes y el nico
posible plano tangente a la superficie S en el punto p ser el plano que las contiene. De
hecho se puede demostrar que en tal caso efectivamente la superficie S es suave en el punto p
con lo que es el plano tangente en dicho punto. Veamos pues como se concreta el clculo de
plano tangente y vector normal.
Puesto que u y v son vectores de direccin del plano , el producto vectorial u v es
normal a dicho plano y conviene recordar que la condicin u v 6= 0 equivale precisamente
a que los vectores u y v sean linealmente independientes. Calculamos fcilmente u v ,
a partir de (11):

i j k
(y, z) (z, x) (x, y)
u v = x/u y/u z/u = i+ j+ k
x/v y/v z/v (u, v) (u, v) (u, v)
donde hemos usado los determinantes jacobianos

(x, y) x/u y/u (y, z) y/u z/u (z, x) z/u x/u
= ; = ; =
(u, v) x/v y/v (u, v) y/v z/v (u, v) z/v x/v
y debemos tener presente que todas las derivadas parciales se calculan en el punto (u0 , v0 ).
Resumimos toda la discusin anterior en el siguiente enunciado:
Sea W = D un recinto en el plano y : W R3 una parametrizacin simple de la
superficie S = (W ). Supongamos que, para un punto de la superficie que tenga la forma
p = (x0 , y0 , z0 ) = (u0 , v0 ) con (u0 , v0 ) D, se verifica que u v 6= 0, donde u y v
son los vectores definidos en (11). Entonces, la superficie S es suave en el punto p, el vector
u v es normal a la superficie S en el punto p y el plano tangente a la superficie en dicho
punto es el plano de ecuacin

(x x0 , y y0 , z z0 ) | u v = 0 (12)
que tambin puede escribirse en la forma
(y, z) (z, x) (x, y)
(x x0 ) + (y y0 ) + (z z0 ) =0 (12)
(u, v) (u, v) (u, v)
o, si se prefiere,
x x0 y y0 z z0

x/u
y/u z/u = 0 (12)
x/v y/v z/v
Como caso particular, consideremos en primer lugar la superficie en forma explcita defini-
da en (1). Podemos usar la parametrizacin simple que aparece en (8), es decir, nuestros
parmetros son ahora x e y. Adems es inyectiva en todo el recinto W , por lo que no es
necesario restringirse a su interior. Dado (x0 , y0 ) W , consideramos los vectores

h h
x = 1 , 0 , (x0 , y0 ) y y = 0 , 1 , (x0 , y0 )
x y
7. Superficies 48
con lo que obtenemos

h h
x y = (x0 , y0 ) , (x0 , y0 ) , 1 (13)
x y
Observamos que la condicin x y 6= 0 se cumple siempre. Por tanto:
La superficie S definida en forma explcita como la grfica de una funcin h de clase C1
en un recinto del plano es suave en todos sus puntos. Para cada p = (x0 , y0 , z0 ) S, el vector
x y que aparece en (13) es normal a la superficie en el punto p y el plano de ecuacin
h h
z z0 = (x0 , y0 ) (x x0 ) + (x0 , y0 ) (y y0 )
x y
es tangente a la superficie S en el punto p.
Veamos por ejemplo la superficie Sr definida en (2). Para un punto p Sr de coordenadas
p = (x0 , y0 , z0 ) con z0 = x02 + y20 6 r2 , la ecuacin del plano tangente a la superficie Sr en el
punto p ser z z0 = 2x0 (x x0 ) + 2y0 (y y0 ) y el vector (2x0 , 2y0 , 1) es normal a la
superficie en dicho punto. Por ejemplo, el plano tangente a Sr en el origen tiene ecuacin z = 0
y el vector k = (0, 0, 1) es normal a Sr en el origen.
Antes de poner ms ejemplos, conviene tratar las superficies en forma implcita, para las
que el clculo de planos tangentes y vectores normales es muy sencillo y efectivo.
Sea S una superficie en forma implcita, definida por la expresin (9). Consideremos un
punto p = (x0 , y0 , z0 ) S y una curva contenida en la superficie que sea suave en el punto p y
que vendr parametrizada por un camino : [a, b] S. Tendremos t0 [a, b] tal que (t0 ) = p
y ser derivable en el punto t0 con 0 (t0 ) 6= 0. Considerando las ecuaciones paramtricas
z(t) para a 6 t 6 b, puesto que (t) S para todo
del camino , es decir, (t) = x(t), y(t),
t [a, b], tendremos g x(t), y(t), z(t) = 0 para todo t [a, b]. Derivando en el punto t0 y
aplicando la regla de la cadena deducimos que
g g g
(x0 , y0 , z0 ) x 0 (t0 ) + (x0 , y0 , z0 ) y 0 (t0 ) + (x0 , y0 , z0 ) z 0 (t0 ) = 0
x y z
o, equivalentemente
g(x0 , y0 , z0 ) | 0 (t0 ) = 0

As pues, el vector g(x0 , y0 , z0 ) 6= 0 es ortogonal a la recta tangente a cualquier curva suave

en el punto p y contenida en la superficie S. A partir de aqu es fcil concluir lo siguiente:
Si S es la superficie en forma implcita definida por la expresin (9), entonces S es suave en
todos sus puntos, para cada p = (x0 , y0 , z0 ) S el vector g(x0 , y0 , z0 ) es normal a la superficie
S en el punto p y el plano tangente en dicho punto tiene ecuacin

(x x0 , y y0 , z z0 ) | g(x0 , y0 , z0 ) = 0
o equivalentemente
g g g
(x x0 ) (x0 , y0 , z0 ) + (y y0 ) (x0 , y0 , z0 ) + (z z0 ) (x0 , y0 , z0 ) = 0
x y z
7. Superficies 49
Por ejemplo, el elipsoide S definido en (7) es suave en todos sus puntos. En este caso
el gradiente del campo g se calcul en (10), lo que nos da directamente un vector normal al
elipsoide en un punto genrico p = (x0 , y0 , z0 ) S. Deducimos que el plano tangente al elipsoide
en dicho punto vendr dado por
(x0 a0 ) (y0 b0 ) (z0 c0 )

2
(x x0 ) + 2
(y y0 ) + (z x0 ) = 0
a b c2
Comparemos este resultado con el que obtendramos usando la parametrizacin simple del
elipsoide dada por (6). Slo podemos considerar puntos del elipsoide que tengan la forma
(x0 , y0 , z0 ) = (a0 + a cos 0 cos 0 , b0 + b sen 0 cos 0 , c0 + c sen 0 )
con (0 , 0 ) en el interior del recinto, es decir, con < 0 < y /2 < 0 < /2. Es fcil
ver que estas condiciones excluyen a los puntos del elipsoide tales que y0 = b0 y x0 6 a0 , puntos
que, intuitivamente, forman la mitad de la elipse que se obtiene como interseccin de nuestro
elipsoide con el plano de ecuacin y = y0 . Para los restantes puntos del elipsoide calcularamos
ahora los dos vectores y a considerar en este caso. Ms directamente, podemos obtener
, cuyas coordenadas son los siguientes determinantes jacobianos
(y, z) x0 a0
= bc cos 0 cos2 0 = abc cos 0
(, ) a2
(z, x) y0 b0
= ac sen 0 cos2 0 = abc cos 0
(, ) b2
(x, y) z0 c0
= ab sen 0 cos 0 = abc cos 0
(, ) c2

x0 a0 y0 b0 z0 c0
= abc cos 0 , ,
a2 b2 c2
Puesto que /2 < 0 < /2, tenemos cos 0 > 0, de donde deducimos que 6= 0 y
volvemos a obtener la suavidad del elipsoide, slo que la parametrizacin usada nos ha obligado
a excluir algunos puntos. Observemos tambin que el vector normal es mltiplo del
vector gradiente usado al tratar el elipsoide en forma implcita.

Leccion 8
Integrales de superficie
8.1. rea de una superficie
Sea W un recinto en el plano y : W R3 una parametrizacin de la superficie S = (W ),
que escribimos en la forma

(u, v) = (x(u, v), y(u, v), z(u, v) (u, v) W (1)
En lo que sigue usaremos frecuentemente las derivadas parciales de la funcin , esto es, las
funciones u y v , de W en R3 , definidas por

x y z x y z
u = = , , y v = = , , en W.
u u u u v v v v
Puesto que es de clase C1 en W , sabemos que u y v son funciones continuas, por lo que
tambin lo sern otras funciones construidas a partir de ellas, como la funcin u v , que
viene dada por

i j k
(y, z) (z, x) (x, y)
u v = x/u y/u z/u =
i+ j+ k (2)
x/v y/v z/v (u, v) (u, v) (u, v)
En la leccin anterior slo hemos usado el valor de la funcin u v en un punto concreto de

W , a efectos de discutir la existencia de plano tangente y vector normal en el correspondiente
punto de la superficie. La coincidencia de notacin merece un comentario, pues para simplificar
es costumbre denotar de la misma forma a la funcin u v y a su valor en un punto genrico
(u, v) W , valor que rigurosamente debera denotarse por u (u, v) v (u, v). Este pequeo
abuso de notacin no debe causar confusin, en cada caso es fcil discernir si nos estamos
refiriendo a la funcin o a su valor en un punto. Puesto que u v toma valores en R3 , tiene
sentido considerar su norma, dada por la expresin
" #1/2
(y, z) 2 (z, x) 2 (x, y) 2

ku v k = + + (3)
(u, v) (u, v) (u, v)
que define una funcin continua en W con valores reales.
50
8. Integrales de superficie 51
Pues bien, cuando la parametrizacin es simple, la integral sobre el recinto W de esta

ltima funcin nos da el rea de la superficie S:
Si W es un recinto en el plano y : W R3 es una parametrizacin simple de la superficie
S = (W ) , el rea de la superficie S viene dada por
ZZ
rea(S) = ku v k du dv
W
Demostrar la afirmacin anterior est fuera de nuestro alcance, entre otras razones porque
necesitaramos definir rigurosamente el rea de una superficie, lo que no es fcil. Nos limitamos
a poner algunos ejemplos de clculo de reas. Empecemos con una superficie en forma explcita,

S = x , y , h(x, y) : (x, y) W (4)
donde h : W R es una funcin de clase C1 en W . En este caso tenemos una parametrizacin

simple de S dada por
(x, y) = x , y , h(x, y) (x, y) W (5)
Para las derivadas parciales de tenemos

h h h h
x = 1, 0, ; y = 0, 1, ; x y = , , 1 (6)
x y x y
con lo que
" 2 2 #1/2
h h
kx y k = + +1 (7)
x y
y concluimos que
ZZ ZZ 1/2
rea(S) = kx y k dx dy = (h/x)2 + (h/y)2 + 1 dx dy
W W
Por ejemplo, si la funcin h es idnticamente nula, obtenemos una superficie S0 que no es

ms que el propio recinto W , slo que visto como subconjunto de R3 , contenido en el plano de
ecuacin z = 0. Naturalmente el rea de esta superficie no es otra que la del recinto:
ZZ
rea(S0 ) = dx dy = rea(W ).
W
Como ejemplo menos trivial, calculemos el rea de una superficie S1 ya manejada en la leccin
anterior, la parte del paraboloide z = x2 + y2 comprendida dentro del cilindro x2 + y2 = 1. En
este caso tenemos W = {(x, y) R2 : x2 + y2 6 1} y h(x, y) = x2 + y2 para (x, y) W , luego
ZZ p Z Z 1 q
rea(S1 ) = 2 2
1 + 4x + 4y dx dy = 1 + 42 d d
W 0
Z 1 q
h 3/2 i=1
= 2 1 + 42 d = 1 + 42 = (5 5 1)
0 6 =0 6
donde hemos usado un cambio de variable a coordenadas polares.
Como ltimo ejemplo calculamos el rea de una esfera Sr de radio r > 0, para la que usamos
la parametrizacin

(, ) = (r cos cos , r sen cos , r sen ) (, ) W (8)
definida en el rectngulo W = [, ] [/2, /2]. Usando los clculos de la leccin anterior

para un elipsoide, o repitiendo dichos clculos en el caso particular de una esfera, tenemos
= r2 cos (cos cos , sen cos , sen ) (9)
de donde
k k = r2 cos (10)
y deducimos un resultado bien conocido:
ZZ Z Z /2
2 2
rea(Sr ) = r cos d d = r cos d d = 4 r2 .
W /2
8.2. Integrales con respecto a una parametrizacin

Sea de nuevo W un recinto en el plano y : W R3 una parametrizacin de la superficie
S = (W ). Si f : S R es una funcin continua, se define la integral de superficie del campo
escalar f con respecto a la parametrizacin mediante la igualdad
ZZ ZZ ZZ
f ds = f (x, y, z) ds = f (u, v) ku v k du dv
W
La existencia de la ltima integral est asegurada, puesto que el integrando es una funcin
continua en el recinto W . De las dos notaciones para la integral de superficie que aparecen
en la igualdad anterior, la primera es obviamente la ms sencilla, la segunda tiene la ventaja de
indicar directamente la definicin del campo escalar que estamos considerando. Ntese que para
la existencia de la integral slo precisamos que el campo f est definido y sea continuo sobre la
superficie S, aunque habitualmente f tendr propiedades de regularidad mucho mejores, siendo
por ejemplo diferenciable en un abierto de R3 que contiene a la superficie S.
Para el clculo prctico de la integral usamos las ecuaciones paramtricas de la superficie,
ms concretamente, escribimos la parametrizacin como en (1). Usando entonces la expre-
sin de la funcin ku v k calculada en (3), la integral de superficie toma la forma:
" 2 2 2 #1/2
(y, z) (z, x) (x, y)
ZZ
f x(u, v), y(u, v), z(u, v) + + dudv
W (u, v) (u, v) (u, v)
En particular, para una superficie en forma explcita, dada por la expresin (4) como la
grfica de una funcin h, la parametrizacin viene dada por (5), y usando (7) tendremos
ZZ ZZ
" 2 2 #1/2
h h
f (x, y, z) ds = f x, y, h(x, y) + +1 dx dy
W x y
Consideremos por ejemplo el campo escalar f definido en R3 por
f (x, y, z) = (x2 + y2 + 1)1/2 (x, y, z R)
y vamos a calcular su integral de superficie con respecto a la parametrizacin de una superficie

helicoidal definida por
(r, ) = (r cos , r sen , )
en el recinto W = {(r, ) R2 : 0 6 r 6 1 , 6 6 }. En este caso tenemos
r = (cos , sen , 0) y = (r sen , r cos , 1)
de donde
r = (sen , cos , r) y kr k = (1 + r2 )1/2
con lo que obtenemos:
ZZ ZZ Z Z 1 8
(1 + r2 ) dr d =

f ds = f (r, ) kr k dr d =
W 0 3
Pasemos ahora a las integrales de superficie de campos vectoriales. Sea otra vez W un
recinto en el plano y : W R3 una parametrizacin de la superficie S = (W ). Si ahora
F : S R3 es una funcin continua, definimos la integral de superficie del campo vectorial
F con respecto a la parametrizacin mediante la igualdad:
ZZ ZZ

F . ds = F (u, v) u v du dv
W
De nuevo la existencia de la ltima integral est asegurada por ser el integrando una funcin
continua en W . Si escribimos como siempre la parametrizacin en la forma (1), con lo que
u v toma la forma que aparece en (2), y consideramos las tres componentes del campo
vectorial, es decir, F = (P, Q, R), la integral de superficie toma la forma
ZZ ZZ (y, z)
F . ds = P x(u, v), y(u, v), z(u, v) du dv
W (u, v)
ZZ (z, x)
+ Q x(u, v), y(u, v), z(u, v) du dv
W (u, v)
ZZ (x, y)
+ R x(u, v), y(u, v), z(u, v) du dv
W (u, v)
lo que justifica la notacin clsica
ZZ ZZ
P(x, y, z)dydz + Q(x, y, z)dzdx + R(x, y, z)dxdy = Pdydz + Qdzdx + Rdxdy

que se usa a menudo para representar la integral de superficie de un campo vectorial.

Para una superficie en forma explcita, usando (5) y (6) tenemos
ZZ ZZ h h
F . ds = P x, y, h(x, y) Q x, y, h(x, y) + R x, y, h(x, y) dx dy
W x y
Consideremos por ejemplo el campo vectorial definido por F(x, y, z) = x i + y j + z k para

cualesquiera x, y, z R. Calculamos la integral de superficie
ZZ ZZ
F . ds = x dy dz + y dz dx + z dx dy

donde es la parametrizacin de la esfera de radio 1 centrada en el origen, definida por (8),

con r = 1, sobre el recinto W = [, ] [/2, /2]. Usando (9) tenemos fcilmente
F (, ) = cos2 cos3 + sen2 cos3 + sen2 cos = cos


ZZ Z Z /2
F . ds = cos d d = 4
/2
8.3. Independencia de la parametrizacin

Como ya se ha comentado, una misma superficie puede admitir diversas parametrizaciones
y las integrales de superficie dependen esencialmente de la parametrizacin que se utiliza. Sin
embargo, dada una parametrizacin concreta de una superficie, ciertos cambios de variable en
el recinto, una simple traslacin por ejemplo, deberan producir parametrizaciones equivalentes
a la de partida, que deberan conducir al mismo valor de la integral de superficie para cualquier
campo. Surge por tanto la pregunta de qu relacin deben guardar dos parametrizaciones de una
misma superficie para que podamos asegurar que las correspondientes integrales de superficie
coinciden.
En primer lugar, es bastante obvio que debemos limitarnos a considerar parametrizaciones
simples. Intuitivamente, si no imponemos esta restriccin, podramos usar parametrizaciones
que recorren varias veces una superficie, conduciendo obviamente a distintos valores de las
integrales de superficie. Si para dos parametrizaciones simples de una misma superficie inten-
tamos probar que las integrales de superficie coinciden, aparece enseguida la otra condicin
a imponer, que no es tan intuitiva: las parametrizaciones deben ser suaves, en el sentido que
vamos a explicar.
Si W = D es un recinto en el plano, se dice que una parametrizacin : W R3 de la
superficie S = (W ) es una parametrizacin suave cuando la funcin u v no se anula
en D. Naturalmente, la nomenclatura se justifica porque en tal caso sabemos que la superficie
S es suave en cada punto p S que sea de la forma p = (u0 , v0 ) con (u0 , v0 ) D y el
valor en (u0 , v0 ) de la funcin u v es un vector normal a la superficie en el punto p. Sin
embargo, en general no podemos asegurar que la superficie sea suave en todos sus puntos, pues
no tenemos informacin sobre los puntos de la forma (u, v) con (u, v) .
Por ejemplo, para la superficie en forma explcita dada por (4), la parametrizacin que
aparece en (5) es simple y suave. De hecho en este caso la funcin x y no se anula en todo
el recinto W y la superficie es suave en todos sus puntos. La parametrizacin local de una su-
perficie en forma implcita siempre puede hacerse de forma que se obtengan parametrizaciones
simples y suaves.
Como ejemplo ms concreto, consideremos la parametrizacin de una esfera definida por la

igualdad (8) en el rectngulo W = {(, ) : || 6 , || 6 /2}. En vista de (10), la igualdad
= 0 implica cos = 0, es decir, || = /2, con lo que el par (, ) pertenece a la
frontera del recinto W y no a su regin interior D. Por tanto no se anula en D y es
una parametrizacin suave de la esfera, que tambin sabemos es una parametrizacin simple.
De forma anloga se puede probar que cualquier elipsoide admite una parametrizacin simple
y suave.
Pues bien, si slo admitimos parametrizaciones simples y suaves, la integral de superficie
de un campo escalar es independiente de la parametrizacin:
Sean 1 : W1 R3 y 2 : W2 R3 dos parametrizaciones simples y suaves de una misma
superficie S = 1 (W1 ) = 2 (W2 ). Entonces, para cualquier campo escalar continuo f : S R
se verifica que ZZ ZZ
f ds = f ds
1 2
8.4. Integral de superficie de un campo escalar

Para la mayora de las superficies, las que admiten parametrizaciones simples y suaves, el
resultado recin comentado nos permite definir una integral de superficie de campos escalares
que no depende de la parametrizacin concreta que usemos para calcularla:
Si una superficie S R3 admite una parametrizacin simple y suave, para cada funcin
continua f : S R , la integral de superficie del campo escalar f sobre la superficie S se
define mediante la igualdad
ZZ ZZ ZZ
f ds = f ds = f (u, v) ku v k du dv
S W
donde : W R3 es cualquier parametrizacin simple y suave de la superficie S.

As pues, tiene sentido por ejemplo hablar de la integral de un campo escalar continuo sobre
cualquier superficie en forma explcita, o sobre una esfera o elipsoide, no se produce ambige-
dad alguna por el hecho de que no concretemos la parametrizacin que estamos considerando.
Esta nocin de integral de superficie, independiente de la parametrizacin, es la que tiene un
significado intuitivo ms claro y tambin la que admite una interpretacin fsica, que pasamos
a explicar.
Observemos que si el campo escalar f es constantemente igual a 1, la integral de superficie
nos da precisamente el rea de la superficie S o si se quiere, la masa de una lmina que tuvie-
se la forma de la superficie y densidad superficial constantemente igual a 1. De manera ms
general, cuando el campo f no toma valores negativos podemos imaginar una distribucin de
masa sobre la superficie S pero con densidad variable, de forma que f (x, y, z) sera la densidad
superficial (masa por unidad de rea) en cada punto (x, y, z) S. La integral de superficie nos
dara entonces la masa total. En el caso general, admitiendo que f pueda tomar valores negati-
vos, podemos pensar en una distribucin sobre la superficie de una magnitud fsica que admita
valores negativos, carga elctrica por ejemplo.
8.5. Orientacin de superficies

Para campos vectoriales, el problema de la independencia de la parametrizacin no admite
un tratamiento tan sencillo y satisfactorio como el que se ha hecho para campos escalares. La
razn estriba en que la integral de superficie de un campo vectorial con respecto a una para-
metrizacin involucra la funcin u v y no slo su norma como ocurre con los campos
escalares. Para comprender rpidamente la diferencia, basta pensar lo que sucede si intercam-
biamos simplemente los papeles de los parmetros u y v, con lo que sustituimos la funcin
u v por su opuesta v u . Qu duda cabe de que hemos cambiado la parametrizacin
de nuestra superficie por otra completamente equivalente, pero la integral ha cambiado de signo.
Para una amplia gama de superficies, veremos que al cambiar una parametrizacin simple y sua-
ve por otra, la integral de superficie de un campo vectorial se mantiene o cambia de signo, lo
que nos sugiere claramente un problema de orientacin. Vamos a definir con precisin qu se
entiende por orientar una superficie para despus aplicar esta idea a las integrales de campos
vectoriales.
Una orientacin de una superficie S es, por definicin, una funcin continua N : S R3 tal
que, para cada p S, N(p) es un vector unitario normal a la superficie S en el punto p. Cuando
existe una tal orientacin, decimos lgicamente que la superficie S es orientable. Abundan,
como vamos a ver, los ejemplos de superficies orientables.
Toda superficie en forma explcita es orientable. En efecto, si una superficie S viene dada
por la expresin (4), como grfica de una funcin h de clase C1 en un recinto W , sabemos
que, para cada (x, y) W , el vector no nulo que aparece en (6) es normal a la superficie en el
punto (x, y, h(x, y)) y su norma viene dada por (7). Basta entonces definir
" #1/2
h 2 h 2

h h
N(x, y, z) = + +1 (x, y) , (x, y) , 1 (11)
x y x y

para todo punto x, y, z = x, y, h(x, y) S, para obtener una orientacin de la superficie S.
Toda superficie en forma implcita es orientable. En efecto, consideremos la superficie
S = {(x, y, z) : g(x, y, z) = 0} (12)
donde es un subconjunto abierto de R3 y g es una funcin de clase C1 en que se anula en

algn punto de y cuyo gradiente no se anula en ningn punto de S. Sabemos entonces que,
para cada punto (x, y, z) S, el vector g(x, y, z) es normal a la superficie S en dicho punto,
luego para obtener una orientacin de la superficie basta definir
g(x, y, z)
N(x, y, z) = (x, y, z) S. (13)
kg(x, y, z)k
Por ejemplo, para obtener una orientacin de la esfera
Sr = (x, y, z) R3 : (x a0 )2 + (y b0 )2 + (z c0 )2 = r2

(14)
basta definir
N(x, y, z) = r1 x a0 , y b0 , z c0

(x, y, z) Sr (15)
Pasando finalmente el caso general de una superficie en forma paramtrica, supongamos

que : W R3 es una parametrizacin de la superficie S = (W ), tal que la funcin es
inyectiva en todo el recinto W y verifica que u v 6= 0 para todo (u, v) W . En particular
es una parametrizacin simple y suave, pero ahora estamos exigiendo mucho ms. Cada punto
(x, y, z) S tiene la forma (u, v) para un nico par (u, v) W y se puede demostrar que (u, v)
depende de manera continua de (x, y, z), dicho de otra forma, 1 es una funcin continua de
S en W . Obtenemos entonces una orientacin de la superficie S sin ms que definir,
u v 1
N(x, y, z) = (x, y, z) (x, y, z) S
ku v k
donde en el segundo miembro aparece entre corchetes el punto donde debe evaluarse la funcin
indicada.
Como ocurre en los ejemplos anteriores, una superficie orientable ha de ser suave en todos
sus puntos, para que dispongamos de vectores normales en todos ellos. El ejemplo ms conocido
de una superficie simple, que es suave en todos sus puntos pero no es orientable, es la llamada
cinta de Mbius, que no vamos a estudiar aqu. Baste saber que tal ejemplo existe.
Es lgico preguntarse cuantas orientaciones admite una superficie orientable. De entrada al
menos dos, puesto que si N es una orientacin, N es otra. A efectos de las integrales de super-
ficie, lo importante es que las superficies que nos interesan, las que admiten una parametrizacin
simple y suave, no pueden tener ms de dos orientaciones. Esto es una fcil consecuencia del
siguiente enunciado, que es el que realmente vamos a usar:
Sea N una orientacin de la superficie S = (W ), donde es una parametrizacin simple
y suave, definida en un recinto W del plano. Se verifica entonces que

u v = N (u, v) ku v k (16)
para todo (u, v) W donde es constante, pudiendo valer 1 o 1. Cuando = 1 decimos
que la parametrizacin determina la orientacin N mientras que cuando = 1 decimos
que determina la orientacin N.
La demostracin del enunciado anterior puede resultar instructiva. Observamos en primer
lugar que basta probar la igualdad (16) para (u, v) D donde D es el interior del recinto W .
Ello se debe a que los dos miembros de dicha igualdad son funciones continuas en el recinto W
que, caso de coincidir en el dominio D habrn de coincidir en su cierre, que es W .
Para (u, v) D, por ser suave la parametrizacin , sabemos que la funcin u v toma
un valor no nulo en el punto (u, v) que es un vector normal a la superficie S en el punto
(u, v). Por definicin de orientacin, lo mismo le ocurre al vector N (u, v) , pero sabemos
que el plano tangente a la superficie en el punto (u, v) es nico, luego esos vectores normales
debern ser cada uno mltiplo escalar del otro. As pues, se deber tener
u v
= N (u, v)
ku v k
Considerando entonces la funcin : D R definida por

u v
(u, v) = ku v k N (u, v) (u, v) D

tenemos que slo toma los valores 0 y 2. Pero es una funcin continua en el dominio D ,
con lo que vemos fcilmente que no puede tomar ambos valores sin tomar todos los intermedios.
Por tanto, o bien es idnticamente nula en D, y se cumple (16) con = 1, o bien es
constantemente igual a 2 en D, y se cumple (16) con = 1.
Veamos ahora por qu una superficie orientable que admita una parametrizacin simple y
suave admite exactamente dos orientaciones. Con la notacin usada en la demostracin anterior,
supongamos que N1 es otra orientacin de la superficie y comprobaremos enseguida que se
debe tener N1 = N o N1 = N. En efecto, la orientacin N1 tambin verificar (16), es decir

u v = 1 N1 (u, v) ku v k
para todo (u, v) W , con 1 = 1. Por tanto

1 N1 (u, v) ku v k = N (u, v) ku v k (u, v) W
Usando que u v no se anula en D deducimos que

N1 (u, v) = N (u, v) (u, v) D
donde tambin = 1. Finalmente, aprovechando como antes que W es el cierre de su regin
interior, concluimos que la igualdad anterior se verifica en todo el recinto W , lo que equivale a
decir que N1 = N, como queramos.
Intuitivamente, las dos orientaciones de una superficie se corresponden con sus dos caras,
de forma que una orientacin N correspondera a la cara de la superficie en la que debemos
situarnos (se entiende con los pies en la superficie) de forma que, en cada punto p, el vector
normal unitario N(p) apunte hacia arriba. En trminos igualmente intuitivos, una superficie es
orientable cuando tiene dos caras. En la prctica suele ser fcil distinguir las dos orientaciones
de una superficie, como vamos a ver con ejemplos.
Para una superficie en forma explcita, la orientacin dada por (11) se caracteriza porque
la tercera coordenada del vector normal N(x, y, z) es siempre positiva, podramos decir que
el vector normal apunta siempre hacia arriba. Intuitivamente esta orientacin corresponde a la
cara superior de la superficie.
Para una superficie en forma implcita, dada por la expresin (12), es frecuente que la
funcin g est definida en todo R3 y que la superficie sea la frontera de un dominio acotado
G . Es decir, el conjunto G = {(x, y, z) R3 : g(x, y, z) < 0} es un dominio acotado en R3 con
S = G. En este caso, si usamos la orientacin definida en (13) decimos que la superficie S est
orientada mediante la normal exterior. Como ejemplo concreto, en (15) tenemos la orientacin
mediante la normal exterior de la esfera dada por (14). La explicacin de esta nomenclatura es
fcil de adivinar, pero vamos a explicarla en una situacin mucho ms general.
Supongamos que la superficie S est contenida en la frontera de un dominio G R3 . Se dice
que S est orientada mediante la normal exterior a G si su orientacin N verifica la siguiente
condicin: para cada punto p S, existe un > 0 tal que p + N(p) / G para 0 < < . La
explicacin es la siguiente: intuitivamente el dominio G est a un lado de la superficie S, de
forma que, vista desde dentro de G, la superficie tiene una cara interior (la que vemos) y otra
exterior. La orientacin N que estamos considerando corresponde a la cara exterior, porque al
realizar un pequeo desplazamiento desde cualquier punto p de la superficie en el sentido del
vector normal N(p) llegamos a un punto p + N(p) que est fuera del dominio G.
8.6. Integral de superficie de un campo vectorial

Podemos ya analizar la independencia de la parametrizacin para integrales de superficie
de campos vectoriales. El resultado ir en la misma lnea que para campos escalares, slo que
debemos tener en cuenta la orientacin y, en particular, la superficie deber ser orientable.
Sea pues N una orientacin de una superficie S = (W ) donde es una parametrizacin
simple y suave de la superficie, que suponemos determina la orientacin N, es decir, se tiene
que
u v = N (u, v) ku v k (u, v) W
Entonces, dado un campo vectorial continuo F : S R3 tendremos
ZZ ZZ

F . ds = F (u, v) N (u, v) ku v k du dv
W
y hemos llegado a la integral de superficie de un campo escalar. Ms concretamente, si para

(x, y, z) S definimos

f (x, y, z) = F(x, y, z) N(x, y, z) (17)
tenemos un campo escalar continuo f : S R que evidentemente verifica
ZZ ZZ
f ds = F . ds (18)

El razonamiento anterior tiene consecuencias importantes que ahora vamos a explicar. En

primer lugar, si es otra parametrizacin simple y suave de la superficie S que tambin deter-
mine la orientacin N, podemos aplicar a el mismo razonamiento que a y aprovechar la
independencia de la parametrizacin que ya conocemos para campos escalares, obteniendo
ZZ ZZ ZZ ZZ
F . ds = f ds = f ds = F . ds

Si, por el contrario determinase la orientacin N, est claro que las integrales con respecto
a las dos parametrizaciones seran opuestas. Hemos probado:
Sean 1 : W1 R3 y 2 : W2 R3 dos parametrizaciones simples y suaves de una misma
superficie orientable S = 1 (W1 ) = 2 (W2 ). Entonces, para todo campo vectorial continuo
F : S R3 se verifica que ZZ ZZ
F . ds = F . ds
1 2
donde = 1 si 1 y 2 determinan la misma orientacin de la superficie S y = 1 si
determinan orientaciones opuestas.
A partir del resultado anterior podremos ya definir la integral de superficie de un campo vec-
torial sobre una superficie orientada. Conviene resaltar que esta integral va a coincidir siempre
con la integral de superficie de un campo escalar, como ha quedado claramente de manifiesto
en la igualdad (18). La definicin formal es la siguiente:
Sea S una superficie orientable que admita una parametrizacin simple y suave, sea N una
orientacin de S y F : S R3 una funcin continua. La integral de superficie del campo
vectorial F sobre la superficie S orientada mediante N se define de la siguiente forma:
ZZ ZZ ZZ

F . ds = F . ds = F (u, v) u v du dv
S W
donde : W R3 es cualquier parametrizacin simple y suave de la superficie S que deter-
mine la orientacin N.
Equivalentemente, segn hemos visto, se tiene
ZZ ZZ
F . ds = f ds
S S
donde f : S R es el campo definido por (17). Esta ltima igualdad puede muy bien

escalar
resumirse escribiendo f = F N , con lo que aparece otra notacin que se usa frecuentemente

para la integral recin definida
ZZ ZZ

F . ds = FN ds
S S
Esta ltima notacin tiene la ventaja de recordarnos que debemos fijar una orientacin para que
la integral quede unvocamente determinada.
As pues tiene sentido, por ejemplo, hablar de la integral de un campo vectorial continuo
sobre una superficie en forma explcita o sobre una esfera o elipsoide, siempre que fijemos una
orientacin. Por ejemplo podemos orientar una esfera mediante la normal exterior o trabajar con
la cara superior de una superficie en forma explcita. Como ocurra con los campos escalares,
no se produce ambigedad alguna por el hecho de que no concretemos la parametrizacin que
estamos considerando, salvo que dicha parametrizacin debe ser simple, suave y determinar la
orientacin elegida.
Una interpretacin fsica interesante de la integral de superficie se obtiene pensando en el
campo vectorial F como el campo de velocidades de un fluido en movimiento en una cierta
regin del espacio que contenga
a la superficie S. La clave para ello consiste en interpretar
correctamente el campo escalar F N , como vamos a ver.

De entrada, la funcin F N mide en cada punto la componente de la velocidad del fluido
en la direccin normal a la superficie y en el sentido determinado por la orientacin N. Si esta
funcin fuese constante, al multiplicarla por el rea de S nos dara el volumen total de fluido
que atraviesa

la superficie S por unidad de tiempo en el sentido indicado. Concluimos que la
funcin F N tambin mide, en cada punto, la cantidad de fluido que atraviesa la superficie
en el sentido indicado, por unidad de rea y por unidad de tiempo. Lgicamente esta cantidad es
variable, precisamente porque la velocidad del fluido vara de un punto a otro de la superficie.
Usando ahora la interpretacin que ya conocemos para campos escalares, concluimos que
la integral de superficie de nuestro campo de velocidades nos da la cantidad total de fluido que
atraviesa la superficie S por unidad de tiempo en el sentido de la orientacin fijada.
Inspirndose en el ejemplo concreto que acabamos de sugerir, la integral de superficie de
un campo vectorial suele denominarse flujo del campo a travs de la superficie en el sentido
determinado por la orientacin. Por ejemplo hablamos de un flujo saliente a travs de una esfera
orientada mediante la normal exterior.
8.7. Propiedades de las integrales de superficie

Comentamos brevemente slo dos propiedades, que son anlogas a las que tenan las inte-
grales de lnea.
Linealidad. Sea una parametrizacin de una superficie S, f , g dos campos escalares y
F, G dos campos vectoriales, todos ellos continuos en S, y , R. Se verifica entonces que
ZZ ZZ ZZ
( f + g) ds = f ds, + g ds
ZZ ZZ ZZ
(F + G) . ds = F . ds + G . ds

En particular, si la superficie S admite una parametrizacin simple y suave se tendr

ZZ ZZ ZZ
( f + g) ds = f ds, + g ds
S S S
y si adems S es orientable, ser tambin

ZZ ZZ ZZ
(F + G) . ds = F . ds + G . ds
S S S
siempre que para las tres integrales usemos la misma orientacin.

Continuidad. Supongamos ahora que : W R3 es una parametrizacin simple de la
superficie S = (W ), sea f : S R un campo escalar continuo y tomemos una constante
M > 0 de forma que | f (x, y, z)| 6 M para todo punto (x, y, z) S. Es fcil ver que
ZZ ZZ

f ds 6 M
ku v k du dv = M rea(S)
W

En particular, si S admite una parametrizacin simple y suave, se tendr

ZZ

f ds 6 M rea(S)
S

Si ahora F es un campo vectorial continuo en S y kF(x, y, z)k 6 K para todo (x, y, z) S ,

usando la desigualdad de Cauchy-Schwartz se comprueba sin dificultad que
ZZ

F . ds 6 K rea(S)

y en particular, cuando S sea orientable y admita una parametrizacin simple y suave, podremos
escribir ZZ

F . ds 6 K rea(S)

cualquiera que sea la orientacin que se considere.
En resumen, las desigualdades anteriores expresan la idea de que las integrales de superficie
dependen de manera continua del campo, escalar o vectorial, que se integra.

Leccion 9
Teoremas de Stokes y Gauss
Presentamos a continuacin los dos resultados principales del Clculo Vectorial. Por una
parte, el Teorema de Stokes generaliza la frmula de Green, estableciendo la igualdad entre una
integral de lnea y una de superficie. Por otra, el Teorema de Gauss, tambin conocido como
Teorema de la Divergencia o Frmula de Gauss-Ostrogradsky, permite calcular una integral de
superficie mediante una integral triple.
9.1. Enunciado del Teorema de Stokes

A continuacin enunciamos la versin tridimensional de la frmula de Green, conocida
como Teorema de Stokes, que nos permite calcular una integral de lnea de un campo vectorial
en el espacio mediante una integral de superficie del rotacional del campo.
Teorema. Sea un camino en R2 , regular a trozos, cerrado y simple, que recorre una
curva de Jordan con orientacin positiva. Consideremos el recinto W cuya frontera es y
sea : W R3 una parametrizacin de clase C2 de la superficie S = (W ). Sea finalmente
F : R3 un campo vectorial de clase C1 en un subconjunto abierto de R3 que contenga a
la superficie S. Entonces, la integral de lnea del campo F a lo largo del camino coincide
con la integral de superficie del rotacional de F con respecto a la parametrizacin :
Z ZZ
F . dl = rot F . ds

Como ocurra con la Frmula de Green, la igualdad anterior, al menos en los casos que ms
interesan en la prctica, puede escribirse con una notacin que ayuda a entender su significado
al tiempo que nos permite recordar con ms facilidad las hiptesis del teorema. Para explicarlo
con detalle, trabajaremos por separado con los dos miembros de la igualdad.
El camino : [a, b] S est
definido en el mismo intervalo que , digamos [a, b], y
viene dado por [ ](t) = (t) para a 6 t 6 b. Como la curva de Jordan es la frontera
del recinto W , el camino recorre la curva () = (W ) que podemos entender como
un especie de borde de la superficie S y denotar por S. Conviene aclarar que S depende
de la parametrizacin y no es en absoluto la frontera de S vista como subconjunto de R3 ,
simplemente escribimos S = (W ) por similitud con S = (W ).
62
8. Teoremas de Stokes y Gauss 63
Pues bien, resulta ahora natural denotar el camino por S+ puesto que recorre la curva
S y, aunque no hablamos de la orientacin de un camino en R3 , esta notacin nos recuerda la
orientacin positiva de , que de alguna manera hace que el camino recorra la curva S
en un cierto sentido. Por supuesto, el camino op la recorrera en sentido contrario.
Con respecto a la integral de superficie que aparece en el teorema, en lugar de la integral con
respecto a la parametrizacin , es natural considerar la integral sobre la superficie S, siempre
que ello tenga sentido, es decir, siempre que S sea orientable y admita una parametrizacin
simple y suave. En tal caso la Frmula de Stokes puede por tanto escribirse en la forma
I ZZ
F . dl = rot F . ds
S+ S
Aparentemente hemos introducido aqu una ambigedad, al no concretar la orientacin de la

superficie, pero en realidad esta ambigedad en el segundo miembro de la frmula es coherente
con la que tambin hemos introducido en el primero. Para calcular la integral de superficie
debemos usar una parametrizacin simple y suave , y esa misma parametrizacin es la que
debemos usar para definir el camino S+ = . Intuitivamente, lo que ocurrira si usramos
una parametrizacin que definiese una orientacin opuesta a la de es que el camino
tendra tambin sentido contrario al de , luego tanto la integral de lnea como la de
superficie cambian de signo al sustituir por , pero la igualdad entre ellas se mantiene.
Finalmente, si consideramos las tres componentes del campo vectorial, escribiendo como
siempre F = (P, Q, R) , y usamos las notaciones clsicas para las integrales, la Frmula de Stokes
resulta ms explcita:
I ZZ
R Q P R Q R
Pdx + Qdy + Rdz = dydz + dzdx + dxdy
S+ S y z z x x y
9.2. Ejemplo
Enseguida veremos aplicaciones ms relevantes del Teorema de Stokes, pero vamos a ana-
lizar con detalle un primer ejemplo sencillo. Calculemos la integral de lnea
Z
I= y3 dx + x3 dy z3 dz

donde el camino recorre la curva que se obtiene como interseccin del cilindro x2 + y2 = 1
con el plano de ecuacin x + y + z = 1. Ms concretamente,

(t) = cost, sent, 1 cost sent ( 6 t 6 )
El clculo directo usando la definicin de la integral de lnea es laborioso, aunque no difcil. Su

clculo mediante el Teorema de Stokes es casi inmediato, pero lo explicamos con todo detalle.
Necesitamos ver la curva como borde de una superficie, pero es fcil adivinar la forma
de conseguirlo. Consideramos el recinto W y la parametrizacin de clase C dados por
W = {(x, y) R2 : x2 + y2 6 1} , (x, y) = (x, y, 1 x y)

(x, y) W
Observamos que la superficie S = (W ) coincide con la parte del plano x + y + z = 1 contenida

en la regin interior al cilindro x2 + y2 = 1 :
S = {(x, y, 1 x y) : (x, y) W } = {(x, y, z) R3 : x2 + y2 < 1 , x + y + z = 1}
Anotemos el vector normal (constante) a la superficie (plana) S:

x y = i + j + k (x, y) W
Intuitivamente, el borde de la superficie S es efectivamente la curva , cosa que podemos

comprobar formalmente:
= {(x, y, z) R3 : x2 + y2 = 1 , x + y + z = 1}
= {(x, y, 1 x y) : x2 + y2 = 1} = (W ) = S
En realidad, tomando directamente (t) = (cost, sent) para t [, ], tenemos que es un

camino en R2 , regular, cerrado y simple, que recorre la circunferencia W con orientacin
positiva, y observamos que

(t) = (cost, sent) = (cost, sent, 1 cost sent) = (t) ( 6 t 6 )
es decir, = . Estamos pues claramente en situacin de aplicar el Teorema de Stokes.

Notemos finalmente que el campo vectorial definido por
F(x, y, z) = y3 i + x3 j z3 k (x, y, z R)
es de clase C en R3 con rot F(x, y, z) = 3(x2 + y2 ) k para cualesquiera x, y, z R. Aplicamos

por tanto el Teorema de Stokes y completamos el clculo de la integral buscada:
Z ZZ ZZ

I= F . dl = rot F . ds = rot F (x, y) x y dx dy
W
Z Z 1
3
ZZ
=3 (x2 + y2 ) dx dy = 3 3 d d =
W 0 2
9.3. La frmula de Green como caso particular

El Teorema de Stokes no slo nos da la versin tridimensional de la Frmula de Green sino
que de hecho generaliza el Teorema de Green. Para ponerlo de manifiesto basta en realidad
pensar que un recinto en el plano es un tipo muy particular de superficie. Vemoslo con detalle,
pues se trata de la aplicacin ms sencilla del Teorema de Stokes.
Partimos pues de las hiptesis del Teorema de Green. Por una parte, consideramos un ca-
mino en R2 , regular a trozos, cerrado y simple, que recorre una curva de Jordan con
orientacin positiva. Por otra parte, suponemos que F = (P, Q) : R2 es un campo vectorial
de clase C1 en un abierto R2 , que contiene al recinto W cuya frontera es . Queremos
probar que la integral de lnea de F a lo largo de coincide con la integral doble sobre W del
rotacional escalar de F.
Para ponernos en condiciones de usar el Teorema de Stokes, consideremos la parametriza-

cin : W R3 dada por

(x, y) = (x, y, 0) (x, y) W
que consiste simplemente en ver el recinto W como una superficie en R3 , ya que la superficie
S = (W ) viene dada por S = {(x, y, 0) : (x, y) W }. Notemos que es una funcin de clase
C y nos da una parametrizacin simple y suave de la superficie S, con vector normal constante:
x = i ; y = j ; x y = k (en W ).
Por otra parte, a partir del campo F = (P, Q), definimos un campo vectorial en el espacio como
ya hicimos para motivar la definicin del rotacional escalar. Simplemente tomamos
e = {(x, y, z) R3 : (x, y) } ,

(1)
e y, z) = (P(x, y), Q(x, y), 0) (x, y, z)
F(x, e
Es evidente que e es un abierto de R3 que contiene a la superficie S mientras que F

e es un
1
campo vectorial de clase C en e cuyo rotacional viene dado por

e y, z) = rot F(x, y) k (x, y, z)
rot F(x, e
Estamos ya preparados para aplicar el Teorema de Stokes, pero trabajemos previamente con
las dos integrales que dicho teorema har coincidir. Por una parte, para la integral de superficie
tenemos ZZ ZZ

rot F . ds =
e e y, 0) x y dx dy
rot F(x,
ZZW
ZZ (2)
= rot F(x, y) k k dx dy = (rot F) dx dy
W W
Con respecto a la integral de lnea, observemos los caminos y :

(t) = (x(t), y(t) y [ ](t) = x(t), y(t), 0) (a 6 t 6 b)
Comprobamos entonces sin dificultad que donde sea derivable se tendr

e (t) ( ) 0 (t) = F (t) 0 (t)

F
de donde deducimos que Z Z

e . dl =
F F . dl (3)

Usando las igualdades (2) y (3), al aplicar el Teorema de Stokes obtenemos directamente
la Frmula de Green:
Z Z ZZ ZZ
F . dl = e . dl =
F e . ds =
rot F (rot F) dx dy
W
9.4. Frmula de Green en un anillo

Aplicando el Teorema de Stokes a otra superficie plana, deduciremos una nueva versin de
la frmula de Green, que tambin podra obtenerse por otros procedimientos, pero nos interesa
ilustrar el uso del Teorema de Stokes.
Para 0 < r < R , consideremos el rectngulo W = [r, R] [0, 2] y la funcin : W R3
dada por
(, ) = cos , sen , 0 (r 6 6 R , 0 6 6 2)
Claramente es una funcin de clase C en W y se comprueba fcilmente que es una pa-
rametrizacin simple de la superficie S = (W ), que es la regin del plano z = 0 compren-
dida entre las circunferencias centradas en el origen con radios r y R. Ms concretamente,
escribiendo A = {(x, y) R2 : r 6 k(x, y)k 6 R} tenemos un anillo en el plano y claramente
S = {(x, y, 0) : (x, y) A} no es ms que ese anillo, slo que visto como subconjunto de R3 .
Para (, ) W tenemos
= (cos , sen , 0) , = ( sen , cos , 0) y = k,
en particular es una parametrizacin suave de la superficie S.
Supongamos ahora que F es un campo vectorial de clase C1 en un abierto R2 que
contenga al anillo A y, para poder aplicar el Teorema de Stokes, definimos un abierto e R3
e 1
que contiene a la superficie S, y un campo vectorial F de clase C en , exactamente igual que
e
lo hicimos en el apartado anterior, mediante las expresiones (1). Calculemos ahora la integral
de superficie que aparecer al aplicar el Teorema de Stokes:
ZZ ZZ

rot F . ds =
e e (, ) d d
rot F
ZZW ZZ (4)
= rot F( cos , sen ) d d = rot F(x, y) dx dy
W A
donde, en la ltima igualdad, hemos usado un cambio de variable a coordenadas polares. Ntese
que la ltima integral doble es la que aparece en la Frmula de Green, slo que en lugar del
recinto delimitado por una curva de Jordan tenemos el anillo A, cuya frontera es unin de dos
circunferencias.
Por otra parte, veamos cual es la integral de lnea que aparecer al aplicar el Teorema de
Stokes. Naturalmente, debemos usar un camino , regular a trozos, cerrado y simple, que recorra
la frontera del rectngulo W con orientacin positiva. Es fcil ver que todo ello se consigue
usando la suma de cuatro segmentos, = 1 2 3 4 , definidos de la siguiente forma:
1 (t) = (t, 0) , 3 (t) = (r + R t, 2) (r 6 t 6 R)
2 (t) = (R,t) , 4 (t) = (r, 2 t) (0 6 t 6 2)
Pensemos ahora que es a su vez la suma de los caminos k para k = 1, 2, 3, 4, caminos
que vienen dados por
[ 1 ](t) = (t, 0, 0) , [ 3 ](t) = (r + R t, 0, 0) (r 6 t 6 R)
[ 2 ](t) = (R cost, R sent, 0) (0 6 t 6 2)
[ 4 ](t) = (r cost, r sent, 0) (0 6 t 6 2)
Por una parte es claro que 3 es el camino opuesto de 1 , con lo que las integrales a
lo largo de ambos caminos son opuestas y van a cancelarse. Los otros dos caminos recorren
circunferencias en el plano z = 0 centradas en el origen con radios R y r, la primera con
orientacin positiva y la segunda negativa. Para tener una notacin ms sugestiva podemos
considerar los caminos en R2 dados por
CR (t) = ( R cost , R sent ) , Cr (t) = ( r cost , r sent ) (0 6 t 6 2) (5)
y, a partir de los comentarios anteriores, comprobamos fcilmente que

Z Z Z Z Z
e . dl =
F e . dl +
F e . dl =
F F . dl F . dl (6)
2 4 CR Cr
En vista de las igualdades (4) y (6), el Teorema de Stokes nos da lo siguiente:

Consideremos un anillo A = {(x, y) R2 : r 6 k(x, y)k 6 R} con 0 < r < R y supongamos
que F : R2 es un campo vectorial de clase C1 en un abierto R2 que contenga al
anillo A. Entonces se verifica que
Z Z ZZ
F . dl F . dl = (rot F) dx dy
CR Cr A
donde los caminos CR y Cr vienen dados por (5).

Este resultado puede entenderse como una versin del Teorema de Green para el anillo A.
Obsrvese que la frontera de A es la unin de las dos circunferencias recorridas por los caminos
CR y Cr , as que el primer miembro de la igualdad podra entenderse como la integral de lnea
a lo largo de la frontera del anillo A. La orientacin positiva en este caso, como ocurra para la
regin interior a una curva de Jordan, consiste en que el camino de integracin deje siempre a la
izquierda el anillo A. Para ello, la circunferencia de radio R debe orientarse positivamente, pero
la de radio r debe orientarse negativamente, de ah que tengamos la diferencia de integrales y
no la suma.
9.5. Caso de una superficie cerrada

Frecuentemente la integral de lnea que aparece en el Teorema de Stokes se anula, cual-
quiera que sea el campo vectorial que estemos considerando, simplemente porque el camino de
integracin es una suma de caminos triviales (constantes) y caminos que se recorren en ambos
sentidos, cancelndose las integrales. Por tanto, al aplicar el teorema concluimos que la integral
de superficie del rotacional de una amplia gama de campos se anula. En lugar de enunciar un
resultado general de este tipo, vamos a analizar un ejemplo concreto.
Consideremos la esfera unidad S = {(x, y, z) R3 : x2 + y2 + z2 = 1} para la que usamos la
parametrizacin definida en el rectngulo W = [, ] [/2, /2] por
(, ) = (cos cos , sen cos , sen ) ( 6 6 , /2 6 6 /2)

De nuevo usamos un camino regular a trozos cerrado y simple que recorre la frontera de W con
orientacin positiva, tomando = 1 2 3 4 , donde
1 (t) = (t, /2) , 3 (t) = (t, /2) ( 6 t 6 )
2 (t) = (,t) , 4 (t) = (, t) (/2 6 t 6 /2)
Observamos que
[ 1 ](t) = (0, 0, 1) , [ 3 ](t) = (0, 0, 1) ( 6 t 6 )
[ 2 ](t) = ( cost, 0, sent) (/2 6 t 6 /2)
[ 4 ](t) = ( cost, 0, sent) (/2 6 t 6 /2)
Tenemos pues dos caminos constantes y 4 es el camino opuesto de 2 . Deducimos que
la integral de lnea a lo largo del camino de cualquier campo vectorial continuo se anula.
Aplicando el Teorema de Stokes, obtenemos que
ZZ
rot F . ds = 0
S
para cualquier campo vectorial F que sea de clase C1 en un abierto que contenga a la esfera S.
El mismo resultado habramos obtenido para una esfera de radio arbitrario centrada en cualquier
punto de R3 o, con el mismo razonamiento, para un elipsoide arbitrario.
9.6. Dominios simplemente conexos en R3

Igual que el Teorema de Green nos da informacin sobre campos conservativos en dominios
de R2 , el Teorema de Stokes permite obtener conclusiones anlogas en R3 . La situacin es muy
similar a la que tenamos en el plano, salvo que para una curva en R3 , aunque se pueda recorrer
mediante un camino cerrado y simple, no tiene sentido hablar de su regin interior, as que
debemos pensar en otra forma de definir los dominios simplemente conexos en R3 .
Supongamos para empezar que F es un campo vectorial de clase C1 en un dominio R3 .
Sabemos hace tiempo que si F es conservativo en , entonces F es irrotacional en . Al igual
que ocurra en el plano, el recproco no es cierto, puede ocurrir que F sea irrotacional pero no
conservativo en .
Para comprobar lo recin comentado podemos usar esencialmente el mismo ejemplo que
tenamos en el plano, slo que llevado a R3 como hemos hecho ya varias veces. Concretamente
tomamos
= {(x, y, z) R3 : x2 + y2 > 0} = R3 \ {(0, 0, z) : z R} (7)
es decir, es el dominio que resulta al suprimir de R3 el eje vertical. Definiendo

y x
F(x, y, z) = , , 0 (x, y, z) .
x2 + y2 x2 + y2
obtenemos un campo vectorial de clase C en y es fcil comprobar que F es irrotacional en
. Sin embargo, consideremos la circunferencia , y el camino que la recorre, dados por
= {(x, y, 0) R3 : x2 + y2 = 1} , (t) = (cost, sent, 0) ( 6 t 6 ) (8)
Claramente es un camino regular cerrado en y comprobamos sin dificultad que

Z
F . dl = 2 6= 0

luego F no es conservativo en .
Pero vamos ahora con la parte ms interesante de la discusin: si F es un campo vectorial de
clase C1 e irrotacional en un dominio R3 , es obvio que la integral de superficie que aparece
en el Teorema de Stokes siempre va a anularse, cualquiera que sea la superficie contenida en
con la que trabajemos, luego tambin va a anularse la integral de lnea del teorema y eso nos dice
que las integrales de lnea de F sobre muchos caminos cerrados en se anulan, lo que apunta
en la direccin de que F pueda ser conservativo en . Intuitivamente, sabemos que son nulas
las integrales de lnea sobre los caminos que recorren el borde de una superficie contenida
en , luego debemos considerar dominios que tengan la propiedad de que cualquier camino
cerrado en recorra el borde de una superficie contenida en .
Volvamos al dominio que aparece en (7), para observar que no tiene la propiedad de
la que estamos hablando: como la circunferencia definida en (8) rodea al eje vertical, es
intuitivamente claro que cualquier superficie que tenga como borde dicha circunferencia deber
contener puntos del eje vertical, luego tal superficie no podr estar contenida en .
Demos ya la definicin rigurosa de la propiedad que estamos buscando. Se dice que un
dominio R3 es simplemente conexo cuando dados dos puntos cualesquiera p, q y
dos caminos 0 , 1 : [a, b] con origen p y extremo q, es decir, con 0 (a) = 1 (a) = p y
0 (b) = 1 (b) = q, existe una funcin continua : [a, b] [0, 1] que verifica las siguientes
condiciones:
(i) (t, 0) = 0 (t) y (t, 1) = 1 (t) para a 6 t 6 b
(ii) (a, s) = p y (b, s) = q para 0 < s < 1
Tenemos aqu una definicin bastante tcnica que requiere una explicacin ms intuitiva.
Para entender el significado de la funcin , imaginemos que la variable s mide el tiempo y,
fijado un instante s [0, 1] consideremos el camino s : [a, b] definido por
s (t) = (t, s) (a 6 t 6 b)
La condicin (i) hace que nuestra notacin sea coherente, pues nos dice que para s = 0 y
s = 1 obtenemos efectivamente los caminos 0 y 1 dados previamente. Podemos entonces
pensar que el camino inicial 0 se modifica en el tiempo, y probablemente la curva que recorre
se ir deformando, de tal manera que en cada instante s tenemos el camino intermedio s y
en el instante final s = 1 obtenemos el camino 1 . Durante el proceso de deformacin, nunca
abandonamos el dominio , es decir, todos los caminos intermedios recorren curvas contenidas
en , ya que (t, s) para cualesquiera t [a, b] y s [0, 1]. Adems, la condicin (ii) nos
dice que todos los caminos intermedios s tienen su origen en el punto p y su extremo en q,
como por hiptesis les ocurra a los caminos inicial y final. La continuidad de la funcin en
sus dos variables nos asegura, por una parte, la continuidad de cada funcin s , que ya habamos
asumido al decir que s es un camino. Por otra parte, dicho de nuevo intuitivamente, el camino
s depende de manera continua de s, es decir, la deformacin de la que estamos hablando se
hace de manera continua.
En resumen, la existencia de la funcin con todas las condiciones requeridas significa

que el camino 0 puede modificarse de manera continua hasta convertirlo en 1 , sin salirnos del
abierto y teniendo todos los caminos intermedios su origen en el punto p y su extremo en el
punto q. Cuando este proceso puede llevarse a cabo para cualesquiera dos caminos en con
origen y extremo comunes, decimos que el dominio es simplemente conexo.
Nos interesa el caso particular en que el camino 0 es cerrado, es decir, p = q. Como 1
podemos tomar entonces un camino constante: 1 (t) = p para todo t [a, b]. Entonces la curva
recorrida por 1 se reduce al punto p y la funcin se interpreta como una deformacin
continua de la curva recorrida por 0 hasta dejarla reducida al punto p, con la condicin de que
todas las curvas intermedias estn contenidas en y sean recorridas por caminos cerrados con
origen y extremo en el punto p.
Conviene precisar que la definicin de los dominios simplemente conexos en R2 puede
hacerse literalmente como la hemos hecho en R3 , obteniendo una definicin equivalente a la que
dimos en su momento. De hecho, la definicin dada para R3 puede usarse en Rn para cualquier
dimensin n. Ocurre simplemente que, en el caso n = 2, disponamos de una caracterizacin
en trminos de curvas de Jordan que es muy sencilla e intuitiva.
Para ver algunos ejemplos en tres dimensiones, R3 es un dominio simplemente conexo y
lo mismo le ocurre a cualquier bola abierta o, de manera ms general, a cualquier dominio
R3 que sea convexo, es decir, tenga la propiedad de que el segmento que une cualesquiera
dos puntos de est contenido en . En tal caso, si 0 , 1 : [a, b] son caminos con origen
y extremo comunes, la funcin que realiza la deformacin de uno en otro puede definirse de
la siguiente forma
(t, s) = (1 s) 0 (t) + s 1 (t) (a 6 t 6 b , 0 6 s 6 1)
y es fcil comprobar que cumple todas las condiciones requeridas.
Por analoga con lo que ocurre en el plano, se podra pensar que un dominio simplemente
conexo en R3 no puede tener huecos, pero esta idea es errnea. Se puede probar, por ejemplo,
que el dominio = {x R3 : 1 < kxk < 2}, comprendido entre dos esferas, es simplemente
conexo.
Para obtener ejemplos de dominios en R3 que no son simplemente conexos, podemos seguir
la pista del dominio que apareci en (7). Ms concretamente si un dominio R2 no es
simplemente conexo y tomamos
e = {(x, y, z) R3 : (x, y) }

se puede comprobar que el dominio e R3 tampoco es simplemente conexo. Por ejemplo, si
es el anillo comprendido entre dos circunferencias concntricas,
e es la regin del espacio
comprendida entre dos cilindros coaxiales. Un dominio en forma de donut es otro ejemplo de
dominio en R3 que no es simplemente conexo.
Pues bien, podemos ya enunciar la siguiente consecuencia del Teorema de Stokes, que es
un resultado anlogo al que se obtuvo en el plano usando el Teorema de Green:
Corolario. Si un dominio R3 es simplemente conexo, todo campo vectorial de clase

C1 e irrotacional en es conservativo en .
Puede ser instructivo comentar la demostracin de este corolario, aunque admitiremos dos
hechos que no vamos a comprobar.
Sea pues R3 un dominio simplemente conexo y F un campo vectorial de clase C1 e
irrotacional en . Tomemos un camino cerrado : [a, b] , para demostrar que la integral de
lnea de F a lo largo de es cero. Como primer hecho que vamos a admitir sin demostracin,
podemos suponer que es de clase C2 , es decir, en el teorema de caracterizacin de los campos
conservativos, basta considerar caminos cerrados de clase C2 .
Puesto que es simplemente conexo, tenemos una funcin continua que deforma la
curva recorrida por hasta dejarla reducida al punto p = (a) = (b). La funcin est
definida en el rectngulo W = [a, b][0, 1] y admitimos tambin sin demostracin que podemos
conseguir que sea de clase C2 , para poder aplicar el Teorema de Stokes usando como
parametrizacin de la superficie (W ). Anotemos el resto de condiciones que cumple :
(i) (t, 0) = (t) y (t, 1) = p para a 6 t 6 b

(ii) (a, s) = (b, s) = p para 0 < s < 1
Como en casos anteriores, necesitamos un camino regular a trozos, cerrado y simple, que
recorra la frontera de W con orientacin positiva, as que tomamos = 1 2 3 4 , donde
1 (t) = (t, 0) , 3 (t) = (a + b t, 1) (a 6 t 6 b)

2 (t) = (b,t) , 4 (t) = (a, 1 t) (0 6 t 6 1)
Las condiciones (i) y (ii) que cumple la funcin nos dicen que 1 = mientras que,
para k = 2, 3, 4, el camino k es constante y, por tanto, la integral sobre l se anula. As
pues, al aplicar el Teorema de Stokes concluimos
Z Z Z ZZ
F . dl = F . dl = F . dl = rot F . ds = 0
1
9.7. Teorema de Gauss

Para poder enunciar este teorema en una forma suficientemente general, conviene concretar
previamente alguna idea. Vamos a trabajar con un dominio acotado R3 e intentamos dar
sentido a la integral de superficie de un campo vectorial sobre la frontera de . Pedirle a la
frontera que sea una superficie, como ocurre por ejemplo cuando es una bola abierta,
resulta demasiado restrictivo, podemos encontrarnos con aristas que impidan parametrizar
de manera suficientemente regular. Pinsese por ejemplo lo que ocurre cuando es un
cubo, la mitad de una bola abierta o la parte del interior de un cilindro comprendida entre dos
planos.
Debemos pues admitir que pueda ser una unin finita de superficies. Como integral de
superficie de un campo vectorial sobre , parece natural considerar la suma de las integrales
sobre las superficies que se unen, convenientemente orientadas. Para ello, aparte de decidir la
orientacin que vamos a usar, debemos cuidar la forma en que descomponemos como unin
de superficies.
Por poner un ejemplo muy trivial, al enumerar las superficies cuya unin es no debemos
repetir ninguna, pues entonces la integral sobre una misma superficie se sumara varias veces,
produciendo un resultado absurdo. Esta situacin es fcilmente evitable, pero tambin debemos
evitar algo no tan fcil de detectar, como que dos de las superficies que unimos tengan una
amplia parte comn, de forma que la integral sobre dicha parte tambin se sume ms de una
vez, de nuevo indebidamente.
Exigir que las superficies sean disjuntas es demasiado restrictivo, en los ejemplos comen-
tados anteriormente las superficies no son disjuntas, tienen precisamente aristas en comn.
Lo que debemos evitar es que las superficies se superpongan excesivamente. Esta idea puede
formularse como sigue.
Sean W1 = D1 1 y W2 = D2 2 dos recintos en el plano y 1 , 2 parametrizaciones
de sendas superficies S1 = 1 (W1 ) y S2 = 2 (W2 ). Diremos que 1 y 2 no se solapan, o de
manera ms intuitiva, que las superficies S1 y S2 no se solapan, cuando 1 (D1 ) 2 (D2 ) = 0.
/
Observemos que en tal caso S1 y S2 pueden no ser disjuntas, pero su interseccin S1 S2
est contenida en el conjunto 1 (1 ) 2 (2 ), un conjunto que podemos despreciar a efectos
de clculo de integrales de superficie. Para n > 2 diremos naturalmente que las superficies
S1 , S2 , . . . , Sn no se solapan cuando no lo hagan dos a dos, es decir, cuando S j y Sk no se
solapen para cualesquiera j, k = 1, 2, . . . , n con j 6= k. Podemos ya enunciar con comodidad el
Teorema de Gauss:
Teorema. Sea un dominio acotado en R3 cuya frontera pueda expresarse como una
unin
n
[
= Sk
k=1
donde S1 , S2 , . . . , Sn son superficies que no se solapan, admiten parametrizaciones simples y
suaves, y son orientables, por lo que las consideramos todas ellas orientadas mediante la nor-
mal exterior a . Entonces, si F es un campo vectorial de clase C1 en un abierto de R3 que
contenga a se verifica que
ZZZ n ZZ
(div F) dx dy dz = F . ds
k=1 Sk
Si se quiere, la suma de integrales que aparece en el segundo miembro puede entenderse,

siempre que se cumplan todas las hiptesis del teorema, como la integral de superficie del campo
F sobre . La Frmula de Gauss-Ostrogradsky queda entonces como sigue
ZZZ ZZ
(div F) dx dy dz = F . ds

9.8. Ejemplo
Como aplicacin del Teorema de Gauss, calculemos el flujo saliente del campo
F(x, y, z) = (x3 + 2yz) i + (y3 2xz) j + (x2 + y2 ) k (x, y, z R)
a travs de la mitad superior (z > 0) del elipsoide de ecuacin 4x2 + 4y2 + z2 = 4.
Consideremos el dominio acotado
= {(x, y, z) R3 : 4x2 + 4y2 + z2 < 4 , z > 0}
cuya frontera se expresa en la forma = S T donde
S = {(x, y, z) R3 : 4x2 + 4y2 + z2 = 4 , z > 0} y T = {(x, y, 0) R3 : x2 + y2 6 1}
Claro est que S es la superficie a travs de la cual queremos calcular el flujo del campo.
Por tratarse del flujo saliente, orientamos S mediante la normal exterior a lo que concuerda
con lo que exige el Teorema de Gauss. Por otra parte, T es una superficie en forma explcita
que podemos ver como T = (W ) donde
W = {(x, y) R2 : x2 + y2 6 1} , (x, y) = (x, y, 0) (x, y) W

El vector normal x y es constantemente igual a k, luego define la orientacin opuesta

a la que exige el Teorema de Gauss. El resto de las hiptesis se comprueban sin dificultad.
Por ejemplo, el hecho de que S y T no se solapan se debe a que el interior del recinto W
viene dado por D = {(x, y) R2 : x2 + y2 < 1}, y es evidente que (D) S = 0,
/ luego ninguna
parametrizacin de S puede solaparse con .
As pues, el Teorema de Gauss, teniendo en cuenta la orientacin de la superficie T , nos
permite escribir ZZZ ZZ ZZ
(div F) dx dy dz = F . ds F . ds
S T
Puesto que div F(x, y, z) = 3(x2 + y2 ) para cualesquiera x, y, z R, usando coordenadas

cilndricas tenemos
ZZZ Z 1 Z 212 Z 1 q
3
(div F) dx dy dz = 6 dz d = 12 3 1 2 d
0 0 0
Para la ltima integral puede usarse el cambio u = 1 2 , obteniendo

" #=1
Z 1 q
1 2(1 2 )3/2 2(1 2 )5/2 2
3 1 2 d = =
0 2 3 5 15
=0
con lo cual
8
ZZZ
(div F) dx dy dz =
5
Por otra parte, para la integral sobre la superficie T tenemos
ZZ ZZ
ZZ Z Z 1
(x2 + y2 ) dx dy = 3 d d =

F . ds = F(x, y, 0) k dx dy =
T W W 0 2
y obtenemos finalmente el flujo buscado
8 21
ZZ
F . ds = + =
S 5 2 10

Apuntes de Fundamentos Matemáticos (Univ de Granada)

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Apuntes de Fundamentos Matemáticos (Univ de Granada)

Uploaded by

Copyright:

Available Formats

Apuntes de Fundamentos

Rafael Pay Albert

1.1. El espacio vectorial Rn

Nos interesan los casos n = 2 y n = 3:

Recordamos que Rn tiene estructura de espacio vectorial con las operaciones:

Suma: (x1 , x2 , . . . , xn ) + (y1 , y2 , . . . , yn ) = (x1 + y1 , x2 + y2 , . . . , xn + yn )

Producto por escalares: (x1 , x2 , . . . , xn ) = ( x1 , x2 , . . . , xn )

La base standard de Rn est formada por los vectores:

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

En R2 : i = (1, 0) , j = (0, 1) , (x, y) = x i + y j

En R3 : i = (1, 0, 0) , j = (0, 1, 0) , k = (0, 0, 1) , (x, y, z) = x i + y j + z k

1.2. Producto escalar y norma eucldea

Para n = 2: (x, y).(u, v) = hx i + y j | u i + v ji = x u + y v

Propiedades del producto escalar. Las dos principales son:

Definicin de la norma eucldea. Para x = (x1 , x2 , . . . , xn ) Rn se define:

Es claro que kxk > 0, y que kxk = 0 x = 0.

Desigualdad de Cauchy-Schwartz. Para x , y Rn se tiene:

Proyeccin Ortogonal. Dados dos vectores x, y Rn con y 6= 0, la proyeccin ortogonal

1.4. Producto vectorial en R3

1.5. Rectas en el plano

Equivalentemente: A x + B y + C = 0 donde C = (Ax0 + By0 ).

1.6. Planos en el espacio

Equivalentemente: A x + B y + C z + D = 0 donde D = (Ax0 + By0 +Cz0 ).

Distancia de un punto a un plano. La distancia del punto (x1 , y1 , z1 ) al plano de ecuacin

1.7. Rectas en el espacio

Equivalencia entre ambas. En (9) se exige que (x x0 , y y0 , z z0 ) sea ortogonal a los

2.1. Gradiente de un campo escalar

donde {e1 , e2 , . . . , en } es la base standard de Rn . Entonces, el gradiente de f en el punto a es,

Si el campo f es diferenciable en todos los puntos de tendremos una funcin f : Rn

una igualdad entre funciones, vlida en todo punto de .

Cuando f sea diferenciable en un abierto R2 podremos escribir

Gradiente en el espacio. Anlogamente, si (x, y, z) 7 f (x, y, z) es un campo escalar en el

y cuando f sea diferenciable en un abierto R3 podremos escribir

Derivadas direccionales. Consideremos de nuevo un campo escalar f definido en un abier-

y mide la rapidez de variacin de f al desplazarnos desde el punto a en la direccin del vector

2.2. Campos vectoriales

o, abreviadamente: F = (P, Q) = P i + Q j (en ).

Las componentes de un campo vectorial (x, y, z) 7 F(x, y, z), definido en R3 y con

o, abreviadamente: F = (P, Q, R) = P i + Q j + R k. (en )

2.3. Divergencia de un campo vectorial

Cuando el campo vectorial F es diferenciable en todo punto de tenemos una funcin

Cuando F sea diferenciable en un abierto R2 podremos escribir

Anlogamente, si F = P i + Q j + R k es un campo vectorial en el espacio, diferenciable

y cuando F sea diferenciable en un abierto R3 podremos escribir

y manejar como si se tratase de un vector de Rn .

Por ejemplo, si f es un campo escalar definido en un abierto Rn y diferenciable en

Cuando f es diferenciable en todo punto de podemos hacer el mismo clculo simblico

Si ahora F = (F1 , F2 , , Fn ) es un campo vectorial definido en el abierto y diferenciable

2.4. Rotacional de un campo vectorial

Cuando F sea diferenciable en todo el abierto podremos escribir:

Si F es diferenciable en un punto (x0 , y0 ) deducimos que F es diferenciable en cualquier punto

2.5. Algunas observaciones adicionales

Si f es un campo escalar diferenciable en un abierto Rn , entonces su gradiente

Dado un campo vectorial F que sea diferenciable en un abierto Rn , su divergencia

Cada campo vectorial F que sea diferenciable en un abierto R3 da lugar a rot F,

Finalmente, un campo vectorial F que sea diferenciable en un abierto R2 define un

3.1. Caminos y curvas en Rn

y diremos que sus ecuaciones paramtricas son:

Por ejemplo, para (x0 , y0 ) R2 y 0 > 0, las ecuaciones paramtricas

definen un camino cerrado que recorre la circunferencia de centro (x0 , y0 ) y radio 0 .

3.2. Caminos regulares, vector tangente

y las ecuaciones implcitas sern

(t) = x(t), y(t) (a 6 t 6 b) ; (t0 ) = (x0 , y0 ) ; 0 (t0 ) = (x 0 (t0 ), y 0 (t0 )

y las ecuaciones de la recta tangente sern