You are on page 1of 14

UNIVERSIDAD TECNOLÓGICA NACIONAL

Facultad Regional Concepción del Uruguay


ANÁLISIS MATEMÁTICO II
INGENIERÍA ELECTROMECÁNICA Y CIVIL

INTEGRAL DE LÍNEA

Introducción.
Leer como introducción: La perspectiva de la física, sección 7.8 de Calculo Vectorial –
Pita Ruiz: pp.771 a 774.

Integral de línea de un campo vectorial


Sea F : U  n  n , F  ( f1 , f 2 ,..., f n ) un campo vectorial continuo y C una curva regular
contenida en U, parametrizada por la función  :[a, b]  R n ,   (1 , 2 ,..., n ) se define
la integral de línea del campo F a lo largo de ( o sobre) la curva C como
b
 C
F  d    F[ (t )]   (t ) dt
a

Nótese entonces que para calcular la integral del campo F a lo largo de la curva C, eva-
luamos la función F en los puntos (imágenes) del camino, es decir en los puntos de la cur-
va; y hacemos el producto punto con el vector velocidad  (t ) del camino  (t ) .

Figura 1: La integral del campo F a lo largo de la curva (camino) [a, b] .

El resultado es una función real de la variable real t, que integramos entre a y b. Cuando el
camino es cerrado se suele usar la notación
 F[ (t )]  (t ) dt
C

Trabajaremos sobre todo campos en R2 o R3. Por ejemplo el campo F : U  R 2  R 2 lo


escribimos como F ( x, y)   f1 ( x, y), f 2 ( x, y)  y el camino  :[a, b]  R como
 (t )  ( x(t ), y(t )) de tal modo que la integral de F a lo largo de C se ve en este caso como
 f1 ( x(t ), y(t )) x(t )  f 2 ( x(t ), y(t )) y(t ) dt
b
 C
F  d   C
f1 ( x, y) dx  f 2 ( x, y) dy  
a
Análogamente escribiremos para el caso de un campo en R3 agregando la variable z.

-1-
Trabajo: Sea F : U  2
(o 3
) 2
(o 3
) un campo clase y C una curva regular a tro-
zos parametrizada por la función  :[a, b]  2
(o 3
) y cuya imagen está contenida en U,
el trabajo que hay que realizar para llevar un cuerpo del punto P   (a) al punto Q   (b)
por la curva C a través del campo F es igual al valor de la integral de línea del campo F
a lo largo del camino  . Es decir,
TPQ   F  d 
C

Ejemplo 1: Sea F : 2
 2
el campo F ( x, y)  ( x  y, y) y sea  :[0,1]  2
el camino
 (t )  (t , t ) . La integral de F a lo largo de  es
2

b
 C
F  d    F[ (t )]. (t ) dt
a

F d     f1 (t , t 2 ), f 2 (t , t 2 )  .(1, 2t ) dt
1
 C 0

F  d     t  t 2  2t 3  dt 
1 4
 C 0 3

Ejemplo 2: Consideremos el mismo campo del ejemplo anterior, F ( x, y)  ( x  y, y) y to-


memos la curva parametrizada por el camino  :[0, k 1 ]  2 dado por  (t )  (kt , k 2t 2 ) ,
donde k es un numero positivo. Obsérvese que este nuevo camino es una reparametrización
del camino  considerado en el ejemplo anterior. De hecho se tiene     , donde
 :[0,1]  [0,1] ,  (t )  kt . Calculemos la integral de F a lo largo de C parametrizado por
 . Esta es

 kt, k t    k , 2k t dt
k 1
 F  d   2 2 2
C 0

 F  d     k t  k t  2k t  dt  3
1/ k 4 2 3 2 4 3
C 0

Que es el mismo resultado obtenido en el ejemplo anterior. Esta es una propiedad general
de las integrales de línea que estudiaremos y que establece que una integral de línea es in-
variante por reparametrizaciones del camino sobre el que se integra el campo F

Ejemplo 3: Tomemos nuevamente el campo de los dos ejemplos anteriores


