Por ejemplo, usando las frmulas de las coordenadas esfricas (14.

50), entonces
y sen sen
,
,
x sen cos
z cos
Se puede demostrar (vase el Ejercicio 27) que
x, y , z
2 sen
, ,
Por lo tanto (17.33) toma la forma

F x, y, z dxdydz G , ,
R

senddd

Esto concuerda con la frmula (17.28) que se obtuvo intuitivamente.

Esta seccin termina con un problema aplicado que requiere un cambio de variable en una integral
doble.
Ejemplo 6 El fondo de muchos lagos tiene la forma de una senoide (o sinusoide) elptica.
Supongamos que la frontera de un lago es la elipse
y sea
la profundidad
y2
hM
x2
2
2 1
a
b

mxima del agua. Entonces puede suponerse que el fondo del lago tiene la forma de la grfica de la
senoide elptica dada por
x2 y2

f ( x, y ) hM cos

2 a2 b2

para

1
x2

y2

a2

(vase la Figura 17.78). Calcular el volumen V y la profundidad media

b2

hMED

del agua del lago.

Solucin Si R es la regin elptica correspondiente a la superficie del lago (vase la Figura
17.79(i)), entonces
x2 y2
dA
V
f x, y dA hM cos

2 a2 b2
R
R

La forma del integrando sugiere hacer la sustitucin

x au

y bv
( x,y)

En este caspo el jacobiano es

u2 v2 1

ab
y la regin S correspondiente a R es el crculo

(vase la Figura 17.79(ii)). Aplicando el Teorema (17.31),

u 2 v 2 dudv
2

V abhM cos
S

(u,v)

Podemos evaluar esta integral usando sustitucin por coordenadas polares

,
. Esto da

u r cos v rsen

2 1
V abhM 0 0 cos r rdrd
2

Integrando por partes o usando la Frmula 83 de la Tabla de Integrales,

1

2

2 4
V abhM 0 2 cos r r sen r d
2
2 0

2

2 4
2 2 1.4535 abhM

abhM 0

Esta frmula puede usarse para estimar el volumen del agua de un lago a
partir de las tres medidas a, b, hM.
Podemos demostrar que el rea de la regin elptica R es ab. Aplicando una
definicin para integrales anloga a la Definicin (5.21), obtenemos la
profundidad media:
1
hmed
f ( x, y ) dA
ab R
hmed
y opr lo tanto

1
(1.4535 )abhM 0.4627 hM
ab

.
hmed

Un estudio de 107 lagos en todo el mundo dio un valor medio para

0.467.

hM

de

Clculo vectorial
En este captulo se presentan primero los campos vectoriales y se define la integral de lnea.
Luego se consideran los teoremas de evaluacin y se determinan condiciones para la independencia
de la trayectoria. Despus se demuestra el Teorema de Green para las regiones planas elementales.
Este importante resultado proporciona una conexin entre las integrales de lnea y las integrales
dobles. Tambin se investigan la divergencia y el rotacional de un campo vectorial y se presentan
dos de los teoremas ms importantes del Clculo vectorial: el Teorema de la Divergencia y el
Teorema de Stokes.
Campos vectoriales
Si a cada punto
de una regin se asocia un vector nico con punto inicial
, entonces el
K
K
conjunto de tales vectores se llama campo vectorial. La figura 18.1 ilustra un campo vectorial
determinado por una rueda que gira alrededor de un eje. A cada campo vectorial de la rueda le
corresponde un vector velocidad. Un campo vectorial de este tipo es un campo de velocidad (o de
velocidades). Tambin un flujo de agua o una corriente de aire pueden determinar campos de
velocidad. La Figura 18.2 muestra vectores velocidad asociados a las partculas de agua que se
mueven en un ro. Los croquis de este tipo muestran solamente unos cuantos elementos del campo
vectorial. Hay que recordar que todo punto de la regin tiene un vector asociado a l.
Otro tipo muy comn de campos vectoriales es el campo de fuerza, (o de fuerzas), que se utiliza
mucho en el estudio de la mecnica y de la electricidad. Las ilustraciones se han limitado al caso en
el que los vectores son independientes del tiempo. Estos campos vectoriales estacionarios son los
nicos que se considerarn en este captulo.
Dado un campo vectorial, se supone que hay un sistema de coordenadas rectangulares y el vector
asociado al punto
se denota por
(vase la Figura 18.3). Como las componentes
K ( x, y , z )
F ( x, y , z )
del vector

F ( x, y , z )

dependen de las coordenadas de

, se puede escribir

