Integrales de lnea y superficie

Integral de lnea
Es en la que se integra sobre una curva C suave a trozos
Curvas suaves a trozos
Una propiedad clsica de los campos gravitatorios es que, sujeto a ciertas restricciones
fsicas, el trabajo realizado por la gravedad sobre un objeto que se mueve entre dos
puntos en el campo es independiente de la trayectoria que siga el objeto. Una de las
restricciones es que la trayectoria debe ser una curva suave a trozos. Recurdese que
una curva plana C dada por

r ( t ) =x ( t ) i+ y ( t ) j , a t b

dx
dt

es suave si

dy
dt

son

continuas en [a,b] y no simultneamente 0 en (a,b). similarmente una curva C en el

espacio dada por

r ( t ) =x ( t ) i+ y ( t ) j+ z ( t ) k , a t b

es suave si

dx
dt

dy
dt

dz
dt

son

continuas en [a,b] y no simultneamente 0 en (a,b). Una curva C es suave a trozos si el

intervalo [a,b] puede dividirse en un numero finito de subintervalos, en cada uno de los
cuales C es suave.
Recurdese que la parametrizacin de una curva induce una orientacin de la curva.

Integral de linea
(Figura 15.8) Considrese la masa de un cable de longitud finita, dado por una curva C
en el espacio. La densidad del cable en el punto (x,y,z) est dada por f(x,y,z). Divdase
la curva C mediante los puntos P0,P1,,Pn produciendo n subarcos. La longitud del isimo subarco est dada por si. A continuacin, se elige un punto (xi,yi,zi) en cada
subarco. Si la longitud de cada subarco es pequea, la masa total del cable puede ser
aproximada por la suma
n

Masa de cable= f (x i , y i , zi ) s i
i=1

Si |||| denota la longitud del subarco ms largo y se hace que |||| se aproxime a 0,
parece razonable que el lmite de esta suma se aproxime a la masa del cable.
Si f est definida en una regin que contiene una curva suave C de longitud finita,
entonces l integral de lnea de f a lo largo de C eta dada por

i=1

f ( x , y ) ds=lim
f (x i , y i ) si
0

i=1

f ( x , y , z ) ds=lim
f ( x i , y i , zi ) s i
0
Siempre que el lmite exista

plano

Espacio

Para evaluar una integral de lnea es til convertirla en una integral definida. Puede
demostrarse que, si f es continua, el lmite existe y es el mismo para todas las
parametrizaciones suaves de C.
Para evaluar una integral de lnea sobre una curva plana C dada por r(t), se utiliza el
hecho de que ds=||r(t)||dt
Sea f continua en una regin que contiene una curva suave C. Si C est dada por

r ( t ) =x ( t ) i + y ( t ) j donde

a t b , entonces

f ( x , y ) ds= f ( x( t), y (t )) [x ' ( t ) ]2 +[ y ' ( t ) ]2 dt

Si C est dada por

r ( t ) =x ( t ) i+ y ( t ) j+ z ( t ) k donde

a t b , entonces