F ( x, y)  ( x  y, y) e integrémoslo ahora sobre la misma curva del ejemplo 1 pero recorri-
da en sentido inverso. Este es  (  ) :[0,1]  2
,  (  ) (t )  1  t , (1  t )2  . La integral de F a
lo largo de  (  ) es
F  d  (  )   [(1  t )  (1  t )2 ], (1  t )2   (1, 2(1  t )  dt  
1 4
 C 0 3

Nótese, que
 C
F  d  ()    F  d 
C
Esta es otra de las propiedades de las integrales de línea que ya hemos estudiado: la inte-
gral de línea de un campo F sobre la curva C recorrida en sentido inverso, es el negativo
de la integral de línea del campo F sobre C.

-2-
Ejemplo 4: Con el mismo campo F de los ejemplos anteriores, F ( x, y)  ( x  y, y) haga-
mos ahora la integral de línea de F a lo largo del camino  :[0,1]  2 ,  (t )  (t , t 3 ) . Se
tiene
1 5
 C F  d  0 (t  t , t ).(1,3t )dt  4
3 3 2

Préstese atención a los resultados obtenidos en el ejemplo anterior y en el ejemplo 1.


Obsérvese que los caminos  (t ) (del ejemplo 1) y  (t ) (del ejemplo 4) comparten su punto
inicial  (0)   (0)  (0,0) y su punto final  (1)   (1)  (1,1) . El camino  recorre el arco
de parábola y  x 2 ,0  x  1 y el camino  recorre el arco de parábola cúbica
y  x3 ,0  x  1 . Sin embargo, los resultados de las integrales son diferentes. Esto hace
suponer que el valor de la integral de línea de un campo F sobre un camino dado, no de-
pende solamente de los puntos inicial y final del camino. Por el momento queremos sem-
brar la inquietud al respecto con el siguiente par de ejemplos.

Ejemplo 5: Consideremos el campo F : 2


 (0,0  2
dado por
 y x 
F ( x, y )   2 , 2 2 
x y x y 
2

Y sea k el camino k :[0, k ]  2 ,  (t )   r cos t , r sen t  , donde 0  k  2 . En forma


geométrica, la curva que describe  es un arco de la circunferencia x 2  y 2  r 2 con ángu-
lo central k .
Se quiere calcular la integral del campo F sobre el arco dado. Se tiene
k
  r sen t r cos t  k
 C F  d k  0  r 2 , r 2    r sen t , r cos t  dt  0 dt  k
Un hecho interesante: el resultado no depende de r. Esto significa que la integral de línea
del campo F resulta ser invariante por “ampliación o reducción” del círculo, con centro en
el origen sobre el cual se está integrando.

Ejemplos 6: Consideremos ahora el campo F : 2


 2
, F ( x, y)   x  y 2 , 2 xy  y haga-
mos la integral de línea de este campo sobre el camino del ejemplo 1,  :[0,1]  2
,
 (t )  (t , t ) . Se tiene
2

F  d    F[ (t )]. (t )dt    t  t 4 , 2(t )(t 2 )  1, 2t  dt 


1 1 3
 C 0 0 2

Ejemplo 7: Con el mismo campo del ejemplo anterior F ( x, y)   x  y 2 , 2 xy  , hagamos la


integral de línea sobre el camino del ejemplo 4,  :[0,1]  , (t )  (t , t 3 ) . Se tiene
2

0 t  t , 2(t )(t ) 1,3t  dt  2


1 3
C    6 3 2
F d

Nuevamente prestemos la atención al hecho de que en este par de ejemplos se obtuvo el


mismo resultado al integrar el campo F con dos caminos distintos que comparten su punto
inicial y su punto final. La pregunta previa al ejemplo 5 sigue en el aire: ¿La integral de

-3-
línea de un campo F sobre un camino  :[a, b]  2
depende solamente de los puntos
inicial  (a) y final  (b) del camino  (como en el caso de los ejemplos 5 y 6), o depende
también de la función misma que define al camino (como en el caso de los ejemplos 1 y
4)? Este es uno de los temas centrales a tratar más adelante.

Después de estos ejemplos, en los que se ha calculado algunas integrales de línea y anun-
ciado ya algunas de las propiedades de éstas, estudiaremos de modo formal dichas propie-
dades.

Propiedades de la integral de línea


Sean F , G : U  n  n dos campos vectoriales continuos y  :[ a, b]  R n un camino
de clase C 1 tal que  ([a, b])  U , entonces se tiene que
1)   F  kG  d    Fd   k  Gd 
2) si  (t ) es una reparametrización de  (t )
a)  F  d    F  d  si  conserva la orientación de 
b)  F  d    F  d  si  invierte la orientación de 
 

