www.monografias.

com

Campos vectoriales y aplicaciones.

Indice
1. Campos escalares y vectoriales
2. Integral de lnea
3. Teorema de Green
4. Integrales de superficie
5. Teorema de la divergencia de Grauss
6. Teorema de stokes
7. Bibliografa
1. Campos vectoriales y escalares
Campos vectoriales. Un campo vectorial es en Rn es una aplicacin F:AR
n Rn que asigna a cada
punto x de su dominio A un vector F (x). Si n = 2, F se llama campo vectorial en el plano, y si n = 3, F es
un campo vectoriales del espacio.
Visualizar F adhiriendo una flecha a cada punto (Fig. 4.3.1). En contraste, una aplicacin f:A R
nR
que asigna un nmero a cada punto es un campo escalar. Un campo vectorial F (x,y,z) en R 3 tiene tres
campos escalares componentes F1, F2 y F3, as que
F(x, y, z) = (F1(x, y, z), F2(x, y, z), F3(x, y, z)).
De manera anloga, un campo vectorial Rn tiene n componentes F1, ..., Fn. Si cada componente es una
funcin Ck, decimos que el campo vectorial F es de clase Ck. Se dar por hecho que los campos
vectoriales son, al menos, de clase C1, a no ser que se diga lo contrario.
Figura 4.3.1 Un campo vectorial F asigna un vector F (x) a cada punto x de su dominio.
Ejemplo 1
Realizar la descripcin del campo vectorial F dado por F (x, y) = -yi + xj.
Solucin
La siguiente tabla muestra los sectores F (x, y) asociados a varios puntos (x, y) sealados en la figura
18.5.
(x, y)
F(x, y)
(1,3)
- 3i +j
(-3,1)
-i 3j
(-1, -3) 3i - j
(3,-1)
i + 3j
(x, y)
(1,1)
(-1,1)
(-1, -1)
(1,-1)

Figura 18.5

F(x, y)
- i +j
-i - j
i-j
i+j

Figura 18.6

Para llegar a una descripcin de un campo vectorial F se considera un punto arbitrario K (x, y) y se
define el vector de posicin r = xi + yj de K (x, y) (vase la figura 18.6). Se ve que F (x, y) es ortogonal a
r y por lo tanto, es tangente a la circunferencia de radio ||r|| con centro en el origen. Este hecho puede
demostrarse probando que r . F (x, y) = 0, como sigue:
r . F (x, y) = (xi + yj) . (- yi +xj)

= -xy + yx = 0.
Adems,
|| F (x, y) || = y2 + x2 = || r ||
Por lo tanto, la magnitud de F (x, y) es igual al radio de la circunferencia. Esto implica que cuando el
punto K (x, y) 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 r = xi + yj + zk el vector posicin de un punto K (x, y, z). Se dice que un campo vectorial F es un
campo de variacin inversa al cuadrado de la distancia si
F(x, y, z) =

c_ u
|| r ||2

donde c es un escalar y u es un vector unitario que tiene la misma direccin que r y est dado por u =
1_ = r.
|| r ||
Ejemplo 2
Describir el campo F (x, y, z) que cumple la definicin (18.2) para c < 0.
Solucin
Como u = 1 r y r = xi + yj + zk,
||r||
F (x, y, z) = c_ r =
||r||3

c_____ (xi + yj + zk).

(x2 + y2 + z2)3/2

Es ms fcil analizar los sectores del campo usando la expresin en trminos de r. Como F(x, y, z) es un
mltiplo escalar negativo de r, la direccin de F(x, y, z) es hacia el origen O. Adems,
||F(x, y, z)|| = | c |_ || u || = | c |_
||r||2

||r||2

y por lo tanto, la magnitud de F (x, y, z) es inversamente proporcional al cuadrado de la distancia del

