Вы находитесь на странице: 1из 79

UNIVERSIDAD NACIONAL DEL ALTIPLANO

FACULTAD DE INGENIER

IA CIVIL Y
ARQUITECTURA
ESCUELA PROFESIONAL DE CIENCIAS F

ISICO MATEM

ATICAS
Analisis Vectorial 2008-I
Lic: Felipe Cl

maco Ccolque Taipe


Per u - Puno agosto del 2008

Indice general
1. Integrales de Lnea 2
1.1. Curvas en el Espacio . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Campos Vectoriales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Integrales de Lnea . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4. Campos Conservativos y Funciones Potenciales . . . . . . . . . . . . . 26
1.5. Integrales de Lnea respecto a la Longitud de Arco . . . . . . . . . . . 41
1.6. La Perspectiva de la Fsica . . . . . . . . . . . . . . . . . . . . . . . . 57
1.7. Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
1
Captulo 1
Integrales de Lnea
Competencia 1.- Estudia integrales de Lnea. Interpreta, analiza y re-
suelve problemas de integrales de lnea con responsabilidad, eciencia y honestidad.
Capacidad.- Estudia integrales de lnea, revisando curvas en el espacio y
campos vectoriales; estudiando integrales de lnea, campos conservativos, funciones
potenciales, integrales de lnea respecto a la longitud de arco y analizando el teorema
de Green.
INTRODUCCI

ON.- En esta parte se realizara generalizaci on del concepto de


integral estudiado en el curso de calculo integral.
Las regiones sobre las que se efectuaran las integrales que estudiaremos seran
curvas en el espacio.
Los problemas relacionados con el calculo del trabajo realizado por una fuerza
para llevar un punto de un lugar a otro, siguiendo una trayectoria determinada en
el espacio, as como los problemas relacionados con el calculo de masa total y los
momentos de un cuerpo unidimensional que tine la forma de una curva en el
espacio, cuya funcion conocida le da la densidad (lineal) del cuerpo en cada punto,
son problemas que llevan al planteamiento de integrales de lnea. Aqu tambien se
estudiara el teorema de Green.
1.1. Curvas en el Espacio
En esta seccion recordaremos algunos hechos sobre curvas y que aplicaremos en
el transcurso del presente captulo.
Una funcion : I IR
n
continua, denida en el intervalo I de IR, se llama
CAMINO (o trayectoria) en IR
n
.
Siendo un camino : I IR
n
una funcion que toma valores en IR
n
, podemos
escribir, para cada t I, su imagen (t) como (t) = (
1
(t),
2
(t), . . . ,
n
(t))
2
donde
i
: I IR son las funciones coordenadas de , i = 1, 2, . . . , n.
Escribimos tambien al camino : I IR
n
como = (
1
,
2
, . . . ,
n
).
Al conjunto (I) IR
n
se le llama TRAZA del camino
(lo llamaremos tambien CURVA )
Si I = [a, b], diremos que (a) IR
n
es el PUNTO INICIAL del camino , y que
(b) IR
n
es su PUNTO FINAL. Si ((a) = (b), diremos que es un CAMINO
CERRADO.
Si es una funcion inyectiva, diremos que es un CAMINO SIMPLE. Geometri-
camente esto signica que la curva ([a, b]) IR
n
no tiene autointersecciones
(Hecho curioso: Un camino que es cerrado no puede ser simple seg un la deni-
cion dada; sin embargo, existen caminos cerrados simples, pero estos requieren
una denicion adicional).
Si (a) = (b) y la restriccion de al intervalo [a, b > es inyectiva, diremos
que es un CAMINO CERRADO SIMPLE.
EJEMPLOS: Si : [a, b] IR es una funcion real continua denida en el intervalo
[a, b], el camino : [a, b] IR
2
dado por (t) = (t, (t)) es un camino simple, pero
no cerrado.
El camino : [, ] IR
2
dado por (t) = (sent, sen2t) es cerrado, pero no
es un camino cerrado simple ya que la restriccion de al intervalo [, >
no es inyectiva siendo () = (0) = (0, 0).
El camino : [0, 2] IR
2
dado por (t) = (cos t, sent) es cerrado simple.
Consideremos el camino : I IR
n
, luego se puede escribir (t) = (x
1
(t), x
2
(t), . . . , x
n
(t)),
donde los x
j
(t) son funciones reales denidas en el intervalo I.
Decimos que el camino es DIFERENCIABLE en t si existe la derivada

(t), la cual
se dene como el vector

(t) = (x

1
(t), x

2
(t), . . . , x

n
(t)) en IR
n
.
En otra palabras, es un camino diferenciable si cada una de sus funciones co-
ordenadas es diferenciable. En tal caso al vector

(t) se le llama VECTOR VELOCIDAD


del camino en t, el cual es un vector tangente a la curva (I) en el punto (t).
Se dice que el camino diferenciable : I IR
n
es REGULAR si

(t) = 0 para todo


t I.
La propiedad de regularidad nos garantiza que el recorrido de las imagenes del
camino : [a, b] IR
n
, que comienza con (a) y termina en (b), no sufren deten-
ciones.
En este captulo seguiremos trabajando con caminos regulares y, cuando se diga
camino, signicara camino regular.
El principal interes sera considerar caminos de clase C
1
. Esto signica que la funcion
3
es diferenciable y tiene derivada

continua.
Se consideraran tambien caminos por secci on (o seccionalmente) C
1
; es decir,
caminos diferenciables : I IR
n
si se da una particion P del intervalo I en k
subintervalos I
1
, I
2
, . . . , I
k
entonces restringida a cada uno de estos subintervalos
es de clase C
1
.
Recordemos el concepto de reparametrizaci on de un camino. Sea : I IR
n
un camino en IR
n
y : J IR I una funcion de clase C
1
sobreyectiva tal que

(s) = 0 para todo s J. Al camino compuesto



= : J IR
n
se le llama
REPARAMETRIZACI

ON del camino . Mas a un, si

(s) > 0 para todo s J, decimos


que

es una reparametrizacion de que CONSERVA la orientacion, mientras que si

(s) < 0 para todo s J, se dice que



es una reparametrizacion de que INVIERTE
la orientacion. En el primer caso los caminos y

tienen sus puntos inicial y nal
IGUALES (y recorren la traza com un a ambos en IR
n
en la misma direccion), en tanto
que en el segundo caso el punto inicial de es el punto nal de

y el punto nal de
es el punto inicial de

(por lo que

recorre la traza com un a ambos en direccion
contraria a ).
Si : [a, b] IR
n
es un camino en IR
n
, se puede componer con una funcion
lineal sobreyectiva : [a, b] [a, b] dada por (t) = a + b t y obtener as una
reparametrizacion de , a saber,

= : [a, b] IR
n
,

(t) = (a + b t).
Se observa que: punto inicial de , (a) =

(b), es el punto nal de

; y el punto
nal de , (b) =

(a), es el punto inicial de

. De hecho, se puede ver que el camino

recorre la misma curva que pues ([a, b]) =



([a, b]) con la misma rapidez- mag-
nitud de la velocidad

(t) =

(a+bt)(1) =

(a+bt) - pero en sentido


contrario.
Escribiremos =

y lo llamaremos CAMINO INVERSO de .
Dado un camino : [a, b] IR
n
, diremos que este es SUMA de los caminos
1
y

2
, lo cual se escribira =
1
+
2
si existe una c [a, b] tal que la restriccion de
a [a, c] coincide con
1
y la restriccion de a [c, b] coincide con
2
.
Recprocamente, con los dos caminos
1
: [a, c] IR
n
y
2
: [c, d] IR
n
tales que

1
(c) =
2
(c), podemos formar el camino SUMA =
1
+
2
: [a, b] IR
n
denido
como
(t) =
_

1
(t) si t [a, c]

2
(t) si t [c, b]
En un contexto mas general, con los dos caminos
1
y
2
, podemos formar el camino
suma
1
+
2
con la

UNICA CONDICI

ON de que el punto nal de


1
coincida con el punto
inicial de
2
. Es decir que si
1
esta denido en [a, ] y
2
esta denido en [, b],
entonces (veremos que) podremos formar el camino suma
1
+
2
con la unica condi-
cion de que
1
() =
2
(), pudiendo ser diferente de .
4
Para ello, reparametrizamos el camino
2
componiendola con la funcion
: [, + b ] [, b] dada por (s) = s + . Sea

2
: [, + b ] IR
n
tal reparametrizacion. Entonces se DEFINE
1
+
2
como
1
+

2
: [a, +b] IR
n
.
En particular, se observa que para cualquier camino : [a, b] IR
n
, tiene sentido
hacer la suma + (), donde () es el camino inverso de , y mas a un, que este
es un camino cerrado.
Por otra parte, si : [a, b] IR
n
es un camino cerrado; podemos descomponerlo
como =
1
+
2
escogiendo una c [a, b] y deniendo
1
= |
[a,c]
,
2
= |
[c,b]
.
1.2. Campos Vectoriales
En este captulo vamos a trabajar con funciones del tipo F : U IR
n
IR
n
,
denidas en un abierto U de IR
n
y tomando valores en IR
n
. Estas funciones seran
los integrandos en las integrales que estudiaremos aqu. El objetivo de esta secci on
es familiarizarnos con estas funciones, tanto en su naturaleza y propiedades como
visualizaciones geometricas, analizando algunos ejemplos importantes de este tipo
de funciones.
Denicion 1.2.1 Una funcion del tipo F : U IR
n
IR
n
se llama CAMPO
VECTORIAL (en IR
n
). Asocia a cada punto x = (x
1
, x
2
, . . . , x
n
) U, un vector
F(x) IR
n
. De modo que podemos escribir la imagen F(x) IR
n
del punto x como
F(x) = (F
1
(x), F
2
(x), . . . , F
n
(x)) donde cada F
i
(x) es un n umero real. As pues, se
tienen n funciones reales denidas en U IR
n
: IR
n
, F
i
: U IR
n
IR, de modo
que F
i
(x) es la i-esima coordenada de F(x). Se escribe entonces F = (F
1
, F
2
, . . . , F
n
)
y se dice que las funciones F
i
son las funciones COORDENADAS de F.
Figura 1.1: El campo vectorial F : U IR
n
IR
n
Visualizacion de Campos Vectoriales .- Una practica muy popular para vi-
sualizar campos vectoriales es la siguiente: el campo F : U IR
n
IR
n
asocia a
cada punto x de U IR
n
, el vector F(x) de IR
n
.
El vector F(x) IR
n
se puede ver como una FLECHA cuyo punto inicial esta en el
origen (el vector 0 de IR
n
) y su punto nal en el punto F(x). Mas aun, esta echa
5
se puede colocar, mediante un movimiento rgido, donde queramos, y siempre re-
presentara al vector F(x).
La idea para tener una VISUALIZACI

ON del campo vectorial F es entonces COLOCAR


la echa F(x) IR
n
de manera que su punto inicial sea x U. Un esquema nos da
Figura 1.2: Representacion del campo vectorial F
Un campo vectorial en IR
2
, F : U IR
2
IR se vera como un conjunto de
echas dibujadas dentro de U. Cada echa es la imagen bajo el campo F del punto
x U donde comienza la echa. De modo semejante, un campo vectorial en IR
3
,
F : IR
3
IR
3
se puede ver como UN CONJUNTO DEL FLECHAS en el espacio.
Figura 1.3: Campos vectoriales en IR
2
y en IR
3
.
Esta idea para representar campos vectoriales es muy util, pues se puede usar
para describir, CAMPO DE VELOCIDADES: piense en un lquido que uya dentro de un
tubo. En un momento dado, cada partcula del lquido se esta moviendo a determi-
nada velocidad (que es una magnitud vectorial) en la direccion del ujo. As pues,
podemos establecer la funcion F : {puntos del interior del tubo} IR
3
que a cada
partcula del uido le asocie la velocidad que esta tiene.

Este es un campo vectorial
en IR
3
, llamado CAMPO DE VELOCIDADES. Esquema (ver gura 1.4)
Del mismo modo, un CAMPO DE FUERZAS, es un campo vectorial en IR
2
o en IR
3
,
donde en cada punto del plano o del espacio se ejerce una determinada fuerza (que es
una magnitud vectorial), de modo que se establece la funcion F : IR
2
oIR
3
IR
2
oIR
3
,
en que a cada x le asocia la fuerza F(x) ejercida en x. Un ejemplo de este tipo de
campos es el CAMPO GRAVITACIONAL, en el que cada objeto de masa unitaria en el
espacio circundante a la TIERRA es atrado por una fuerza hacia ella, obedeciendo la
ley de gravitacion universal. Dicha fuerza es proporcional al producto de la masa
6
Figura 1.4: Campo de velocidades de un lquido que uye por un tubo
del objeto y la masa del la tierra, e inversamente proporcional al cuadrado de la
distancia del objeto dado y el centro de la tierra (suponiendo que ah es donde se
encuentra el centro de masa de nuestro planeta). En un esquema se aprecia en la
siguiente gura.
Figura 1.5: El campo gravitacional producido por la tierra.
Otro ejemplo importante de campo vectorial, es el campo ELECTROST

ATICO pro-
ducido por una carga electrica q: supongamos que la carga q se ubica en el origen
de coordenadas. En cada punto x IR
3
se coloca una CARGA DE PRUEBA positiva q
0
.
Esta sera atrada o repelida por la carga q que obedece a la ley de Coulomb, seg un
la cual estas dos cargas experimentaran una fuerza F
x
(de atraccion si q es negativa
o de repulsion si q es positiva) directamente proporcional al producto de las cargas
q y q
0
e inversamente proporcional al cuadrado de la distancia que las separa.
El campo vectorial llamado CAMPO EL

ECTRICO se dene en el punto x, denotado


por E(x), como la fuerza F
x
dividida por la carga q
0
(que se haba colocado en el
punto x). Se nota que E(x) depende solo del valor de la carga q, del punto x y no
de la carga q
0
colocada en ese punto, pues
E(x) =
F
x
q
0
=
kqq
0
r
2
q
0
=
kq
r
2
donde r es la distancia del punto x al origen de coordenadas (es decir, r = x)
y k es la constante de proporcionalidad de la ley de Coulomb. Podemos establecer
entonces la funci on E : IR
3
IR
3
, de modo que a cada x IR
3
se asocia el valor del
campo electrico E(x) en el punto x.

Este es un campo vectorial en IR
3
, cuyo aspecto
graco se ve en la gura siguiente.
7
Figura 1.6: Campo electrico producido por una carga positiva y una negativa.
Denicion 1.2.2 Se dice que el campo vectorial F : U IR
n
IR
n
,
F = (F
1
, F
2
, . . . , F
n
) es CONTINUO (respectivamente diferenciable, o de clase C
k
) si
cada una de las funciones coordenadas F
i
: U IR
n
IR es continua (diferenciable,
o de clase C
k
). En este captulo trabajaremos con campos vectoriales continuos.
Ejemplo 1.2.1 El campo vectorial F : IR
2
IR
2
, F(x, y) = (1, 0) es un campo
constante que asocia a cada punto (x, y) IR
2
el mismo vector (1,0). Su aspecto
gr aco es presentada en la gura siguiente.
Figura 1.7: El campo vectorial constante F(x, y) = (1, 0).
Ejemplo 1.2.2 El campo vectorial F : IR
2
IR
2
, F(x, y) = (x, y) que asocia al
punto (x, y) IR
2
el vector (x, y) IR
2
, se llama CAMPO RADIAL en IR
2
.
De manera analoga se tiene el campo radial en IR
3
; en general en IR
n
,
F : IR
n
IR
n
, F(x) = x. La representaci on imagen geometrica de este campo es
un conjunto de echas en direccion radial, como en la gura 1.8.
COMENTARIO .- Para tener imagenes geometricas de campos vectoriales en
IR
2
, en ocasiones es util considerar las lneas de campo. Para el campo F : IR
2
IR
2
,
una L

INEA DE CAMPO se dene como una CURVA en IR


2
cuya propiedad es que en cada
8
Figura 1.8: El campo radial, F(x) = x.
punto de ella su tangente va en direcci on del campo F. Por ejemplo, para el campo
radial en IR
2
, F(x, y) = (x, y), las lneas de campo son las rectas que pasan por el
origen de coordenadas. En general, para el campo F : U IR
2
IR
2
,
F(x, y) = (F
1
(x, y), F
2
(x, y)), una lnea de campo es una curva cuyo punto (x, y)
tiene por derivada a la pendiente de la lnea donde esta F(x, y). Es decir, esta pen-
diente es
F
2
(x, y)
F
1
(x, y)
, de modo que si y = (x) es la ecuaci on de la lnea de campo,
entonces se debe tener y

=
F
2
(x, y)
F
1
(x, y)
.

Esta es una ecuaci on en la que se trata de despejar la funcion y = y(x). A este


tipo de ecuaciones, donde aparecen la incognita y = y(x), su variable independiente
y su derivada, se les llama ECUACIONES DIFERENCIABLES DE PRIMER ORDEN.
Ejemplo 1.2.3 (Lneas de campos).- Para el campo del ejemplo 1.2.1,
F(x, y) = (1, 0), en que F
1
(x, y) = 1, F
2
(x, y) = 0, las lneas de campo son lneas
y = y(x) que satisfacen la ecuaci on y

= 0. Integrando en ambos miembros esta


ecuacion obtenemos y = c. Es decir, las rectas paralelas al eje x son las lneas de
campo del campo vectorial del ejemplo 1.2.1.
Para el campo radial en IR
2
, F : IR
2
IR
2
, F(x, y) = (x, y), las lneas de campo
satisfacen la ecuaci on y

=
y
x
. Como y

=
dy
dx
, podemos escribir la ecuaci on anterior
como
dy
y
=
dx
x
, de donde, por integracion se obtiene lny = lnx +c, donde c es una
constante arbitraria. Esta ultima expresion se puede escribir como y = kx, donde
k es una constante. Es decir,las lneas del campo radial en IR
2
son las rectas que
pasan por el origen.
Ejemplo 1.2.4 Consideremos el campo F : IR
2
IR
2
, F(x, y) = (y, x). Las
lneas de campo y = y(x) deben satisfacer la ecuaci on y

=
x
y
, o bien xdx+ydy = 0.
Integrando y multiplicando por 2 se obtiene x
2
+ y
2
= c, donde c es una constante.
Es decir, las lneas de campo son CIRCUNFERENCIAS CONC

ENTRICAS con centro en el


origen de coordenadas.
9
Se observa que el producto punto del vector (x, y) con el vector F(x, y) = (y, x)
es CERO, de modo que las echas F(x, y) salen perpendicularmente al vector (x, y).
Por lo tanto, los vectores F(x, y) son tangentes a las circunferencias x
2
+ y
2
= c.
La imagen geometrica de este campo se encuentra en la gura siguiente.
Figura 1.9: El campo vectorial F(x, y) = (y, x).
Ejemplo 1.2.5 El campo vectorial F : IR
2
{(0, 0)} IR
2
, dado por
F(x, y) =
_

y
x
2
+ y
2
,
x
x
2
+ y
2
_
tiene esencialmente el mismo aspecto del campo vectorial del ejemplo anterior, pues
se conserva la propiedad de que (x, y) F(x, y) = 0. La diferencia se encuentra s olo
en el TAMA

NO de las echas que representan las imagenes F(x, y). En el campo del
ejemplo anterior, la norma del vector F(x, y) = (y, x) coincide con la norma del
vector (x, y), de modo que a medida que nos alejamos del origen las echas son de
mayor tama no mientras que en el campo vectorial de este ejemplo, como la norma
de F(x, y) es F(x, y) =
1
(x, y)
, de modo que en este caso las echas ser an
tanto mas peque nas cuanto mas nos alejamos del origen de coordenadas. El aspecto
geometrico de este campo es entonces como se muestra en la gura 1.10.
Ejemplo 1.2.6 (El campo gradiente de una funcion de varias variables) Conside-
remos en primer lugar la funcion
f : IR
2
IR, f(x, y) = x.
El gradiente de esta funcion en el punto (x, y) es el vector de IR
2
cuyas coordenadas
son las derivadas parciales de la funci on.

Este es
grad f(x, y) =
_
f
x
,
f
y
_
= (1, 0)
Se nota que se puede establecer la funcion grad f : IR
2
IR
2
, que asocia a cada
punto (x, y) el vector grad f(x, y).

Este es un campo vectorial en IR
2
. En este ca-
so, se concluye que el campo es grad F(x, y) = (1, 0), que es el campo vectorial del
10
Figura 1.10: El campo vectorial del ejemplo 1.2.5 (corregir).
ejemplo 1.2.1.
En general, si consideramos una funcion real de n variables
f : U IR
n
IR diferenciable, podemos construir con ella el CAMPO VECTORIAL
GRADIENTE de f, grad f : U IR
n
IR
n
, que asocia a cada punto x U, el vector
grad f(x) IR
n
.
Si la funci on f : IR
n
IR es dada por f(x) =
1
2
x
2
, o bien
F(x
1
, x
2
, . . . , x
n
) =
1
2
(x
2
1
+ x
2
2
+ + x
2
n
), tenemos que su campo gradiente es
grad f : IR
n
IR, grad f(x
1
, x
2
, . . . , x
n
) =
_
f
x
1
,
f
x
2
, . . . ,
f
x
n
_
= (x
1
, x
2
, . . . , x
n
);
es decir, grad f(x) = x.

Este es el campo radial del ejemplo 1.2.2.
Para la funcion f : IR
2
IR, f(x, y) = sen(x
2
+ y
2
) + 3y
4
, su campo gradiente
es grad f(x, y) =
_
f
x
,
f
y
_
= (2xcos(x
2
+ y
2
), 2y cos(x
2
+ y
2
) + 12y
3
).
En base a las ideas presentadas en el ejemplo anterior, nos podramos plantear la
siguiente pregunta: dado un campo vectorial F : U IR
n
IR
n
, F = (F
1
, F
2
, . . . , F
n
),
este es el campo gradiente de alguna funcion diferenciable f : U IR
n
IR?. Es
decir, hay alguna funci on diferenciable f : U IR
n
IR tales que
grad f(x) = F(x), x U?.
Llamamos la atenci on al contenido de esta pregunta en el caso n = 1: dado un
campo vectorial en IR, F : I IR IR, hay alguna funcion f : I IR IR
diferenciable tal que grad f(x) = f

(x) = F(x), x I?.


La funcion buscada puede ser cualquier primitiva de F(x), con ayuda del Teorema
Fundamental del c alculo, se puede escribir la respuesta como f(x) =
_
x
a
F(x)dx,
donde a I. Para n > 1, la pregunta se torna de respuesta mucho mas complicada
que en el caso n = 1. En realidad, uno de los objetivos centrales de este captulo
es discutir la RESPUESTA a esta pregunta, as como ver la importancia que ella tiene
11
tanto dentro de la teora, como en las aplicaciones que se estudiaran a lo largo del
captulo.
1.3. Integrales de Lnea
Comenzamos dando la denicion de las integrales que estudiaremos en esta sec-
cion.
Denicion 1.3.1 Sea F : U IR
n
IR
n
, F = (F
1
, F
2
, . . . , F
n
), un campo vectorial
continuo y sea : [a, b] IR
n
, = (
1
,
2
, . . . ,
n
) un camino de clase C
1
cuya
traza est a contenida en U; es decir, ([a, b]) U. La integral de lnea del campo F
a lo largo del (o sobre el) camino , denotada por
_

F,
_

F d o
_

F
1
(x)dx
1
+ F
2
(x)dx
2
+ + F
n
dx
n
se dene como
_

F d =
_
b
a
F((t))

(t)dt (1.1)
donde es el producto punto (escalar en IR
n
).
COMENTARIOS:
i) La denici on dada podemos expandirlo
_

F d =
_
b
a
{F
1
((t))

1
(t) + F
2
((t))

2
(t) + + F
n
((t))

n
(t)}dt
=
_
b
a
_
n

i=1
F
i
((t))

i
(t)
_
dt (1.2)
=
n

i=1
_
b
a
F
i
((t))

i
(t)dt
ii) Por (1.1), el procedimiento para calcular la integral del campo F a lo largo
del camino , es EVALUAR la funcion F en los punto (imagenes) del camino (es
decir, en los punto de la curva . Esto es posible, pues hemos pedido que la
imagen de se encuentra dentro del dominio del campo F)
y CALCULAR el producto punto con el vector velocidad

(t) del camino . Y


nalmente INTEGRAR entre a y b el resultado que es una funcion real de la
variable real t.
iii) Cuando el camino es cerrado, se suele usar la notaci on
_

