Sunteți pe pagina 1din 165

Matemtica B

Mdulo II







Integrales impropias y series numricas
Integrales de lnea
Integrales de superficie







Bibliografa
Larson R.E., Hostetler R P. y Eduards B. H. , Clculo , Vol I y II, McGraw Hill,
1999.
Stewart J. Clculo Trascendentes Tempranas, Thomson, Mxico , 2000
Purcell E.J., Varberg D. y Rigdon S. E. Clculo, Pearson, 2000.
Smith R. , Minton R., Clculo, Vol I y II , McGraw Hill, 2000.
Thomas y Finney, Clculo, vol I y II, Pearson ,1998
Edwards-Penney, Ecuaciones diferenciales. 4a.ed., Pearson, 2001


ndice del Mdulo II


1. Gua terico-prctica de la unidad temtica IV:
Integrales impropias y series numricas.

Integrales impropias 200
Sucesiones numricas 212
Series numricas 220
Autoevaluacin 240


2. Gua terico-prctica de la unidad temtica V: Integral de lnea

Curvas Parametrizacin Longitud de arco 243
Campos vectoriales 259
Integral de lnea 274
Teorema de Green 286
Campos conservativos e independencia del camino 295
Autoevaluaciones 304



3. Gua terico-prctica de la unidad temtica VI: Integral de superficie

Superficies 312
Integral de superficie 326
Teorema de Stokes 340
Teorema de Gauss 349
Autoevaluaciones 354


4. Apndice
Estudio de la variacin de curvas 358












Matemtica B:


Gua terico-prctica
de la unidad temtica IV




Integrales impropias
Series numricas

Integrales impropias
200

Integrales impropias

En el mdulo I trabajamos con funciones continuas definidas en un intervalo cerrado y
para ellas definimos

b
a
dx ) x ( f
. Tambin lo hicimos para funciones que tienen un
nmero finito de discontinuidades de primera especie en el intervalo[ ] b a, . En base a lo
estudiado anteriormente, podremos dar algn significado a

+
a
dx x f ) ( para f continua
en el intervalo [ ] + , a ? ? y a

b
a
dx ) x ( f , cuando f tiene una discontinuidad de tipo
infinito en el intervalo [ ] b a, ?


Actividad 1
Cmo reaccionaran ante la expresin

+
a
dx x f ) ( si les informamos que f es continua y
no negativa en la semirrecta [a, + )? Seguramente respondern que puede hallar una
primitiva de f, pero qu significado tendra la Regla de Barrow? Ninguno ciertamente,
debido a que el smbolo + no puede ser reemplazado en ninguna expresin
numrica.

Es cierto que: b > a, la integral

b
a
dx ) x ( f existe y su resultado depende de b.
Siendo I
b
=

b
a
dx ) x ( f , si I I lim
b
b
=
+
, tiene sentido asignar al smbolo

+
a
dx x f ) ( el
valor I y decir que ese nmero representa el rea debajo de la curva ) (x f y = en el
intervalo infinito [a,+).


Ejemplo 1 Sea
2
x
1
) x ( f =
b > 1 la integral I
b =

b
1
dx ) x ( f existe pues f es continua en el cerrado [1, b]

I
b
= -
b
1
x
1
(

(
= 1
b
1
+











1 b
bbbbb
y
x
Integrales impropias
201

Siendo f(x) positiva en [1,b], I
b
representa el rea bajo la curva en [1, b]

Qu ocurre con I
b
cuando b + ?
Obviamente 1 I lim
b
b
=

. El limite obtenido se asume como valor de

+
1
2
1
dx
x

+
1
2
1
dx
x
= 1 , y asignamos el valor 1 al rea debajo de la curva
2
1
x
y = en el
intervalo [1, + ).

Conclusin: Pudo calcularse naturalmente la integral dx
x
1
1
2
+
? Pudo medirse la
regin no acotada bajo la curva? No, de acuerdo con el procedimiento habitual. Si,
analizando el comportamiento de I
b
Se dice entonces que la integral propuesta es una
integral impropia convergente.


Definicin 1
1 - Siendo f continua en [a,+),

+
a
dx ) x ( f
=

+
b
a
b
dx f(x) lim
si ese lmite existe.
2 - Siendo f continua en (- , a],


a
dx ) x ( f
=


a
b
b
dx f(x) lim si ese lmite existe.

En ambos casos se dice que la integral propuesta, es una integral impropia
convergente.


Observaciones

1) Si f(x) 0 x[a,+] (o x[-, a] ) , el limite en la definicin puede considerarse
como el rea debajo de la grfica de f en ese intervalo.

2) Si el lmite de I
b
no existe o es infinito se dice que la integral diverge.


Podemos extender la definicin a toda la recta:

Definicin 2
Siendo f continua en ,


+
+ =
-
a
- a
dx f(x) dx f(x) ) ( dx x f si las dos integrales del
segundo miembro convergen.


Para cerrar esta presentacin y antes de proponerles la ejercitacin correspondiente
queremos enfatizar que las integrales simbolizadas


+
-
a
- a
dx f(x) ; dx f(x) ; dx ) x ( f
con a
Integrales impropias
202

donde f es continua, no pueden ser calculadas en trminos de la regla de Barrow. El
valor que puede ser asignado a cada una de ellas, proviene de un lmite. Si ese lmite
es un n real, se dice que la integral converge. En caso contrario, se dice que la
integral diverge, no pudiendo asignarse ningn valor a la misma.
Estas propuestas de integrales son llamadas integrales impropias.


Puede haber alguna otra situacin que escapa a cnones establecidos para resolver
una integral? Si! ya lo comentaremos ms adelante.

Ejemplo 2 Supongan que en una empresa se estima que se estar recaudando, por
algn concepto, al cabo de x semanas de iniciada una operacin, a razn de
f(x) = xe
3 - x
millones de pesos por semana. En qu momento la afluencia de dinero
ser mxima? Cunto ser lo recaudado en las tres primeras semanas? Cunto se
recaudara si el tiempo fuese ilimitado?

Para determinar cundo la afluencia de dinero ser mxima busquemos los puntos
crticos de f :
0 ) 1 ( ) ( '
3
= =

x e x f
x
x = 1

Observen que para 0< x < 1 f crece y para x >1 f decrece, por lo tanto
en x =1 la funcin tiene un mximo local ( en este caso tambin es mximo absoluto)

La afluencia de dinero ser mxima en la primera semana.
Lo recaudado en las tres primeras semanas ser:

+ =
3
0
3
086 , 16 e 4 dx ) x ( f millones de pesos
En tiempo ilimitado, la recaudacin ser:

+
0
) ( dx x f (si existe)
[ ] ( )
3 3 3
0
3 3
0
3
) 3 ( 4 ) ( e b e e x e e dx xe I
b b
b
x x
b
x
b
+ = + = =


=
+
b
b
I lim = e
3
20,086 millones de pesos.
Integrales impropias
203


Ejercicio 1 Decidan la convergencia divergencia da las siguientes integrales impropias:
a) dx
x
1
1

+
b)
( )
dx
x
-


0
2
1
1
c) dx e
0
x



d) dx e x
1
-
x -
2

e) dx e
1
-
x

f) dx
x 1
1
2
2
+
+


g)
dx
1 x
1
0
3

+
+
h) dx
x sen 1
x cos
0
2

+


Ejercicio 2 Por qu no converge
dx x cos
0

?
Ejercicio 3 Hallar el rea de la regin bajo la curva
1 - x 4
2
y
2
= a la derecha de
x = 1 (Ind: resolver por fracciones simples)

Ejercicio 4 Sea f(x) =
x
1
; x [1, +)
a) Comprueben que el volumen generado al rotar la grfica alrededor del eje x es .
b) Comprueben que el rea de la regin bajo la grfica es infinita.
c) Grafiquen ambas situaciones. Parece un resultado coherente?

Ejercicio 5 Hallar K de forma tal que : 1 dx
x 1
K

2
=
+



Comentario: la funcin f(x) =
2
x 1
K
+
se presenta en la teora de probabilidades y se
llama funcin de densidad de Cauchy. (Grafquenla).


Ejercicio 6 Comprueben que:

a)
4
1

) x 1 (
dx x
1
2 2
=
+

+
b)
2 x 2 x
dx
-
2
=
+ +

c)
a
1
dx e

0
ax -
=

+
( a > 0 )


Actividad 2

Si f es una funcin continua en [a,b] , o si tiene en [a,b] un n finito de discontinuidades
de primera especie, sabemos que existe

b
a
dx ) x ( f . Supongamos ahora que f es
continua en [a,b) y que + =

) (x f lm
b x
.


Integrales impropias
204













Tiene sentido la expresin
dx x f
b
a

) (
para positivo y prximo a cero? por qu?












Siendo
dx x f I
b
a

) (
, si

I lm
+
0
existe y es igual a un nmero real I ese
nmero I se adopta como resultado de

b
a
dx ) x ( f . Cuando as sucede y es
f(x) 0 en [a,b) , el nmero I puede interpretarse como rea debajo de la curva

y =f(x) en el intervalo.


Consideren ahora una funcin f continua en (a,b] con + =
+

) (x f lm
a x
( o )
Cmo procederan para decidir si se puede asignar un valor a

b
a
dx ) x ( f ?











a a+ b x
y
a b x
y
a b- b x
y
Integrales impropias
205


De acuerdo con los comentarios anteriores podemos dar la siguiente definicin:


Definicin 3

1- Siendo f continua en [a,b) y + =

) (x f lm
b x
o


+
=

b b
a
dx x f
a
0
dx f(x) lim ) ( si ese lmite existe.
2- Siendo f continua en (a,b] y + =
+

) (x f lm
a x
o


+

+
=
b
0
dx f(x) lim ) (

a
b
a
dx x f si ese lmite existe.


Observacin: Estas integrales tambin son llamadas integrales impropias y se dice que
convergen, si el lmite existe. Los lmites son llamados valores de las integrales
impropias. Si los lmites no existen las integrales impropias se dicen divergentes.


Ejemplo 4 Supongamos a , 0 > a .

a
0
2 2
x - a
dx
es una integral impropia pues
2 2
1
) (
x a
x f

= tiene en x = a una
discontinuidad infinita.

Considerando >0 pequeo, calculamos

a
a
dx
I
0
2 2
x -
, que existe pues
2 2
1
) (
x a
x f

= es continua en el intervalo [ ] a , 0
( ) 0
0
arcsen
a
a
arcsen
a
x
arcsen I
a
|

\
|
=
(

(
|

\
|
=



( )
2
1 lm
0 0

= = |

\
|
=
+ +

arcsen
a
a
arcsen I lm la integral converge a
2







Ejemplo 5 Decidir el comportamiento de

1
0
2
x
dx

La integral es impropia pues
2
1
) (
x
x f = , que es continua en { } 0 , tiene una
discontinuidad infinita en x = 0.
2
x -
a
0
2 2

a
dx

Integrales impropias
206

Para 0 > ,

1
1 -
x
1 -

x
dx
I
1
1
2
+ =
(

(
= =


1) -
1
( lim I lim
0 0

+ +

= pero este lmite es infinito, en consecuencia la integral
diverge.


Definicin 4
Sea f continua en [a,c) U (c,b] con + =

) (x f lm
c x
(o ) y + =
+

) (x f lm
c x
(o )


+ =
b
a
dx f(x) dx f(x) ) (
c
c b
a
dx x f siempre que las dos integrales impropias del
segundo miembro sean convergentes.
Cuando esto sucede decimos que
) (

b
a
dx x f
es una integral impropia convergente.












Ejemplo 6 Analizar dx
) 1 - (
2
3
0 3
2
2

x
x

Observen que
3
2
2
) 1 - (
2
) (
x
x
x f = es continua en [ ] { } 1 3 , 0 siendo + =

3
2
2
1
) 1 - (
2
x
x
lm
x
y
+ =
+

3
2
2
1
) 1 - (
2
x
x
lm
x
(la funcin a integrar tiene una discontinuidad infinita en un

valor intermedio entre los lmites 0 y 3, siendo continua para el resto de los valores
de x )

Deben analizarse entonces dos integrales:
i)
dx
) 1 - (
2
1
0
3
2
2

x
x
y ii)
dx
) 1 - (
2
3
1
3
2
2

x
x


i) Sea
( )
dx
x
x
I

1
0
3
2
2
1
2
= ( )

(

1
0
3
1
2
1 3 x = ( ) 1 1 ) 1 ( 3
3
2
+ 3 I lim
0
=
+


a c b
Integrales impropias
207



( )
3
1
2
1
0
3
2
2
=

dx
x
x


ii) Sea ] 1 - ) 1 ( - 1 9 [ 3 ) 1 x ( 3
1) - (
2
3
2 3
3
1
3
1
2
3
1
3
2
2
= + =
(

(
= =
+
+

e
x
xdx
I

] 1 - ) 1 ( - 2 3[
3
2
+ = 6 I lim
0
=
+


( )
6
1
2
3
1
3
2
2
=

dx
x
x

Conclusin:
dx
) 1 - x (
x 2
3
0
3
2
2

es una integral impropia convergente




9 6 3 dx
) 1 - (
2
3
0
3
2
2
= + =

x
x


Ejercicio 10 Analicen la integral


2
0
2
) 1 x (
dx
y comprueben que diverge.
Observen: si intentaran incorrectamente resolver


2
0
2
) 1 x (
dx
aplicando la regla de
Barrow ignorando la discontinuidad de la funcin en x = 1 qu resultado tendran ?


Ejercicio 11 Verifiquen cada uno de los siguientes resultados:

a)
3
44

x 5
xdx
5
1
=

b) 3
4
1

x 4 x
dx
2
1
2 2
=





Criterios para la convergencia y la divergencia
Actividad 3 Estudiemos la convergencia de dx e
x

1
2
.
No nos es posible en este caso resolver


=
b
b
dx
x
e I
1
2
y calcular
b
b
I lm
+
,
pero observen: 1)


=
b
b
dx
x
e I
1
2
es una funcin creciente de b (por qu?)
2) Dado que
2
x
e


x
e

para todo x 1,

36788 . 0
1 1
1 1
2
< + =

e e e e I
b
b
b
b
dx
x
e dx
x

Integrales impropias
208


Por lo tanto, existe
b
b
I lm
+
(es un nmero real menor que 0.36788) y podemos
afirmar entonces que dx e
x

1
2
es una integral impropia convergente (aunque
desconocemos a qu valor converge).


Supongan ahora que f y g son dos funciones cualesquiera, continuas en [a,+) y
tales que que 0 f(x) g(x) para todo x a. Supongan tambin que dx x g
a

+
) (
converge. Podran afirmar que dx x f
a

+
) ( converge? por qu?
________________________________________________________________

Criterio de comparacin directa

Sean f y g dos funciones continuas en [a,+) con 0 f(x) g(x) para todo x a .
1. Si dx x g
a

+
) ( converge entonces dx x f
a

+
) ( converge
2. Si dx x f
a

+
) ( diverge entonces dx x g
a

+
) ( diverge
_____________________________________________________________________


Ejercicio 13 Analicen el comportamiento de las siguientes integrales impropias
aplicando el criterio de comparacin directa

a) dx
x
x sen

1
2
2
b) dx
x

1
1 . 0
1
2
c) dx
x
x

+
0
2
1



El siguiente criterio dice que si dos funciones positivas crecen a la misma razn cuando
x, entonces sus integrales se comportan en forma similar: ambas divergen o ambas
convergen (no necesariamente al mismo valor)

______________________________________________________________

Criterio de comparacin del lmite.
Si las funciones f y g son continuas y positivas en [a, +) y L
x g
x f
x
=

) (
) (
lim
(0 < L < ) entonces dx x f
a

) ( y dx x g
a

) ( son ambas convergentes o ambas


divergen.
_____________________________________________________________________

Integrales impropias
209


Ejercicio 14 Haciendo uso del criterio de comparacin del lmite, analicen el
comportamiento de las integrales a) dx
x

+
1
2
1
y dx
x

+
+
1
1
1
2

b) dx
x

+
1
1
y dx
x
x

+
+
1
1



Ejercicio 15 Criterios de convergencia similares a los anteriores pueden aplicarse a
integrales impropias con intervalo de integracin acotado.
a) Vean que dx
x
x


3
1
1
2
converge y usen esa informacin para estudiar el
comportamiento de dx
x


3
1
1
1
2
.
b) Vean que para 1 0 < x es
2 2
2
4
1
2
1
x x
x

y usen esa informacin para estudiar
el comportamiento de
x x
dx


1
0
2 2
4

c) Vean que
x
dx x


2
1
2
4
converge y usen esa informacin para estudiar el
comportamiento de
x x
dx
2


2
1
2
4


Uso de MAPLE
Para calcular integrales impropias se usan los comandos que se muestran a
continuacin

> limit(int( 1/x, x),x = infinity);
> limit(int( 1/x, x = a..5), a=0);
> limit(int( 1/x^2, x), x = infinity);
> limit(int( 1/sqrt(x), x = a..5), a=0);

Comentario:
Situaciones equivalentes a las estudiadas hasta aqu en este captulo podran
presentarse en integrales mltiples.
Por ejemplo, dA
y x
R
2 2
1
donde { } 1 1 / ) , ( = y x y x R , dA e
R
y x

+ ) (
2 2
donde
2
= R
y A d
x
R

+
2 2
y
1
con { } 1 / ) , (
2
+ = y x y x R
2
son integrales dobles impropias.
Las dos primeras integrales son impropias ya que el dominio de integracin no es
acotado. En el tercer caso, el dominio de integracin es acotado pero la integral es
impropia dado que el integrando es una funcin que no est definida en R ) 0 , 0 ( y
toma valores tan grandes como se quiera considerando 1 0
2 2
+ < y x .


Integrales impropias
210

Al igual que con las integrales impropias en una variable, el valor que puede asignarse a
integrales como estas (cuando existe) proviene de un lmite.

En relacin a la integral impropia A d
x
R

+
2 2
y
1
con { } 1 / ) , (
2
+ = y x y x R
2
vean que,
siendo R

= { (x,y) /
2
x
2
+ y
2
1 } con ( ] 1 , 0 , podemos resolver la integral doble

2 2
y +
=

x
dA
I
R


] )
1

1
( ln 2 ] ln - 1 ln [ 2 d r ln
r
d dr
d dr
r
r
I
2
0
2
0
1 2
0
1
2
= = = = =













Cuando 0
+
las coronas circulares R

cubren la regin R pero sucede que


I lim
0

no existe y entonces

+
R
2 2
y x
dA

es una integral impropia divergente (no es
posible asignarle un valor).


La integral dA e
R
y x

+ ) (
2 2
es en cambio una integral impropia convergente que
converge al nmero . Para comprender el significado de esa afirmacin, vean que,
en este caso, siendo { }
2 2 2
/ ) , ( n y x y x R
n
+ = , se tiene:
dA e I
n
R
y x
n

+
=
) (
2 2
] 1 [-e ]
2
1
e
2
1
[- 2 d e
2
1
- d dr r e
2 2 2 2
n - n -
2
0
n
r -
2
0
n
r -
+ = + =
(

(
= =



0
0






Cuando n tiende a infinito los crculos R
n
cubren
2
y
I lim =

n
n
.



x
y
1

n
Integrales impropias
211


Vean tambin que
2
podra cubrirse con otros conjuntos cerrados y acotados como
por ejemplo con los cuadrados { } m y m m x m y x R
m
= , / ) , (
~
se obtiene el
mismo resultado al calcular
dA e lm
m
R
y x
m

+

~
) (
2 2
? Siendo 0 ) , (
) (
2 2
> =
+ y x
e y x f para
todo (x,y) y observando que
m m m
R R R
2
~
, se obtiene la desigualdad

+
dA e
m
R
y x ) (
2 2

+
dA e
m
R
y x
~
) (
2 2
dA e
m
R
y x

+
2
2 2
) (
de la que se deduce que la
respuesta es afirmativa.




Para finalizar, encontraremos el valor al que converge
dx e
x

2
. Aplicando el
criterio de comparacin, puede demostrarse que dicha integral es una integral impropia
convergente, pero a qu nmero converge? No sabramos averiguarlo a partir de la
definicin.
Como hemos dicho antes, si { } m y m m x m y x R
m
= , / ) , (
~
,
=

+

dA e lm
m
R
y x
m
~
) (
2 2

Como



= = = =
+
m
m
m
m
m
m
m
m
y x y x
R R
dx dy e e dx dy e e dA e e dA e
m m
y x y x
2 2 2 2
~ ~
2 2
)
2 2
(



2
2 2 2
|
|

\
|
=
|
|

\
|
|
|

\
|
=

m
m
x
m
m
y
m
m
x
dx e dy e dx e
debe ser
=
|
|

\
|

+
2
2
m
m
x
m
dx e lm


y por lo tanto,



+
= = =
m
m
x x
m
m
m
x
m
dx e dx e lm dx e lm
0
0
2 2 2
2 2
entonces
=

dx e
x
2


As, por medio de una integral doble impropia, se ha evaluado una integral simple
impropia de gran importancia. Es difcil encontrar directamente este valor, dado que
2
x
e

no tiene una primitiva que pueda expresarse en trminos de funciones elementales.

m
2m
Sucesiones


212
Sucesiones numricas

Una sucesin numrica puede pensarse como una lista (finita o infinita) de nmeros
escritos en un orden determinado:

1
a ,
2
a ,
3
a ,
4
a , .......... ,
n
a ,

Observen que
1
a es el primer trmino de la sucesin,
2
a el segundo trmino, y, en
general,
n
a es el n-simo trmino que tendr como sucesor en la lista a
1 + n
a .
Podemos decir entonces que n es el lugar que el nmero
n
a ocupa en la lista.
Puesta la lista en forma de tabla


lugar 1 2 3 4 5 n n+1
valor
1
a
2
a
3
a
4
a
5
a

n
a
1 + n
a


nos hace pensar a la sucesin como una funcin f cuyo dominio es el conjunto de los
enteros positivos. O sea, f (n) =
n
a

La sucesin
1
a ,
2
a ,
3
a ,
4
a , .... ,
n
a , se indica a veces { }

=1 n n
a
o tambin {
n
a } (cuando se sobreentiende la variacin del ndice)
n
a

es el trmino n-simo o trmino general de la sucesin,

Ejemplos

. { }

=1 n n
a con
n
a = c, es una sucesin constante (todos sus trminos son iguales a c)

. { }

=1 n n
a donde
n
a = n es la sucesin de los nmeros naturales

La sucesin consta de los trminos 1, 2, 3, 4, 5, . . . , n, . . .

. El trmino general de la sucesin 1,
2
1
,
3
1
,
4
1
,
5
1
,
6
1
,
7
1
,.. es
n
a =
n
1


. Sea { }

=1 n n
a con
n
a = (-1)
n


Esta sucesin consta de los trminos -1, 1, -1, 1, -1, 1, ...., (-1)
n
,.....



. Para n entero y mayor o igual a cero, se llama factorial de n y se denota n!

al nmero definido de la siguiente manera:
( )


=
=
1 ! 1 .
0 1
!
n si n n
n si
n
Sucesiones


213
de manera que : 0! =1
1! = 1 . 0! = 1 . 1 = 1
2! = 2 . 1! = 2 . 1 = 2
3! = 3 . 2! = 3 . 2 = 6
4! = 4 . 3! = .

Sea { }

=0 n n
a con
n
a = n ! (vean que no necesariamente el valor inicial del ndice
debe ser 1 ) Los primeros trminos de esta sucesin son:

1, 1, 2, 6, 24, 120, 720, 5040,....... (Verifquenlo!)

. La sucesin 3 , 7 , 11 , 15 , 19 , 23 , . . . tiene primer trmino igual a 3 y luego
cada trmino se obtiene sumando el nmero 4 al trmino anterior . Podramos
expresarla de la siguiente manera:

{ }

=1 n n
a con 3
1
= a y 4
1
+ =
n n
a a para 2 n

Es esta una progresin aritmtica de primer trmino 3 y diferencia 4.

En general, se llama progresin aritmtica de primer trmino a y diferencia h, a
toda sucesin que pueda definirse de la siguiente manera:

a
1
= a ; a
n
= a
n-1
+ h si 2 n

. La sucesin 1 , - 4 , 16 , - 64 , 256, . . . tiene primer trmino igual a 1 y
luego cada trmino se obtiene multiplicando por (- 4) al trmino anterior . Podramos
expresarla de la siguiente manera:

{ }

=1 n n
a con 1
1
= a y ) 4 ( .
1
=
n n
a a para 2 n

Es esta una progresin geomtrica de primer trmino 1 y razn igual a - 4

En general, se llama progresin geomtrica de primer trmino a y razn r, a toda
sucesin que pueda definirse de la siguiente manera

a
1
= a ; a
n
= a
n-1
. r si 2 n

Los n primeros trminos de una progresin geomtrica de primer trmino a y
razn r son: a , a.r , a.r
2
, a.r
3
,., a.r
n- 1


. Las sucesiones cuyos trminos se definen en funcin de los anteriores (como
sucede en las progresiones aritmticas y geomtricas) reciben el nombre de
sucesiones recurrentes.Un ejemplo muy citado de sucesin de sucesin recurrente es
la sucesin de Fibonacci:

1
1
= a ; 1
2
= a y
n
a
n
a a
n
+
+
=
+
1
2
, para 3 n .


Los primeros trminos de la sucesin de Fibonacci son:

Sucesiones


214
1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144,......


Esta sucesin de nmeros aparece en la Naturaleza en formas curiosas.




















Actividad (para realizar fuera del horario de clase):
En todo colmenar hay un tipo especial de abejas llamadas "reina". Hay otro tipo,
tambin hembras, que se llaman "trabajadoras" que a diferencia de las reinas no
producen huevos. Hay abejas "machos" que no trabajan y que son engendrados por los
huevos no fertilizados de las reinas, por lo tanto tienen madre pero no padre. Todas las
hembras son engendradas por la unin de la reina con un macho, de manera que las
hembras tienen padre y madre.
De acuerdo al relato anterior, les pedimos que:
a) Construyan el diagrama de rbol genealgico de una abeja macho, colocando al
macho en la base del diagrama.
b) Cuntos padres tiene?
c) Cuntos abuelos?
d) Cuntos bisabuelos? y tatarabuelos? y choznos?
e) Escriban una sucesin con los valores obtenidos de las respuestas anteriores.
Observan alguna particularidad?
f) Construyan ahora el rbol genealgico de una abeja hembra, y respondan las
mismas preguntas anteriores hay alguna similitud?
g) Construyan su propio rbol genealgico. Se mantienen las mismas relaciones
anteriores? Por qu?
h) Escriban el trmino general de cada una de las sucesiones obtenidas.




Las escamas de una pia estn dispuestas en espiral
alrededor del vrtice. Si contamos el nmero de espiras de
una pia, encontraremos que siempre es igual a uno de los
nmeros de la sucesin de Fibonacci.

La misma sucesin aparece tambin en el estudio de las
leyes mendelianas de la herencia, en la divergencia foliar,
en la formacin de la concha de algunos moluscos...

Una manera prctica de dibujar una espiral consiste en
disponer sucesivos cuadrados cuyos lados tienen
longitudes que coinciden con los nmeros de Fibonacci y
unir con un arco de circunferencia los vrtices opuestos
de cada nuevo cuadrado que se aade.

Sucesiones


215
Hagamos un poco de historia
Quin fue Fibonacci? Leonardo de Pisa, mejor conocido por su apodo Fibonacci
(que significa hijo de Bonacci) naci en la ciudad italiana de Pisa y vivi de 1170 a
1250. Su padre trabajaba como representante de la casa comercial italiana ms
importante de la poca, en el norte de frica. Este lo anim a estudiar matemticas.
Leonardo recibi este tipo de enseanza de maestros rabes. Se convirti en un
especialista en Aritmtica y en los distintos sistemas de numeracin que se usaban
entonces. Convencido de que el sistema indo-arbigo era superior a cualquiera de los
que estaban en uso, decidi llevar este sistema a Italia y a toda Europa, en donde an
se usaban los numerales romanos y el baco. Escribi gran cantidad de libros y textos
de matemticas: Liber Abaci escrito en 1202, Practica Geometriae en 1220, Flos en
1225 y Liber Quadratorum en 1227. Es importante destacar que en esa poca no exista
la imprenta, por lo tanto los libros y sus copias eran escritos a mano. Fue sin duda el
matemtico ms original de la poca medieval cristiana.



Ejercicio 1 Escriban los cuatro primeros trminos de las sucesiones definidas a
continuacin.

a) a
n
= 3
n
, n 1 b) b
n
= 2n
2
+ 3n 4 , n 1
c) c
n
= ( 1)
n
n
2
, n 1 d) d
1
= 0 ; 3
1
+ =
n n
d d , n 2

Ejercicio 2 Escriban una frmula para el trmino general de las siguientes
sucesiones.
a) 1 , 2 , 4 , 8 , 16 , 32 , . . . c) 1 , -1 , 1 , -1 , 1 , -1 , . .
b) 1 , 8 , 27 , 64 , 125 , . . . d) 2, 5 , 8 , 11 , 14, . . .

Ejercicio 3 Para la sucesin definida por : s
n
= 2n 1 , n 1

a) Determinen s
3
,

s
8
y

s
100


b) Escriban una frmula que defina la misma sucesin tomando como ndice inicial 0.


Convergencia de sucesiones
Actividad 1 Consideren las sucesiones: 1)

=
)
`

1 n
n
1
2) { }

1
) 1 (
n
n
3) { }

=1
2
n
n
Se aproximan a algn valor los trminos de cada una de las sucesiones cuando n
se hace muy grande?


En el caso 1) los trminos de la sucesin son tan cercanos a cero como se quiera
considerando valores de n suficientemente grandes. Decimos:
n
1
tiende a cero
cuando n tiende a y escribimos 0
1
=

n
lm
n


Sucesiones


216

En el caso 2) los trminos de la sucesin son -1, 1, -1, 1, -1, 1, .... . Claramente no se
acercan a ningn valor ( no existe ( )
n
n
lm 1

)

En el caso 3) los trminos de la sucesin no se aproximan a ningn valor a medida
que n se hace cada vez ms grande : son tan grandes como se quiera considerando
valores de n suficientemente grandes ( =

2
n lm
n
)

_____________________________________________________________________

Decimos que {a
n
} es una sucesin convergente (que converge a L ) cuando
L a lm
n
n
=

,( L ) lo que significa que los trminos a
n
se acercan tanto como se quiera
a L considerando valores de n suficientemente grandes. Si esto no sucede se dice que la
sucesin es divergente.

_____________________________________________________________________

La sucesin

=
)
`

1 n
n
1
es una sucesin convergente (converge a 0) Los casos 2) y 3)
son ejemplos de sucesiones divergentes.


Actividad 2
Los griegos en tiempos remotos dieron una respuesta geomtrica al problema del
clculo del rea de un crculo consistente en aproximar la regin por medio de una
sucesin de polgonos inscriptos cuyas reas, al aumentar suficientemente el n de
lados, representan prcticamente el rea buscada.

Para un crculo de radio 1, consideren polgonos regulares inscriptos P
1
de 4 lados, P
2

de 8 lados, P
3
de 16 lados . . . etc.











Escriban la sucesin de las reas de estos polgonos. Cmo se puede pensar el
rea del crculo?


Actividad 3
Observen las figuras siguientes que ilustran varias maneras en las que una sucesin
{a
n
} puede ser convergente a un nmero L.


Sucesiones


217


Observacin importante! Si {a
n
} converge, entonces, para >0 cualquiera, todos los
trminos a
n
, excepto eventualmente un nmero finito de ellos (que corresponden a
n <

N
), estn en el intervalo (L - ; L + )


Ejercicio 4 Determinen
n
n
a lm

, si es que existe, en los siguientes casos.
(Indicacin: procedan tal como lo hacen en la evaluacin del lmite para x tendiendo a
infinito de una funcin f(x))

a)
1
10
+
=
n
a
n
b)
1 +
=
n
n
a
n
c)
1 6
2 3
+

=
n
n
a
n
d) ) cos( n a
n
=
e) ) ( n sen a
n
= f)
n
n
a
n
) ln(
= g)
n
n
a
n

=
4 6
2 3
h)
n
e n a
n

=
3


Ejercicio 5 Analicen si las siguientes sucesiones son progresiones geomtricas.
Si lo son cul es la razn? Son sucesiones convergentes?

a)

\
|
n
2
3
b) { }
n
e

c)

\
|
n
2
1

A partir de este ejercicio qu pueden concluir para la sucesin { }
n
r ? Le sugerimos
que considere los casos en que r <1, r =1 y r > 1


Uso de MAPLE
Para generar sucesiones (numricas o no) podemos utilizar el comando seq como se
muestra en el siguiente ejemplo:
> pares:=seq (2*i,i=1..10); (En pares se guardan los primeros diez nmeros
pares)



Sucesiones


218
Podemos luego acceder a la sucesin completa escribiendo simplemente
> pares;

O a algn elemento en particular escribiendo:
> pares[3];

El comando For...do se emplea para repetir un cierto nmero de veces una serie de
instrucciones y se puede utilizar para generar sucesiones elemento por elemento.
Generemos los nmeros pares del 2 al 20:
> for k from 1 to 10 do;
2*k;
od;

Asignemos un nombre a cada elemento:
> for k from 1 to 10 do;
a[k]:=2*k;
od;
Definiendo la sucesin de este modo podemos recuperar los nmeros generados. Por
ejemplo el quinto par es:
> a[5];

El comando Plot se utiliza para graficar funciones o listas de puntos. Vamos a usar
esto ltimo para dibujar algunos puntos en el plano
> plot ([[1.2,1.8],[2,2],[1,-1]],style=point,color=red);
> plot ([[1.2,1.8],[2,2],[1,-1]],style=line);

Grafiquemos la sucesin = a
n
1
n
en el plano:
> a:=seq([n,1/n],n=1..40);
> grafa:=plot([a],style=point,color=blue):
> grafa;

Para visualizar la propiedad que se conoce como Lema del sndwich, grafiquemos
en un mismo sistema de coordenadas la sucesin { }
n
a anterior y las sucesiones que
tienen trmino general
= b
n
( ) sin 15 n
n
y = c
n

1
n


Para graficar las tres sucesiones juntas se utiliza el comando display. Este comando
se encuentra en el paquete plots , el cual antes deber ser "bajado" con el comando
with:
> b:=seq([n,sin(15*n)/n],n=1..40):
>grafb:=plot([b],style=point,color=red):

>c:=seq([n,-1/n],n=1..40):
>grafc:=plot([c],style=point,color=green):