F ( x , y , z ) M ( x , y , z ) i N ( x, y , z ) j P ( x , y , z ) k
donde

,
y son funciones escalares de tres variables. Inversamente, toda ecuacin de esta
M N
P

forma determina un campo vectorial. Entonces, puede considerarse que un campo vectorial es una
funcin
como la de la siguiente definicin:
N
DEFINICIN 18.1 Un campo vectorial en tres dimensiones es una funcin
es un subconjunto de
entonces
donde

, y cuyo contradominio es un conjunto

V3

. Si

cuyo dominio

( x, y , z )

est en

D
D

F ( x, y , z ) M ( x, y , z )i N ( x, y , z ) j P( x, y , z )k

,
y
son funciones escalares de tres variables, y cuyo contradominio constituye un
M N
P

subconjunto de

V3

. Si

( x, y , z )

est en

, entonces.

Si el dominio

es una regin en el plano

xy

y si el contradominio es un subconjunto de

la Figura 18.4), entonces se obtiene el caso de especial de (18.1) de un campo vectorial

V2

(vase
en dos

dimensiones, que es una funcin dada por

F ( x, y ) M ( x, y )i N ( x, y ) j
donde

son funciones escalares de dos variables.

Si las funciones escalares M, N y P se definen por medio de expresiones simples, entonces el campo
vectorial puede describirse trazando vectores correspondientes a
o a
. Esto se
F ( x, y , z )
F ( x, y )
ilustra en el siguiente ejemplo.

F( x, y, z ) yi xj

Ejemplo 1 Realizar la descripcin del campo vectorial

dado por

F ( x, y )

Solucin La siguiente tabla muestra los vectores

en la figura 18.5

(x, y)

asociados a varios puntos

F(x, y)

(x, y)

(1,1)
i + j
(1,1)
i j
(1, 1)
ij
(1, 1) i + j

( x, y )

sealados

F(x, y)

(1,3)
(3, 1)
(1, 3)
(3, 1)

3i + j
i 3j
3i j
i + 3j

Los vectores son semejantes a los asociados a la rueda giratoria de la figura 18.1.
Para llegar a una descripcin de un campo vectorial
se considera un punto arbitrario
y
K ( x, y )
F
se define el vector de posicin
Se ve que

F ( x, y )

r F( x, y ) xi yj yi xj

de

K ( x, y )

(vase la figura 18.6)

es ortogonal a r y por lo tanto, es tangente a la circunferencia de radio

centro en el origen. Este hecho puede demostrarse probando que

r F ( x, y ) 0

r F ( x, y ) xi yj yi xj
xy xy 0
Adems,
F ( x, y )

y 2 x2 r

, como sigue:

con

Por lo tanto, la magnitud de

el punto

K ( x, y )

F ( x, y )

es igual al radio de la circunferencia. Esto implica que cuando

se aleja del origen, la magnitud de

F ( x, y )

aumenta como sucede en el caso de la

rueda giratoria de la figura 18.1.

La siguiente definicin presenta uno de los campos vectoriales ms importantes de la fsica.
DEFINICIN (18.2)
Sea
el vector de posicin de un punto
. Se dice que un campo vectorial
r xi yj zk
K ( x, y , z )

es un campo de variacin inversa al cuadrado de la distancia si

F ( x, y , z )
Ejemplo 2 Describir el campo
Solucin Como

1
u r
r

F ( x, y , z )

c
r

que cumple la definicin (18.2) para

c0

r xi yj zk

F ( x, y , z )

c
r

c
2

y2 z2

( xi yj zk )

Podemos escribir la ltima expresin en la forma (18.1). Sin embargo, es ms fcil analizar los
vectores del campo usando la expresin en trminos de r. Como
es un mltiplo escalar
F ( x, y , z )
negativo de

, la direccin de

F ( x, y , z )

Y por lo tanto, la magnitud de

del punto

( x, y , z )

es hacia el origen O. Adems,

F ( x, y , z )

es inversamente proporcional al cuadrado de la distancia

al origen O. Esto significa que cuando el punto

longitud del vector asociado

tpicos de un campo

F ( x, y , z )

K ( x, y , z )

se aleja del origen, la

disminuye. En la figura 18.7 se indican algunos vectores

del tipo de variacin inversa al cuadrado.

La fuerza de la gravedad determinada un campo de tipo de variacin inversa al cual cuadrado.

Segn la ley de la gravitacin universal de newton, si una partcula de masa
se coloca en el
M

origen de un sistema de coordenadas rectangulares, entonces la fuerza que ejerce sobre una
partcula de masa m localizada en
es
K ( x, y , z )
Donde

r r

es la constante de la gravitacin universal,

es el vector de posicin del punto

Tambin en la teora de la electricidad aparecen los campos de tipo de variacin inversa al

cuadrado. La ley de Coulomb afirma que si una carga elctrica puntual Q (en coulombs) se
encuentra en el origen, entonces la fuerza
que ejerce sobre otra carga puntual q (en
F ( x, y , z )
coulombs) localizada en

K ( x, y , z )

es

F ( x, y , z ) c

Qq
r

Donde c es una constante; r y u son lo mismo que en la definicin (18.2). Obsrvese que la ley de
Coulomb tiene la misma forma que la ley de la gravitacin universal de Newton.
Si
, entonces (vase (16.29)) el gradiente
de
es el campo vectorial dado por
w
w
w f ( x, y , z )
w f x x, y , z i f y x, y , z j f z x, y , z k

Segn el Teorema (16.34), la direccin del vector

en cualquier punto

K ( x, y , z )

es normal a la

superficie de nivel S de f que para por K(vase la figura 18.8). Adems, la magnitud de

es igual

a la tasa o razn mxima de variacin de f en el punto K. Estos hechos son de especial importancia
cuando w es la temperatura (o el potencial) en
.
K ( x, y , z )
En tal caso la direccin en que la razn de cambio de la temperatura (o del potencial) es mxima, es
normal a la superficie isotrmica (o equipotencial) que contiene a K.
DEFINICIN (18.3) Se dice que un campo vectorial F es un campo vectorial conservativo si es
el gradiente de una funcin escalar, es decir si
F ( x , y , z ) f ( x , y , z )
Para una funcin f.
Si F es conservativo, entonces la funcin f de la Definicin (18.3) es una funcin de potencial para
f ( x, y , z )
F, y
se llama potencial en el punto
.
K ( x, y , z )

TEOREMA (18.4) Todo campo vectorial del tipo de variacin inversa al cuadrado (o de tipo
gravitacional) es conservativo.
Demostracin si F es un campo de tipo gravitacional, entonces como en la solucin del ejemplo 2,
cx
cy
cz
F ( x, y , z )
3 i
3 j
3 k
x2 y2 z 2 2
x2 y 2 z 2 2
x2 y 2 z 2 2

Para alguna constante c. Segn la definicin (18.3), si F es conservativo, existe una funcin escalar
f tal que F(x,y,z) = f(x,y,z), y las componentes de F son iguales a f(x,y,z), f(x,y,z) y f(x,y,z),
respectivamente. Integrando parcialmente estos componentes con respecto a x,y y z.
respectivamente, se ve que
c
f ( x, y , z )
1
2
x y2 z2 2

Calculando las derivadas parciales se demuestra que esta funcin f es lo que se buscaba. Por tanto se
tiene lo siguiente:
donde
1
2
2
2 2
c
r

z
F ( x, y, z ) f ( x, y, z )

En la fsica, la funcin de potencial de un campo vectorial conservativo F se define como una

funcin p tal que
. En este caso, tomando
en la demostracin del
F( x, y, z ) f ( x, y , z )
pf
Teorema (18.4), se obtiene

F( x, y, z ) ( c r )

. Ms adelante en el captulo se estudiaran ms a

fondo los campos vectoriales conservativos.

El operador diferencial vectorial
en tres dimensiones es*

i
Segn (16.29), si

j k
x
y
z

acta sobre una funcin escalar f, da como resultado el gradiente de f:

grad f f

A continuacin se usar

i j k
x
y
z

como un operador sobre un campo vectorial para definir otro campo

vectorial, el rotacional de F, que se denota por rot F, o por

Sea F una funcin vectorial en tres dimensiones dada por

F ( x, y , z ) M ( x, y , z )i N ( x, y , z ) j P( x, y , z )k
Donde M, N y P tienen derivadas parciales en alguna regin. El rotacional de F est dado por

 P N
N M
M P
i
k

j
x
y
z
y z
x

rot F F

Se usar el smbolo rot F o bien

para denotar el vector

F ( x, y , z )

, asociado a

( x, y , z )

. La

frmula para rot F se puede considerar como el desarrollo de un determinante (con respecto al
primer rengln).
i
j
k

rot F F
x y z
M N P
rot F como un determinante
Integrando por partes o usando la formula 83 de la tabla de integrales,
V = abh
= abh
= abh
Esta formula puede usarse para estimar el volumen del agua de un lago a partir de las tres medidas
a, b y hm.
Podemos demostrar que el rea de la regin elptica R es