F d o
_

F
1
(x)dx
1
+ F
2
(x)dx
2
+ + F
n
(x)dx
n
para indicar la integral de lnea del
campo F a lo largo de .
iv) Se nota que siendo continuo el campo F, la existencia de la integral de lnea
de F a lo largo de cualquier camino de clase C
1
esta ASEGURADA, pues en tal
caso el integrando F((t))

(t) es una funcion continua en el intervalo [a, b]


y por lo tanto su integral en tal intervalo existe.
12
Figura 1.11: Integrando de la integral del campo F a lo largo del camino .
En este captulo consideremos solo campos en IR
2
o IR
3
. Por ejemplo, el campo
F : U IR
2
IR
2
lo escribimos como
F(x, y) = (F
1
(x, y), F
2
(x, y)), y el camino : [a, b] IR
2
(tal que ([a, b]) U)
como (t) = (x(t), y(t)), seg un (1.2) la integral de F a lo largo de se ve en este
caso como
_

F
1
(x, y)dx + F
2
(x, y)dy =
_
b
a
{F
1
(x(t), y(t))x

(t) + F
2
(x(t), y(t))y

(t)}dt
Del mismo modo en IR
3
, escribimos el campo F : U IR
3
IR
3
como
F(x, y, z) = (F
1
(x, y, z), F
2
(x, y, z), F
3
(x, y, z)), y el camino : [a, b] IR
3
(de modo
que ([a, b]) U) como (t) = (x(t), y(t), z(t)); en este caso la integral de F a lo
largo de se ve como
_

F
1
(x, y, z)dx + F
2
(x, y, z)dy + F
3
(x, y, z)dz
=
_
b
a
{F
1
(x(t), y(t), z(t))x

(t) + F
2
(x(t), y(t), z(t))y

(t) + F
3
(x(t), y(t), z(t))z

(t)}dt
Veamos algunos ejemplos preliminares
Ejemplo 1.3.1 Sea F : IR
2
IR
2
el campo vectorial F(x, y) = (x + y, y) y sea
: [0, 1] IR
2
el camino (t) = (t, t
2
), entonces hallar
_

F d.
Solucion.-
_

F d =
_

F
1
(x, y)dx + F
2
(x, y)dy
=
_
1
0
{(t + t
2
)(t)

+ (t
2
)(t
2
)

}dt
=
_
1
0
(t + t
2
+ 2t
3
)dt
= [
1
2
t
2
+
1
3
t
3
+
1
2
t
4
]
1
0
=
1
2
+
1
3
+
1
2
=
4
3
13

F d =
4
3
Ejemplo 1.3.2 Sea F : IR
2
IR
2
el campo vectorial F(x, y) = (x + y, y) y sea
: [0, k
1
] IR
2
el camino (t) = (kt, k
2
t
2
) donde k > 0, entonces hallar
_

F d.
Solucion.-
_

F d =
_

F
1
(x, y)dx + F
2
(x, y)dy
=
_
k
1
0
{(kt + k
2
t
2
)(kt)

+ (k
2
t
2
)(k
2
t
2
)

}dt
=
_
k
1
0
(k
2
t + k
3
t
2
+ 2k
4
t
3
)dt
= [
1
2
k
2
t
2
+
1
3
k
3
t
3
+
1
2
k
4
t
4
]
k
1
0
=
1
2
k
2
(k
1
)
2
+
1
3
k
3
(k
1
)
3
+
1
2
k
4
(k
1
)
4
=
1
2
+
1
3
+
1
2
=
4
3
.

F =
4
3
.
COMENTARIOS:
i) Se observa que es una reparametrizacion de , pues existe la funcion
: [0, k
1
[0, 1] denida por (s) = ks de clase C
1
sobreyectiva con

(s) = k, s [0, k
1
] tal que = .
ii) Se obtiene que
_

F d =
_

F d de los ejemplos 1.3.1 y 1.3.2.


Los comentarios i) y ii) juntos constituyen una propiedad general de las integrales
de lnea que estudiaremos en esta seccion, la cual establece que la integral de lnea
es INVARIANTE por reparametrizaciones del camino sobre el que se integra el campo
F.
Ejemplo 1.3.3 Sea F : IR
2
IR
2
el campo vectorial F(x, y) = (x + y, y) y sea
: [0, 1] IR
2
el camino (t) = (t, t
2
), entonces calcular
_

F d().
14
Solucion.-Sabemos que : [0, 1] IR
2
es el camino ()(t) = (1 t, (1 t)
2
),
luego se tiene
_

F d() =
_

F
1
(x, y)dx + F
2
(x, y)dy
=
_
1
0
{[(1 t) + (1 t)
2
](1 t)

+ (1 t)
2
((1 t)
2
)

}dt
=
_
1
0
[(1 t) (1 t)
2
2(1 t)
3
]dt
= [
1
2
(1 t)
2
+
1
3
(1 t)
3
+
1
2
(1 t)
4
]
1
0
=
1
2

1
3

1
2
=
4
3

F d() =
4
3
Se nota que
_

F d() =
_

F d seg un los ejemplos 1.3.1 y 1.3.3.



Esta
ser a otra de las propiedades de las integrales de lnea, la cual establece que la integral
de lnea de un campo F sobre el camino inverso es el negativo de la integral de
lnea del campo F sobre .
Ejemplo 1.3.4 Sea F : IR
2
IR
2
el campo vectorial F(x, y) = (x + y, y) y
: [0, 1] IR
2
el camino (t) = (t, t
3
), entonces hallar
_

F d.
Solucion.-Desarrollando
_

F d =
_

F
1
(x, y)dx + F
2
(x, y)dy
=
_
1
0
[(t + t
3
)(t)

+ (t
3
)(t
3
)

]dt
=
_
1
0
(t + t
3
+ 3t
5
)dt
= [
1
2
t
2
+
1
4
t
4
+
1
2
t
6
]
1
0
=
1
2
+
1
4
+
1
2
=
5
4
Contemplando los ejemplos 1.3.1 y 1.3.4, se observa que los caminos y com-
parten su punto inicial (0) = (0) = (0, 0) y su punto nal (1) = (1) = (1, 1).
El camino recorre el arco de parabola y = x
2
, 0 x 1, y el camino recorre
15
el arco de parabola c ubica y = x
3
, 0 x 1. Sin embargo, los resultados de las
integrales son DIFERENTES. Esto hace suponer que el valor de la integral de lnea de
un campo F sobre un camino dado, no depende solamente de los punto inicial y
nal del camino, sino de la funcion misma que lo dene. Este es un asunto muy
importante que se desarrollara en la siguiente seccion. Por el momento, se quiere
sembrar la inquietud al respecto con el siguiente par de ejemplos.
Ejemplo 1.3.5 Sea F : IR
2
IR
2
el campo vectorial F(x, y) = (x + y
2
, 2xy) y sea
: [0, 1] IR
2
el camino (t) = (t, t
2
), entonces hallar
_

F d.
Solucion.-
_

F d =
_

F
1
(x, y)dx + F
2
(x, y)dy
=
_
1
0
{(t + t
4
)(t)

+ 2(t)(t
2
)(t
2
)

}dt
=
_
1
0
(t + 5t
4
)dt
= [
1
2
t
2
+ t
5
]
1
0
=
1
2
+ 1 =
3
2

F d =
3
2
Ejemplo 1.3.6 Sea F : IR
2
IR
2
el campo vectorial F(x, y) = (x + y
2
, 2xy) y sea
: [0, 1] IR el camino (t) = (t, t
3
), entonces hallar
_

F d.
Solucion.-
_

F d =
_

F
1
(x, y)dx + F
2
(x, y)dy
=
_
1
0
[(t + t
6
)(t)

+ 2(t)(t
3
)(t
3
)

]dt
=
_
1
0
(t + 7t
6
)dt
= [
1
2
t
2
+ t
7
]
1
0
=
1
2
+ 1 =
3
2

F d =
3
2
.
Contemplando los ejemplos 1.3.5 y 1.3.6, se observa que
_

F d =
_

F d donde
y son caminos diferentes que comparten su punto inicial y su punto nal.
La integral de lnea de un campo F sobre un camino : [a, b] IR
2
depende
solamente de los puntos inicial (a) y nal (b) del camino (como en el caso de
16
los ejemplos 1.3.5 y 1.3.6), o depende tambien de la funcion misma que dene al
camino (como en el caso de los ejemplos 1.3.5 y 1.3.4)?.

Este es uno de los temas
centrales a tratar en la siguiente secci on.
Despues de estos ejemplos preliminares, en los que se han calculado algunas
integrales de lnea y enunciado ya algunas de las propiedades de estas, estudiaremos
de modo FORMAL dichas propiedades.
Propiedades de Integrales de Lnea.- Se cumple la propiedad de la linealidad
para integrales de lnea:
Proposicion 1.3.2 Si F, G : U IR
n
IR
n
son dos campos continuos, c IR y
: [a, b] IR
n
donde ([a, b]) U es un camino de clase C
1
, entonces
_

(F + cG) d =
_

F d + c
_

G d
Demostracion: Se deja como ejercicio
Se observa que el campo F + cG : U IR
n
IR
n
de dene por
(F + cG)(x) = F(x) + cG(x), x U.
En el siguiente teorema se resumen las otras propiedades (menos obvias que la
linealidad) que poseen las integrales de lnea.
Teorema 1.3.3 Sea F : U IR
n
IR
n
un campo vectorial continuo y
: [a, b] IR
n
un camino de clase C
1
tal que ([a, b]) U. Se cumplen las siguientes
propiedades:
a) Sea : [c, d] [a, b] una funcion sobreyectiva de clase C
1
y sea : [c, d] IR
n
el camino = .
a1) Si (c) = a y (d) = b, entonces
_

F d =
_

F d
a2) Si (c) = b, (d) = a, entonces
_

f d =
_

F d
En particular, si es una reparametrizaci on de , entonces
a1)
_

F d =
_

F d si conserva la orientaci on de .
a2)
_

F d =
_

F d si invierte la orientaci on de .
En particular se tiene
_

F d() =
_

F d.
b) Si =
1
+
2
, entonces
_

F d =
_

1
f d +
_

2
F d
17
Demostracion:
a) Usaremos la formula de cambio de variable en la integral de Riemann: Si F :
[a, b] IR es continua, y G : [c, d] IR es de clase C
1
tal que G([c, d]) [a, b],
entonces
_
G(d)
G(c)
F(x)dx =
_
d
c
F(G(t))G

(t)dt.
Como F es continuo, entonces existe
_

F d.
a1) Supongamos que (c) = a, (d) = b, luego se tiene
_

F d =
_
b
a
F((t))

(t)dt, como t = (s) :


=
_
d
c
F(((s))

((s))

(s)ds
=
_
d
c
F( (s)) ( )

(s)ds
=
_

F d( ), siendo = :
=
_

F d
a2) De igual modo, si (c) = b, (d) = a, se tiene
_

F d =
_
b
a
F((t))

(t)dt
=
_
c
d
F(((s)))

((s))

(s)ds
=
_
d
c
F(((s)))

((s))

(s)ds
=
_
d
c
F( (s)) ( )

(s)ds
=
_

F d( ), siendo = :
=
_

F d
b) Supongamos que
1
esta denido en [a, c] y
2
en [c, b]. Entonces se dene
como
(t) =
_

1
(t) si t [a, c]

2
(t) si t [c, b]
18
y la integral de F sobre es
_

F d =
_
b
a
F((t))

(t)dt
=
_
c
a
F((t))

(t)dt +
_
b
c
F((t))

(t)dt
=
_

1
F d +
_

2
F d

Si
1
y
2
son caminos de clase C
1
(o seccionalmente C
1
), entonces el camino
suma
1
+
2
es seccionalmente C
1
. Mas generalmente, el camino es seccionalmente
C
1
si y solo si podemos escribir =
1
+
2
+ +
k
donde cada
i
es un camino
de clase C
1
.
COMENTARIOS:
i) La propiedad b) del teorema anterior nos permite denir la integral de un
campo F sobre un camino seccionalmente C
1
. En este caso podemos escribir
=
1
+
2
+ +
k
donde
i
es un camino de clase C
1
, i = 1, . . . , k. Entonces
denimos la integral de F a lo largo de como
_

F d =
k

i=1
_

i
F d (1.3)
ii) Una consecuencia muy importante de la propiedad a) del teorema anterior es
que, para calcular una integral de lnea de un campo F sobre un camino es
suciente tener la INFORMACI

ON de la traza del camino.