> with(plots):
>display([grafa,grafb,grafc],axes=normal,title="Lema del
sandwich.",
xtickmarks=0,symbol=circle);

Grafiquen la sucesin
= a
n
|
\

|
|
+ 1
1
n
n


Sucesiones



219
Algo ms sobre sucesiones

Una sucesin { }
N n n
a

est acotada superiormente si existe algn nmero C tal


que, para todo nN, a
n
C y est acotada inferiormente si existe algn nmero
K tal que para todo nN, , a
n
K.

Se dice que { }
N n n
a

est acotada si lo est superior e inferiormente. Esto equivale a


que exista un nmero M > 0 tal que, para todo n, M a
n
<


Verifiquen que:


N n
n

)
`

1
est acotada superiormente por 1 e inferiormente por 0
{ }
N n
n

) 1 ( est acotada superiormente por 1 e inferiormente por (-1)



N n
n

)
`

\
|
3
2
est acotada superiormente por 1 e inferiormente por 0

N n
n

)
`

\
|
3
4
est acotada inferiormente por 1


Sucesiones montonas

Las definiciones sobre monotona de sucesiones se obtienen particularizando a
sucesiones las que estudiaron sobre monotona de funciones. Esto equivale a lo
siguiente:

a) Una sucesin {a
n
} es montona creciente si y slo si para todo n es a
n
a
n+1


b) Una sucesin {a
n
} es montona decreciente si y slo si para todo n es a
n
a
n+1


c) Una sucesin {a
n
} es estrictamente creciente si y slo si para todo n es a
n
< a
n+1


d) Una sucesin {a
n
} es estrictamente decreciente si y slo si para todon es a
n
> a
n+1


e) Una sucesin se dice que es montona si es de alguno de los tipos anteriores.


Resultados tiles:
.Toda sucesin montona creciente y acotada superiormente es convergente
.Toda sucesin montona decreciente y acotada inferiormente es convergente
.Toda sucesin convergente est acotada.

Tarea: Ejemplifiquen las situaciones planteadas en Resultados tiles y comprueben
la validez de cada una de las afirmaciones.


Sucesiones



220
Ejemplo 1 Puede demostrarse que la sucesin de trmino n-simo
n
n
n
a
|

\
|
+ =
1
1 es
una sucesin estrictamente creciente y acotada superiormente por 3 (calculen
algunos trminos de la sucesin) y, por lo tanto, es una sucesin convergente. El lmite
de esta sucesin es el nmero e, base de los logaritmos neperianos o naturales y de la
funcin exponencial.

Ejemplo 2 La sucesin {x
n
} es montona decreciente y acotada si x [0,1); su lmite
es 0 si x [0,1). Si x = 1 es una sucesin constante. Cuando x (1,+), la sucesin
{x
n
} es estrictamente creciente y no acotada. Verifquenlo !!



Series numricas


Informalmente, una serie es una suma de infinitos sumandos (?) que se denota

=1 n
n
a o tambin . . . . . . .
2 1
+ + + +
n
a a a

Sumas de ese tipo usamos implcitamente al considerar desarrollos decimales de
nmeros. Por ejemplo: la igualdad . .......... 3333333333 , 2
3
7
= significa
.... ..........
10
3
........
1000
3
100
3
10
3
2
3
7
+ + + + + + =
n

(cmo se entiende esa suma con infinitos sumandos de la forma
n
10
3
?)

Reflexionen sobre las situaciones que plantean los siguientes problemas:

Problema 1 : Se deja caer una pelota desde una altura inicial de 15 m sobre una losa
de concreto. Cada vez que rebota, alcanza una altura que es 2/3 de la altura anterior.
Interprete grficamente. Determine la altura que alcanza en su tercer rebote, y halle la
expresin de la altura en su n-simo rebote. Si la pelota rebotara indefinidamente,
cul sera la suma de las alturas verticales recorridas?.


Problema 2 : Consideren la expresin 1 - 1 + 1 - 1 + 1 - 1 +........

Qu nmero le asignaran a la suma?

Puede que alguien piense en simplificar en forma consecutiva los trminos y
responda 0, pero tal vez otro estudiante separe el primer trmino (por qu no?) y,
simplificando los siguientes, responda 1. . . Qu piensan al respecto?

Series numricas



221

En general, dada una sucesin cualquiera { }
n
a , qu sentido habr que darle a la
expresin

=1 n
n
a ? La respuesta se impone de modo natural:
el valor que asignemos a

=1 n
n
a tiene que ser el

=

n
i
i
n
a
1
lim cuando ese lmite exista,
o sea que, a partir de la sucesin de sumandos { }
n
a formaremos una nueva sucesin
(de sumas parciales) { }
n
S donde
n
n
i
i n
a a a a a S + + + = =

=
.......
3 2 1
1
, n N y
estudiaremos el lmite de la sucesin{ }
n
S

Ejemplo 1 Para la sucesin

)
`

1
1
10
3
n
n

la sucesin de sumas parciales es:


3
1
= S

10
3
3
2
+ = S

2
3
10
3
10
3
3 + + = S


3 2
4
10
3
10
3
10
3
3 + + + = S

........................

1 3 2
10
3
. . .
10
3
10
3
10
3
3

+ + + + + =
n
n
S

..........................


Vean:
1 3 2
10
3
. . .
10
3
10
3
10
3
3

+ + + + + =
n
n
S


n
n
S
10
3
. . .
10
3
10
3
10
3
10
3
10
1
4 3 2
+ + + + + =


Restando miembro a miembro esas igualdades obtenemos:


n
n n
S S
10
3
3
10
1
=

|

\
|
= |

\
|

n
n
S
10
3
1 3
10
1
1


y podemos as , en este caso, expresar en forma sinttica la suma parcial n-sima S
n
:


|

\
|

|

\
|

=
10
1
1
10
3
1 3
n
n
S
, y evaluar el lmite :
9
30
10
1
1
3
10
1
1
10
3
1 3
=

=
|

\
|

|

\
|

=

n
n
n
n
lm S lm





Series numricas



222
La sucesin { }
n
S es entonces en este caso una sucesin convergente que converge a
7
30
. Siendo as, decimos que la serie

1
1
10
3
n
n
converge a
7
30 o
equivalentemente, que

1
1
10
3
n
n
es una serie convergente y su suma es
7
30 y

escribimos:
7
30
10
3
1
1
=

n
n



Ejemplo 2 Para la sucesin { }

=1 n n
a con ( )
1
1
+
=
n
n
a la correspondiente
sucesin de sumas parciales ser:

S
1
= 1 , S
2
= 0 , S
3
= 1 , S
4
= 0 ,


o sea:

=
par es n si
impar es n si
S
n
0
1
. Claramente la sucesin { }
n
S diverge.

Siendo as, no es posible asignar un valor a

=
+

1
1
) 1 (
n
n
y decimos en este caso que:
la serie

=
+

1
1
) 1 (
n
n
es divergente


Resumiendo:
_____________________________________________________________________
Si { }
n
a es una sucesin infinita de nmeros reales, entonces el smbolo

=1 n
n
a
representa una serie infinita (o simplemente una serie ).

n
a es el trmino general de la serie
S
n = = = =
1
a +
2
a +
3
a +
4
a + ....+
n
a es la n-sima suma parcial
{ }
n
S es la sucesin de sumas parciales
Si la sucesin de sumas parciales { }
n
S converge a un nmero S, esto es, si
S S lm
n
n
=

, diremos que la serie

=1 n
n
a converge a S. .. . Adems, llamaremos a S
suma de la serie y escribiremos S a
n
n
=

=1

Si la sucesin { }
n
S diverge, diremos que la serie

=1 n
n
a es divergente.
____________________________________________________________________________
Series numricas



223

A partir de lo dicho queda claro que hablar de una serie es hablar de una sucesin de
sumas parciales y tiene sentido adoptar la siguiente definicin formal:

Dada una sucesin infinita de nmeros reales { }
n
a , llamamos serie de trmino general
n
a y denotamos

=1 n
n
a a la sucesin de sumas parciales { }
n
S donde
S
n = = = =
1
a +
2
a +
3
a +
4
a + ....+
n
a


Algunos ejemplos de series que tienen una forma especial

En general, no son muchas las series que pueden ser estudiadas usando directamente
la definicin (esto es, calculando el lmite de la sucesin de sumas parciales). Una
excepcin son las series geomtricas y las telescpicas, cuya convergencia es fcil
de estudiar, y, cuando resultan convergentes, hasta se puede encontrar el valor de la
suma.
_____________________________________________________________________

Series geomtricas

1
1
n
n
r a es una serie geomtrica de primer trmino a y razn r

( a y r son nmeros reales fijos, diferentes de cero)

i) Si r< 1 la serie converge, y su suma es
r
a
1

ii) Si r 1 la serie diverge.
_____________________________________________________


En efecto, la suma parcial n-sima es en este caso:


1 2
. . .

+ + + + =
n
n
ar ar ar a S
entonces,
n
n
ar ar ar ar S r + + + + = . . .
3 2


de donde se obtiene, si 1 r ,
r
ar a
S
n
n

=
1



Por otro lado, si 1 = r , a n a a a S
n
= + + + = ...

Evalen el
n
n
S lm

de acuerdo a los posibles valores de r ( r< 1 , r>1 , r=-1 y
r =1 ) para justificar la validez de las afirmaciones i) y ii)



Series numricas



224
Observacin: Escribimos por lo general

=1 n
n
a para referirnos a una serie, pero
tengan en cuenta que la variacin del ndice puede comenzar a partir de un natural
cualquiera o desde cero.

Ejercicio 1 Muestren que, siendo r< 1

=k n
n
r a
r
ar
k

=
1


Ejercicio 2 Estudien la convergencia de las siguientes series, y en caso de ser
posible, obtenga su suma:

a)

=
|

\
|
0
n
2
3

n
b)

=0
3n
7
2

n
n
c)

=2
n
4
(-1)

n
n



Ejercicio 3 Muestren que 2,99999......... = 3

_______________________________________________________________

Series telescpicas:
( )

=
+

1
1
n
n
n
b b es una serie telescpica

La peculiar forma de su trmino general nos permite expresar la suma parcial
n
S en
forma sinttica:


( ) ( ) ( ) ( ) ( )
1 1 1 1 4 3 3 2 2 1 + +
= + + + + + =
n n n n n n
b b b b b b ... b b b b b b S


_____________________________________________________________________

Ejemplo 3 Observe que el trmino general de la serie

=
+ +
1 n
5) 4)(n (n
1

|

\
|
+ +
=
) n )( n (
n
a
5 4
1
, puede expresarse usando fracciones parciales en la forma
1
5
1
4
1
+
=
+

+
=
n
b
n
b
) n ( ) n (
n
a (verifiquen). Se trata entonces de una serie
telescpica.


(

+
+ + + + =
5
1
4
1
8
1
7
1
7
1
6
1
6
1
5
1
n n
.......
n
S


5
1
4
1
8
1
7
1
7
1
6
1
6
1
5
1
+

+
+ + + + =
n n
.......
5
1
5
1
+
=
n



5
1
=

n
n
S lm

Series numricas



225
Por lo tanto:

=
+ +
1 n
5) 4)(n (n
1
=

=
|

\
|
+

+
1 n
) 5 n (
1
) 4 n (
1
=
5
1



Ejercicio 4 Hallen la sucesin de sumas parciales S
n
para las siguientes series,
analicen si convergen y, en caso de ser posible, encuentren la suma.

a)

=

1
2
1 4
1
n
n
b)

=
+
1
) 1 (
1
n
n n
c) ( )

=
+
1
1
n
n n


Propiedades de las series

A partir de las propiedades de las sumas:
.

= =
=
n
i
i
n
i
i
a c a c
1 1
. . ( )

= =
+ =
=
+
n
i
i
n
i
i
b a a
n
i
i
b
i
1 1
1


y las de los lmites :
. Si L A lm
n
n
=

entonces L c cA lm
n
n
. =


. Si
1
L A lm
n
n
=

y
2
L B lm
n
n
=

entonces ( )
2 1
L L B A lm
n n
n
+ = +



se deduce que :
__________________________________________________________________
Si

=1 n
n
a = A ,

=1 n
n
b = B y c es un nmero real entonces
a) A c a c
n
n

1
=

=
b)

=
+ = +
1
) (
n
n n
B A b a

( o sea: si

=1 n
n
a y

=1 n
n
b son series convergentes entonces son tambin
convergentes las series

=1 n
n
ca y

=
+
1
) (
n
n n
b a )
__________________________________________________________________

Y por lo tanto, podemos afirmar tambin que:
___________________________________________________________________
Si

=1 n
n
a y

=1 n
n
b son dos series y c 0 es un nmero real, entonces
a) Si

=1 n
n
a diverge

=1

n
n
a c diverge

b) Si

=1 n
n
a diverge y

=1 n
n
b converge

=
+
1
) (
n
n n
b a diverge.

_____________________________________________________________________
Series numricas



226
Al depender la convergencia de una serie de la existencia del lmite de las sumas
parciales, es evidente que los primeros trminos (cualquier cantidad finita, por grande
que sta sea) de una serie no afectan la convergencia o divergencia de dicha serie,
aunque su suma, en caso de existir, se vea, eventualmente modificada. Queda claro
entonces que si se suprimen los N primeros trminos de una serie no se modifica su
comportamiento.

Podemos enunciar lo anterior de la siguiente manera:

_____________________________________________________________________
Para todo N, las series

=1 n
n
a y

+ = 1 N n
n
a son ambas convergentes o ambas
divergentes.

Si S a
N n
n
=

+ = 1
entonces

=1 n
n
a = S a a a
N
+ + + + ...
2 1

_____________________________________________________________________



Ejercicio 5 Estudien la convergencia de las siguientes series, y en caso de ser
posible, obtengan su suma:

a)

=
+
0
n 3
7
2

n
n
b)

1
6
3 2

n
n
n n
c)

=
(

\
|

\
|
1
5
2
5
6

n
n n


Ejercicio 6 Hallen la suma de la serie: 4 6 + + 1+
2
1
+
4
1
+..........+
n
2
1
+ ......


Observacin: Al ir estudiando este tema, vemos que hay dos cuestiones bsicas
acerca de las series: converge?, y si converge, cul es su suma?. No siempre son
fciles de contestar, sobre todo la segunda. Comenzaremos nuestra bsqueda de
respuestas con un sencillo teorema conocido como el criterio de condicin necesaria:


_____________________________________________________________________

Teorema (Condicin necesaria para la convergencia de una serie):
Si la serie

=1 n
n
a es convergente entonces 0 =

n
n
a lm
_____________________________________________________________________


Observaciones: 1) La demostracin es inmediata escribiendo
1
=
n n n
S S a
2) Atencin! El teorema nada afirma sobre el comportamiento de la serie

=1 n
n
a
en caso de que 0 a lm
n
n
=

pero provee un potente criterio para la divergencia:

Series numricas



227
___________________________________________________________________

Criterio para la divergencia:

Si 0

n
n
a lm entonces la serie

=1 n
n
a diverge
_____________________________________________________________


As por ejemplo, como 0 2

n
n
lm podemos afirmar usando el criterio para la
divergencia que la serie

=0
2
n
n
diverge.

Pero, ese criterio no brinda informacin alguna sobre el comportamiento de series
como

=0 n
n
2
1
o como

=1 n
n
1
porque en ambos casos 0 a lm
n
n
=

.

De hecho,

=0
2
1

n
n
es una serie convergente (como ud ya lo sabe, ya que es una
serie geomtrica de razn ) mientras que a serie

=1
1

n
n
, llamada serie armnica,
diverge (lo demostraremos ms adelante)

Conclusin: Siendo 0 =

n
n
a lm , la serie

=1 n
n
a puede ser convergente o divergente.


Ejercicio 7 Estudien la convergencia de la serie

=
|

\
|

1
2
1 10
n
n
n




Series de trminos positivos

En este apartado vamos a ver algunos resultados (criterios) que nos van a permitir
determinar la convergencia o divergencia de series que tengan todos sus trminos
positivos. Teniendo en cuenta que el comportamiento de una serie no se modifica si
suprimimos los N primeros trminos de la misma, lo que digamos se aplicar a series

=1 n
n
a donde 0 >
n
a N n > sin importar el signo de los N primeros trminos

El primer criterio que estudiaremos relaciona los conceptos de convergencia y
divergencia de una integral impropia con la convergencia y divergencia de una serie.





Series numricas



228
_____________________________________________________________________

Criterio de la integral: Sea f (x) una funcin continua, positiva y decreciente

para x 1 y sea a
n =
f (n) para n 1.

Entonces:

=1 n
n
a converge

1
) ( dx x f converge.
_____________________________________________________________________


Demostracin Si la grfica de f es como la de la figura siguiente, considerando el
rea de los rectngulos, resulta


1 3 2 1
1
3 2
..... ) ( ..... 0

+ + + + + + +

n
n
n
a a a a dx x f a a a

O sea,
1
1
1
) (

n
n
n
S dx x f a S

De la desigualdad se desprende que el
n
n
S

lim existe siempre que

n
dx x f
1
) ( converja.
Por otro lado la

n
dx x f
1
) ( converge si existe el
1
lim


n
n
S .

Se concluye que la serie converge si y slo si la integral impropia converge.




El criterio de la integral puede aplicarse por ejemplo para estudiar el comportamiento
de la serie armnica

=1
1

n
n
que le habamos presentado anteriormente:
Series numricas



229
Siendo f (x)=
x
1
continua, positiva, decreciente para 1 x y tal que
n
a n f
n
1
) ( = = ,
como


=
1 1
1
) ( dx
x
dx x f diverge (de acuerdo?) tambin diverge la serie

=1
1

n
n



Con el mismo criterio pueden estudiarse tambin las que llamamos p-series:

_____________________________________________________________________

Series p o p-series:
a) Llamamos p-serie , con p>0, a la serie de la forma

=1
1

n
p
n

b) Si p=1 tenemos la serie armnica.


Este tipo de serie converge si p > 1 y divergen si 0 < p 1

_____________________________________________________________________


Ejemplo 4 Consideremos la serie

=1
ln(n)

n
n
.
Siendo 0
) ln(
=

n
n
lm
n
, el criterio para la divergencia no ofrece informacin alguna
sobre el comportamiento de la serie.

Como se trata de una serie de trminos positivos podemos pensar en aplicar el criterio

de la integral: observe que la funcin
x
x
x f
) ln(
) ( = es continua, positiva y decreciente
para e x (vea que
2
) ln( 1
) (
x
x
x f

= ) y entonces, como

3
) ln(
dx
x
x
diverge
(comprubenlo) , por el criterio de la integral , podemos concluir que

=3
ln(n)

n
n
es
divergente (de acuerdo?) y por lo tanto tambin diverge

=1
ln(n)

n
n




Ejercicio 8 Utilicen el criterio de la integral para estudiar la convergencia de las
p-series.

Ejercicio 9 Son convergentes o divergentes las siguientes series?

a)

=1
3
1

n
n
b)

=1
5
1

n
n
c)

=1
3 / 4
1

n n


Series numricas



230

_____________________________________________________________________
Criterio de comparacin
Sean

=1 n
n
a y

=1 n
n
b dos series tales que 0 < a
n
b
n
n N .

Entonces: a) Si

=1 n
n
b converge

=1 n
n
a converge
b) Si

=1 n
n
a diverge

=1 n
n
b diverge
_____________________________________________________________________


Observaciones:
1) Insistimos: Aunque en el enunciado hemos exigido que 0 < a
n
b
n
n, como la
convergencia de una serie no queda afectada por sus primeros trminos, basta con
que esa desigualdad se verifique a partir de algn natural en adelante.
2) El criterio deja de ser vlido para series de trminos cualesquiera.
3) Hemos omitido la demostracin del criterio de comparacin y se la proponemos
como ejercicio. (Recuerde: Si una sucesin de nmeros reales es montona creciente
y acotada superiormente entonces es convergente )


Ejemplo 5 Estudiemos el comportamiento de la serie
( )

=
+
1
1
n
1
cos

2
n
n


Observemos que
( )
0
1
1
cos
2
=
+

n
n
lm
n
(s, pues ( ) x x 1 cos 1 y por otro lado 1 n
2
+
tiende a infinito cuando n tiende a infinito) de manera que el criterio para la
divergencia no nos da informacin. Adems, la serie es de trminos positivos (en
efecto: n es
2
1
1
0

< < <
n
entonces ( ) n
n
> 0
1
cos y por lo tanto
( )
n
n
n
>
+
0
1
1
cos
2
) De modo que podemos pensar en aplicar el criterio de comparacin.

La cuestin es con qu serie comparamos?

A veces la respuesta no es obvia. Bueno, la bsqueda tendr que encaminarse hacia
aquellas series cuyo comportamiento conocemos (por ejemplo series geomtricas o
p-series)
En este caso es fcil ver que
( )
n
n n
n
<
+
2 2
1
1
1
cos
y como

=1
2
1

n
n
es una serie
convergente (verdad?) esta comparacin sirve: en virtud del criterio de comparacin
podemos concluir que
( )

=
+
1
1
n
1
cos

2
n
n
es convergente.


Series numricas



231
Ejercicio 10 Estudien la convergencia de las siguientes series:

a)

=
+
1
3 2
1

n
n
b)

=
+
1
2
1

n
n
c)

=

+ 1
1
1 2
1

n
n




Otros criterios de convergencia para series de trminos positivos se deducen del
criterio de comparacin:

_____________________________________________________________________

Criterio de la raz: Sea

=1 n
n
a una serie tal que a
n
> 0 para n suficientemente grande,
y sea L a
n
n
n
=

lim

Entonces: a) Si L < 1 la serie converge.
b) Si L > 1 la serie diverge.
c) Si L = 1 no se obtiene informacin.

_____________________________________________________________________


Ejercicio 11 Estudien la convergencia de las siguientes series:

a)
n
n n

=
|
|

\
|
1
5000
b)

=1 n
n
2n
n
e





Con frecuencia, una serie dada se parece a una p-serie o a una serie geomtrica, pero
no resulta fcil establecer comparaciones trmino a trmino. Entonces es til recurrir a
un segundo criterio de comparacin:
_____________________________________________________________________

Criterio de comparacin en el lmite: Sean

=1 n
n
a y

=1 n
n
b dos series de trminos
no negativos tales que b
n
0 n suficientemente grande, y supongamos que
L
b
a
n
n
n
=

lim > 0. Entonces

=1 n
n
a y

=1 n
n
b convergen o ambas divergen.
_____________________________________________________________________


Ejemplo 6 Estudiemos la serie

=
+
+
1
2
1 5
3 2
n
n
n
.

El trmino general tiende a cero. Se trata de una serie de trminos positivos.

Series numricas



232
En ella
|
|

\
|
+
+
=
+
+
=
2
1
3
2
5
2 1
1 5
3 2
n
n
n
n n
n
a donde el parntesis tiende a
5
2
cuando n tiende
a infinito. De manera que si
n
b
n
1
= tenemos:

5
2
5
2
lim
2
1
3
=
|
|

\
|
+
+
=

n
n
n
lm
b
a
n
n
n
y como

=1
1
n
n
diverge, en virtud del criterio de
comparacin en el lmite, concluimos que

=
+
+
1
2
1 5
3 2
n
n
n
es tambin divergente.


Ejercicio 12 Estudien la convergencia de las siguientes series:

a)

=
+
1

1

n
b n a
( 0 b , 0 a > > ) b)

= + 1
2
5 4 3
1

n n n



______________________________________________________________________
Criterio del cociente o de la razn: Sea

=1 n
n
a una serie de trminos positivos, y
supongamos que L
a
a
n
n
n
=
+

1
lim . Entonces:
a) Si L< 1 la serie converge.
b) Si L> 1 la serie diverge.
c) Si L= 1 no se obtiene informacin

_____________________________________________________________________

Observacin: como sucede con el criterio de la raz, el criterio del cociente no nos
d informacin alguna sobre el comportamiento de la serie cuando el lmite en
cuestin es igual a 1. Hay que usar, si ese es el caso, otro criterio.


Ejemplo 7 El comportamiento de la serie

=1
2
3
n
n
n
puede estudiarse usando el
criterio del cociente.

=
+

n
n
n
a
a
1
lim
( )
1
3
1 1
1
3
1
3
3
1
lim
2
2
1
2
< =
|

\
|
+ =
+

+

n
lm
n
n
n
n
n
n


y por lo tanto la serie es convergente. Cul es su suma? No lo sabemos. Una suma
parcial
n
S es un valor aproximado de la suma. Es cierto que cuanto ms grande sea
n mejor ser esa aproximacin, pero, sera importante poder estimar el error que
cometemos al considerar
n
S S

Series numricas



233

Ejercicio 13 Estudien la convergencia de las siguientes series:

a)

=0
n
!
2

n
n
b)

=
+
1
1


n
n
n




Series de trminos cualesquiera (positivos y negativos). Series alternadas

En el apartado anterior, hemos visto varios criterios de convergencia para series de
trminos positivos, aunque tambin son aplicables a aquellas series

=1 n
n
a que tienen
a lo sumo un nmero finito de trminos negativos. Esos criterios pueden aplicarse
tambin al anlisis de series que tienen todos los trminos negativos (salvo quizs un
nmero finito) pues en ese caso estudiamos la serie

1
) (
n
n
a .
Sin embargo, cuando en una serie aparecen infinitos trminos negativos y positivos,
los criterios anteriores no son aplicables.


______________________________________________________________________

Series alternadas:
Una serie es alternada si puede expresarse en la forma

1
1
) 1 (
n
n
n
b con b
n
0 n
______________________________________________________________________


Las siguientes series son alternadas:

. . .
16
1
9
1
4
1
1

) 1 (

1
2
1
+ + =

n
n
n

. . .
5 ln
1
4 ln
1
3 ln
1
2 ln
1
) ln(
) 1 (

2
1
+ + =

=
+
n
n
n


. . .
24
1
6
1
2
1
1 1
!
) 1 (

0
+ + =

= n
n
n


____________________________________________________________________
Criterio de Leibniz (para series alternadas): Sea

1
1
1
n
n
n
b ) ( , con b
n
0
Si la sucesin { }
n
b es decreciente y 0 lim =

n
n
b

entonces la serie

1
1
1
n
n
n
b ) ( es convergente.
_____________________________________________________________________
Series numricas



234

Ejemplo 8 La serie armnica alternante = + + + ......
6
1
5
1
4
1
3
1
2
1
1

1
1
1
n
n
n
) (


satisface 1)
)
`

n
1

es una sucesin decreciente pues
n n
1
1
1
<
+
n
2) 0
1
lim =

n
n

y entonces, por el criterio de Leibniz, es una serie convergente.



Ejemplo 9 La serie

1
3
1 4
) 1 (

n
n
n
n
es alternante, pero 0
4
3
1 4
3
lim =


n
n
n
(por lo tanto
no satisface la condicin 2 del criterio de Leibniz)
Observe que el lmite del trmino general de la serie (o sea,
1 4
3 ) 1 (
lim


n
n
n
n
) no existe.
Luego, por el criterio de la divergencia concluimos que la serie diverge.


Observacin: Si una serie est en las condiciones del criterio de Leibniz a partir de
un cierto natural N entonces es una serie convergente (insistimos: si se suprimen los
primeros N trminos de una serie, su comportamiento no cambia)



Ejercicio 14 Determinen la convergencia de las siguientes series:

1
1
1
2
) 1 ( )
n
n
n
n
a b)

1
) ln(
) 1 (
n
n
n
n




Estimacin del error que se comete al aproximar una serie alternada por una
suma parcial.
____________________________________________________________
Teorema: Si una serie

0
) 1 (
n
n
n
b (con n b
n
0 ) satisface las condiciones
del criterio de Leibniz, y su suma es S , entonces el resto R
n
implicado al aproximar la
suma por la suma parcial S
n
es , en valor absoluto, menor que el valor absoluto del
primer trmino despreciado. Esto es:


1 +
=
n
n n
b R S S


Es decir, el error cometido al usar la n-sima suma parcial de la serie como
aproximacin de S es, a lo sumo, la magnitud del primer trmino no sumado.

_____________________________________________________________________
Series numricas



235
Ejemplo 10 Mostraremos que la serie

0
!
) 1 (

n
n
n

es convergente y calcularemos
su suma aproximada a dos lugares decimales.


Analicemos las condiciones del criterio de Leibniz:
La serie

0
!
) 1 (

n
n
n
es una serie alternada y se verifica:
1)
!
1
) 1 ( !
1
)! 1 (
1
n n n n
<
+
=
+
entonces
)
`

!
1
n
es decreciente

2)
n n
1
!
1
0 < < entonces 0
!
1
lim =

n
n


Luego, por el criterio de Leibniz, la serie converge.


Ya sabemos que la serie tiene suma. Llamemos S a la suma de la serie.
Podemos aproximar a S por una suma parcial cul? cuntos trminos debemos
sumar si queremos aproximar a S con dos decimales exactos?


Aplicando el teorema anterior tenemos:

)! 1 (
1
+
=
n
R S S
n n


de manera que para que
n n
R S S = sea menor que 0.001 (y garantizar as una
aproximacin con dos decimales exactos) bastar con que n sea tal que

001 . 0
)! 1 (
1
<
+ n
(1)

Probamos valores de n hasta encontrar el adecuado que verifique la desigualdad.
Vemos que:

=
+ )! 1 5 (
1
=
! 6
1
720
1


=
+ )! 1 6 (
1
=
! 7
1
<
5040
1
1000
1


Luego el primer natural que verifica la desigualdad (1) es n = 6
La suma parcial S
6
es la aproximacin adecuada para S.

368056 . 0
720
1
120
1
24
1
6
1
2
1
1 1
6
+ + + = S S 0.368056


Series numricas



236
Ejercicio 15 Prueben que la serie

=
+

1
2
1

) 1 (

n
n
n
es convergente y den una
estimacin de su suma con un error menor que 0.01.



Convergencia absoluta y convergencia condicional de una serie de trminos
positivos y negativos

Una serie puede tener infinitos trminos positivos y negativos, sin ser alternada, como
ocurre con

=1
2

) (

n n
n sen



Una forma de obtener informacin sobre su convergencia es investigar la de la serie


2
1
) (

n
n sen
n

=


que, por comparacin directa con la serie

=1
2

1

n n
, resulta ser convergente.

Pero la cuestin es: converge la serie original o no?. El prximo resultado responde
a esta pregunta. Antes de enunciarlo les proponemos que completen el razonamiento
que sigue haciendo uso del criterio de comparacin y de algunas propiedades de las
series.

Dada una serie

=1 n
n
a (cualquiera), consideremos la serie

=1 n
n
b , donde
n n n
a a b + = . Observe que

=1 n
n
b es una serie de trminos no negativos, que
n n
a b 2 y que
n n n
a b a = (cierto?).
Por lo tanto, si

=1 n
n
a es convergente . . .

____________________________________________________________________

Teorema (Convergencia absoluta):

Si la serie

=1 n
n
a converge la serie

=1 n
n
a converge
_____________________________________________________________________




Series numricas



237

Observaciones:
1) La recproca es Falsa! Por ejemplo, la serie armnica alternada

=
+

1
1

) 1 (

n
n
n

es convergente (por Leibniz), y sin embargo la serie armnica

=1

1

n
n
es divergente.
(Decimos por ello que

=
+

1
1

) 1 (

n
n
n
converge condicionalmente)
2) Si la serie

=1 n
n
a diverge no se puede concluir nada sobre la serie

=1 n
n
a (por
qu?), pero, si

=1 n
n
a diverge entonces concluimos que

=1 n
n
a diverge.


Diremos que ....
a)

=1 n
n
a es absolutamente convergente, si

=1 n
n
a converge.
b)

=1 n
n
a es condicionalmente convergente, si

=1 n
n
a converge pero

=1 n
n
a
diverge.



Ejemplo 11 Estudiemos la convergencia de las siguientes series

a)

=0 n
n
! n
(-2)

b)

=
+

1 n
n
1 n
n ) 1 (




a) Podemos analizar el comportamiento de la serie

=
=
0
n
0
!
2
!
(-2)

n n
n
n n
con el criterio
de la razn. Como
( )
1 0
1
2
lim
!
2
! 1
2
lim
1
< = |

\
|
+
=
+

+
n
n
n
n n
n
n
la serie

=0
n
!
(-2)

n
n
es
convergente. Concluimos entonces que

=0 n
n
! n
(-2)
es absolutamente convergente.

b) En este caso con el criterio de la razn no podemos decidir el comportamiento de

=
+
=
+

1 1
1 1
) 1 (

n
n
n
n
n
n
n
ya que se tiene:

1
1
1
2
1
lim
) 2 (
1 ) 1 (
lim
1
2
1
lim = +
+
+
=
+
+ +
=
+
+
+

n n
n
n n
n n
n
n
n
n
n n n

Series numricas



238

Como
2
1
1
2
1
2 1 n n
n
n
n
= >
+
para todo n > 2, aplicando el criterio de comparacin,
concluimos que la serie

=
+
=
+

1 1
1 1
) 1 (

n
n
n
n
n
n
n
es divergente (

=1
1
n
p
n
diverge si
1 0 < p lo recuerdan?) Pero . . . es convergente la serie

=
+

1
1
) 1 (

n
n
n
n
?

Observemos que: 1)
( )
0
1
1
1
lim
1
lim
1
lim =
|
|
|

\
|
+
=
|
|
|

\
|
+
=
|
|

\
|
+

n
n
n
n
n
n
n
n
n n n

