Lecci on 4

Integrales de lnea
4.1. Integral de lnea de un campo escalar
Denicin. Sea f : R un campo escalar continuo, con R
n
, y sea : [a, b]
un camino regular a trozos. La integral de lnea de f a lo largo de es, por denicin:

f dl =

b
a
f
_
(t)
_

(t)dt
Existencia de la integral. Est asegurada, ya que el integrando es una funcin acotada
en [a, b] y continua salvo, a lo sumo, en un nmero nito de puntos para los que ni siquiera
concretamos el valor que toma en ellos dicha funcin. De hecho, si hacemos una particin
a = t
0
< t
1
< . . . < t
n
= b del intervalo [a, b] de forma que, para k = 1, 2, . . . , n, la restriccin
de al subintervalo [t
k1
, t
k
] sea de clase C
1
, podemos escribir

f dl =
n

k=1

t
k
t
k1
f
_
(t)
_

(t)dt,
obteniendo una suma nita de integrales de funciones continuas. Resaltamos que al campo
escalar f slo se le exige estar denido y ser continuo sobre la curva recorrida por el camino
de integracin. Habitualmente f tendr propiedades de regularidad mucho mejores, siendo por
ejemplo diferenciable en un abierto que contenga a la curva .
Casos particulares. En el caso n = 3, tendremos

f dl =

b
a
f
_
x(t), y(t), z(t)
__
x

(t)
2
+y

(t)
2
+z

(t)
2

1/2
dt
donde
x = x(t); y = y(t); z = z(t) (a t b)
son las ecuaciones paramtricas del camino . En el caso n = 2 tendremos solamente:

f dl =

b
a
f
_
x(t), y(t)
__
x

(t)
2
+y

(t)
2

1/2
dt
22
4. Integrales de lnea 23
Ejemplo. Consideremos el campo escalar f denido en R
3
por
f (x) = x
2
(x R
3
)
y el camino helicoidal dado por:
(t) =
_
cost , sent , t
_
(0 t 4).
En este caso tenemos claramente
f
_
(t)
_
= cos
2
t + sen
2
t + t
2
= 1 + t
2
(0 t 4)
y tambin

(t) =
_
sent , cost , 1
_
,

(t) =

2 (0 t 4),
con lo cual

f dl =

4
0
(1+t
2
)

2dt = 4

2
_
1+
16
2
3
_
.
Interpretacin. Cuando el campo escalar que se integra es constantemente igual a 1 sobre
la curva recorrida, la integral de lnea coincide obviamente con la longitud del camino. A partir
de aqu podemos intuir, muy informalmente, otras situaciones ms generales.
En el caso n = 2, si el campo escalar f no toma valores negativos, podemos interpretar la
integral de lnea como el rea de un muro construido tomando como base la curva recorrida
por el camino y con altura variable, de forma que, para cada t [a, b], la altura del muro en
el punto (t) es precisamente f
_
(t)
_
. Esta idea generaliza obviamente la interpretacin de la
integral simple de una funcin positiva como el rea comprendida bajo la grca de la funcin.
Para n = 2 o n = 3, tambin podemos interpretar que sobre la curva recorrida por
tenemos una distribucin lineal de masa (pensemos por ejemplo en un cable con la forma de
dicha curva), de manera que f
_
(t)
_
es la densidad lineal en el punto (t). La integral de lnea
nos da entonces la masa total.
Con respecto a ambas interpretaciones hay que hacer una salvedad: slo son correctas cuan-
do, por decirlo de manera intuitiva, el camino recorre la curva una sola vez. La formu-
lacin rigurosa de esta idea puede hacerse mediante la nocin de camino simple, que estudiare-
mos ms adelante.
4.2. Integral de lnea de un campo vectorial
Denicin. Sea ahora F : R
n
un campo vectorial continuo en un conjunto R
n
y : [a, b] un camino regular a trozos. La integral de lnea de F a lo largo de es, por
denicin:

F. dl =

b
a

F
_
(t)
_

(t)
_
dt
La existencia de esta integral est asegurada por las mismas razones comentadas en el caso de
un campo escalar.
4. Integrales de lnea 24
Ejemplo. Consideremos el campo vectorial denido en R
3
por
F(x) = x (x R
3
)
y el camino helicoidal
x = cost ; y = sent ; z = t (0 t 4).
Tenemos entonces

F
_
(t)
_

(t)
_
=

cost i + sent j + t k

sent i + cost j + k
_
= cost sent + sent cost + t = t (0 t 4),
con lo que

F. dl =

4
0
t dt = 8
2
.
Notacin clsica. Sea F = (P, Q, R) un campo vectorial en el espacio, continuo sobre la
curva recorrida por un camino regular a trozos de ecuaciones paramtricas
x = x(t); y = y(t); z = z(t) (a t b).
Se tiene entonces, por denicin:

