1. Integrales de lnea.

1. Curvas parametrizadas
A menudo nos interesar ver una cierta grca como si fuese el rastro que
deja un mvil que se desplaza por el plano. Esto lo podemos hacer mediante las
llamadas curvas parametrizadas.

Denicin 1 Una curva parametrizada en el plano es un par de ecuaciones

x = f (t)
, t [a, b].
y = g(t)

A t se le llama parmetro de la curva, y resulta til pensar en el como en el

tiempo.
R

t2

t1

t0

(f(t1),g(t1))

(f(t0),g(t0))

(f(t2),g(t2))

Figura 1: Una curva parametrizada

Nota 1 Es importante especicar el intervalo de denicin del parmetro, pues

en caso contrario nos restringiremos a una regin u otra de la curva. Cuando
no digamos nada, entenderemos que el parmetro puede tomar cualquier valor
real para el que estn denidas f (t) y g(t).

Entonces, en cada instante la partcula mvil tendr unas coordenadas (x, y) =

(f (t), g(t)). Observemos que a medida que vamos tomando t mayores, nos vamos
desplazando segn un cierto sentido sobre la curva C . Este sentido de recorrido
se llama orientacin de la curva C .

Ejemplo 1 Consideremos la curva parametrizada C dada por las ecuaciones

x = 2 cos t
, t [0, 2].
y = 2 sin t

Podemos hacernos una idea de su forma dando valores al parmetro t. Obtenemos as una tabla como la siguiente:
t
0
/4
/2
3/4

(x, y)
(2, 0)

( 2, 2)
(0, 2)

( 2, 2)
(2, 0)

y, si vamos representando las parejas de valores (x, y) resulta:

Y

(-2,2)

(-2,0)

(0,2)

(2,2)

(2,0)

Figura 2: Una curva orientada

Ntese como hemos indicado la orientacin de la curva, mediante echas

que determinan el sentido de recorrido. Si representamos sucientes punetos,
veremos que la grca es la de una circunferencia de radio 2, recorrida en sentido
antihorario (por convenio, el sentido antihorario se dice que es positivo, vase
la gura 3).
En este ejemplo, podramos haber reconocido que la curva es una circunferencia sin ms que eliminar el parmetro t para obtener una ecuacin de la
forma y = y(x). En este caso, elevando al cuadrado las expresiones para x, y
y sumando:
x2 + y 2 = 4 cos2 t + 4 sin2 t = 4.

Figura 3: Circunferencia de radio 2

Ejemplo 2 En la curva parametrizada con parmetro

x = 3 sec
, [0, 2],
y = 2 tan

podemos eliminar el parmetro de la siguiente forma: tenemos que x = 3 sec =

3/ cos t, o sea, cos = 3/x. De aqu,
r
p
9
sin = 1 cos2 = 1 2 .
x
Una vez que tenemos sin , cos en trminos de x, podemos sustituir en la expressin de y :
r
sin
2
9
y = 2 tan = 2
= x 1 2,
cos
3
x
o bien, elevando al cuadrado:
4
y 2 x2 = 1.
9
Este proceso no es posible en todos los casos; no siempre se puede despejar
el parmetro para obtener una ecuacin y = y(x). En otras palabras: no toda
curva parametrizada C es globalmente el grco de una funcin y = y(x). Como
ejemplo tenemos la curva de ecuaciones

et
x = cos
t
.

y = t2 sin t

Nota 2 Lo que s se puede hacer siempre es escribir una funcin arbitraria

y = y(x) como una curva parametrizada. Slo hay que poner

x=t
.
y = y(t)

2. Integrales de lnea de campos escalares

Supongamos una funcin denida el el plano, F : R2 R, que denotaremos
F (x, y), y una curva parametrizada C , dada por las ecuaciones .

Denicin 2 A una funcin como F (x, y) se la llama campo escalar, porque se

puede pensar que nos dice, para cada punto (x, y) del plano, cul es el valor de
una magnitud numrica (o escalar) denida sobre el plano. Por ejemplo, podra
darnos la temperatura en cada punto de una plancha metlica.

Denicin 3 Se llama integral de lnea del campo F (x, y) a lo largoR de la curva