3) Si      , entonces  F  d    F  d    F  d 
1 2 1 2
  1  2

Ya que las integrales de línea se calculan en términos de integrales “simples” de funciones


reales de variable real, era de esperarse que la propiedad de linealidad de estas últimas se
herede también a las integrales de línea
La propiedad 3 nos permite definir la integral de un campo F sobre un camino  seccio-
nalmente C 1 . En este caso podemos escribir   1  2  ...  k donde i es un camino de
clase C 1 , u  1, 2,..., k . Entonces definimos la integral de F a lo largo de  como
k

 F  d     F  d i
i
i 1
Por otra parte, una consecuencia muy importante de la propiedad 1 es que para calcular una
integral de línea de un campo F sobre un camino  es suficiente con tener la información
de la traza del camino para poder calcular la integral.

Ejemplos: Ver ejemplos 8 a 13 pàg. 696 a 699 Cálcul Vectorial - Pita Ruiz

Independencia del camino, campos conservativos y funciones potenciales


Recordemos que un campo vectorial F es un campo gradiente si F  f para alguna fun-
ción f con valores reales. Si un campo vectorial f es el gradiente de un campo escalar  ,
entonces  se llama función potencial para f. En el espacio de tres dimensiones, los con-
juntos de nivel de  se llaman superficies equipotenciales; en dos dimensiones se llaman
líneas equipotenciales. Si  representa la temperatura la palabra equipotencial se reempla-
za por isoterma; si  representa la presión se emplea la palabra isobara. Los campos gra-

-4-
dientes son importantes en problemas físicos. Usualmente V   f representa un potencial
de energía (gravitacional, eléctrico, y así sucesivamente) y F representa una fuerza.
Examinemos primeramente la integral de línea  Fd  suponiendo que se sabe que

b
F  f . En el caso unidimensional si se sabe que f   g , entonces a
g (t )dt 
f (b)  f (a) . En el caso mas general como f representa la derivada de f podemos pre-
guntarnos si  f d  esta determinada completamente por el valor de f en los extremos
 (a) y  (b) . La respuesta esta contenida en la siguiente generalización del teorema fun-
damental del calculo:

Teoremal: Sea  : U  n  una función escalar dos veces continuamente diferencia-


ble definida en el conjunto abierto y conexo U, entonces para dos puntos cualesquiera
A   (a) y B   (b) unidos por un camino regular a trozos  :[a, b]  n situado en U es
 Fd    d    (b)   (a)
Este teorema establece que la integral de línea entre dos puntos A y B del dominio de un
campo vectorial F es independiente de la trayectoria  que une esos puntos si F es un
campo gradiente. El resultado es algo sorprendente, sin embargo, la demostración es inme-
diata dependiendo solo de la regla de la cadena para funciones escalares
Por definición
b
 Fd     d    [ (t )] (t ) dt
 a
Pero si
g (t )  [ (t )]

entonces
g (t )   ( (t )) (t )
y
b b
a
[ (t )] (t ) dt   g (t )dt  g (b)  g (a)   ( B)   ( A)
a