En efecto, basta conseguir un CAMINO (cualquier) concreto que tenga la
traza dada para poder hacer el calculo de la integral. Tambien cualquier
reparametrizacion de producira el mismo valor de la integral buscada. En-
tonces tiene sentido hablar de la INTEGRAL de un campo F sobre una CURVA
.
iii) Tambien la propiedad a) del teorema anterior acepta composiciones del camino
con funciones tales que = no es una reparametrizacion de (lo
unico que se pide es que sea sobreyectiva y que los puntos extremos de
coincidan con los correspondientes de ). Esto signica que el nuevo camino
que recorre la traza de , puede hacerlo no solo con velocidad distinta y con
diferente orientacion, sino que este puede sufrir regresos M

ULTIPLES en su
trayecto (fenomeno que esta prohibido en una reparametrizacion de un camino).
Consideremos la integral de lnea calculada en el ejemplo 1.3.1, con el campo
F : IR
2
IR
2
, F(x, y) = (x + y, y) y el camino : [0, 1] IR
2
, (t) = (t, t
2
).
En el ejemplo 1.3.2 se calculo nuevamente la integral con reparametrizacion
19
de que conserva la orientacion.
Ahora, sea [/2, 5/2] [0, 1] la funcion (s) = 0.5(sens + 1). Esta es
una funcion sobreyectiva con (/2) = 0, (5/2) = 1; la composicion
= : [/2, 5/2] IR
2
,
(s) = (0.5(sens+1), [0.5(sen s+1)]
2
) es un camino (que no es una reparametrizacion
de ) que parte del punto (0,0), va hacia el punto (1,1) por la parabola y = x
2
,
regresa al (0,0) y, nalmente, va de nuevo al (1,1).
Figura 1.12: gracas de la funcion (s) = 0.5(sen s +1) y el camino (s) = ((s)).
Hagamos el siguiente c alculo
_

F d =
_
5/2
/2
{(0.5(sens + 1) + [0.5(sen s + 1)]
2
)(0.5 cos s)
+ ([0.5(sens + 1)]
2
)(sens + 1)(0.5 cos s)}ds
=
_
5/2
/2
_
1
8
sen
3
s +
1
2
sen
2
s +
7
8
sens +
1
2
_
cos sds
= [
1
32
sen
4
s +
1
6
sen
3
s +
7
16
sen
2
s +
1
2
sen s]
5/2
/2
=
_
1
32
+
1
6
+
7
16
+
1
2
_

_
1
32

1
6
+
7
16

1
2
_
=
1
3
+ 1 =
4
3

F d =
4
3
el cual es el mismo valor obtenido que en los ejemplos 1.3.1 y
1.3.2.
Ejemplo 1.3.7 Sea F : IR
2
IR
2
el campo vectorial F(x, y) = (xy, x
2
y). Sea
: [1, 1] IR
2
el camino (t) = (t, |t|), entonces hallar
_

F d.
Solucion.-El camino es seccionalmente C
1
, pues =
1
+
2
, donde

1
: [1, 0] IR
2
,
1
(t) = (t, t);
2
: [0, 1] IR
2
,
2
(t) = (t, t) son caminos de
20
clase C
1
, de manera que
_

F d =
_

1
F d +
_

2
F d
=
_
0
1
{(t)(t)(t)

+ (t
2
)(t)(t)(t)

}dt +
_
1
0
{(t)(t)(t)

+ (t
2
)(t)(t)

}dt
=
_
0
1
(t
2
+ t
3
)dt +
_
1
0
(t
2
+ t
3
)dt
= [
1
3
t
3
+
1
4
t
4
]
0
1
+ [
1
3
t
3
+
1
4
t
4
]
1
0
=
1
3

1
4
+
1
3
+
1
4
= 0.

F d = 0
Se observa que el camino : [1, 1] IR
2
, (t) = (t
3
, t
2
|t|) es una reparametrizacion
del camino , y es de clase C
1
. En efecto, la derivada del camino es:

(t) =
_
(3t
2
, 3t
2
) si t [1, 0]
(3t
2
, 3t
2
) si t [0, 1]
la cual es una funcion continua. Seg un la propiedad a) del teorema 1.3.3, la integral
del campo F puede ser calculada sobre el camino , y el resultado sera el mismo
que el de la integral de F sobre . Esto se verica como sigue:
_

F d =
_
1
1
F((t))

(t)dt
=
_
0
1
F((t))

(t)dt +
_
1
0
F((t))

(t)dt
=
_
0
1
[(t
3
)(t
3
)(3t
2
) + (t
6
)(t
3
)(3t
2
)]dt
+
_
1
0
[(t
3
)(t
3
)(3t
2
) + (t
6
)(t
3
)(3t
2
)]dt
=
_
0
1
(3t
8
+ 3t
11
)dt +
_
1
0
(3t
8
+ 3t
11
)dt
= [
3
9
t
9
+
3
12
t
12
]
0
1
+ [
3
9
t
9
+
3
12
t
12
]
1
0
=
1
3

1
4
+
1
3
+
1
4
= 0
Por consiguiente se verica que
_

F d =
_

F d = 0.
Ejemplo 1.3.8 Sea F : IR
2
IR
2
el campo vectorial
F(x, y) = (2x + y, x + 4xy), entonces calcular la integral de lnea de F sobre la
circunferencia x
2
+ y
2
= 1 recorrido una vez en el sentido antihorario.
21
Solucion.-Se observa que podemos escribir la integral por calcular de la siguiente
manera _
x
2
+y
2
=1
F
1
(x, y)dx + F
2
(x, y)dy
donde se indica que la integral es sobre un camino CERRADO, y se da la informacion
de la curva sobre la que se va a realizar la integral.
Comenzamos tomando una parametrizaci on (un camino) de la curva
C = {(x, y) IR
2
/ x
2
+y
2
= 1} escrita como : [0, 2] IR
2
, (t) = (cos t, sent),
luego se tiene
_
x
2
+y
2
=1
F
1
(x, y)dx + F
2
(x, y)dy =
_
2
0
{(2 cos t + sen t)(sent)
+ (cos t + 4 cos t sent)(cos t)}dt
=
_
2
0
(2 sen t cos t 1 + 4 cos
2
t sent)dt
= [sen
2
t t
4
3
cos
3
t]
2
0
= 2

_
x
2
+y
2
=1
F
1
(x, y)dx + F
2
(x, y)dy = 2.
Ejemplo 1.3.9 Sea F : IR
2
IR
2
el campo vectorial F(x, y) = (x + 4y, ax + y)
donde a es una constante. Hallar la integral de lnea del campo F sobre la curva
C = {(x, y) IR
2
/ |x| +|y| = 1}
Solucion.-Se ve que la curva C es un cuadrado con vertices en los puntos (1, 0) y
(0, 1). En efecto:
i) Para x 0, y 0, se tiene la recta C
1
: x + y = 1
ii) Para x 0, y 0, se tiene la recta C
2
: x + y = 1
iii) Para x 0, y 0, se tiene la recta C
3
: x y = 1
iv) Para x 0, y 0, se tiene la recta C
4
: x y = 1
Parametrizando cada uno de los segmentos de recta que forman el cuadrado C,
tenemos
i) Un camino para C
1
: x + y = 1, es
1
: [0, 1] IR
2
,
1
(t) = (1 t, t)
ii) Un camino para C
2
: x + y = 1, es
2
: [1, 0] IR
2
,
2
(t) = (1 t, t)
iii) Un camino para C
3
: x y = 1, es
3
: [1, 0] IR
2
,
3
(t) = (t, 1 t)
iv) Un camino para C
4
: x y = 1, es
4
: [0, 1] IR
2
,
4
(t) = (t, t 1)
22
Se nota entonces que el camino =
1
+
2
+
3
+
4
(seccionalmente C
1
) es una
parametrizacion de la curva C, de modo que
_
C
F
1
(x, y)dx + F
2
(x, y)dy =
_

F d =
4

i=1
_

i
F d (1.4)
Hallemos cada una de las 4 integrales sumandos
_

1
F d =
_
1
0
{(1 t + 4t)(1 t)

+ [a(1 t) + t)](t)

}dt
=
_
1
0
[a 1 (a + 2)t]dt
= [(a 1)t
1
2
(a + 2)t
2
]
1
0
=
1
2
a 2 (1.5)
_

2
F d =
_
0
1
{(1 t 4t)(1 t)

+ [a(1 t) t](t)

}dt
=
_
0
1
[(a + 6)t + (a + 1)]dt
= [
1
2
(a + 6)t
2
+ (a + 1)t]
0
1
=
1
2
a 2 (1.6)
_

3
F d =
_
0
1
{[t + 4(1 t)](t)

+ (at 1 t)(1 t)

}dt
=
_
0
1
[(a + 2)t 3]dt
= [
1
2
(a + 2)t
2
3t]
0
1
=
1
2
a 2 (1.7)
_

4
F d =
_
1
0
{[t + 4(t 1)](t)

+ (at + t 1)(t 1)

}dt
=
_
1
0
[(a + 6)t 5]dt
= [
1
2
(a + 6)t
2
5t]
1
0
=
1
2
a 2 (1.8)
23
De (1.5), (1.6), (1.7) y (1.8) en (1.4), concluimos que
_

F d = 4
_
1
2
a 2
_
= 2a 8.
Ejemplo 1.3.10 Sea F : IR
2
IR
2
el campo vectorial F(x, y) = (x + 4y, ax + y),
entonces calcular la integral de lnea de F a lo largo de la circunferencia x
2
+y
2
= r
2
,
recorrido una vez en sentido antihorario.
Solucion.-Podemos tomar el camino : [0, 2] IR
2
, (t) = (r cos t, r sen t) como
parametrizacion de la circunferencia. As
_
x
2
+y
2
=r
2
F
1
(x, y)dx + F
2
(x, y)dy =
_
2
0
[(r cos t + 4r sent)(r sent)
+ (ar cos t + r sen t)(r cos t)]dt
=
_
2
0
(ar
2
cos
2
t 4r
2
sen
2
t)dt
= ar
2
_
2
0
1 + cos 2t
2
dt 4r
2
_
2
0
1 cos 2t
2
dt
= r
2
(a 4)

_
x
2
+y
2
=r
2
F
1
(x, y)dx + F
2
(x, y)dy = r
2
(a 4).
Ejemplo 1.3.11 Sea F : IR
2
{(0, 0)} IR
2
el campo vectorial
F(x, y) =
_
y
x
2
+ y
2
,
x
x
2
+ y
2
_
y sea
k
: [0, k] IR
2
el camino
k
(t) = (r cos t, r sent)
donde 0 < k 2, entonces hallar
_

k
F d(
k
)
Solucion.- La forma geometrica de la curva descrita por
k
es un pedazo (o seg-
mento) de la circunferencia x
2
+ y
2
= r
2
con angulo central k (ver la gura 1.13).
Siendo [x(t)]
2
+ [y(t)]
2
= r
2
y

k
(t) = (r sent, r cos t) tenemos
_

k
F d
k
=
_

k
F
1
(x, y)dx + F
2
(x, y)dy
=
_
k
0
[
_
r sent
r
2
_
(r sen t) +
_
r cos t
r
2
_
(r cos t)]dt
=
_
k
0
dt
= k

k
F d
k
= k.
24
Figura 1.13: El camino
k
. (corregir)
Se observa que el resultado no depende de r. Esto signica que la integral de
lnea del campo F resulta ser INVARIANTE por ampliaci on o reducci on de la cir-
cunferencia, con centro en el origen, sobre la cual se esta integrando. Este hecho se
explicara en la seccion 1.5.
Ejemplo 1.3.12 Sea F : IR
3
IR
3
el campo vectorial F(x, y, z) = (yz, xz, xy) y
sea : [0, /4] IR
3
el camino (t) = (cos t, sent, t) entonces calcular
_

F d.
Solucion.-
_

F d =
_
/4
0
F((t))

(t)dt
=
_
/4
0
(t sent, t cos t, sent cos t) (sent, cos t, 1)dt
=
_
/4
0
(t sen
2
t + t cos
2
t + sent cos t)dt
=
_
/4
0
[t(cos
2
t sen
2
t) + sen t cos t]dt
= [t sent cos t]
/4
0
=

8

F d =

8
.
Se observa que la forma geometrica ([0, /4]) corresponde a la octava parte de
una vuelta de una helice dibujada sobre el cilindro x
2
+ y
2
= 1 que comienza en el
punto (1,0,0).
Ejemplo 1.3.13 Sea F : IR
3
IR
3
el campo vectorial F(x, y, z) = (yz, xz, xy);
sea un camino con puntos inicial (1,0,0) y nal
_

2
2
,

2
2
,

4
_
cuya traza es un
segmento de recta que une dichos puntos, entonces hallar
_

F d.
25
Solucion.- Parametrizando el segmento de recta se obtiene el camino : [0, 1] IR
3
dado por (t) =
_
1 + (

2
2
1)t,

2
2
t,

4
t
_
, luego se tiene
_

F d =
_
1
0
{(

2
2
t)(

4
t)(

2
2
1) + [1 + (

2
2
1)t](

4
t)(

2
2
)
+ [1 + (

2
2
1)t](

2
2
t)(

4
)}dt
=

8
_
1
0
[2

2t 3(

2 1)t
2
]dt
=

8
[

2t
2
(

2 1)t
3
]
1
0
=

8

F d =

8
Es importante observar los ejemplos 1.3.12 y 1.3.13, en los cuales se integro el
mismo campo vectorial sobre dos caminos diferentes con los mismos puntos iniciales
y nales, pero se ha obtenido el mismo resultado. Lo mismo ocurrio en los ejemplos
1.3.5 y 1.3.6, por lo que volvemos a plantear la pregunta: Una integral de lnea
de un campo F sobre un camino , depende solo de los puntos inicial y nal del
camino, o depende tambien de la forma de la curva descrita por el camino? La
respuesta se dara en la siguiente secci on.
1.4. Campos Conservativos y Funciones Poten-
ciales
En la seccion 1.2 quedo abierta una pregunta planteada: dado un campo vectorial
F : U IR
n
IR
n
, hay alguna funcion diferenciable f : U IR
n
IR tal que
grad f(x) = F(x), x U?
Por otra parte, los ejemplos de la secci on anterior promovieron que se planteara otra
interrogante: al integrar un campo continuo F : U IR
n
IR
n
sobre un camino
: [a, b] IR
n
de clase C
1
, el valor de la integral de lnea
_

F d depende solo de
los extremos (a) y (b) del camino , o depende tambien del mismo camino (t),
a t b?
En esta secci on veremos, en el teorema que se presenta a continuacion, que estas
dos preguntas son en realidad...la misma pregunta!.
Inicialmente, tenga presente que en caso de que el campo F : U IR
n
IR
n
sea
campo gradiente de una funci on f : U IR
n
IR, si el campo F es de clase C
k
, la
funcion f debera ser de clase C
k+1
, k 0.
26
En efecto, las funciones coordenadas de F son las derivadas parciales de la fun-
cion f, de modo que teniendo f derivadas parciales de clase C
k
, la funcion f sera de
clase C
k+1
.
Establezcamos el primer resultado importante de esta seccion.
Teorema 1.4.1 Sea F : U IR
n
IR
n
un campo de clase C
k
(k 0) denido en
el conjunto abierto U de IR
n
. Las armaciones siguientes son equivalentes:
i) F es el campo gradiente de una funcion f : U IR
n
IR de clase C
k+1
ii) La integral
_

F d del campo F a lo largo de un camino : [a, b] IR


n
seccionalmente C
1
tal que ([a, b]) U, depende solamente del punto inicial
(a) y nal (b) del camino .
iii) La integral
_

F d del campo F a lo largo de un camino : [a, b] IR


n
cerrado seccionalmente C
1
(de modo que ([a, b]) U) es igual a CERO.
Demostracion: Sea hara siguiendo la secuencia
i) = ii) = iii) = ii) = i).
i) = ii) Por hipotesis tenemos F = grad f. Escribiendo F = (F
1
, F
2
, . . . , F
n
),
se tiene F
i
=
f
x
i
.
Si = (
1
,
2
, . . . ,
n
) : [a, b] IR
n
es un camino de clase C
1
tal que ([a, b]) U,
entonces obtenemos
_

F d =
_
b
a
grad f((t))

(t)dt
=
_
b
a
_
n

i=1
f
x
i
((t))

i
(t)
_
dt
=
_
b
a
d
dt
(f((t)))dt
= [f((t))]
b
a
= f((b)) f((a)).
de donde se ve que la integral
_

F d depende solamente de los extremos (a) y


(b) del camino .
Si el camino es seccionalmente C
1
en U, tomamos una particion
a = t
0
< t
1
< < t
n1
< t
n
= b de modo que es de clase C
1
en cada subintervalo
27
[t
i1
, t
i
] y repetimos el argumento anterior en cada uno de estos subintervalos, luego
se tiene que
_

F d =
n

j=1
_

j
F d
=
n

j=1
_
t
j
t
j1
grad f(
j
(t))

j
(t)dt
=
n

j=1
[f((t
j
)) f((t
j1
))]
= f((b)) f((a)).
ii) = iii) Sea : [a, b] IR
n
un camino cerrado de clase C
1
. Como se ha
observado en la seccion 1.1, podemos escribir el camino como =
1
+
2
. Se nota
que los caminos
1
y
2
tienen los mismos extremos, de modo que seg un ii), las
integrales de lnea del campo F sobre estos dos caminos valen lo mismo. Se tiene
entonces que
_

F d =
_

1
+
2
F d
=
_

1
F d +
_

2
F d
=
_

1
F d
_

2
F d
= 0.
Las modicaciones a este argumento, en caso de que el camino sea seccionalmente
C
1
, queda como ejercicio.
iii) = ii) Supongamos que
1
y
2
son dos caminos seccionalmente C
1
que
comparten su punto inicial y su punto nal. Entonces el camino =
1
+ (
2
) es
un camino cerrado seccionalmente C
1
. Se tiene por iii) que
0 =
_

F d
=
_

1
+(
2
)
F d
=
_

1
F d +
_

2
F d
=
_

1
F d
_

2
F d
28
de donde
_

1
F d =
_