C , entre los puntos P = (xP , yP ) y Q = (xQ , yQ ), y se denota por
a la integral de una variable dada por
R tQ
tP

F (s) ds,

p
F (f (t), g(t)) f 0 (t)2 + g 0 (t)2 dt.

En esta expresin, tP y tQ son los valores del parmetro t para los cuales la
curva pasa por P = (xP , yP ) y Q = (xQ , yQ ), respectivamente.

Nota 3 [importante]
Si cambiamos la orientacin de C , la integral (3) cambia
R tP
R tQ
de signo, ya que

tQ

tP

Fijmonos en que si la curva C pasara por alguno de estos puntos para ms de

un instante t, no sabramos cual de esos instantes tomar para calcular la integral.
Por eso, supondremos que las curvas parametrizadas con las que trabajaremos no
tienen autonintersecciones (se dice a veces que son curvas simples). Por ejemplo,
una circunferencia

x = cos t
C
, t [0, 2],
y = sin t
no tiene autointersecciones, pero la curva (que tiene la grca de un 8)

x = sin 2t
C
, t [0, 2],
y = cot s
tiene una autointerseccin en (x, y) = (0, 0) (pasa por este punto para los valores
t = 2 y t = 3
2 ).

Ejemplo 3 Vamos a evaluar la integral de lnea del campo F (x, y) =

x2
2

x3
y

a lo

largo de la parbola y =
entre los puntos (0, 0) y (2, 2). Lo primero que hay
que hacer es parametrizar la parbola; recordando la nota 2, es fcil hacer

x=t
2
C
,
y = t2
2

es decir, tomar f (t) = t y g(t) = t2 . Los valores del parmetro t para los cuales
la parbola pasa por (0, 0) y (2, 2) son, respectivamente, t = 0 y t = 2. Ahora,
ya podemos aplicar la frmula (3); lo que queremos calcular es
Z t=2
Z 2 3p
Z 2 p
t2 p
t
2 dt =
F (t, ) 1 + t2 dt =
1
+
t
2t 1 + t2 dt,
t2
2
t=0
0 2
0
o sea:

2
2
2 32
F (s) ds = (1 + t ) = ( 75 1).
3
3
C
0

Un tipo de problema muy interesante al que se aplica el concepto de integral

de lnea, es el de la determinacin de masas (o cargas) conocida la densidad.

3. Integrales de lnea de campos vectoriales

Denicin 4 Una aplicacin diferenciable F : Rn Rn se dice que es un

campo vectorial ndimensional. Usualmente, trabajaremos con los casos n =

2, 3.
Intuitivamente, un campo F asigna un vector (de Rn ) a cada punto de Rn
de manera que la orientacin de esos vectores no sufre variaciones bruscas.

Nota 4 Por simplicidad, describiremos al situacin en la que n = 2. Ms adelante veremos ejemplos del caso n = 3.

Escribiremos la accin del campo F como F (x, y) = F1 (x, y)i + F2 (x, y)j o
como F (x, y) = (F1 (x, y), F2 (x, y)), indistintamente. Ahora, como pasaba con
las integrales de camos escalares, dada una curva parametrizada

x = f (t)
, t [a, b],
C
y = g(t)
podemos considerar la integral de F a lo largo de C .

Denicin 5 Se llama integral de lnea del campo F (x, y) a lo largo de la curva

C , entre los puntos P = (xP , yP ) y Q = (xQ , yQ ), a la integral
R tQ
tP

F1 (x, y)dx +

R tQ
tP

F2(x, y)dy.

Por brevedad, la integral anterior se denota simplemente por

Z
F1 (x, y)dx + F2 (x, y)dy.
C

Nuevamente, tP y tQ son los valores del parmetro t para los cuales la curva
pasa por P = (xP , yP ) y Q = (xQ , yQ ), respectivamente.
Observemos que las integrales de (5) tienen los extremos expresados en funcin
del parmetro t. Por tanto, habr que hacer un cambio de variable para convertir dx y dy en dt. La tctica para conseguirlo, es la misma que se emplea en
los cambios de variable de las integrales usuales: diferenciando las ecuaciones
paramtricas de C (4) para obtener dx y dy en funcin de dt,