Para el caso de una curva lisa por trozos únicamente es necesario dividir el intervalo [a, b]
y aplicar el resultado anterior a cada uno de los subintervalos resultantes.
Como consecuencia de este teorema vemos que la integral de línea de un campo gradiente
es independiente del camino en cualquier conjunto conexo U en el que el gradiente sea
continuo. Para un camino cerrado tenemos A  B , así que  ( B)   ( A)  0 . Dicho de otro
modo, la integral de línea de un gradiente continuo es cero a lo largo de todo camino cerra-
do regular a trozos situado en S.
Si el campo gradiente F se interpreta como un campo de fuerza, entonces se dice que este
campo de fuerzas es conservativo Esta terminología resulta de las siguientes consideracio-
nes. Primero si F es cualquier campo de fuerza, entonces el trabajo efectuado por F al mo-
ver una partícula sobre la curva  desde A   (a) hasta B   (b) , ya hemos visto que se
define como  Fd  . Sin embargo por la segunda ley de Newton, si X   (t ) y m es la
masa de la partícula
b b b
 Fd    F[ (t )] (t )dt   m (t ). (t )dt  m  (t ). (t ) dt
a a a
Si se observa que

-5-
 
2  (t ). (t ) 
d
dt
  d
 (t ). (t )  v 2 (t )
dt
Donde v(t )   (t ) , entonces

  v (t )   v 2 (b)  v 2 (a) 
m bd 2 m
b
m  (t ). (t ) dt  
a 2 dt
a 2
1 2
La cantidad mv (t ) se llama energía cinética de la particular en el punto X   (t ) . Por
2
1
consiguiente m(v 2 (b)  v 2 (a)) representa el cambio de la energía cinética de la partícula
2
que se mueve sobre la curva  desde  (a) hasta  (b) .
Sin embargo, si F es un campo gradiente y F  f , entonces
 Fd    f d   f ( A)  f (B)
La función f se llama energía potencial de la partícula. Obsérvese que esta función deter-
minada salvo por una constante aditiva. Si se igualan las dos expresiones para  Fd  , se

tiene
1
f ( A)  f ( B)  m(v 2 (b)  v 2 (a))
2
O
1 1
f ( A)  mv 2 (a)  f ( B)  mv 2 (b)
2 2
Por consiguiente se conserva la suma de las energías cinéticas y potencial. El campo de
fuerza en consecuencia se llama campo conservativo. Nótese que f se escoge de manera
que f  F para establecer que se conserva la suma, y no la diferencia, de las energías
cinética y potencial. Si A se mantiene fijo y se hace variar X en el conjunto S la ecuación
anterior nos dice que la suma de la energía cinética y potencial es constante. En Mecánica
esto se llama principio de conservación de la energía (mecánica). Un campo de fuerzas con
una función potencial se llama conservativo porque la energía total, cinética mas potencial
, se conserva. En un campo conservativo, no se realiza trabajo alguno al mover una partícu-
la alrededor de una curva cerrada volviendo al punto de partida. Un campo de fuerzas no es
conservativo si existe fricción o viscosidad en el sistema, puesto que estas tienden a con-
vertir energía mecánica en energía calorífica
Establezcamos un resultado importante de esta unidad.

Teorema: Sea F : U  Rn  Rn un campo de clase C k (k  0) definido en el conjunto


abierto U de R n . Las afirmaciones siguientes son equivalentes:
1) F es el campo gradiente de una función f : U  Rn  R de clase C k 1
2) La integral  F  d  del campo F a lo largo de cualquier camino  :[a, b]  R n sec-
cionalmente C 1 , depende solamente del punto inicial  (a) y final  (b) del camino  .
3) La integral  F  d  del campo F a lo largo de cualquier camino  :[a, b]  R n cerra-
do seccionalmente C 1 , es igual a cero.

Demostración: Se probará 1 2  3  2  1

-6-
1 2 Supongamos que F  f . Por la generalización del Teorema fundamental se tiene

Fd    f d    f [ (t )] (t ) dt   f    (t )  dt  f (b)  f (a)


b b
  a a

Para el caso de una curva lisa por trozos únicamente es necesario dividir el intervalo [a, b]
y aplicar el resultado anterior a cada uno de los subintervalos resultantes.