2
F d
ii) = i) Fijemos primeramente un punto p U. Para cualquier otro punto
x U (que esta en la componente conexa de p), consideremos el camino
x
cuyo
punto inicial sea p y su punto nal sea x, y tal que su imagen quede completamente
contenida en U.
Denamos la funcion f : U IR
n
IR como
f(x) =
_
x
F d
Se nota que esta funcion esta bien denida, pues por ii) el valor de la integral
(es decir, el valor de f(x)) depende solamente de los extremos del camino
x
que
son el punto p que esta jo, y el punto x. La idea ahora sera demostrar que el
campo F es el campo gradiente de la funcion f.Para esto vamos a probar que si
F = (F
1
, F
2
, . . . , F
n
), entonces F
i
=
f
x
i
, i = 1, 2, . . . , n, en cada punto x U.
Calculemos entonces la iesima derivada parcial de la funcion f en un punto
arbitrario x U. Se tiene
f
x
i
(x) = lm
h0
f(x + he
i
) f(x)
h
donde e
i
es el iesimo vector de la base can onica de IR
n
. Siendo U un conjunto
abierto de IR
n
, para el punto x U existe una bola B
x
con centro en x y radio > 0
tal que B
x
U. Tomando entonces h sucientemente peque no, podemos asegurar
que x + he
i
B
x
, y por lo tanto x + he
i
U. Ahora, se observa que
f(x + he
i
) =
_

x+he
i
F d
donde
x+he
i
es un camino que une al punto p con el punto x +he
i
. Este camino se
puede considerar como la suma del camino
x
que une al punto p con x, y un camino

x,x+he
i
que une al punto x con x + he
i
. Entonces, poniendo
x+he
i
=
x
+
x,x+he
i
:
f(x + he
i
) f(x) =
_

x+he
i
F d
_
x
F d
=
_
x
F d +
_

x,x+he
i
F d
_
x
F d
=
_

x,x+he
i
F d
donde
x,x+he
i
es un camino que une el punto x con el punto x + he
i
. Por las
propiedades que tienen las bolas en IR
n
(si dos puntos pertenecen a una bola, el
29
segmento de recta que une a estos puntos tambien esta en la bola; propiedad conocida
como convexidad), podemos tomar el camino
x,x+he
i
como

x,x+he
i
: [0, h] IR
n
,
x,x+he
i
(t) = x + te
i
.
Entonces
f(x + he
i
) f(x) =
_

x,x+he
i
F d =
_
h
0
F(
x,x+he
i
(t))

x,x+he
i
(t)dt
Se nota que

x,x+he
i
(t) = e
i
, de modo que el integrando que aparece en la ultima
integral de la expresion anterior se convierte en F
i
(
x,x+he
i
(t)) = F
i
(x + te
i
), por lo
que f(x + he
i
) f(x) =
_
h
0
F
i
(x + te
i
)dt
Tomando lmite
f
x
i
(x) = lm
h0
f(x + he
i
) f(x)
h
= lm
h0
1
h
_
h
0
F
i
(x + he
i
)dt
Por otra parte, si consideramos la funcion : IR IR, (s) =
_
s
0
F
i
(x + te
i
)dt
y calculamos su derivada en s = 0, como sigue

(0) = lm
h0
(h) (0)
h
= lm
h0
(h)
h
= lm
h0
1
h
_
h
0
F
i
(x + te
i
)dt =
f
x
i
(x)
Pero seg un el Teorema fundamental del calculo se tiene

(0) = (

(s)
s=0
=
_
d
ds
_
s
0
F
i
(x + te
i
)dt
_
s=0
= (F
i
(x + se
i
))
s=0
= F
i
(x)
Por lo tanto,
f
x
i
(x) = F
i
(x), i = 1, 2, . . . , n para x U
Los campos con las caractersticas mencionadas en el teorema anterior reciben un
nombre especial.
Denicion 1.4.2 Al campo F : U IR
n
IR
n
, de clase C
k
, k 0, denido
en el abierto U de IR
n
, que cumpla con alguna de (y por lo tanto con todas) las
condiciones del teorema anterior, se le llama CAMPO CONSERVATIVO, y a la funcion
f : U IR
n
IR de clase C
k+1
tal que F = grad f, se le llama FUNCI

ON POTENCIAL.
COMENTARIO.- En el teorema 1.4.1 se ha demostrado que un campo CONSER-
VATIVO se caracteriza por la existencia de una funcion potencial, o bien , de modo
equivalente, por el hecho de que la integral del campo a lo largo de un camino de-
penda solo de los extremos de este camino, o bien, porque la integral del campo
sobre cualquier camino cerrado sea cero.
AQU

I FALTA UN COROLARIO desde pagina 54-65 ojo ojo


30
Teorema 1.4.3 Sea F : U IR
n
IR
n
, F = (F
1
, F
2
, . . . , F
n
) un campo de clase
C
k
, k 1, denido en el abierto U de IR
n
.si se tiene
F
i
x
j
(x) =
F
j
x
i
(x) para todo
x U, 1 i < j n.entonces el campo F es localmente conservativo.
Demostracion: Por simplicidad en la notacion haremos solo la demostracion
en el caso n = 2.Escribiremos entonecs el campo F como F = (M, N) donde
M
y
=
N
x
Sea pun punto del abierto U donde se dene F. Sin perdida degenralidad,podemos
suponer que p es el origen ( el caso general se obtiene haciendo una traslacion de
origen).Siendo U abierto, existe una bola B
p
= {(x, y) IR
2
/(x, y, z) < } con
centro en p = (0, 0) que esta contenida en U. Considere el camino : [0, 1]
IR
2
, (t) = (t(x, y). Senota que este camino conecta con una recta el origen p
con el punto (x, y).Se observara tambien que si (x, y) B
p
,entonces la imagen de
esta contenidaen la bola B
p
.Denamos entonces la funcion f : B
p
IR como
f(x, y) =
_

Fd.
Demostremos que grad f(x, y) = F(x, y), (x, y) B
p
. Se tiene
f
x
(x, y) =

x
_

Fd
=

x
_
1
0
[M(tx, ty)x + N(tx, ty)y]dt
=
_
1
0

x
[M(tx, ty)x + N(tx, ty)Y ]dt
=
_
1
0
[x

x
M(tx, ty) + M(tx, ty) + y

x
N(tx, ty)]dt
=
_
1
0
xt
M
x
(tx, ty) + M(tx, ty) + yt
N
x
(tx, ty)]dt
=
_
1
0
[t
_
x
M
x
(tx, ty) + y
N
x
(tx, ty)
_
+ M(tx, ty)]dt
=
_
1
0
t
_
x
M
x
/tx, ty) + y
M
y
(tx, ty)
_
+ M(tx, ty)]dt, pues
M
y
=
N
x
=
_
1
0
[t
d
dt
M(tx, ty) + M(tx, ty)]dt
=
_
1
0
d
dt
[tM(tx, ty)]dt
= [t(M(tx, ty)]
1
0
= M(x, y)
Es decir, hemos demostrado que
f
x
(x, y) = M(x, y), (x, y) B
p
.
De manera analoga se demuestra que
f
y
= N(x, y), (x, y) B
p
. Por lo tanto,
31
grad f(x, y) =
_
f
x
(x, y),
f
y
(x, y)
_
= F(x, y), (x, y) B
p
.Es decir,f esuna fun-
cion ptencial deFen B
p
,y por ende F es un campo conservativo en la bola B
p
.
La forma del abierto U juega un papel importante en el hecho de que las condi-
ciones de igualdad entre derivadas parciales de las funciones componentes del campo
F establecidas en el teorema 1.4.2, sean condiciones SUFICIENTES para que el cam-
po sea conservativo.Por ejemplo, si el campo F esta denido en una bola B, tales
condiciones garantizan que F es conservativo.Tambien, si F esta denido en todo
el espacio IR
n
,se tiene la suciencia en el teorema 1.4.2. La demostracion de estos
hechos sera exactamente la misma que se hizo en el teorema 1.4.3, deniendo una
funcion potencial de F, en el mismo abierto donde F estadenido, como una integral
de lnea.
Masen general,si el abierto U donde esta denido el campo F tiene la propiedad
de que dados dos punto cualesquiera de U, la recta que une queda completamente
contenida en U,la misma qidea de la demostracion del teorema 1.4.3 probara que
el campo F es conservativo. Este tipo de conjuntos U de IR
n
reciben un nombre
especial.
Denicion 1.4.4 Se dice qeu el conjunto U IR
n
es un conjunto CONVEXO si
dados dos puntos p, q U, el segmento de recta que los une [p, q] = {x IR
n
/x =
tq + (1 T)p, 0 t 1} queda contenido en U ( es decir,[p, q] U).
Figura 1.14: Un conjunto convexo y un conjunto no convexo
Las bolas abiertas de IR
n
y todo el espacio IR
n
son ejemplos de conjuntos convexos.
Teorema 1.4.5 Sea F : IR
n
IR
n
, F = (F
1
, F
2
, . . . , F
n
) un campo de clase
C
k
, k 1, denido en el abierto convexo U de IR
n
.Una condicion necesaria y
suciente para que el campo F sea CONSERVATIVO es que
F
i
x
j
(x) =
F
j
x
j
(x)
par todo x U
32
Demostracion: Que la condici on necesaria ya se demostro en el teorema 1.4.2.
Ahora, veamos que la condici on es suciente.
Consideremos el caso n = 2. Sea pun punto (arbitrario jo) deU Denamos f : U
IR
2
IR como
f(x, y) =
_

Fd
donde : [0, 1] IR
2
, (t) = t(x, y) + (1 t)p.Senota que ([0, 1]) = [p, (x, y)] =
segmento de recta que une a p con (x, y), y que, por ser U convexo se tiene ([0, 1])
U,por lo que tiene sentido la denicion de f. De la misma manera como se hizo en
el teorema 1. 4.3, se demuestra que
grad f(x, y) =
_
f
x
(x, y),
f
y
_
= (M(x, y), N(x, y)) = F(x, y)
Es decir,f es una funcion potencial del campo F, por lo tanto F es conservativo.

Ejemplo 1.4.1 Justicar que el conjunto U = IR


2
{(0, 0)}no es convexo y escribir
un campo vectorial F : UIR
2
IR
2
no conservativo.
Solucion.-
El conjunto U = R
2
{(0, 0)} no es un conjunto convexo. De hecho,tomando los
punto p y q = p en U se observa que el segmento de recta que conecta p con q es
[p, q] y z [p, q] es
z = tq + (1 t)p
= tp + (1 t)p
= (1 2t)p para alg un t con 0 t 1
Para t =
1
2
, z = (0, 0) [p, q] pero z = (0, 0) U.
As [p, q] U.
En este caso, el teorema anterior no garantiza que las condiciones de igualdades en-
tre las derivadas parciales de un campo denido en U sean sucientes para asegurar
que el campo es conservativo.
De hecho, tenemos el ejemplo concreto del campo F : IR
2
{(0, 0)} IR
2
,dao
por F(x, y)
_
y
x2+y
2
,
x
x
2
+y
2
_
ya hemos vericado que se cumple la condici on del teo-
rema 1.4.2,peroF no es conservativo.
El teorema 1.4.4 nos dice como podemos obtener funciones potenciales de cam-
posconservativos.
Veamos algunos ejemplos.
Ejemplo 1.4.2 Atendiendo a la demostraciondel teorema 1.4.4 hallar una funcion
potencial del campo F(x, y) = (x + y
2
, 2xy) se tiene.
33
Solucion.-
Haciendo M = x + y
2
y N = 2xy tenemos que
M
y
= 2y =
N
x
Se observa uqe F esta denida en el conjunto abierto convexoIR
2
,luego por el teore-
ma 1.4.4 resulta que F es conservativo.
Hallemos una funcion potencial f del campo conservativo, atendiendo a la de-
mostracion del teorema 1.4.4; jemos el punto p = (0, 0) y denamos f : IR
2
IR
como f(x, y) =
_

Fd
donde : [0, 1] IR
2
, (t) = t(x, y) = (tx, ty). Entonces
f(x, y) =
_

Fd
=
_
1
0
[()tx) + (ty)
2
)x + 2(tx)(ty)y]dt
=
_
1
0
(tx
2
+ 3t
2
xy
2
)dt
= [
x
2
2
t
2
+ xy
2
t
2
]
1
0
=
1
2
x
2
+ xy
2
Por lo tanto una funcion potencial de F es f(x, y) =
1
2
x
2
+ xy
2
.
Ejemplo 1.4.3 calcular una fucni on potencial del campo F(x, y) = (x+4y, 4x+y)
se tiene
Solucion.-
Siendo el dominio de F elconjunto abierto convexo IR
2
,por el teorema 1.4.4 el campo
F es conservativo, luego F tiene funcion potencial.
Hallemos una funcion potencial f de F
DEnamos f : IR
2
IR
2
por f(x, y) =
_

Fd donde : [0, 1] IR
2
, (t) =
t(x, y) = (tx, ty).es decir
f(x, y) =
_
1
0
[((tx) + 4(ty))x + (4(tx) + (ty))y]dt
=
_
1
0
(tx
2
+ 8txy + ty
2
)dt
=
_
1
0
(x
2
8xy + y
2
)tdt
= (x
2
+ 8xy + y
2
)[
t
2
2
]
1
0
=
1
2
(x
2
+ 8xy + y
2
)
=
1
2
(x
2
+ y
2
) + 4xy
Porlo tanto una funcion potencial de F es f(x, y) =
1
2
(x
2
+ y
2
) + 4xy.
34
Ejemplo 1.4.4 Calcular la funcion potencial del campo F(x, y, z) = (3y
2
z+ye
x
, 6xyz+
e
x
,3xy
2
) si tiene.
Solucion.-
Haciendo M = 3y
2
z + ye
x
, N = 6xyz + e
x
, P = 3xy
2
, obtenemos que
M
y
=

y
(3y
2
z + ye
x
) = 6yz + e
x
=

x
(6xyz + e
x
) =
N
x
;
M
z
=

z
(3y
2
z + ye
x
) = 3y
2
=

x
(3xy
2
) =
P
x
;
N
z
=

z
(6xyz + e
x
) = 6xy =

y
(3xy
2
) =
P
y
;
Estando el campo F denido en el conjunto abierto convexo IR
3
,se concluye que F
es conservativo.Hallemos una funcion potencial f del campo F.
Denamos f : IR
3
IR por f(x, y, z) =
_