dx = f 0 (t)dt
dy = g 0 (t)dt

Ejemplo 4 Evaluemos la integral de lnea del campo F (x, y) = (xy, x2 ) a lo

largo de la curva C con ecuaciones paramtricas

5
x = 3t 1
C
, t [1, ].
y = 3t2 2t
3
En este caso, tenemos que
F1 (x, y) = xy, F2 (x, y) = x2 ,
R
y, por tanto, lo que queremos es C xydx+x2 dy . De las ecuaciones de C , resulta
(vase la (6)):
dx = (3t 1)0 dt = 3dt
dy = (3t2 2t)0 dt = (6t 2)dt,

y sustuyendo:
Z
Z
xydx + x2 dy =
C

5/3

((3t 1)(3t2 2t)3t + (3t 1)2 (6t 2))dt

1
5/3

(81t3 81t2 + 24t 2)dt = 58.

Nota 5 La interpretacin fsica de la integral

F (x, y)dx + F2 (x, y)dy es la

C 1
del trabajo que realiza el campo vectorial F (x, y) = (F1 (x, y), F2 (x, y)) cuando
una partcula se desplaza desde el punto P al Q siguiendo la trayectoria C .
Naturalmente, el caso de las integrales de campos tridimensionales F (x, y, z) =
(F1 (x, y, z), F2 (x, y, z), F3 (x, y, z)) se hace de manera anloga.