2  3 Sea  :[a, b]  n un camino simple cerrado de clase C 1 , podemos escribir el ca-


mino  como   1  2 . Nótese que los caminos 1 y 2 tienen los mismos extremos,
de modo que según 2, las integrales de línea del campo F sobre estos dos caminos valen lo
mismo. Se tiene entonces que
 Fd    Fd 1   Fd 2   Fd 1   Fd (2 )  0
 1 2 1  2

3  2 Supongamos que 1 y 2 son dos caminos seccionalmente continuos C 1 que com-


parten su punto inicial y su punto final. Entonces el camino   1  (2 ) es un camino
cerrado seccionalmente C 1 . Se tiene, con 3) que
0    Fd    F d 1   F d (2 )   F d 1   F d 2
1  2 1 2

De donde
 F d    F d 
1
1
2
2

Es decir, la integral es independiente del camino de integración

2  1 Esta es la parte más delicada de la demostración. Tendremos que usar algunos


hechos técnicos sobre subconjuntos de n , los cuales dejaremos para su comentario al
final de este teorema.
Fijemos primeramente un punto P U . Para cualquier otro punto X U , consideremos el
camino x cuyo punto inicial esté en P y su punto final en X, y tal que su imagen quede
contenida completamente en U ( quién asegura que este camino existe?). Definamos la
función f : U  n  dada por
f ( X )   Fd x
x