f ( x , y , z ) ds= f ( x ( t ) , y ( t ) , z (t)) [ x ' ( t ) ]2+[ y ' ( t ) ]2+[ z ' ( t )]2 dt

Obsrvese que si f(x,y,z)=1, la integral de lnea proporciona la longitud de arco de la
curva C

1 ds=r ' (t)dt

El valor de la integral de lnea no depende de la parametrizacin del segmento de recta
C, con cualquier parametrizacin suave se obtendr el mismo valor.
Supngase que C es una trayectoria compuesta de las curvas suaves C1, C2, , Cn. Si
f es continua en C, se puede mostrar que

C1

C2

Cn

f ( x , y , z , ,n ) ds= f ( x , y , z , , n ) ds+ f ( x , y , z , ,n ) ds ++ f ( x , y , z , , n ) ds
Integrales de lnea de campos vectoriales
Una de las aplicaciones fsicas ms importantes de las integrales de lnea es la de hallar
el trabajo realizado sobre un objeto que se mueve en un campo de fuerzas.
Para ver cmo puede utilizarse una integral de lnea para hallar el trabajo realizado en
un campo de fuerzas F, considrese un objeto que se mueve a lo largo de una
trayectoria C en el campo (Figura 15.13). Para determinar el trabajo realizado por la
fuerza solo se necesita considerar aquella parte de la fuerza que acta en la direccin
que se mueve el objeto (o en la direccin contraria). Esto significa que, en cada punto
de C, se puede considerar la proyeccin FT del vector fuerza F sobre el vector unitario
tangente T. En un subarco pequeo de longitud si, el incremento de trabajo es

W i =( fuerza ) ( disancia ) [F ( x i , y i , z i ) T ( x i , yi , z i) ] s i

donde

( xi , yi , zi )

es un punto en el

subarco i-simo. Por consiguiente, el trabajo total realizado esta dado por la integral

W = F ( x , y , z) T ( , y , z ) ds
C

Esta integral de lnea es la base de la definicin de integral de lnea de un campo

vectorial
Sea F un campo vectorial continuo definido sobre una curva suave C dada por r(t),

a t b . La integral de line de F sobre C est dada por

b
'

F Tds= F (x ( t ) , y ( t ) , z ( t ) ) r ( t ) dt
a

F dr =
F Tds=F

Obsrvese que

r' ( t )

r ' ( t ) dt =F r ' ( t ) dt =F dr
r ( t )
'

En integrales de lnea de funciones vectoriales, la orientacin de la curva C es

importante. Si la orientacin de la curva se invierte, el vector tangente unitario T(t)
cambia a -T(t), y se obtiene

F dr = F dr
Aunque el valor de la integral de lnea depende de la orientacin de C, no depende de
la parametrizacin de C

Integrales de lnea en forma diferencial

Si F es un campo vectorial de la forma F(x,y)=Mi+Nj y C est dada por

r ( t ) =x ( t ) i + y ( t ) j , entonces Fdr se escribe a menudo como Mdx+Ndy

dx
dy
( M + N ) dt= (Mdx+ Ndy)
dt
dt
C

F dr = F

dr
dt= ( Mi+ Nj ) ( x ' ( t ) i+ y ( t ) j ) dt=
dt
a
a

Esta forma diferencial puede extenderse a tres variables. Los parntesis se omiten a
menudo, y se escribe

Mdx+ Ndy y Mdx+ Ndy+ Pdz

La orientacin de C afecta el valor de la forma diferencial de una integral de lnea.
Especficamente, si -C tiene orientacin opuesta a C, entonces

Mdx+ Ndy= Mdx+ Ndy

En curvas representadas por y=g(x),

a x b , se puede hacer x=t y obtener la forma

paramtrica.

Teorema fundamental de las integrales de lnea

Sea C una curva suave a trozos contenida en una regin abierta R y dada por

r ( t ) =x ( t ) i+ y ( t ) j , a t b
Si F(x,y)=Mi+Nj es conservativo en R, y M y N son continuas en R, entonces,

F dr = f dr =f ( x ( b ) , y ( b )) f ( x ( a ) , y ( a ) )
En el espacio, el teorema fundamental de las integrales de lnea adopta la forma
siguiente. Sea C una curva suave a trozos contenida en una regin abierta Q y dada por

r ( t ) =x ( t ) i+ y ( t ) j + z (t) , a t b
Si F(x,y,z)=Mi+Nj+Pk es conservativo y M, N y P son continuas, entonces

F dr = f dr =f ( x ( b ) , y ( b ) , z (b))f ( x ( a ) , y ( a ) , z(a) )
Donde f es una funcin potencial de F.
El teorema fundamental de las integrales de lnea establece que, si el campo vectorial F
es conservativo, entonces la integral de lnea entre dos puntos cualesquiera es
simplemente la diferencia entre los valores de la funcin potencial f en estos puntos.
Es importante notar que el valor de la integral de lnea es el mismo para cualquier
curva suave C que tenga los puntos inicial y final dados

Independencia de la trayectoria
Por el teorema fundamental de las integrales de lnea es evidente que, si F es continuo

y conservativo en una regin abierta R, el valor de

F dr
C

es el mismo para toda

curva suave a trozos C que vaya de un punto fijo de R a otro punto fijo de R. esto se

describe diciendo que la integral de lnea

F dr
C

es independiente de la trayectoria

en la regin R
(Figura 15.22) Una regin en el plano (o en el espacio) es conexa si cada dos puntos en
la regin pueden ser unidos por una curva suave a trozos que se encuentre

completamente dentro de la regin. En regiones abiertas y conexas, la independencia

F dr

de la trayectoria de

es equivalente a la condicin de que F sea conservativo.

Una curva C dada por r(t) para

at b

es cerrada si r(a)=r(b). por el teorema

fundamental de las integrales de lnea, se puede concluir que, si F es continuo y

conservativo en una regin abierta R, entonces la integral de lnea sobre toda curva
cerrada C es 0.
Condiciones equivalentes
Sea F(x,y,z)=Mi+Nj+Pk con primeras derivadas parciales continuas en una regio abierta
conexa R, y sea C una curva suave a trozos en R. Las condiciones siguientes son
equivalentes

F es conservativo

F dr

F dr =0

es independiente de la trayectoria

para toda curva cerrada C en R

Teorema de Green
Este teorema establece que el valor de una integral doble sobre una regin
simplemente conexa R est determinado por el valor de una integral de lnea a lo largo
de la frontera de R
Una curva C dada por r(t)=x(t)i+y(t)j, donde atb, es simple si no se corta a si misma,
es decir, r(c)r(d) para todo c y d en el intervalo abierto (a,b). una regin plana R es
simplemente conexa si cada curva cerrada simple en R encierra solo puntos que estn
en R (Figura 15.26)
Sea R una regin simplemente conexa cuya frontera es una curva C suave a trozos,
orientada en sentido contrario a las manecillas del reloj (es decir, C se recorre una vez
de manera que la regin R siempre quede a la izquierda). Si M y N tienen derivadas
parciales continuas en una regin abierta que contiene a R, entonces

Mdx+ Ndy= (

N M

)dA
x y

El teorema de Green no se puede aplicar a toda integral de lnea. La curva C debe de

ser simple y cerrada.
Al evaluar integrales de lnea sobre curvas cerradas, recurdese que en campos
vectoriales conservativos (campos en los que
lnea es 0.

N M
=
x y ), el valor de la integral de

Tambin se puede utilizar el teorema para evaluar integrales dobles como integrales de
lnea.
Si R es una regin plana limitada o acotada por una curva simple C, cerrada y suave a
trozos, orientada en sentido contrario a las manecillas del reloj, entonces el rea de R
est dada por

1
A= xdy ydx
2C
El teorema de Green puede extenderse para cubrir algunas regiones que no son
simplemente conexas.
Sea F(x,y)=Mi+Nj definido en un disco abierto R. Se quiere demostrar que si M y N
tienen

primeras

derivadas

parciales

continuas

N M
=
x y

entonces

es

conservativo. Supngase que C es una trayectoria cerrada que forma la frontera de una
regin conexa contenida en R. Entonces, usando el hecho de que

N M
=
x y , se

puede aplicar el teorema de Green para concluir que

F dr = Mdx+ Ndy= ( Nx My ) dA=0

Esto es, a su vez, equivalente a mostrar que F es conservativo

Formas alternativas del teorema de Green

Si F es un campo vectorial en el plano, se puede escribir F(x,y,z)=Mi+Nj+0K por lo que
el rotacional de F est dado por

rot F= F=
x
M

y
N

k
N M
N M
=
i+
j+

z
x y
z
0

Por consiguiente,

( rot F ) k =

)]