F. dl =

b
a
_
P
_
x(t), y(t), z(t)
_
x

(t) +Q
_
x(t), y(t), z(t)
_
y

(t) +R
_
x(t), y(t), z(t)
_
z

(t)

dt,
lo que explica que frecuentemente se use la siguiente notacin:

F. dl =

P(x, y, z)dx + Q(x, y, z)dy + R(x, y, z)dz =

Pdx + Qdy + Rdz.

Anlogamente, para un campo vectorial en el plano F = (P, Q), que sea continuo sobre la curva
recorrida por un camino regular a trozos con ecuaciones paramtricas
x = x(t); y = y(t) (a t b),
podemos escribir

F. dl =

Pdx + Qdy =

P(x, y)dx + Q(x, y)dy

=

b
a
_
P
_
x(t), y(t)
_
x

(t) +Q
_
x(t), y(t)
_
y

(t)

dt.
Ejemplo. Consideremos la integral de lnea

(x
2
dx + xydy + dz)
donde el camino tiene ecuaciones
x = t ; y = t
2
; z = 1 (0 t 1).
4. Integrales de lnea 25
El campo vectorial que integramos viene dado por
F(x, y, z) = x
2
i + xyj + k ((x, y, z) R
3
)
y usando que, para cada t [0, 1], se tiene x

(t) = 1, y

(t) = 2t y z

(t) = 0, deducimos:

F. dl =

(x
2
dx + xydy + dz) =

1
0
(t
2
+ 2t
4
)dt =
11
15
.
Interpretacin. Supongamos que el campo vectorial F es un campo de fuerzas en el plano
o en el espacio, pongamos por caso un campo gravitatorio o un campo elctrico. Ello signica
que una unidad de masa o de carga elctrica positiva situada en un punto x est sometida a una
fuerza F(x). Si una partcula con esa carga o masa unidad recorre un camino (regular a trozos)
, la integral

F. dl representa el trabajo realizado por el campo en ese recorrido.

Relacin entre las integrales de lnea. Si : [a, b] R
n
es un camino suave, es decir, es
regular con

(t) = 0 para todo t [a, b], podemos denir

T(t) =

(t)

(t)
(a t b),
que es un vector unitario tangente a la curva recorrida por el camino en cada punto. Si
ahora F es un campo vectorial continuo sobre dicha curva tendremos:

F. dl =

b
a

F
_
(t)
_

T(t)
_

(t)dt
expresin que recuerda la integral de lnea de un campo escalar. Para denir correctamente
dicho campo escalar necesitamos hacer hiptesis adicionales sobre el camino que no vamos
a comentar, aunque no son difciles de adivinar. As pues, en ciertas condiciones existir un
campo escalar continuo f : R que verica:
f
_
(t)
_
=

F
_
(t)
_

T(t)
_
(a t b) y, por tanto,

F. dl =

f dl.
En resumen, bajo ciertas condiciones sobre el camino, toda integral de lnea de un campo
vectorial coincide con la integral de lnea de un campo escalar, y es lgico analizar la relacin
entre ambos campos. Observamos que, para cada t [a, b], el vector f
_
(t)
_
T(t) es la proyec-
cin ortogonal de F
_
(t)
_
sobre el vector T(t), es decir, la componente de F
_
(t)
_
en la di-
reccin tangencial a la curva en el punto (t). Por tanto, podemos ver el campo escalar f
como la coordenada del campo vectorial F en dicha direccin tangencial a la curva en cada
punto de la misma. En general, aunque el camino no cumpla las condiciones que justiquen
el razonamiento anterior, sigue siendo til interpretar la integral de lnea sobre de un campo
vectorial F como integral de lnea del campo escalar que se obtiene al tomar la coordenada de
F en la direccin tangencial al camino en cada punto.
4. Integrales de lnea 26
4.3. Propiedades de las integrales de lnea
Linealidad. Las integrales dependen linealmente del campo que se integra. Ms concreta-
mente, se verica que

( f + g)dl =

f dl +

gdl
para cualquier camino regular a trozos en R
n
, cualesquiera campos escalares f y g que sean
continuos sobre la curva recorrida por el camino y cualesquiera , R. Anloga propiedad
se tiene para campos vectoriales:

(F + G). dl =

F. dl +

G. dl
Continuidad. Las integrales de lnea tambin dependen de manera continua del campo que
se integra; intuitivamente, pequeas perturbaciones del campo dan lugar a pequeas variaciones
en la integral. Ello es consecuencia de las desigualdades que vamos a presentar.
Sea : [a, b] R
n
un camino regular a trozos que recorre una curva , sea f un campo
escalar continuo sobre y supongamos que f est acotado en por una constante k, es decir,
k m ax{| f (x)| : x } = m ax
_