2) La sucesin
)
`

+1 n
n
es decreciente (deriven
1
) (
+
=
x
x
x f para mostrarlo)

Entonces, por el criterio de Leibniz,

=
+

1
1
) 1 (

n
n
n
n
es convergente.

Como hemos visto que la serie

=
+
1 n
1 n
n
diverge, concluimos que

=
+

1
1
) 1 (

n
n
n
n
es
condicionalmente convergente.


Ejercicio 16 Determinen si convergen las siguientes series, y en caso afirmativo si
lo hacen absoluta o condicionalmente:

a)

=
+

1 n
n
2 / ) 1 n ( n
3
) 1 (
b)

=
+

1 n
n
1) (n ln
) 1 (



Ejercicio 17 Estudien la convergencia de las siguientes series y, en caso de ser
posible, calculen su suma.

a)

=
+
1
1 2
3
2 .

n
n
n
n
b)

=1 n
n
! n
. n
c)

=

1
2 3
1

n
n
d)

=
+
1
2
1
sen(1/n)

n
n


e)

= + + 1
2
1
1

n n n
f)

=
+
1
2
1
2 n

n n n
g)

= + 1
2
1

n n
n
h)

= + 1
2
1
1

n n


i)

=
+
1
1 ! 2
n!

n
n
j)

=1
10

n
n
k)

=
+
1
2
2
5 4
3 n

n n n
l)

=
+
1
3 5
2
4
10 -

n
n n
n


m)

=
+
1
3
1


n
n
n
n)

= +

1
2
n 2
1 4

n n
n
)

= 1
2
1
1

n n n


Series numricas



239

o)

= + +
+
1
2
1
2

n n n
n
p)

=
+
1
2
3
3
4
n
n
. n
sen(1/n) 5) n (
q)

=1
n
3
n

n
n



Ejercicio 18 i) Determinen si convergen las siguientes series, y en caso afirmativo,
si lo hacen absoluta o condicionalmente. ii) En caso de ser posible calculen su suma
con un error menor que 0.001
a)

1
2
1
n
n
) n ln(
n
) ( b)

=
+
|

\
|

1
1
3 4
2 3
) 1 (
n
n
n
n
c)

= + 1
2
n
(-1)

n n n


d)

= +

1
3 5
2
4
) 1 (

n
n
n n
n
e)

=1 n
n
3
cos(n)
f)

=1
3
n
n
n
(-n)



Uso de MAPLE
1) Dada la sucesin de trmino general
n
n
a |

\
|
=
2
1
, construyamos la sucesin de
sumas parciales: S(n)=
i
n
i

=
|

\
|
1
2
1
usando el comando for ...do... od para n = 10 :
> S[1]:=0.5;
> for i from 2 to 10 do;
S[i]:=0.5^i+S[i-1];
od;

Tiene lmite la sucesin de sumas parciales?


2) Para calcular el valor de la SUMA de una serie que converge podemos usar la
sentencia sum que es muy sencilla:

> sum(1/2^n,n=1..infinity);

3) Calculemos algunos valores de la sucesin de sumas parciales de la SERIE
ARMNICA

> A[1]:=1;
> for i from 2 to 15 do;
A[i]:=1./i + A[i-1];
od;

4) Calculemos los primeros valores de la sucesin de sumas parciales de la SERIE
ARMONICA ALTERNADA y su suma.

> B[1]:=1;
> for i from 2 to 20 do;
B[i]:=((-1)^(i+1.))/i+B[i-1]:
od;
> log(2.);
> sum(((-1)^(n+1))/n,n=1..infinity);
Series numricas



240

Algo ms acerca de las series absolutamente convergentes

Las series absolutamente convergentes tienen una interesante propiedad:
Si

=1 n
n
a es absolutamente convergente, entonces los trminos de la serie pueden ser
reacomodados o reagrupados de cualquier manera, y la serie resultante es
convergente al mismo nmero que la serie original.

Por el contrario, si los trminos de una serie condicionalmente convergente se
escriben en un orden distinto, la nueva serie puede ser divergente o convergente a
un nmero diferente. . .

Vean el siguiente ejemplo: Si S es la suma de la serie armnica alternada

S = + + + + . ..........
8
1
7
1
6
1
5
1
4
1
3
1
2
1
1


S
2
1
. ..........
16
1
14
1
12
1
10
1
8
1
6
1
4
1
2
1
= + + + +


.
2
1
.........
8
1
0
6
1
0
4
1
0
2
1
0 S = + + + + + +

.
2
1
.........
4
1
7
1
0
5
1
2
1
3
1
0 1 S S + = + + + + + +

Entonces la serie reordenada .........
4
1
7
1
5
1
2
1
3
1
1 + + + + converge a 3/2 S


Autoevaluacin (Series numricas)

1. Cul es la diferencia entre una sucesin y una serie? Qu es una serie
convergente? Qu es una serie divergente?

2. Explique el significado de

=1 n
n
a = 5
3. Sea
1 3
2n
a
n
+
=
n
. a) { }
n
a es convergente? b)

=1 n
n
a es convergente?

4. Analice si los siguientes enunciados son verdaderos o falsos:
- Si

=1 n
n
a (a
n
0) es convergente

=1
1
n n
a
es divergente
- Si

=1 n
n
a es convergente y

=1 n
n
b es divergente

=
+
1
) (
n
n n
b a es divergente.
- Si

=1 n
n
a y

=1 n
n
b son divergentes

=
+
1
) (
n
n n
b a es divergente
Series numricas



241

5. Si

=1 n
n
a es una serie de trminos positivos y la sucesin { }
n
S es acotada por
1000, explique por qu

=1 n
n
a debe ser convergente.

6. Suponga que si f es una funcin continua, positiva y decreciente para x 1 y a
n
=
f(n) . Mediante una grfica, clasifique las tres cantidades en orden creciente

n
dx x f
1
) ( ,

=
1
1
n
i
i
a ,

=
n
i
i
a
2


7. Para qu valores de p converge la serie siguiente

=2
) (ln
1
n
p
n n
?
8. Suponga que

=1 n
n
a y

=1 n
n
b son series de trminos positivos y que

=1 n
n
b
converge. a) Si
n n
b a > para todo n Qu puede decir de

=1 n
n
a ? Por qu? b) Si
n n
b a < para todo n Qu puede decir de

=1 n
n
a ? Por qu?
9. Suponga que

=1 n
n
a y

=1 n
n
b son series de trminos positivos y que

=1 n
n
b diverge.
a) Si
n n
b a > para todo n Qu puede decir de

=1 n
n
a ? Por qu?
b) Si
n n
b a < para todo n Qu puede decir de

=1 n
n
a ? Por qu?
10. Si

=1 n
n
a es una serie convergente de trminos positivos, es convergente la serie

=1
) (
n
n
a sen
?

11. Qu es una serie alternante? qu condiciones garantizan su convergencia? Si
esas condiciones se satisfacen qu puede decir acerca del error que se comete al
aproximar la suma con la suma parcial n-sima?

12. Si

=1 n
n
a es convergente, es convergente la serie

=1 n
n
a ?

13. Qu significa la expresin: la serie converge absolutamente?

14. Qu significa la expresin: la serie converge condicionalmente?











Matemtica B:


Gua terico-prctica
de la unidad temtica V




Integrales de lnea















Parametrizacin y representacin vectorial de curvas
243

Nuestro prximo paso ser el estudio de la integral de lnea. El dominio de integracin
pasar a ser una curva del plano o del espacio y el integrando, un campo escalar
(funcin a valores reales) o un campo vectorial definidos sobre la curva. Para poder
abordar la definicin, el clculo y las propiedades de este nuevo tipo de integrales nos
ocuparemos previamente de las curvas y de su representacin vectorial paramtrica y
de los campos vectoriales.

Curvas en el plano y en el espacio

Parametrizacin de curvas

Toda curva plana puede darse por medio de un par de ecuaciones paramtricas:

=
=
) (
) (
t y y
t x x
t I
donde I un intervalo de nmeros reales llamado intervalo paramtrico y x(t) e y(t)
son funciones a valores reales.

Ejemplo 1 Para a > 0 ,

=
=
sent a y
t a x cos
t [0,2] son las ecuaciones paramtricas
de la circunferencia centrada en el origen de radio a. Observemos que, al considerar
valores crecientes de t, recorremos la curva en el sentido indicado en el dibujo por la
flecha. Las ecuaciones paramtricas definen una orientacin (en este caso
antihoraria)










Actividad 1
a) Comprueben que las ecuaciones paramtricas

=
=
t a y
sent a x
cos
t [0,2]
corresponden a la misma circunferencia recorrida ahora en sentido horario.

b) Consideren ahora las ecuaciones paramtricas

=
=
) 2 (
) 2 cos(
t sen a y
t a x
t [0,2]
Observen que al variar t desde 0 hasta 2 , nos encontramos con la misma
circunferencia recorrida en sentido antihorario, pero . . . dos veces.

Grafiquen y comenten:

c) C:

=
=
) 2 (
) 2 cos(
t sen a y
t a x
t [0, ] d)

=
=
t a y
sent a x
cos
t [0, ]
a
a
x
y
Parametrizacin y representacin vectorial de curvas
244

Actividad 2 Sea C:

=
=
sent y
t x
4
cos 3
t [0,2]
Despejando cos t y sen t de las ecuaciones dadas y haciendo uso de la identidad
trigonomtrica 1 cos
2 2
= + t t sen , eliminamos el parmetro y obtenemos la ecuacin

1
16 9
2 2
= +
y x


De qu curva del plano se trata?
Grafiquen e identifiquen la orientacin definida por las ecuaciones paramtricas dadas.


Actividad 3 Eliminen el parmetro t para hallar la ecuacin en x e y. Grafiquen e
indiquen la orientacin en los siguientes casos.

a) C:

=
=
) ( 3
) cos( 2
t sen y
t x
t [0,2] b) C:

+ =
+ =
sent y
t x
3 3
cos 4 2
t [0,2]

c) C:

+ =
+ =
sent y
t x
3 3
cos 4 2
t [0,/2] d) C:

+ =
+ =
t y
sent x
cos 2 2
2 1
t [0,2]

Actividad 4 Sea C:

+ =
+ =
t y
t x
3 2
2 1
t [0,1]

Verifiquen que estas ecuaciones paramtricas corresponden al segmento de recta
desde (1,2) hasta (3,5).

Consideren ahora:

a)

+ =
=
t y
t x
2
3
2
1
t [1,3] b)

+ =
+ =
t y
t x
3 5
2 3
t [-1,0] c)

+ =
+ =
) 1 ( 3 2
) 1 ( 2 1
t y
t x
t [0,1]

Corresponden al mismo segmento? Cul es la orientacin en cada caso?


Actividad 5 Sea C la curva del plano de ecuacin y = 1 x
2

Haciendo x = t tenemos la parametrizacin trivial: C:

=
=
2
1 t y
t x
t

Grafiquen e indiquen la orientacin definida por esta parametrizacin.

Consideren ahora las siguientes ecuaciones paramtricas y describan las curvas que
definen (no olvide observar la orientacin)


a)

=
=
t y
t x
1
( t>0) b)

=
=
2
1 t y
t x
t c)

=
=
2
4 1
2
u y
u x
u
Parametrizacin y representacin vectorial de curvas
245


d)

=
=
2
1 t y
t x
t [a,b] e)

+ =
+ =
2
) ( 1 t b a y
t b a x
t [a,b]


Ejercicio 1 Escriban ecuaciones paramtricas para las siguientes curvas.

a) El segmento de recta desde (0,0) hasta (4,-3).
b) El segmento de recta desde (5,2) hasta (1,-1).
c) La circunferencia con centro en (2,3) y radio 2 recorrida en sentido antihorario.
d) La elipse 1
1
) 2 (
4
) 3 (
2 2
=

+
y x
recorrida en sentido horario.
e) La porcin de elipse 1
9 4
2 2
= +
y x
, en el primer cuadrante, desde (2,0) hasta (0,3).
f) La porcin de parbola y = 2x
2
1 desde (1,1) hasta (3,17).
g) La porcin de parbola y = 2x
2
1 desde (3,17) hasta (1,1).

Actividad 6 Sea C:

=
=
t t y
t x
3
2
2
t
No parece buena idea expresarla en las variables x e y para dibujarla!
Algunas consideraciones acerca de las funciones x(t) = t
2
-2 e y(t)= t
3
-t (presentan
mximos o mnimos? son funciones pares o impares? ) y la elaboracin de una tabla
en la que se calculen las coordenadas x e y para algunos valores de t nos permitirn
trazar en forma aproximada la curva. Les proponemos que lo hagan y que utilicen
luego Maple para constatar su dibujo.


Consideremos ahora una curva en el espacio . . .

Sea C :

= +
= +
2
1
2 2
z y
y x
(C es la interseccin de un cilindro con un plano)




Parametrizacin y representacin vectorial de curvas
246

La proyeccin de C en el plano xy es la circunferencia x
2
+y
2
= 1, as que podemos

escribir 2 0 ; cos = = t t sen y t x

De la ecuacin del plano, t sen y z 2 2 = =


Tenemos entonces una descripcin paramtrica de la curva:

C :

=
=
=
sent z
sent y
t x
2
cos
2 0 t

(Cul es la orientacin que determina esta parametrizacin?)


Veremos ms adelante otros ejemplos de curvas en el espacio, pero antes
introduciremos otra manera de describir curvas: la descripcin vectorial



Funcin vectorial

Una funcin vectorial r
r
es una funcin cuyo dominio es un conjunto de nmeros reales
y cuya imagen es un conjunto de vectores.

Para cada t en el dominio de r
r
es:

j t y i t x t r
r r
r
) ( ) ( ) ( + = (si la imagen de r
r
es un conjunto de vectores del plano)

o bien:

k t z j t y i t x t r
r r r
r
) ( ) ( ) ( ) ( + + = (si la imagen de r
r
es un conjunto de vectores del
espacio)

Las funciones x(t), y(t) y z(t) son las componentes de r
r
(son funciones reales a
valores reales)

Escribimos a veces, para simplificar la notacin,

) ( , ) ( ) ( t y t x t r =
r
o ) ( ), ( , ) ( ) ( t z t y t x t r =
r



Una curva (del plano o del espacio) puede describirse con una funcin vectorial:

C: j ) t ( y i ) t ( x ) t ( r r
r r
r r
+ = = (en dos dimensiones) o
C: k ) t ( z j ) t ( y i ) t ( x ) t ( r r
r r r
r r
+ + = = (en tres dimensiones)


El extremo de cada vector ) (t r
r
corresponde a un punto de la curva.
Parametrizacin y representacin vectorial de curvas
247












Ejemplo 2 Hemos visto que la curva C :

= +
= +
2
1
2 2
z y
y x
puede describirse por

medio de las ecuaciones paramtricas

=
=
=
sent z
sent y
t x
2
cos
2 0 t

k ) sent 2 ( j sent i t cos ) t ( r r
r r r
r r
+ + = = , 2 0 t es una descripcin vectorial
de dicha curva (decimos, una ecuacin vectorial de la curva)

Ejemplo 3 La ecuacin vectorial j sent 2 i t cos 2 ) t ( r r
r r
r r
+ = = , 2 0 t
corresponde a la circunferencia de radio 2 centrada en el origen en el plano.

Ejemplo 4 Una curva muy importante del espacio es la hlice circular que puede
describirse con la ecuacin vectorial k t b j t sen a i t cos a ) t ( r r
r r r
r r
+ + = =
con a y b no nulos y t .

La curva se halla sobre un cilindro circular de radio a, de forma tal que P(x,y,z) de la
misma: x = a cos t , y = a sen t . La restante ecuacin
z = bt "hace mover" los puntos de la curva con movimiento uniforme en direccin del
eje z.
Cuando t crece en 2, x e y vuelven a sus valores iniciales, mientras que z crece (si
b > 0) o decrece (si b < 0) en 2 b , que es llamado paso de la hlice.

Observacin: Si t [0,2], se tiene una "espira" de la hlice.














C
) (t r
r

O
Hlice con b > 0
Parametrizacin y representacin vectorial de curvas
248


Ejemplo 5 La interseccin de un elipsoide con un plano que contiene al eje x es
una elipse en el espacio.

Sea por ejemplo C :

=
= + +
y 2 z
16 z y 4 x
2 2 2


Eliminando z entre ambas ecuaciones, se obtiene la proyeccin de C sobre el plano xy:

16 4 4
2 2 2
= + + y y x ( o sea, 1
2 16
2 2
= +
y x
)
que podemos parametrizar en la forma

=
=
t sen 2 y
t cos 4 x
con 0 t 2

pero z =2 y z = sent 2 2 y por lo tanto, todo punto P(x,y,z) C queda

expresado en funcin de t con las ecuaciones

=
=
=
t sen 2 2 z
sent 2 y
t cos 4 x
0 t 2

Tenemos entonces la siguiente representacin vectorial de C:

C : k t sen 2 2 j t sen 2 i t cos 4 ) t ( r r + + = =
r r
, t[0, 2]


Ejemplo 6 Sea C :

=
= + +
2
2 2 2
0 , 1
4 24 12
x y
z
z y x


C viene dada como interseccin de dos superficies (de qu superficies se trata?)
















Parametrizacin y representacin vectorial de curvas
249

Haciendo x = t resulta: y = x
2
= t
2
,
6 3
4
6 3
4
4 2 2 2
2
t t y x
z = =
de donde, ya que , 0 z
6
t t 2 24
z
4 2

= debiendo ser 2 t 2

Tenemos entonces las ecuaciones paramtricas de C


C :


=
=
=
6
t t 4 24
z
t y
t x
4 2
2
2 2 t

y la correspondiente ecuacin vectorial paramtrica:

k
6
t t 4 24
j t i t ) t ( r r : C
4 2
2
r r r
r r
+ + = = , 2 2 t

Identifiquen los puntos de la curva que corresponden a t = -2, t = 0 y t = 2 y
determinen la orientacin definida por la parametrizacin dada.


Ejercicio 2 Parametricen las siguientes curvas del espacio



Observacin: Para curvas cerradas, el parmetro adecuado es el ngulo de giro.
Para otro tipo de curvas, puede tomarse una de las variables como parmetro y
despejar las otras dos en funcin del mismo.



Operaciones con funciones vectoriales Derivada de una funcin vectorial

Para las funciones vectoriales - como vectores que son - son vlidas todas las
operaciones que para vectores se han definido: suma, producto por un escalar,
producto escalar ( interior) y producto vectorial.
2 2 2 2 2 2 2
2 2 2
x + y + z = 4 z = x + y z = x + y
a) b) c)
z = 1 4 z=2y
5 x + y +z = 125
d)
y = 2z
z


=

2 2 2 2 2
2 2 2 2 2
2
x + y + z = 25 x + y = 1
e) f)
y = 3 x + y + z = 1
x + y = 1 x + y = 1 4x
g) h) i)
y + z = 2 z = x






2
2
+ y = z
y = x

Parametrizacin y representacin vectorial de curvas


250

La operacin producto por escalar, se extiende al producto por una funcin real,
definida en el mismo dominio de la funcin vectorial.

Es decir, si k t z j t y i t x t r r
r r r
r r
) ( ) ( ) ( ) ( + + = = , con t y R I f : entonces
) ( ) )( . ( t f t r f =
r
k t z t f j t y t f i t x
r r r
) ( ) ( ) ( ) ( ) ( + +

Recordemos que los conceptos vinculados al clculo con funciones reales, se
extienden a las funciones vectoriales (a travs de sus componentes) pudiendo as
definirse la derivada de una funcin vectorial:

_____________________________________________________________________

Si k t z j t y i t x t r r
r r r
r r
) ( ) ( ) ( ) ( + + = = , siendo ) ( ), ( ), ( t z t y t x derivables en t
0
entonces
existe k t z j t y i t x t r
r r r
r
) ( ' ) ( ' ) ( ' ) ( '
0 0 0 0
+ + = que define en el P
0
(extremo de ) (
0
t r
r
) la
direccin tangente a la curva que describe ) (t r r
r r
= suponiendo 0 ) ( '
0
r
r
t r
















Recordemos tambin que a partir de ese resultado, puede trazarse en P
o
la recta
tangente, que es la recta que pasa por P
o
, dirigida por ) ( '
0
t r
r
.
_____________________________________________________________________


Ejemplo 7 Si queremos escribir la ecuacin de la recta tangente a la hlice circular
k t 3 j t sen 4 i t cos 4 ) t ( r r : C
r r r
r r
+ + = = en el punto correspondiente a
4

= t ,
buscamos las coordenadas del punto de tangencia:

k j sen i r
r r r
r

4
3
4
4
4
cos 4 )
4
(

+ + = = k j i
r r r

4
3
2
2
4
2
2
4

+ + =

Entonces el punto correspondiente a
4

= t
es P
0
= )
4
3 , 2 2 , 2 2 (


La direccin tangente k j t i sent t r
r r r
r
3 cos 4 4 ) ( ' + + = evaluada en
4

= t
es:
O
O
) t ( r
0
r
) t ( r
0
r

) t t ( r
0
+
r
) t ( r ) t t ( r
0 0
r r
+
) t ( r
0

r
C
C
t
) t ( r ) t t ( r
lm ) t ( r
0 0
0 t
0

r r
r +
=


P
0
P
0
Parametrizacin y representacin vectorial de curvas
251


k j i r
r r r
r
3 2 2 2 2 )
4
( ' + + =



Luego, la recta tangente es:
) 3 , 2 2 , 2 2 ( )
4
3 , 2 2 , 2 2 ( ) , , ( + = h z y x

o bien

+ =
+ =
=
h z
h y
h x



3
4
3
2 2 2 2
2 2 2 2

, R h

_____________________________________________________________________

Si 0 ) ( '
0
r
r
t r , se define como vector tangente a la curva ) t ( r r : C
r r
= en el punto
correspondiente a t
0
, al vector unitario con la direccin de ) ( '
0
t r
r


) ( '
) ( '
) (
0
0
0
t r
t r
t T
r
r
r
=
______________________________________________________________________


Observaciones:
1) La direccin de una curva es la que definen los valores crecientes del parmetro y
es esta direccin la que en cada punto tiene ) ( ' t r
r
y por consiguiente ) (t T
r
. Se dice
entonces que el vector tangente define la direccin de la curva en cada punto.






2) Desde ahora en ms, vamos a considerar funciones vectoriales, ) t ( r r
r r
=
derivables con continuidad ( ) ( ' t r
r
funcin continua de t) siendo adems 0 ) t ( ' r
r
r

Tales funciones son llamadas suaves. Si un arco C est definido por una funcin
vectorial suave, se dice que es un arco suave. Geomtricamente esto significa que
en cada punto admite vector tangente que vara con continuidad a lo largo del mismo.


Actividad 7
Antes de continuar, les proponemos que enuncien y justifiquen las siguientes
propiedades de la derivada de una funcin vectorial, con respecto a las operaciones
entre vectores.

[ ] ..... .......... .......... .......... ) t ( r ) t ( r
2 1
=

+
r r

[ ] ..... .......... .......... .......... ) t ( r =

r

[ ] ..... .......... .......... .......... ) t ( r ) t ( r
2 1
=

r r

[ ] ..... .......... .......... .......... ) t ( r ) t ( r
2 1
=

r r

( ) [ ] ..... .......... .......... .......... ) t ( r f =

r
(si f es una funcin real)
T
Parametrizacin y representacin vectorial de curvas
252


Otra operacin no mencionada hasta ahora es la composicin de funcin vectorial con
funcin escalar:

Si ) t ( r r = con t [a, b] y h : [, ] [a, b] dada por t = h() se define
( ) ( ) ( ) ( )( ) h r h r * r o = == y se dice que es la compuesta de h con r
r















Reflexionemos sobre esta composicin:
Supongamos que h es derivable en (,) y h()>0 (,), ( h es por lo tanto una
funcin estrictamente creciente). Supongamos adems que Imagen(h)=[a,b] , en ese
caso ) ( ) (
*
r h r
r
o
r
= describe la misma curva C, conservando adems la orientacin
definida por ) (t r
v
(tenemos entonces la misma curva C parametrizada con el
parmetro )

Ahora respondan:
Cmo debera ser la funcin h para obtener una parametrizacin de la misma curva
C pero recorrida ahora en direccin contraria?



Derivada de la funcin compuesta

Siendo = ) (
*
r
r
= ) ( h r o
r
) (t r
v
deduzcan la derivada de
*
r
r
con respecto a cmo se
relaciona con la derivada de r
v
con respecto a t y con h() ?

Indicacin:
Siendo k t z j t y i t x t r
r r r
r
) ( ) ( ) ( ) ( + + = ; k h z j h y i h x r
r r r
r
)) ( ( )) ( ( )) ( ( ) (
*
+ + =
....... ..........
d
r d
*
=

r


Apliquen regla de la cadena en cada componente y comprueben que ) ( ' h
dt
r d
d
r d
*

r r
=

A
B


a t b
h
C
r
)) ( ( ) ( * h r r
r r
=
O
Longitud de arco
253




Longitud de un arco de curva

Hemos visto en la primera parte del curso que si f y f son continuas en [a,b] , la
longitud del arco de curva ) (x f y = en ese intervalo viene dada por:

( ) dx x f
b
a

+
2
) ( 1

Consideremos ahora una curva suave C : ) ( ), ( ), ( ) ( t z t y t x t r r = =
r r
con [ ] b a t ,
cmo calculamos la longitud de C ?

Dividamos el intervalo [ ] b a, en n subintervalos de longitud
n
a b
mediante
n +1 puntos A = t
0
< t
1
< . . . < t
n
= B .

Uniendo con lneas rectas los sucesivos pares de puntos P
i
= ( ) ) ( ), ( ), (
i i i
t z t y t x y
P
i+1
=( ) ) ( ), ( ), (
1 1 1 + + + i i i
t z t y t x obtenemos una aproximacin poligonal de C.

El segmento rectilneo
1 + i i
P P tiene longitud

[ ] [ ] [ ]
2
1
2
1
2
1 1
) ( ) ( ) ( ) ( ) ( ) (
i i i i i i i i
t z t z t y t y t x t x P P + + =
+ + + +


y la longitud de la poligonal es:

=
+
=
1
0
1
n
i
i i n
P P S

Por el teorema del valor medio aplicado a las funciones x(t) , y(t) y z(t) en [ ]
1
,
+ i i
t t

(recuerden que suponemos que ) (t r
r
es suave), existen ( )
1
, , ,
+

i i i i i
t t e d c tales
que:
( )
i i i i i
t t c x t x t x =
+ + 1 1
) ( ) ( ) (
( )
i i i i i
t t d y t y t y =
+ + 1 1
) ( ) ( ) (
( )
i i i i i
t t e z t z t z =
+ + 1 1
) ( ) ( ) (
a b t
r
r

A
B
C
) a ( r
r

) b ( r
r

) t ( r
r

Longitud de arco
254

con lo cual:
[ ] [ ] [ ] ( )
i i
n
i
i i i n
t t e z d y c x S + + =
+

=
1
1
0
2 2 2
) ( ) ( ) (


Considerando que cuando n tiende a infinito la poligonal se aproxima cada vez ms
a la curva. . .

=
B
A
L longitud de C =
n
n
S lm



y, en virtud de la continuidad de y x , y z podemos asegurar que dicho lmite existe
y es :
=
B
A
L [ ] [ ] [ ] dt t z t y t x
b
a

+ +
2 2 2
) ( ) ( ) (

o sea:
=
B
A
L
dt t r
b
a

) (
r



Observemos que, para cada [ ] b a t , , la longitud de la porcin de curva entre los

puntos ( ) ) ( ), ( ), ( a z a y a x A = y ( ) ) ( ), ( ), ( t z t y t x P = estar dada por:


du u r t s
t
a

= ) ( ) (
r


Observaciones:
1) Esta funcin s(t) se llama funcin longitud de arco (nos ocuparemos de ella ms
adelante)


2) Si C es una curva de
2
, C:

=
=
) (
) (
t y y
t x x
[ ]
2 1
, t t t , resulta


=
B
A
L ( ) ( ) dt t y t x
t
t

+
2
1
2 2
) ( ) (

=
dt t r
b
a

) (
r




3) Si C : ) t ( z ), t ( y ), t ( x ) t ( r r = =
r r
con [ ] b a t , representa la trayectoria de una
partcula (o sea, en el instante t la partcula se encuentra en el punto
( ) ) ( ), ( ), ( t z t y t x P
t
= que es el punto final del vector ) (t r
r
) . . .



Longitud de arco
255

) ( ) ( t r t v =
r r
vector velocidad
du u r t s
t
a

= ) ( ) (
r


) ( ) ( ) ( t r t s t v = =
r
rapidez

) ( ) ( t r t v =
r r
vector aceleracin








Ejercicio 3 Si k t 2 j t i
3
t
) t ( r r
2
3
r r r
r r
+ + = = describe la posicin de una partcula en
funcin del tiempo, calculen la distancia recorrida a lo largo de la trayectoria en el
intervalo [ ] 4 , 0

Ejercicio 4 a) Hallen la longitud de una espira de hlice circular.

b) Calculen la longitud del arco definido por k e j sent e i t cos e ) t ( r r
t t t
r r r
r r
+ + = =


desde ( ) 1 , 0 , 1 A hasta ( )

e , 0 , e B

c) Idem para ( ) ( ) k t 6 j t 2 senh 3 i t 2 cosh 3 ) t ( r r
r r r
r r
+ + = = para 0 t 1



Funcin longitud de arco

Sea C un arco suave definido por ) (t r r
r r
= t [a,b] y supongamos que
) ( ; ) ( b r B a r A
s r

.
Ya hemos dicho que para cada t [a,b] , s(t)

=
t
a
dx x r ) ( '
r

es
la longitud de la porcin de curva entre los puntos ( ) ) ( ), ( ), ( a z a y a x A =

y
( ) ) ( ), ( ), ( t z t y t x P =

y que esa funcin s se llama funcin longitud de arco.










distancia recorrida por la partcula a lo largo de la
curva C en el intervalo de tiempo [ ] t a,
( ) r t
r
'( ) = v( ) r t t
r r

O
C
O
B A
P
r(t)
r

Longitud de arco
256

Qu podemos decir de la funcin s ?

1. Puede observarse que s(a) = 0 , s(b) =
B
A
L (longitud total del arco )

2. La imagen de s es el intervalo [0,

B
A
L ]

3. s(t) es una funcin integral en consecuencia es derivable y s (t) = ) ( ' t r
r


4. Como s(t) > 0 (pueden explicar por qu?) s(t) es estrictamente creciente
y podemos afirmar entonces que

s : [a,b] [0,

B
A
L ]
t s(t)

admite inversa.

5. Cul es la inversa? Es una funcin que podemos llamar h, que asigna a cada
longitud de arco s un valor de t.
h: [0,

B
A
L ] [a,b]
s h(s) = t

que, obviamente, es derivable en (0,

B
A
L ), siendo


) ( '
1
) ( '
t s
s h
ds
dt
= = (expliquen por qu)

Entonces
) ( '
1
) ( '
1
) ( '
t r t s
s h = = > 0 h es creciente
y por lo tanto, ) ( * ) ) ( ( s r s h r r
r r r
= = con s [0,

B
A
L ] describe la misma curva que

) (t r r
r r
= con t [a,b], conservando la orientacin

Conclusin:

), (t r r
r r
= t [a,b]



), ( * s r r
r r
= s [0,

B
A
L ]


Tenemos as, la curva parametrizada en funcin de la longitud de arco. Esto significa
que la posicin de cada punto P a lo largo de la misma queda fijada por la distancia
recorrida desde el punto inicial A hasta P, medida sobre la trayectoria.


C
Longitud de arco
257













La parametrizacin de una curva en funcin de la longitud de arco, es llamada
parametrizacin natural qu ms natural que describir la posicin en trminos del
camino recorrido? por ejemplo, decir que cierto punto es el que est a 10 cm del
punto inicial y as sucesivamente.
Sera conveniente poder expresar a toda curva en funcin de su parmetro natural
(por lo que veremos ms adelante), pero no siempre es posible.


Ejemplo 8 Sea , cos ) ( j sent a i t a t r r
r r
r r
+ = = t [0, 2] (circunferencia con centro
en el origen y radio a ) Vamos a obtener su parametrizacin natural:

s(t) : [0, 2] [0, 2a]
t s= s(t) = dx ) ( '
0

t
x r
r

cos sen t ) ( ' j t a i a t r
r r
r
+ =

a t r = ) ( '
r

s=s(t)= at dx a
t
0
=


De s = at despejamos
a
s
t = y reemplazamos en ) (t r
r

obteniendo:

j cos ) ( *
r r
r r r
a
s
sen a i
a
s
a s r
a
s
r r + = =
|

\
|
= , s [0, 2a]

Observacin: ( ) j
a a
s
a i
a a
s
sen a s r
ds
r d
r r
r
v
1
cos
1
) ( '
*
*
|

\
|
+
|

\
|
= =

es decir ( ) j
a
s
i
a
s
sen s r
r r
r
) cos( ) ( ) ( ' * + =
pudindose comprobar por clculo directo que ( ) 1 ) ( ' * = s r
r
lo cual es vlido en
general ya que: siendo ) ( * s r
r
= ) ) ( ( s h r
r



) (
1
) (
*
t r
t r
s d
t d
t d
r d
ds
r d

= =
r
r
r v


o sea que ( ) ) ( ' * s r
r
es el vector tangente unitario T
r
.


A
B
O
P
s
) ( * s r
r

Longitud de arco
258


Ejercicio 5 Obtengan la parametrizacin natural para una espira de la hlice circular.
Calculen el vector tangente unitario.

Ejercicio 6 Obtengan la parametrizacin natural de la curva j sent e i t e t r
t t
r r
r
+ = cos ) ( ,
t[0, 1]. Calculen el vector tangente unitario.


Uso de MAPLE
Para graficar curvas en el espacio se puede proceder de la siguiente manera:

> with(plots):
> spacecurve([cos(t),sin(t),2*t],t=-Pi..3*Pi, color = blue,
thickness=2); (se obtiene as la grfica de la hlice cuya ecuacin vectorial
paramtrica es k t 2 j ) t ( sen i ) t cos( ) t ( r
r r r
r
+ + = , t[-, 3] )

Para graficar la hlice y el cilindro que la contiene hacemos:
> with(plots):
> fig1:=spacecurve([cos(t),sin(t),2*t],t=0..2*Pi, color =
black, thickness=2):
> fig2:=implicitplot3d(x^2 + y^2 = 1, x= -1..1, y=-1..1,z=
0..18):
> display3d(fig1,fig2);

Para graficar curvas en el plano podemos proceder como en el siguiente ejemplo

> implicitplot(x^2/4+y^2/9=1,x=-2..2,y=-3..3); (se trata de una elipse
cuya ecuacin est dada en forma implcita)

Si la ecuacin de la elipse esta dada en forma paramtrica

> plot([2*sin(t),3*cos(t),t=0..2*Pi]);


















Campos vectoriales
259

Campos vectoriales


Dado
3
D (
2
), un campo escalar

f

con dominio en D es una funcin que
asigna a cada punto D P un nico nmero real, indicado ) (P f


La temperatura en una habitacin es un campo escalar (suponiendo que la temperatura no
vara con el tiempo, cada punto (x,y,z) tiene una temperatura, digamos T(x,y,z), que es un
nmero real medido por ejemplo en grados centgrados). La presin atmosfrica sobre la
tierra es tambin un campo escalar (a cada punto geogrfico, identificado con su longitud,
latitud y altitud, le corresponde un valor numrico de la presin, expresado, por ejemplo, en
Pascales). Encontrarn fcilmente muchos otros ejemplos de campos escalares, pero
tambin saben que, frecuentemente, es necesario recurrir al empleo de vectores para
describir ciertos comportamientos y/o resultados. Veamos:

Hemos dicho que la direccin de una curva, queda en cada punto definida por el
vector tangente y que la variacin del mismo, nos permite estudiar su forma.

Recordemos tambin que - bajo ciertas condiciones - podemos conocer en qu
direccin se produce la mayor rapidez de cambio de una funcin de dos tres
variables en un punto dado. Tal direccin es la del gradiente en ese punto particular
y el mdulo del mismo, mide la magnitud de ese cambio. En cada punto en que el
gradiente est definido, tenemos la posibilidad de conocer el comportamiento de tal
funcin.

Sabemos que sobre todo cuerpo de masa m acta una fuerza: la fuerza de la
gravedad, que se representa por medio de un vector de direccin vertical hacia
abajo.

Tambin la velocidad de una partcula mvil, requiere de un vector para su
descripcin. Podramos mencionar la velocidad del viento en cada punto de la tierra,
la cual se expresa no solo con su valor, sino con la direccin en la que sopla el
viento o la velocidad de una partcula de un fluido en movimiento - lquido o gas - .


Dado
3
D (
2
), un campo vectorial F
r
con dominio en D es una funcin que
asigna a cada punto D P un nico vector, indicado ) (P F
r


Una funcin de tal naturaleza no puede graficarse, pero podemos interpretar:











P
F(P)
r

D
Campos vectoriales
260

En cada punto D P , el vector ) (P F
r
es nico. ) (P F
r
va cambiando (en mdulo y direccin)
punto a punto (si no es constante).











Los campos vectoriales reciben denominaciones especiales, segn la interpretacin fsica
de los vectores que lo constituyen: as se tienen campos de fuerzas, campos de
velocidades, campos elctricos, etc.



Componentes de un campo vectorial

Si F
r
es un campo vectorial definido en un subconjunto de
3
(
2
) queda identificado por
medio de tres (dos) componentes reales, funciones de tres (dos) variables:

F
r
(x,y,z) = P(x,y,z) i
r
+ Q(x,y,z) j
r
+ R (x,y,z) k
r


o bien F
r
(x,y) = P(x,y) i
r
+ Q(x,y) j
r



Salvo indicacin explcita, entenderemos que el dominio D de un campo vectorial F
r
es el
mayor dominio posible, esto es, el mayor subconjunto de
3
(o
2
) en el que estn
definidas todas las componentes del campo.


Ejemplo 1 Cul es el dominio de los siguientes campos vectoriales ?


a) F
r
(x,y,z) = (x
2
+ 2 yz) i
r
+(y
3
+z
2
) j
r
+ (x+y+z) k
r
d) F
r
(x,y) = 2 i
r
+ 3 j
r


b) F
r
(x,y,z) = ( ) k xz j y x sen i x sen
r r r
cos 2 + + +

e) F
r
(x,y) =
2 2
y x
x
+
i
r
+
2 2
y x
y
+
j
r

c)

k
y x
z
j
y x
y
i
y x
x
z y x F
r r r r
2 2 2 2 2 2
) , , (
+
+
+
+
+
=
f)
j
y
y
i
x
y
y x F
r r r
1
) , (

+ =


Para los campos de los incisos a) y b), el mayor dominio posible es D =
3



En c) observen que las componentes no estn definidas en los puntos (x,y,z) en los que
x=y=0 . El mayor dominio posible es entonces el conjunto D = ( ) { } 0 / , ,
3
= = y x z y x
es decir, todos los puntos de
3
menos los que se encuentran en el eje z.

) (P F
r

2
F(P )
r


1
F(P )
r
3
F(P )
r

4
F( P )
r

P
1
P
P
4
P
2
P
3
Campos vectoriales
261

El campo vectorial del inciso d) est definido

los puntos de
2

.
Observen que es ste un
campo constante (a cada punto del plano le corresponde el mismo vector)

En e), las componentes no estn definidas en los puntos (x,y) en los que x=y=0 . El mayor
dominio posible es entonces el conjunto D = ( ) { } 0 , 0
2


En f), las componentes no estn definidas en los puntos (x,y) en los que x=0 o y=1.
El mayor dominio posible es entonces el conjunto D = ( ) { } 1 0 / , y x y x , es decir, todos
los puntos de
2
menos los que se encuentran en las rectas x = 0

e

y=1




Grficos de campos vectoriales

No es posible dibujar por completo un campo vectorial, ya que consta de infinitos vectores.
En lugar de eso, lo que se hace es un esquema grfico dibujando unos cuantos vectores
representativos F
r
(x,y) aplicados en el punto (x,y) correspondiente.


Ejemplo 2 Sea F
r
(x,y) = x i
r
+ y j
r
, qu vectores corresponden a los puntos (0,0), (1,1),
(-1,1), (2,1), (0, -1) , (-1,0)?

F
r
(0,0) = 0 i
r
+ 0 j
r
, F
r
(1,1) = 1

i
r
+ 1 j
r
, F
r
(-1,1)= -1

i
r
+ 1 j
r
,

F
r
(2,1) = 2

i
r
+ 1 j
r
, F
r
(0, -1) = 0

i
r
- 1 j
r
, F
r
(-1,0)= -1

i
r
+ 0 j
r
,

Los representamos:





Cuantos ms vectores representemos mejor ser la idea que tendremos del campo
vectorial.




Campos vectoriales
262

Este campo es llamado radial, los vectores se alejan del origen e incrementan el mdulo a
medida que la distancia al origen es mayor.


















j y i x y x F
r r r
+ = ) , (

Ejercicio 1 Dibujen algunos vectores de los siguientes campos vectoriales. Calculen F
r
y
comenten los resultados obtenidos.



Corroboren sus grficas del ejercicio anterior usando MAPLE:

> with(plots):
> fieldplot( [x,y],x=-2..2,y=-2..2,color=blue);(el comando fieldplot se
usa para campos en
2
poniendo entre corchetes las componentes del campo y luego la
variacin de x e y )

>fieldplot3d([y,x,0],x=-2..2,y=-2..2,z=-2..2,color=blue);(el comando
fieldplot3d se usa para campos en
3
poniendo entre corchetes las
componentes del campo y luego la variacin de x , y y z






2 2 2 2
a) F(x, y) = -y i + x j
x y
b) F(x, y) = i + j
x + y x + y
c) F(x, y) = y i + 0 j
d) F(x, y) = sen y i + 0 j
e) F(x, y,z) = x i + 0 j + k
f) F(x, y,z) = -z k
r r r
r r r
r r r
r r r
r r r r
r r
Campos vectoriales
263

Comentarios:

1- Los campos vectoriales, que describen ciertos fenmenos fsicos pueden depender,
adems de la posicin, tambin del tiempo. Por ejemplo un campo de velocidades de
un fluido en movimiento describe la velocidad de una partcula, en funcin de las
coordenadas del punto por donde pasa, pero, si adems esa velocidad se modifica de
acuerdo con el instante en que eso ocurre, el vector resulta dependiente de t (tiempo).
Los campos vectoriales independientes del tiempo son llamados campos vectoriales
estacionarios.

2- Las lneas que en cada punto son tangentes al vector campo que pasa por el mismo
punto, son llamadas lneas de campo y tambin en ciertos casos particulares, lneas
de flujo o lneas de corriente. Cabe aclarar que el nombre de lneas de corriente es
ms adecuado para las trayectorias descriptas por las partculas de un fluido en
movimiento, donde hay dependencia del tiempo (campo no estacionario). Para
campos estacionarios, es comn decir lneas de campo a esas trayectorias, pero en
tal caso las lneas coinciden.












Ejercicio 2 Si F
r
(x,y) = x

i
r

- y j
r
, es el campo de velocidades de una partcula de un
fluido en movimiento encuentren las trayectorias seguidas por ella ( lneas de campo)
siguiendo los pasos:
a) Usen MAPLE para graficar el campo vectorial.
b) Teniendo en cuenta la grfica, pueden indicar la forma de las trayectorias?
c) Si las ecuaciones paramtricas de una lnea de campo son x = X(t), y = Y(t),
expliquen por qu estas funciones satisfacen las ecuaciones diferenciales
dx / dt = x y dy / dt = -y.
d) Resuelvan las ecuaciones diferenciales para hallar la lnea de campo que pasa por el
punto (1,1).
e) Encuentren la lnea de campo que pasa por el (1,0).


Campo gradiente

Recordemos que si f es una funcin definida en D
3
que admite derivadas parciales en
un entorno de P
0
D, queda definido el vector:

( ) ( ) ( ) ( ) k P
z
f
j P
y
f
i P
x
f
P f
0 0 0 0

=

llamado gradiente de f en P
o
. Si, adems, esas derivadas son continuas, el gradiente
permite calcular la derivada direccional, en toda direccin posible.



Campos vectoriales
264

En cada punto D P

,

) P ( f
r

indica la direccin de mximo crecimiento de f, ) (P f
r
la
tasa o razn de ese mximo crecimiento. Idntica situacin queda definida en

2

.


Ejemplo 3 Sean w = f(x,y,z) = 3 x
2
y + 2 z
3
x y el vector unitario

2
1
2
3
, 0 , u =
r


La derivada direccional de f(x,y,z) en P
0
(3, 1, -1) y en la direccin del vector unitario

u
r
es:
( ) = 1 , 1 , 3 f D
u
r
h
) 1 , 1 , 3 ( f ) h 1 , 1 , h 3 ( f
lm
2
1
2
3
0 h
+ +


y puede calcularse de la siguiente manera:

( ) =
0
P f D
u
r
) P ( f
0
r
u
r



) z xy ( ) z , y , x ( f
3
2 6 + =
r
+ (3 x
2
) j
r
+ (6 z
2
x) k
r
) P ( f 16
0
=
r
i
r
+ 27 j
r
+ 18 k
r


y por lo tanto:

( ) = 1 , 1 , 3 f D
u
r
) 1 , 1 , 3 ( f
r
=
2
1
2
3
, 0 , 18 , 27 , 16 =
2
1
2
3
, 0 , 9 3 8 +





Actividad 1 En un mismo sistema de coordenadas grafiquen el campo gradiente de
f(x,y) =
2 2
y x + y las curvas de nivel de f . Observen y comenten lo obtenido.

Indicacin: Pueden usar MAPLE, con los comandos que se encuentran a continuacin.

> with(linalg):
> with(plots):
> f:=(x^2+y^2+1)^(1/2):
> g:=gradplot( (x^2+y^2+1)^(1/2),x=-2..2,y=-2..2,color=red):
> h:=contourplot(f,x=-2..2,y=-2..2,color=blue ):
> display({g,h});


Propiedad : El campo f
r
es normal a las curvas de nivel de f .

Dicho de otra manera:

Las lneas de flujo de f
r
son perpendiculares a las curvas de nivel de f


Funcin potencial

Decimos que un campo vectorial F
r

es un campo gradiente en D (
2
D o
3
D )
si existe un campo escalar f tal que F P f
r r
= ) ( para todo punto de D. Si eso sucede la
funcin f se dice que es una funcin potencial de F
r
en D



Campos vectoriales
265

Sabemos cmo construir el campo gradiente de una funcin f dada, pero, dado un campo
vectorial F
r
,
cmo podemos decidir si es un campo gradiente?

Por ahora, simplemente, tratando de hallar una funcin potencial:

Si F
r
(x,y) = P(x,y) i
r
+ Q(x,y) j
r
, se busca f tal que :

Q
y
f
P
x
f



Ejemplo 4 Es F
r
(x, y) = 2 x y i
r
+ (x
2
+ y
2
) j
r
un campo gradiente en
2
?

Busquemos f (x, y) tal que
x
f

= 2 x y
y
f

= x
2
+ y
2

Integrando
x
f


con respecto a x se tiene: f (x, y) = ) ( 2
2
y y x dx xy + =

(noten que

la constante de integracin puede depender de y !) .

Por lo tanto:
y
f

= x
2
+ y
2
= ) ( '
2
y x +

as que ) ( ' y = y
2

de donde ) ( y =
3
3
y
y f (x, y) = C
y
y x + +
3
3
2
. Luego F
r
es un campo gradiente.
(Pueden verificar que F P f
r r
= ) ( )



Ejemplo 5 Para decidir si F
r
(x, y) = x y i
r
+ y
2
j
r
es un campo gradiente buscamos
f (x, y) tal que :
x
f

= x y
y
f

= y
2

Al integrar
x
f

con respecto a x se tiene, en forma similar al ejemplo anterior,


f (x, y) = ) ( ) 2 / (
2
y y x dx xy + =




y
f

= y
2
= ) ( '
2
2
y
x
+

) ( ' y = y
2
-
2
2
x


Observen la ltima igualdad que escribimos: la derivada con respecto a y, de una funcin
de y, resulta dependiente de x! Esto obviamente no es posible y nos permite concluir que no
existe ninguna funcin que cumpla f /x = x y y f /y = y
2
simultneamente y por lo
tanto el campo no es un campo gradiente.

Campos vectoriales
266


Actividad 2 Planteen las condiciones para decidir si un campo vectorial F
r
en
3
es no
un gradiente. Decidan luego cuales de los siguientes campos lo son, intentando obtener la
funcin potencial correspondiente.

a) F
r
(x,y,z) = (2x-3y) i
r
+ (-3x) j
r
+ 2 k
r

b) F
r
(x,y,z) = yz cos(xyz) i
r
+ xz cos(xyz) j
r
+ xy cos(xyz) k
r

c) F
r
(x,y,z) = k senz xe j z cos xe i z cos e
y y y
r r r
+
d) F
r
(x,y) = x i
r
+ y j
r

e) F
r
(x,y,z) = y z i
r
+ x z j
r
+ x y k
r


Pueden verificar los resultados obtenidos usando MAPLE como se indica a continuacin

> g := [2*x, 2*y, 2*z];
> potential(g, [x,y,z], 'G');
> G;


Actividad 3 De acuerdo con lo formulado por Isaac Newton, la magnitud de la fuerza de
atraccin entre objetos de masa
2 1
m y m respectivamente, est dado por:

2
2 1
d
m . m
g F =
r
,


donde d es la distancia entre los objetos y g es la constante gravitacional. Esta es la
famosa ley gravitacional y constituye un importante ejemplo de campo de fuerzas.

Supongamos que un objeto esfrico de masa M (por ejemplo la Tierra), tiene su centro en el
origen. Sea F
r
) , , ( z y x la fuerza ejercida por esta masa sobre un objeto de masa m situado
en un punto ) z , y , x ( P del espacio. Podemos suponer que el objeto de masa M puede
manejarse como un punto masa situado en el origen.

Si r
r
= x

i
r
+ y j
r
+ z k
r
, entonces:

2
.
r
m M
g F
r
r
=
F
r
est dirigida hacia el origen, tiene la direccin del vector unitario
r
r
u
r
r
r
=











z
x
y
m
M
O
P(x,y,z)
r

z
x
y
F

Campos vectoriales
267


En consecuencia:
|
|

\
|
= =
r
r
r
m . M
g u . F F
2
r
r
r
r
r r



3
r
r
. m . M . g F
r
r
r
=


Les proponemos ahora lo siguiente:

Si llamamos c = g.M.m el campo vectorial F
r
resultado de la ley del inverso del cuadrado,
puede ser expresado como:

( )
2 / 3
2 2 2
3
z y x
k

z j

y i

x
. c
r
r
. c ) z , y , x ( F
+ +
+ +
= =
r
r
r

Comprueben que F
r
es un campo gradiente hallando su funcin potencial


Estudio de la variacin de un campo

Sabemos que la variacin de una funcin se estudia por medio de las derivadas (parciales
y/o totales) de la misma. Cuando se trata de un campo vectorial, las derivadas parciales de
sus componentes (cuando existen), combinadas de determinadas maneras, estn
involucradas en el estudio de su comportamiento.

Supongamos que las componentes de

k z y x R j z y x Q i z y x P z y x F

) , , (

) , , (

) , , ( ) , , ( + + =
r


admiten derivadas parciales con respecto a cada una de las variables:

z
R
y
R
x
R
z
Q
y
Q
x
Q
z
P
y
P
x
P






Se definen una magnitud vectorial (un nuevo campo) y una magnitud escalar (funcin real
de tres variables) de la siguiente manera:


a) Se llama divergencia del campo R , Q , P F =
r
, a la funcin escalar:

z
R
y
Q
x
P
F div

=
r

(suma de las derivadas de P, Q y R, con respecto a las variables asociadas a las respectivas
direcciones)

Campos vectoriales
268


b) Se llama rotor ( rotacional) de F
r
, al campo vectorial:

k


y
P
x
Q
j

x
R
z
P
i

z
Q
y
R
F rot |

\
|

+
|

\
|

+ |

\
|

=
r


que combina para cada componente, las variables y componentes de F
r
asociadas con el
plano perpendicular al versor correspondiente.


Observacin: Estas definiciones, aunque parezcan arbitrarias, no lo son. Iremos
descubriendo sus implicancias a lo largo de lo que resta del curso y discutiremos
interpretaciones fsicas concretas de ellas cuando estudiemos el Teorema de Stokes y el
Teorema de Gauss. Por ahora, haremos - en forma muy elemental - algunos comentarios
relacionados con el estudio de fluidos en movimiento que nos acercarn a estos conceptos.


a) Con respecto a la divergencia: Consideremos un tubo a travs del cual fluye agua.


V



Podemos imaginar dentro del tubo una superficie cerrada (indicada por las lneas de punto).
El agua pasa a travs de esta superficie. El agua entra por un lado y sale por el otro. El
lquido puede circular en cualquier forma irregular; la cantidad que entra debe ser igual a la
que sale. Se probar ms adelante que esto equivale a decir que el agua que es
incompresible, que circula de tal manera que si representamos su velocidad por el campo V
r

la divergencia de V
r
debe ser idnticamente nula. Este es el origen de la denominacin
divergencia: el agua no puede divergir de un punto, pues dejara un vaco, tampoco puede
convergir a un punto, pues es incompresible.

El movimiento del aire es diferente. Supongamos un tubo de aire comprimido con cierre en
un extremo. Un cierre similar acaba de ser removido del otro extremo y el aire sale hacia
fuera.

V


Consideremos la superficie cerrada, sealada con lnea de puntos. Como el aire se
expande, es ms el aire que sale por un lado de la superficie que el que entra por el otro.
En consecuencia, hay una divergencia de aire. Hay divergencia distinta de cero en todos los
puntos en que el aire se expande. Si la velocidad del aire est representada por el campo
vectorial V
r
, la divergencia del vector V
r
es distinta de cero.

Campos vectoriales
269


Podemos tambin en forma breve dar una interpretacin de la divergencia en trminos de su
definicin: sea k

) z , y , x ( V j

) z , y , x ( V i

) z , y , x ( V ) z , y , x ( V
3 2 1
+ + =
r
campo de velocidades de un
fluido, donde suponemos derivables sus componentes
1
V ,
2
V y
3
V .


Consideremos el punto P(x,y,z) y un paraleleppedo elemental que, a partir de P, tiene las
aristas paralelas a los versores fundamentales i
r
, j
r
, k
r
, con longitudes x, y,z,
respectivamente.


P
j
k
i
z
x
y


La cantidad de fluido que entrar en el paraleleppedo por la cara normal a i
r
, por unidad de
tiempo ser:

z . y ). z , y , x ( V
1


(producto de la componente en i
r
de V
r
por el rea de la seccin de entrada:

tiempo de unidad por volmen rea
tiempo
ento desplazami
= ),

y la cantidad que saldr por la cara opuesta ser:


z . y ). z , y , x x ( V
1
+

Entonces z . y . x .
x
) z , y , x ( V ) z , y , x x ( V
1 1

+


representa la variacin de la cantidad de fluido (saliente y entrante) en esa direccin.


Al tomar lmite para 0 x , se tiene z . y . x .
x
V
1

que representa la diferencia neta


entre fluido saliente y entrante.


De igual manera, las diferencias anlogas para las otras caras son:

z . y . x .
y
V
2

y z . y . x .
z
V
3


Campos vectoriales
270

En consecuencia, la cantidad de fluido que se ha creado en el paraleleppedo elemental
considerado es z . y . x . V div z . y . x
z
V
y
V
x
V
3 2 1
= |

\
|

r


De aqu resulta que: la divergencia de V
r
en el punto P es el cociente entre la cantidad de
fluido que se crea por unidad de tiempo en el volumen elemental correspondiente a P, y este
volumen, cuando el mismo tiende a reducirse al punto P.

Naturalmente, si V div
r
es negativa en vez de crearse fluido en P hay que entender que se
consume fluido en ese punto. Se dice que en P hay una fuente o un desage (
sumidero) segn sea V div
r
positiva o negativa respectivamente.



b) Qu podemos informarles coloquialmente del rotor?
Imagine un gran tanque circular, conteniendo agua, la cual ha sido movida con una pala.

Los vectores representan la velocidad V
r
.











Al lado del tanque se muestra una pequea rueda con paletas. Si esta rueda montada sobre
un mecanismo libre de friccin, se sumerge en el centro del tanque, girar en sentido
contrario a las agujas del reloj. En cualquier punto que se coloque la ruedita girar, pues
aunque no est en el centro, el agua corre mas rpidamente por un lado de la ruedita que
por el otro. El movimiento de la rueda est indicando que el campo de velocidades tiene un
rotor no nulo.
El nombre rotor est vinculado con el movimiento en lneas curvas. Sin embargo un
movimiento rectilneo de un fluido puede tener tambin un rotor no nulo.
Supongamos que el agua fluye en un canal, en tal forma que su velocidad sea mayor, cerca
de la superficie que en el fondo. Toda partcula se mueve sobre una recta.





Recurriendo a la ruedita exploradora podemos observar que girar en sentido de las
agujas del reloj, pues la corriente es mas rpida en las capas superiores. Esto significa que
el rotor no es nulo.

Tambin puede darse movimiento curvilneo con rotor nulo.
Tanque visto de arriba
rueda de prueba

Campos vectoriales
271





Se puede concebir que la curvatura y la variacin de velocidad estn relacionadas de tal
manera que la ruedita quede sin girar. Es posible entonces, la existencia de movimientos de
fluidos curvos, cuyos campos de velocidades sean de rotor nulo.


Podemos completar esta presentacin, enfatizando que la divergencia de un campo
vectorial es una funcin escalar. Hay divergencia de un punto o hacia un punto (positiva o
negativa), pero no hay asociada a este concepto idea alguna de direccin.

El rotor de un campo vectorial es un vector. Si imaginamos el rotor como un torbellino, es
evidente que este gira alrededor de un eje que puede ser vertical, horizontal, o con cualquier
inclinacin. La direccin de tal eje es por definicin la direccin del vector que representa al
rotor. Refirindonos a la ruedita exploradora, diremos que cuando est en la posicin en que
se mueve ms rpidamente, su eje est en la direccin del rotor. Las componentes del rotor
se encuentran colocando el eje de la ruedita paralelo a cada uno de los ejes coordenados.
El sentido del rotor est determinado por el sentido de rotacin de la ruedita. Se determina
de acuerdo con la regla de la mano derecha - o tornillo derecho -.


rot F
rot F



Para obtener la divergencia y el rotor de un campo c solo tenemos que aplicar la definicin.

Ejemplo 6 Sea

=
=
=
+ =
2
2
2 2
2

2

yz R
xy Q
x P
k yz j xy i x F
r

a) yz yz x x F div 2 2 2 2 = + =
r

b) ( ) ( ) k y i z F rot k y j i z F rot

2

0 2

0
2 2
= + + =
r r




Supongamos el canal de la figura donde en la parte recta
el agua circula con velocidad uniforme. Es evidente que all
la rueda exploradora no girar.
Es posible tambin que en la parte curva el agua circule
con rotor nulo. Cmo es esto? Bueno, para ello es
necesario que el agua circule con mayor velocidad en la
margen interna del canal en la proporcin justa.
Por causa de la curvatura de las lneas de corriente, ms
de la mitad de las paletas de la ruedita exploradora son
dirigidas en el sentido de las agujas del reloj. La velocidad,
sin embargo, es mayor segn supusimos en la orilla
interior y aunque sean empujadas menos, en el sentido
opuesto, reciben un impulso mayor.

Campos vectoriales
272


Uso de MAPLE

Los comandos curl y diverge devuelven el rotor y la divergencia de un campo vectorial
> with (linalg):
> c1:=curl([2*x*y,2*y*z,2*(x+y)],[x,y,z]);
> d1:=diverge([2*x*y,2*y*z,2*(x+y)],[x,y,z]);



Operador nabla


k


z
j

y
i

=
r


Es un vector simblico, que permite sintetizar las frmulas del anlisis vectorial y recordar
ms fcilmente las mismas. Este smbolo en si, no tiene ningn significado, pero si cuando
se lo aplica a una funcin escalar o campo vectorial:

. Aplicado a una funcin escalar f , se obtiene el gradiente: f
r

. El producto escalar entre
r
y un campo F
r
da la divergencia de F
r
: F div F
r r r
=
. El producto vectorial entre
r
y F
r
da el rotor de F
r
: F rot F
r r r
=


Ejercicio 3 Aplicando el operador
r
, calculen divergencia y rotor de F
r
.

a) k

z j

y i

x ) z , y , x ( F
2 2 2
+ + =
r
b) k

y x j

z x i

yz ) z , y , x ( F + + =
r

c) ( ) ( ) k

3 j

y sen i

x cos ) z , y , x ( F + + =
r
d) ( ) ( ) k

z j

y sen . e i

y cos . e ) z , y , x ( F
x x
+ + =
r

e) ( ) ( ) ( ) k

y x j

z x i

z y ) z , y , x ( F + + + + + =
r


Ejercicio 4 Sea f campo escalar y F
r
campo vectorial. Indiquen cules de los siguientes
campos son escalares, vectoriales o sin significado.

a) f iv d

b) f grad

c) F grad
r
d) ( ) f grad div

e) ( ) f grad rot
f) ( ) F ot r rot
r
g) ( ) F div iv d
r

h) ( ) ( ) f grad rot div

Ejercicio 5 Suponiendo que las derivadas parciales requeridas existan y sean continuas,
demuestren que:
a) ( ) G div F div G F div
r r r r
= b) ( ) G rot F rot G F rot
r r r r
=
c) ( ) ( ) F . f grad F div . f F . f div
r r r
+ = d) ( ) ( ) F f grad F rot . f F . f rot
r r r
+ =
e) ( ) 0 F rot div =
r
f) ( ) 0 f rad g rot
r
=


Campos vectoriales
273

Ejercicio 6 La funcin escalar: ( ) f grad div = f .
r r
(escrita tambin como f
2

r
) se
llama laplaciano de f , y una funcin f que satisface 0
2
= f
r
, se dice que es armnica.
Estos son conceptos importantes en fsica.

a) Prueben que:
2 2 2
2
2 2 2
x y z
f f f
f

= + +

r


b) Encuentren f
2

r
para cada una de las siguientes funciones y decida cuales son
armnicas.

i)
2 2 2
z y x 2 ) z , y , x ( f = ii) xyz ) z , y , x ( f =
iii) z 3 xy 3 x ) z , y , x ( f
2 3
+ = iv) ( )
2 / 1
2 2 2
z y x ) z , y , x ( f

+ + =


Ejercicio 7 a) Sea el campo j

2 i

) y , x ( F + =
r
. Grafiquen F
r
y decidan que se obtiene con
F div
r
y F ot r
r
. Es posible el resultado?
b) Sea ( ) i

10 y ) y , x ( F + =
r
. Grafiquen F
r
y calculen F div
r
y F ot r
r
. Son resultados
previsibles? ( piensen en la ruedita de prueba).
c)Sea el campo unitario j

y x
y
i

y x
x
) y , x ( F
2 2 2 2
+
+
+
=
r
; con direccin radial. Grafiquen
y comprueben que:
( )
F div
r
1

y x
1
F .
2 / 1
2 2
r
r
r r
= =
+
=

Siendo j

y i

x r + =
r
y 0 F ot r =
r


Observacin: La presencia de una divergencia est asociada con la necesidad de agregar
nuevas lneas, a fin de mantener constante la intensidad del campo. Es evidente en este
ejemplo que si las lneas parten de cierta regin, habr mas lneas saliendo de esa regin
que entrando. Esto significa que la divergencia no es nula en esa regin. Vemos en este
ejemplo que la divergencia aumenta a medida que nos acercamos al origen, pues es ah
donde se originan ms lneas de corriente. La ecuacin (*) nos dice cuantitativamente que la
divergencia es inversamente proporcional a r
r
y aumenta indefinidamente al acercarnos al
origen.

e) Si j

) y , x ( Q i

) y , x ( P ) y , x ( F + =
r
, campo en el plano xy. Qu resultado arroja F ot r
r
?

f) Sea j

y x
y
i

y x
x
) y , x ( F
2 2 2 2
+
+
+
=
r
, hagan un esquema y calculen F div
r
y F ot r
r
.


En el Taller Campos vectoriales del CD de Matemtica B podrn apreciar diferentes campos
vectoriales y estudiar sus caractersticas.


Integral de lnea

274


Integral de lnea
El concepto de integral de lnea es una generalizacin natural de la integral definida.
El proceso que conduce a su formulacin se nutre de las tres etapas ya mencionadas:
dividir, aproximar, integrar. Una funcin de dos o tres variables, definida en una
curva, reemplaza a la funcin de una variable definida en un intervalo.
Sean entonces: - C arco de curva suave de extremos A y B que con valores
crecientes del parmetro se recorre desde A hacia B.

- ) P ( f = funcin real, definida y acotada en cada punto de C.

A
B
P
f
R
= f(P)
C


Qu puede representar una funcin de este tipo? Si 0 ) P ( f

en C, f podra ser la
funcin densidad lineal de masa, que distribuye, a lo largo de un hilo metlico
representado por C, masa por unidad de longitud.

1) Se considera una particin P del arco C por medio de un nmero finito de puntos

B P ,...., P , P ,...., P , P , P A
n i 1 i 2 1 o


, pudiendo as formarse n sub-arcos:
i i
P P
1
, con
longitudes . n ,..., i , S
i
1 =
A
B
P
P
i-1
i

Si

Se denomina norma de la particin P y se simboliza | P| al mximo de los
. n ,..., i , S
i
1 = ( { } n i S mx
i
.. 1 / = =

)


Integral de lnea

275


2) Se elige arbitrariamente
i i i
P P P
1
*

, se calcula
i
*
i
S ). P ( f y se suman los
resultados:
i
*
i
n
1 i
n
S ). P ( f J =

=


P
i
P
i-1
S
i
P
i
*


3) La integral de lnea (o integral curvilnea) de f a lo largo de la curva C es el lmite
de
n
J para 0 , siempre que ese lmite exista y no dependa de las particiones
consideradas y de la eleccin de los puntos
*
i
P

=
B
C
A
ds P f

) (

n
J lm
0
, si =

I J lm
n
0
independientemente de las particiones
definidas y de la eleccin de los puntos
*
i
P
Notacin:

B
C
A
ds y x f

) , (

(en
2
) ,

B
C
A
ds z y x f

) , , (

(en
3
) o simplemente

B
C
A
ds f


Pregunta: Si 0 ) ( P f y suponemos que representa densidad lineal de masa, qu
significado tiene

B
C
A
ds f

?

Clculo de la integral de lnea
a) En funcin del parmetro longitud de arco
Supongamos que la curva suave, est dada por su representacin natural: es decir
en funcin del parmetro longitud de arco: [ ]
B
A
L 0, s , (s) r r : =
r r
C y que f es
continua en C.









f
A
B



0



O

Integral de lnea

276


Tomar n +1 puntos de divisin en el arco AB, equivale a tomar una particin en [0,
B
A
L ]:
B
A n i i
L s s s s s = < < < < < < < =

s ... .... 0
1 2 1 0


formndose as n subintervalos [ ]
i 1 i
s , s

de longitud
i
S (cada subintervalo [ ]
i 1 i
s , s


representa el arco
i 1 i
P P

rectificado). Cada punto P C es extremo de un vector (s) r


r
,
entonces los P
*
i
elegidos en cada
i 1 i
P P

provienen de cierto s
*
i
[ ]
i 1 i
s , s

.

En consecuencia:

= =
= =
n
1 i
i
*
i
n
1 i
i
*
i n
S )). s ( r ( f S ). P ( f J
r

o bien:

=
=
n
1 i
i
*
i n
S ). s )( r f ( J
r
o



r f g
r
o = es la composicin de la funcin vectorial r
r
con la funcin continua f , es
decir, es una funcin tambin continua (por qu?) definida en [0,
B
A
L ] a valores reales
y se tiene =

n
P
J lm
0

B
A
L
ds s r f
0
)) ( (
r
= ( )

B
A
L
ds s z s y s x f
0
) ( ), ( ), (
luego =

B
C
A
ds z y x f

) , , ( ( )

B
A
L
ds s r f
0
) (
r

Esto significa que para obtener el resultado de la integral de lnea, debe integrarse con
respecto al arco -como variable- en el intervalo [0,
B
A
L ] la funcin evaluada en cada
punto de C.

b) Clculo en funcin de un parmetro t

Ahora bien, en general toda curva est dada en funcin de un parmetro t. Si bien ya
sabemos -recuerdan?- cambiar al parmetro longitud de arco, esto significara una
doble tarea. Cmo podemos calcular la integral en funcin de t ? . Simplemente
haciendo un cambio de variable en la integral.
Si C: [ ] b a t t r r , , ) ( =
r r
y [ ] [ ] b a L h
B
A
, , 0 : es la funcin cambio de parmetro,
entonces: C: ( ) ) ( ) ( * s h r s r r
v r r
= = ;

[ ]
B
A
L s , 0 y por lo tanto:




( ) ( )

= =
b
a
L h
h
L
dt t r t r f dt t s t r f ds s h r f
B
A
B
A
) ( ' )). ( ( ) ( ' )). ( ( ) (
) (
) 0 ( 0
r r r r
Integral de lnea

277


Conclusin:

=
b
a
B
C
A
dt ) t ( ' r )). t ( r ( f ds ) P ( f
r r


Ejemplo 1 Evaluar ds xy
C
3

, siendo C el segmento de recta y = 2x (en el plano xy)


comprendido entre los puntos A(-1, -2) y B(1, 2).

Pasos a seguir:
a) Reconocer la funcin como
3
) , ( xy y x f =
b) Parametrizar el segmento:
C:
2t y
t x

=
=
[ ] 1 , 1 t con
[ ] 1 1, - t ; j

2t i

t (t) r : C + =
r

c) Evaluar f en C:
4 3
t 8 ) t 2 .( t )) t ( r ( f = =
r

d) Hallar ) t ( ' r
r
: 5 ) t ( ' r j

2 i

1 ) t ( ' r = + =
r r

e) Armar la integral y calcular:
5
16
5
5 8 5 8 5 8
1
1
5 1
1
4
1
1
4
= = = =



t
dt t dt . t I

Propiedades de

c
ds f : debido a que el clculo de esta integral se reduce a calcular
una integral definida de variable t, son vlidas todas las propiedades conocidas:

a) ds f k ds f k
C C

=
b) ( ) ds g ds f ds g f
C C C

+ = +
c) ds f ds f ds f
2 1
C C C

+ = ,

C
1
C
2




Integral de lnea

278


Toda trayectoria C, se supondr suave o suave a trozos (unin finita de arcos suaves)

Observacin: Si la trayectoria de integracin es una curva cerrada, la notacin usual
es

C
ds f .
Ejercicio 1 Evaluar ( ) ds y x
C
2 2

+
a) Sobre la trayectoria: y = x , desde A(0,0) hasta B(1,1).
b) Sobre la trayectoria: y = 3x , desde A(0,0) hasta B (2,6).
c) Sobre el eje x, desde (0,0) hasta (1,0) y a continuacin paralelo al eje y, desde (1,0)
hasta (1,1).
d) Sobre el eje y, desde (0,0) hasta (0,1) y a continuacin paralelo al eje x, desde (0,1)
hasta (1,1).
e) A lo largo de la circunferencia 1 y x
2 2
= + desde (0,1) hasta (1,0), en sentido antihorario.
f) A lo largo de la circunferencia 1 y x
2 2
= + desde (0,1) hasta (1,0), con sentido horario.
g) A lo largo de la circunferencia 4 y x
2 2
= + desde (0,2) hasta (2,0), en sentido antihorario.

Ejercicio 2 Evaluar:
a) ds e . x
C
y

, siendo C segmento de recta desde (-1,2) a (1,1).


b) ( ) ds 9z x 2
C

+ , siendo C

: 1 t 0 ;
t z
t y
t x
3
2

=
=
=

c) ( ) ds z y x
C
2 2 2

+ + , siendo C

: 2 t 0 ;
t 3 z
t sen 4 y
t cos 4 x

=
=
=


Ejercicio 3 Sea f (x,y) = x
a) Sea
1
C : arco de parbola
2
x y = desde A(0,0) hasta B(2,4). Calculen:

B
C
A
1
ds x
b) Sea
2
C el segmento que une esos dos puntos. Calculen:

B
C
A
2
ds x
c) Sea
3
C el arco de parbola
2
x y = , desde B(2,4) hasta A(0,0). Calculen:

A
C
B
3
ds x




Integral de lnea

279


Observen!

1) Segn los resultados de 3)a) y 3)b) pueden inferir que la integral depende de la
trayectoria seguida, an cuando los puntos extremos coincidan.

2) De acuerdo con los resultados obtenidos en 3)a) y 3)c) cabra decir que el
resultado de la integral no depende de la orientacin dada a la curva. Claro que podra
tratarse de una casualidad, pero no es as. La integral se resuelve con respecto a la
longitud de arco, en consecuencia no interesa desde que punto extremo del arco
comienzan a medirse las longitudes, siempre que se den con valores crecientes de
parmetro. Dos orientaciones aunque opuestas entre si, obtenidas con parmetros
crecientes, producen arcos crecientes sin importar cul es el punto inicial.

Esta conclusin, que podra describirse como invariancia de la integral de lnea ante
un cambio de parmetro puede justificarse y lo haremos a continuacin (les
recomendamos su lectura).

Sea [ ] b a, t , (t) r r C =
r r
:

curva suave con A (a) r
r
y B (b) r
r

Sea [ ] [ ] b a, , : h funcin cambio de parmetro

[ ] , , ) ) h( ( r ) ( r r : C
* *
= =
r r r


C y C*

difieren a lo sumo en la orientacin (segn sea 0 ) ( h' > o
0 ) ( h' < se conserva o se invierte respectivamente la orientacin)


a b
t
A
r
O
B
h
r t ( ) r ( )
=



Si f es una funcin continua se tiene:

=

d ) ( ' r ) ) ( r ( f ds ) z , y , x ( f
* *
C
*
r r

Como h r r
*
o
r r
= , ) ( ' h )). ( h ( ' r ) ( * r
r r
=
Entonces:

d ) ( h )) ( h ( r ))) ( h ( r ( f ds ) z , y , x ( f
* C
=

r r
(*)
Siendo t ) ( h = se tiene dt d h = ) ( ' y corresponde analizar dos casos:


*
r
r

Integral de lnea

280


a) Si 0 ) ( h' > h creciente y por lo tanto b ) h( ; a ) h( = = (la orientacin de
C y C
*
es la misma). En ese caso ) ( h ) ( ' h = y resulta:


(*)


= =
C
b
a
ds ) z , y , x ( f dt ) t ( r )) t ( r ( f
r r

b) Si 0 ) ( h' < h decreciente y por lo tanto a ) h( ; b ) h( = = , (C y
*
C
tienen orientaciones opuestas). En ese caso ) ( h ) ( ' h = y resulta:


(*)



= = =
C
b
a
a
b
ds (x,y,z) f dt ) t ( ' r )) t ( r ( f dt ) t ( ' r )) t ( r ( f ) 1 (-
r r r r



Vamos a establecer una convencin:
Siendo C la curva que est representada por una ecuacin [ ] b a, t , (t) r r =
r r
y su
orientacin la definida por los valores crecientes de t, llamaremos C - a la misma
curva subyacente, que, con valores crecientes del parmetro , en una representacin
) = ( r r
*
v r
, tiene una orientacin opuesta a la dada por t.
De acuerdo a lo expuesto anteriormente:

=
C - C
ds f ds f


Concluimos la presentacin de la integral de lnea de una funcin escalar (real) f, con
la siguiente pregunta: Si f es funcin de dos variables ( z = f (x,y) ) y C curva en el
plano xy, qu significado geomtrico puede tener

C
ds (x,y) f ?
C curva
grfica de f
x
y
z


Pista: interpreten )) t ( r ( f
r
en el grfico





Integral de lnea

281


Ejercicio 4 Calculen el rea de la superficie que se extiende desde la curva dada
hasta la superficie dada:

a) Sobre el segmento de recta que va de (2,0,0) a (-2,0,0) hasta la superficie

2 2
y x 4 z = .
b) Sobre la elipse 4 y 4 x
2 2
= + hasta el plano x 4 z = (slo plantear la integral en
este inciso)

c) Sobre el segmento de recta que va desde (1,1,0) a (-1,1,0), hasta la superficie
2 2
y x z + = .

Integral de lnea de un campo vectorial
Sea C arco suave, orientado con valores crecientes del parmetro desde A hacia B, y
F
r
campo vectorial definido en cada punto de C, con componentes continuas.

B
A
T
F


Se define integral de la componente tangencial del campo a lo largo de C, a la
integral:


B
C
A
ds T F
r r

T F
r r
es una funcin escalar (real) definida en cada punto de C es la proyeccin de
F
r
en la direccin de T
r
(vector tangente).
Como T
r
define la direccin de la curva, se suele decir que T F
r r
es la proyeccin de
F
r
en direccin de C, en consecuencia la integral de lnea de esa funcin a lo largo de
la trayectoria C, se dice -por abuso de lenguaje- integral de F
r
a lo largo de C.


Significado de


C
ds T F
r r

Si nos remitimos a la definicin de

C
ds f , siendo T F f
r r
= y F
r
un campo de
fuerzas, en cada sub-arco
i 1 i
P P

, al tomar un punto P
*
i
arbitrario y calcular
i
*
i
S ). P ( f =
i
*
i
S ). P ( T F
r r
, se tiene el trabajo realizado por la componente tangencial
de F
r
a lo largo del arco de longitud
i
S .






Integral de lnea

282


T
F
P
i-1
P
i P
i
*


i i
*
i
w S ). P ( T F
r r


Entonces, al sumar : ( )( )

= =

n
1 i
i
*
i
n
1 i
i
S . P T F w
r r


se tiene una aproximacin del trabajo que realiza el campo al mover un objeto desde A
hasta B, a lo largo de la trayectoria C.
Luego, en el lmite:

=
B
C
A
ds T F w
r r
(Trabajo total)

Observacin: Si la curva es cerrada ( B A ) la integral se dice circulacin y se
denota


C
ds T F
r r

B A
T
F


Esta denominacin, tiene ms sentido cuando el campo es un campo de velocidades
de un fluido.

Clculo de


B
C
A
ds T F
r r

Si C: [ ] b a, t , (t) r r =
r r

( )( ) ( ) ( )

= =
b
a
b
a
B
C
A
dt ) t ( ' r ) t ( r T ) t ( r F dt ) t ( ' r ) t ( r T F ds T F
r r
r
r
r
r r
r r r r

( ) = =

dt ) t ( ' r
) t ( ' r
) t ( ' r
) t ( r F
b
a
r
r
r
r
r
( )


b
a
dt ) t ( ' r ) t ( r F
r r
r

donde: ( ) ) t ( r F
r
r
: es el campo evaluado en cada punto de C.
) t ( ' r
r
: es el vector que define la direccin tangente a C en cada punto de
acuerdo con la direccin elegida en C con los valores crecientes de t.

Integral de lnea

283


Ejemplo 2 Sean k

xz j

z y i

xy 2 F
2
+ + =
r
un campo de fuerzas y
C: ( ) k

t 2 1 j

t i

t (t) r
2
+ + =
r
con [ ] 0,1 t un arco.

Calcularemos el trabajo realizado por F
r
para transportar una partcula desde
(0) r A
r
hasta (1) r B
r
a lo largo de C.

( ) ( ) = + + = k

t 2 t j

) t 2 1 ( t i

t . t 2 ) t ( r F
2 4 2
r
r
( )k

t 2 t j

) t 2 t ( i

t 2
2 5 4 3
+ +

(x, y, z se reemplazaron por x(t), y(t), z(t), componentes del vector (t) r
r
)

k

2 j

t 2 i

1 ) t ( ' r + =
r

Luego:

( ) ( ) = + + = + =
2 6 5 3 2 5 4 3
t 4 t 2 t 4 t 2 t 2 t 2 t . 2 ) t 2 t .( t 2 t 2 ) t ( ' r . ) t ( r F
r r
r


t 2 t 4 t 2 t 2 t 4
2 3 5 6
+ + + =

Por lo tanto:
( ) = + + + = + + + =

1
0
2
3 4 6 7 1
0
2 3 5 6
t
3
t
4
4
t
2
6
t
2
7
t
4 dt t 2 t 4 t 2 t 2 t 4 w

42
25
1
3
4
2
1
3
1
7
4
= + + + =



Notaciones varias:
El clculo de


B
C
A
ds T F
r r
por medio de ( ) ( )

b
a
dt ) t ( ' r . t r F
r r
r
, sugiere:
1) Llamar dt ) t ( ' r r d
r r
= y adoptar como notacin posible:


C
r d F
r
r
.

2) Siendo R , Q , P F =
r
y ( ) ( ) ( ) ( ) t z , t y , t x t ' r =
r


Se tiene que ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) t ' z t r R t ' y t r Q t ' x t r P t ' r t r F
r r r r r
r
+ + =
y siendo ( ) dx dt t ' x = , ( ) dy dt t ' y = , ( ) dz dt t ' z = el clculo de la integral
sugiere la notacin:

+ + =
C C
dz R dy Q dx P ds T F
r r


Integral de lnea

284


3) Como T
r
es un vector unitario, sus componentes son sus cosenos directores:
( ) cos , cos , cos T =
r
(recuerda por qu es as?) Entonces, en virtud del resultado
del producto escalar T F
r r
, otra notacin sugerida, es:

( )

+ + =
C C
ds cos R cos Q cos P ds T F
r r


Pero deben tener en cuenta que cualquiera sea la notacin empleada, el clculo
efectivo, requiere conocer el campo, la curva y los puntos extremos, para poder
integrar el resultado que se obtiene del producto escalar entre el campo evaluado
sobre la curva, con el vector que da la direccin tangente a la curva, entre los limites
que corresponden a los valores del parmetro que identifican los puntos extremos del
arco.


Observacin (importante!)
Hemos visto que

=
C C
ds f ds f

.

Nos preguntamos ahora qu relacin hay entre


C
ds T F
r r
y

C
ds T F
r r


En principio podramos decir que, siendo T F
r r
una funcin escalar, su integral a lo
largo de C no cambia, cualquiera sea la orientacin de C, siempre que se obtenga con
valores crecientes del parmetro, cualquiera sea la representacin dada.

Pero ocurre lo siguiente: los vectores tangentes correspondientes a C y a -C
son......OPUESTOS! y por consiguiente el signo del producto escalar T F
r r


cambia

B
T
F
A
T
*


es decir, las funciones que se integran con una y otra representacin son opuestas
entre si, resultando:



=
C C -
ds T F ds T F
r r r r


Este resultado no contradice la propiedad de invariancia de la integral de lnea frente
a cambios de parmetro, lo que ocurre es que la componente de F
r
en la direccin
tangente cambia de signo al tomar direcciones opuestas sobre la misma trayectoria, y
las funciones a integrar, siendo opuestas entre si, arrojan resultados opuestos.



C
-C
Integral de lnea

285


Ordenando resultados -y convenciones hechas anteriormente-, podemos establecer:

C : recorrida con valores crecientes de un parmetro t.


C - : recorrida con valores crecientes de un parmetro ,
pero con orientacin opuesta a la dada por t.

Entonces, si f es un campo escalar y F
r
es un campo vectorial:



=
C - C
ds f ds f


=
C - C
ds T F ds T F
r r r r



Pregunta: Supongan que tienen que calcular


B
C
A
ds T F

r r
.El clculo siempre requiere
una parametrizacin que, con valores crecientes del parmetro, vaya desde A hacia
B, pero les resulta ms fcil obtener una parametrizacin que, con valores crecientes
del parmetro, vaya de B hacia A, qu hacen entonces?

Ejercicio 5 Calculen el trabajo realizado por F
r
a lo largo de C:

a) ( ) y x y x F 2 , 2 , =
r
, C segmento de recta desde A(3,1) hasta B(5,4).
b) ( ) y x y x F 2 , 2 , =
r
, C segmento de recta desde A(4,2) hasta B(0,4).
c) ( ) x , y y , x F =
r
, C es el cuadrado que va de (0,0) a (1,0) a (1,1) a (0,1) a (0,0).
d) ( ) 0 , y , z z , y , x F =
r
, C segmento que va de A(1,0,2) a B(2,4,2).
e) ( )
2
x 3 , 0 , z z , y , x F =
r
, C es el cuarto de elipse ( ) ( ) 1 , t sen 3 , t cos 2 t r =
r
que va de
(2,0,1) hasta (0,3,1).

Ejercicio 6 Calculen dz xyz dy x dx y
2
C
2
+ +

, a lo largo de:
a) el eje x, desde (-1,0,0) hasta (1,0,0).
b) la parbola
2
x y = ; z = 1, desde (0,0,1) hasta (1,1,1).
c) la parbola cbica
3
x z = en el plano y = 2, desde (0,2,0) hasta (1,2,1).

Ejercicio 7 a) Calculen ( )

+ +
C
ds cos z cos y cos x a lo largo de una espira de
hlice: ( ) k

4t j

t 3sen i

t cos 3 t r + + =
r
.
b) Cul es el trabajo efectuado por la fuerza ( ) k

y 2 j

z i

x z , y , x F + =
r
en el
desplazamiento a lo largo de la trayectoria cerrada C, formada por los segmentos
1
C : desde (0,0,0) hasta (1,1,0);
2
C : desde (1,1,0) hasta (1,1,1) y
3
C : desde (1,1,1)
hasta (0,0,0)?. (Comprobar que:
2
3
= w )

C
) curva (

Teorema de Green

286

Teorema de Green








Brevemente les comentamos que el teorema que estudiaremos relaciona una integral
de lnea de la componente tangencial de un campo sobre una trayectoria cerrada
(circulacin del campo a lo largo de la trayectoria) con una integral doble.

_____________________________________________________________________

Teorema de Green

Si C es una curva en el plano, cerrada, simple, suave a trozos y con orientacin
antihoraria , R es la regin del plano cuya frontera es la curva C y
j y x N i y x M y x F
r r r
) , ( ) , ( ) , ( + = es un campo vectorial cuyas componentes tienen
derivadas parciales continuas en un dominio abierto D que contiene a R y a C
entonces dA
y
M
x
N
r d F
R C
) ( .

=

r
r
(*)
_____________________________________________________________________


Revisemos las hiptesis del teorema:
. Recordemos que una curva del plano C : [ ] b a t j t y i t x t r , ; ) ( ) ( ) ( + =
r r
r

es cerrada si sus puntos inicial y final coinciden, es decir ) ( ) ( b r a r
r r
= , y es simple si
no se corta a s misma, o sea ( )
2 1 2 1 2 1
, , , , ) ( ) ( t t b a t t t r t r
r r
.
. Adems, C es suave a trozos si, salvo para un nmero finito de valores de t,
) (t r
r
es continua y 0 ) ( t r
r
(excepto en un nmero finito de puntos, admite vector
tangente y ste vara con continuidad).
. Como C est orientada en sentido antihorario, la regin R limitada por C queda, al
recorrer la curva, a la izquierda de la misma.
. Observemos que si las componentes M y N del campo vectorial F
r
tienen
derivadas parciales continuas en el abierto D que contiene a R y a la curva C, M y N
son continuas en D (y por lo tanto, las dos integrales de (*) tienen sentido)






George Green: (Sneinton, 1793- id., 1841) Matemtico britnico. Llev a cabo
diversos trabajos sobre dinmica de fluidos, sobre las fuerzas de atraccin y, en
particular, sobre la aplicacin del anlisis matemtico al estudio del
electromagnetismo.
R
D
C
Teorema de Green

287

Aplicaciones del Teorema de Green


1. Clculo de la circulacin de un campo por medio de una integral doble.

La igualdad de Green, en principio sirve para calcular la circulacin de un campo por
medio de una integral doble con la ventaja de no tener que parametrizar la trayectoria
cerrada propuesta.


Ejemplo 1 Usar el teorema de Green para reescribir y evaluar
dy y x dx y x
C
2 3 3
3 ) (

+ + donde C est formada por el segmento de recta que va


desde (0,0) hasta (2,0), seguido del segmento de recta que va desde (2,0) hasta (2,4),
seguido por la porcin de parbola
2
x y = que va desde (2,4) hasta (0,0).


Grafiquen C y observen que es una curva cerrada, simple, suave a trozos y que est
orientada en sentido antihorario. Por otra parte, M(x,y ) = x
3
+ y
3
y N(x,y ) = 3xy
2

admiten primeras derivadas parciales continuas en todo
2
.
Se verifican entonces en este caso las hiptesis del teorema de Green, y por lo tanto
podemos afirmar que, siendo R la regin encerrada por C, es:


dy y x dx y x
C
2 3 3
3 ) (

+ + ( ) 0 3 3
2 2
= =
|
|

\
|

=

dA y y dA
y
M
x
N
R R



Ejemplo 2 Usar el teorema de Green para reescribir y evaluar
dy y sen x dx e y
C
x
) 7 ( ) 3 (
2
+

donde C es la circunferencia de radio 2 centrada en


(3, 5) orientada en sentido horario.

Observen que, si C es la misma circunferencia, pero recorrida en sentido
antihorario, - C y F
r
(x,y) =
2
7 , 3 seny x e y
x
estn en las condiciones del
teorema de Green

En efecto, - C es cerrada, simple, suave, con orientacin antihoraria y las
componentes de F
r
(x,y) tienen derivadas parciales continuas en
2
. Por lo tanto,

siendo R la regin encerrada por - C,
x
e y y x M = 3 ) , ( y
2
7 ) , ( y sen x y x N = , se
cumple que:

( )
16 4 4 ) R ( rea 4
dA 4 dA 3 7 dA
y
M
x
N
dy ) y sen x 7 ( dx ) e y 3 (
R R R
2
C
x
= = =
= = = |

\
|

= +



As concluimos que 16 ) 7 ( ) 3 (
2
= +

dy y sen x dx e y
C
x

Teorema de Green

288

2. Clculo del rea de una regin plana por medio de una integral de lnea

La igualdad de Green tiene una aplicacin geomtrica importante: calcular el rea de
una regin plana por medio de una integral de lnea.

Observemos que en la igualdad del teorema de Green




+ =

C R
Ndy Mdx dA
y
M
x
N
) (

la integral doble representa el rea de R siempre que

x
N
y
M

= 1


Cundo puede ocurrir eso? Hay mltiples posibilidades para M y N, pero la ms
empleada es:
M(x,y) = - y / 2 y N(x,y) = x / 2


M(x,y) = - y / 2 y N(x,y) = x / 2 tienen derivadas parciales continuas en
2


y se verifica

x
N
y
M

= (1/2)- (-1/2)= 1.


Por lo tanto, si la curva C que constituye la frontera de la regin R est en las
condiciones del teorema de Green, se tiene:

= ) ( R rea

+
C
xdy ydx
2
1
siendo C la frontera de R

Ejemplo 3 Hallar el rea de la regin encerrada por la elipse 1
2
2
2
2
= +
b
y
a
x

Sea [ ] 2 , 0 ; , cos ) ( : = t t sen b t a t r C
r
(representacin vectorial de la elipse)
C es cerrada, simple, suave y con orientacin antihoraria.

Se tiene entonces que, siendo R la regin limitada por la elipse,


- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Demostracin del teorema de Green (para el caso particular en que R puede
considerarse como regin del tipo I y como regin del tipo II)

Suponemos que { } ) ( ) ( , / ) , (
2 1
x g y x g b x a y x R = y que tambin
{ } ) ( ) ( , / ) , (
2 1
y h x y h d y c y x R =


= = = + =

2
0
2
0
2
1
cos , cos ,
2
1
2
1
) ( b a dt ab dt t b t sen a t a t sen b dy x ydx R rea
C
Teorema de Green

289

Como r d N r d M r d F
C C
C
r r r
r
+ =

, 0 0 , =

+
C C
dy N Mdx
, para
demostrar la igualdad (*) bastar con comprobar

(1) dA
y
M
dx M
R C

=

y (2) dA
x
N
dy N
R C

=



Para comprobar (1) consideremos ) (
2 1
C C C = donde

=
=
) (
:
1
1
t g y
t x
C [ ] b a t ,
y

=
=
) (
:
2
2
t g y
t x
C [ ] b a t ,












= =
b
a
2
b
a
1
C C
)) ( g , )) ( g ,
2 1
dt t M(t dt t M(t dx M dx M dx M
C


Por otro lado,


=

dA
y
M
R
[ ]dx x g x M x g x M dx dy
y
M
b
a
b
a
x g
x g

=

)) ( , ( )) ( , (
1 2
) (
) (
2
1
=

=


b
a
1
b
a
2
)) ( g , )) ( g , dt t M(t dt t M(t


Con lo que queda demostrada la validez de (1).

La igualdad (2) se demuestra de manera similar considerando ahora )
~
( )
~
(
2 1
C C C =
donde

=
=
t y
t h x
C
) (
:
~
1
1
[ ] d c t , y

=
=
t y
t h x
C
) (
:
~
2
2
[ ] b a t ,









- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
a
b
C
2

C
1

y =g
2
(x)
y =g
1
(x)
1
~
C

2
~
C
x = h
1
(y)
x = h
2
(y)
c
d
Teorema de Green

290


Notacin vectorial del teorema de Green
Siendo j y x N i y x M y x F
r r r
) , ( ) , ( ) , ( + = se tiene que rot ( F
r
) = (

x
N
y
M

) k
r

rot ( F
r
) . k
r
=

x
N

y
M

(componente en k
r
de rot ( F
r
) )
Entonces la igualdad del Teorema de Green puede escribirse:


( )

=
R C
dA k F rot r d F



Antes de comenzar a resolver los ejercicios les proponemos que lean y completen lo
siguiente:

El Teorema de Green dice que, bajo determinadas condiciones, sucede que



=
C R
dA k F rot r d F
r r
r
r
) ( (1)

Esas condiciones son las hiptesis del teorema Cules son?

1. C es una curva con orientacin ...
2. R es la regin .....
3. Las componentes del campo vectorial
F
r
son en un
subconjunto D de
2

que contiene a R y a C

Evaluar una integral del tipo


C
r d F
r
r
aplicando el Teorema de Green significa hallar
su valor resolviendo la integral doble del miembro derecho de la igualdad (1).

Pero atencin! Para poder hacerlo habr que mostrar que las condiciones 1. 2. y 3. se
cumplen en el caso particular que estemos tratando, verificndolas una por una.

Observen que para hacer esa verificacin tendrn que: 1) revisar las caractersticas
de la curva C dada ; 2) indicar qu regin del plano representa la letra R y 3)
exhibir, si es que existe, un conjunto D de puntos del plano que contenga a R y a C
y en el cual las componentes del campo vectorial F
r
sean derivables con continuidad.
(Les aconsejamos que comiencen siempre determinando el mayor dominio en el que
las componentes del campo vectorial admiten derivadas parciales continuas y
graficando la curva C)

Si alguna de las condiciones mencionadas no se cumple, no se puede asegurar que
la igualdad (1) sea verdadera y, si F
r
es integrable a lo largo de C y queremos hallar el
valor de


C
r d F
r
r
, habr que resolver la integral de lnea en forma directa como ya
sabemos hacerlo (parametrizar la curva C, etc, etc ).



Teorema de Green

291

Ejercicio 1 Siempre que sea posible, evalen aplicando el teorema de Green las
siguientes integrales:

a)

+
C
dy y dx y x
2 2
) ( ; C : 1
2 2
= + y x , en sentido contrario a las agujas del reloj.
b)

+ + +
C
dy xy x dx x y ) 2 3 ( ) (
2
; C : 4
2 2
= + y x , con sentido horario.
c)

+
C
dy x dx x y
2 2
) 2 ( ; C es el cuadrado que va de (0,0) a (1,0), a (1,1), a (0,1)
y hasta (0,0).
d)

C
r d F
r
r
. ;
3 2 2
x xy , y x 3 y ) y , x ( F + + =
r
y C formada por y = x
2
e y = 2x con
orientacin antihoraria

e)

C
r d F
r
r
. ;
xy xy
e x x 2 , y e y ) y , x ( F + + =
r
C formada por y = x
2
e y = 4 con
orientacin antihoraria

f)

C
r d F
r
r
. ;
2 2
y 4 x tg , 2 x sec y ) y , x ( F =
r
; C formada por x = 1- y
2
; x=0
con orientacin antihoraria


Ejercicio 2 Vean si las hiptesis del teorema de Green se verifican siendo
) ( 4 3 ,
1
) , (
2
y tg x y
x
x
y x F
+
=
r
y C el arco de y =x
2
que va desde (-1,1) a (1,1)
seguido por el arco de y = 2 x2

que va de (1,1) a (-1,1).


Ejercicio 3 Por medio de una integral de lnea, calculen el rea de la regin limitada
por:

a) la elipse 4 x
2
+ y
2
= 16 b) y = x
2
e y = 4 c) y = x
2
e y = 2 x

d) la curva x
2/3
+ y
2/3
= 1, parametrizando con x= cos
3
t ; y = sen
3
t

Ejercicio 4 Sea C la frontera de una regin en la que el Teorema de Green es vlido.
Usen dicho teorema para calcular

i)

+
C
dy y g dx x f ) ( ) ( ii)

+
C
xdy h dx y k con h y k constantes.

Ejercicio 5 Demuestren que el valor de

+ + dy x y x dx y x ) 2 ( (
2 2
alrededor de
cualquier cuadrado slo depende del rea del cuadrado y no de su localizacin en el
plano.

Teorema de Green

292

Ejercicio 6 Evalen (aplicando aplicando el Teorema de Green)

+
C
dy x dx y 2 3
siendo C la frontera de la regin R = {(x,y)/ 0 x , 0 y sen x}

Ejercicio 7 Evalen (aplicando el Teorema de Green)

+ + +
C
dy x y dx x y ) 2 ( ) 6 ( siendo
C: 4 ) 3 y ( ) 2 x (
2 2
= +

Ejercicio 8 Si f satisface la ecuacin de Laplace (suponiendo todas las derivadas
que sean necesarias continuas) , comprueben que

C
dy
x
f
dx
y
f
0 para toda
curva cerrada C para la que sea vlido el teorema de Green.

Ejercicio 9 Calculen el trabajo realizado por
2 2 3
y x 4 , xy 2 ) y , x ( F =
r
para mover
una partcula en sentido antihorario, una vez, alrededor de la curva C frontera de la
regin en el primer cuadrante limitada por el eje x, la recta x =1 y la curva y = x
3
.

Ejercicio 10 Calculen el trabajo realizado por y 4 x 2 , y 2 x 4 ) y , x ( F =
r
para
mover una partcula en sentido antihorario, una vez, alrededor de la curva
C: 4 ) 2 ( ) 2 (
2 2
= + y x

Ejercicio 11 Puede aplicarse el Teorema de Green para calcular
dy
y x
y
dx
y x
x
C
2 2 2 2
+
+
+

siendo C: 1
2 2
= + y x con orientacin antihoraria? y si
C: ( ) 1 2
2 2
= + y x ? Justifiquen sus respuestas. Evalen la integral en ambos casos.


Generalizacin del teorema de Green

Consideremos una regin anular R, limitada por dos curvas cerradas C
1
y C
2
Suponga que las componentes del campo F
r
tienen derivadas parciales continuas en
un dominio abierto D que contiene a R , a C
1
y a C
2









Orientadas C
1
y C
2
como indica la figura siguiente, y considerando las curvas auxiliares

1
y
2
, la regin R puede verse como la regin limitada por C = C
1

1
C
2

2









frontera de R = C
1
C
2


C
1

C
2

R
R
C
2

2

C
1

Teorema de Green

293

Aplicando el Teorema de Green se tiene:


=

) ( dA
y
M
x
N
R
. . . .
2 2 1 1

+ + +

r d F r d F r d F r d F
C C
r
r
r
r
r
r
r
r


y de all
r d . F r d . F dA )
y
M
x
N
(
2 1
C C R

+ =

r
r
r
r



En el caso particular de ser 0 ) (
r r
= F rot

( o sea , 0 =

y
M
x
N
) se tiene ,
como corolario de lo anterior, que:


. . 0
2 1

+ =
C C
r d F r d F
r
r
r
r



. . .
2 2 1


= =
C C C
r d F r d F - r d F
r
r
r
r
r
r


(observen que

C
1
y - C
2
tienen la misma orientacin)


A partir de lo anterior
Supongan que las componentes de cierto capo F
r

tienen derivadas parciales
continuas en { }
0
2
P D = , siendo P
0
un punto de discontinuidad y que 0 ) (
r r
= F rot

en todo punto de D , y consideren curvas C
1
y C
2
como las de la figura siguiente:







.
1

C
r d F
r
r
no puede calcularse aplicando el teorema de Green (por qu?) .
Por la misma razn, el teorema de Green no puede aplicarse para calcular

2
.
C
r d F
r
r
.

Sin embargo, de acuerdo a lo que hemos visto, hay algo que podemos afirmar acerca
de esas dos integrales: ambas tienen el mismo resultado siempre que las curvas estn
orientadas en el mismo sentido.

As que, puestos a calcular, podramos elegir hacerlo sobre la curva para la cual la
integracin resulte ms sencilla.



P
0

C
2

C
1

Teorema de Green

294

Ejercicio 12 El teorema de Green tambin se generaliza a regiones con tres curvas
frontera como la que muestra el dibujo resultando en ese caso, si N M F , =
r
,


. . . ) (
3 2 1

+ + =

C C C R
r d F r d F r d F dA
y
M
x
N r
r
r
r
r
r








Cules son las hiptesis que se requieren en este caso para que dicha igualdad se
cumpla? (qu debe cumplir el campo vectorial F
r
? cmo deben estar orientadas las
curvas?)



Ejercicio 13 Sea ( ) ( ) j y x N i y x M y x F
r r r
, , ) , ( + = , M y N con derivadas
parciales continuas en ( ) { } 0 0
2
, D = y ( ) 0
r r
= y , x F rot

( ) ( ) 0 0, y , x Qu
pueden decir de

C
r d F. para cada curva C que aparece en el siguiente dibujo?
(Orienten las curvas adecuadamente) Justifiquen sus afirmaciones.










Ejercicio 14 Siendo C la curva suave que muestra la figura siguiente, evalen:

a) dy
y x
y
dx
y x
x
C
2 2 2 2
+
+
+

b) dy
y x
x
dx
y x
y
C
2 2 2 2
+
+
+







R
C
3

C
2

C
1
1
1
-1
-1
C
Campos conservativos e independencia del camino
295


Campos conservativos e independencia del
camino en la integral de lnea


Ya hemos comentado que el gradiente de un campo escalar f define un campo
vectorial.
Si F
r
es un campo gradiente, esto es, si f F =
r r
decimos que F
r
es un campo
conservativo y que f es una funcin potencial de F
r
.


Ejemplos de campos conservativos o campos gradientes son el campo gravitatorio y el
campo elctrico.

La primera pregunta que surge es: dado un campo vectorial F
r
existe un campo
escalar f tal que se cumple F
r
= f
r
? La respuesta es "no siempre".

Para saber si un campo F
r
es un campo conservativo hemos usado un procedimiento
de bsqueda y construccin de la funcin potencial f (lo recuerdan?) pero . . . se
puede encontrar algn criterio que permita determinar rpidamente si el campo es
conservativo o no? Les adelantamos que si .

Siendo D un subconjunto abierto de
2
, observemos en principio que,

I. Si F
r
es conservativo en D y ) y , x ( N ), y , x ( M F =
r
con M y N derivables
con continuidad en D , se tiene:
i) Existe f , funcin escalar, tal que M(x,y) =
x
f

; N(x,y)=
y
f


ii) k )
x y
f
y x
f
(
y
f
x
f
z y x
k j i
F rot
r
r r r
r

=
2 2
0


iii ) Como M y N son derivables con continuidad entonces
x y
f
y x
f

2 2

(igualdad de las derivadas cruzadas)

0
v r
= ) F ( rot en D

( lo dicho es vlido tambin para campos vectoriales en
3


Se tiene as, bajo ciertas hiptesis, una condicin necesaria para que un campo
vectorial sea conservativo:

Campos conservativos e independencia del camino
296

_____________________________________________________________________
Si F
r
es conservativo en D y las componentes de F
r
tienen derivadas parciales
continuas en D entonces 0 ) (
v r
= F rot en D
______________________________________________________________________


Actividad 1
a) Calculen dy y dx x
C
2
3 2 +

siendo C el segmento de recta desde (0,0) hasta (1,1)


b) Calculen la integral de lnea del mismo campo vectorial a lo largo del segmento de
recta desde (0,0) hasta (1,0), seguido del segmento de recta desde (1,0) hasta (1,1).

c) Calculen la integral de lnea del mismo campo vectorial a lo largo de alguna otra
curva (propngala Ud.) que vaya desde (0,0) hasta (1,1).



. . . Habrn observado que los resultados anteriores son todos iguales. No es
casualidad!

dy y dx x
C
2
3 2 +

es un ejemplo de integral cuyo resultado depende slo de los puntos


extremos de C y no de la curva C (si A y B son dos puntos de
2
y C
1
y C
2
son dos

curvas que van desde A hasta B entonces dy y dx x dy y dx x
C C
2 2
3 2 3 2
2 1
+ = +

) . Este
comportamiento se expresa diciendo: dy y dx x
C
2
3 2 +

es independiente del camino.



Comprueben que el campo vectorial ( )
2
y 3 , x 2 y , x F =
r
(cuya integral a lo largo de
diferentes curvas calcul) es un campo gradiente ( ( )
3 2
y x y , x f + = es una funcin
potencial) Tendr esto algo que ver con el hecho de que dy y dx x
C
2
3 2 +

sea
independiente del camino? Veamos:


II. Supongamos que ) , ( ), , ( y x N y x M F =
r
es conservativo en D. Esto significa que
existe una funcin escalar f tal que F f
r r
= en todo punto de D. O sea:
y
f
N y
x
f
M

= . Supongamos tambin que M y N son continuas en D.



Sea C una curva suave con punto inicial A = ( )
1 1
, y x y punto final B = ( )
2 2
, y x
Si ), (t r r
r r
= [ ] b a t , es una parametrizacin de C , dt t r t r F r d F I
C
b
a
) ( ' )). ( ( .

= =
r r
r
r
r

donde, por hiptesis, f F =
r r
.


Campos conservativos e independencia del camino
297


=
b
a
dt t r t r f I ) ( ' )). ( (
r r
r



Observemos que si g(t) = )), ( ( t r f
r


) ( ' )). ( ( t r t r f
r r
r
es la expresin vectorial de

la derivada de g respecto de t . O sea:

g(t) = ) ( ' )). ( ( t r t r f
r r
r
.



De modo que resulta:

= =
b
a
dt t g I ) ( ' ]
b
a
t g ) ( = g(b) g(a) = )) ( ( )) ( ( a r f b r f
r r
= f(B) f(A) =
= ) , ( ) , (
1 1 2 2
y x f y x f


Por lo tanto:
_____________________________________________________________________

Si F
r
(con componentes continuas) es conservativo en D entonces el resultado de la
integral


B
C
A
r d F

r
r
depende slo del valor de la funcin potencial del campo en los
puntos extremos de la curva y no de la curva misma.

_____________________________________________________________________


Observacin: El resultado anterior (que es vlido tambin en
3
) es sumamente
importante, pues da una condicin suficiente para la independencia del camino, ya
que el clculo se reduce prescindiendo de la curva a evaluar la funcin potencial
en el extremo B y restarle el valor que toma en A. Se lo conoce como Teorema
fundamental para integrales de lnea (Qu les recuerda?) Seguramente estn
pensando en la Regla de Barrow (la funcin potencial f podra interpretarse como una
especie de primitiva del campo F
r
).

Una interpretacin fsica: Si F
r
es un campo de fuerzas conservativo entonces el
trabajo realizado para desplazar una partcula entre dos puntos es independiente de la
trayectoria, slo depende del punto inicial y del punto final.




Para recordar...

Si w = f(x,y) y si x = x(t); y = y(t)
siendo f diferenciable y x(t), y(t)
derivables , entonces la funcin compuesta
g(t) = f(x(t),y(t)) = f(r(t))
es derivable con respecto a t y se verifica :

) ( ' ) (
) ( ' )) ( ), ( ( ) ( '
t y x(t),y(t)
y
f
t x t y t x
x
f
t g

+
+ =

lo que puede abreviarse como producto
escalar:
g(t)= ) ( ' )) ( ( t r t r f
r r
r

Campos conservativos e independencia del camino
298

En los siguientes ejemplos veremos cmo podemos hacer uso del Teorema
fundamental para integrales de lnea


Ejemplo 1: Probar que dy y dx x
C
2
3 2 +

es independiente del camino en


2
= D
y calcular el valor de la integral a lo largo de cualquier curva desde (0,0) hasta (1,1).


2
3 , 2 y x F =
r
es un campo vectorial continuo en
2
. Veamos que es conservativo.
Para ello buscamos una funcin f(x,y) tal que
2
3 2 y
y
f
y x
x
f
=



Para que x
x
f
2 =

debe ser ) ( 2 ) , (
2
y h x dx x y x f + = =



Buscamos ahora h de manera que se verifique que . 3
2
y
y
f
=

Para que eso


suceda debe ser
2
2
3 ) (
)) ( (
y y h
dy
y h x d
= =
+
y por lo tanto
3
) ( y y h = + C


2
3 , 2 y x F =
r
es conservativo y f(x,y) = x
2
+ y
3
es una funcin potencial de
dicho campo.

Si C es cualquier curva suave a trozos que va desde (0,0) hasta (1,1), en virtud del
teorema 1 es:

dy y dx x
C
2
3 2 +

= f (1,1) f (0,0) = 2 0 = 2


Ejemplo 2: Para probar que el campo
z z
e x y e x z y x F
2
2 , cos , 4 ) , , ( =
r
es
conservativo en
3
, busquemos f(x,y,z) tal que

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

= =
r


Para ello debe ser:
z
e x
x
f
4 =

de donde f(x,y,z) = ) , ( 2 4
2
z y g e x dx e x
z z
+ =


) , , ( z y x
y
f

= ) , ( z y
y
g

= cos y por lo tanto g(y,z) = ) ( cos z h y sen dy y + =



f(x,y,z) = ) ( 2
2
z h y sen e x
z
+ + y como ) , , ( z y x
z
f

debe ser igual a 2 x


2
e
z
,
se tiene que
z z
e x z h e x
2 2
2 ) ( 2 = +

Campos conservativos e independencia del camino
299


Por lo tanto, 0 ) ( = z h y entonces ) (z h es una constante.

f(x,y,z) = y sen e x
z
+
2
2 es una funcin potencial para F
r



z z
e x y e x z y x F
2
2 , cos , 4 ) , , ( =
r
es un campo conservativo.


Ejercicio 1 Demuestren que la integral de lnea es independiente de la trayectoria en
2
= D y evalen la integral.

a)

+
C
dy x xydx ) 1 ( 2
2
; C desde (1, 0) a (3, 1)
b)

+
C
dy y x dx y x ) 4 2 ( 3
3 2 2
; C desde (1, 2) a (-1, 1)
c)
dy y e x dx ye
xy xy
) 2 (
) 4 , 0 (
) 0 , 1 (
+

d)

+ + +
) 0 , 1 , 4 (
) 3 , 1 , 2 (
2 2
2 ) 2 ( xzdz dy x dx xy z

e)
dz z sen x y dy y z dx x z x ) ( ) 2 ( ) cos 2 (
) , 0 , 1 (
) 0 , 2 , 3 (
2 2

+ +




III. Cabe preguntarse en este momento si slo para un campo conservativo F
r
la
integral


B
C
A
r d F

r
r
es independiente del camino. La respuesta es si :

Suponiendo que


C
r d F
r
r
es independiente del camino en un dominio conexo D , (que
D sea conexo significa que, para todo par de puntos en D, existe una curva suave
C D que una a esos puntos) y que las componentes de F
r
sean continuas en D,
puede probarse (no lo haremos) que f(x,y) =


) , (
) , (
0 0
y x
y x
r d F
r
r
(x, y) D es una
funcin potencial de F
r
en D ( o sea, N
y
f
y M
x
f
=

)










no conexo
conexo
conexo
Campos conservativos e independencia del camino
300

Se tiene entonces:

_____________________________________________________________________

Si las componentes de F
r
son continuas en el conjunto conexo D ,


C
r d F
r
r
es independiente del camino en D s y slo s F
r
es conservativo en D.
_____________________________________________________________________




Hay todava ms para decir sobre campos conservativos e independencia del camino.

IV. Supongamos ahora que F
r
es conservativo en D y que C es cerrada, suave a
trozos y contenida en D. Si f(x,y) es una funcin potencial de F
r
entonces


C
r d F
r
r
= f(B) f(A) donde A es el punto inicial de C y B es el punto final de C .
Pero siendo C cerrada es A = B , con lo cual se tiene que 0 =

C
r d F
r
r
.

Recprocamente, si 0 =

C
r d F
r
r
para toda curva cerrada C , dadas dos curvas C
1

y C
2
ambas con punto inicial A y punto final B , se tiene

0 r d F r d F r d F r d F
2 1 2 1
C C C C
= = +


r
r
r
r
r
v
r
r
(porque C
1
- C
2
es cerrada)

de donde se deduce que

=
2 1
C C
r d F r d F
r
r
r
r
o sea que la integral


C
r d F
r
r
es
independiente del camino.











Seguimos a esta altura sin contar con un criterio que nos permita decidir de manera
rpida si un campo vectorial es conservativo. Es cierto que podemos calcular el rotor
del campo y, si vemos que no es nulo, estaremos en condiciones de afirmar que el
campo no es conservativo y si el rotor del campo es nulo?


A
B C
1
C
2
D
Campos conservativos e independencia del camino
301


V. Recuerdan la igualdad

C
r d . F
r
r
=
) ( dA k F rot
R


r r
?
Es la igualdad del teorema de Green. (Qu condiciones debe cumplir F
r
, C y D
para que podamos aplicarla?)

Bueno, suponiendo que las componentes de F
r
tengan primeras derivadas parciales
continuas en D, que D sea un conjunto conexo y tal que toda curva cerrada C D
encierra slo puntos que estn en D (cuando eso se cumple decimos: D es un
conjunto simplemente conexo) y que 0 ) F ( rot
r r
= en D , aplicando la igualdad de
Green tenemos

C
r d . F
r
r
=
) ( dA k F rot
R


r r
= 0

o sea que, para toda curva cerrada C D es 0 r d . F
C
=

r
r
y, por lo tanto, la integral


C
r d F
r
r
es independiente del camino y el campo F
r
es conservativo.











Conclusin importante!!!!
____________________________________________________________________
Siendo F
r
un campo vectorial cuyas componentes tienen primeras derivadas parciales
continuas en un conjunto D simplemente conexo (sin agujeros) contenido en
2


rot F
r
= 0
r
en D si y slo si

B
A
r d F
r
r
. es independiente del camino en D

(Relacionando con los resultados anteriores
) ( ) ( . A f B f r d F
B
A
=

r
r
donde f es una
funcin potencial de F
r
)


_____________________________________________________________________





simplemente conexo no simplemente conexo
Campos conservativos e independencia del camino
302


Observacin: Veremos ms adelante que un resultado similar es vlido en
3

Enunciamos a continuacin un Teorema donde se resumen los resultados vistos:

_____________________________________________________________________
Teorema: Sea ) , ( ), , ( y x N y x M F =
r
, M y N con derivadas parciales continuas
en un conjunto abierto y simplemente conexo
2
D . Entonces son equivalentes
las siguientes afirmaciones:

1) F
r
es conservativo en D
2)


B
A
r d F
r
r
es independiente del camino que une A con B en D
siendo
) ( ) ( . A f B f r d F
B
A
=

r
r
donde f es una funcin potencial de F
r

3) 0 =

C
r d F
r
r
para toda curva C cerrada y suave a trozos contenida en D.
4) 0 F rot
r r
= en D
_____________________________________________________________________


Si F
r
representa un campo de fuerzas ...
. F
r
es conservativo si, y slo si, el trabajo realizado para desplazar una partcula entre
dos puntos es independiente de la trayectoria (slo depende del punto inicial y del
punto final)


=
2 1
. .
C C
r d F r d F
r
r
r
r


. F
r
es conservativo si, y slo si, el trabajo que realiza el campo siguiendo una
trayectoria cerrada es cero
0 r d F
C
=

r
r

. F
r
es conservativo si, y slo si, el rotacional de ese campo vectorial en todos los
puntos es nulo

0 F F rot
r r v v
= =

.Y ms importante an !! ; F
r
es conservativo si y slo si podemos encontrar una
funcin escalar llamada de energa potencial, cuyo gradiente sea F
r
.y tal que, el
trabajo que realiza F
r
sobre un mvil entre dos puntos cualesquiera es igual a la
variacin de esa funcin escalar entre esos dos puntos.
F
r
= f
v
;

B
A
r d F
r
r
. = f(B) f(A)

(si C
1
y

C
2
tienen los
mismos extremos)
Campos conservativos e independencia del camino
303


Actividad 2 a) Verifiquen que siendo C : 1
2 2
= + y x (con orientacin antihoraria)
y j
y x
x
i
y x
y
y x F
2 2 2 2
) , (
+
+
+

=
r
resulta 2 r d F
C
=

r
r
b) Es F
r
un campo
conservativo en { } ) 0 , 0 (
2
? c) Calculen F rot
r
qu observan? se contradice
esto con los resultados vistos ?


- Vean el Taller Campos conservativos y circulacin en el CD de Matemtica B, que
los ayudar, a travs de grficos, en la comprensin de los temas que estamos
estudiando y su significado fsico -


Ejercicio 2 Evalen las integrales

C
r d F
r
r
. Antes de calcular traten de aplicar algn
resultado terico vlido

a) 2 y 3 y , 1 x ) y , x ( F
3 2
+ + =
r
donde C es una semicircunferencia que va desde
(-4,0) a (4,0)
b)
2 2 2
z y x
z , y , x
) z , y , x ( F
+ +
=
r
donde C es una curva que va de (1,3,2) a (2,1 ,5)
c) j
y x
x
i
y x
y
y x F
2 2 2 2
) , (
+
+
+

=
r
donde C : 2 y x
2 2
= +
d) j
y x
x
i
y x
y
y x F
2 2 2 2
) , (
+
+
+

=
r
donde C : 1 ) 2 ( ) 4 (
2 2
= + y x
e) j
y x
x
i
y x
y
y x F
2 2 2 2
) , (
+
+
+

=
r
donde C : 4
2 2
= + y x
f) Comparen los resultados obtenidos en c) , d) y e) . Qu observan?


Ejercicio 3 Consideren el campo vectorial j x y x F
r r
= ) , ( .

a) Grafquenlo b) Encuentren tres trayectorias C
1
, C
2
y C
3
distintas de P(2,0) a
Q(-2,0) tales que 0
1
=

C
r d F
r
r
. ,

2 C
r d F
r
r
. > 0 y

3 C
r d F
r
r
. < 0
c) Es F
r
un campo gradiente?

Ejercicio 4 Supongan que una partcula sometida a una fuerza j x i y y x F
r r r
= ) , ( se
mueve en el sentido de las agujas del reloj a lo largo de la parbola
2
x y = de (1,1) a
(-1,1) y a lo largo de la recta y = 1 de (-1,1) a (1,1). Encuentren el trabajo realizado.


Ejercicio 5 Supongan que C es el tringulo con vrtices en (0,0) , (4,12) y (4,0)
y j x i y y x F
r r r
+ = ) , ( Cunto vale

C
r d F
r
r
. ? El campo es conservativo?
Autoevaluaciones
304


Autoevaluacin (Curvas)

1. Cmo describe una curva en el plano en funcin de un parmetro? y en el
espacio?

2. Existe una nica forma de parametrizar una curva? Justifique.

3. Qu describe la funcin vectorial paramtrica ( ) ( ) ( ) ( ) [ ] b a t k t z j t y i t x t r , ; + + =
r r v
r
?

4. Cul es el parmetro adecuado para curvas cerradas? y para otro tipo de curvas?

5. Analice si las siguientes ecuaciones representan la misma curva:
i)
3
1
2 2
= +
= +

z x
y x
ii) ( ) ( ) ( ) ( ) ( )k t j t sen i t t r
r r v
r
cos 3 cos + + = ; 0 t
iii)

=
=
=
) cos( 3
) (
) cos(
t z
t sen y
t x
0 t 3

6. Para la curva C representada por ( ) ( ) ( ) k j t sen i t t r
r r v
r
3 cos + + = , t [0, 2]
obtenga las ecuaciones paramtricas y las cartesianas.

7. Cmo cambia la orientacin de una curva C representada por ( ) t r
r
con t[a, b]?

8. Defina el vector tangente unitario T
r
en un punto P de una curva C. Cul es la
direccin que tiene T
r
? Cundo se dice que una curva C es suave?

9. Cmo calcula la longitud de una curva?

10. A qu se llama funcin longitud de arco?

11. Qu se entiende por parametrizacin natural de una curva? Cmo se obtiene?

12. Use la funcin aceleracin a
r
(t)= i
r
+ j
r
+ k
r
, ( ) 0 0
r
r
= v , ( ) 0 0
r
r
= r para encontrar las
funciones velocidad y posicin. Calcular la posicin en t = 2.

13. Halle el vector velocidad y la velocidad instantnea con que se mueve una
partcula sobre una circunferencia de radio b descrita por
( ) ( ) ( ) j wt bsen i wt b t r
r v
r
+ = cos donde w es la velocidad angular constante.
Compruebe que el vector velocidad es ortogonal al vector posicin. Halle el
vector aceleracin y verifique que apunta hacia el centro de la circunferencia.
Calcule la magnitud del vector aceleracin.








Autoevaluaciones
305



Autoevaluacin (Campos vectoriales)

1. Qu quiere decirse con campo vectorial?

2. Qu quiere decirse con campo vectorial con componentes con derivadas
parciales continuas?

3. Suponga que k a j a i a a
r r r
r
3 2 1
+ + = es un vector constante y que
k z j y i x z y x r
r r r
r
+ + = ) , , ( Cules de los siguientes son campos vectoriales y cules
son campos escalares ? Explique.

i) a r
r r
+ i

i) a r
r r
.

iii) k z j y i x
r r r
2 2 2
+ +

iv)
2 2 2
z y x + +

4. Si
3
r
r
F
v
r
r
= encuentre las siguientes cantidades:
a) F
r
b) r F
r
r
.
c) Un vector unitario paralelo a F
r
y que apunta en la misma direccin.

5. Dibuje campos vectoriales en
2
que cumplan :

a) Todos los vectores son paralelos al eje x y tienen longitud constante.

b) Todos los vectores son de longitud unitaria y perpendiculares al vector posicin en
ese punto

c) Todos los vectores apuntan hacia el origen y tienen longitud constante.


6. En la pgina siguiente, relacione las grficas de cada uno de los campos gradientes
con las grficas de las curvas de nivel de la funcin potencial correspondiente.












Autoevaluaciones
306















Curvas de nivel de la funcin z=f(x,y)
















Curvas de nivel de la funcin z = g(x,y)
















Curvas de nivel de la funcin z = h(x, y)









f = 3

f = 1

f = -1

f = -3


h=3

h = - 1
h =1
g=1
g=3
g=5
g=7
Autoevaluaciones
307

7. Cada campo vectorial de las figuras siguientes representa la fuerza sobre una
partcula en diferentes puntos en el espacio como resultado de otra partcula en el
origen. Relacione los campos vectoriales con las descripciones siguientes.

a) Una fuerza de repulsin cuya magnitud disminuye conforme aumenta la distancia
entre las dos partculas

b) Una fuerza de repulsin cuya magnitud aumenta conforme aumenta la distancia
entre las dos partculas

c) Una fuerza de atraccin cuya magnitud disminuye conforme disminuye la distancia
entre las dos partculas

d) Una fuerza de atraccin cuya magnitud aumenta conforme disminuye la distancia
entre las dos partculas










































Autoevaluaciones
308

Autoevaluacin (Integral de lnea )

1. Cmo define

C
ds z y x f ) , , ( donde f es una funcin continua sobre C, C curva
suave ?

2. La integral del ej. 1 generaliza el concepto de . (complete)


3. a) Indique como calcula la integral definida en el ejercicio 1 si C est parame-
trizada en funcin del parmetro longitud de arco.

b) Indique como calcula la integral definida en el ejercicio 1 si C est parametrizada
en funcin de un parmetro cualquiera.

4. Qu resultado le da

C
ds ? Justifique.
5. Qu resultado le da

C
ds z y x f ) , , ( , donde C denota la curva C recorrida en
sentido contrario? Justifique.

6. Si z= f(x,y) es una funcin continua y positiva y C una curva en
2
Qu
Interpretacin geomtrica tiene

C
ds y x f ) , (
7. Suponga que cuenta con un alambre de espesor despreciable Cmo puede
calcular la masa y el centro de masa del alambre? Describa adems, los elementos
que necesita para responder.

8. Enuncie propiedades de la integral del ej.1.

9. Explique cul es el significado matemtico de

C
ds T . F
r r
donde F
r
es un campo
vectorial definido sobre C , C curva suave orientada positivamente.

10. Cmo calcula la integral del ej 9 si C est parametrizada en funcin de un
parmetro cualquiera?
11. Explique cul es el significado fsico de

C
ds T . F
r r
donde F
r
es un campo de
fuerzas que mueve una partcula desde A a B en la trayectoria C .

12. Qu relacin hay entre

C
ds T . F
r r
y

C
ds T . F
r v
donde C denota la curva C
recorrida en sentido contrario?

13. Indique notaciones equivalentes de

C
ds T . F
r r
.
14. Si
2 1
C C C = donde
2 1
C C y son curvas suaves Cmo calcula

C
ds T . F
r r
?
15. Cmo se llama

C
ds T . F
v v
?
Autoevaluaciones
309

Autoevaluacin (Teorema de Green - Independencia del camino)

1. Enuncie el teorema de Green describiendo los elementos involucrados.

2. Enuncie la forma vectorial del teorema de Green describiendo los elementos
involucrados.

3. Use el teorema de Green para encontrar una expresin para calcular el rea de una
regin plana usando la frontera, describiendo los elementos involucrados.

4. Justifique la extensin del Teorema de Green cuando la regin R es una corona
con fronteras C
1
y C
2
( curvas cerradas y suaves).

5. Utilice el ej 4 para relacionar la integral

1
.
C
dr F con

2
.
C
dr F para el caso en que
F
r
es un campo vectorial con 0 F rot
r r
= en R . Justifique lo que afirme.
6. Calcule usando funcin potencial (si es posible)

+
B
A
dy x xydx
2
2 , siendo A(1,1) y
B(2,3).

7. Enuncie el teorema de Green y justifique su generalizacin cuando la regin R es la
de la figura con fronteras C
1
,C
2
y C
3
( curvas cerradas y suaves).

C
2





C
3

8. Utilice el ej 7 para relacionar la integral

1
.
C
dr F con

2
.
C
dr F y

3
.
C
dr F siendo
F
r
un campo vectorial con 0 F rot
r r
= en R. Justifique lo que afirme.
9. Muestre que si 0 V rot
r r
= en D regin simplemente conexa entonces

B
A
ds T V
r r
. es
independiente del camino, siendo A y B dos puntos de D.
10. Muestre que si V
r
es conservativo en D regin conexa entonces

B
A
ds T V
r r
. es
independiente del camino, siendo A y B dos puntos de D.

11. Muestre que si F
r
tiene componentes con derivadas parciales continuas y
0 F rot
r r
= en D simplemente conexo entonces la integral de F
r
sobre cualquier
curva C cerrada es cero.
12. Analice si j
y x
x
i
y x
y
y x F
r r r
2 2 2 2
) , (
+

+
= y D=
2
{(0,0)} cumplen las
hiptesis del ej. 11


C
1

Autoevaluaciones
310

13. Calcule la integral de F
r
del ej. 12 sobre C siendo C la circunferencia
centrada en el origen y de radio 5.

14. Calcule la integral de F
r
del ej. 12 sobre C siendo C la circunferencia centrada en
(2, 0) y de radio 1.

15. Calcule la integral de F
r
del ej. 12 sobre C siendo C la circunferencia centrada en
(2, 7) y de radio 1

16. Si F
r
=
r
(x,y,z) en D , justifique que la circulacin de F
r
a lo largo de
cualquier trayectoria cerrada C es nula .

17. Si j
y x
x
i
y x
y
y x F
r r r
2 2 2 2
) 1 (
1
) 1 (
) , (
+

+
= Puede decir cunto vale la integral
de F
r
sobre una curva cerrada que no encierre al punto (1,0)? Y si lo encierra?

18. Analice si F
r
(x,y)= (2 x+y) i
r
+ ( x + 2y) j
r
, est en las hiptesis del ej.16 en
2
y calcule la integral de F
r
siendo C la circunferencia centrada en el origen y de
radio 1

19. Si F
r
es el campo vectorial del ej. 18 Cunto vale la integral a lo largo de
cualquier curva cerrada?

20. Por qu es importante conocer si una integral es independiente del camino?


21. Por qu es importante saber si un campo vectorial es un gradiente?


22 Qu condicin le permite asegurar que un campo es conservativo?


23. Use Maple para graficar los siguientes campos vectoriales :

i) [x, 0, 0] ii) [y,-x,0] iii) [3*x*z, x^2, x*cos(y)]

iv) [2*x,2*y*z^2,-2*y^2*z] v) [2*x*z,2*y*z,2*(x+y)]

vi) [y/(x^2+y^2),-x/(x^2+y^2),0]

Cules son conservativos ?








Matemtica B:


Gua terico-prctica
de la unidad temtica VI




Integrales de superficie















Superficies

312

As como la integral de lnea extiende el concepto de integral definida al caso en el que
el dominio de integracin es una curva, la integral de superficie que estudiaremos en
este ltimo captulo extiende el concepto de integral doble al caso en el que el dominio
de integracin es una superficie de
3
. Para poder abordar la definicin, el clculo y
las propiedades de este nuevo tipo de integrales estudiaremos primeramente las
superficies y su representacin vectorial paramtrica.

Superficies
Descripcin implcita, explcita y vectorial. Direccin normal.
a) Descripcin implcita:
Recordemos que toda superficie S, puede identificarse por medio de una ecuacin de
la forma ( ) 0 z , y , x F = . Siempre podemos suponer que S es la superficie de nivel
k = 0 de la funcin ( ) z , y , x F = .

Si F admite derivadas parciales continuas, no nulas a la vez, en cada punto de S, el
vector gradiente de F, es ortogonal a cada una de las direcciones tangentes a las
curvas contenidas en S pasando por ese punto.









Observacin: este resultado es una consecuencia de la regla de la cadena (derivada
de funcin compuesta), aplicada en forma vectorial.

Una abreviada demostracin (por si no lo recuerdan!):
Si C es curva suave contenida en S (superficie de nivel de F) pasando por
o
P y
I t , (t) r r =
r r
su ecuacin vectorial, al evaluar F en cada punto de C, se tiene la
composicin ( ) ( ) ( ) t r F t g
r
= , que resulta ser funcin constante (por qu?). Al derivar g(t) con
respecto a t, y evaluar en t
o
, se tiene: ( ) ( ) ( ) 0 t ' r P F t g'
o o o
= =
r
r

( )
o
P F
r
es ortogonal a ( )
o
t ' r
r
, cualquiera sea la curva que pasa por
o
P .
En estas condiciones, se dice que ( )
o
P F
r
es el vector normal a S en
o
P y el plano
pasando por
o
P con normal ( )
o
P F N =
r r
es el plano tangente a S en
o
P .
Al suponer que esto ocurre en cada punto de S, se dice que S es una superficie suave:
N
r
vara con continuidad sobre S.

Ejemplo 1 En la esfera 3 z y x
2 2 2
= + + , el vector normal en cada punto es:
( ) z y x F N 2 , 2 , 2 = =
r r
.

Si queremos el plano tangente en ( ) 1 , 1 , 1 P
o
, basta con reemplazar:
( ) ( ) 2 , 2 , 2 P F N
o
= =
r r



S
C Po
( ) P
o


Superficies

313

Entonces el plano tangente es ( ) ( ) ( ) 0 1 z 2 1 y 2 1 x 2 : = + +

o sea : 3 = + + z y x


b) Descripcin explcita: Si S es grfica de una funcin ( ) y , x f z = con ( )
xy
R y , x
presenta como caracterstica que toda recta paralela al eje z, trazada
por puntos de
xy
R , corta a S en un punto exactamente.

Se dice entonces que S es superficie simple. La ecuacin ( ) y , x f z = describe a S
en forma explcita.

Supongamos que en el entorno de
o
P
xy
R , f admite derivadas parciales, continuas
( f diferenciable en
o
P ), entonces, en el punto
o
Q S (correspondiente de
o
P ), puede
hallarse el vector normal, suponiendo para S la ecuacin implcita:

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

( )
o
P
o
1 ,
y
f
,
x
f
P F N |

\
|

= =
r r
















Observaciones:
1) Si la ecuacin implcita se da como ( ) 0 z y , x = f , se tendra,

|

\
|

= 1 - ,
y
f
,
x
f
N -
r

2) Si la tercera componente es 1; N
r
tiene direccin normal hacia arriba (tercer
ngulo director menor que /2). En caso de tener tercera componente 1, se tiene el
vector opuesto.

Cualquiera sea el caso, 0 N
r r
, con componente continuas. Si esto ocurre en cada
punto Q S ( P
xy
R ), se dice que la superficie es suave y admite plano tangente.


S
Qo
( ) Po

x
y
z
Po
R
xy

Superficies

314


Ejemplo 2 Sea ( )
2 2
y x y , x f z + = = El vector normal en cada punto resulta:
( ) 1 , y 2 , x 2 N =
r
( o su opuesto), orientado hacia el interior del paraboloide (hacia
afuera).













Actividad 1 Consideren ahora superficies que sean grficas de funciones de x y z y
de y y z respectivamente, y establezcan las condiciones para ser consideradas
superficies suaves. Identifique los respectivos vectores normales y haga un esquema
grfico. Proponga ejemplos de tales superficies.



c) Descripcin vectorial: Otra forma de individualizar puntos de una superficie es
por medio del vector

OP aplicado en el origen y con extremo variable en P S


Al variar

OP , tenemos los puntos de S.



Cmo vara

OP ?.

Teniendo presente -apelando a la intuicin- que los puntos en una superficie tienen
dos grados de libertad, es natural pensar que la variacin de

OP va a depender de dos
variables independientes, u y v, que llamaremos parmetros, tales que el par (u, v)
represente las coordenadas de un punto de cierto dominio R, que ubicaremos en un
sistema ortogonal uv. Al variar (u, v) en R, va a producir la variacin de

OP y en
consecuencia de la ubicacin de P en S.





x
y
z
N
N
-
O

S
O
P

Superficies

315

u
v
S
O
R
(u,v)
r
r(u,v)
P


Podemos establecer entonces, que existe una correspondencia r
r
que asigna a cada
punto (u, v) R , un nico vector ( ) = v u, r
r

OP , siendo P S . Formalmente tenemos
una funcin vectorial de dos variables, cuyo recorrido (o imagen) es la superficie S.

La ecuacin ( ) ( ) R v , u , v u, r r =
r r
es llamada ecuacin vectorial paramtrica de S

R es un dominio paramtrico, que en caso de ser acotado y cerrado, se dice regin
paramtrica, y en ese caso S es acotada.

Podemos observar -tal como ocurra con las curvas- que el vector ( ) v u, r
r
queda
identificado por medio de tres componentes reales, funciones de las variables u y v:

( ) ( ) ( ) ( ) k v u, Z j v u, Y i v u, X v u, r

+ + =
r



y como

OP k z j y i x

+ + =


Entonces
( )
( )
( )
( ) R v u, ;
v u, Z z
v u, Y y
v u, X x

=
=
=


definiendo as un sistema de ecuaciones paramtricas de S


El proceso de bsqueda de una representacin vectorial para una superficie, es
llamado parametrizacin. Las parametrizaciones ms comunes son las que se
inspiran en los cambios del sistema de coordenadas:



Ejemplo 3 Parametrizacin de un cilindro circular de radio a

Sea S:
2 2 2
a y x = +
Teniendo en cuenta las coordenadas cilndricas de un punto del espacio, todo punto
P S , queda individualizado por el ngulo de giro (en la proyeccin) y la cota, ya que
r = a, para cada punto.



Superficies

316


En consecuencia:

=
=
=
v
u a
u a
z
sen y
cos x


designando u al ngulo de giro y v a la cota.



x
y
z
P(x,y,z)
P'
v
u
O



Cmo varan u y v? v ; 2 u 0


Entonces: S : ( ) ; k

v j

u en s a i

u cos a v u, r r + + = =
r r
( ) R v u,

( ) { } v ; u 0 / v u, R = 2

Podemos interpretar que R se convierte en S mediante r
r
.

x
z
a
r R
u
v
0 2

Superficies

317


Ejercicio 1 Parametricen los siguientes cilindros acotados explicitando la regin
paramtrica.

a) 4 y x
2 2
= + entre z = 0 y z = 4
b) 25 y x
2 2
= + entre z = 0 y y + z = 6
c) 4 y x
2 2
= + entre y + z = 4 y y - z = 4
d) 1 y x
2 2
= + entre z = 0 y x + y + z = 4
e) 1 z y
2 2
= + entre x = -1 y x =1



Ejemplo 4 Parametrizacin de una esfera con centro en el origen y radio a

Tomando como referencia el sistema de coordenadas esfricas, cada punto de S
tendra = a, cualesquiera sean y . Si llamamos u = (ngulo de giro) y v =
(ngulo medido desde el eje z+ hasta

OP ), se tiene:
x
y
z
P(x,y,z)
u
v
O
a


( ) ( ) R v u, ; k

v cos a j

v sen u en s a i

v sen u cos a v u, r r : S + + = =
r r


( ) { } v 0 ; 2 u 0 / v u, R =


Puede interpretarse que el rectngulo R se transforma en S mediante r
r
:



r
R
u
v
0
2
x
y
z

{

=
=
=
v 0
2 u 0
con
v cos a z
v sen u sen a y
v sen u cos a x

Entonces:
Superficies

318


Pregunta: En que se transforman los puntos del lado v = ?, y los del lado v = 0?;
qu ocurre con los puntos donde v = /2?


Ejemplo 5 Parametrizacin trivial

Sea
2 2
y x z : S + =

Haciendo x = u , y = v se tiene

( ) ( ) ( )
2 2 2
v u, con k

v u j

v i

u v u, r r : S + + + = =
r r



Ejercicio 2

a) Parametricen el cono: 0 z y x
2 2 2
= + .
b) dem porcin del mismo cono, entre z = 0 y z = 4.
c) dem porcin de paraboloide
2 2
y x z + = , limitado por x + z = 4.
d) Cmo puede parametrizarse un plano?
e) Parametricen la porcin de cono
2 2
y x z + = en el interior del cilindro 4 y x
2 2
= + .
f) Parametricen la porcin de esfera 16 z y x
2 2 2
= + + , en el interior del cono
2 2
y x z + = .


Direccin normal a una superficie dada por una representacin vectorial

Sea S: ( ) ( ) R v u, ; v u, r r =
r r
. Supongamos que
o
P S proviene de ( ) R v , u
o o

mediante r
r
. Consideremos en R la recta
o
v v = . Su imagen en S ser una curva que
pasa por
o
P , que identificaremos como u-curva. Anlogamente, la imagen de
o
u u = ,
ser la curva - por
o
P - que llamaremos v-curva.

La razn de estas denominaciones es porque dejando fija una variable, la curva
imagen correspondiente se genera slo por variacin de la otra, que toma el rol de
parmetro.


u
v
S (u ,v)
r
N
P
o o
r
v
r
u
v-curva
u-curva
o


Superficies

319

Se tiene as:
u-curva : ( ) u v u ,
o
parmetro ; r r =
r r

v-curva : ( ) v v , u
o
parmetro ; r r =
r r



Supongamos ahora que ( ) v u, r
r
admite en un entorno de ( )
o o
v , u derivadas parciales
no nulas y continuas.

Si adems suponemos que ( )
o o
v , u
u
r

r
y ( )
o o
v , u
v
r

r
no son colineales
( ) ( )
|

\
|

o o o o
v , u
v
r
v , u
u
r
r r
, tenemos en
o
P , dos vectores que definen la direccin
tangente a la u-curva y v-curva respectivamente. Siendo estos vectores, no nulos, no
colineales, determinan en
o
P un plano, con normal
( )
0 0
v , u
v
r
u
r
N
|

=
r r
r
, llamado plano
tangente. El vector N
r
, que es no nulo y con componentes continuas (por qu?)

es llamado vector normal a S en
o
P .


Observaciones:
1) Aceptamos a N
r
como vector normal a S en
o
P ,... porque lo es!!, pero en realidad
debera comprobarse tambin, que toda curva contenida en S pasando por
o
P , tiene
direccin tangente ortogonal con N
r
.
2) Siendo
( )
0 0
v , u
v
r
u
r
N
|

=
r r
r
vector normal a S en
o
P , tambin lo es su opuesto
( )
0 0
v , u
u
r
v
r
N
|

=
r r
r



Conclusin:
____________________________________________________________________
Dada S: ( ) ( ) R v u, ; v u, r r =
r r
, si en cada punto ( ) v u, R existen
u
r

r
,
v
r

r
no nulas, no colineales, con componentes continuas, entonces, en cada
punto P de S puede hallarse el vector normal
v
r
u
r
N

=
r r
r
, no nulo, variando con
continuidad, y el correspondiente plano tangente a S en P. Se dice, cuando esto
sucede, que la superficie S es una superficie suave.
_____________________________________________________________________




Superficies

320

Ejercicio 3
a) Hallen el vector normal para cada caso e indicar si es vector interior o exterior de
las siguientes superficies:
i) cilindro recto
2 2 2
a y x = +
ii) esfera centrada en O y radio a.

b) Hallen el vector normal para las superficies :
i)
2 2
y x 4 z = limitada por z = 0 (sobre el plano xy).
ii)
2 2
y x z + = , bajo z = 4.



rea de una superficie

Supongamos que S es una superficie suave, acotada, dada por ( ) ( ) R v u, con , v u, r r =
r r

Cmo podemos calcular el rea de S? Definamos una particin en R, por medio de
rectas de la forma u = cte y v = cte. Estas rectas producirn en S un conjunto de
u-curvas y v-curvas, generando una subdivisin de la superficie en porciones
i
S .
Trataremos de relacionar las reas de las dichas porciones
i
S con las reas de los
rectngulos
i
R en que se ha dividido R.


u
v
S
r
i
u
i
v
i
R
u
v
i
P
i
S




Supongamos
i
S imagen de
i
R siendo ( )
i i i
v , u r P
r



Sean:
i
S = rea de
i
S y
i
R = rea de
i
R v . u =



i
S
*
i
S = rea de un paralelogramo (porcin del plano tangente a S en
i
P ) de

lados ( ) u v , u
u
r
T
i i 1

=
r
r
y ( ) v v , u
v
r
T
i i 2

=
r
r

Superficies

321


v-curva
u-curva
r
v
r
u
T2
T
1
Si
Si
*
i
P




i
S
*
i
S = =
2 1
T T
r r
( )
=

v u
v
r
u
r
i i
v , u
r r
( )
i
v u
R
v
r
u
r
i i

,

r r


O sea:
i
P
i
R N S
i

r


Omitiendo las formalidades, podemos decirle que:



= =

n
1 i
i
P
n
1 i
i
R . N S ) S ( rea
i
r


Y como ( )
v u
v u,

r

r
N

=
r r
r
es una funcin continua, existe el lmite de estas sumas,
resultando la integral de la funcin N
r
y representando en consecuencia el rea de S.

=
R
uv
dA
v
r
u
r
) S ( rea
r r



Ejemplo 6 Sea S porcin del cilindro 4 y x
2 2
= + , limitado por z = 0 e y + z = 4.
Calcular el rea de S
Sabemos que: S: ( ) k

v j

u en s 2 i

u cos 2 v u, r + + =
r
donde:
2 4 0
2 0



u sen v
u

x
y
z
S

Superficies

322

Hallamos el vector normal:

k

0 j

u os c 2 i

u sen 2
u
r
+ + =

r
; k

1 j

0 i

0
v
r
+ + =

r


( ) k

0 j

u en s 2 i

u cos 2
1 0 0
0 u cos 2 u sen 2 -
k j i
v
r
u
r
v u, N + + = =

=
r r
r


Finalmente:
2 N =
r


Entonces:
16 u d v d 2 ) S ( rea
2
0
u sen 2 4
0
= =


(unidades de superficie).




Cmo podemos proceder si la superficie es grfica de funcin?


Supongamos S suave S : ( ) ( ) xy R y x, , y , x f z = .

















Dijimos que pueden considerarse a x e y como parmetros siendo xy R la regin
paramtrica :

S: ( ) k

) y , x ( f j

y i

x x,y r + + =
r


k

x

j

0 i

1
x
r

f

+ + =

r
; k

y

j

1 i

0
y
r

f

+ + =

r





S

x
y
z
xy R

Superficies

323

k j
f

f
f
f
i
r r
N

y

i

x


y

1 0
x

0 1
k j
y

x

+

=
r r
r



|
|

\
|

= ,
f

f
1
y

,
x

N
r
, vector que ya conocamos



\
|

+
|

\
|

+ =
xy
R
xy
2
2
dA
y
f
x
f
1 ) S ( rea


Completen las frmulas que se tendran, para calcular el rea, cuando S es grfica de
una funcin x = g(y,z) y cuando es grfica de y = h(x,z).


Ejemplo 7 Calcular el rea del paraboloide
2 2
y x z + = , limitado por z = 4.


x
y
z
S
Rxy
z = 4


En este caso S es grafica de funcin. S:
2 2
y x ) y , x ( f z + = = con ( )
xy
R y , x
donde ( ) { } 4 y x x,y R
2 2
xy
+ = / (crculo)
1 2 2 , y , x N =
r
( )
2 2
4 1 y x N + + =
r


( )

+ + =
xy R
xy
dA y x 1 ) S ( rea
2 2
4



Superficies

324


La integral doble que tenemos que calcular es apta para ser trabajada en
coordenadas polares:
dr d r 4r 1 ) S ( rea
2
0
2
0
2

+ =

(completen!)


Propuesta para meditar (importante!):

Sea S la porcin de plano 0 3 z 4 y 3 x 2 = + que se proyecta en el rectngulo
( ) { } 3 y 0 ; 2 x 0 / x,y R
xy
= . Cmo calcular el rea de S ?
x
y
z
2
3 0
S


Por lo que vimos debe integrarse el mdulo del vector normal, en la regin de
proyeccin.
Como se trata de un plano, alguien podra -en forma apresurada- decir que su vector
normal es: ( ) , 4 3 , 2 N =
r
. Claro que si, es cierto, eso es sabido por geometra, pero
su mdulo es entonces 29 N =
r
, y de esta manera el rea calculada sera:

29 6 dA 29
xy
R
xy
=


Alguien -ms puntilloso- tendra en cuenta, la frmula que corresponde al clculo del
rea de una superficie dada en una forma explcita z = f(x,y).

En el caso propuesto, se debe despejar entonces z:

) y , x (
4
y 3 x 2 3
z f =
+
= , en consecuencia:

|

\
|
= 1
4
3
,
4
2
N ,
r
y
4
29
16
29
1
16
9
16
4
N = = + + =
r



= = =

29
4
6
dA
4
29
) ( rea
xy
R
xy
S 29
2
3


Superficies

325

Qu ocurri entonces?. Si bien es cierto que lo que debe integrarse es el mdulo del
vector normal, ste debe ser el que relaciona las reas de las
i
S con las de los
rectngulos
i
R , y ese es el vector obtenido como
|
|

\
|

,
f

f
1
y

,
x

- su opuesto-.


Conclusin: no cualquier vector normal a una superficie sirve para el clculo del rea.
Si bien todos definen la misma direccin, el rea solo se obtiene con aquel de mdulo
adecuado.



Ejercicio 4 Calculen el rea de las siguientes superficies.


Salvo que se indique otra cosa, traten de resolver (en los casos en
los que ello es posible) usando una representacin explcita de la
superficie, ya que por lo general resulta ser sto lo ms sencillo.





1) Una esfera de radio a. (parametrizando con coordenadas esfricas).
2) Una esfera de radio a. (Calculando el rea de un hemisferio, dado en forma
explicita).
3) Porcin del plano y = 3x, interior al paraboloide
2 2
y x z + = , limitado por z = 4.
4) Porcin del cono
2 2
y x z + = cortada por los planos z = 2 y z = 6.
5) Porcin de la esfera
2 2 2 2
z y x a = + + , interior a 0
2 2
= + y a y x (con z 0).
6) Porcin de paraboloide
2 2
y x z + = , cortada por los planos z = 2 y z = 6.
7) Porcin del plano 5 z 2 y 2 x = + + , limitado por los cilindros
2
y x = y
2
y 2 x = .
8) Porcin de cilindro 4 y x
2 2
= + ; limitado por z = y, en el primer octante.
9) S porcin de plano 2 z 2 y = + dentro del cilindro 1 y x
2 2
= + .
10) Casquete de paraboloide
2 2
y x 2 z = , cortado por el cono
2 2
y x z + = .


Uso de MAPLE: Podemos graficar una superficie dada en forma paramtrica
utilizando los siguientes comandos

> with(plots):
> plot3d([cos(x),sin(x),y],x=0..2*Pi,y=0..10);

V
E
R
Integral de superficie

326

Integral de superficie


Sean S una superficie acotada y suave y una funcin real, definida y acotada en los
puntos de S.

Qu significado puede darse a ?. Si (x,y,z) 0 en S, podra representar la
densidad superficial de masa (es decir, una funcin que distribuye masa por unidad
de superficie)

El procedimiento que conduce a la definicin de la integral de sobre S, es el mismo
que se ha presentado anteriormente: consiste en dividir, aproximar . . .














1) En esta ocasin se divide S por medio de un nmero finito de pequeas
porciones
i
S con reas (ya las sabemos calcular)
i
S ; i = 1,...,n.

2) Se elige
*
i
P
i
S (punto arbitrario), se calcula ( )
i
*
i
S P y se suman los resultados:

=
=
n
1 i
i
*
i n
S ). P ( J

Siendo ( ) { }
i i i i i i i
S Q , S P ; Q , P d max =

y { } n i
i
n
... 1 / max
) (
= =



3) Si =

I J lm
n
n
0
) (

independientemente de las particiones definidas y de la


eleccin de los puntos
*
i
P , se dice que es integrable sobre S y la integral de
superficie de sobre S , que se denota ( ) S d z y x
S
, ,

, es ese nmero I.





i
P
*
i
S

Integral de superficie

327

Pregunta: Si representa la densidad superficial de masa en cada punto (x, y, z)
( ( ) 0 z , y , x en S ) qu interpretacin le da a esta integral?.



Clculo de la integral de superficie

Si S es acotada y suave y es una funcin continua en los puntos de S , entonces
es integrable sobre S. Vamos a dar una idea -no demasiado rigurosa- de cmo se
calcula ( ) S d z y x
S
, ,


Supongamos S: ( ) ( ) R v u, con , v u, r r =
r r


Consideremos en R una particin, por medio de rectas paralelas a los ejes, que
determinan un nmero finito de rectngulos
i
R con reas
i
R . Supongamos que n de
esos rectngulos estn totalmente contenidos en R.

S
r
i
R
i
S
R



Esa particin de R, se corresponde con una divisin de S, por medio de n porciones de
superficie
i
S , con reas
i
S .

Sabemos que
i
i
R . N S
i

r
i , es decir :
i
i
R
v
r
u
r
S
i


r r


Cada punto P S, es extremo de un vector ( ) v u, r
r
. Un punto arbitrario
*
i
P
i
S ,
proviene de cierto ( )
*
i
*
i
v , u r
r
. Entonces:

( ) ( )

=
n
1 i
i
i
n
R

r

r
r J
v u
v , u
*
i
*
i
r r
r


( ) ( )
i
*
i
*
i
v
r
u
r
v , u




r

r r
r
es la funcin ( ) ( ) ( )
v
r
u
r
v u, r v u, g

=
r r
r
evaluada en ( )
*
i
*
i
v , u

Como g es continua (por qu?) el lmite que nos conduce a la integral de superficie,
es el mismo que nos permite calcular la integral doble de g en R:

( ) ( ) ( )

=
R
uv
S
dA
v
r
u
r
v u, r S d z , y , x
r r
r

Integral de superficie

328

Observaciones:
1) El integrando a resolver es la funcin evaluada en cada punto de S, multiplicada
por el mdulo del vector distintivo (normal) de la superficie (que analoga se tiene con
el clculo de la integral de lnea de una funcin escalar?)

2) Si contamos con una representacin explcita de S, o sea, si por ejemplo es

S : ( ) ( ) xy R y x, , y , x f z = ,
vimos que:
|
|

\
|

= ,
f

f
1
y

,
x

N
r
y por lo tanto
2
2
y

x

1 N
|
|

\
|

+ |

\
|

+ =
f f
r


Adems: ( ) ( ) ( ) y , x f , y , x S en evaluado =

As que resulta:


( ) ( ) ( ) ( ) ( )
xy
R
y x
S
dA f f y x f y x S d z y x I
xy
1 , , , , ,
2 2

+ + = =

(Planteen los clculos correspondientes en los casos S : ( ) ( )
yz
R z y, , z , y f x = y
S : ( ) ( )
zx
R x z, , x , z f y = )


3) Debido a que ( ) S d z , y , x
S

, se calcula por medio de una integral doble, se


verifican todas las propiedades vlidas para ese tipo de integral.


4) ( ) S rea S d
S
=



5) La superficie S puede ser unin finita de superficies suaves.
Si S =
2 1
S S donde
2 1
S S y tienen en comn a lo sumo una lnea; donde no puede
trazarse plano tangente, S se dice suave a trozos. Si es integrable sobre
2 1
S S y , es
integrable sobre S y se tiene:

+ =
2 1
S S S
ds z y x ds z y x ds z y x ) , , ( ) , , ( ) , , (

S
S
1
2



Ejemplo 1 Calcularemos S d y x
S
2 2

+ , siendo S: porcin de cilindro 4 y x


2 2
= + ,
limitado por z = 0 y z = 4.


Integral de superficie

329















Como tenemos una superficie que no es grfica de funcin, usamos una
parametrizacin adecuada:

( ) k

v j

u en s 2 i

u cos 2 v u, r + + =
r

con 2 u 0 y 4 v 0

( )
2 2
y x z , y , x + =
( ) 2 u sen 4 u cos 4 S en evaluado
2 2
= + =

k

0 j

en s 2 i

cos 2

r

r
N u u
v u
+ + =

=
r r
r
y 2

r

r
N =

=
v u
r r
r






(Como 0 en S, puede interpretarse que se calcul la masa de S)


Ejemplo 2 Calcularemos S d z
S

, siendo S porcin del cono


2 2
y x z + = ; limitado
por z = 4.











En este caso:
S : ( )
2 2
y x y , x f z + = = , ( ) xy R y x,
( ) { } 16 y x / y , x R
2 2
xy
+ =
32 u d v d 2 . 2 I
2
0
4
0
= =


x
y
z
z = 4
y
z
S

Integral de superficie

330

y el vector normal es entonces:
|
|

\
|
+

+
= ,1
y x
y
,
y x
x
N
2 2 2 2
r



( )
2
y x
y x 2
1
y x
y
y x
x
N
2 2
2 2
2 2
2
2 2
2
=
+
+
= +
+
+
+
=
r



Observemos que en el origen no est definido N
r
. (La superficie es suave en todos
sus puntos salvo en el origen). Esto no modifica el clculo (un punto tiene rea nula).
Notemos tambin que el vector normal vara punto a punto pero que su mdulo es
constante.


Completamos el clculo de la integral:

( ) z z , y , x = ( ) ( )
2 2 2 2
y x y x , y , x S en evaluado + = + =


3
2 128
3
r
2 2 d dr r 2 r dA 2 y x S d z
4
0
3 2
0
4
0 R
xy
2 2
S
xy
= = = + =





Aplicaciones de la integral de superficie: Centro de masa

Si ( ) 0 z , y , x en S suave, siendo densidad superficial de masa, entonces:

1) Masa: ( ) ( ) S d z , y , x S m
S

=
2) Centro de masa: ( ) z , y , x , definido por:


m
M
x
yz
= ;
m
M
y
xz
= ;
m
M
z
xy
=

donde ( ) S d z , y , x x M
S
yz

= ; ( ) S d z , y , x y M
S
xz

= ; ( ) S d z , y , x z M
S
xy

=

son momentos de primer orden, con respecto a los planos coordenados.


Observacin: Si ( ) k z , y , x = (cte) al centro de masa, se le dice centroide.


Ejercicio 1 Integren:
a) ( ) x z , y , x = sobre el cilindro
2
x y = , 2 x 0 , 3 z 0 .

Integral de superficie

331

b) ( ) z z , y , x = sobre 4 z y
2 2
= + , 0 z , 4 x 1 .
c) ( )
2
z z , y , x = sobre el hemisferio
2 2 2 2
a z y x = + + , 0 z .
d) ( ) z 4 5 x z , y , x
2
= , sobre
2 2
y x 1 z = , 0 z .
e) ( ) yz z y x = , , , sobre la porcin de esfera 4 z y x
2 2 2
= + + por arriba del cono
2 2
y x z + = .
f) ( ) z y x z y x + + = , , , sobre S: 1 y x
2 2
= + , 2 z 1 .

Ejercicio 2 Hallen el centroide de:

a) la porcin de esfera
2 2 2 2
a z y x = + + que se halla sobre el primer octante.
b) la porcin de cono 0 z y x
2 2 2
= + , entre los planos z = 1 , z = 2.



Flujo de un campo vectorial a travs de una superficie


Para definir este concepto necesitamos que la superficie en cuestin rena ciertos
requisitos:

1) S tendr que ser acotada y suave.

Recordemos que, si S: ( ) ( ) R v u, ; v u, r r =
r r
esto significa que:

R es una regin cerrada y acotada del plano uv

en cada punto ( ) v u, R existen
u
r

r
,
v
r

r
no nulas, no colineales, con
componentes continuas, que determinan en el correspondiente punto de S el
vector normal N
r
(
v
r
u
r
N

=
r r
r
o
u
r
v
r
N



=
r r
r
) cuyo mdulo interviene
en el clculo de una integral de superficie sobre S

De ahora en ms n
r
denotar un vector normal unitario en un punto de S


v
r
u
r
v
r
u
r
n







=
r r
r r
r
o
u
r
v
r
u
r
v
r
n







=
r r
r r
r


2) S tendr tambin que ser una superficie en la que se distingan dos caras,
identificadas cada una de ellas con una de las dos elecciones posibles para n
r
.
Las superficies que cumplen esa condicin se llaman orientables y se dice que se ha
orientado a la superficie cuando se ha elegido una de las dos posibilidades para n
r
.




Integral de superficie

332

Ejemplo 3 Consideremos la superficie cilndrica 4 y x
2 2
= +











Parados en un punto P de la superficie S tiene sentido hablar de una direccin normal
hacia el exterior: entendemos que se est considerando n
r
apuntando hacia afuera y
ms an, elegido ese vector n
r
, podramos desplazarlo continuamente a lo largo de
cualquier trayectoria sobre S y regresar a P apuntando siempre hacia afuera.













Siendo S : ( )

en 2 i

cos 2 r k v j u s u v u, + + =
r

2 u 0 y v

, 0 , 2 , cos 2
1 0 0
0 cos 2 2




senu u u senu
k j i
v
r
u
r
= =

r r r
r r

2




=

v
r
u
r
r r


, 0 , , cos senu u n =
r
normal exterior (comparen las componentes con las del
vector posicin v u , s u , en 2 cos 2 )

Si se eligiera la direccin normal interior consideraramos , 0 , , cos senu u n =
r


Observacines:
1) Tambin son orientables las superficies suaves a trozos
2 1
S S S = (suele decirse
tambin seccionalmente suaves), quedando orientada S cuando se eligen en
2 1
S S y
vectores
1
n
r
y
2
n
r
respectivamente que inducen en la curva interseccin (de acuerdo a
la regla de la mano derecha) orientaciones contrarias.
x
y
z
n
r
,
x
z
y
Integral de superficie

333


S
S
2
1
u
u
C


2) Las superficies con las que estamos trabajando son todas orientables. En realidad
toda porcin suficientemente pequea de una superficie suave siempre es
orientable. Pero . . . existen superficies que no son orientables como la llamada cinta
de Mobius



Observen la figura y expliquen cuntas caras tiene la cinta siguiendo el recorrido de
las hormigas.


Curiosidades
La cinta de Mbius fue descubierta en 1858 por el matemtico y astrnomo alemn
August Ferdinand Mbius (1790-1868) Se trata de una superficie tan sencilla como
sorprendente. Si tomamos una cinta de vrtices ABCD y unimos A con D y C con B
dndole media vuelta obtenemos una superficie que contra toda apariencia tiene una
sola cara, un solo borde y no es orientable.

Si partimos de un punto de su superficie y comenzamos a colorearla, acabaremos
pintado toda la cinta sin haber rebasado el borde. Por consiguiente, slo tiene una
cara. Si reseguimos con el dedo uno de los bordes llegamos al punto de partida
habiendo recorrido los dos bordes aparentes. Y lo ms sorprendente: si consideramos
un vector n perpendicular al plano de la cinta en cualquier punto P, este cambiar su
orientacin a medida que recorremos la cinta por su lnea central, llegando a
convertirse en n al llegar al mismo punto.

La cinta de Mbius tiene aplicaciones prcticas: como cinta transportadora de
desgaste uniforme por "ambas caras", o bien como cinta abrasiva .





Integral de superficie

334

Dicho todo esto . . .

Sea S orientable y F
r
campo vectorial con componentes continuas, definido en cada
punto de S. Sea n
r
el normal unitario elegido en S

Llamamos integral de flujo (o simplemente flujo) del campo vectorial F
r
a travs de
S, en la direccin de n
r
, a la integral de superficie, de la componente normal de F
r

sobre S.






a




S
S d n F
r
r
= Flujo de F
r
a travs de S en la direccin de n
r



Qu significado podramos darle a esta integral? Consideremos un fluido en
movimiento.

Supongamos que la velocidad en cada punto (x,y,z) por donde pasa una determinada
partcula no depende del tiempo (hablamos de una corriente estacionaria). La
velocidad es entonces un campo vectorial ( ) z , y , x V
r
.
Supongamos que ( ) z , y , x es la densidad de fluido en (x,y,z) (masa por unidad de
volumen). Aclaremos que es un campo escalar asociado a la corriente. Puede ser
constante (en ese caso el fluido se dice incompresible) o variar punto a punto (fluido
compresible, tal como un gas)

Entonces, el campo ( ) ( ) ( ) z , y , x V . z , y , x z , y , x F
r r
= es llamado densidad de flujo de la
corriente (vea que el vector F
r
tiene la misma direccin que la velocidad)

Si consideramos una pequea superficie
i
S , con normal n
r
en la corriente fluida.



i i
S de rea S =











u
F
Pi
Si

S
u
F

Integral de superficie

335

Entonces n F
r
r
en
i
P representa:

) ).( sup ( ) (
tan
) ( tiempo de unidad erficie de unidad
masa
tiempo de unidad
cia dis
volumen de unidad
masa
=

y ( )( )
i i
S . P n F
r
r
, representa la masa de fluido, que pasa a travs de
i
S en la
direccin normal, por unidad de tiempo.


Imaginen entonces, para una superficie S (que puede dividirse en pequeas porciones
i
S ), el significado de


S
S d n F
r
r
.


Clculo de la integral de flujo

Supongamos S: ( ) ( ) R v u, , v u, r r =
r r
(regin)

( ) ( ) ( )

=
R
uv
S
v u
v u, S dA

r

r
r n F d n F
r r
r r
r
r
r


( ) ( )
( )



=
R
uv
dA
v
r
u
r
v r u r
v r u r
v u, r F
r r
r r
r r
r
r


( ) ( )

\
|

=
R
uv
dA
v
r
u
r
v u, r F
r r
r
r


Este resultado es obtenido para el vector normal
v u
r

r
N

=
r r
r
. Si la direccin
normal elegida es la de N
r
el resultado ser opuesto..

Si no se especifica la cara sobre la que se trabaja en S, se indica:

( ) ( )

|

\
|

=
R
uv
S
dA
v
r
u
r
v u, r F S d n F
r r
r
r
r
r



Ejemplo 4 Sea k

z j

y i

x F + + =
r
y S: porcin de cilindro 4 y x
2 2
= + , limitado por
z = 0 y z = 4. Calcularemos el flujo de F
r
a travs S con direccin normal exterior.









x
y
z
S
u
u
F

Integral de superficie

336

Como S no es grfica de funcin se recurre a la representacin paramtrica.

( ) k

v j

u en s 2 i

u cos 2 v u, r + + =
r
con ( ) { } 4 0 ; 2 0 / R = v u v u,
uv


k

0 j

u en s 2 i

u cos 2
v
r
u
r
N + + =

=
r r
r
( N
r
es el normal exterior)

( ) k

v j

u en s 2 i

u cos 2 S en evaluada F + + =
r

( ) ( ) 4 u en s 4 u cos 4
v
r
u
r
v u, r F
2 2
= + =
|

\
|

r r
r
r


como, ( ) = = 8 4 . 2 R rea
uv


( )
uv
R
uv
S
R rea 4 dA 4 S d n F
uv

= =
r
r
32

=
S
S d n F
r
r


Si se elige la cara interior del cilindro, el resultado es el valor opuesto. As puede
interpretarse el llamado flujo saliente y flujo entrante.



Clculo del flujo con representacin explcita de la superficie

Si S: ( ) ( )
xy
R y x, ; y x, f z = y ( ) ( ) ( ) ( ) z , y , x R , z , y , x Q , z , y , x P z , y , x F =
r


( ) ( ) ( ) y x, f , y , x F S en evaluada F
r r
= y |

\
|

= 1 ,
y
f
,
x
f
N
r


( ) ( ) = =

xy
R
xy
S
dA N y x, f , y , x F S d n F
r r
r
r


( ) ( ) ( ) ( ) ( ) ( )
(

=
xy
R
xy
dA y x, f , y , x R
y
f
y x, f , y , x Q
x
f
y x, f , y , x P

Propongan las integrales para calcular el flujo de un campo, cuando S es grfica de
una funcin x = g(y,z) o y = h( x,z)


Ejemplo 5 Calculemos


S
S d n F
r
r
, siendo k

z j

y i

x F + + =
r
y S: porcin de
paraboloide
2 2
y x z 4 + = limitado por z = 0 con direccin normal exterior.







uuuu
uuuu
uuuu
uuuu
k

Integral de superficie

337


S :
2 2
y x 4 z = ; ( )
xy
R y , x donde ( ) { } 4 y x / x,y R
2 2
xy
+ =

( ) ( ) k

y x 4 j

y i

x S en evaluada F
2 2
+ + =
r

( ) ,1 y 2 , x 2 N =
r
(por qu es este el vector?)





Como ( ) { } 4 y x / x,y R
2 2
xy
+ = , conviene para completar el clculo de la integral
pasar a coordenadas polares: ( )

24 d dr r . r 4 S d n F
2
0
2
0
2
S
= + =

r
r



Observacin: La notacin alternativa ( )

+ +
S
S d os c R cos Q cos P suele
utilizarse para indicar la integral de flujo


S
S d n F
r
r
siendo k

R j

Q i

P F + + =
r
, y
k

os j

cos i

cos n c + + =
r



Ejercicio 3 Calculen ( )

+ +
S
2
S d os c x cos yz cos xz , siendo
S:
2 2 2 2
a z y x = + + , con normal exterior.

Ejercicio 4 Sea S porcin de plano limitado por un triangulo de vrtices (1,0,0);
(0,1,0); (0,0,1), con normal que tiene tercera componente no negativa.
Si k

z j

y i

x F + + =
r
, calculen


S
S d n F
r
r
, utilizando a) la representacin
( ) ( ) ( ) ( )

r k u 1 j v u v u v u, + + + =
r
. b) una representacin explcita de la forma
z = f (x,y)

Ejercicio 5 Sea ( ) ( ) k

z j

y x 2 i

x z , y , x F + + =
r
el vector densidad de flujo de un
fluido. Si S es el hemisferio 1 z y x
2 2 2
= + + , con z 0 y n
r
normal exterior a la esfera,
calculen la masa de fluido que atraviesa S, en la unidad de tiempo, en la direccin n
r

(slo planteo)

Ejercicio 6 Con los datos dados en el ejercicio anterior, tomamos S como superficie
cerrada, incorporando la base en el plano z = 0, con normal k
r
. Calculen la masa de
fluido a travs de la superficie cerrada (slo planteo).

Ejercicio 7 Calculen las siguientes integrales de flujo:

a) 1 , x , y F =
r
, S porcin de
2 2
y x z + = , bajo z = 4 con n
r
hacia abajo.
( )

= + + =
xy
R
xy
2 2 2 2
S
dA y x 4 y 2 2x S d n F
r
r
( )

+ +
xy
R
xy
2 2
dA y x 4
Integral de superficie

338

b) z , x , y F =
r
, S porcin de
2 2
y x z + = , bajo z = 3 con n
r
hacia abajo.
c) y , 1 , 0 F =
r
, S porcin de
2 2
y x z + = , en el interior de 4 y x
2 2
= + ( n
r
hacia abajo).
d) z , y , xy F
2
=
r
, S superficie cerrada formada por las caras del cubo: 1 x 0 ;
1 y 0 ; 1 z 0 con n
r
hacia el exterior.
e) x , 1 , yx F =
r
, S es la porcin de y x 2 z = sobre el cuadrado: 1 x 0 ;
1 y 0 ; con n
r
hacia arriba.
f) 2 , 0 , y F =
r
, S es la frontera de la regin limitada arriba por
2 2
y x 8 z = y abajo
por
2 2
y x z + = , con n
r
hacia el exterior.

Ejercicio 8 Sea ( ) k

y j

x i

z z , y , x F + + =
r
y S porcin de plano 1 z y x = + + en el
primer octante, con normal n
r
alejndose del origen.

a) Comprueben que r d F S d n F rot
C S
r
r
r
r
=

, siendo C la frontera del tringulo que forma
el plano con el primer octante, con la orientacin inducida por la normal n
r
elegida.

b) Si V es el slido, limitado por esa porcin de plano y los planos coordenados,
limitado entonces por una superficie cerrada S, comprueben que




=
S V
dV F div S d n F
r
r
r
Cuadro sinptico de campos escalares y vectoriales en
2
y
3


Conceptos
matemticos

Conceptos fsicos

Expresiones matemticas

Operaciones Estudio de la
variacin
Integrales que
involucran
Campo
escalar


o

Funcin
escalar
Masa
temperatura
densidad
volumen
rea
energa
presin
carga
flujo magntico
potencial


Es una funcin a valores reales

A cada punto del plano (x,y) se le
asigna un escalar f(x,y)

Idem a (x,y,z) se le asigna un
escalar f (x,y,z) = w


Suma
Resta
Producto

Gradiente f
r


Diferencial df

dS f
C



dA f
R

V
V d f


f dS
S


Campo
vectorial
Campo elctrico
Campo magntico
Campo gravitatorio
Campo de velocidades de un
fluido
Campo de fuerzas

Es una funcin vectorial


k z y x R j z y x Q i z y x P z y x F
r r r r
) , , ( ) , , ( ) , , ( ) , , ( + ++ + + ++ + = == =
j y x Q i y x P y x F
r r r
) , ( ) , ( ) , ( + ++ + = == =

A cada punto (x,y) se le asigna un vector ) , ( y x F
r

Idem a (x,y,z) se le asigna un vector ) , , ( z y x F
r


Suma
Resta
Producto por
funcin
escalar

Producto
escalar

Producto
vectorial

Rotor
(vector)
F F rot
r r r
= == = ) (

Divergencia
(escalar)
F ) F ( div =
r r


C
r d F




S
dS n F


Teorema de Stokes

340

Teorema de Stokes


George Gabriel Stokes (1819-1903) fue un matemtico y fsico irlands que realiz
importantes contribuciones a la fsica terica y a la teora de series.


El teorema de Stokes permite relacionar una integral de superficie con una integral de
lnea. Es una generalizacin del teorema de Green que relaciona una integral doble
con una integral de lnea. En ambos casos la integral de lnea es una circulacin.

_____________________________________________________________________

Teorema de Stokes

Sea S una superficie orientable, en la que se ha elegido una direccin normal n
r
.
C curva frontera de S, orientada de acuerdo a la orientacin inducida por n
r
.
Si F
r
es un campo vectorial cuyas componentes admiten derivadas parciales
continuas en un dominio abierto
3
D que contiene a S y C,

entonces:




=
C S
r d F S d n F rot
r
r
r
r

(*)






_____________________________________________________________________


Una consecuencia inmediata del Teorema de Stokes es que, si
2 1
S S y son dos
superficies orientables con frontera comn C, ambas orientadas de acuerdo con la
orientacin elegida para C (regla de la mano derecha) y F
r
es un campo vectorial
derivable con continuidad, entonces

=
1 2
S S
2 1
S d n F rot S d n F rot
r
r
r
r

En efecto: por el Teorema de Stokes, ambos miembros de esa igualdad son
iguales a


C
r d F
r
r









u
S
C
1
1
u
2
S
2


u
F
rot F
S
C

Teorema de Stokes

341

Esto significa que:

El flujo de un campo rotor, no depende de la superficie que atraviesa, sino de su frontera



Aplicaciones del Teorema de Stokes

1. Clculo de la circulacin de un campo F
r
a lo largo de una curva C por medio de
una integral de superficie del campo F rot
r
.

Teniendo en cuenta que C es una curva cerrada, habr mltiples superficies que la
tienen como frontera cul de ellas elegir? La respuesta es: la ms simple.

Ejemplo 1 Calcular ( ) ( ) ( )

+ + +
C
dz z x dy z x dx y z aplicando el Teorema de
Stokes, siendo {
z y
y 2 y x
: C
2 2
=
= +
, con orientacin antihoraria mirando desde arriba.













Observemos que la curva es plana (contenida en el plano y = z). Consideremos
entonces la porcinde ese plano que tiene como frontera a la curva C :

S : z = y =f (x, y) con ( )
xy
R y x,
( ) ( ) { } 1 1 y x / y x, R
2 2
xy
+ =


1 , 1 , 0 N =
r
(por qu no 0,1,-1 N = ?)

La superficie S , la curva C y el campo ( ) ( ) ( ) k

z x j

z x i

y z F + + + =
r
, estn en las
condiciones del Teorema de Stokes ( verifquenlo! ), por lo tanto:

( ) ( ) ( )

+ + +
C
dz z x dy z x dx y z =


S
S d n F rot
r
r



z x z x y z
z

y

x

k j i
F rot =
+

=
r
2 , 0 , 1 (vector constante)
x
y
z
u
C

Teorema de Stokes

342



( )

= = =
xy xy
R
xy xy
R S
dA 1 , 1 , 0 2 , 0 , 1 dA N ) y , x ( f , y , x F rot S d n F rot
r r
r
r


2 R de rea 2 dA 2
xy
R
xy
xy
= = =



2. Clculo del flujo de un campo rotor por medio de una circulacin.

Ejemplo 2 Calcular


S
S d n F rot
r
r
por medio de una integral de lnea siendo
k

xz j

xy i

y F
2
+ + =
r
y S el hemisferio 0 z , 1 z y x
2 2 2
= + + , con n
r
normal unitaria
con tercera componente no negativa.













En este caso tenemos que integrar a lo largo de la curva frontera, que es..... la
circunferencia 1
2 2
= + y x en el plano xy, con orientacin antihoraria de acuerdo con la
orientacin inducida por la normal de S.


C: [ ] 2 0, t , k 0 j t sen i t cos ) t ( r + + =
r r r
r


( ) ( )
( )
( ) ( ) ( ) t en s . t os c t sen t ' r t r F
k

0 j

t os c i

t sen t ' r
k

0 j

t sen t os c i

t sen t r F

2 3
2
+ =

+ + =
+ + =

r r
r
r
r
r


( )

+ = =
S
2
0
2 3
C
dt t en s . t os c t sen r d F S d n F rot

r
r
r
r


Al resolver, vemos que su resultado es 0. Significa entonces que el flujo es nulo.


Ejercicio 1 Aplicando el teorema de Stokes, si es posible, evalen


C
r d F
r
r
(elijan en
cada caso la orientacin).

a) {
0 z
y x - 4 z
: C
2 2
=
=
,
3 2 x 2
z , 1 y , y e x F + =
r

u
C
S
z
x
y

Teorema de Stokes

343

b) {
4 z
y x z
: C
2 2
=
+ =
, y sen . z , x y , x F
2 4 2
=
r


c) {
y 8 z
y x z
: C
2 2
=
+ =
,
2
z 8 2 2
e , y 4 , x 2 F =
r


d) {
y x z
1 y x
: C
2 2
=
= +
,
2 2 2
z g t , y sen , x cos F =
r


e) C es el tringulo que va de (0,1,0) a (0,0,4) a (2,0,0) ;
3 2 2 2 3 2
y x , y z y 3x , z xy 2 x F + =
r



f) C es el cuadrado que va de (0,2,2) a (2,2,2) a (2,2,0) a (0,2,0) y x , z , y F =
r


Ejercicio 2 a) Demuestren que ( ) 0 r d . =

r
r
C
f f , para cualquier curva cerrada C y f
tiene derivadas segundas continuas.

b) Demuestren que ( ) 0 r d . . = +

r
r r
C
f g g f , para cualquier curva cerrada C, f y g
con derivadas segundas continuas.

Ejercicio 3 Apliquen el teorema de Stokes, para evaluar


S
S d n F rot
r
r
.
a) S porcin de
2 2
y x - 4 z = sobre el plano xy,
3 2
z , 2y , zx F =
r
, n
r
orientada hacia
arriba.
b) S porcin de
2 2
y x - 4 z = sobre el plano xy, z y , yz , y x 2 F
2 2
=
r
, n
r

orientada hacia arriba.
c) S es la porcin de
2 2
y x - 1 z = sobre el plano xy, con n
r
hacia arriba,
2 xy
y x , x e z , x z F
2
=
2
r
.
d) S porcin de
2 2
z x y + = con 2 y , n
r
hacia la izquierda, 1 z y , 4xe , xy F
2
z
+ =
r
.
e) S porcin de cubo unitario 1 x 0 ; 1 y 0 ; 1 z 0 , con z > 0, n
r
hacia
arriba,
2 3 2
z x 8cos , z y 4x , xyz F =
r
.
f) S porcin de cono
2 2
y x z + = , bajo la esfera 2 z y x
2 2 2
= + + , n
r
hacia abajo,
2 2 2 2
y z , y x , zx F + =
r
.


Aplicacin del teorema de Stokes al caso de una la superficie que tiene como
frontera dos curvas cerradas.

Ejemplo 3 Supongan que S es la porcin de cono
2 2
y x z + = ; entre los planos
z = 1 y z = 3, con normal exterior, y y , x - , z F =
r
. Podemos aplicar el teorema de
Stokes para calcular


S
S d n F rot
r
r
?
Teorema de Stokes

344














S tiene por frontera dos circunferencias
2 1
C y C . Para conseguir una nica frontera se
hace un corte en la superficie y se desarrolla.


u
u
C
1
C
2

C
2
C
1


2
1
u



Se recorre la frontera C:
2 2 1 1
C C con la orientacin inducida por n
r
,
teniendo as:


+ + + =
2 2 1 1
dr F dr F dr F dr F S d n F rot
C C S
. . . .
r
r


pero
2 1
=



entonces 0 . . = +

2 1
dr F dr F




resultando:

+ =
2 1
C C S
r d F r d F S d n F rot
r
r
r
r
r
r


donde
2 1
C C y tienen orientacin opuesta. (En este caso C
1
antihorario y
2
C horario,
mirados desde arriba).

Parametricen
2 1
C C y , calculen las circulaciones correspondientes y sumen los
resultados.


z
z = 2
z = 1
u
u
Teorema de Stokes

345


Aplicacin del teorema de Stokes al caso en que la superficie es cerrada.

Supongan ahora que tiene una superficie cerrada S y tiene que calcular


S
S d n F rot
r
r
,
con F
r
definido en cada punto de S y n
r
normal exterior (por ejemplo).

Pueden aplicar Stokes?. En principio no, ya que necesita una curva frontera, y la
superficie es cerrada, pero.....siempre hay un recurso!:

Se divide S en dos partes
2 1
S S y por medio de un corte a travs de una curva C. . .







2 1
S S S =









Sea C
1
la curva C orientada de acuerdo con la orientacin inducida por la orientacin
de
1
S , y
2
C , la misma curva pero ahora con la orientacin opuesta (de acuerdo con
la orientacin de
2
S ).


=
1 1
C S
r d F S d n F rot
r
r
r
r



=
2 2
C S
r d F S d n F rot
r
r
r
r


pero

=
2 1
C C
dr F dr F . .


Al sumar se tiene entonces:


0
2 1

= + = + =
C C S S S
r .d F r .d F S d n F rot S d n F rot S d n F rot
2 1
r
r
r
r
r
r
r
r
r
r


Esto puede describirse diciendo que:

El flujo de todo campo rotor a travs de una superficie cerrada, es nulo


u
u
C
S
u
C
1
S
1
u
C
2
S
2
Teorema de Stokes

346


Comentario: Hemos visto -en las condiciones del teorema de Stokes- que si un
campo G
r
es un campo rotor, esto es, F rot G
r r
= , el flujo de G
r
no depende de la
superficie sino de la curva frontera, y ,adems, que el flujo de G
r
a travs de
cualquier superficie cerrada es nulo. Puede entonces establecerse cierta analoga,
con respecto a lo que suceda con un campo gradiente, en la integral de lnea.
Pinsenlo!.


Podemos tambin, en base de la igualdad de Stokes, dar una interpretacin del
rotor, con respecto a su direccin y mdulo.

Supongamos ( ) z , y , x V
r
campo de velocidades de un fluido (en las condiciones del
teorema de Stokes) y
o
P un punto, en la corriente fluida, qu significado tiene
( )
o
P V rot
r
?.
u
V
Po
V rot ( ) Po
C
r
S
r


Tomando una pequea superficie
r
S rodeando al punto
o
P (podemos suponer una
pequea porcin de plano) con
r
C como frontera.
Sin perder generalidad, consideramos que
r
S es un crculo centrado en
o
P , con radio
r y
r
C la circunferencia que lo acota.

Aplicando all la igualdad de Stokes:

S d n V rot r d V
r r
S C
r
r
r
r
=



por teorema del valor medio -aplicado a la integral de flujo- existe
r
S P* , tal que:

( )( ) ( )
r
S
S rea . * P n V rot S d n V rot
r
r
r
r
r
=



entonces:
Teorema de Stokes

347

( )
( )( ) * P n V rot
S rea
r d V
r
C
r
r
r
r
r
=




u
P
o
V rot
C
r
S
r
P*


El primer miembro de sta ltima igualdad, representa un promedio, entre circulacin
de campo, a lo largo de
r
C , y el rea de la superficie limitada por
r
C . Obviamente
estos promedios van cambiando al variar r. Ese promedio est relacionado con la
componente normal del rotor, pero en un punto * P .

Si ahora se analiza el comportamiento de estos promedios cuando 0 r (en ese caso
o
P P* ), el valor lmite es llamado densidad de circulacin, y permite estimar la
circulacin por unidad de rea en
o
P , pero por otro lado, se tiene la componente
normal de V rot
r
en
o
P , entonces:
( )( )
( )
r
C
0 r
0
S rea
r d V
lim P n V rot
r

r
r
r
r


Significa entonces que: la componente normal de ( )
o
P V rot
r
, al medir la densidad de
circulacin en
o
P , permite establecer en ese punto, que tal densidad ser mxima
cuando n
r
y ( )
o
P V rot
r
coincidan en direccin, y numricamente esa mxima densidad
de circulacin est dada por ( )
o
P V rot
r
, pues:

( )( ) ( ) ( ) cos P V rot cos n P V rot P n V rot
o o o
r
r
r
r
r
= =



u
V rot Po
( )
P
o



Podemos concluir, diciendo que:

( )
o
P V rot
r
indica la direccin normal al plano en que se registra la mxima densidad
de circulacin en
o
P , y su mdulo representa esa mxima densidad

Teorema de Stokes

348


Campos conservativos y el teorema de Stokes

Es conveniente que repasen lo estudiado en clases anteriores, referido a la relacin
entre independencia del camino y campos conservativos.

Recordarn que, aplicando el Teorema de Green, hemos mostrado que, si las
componentes de F
r
tienen primeras derivadas parciales continuas en un conjunto
simplemente conexo
2
D y 0 ) F ( rot
r r
= en D entonces, para toda curva
cerrada C , es 0 r d . F
C
=

r
r
(y, por lo tanto, la integral


C
r d F
r
r
es independiente del
camino y el campo F
r
es conservativo)


Actividad a) Reflexionen sobre la generalizacin de este resultado para campos
definidos en
3
R utilizando el teorema de Stokes.

Les aclaramos que una regin
3
R D es simplemente conexa si toda trayectoria
cerrada en D puede contraerse continuamente a un punto en D sin salir de D.








Curiosidad! La superficie que aparece a continuacin se le llama toro


b) Consideren el campo vectorial k z j
y x
x
i
y x
y
) z , y , x ( F
2 2 2 2
+
+
+
+

=
r

i) Verifiquen que 0 ) F ( rot
r r
= .
ii) Calculen

C
dr F. siendo

=
= +
=
0 z
1 y x
C
2 2
Es F
r
conservativo en
3
R ?
iii) Qu comentario pueden hacer acerca de lo visto en i) y ii) ?

Es el toro una superficie simplemente conexa?

Teorema de Gauss
349

Teorema de Gauss







Este teorema permite relacionar una integral de flujo (integral de superficie) con una
integral triple. Establece que en condiciones adecuadas, el flujo en un campo a travs
de una superficie cerrada (con direccin normal exterior) es igual a la integral triple de
la divergencia del campo en el slido limitado por la superficie

_____________________________________________________________________

Teorema de Gauss

Sea S una superficie orientable cerrada, en la que se ha elegido la direccin normal
exterior n
r
y sea V el slido cuya frontera es S.
Si F
r
es un campo vectorial cuyas componentes tienen derivadas parciales continuas
en cierto dominio
3
D que contiene a S y V ,
entonces:



=
V S
dV F div S d n F
r
r
r






______________________________________________________________________


Cmo se aplica este resultado?

Propuesto el clculo de un flujo a travs de una superficie cerrada, se resuelve la
integral triple de la divergencia en el slido limitado por esa superficie.

Ejemplo 1 Calcular


S
S d n F
r
r
, siendo ( ) k

z j

y i

x z , y , x F + + =
r
y S superficie
cerrada, limitada por
2 2
y x z + = y z = 4.


Como S es una superficie en
3
cerrada orientable y F
r
es un campo vectorial
derivable con continuidad en
3
D = , podemos aplicar el Teorema de Gauss: el flujo
de F
r
a travs de S con direccin normal exterior puede evaluarse resolviendo la
integral triple

V
dV F div
r

Carl Friedrich Gauss: Naci en Brunswick en 1777 y muri en Gotinga en 1855
(Alemania). Los trabajos de Gauss son muchsimos y han tenido y tienen una
influencia muy grande en la totalidad de las ramas de la Fsica y las Matemticas
(Teora de Nmeros, Geometra Diferencial, Astronoma, Estadstica, Magnetismo.).

u -
u
u
u
F
V

Teorema de Gauss
350














3 1 1 1 F div = + + =
r


Descripcin del slido limitado por S:

( ) ( ) { } 4 z y x ; R y x, / z , y , x V
2 2
xy
+

con ( ) { } 4 y x / y , x R
2 2
xy
+ =



=
V S
dV 3 S d n F
r
r


Pasando al clculo a coordenadas cilndricas:



=
2
0
2
0
4
r V
2
d dr dz r 3 dV 3

( )

= =
2
0
2
0
2
2
0
2
0
4
r
d dr r - 4 r 3 d dr z r 3 2

24 2 . 4 . 3 d
4
r
2r 3
2
0
2
0
2
2
= = =



24 S d n F
S
=

r
r


Advertencia!!: Si la propuesta hubiese sido:

Calcular


S
S d n F
r
r
; con S porcin de paraboloide
2 2
y x z + = , limitado por z = 4
no podramos aplicar la igualdad de Gauss. Por qu? La descripcin de S no
especifica superficie cerrada, el plano z = 4, lo nico que hace es acotarla. Luego, este
flujo debe calcularse por medio de la integral de superficie. Veamos qu resultado
arroja:
( ) y x y x, f z : S
2 2
+ = = con ( ) ( ) { } 4 y x / y , x R y x,
2 2
xy
+ =
2x,2y,-1 N =
r
(normal hacia afuera)
x
y
z
z = 4
u
u
u
Teorema de Gauss
351


( ) ( )k

y x j

y i

x S en evaluada F
2 2
+ + + =
r


( )
2 2 2 2 2 2
y x y x - 2y x 2 N F + = + + =
r r



+ =
xy
R
xy
2 2
S
dA y x S d n F
r
r


pasando a polares


8 d
4
r
d dr r . r
2
0
2
0
4 2
0
2
0
2
= =



Pregunta: Cul es flujo calculado a travs de la porcin de plano z = 4; limitado por
el paraboloide?.



Clculo del volumen de un slido por medio de una integral de flujo

Si el campo F
r
es tal que 1 F div =
r
( ) V vol S d n F
S
=

r
r
, vale decir, se podra
calcular el volumen de un slido, por medio de una integral de flujo Qu campo

puede ser?.

Hay mltiples campos con divergencia 1. Por ejemplo: k


3
z
j

3
y
i

3
x
F + + =
r

.

Tarea: Obtengan el volumen de la esfera de radio a, por medio de una integral de
flujo.



Ejercicio 1 Aplicando el teorema de Gauss, calculen el flujo hacia el exterior de F
r
a
travs de la frontera de V. Verifiquen previamente si las condiciones requeridas se
cumplen.

a) ( ) ( ) ( ) k

x y j

y - z i

x y F + + =
r
, siendo V el cubo limitado por los planos
1 x = ; 1 y = ; 1 z = .
b) k

z j

y i

x F
2 2 2
+ + =
r

i) V cubo del primer octante, limitado por los planos x = 1; y = 1; z = 1.
ii) V, slido limitado por 4 y x
2 2
+ ; z = 0, z = 1.
c) k

z 3 j

xz i

x F
2
+ + =
r
, V: esfera 4 z y x
2 2 2
+ + .
d) ( ) k

z j

y i

x z y x F
2 2 2
+ + + + =
r
, V: 2 z y x 1
2 2 2
+ + .
e) k

z j

y i

x F + + =
r
; V; slido limitado por
2 2
y x z + = y 4 z y x
2 2 2
= + + .

Teorema de Gauss
352

Ejercicio 2 Entre todos los slidos rectangulares definidos por las desigualdades:
a x 0 , b y 0 , 1 z 0 , encuentren aquel para el cual el flujo total de
( ) k

z 12 j

z 6y i

xy 4 x F
2
+ =
r
hacia el exterior, a travs de los seis lados, es
mximo. Qu valor tiene ese flujo mximo?

Ejercicio 3 Demuestren que el flujo hacia el exterior de un campo vectorial constante,
a travs de cualquier superficie cerrada a la que se aplica es teorema de Gauss, es
cero.

Ejercicio 4 a) Sea V porcin de esfera slida
2 2 2 2
a z y x + + que se encuentra en
el primer octante y sea ( )
2 2
z y f + + =
2
x ln z y, x, . Cmo evaluaran el flujo de
f
r
a travs de la frontera de V con direccin normal exterior? b) Sea S la porcin de
superficie esfrica
2 2 2 2
a z y x = + + que se encuentra en el primer octante cmo
calcularan dS n f
S
r
r

?


Interpretacin de la divergencia de un campo en un punto
o
P a partir del teorema
de Gauss:

Recurrimos, una vez ms, al campo de velocidades de un fluido ( ) z , y , x V
r
y sea
o
P un
punto en la corriente fluida. Qu significado tiene ( )
o
P V iv d
r
?
u
V
Po
V
r
S
r

Rodeamos a
o
P por medio de una pequea superficie esfrica
r
S , que limita la esfera
slida
r
V . Suponiendo que V
r
cumple las condiciones del teorema de Gauss, se tiene:


=
r r
V S
dV V div S d n V
r
r
r

con n
r
normal exterior a
r
S .

Por el teorema del valor medio, aplicado a la integral triple,
r
*
V P tal que:

( ) ( )
r
*
V
V vol . P V div dV V div
r
r r
=


Teorema de Gauss
353

Entonces:
( )
( )
r
S
*
V vol
S d n V
P V div
r


=
r
r
r


El segundo miembro representa el promedio entre el flujo a travs de
r
S en la
direccin normal exterior y el volumen del slido limitado por
r
S , es decir
r
V .
Recordemos que el flujo es la cantidad de fluido que se crea o consume por unidad de
tiempo en el interior de
r
S .
Luego, al analizar el comportamiento de estos promedios cuando 0 r (cuando
o
*
P P ), se tiene:
( )
( )
r
S
0 r
o
V vol
S d n V
lim P V div
r

r
r
r


resultando as que

La divergencia de V
r
en
o
P , representa el promedio lmite entre la cantidad de fluido
que se crea o consume, por unidad de tiempo y por unidad de volumen


Si ( ) 0 P V div
o
>
r
, se dice que en
o
P hay una fuente (se crea fluido).
Si ( ) 0 P V div
o
<
r
, se dice que en
o
P hay una desage (se consume fluido).


Observacin: El flujo -cantidad de fluido que pasa a travs de S por unidad de
tiempo-, se denomina caudal.


Clculo del flujo del campo F rot
r
a travs de una superficie cerrada

Tarea: Comprueben -aplicando la igualdad de Gauss- que 0 S d n F rot
S
=

r
r
, a travs
de toda superficie cerrada S. (Recuerden que ya habamos probado este resultado
aplicando la igualdad de Stokes)












Autoevaluaciones
354

Autoevaluacin (Superficies alabeadas)

1. Complete:

a) F(x, y, z) = 0 es la ecuacin de una superficie en
3
dada en forma . . . .

b) z = f ( x, y) es la ecuacin de una superficie en
3
dada en forma . . .

c) y = g( x, z) es la ecuacin de una superficie en
3
dada en forma . . .

d) x = h( y , z) es la ecuacin de una superficie en
3
dada en forma . . .


2. Cundo se dice que una superficie es suave ? Cmo expresa en general la
ecuacin de una superficie para que su campo de vectores normales tenga en la
tercera componente el valor 1? , y en la segunda componente 1 ? y en la primera
componente 1? D ejemplos de superficies suaves cuyo campo de vectores
normales cumplen las condiciones citadas antes.

3. Cmo calcula el rea de una porcin de superficie alabeada? Justifique.

4. Analice para cada una de las superficies siguientes si le conviene usar la
ecuacin de la superficie en forma vectorial paramtrica o en cartesianas
para calcular el rea de las mismas. Aclare por qu.

a) S: es la porcin de z = x
2
limitada por los planos y = 0, y = 5 , z = 4
b) S: es la porcin de z = x
2
+ y
2
limitada por el plano z = 4.
c) S: es la porcin de x + y + z= 1 en el primer octante.
d) S: es la esfera de ecuacin x
2
+ y
2
+ z
2
= 25
e) S: es la porcin de x
2
+ y
2
= 1 limitada por los planos z= 0 ; z = 4.

5. Calcule el rea de las superficies del ej 4)

6. De algn ejemplo de una superficie que no sea suave en todo punto.

7. Complete teniendo en cuenta la expresin ( )

=
R
dA N S rea
Si z = f(x,y) , R es la proyeccin de S sobre el plano
Si , R es la proyeccin de S sobre el plano yz
Si y= g(x,z) , R .de S sobre el plano ..












Autoevaluaciones
355

Autoevaluacin (Integral de superficie)

1. Cmo define

S
ds z y x f ) , , ( donde f es una funcin continua sobre una
superficie suave S ?

2. a) Indique como calcula la integral definida en el ejercicio 1 si S est dada en
forma vectorial paramtrica en funcin de u y v con u y v R
uv
.
b) Indique como calcula la integral definida en el ejercicio 1 si S est dada como una
funcin de x y z .
3. Qu resultado le da

S
ds ? Justifique.
4. Complete: Una generaliza la integral doble de
manera similar a la forma en que una integral curvilnea generaliza la integral...

5. Complete:

a) Si S est dada por z = f(x, y) donde (x,y) R
xy
entonces

S
ds z y x f ) , , ( =

xy
R
y x f y x f ....... ))........ , ( , , (
b) Si S est dada por x = h(y, z) donde (y,z) R
yz
entonces

S
ds z y x f ) , , ( =

yz
R
dA f ..... .....).... (.........
c) Si S est dada por y = g(x, z) donde (x,z) R
xz
entonces

S
ds z y x f ) , , ( = ..

d) Si S est dada por ) , ( v u r
r
donde (u,v) R
uv
entonces

S
ds z y x f ) , , ( = ..

6. Qu resultado le da

S
ds z y x f ) , , ( , donde f indica la densidad en cada
punto de una superficie delgada S ? Justifique.


7. Cules son las frmulas que le permiten calcular el centro de masa de una
superficie suave S? Qu debe conocer?

8. Si S = S
1
S
2
, S
1
y S
2
son superficies suaves
Cmo resuelve

S
ds z y x f ) , , ( ?





Autoevaluaciones
356

Autoevaluacin (Flujo a travs de una superficie)

1. Imagine el agua que fluye a travs de una red de pesca que se tiende en un arroyo.
Suponga que se desea medir la cantidad de agua que pasa por la red, es decir, el
volumen de fluido que cruza la superficie por unidad de tiempo. Qu nombre recibe
esta cantidad de agua?

2. Qu significa que una superficie sea orientable?

3. Qu interpretacin tiene

S
ds n F .
r
r
? Describa los elementos involucrados.

4. a) Indique como calcula la integral definida en el ejercicio 1 si S est dada en
forma vectorial paramtrica en funcin de u y v con u y v R
uv
.
b) Indique como calcula la integral definida en el ejercicio 1 si S est dada
como una funcin de y y z .

5. En qu caso el flujo que atraviesa una superficie es negativo? , positivo?

6. Si k c j b i a z y x F
r r r r
+ + = ) , , ( con a , b , c constantes , F
r
campo de
velocidades de un fluido y sea S la cara superior del cubo 0 x 1, 0 y 1 ,
0 z 1 . Calcule el flujo que atraviesa la superficie. Interprete el resultado obtenido.


7. Cmo calcula

S
ds n F .
r
r
si S es el cubo del ej. 6 orientado hacia el exterior?
8. Una carga elctrica q se coloca en el origen . El campo elctrico resultante
) (r E
r
r
en el punto con vector posicin r
r
est dado por

3
) (
r
r
q r E
r
r
r
r
= , 0 r
r
. (ley de Coulomb)
Encuentre el flujo E
r
hacia el exterior de la esfera de radio R con centro en el origen.




















Autoevaluaciones
357

Autoevaluacin (Teoremas de Stokes y Gauss)

1. El teorema de Green relaciona una integral doble sobre R con una . . . . . . . . .
En lenguaje coloquial la frmula de Green dice.

2. El teorema de Stokes relaciona una integral de superficie sobre S con una . . . .
En lenguaje coloquial la frmula de Stokes dice.

3. El teorema de Gauss relaciona una integral de superficie sobre S con una . . . .
En lenguaje coloquial la frmula de Gauss dice................................................

4. Qu propiedades debe cumplir la superficie S para poder aplicar el Teorema de
Stokes? y el campo F
r
? y la curva C?

5. Qu propiedades debe cumplir la superficie S para poder aplicar el Teorema de
Gauss? y el campo F
r
?

6. Suponga que se cumplen las hiptesis del teorema de Gauss para los siguientes
casos:
a) Si F div
r
es constante entonces el volumen del slido V encerrado por la
superficie S se puede calcular mediante (Escriba la
expresin)
b) Si F
r
es un campo vectorial constante entonces

S
ds n F .
r
r
=
7. Muestre que si 0 V rot
r r
= en D (regin simplemente conexa) entonces

B
A
ds T V
r r
. es
independiente del camino, siendo A y B dos puntos de D.
8. Muestre que si 0 F rot
r r
= en D simplemente conexa entonces la integral de F
r

sobre cualquier C cerrada es cero.

9. Interprete
a) ( )
0
P n F rot
r
r
usando teorema de Stokes
b) ( )
0
P F div
r
usando teorema de Gauss

10. Si una pequea rueda con paletas se coloca inmersa en un fluido centrada en un
punto P, girar ms rpido en torno de P si su eje tiene la direccin del . La
direccin de giro ser determinada por la regla de ..

11. Si S es una esfera orientada con normal exterior entonces muestre que

=
S
ds n ) F rot 0 ( .
r
r
usando
a) Teorema de Stokes b) Teorema de Gauss

12. Muestre que si S es una esfera orientada con normal exterior y F es un campo
vectorial constante entonces

=
S
ds n F 0 .
r
r

13. Muestre que los valores del flujo del F rot
r
a travs de dos superficies orientadas
de la misma forma y con la misma frontera coinciden.
Apndice: Variacin de curvas

358

Estudio de la variacin de curvas

Curvatura
Habamos mencionado que el vector tangente a una curva es el que describe la direccin
del movimiento, vale decir la direccin de la curva punto a punto.

Si la "curva" es una recta el vector tangente en cada punto es el vector unitario director de
la misma.








Cmo estudiar el cambio de direccin de una curva punto a punto?

Intuitivamente aceptamos que va a depender de la variacin - punto a punto - del vector
tangente. Como el vector tangente es unitario la nica variacin posible es su direccin.

Si suponemos que la curva suave definida por ) (t r r
r r
= admite derivada segunda
continua, podemos definir el vector curvatura :
ds
T d
r
r
= .

El vector curvatura es el que permite describir el cambio de direccin con respecto al
parmetro longitud de arco.

Cmo se calcula sin necesidad de formalizar el cambio de parmetro?
El mdulo del vector curvatura, es llamado simplemente curvatura ) ( ) ( t t
r
= y mide la
rapidez de cambio de la direccin de una curva en cada punto


) ( '
) ( '
) ( ) (
t r
t T
t k t
r
r
r
= = .

Ejercicios:
1. Comprobar que la curvatura en cada punto de una circunferencia de radio a, es = 1/a.
2. Calcular la curvatura en cada punto de una hlice circular.
3. Calcular la curvatura de una recta.

Observacin: en estas curvas, la curvatura es constante, eso significa que el cambio de
direccin en cada punto se produce con la misma rapidez.

Preguntas:
Cmo imagina un arco de curva en el que la curvatura es muy grande? Y uno en el que
la curvatura es pequea? Qu puede decir si la curvatura en cada punto de una curva es
nula?

dT dT dt T'(t)
= = =
d dt d
r'(t)
s s

ur ur ur
ur
r
T
ur

T
ur

T
ur

T
ur

T
ur

Apndice: Variacin de curvas

359

Direccin del vector curvatura
Siendo
ds
T d
r
r
= 0
r
y 1 = T
r
(constante),
ds
T d
r
r
= y T
r

son ortogonales
En efecto: como 1
2
= = T T T
r r r
se tiene
( ) 0 2 = = T
s d
T d
T T
ds
d
r
r
r r
y por lo tanto
0 = T
s d
T d
r
r
. Entonces
r
es ortogonal con T
r
. Observen adems que su sentido es
concordante con aquel en que se gira la curva.












El vector unitario con la direccin de es llamado vector normal principal



K
K
N r
r
v
=




A partir de estos dos vectores, puede definirse el vector binormal N T B
r r r
= (que
tambin es unitario). Se tiene as definida en cada punto de la curva una terna de
vectores ortonormales (ortogonales dos a dos y unitarios) {T
r
, N
r
, B
r
} que se conoce
como triedro de Frenet.










El estudio de la variacin de tales vectores, con respecto al arco, permite interpretar el
comportamiento de una curva, pero eso ya no forma parte del curso.


P
o
T
ur

ur
N
u r
B
ur

N
ur

T
ur

P
o
B
ur
T
ur

N
ur

1
T = T( ) - T( )
o
s s
ur ur ur

1
T( ) s
ur

T( )
o
s
ur

P
o
1 0
1
s
1 o
T( ) T( )
( ) = lim
-
o
o
s
s s
s
s s

ur ur
ur
ur ur
T( )
o
s
ur

P
o
Apndice: Variacin de curvas

360

Uso de MAPLE
Para encontrar los vectores tangente, normal y binormal a la curva t , sent , t cos ) t ( r =
r

para un valor de t cualquiera procedemos de la siguiente manera:

> with(VectorCalculus):
> T1(t):=TangentVector(<cos(t),sin(t),t>, t );
> N1(t):=PrincipalNormal(<cos(t),sin(t),t>, t );
> B1(t):=Binormal( <cos(t),sin(t),t>, t );

Para simplificar la expresin de B1(t) se puede agregar

> B1(t):=simplify(%);

Clculo de la norma de cada uno de los vectores T1, N1 y B1

> T2(t):= simplify (sqrt((-sin(t))^2 +(cos(t))^2+1));
> N2(t):= simplify (sqrt((sqrt(2)/2*cos(t))^2+(sqrt(2)/2*sin(t))^2));
> B2(t):= simplify (sqrt((1/2*sin(t))^2 +(-1/2*cos(t))^2 + (1/2)^2));

Clculo de los vectores unitarios T
r
, N
r
y B
r

> T(t):= T1(t)/T2(t);
> N(t):= N1(t)/N2(t);
> B(t):= B1(t)/B2(t);

Evaluacin de cada uno de los vectores en t = / 2

> v1= eval (T(t), t=Pi/2);
> v2= eval (N(t), t=Pi/2);
> v3= eval (B(t), t=Pi/2);

Grfica de la curva y de los vectores T
r
, N
r
y B
r
en el punto (0, 1, /2) de la curva.

> with(plots):
> fig1:=spacecurve([cos(t),sin(t),t],t=0..2*Pi, color = black,
thickness=2):


> a1 := arrow(<0,1,Pi/2>,<-(sqrt(2))/2,0,(sqrt(2))/2 >,
shape=arrow,width=[0.2,relative], color=red):
> a2 := arrow(<0,1,Pi/2>,<0,-1,0>, shape=arrow, width
=[0.2, relative], color=blue):
> a3 := arrow(<0,1,Pi/2>,< (sqrt(2))/2,0, (sqrt(2))/2>,
shape=arrow,width=[0.2, relative], color=green):
> display(fig1,a1, a2, a3,);


En el Taller Triedro de Frenet includo en el CD de Matemtica B podrn apreciar a travs de una
animacin cmo varan los vectores T
r
, N
r
y B
r
sobre una hlice circular.

Agradecimientos: A los Profesores Liliana Carboni, Viviana Costa, Rossana
Di Domenicantonio, Delicia Tisera, Diego Vallejo y a todos los docentes de Matemtica B
que con sus aportes contribuyen a mejorar las guas terico-prcticas de la materia.

S-ar putea să vă placă și