Fd donde : [0, 1] IR
3
, (t) =
t(x, y, z) = (tx, ty, tz)
Entonces
f(x, y, z) =
_
l
aFd
=
_
1
0
[(3(ty)
2
(tz) + (tye
tx
)x + (6(tx)8ty)(tz) + e
tx
)y + 3(tx)(ty9
2
z]dt
=
_
1
0
(12t
3
xy
2
z + txye
tx
+ ye
tx
)dt
= 12xy
2
z
_
1
0
t
3
dt + xy
_
1
0
te
tx
dt + y
_
1
0
e
tx
dt
= 3xy
2
z + ye
x
Por lo tanto, f(x, y, z) = 3xy
2
z + ye
x
es una funcion potencial de F
Ejemplo 1.4.5 Calcular la integral del campo del ejemplo 13 a lo largo del camino
: [0, ] IR
3
,
(t) = (sen(t/2) + cos(2t) 1, t cos t, t
2
sent)
Solucion.-
Se observa que el camino une el punto (0) = (0, 0, 0) con el punto () =
(1, , 0). Por denicion
_

=
_

0
[F
1
(x(t), y(t), z(t))x

(t) +F
2
(x(t), y(t), z(t))y

(t) +F
3
(x(t), y(t), z(t))z

(t)]dt
donde F
1
(x, y, z) = 3y
2
z + ye
x
, F
2
(x, y, z) = 6xyz + e
x
, F
3
(x, y, z) = 3xy
2
, x(t) =
sen(t/2) + cos(2t) 1, y(t) = t cos t, z(t) = t
2
sent.
Porsupuesto que el simple imaginar laexpresion que se obtendra al hacer las sustitu-
cioens coreespncdientes resulta una experiencia ATERRADORA y masaterrador to-
dava sera e intentar calcular las integrales correspondientes. sin embargo,podemos
35
hacer una jugada mas simple (y mucho mas na) para CALCULAR la integral de
F alo largo de . Sabemos que el campo F es conservativo. Por el inciso ii del teo-
rema 1.4.1, el valor de la integral de F a lo largo del camino solo depende de los
extremos de este camino y no del camino en si. Es decir, si tomamos por ejemplo
el camino : [0, 1] IR
3
, (t) = (t, t, 0) entonces la integral de F a lo largo de
es la misma que la integral de Fa lo largo de .
Este ultimo camino es mucho mas manejable que el camino dado. de manera
que
_

Fd =
_

fFd
=
_
1
0
[te
t
+ e
t
()]dt
= [te
t
]
1
0
= e
Por lo tanto
_

Fd = e.
OTRO M

ETODO.- Teniendo una funcion potencial de F, f(x, y, z) = 3xy


2
z +
ye
x
(ver ejemplo 13), podemos calcular
_

Fd como se hizo en el comentario ii


delejemplo 1( usando el corolario del teorema 1.4.1=.como sigue
_

Fd = (3xy
2
z + ye
x
) (3xy
2
z + ye
x
)
= e
Por consiguiente
_

Fd = e.
Si tenemos un campo conservativo F : U IR
n
IR
n
, de clase C
k
, k 1
y QUEREMOS CALCULAR la integral dellnea de F a lo largo de un camino
dado [a, b] IR
n
,seg un lo establecido e el teorema 1.4.1 el valor de esta integral
DEPENDE solamente de los extremos del camino ,p = (a) y q = (b).As tiene
sentido una expresion del tipo
_
q
p
Fd
para el calculo dela integral de lnea del campo conservativo F a lo largo del camino
que conecta elpunto p(inicial) con el punto q (nal). al hacer este c nalculo podramos
tomar cualquier camino ( con tal que su imagen este contenida en U que empiece
en p y termine en q.
Ejemplo 1.4.6 Calcular la integral
_
(3,2)
(1,0)
2xydx + x
2
dy
36
Solucion.-
Se nota que el campo que se va a integrar F : IR
2
IR
2
, F(x, y) = (2xy, x
2
) es tal
que

y
(2xy) =

x
(x
2
). Puesto que F 4stadenido en el conjunto abierto conexo
IR
2
, se concluye que F es un campo conservativo.
As tiene sentido calcular la integral de lnea de F a lo largo de un camino
(cualquiera) que conecte el punto p = (1, 0)con el punto q = (3, 2).
Un tal camino es, por ejemplo, : [1, 3] IR
2
, (t) = (t, t 1). Entonces
_
(3,2)
(1,0)
2xydx + x
2
dy =
_
3
1
[2(t)(t 1)(t)

+ (t
2
)(t 1)

]dt
=
_
3
1
(3t
2
2t)dt
= [t
3
t
2
]
3
1
= [(3)
3
(3)
2
] [(1)
3
(1)
2
]
= 27 9 0
= 18
Por lo tanto
_
(3,2)
(1,0)
2xydx + x
2
dy = 18
Ejemplo 1.4.7 Calcular la integral
_
(3,2,5)
(0,0,0)
3xdx + y
3
dy z
2
dz
Solucion.-
El campo a ser integrado F : IR
3
IR
3
, F(x, y, z) = (3x, y
3
, z
2
) es tal que

y
(3x) = 0 =

x
(y
3
),

z
(3x) = 0 =

x
(z
2
), y

z
(y
3
) = 0 =

y
(z
2
).
Claramente F esta denido en el conjunto abierto convexo IR
3
, como se cumplen las
condiciones del teorema 1.4.4 el campo F es conservativo.Por lo que, en particualr,
tomemos el camino [0, 1] IR
3
, (t) = (3t, 2t, 5t). La integral pedida es la
integral de lnea del campo F(x, y, z) = (3x, y
3
, z
2
) a lo largo del camino . Luego
se tiene
_
(3,2,5)
(0,0,0)
3xdx + y
3
dy z
2
dz =
_
1
0
[3(3t)(3t)

+ (2t)
3
(2t)

(5t)
2
(5t)

]dt
=
_
1
0
(16t
3
125t
2
+ 27t)dt
= [4t
4

125
3
t
3
+
27
2
t
2
]
1
0
= 4
125
3
+
27
2
=
24 250 + 81
6
=
145
6
37
Porlo tanto
_
(3,2,5)
(0,0,0)
3xdx + y
3
dy z
2
dz =
145
6
OTROM

ETODO PARA HALLAR FUNCIONES POTENCIALES Veamos


ahoara una alternativa al procedimiento planteado en los ejemplos 11,12 y 13 an-
teriores para obtener funciones potenciales de campos conservativos. Haremos la
discusion en el caso de campos en IR
2
. Supongamos que el campo F : U IR
2

IR
2
, F = (M, N) es conservativo y que queremos DETERMINAR UNA FUNCI

ON
potencial para F. Sea f : U IR
2
IR la funcion potencial buscada,luego
grad f(x, y) =
_
f
x
(x, y),
f
y
(x, y)
_
= (M(x, y), N(x, y))
= F(x, y)
es decir, estamos procurando una funci on f que satisfaga el par de condiciones
f
x
(x, y) = M(x, y),
f
y
(x, y) = N(x, y)
para (x, y)en U.Prtiendo de la priemra de estas expresiones,podemos decir que la
funcion que buscamos debe ser del tipo
f(x, y) =
_
M(x, y)dx + g(y)
donde se realiza l naintegral respecto a la variable x, tomando a y como constante;
g(y) es una funcion que depende solo de y. Una funcion de este tipo satisface la
primera de las condiciones requeridas para f(x, y).
IMPONGAMOS la segunda condici on. Se tiene, derivando f(x, y) respecto a y
N(x, y) =
f
y
(x, y)
=

y
__
M(x, y)dx + g(y)
_
=

y
__
M(x, y)dx
_
+ g

(y)
de donde se obtiene que la funci on g(y) debe ser
g(y) =
_ _
N(x, y)

y
__
M(x, y)dx
__
dy
Por lo tanto,la funcion potencial buscada es
f(x, y) =
_
M(x, y)dx +
_ _
N(x, y)

y
M(x, y)dx
_
dy
.
Ejemplo 1.4.8 Con el nuevo metodo, calcular una funcion potencial del campo del
ejemplo 11 F : IR
2
IR
2
, F(x, y) = (x + y
2
, 2xy).
38
Solucion.-
Puesto que
M
y
= 2y =
N
x
y el dominio de F es el conjunto abierto convexo IR
2
,
luego el campo F es conservativo.
Hallemos una funcion potencial para F, digamos una funcion f : IR
2
IR tal
que
f
x
(x, y) = M(x, y) = x + y
2
,
f
y
(x, y) = N(x, y) = 2xy
De la primera de estas expresiones obtenemos que
f(x, y) =
_
(x + y
2
)dx + g(y) =
1
2
x
2
+ xy
2
+ g(y)
Derivando respecto de y; usando la segunda de las condiciones establecidas para f
se tiene
f
y
(x, y) = 2xy + g

(y) = 2xy
de donde g

(y) = 0 y as, la funcion g(y) es una constante, que podemos tomar como
0.
Por lo tanto, una funcion potencial para el campo F es f)x, y =
1
2
x
2
+ y
2
Pudimos haber partido de la segunda de las condiciones requeridas para f; es
decir,
f
y
(x, y) = N(x, y) = 2xy, para obtener
f(x, y) =
_
2xydy + h(x) = xy
2
+ h(x)
Derivando respecto a x y y y usando la primera de las condiciones de f se obtiene
f
x
(x, y) = y
2
+ h

(x) = x + y
2
de donde h

(x) = x, de manera que h(x) =


1
2
x
2
.
Nuevamente, concluimos que una funcion potencial de F es f(x, y) = x
2
y +
h(x) = xy
2
+
1
2
x
2
.
Las ideas establecidas anteriormente para obtener funciones potenciales de cam-
pos conservativos en IR
2
, se extiende el caso n = 3, veamos el siguiente:
Ejemplo 1.4.9 Retomando el campo del ejemplo 13, F : IR
3
IR
3
, dado por
F(x, y, z) = (3y
2
z + ye
x
, 6xyz + e
x
, 3xy), calcular una funcion potencial de F.
Solucion.-
Ya hemos visto que F es un campo conservativo.
39
Hallemos una funcion potencial para F, digamos una funcion f : IR
3
IR de
modo que
grad f(x, y, z)
_
f
x
,
f
y
,
f
z
_
= F(x, y, z)
Es decir , que
f
x
= 3y
2
z + ye
x
,
f
y
= 6xyz + e
x
,
f
z
= 3xy
2
De la primera de estas expresiones se obtiene
f(x, y, z) =
_
(3y
2
z + ye
x
)dx = 3y
2
zx + ye
x
+ g(x, y, z)
Derivando est expresion respecto a ym tambien respecto a z usando las dos
condiciones restantes para f nos queda.
f
y
= 6xyz + e
x
+
g
y
= 6xyz + e
x
f
z
= 3xy
2
+
g
z
= 3xy
2
de donde
g
y
=
g
z
= 0, luego g(y, z) es una funcion constante, que podemos toma
como cero.
Por lo tanto, una funcion potencial para F es f(x, y) = 3xy
2
z +e
x
(ver ejemplo
13).
Terminamos esta secci on con algunos comentarios acerca de las cond9icioens mas
generales sobre las condiciones de igualdad entre las derivadas parciales de las fun-
ciones coordenadas del campo F establecidas en el teorema 1.4.2 que son, adem as
de ser necesarias, sucientes para garantizar p que el campo F sea conservativo. La
FORMA del dominio U (su estructura topologica) donde esta denido F es funda-
mental para tener la armacion recproca del teorema 1.4.2.
Ya se vio que si U es convexo, las condiciones mencionadas son sucientes. Sin em-
bargo, esta suciencia se tiene tambien con condiciones mas generales que la convex-
idad de U. La propiedad topologica que debe poseer U es la de convexidad simple.
En el espacio IR
2
, podemos pensar de manera intuitiva un conjunto simplemente
conexo como un conjunto que no tiene hoyos. De otro modo, si pensamos en el con-
junto U que tenga por frontera una curva cerrado simple C (la imagen de un camino
cerrado simple, tal como fue denido en el ejemplo 1), este conjunto sera simple-
mente conexo si el interior de C esta contenido en U. De modo mas preciso, llegar
a establecer con exactitud lo que signica el interior a una curva cerrada simple,
es una labor que, en principio, tiene que ser apoyada por el celebre Teorema de la
Curva de Jordan, en el cual establece que toda curva cerrada simple C en el plan,
separa a este en dos subconjuntos, uno acotado llamado INTERIOR a C, y otro no
acotado llamado EXTERIOR a C, de los cuales la curva es la frontera com un.
40
a) b)
Figura 1.15: a) Conjunto simplemente conexo. b) Conjunto no simplemente conexo
exteriordeC
C
interiordeC
Figura 1.16: Teorema de la curva de Jordan
Se nota que (en IR
2
) un conjunto convexo es simplemente conexo, pero esta ulti-
ma propiedad es mucho mas general que la convexidad.
La gura siguiente ilustra estos hechos
Enunciamos el resultado mas general de esta seccion, que mejora al teorema
1.4.4.
Teorema 1.4.6 Sea F : U IR
n
IR
n
, F = (F
1
, F
2
, . . . , F
n
) un campo de clase
C
k
, k 1, denido en el abierto simplemente convexo U de IR
n
. Una condici on
necesaria y suciente para que el campo F sea conservativo es que
f
i
(x)
x
j
=
F
j
(x)
x
i
,
para todo x U, 1 i j n.
1.5. Integrales de Lnea respecto a la Longitud de
Arco
En esta seccion estudiaremos integrales de lnea sobre caminos en el espacio, de
funciones reales denidas en alg un subconjunto abierto de IR
n
. Presentaremos la
denici on y las propiedades de estas integrales y luego algunas de sus aplicaciones.
41
a) b)
Figura 1.17: a) Conjunto convexo (simplemente convexo). b) Conjunto convexo que
no es convexo.
Denici on y Propiedades
Antes de establecer formalmente la denici on de integral de lnea con respecto a
la longitud de arco, consideremos un par de ejemplos preliminares.
Ejemplo 1.5.1 Determinar la masa total del alambre.
Solucion.-
Sea l un alambre en el plano o en el espacio, con densidad lineal (en gr/cm) en
cada punto, dado por la funcion : l IR que asocia a cada punto p l, el n umero
real (p) = densidad lineal del alambre en p. Sea l la imagen de un camino (regular,
de clase C
1
y simple) [a, b] IR
2
o IR
3
.
i) Si la densidad del alambre es constante, digamos
0
gr/cm, el problema se
resuelve inmediatamente multiplicando
0
por la longitud total del alambre
L
l
, donde
L
l
=
_
b
a

(t)dt
Por lo tanto, la masa total del alambre M
l
es
M
l
=
0
L
l
=
0
_
b
a

(t)dt
ii) Si la densidad lineal del alambre es variable.
Tomemos una particion P del intervalo [a, b] como sigue
a = t
0
< t
1
< t
2
< < t
n1
< t
n
= b
A esta particion corresponde una particion en l, digamos p
0
< p
1
< p
2
< <
p
n1
< p
n
, en donde p
i
= (t
i
) l, i = 0, 1, 2, . . . , n. En cada subintervalo
[t
i1
, t
i
] de la particion de [a, b] tomemos un punto arbitrario
i
. A este punto
42
[ ]
a b
t
1
t
2
t
n-1
(a)
(b)
()
()
() t
1
t
2
t
n-1

Figura 1.18: La particion P de [a, b] y la particion correspondiente de l.

i
[t
i1
m, t
i
] corresponde el punto
i
= (
i
) l el cual se encuentra entre
p
i1
y p
i
.
La masa del alambre entre los puntos p
i1
y p
i
es aproximadamente igual
a la densidad del alambre en
i
multiplicada por la longitud del alambre
entre esos dos puntos. Es decir M
i
= masa del alambre entre p
i1
y p
i

(
i
)
_
t
i
t
i1

(t)dt.
Siguiendo el teorema de valor medio para integrales podemos escribir que
M
i
(
i
)(
i
)
_
t
i
t
i1

(t)dt (
i
)

(
i
)(t
i
t
i1
) de modo que, con

i
= (
i
), la masa total del alambre se puede escribir como
M
l

n

i=1
M
i

n

i=1
((
i
))

(
i
)(t
i
t
i1
)

Esta es un expresion tpica de sumas de Riemann para la funci on : [a, b] IR,


(t) = ((t))

(t), cuyo paso al lmite cuando n tiende al innito, nos da


el valor exacto de la masa total
M
l
= lm
n

((
i
))

(
i
)(t
i
t
i1
)
=
_
b
a
((t))

(t)dt
Por lo tanto, la masa total del alambre l es
M
l
=
_
b
a
((t))

(t)dt
Ejemplo 1.5.2 Si en un estanque lleno de algas se deposita un pez que se alimenta
de algas, entonces determinar la cantidad de algas que el pez come en su recorrido.
43
Solucion.-
Veamos el estanque como un subconjunto de IR
3
. el pez cuando va a comer
siempre comienza a nadar en un determinado punto del estanque y luego sigue una
trayectoria (curva) l que se puede considerar como la traza de un camino (de clase
C
1
) [a, b] IR
3
. Sea (l IR) una funcion que dene la densidad lineal (gr/cm)
de algas sobre la trayectoria l del pez.
i) Si la densidad de algas en el estanque es constante, o al menos constante sobre
la trayectoria que el pez sigue, entonces la cantidad total de algas que el pez
come se obtiene como el producto de la densidad constante por la longitud de
la trayectoria (curva) que el pez recorre.
ii) Si la densidad es variable sobre la trayectoria del pez, un argumento analogo
al presentado en el ejemplo anterior nos conduce a que la cantidad local de
algas que el pez esta dada por:
_
b
a
((t))

(t)dt
Denicion 1.5.1 Sea f : U IR
n
IR una funcion real continua denida en el
abierto U de IR
n
y sea : [a, b] IR
n
un camino de clase C
1
tal que [a, b] U.
Se dene la integral de lnea con respecto a la longitud de arco de la funci on f a lo
largo del camino (o sobre ), denotada por
_

fds, como:
_

fds =
_
b
a
f((t))

(t)dt
Comentarios:
1. Se nota que la hipotesis de continuidad de la funcion f y de la clase de difer-
enciabilidad del camino en la denici on anterior, garantizan la existencia de
la integral denida.
En efecto, en tal caso la funcion (t) = f((t))

(t) es continua en [a, b] y


por lo tanto integrable.
2. La denici on anterior sirve para caminos que son seccionalmente C
1
. En este
caso podemos escribir =
1
+
2
+ +
k
, donde cada uno de los caminos

i
es de clase C
1
y entonces
_

fds =
k

i=1
_

i
fds.
3. La terminologa usada para designar este nuevo tipo de integrales de lnea se
puede justicar viendo la relacion entre estas nuevas integrales de lnea y la
integrales de lnea que hemos estudiado en la secci on 1.3.
En efecto, consideremos un campo continuo f : U IR
n
IR
n
un camino
regular de clase C
1
cuya imagen esta contenida en U.
44
La integral de lnea del campo F a lo largo del camino es
_

Fd =
_
b
a
F((t))

(t)dt
=
_
b
a
F((t))

(t)

(t)

(t)dt
=
_

fds
donde F : U IR
n
IR es tal que f((t)) = F((t))

(t)
(t)
.
Se nota que los valores de la funcion f en los puntos (t) de la traza de
son las componentes ortogonales de los vectores F((t)) sobre los vectores
velocidad normalizados del camino . Denotemos como T(t) al vector tan-
gente unitario a la curva , podemos escribir a f como f = F T ( o sea que
f((t)) = F((t)) T(t)).
Recordando que para el camino se tiene denida su longitud del punto inicial
(a) a un punto (t) cualquiera como
s = s(t) =
_
t
a

(u)du
Se tiene, por el teorema fundamental del calculo, que ds = |

(t)|dt. As pues,
el smbolo ds que aparece en la notacion de las integrales de lnea de la fun-
cion f, es de hecho la diferencial de la longitud de arco del camino , siendo
entonces esta longitud de arco la variable de integracion en la integral
_

fds.
En resumen, la integral del campo F a lo largo de ,
_

Fds, es la misma que


la integral de lnea respecto a la longitud de arco
_

fds =
_

F Tds de la
funcion f que asocia en cada punto (t) del camino la componente ortogonal
F T del campo F sobre el vector velocidad

(t) (el vector tangente unitario


T(t)).
4. Se nota que si tomamos la funcion constante f : IR
n
IR, f(x) = 1, entonces
_

fds =
_

ds =
_
b
a

(t)dt, longitud del camino


Comparemos esto con los hechos ya considerados en el estudio de integrales
dobles y triples, donde si se integraba la funci on constante 1, el resultado era
(numericamente) igual a la medida de la region de integracion J; es decir, el
area de J IR
2
en el caso de integrales dobles, o el volumen de J IR
3
en la
caso de integrales triples. En nuestro caso se tiene una situacion completamente
45
analoga. al calcular la integral de lnea respecto a la longitud de arco de la
funcion f(x) = 1 se obtiene la medida de la region de integraci on, que es la
longitud del camino sobre el que estamos integrando.
Veamos algunos ejemplos.
Ejemplo 1.5.3 Calcular la integral de lnea de la funcion f : IR
2
IR, f(x, y) =
xy, a lo largo del camino : [0, 1] R
2
, (t) = (t, t
2
).
Solucion.-
Como
_

fds =
_
b
a
f((t))

(t)dt se tiene
_

xyds =
_
1
0
(t)(t
2
)(1, 2t)dt
=
_
1
0
t
3

1 + 4t
2
dt, para 1 + 4t
2
= u
2
=
1
16
_

5
0
u
2
(u
2
1)du
=
1
16
_
1
5
u
5

1
3
u
3
_

5
1
=
1
16
__
5

5
5
3

5
_

_
1
5

1
3
__
=
1
16
_
10
3

5 +
2
15
_
=
5

5
24
+
1
120

xyds =
5

5
24
+
1
120
Ejemplo 1.5.4 Calcular la integral de lnea de la funcion f(x, y) = xy sobre el
camino.
: [0, 1] IR
2
, (t) = (1 t, (1 t)
2
)
Solucion.-
Por denici on siendo

(t) = (1, 2(1 t)):


_

xyds =
_
1
0
(1 t)(1 t)
2
_
1 + 4(1 t)
2
dt, haciendo T = 1 t
=
_
1
0
T
3

1 + 4T
2
dT, por el ejemplo anterior
=
5

5
24
+
1
120
Por lo tanto
_

xyds =
5

5
24
+
1
120
46
Comentario: Se nota que el camino considerado en este ejemplo es el negativo
del camino del ejemplo anterior; es decir, recorre la misma imagen que pero
en sentido inverso. As, con este par de ejemplos podemos concluir que
_

xyds =
_

xyds =
_

xyds
.
Esta es una propiedad general de integrales de lnea respecto a la longitud de
arco. Estas integrales no cambian de signo (como lo hacen las integrales de lnea de
campos vectoriales) al cambiar la orientacion del camino sobre el que se esta inte-
grando.
Teniendo en cuenta los ejemplos preliminares, es claro que la masa total del alam-
bre (en el ejemplo 1.5.1) sera la misma si la calculamos de ida que de regreso,
o bien, que el el pez como algas (ejemplo 1.5.2) como la misma cantidad de algas
recorriendo su trayectoria en un sentido que en el inverso.
Ejemplo 1.5.5 Calcular la integral de lnea de la funcion f : IR
2
IR, f(x, y) =
x
2
+ y
2
sobre el camino : [, ] IR
2
, (t) = (sen(t/2), cos(t/2)).
Solucion.-
Se observa que este camino recorre una vez la semicircunferencia superior de x
2
+
y
2
= 1 en sentido antihorario. Como f((t)) = 1 y