punto (x, y, z) al origen O. Esto significa que cuando el punto K(x, y, z) se aleja del origen, la longitud del
vector asociado F (x, y, z) disminuye. En la figura 18.7 se indican algunos vectores tpicos de un campo
F del tipo de variacin inversa al cuadrado".
Definicin
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.
Teorema
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,
F(x, y, z) =
cx____ i +
cy____ j +
cz____ k
(x2 + y2 + z2)3/2 (x2 + y2 + z2)3/2 (x2 + y2 + z2)3/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 (x, y, z), fy (x, y, z) y fz (x, y, z),
respectivamente. Integrando parcialmente estas componentes con respecto a x, y y z, respectivamente,
se ve que
f(x, y, z) =
c_____
(x2 + y2 + z2)1/2
Calculando las derivadas parciales se demuestra que esta funcin f es lo que se buscaba. Por tanto, se
tiene lo siguiente:
F(x, y, z) = f (x, y, z) = -c

r = || r || (x2 + y2 + z2)1/2

donde
r

En la fsica, la funcin de potencial de un campo vectorial conservativo F se define como una funcin p
tal que F(x, y, z) = -p (x, y, z). En este caso, tomando p = -f en la demostracin del teorema (18.4), se
obtiene F(x, y, z) = (c/r). Ms adelante en el captulo se estudiarn ms a fondo los campos vectoriales
conservativos.
El operador diferencial vectorial en tres dimensiones es:
= i _ + j _ + k _
x
y
z
Si acta sobre una funcin escalar f, da como resultado el gradiente de f:
grad f =f = f_ i + f_ j + f_ k
x
y
z
2. Integrales de lnea
Puede seguirse un procedimiento para definir las integrales de lnea de funciones de varias variables
sobre curvas en dos o tres dimensiones.
Sea f una funcin de dos variables x y y que es continua en una regin D, la cual contiene una curva
regular C con una parametrizacin x = g (t), y = h (t); a t b. Se definirn tres integrales diferentes de f
sobre C. Comenzamos dividiendo el intervalo del parmetro [a, b] escogiendo
a = 10 < 11< 12 < ... < 1n = b.
La norma de esta particin, es decir, la longitud del mayor subintervalo [t k-1, tk], se denota por ||||. Si P
(xk, yk) es el punto de C correspondiente a tk, entonces los puntos P0, P1, P2, ..., Pn dividen a C en n
subarcos Pk-1 Pk. Sean
xk = xk xk-1, yk = yk yk-1, sk = longitud de Pk-1 Pk.
Para cada k, sea Q(uk, vk) un punto del subarco Pk-1 Pk correspondiente a algn nmero en [tk-1, tk] (vase
la figura 18.10). Consideremos ahora las tres sumas
f(uk, vk)sk, f(uk, vk) xk, f(uk, vk)yk
k

Si los lmites de estas sumas existen cuando |||| 0, son entonces las integrales de lnea def sobre C
con respecto a s, x y y, respectivamente, y se denotan como sigue
Integrales de lnea
En dos dimensiones
(18.8)
El trmino "integral de lneas" se refiere a una integral sobre una lnea curva, que podra ser en ciertos
casos una lnea recta. Se le podra llamar tambin genricamente integral de curva.
Si f es continua en D, entonces los lmites que (18.8) existen y son los mismos para todas las
parametrizaciones (siempre y cuando tengan la misma orientacin). Adems, las integrales se pueden
evaluar sustituyendo x = g (t), y = h (t), o sea la parametrizacin de C y reemplazando las diferenciales
por
ds = (dx)2 + (dy)2 = [g(t)]2 + [h(t)]2 dt