2. teorema de green
El resultado que estudiaremos en esta seccin, el llamado Teorema de Green,
relaciona un cierto tipo de integrales de lnea (aqullas en que la curva C es
cerrada1 y simple, o sea, no tiene picos" ni autointersecciones) con integrales
dobles (o integrales de rea).

Notacin 1 Cuando escribamos una

H integral deH lnea a lo largo de una curva
cerrada C , utilizaremos el smbolo

, como en

F1 (x, y)dx + F2 (x, y)dy .

Denicin

Diremos que una curva parametrizada en el plano C (f (t), g(t))

es regular por secciones si para las funciones f, g existen las derivadas en todo
punto t de su dominio exceptuando un nmero nito de valores t0 , t1 , ..., tk .
As, por ejemplo, el contorno de un tringulo es una curva regular por secciones, ya que es diferenciable en todos los valores t corresponidientes a las aristas,
excepto los vrtices. El mismo comentario es vlido para cualquier polgono
regular y para circunferencias, elipses, etc.

Teorema 1 [Green]Sea C una curva parametrizada en el plano, cerrada y regu-

lar por secciones. Sea R la regin del plano determinada por C y su interior. Si
M, N : R2 R son funciones reales continuas y que tienen derivadas parciales
continuas en toda la regin R, entonces
H
C

M (x, y)dx + N (x, y)dy =

R R N
R

M
y

dA.

El Teorema de Green puede utilizarse tanto para calcular un integral de lnea

mediante una integral doble como para realizar el clculo inverso. A continuacin, veremos un ejemplo de cada caso.

Ejemplo

Supongamos que queremos calcular la integral de lnea

I
p
2
I=
(2y + 1 + x5 )dx + (5x ey )dy
C

a lo largo de la circunferencia x2 + y 2 = 4. Lo primero que hay que hacer es

comprobar que se cumplen las hiptesis del teorema; pero claramente la circunferencia es una curva cerrada regular y, en este caso en que
p
2
M (x, y) = 2y + 1 + x5 , N (x, y) = 5x ey ,
tenemos:

M
N
= 2,
= 5,
y
x

que obviamente son funciones continuas. Aplicando el teorema, con R el crculo

de radio 2, resulta:
I
Z Z
p
2
I=
(2y + 1 + x5 )dx + (5x ey )dy =
(5 2)dA
C
R
Z Z
=3
dA = 3 4 = 12.
R

Notemos que evaluar directamente I como integral de lnea hubiera sido mucho
ms difcil.

Teorema de Green
En la leccin anterior, previa caracterizacin de los campos conservativos, hemos visto que
un campo irrotacional puede no ser conservativo. Tenemos por tanto una condicin fcil de
comprobar, que es necesaria para que un campo sea conservativo, pero no es suficiente. En
particular, para un campo vectorial F : R2 , diferenciable en un dominio R2 puede
ocurrir que el rotacional escalar rot F sea idnticamente nulo en sin que F sea conservativo
en . Sin embargo, bajo ciertas condiciones sobre el dominio s se puede asegurar que todo
campo vectorial diferenciable e irrotacional en es conservativo en . La explicacin de este
tipo de resultado se encuentra en una importante frmula integral descubierta por el cientfico
britnico G. Green (1793-1841) en su estudio de los campos electromagnticos. La frmula de
Green, o si se prefiere, el Teorema de Green, relaciona una integral de lnea con una integral
doble y, aparte de su utilidad en el estudio de los campos conservativos en dominios de R2 ,
tiene otras aplicaciones interesantes.

Curvas de Jordan
En lo que sigue vamos a trabajar con un tipo particular de caminos, que reciben el nombre
de caminos simples. Intuitivamente un camino es simple cuando no tiene auto-intersecciones, es
decir, un mvil que lo recorre no pasa dos veces por un mismo punto. Esto invita a decir que un
camino : [a, b] Rn es simple cuando es una funcin inyectiva, es decir, para s,t [a, b]
con s < t no podra ocurrir que (s) = (t). Sin embargo un camino cerrado nunca podra
verificar esta condicin. Relajamos entonces la hiptesis de inyectividad, slo para permitir que
pueda ser (a) = (b). Por tanto, decimos que un camino : [a, b] Rn es simple cuando
cumple la siguiente condicin:
s,t [a, b] , s < t , (s) = (t) s = a , t = b
A partir de ahora nos concentramos en el caso n = 2. La curva recorrida por un camino simple
cerrado en R2 recibe el nombre de curva de Jordan.

As pues, una curva de Jordan es un conjunto = {(t) : a 6 t 6 b} donde : [a, b] R2

es un funcin continua, con (a) = (b), y verificando la condicin (1). El siguiente teorema
lleva el nombre del matemtico francs C. Jordan (1838-1922), aunque la primera demostracin
enteramente correcta fue publicada en 1905 por el norteamericano O. Veblen (1880-1960).
Teorema de la Curva de Jordan. Si es una curva de Jordan, su complemento R2 \ es
unin de dos dominios disjuntos, cuya frontera comn es ; uno de ellos est acotado y recibe
el nombre de regin interior a y el otro, no acotado, es la regin exterior a .
Consideremos como ejemplo, la elipse, definida en forma implcita por:


x2
y2
= (x, y) R2 : 2 + 2 = 1

(, > 0)

Para ver que es una curva de Jordan, basta usar el camino : [0, 2] R2 dado por:
(t) = ( cost , sent)

(0 6 t 6 2)

Es fcil comprobar que es un camino cerrado y simple que recorre la elipse . Las regiones
interior y exterior, D y G, a la elipse son:


x2
y2
D = (x, y) R2 : 2 + 2 < 1 ;



x2
y2
G = (x, y) R2 : 2 + 2 > 1

Observamos que en este ejemplo, como en la mayora de los que se utilizan en la prctica, la
tesis del teorema anterior se puede comprobar directamente sin dificultad. Es claro que D es un
dominio acotado, G es un dominio no acotado, D G = R2 \ , D G = 0/ y D = G = .
Recordemos que caminos muy diferentes pueden recorrer una misma curva, lo cual sigue
siendo cierto aunque consideremos solamente caminos simples. Intuitivamente es claro, por
ejemplo, que la circunferencia centrada en un punto (x0 , y0 ) R2 con radio 0 > 0 es una
curva de Jordan C que puede recorrerse en sentido anti-horario, mediante el camino simple
cerrado definido por:
() = (x0 + 0 cos , y0 + 0 sen ) (0 6 6 2)
y puede tambin recorrerse en sentido horario, mediante el camino opuesto op que tambin
es cerrado y simple. Observamos que al recorrer la circunferencia C mediante el camino ,
la regin interior a C queda a la izquierda. Suele decirse que est orientado positivamente,
mientras que op tiene orientacin negativa. Pues bien, esta nocin de orientacin puede extenderse a caminos cerrados simples cualesquiera. La formulacin matemtica rigurosa de esta
nocin de orientacin no es sencilla as que no vamos a exponerla, conformndonos con la idea
intuitiva: diremos que un camino cerrado y simple recorre una curva de Jordan con orientacin positiva cuando lo hace en sentido anti-horario, mientras que estar orientado negativamente cuando recorra la curva en el sentido de las agujas del reloj. Equivalentemente,
est orientado positivamente cuando recorre la curva dejando a la izquierda su regin interior.

Enunciado del Teorema

Podemos ya enunciar el resultado principal de esta leccin:
Teorema de Green. Sea un camino en R2 , regular a trozos, cerrado y simple, que recorre
una curva de Jordan con orientacin positiva. Sea D la regin interior a y F : R2
un campo vectorial de clase C1 en un abierto R2 tal que D . Entonces, la integral
de lnea de F a lo largo del camino coincide con la integral doble sobre D del rotacional
escalar de F:
Z
ZZ
F . dl =
(rot F) dx dy

Ms explcitamente, si F = (P, Q) en , el teorema afirma que:


Z
ZZ 
Q P
P dx + Q dy =

dx dy
x
y

D
Es costumbre usar una notacin que permite recordar con facilidad las hiptesis del teorema
anterior. Puesto que la curva de Jordan coincide con la frontera del dominio D, = D,
resulta sugestivo denotar al camino por D+ para resaltar que dicho camino recorre la curva
D y est orientado positivamente. La frmula de Green toma entonces la siguiente forma

I
ZZ 
Q P
P dx + Q dy =

dx dy
x
y
D+
D
donde tambin hemos modificado el smbolo de la integral de lnea para resaltar que el camino
es cerrado.

Campos irrotacionales y conservativos

Est bastante claro que el teorema de Green nos va a permitir obtener nueva informacin
relevante sobre la relacin entre campos conservativos e irrotacionales. Siempre que podamos
aplicar el teorema a un campo irrotacional, la integral doble que aparece en el segundo miembro
de la frmula de Green ser nula, luego tambin habr de anularse la integral de lnea del primer
miembro y esto nos acerca a la posibilidad de que el campo sea conservativo.
Para analizar mejor la idea recin sugerida, conviene empezar aclarando que el teorema de
caracterizacin de los campos conservativos puede retocarse para que baste considerar caminos
simples. Ms concretamente, si F : R2 es un campo vectorial continuo en un dominio
R2 y la integral de lnea de F a lo largo de cualquier camino regular a trozos, cerrado y
simple en se anula, entonces F es conservativo en . Comprobar esta afirmacin requiere
modificaciones en la prueba del teorema de caracterizacin, que no vamos a exponer.
Pues bien, supongamos ahora que F : R2 es un campo vectorial de clase C1 e irrotacional en un dominio R2 . Sea un camino regular a trozos cerrado y simple en , que
recorrer una curva de Jordan . Para poder aplicar el Teorema de Green falta un detalle

importante: la regin interior a la curva debe estar tambin contenida en . Si tal cosa
ocurre, la frmula de Green nos da
Z

F.dl =

ZZ

(rot F) dx dy = 0,
D

donde hemos usado el signo para tener en cuenta la orientacin de . A continuacin definimos el tipo de dominios en los que el razonamiento anterior siempre puede hacerse, cualquiera
que sea la curva de Jordan considerada.
Se dice que un dominio R2 es simplemente conexo cuando toda curva de Jordan
contenida en verifica que su regin interior tambin est contenida en .
Naturalmente, el plano R2 es un dominio simplemente conexo. Dados x0 R2 y r > 0, no
es difcil comprobar que la bola abierta B = {x R2 : kx x0 k < r} es un dominio simplemente conexo. Igual le ocurre al semiplano abierto H = {(x, y) R2 : ax + by + c > 0}, para
cualesquiera a, b, c R con a2 + b2 > 0.
Si de un dominio cualquiera suprimimos un punto a , el dominio resultante \ {a}
nunca es simplemente conexo. As pues, R2 \ {(0, 0)} no es simplemente conexo. Un anillo
abierto A = {x R2 : r < kxk < R} es otro ejemplo de dominio que no es simplemente conexo.
Intuitivamente, un dominio es simplemente conexo cuando no tiene agujeros.
Pues bien, los razonamientos hechos anteriormente demuestran la siguiente consecuencia
del Teorema de Green:
Corolario. Si un dominio R2 es simplemente conexo, todo campo vectorial de clase
C1 e irrotacional en es conservativo en .
Podemos ahora resumir toda la informacin obtenida sobre la relacin entre campos conservativos e irrotacionales. Partimos del hecho de que todo campo vectorial de clase C1 que sea
conservativo en un dominio ha de ser irrotacional en dicho dominio. Recprocamente, consideremos un dominio 0 R2 y sea F : 0 R2 un campo vectorial de clase C1 e irrotacional
en 0 . Para dominios 0 podemos preguntarnos si F es conservativo en . Distinguimos
dos casos:
Si 0 es simplemente conexo, el corolario anterior nos permite asegurar que F es conservativo en 0 y, por tanto, en cualquier dominio 0 .
Si 0 no es simplemente conexo, no tenemos ningn criterio general que nos permita
decidir si F es conservativo en 0 , pero s podemos aplicar el corolario anterior para
asegurar que F es conservativo en cualquier dominio simplemente conexo 0 .
La ltima idea siempre se puede aplicar localmente: Si F es un campo vectorial de clase C1
e irrotacional en un dominio arbitrario R2 , para cada punto x consideramos una bola
abierta Bx de centro x contenida en y, puesto que Bx es un dominio simplemente conexo,
podemos asegurar que F es conservativo en Bx . As pues F es conservativo en un entorno de
cada punto de , lo que suele expresarse diciendo que F es localmente conservativo en .
Ntese que el recproco tambin es cierto, de modo que un campo vectorial de clase C1 en un
dominio R2 es localmente conservativo en si, y slo si, es irrotacional en .

Clculo de reas mediante la frmula de Green

Para un campo con rotacional escalar constantemente igual a 1, la integral doble que aparece
en la frmula de Green es el rea de la regin interior a una curva de Jordan, luego podemos
calcular tal rea mediante una integral de lnea. Disponemos de varias elecciones posibles para
el campo vectorial, ya que es fcil dar ejemplos de campos vectoriales de clase C1 en todo el
plano con rotacional escalar constantemente igual a 1. Concretamente, podemos usar cualquiera
de los campos F = (P, Q) : R2 R2 definidos, para todo (x, y) R2 por:
P(x, y) = 0 , Q(x, y) = x
P(x, y) = y , Q(x, y) = 0
y
x
P(x, y) = , Q(x, y) =
2
2
En cualquiera de los tres casos F es un campo vectorial de clase C en R2 y se verifica que
rot F =

Q P

=1
x
y

(en R2 )

Por tanto, aplicando el Teorema de Green obtenemos:

Corolario. Sea un camino en R2 , regular a trozos, cerrado y simple, que recorre una
curva de Jordan con orientacin positiva. Entonces el rea de la regin D interior a viene
dada por:
Z
Z
Z
1
rea(D) = x dy = y dx =
x dy y dx
2

Obsrvese que el resultado anterior permite confirmar la orientacin del camino , puesto
que cualquiera de las integrales que aparecen en el segundo miembro de la igualdad anterior
debe tener un valor estrictamente positivo. Si al evaluar cualquiera de esas integrales obtuvisemos un valor negativo, detectaramos que el camino est orientado negativamente.
En la prctica, entre las frmulas obtenidas para el clculo del rea, se elige lgicamente
la que nos lleve a una integral de lnea ms fcil de evaluar. La tercera posibilidad, que parece
la ms artificiosa, es con frecuencia la ms conveniente, por la simetra que presenta. Veamos
por ejemplo el clculo del rea delimitada por una elipse, ms concretamente, de la regin D
definida por


y2
x2
D = (x, y) R2 : 2 + 2 < 1

con , > 0. Usando el camino de ecuaciones paramtricas

x = cost ; y = sent ; (0 6 t 6 2)
tenemos inmediatamente
1
rea(D) =
2

1
x dy y dx =
2

Z 2

dt =
0