Nótese que esta función está bien definida, pues suponemos que el valor de la integral (es
decir, el valor de f ( X ) , depende solamente de los extremos del camino x que son el pun-
to P que está fijo y el punto X. La idea será ahora demostrar que si F   F1 , F2 ,..., Fn  en-
tonces Fi  f / xi con i  1, 2,..., n en cada punto X U . Se tiene
f f ( X  hei )  f ( X )
 lím
xi h  0 h
n
Donde ei es el i-ésimo vector de la base canónica de . Siendo U un conjunto abierto de
n
, para el punto X U existe una Bx con centro en X y radio   0 tal que Bx  U .

-7-
Tomando entonces h suficientemente pequeño, podemos asegurar que X  hei es un ele-
mento de la bola Bx y por lo tanto de U.
Obsérvese que
f ( X  hei )   Fd x  hei
xhei

Donde x  hei es un camino que une el punto P con el punto X  hei . Este camino se puede
considere como la que suma del camino x , que une el punto P con X y un camino
 x , x  hei que une al punto X con el punto X  hei . Entonces, nos queda que
f ( X  hei )  f ( X )   Fd x  hei   Fd x
xhei x

  Fd x   Fd  x , x  hei   Fd 
x  x , xhei x

 Fd  x , x  hei
 x , xhei

Por las propiedades que tienen las bolas en n (si dos puntos pertenecen a una bola, el
segmento de recta que los une también pertenece a la bola; propiedad conocida como con-
vexidad), podemos tomar el camino  x, x hei :[0, h]  n , x, x hei (t )  x  tei . Entonces

 x , xhei
Fd  x, x  hei  
 x , xhei
F[ x, x  hei (t )]   x, x hei (t )dt
Nótese que  x, x  hei (t )  ei , de modo que el integrando que aparece en la última integral de
la expresión anterior se convierte en Fi [x, x hei (t )]  Fi [ X  tei ] , por lo que
h
f ( X  hei )  f ( X )   Fi ( X  tei )dt
0
y entonces dividiendo por h y haciéndolo tender a cero se tiene
f 1 h
 lím  Fi ( X  tei ) dt
xi h0 h 0
Ahora bien, si consideramos la función integral  ( s) dad por
s
 ( s)   Fi ( X  tei )dt
0
Y hallamos su derivada en s  0 , nos queda
 (h)   (0) 1
 (0)  lím  lím  (h)
h 0 h h  0 h
Pero según el teorema fundamental del cálculo integral
 (s)  Fi ( X  sei )
Y
 (0)  Fi ( X )
Es decir f / xi  Fi ( X )

Así pues se ha probado que un campo conservativo se caracteriza por la existencia de una
función potencial, o bien, de modo equivalente, por el hecho de que la integral del campo a
lo largo de una camino dependa sólo de los extremos de este último, o bien, por que la in-
tegral del campo sobre cualquier camino cerrado sea cero.

-8-
Téngase presente que las funciones potenciales de un campo conservativo no son únicas,
pero, como es de esperarse, si f y g son dos funciones potenciales de un mismo campo F
entonces éstas difieren en una constante.

Si volvemos al ejemplo 5 de página 3, podemos ver que se cumple la condición de la


igualdad de las derivadas parciales establecida en el teorema anterior, pero se vio ya que
este campo no es conservativo, pues la integral de F a lo largo del camino cerrado simple
 :[0, 2 ]  2  (0,0) ,  (t )   r cos t , r sen t  es igual a 2  0 , entonces por la parte c
del teorema se concluye que no puede ser conservativo.

Un hecho sobre el que llamamos la atención es que la propiedad del campo F de ser con-
servativo, es una propiedad global: se pide que haya una función f definida donde está de-
finido F, y que en todo U se tenga que F es el campo gradiente de f . Por otra parte, la pro-
piedad establecida en el teorema que está expresada en términos de las derivadas parciales
de las funciones coordenadas de F, es una propiedad local: tales derivadas parciales esta-
blecen un comportamiento determinado del campo F en los alrededores del punto en que
ocurre la igualdad de las derivadas parciales. No es extraño pues entonces, que estas dos
propiedades no sean equivalentes. Lo que sí podemos esperar que acontezca, en base a la
observación hecha, es que la propiedad establecida en el teorema garantice localmente que
el campo F es conservativo.

Algunas observaciones importantes acerca de la demostración del teorema anterior. Nótese


primeramente que el éxito de la demostración está basado en que se exhibió (una manera
de probar la existencia en matemáticas) una función potencial para el campo F, pues con
esto probamos que F es conservativo. La función potencial f exhibida en la demostración
es una función que en el punto X se definió como la integral de línea del campo F a lo
largo del camino 

Ejemplos: Ver ejemplos 1 a 9 pág. 707 a 709 Cálculo Vectorial - Pita Ruiz

Aunque el teorema visto anteriormente nos presenta la equivalencia entre varias condicio-
nes para que un campo sea conservativo, éstas no son muy prácticas para decidir cuando sí
es conservativo el campo.
Por ejemplo, no podemos verificar en la práctica que la integral del campo F a lo largo de
todo camino cerrado simple sea cero. Ciertamente tal teorema nos ayuda a decidir cuando
un campo F no es conservativo: basta con hallar un campo cerrado simple sobre el que la
integral de F no sea cero, o bien, dos caminos con los mismos extremos sobre los que las
integrales de F tengan distintos valores.

La siguiente propiedad da otro criterio para determinar cuando un campo vectorial f no es


un gradiente. Este criterio es muy util en la practica porque no exige integración alguna.

Propiedad: Sea F : U  Rn  R n , F  ( f1 , f 2 ,..., f n ) un campo de clase C k (k  1) definido


en el abierto convexo U de R n . Una condición necesaria y suficiente para que el campo F
sea conservativo es que
fi (x) f j (x)

x j xi

-9-
para todo x U , 1  i  j  n .

Demostración:
Si F es un gradiente, F   para una cierta funcion potencial  . Esto significa que

fj 
x j
Para cada j  1, 2,..., n . Derivando ambos miembros de esta igualdad respecto a xi , encon-
tramos
f j  2

xi xi x j
Del mismo modo, tenemos
fi  2

x j x j xi
f j
f i
Puesto que las derivadas y
son continuas en S, las dos derivadas parciales mixtas
xi x j
deber ser iguales en S. Esto demuestra la propiedad.

Observación: Se dice que el conjunto U de R n es convexo, si dados dos puntos cualesquie-


ra x1 , x2 U el segmento de recta que los une [x1 , x2 ] queda contenido en U.

Metodos especiales para construir funciones potenciales


Ver Cálculus – Tom Apostol – pág. 417

Integrales de línea respecto a la longitud de arco


Hasta ahora hemos visto integrales de campos vectoriales a lo largo de caminos en el espa-
cio. Ahora estudiaremos integrales sobre caminos (las regiones de integración son las mis-
mas) de funciones reales definidas en (algún subconjunto de) R n .

Ejemplo: (La masa total de un alambre) Pensemos en un alambre l, en el plano o en el es-


pacio, del cual conocemos su densidad lineal (en gr/cm) en cada punto, por la función
 : l  R que asocia a cada punto P  l , el número real  ( P) igual a la densidad lineal
del alambre en P.
Supongamos que el alambre l es la imagen de un camino (regular, de clase C 1 , simple)
 :[a, b]  R2o R3 . Se quiere entonces calcular la masa total de l.
Tomemos una partición P del intervalo [a,b] como sigue
a  t0  t1  t2  ...  tn1  tn  b
A esta partición corresponde una partición en l, digamos
P0  P1  P2  ...  Pn1  Pn
en donde Pi   (ti )  l , i  0,1, 2,.., n . En cada subintervalo [ti 1 , ti ] de la partición de [a, b]
tomemos un punto arbitrario  i . A ese punto i [ti 1 , ti ] le corresponde el punto
 (i )  l el cual se encuentra entre Pi 1 y Pi .

- 10 -
La masa del alambre entre los puntos Pi 1 y Pi es aproximadamente igual a la densidad del
alambre en  (i ) multiplicada por la longitud del alambre entre esos dos puntos. Es decir
ti
M i   ( (i ))   (t ) dt
ti1

Según el teorema del valor medio para integrales podemos escribir


M i   ( (i ))  (i ) (ti  ti 1 )
de modo que la masa total del alambre se puede escribir como
n n
M l   M i    ( (i ))  (i ) (ti  ti 1 )
i 1 i 1
Esta es una expresión típica de sumas de Riemann para la función
 :[a, b]  R, (t )   ( (t ))  (t )
cuyo paso al límite cuando n tiende a infinito y la norma de la partición P tiende a cero, nos
da el valor exacto de la masa que estamos procurando. O sea
n

  ( ( ))  ( ) t  
b
M l  lím i i i  ( (t ))  (t ) dt
n  a
P 0 i 1

Definición: Sea f : U  Rn  R una función real continua definida en el abierto U de R n


y sea  :[a, b]  R n un camino de clase C 1 de modo que  ([a, b])  U . Se define la inte-
gral de línea con respecto a la longitud de arco de la función f a lo largo del camino  ( o
sobre el camino  denotado por  f ds , como

b
 f ds   a
f ( (t ))  (t ) dt

La definición anterior sirve para caminos  que son seccionalmente C 1 . En este caso po-
demos escribir   1  2  3  ...  k , donde cada uno de los caminos i es de clase C 1
y entonces
k

 f ds    f ds
i
i 1

Ejemplos: Ver Ejemplos 3 y 5 Cálculo Vectorial – Pita Ruiz pag. 757

- 11 -
Al igual que las integrales de línea de campos vectoriales, estas nuevas integrales tienen la
propiedad de linealidad.
Si f , g : U  R n  R son dos funciones continuas definidas en el abierto U de R n y
 :[ a, b]  R n es un camino seccionalmente C 1 entonces
 ( f  k g ) ds   f ds  k  g ds
donde k R .
También se cumple la propiedad de invariancia por reparametrización del camino de la
integral de línea respecto de la longitud de arco de la función f.

Aplicaciones
1) Masa de un alambre con densidad lineal  ( x, y)

M    ( x, y)ds

2) Momentos estáticos con respecto a los ejes x e y (alambre plano)
S x   y  ( x, y) ds ; S y   x  ( x, y) ds
 