dx = g(t)dt, dy = h(t) dt
Observese que segn la definicin (13.6), la frmula para ds es la diferencial de la longitud de arco. A
continuacin se enuncian estos hechos como referencia.
Teorema de evaluacin para integrales de lnea (18.9)
Si una curva regular C est dada por x = g (t), y = h (t); a t b, y f (x, y) es continua en una regin D
que contiene a C, entonces
Independencia De La Trayectoria
A una curva regular parte por parte con extremos A y B se le llama a veces trayectoria de A a B. a
continuacin se obtienen condiciones bajo las cuales una integral de lnea es independiente de la
trayectoria en una regin, en el sentido de que si A y B son puntos arbitrarios, entonces se obtiene el
mismo valor para todas las trayectorias de A a B en esa regin. Los resultados se demostrarn para
integrales de lnea en dos dimensiones. Las demostraciones para el caso de tres dimensiones son
similares y se omiten.
Si la integral de lnea c f (x, y) ds es independiente de la trayectoria, se denota a veces por BA f (x, y)ds
porque el valor de la integral depende slo de los extremos A y B de la curva C. una anotacin similar se
usa para c f (x, y)dx y c f (x, y)dy y para las integrales de lnea en tres dimensiones.
El siguiente teorema, que es el resultado fundamental, dice que si un campo F es continuo, entonces la
integral de lnea c F . dr es independiente de la trayectoria si y slo si F es conservativo.
Teorema (18.13)
Si F (x, y) = M (x, y)i + N (x, y)j es continuo en una regin D abierta y conexa, entonces la integral c F .
dr es independiente de la trayectoria si y slo si F (x, y) = f (x, y) para alguna funcin escalar f.
Teorema (18.14)
Sea F (x, y) = M (x, y)i + N (x, y)j continuo en una regin abierta y conexa D, y sea C una curva regular
parte por parte en D con extremos A (x1, y1) y B (x2, y2). Si F(x,y) = f (x, y), entonces
c M(x, y)dx + N(x, y)dy =

F . dx

(x , y )
(x2, y2)
1 1
(x , y )
2 2

= f(x2, y2) f (x1, y1) = f (x, y)]

(x , y )
1 1

Ejemplo 1
Sea F el campo gravitacional producido por una partcula de masa M colocada el origen de un sistema
de coordenadas rectangulares. Calcular el trabajo realizado cuando una partcula de masa m se mueve
de A (2, 3, 4) a B (1, 0, 0).
Solucin
La fuerza ejercida sobre una partcula de masa m colocada en K (x, y, z) es
F (x, y, z) = G Mm r
|| r ||3
donde r = xi + yj + zk. Como en la demostracin del teorema (18.4), F (x, y, z) = f (x, y, z) donde
f (x, y, z) =
GMm___
(x2 + y2 + z2)1/2
Entonces por el teorema en tres dimensiones anlogo al teorema (18.14) (o al corolario (18.15)),
B
W=
F . dr =
2
2 1/2
(x + y + z )

GMm___

= GMm
29

(1, 0, 0)

1- 1

(2, 3, 4)

Si la integral c M(x, y)dx + N(x, y)dy es independiente de la trayectoria, entonces por el teorema
(18.13) existe una funcin f tal que
x

M = f_ y N = f_
y

Por lo tanto,
M_ = 2f_ y
y
y x

N_ = 2f_
x
x y

Si M y N tienen primeras derivadas parciales continuas, entonces f tiene segundas derivadas parciales
continuas y, por lo tanto, el orden de derivacin no altera el resultado, es decir,
M_ = N_
y
x
Teorema (18.16)
Si M(x, y) y N(x, y) tienen primeras derivadas parciales continuas en una regin simplemente conexa D,
entonces la integral de lnea
c M(x, y)dx + N(x, y)dy
es independiente de la trayectoria en D si y slo si
M_ = N_
y
x
Ejemplo 2
Demostrar que si F (x, y) = (2x + y3 )i + (3xy2 + 4)j, entonces c F . dr es independiente de la trayectoria
(2, 3)
y evaluar
F . dr
(0, 1)