(t) =
_

1
2
cos
_
t
2
_
,
1
2
sen
_
t
2
_
_
:
_

fds =
_

(t)dt
=
_

_
_
_
_
_

1
2
cos
_
t
2
_
,
1
2
sen
_
t
2
_
__
_
_
_
dt
=
1
2
_

dt
=
Por lo tanto
_

fds =
Ejemplo 1.5.6 Calcular la integral de lnea de la funcion f : IR
2
IR, f(x, y) =
x
2
+ y
2
sobre el camino : [, ] IR
2
, (t) = (cos(t
2
/), sen(t
2
/))
Solucion.-
Se nota que el camino tiene la misma traza que el camino del ejemplo 1.5.5,
pero esta es recorrida dos veces; va del punto () = (1, 0) al punto (0) = (1, 0)
47
por la semicircunferencia unitaria superior, y luego regresa al punto () = (1, 0)
_

fds =
_

f((t))

(t)dt, como f((t)) = 1


=
_

(t)dt
=
_

_
_
_
_
_
2t

sen
_
t
2

_
,
2t

cos
_
t
2

_
__
_
_
_
=
2

|t|dt
=
4

_

0
tdt
=
2

_
t
2

0
=
2
2

= 2

dfs = 2
Comentario: Se observa que el camino recorre dos veces a la traza del camino
y que
_

fds = 2
_

fds
Esta sera tambien otra propiedad importante de la integrales de lnea, respecto
a la longitud de arco. Piense en el ejemplo 1.5.2 si el pez recorre dos veces la misma
trayectoria, es claro que comera el doble de algas.
Las integrales de lnea de funciones reales respecto a la longitud de arco tienen la
propiedad de linealidad: si f, g : IR
n
IR son dos funciones continuas denidas en el
abierto U de IR
n
y : [a, b] IR
n
es un camino seccionalmente C
1
con ([a, b]) U,
entonces _

(f + kg)ds =
_

fds +
_

gds
de donde k IR.
Teorema 1.5.2 Sea f : U IR
n
IR una funcion continua denida en el abierto
U de IR
n
. Sea : [a, b] IR
n
un camino de clase C
1
, tal que ([a, b]) U y sea :
[c, d] IR
n
una reparametrizaci on de , digamos =

, donde : [c, d] [a, b]


es una funcion sobreyectiva de clase C
1
tal que

(t) = 0, t [c, d].


_

fds =
_

fds
48
Demostracion: Se tiene
_

=
_
d
c
f((t))

(t)dt
=
_
d
c
f(((t)))

((t))

(t)dt
=
_
d
c
f(((t)))

((t))|

(t)|dt (1.9)
Si

(t) > 0, t [c, d], se tiene que (c) = a, (d) = b.


Haciendo u = (t) en la expresion (1.9), se tiene du =

(t)dt = |

(t)|dt, de
modo que
_
b
a
f((u))

(u)ds =
_

fds.
Si (

t) < 0, t [c, d], se tiene (c) = b, (d) = a. Haciendo u = (t) en la


expresion (1.9), se tiene du =

(t)dt = |

(t)|dt, de modo que


=
_
b
a
f((u))

(u)(du) =
_
b
a
f((u))

(u)du
=
_

fds

Comentarios:
1. La integral de lnea respecto a la longitud de arco es invariante por reparametrizacion
del camino.
2. Las integrales de lnea con respecto a la longitud de arco tienen un car acter
acumulativo en el sentido de que, si el recorrido de la traza del camino sufre
alg un regreso, este se acumula hacia el valor de la integral (como ocurrio con
los ejemplos 1.5.5 y 1.5.6); en contraste, la integral de lnea de un campo vec-
torial no tiene caracter acumulativo. Esta armacion se verica en el siguiente
ejemplo.
Ejemplo 1.5.7 Sea : [1, 1] IR
n
un camino de clase C
1
que recorre su traza
de manera inyectiva y : [1, 1] IR
n
un camino con la misma traza que , el
cual recorre n-veces. Si f : U IR
n
IR es una funcion continua en el abierto U
de IR
n
tal que [1, 1] U, entonces
_

fds = n
_

fds.
Solucion.-
Para lograr el camino , necesitamos componer con una funcion : [1, 1]
[1, 1] con las siguientes caractersticas:
a) es de clase C
1
y es sobreyectiva.
49
b) Se da una particion del intervalo [1, 1], digamos
1?t
0
< t
1
< t
2
< < t
n1
< t
n
= 1
tal que
b1) La funcion enva cada subintervalo [t
i1
, t
i
] sobre [1, 1].
b2) (t) es de signo constante en cada subintevalo < t
i1
, t
i
>.
As, el camino =

: [1, 1] IR
n
es de clase C
1
y recorre la traza
de n-veces, a saber, una vez en cada subintervalo J
i
= [t
i1
, t
i
] de ida si
(t) > 0en < t
i1
, t
i
>, o de regreso si (t) > 0 en < t
i1
, t
i
>.
Entonces, se tiene
_

fds =
_
1
1
f((t))