N M
N M
N M
i+
j+

k k=

z
z
x y
x y

Con condiciones apropiadas sobre F, C y R, se puede escribir el teorema de Green en

forma vectorial

F dr = ( Nx My )dA= ( rot F ) kdA Primera forma alternativa

C
R
R

La extensin de esta forma vectorial del teorema de Green a superficies en el espacio

da lugar al teorema de Stokes.
Para la segunda forma vectorial del teorema de Green, supngase las mismas
condiciones sobre F, C y R. Utilizando el parmetro de longitud de arco s para C, se
tiene r(s)=x(s)i+y(s)j. Por tanto, un vector unitario tangente T a la curva C esta dado
por r(s)=T=x(s)i+y(s)j. (Figura 15.34) el vector unitario normal exterior N puede
escribirse como N=y(s)i+x(s)j
Por consiguiente, a F(x,y)=Mi+Nj se le puede aplicar el teorema de Green para obtener

dx
N M
+ N )ds= MdyNdx= Ndx+ Mdy= (

)d
F Nds= (Mi+ Nj) ( y ( s ) ix ( s ) j ) ds= (M dy
ds
ds
x y
C
a
a
C
C
R
'

'

Por consiguiente,

F Nds= F dA Segunda forma alternativa

La generalizacin de esta forma a tres dimensiones se llama teorema de la divergencia.

Integrales de superficie
(Figura 15.44) Sea S una superficie dada por z=g(x,y) y sea R su proyeccin sobre el
plano xy. Supngase que g, gx y gy son continuas en todos los puntos de R y que f est
definida en S. Empleando el procedimiento usado para hallar el rea de una superficie,
se evala f en (xi,yi,zi) y se forma la suma
n

f ( xi , y i , z i ) S i
i=i

Donde
cuando

Si 1+[g x ( xi , y i ) ] +[ g y ( x i , y i ) ] Ai . Siempre que el lmite de la suma anterior

|| tiende a 0 exista, la integral de superficie de f sobre S se define como

n

f ( x i , y i , zi ) Si
||0

f ( x , y , z )= lim

i=i

Esta integral se puede evaluar mediante una integral doble.

Sea S una superficie cuya ecuacin es z=g(x,y) y sea R su proyeccin sobre el plano xy.
Si g, gx y gy son continuas en R y f es continua en S, entonces la integral de superficie
de f sobre S es

f ( x , y , z ) dS= f ( x , y , g ( x , y ) ) 1+[ g x ( x , y ) ]2 +[g y ( x , y ) ]2 dA

Para superficies descritas por funciones de x y z o de y y z, se pueden hacer los

siguientes ajustes a la integral anterior.
Si S es la grfica de y=g(x,z) y R es su proyeccin sobre el plano xz, entonces

f ( x , y , z ) dS= f ( x , g (x , z) , z) 1+[g x ( x , z )]2+[g z ( x , z ) ]2 dA

Si S es la grfica de x=g(y,z) y R es su proyeccin sobre el plano yz, entonces

f ( x , y , z ) dS= f ( g ( y , z ) , y , z ) 1+[ g y ( y , z ) ]2 +[ g z ( y , z ) ]2 dA
Si

f ( x , y , z )=1 , la integral de superficie sobre S da el rea de la superficie de S.

Area de la superficie= 1 dS
S

Por otro lado, si S es una lmina de densidad variable y (x,y,z) es la densidad en el

punto (x,y,z), entonces la masa de la lmina est dada por

Masa de la lamnia= (x , y , z)dS

S

Superficies paramtricas
Para representar una curva en el plano o en el espacio hacemos uso de un conjunto de
ecuaciones paramtricas o, equivalentemente, por una funcin vectorial
r(t)=x(t)i+y(t)j
Curva en el plano
r(t)=x(t)i+y(t)j+z(t)k
Curva en el espacio
Obsrvese que, en el caso de las curvas, la funcin vectorial r es una funcin de un solo
parmetro t. en el caso de las superficies, la funcin vectorial es una funcin de dos
parmetros u y v.
Sean x, y y z funciones de u y v, continuas en un dominio D del plano uv. Al conjunto de
puntos (x,y,z) dado por r(u,v)=x(u,v)i+y(u,v)j+z(u,v)k se le llama superficie
paramtrica. Las ecuaciones x=x(u,v), y=y(u,v) y z=z(u,v) son las ecuaciones
paramtricas para la superficie
(Figura 15.35) Si S es una superficie paramtrica dada por la funcin vectorial r,
entonces S es trazada por el vector de posicin r(u,v) a medida que el punto (u,v) se
mueve por el dominio D.
Como ocurre con las representaciones paramtricas de curvas, las representaciones
paramtricas de superficies no son nicas, es decir, hay muchos conjuntos de
ecuaciones paramtricas que podran usarse para representar la superficie
Ecuaciones paramtricas para superficies
El problema inverso, el de asignar un conjunto de ecuaciones paramtricas a una
superficie dada, es generalmente ms difcil. Sin embargo, un tipo de superficie para la

que el problema es sencillo, es una superficie dada por z=f(x,y). Tal superficie se puede
parametrizar como r(x,y)=xi+yj+f(x,y)k
Vectores normales y planos tangentes
Sea S una superficie paramtrica dada por r(u,v)=x(u,v)i+y(u,v)j+z(u,v)k sobre una
regin abierta D tal que x, y y z tienen derivadas parciales continuas en D. Las
derivadas parciales de r con respecto a u y v estn definidas como

r u=

x
y
z
( u , v ) i+
( u , v ) j+ (u , v) k
u
u
u

rv=

x
y
z
( u , v ) i+
( u , v ) j+ (u , v) k
v
v
v

Cada una de estas derivadas parciales es una funcin vectorial que puede interpretarse
geomtricamente en trminos de vectores tangentes. (Figura 15.40) Por ejemplo, si
v=v0 se mantiene constante, entonces r(u,v0) es una funcin vectorial de un solo
parmetro y define una curva C1 que se encuentra en le superficie S. el vector
tangente a C1 en el punto (x(u0,v0), y(u0,v0), z(u0,v0)) est dado por

r u (u0 , v 0 )=

x
y
z
(u0 , v 0 )i+
(u 0 , v 0) j+ (u 0 , v 0) k
u
u
u

De manera similar si u=u0 se mantiene constante, entonces r(u0,v) es una funcin

vectorial de un solo parmetro y define una curva C2 que se encuentra en la superficie
S. El vector tangente a C2 en el punto (x(u0,v0), y(u0,v0), z(u0,v0)) est dado por

r v (u0 , v 0 )=

x
y
z
(u0 , v 0 )i+
(u 0 , v 0) j+ (u0 , v 0) k
v
v
v

Si el vector normal

r u r v

no es 0 para todo (u,v) en D, se dice que la superficie S es

suave y tendr un plano tangente. El vector

r v r u

tambin es normal a S y apunta

en la direccin opuesta. De manera informal, una superficie suave es una superficie que
no tiene puntos angulosos o cspides. Por ejemplo, esferas, elipsoides y paraboloides
son suaves, mientras que un cono no es suave.
Sea S una superficie paramtrica suave r(u,v)=x(u,v)i+y(u,v)j+z(u,v)k definida sobre
una regin abierta D en el plano uv. Sea

(u0 , v 0 ) un punto en D. Un vector normal en

el punto (x0,y0,z0)= (x(u0,v0), y(u0,v0), z(u0,v0)) est dado por

| |

i
x
N=r u ( u0 , v 0)r v ( u 0 , v 0 ) = u
x
v

j
y
u
y
v

k
z
u
z
v

rea de una superficie paramtrica

(Figura 15.42) Para definir el rea de una superficie paramtrica se construye una
particin interna de D que consiste en n rectngulos, donde el rea del rectngulo isimo Di es Ai=uivi. En cada Di sea (ui,vi) el punto ms cercano al origen. En el

punto (xi,yi,zi)= (x(ui,vi), y(ui,vi), z(ui,vi)) de la superficie S, se construye un plano

tangente Ti. El rea de la porcin S que corresponde a Di, Ti, puede ser aproximada
por un paralelogramo en el plano tangente. Es decir, TiSi. Por tanto, la superficie de

S i T i

S est dada por

. El rea del paralelogramo en el plano tangente es

u i r u v i r v=r u r v ui v i
Sea S una superficie paramtrica suave r(u,v)=x(u,v)i+y(u,v)j+z(u,v)k definida sobre
una regin abierta D en el plano uv. Si cada punto de la superficie S corresponde
exactamente a un punto del dominio D, entonces el rea de la superficie S est dada
por

Area de la superficie= dS=r u r v dA

r u=

Donde

x
y
z
(u , v )i +
( u , v ) j+ (u , v) k
u
u
u

rv=

x
y
z
( u , v ) i+
( u , v ) j+ (u , v) k
v
v
v

Para una superficie S dada por z=f(x,y) se puede parametrizar la superficie utilizando la
funcin vectorial r(x,y)=xi+yj+f(x,y)k se tiene

i j
k
r x r y = 1 0 f x (x , y ) =f x ( x , y ) if y ( x , y ) j+ k
0 1 f y (x , y)

r x r y= [ f x ( x , y ) ]

+[ f y ( x , y )]2+1 . Esto implica que el rea de la superficie de S es

Area de la superficie=r x r ydA=

S

[f

( x , y ) ] +[f y ( x , y ) ]2 +1 dA

Superficies paramtricas e integrales de superficies

Se puede mostrar que para una superficie S dada por la funcin vectorial
r(u,v)=x(u,v)i+y(u,v)j+z(u,v)k definida sobre una regin D en el plano uv, la integral e
superficie de F(x,y,z) sobre S est dada por

f (x , y , z)dS= f (x ( u , v ) , y ( u , v ) , z ( u , v ) )r u (u , v ) r v (u , v ) dA
Observese la analoga con una integral de lnea sobre una curva C en el espacio

f (x , y , z)ds= f (x ( t ) , y ( t ) , z (t ) )r ' ( t )dt

Orientacin de una superficie

Para inducir una orientacin en una superficie S en el espacio se utilizan vectores
unitarios normales. Se dice que una superficie es orientable si en todo punto de S que
no sea un punto frontera puede definirse un vector unitario normal N manera tal que los
vectores normales varen continuamente sobre la superficie S. Si esto es posible, S es
una superficie orientada
Una superficie orientable S tiene dos caras. Asi, cuando se orienta una superficie, se
elige uno de los dos vectores unitarios normales posibles. Si S es una superficie cerrada
se acostumbra a escoger como vector unitario normal N, el que apunta hacia afuera.
(Figura 15.50) Las superficies ms comunes, como esferas, paraboloides, elipses y
planos, son orientables. En una superficie orientable, el vector gradiente proporciona
una manera adecuada de hallar un vector unitario normal. Es decir, n una superficie
orientable S dada por z=f(x,y) se hace G(x,y,z)=z-g(x,y).
Entonces, S puede orientarse, ya sea por el vector unitario normal hacia arriba o por el
vector unitario normal hacia abajo
Si la superficie suave orientable S est dada en forma paramtrica
r(u,v)=x(u,v)i+y(u,v)j+z(u,v)k los vectores unitarios normales estn dados

N=

r u rv
r u r v y

N=

por
por

r v ru
r v r u

Supngase que la superficie orientable est dada por y=g(x,z) o x=g(y,z). Entonces se
puede usar el vector gradiente de G(x,y,z)=y-g(x,z) o G(x,y,z)=x-g(y,z) para orientar la
superficie

Integrales de flujo
Una de las aplicaciones principales que emplean la forma vectorial de una integral de
superficie se refiere al flujo de un fluido a travs de una superficie S. supngase que
una superficie orientada S se sumerge en el fluido que tiene un campo de velocidad
continua F. Sea S el rea de una pequea porcin de la superficie S cobre la cual F es
casi constante. Entonces la cantidad de fluido que atraviesa esta regin por unidad de
tiempo se aproxima mediante el volumen de la columna de altura FN (Figura 15.51). Es
decir, V=(altura)(rea de la base)=(FN)S
Por consiguiente, el volumen del fluido que atraviesa la superficie S por unidad de
tiempo (llamada el flujo de F a travs de S) est dado por la integral de superficie de la
siguiente definicin
Sea F(x,y,z)=Mi+Nj+Pk, donde M,N y P tienen primeras derivadas parciales continuas
sobre la superficie S orientada mediante un vector unitario normal N. La integral de
flujo de F a travs de S est dada por

F NdS
S

Geomtricamente, una integral de flujo es la integral de superficie sobre S de la

componente normal de F. Si (x,y,z) es la densidad del fluido en (x,y,z), la integral de

flujo

F NdS

representa la masa del fluido que fluye a travs de S por unidad de

tiempo
Para evaluar una integral de flujo de una superficie dada por z=g(x,y), se hace
G(x,y,z)=z-g(x,y). Entonces, NdS puede escribirse como

NdS= G ( x , y , z ) dA

Sea S una superficie orientada por z=f(x,y) y sea R su proyeccin sobre el plano xy.

F NdS= F [g x ( x , y ) ig y ( x , y ) j+ k ]dA
F NdS= F [ g x ( x , y ) i+ g y ( x , y ) jk ] dA

Orientada hacia arriba

Orientada hacia abajo

Para una superficie orientada S dada por la funcin vectorial

r(u,v)=x(u,v)i+y(u,v)j+z(u,v)k definida sobre una regin D del plano uv, se puede
definir la integral de flujo de F a travs de S como

r
F ( u r v )dA

ru rv
F NdS= F r r r u r vdA=
S
D
u
v
D

Teorema de divergencia de Gauss

Una alternativa del teorema de Green es

F Nds= ( Nx + My )dA= F dA
De manera anloga, el teorema de la divergencia da la relacin entre una integral triple
sobre una regin solida Q y una integral de superficie sobre la superficie de Q. La
superficie S es cerrada en el sentido de que forma toda la frontera completa el slido Q.
(Figura 15.54) Se supone que Q es una regin solida sobre la cual se evala una integral
triple, y que la superficie cerrada S est orientada mediante vectores normales
unitarios dirigidos hacia el exterior.
Sea Q una regin solida limitada o acotada por una superficie cerrada S orientada por
un vector normal unitario dirigido hacia el exterior de Q. Si F es un campo vectorial
cuyas funciones componentes tienen derivadas parciales continuas en Q, entonces

F Nds= F dV
(Figura 15.59) Aunque el teorema de la divergencia se formul para una regin solida
simple Q limitada o acotada por una superficie cerrada, el teorema tambin es vlido
para regiones que son uniones finitas de regiones solidas simples. Por ejemplo, sea Q el
slido limitado o acotado por las superficies cerradas S1 y S2. Para aplicar el teorema

de la divergencia a este slido, sea S=S1US2. El vector normal N a S est dado por -N1
en S1 y por N2 en S2. Por tanto, se puede escribir

S1

S2

F dV = F Nds= F (N 1 ) ds + F N 2 ds
Flujo y el teorema de la divergencia

F Nds= F dV
Se sabe que la integral de flujo determina el flujo total de fluido que atraviesa la
superficie S por unidad de tiempo. Esto puede aproximarse sumando el flujo que fluye a
travs de fragmentos pequeos de la superficie. La integral triple mide este mismo flujo
de fluido a travs de S, pero desde una perspectiva muy diferente; a saber, calculando
el flujo de fluido dentro, o fuera, de cubos pequeos de volumen Vi. El flujo en el isimo cubo es aproximadamente

F( x i , y i , z i) V i

para algn punto

( xi , yi , zi )

en el

i-simo cubo. Ntese que, en un cubo en el interior de Q, la ganancia, o perdida, de

fluido a travs de cualquiera de sus seis caras es compensada por una perdida, o
ganancia, correspondiente a travs de una de las caras del cubo adyacente. Despus
de sumar sobre todos los cubos en Q, el nico flujo de fluido que no se cancela uniendo
cubos es el de las caras exteriores en los cubos del borde. As la suma
n

F ( x i , y i , z i )V i
i=1

aproxima el flujo total dentro, o fuera, de Q, y por consiguiente a travs de la superficie

S.
(Figura 15.60) Para ver que se quiere dar a entender con divergencia de F en un punto,
considrese

como el volumen de una esfera pequea S de radio y centro

(x 0 , y 0 , z0 ) , contenida en la regin Q. Aplicando el teorema de la divergencia a

resulta

Flujode F a traves de S = F dV F ( x 0 , y 0 , z0 ) V
Q

Donde

es el interior de

F( x 0 , y 0 , z 0)

S . Por consiguiente, se tiene

Flujo de F a traves de S
V

Y, tomando el limite cuando 0, se obtiene la divergencia de F en el punto

(x 0 , y 0 , z0 ) .

 F ( x 0 , y 0 , z 0 )=lim
0

Flujo de F a traves de S
=flujo por unidad de volumen en( x 0 , y 0 , z0 )
V

En un campo vectorial el punto

(x 0 , y 0 , z0 )

es clasificado como una fuente, un

sumidero o incomprensible
(Figura 15.61)

Fuente, si div F>0

Sumidero, si div F<0
Incomprensible, si div F=0

Una fuente es un punto por el que se considera que se introduce fluido adicional a la
regin ocupada por el fluido. Un sumidero es un punto en el que se considera que
escapa fluido

Teorema de Stokes
Un segundo teorema, anlogo al teorema e Green, pero con ms dimensiones.
(Figura 15.62) El teorema de Stokes establece que la relacin entre una integral de
superficie sobre una superficie orientada S y una integral de lnea a lo largo de una
curva cerrada C en el espacio que forma la frontera o el borde de S. la direccin positiva
a lo largo de C es la direccin en sentido contrario a las manecillas del reloj con
respecto al vector normal N.
Sea S una superficie orientada con un vector unitario normal N, acotada por una curva
cerrada simple, suave a trozos C, con orientacin positiva. Si F es un ampo vectorial
cuyas funciones componentes tienen derivadas parciales continuas en una regin
abierta que contiene a S y a C, entonces

F dr = (rot F ) Nds
Interpretacin fsica del rotacional
(Figura 15.66) En un campo vectorial, sea
centrado en (x,y,z) y con frontera

un pequeo disco circular de radio ,

C . En cada punto en la circunferencia

C , F

tiene un componente normal FN y un componente tangencial FT. cuanto ms

alineados estn F y T mayor es el valor de FT. As, un fluido tiende a moverse a lo largo
del circulo en lugar de a travs de el. Por consiguiente, se dice que la integral de lnea
alrededor de

mide la circulacin alrededor de

C . Es decir,

F Tds=circulacion de F alrededor de C
C

(Figura 15.67) Ahora considrese un pequeo disco

centrado en algn punto

(x,y,z) de la superficie S. En un disco tan pequeo, rot F es casi constante, porque varia

poco con respecto a su valor en (x,y,z). Es ms, rot FN es casi constante en

porque todos los vectores unitarios normales en

S ,

son prcticamente iguales. Por

consiguiente, del teorema de Stokes se sigue que

F Tds= (rot F ) Nds (rot F) N dS (rot F) N ( 2)

Por tanto,

F Tds
( rot F ) N

circulacion de F alrededor de C
=tasa o ritmo de circulacion
area de disco S

Suponiendo que las condiciones son tales que la aproximacin mejora con discos cada
vez ms pequeos, se sigue que

1
( rot F ) N =lim
F Tds
2
0 C

A lo que se le conoce como rotacin de F con respecto de N. Esto es, rot

F(x,y,z)N=rotacin de F respecto de N en (x,y,z)
En este caso la rotacin de F es mxima cuando rot F y N tienen la misma direccin.
Normalmente, esta tendencia a rotar variara de punto a punto de la superficie S, y el
teorema de Stokes afirma que la medida colectiva de esta tendencia rotacional
considerada sobre toda la superficie S es igual a la tendencia de un fluido a circular
alrededor de la frontera C.

(rot F) Nds= F dr
Ejercicios