Solucin.
La funcin vectorial F tienen primeras derivadas parciales continuas para todo (x, y) y por lo tanto se
puede aplicar el teorema (18.16). Tomando M = 2x + y3 y N = 3xy2+4 vemos que
M_ = 3y2 = N_
y
x
Por lo tanto, la integral de lnea es independiente de la trayectoria. Segn el teorema (18.13), existe una
funcin (de potencial) f tal que
fx (x, y) = 2x + y3 y fy (x, y) = 3xy2 + 4.
Si integramos (parcialmente) fx (x, y) con respecto a x,
fx (x, y) = x2 + xy3 + k(y)
donde k es una funcin que depende slo de y. (Hay que usar k (y) en lugar de una constante en la
integracin parcial para obtener la expresin ms general de f (x,y) tal que f x (x, y) = 2x + y3 .)
Derivando f (x, y) con respecto a y, y comparando con la expresin f y (x, y) = 3xy2+4 obtenemos
fy (x, y) = 3xy2 + k(y) = 3xy2 + 4.
Por lo tanto, k(y) = 4 o bien k (y) = 4y + c para una constante c. Entonces
f (x, y) = x2 + xy3 + 4y + c
define una funcin del tipo deseado. Aplicando el teorema (18.14),

(2, 3)

(2, 3)

(0, 1)

(0, 1)

(2x + y3) dx + (3xy2 + 4) dy = x2 + xy3 + 4y ]

= (4 + 54 + 12) 4 = 66
No usamos la constante c porque para evaluar la integral puede usarse cualquier funcin de potencial f.
3. Teorema De Green

f (x) dx = f(b) f (a)

a

Dice que la integral de una funcin sobre un conjunto S = [a, b] es igual a una funcin relacionada (la
antiderivada) evaluada de cierta manera sobre la frontera de S, en este caso consta slo de dos puntos,
a y b.
Teorema A
Sea C una curva cerrada simple, suave por partes, que forma la frontera de una regin S plano xy. Si M
(x,y) y N (x, y) son continuas y tienen derivadas continuas sobre y su frontera C, entonces
N_ M_
x
y

dA =

M dx + N dy

Demostracin. Probemos el teorema para el caso en el que S es tanto x-simple como y-simple y
discutiremos despus las ampliaciones al caso general. Puesto que S es y-simple, tiene la forma de la
figura 1; es decir,
S = {(x, y): g(x) y f (x), a x b}
Figura 1
Su frontera C consta de cuatro arcos C1, C2, C3, y C4 (C2 o C4 pueden ser degenerados)
M dx = C1 M dx + C2 M dx + C3 M dx + C4 M dx
Las integrales sobre C1 y C4 son cero, puesto que sobre estas curvas x es constante, por lo que dx = 0.
En consecuencia,
b (x, g(x)) dx +
M dx = M
M (x,a f(x)) dx
a

= - [M (x, f(x)) - M (x, g(x))] dx

b
a

=-

f(x)

g(x)

M(x, y) dy dx
y

= - M dA
S
y
El teorema de Green se cumple an para regiones S que tengan uno o ms hoyos (figura 3), siempre
que cada parte de la frontera est orientada de modo que S quede siempre a la izquierda cuando se
sigue la curva en su direccin positiva. Basta con descomponerla en regiones ordinarias, en la forma
como se muestra en la figura 4.
Figura 3
Ejemplo 1.

Figura 4

Sea C la frontera del tringulo de vrtices (0, 0), (1, 2) y (0, 2) (figura 5). Calcule
4x2 y dx + 2y dy
Por el teorema de Green,
1

4x2 y dx + 2y dy =
1

(0 4x2) dy dx

2x

= [-4x2y] dx 2 = (-8x2 + 8x3) dx

0

-8x + 2x
3

2x

= -2

Ejemplo 2.
Demuestre que si una regin S del plano tiene como frontera a C, siendo sta una curva simple suave
por partes y cerrada, entonces el rea de S est dada por
A(S) =

x dy y dx

Solucin.
Sea M (x, y) = -y/2 y N (x, y) = x/2 y aplquese el teorema de Green.
y dx + x dy = 1 + 1 dA = A(S)
2 2
2 2S
Ejemplo 3.
Use el teorema de Green para evaluar la integral de lnea
(x3 + 2y) dx + (4x 3y2) dy
donde C es la elipse b2x2 + a2y2 = a2b2.
Solucin.
Sea M(x, y) = x3 + 2y, N(x, y) = 4x 3y2 de modo que M/y = 2y N/x = 4. por el teorema de Green y el
ejemplo 3,
(x3 + 2y) dx + (4x 3y2) dy = (4-2) dA
S