f
_
(t)
_

: a t b
_
.
Entonces se tiene, claramente,

f dl

kL()
Anlogo resultado se tiene para un campo vectorial F que sea continuo sobre . De hecho,
podemos considerar el campo escalar F, que tambin es continuo sobre , y la desigualdad
de Cauchy-Schwartz nos permite escribir:

F. dl

Fdl.
Naturalmente ahora, de la estimacin
k m ax{F(x) : x } = m ax
__
_
F
_
(t)
__
_
: a t b
_
,
se deduce que

F. dl

kL().
Aditividad. Las integrales de lnea son aditivas con respecto al camino de integracin, en
el sentido de que al recorrer consecutivamente dos caminos, las integrales se suman.
Ms concretamente, sean : [a, b] R
n
y : [c, d] R
n
caminos regulares a trozos con-
secutivos, esto es, vericando que (b) =(c), y consideremos el camino suma . Si f y F
son, respectivamente, un campo escalar y un campo vectorial, ambos continuos sobre la unin
de las curvas recorridas por y , se verica que:

f dl =

f dl +

f dl y

F. dl =

F. dl +

F. dl.
4. Integrales de lnea 27
Para el camino opuesto, el comportamiento de ambas integrales no es el mismo, la de un
campo escalar no se altera al cambiar el sentido de recorrido, mientras que la de un campo vec-
torial cambia de signo. Ms concretamente, si f es un campo escalar y F un campo vectorial,
ambos continuos sobre la curva recorrida por un camino regular a trozos , se tiene:

op
f dl =

f dl pero

op
F. dl =

F. dl.
Independencia de la parametrizacin. Las integrales de lnea no se alteran al sustituir el
camino de integracin por otro equivalente en el sentido que vamos a explicar.
Sea : [a, b] R
n
un camino regular a trozos y sea : [c, d] [a, b] una funcin biyec-
tiva, creciente y de clase C
1
. Consideremos el camino regular a trozos : [c, d] R
n
dado
por = , esto es, (s) =
_
(s)
_
para c s d. Suele decirse que se ha obtenido
de mediante un cambio de parmetro. Ntese que y recorren la misma curva, por lo
que geomtricamente pueden considerarse equivalentes, aunque desde una interpretacin fsica
podran describir movimientos diferentes.
Observemos por ejemplo, en el caso n = 2, que si las ecuaciones paramtricas de vienen
dadas por
x = x(t); y = y(t) (a t b),
las de seran:
x = x
_
(s)
_
; y = y
_
(s)) (c s d),
lo que pone claramente de maniesto el cambio de parmetro.
Pues bien, volviendo al caso general, si f es un campo escalar y F un campo vectorial,
ambos continuos sobre la curva recorrida por , se verica que:

f dl =

f dl y

F. dl =

F. dl.
4.4. Integral de lnea de un gradiente
El siguiente resultado puede entenderse como una versin de la Regla de Barrow para inte-
grales de lnea, o como una versin vectorial de dicha regla.
Sea f : R un campo escalar de clase C
1
en un abierto R
n
y : [a, b] un
camino regular a trozos. Entonces:

f . dl = f
_
(b)
_
f
_
(a)
_
.
En particular, si el camino es cerrado, se tendr:

f . dl = 0
Por la importancia que tendr ms adelante este resultado vamos a detallar su demostracin.
Supongamos primeramente que el camino es regular y consideremos la funcin h : [a, b] R
4. Integrales de lnea 28
denida por h(t) = f
_
(t)
_
para todo t [a, b]. La regla de la cadena nos permite asegurar que
h es de clase C
1
en [a, b] con
h

(t) =

f
_
(t)
_

(t)
_
(a t b).
Aplicando entonces la regla de Barrow, tenemos:

f . dl =

b
a

f
_
(t)
_

(t)
_
dt
=

b
a
h

(t)dt = h(b) h(a) = f

_
(b)
_
f
_
(a)
_
.
En general, para un camino regular a trozos, usamos una particin a =t
0
<t
1
< . . . <t
N
=b
del intervalo [a, b] de forma que la restriccin de al intervalo [t
k1
, t
k
] es un camino regular,
que denotamos por
k
, para k = 1, 2, . . . , N. Aplicando el resultado ya probado para caminos
regulares tenemos claramente:

f . dl =
N

k=1

k
f . dl =
N

k=1
_
f
_
(t
k
)
_
f
_
(t
k1
)
_
= f
_
(b)
_
f
_
(a)
_
.