(t)dt
=
_
1
1
f(

)(

(t)dt
=
_
1
1
f(((t)))

((t))|

(t)|dt
=
n

i=1
_
t
i
t
i1
f(((t)))

((t))|

(t)| (1.10)
Si

(t) > 0 en [t
i1
, t
i
], entonces (t
i1
) = 1, (t
i
) = 1; de modo que
_
t
i
t
i1
f(((t)))

((t))|

(t)|dt =
_
1
1
f((u))

(u)du cuando u = (t)


=
_

fds
Si (t) < 0 en [t
i1
, t
i
], entonces (t
i1
) = 1, (t
i
) = 1 de modo que
_
t
i
t
i1
f(((t)))

((t))|

(t)|dt =
_
1
1
f((u))

(u)(du) cuando u = (t)


=
_
1
1
f((u))

(u)du
=
_

fds (1.11)
De (1.11) y (1.11) en (1.10), concluimos que
_

fds =
n

i=1
_

fds =
_

fds.
Se deja como ejercicio dar un argumento similar que muestre que la integral de
lnea de un campo F : U IR
n
IR
n
a lo largo de es igual a cero (si n es par) o
coincide con la integral de F a lo largo de (si n es impar).
50
Aplicaciones
Como ya vimos en el ejemplo 1.5.1, conociendo la densidad lineal de un alambre
en el espacio, dada por la funci on = (x, y, z) (en gr/cm), y el camino : [a, b]
IR
3
en cuya imagen se encuentra el alambre, entonces su masa total se calcula por
M =
_

ds
Ejemplo 1.5.8 Calcular la masa total de un alambre cuya forma es al de la imagen
de la helice : [0, 2] IR
3
, (t) = (cos t, sent, t), si la densidad en cada punto es
proporcional al cuadrado de la distancia del punto al origen, valiendo 1 gr/cm en al
punto inicial (0) = (1, 0, 0)
Solucion.-
Sea M la masa total del alambre. Por la condicion del problema, la funcion
densidad (x, y, z) = k(x
2
+y
2
+z
2
), donde k es la constante de proporcionalidad, la
cual se calcula usando (1, 0, 0) = 1, luego k = 1. Entonces (x, y, z) = x
2
+y
2
+z
2
y
M =
_

ds =
_
2
0
((t))

(t)dt
=
_
2
0
(cos
2
t + sen
2
t + t
2
)
_
(sen t)
2
+ (cos t)
2
+ (1)
2
dt
=
_
2
0
(1 + t
2
)

2dt
= 2

2
_
1 +
4
3

2
_
M = 2

2
_
1 +
4
3

2
_
gr.
Consideremos un alambre en el plano, que sea imagen del camino : [a, b] IR
2
con funcion densidad (x, y) gr/cm.
Los resultados del comportamiento mecanico del alambre son:
1. Los momentos estaticos del alambre en relaci on a los ejes x e y, M
x
y M
y
respectivamente, se calculan como
M
x
=
_

y(x, y)ds, M
y
=
_

x(x, y)ds
2. El centro de masa del alambre se encuentra en el punto ( x, y), donde
x =
M
y
M
=
_

x(x, y)ds
_

(x, y)ds
, y =
M
x
M
=
_

y(x, y)ds
_

(x, y)ds
51
3. El momento de inercia I
L
del alambre respecto de una eje L, cuya distancia al
punto (x, y) (perteneciendo al alambre) que resulta (x, y), es
I
L
=
_

2
(x, y)(x, y)ds
Si el alambre esta en IR
3
y es imagen del camino : [a, b] IR
3
, con funcion
densidad = (x, y, z), los resultado analogos a los anteriores son los siguientes:
1. Momentos estaticos respecto a los planos coordenados xy, xz, yz
M
xy
=
_

z(x, y, z)ds, M
xz
=
_

y(x, y, z)ds, M
yz
=
_

x(x, y, z)ds
2. El centro de masa del alambre se encuentra en ( x, y, z), donde
x =
M
yz
M
=
_

x(x, y, z)ds
_

(x, y, z)ds
, y =
M
xz
M
=
_

y(x, y, z)ds
_

(x, y, z)ds
, x =
M
xy
M
=
_

z(x, y, z)ds
_

(x, y, z)ds
3. El momento de Inercia I
L
respecto del eje L, cuya distancia al punto (x, y, z)
del alambre es (x, y, z), esta dado por I
L
=
_

2
(x, y, z)(x, y, z)ds.
Ejemplo 1.5.9 Calcular el centro de masa de un alambre homogeneo en forma de
la semicircunferencia y =

r
2
x
2
.
Solucion.-
Un camino cuya imagen es esta semicircunferencia es : [0, ] IR
2
, (t) =
(r cos t, r sen t). El centro de masa del alambre esta en ( x, y), donde
x =
_

xds
_

ds
=
1
r
_

0
(r cos t)(r)dt =
r

[sent]

0
= 0;
y =
_

yds
_

ds
=
1
r
(r sent)(r)dt =
r

[cos t]

0
=
2r

Por lo tanto, el centro de masa del alambre esta en (0, 2r/)


Ejemplo 1.5.10 Calcular los momentos de inercia del alambre homogeneo de den-
sidad
0
gr/cm, imagen del camino : [a, a] IR
2
, (t) = (t, cosht), respecto a
los ejes coordenados.
Solucion.-
52
Por denici on, se tiene:
I
x
=
_

y
2

0
ds =
_
a
a
cosh
2
t
_
1 + senh
2
tdt
=
0
_
a
a
cosh
3
tdt
=
0
_
a
a
(1 + senh
2
t) cosh tdt
=
0
[senht +
1
3
senh
3
t]
a
a
= 2(senh a)
_
1 +
1
3
senh
2
a
_
(1.12)
I
y
=
_

x
2

0
ds =
0
_
a
a
t
2
_
1 + senh
2
tdt
=
0
_
a
a
t
2
cosh tdt
= 2
0
_
a
a
t
2
cosh tdt
= 2
0
_
(t
2
+ 2) senh t 2t cosh t

a
0
= 2
0
_
(a
2
+ 2) senh a 2a cosh a

(1.13)
Por lo tanto, los momentos de inercia del alambre respecto al eje X e Y , estan
dados en (1.12) y (1.13), respectivamente.
Ejercicio.- Vericar que I
y
< I
x
y dar su interpretacion fsica.
Ejemplo 1.5.11 Calcular el cento de masa del alambre, en forma de la helice :
[0, 2] IR
3
, (t) = (cos t, sent, t), cuya funcion densidad es (x, y, z) = x
2
+y
2
+
z
2
.
Solucion.-
En el ejemplo 1.5.8, ha sido calculada la masa total del alambre y es M =
(2

2)
_
1 +
4
3

2
_
gr.
Ahora, calculemos los momentos estaticos del alambre respecto a los planos co-
ordenados.
M
xy
=
_

z(x, y, z)ds =
_
2
0
t(cos
2
t + sen
2
t + t
2
)

2dt
=

2
_
2
0
t(1 + t
2
)dt
= 2

2
2
(1 + 2
2
) (1.14)
53
M
xz
=
_

y(x, y, z)ds =
_
2
0
(sen t)(cos
2
t + sen
2
t + t
2
)

2dt
=

2
_
2
0
(sent)(1 + t
2
)dt
=

2
_
(1 + t
2
) cos t + 2t sent + 2 cos t

2
0
= 4

2
2
(1.15)
M
yz
=
_

x(x, y, z)ds =
_
2
0
(cos t)(cos
2
t + sen
2
t + t
2
)

2dt
=

2
_
2
0
(cos t)(1 + t
2
)dt
=

2
_
(1 + t
2
) sen t + 2t cos t 2 sen t

2
0
= 4

2 (1.16)
Entonces el centro de masa del alambre esta en el punto ( x, y, z), por (1.14),
(1.15) y (1.16) se tiene:
x =
M
yz
M
=
_

x(x, y, z)ds
_

(x, y, z)ds
=
4

2
2

2
_
1 +
4
3

2
_ =
2
1 +
4
3

2
;
y =
M
xz
M
=
_

y(x, y, z)ds
_

(x, y, z)ds
=
4

2
2
2

2
_
1 +
4
3

2
_ =
2
1 +
4
3

2
;
z =
M
xy
M
=
_

z(x, y, z)ds
_

(x, y, z)ds
=
2

2
2
(1 + 2
2
)
2

2
_
1 +
4
3

2
_ =
(1 + 2
2
)
1 +
4
3

2
que corresponde aproximadamente al punto (0.141248,-0.443744,4.60145).
Con una funcion continua f : U IR
n
IR denida en el abierto U de IR
n
, y un
camino de clase C
1
, : [a, b] IR
n
, tal que ([a, b]) U, denimos el valor medio
de la funcion f sobre el camino , denotando por

f

, como

=
1
L

fds
donde L

es la longitud del camino ; es decir,


L

=
_

ds =
_
b
a

(t)dt
Ejemplo 1.5.12 Calcular la densidad media del alambre del ejemplo 1.5.8, imagen
de la helice : [0, 2] IR
3
dada por (t) = (cos t, sent, t), cuya funcion densidad
es (x, y, z) = x
2
+ y
2
+ z
2
.
Solucion.-
Vamos a hallar el valor medio de la funcion densidad a lo largo de .
54
La longitud de (en cm) es
L

=
_

ds =
_
2
0
(sent, cos t, 1)dt
=
_
2
0

2dt
= 2

2 (1.17)
Por otra parte, la integral de la funcion densidad respecto a la longitud de arco a
lo largo de es precisamente la masa total del alambre que se calcul o en el ejemplo
1.5.8. Es decir
_

ds = (2

2)
_
1 +
4
3

2
_
gr (1.18)
De (1.17) y (1.18), la densidad media del alambre es

=
1
L

ds = 1 +
4
3

2
fr/cm
Ejemplo 1.5.13 Consideremos la funci on f(x, y) =
_
R
2
x
2
y
2
denida en
U = {(x, y)/ x
2
+ y
2
R
2
} IR
2
. Sea : [R, R] IR
2
, (t) = (t, 0), entonces
calcular el valor medio de f sobre .
Solucion.-
Por denici on, el valor pedido es

=
1
L

fds =
1
2R
_
R
R
f((t))

(t)dt
=
1
2R
_
R
R

R
2
t
2
dt
=
1
2R
(area del semicrculo de radio R)
=
1
2R
_
R
2
2
_
=

4
R
El valor medio de f sobre es

4
R.
Otra interesante aplicacion de las integrales de lnea con respecto a la longitud
de arco, esta relacionada con el siguiente problema: supongamos una barda de altura
constante h levantada sobre el plano XY , de modo que su base (la proyecci on de
la barda sobre el plano XY ), es una curva, imagen de un camino de clase C
1
dado. En este caso EL

AREA DE LA BARDA es el producto de la longitud del
camino por la altura constante h. Supongamos ahora que la altura de la barda es
variable, digamos que es una funcion f que a cada punto (t) = (x, y) de la imagen
del camino , asocia un valor real no negativo f((t)) = altura de la barda en (t).
En este caso, el area A de la barda se puede calcular integrando la funci on altura f
sobre el camino .
Es decir, A =
_

fds.
55
[ ]
a
b
z
=
f(x,y)

(a) (b)
Figura 1.19: La integral de lnea de f a lo largo de , como un area
Ejemplo 1.5.14 Imaginemos un teatro en forma de tetraedro, como el formado por
los planos coordenados y el plano z =
b
a
(axy), donde b > a > 0, de modo que su
base es un triangulo isosceles que tiene vertices en el origin y en los (a, 0, 0), (0, a, 0),
y su altura es b. El escenario es circular y ocupa la region del plano XY dada por
_
(x, y) IR
n
/ x
2
+ y
2
r
2
, x 0, y 0
_
en donde r <

2
a
2
como se muestra en la siguiente gura.
X Y
Z
b
a a
r r
Figura 1.20: Cortina de un escenario circular
Si sobre el lmite del escenario se desea levantar una cortina hasta el techo del
teatro, entonces calcular el area que se cubrir a con la cortina.
Solucion.-
Aplicando matematicas a este problema vemos que se trata de integrar la funcion
f(x, y) =
b
a
(a x y) sobre el camino : [0,

2
] IR
2
, (t) = (r cos t, r sent).
56
Entonces el area A pedido es
A =
_

fds =
_
2
0
b
a
(a r cos t r sent)rdt
=
b
a
r [at r sent + r cos t]

2
0
=
br
2a
(a 4r)
El area de la cortina con que se cubrira el escenario es
br
2a
(a 4r).
1.6. La Perspectiva de la Fsica
El objetivo de esta parte es presentar algunos de estos aspectos fsicos que re-
quieren de la matematica desarrollada en este captulo para su estudio, como el
concepto de trabajo, el estudio de campos gravitacionales y electricos.
Vemos que la terminologa empleada de funciones potenciales y campos conser-
vativos queda JUSTIFICADA cuando se usa en el contexto fsico.
Recordemos que en Fsica Elemental: trabajo es igual a fuerza por la distancia,
lo cual signica que al actuar una fuerza F sobre un cuerpo, este se desplazaba una
distancia d (en la direcci on sobre la que actuaba F), el trabajo W realizado sobre
el cuerpo esta dado por W = Fd.
d
F
Figura 1.21: El concepto de trabajo en la fsica elemental
Consideremos el problema de: Determinar el trabajo realizado para desplazar un
cuerpo por una trayectoria de uno de sus puntos a otro.
Supongamos que en cada punto p = (x, y) de una region U de IR
2
act ua una
fuerza F cuyo valor depende del punto p. Escribamos entonces F = F(x, y). Ten-
emos as un campo vectorial en el conjunto U de IR
2
, F : U IR

IR
2
, el cual en
un campo de fuerzas. Si tomamos un objeto puntual, en el punto p y queremos
llevarlo a traves de F, a lo largo de una trayectoria dada, del punto p a otro punto
q de U, de modo que debemos realizar un trabajo, analogo al de fuerza por dis-
tancia para mover un cuerpo.
Ahora, el trabajo no sera mas fuerza por distancia, porque, en principio, la
fuerza F esta cambiando punto a punto en la trayectoria que describe el cuerpo.
57
Para aplicar matematicas a la solucion de este problema, vamos a suponer que
nuestro campo de fuerzas es lo sucientemente bien portado desde el punto de
vista diferenciable como para que las operaciones que hagamos a continuaci on tengan
sentido. Supongamos adem as que la trayectoria sobre la que se movera el cuerpo a
traves del campo esta dada por (la traza de) un camino : [a, b] IR
2
, cuya imagen
(que denotaremos por C) esta contenida en U, el conjunto en que se dene el campo
F. Este camino se supone tan diferenciable en cuanto se necesite. Ademas, se tiene
que (a) = p, (b) = q.
X
Y
p
q
Figura 1.22: Un punto moviendose a traves de un campo F, del punto p al punto q
Tomemos una partcula del intervalo [a, b] como sigue a = t
0
< t
1
< t
2
< <
t
n1
< t
n
= b.
A esta particion corresponde una particion de la traza del camino en IR
2
,
digamos
(a) = p = p
0
< p
1
< . . . < p
n1
< p
n
= q = (b)
donde p
i
= (t
i
), i = 0, 1, . . . , n. En cada subintervalo [t
i1
, t
i
] tomemos un punto
arbitrario
i
. Sea
i
= (
i
). El punto
i
IR
2
esta en la porcion de la curva entre

i1
y
i
. Llamamos C
i
a esta porcion de la curva C. Se tiene as que
i
C
i
. Se
observa que
1
(
i
), la derivada del camino en , es un vector tangente a la curva
C en el punto
i
. Consideremos ahora al vector

F
i
= Proy
F(
i
)

(
i
)
proyecci on ortogonal
del vector F(
i
) como suma de

F
i
y su otra componente ortogonal, resulta clare que
solamente el vector

F
i
es la parte del vector F(
i
) RESPONSABLE del trabajo
que se realiza en el recorrido del punto p sobre la curva C, pues esta es la parte
en la direcci on tangencial (que marca la direccion del desplazamiento del punto que
recorre la curva) del fuerza F(
i
).
58
[ ]
a=t
0
t
1
t
i-1
t
i
t
n-1
b=t
n

i

p= (a)
p
1
p
i-1

i i
= ( )
F
i

F=( )
i

( )
i
C

Figura 1.23: La partcula de la curva C y la descomposicion del campo F en la suma


de sus componentes ortogonales, una de las cuales esta en la direccion tangencial a
la curva.
Ademas en la porcion C
i
de la curva C, podemos hacer una aproximacion del
trabajo al recorrer ese tramo de la curva, multiplicando la magnitud de la fuerza

F
i
por la distancia lineal p
i
p i 1.
Se tiene entonces que el trabajo procurado, que denotaremos por W
pq
, es aprox-
imadamente
W
pq

n

i=1

F
i
p
i
p
i1
(1.19)
Esta aproximacion sera tanto mejor cuanto n sea grande y los puntos p
i
esten mas
cerca uno del otro.

F
i
= Proy
F(
i
)

(
i
)
=
f(
i
)

(
i
)

(
i
)
2

(
i
)
La magnitud de esta fuerza es

F
i
=
F(
i
)

(
i
)

(
i
)
(1.20)
Por otra parte, la distancia lineal entre el punto p
i
= (t
i
) y el punto p
i1
= (t
i1
)
es aproximadamente igual a la longitud del camino en el intervalo [t
i1
, t
i
]. Es
decir que
p
i
p
i1

_
t
i
t
i1

(t)dt

(
i
)(t
i
t
i1
) (1.21)
donde el ultimo signo se sigue del teorema del valor medio para integrales apli-
cando a la funcion

(t) en el intervalo [t
i1
, t
i
].
De (1.20) y (1.21) en (1.19), llegamos a que una aproximaci on del valor del
59
trabajo W
pq
es
W
pq

n

i=1

Fp
i
p
i1

i=1
F(
i
)

(
i
)

(
i
)

(
i
)(t
i
t
i1
)
=
n

i=1
[F(
i
)

(
i
)](t
i
t
i1
)
Al tomar el lmite cuando n tiende a innito, obtendremos el valor del traba-
jo W
pq
buscado. Se observa que la ultima expresion se identica como la suma de
Riemmann de la funcion : [a, b] IR, (t) = F((t))

(t).
As se tiene que
W
pq
= lm
n
n

i=1
(F(
i
)

(
i
))(t
i
t
i1
)
=
_
b
a
F((t))

(t)dt
Lo cual es la integral de lnea del campo F a lo largo del camino . Esta discusion,
hecha para un campo en IR
2
es igualmente valida para un campo en IR
3
y sirve para
campos continuos y caminos seccionalmente C
1
. En resumen se tiene lo siguiente:
Sea F : U IR
2
(o IR
3
) IR
2
(o IR
3
) un campo de clase C
k
, k 0 y sea
: [a, b] IR
2
(o IR
3
) un camino seccionalmente C
1
cuya imagen esta contenida en
U. El trabajo que hay que realizar para llevar un cuerpo del punto p = (a) al punto
q = (b) por el camino a traves del campo F es igual al valor de la integral de
lnea del campo F a lo largo del camino . Es decir W
pq
=
_

F d.
Comentario.- Si consideramos la situacion elemental planteada inicialmente, con
una fuerza constante f actuando sobre un cuerpo, el cual es desplazado una distancia
d, tendramos el campo F : IR
2
IR
2
, F = (f, 0) y el camino : [0, d] IR
2
, (t) =
(t, 0) de modo que el trabajo para mover el cuerpo una distancia es:
W =
_

F d =
_
d
0
[(f)(t)

+ (0)(0)

]dt
= f
_
d
0
dt = df
Esta es la formula de la fsica elemental de trabajo.
Ejemplo 1.6.1 Consideremos el campo de fuerzas F : IR
2
IR
2
, F(x, y) = (x +
y, y). Calcular el trabajo que hay que realizar para llevar un punto desde el origen
de coordenadas p = (0, 0) hasta el punto q = (1, 1) a traves de este campo, por la
curva y = x
2
.
60
Solucion.-
La parametrizacion de la curva es el camino : [0, 1] IR
2
, (t) = (t, t
2
), luego
se tiene:
W
pq
=
_

F d
=
_
1
0
[(t + t
2
)(t)

+ (t
2
)(t
2
)

]dt
=
_
1
0
(t + t
2
+ 2t
3
)dt
=
4
3
Por lo tanto, W
pq
=
4
3
.
Justicaci on de los Terminos Funcion Potencial y
Campo Conservativo
Consideremos un campo de fuerzas F : U IR
3
IR
3
y el camino : [a, b] IR
3
cuya imagen esta en U. Tomemos una partcula de masa m que viajara por el camino
de (a) = p a (b) = q a traves de F. El trabajo realizado para efectuar tal viaje
es, como hemos visto
W
pq
=
_

F d =
_
b
a
F((t))

(t)dt
Seg un la segunda ley de Newton, el valor de la fuerza F en el punto (t) es igual
a la masa m de la partcula por su aceleraci on en ese punto (vector segunda derivada

(t)). Entonces
W
pq
=
_
b
a
F((t))

(t)dt = m
_
b
a

(t)

(t)dt
Recuerde que
d
dt

(t)
2
= 2

(t)

(t)
de modo que
W
pq
=
_
b
a
m
2
d
dt

(t)
2
dt
=
1
2
m

(b)
1
2
m

(a)
Tomando extremos
W
pq
=
1
2
m

(b)
1
2
m

(a)
61
Observe que

(t) es la longitud del vector velocidad de la partcula en el in-


stante t. Escribamos v(p) =

(a), v(q) =

(b), para denotar tales magnitudes


del vector velocidad (correspondientes a los puntos p y q, en los instantes t = a y
t = b, respectivamente). La formula se ve como:
W
pq
=
1
2
m(v(q))
2

1
2
m(v(p))
2
Los terminos que aparecen en la formula anterior (la mitad del producto de la masa
de la partcula por el cuadrado de su velocidad) se identican facilmente como EN-
ERG

IA CIN

ETICA de la partcula de masa m. As hemos establecido que el trabajo


necesario para mover una partcula de masa m por el camino del punto p = (a)
al punto q = (b) a traves del campo F es igual a la diferencia entre la energa
cinetica de la partcula en el punto q y la correspondiente en el punto p.
Supongamos ahora que el campo F : U IR
3
IR
3
es un campo conservativo.
Sea f : U IR
3
IR una funcion potencial de F, es decir, tal que grad f(x, y, z) =
F(x, y, z), para (x, y, z) U. Como se vio en el teorema 1.4.1, el valor de la integral
de lnea de F a lo largo del camino : [a, b] IR
3
es
_

F d = f((b)) f((a))
Comparando esta expresion con la obtenida anteriormente para W
pq
en terminos de
la energa cinetica de la partcula se obtiene que
1
2
m(v(p))
2
f(p) =
1
2
m(v(q))
2
f(q) (1.22)
Al escalar f() se le llama en fsica ENERG

IA POTENCIAL (de la partcula en el


punto IR
3
).
De esta manera se justica que a la funcion f : U IR
3
IR tal que grad f = F,
se le llama funcion potencial. La formula anterior (f) establece que la diferencia
de energa cinetica y la energa potencial de la partcula es la misma (es decir, se
conserva) en los puntos inicial y nal de la trayectoria.
De hecho, est diferencia es la misma en cualquier punto intermedio de la trayec-
toria de la partcula (por que?). Este es el conocido PRINCIPIO DE CONSER-
VACI

ON DE LA ENERG

IA, y por esta razon a los campos para los cuales es valido
tal principio se les llama campos conservativos.
Ejemplo 1.6.2 Hallar el trabajo que hay que realizar para llevar la masa unitaria m
de un punto r
1
= (x
1
, y
2
, z
1
) a otro r
2
= (x
2
, y
2
, z
2
) a traves del campo gravitacional
producido por una masa M.
Solucion.-
Considerando el campo gravitacional producido por un cuerpo de masa M. Colo-
quemos un objeto de masa M en el origen de coordenadas en IR
3
. En cada punto
62
(x, y, z) IR
3
{(0, 0, 0)}, un objeto de masa unitaria m sera atrado por M, aten-
diendo a la ley de gravitacion universal de Newton, con una fuerza cuya magnitud
es directamente proporcional al producto de la masa M y la masa m = 1, e inversa-
mente proporcional al cuadrado de la distancia que los separa. Puesto que M esta en
el origen, esta distancia es (x, y, z). Tenemos as un campo vectorial (el campo
gravitacional producido por la masa M) dado por F : IR
3
{(x, y, z)} IR
3
, y que
F(x, y, z) =
GM
(x, y, z)
2
donde G es la constante de gravitaci on universal. Entonces el campo F debe ser
F(x, y, z) =
GM
(x, y, z)
3
(x, y, z)
(el signo menos indica que el vector F(x, y, z) va del punto (x, y, z) al origen).
Veamos que este campo es conservativo. Para esto, exhibimos una funci on potencial
f : IR
3
{(0, 0, 0)} IR, de modo que graf f = F.
Tal funcion es f(x, y, z) =
GM
(x, y, z)
En efecto:
f
x
_
GM
_
x
2
+ y
2
+ z
2
_
=
GM
(x
2
+ y
2
+ z
2
)
3/2
x
Se obtienen expresiones similares para las derivadas parciales de f con respecto a y,
y a z. Luego
grad f(x, y, z) =
_
f
x
(x, y, z),
f
y
(x, y, z),
f
z
(x, y, z)
_
=
GM
(x
2
+ y
2
+ z
2
)
3/2
(x, y, z)
=
GM
(x, y, z)
3
(x, y, z)
= F(x, y, z)
Con ayuda de la funcion potencial f podemos establecer una formula para el
trabajo de llevar la masa unitaria m de un punto r
1
= (x
1
, y
1
, z
1
) a otro punto
r
2
= (x
2
, y
2
, z
2
) a traves del campo gravitacional producido por M. Puesto que
el campo es conservativo, el valor de tal trabajo no depende de la trayectoria que
conecta r
1
con r
2
. Seg un vimos anteriormente, este valor es igual a la diferencia de
la funcion potencial en r
2
con el correspondiente en r
1
(teorema 7.4.1).
Por lo tanto W
r
1
r
2
= f(r
2
) f(r
1
) =
GM
r
2


GM
r
1

.
Ejemplo 1.6.3 Hallar el trabajo que hay que realizar para llevar la carga q
0
de un
punto r
1
a otro punto r
2
a traves del campo electrico producido por la carga q.
63
Solucion.-
Consideremos un campo vectorial analogo al campo gravitacional discutido an-
teriormente; el campo electrico producido por una carga q negativa. Colocando es-
ta carga en el origen de IR
3
, el campo electrico producido por ella en el punto
p = (x, y, z) IR
3
{(0, 0, 0)} se obtiene como la fuerza F
p
dividida por q
0
, en la
que q
0
es una carga (unitaria) de prueba positiva colocada en el punto p, la cual
seg un la ley de coulomb, experimentara una fuerza F
p
(en este caso, de atraccion)
hacia la carga q que es encuentra en el origen, siendo (la magnitud de) esta fuerza
directamente proporcional al producto de la carga q por la carga q
0
e inversamente
proporcional al cuadrado de la distancia que las separa (es decir (x, y, z)). En-
tonces el campo electrico producido por la carga q es E : IR
3
{(0, 0, 0)} IR
3
,
E(x, y, z) =
kq
(x, y, x)
3
(x, y, z)
donde k es la constante de proporcionalidad de la ley de Coulomb. Se nota de nuevo,
por analoga con el campo gravitacional analizado anteriormente, que este campo
es conservativo, pues la funcion : IR
3
{(0, 0, 0)} IR dada por (x, y, z) =
kq
(x, y, z)
es una funcion potencial para el campo E, y que el trabajo que hay
que realizar para llevar la carga q
0
de un punto r
1
= (x
1
, y
1
, z
1
) a otro punto r
2
=
(x
2
, y
2
, z
2
) a traves de este campo es:
W
r
1
r
2
= (r
2
) (r
1
) =
kq
r
2


kq
r
1

Al valor de la funci on potencial en el punto r = (x, y, z) se llama POTENCIAL


DEL CAMPO EL

ECTRICO en ese punto.


1.7. Teorema de Green
En esta seccion estudiaremos uno de los resultados clasicos del calculo en IR
n
el
cual relaciona integrales de lnea con integrales dobles. Trabajaremos con campos
en IR
2
, F : U IR
2
IR
2
de clase C
1
, dado por F(x, y) = (M(x, y), N(x, y)) y con
cierto tipo de regiones S U, que llamaremos compactas.
Se enunciara el teorema en su forma mas general y luego se vera algunos casos
particulares importantes de el, junto con sus demostraciones.
Dejando por ahora los detalles a un lado, el teorema de Green establece la sigu-
iente igualdad entre la integral de lnea y la integral doble.
_
S
+
F =
_ _
S
_
N
x

M
y
_
dxdy
donde F = (M, N), S es una cierta region de IR
2
y S
+
es la frontera de S (imagen
del camino ) positivamente orientada, lo cual signica que esta se recorre en el
sentido antihorario, como se muestra en la siguiente gura.
64
S
S
+
X
Y
Figura 1.24: La region S IR
2
y su frontera positivamente orientada
Las dicultades tecnicas para precisar el enunciado de este teorema se presentan
al tratar de denir con rigor el TIPO de regiones S IR
2
en las cuales el resultado
es valido, y conocer lo que signica que su frontera esta positivamente orientada.
Ciertamente la region S mostrada en la gura 1.24 es una de las regiones a las que
ser reere el teorema, pero, por ejemplo, la region mostrada en la gura 1.25 cae
tambien dentro de las regiones en las que el resultado es valido.
X
Y
Figura 1.25: Una region S en la que el teorema de Green es valido
As pues, es necesario explicar lo que signica region compacta de IR
2
, las cuales
seran las regiones en las que es valido el Teorema de Green. En principio, debemos
aceptar como verdadero Teorema de la curva de Jordan el cual establece que
toda curva cerrada simple C en el plano separa a este en dos subconjuntos, uno
acotado, llamado EXTERIOR de C, de los cuales la curva C es la frontera com un.
Sea : [a, b] IR
2
un camino cerrado simple. Como siempre, llamaremos a la
traza de este camino curva cerrada simple en IR
2
, y la denotaremos por C. Seg un
el teorema de la curva de Jordan, C separa al plano IR
2
en los subconjuntos U,
interior a C y V , exterior a C.
65
Imaginemos a la curva C dibujada en el plano XY , visto en IR
3
como el plano
z = 0 e imaginemos caminando sobre la curva C de tal manera que nuestra cabeza
este en la parte positiva del eje Z. Diremos que C tiene ORIENTACI

ON POSITIVA,
lo cual escribimos como C
+
, s en nuestro recorrido siempre vemos al conjunto U,
interior a C, a nuestra izquierda. En caso contrario, diremos que C tiene orientacion
negativa y escribiremos C

. Por ejemplo, si consideramos un subconjunto acotado


convexo en IR
2
, coo el mostrado en la gura 1.24, la orientacion positiva de su
frontera es aquella que la recorre en sentido contrario a las manecillas del reloj. Esta
idea, de recorrido en sentido antihorario, ya no funciona con curvas como las de la
siguiente gura, la cual tambien esta positivamente orientada. (vea la gura 1.26)
X
Y
Figura 1.26: Una curva cerrada simple positivamente orientada
Consideremos ahora una curva cerrada simple C en IR
2
, tambien un conjunto de
curvas cerradas simples C
1
, C
2
, . . . , C
k
en IR
2
, tales que:
i) C
i
se encuentra en el interior de C, i = 1, 2, . . . , k.
ii) C
i
C
j
= , para i = j
iii) C
i
se encuentra en el exterior de C
j
, para i = j.
Al subconjunto S formado por todos los puntos (x, y) IR
2
que se encuentran en
el interior de C y en el exterior de cada una de las C
i
, i = 1, 2, . . . , k, junto con
los mismos puntos (x, y) de las curvas C, C
1
, C
2
, . . . , C
k
se le llama REGI