= 2A(S) = 2ab
Existe otra forma vectorial del teorema de Green. Pero ahora como conjunto de un espacio de tres
dimensiones. Si F = Mi + Nj + Ok, entonces el teorema de Green dice que
F . T ds =
x y

M dx + N dy =

N _ M dA

Por otra parte,

j
k

N
xxF =y z
N O
M
i

rot F =

=
x y

Por lo tanto, el teorema de Green toma la forma

F . T ds =

(rot F) . k dA

que a veces se llama teorema de Stokes en el plano.

4. Integrales de superficie

g (x, y, z)dS =
S

lim g (xk, yk, zk) T k

|| ||0 k

Si S es la unin de varias superficies del tipo adecuado, entonces la integral de superficie se define
como la suma de las integrales de superficie individuales. Si g (x, y, z) = 1 para todo (x, y, z) y la integral
de superficie es igual al rea de la superficie de S.
Definicin: Sea F un campo vectorial definido en S, imagen de una superficie parametrizada . La
integral de superficie de F sobre , denotada por:
F*dS, se define por F*dS= F*(TuxTv)du dv.
Ejemplo: Sea D el rectngulo en el plano definido por
02, 0,
Y sea la superficie S definida por la parametrizacion : DR dada por
x=cos sen ,
y=sen sen ,
z=cos .
(As, y son los ngulos de coordenadas esfricas, y S es la esfera unitaria parametrizada por
.) Sea r el vector de posicin r(x, y, z)=xi+yj+zk. Calcular r*dS.
Solucin:
Primero hallamos
T= (-sen sen ) i+ (sen cos ) j
T= (cos cos ) i+ (sen cos ) j-(sen ) k
Y por lo tanto
Tx T= (-sen cos ) i-(sen sen) j-(sen) k
Despus evaluamos
R*( TxT)=xi+yj+zk)* ( TxT)
=[( cos sen )i+( sen sen )j+( sen )k]*( -sen )[( sen cos )i+( sen
sen )j+(cos )k]
=( -sen )(sen cos + sen sen +cos )=-sen .
Asi,
r*dS=-sen dd = (-2)d =-4.
Se puede esbozar una analoga entre la integral de superficie F*dS y la integral de lnea F*dS.
Recordemos que la integral de lnea es una integral orientada.
Teorema De Evaluacin Para Integrales De Superficie (18.23)
(i)

g (x, y, z) dS

g (x, y, f(x, y)) [f (x, y)]

x

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

Rxy

(ii)

g (x, y, z) dS

=
(iii)

g (x, h(x, z), z) [hx(x, z)]2 + [hy(x, z)]2 + 1 dA

Rxy

g (x, y, z) dS
S

=
g (k(y, z), y, z) [ky(y, z)]2 + [kz(y, z)]2 + 1 dA
EJEMPLO 1. Rxy
Evaluar S x2z dS suponiendo que S es la parte del cono circular z2 = x2 + y2 que se encuentra entre los
planos z = 1 y z = 4.

Figura 18.39
Solucin.
Como se muestra en la figura 18.39, la proyeccin Rxy de S sobre el plano xy es la regin anular acotada
por las circunferencias de radios 1 y 4 con centro en el origen. Si escribimos la ecuacin para S en la
forma
z = (x2 + y2)1/2 = f(x, y),
entonces
fx(x, y) =

x___
(x2 +y2)1/2

fy(x, y) =
y___.
(x2 +y2)1/2

Aplicando (18.23) (i) y observando que el radical se reduce a 2, obtenemos

x2z dS = x2(x2 + y2)1/2 2 dA.
S

Rxy

Usando coordenadas polares para evaluar la integral doble,