3) Centro de masa de un alambre plano

Sy Sx
x ; y
M M

Para el caso de un alambre alabeado, las fórmulas para masa, momento estáticos y centros
de masa son análogas a las anteriores.

Teorema de Green
Este teorema presenta uno de los resultados clásicos del cálculo en R n el cual relaciona
integrales de línea con integrales dobles.
Sea  :[a, b]  R 2 un camino cerrado simple, llamaremos a la traza de este camino. “cur-
va cerrada simple” en R 2 y lo denotaremos con C. Imaginemos a la curva C dibujada en
el plano xy, visto en R 3 como el plano z  0 e imaginémonos caminando sobre la curva C
de manera que nuestra cabeza esté en la parte positiva del eje z. Diremos que C tiene orien-
tación positiva, la cual indicaremos con C  , si en nuestro recorrido siempre vemos al con-
junto U, interior a C, a nuestra izquierda.
Consideremos ahora una curva cerrada simple C en R 2 así como un conjunto de curvas
cerradas simples C1 , C2 ,..., Ck en R 2 tales que
a) Ci se encuentra en el interior de C, para toda i.
b) Ci  C j   para todo i  j
c) Ci se encuentra en el exterior de C j , para i  j
Al subconjunto S formado por los puntos ( x, y)  R 2 que se encuentran en el interior de C
y en el exterior de cada una de las Ci junto con los puntos de las curvas C, C1 , C2 ,..., Ck se
llama región compacta en R 2 . La frontera de la región compacta S, denotada por S es
(por definición) el conjunto de curvas C, C1 , C2 ,..., Ck que la constituyen. Diremos que la

