Leccion

Integrales de lnea
4.1.

Integral de lnea de un campo escalar

Definicin. Sea f : R un campo escalar continuo, con Rn , y sea : [a, b]

un camino regular a trozos. La integral de lnea de f a lo largo de es, por definicin:
Z b

f dl =

f (t) k 0 (t)k 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 finito de puntos para los que ni siquiera
concretamos el valor que toma en ellos dicha funcin. De hecho, si hacemos una particin
a = t0 < t1 < . . . < tn = b del intervalo [a, b] de forma que, para k = 1, 2, . . . , n, la restriccin
de al subintervalo [tk1 ,tk ] sea de clase C1 , podemos escribir
n

f dl =

Z tk

f (t) k 0 (t)k dt,

k=1 tk1

obteniendo una suma finita de integrales de funciones continuas. Resaltamos que al campo
escalar f slo se le exige estar definido 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
Z b

f dl =


1/2
f x(t), y(t), z(t) x 0 (t)2 + y 0 (t)2 + z 0 (t)2
dt

donde
x = x(t) ; y = y(t) ; z = z(t)

(a 6 t 6 b)

son las ecuaciones paramtricas del camino . En el caso n = 2 tendremos solamente:

Z b

f dl =


1/2
f x(t), y(t) x 0 (t)2 + y 0 (t)2
dt

22

4. Integrales de lnea

23

Ejemplo. Consideremos el campo escalar f definido en R3 por

f (x) = kxk2

(x R3 )

y el camino helicoidal dado por:

(t) = cost , sent , t

(0 6 t 6 4).

En este caso tenemos claramente

f (t) = cos2 t + sen2 t + t 2 = 1 + t 2
y tambin

0 (t) = sent , cost , 1 , k 0 (t)k = 2

con lo cual

Z 4

f dl =
0

(0 6 t 6 4)
(0 6 t 6 4),




162
.
(1 + t ) 2 dt = 4 2 1 +
3
2

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 grfica 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 cuando, por decirlo de manera intuitiva, el camino recorre la curva una sola vez. La formulacin rigurosa de esta idea puede hacerse mediante la nocin de camino simple, que estudiaremos ms adelante.

4.2.

Integral de lnea de un campo vectorial

Definicin. Sea ahora F : Rn un campo vectorial continuo en un conjunto Rn

y : [a, b] un camino regular a trozos. La integral de lnea de F a lo largo de es, por
definicin:
Z
Z b



F . dl =
F (t)  0 (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 definido en R3 por

(x R3 )

F(x) = x
y el camino helicoidal

x = cost ; y = sent ; z = t

(0 6 t 6 4).

Tenemos entonces



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

F . dl =

t dt = 82 .

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 6 t 6 b).

Se tiene entonces, por definicin:

Z

F . dl =

Z b


P x(t), y(t), z(t) x 0 (t) + Q x(t), y(t), z(t) y 0 (t) + R x(t), y(t), z(t) z 0 (t) dt,

lo que explica que frecuentemente se use la siguiente notacin:

Z

F . dl =

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

P dx + Q dy + R dz.

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 6 t 6 b),

podemos escribir
Z

F . dl =

P dx + Q dy =

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

Z b


P x(t), y(t) x 0 (t) + Q x(t), y(t) y 0 (t) dt.

Ejemplo. Consideremos la integral de lnea

Z

(x2 dx + xy dy + dz)

donde el camino tiene ecuaciones

x = t ; y = t2 ; z = 1

(0 6 t 6 1).

4. Integrales de lnea

25

El campo vectorial que integramos viene dado por

F(x, y, z) = x2 i + xy j + k

((x, y, z) R3 )

y usando que, para cada t [0, 1], se tiene x 0 (t) = 1, y 0 (t) = 2t y z 0 (t) = 0, deducimos:
Z

Z 1

F . dl =

(x dx + xy dy + dz) =

(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 significa
que una unidad de masa o de carga elctrica positiva situada en un punto x est sometida a una
fuerza F(x). Si
Z una partcula con esa carga o masa unidad recorre un camino (regular a trozos)
F . dl representa el trabajo realizado por el campo en ese recorrido.

, la integral

Relacin entre las integrales de lnea. Si : [a, b] Rn es un camino suave, es decir, es

regular con 0 (t) 6= 0 para todo t [a, b], podemos definir
T(t) =

0 (t)
k 0 (t)k

(a 6 t 6 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:
Z

F . dl =

Z b



F (t)  T(t) k 0 (t)k dt

expresin que recuerda la integral de lnea de un campo escalar. Para definir 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 verifica:



f (t) = F (t)  T(t) (a 6 t 6 b)

F . dl =

y, por tanto,

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 direccin 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 justifiquen
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

4.3.

26

Propiedades de las integrales de lnea

Linealidad. Las integrales dependen linealmente del campo que se integra. Ms concretamente, se verifica que
Z
Z
Z
( f + g) dl =

f dl +

g dl

para cualquier camino regular a trozos en Rn , 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:
Z

( 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] Rn 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 > max{| f (x)| : x } = max  f (t)  : a 6 t 6 b .
Entonces se tiene, claramente,

Z



 f dl  6 k L()



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

Naturalmente ahora, de la estimacin





k > max{kF(x)k : x } = max F (t) : a 6 t 6 b ,
se deduce que
Z



 F . dl  6 k L().


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] Rn y : [c, d] Rn caminos regulares a trozos consecutivos, esto es, verificando 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 verifica que:
Z

f dl =

f dl +

f dl

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 vectorial 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:
Z

f dl =

op

F . dl =

pero

f dl

op

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] Rn un camino regular a trozos y sea : [c, d] [a, b] una funcin biyectiva, creciente y de clase C1 . Consideremos
el camino regular a trozos : [c, d] Rn dado


por = , esto es, (s) = (s) para c 6 s 6 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 6 t 6 b),
las de seran:


x = x (s) ; y = y (s))

(c 6 s 6 d),

lo que pone claramente de manifiesto 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 verifica que:
Z

f dl =

4.4.

F . dl =

f dl

F . dl.

Integral de lnea de un gradiente

El siguiente resultado puede entenderse como una versin de la Regla de Barrow para integrales de lnea, o como una versin vectorial de dicha regla.
Sea f : R un campo escalar de clase C1 en un abierto Rn y : [a, b] un
camino regular a trozos. Entonces:
Z




f . dl = f (b) f (a) .

En particular, si el camino es cerrado, se tendr:

Z

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

definida por h(t) = f (t) para todo t [a, b]. La regla de la cadena nos permite asegurar que
h es de clase C1 en [a, b] con



h 0 (t) = f (t)  0 (t)
(a 6 t 6 b).
Aplicando entonces la regla de Barrow, tenemos:
Z

f . dl =

Z b

Z b



f (t)  0 (t) dt

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

En general, para un camino regular a trozos, usamos una particin a = t0 < t1 < . . . < tN = b
del intervalo [a, b] de forma que la restriccin de al intervalo [tk1 ,tk ] es un camino regular,
que denotamos por k , para k = 1, 2, . . . , N. Aplicando el resultado ya probado para caminos
regulares tenemos claramente:
N

f . dl =

k=1 k

f . dl =

k=1






f (tk ) f (tk1 ) = f (b) f (a) .