Ejemplo 2.
Evaluar S (xz/y) dS, donde S es la parte del cilindro x = y2 que se encuentra en el primer octante entre
los planos z = 0, z = 5, y = 1 y y = 4
Figura 18.40
Solucin.
La superficie S est en la figura 18.40 (con una escala diferente en el eje x). La proyeccin R yz de S
sobre el plano yz es el rectngulo con vrtices (0, 1, 0), (0, 4, 0), (0, 4, 5) y (0, 1, 5). Entonces, por el
teorema (18. 23) (iii) con k (y,z) = y2.
Las frmulas en el teorema (18. 23) presuponen de las funciones f, h y k tienen primeras derivadas
parciales continuas sobre Rxy Rxz y Ryz, respectivamente. En algunos casos puede quitarse esta
restriccin usando una integral impropia.
5. Teorema De La Divergencia De Gauss
Sea S un slido cerrado y limitado de tres dimensiones, que este encerrado por completo mediante una
superficie suave por partes S.

Teorema A.
(Teorema de Gauss). Sea F = Mi + Nj + Pk un campo vectorial tal que M, N y Q tienen derivadas
parciales continuas de primer orden sobre S y su frontera S. Si n denota la normal unitaria exterior para
a S, entonces

F . n dS =

iv F dV

En otras palabras, el flujo de F a travs de la frontera de una regin cerrada de tres dimensiones es la
integral triple de su divergencia sobre esa regin. Resulta til tanto para algunas aplicaciones como para
demostracin de la conclusin del teorema de Gauss en su forma cartesiana (no vectorial). Podemos
escribir
n = cos i + cosj + cosk
donde , y son los ngulos directores de n. y entonces la frmula de Gauss se transforma en
Demostracin del teorema de Gauss.
Consideremos primero el caso en el que la regin S es x-simple, g-simple y z-simple. Bastar con
demostrar que

Ejemplo 1.
Verifique el teorema de Gauss para F = xi + yj + zk y S = {(x, y, z): x 2 + y2 + z2 a2} calculando
independientes (a)

F . n dS y (b)

Solucin.

div F dV

(a) En S, n = (xi + yj + zk)/a, y as F . n = (x2 + y2 + z2)/a =a. Por lo tanto,

F . n dS = a

div F dV = 3

dS = (4a2) = 4a3

(b) Como div F = 3,

dV = 3

4a3 = 4a3
3

Ejemplo 2.
Calcule el flujo del campo vectorial F = x 2yi + 2xzj + yz3k a travs de la superficie del slido rectangular S
determinado por (figura 3)
0 x 1,
0 y 2,
0z3
(a) mediante el mtodo directo; (b) mediante el teorema de Gauss.
Figura 3
Solucin.

Cara

F.n

F . n dS
cara

x=1 i
y
x = 0 -i 0
y=2 j
2xz
y = 0 -j -2xz
z = 3 k 27y
z = 0 -k 0
(a) Para calcular

6
0
18
-18
54
0
F . n dS directamente, evaluamos esta integral sobre las seis caras y sumemos los

resultados. Sobre laS cara x = 1, n = i y F . n = x2y = 12y = y, por lo que F . n dS =

Mediante clculos semejantes podremos construir la siguiente tabla:
3

En consecuencia,

F . n dS = 6 +0 + 18 18 + 54 + 0 = 60

y dy dz = 6.

(b) por el teorema de Gauss,

F . n dS =

(2xy + 0 + 3yz2) dV

Ejemplo 3.
Sea S el slido cilndrico limitado por x 2 + y2 = 4, z = 0 y z = 3, y sea n la normal unitaria exterior a la
frontera S (figura 4). Si F = (x3 + tan yz)i + (y3 exz)j + (3z + x3)k, encuentra el flujo de F a travs de S.
Figura 4
Solucin.
Imagine las dificultades al tratar de evaluar en forma directa F . n Ds. No obstante,
S

div F = 3x2 + 3y2 + 3 = 3 (x2 + y2 + 1)

y por lo tanto, por el teorema de Gauss y el cambio de coordenadas cilndricas,

6. Teorema de Stokes
F . T ds =

(rot F) . n dS