ON COM-
PACTA en IR
2
. Un ejemplo de este tipo de region es el que se encuentra en la gura
1.25.
La FRONTERA de la region compacta, denotada por S, es (por denici on) el
conjunto de la curva C, C
1
, , . . . , C
k
que la constituyen.
Diremos que la frontera S de ka region compacta S esta POSITIVAMENTE
ORIENTADA, lo cual escribiremos S
+
, si al recorrer las curvas C, C
1
, C
2
, . . . , C
k
de su frontera (seg un se convino anteriormente, uno mismo caminando sobre las
curvas con la cabeza en la parte positiva del eje z), la regi on S se mantiene siempre
66
a la izquierda.
De nuevo, en la gura 1.25 se muestra la region compacta S con su frontera
positivamente orientada. Otro ejemplo se encuentra en la gura siguiente
X
Y
Figura 1.27: Una region compacta en IR
2
con su frontera positivamente orientada
Ahora estamos en condiciones de enunciar el celebre teorema referido
Teorema 1.7.1 (Teorema de Green) Sea F : U IR
2
IR
2
, F = (M, N), un
campo de clase C
1
denido en el abierto U de IR
2
. Sea S U una region compacta
con su frontera S
+
positivamente. Entonces
_
S
+
F d =
_ _
S
_
N
x

M
y
_
dxdy
donde es un camino seccionalmente C
1
cuya traza es
+
.
La demostracion de este teorema en toda su generalidad, no lo haremos y que-
da como tarea de investigaci on. Sin embargo, haremos la demostracion del teorema
para regiones S que son al mismo tiempo del tipo I y del tipo II. Recordemos que
estas son regiones acotadas del plano IR
2
, las regiones del tipo I son de la forma
S = {(x, y) IR
2
/
1
(y) x
2
(y), c y d} donde
1
,
2
: [c, d] IR son
funciones continuas, de modo que
1
(y)
2
(y), y [c, d].
Comencemos estableciendo un par de resultados previos a la demostracion del
teorema 1.7.1.
Teorema 1.7.2 Sea f : U IR
2
IR una funcion real denida en el abierto U de
IR
2
, de clase C
1
, y sea S U la region (del tipo I).
S = {(x, y) IR
2
/ a x b,
1
(x) y
2
(x)}
entonces
_
S
+
F d =
_ _
S
f
y
dxdy
donde F : U IR
2
IR
2
es el campo F = (f, 0), es un camino cuya traza es la
frontera de S positivamente orientada, S
+
.
67
Demostracion: La region S se muestra en la gura
X
Y
x=a x=b
S
y= (x)
2
y= (x)
1

1
Figura 1.28: Region S IR
2
del tipo I.
El camino se puede toma como =
1
+
2
+
3
+
4
, de modo que las trazas
de cada uno de estos caminos
i
sea uno de los cuatro lados de la frontera S
+
.
Sean

1
: [a, b] IR
2
,
1
(t) = (t
1
,
1
(t));
1
recorre el lado inferior.

2
[
1
(a),
2
(b)] IR
2
,
2
(t) = (b, t);
2
recorre el lado derecho.

3
: [a, b] IR
2
,
3
(t) = (a +b t,
2
(a +b t));
3
recorre el lado superior.

4
: [
1
(t),
2
(t)] IR
2
,
4
(t) = (a,
1
(a) +
2
(a) t);
4
recorre el lado
izquierdo.
Se tiene entonces
_
S
+
F d =
_

F d =
4

i=1
_

i
F d
(cada uno de los caminos
i
es de clase C
1
, el camino es, por lo tanto, seccional-
mente C
1
).
Observe que si i = 2 o 4, se tiene
_

i
F d =
_

[f(
i
(t))(0) + (0)(1)]dt = 0
(donde =
1
(b), =
2
(b), si i = 2 o =
1
(a), =
2
(a), si i = 4), de modo
que
_
S
+
F d =
_

1
F d +
_

2
F d
68
Desarrollando el segundo miembro
_

1
F d +
_

2
F d =
_
b
a
f(t,
1
(t))dt +
_
b
a
f(a + b t,
2
(a + b t))(1)dt
=
_
b
a
f(t,
1
(t))dt
_
b
a
f(t,
2
(t))dt
=
_
b
a
[f(t,
2
(t)) f(t,
2
(t))]dt
=
_
b
a
_
_

2
(t)

1
(t)
f
y
dy
_
dt
=
_ _
S
f
y
dxdy
Por consiguiente
_
S
+
F d =
_ _
S
f
y
dxdy
Teorema 1.7.3 Sean F : U IR
2
IR una funcion real denida en el abierto U
de IR
2
, de clase C
1
, y sea S U la region (del tipo II).
S = {(x, y) IR
2
/
1
(y) x
2
(y), c y d}
entonces
_
S
+
F d =
_ _
S
f
x
dxdy
donde F : U IR
2
IR
2
es el campo F = (0, f), es un camino cuya traza es la
frontera de S positivamente orientada, S
+
.
Demostracion: El argumento es analogo al del teorema anterior, as que omiti-
mos los comentarios y escribimos solo lo necesario. En este caso la region S se ve
como la gura 1.29
X
Y
y=d
x= (y)

1
S
y=c
x= (y)

1
Figura 1.29: Region S IR
2
del tipo II.
69
Se tiene =
1
+
2
+
3
+
4
, donde

1
: [
1
(c),
2
(c)] IR
2
,
1
(t) = (t, c)
: [c, d] IR
2
,
2
(t) = (
2
(t), t)
: [
1
(d),
2
(d)] IR
2
,
3
(t) = (
1
(t) +
2
(d) t + d)

4
: [c, d] IR
2
,
4
(t) = (
1
(c + d t), c + d t)
Entonces
_
S
+
F d =
_

F d =
n

i=1
_

i
F d
=
_

2
F d +
_

4
F d
=
_
d
c
f(
2
(t), t)dt +
_
d
c
f(
1
(c + d t), c + d t)(1)dt
=
_
d
c
f(
2
(t), t)dt
_
d
c
f(
1
(t), t)dt
=
_
d
c
[f(
2
(t), t) f(
1
(t), t)] dt
=
_ _
S
f
x
dxdy

Ahora vamos a dar la demostracion del teorema de Green para regiones que son
del tipo I y del tipo II a la vez.
Demostracion: [del teorema 1.7.1] Escribamos el campo F = (M, N). Entonces,
usando la linealidad de las integrales de lnea y los resultados de los dos teoremas
anteriores (de modo mas preciso el teorema 1.7.2 para el campo F
1
viendo a S como
region del tipo I, y el teorema 1.7.3 para el campo F
2
viendo a S como una region
del tipo II), tenemos
_
S
+
F d =
_
S
+
(F
1
+ F
2
) d =
_
S
+
F
1
d +
_
S
+
F
2
d
=
_ _
S
M
y
dxdy +
_ _
S
N
x
dxdy
=
_ _
S
_
N
x

M
y
_
dxdy

Veamos algunos ejemplos en los cuales se verica la validez del teorema de Green.
Ejemplo 1.7.1 Sea F : IR
2
IR
2
el campo vectorial F(x, y) = (3x
2
y, x
3
) y sea S
la region comprendida entre la par abola y = x
2
y la recta y = 1, entonces vericar
el teorema de Green.
70
S
X
Y
-1 1
y=1
y=x
2
Figura 1.30: La region S del ejemplo 1
Solucion.-
Gracando la region S se tiene la gura 1.30
La frontera de S orientada positivamente es la traza del camino =
1
+
2
,
donde
1
,
2
: [1, 1] IR
2
,
1
(t) = (t, t
2
),
2
(t) = (t, 1). Entonces por una parte
se tiene
_
S
+
F d =
_

1
F d +
_

2
F d
=
_
1
1
[3(t
2
)(t
2
)(1) + (t
2
)(2t)]dt +
_
1
1
3(t)
2
(1)(1)dt
=
_
1
1
t
4
dt 3
_
1
1
t
2
dt
=
_
1
5
t
5
t
3
_
1
1
=
2
5
2 =
8
5
(1.23)
Por otra parte, siendo
N
x
= 3x
2
,
M
y
= 3x
2
se sigue que:
_ _
S
_
N
x

M
x
_
dxdy =
_
1
1
_
1
1
(3x
2
3x
2
)dydx
=
_
1
1
6x
2
(1 x
2
)dx (1.24)
= 2
_
1
0
(6x
2
+ 6x
4
)dx
= 2
_
2x
3
+
6
5
x
5
_
1
0
= 2
_
2 +
6
5
_
=
8
5
(1.25)
71
De (1.23) y (1.25) queda vericada el Teorema de Green.
Ejemplo 1.7.2 Usando el Teorema de Green calcular la integral de lnea del campo
F : IR
2
IR
2
, F(x, y) = (2x + y, x + 4xy) sobre la circunferencia x
2
+ y
2
= 1
recorrido una vez en sentido antihorario.
Solucion.-
La circunferencia citada es la frontera orientada positivamente de la region S =
{(x, y) IR
2
/ x
2
+ y
2
1}. Siendo
N
x
=

x
(x + 4xy) = 1 + 4y,
M
y
=

y
(2x + y = 1)
_
S
+
F d =
_ _
S
_
N
x

M
y
_
dxdy
=
_ _
S
(1 + 4y 1)dxdy
=
_ _
S
(4y 2)dxdy
=
_
1
0
_
2
0
(4r sen 2)rddr
=
_
1
0
[4r cos 2r]
2
0
=
_
1
0
(4r)dr
= 2
_
r
2

1
0
= 2 (ver el ejemplo 8 de la seccion 1.3).

_
S
+
F d = 2 .
Teorema de Green para Regiones con Hoyos
Podemos considerar regiones un poco mas generales que de tipo I y II, para ver la
validez del resultado. En efecto, supongamos que la region IR IR
2
, siendo a la vez
del tipo I y del tipo II, tiene ahora un hoyo. En forma mas precisa, consideremos
dos regiones R y R

que son a la vez del tipo I y II, de modo que R

R. Sea S el
conjunto de puntos (x, y) de R que no pertenecen al interior de R

(denotado por
Int R

, denido como Int R

= R

).
Es decir compacta en IR
2
cuya frontera positivamente orientada es S
+
= R
+

(ver gura 1.31)


Sea un camino cuya traza es R
+
, un camino cuya traza es R
+
y un
camino cuya traza es R

. Denotemos por el camino cuya imagen es S


+
(el cual,
en cierto sentido, una union de los caminos y ).
72
X
Y
R
+


R
-
S
Figura 1.31: La region S = R Int R

con su frontera positivamente orientada


Si F : U IR
2
IR
2
, F = (M, N), es un campo de clase C
1
con R U,
entonces
_ _
S
_
N
x

M
y
_
dxdy =
_ _
R
_
N
x

M
y
_
dxdy
_ _
R

_
N
x

M
y
_
dxdy
=
_
R
+
F d
_
R
+
F d, por el teorema de Green
=
_
R
+
F d +
_
R

F d
=
_
S
+
F d (1.26)
Luego
_ _
S
_
N
x

M
y
_
dxdy =
_

+
F d.
Esto demuestra la validez del teorema de Green para la region compacta S
(mostrada en la gura 1.31). Este mismo argumento se puede usar para demostrar
el teorema de Green en regiones compactas con un n umero nito de hoyos del tipo
I y del tipo II.
Ejemplo 1.7.3 Sean las regiones
R
1
= {(x, y) IR
2
/ x
2
+ y
2
16}
R
2
= {(x, y) IR
2
/ (x 2)
2
+ y
2
1}
R
3
= {(x, y) IR
2
/ (x + 2)
2
+ y
2
1}
Sea S = R
1
(Int R
2
Int R
3
). S es una region compacta de IR
2
y su frontera
positivamente orientada es S
+
= R
+
1
R

2
R

3
. Sea F : IR
2
IR
2
el campo
F(x, y) = (y, x), entonces vericar el teorema de Green.
Solucion.-
73
Se ve en la gura 1.32 la region S y su frontera. Los caminos
1
,
2
,
3
: [0, 2]
IR
2
dados por
1
(t) = (4 cos t, 4 sent),
2
(t) = (cos t + 2, sen t),
3
(t) = (cos t
2 sent) parametrizan R
+
1
, R

2
y R

3
, respectivamente (es decir, parametrizan
S
+
).
S
2 -2
-4 4

2
Figura 1.32: Region S y su frontera positivamente orientada
Por una parte se tiene
_
S
+
F d =
_

1
F d +
_

2
F d +
_

3
F d
=
_
2
0
[(4 sent)(4 sent) + (4 cos t)(4 cos t)]dt
+
_
2
2
[(sent)(sent) + (cos t + 2)(cos t)]dt
+
_
2
0
[(sent)(sent) + (cos t 2)(cos t)]dt
= 32
_
2
0
(1 + 2 cos t)dt
_
2
0
(1 2 cos t)dt
= 32 2 2
= 28 (1.27)
74
Por otra parte, siendo
N
x
= x(x) = 1,
M
y
=

y
(y) = 1
_ _
S
_
N
x

M
y
_
dxdy =
_ _
S
(1 (1))dxdy
= 2
_ _
S
dxdy
= 2

Area de la region S
= 2 (

Area de R
1
-

Area de R
2


Area de R
3
)
= 2((4)
2
(1)
2
(1)
2
)
= 2(16 2)
= 28 (1.28)
De (1.27) y (1.28), queda vericado el Teorema de Green.
Armacion.- Si la region S IR
2
es tal que se puede descomponer como una
union nita de regiones que son del tipo I y II a la vez, entonces usando la version
probada se demuestra el teorema de Green.
En efecto:
Consideremos, por ejemplo, la region S mostrada en la gura 1.34, la cual, no es
del tipo I y II a la vez (es de hecho del tipo I solamente). Sin embargo, se puede
descomponer como la union de dos subregiones S
1
y S
2
las cuales son del tipo I y
II a la vez. Consideremos las orientaciones positivas de las fronteras de cada una de
estas subregiones.
Se nota que el lado que corresponda al corte que hicimos en S para separarlo en
S
1
y S
2
, el cual es compartido por las correspondientes fronteras de estas subregiones,
es recorrido en sentidos contrarios por las orientaciones positivas de estas fronteras.
As, si escribimos S
+
1
= C
1
C
2
C
3
, S
+
2
= C
4
C
5
C
6
, como en la gura 1.34,
se tiene
_
C
3
F d =
_
C
4
F d.
75
X
Y
S
1
S
2 C
2
C
5
C
6
C
1
C
3
C
4
Figura 1.33: La region S como union de las subregiones S
1
y S
2
que son de tipo I y
II, son sus fronteras positivamente orientadas
Entonces
_ _
S
_
N
x

M
y
_
dxdy =
_ _
S
1
_
N
x

M
y
_
dxdy +
_ _
S
2
_
N
x

M
y
_
dxdy
=
_
S
+
1
F d +
_
S
+
2
F d, por el teorema de Green
=
_
C
1
F d +
_
C
2
F d +
_
C
3
F d +
_
C
4
F d +
_
C
5
F d +
_
C
6
F d
=
_
C
1
F d +
_
C
2
F d
_
C
3
F d +
_
C
4
F d +
_
C
5
F d +
_
C
6
F d
=
_
C
1
F d +
_
C
2
F d +
_
C
5
F d +
_
C
6
F d
=
_
S
+
F d
Por consiguiente
_ _
S
_
N
x

M
y
_
dxdy =
_
S
+
F d
Teorema de Green en el calculo de

Areas
Se nalaremos c omo se puede usar el teorema de Green para calcular el area de
una region compacta S en IR
2
. Sea : [a, b] IR
2
, (t) = (x(t), y(t)) un camino sec-
cionalmente C
1
que parametriza la frontera de S recorrida positivamente. Tomando
por ejemplo el campo F : IR
2
IR
2
, F(x, y) = (M(x, y, ), N(x, y)) = (0, x), para el
76
cual
M
y
= 0,
N
x
= 1, seg un el teorema de Green
_
S
+
F d =
_ _
S
_
N
x

M
y
_
dxdy =
_ _
S
dxdy = area de S
Luego, en terminos de la integral de lnea
area de S =
_
S
+
F d =
_
b
a
x(t)y

(t)dt (1.29)
De manera analoga, podemos considerar el campo F(x, y) = (y, 0) para el cual
M
y
= 1,
N
x
= 0, de donde
_
S
+
F d =
_ _
S
_
N
x

M
y
_
dxdy =
_ _
S
dxdy = area de S
Luego
S =
_
S
+
F d =
_
b
a
y(t)x

(t)dt (1.30)
Tambien tomando el campo F(x, y) = (y, x) llegamos a
_
S
+
F d =
_ _
S
_
N
x

M
y
_
dxdy =
_ _
S
2dxdy = 2(area de S)
de donde
area de S =
1
2
_
S
+
(y, x) d =
1
2
_
b
a
[x(t)y

(t) y(t)x

(t)]dt (1.31)
Comentario.- Las formulas (1.29), (1.30) y (1.31) permiten calcular el area de
una regi on compacta S de IR
2
en terminos de integrales de lnea de los campos
F(x, y) = (0, x), F(x, y) = (y, 0) y F(x, y) = (y, x) respectivamente, a lo largo
de la frontera de S orientada positivamente.
Ejemplo 1.7.4 Con el teorema de Green, calcular el area de la region encerrada
por la curva (traza del camino) : [2, 2] IR
2
, (t) = (t
3
4t, t
2
4).
Solucion.-
Se observa que la curva es cerrada simple con orientacion horaria
77
X
Y
S
Figura 1.34: La region S con frontera orientada negativamente.
Si S es la region encerrada por la curva, entonces el area de la region S denotado
por A(S), usando la formula (1.29), es
A(S) =
_
S
+
(0, x) d =
_
S

(0, x) d
=
_
2
2
(t
3
4t)(t
2
4)

dt
=
_
2
2
(t
3
4t)2tdt
= 2
_
2
2
(t
4
4t
2
)dt
= 2(2)
_
2
0
(t
4
4t
2
dt)
= (4)
_
1
5
t
5

4
3
t
3
_
2
0
= (4)
_
32
5

32
3
_
=
(4)(64)
15
=
256
15
El area pedido de la region encerrada por la curva dada es
256
15
u
2
78

Вам также может понравиться