- 12 -
frontera S de la región compacta S está positivamente orientada (S  ) , cuando al reco-
rrer las curvas C, C1 , C2 ,..., Ck de su frontera la región S se mantiene siempre a la izquierda.

Teorema: Sea F : U  R2  R2 , F  (M ( x, y), N ( x, y)) un campo de clase C 1 definido en


el abierto U de R 2 . Sea S  U una región compacta con su frontera S  positivamente
orientada. Entonces
 N M 
S  F d   S  x  y  dxdy
donde  es un camino seccionalmente C 1 cuya traza es S  .

Ejemplos: Ver ejemplos 1 a 3 pag. 785 , Cálculo Vectorial - Pita Ruiz

Cálculo de Áreas mediante integrales de línea


Veamos como se puede usar el Teorema de Green para calcular Áreas de figuras en el pla-
no, digamos, el área de una región compacta S en R 2 .
Sea  :[a, b]  R2 ,  (t )  ( x(t ), y(t )) un camino seccionalmente C 1 que parametriza la
frontera de S recorrida positivamente. Tomando por ejemplo el campo F : R 2  R 2 ,
F ( x, y)  (M ( x, y), N ( x, y))  (0, x) para el cual
M N
0 y 1
y x
se obtiene según el teorema de Green
 N M 
S  F d   S  x  y  ds  S dxdy  Area de S
de modo que (haciendo explícita la integral de línea)
b
Area de S   
F d    x(t ) y(t ) dt
S a
De manera análoga, podemos considerar el campo F ( x, y)  ( y,0) para el cual se tiene
nuevamente aplicando el teorema de Green,
 N M 
S  F d   S  x  y  ds  S dxdy  Area de S
de donde

- 13 -
b
Area de S   
F d     y (t ) x(t ) dt
S a
Aún más, tomando el campo F ( x, y)  ( y, x) llegamos a
 N M 
S 
F d    
S
  ds  S 2dxdy  2(Area de S )
 x y 
de donde
1 b
Area de S    x(t ) y(t )  y(t ) x(t ) dt
2 a

F d 
S

Lectura complementaria:
Se debe leer como lectura complementaria a la presente guía de estudi, del Libro Cálcu-
lus - Tomo II de Tom Apostol, el siguiente material:

3) Teorema de Green en el plano - Pág. 462 -467


4) Algunas aplicaciones del Teorema de Green - Pag.467-468
5) Teorema de Green para regiones múltiplemente conexas - Pág. 473

- 14 -

You might also like