El teorema de Stokes se puede enunciar como sigue: la integral de lnea de la componente tangencial
de F a lo largo de C recorrida una vez en la orientacin positiva es igual a la integral de superficie sobre
S de la componente normal de rot F. Si F es un campo de fuerza, el teorema afirma que el trabajo
realizado por F a lo largo de C es igual al flujo de rot F a travs de S. La integral de lnea en (18. 28)
tambin se puede expresar como
F . dr
donde r es el vector de posicin del punto (x, y, z) de C. para analizar situaciones ms generales que la
ilustrada en la figura 18. 55, hay que considerar una superficie orientada S y definir un sentido positivo a
lo largo de C de manera adecuada. (La demostracin del teorema de Stokes se puede encontrar en
libros de clculo ms avanzados.)
Figura 18.55
Ejemplo 1.
Sea S la parte del paraboloide z = 9 x2 y2 para z 0, y sea C la traza de S en el plano XY. Verificar el
teorema de Stokes (18. 28) para el campo vectorial F = 3zi + 4xj + 2yk.
Solucin.
Queremos demostrar que las dos integrales en el teorema (18. 28) tienen el mismo valor. La superficie
es la misma que consideramos en el ejemplo 4 de la seccin 18.5 donde obtuvimos que
n = 2xi + 2yj + k
4x2 + 4y2 + 1

Segn (18.6),

rot F =

= 2i + 3j + 4k.

y z
4x 2y

3z
Por lo tanto,

(rot F) . n dS =

4x + 6y + 4_ = dS.
2
+ 4y2 + 1

4x

Usando (18.23) (i) para evaluar esta integral de superficie, resulta que
(rot F) . n dS=

(4x + 6y + 4) dA

donde R es la regin del plano xy acotada por la circunferencia de radio 3 con centro en el origen.
Cambiando a coordenadas polares, obtenemos
La integral de lnea en el teorema de Stokes (18.28) se puede escribir
donde C es la circunferencia en el plano xy con ecuacin x2 + y2 = 9. Como z = 0 en C, esto se reduce a
Ejemplo 2
Verifique el teorema de Stokes para F = yi xj + yzk si S es el paraboloide z = x 2 + y2 = 1, z = 1 y su
frontera (figura 2).
Figura 2
Solucin.

Podemos describir mediante S las ecuaciones paramtricas

x = cos t,

y = sen t,

z=1

Entonces, dz = 0 y (sea la seccin 17.2)

Por otra parte, para calcular (rot F) . n dS, deberemos obtener primero
S

rot F = x F =

= zi + 0j 2k.

k

y z
-x yz

y
Entonces, por el teorema 17.5B,
Ejemplo 3.
Use el teorema de Stokes para evaluar
triangular de la figura 3.
Figura 3

Solucin.

F .T ds, donde F = 2zi + (8x 3y)j + (3x + y)k y C es la curva

Podemos hacer que S sea cualquier superficie, con C como frontera orientada, pero nuestra ventaja
consiste en escoger la ms simple de dichas superficies (el tringulo plano T). Para determinar n en esta
superficie, observ que los vectores
A = (0 - 1)i + (0 - 0)j + (2 - 0)k = -i + 2k
B = (0 - 1)i + (1 - 0)j + (0 - 0)k = -i + j
pertenecen a esta superficie y que por lo tanto

N=AxF=

i
-1
-1

= -2i - 2j k.

j k
0 2
1 0

es perpendicular a l. En consecuencia, la normal unitaria exterior es

Tambin

rot F =

y
8x-3y

2z
y rot F . n = 8/3. Concluimos que

7. Bibliografa
SWOKOWKI
Clculo con Geometra Analtica
Editorial: Iberoamericana.
PORCELL
Clculo
Editorial: Limusa.
SPIEGEL Murray L.
Clculo vectorial
Editorial: Mc Graw Hill

Trabajo enviado por:

Victorina Sevilla Diaz
vicky_sev_dz@hotmail.com

= i - j + 8k.

z
3x+y