CURVAS, INTEGRALES CURVILNEAS, INDEPENDENCIA

DEL CAMINO, TEOREMA DE GREEN

ndice
1. Concepto de arco 3
1.1. Funciones vectoriales de variable real . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Arco parametrizado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2. Cambios de parmetro. Parametrizaciones equivalentes. Curvas 9
3. Mtodos para parametrizar curvas 12
3.1. Parametrizacin de rectas y segmentos de recta . . . . . . . . . . . . . . . . . . . . . . 12
3.2. Parametrizacin de curvas en el plano . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.3. Parametrizacin de curvas en el espacio . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4. Curvas de clase 1. Vector tangente a una curva. Recta tangente 17
4.1. Recta tangente y normal a una curva en R
2
. . . . . . . . . . . . . . . . . . . . . . . . 19
4.2. Recta tangente a una curva denida por ecuaciones cartesianas . . . . . . . . . . . . . 22
5. Longitud de arco 23
6. Caminos de clase 1 a trozos 26
7. Integral curvilnea 27
7.1. Integral curvilnea de un campo vectorial. Circulacin . . . . . . . . . . . . . . . . . . 27
7.2. Integral curvilnea de un campo escalar . . . . . . . . . . . . . . . . . . . . . . . . . . 31
7.3. Simetras en las integrales curvilneas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
8. Independencia del camino en la integral curvilnea. Campos conservativos 36
9. Teorema de Green 42
9.1. Orientacin de una curva de Jordan plana. Conjuntos simplemente conexos . . . . . . 42
9.2. Teorema de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
9.3. Algunas consecuencias y aplicaciones del teorema de Green . . . . . . . . . . . . . . . 45
9.3.1. Aplicacin del teorema de Green al clculo de reas . . . . . . . . . . . . . . . 45
9.3.2. Condicin suciente para que un campo en R
2
sea conservativo . . . . . . . . . 46
9.3.3. Invariancia de una integral curvilnea plana al deformar el camino . . . . . . . 47
9.3.4. Teorema de Gauss en R
2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
1
9.3.5. Frmulas de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2
CURVAS, INTEGRALES CURVILNEAS, INDEPENDENCIA
DEL CAMINO, TEOREMA DE GREEN
Ampliacin de Clculo - 2010-2011- Grupo 2M1
1. Concepto de arco
Todos tenemos una idea intuitiva de lo que es una curva. Sin embargo, para trabajar con curvas
es preciso dar una denicin precisa de lo que son.
Nuestra idea intuitiva de curva en R
n
es la de un cierto subconjunto de R
n
que tiene longitud pero
no tienearea ni volumen. En esta seccin seremos ms precisos y deniremos con rigor el concepto
de curva. En concreto, comenzaremos trabajando con lo que se denomina arco parametrizado.
Antes de introducir el concepto de arco parametrizado recordemos algunas propiedades, estudiadas
en Clculo II, de las funciones vectoriales de variable real.
1.1. Funciones vectoriales de variable real
Sea 1 un intervalo de R, y sea la funcin vectorial de variable real
r : 1 R
n
t r(t) = (r
1
(t), r
2
(t), ..., r
n
(t))
Pues bien, se tienen las siguientes deniciones y propiedades:
I Continuidad.
Denicin 1 r es continua en t
0
1 = r(t
0
) = lim
t!t
0
r(t)
Proposicin 1 r es continua en 1 = \t 1, r es continua en t.
Proposicin 2 r es continua en t
0
= las funciones r
1
(t), ..., r
n
(t) son continuas en t
0
.
I Derivacin.
Denicin 2 r es derivable en t
0
1 = existe y es nito el lmite lim
h!0
~r(t
0
+h)~r(t)
h
y en tal caso se
dene dicha derivada r
0
(t
0
) como el valor del lmite.
Proposicin 3 r es derivable en t
0
1 = las funciones r
1
(t), ..., r
n
(t) son derivables en t
0
, y en tal
caso r
0
(t
0
) = (r
0
1
(t
0
), ..., r
0
n
(t
0
))
T
Ntese que segn la notacin habitual, la matriz jacobiana de r(t) es r
0
(t) considerada como vector
columna. En lo sucesivo siempre consideraremos a r
0
(t) como vector columna.
Proposicin 4 Regla de la cadena. Si ) es una funcin real de variable real, la derivada de la
aplicacin r()(t)) es, aplicando la regla de la cadena
d
dt
r()(t)) = r
0
()(t)))
0
(t)
3
Proposicin 5 Derivada del producto escalar y el producto vectorial.
d
dt
(r(t) n(t)) =
dr
dt
(t) n(t) r(t)
d n
dt
(t)
d
dt
(r(t) n(t)) =
dr
dt
(t) n(t) r(t)
d n
dt
(t)
I Integracin.
Denicin 3 Se dice que r es integrable en [a, /[ cuando todas las funciones componentes r
1
, ..., r
n
son integrables en dicho intervalo y entonces se dene
_
b
a
r(t)dt :=
__
b
a
r
1
(t)dt, ...,
_
b
a
r
n
(t)dt
_
Ejercicio 1 Calcular la derivada de q(t) = |r(t)|
2
.
Ya estamos en condiciones de introducir el concepto de arco:
1.2. Arco parametrizado
Denicin 4 Arco parametrizado. Ecuaciones paramtricas del arco. Un arco es una apli-
cacin
r : [a, /[ R
n
t r(t) = (r
1
(t), r
2
(t), ..., r
n
(t))
(1)
continua. A t se le denomina parmetro. Las ecuaciones paramtricas del arco (1) son las ecua-
ciones
r
1
= r
1
(t), r
2
= r
2
(t), ..., r
n
= r
n
(t), t [a, /[ (2)
I Comentarios:
Normalmente, aunque no necesariamente, : es 2 o 3.
Las aplicaciones continuas deforman los conjuntos sin romperlos. Por ello, la aplicacin r anterior
se puede interpretar de la siguiente forma: se toma un alambre que inicialmente ocupa el intervalo
[a, /[ y se lleva a R
n
deformndolo sin romperlo. La siguientes guras muestran ejemplos de arcos
en R
2
y R
3
:
Arco en R
2
Arco en R
3
4
El parmetro se puede interpretar fsicamente como tiempo y r(t) como la posicin de un mvil
en funcin del tiempo.
Orientacin. La parametrizacin lleva implcita una orientacin o sentido de recorrido del
arco.
Trayectoria. Ecuaciones cartesianas del arco. La idea intuitiva que tenemos de una curva
es la de la imagen de la aplicacin anterior, es decir, del conjunto
Im(r) = r(t) : t [a, /[
que, siguiendo con la interpretacin fsica anterior, es la trayectoria del mvil, es decir, el conjunto
de puntos por los que pasa. Como ya se estudi en el captulo dedicado a la integral mltiple,
el conjunto Im(r) tambin puede describirse mediante ecuaciones cartesianas. En concreto, si se
trabaja en R
2
la ecuacin ser del tipo
q(r, j) = 0
mientras que en R
3
tendremos las ecuaciones
q(r, j, .) = 0
/(r, j, .) = 0
que se puede interpretar como la interseccin de 2 supercies.
Obsrvese que la aplicacin r : [a, /[ R
n
, es decir, las ecuaciones paramtricas, contiene ms
informacin que Im(r), es decir, que las ecuaciones cartesianas, pues las primeras nos dicen en qu
punto est el mvil en cada instante de tiempo, mientras que las segundas slo informa sobre los
puntos sobre los que ha pasado el mvil.
Por ejemplo, las siguientes ecuaciones
r = 1cos t
j = 1 sen t
; t [0, 2[
corresponden a una circunferencia de centro el origen y radio 1 recorrida en sentido contrario a
las agujas del reloj y empezando (y terminando) en el punto (1, 0)
La ecuacin cartesiana correspondiente a dicho arco es
r
2
j
2
= 1
5
Veamos algunas deniciones:
Denicin 5 Extremos del arco: Los extremos del arco r : [a, /[ R son los puntos r(a) y r(/).
I Comentario: los extremos del arco no tienen por qu coincidir con los extremos del mismo en el
sentido geomtrico habitual.
Denicin 6 Arco cerrado. Arco parametrizado en el que r(a) = r(/).
IComentario: Segn la denicin, un arco es cerrado cuando el mvil empieza y acaba en el mismo
puntos. Por ello, un arco cerrado no tiene por qu ser cerrado en el sentido geomtrico habitual.
Denicin 7 Arco simple. Un arco simple es un arco r : [a, /[ R inyectivo, es decir, tal que
r(t) = r(:) implica t = :.
Denicin 8 Arco cerrado simple o curva de Jordan. Es un arco cerrado y que cumple que es
inyectivo salvo en los extremos, es decir, r : [a, /[ R
n
continua con r(a) = r(/) y r(t) inyectiva en
[a, /).
Curva de Jordan (en R
2
) Arco cerrado no inyectivo (en R
2
)
Ejemplos de arcos
1.
r
1
: [0, 2[ R
2
t r
1
(t) = (cos t, sent)
cuya ecuacin cartesiana es
r
2
j
2
= 1
6
2.
r
2
: [0, 2[ R
2
t r
2
(t) = (cos 2t, sen2t)
Representa la misma circunferencia del ejemplo 1 pero recorrida dos veces.
3.
r
3
: [0, 2[ R
2
t r
3
(t) = (cos t, sent)
Representa la misma circunferencia del ejemplo 1 pero recorrida en sentido contrario
4.
r
4
: [0,
_
2[ R
2
t r
4
(t) =
_
cos t
2
, sent
2
_
Representa la misma circunferencia del ejemplo 1 pero recorrida con mayor velocidad. Se tarda
slo
_
2 segundos, en vez de 2, en recorrer la circunferencia.
5.
r
5
: [0, 2[ R
3
t r
5
(t) = (10 cos t 2 cos(t) 1 sin(2t), 1 cos(2t) 10 sint 2 sin(t), 10 cos(8t))
Esta parametrizacin tan complicada corresponde a la siguiente curva
7
I Nocin de punto en un arco Cuando se habla de punto de un arco, geomtricamente nos
estamos reriendo a un punto de la imagen de la parametrizacin, pero sin embargo matemticamente
esto es incompleto, pues, en arcos no inyectivos, un punto de la imagen puede corresponder a varios
valores del parmetro (es decir, el mvil pasa por el mismo punto en distintos instantes de tiempo).
A efectos de clculo de la recta tangente en el punto esto no importa, pero s lo hace si hablamos del
vector tangente, pues podra cambiar el sentido
8
2. Cambios de parmetro. Parametrizaciones equivalentes. Curvas
A continuacin deniremos el concepto de arcos equivalentes, que intuitivamente corresponde al
de arcos que recorren los mismos puntos el mismo nmero de veces. En primer lugar introducimos el
siguiente concepto:
Denicin 9 Cambio de parmetro. Un cambio de parmetro es un difeomorsmo de clase C
1
entre intervalos cerrados, es decir, una aplicacin
0 : [c, d[ [a, /[
: t = 0(:)
(3)
que cumple:
a) 0 es biyectiva luego admite inversa 0
1
b) 0 es de clase C
1
en [a, /[
c) 0
1
es de clase C
1
en [a, /[
Tipos de cambio de parmetro Sea 0 el cambio de parmetro de (3) y sea / = 0
1
. Se tiene
entonces que /(0(:)) = : y derivando se deduce que /
0
(0(:))0
0
(:) = 1, por lo que 0
0
(:) ,= 0 para todo
: [a, /[. De esta forma, como 0
0
es continua, slo hay dos posibilidades:
1) 0
0
(:) 0 para toda : [c, d[ en cuyo caso 0 es estrictamente creciente.
Cambio de parametro
creciente
9
2) 0
0
(:) 0 para toda : [c, d[ en cuyo caso 0 es estrictamente decreciente
Cambio de parametro
decreciente
Ahora diremos que dos arcos son equivalentes cuando uno se puede obtener del otro a partir de un
cambio de parmetro. Concretamente denimos:
Denicin 10 Arcos equivalentes (directa e inversamente). Se dice que dos arcos r : [a, /[
R
n
y n : [c, d[ R
n
son equivalentes cuando existe un cambio de parmetro que los relaciona es decir,
cuando existe un difeomorsmo de clase C
1
0 : [c, d[ [a, /[
: t = 0(:)
tal que n = r 0, es decir,
[c, d[

[a, /[
~r
R
n
[c, d[
~ w=~r
R
n
Se dice que los arcos son:
a) Directamente equivalentes: cuando el cambio de parmetro es creciente.
b) Inversamente equivalentes: cuando el cambio de parmetro es decreciente.
La siguiente gura ilustra la denicin de arcos equivalentes:
10
Ejercicio 2 Estudiar las equivalencias entre los arcos de los ejemplos que siguen a la denicin 8.
Propiedades de los arcos equivalentes
1. De la denicin de arcos equivalentes se deduce:
Los arcos equivalentes tienen la misma imagen.
En los arcos directamente equivalentes, se recorren los mismos puntos el mismo nmero de veces
y en la misma direccin.
En los arcos inversamente equivalentes, se recorren los mismos puntos el mismo nmero de veces
en sentido contrario.
2. Si n = r 0 es derivable, n
0
(:) = r
0
(0(:))0
0
(:) por lo que | n
0
(:)| = |r
0
(t)| [0
0
(:)[. Como en
general 0
0
(:) ,= 1, la velocidad de recorrido de cada arco es distinta.
3. Se puede demostrar fcilmente que si r y n son arcos que recorren los mismos puntos el mismo
nmero de veces y en el mismo sentido (resp. sentido contrario), y adems r
0
y n
0
no se anulan
en ningn punto, entonces r y n son directamente equivalentes (resp. inversamente equivalentes).
Como resumen intuitivo: dos arcos equivalentes representan el movimiento de un mismo mvil en
los que la nica diferencia es la velocidad con la que se recorre el arco.
A continuacin introduciremos un concepto para denotar al conjunto de todos los arcos que son
equivalentes a uno dado, es decir, al conjunto formado por ese arco y todos los que pasan por los
mismos puntos el mismo nmero de veces. Para ello, primero veremos el siguiente resultado:
Proposicin 6 La relacin ser equivalente a es una relacin de equivalencia. En otras palabras,
(i) un arco r : [a, /[ R
n
es equivalente a s mismo (propiedad reexiva), (ii) si r : [a, /[ R
n
es equivalente a n : [c, d[ R
n
entonces n es equivalente a r (propiedad simtrica) y (iii) si r es
equivalente a n y n es equivalente a c entonces r es equivalente a c (propiedad transitiva).
La proposicin anterior garantiza que el conjunto de los arcos queda dividido en subconjuntos (de-
nominados clases de equivalencia) en los que cada subconjunto est formado por arcos equivalentes
entre s. Entonces podemos denir:
Denicin 11 Arco geomtrico correspondiente a un arco parametrizado r : [a, /[ R
n
, es la clase
de equivalencia correspondiente a todos los arcos equivalentes a r : [a, /[ R
n
, es decir, es el conjunto
formado por el arco r y todos los que son equivalentes a r.
Cuando adems de recorrerse los mismos puntos el mismo nmero de veces se haga en el mismo
sentido, hablaremos de curva. Concretamente denimos:
Denicin 12 Arco geomtrico orientado, curva o camino correspondiente a un arco para-
metrizado r : [a, /[ R
n
es la clase de equivalencia correspondiente a todos los arcos equivalentes
directamente a r, es decir, es el conjunto formado por el arco r y todos los que son directamente
equivalentes a r.
Hablaremos de propiedades intrnsecas de una curva como las propiedades que no dependen del
representante
11
Denicin 13 Propiedades intrnsecas de una curva: son aquellas que son independientes de
la parametrizacin que se elija (que conserve la orientacin).
Una vez jadas estas deniciones, hacemos constar que en lo sucesivo, y siguiendo el uso habitual
en la fsica, se har un uso muy amplio (y a veces ambiguo) de la palabra curva. En algunas ocasiones
har referencia a una clase de equivalencia de arcos, y en otras a la trayectoria que deja el mvil en
su movimiento.
3. Mtodos para parametrizar curvas
No existe ningn procedimiento general que sirva para parametrizar una curva dada por sus ecua-
ciones cartesianas. A continuacin se dan algunas ideas sencillas sobre algunos casos particulares de
inters.
3.1. Parametrizacin de rectas y segmentos de recta
Sean , 1 dos puntos de R
n
y considrese la siguiente gura
La recta que pasa por los puntos y 1 se puede parametrizar de la siguiente forma: el vector

O1 se
puede expresar en la forma

O1 =

O

1. Adems el vector

1 es proporcional a

1, es decir,

1 = `

1 para algn ` R. Finalmente, como

1 =

O1

O tenemos

O1 =

O `

1 =

O `
_

O1

O
_
, ` R
es decir, la parametrizacin de la recta buscada es
r(`) =

O `
_

O1

O
_
, ` R
En el caso de considerar nicamente el segmento que une los puntos y 1 se toma ` [0, 1[.
3.2. Parametrizacin de curvas en el plano
El objetivo de esta seccin es el siguiente: dada la ecuacin cartesiana de una curva en R
2
, encontrar
una parametrizacin de la misma. No existe un procedimiento general que permita parametrizar curvas,
por lo que nos restringiremos a algunos casos sencillos y que aparecen mucho en las aplicaciones:
12
1. Curvas denidas por una ecuacin explcita: j = )(r), r [a, /[
Una curva de este tipo se parametriza de forma inmediata mediante
r = t
j = )(t)
t [a, /[
A esta parametrizacin se le denomina parametrizacin trivial de la curva denida en forma cartesiana
explcita.
2. Curvas denidas por una ecuacin implcita q(r, j) = 0
2.1. Si la curva es algbrica de grado 2 (es decir, si q es un polinomio en las variables r e j de
grado dos, por ejemplo 2r
2
j
2
2rj = 1) se pueden utilizar las igualdades
sen
2
t cos
2
t = 1 ; c/
2
t :/
2
t = 1
2.2. Si q es algbrica de grado mayor que dos, en algunas ocasiones se puede utilizar la tcnica de
parametrizacin racional de curvas planas, que no describimos en estos apuntes.
Ejercicio 3 Parametrizar las siguientes curvas:
(1)
x
2
a
2

y
2
b
2
= 1
Posible solucin:
r = a cos t
j = /sent
; t [0, 2[
(2)
x
2
a
2

y
2
b
2
= 1
Posible solucin:
r = acht
j = /sht
; t R
para una rama (r 0) y
r = acht
j = /sht
; t R
para la otra rama (r < 0).
(3) j
2
= 2r
2
8r 1.
Posible solucin:
r =
1
4
cht
3
4
j =
1
2
p
2
sht
; t R
para una rama y
r =
1
4
cht
3
4
j =
1
2
p
2
sht
; t R
para la otra.
13
2.3. Parametrizacin polar. Se puede entrar con r = j cos 0, j = jsen0 en la ecuacin de la curva
e intentar despejar j en funcin de 0 en la forma j = /(0), 0 [0
1
, 0
2
[ Entonces, proyectando j
sobre los ejes r e j se obtiene que la curva se puede parametrizar en la forma
r = /(0) cos 0
j = /(0)sen0
0 [0
1
, 0
2
[
Ejercicio 4 Parametrizar la curva con ecuacin cartesiana
_
r
2
j
2
_
2
= r
2
y dibujarla.
Obtencin de la ecuacin cartesiana a partir de las paramtricas Nos planteamos aho-
ra el problema inverso del considerado anteriormente: dadas unas ecuaciones paramtricas de una
curva en R
2
, queremos encontrar la ecuacin cartesiana de la misma. Para obtener las ecuaciones
cartesianas de una curva a partir de unas ecuaciones paramtricas, basta con eliminar el parmetro de
stas y luego identicar la porcin de la misma que nos interesa. Por ejemplo, consideremos la curva
I con parametrizacin
r = t cos t
j = sent
; t [0, ,2[
Si (r, j) I entonces (r, j) cumple r
2
j
2
= t
2
es decir, t =
_
r
2
j
2
por lo que entonces
r =
_
r
2
j
2
cos
_
_
r
2
j
2
_
(4)
Obsrvese que la curva I corresponde a slo una parte de las soluciones de (4), pues slo nos estamos
moviendo del punto (r(0), j(0)) = (0, 0) al (r(

2
), j(

2
)) = (0,

2
) en el sentido contrario a las agujas
de reloj. Esta situacin (que las ecuaciones paramtricas corresponden slo a una parte de la curva
cartesiana obtenida al eliminar el parmetro) se da en muchos casos.
3.3. Parametrizacin de curvas en el espacio
El objetivo de esta seccin es el siguiente: dadas dos ecuaciones cartesianas que representan una
curva en R
3
, encontrar una parametrizacin de la misma. Como en la seccin anterior, no existe
un procedimiento general que permita parametrizar curvas, por lo que nos restringiremos a algunas
situaciones concretas.
14
La representacin cartesiana general de una curva en R
3
est denida por dos ecuaciones del tipo
q (r, j, .) = 0 (5)
/(r, j, .) = 0
es decir, como interseccin de las dos supercies denidas por
Veamos dos enfoques:
1. Proyectando sobre un plano coordenado. Un procedimiento para parametrizar curvas de
este tipo es proyectar sobre un plano coordenado (normalmente el plano rj), parametrizar dicha
proyeccin y luego sustituir en la variable restante (normalmente la .). Matemticamente, se
debe encontrar un sistema de 2 ecuaciones
q (r, j, .) = 0
H (r, j) = 0
equivalente a (5) (es decir, que representa la misma supercie que (5)) y parametrizar H (r, j) = 0
en la forma
r = c(t)
j = ,(t)
; t [a, /[
Ahora, se despeja . en q (r, j, .) = 0 (suponiendo que esto sea viable) obteniendo una expresin
del tipo . = G(r, j) y entonces
r = c(t)
j = ,(t)
. = G(c(t), ,(t))
; t [a, /[
es una parametrizacin de la supercie.
2. Parametrizando una supercie y encontrando una relacin entre los parmetros de
la misma. Otra posibilidad es parametrizar una supercie, por ejemplo la denida por q (r, j, .) =
0, en la forma (r, j, .) = 1(n, ), (n, ) \. Ahora, entrando en la ecuacin /(r, j, .) = 0 de la
otra supercie, se tiene /(1(n, )) = 0, es decir, una expresin del tipo H(n, ) = 0. Pues bien,
15
si de esta expresin se puede despejar una de las variables n, en funcin de la otra, tenemos
= )(n), n [a, /[ y, entrando en (r, j, .) = 1(n, ) resulta que
(r, j, .) = 1(n, )(n)), n [a, /[
es una parametrizacin de la curva I.
Ejercicio 5 Parametrizar las siguientes curvas
1) r
2
j
2
.
2
= 1 ; . = 2r 2j
Posible solucin:
r =
_

cos t
4
_

1
sent ; j =
_

8
sent ; . =
2
_

cos t
2
_

1
sent ; t [0, 2[
2) r
2
j
2
.
2
= r
2
; r
2
j
2
rr = 0, r, j, . _ 0.
Posible solucin:
r =
r
2

r
2
cos t ; j =
r
2
sent ; . = rsen
t
2
; t [0, [
16
4. Curvas de clase 1. Vector tangente a una curva. Recta tangente
Ahora consideraremos los arcos denidos por una aplicacin derivable con continuidad:
Denicin 14 Arco C
1
. Se dice que el arco r : [a, /[ R
n
es de clase C
1
si r(t) es una aplicacin
de clase C
1
, es decir, admite derivada continuas en [a, /[, donde, en los extremos, por derivada hay
que entender las derivadas laterales correspondientes.
Ahora nos preguntamos si la propiedad ser de clase C
1
es intrnseca, es decir, dado un arco
de clase C
1
, son tambin de clase C
1
todos los arcos equivalentes al mismo? Es sencillo ver que la
respuesta es armativa:
Proposicin 7 La propiedad ser de clase C
1
es intrnseca, es decir, si un arco es C
1
tambin lo
son todos los arcos equivalentes al mismo. Por ello se puede hablar de caminos de clase C
1
.
El siguiente resultado presenta una importante propiedad del vector derivada r
0
(t), y que ya cono-
cemos de Fsica, pues sabemos que la velocidad es tangente a la trayectoria:
Proposicin 8 La velocidad como vector tangente a la trayectoria. Vector tangente a una
curva. Sea un arco r : [a, /[ R
n
de clase C
1
y sea t [a, /[. Entonces se verica que el vector r
0
(t)
es tangente a la Im(r) en el punto r(t), es decir, r
0
(t) tiene la direccin del lmite de las secantes

::
0
= r(t /) r(t) cuando el punto :
0
tiende a :.
r
0
(t) = lim
h!0

::
0
/
= lim
h!0
r(t /) r(t)
/
(en el caso de los extremos del intervalo, a y /, se debe entender por vector tangente el denido por la
derivada lateral correspondiente).
Comentario: Ntese que r
0
(t) est orientado en la direccin del movimiento sobre la curva. Por ello,
si se cambia el sentido de recorrido de la curva el vector r
0
(t) cambia de signo.
A continuacin introduciremos la nocin de curva en la que la velocidad de recorrido es distinta
de cero en todos los puntos:
Denicin 15 Punto regular/punto singular de un arco. Se dice que t
0
[a, /[ es un punto
regular del arco r : [a, /[ R
n
de clase C
1
= r
0
(t
0
) ,=

0, es decir, cuando el vector velocidad en el
punto es no nulo. Se dice que t
0
es un punto singular = r
0
(t
0
) =

0.
Denicin 16 Arco regular. Arco parametrizado tal que todos sus puntos son regulares.
I Comentarios:
17
Al ser, para arcos n y r equivalentes, n
0
(:) = r
0
(t)0
0
(:) y 0
0
(:) ,= 0 para todo : [c, d[ se sigue
que r
0
(t) ,=

0 si y slo si n
0
(:) ,=

0. Por tanto:
a) La regularidad de un punto es una propiedad intrnseca del arco.
b) La direccin y el sentido del vector tangente es una propiedad intrnseca del arco.
Por denicin, un punto singular es aquel en el que la velocidad instantnea de movimiento es
nulo. Por ello, no tiene que ver con una propiedad geomtrica de la imagen, sino con la forma en
la que se recorre dicha imagen. Por ejemplo, la porcin de recta r = j = . contenida en el primer
octante se puede parametrizar en la forma r = r(t), t [0, )
r = t
2
; j = t
2
; . = t
2
; t [0, )
que en t = 0 tiene un punto singular. Sin embargo, si parametrizo la recta en la forma r =
n(:), : [0, )
r = : ; j = : ; . = : ; : [0, )
todos los puntos son regulares. Es decir, : = 0 es un punto regular de n pero t = 0 es punto
singular de r(t). Esto se debe a que el cambio : = t
2
es un difeomorsmo de clase 1 en (0, )
pero no en [0, ) pues la derivada se anula en t = 0. En denitiva, r y n no son equivalentes con
la denicin dada anteriormente, a pesar de que se recorren los mismo puntos y el mismo nmero
de veces.
Vector tangente unitario a una curva Dado un arco r : [a, /[ R
n
, de clase C
1
y regular
(para que r
0
(t) no se anule), a cada punto : = r(t
0
) Im(r) se le puede asociar el vector tangente
unitario

t a la curva en ese punto, dado por

t(r(t
0
)) :=
~r
0
(t
0
)
k~r
0
(t
0
)k
Recta tangente a un arco en un punto regular. Ecuaciones paramtricas y cartesianas
Sea el arco r : [a, /[ R
n
de clase C
1
y sea t
0
[a, /[ un punto regular del mismo. La recta tangente
a r en el punto : := r(t
0
) se dene como la recta denida por el punto r(t
0
) y el vector r
0
(t
0
). Su
ecuacin paramtrica ser, por lo tanto

/(`) = : `r
0
(t
0
). En cuanto a sus ecuaciones cartesianas:
a) Si trabajamos en R
2
tenemos
r
0
2
(t
0
)(r :
1
) = r
0
1
(t
0
)(j :
2
)
o, lo que es lo mismo, en el caso en que r
0
1
(t
0
) y r
0
2
(t
0
) sean no nulos,
r :
1
r
0
1
(t
0
)
=
j :
2
r
0
2
(t
0
)
b) Si trabajamos en R
3
, las ecuaciones son
r
0
2
(t
0
)(r :
1
) = r
0
1
(t
0
)(j :
2
)
r
0
3
(t
0
)(r :
1
) = r
0
1
(t
0
)(. :
3
)
o, lo que es lo mismo, si r
0
1
(t
0
), r
0
2
(t
0
) y r
0
3
(t
0
) son no nulos,
r :
1
r
0
1
(t
0
)
=
j :
2
r
0
2
(t
0
)
=
. :
3
r
0
3
(t
0
)
18
Ejercicio 6 Calcular la recta tangente a la curva de ecuaciones
r = cos t sent
j = t
2
cos t
. = sent
en el punto correspondiente a t = 0.
Recta tangente a una curva en un punto singular Si t
0
es un punto singular del arco de clase
C
1
, r : [a, /[ R
n
, para hallar la recta tangente en en dicho punto, hay que intentar parametrizar
el arco de otro modo, de forma que con la nueva parametrizacin, el punto : ya no sea un punto
singular (obviamente esas dos parametrizaciones no pueden ser equivalentes, ya que stas conservan
los puntos singulares). Por ejemplo dada la curva en R
2
r = t
2
j = t
4
t
2
t 0
el punto (0, 0), correspondiente a t = 0, es un punto singular. Sin embargo la curva puede ser para-
metrizada tambin en la forma
r = n
j = n
2
n
; n 0
y entonces el punto (0, 0), correspondiente a n = 0, es un punto regular. Como (r
0
(0), j
0
(0)) = (1, 0),
el vector tangente unitario en el punto es (1, 0) y la ecuacin de la recta tangente buscada es j = 0.
Ejercicio 7 Calcular las asntotas del arco de curva
r(t) =
t
1 t
2
, r(t) =
t(1 2t
2
)
1 t
2
, t (1, 1) .
y dibujarlo.
4.1. Recta tangente y normal a una curva en R
2
En primer lugar veremos cmo se calcula el vector normal unitario a una curva en R
2
.
Normal unitaria a una curva de R
2
Sea I un camino de clase C
1
en R
2
y sea r : [a, /[ R
2
una parametrizacin de I denida por r(t) = (c(t), ,(t)). Entonces, los vectores (,
0
(t), c
0
(t)) son
perpendiculares a I en el punto r(t). Por ello, si el punto t es regular, el vector
(,
0
(t), c
0
(t))
|r
0
(t)|
es unitario y normal a la curva en en el punto r(t).
Obsrvese que si

t = (t
1
, t
2
) es el vector tangente unitario a la curva en un punto, el vector
: := (t
2
, t
1
) (6)
19
es perpendicular a la curva en ese punto y forma un ngulo de -90
o
con

t.
Por tanto, si I es una curva de Jordan en R
2
con orientacin positiva (es decir, tal que al recorrerla
se deja el interior de la curva a la izquierda), el vector
:(r(t)) =
(,
0
(t), c
0
(t))
|r
0
(t)|
es el vector normal unitario saliente a la curva en el punto r(t).
20
Recta normal y tangente a una curva en R
2
denida mediante una ecuacin cartesiana
En el caso de que una curva est denida mediante una ecuacin cartesiana q(r, j) = 0, para calcular
la recta tangente y/o la recta normal, se puede utilizar el siguiente resultado, que tambin ser til
en un captulo posterior para calcular el plano tangente a una supercie:
Proposicin 9 Sea un abierto de R
3
(respectivamente R
2
) y sea q : R una funcin C
1
().
Considrese un punto (r
0
, j
0
, .
0
) de la supercie q(r, j, .) = 0. Entonces si el vector \q(r
0
, j
0
, .
0
) (re-
sp. \q(r
0
, j
0
, .
0
)) es no nulo, dicho vector es perpendicular a la supercie, es decir, al plano tangente,
en el punto (r
0
, j
0
, .
0
) (resp. perpendicular a la curva en el punto (r
0
, j
0
)). En la terminologa de la
fsica decimos que \q(r
0
, j
0
, .
0
) es perpendicular a la supercie equipotencial que pasa por (r
0
, j
0
, .
0
).
Caso de R
3
Caso de R
2
Dem: ver el captulo dedicado a supercies
Por ello, si \q(r
0
, j) ,= (0, 0), el campo de normales unitarias a una curva en R
2
denida por
q(r, j) = 0 est dado por
:(r, j) =
\q(r, j)
|\q(r, j)|
Por ejemplo, para una circunferencia en R
2
de radio 1 y centrada en el origen, el campo de vectores
normales unitarios est denido por
:(r, j) =
(r, j)
1
donde corresponde a la normal saliente.
Es sabido que la ecuacin de la recta que pasa por un punto (r
0
, j
0
) y perpendicular a una direccin
denida por

d = (d
1
, d
2
) tiene la ecuacin
(r r
0
, j j
0
)

d = 0, ,
es decir,
d
1
(r r
0
) d
2
(j j
0
) = 0
Anlogamente, como (d
2
, d
1
) es perpendicular a

d, la ecuacin de la recta que pasa por (r
0
, j
0
) y
que tiene la direccin denida por

d es
d
2
(r r
0
) d
1
(j j
0
) = 0
21
Como conclusin tenemos: si \q(r
0
, j
0
) ,= (0, 0), la ecuacin de la recta tangente a la curva
q(r, j) = 0 en el punto (r
0
, j
0
) es
@g
@x
(r
0
, j
0
)(r r
0
)
@g
@y
(r
0
, j
0
)(j j
0
) = 0
mientras que la ecuacin de la recta normal en dicho punto es
@g
@y
(r
0
, j
0
)(r r
0
)
@g
@x
(r
0
, j
0
)(j j
0
) = 0
4.2. Recta tangente a una curva denida por ecuaciones cartesianas
Sea la curva I denida en la forma
q(r, j, .) = 0
/(r, j, .) = 0
y sea (r
0
, j
0
, .
0
) un punto de la misma. Queremos calcular la ecuacin de la recta tangente a I en
dicho punto.
Una posibilidad sera intentar parametrizar I y luego aplicar los resultados vistos anteriormente
para el clculo de la recta tangente a una arco parametrizado. Sin embargo es mucho ms direc-
to proceder de la siguiente forma: haciendo uso de un resultado anterior, si no es nulo, el vector
\q(r
0
, j
0
, .
0
) es perpendicular a la supercie q(r, j, .) = 0 en el punto (r
0
, j
0
, .
0
). Algo anlogo
sucede para \/(r
0
, j
0
, .
0
), que de ser no nulo es perpendicular a la supercie /(r, j, .) = 0 en el
punto (r
0
, j
0
, .
0
). Por consiguiente, de ser no nulos los dos vectores anteriores, el vector

T = \/(r
0
, j
0
, .
0
) \q(r
0
, j
0
, .
0
)
es tangente a la curva I en el punto es cuestin, como muestra la gura
22
5. Longitud de arco
Para denir la longitud de un arco r, seguiremos el siguiente procedimiento: tomaremos puntos
sobre la curva y construiremos la poligonal inscrita a la curva correspondiente a dichos puntos. La
longitud de esta poligonal es la suma de las longitudes de los segmentos que la forman. Pues bien,
deniremos la longitud de r como la longitud de la poligonal cuando se rena la poligonal. De forma
rigurosa tenemos:
Denicin 17 Arco recticable y longitud de arco. Sea un arco parametrizado r : [a, /[ R
n
.
Denotemos o(1
1
, 1
2
) al segmento que une 1
1
y 1
2
y 1
S(P
1
;P
2
)
=
_
_
_

O1
2

O1
1
_
_
_ a su longitud.
Sea 1 = a = t
0
< t
1
< ... < t
m
= / una particin de [a, /[. La poligonal inscrita asociada a r
y a 1 es H(r, 1) =
m1
'
k=0
o(r(t
k
), r(t
k+1
)) y la longitud de poligonal correspondiente es 1
(~r;P)
:=
m1

k=0
|r(t
k
) r(t
k+1
)|
Entonces se dice que r es recticable = sup
P2P
1
(~r;P)
< . En tal caso su longitud de arco se dene
como el nmero no negativo
1
~r
= sup
P2P
1
(~r;P)
En la siguiente gura se muestra la poligonal inscrita asociada a una particin con 4 puntos:
De forma intuitiva vemos que la longitud de un arco debe ser igual a la de todos los arcos equivalente
a l, es decir, que la longitud de arco es una propiedad intrnseca. La siguiente proposicin establece
que eso es as:
Proposicin 10 a) Se verica que la propiedad de ser recticable y la longitud de arco son propiedades
intrnsecas. En concreto, si r y n son equivalentes (directa o inversamente), r es recticable si y slo
si lo es n y adems en ese caso su longitud es la misma. Por ello se puede hablar de camino recticable
y de longitud de arco de un camino.
b) Se cumple que cualquier subarco de un arco recticable es recticable y adems
1
~r
[a, c[ 1
~r
[c, /[ = 1
~r
[a, /[
para todo c [a, /[, donde 1
~r
[a, c[ denota la longitud de la porcin del arco correspondiente a hacer
variar el parmetro entre a y c, y algo anlogo se tiene para 1
~r
[c, /[.
23
Ejemplo de arco no recticable A continuacin veremos un ejemplo de arco no recticable.
El arco
r : (0, 1[ R
2
t r(t) = (t, sen
1
t
)
cuya grca se muestra en la siguiente gura,
no es recticable.
La Denicin 17 no parece muy til para calcular en la prctica la longitud de un arco. El siguiente
resultado establece que, en el caso de arcos de clase 1, la longitud de arco se puede calcular mediante
una integral simple:
Proposicin 11 Clculo de la longitud de arco para arcos C
1
. Sea I un camino C
1
con para-
metrizacin r : [a, /[ R
n
. Entonces:
1) I es recticable
2) La longitud de I est dada por
1

=
_
b
a
|r
0
(n)| dn (7)
I Comentario. La frmula (7) permite interpretar la longitud de arco como la integral de la celeridad,
es decir, como la integral del mdulo de la velocidad. Esto coincide con la idea fsica de que el espacio
recorrido por un mvil es la integral de la celeridad.
Un resultado anterior armaba que la longitud de arco es una propiedad intrnseca. En el caso
de arcos de clase C
1
, la expresin (7) permite demostrar fcilmente dicha propiedad. En efecto, se
verica:
Proposicin 12 Si n : [c, d[ R
n
es un arco de clase 1 equivalente (directa o inversamente) a
r : [a, /[ R
n
, se cumple,
_
b
a
_
_
r
0
(n)
_
_
dn =
_
d
c
_
_
n
0
(n)
_
_
dn.
24
Dem.
El siguiente ejercicio es muy til para calcular la longitud de curvas denidas en forma cartesiana
explcita:
Ejercicio 8 Clculo de la longitud de una curva en R
2
dada en cartesianas explcitas.
Deducir la expresin que proporciona la longitud de la curva I denida por por j = )(r), r [a, /[,
donde ) es una funcin de clase uno en [a, /[.
Solucin
1

=
_
b
a
_
1 )
0
(r)
2
dr
Ejercicio 9 Calcular la longitud de la curva
r = c
t
cos t, j = c
t
sent
entre el punto (1, 0) y el punto lmite cuando t . Asimismo, hallar la ecuacin cartesiana de la
curva. Solucin:
_
2
Ejercicio 10 Calclese la longitud del arco de curva
r(t) =
_
t
1
cos n
n
2
dn, j(t) =
_
t
1
senn
n
2
dn
desde el punto (0, 0) hasta el punto ms prximo (donde la distancia se mide sobre la curva) que tenga
tangente vertical. Solucin:
2

Ejercicio 11 Calcular la longitud de un paso de hlice cuyo eje de giro es el eje ., cuyo radio de giro
es a y tal que la velocidad de desplazamiento en la direccin . es /.
Solucin: 2
_
a
2
/
2
25
6. Caminos de clase 1 a trozos
Motivacin Hay muchos caminos que se utilizan en las aplicaciones y que no son C
1
. Relajaremos
la condicin de que la parametrizacin sea derivable en todos los puntos permitiendo que exista un
nmero nito de puntos en los que dicha derivada no exista debido a que las derivadas por la izquierda
y por la derecha existan pero no coincidan. As, introducimos la siguiente denicin:
Denicin 18 Arco C
1
a trozos. Se dice que un arco r : [a, /[ R
n
es C
1
a trozos si existe una
particin a = t
0
< t
1
< . . . < t
m
= / de [a, /[ tal que r (que, como ya sabemos, es continuo en [a, /[)
es C
1
en cada [t
i
, t
i+1
[, i = 0, ..., :1 es decir, derivable en (t
i
, t
i+1
), existen las derivadas laterales
en los extremos y la funcin derivada as denida es continua.
En la siguiente gura se representa un arco C
1
a trozos. La aplicacin r no es derivable en los
puntos t
1
y t
2
, pero s lo es en los intervalos [t
0
, t
1
[, [t
1
, t
2
[ y [t
2
, t
3
[
Como parece intuitivo, se tiene:
Proposicin 13 La propiedad ser arco C
1
a trozos es una propiedad intrnseca, con lo que se puede
hablar de la nocin de camino C
1
a trozos.
Como consecuencia inmediata de la Proposicin 11 tenemos:
Proposicin 14 Clculo de la longitud de arco para arcos C
1
a trozos. Sea I un camino C
1
a trozos con parametrizacin r : [a, /[ R
n
. Entonces:
1) I es recticable
2) La longitud de I est dada por
1

=
_
b
a
|r
0
(n)| dn (8)
donde por la expresin anterior hay que entender
1

=
m1

i=1
_
t
i+1
t
i
_
_
r
0
(n)
_
_
dn (9)
I Comentario: En lo sucesivo, todos los caminos que se considerarn son caminos C
1
a trozos
y, como sucede en (9), cuando aparezca una expresin integral en la que aparezca la derivada de la
parametrizacin, se entender siempre dicha integral como suma de integrales en los trozos en los que
la parametrizacin es C
1
.
26
7. Integral curvilnea
Tipos de integrales curvilneas Estudiaremos dos tipos de integrales curvilneas, cada una de las
cuales tiene importantes aplicaciones fsicas:
1. Integral curvilnea de un campo vectorial o circulacin.
2. Integral curvilnea de un campo escalar.
7.1. Integral curvilnea de un campo vectorial. Circulacin
Motivacin Supngase un campo de fuerzas

1 y una partcula que se desplaza en el mismo
segn una curva I. La circulacin de

1 sobre I corresponde al concepto fsico de trabajo de

1 sobre
I.
Introduzcamos la denicin de circulacin:
Denicin 19 Circulacin de un campo vectorial a lo largo de un camino.
(i) Sea I un camino (arco geomtrico orientado) C
1
a trozos con parametrizacin r : [a, /[ R
n
.
(ii) Sea

1 un campo vectorial en R
n
al que por ahora slo le pedimos que est denido sobre la
curva I salvo quizs en un nmero nito de puntos.

1 tendr la forma
(r
1
, ..., r
n
)

1(r
1
, ..., r
n
) := (1
1
(r
1
, ..., r
n
), ..., 1
n
(r
1
, ..., r
n
))
un campo vectorial.
Se dene la circulacin de

1 a lo largo de I mediante el escalar
_

1dr :=
_
b
a

1(r(t)) r
0
(t)dt (10)
en el caso en que la integral en [a, /[ de la funcin real de variable real q(t) :=

1(r(t))r
0
(t) del segundo
miembro exista (ya sea como integral propia o como integral impropia convergente).
Obsrvese que una condicin suciente para que dicha integral exista (en sentido propio) es que

1
est acotado en I y sea continuo en I salvo quizs en un nmero nito de puntos.
I Comentario: Obsrvese que para que la denicin anterior est bien dada, el resultado de la
circulacin no debe depender de la parametrizacin que se elija para I. En trminos precisos, debe
vericarse que si n : [c, d[ R
n
es otra parametrizacin de I, entonces
_
b
a

1(r(t)) r
0
(t)dt =
_
d
c

1( n(:)) n
0
(:)d: (11)
Pues bien, se tiene:
Proposicin 15 Supnganse las condiciones de la denicin anterior y sea n : [c, d[ R
n
un arco
directamente equivalente a r. Entonces se verica la expresin (11) con lo que la denicin de circu-
lacin es independiente de la parametrizacin que se elija para la curva. Adems, si n : [c, d[ R
n
es
inversamente equivalente a r, es decir, si n es una parametrizacin de I pero con sentido contrario
de movimiento, entonces
_
b
a

1(r(t)) r
0
(t)dt =
_
d
c

1( n(:)) n
0
(:)d:
27
que permite armar que la circulacin es una integral orientada en el sentido de que depende del
sentido de recorrido del camino, y que la circulacin cambia de signo cuando se cambia la orientacin
del camino.
Dem.
Interpretacin de la circulacin De la teora de la integral simple (concretamente de la con-
struccin de la integral mediante las sumas de Riemann) sabemos que cuando la integral
_
b
a
q(t)dt
existe, se puede obtener considerando una particin a = t
0
< t
1
< < t
n
= / de [a, /[, eligiendo un
punto
i
en cada intervalo de la particin, es decir,
i
[t
i
, t
i+1
[, i = 0, ..., : 1 y considerando la
suma
n1

i=0
q(
i
)(t
i+1
t
i
)
Entonces,
_
b
a
q(t)dt es el valor de la suma anterior cuando la particin se rena haciendo tender :
a innito (dicho lmite es independiente de los puntos
i
elegidos).
Por tanto, de (10) tenemos que, cuando la integral existe, la circulacin se puede interpretar como
el lmite cuando : de
n1

i=0

1(r(
i
)) r
0
(
i
)(t
i+1
t
i
)
Obsrvese que los sumandos de esta suma son el producto escalar de la fuerza en ciertos puntos de la
curva por la velocidad de movimiento en dichos puntos y por las longitudes t
i+1
t
i
.
En la siguiente gura se muestra la suma anterior cuando : = 8:
I Comentarios:
De (10) se observa que la circulacin de

1 sobre I slo depende del valor de

1 sobre I. En
particular, aunque

1 est denido en un conjunto \ mayor y no sea nulo en todo \, si

1 es nulo
sobre la curva entonces la circulacin de

1 sobre I es nula.
Circulacin y componente tangencial . La componente tangencial de

1 segn la curva I se dene
como
1
T

(r) =

1(r)

t(r)
donde

t es el vector tangente unitario a I en el punto r y coherente con la orientacin de I. Sea
t [a, /[. Si r = r(t) corresponde a un punto regular de la curva entonces 1
T

(r(t)) =
~
F(~r(t))
k~r
0
(t)k
.
En el caso en que r = r(t) corresponda a un punto singular de la curva,

t no se puede calcular
28
con la parametrizacin r. En cualquier caso, lo que siempre se verica es que

1(r(t)) r
0
(t) =
1
T

(r(t)) |r
0
(t)| (en el caso de un punto singular, ambos miembros valen cero).
Por ello, (10) se puede escribir
_

1dr =
_
b
a
1
T

(r(t)) |r
0
(t)| dt
En particular, la expresin anterior indica que si el campo

1 es perpendicular a I en todos sus
puntos, entonces
_

1dr = 0. Esa situacin se ilustra en la siguiente gura:
Si I es una curva cerrada, se demuestra fcilmente que la circulacin
_

1dr es independiente del
punto a partir del cual se empieza a recorrer la curva. Por ello, para calcular la circulacin sobre
una curva cerrada, podemos tomar un punto cualquiera como inicio del recorrido.
Expresiones para la circulacin en R
2
y R
3
R
2
. Sea
r : [a, /[ R
2
t r(t) = (c(t), ,(t))
una parametrizacin de I y

1(r, j) = (1(r, j), Q(r, j))

Entonces
_

1dr :=
_
b
a

1(r(t)) r
0
(t)dt =
=
_
b
a
(1(c(t), ,(t)), Q(c(t), ,(t)))
_
c
0
(t), ,
0
(t)
_
dt =
=
_
b
a
_
1(c(t), ,(t))c
0
(t) Q(c(t), ,(t)),
0
(t)
_
dt
La expresin anterior sugiere la notacin
_

1dr =
_

1dr Qdj,
muy utilizada en la prctica, para la circulacin.
R
3
. Sea
r : [a, /[ R
3
t r(t) = (c(t), ,(t), (t))
29
una parametrizacin de I y

1(r, j, .) = (1(r, j, .), Q(r, j, .), 1(r, j, .))

Entonces
_

1dr :=
_
b
a

1(r(t)) r
0
(t)dt =
=
_
b
a
(1(c(t), ,(t), (t)), Q(c(t), ,(t), (t)))
_
c
0
(t), ,
0
(t),
0
(t)
_
dt =
=
_
b
a
_
1(c(t), ,(t), (t))c
0
(t) Q(c(t), ,(t), (t)),
0
(t) 1(c(t), ,(t), (t))
0
(t)
_
dt
Como en el caso de R
2
, la expresin anterior sugiere la notacin
_

1dr =
_

1dr Qdj 1d.

Algunas notaciones: A continuacin introducimos las siguiente notaciones:
Sean I
1
y I
2
dos caminos denidos por parametrizaciones inversamente equivalentes (es decir, I
1
y I
2
son la misma curva pero recorrida con sentidos distintos). Entonces escribiremos
I
2
= I
1.
Sean I, I
1
y I
2
caminos denidos por parametrizaciones
I ; r : [a, /[ R
n
I
1
; r : [a, c[ R
n
I
2
; r : [c, /[ R
n
donde c [a, /[. Entonces escribiremos
I = I
1
' I
2 (ntese que I
1
y I
2
no se solapan salvo en los
extremos)
A continuacin introducimos algunas propiedades de la circulacin que se deducen directamente
de su denicin:
Proposicin 16 Propiedades de la circulacin. Sean I, I
1
y I
2
caminos C
1
a trozos y sean

),

)
1
y

)
2
campos vectoriales continuos (para garantizar que la circulacin existe) en I, I
1
y I
2
. Entonces
se cumple:
(1) Linealidad en el integrando. \`, j R,
_

_
`

)
1
j

)
2
_
dr = `
_

)
1
dr j
_

)
2
dr
(2) Aditividad en el recinto de integracin. Si son caminos que no se solapan (salvo en los extremos)
y I = I
1
' I
2
entonces
_

)dr =
_

)dr
_

)dr
(3) Acotacin. Si se cumple que existe ' R tal que \r I,
_
_
_

)(r)
_
_
_ _ ', entonces

)dr

_ '1

(12)
donde 1

es la longitud de I.
Dem.
30
Corolario: Como consecuencia de la acotacin (12), si I es una curva con longitud nula (por ejemplo,
un punto) se tiene que
_

)dr = 0 para cualquier campo vectorial

).
Ejercicio 12 Calclese la integral curvilnea
_

(rj r j) dr (rj r j) dj
siendo I la circunferencia r
2
j
2
= ar con orientacin contraria a las agujas del reloj.
Solucin:
a
3
8
Ejercicio 13 Hllese el trabajo realizado por la fuerza
F(r, j) = (8j
2
2)i 16rj
al mover una partcula desde (1, 0) a (1, 0) siguiendo la mitad superior de la elipse /
2
r
2
j
2
= /
2
.
Solucin: 4/
2
8/ 4
7.2. Integral curvilnea de un campo escalar
A continuacin se introduce la siguiente nocin
Denicin 20 Integral curvilnea de un campo escalar
(i) Sea I un camino (arco geomtrico orientado) C
1
a trozos con parametrizacin r : [a, /[ R
n
.
(ii) Sea q un campo escalar en R
n
al que por ahora slo le pedimos que est denido sobre la curva
I salvo quizs en un nmero nito de puntos.
Se dene la integral curvilnea de q a lo largo de I mediante el escalar
_

qdr :=
_
b
a
q(r(t)) |r
0
(t)| dt (13)
en el caso en que la integral en [a, /[ de la funcin real de variable real /(t) := q(r(t)) |r
0
(t)| del
segundo miembro exista. Obsrvese que una condicin suciente para que dicha integral exista (en
sentido propio) es que q est acotado en su dominio y sea continuo salvo quizs en un conjunto nito
de puntos.
I Comentarios:
1. Obsrvese que para que la denicin anterior est bien dada, el resultado de la circulacin no
debe depender de la parametrizacin que se elija para I. En trminos precisos, debe vericarse
que si n : [c, d[ R
n
es otra parametrizacin de I, entonces
_
b
a
q(r(t))
_
_
r
0
(t)
_
_
dt =
_
d
c
q( n(:))
_
_
n
0
(:)
_
_
d: (14)
Pues bien, esta propiedad se verica. Adems, si n : [c, d[ R
n
es inversamente equivalente a r,
es decir, si n es una parametrizacin de I pero con sentido contrario de movimiento, (14) se sigue
vericando. Esto permite armar que la integral curvilnea de un campo escalar es independiente
del sentido de recorrido del camino.
2. De nuevo se observa que
_

qdr slo depende del valor de q sobre I.

31
3. De la Denicin 20 y de (8) se sigue inmediatamente que
Long

=
_

1 dr
4. Relacin con la circulacin. Ya se vio que
_

1dr =
_
b
a
1
T

(r(t))
_
_
r
0
(t)
_
_
dt
con lo que se puede escribir
_

1dr =
_

1
T

dr
o bien, si denimos el campo

t(r(t)) :=
_
~r
0
(t)
k~r
0
(t)k
si r
0
(t) ,= 0

0 si r
0
(t) = 0
_
es decir, en los puntos regulares

t(r(t)) es el vector tangente unitario a la curva en r(t), entonces
_

1dr =
_

t dr
Por ejemplo, para una circunferencia en R
2
de radio 1 y centrada en el origen, el campo de
vectores tangentes unitarios est denido por

t(r) =
(j, r)
1
Interpretacin fsica de la integral curvilnea de un campo escalar La integral curvilnea
de un campo escalar tiene una interpretacin anloga a la que se present anteriormente para la
circulacin. En este caso tenemos que, cuando la integral
_

qdr existe, se puede interpretar como el

lmite cuando : de
n1

i=0
q(r(
i
))
_
_
r
0
(
i
)
_
_
(t
i+1
t
i
)
Obsrvese que los sumandos de esta suma son el producto de q en ciertos puntos de la curva por el
mdulo de la velocidad de movimiento en dichos puntos y por las longitudes t
i+1
t
i
.
Integral curvilnea de un campo escalar en R
2
y R
3
Particularicemos la frmula (13) al caso
de integrales curvilneas en R
2
y R
3
:
En R
2
. Sea
r : [a, /[ R
2
t r(t) = (c(t), ,(t))
una parametrizacin de I y sea q un campo escalar en R
2
. Entonces
_

qdr =
_
b
a
q(r(t)) |r
0
(t)| dt =
_
b
a
q(c(t), ,(t))
_
(c
0
(t))
2
(,
0
(t))
2
dt
32
En R
3
. Sea
r : [a, /[ R
3
t r(t) = (c(t), ,(t), (t))
una parametrizacin de I y sea q un campo escalar en R
3
. Entonces
_

qdr =
_
b
a
q(c(t), ,(t), (t))
_
(c
0
(t))
2
(,
0
(t))
2
(
0
(t))
2
dt
Proposicin 17 Propiedades de la integral curvilnea de un campo escalar. Sean I, I
1
y I
2
caminos C
1
a trozos y sean q, q
1
y q
2
campos escalares continuos salvo quizs en un nmero nito de
puntos (para garantizar que la circulacin existe) en I, I
1
y I. Entonces se cumple:
(1) Linealidad en el integrando. \`, j R,
_

(`q
1
jq
2
) dr = `
_

q
1
dr j
_

q
2
dr
(2) Aditividad en el recinto de integracin. Si I
1
y I
2
son caminos que no se solapan (salvo en los
extremos) y I = I
1
' I
2
entonces
_

qdr =
_

1
qdr
_

2
qdr
(3) Acotacin. Si se cumple que existe ' R tal que \r I, [q(r)[ _ ', entonces

qdr

_ '1

donde 1

es la longitud de I.
(4) Teorema del valor medio. Si I es de clase C
1
a trozos y q es continuo en I, entonces existe

I tal que
_

qdr = q(

)1

donde 1

es la longitud de .
I Comentario: Obsrvese el paralelismo entre las propiedades previas y las propiedades de linealidad,
aditividad, acotacin y teorema del valor medio para integrales simples
_
b
a
)(r)dr y tambin con las
propiedades ya estudiadas de la circulacin. Ntese tambin que en el caso de la circulacin no existe
ningn anlogo del teorema del valor medio para integrales curvilneas de un campo escalar.
Algunas aplicaciones fsicas de la integral curvilnea de un campo escalar Si I representa
un alambre con densidad lineal j, entonces la masa del alambre es
'a:a(I) :=
_

jdr
De forma anloga, si c denota la densidad lineal de carga en el alambre, entonces la carga total del
alambre es
_

cdr
Asimismo, el valor promedio de un campo escalar q a lo largo de un arco de curva I se dene a
travs de la expresin:
q

:=
_

qdr
1o:q(I)
33
En particular, las coordenadas del centro de gravedad de un alambre con densidad lineal j estn dadas
por
r
grav
=
R

xdr
Masa()
; j
grav
=
R

ydr
Masa()
; .
grav
=
R

zdr
Masa()
Ejercicio 14 (a) Determnese la masa de un alambre que es la interseccin de la esfera r
2
j
2
.
2
= 1
con el plano r j . = 0, sabiendo que la densidad en cada punto es j (r, j, .) = r
2
. (b) Idem si
j (r, j, .) = r j . tiene este caso sentido fsico?
Solucin a (a).
2
3
Ejercicio 15 Calclese el valor promedio del campo escalar )(r, j) = 2r j a lo largo del arco de
curva r(t) = t
4
, j(t) = t
4
, t [1, 1[.
Solucin.
1
2
Ejercicio 16 Dada una curva I en coordenadas polares j = j(0), 0 [0
1
, 0
2
[, de longitud |, decir
cules de las frmulas siguientes son vlidas para calcular las coordenadas (r
0
, j
0
) = (0
0
, j
0
) de su
centro de gravedad supuesta la curva homognea
1) r
0
=
1
|
_

rd: , j
0
=
1
|
_

j d:
2) r
0
=
1
|
_
x
2
x
1
rdr , j
0
=
1
|
_
y
2
y
1
j dj
8) r
0
=
1
|
_

2

1
rd0 , j
0
=
1
|
_

2

1
j d0
4) j
0
=
1
|
_

2

1
j dj , 0
0
=
1
|
_

2

1
0 d0
) r
0
=
1
|
_

rdrdj , j
0
=
1
|
_

j drdj
Ejercicio 17 Dada una curva I en coordenadas polares j = j(0), 0 [0
1
, 0
2
[, decir cules de las
frmulas siguientes son vlidas para calcular la integral curvilnea de un campo escalar )(r, j)
1)
_

)(r, j) d: =
_

2

1
)(r(0), j(0))
_
j(0)
2
j
0
(0)
2
d0
2)
_

)(r, j) d: =
_

2

1
)(r(0), j(0))j d0
7.3. Simetras en las integrales curvilneas
Las integrales curvilneas de campos escalares verican propiedades de simetra anlogas a las
estudiadas para integrales dobles y triples.
Por ejemplo, para integrales curvilneas en R
2
se tiene:
Proposicin 18 Sea I camino C
1
a trozos simtrico respecto del eje r = 0 y sea q : \ R un campo
escalar continuo. Entonces:
a) Si q es par en r,
_

qdr = 2
_

1
qdr donde I
1
es cualquiera de las dos curvas en las que el eje
r = 0 divide a I.
b) Si q es impar en r,
_

qdr = 0.
34
I Comentario: Las reglas de simetra anteriores no son directamente aplicables a las integrales de un
campo vectorial. Esto es as porque en la circulacin de un campo habra que tener en cuenta, adems
de la simetra en la curva y en el campo a integrar, la simetra en el vector tangente unitario. Lo
que se puede hacer es utilizar que
_

1dr =
_

t dr
y ahora intentar aplicar simetras en la segunda integral, que es una integral del campo escalar q(r) :=

1(r)

t(r).
35
8. Independencia del camino en la integral curvilnea. Campos con-
servativos
A continuacin estudiaremos las condiciones en las que la circulacin de un campo vectorial

1 sobre
una curva que une los puntos a y

/ es independiente del camino seguido para ir de a a

/. En tal caso la
circulacin slo depende de

1 y de dichos puntos inicial y nal. Si esta propiedad se verica para todos
los puntos de un determinado conjunto \, se dice que en \, la circulacin de

1 es independiente del
camino.
Introduzcamos la siguiente nocin:
Denicin 21 Conjunto conexo. Un conjunto C es conexo cuando todo par de puntos de C puede
ser unido por un camino C
1
a trozos contenido en el conjunto.
Conjunto conexo Conjunto no conexo
En lo sucesivo trabajaremos casi siempre en conjuntos \ abiertos y conexos:
A \ le pedimos que sea abierto para poder hablar de derivadas parciales de un campo en los
puntos de \ (si \ contuviese a algn punto de su frontera, en esos puntos no estaran denidas
las derivadas parciales del campo)
A \ le pedimos que sea conexo para que dos puntos cualesquiera de \ puedan siempre ser unidos
por un camino contenido en \.
El siguiente resultado
Proposicin 19 Sea \ un abierto conexo de R
n
y sea

1 : \ R
n
continuo. Entonces se verica:
La circulacin de

1 entre dos puntos cualesquiera de \ es independiente del camino (C
1
a trozos
y contenido en \) que los une si y slo si la circulacin de

1 a lo largo de cualquier camino cerrado
(C
1
a trozos y contenido en \) es nula.
Dem.
Introducimos ahora la denicin de campo conservativo en un dominio como aquel campo para el
que la circulacin slo depende de los puntos inicial y nal del recorrido. En concreto tenemos:
Denicin 22 Campo conservativo. Sea \ un abierto conexo de R
n
y sea

1 : \ R
n
continuo.
Se dice que

1 es conservativo (en \) cuando la circulacin de

1 entre dos puntos cualesquiera de \
es independiente del camino (C
1
a trozos y contenido en \) que los une.
36
A continuacin se aborda el estudio de la relacin entre campos conservativos y campos que admiten
un potencial escalar.
Denicin 23 Potencial escalar de un campo vectorial. Sea \ un abierto de R
n
y sea

1 : \
R
n
. Se dice que l : \ R (que admite derivadas parciales de primer orden) es un potencial escalar
de

1 cuando

1 = gradl.
I Comentario. En Fsica se suele adoptar como denicin de potencial escalar, la de

1 = gradl
Unicidad del potencial escalar Obviamente, si l es un potencial escalar de

1 y c R, l c
tambin es un potencial escalar de

1. La pregunta que nos hacemos ahora es si todos los potenciales
escalares de

1 son de la forma l c, c R. Veamos: sean l y \ potenciales escalares de

1. Entonces
grad(l \ ) =

1

1 =

0 en \. Si un campo escalar tiene gradiente idnticamente nulo en un conjunto

conexo necesariamente debe ser un campo constante. De aqu se sigue que l \ debe ser constante
en \, con lo que se ha obtenido:
Proposicin 20 Sea l : \ R, l C
1
(\) un potencial escalar de

1 : \ R
n
y sea \ abierto
conexo. Entonces el conjunto de los potenciales escalares de

1 es
l c : c R
El siguiente resultado muestra que los campos vectoriales que derivan de un potencial son conser-
vativos:
Proposicin 21 Sea \ un abierto conexo de R
n
y sea

1 : \ R
n
, tal que existe un campo escalar
l : \ R, l C
1
(\) tal que

1 =gradl. Entonces

1 es conservativo (en \) y adems, si a,

/ \ y
I es un camino C
1
a trozos y contenido en \ que une a con

/ se verica
_

1dr = l(

/) l(a)
Dem.
I Comentario: Obsrvese que el resultado anterior es en cierto sentido anlogo a la regla de
Barrow para funciones reales de variable real, puesto que relaciona la derivada de un campo (su
gradiente) sobre una curva con el valor del campo en los extremos de la curva.
El recproco del resultado anterior tambin se cumple en el sentido de que los campos conservativos
derivan de un potencial:
Proposicin 22 Sea \ un abierto conexo de R
n
y sea

1 : \ R
n
,

1 C(\) un campo que cumple
la siguiente propiedad: la circulacin de

1 entre dos puntos cualesquiera de \ es independiente de la
poligonal (contenida en \) que una dichos puntos.
Entonces

1 es conservativo en \, es decir, la circulacin de

1 entre dos puntos cualesquiera de
\ es independiente del camino que los une. Todava ms, existe un campo l : \ R, l C
1
(\) tal
que

1 =gradl. Adems, un potencial escalar l se puede calcular de la siguiente forma: Sea a \
arbitrario. Entonces
\r \, l(r) :=
_
(~a;~x)

1dr
37
donde I(a, r) denota cualquier camino C
1
a trozos y contenido en \ que una el punto a con el punto
r.
Dem. Sea r \. Sea i 1, ..., :. Queremos demostrar que
@U
@x
i
(r) = 1
i
(r). Para ello, aplicando
la denicin,
0l
0r
i
(r) = lim
h!0
l(r /c
i
) l(r)
/
donde c
i
= (0, , 0, 1, 0, , 0) es el isimo vector cannico de R
n
. Ahora, por denicin de l, si
vamos de a
l(r /c
i
) l(r) =
_
(~a;~x+h~e
i
)

1dr
_
(~a;~x)

1dr =
_
(~x;~x+h~e
i
)

1dr
Elegimos como I(r, r /c
i
) el segmento rectilneo o(r, r /c
i
) que une r con r /c
i
, con parame-
trizacin r(t) = r t(/c
i
), t [0, 1[, donde tomamos / lo sucientemente pequeo para que dicho
segmento est contenido en \. Entonces
lim
h!0
l(r /c
i
) l(r)
/
= lim
h!0
_
S(~x;~x+h~e
i
)

1dr
/
=
= lim
h!0
_
1
0

1
_
r t/c
i
_
/c
i
dt
/
= lim
h!0
_
1
0
1
i
_
r t/c
i
_
dt
Ahora queremos meter el lmite dentro de la integral. Pare poder hacerlo consideramos la funcin
q(t, /) = 1
i
_
r t/c
i
_
y observamos que, al ser 1
i
continua en \, q(t, /) es continua en [0, 1[ [-, -[
con lo que por un resultado ya estudiado,
lim
h!0
_
1
0
1
i
_
r t/c
i
_
dt =
_
1
0
lim
h!0
1
i
_
r t/c
i
_
dt =
_
1
0
1
i
(r) dt = 1
i
(r)
como se quera demostrar
I Comentarios:
Obsrvese que tomando distintos puntos a \ en el teorema anterior se obtienen los innitos
potenciales escalares del campo

1. En efecto, si

/ \ podemos escribir
l(r) :=
_
(
~
b;~x)

1dr =
_
(
~
b;~a)

1dr
_
(~a;~x)

1dr
El resultado anterior se puede considerar como el anlogo en este contexto al teorema fun-
damental del clculo para las funciones reales de variable real, que recurdese, asegura que si
) : [a, /[ R es continua, entonces la funcin
l(r) :=
_
x
a
)(t)dt
es derivable y l
0
(r) = )(r) en [a, /[.
38
Se he visto que los campos conservativos en un abierto conexo son los campos que derivan de un
potencial. Sin embargo, dado un campo

1, el comprobar si deriva o no de un potencial no parece
sencillo. Por ello, buscamos si existen condiciones necesarias y/o sucientes, sencillas de comprobar
en la prctica, para que un campo sea conservativo. En primer lugar se tiene:
Proposicin 23 Condicin necesaria para que un campo sea conservativo. Sea \ un abierto
de R
n
y sea

1 : \ R
n
,

1 C
1
(\). Entonces, si

1 es conservativo se cumple que \i, , = 1, ..., :,
@F
i
@x
j
=
@F
j
@x
i
en \, es decir, el campo

1 verica en \ la denominada igualdad de derivadas cruzadas.
Dem
La condicin anterior de igualdad de derivadas cruzadas es necesaria, pero no suciente, para que
un campo sea conservativo. En efecto, considrese \ := R
2
(0, 0) y el campo

1 : \ R
2
(r, j)

1(r, j) =
_
y
x
2
+y
2
,
x
x
2
+y
2
_
(15)
Claramente

1 C
1
(\). Adems, es fcil comprobar que para todo (r, j) \,
@F
1
@y
=
@F
2
@x
, y sin
embargo si C es la circunferencia de centro el origen y radio 1 recorrida una vez en sentido contrario
a las agujas del reloj, se obtiene
_

1dr = 2 ,= 0
Por tanto

1 no puede ser conservativo en \.
Ejercicio 18 a) Calcular 1 =
_

1 dr donde

1(r, j) =
_
y
x
2
+y
2
,
x
x
2
+y
2
_
y I es la curva de ecuaciones
(x3)
2
2

(y4)
2
4
= 1 recorrida una vez en sentido positivo.
b) Idem si I es la curva de ecuaciones
(x1)
2
2

(y1)
2
4
= 1 recorrida una vez en sentido negativo.
Se ha visto que la igualdad de derivadas cruzadas no es suciente para que un campo sea
conservativo. Sin embargo, veremos que si al dominio \ se el ponen condiciones adicionales, entonces
la igualdad de derivadas cruzadas es tambin una condicin suciente para que el campo sea
conservativo. Introduzcamos primero la siguiente nocin:
Denicin 24 Conjunto estrellado. Sea \ R
n
. Se dice que \ es estrellado si existe un punto
j \ (denominado polo) que cumple que \r \, o( j, r) \, es decir, para todo punto r de \ el
segmento que une j y r est contenido en \.
39
I Comentario: Obsrvese que \ estrellado = \ conexo, pero el recproco no es cierto. Por ejemplo,
el conjunto de la siguiente gura es conexo, pero no es estrellado
Proposicin 24 Condicin suciente para que un campo sea conservativo. Sea \ un abierto
estrellado de R
n
y sea

1 : \ R
n
,

1 C
1
(\). Entonces, si

1 verica la igualdad de derivadas
cruzadas en \, se sigue que

1 es conservativo en \.
Comentario: Obsrvese que en el caso del campo denido por (15), no se cumple la hiptesis de
que R
2
(0, 0) sea estrellado.
Una vez estudiadas las condiciones bajo las cuales un campo es conservativo, es decir, admite un
potencial escalar, veamos cmo calcular dicho potencial.
Clculo del potencial escalar de un campo vectorial Supongamos que \ es un abierto conexo
estrellado y que

1 : \ R
n
es un campo C
1
(\) que cumple la igualdad de derivadas cruzadas, con
lo que admite un potencial escalar l en \. Para calcular l se puede proceder de las dos formas
siguientes:
1. Utilizar que para cualquier a \ el campo l denido por
l(r) :=
_
(~a;~x)

1dr , r \,
es potencial de

1.
2. Imponer que gradl =

1 y resolver el sistema de ecuaciones en derivadas parciales resultante
@U
@x
= 1
1
,
@U
@y
= 1
2
,
@U
@z
= 1
3
donde l es la incgnita.
Ejercicio 19 Sea \ R
n
abierto, sea

1 : \ R,

1 C
1
(\) y sea I una curva de clase C
1
a
trozos contenida en \. Bajo qu condiciones podramos asegurar que la circulacin
_

1dr es nula
sin necesidad de calcular explcitamente la integral?
Ejercicio 20 Calcular la circulacin del campo

1(r, j) =
_
2rj
2
jc
y
, 2jr
2
r(j 1)c
y
1
_
cuando se recorre la curva de ecuacin
_
r
2
j
2
_
2
2 (r j)
2
=
5
4
desde el punto (
1
p
2
, 0) hasta el
punto (0,
1
p
2
) en el sentido contrario a las agujas del reloj.
40
Ejercicio 21 Determnese la funcin /(j) con /(0) = 0 que hace conservativo el campo vectorial
F(r, j) = (2r
2
4r/(j), 2r
2
j
2
)
En ese caso, hllese la circulacin de F sobre una curva arbitraria que una el punto (0, 0) con el (1, 2).
Sol: /(j) = j. Circulacin=2.
Ejercicio 22 Relacin entre trabajo y energa cintica. Sea una partcula con masa : que se
mueve en un campo de fuerzas segn una cierta curva I. La energa cintica de la partcula en un
instante t est dada por
1
2
:|(t)|
2
donde es la velocidad de la partcula. Demostrar que la variacin
de energa cintica de la partcula es igual al trabajo realizado por

1.
Ejercicio 23 Principio de conservacin de la energa mecnica para campos conserva-
tivos. Sea una partcula con masa : que se mueve en \ bajo un campo

1 de fuerzas conservativo, de
modo que existe un potencial l tal que

1 = \l. Demostrar que la energa mecnica de la partcula,
denida como
1
2
:|(t)|
2
l(r(t)), donde r(t) es el vector de posicin de la partcula, es constante
durante la trayectoria. Si denimos la energa potencial como l, el resultado anterior se puede
enunciar diciendo que si un campo de fuerzas es conservativo en \, la suma de las energas cintica
y potencial de una partcula que se desplaza en \ es constante. Obsrvese que el calicativo conser-
vativo para los campos en los que la integral es independiente del camino viene precisamente de esta
propiedad, pues son campos para los que se conserva la energa mecnica total.
Ejercicio 24 Sea I la curva denida por las ecuaciones cartesianas
2r j = 0, . r
3=2
= 0 (r, j, . _ 0)
y F el campo vectorial dado por
F(r, j, .) = (rj
2
, r
2
j, .r
2
) .
Se pide:
1) Hallar la longitud del arco de I determinado por los puntos (0, 0, 0) y (1, 2, 1).
2) Sea C la circulacin de F sobre el arco de la curva I determinado por el punto (0, 0, 0) y un
punto 1 arbitrario de la misma. Estudiar si el valor de C alcanza un mximo. En caso armativo,
determinar las coordenadas del punto 1 correspondiente.
3) Sea c una funcin de clase C
1
en R tal que c(0) = 0 y A una curva denida por las ecuaciones
cartesianas
2r j = 0 , . c(r) = 0 .
Determinar las funciones c tales que se anule la circulacin de F desde (0,0,0) hasta cualquier punto
de la curva A.
41
9. Teorema de Green
El teorema de Green relaciona, bajo ciertas condiciones, la integral de un campo vectorial plano
sobre una curva de Jordan en R
2
con la integral doble de una cierta funcin extendida al interior de
la curva.
9.1. Orientacin de una curva de Jordan plana. Conjuntos simplemente conexos
En primer lugar veremos algunos conceptos que sern necesarios para introducir el teorema.
Obsrvese que, dada una curva cerrada en R
3
, no tiene sentido hablar de interior o exterior
de la curva. En el caso de curvas cerradas en R
2
se puede decir lo siguiente:
Proposicin 25 Teorema de la curva de Jordan en R
2
. Interior y exterior de una curva
de Jordan en R
2
. Toda curva de Jordan I en R
2
divide al plano en dos abiertos conexos, de los
cuales uno es acotado y el otro no acotado. Al no acotado se le denomina exterior de I y al acotado
interior de I.
Utilizando el resultado anterior se puede denir la orientacin de una curva de Jordan en R
2
:
Denicin 25 Orientacin de una curva de Jordan en R
2
. Se dice que una curva de Jordan
tiene orientacin positiva cuando al recorrerse se deja su interior a la izquierda. Las siguientes guras
muestran curvas de Jordan con orientacin positiva
El concepto que aparece a continuacin es clave en los desarrollos posteriores. Intuitivamente, se
dice que un subconjunto de R
2
es simplemente conexo cuando no tiene agujeros. A continuacin se
presenta la denicin rigurosa:
Denicin 26 Conjunto simplemente conexo en R
2
. Sea \ un subconjunto de R
2
. Se dice que \
es simplemente conexo cuando se cumple que para toda curva de Jordan I contenida en I se verica
42
que el interior de I est contenido en \.
Conjunto simplemente
conexo
Conjunto que no es
simplemente conexo
Claramente se verica:
Proposicin 26 Sea \ R
2
. \ estrellado ==\ simplemente conexo.
I Comentario: El recproco del resultado anterior no es cierto, como es fcil poner de maniesto
mediante ejemplos.
9.2. Teorema de Green
Veamos primero un resultado previo que permite demostrar el teorema de Green:
Proposicin 27 (i) Sea \ R
2
abierto simplemente conexo.
(ii) Sea I curva de Jordan, C
1
a trozos, contenida en \ y con orientacin positiva.
(iii) Sea l : \ R, l C
1
(\)
Entonces se cumple
_

ldr =
_ _
int
@U
@y
drdj (16)
_

ldj =
_ _
int
@U
@x
drdj (17)
Dem. Haremos la demostracin para el caso particular en el que el interior de I es una unin
disjunta nita de recintos simples respecto de r y respecto de j. La generalizacin al caso general es
muy elaborada y la omitiremos.
Las igualdades (16) y (17) se pueden escribir en una forma ms ms fcil de memorizar. Para ello,
recordamos la relacin (6)
:
1
= t
2
:
2
= t
1
43
entre el vector

t tangente unitario a una curva de Jordan I orientada positivamente y el vector :
normal unitario saliente a dicha curva. Entonces, entrando en las expresiones (16) y (17) se tiene
_

ldr =
_

(l, 0)dr =
_

(l, 0)

t dr =
_

lt
1
dr =
_

l:
2
dr
_

ldj =
_

(0, l)dr =
_

(0, l)

t dr =
_

lt
2
dr =
_

l:
1
dr
es decir, se ha llegado al siguiente resultado:
Proposicin 28 (i) Sea \ R
2
abierto simplemente conexo.
(ii) Sea I curva de Jordan, C
1
a trozos, contenida en \.
(iii) Sea l : \ R, l C
1
(\)
Entonces se cumple
_ _
int
@U
@x
drdj =
_

l:
1
dr ;
_ _
int
@U
@y
drdj =
_

l:
2
dr (18)
donde : = (:
1
, :
2
) es el vector normal saliente unitario a I. Estas expresiones se puden escribir, de
forma ms compacta, como
_ _
int
@U
@x
i
drdj =
_

l:
i
dr , i = 1, 2
A partir de lo anterior se sigue el siguiente resultado:
Proposicin 29 Teorema de Green.
(i) Sea \ R
2
abierto simplemente conexo.
(ii) Sea I curva de Jordan, C
1
a trozos, contenida en \ y con orientacin positiva.
(iii) Sea

1 : \ R
2
, denido por

1 = (1, Q) y tal que

1 C
1
(\),
Entonces
_

1dr =
_ _
int
_
@Q
@x

@P
@y
_
drdj (19)
Dem
Ejercicio 25 Calclese la integral curvilnea
_

(rj r j) dr (rj r j) dj
siendo I la circunferencia r
2
j
2
= ar con orientacin positiva.
Solucin:
a
3
8
Ejercicio 26 Determinar todas las circunferencias del plano tales que la integral curvilnea
_

j
2
dr r
2
dj
es nula.
44
9.3. Algunas consecuencias y aplicaciones del teorema de Green
9.3.1. Aplicacin del teorema de Green al clculo de reas
Proposicin 30 Aplicacin del teorema de Green al clculo de reas. Sea 1 R
2
tal que su
frontera es una curva de Jordan C
1
a trozos, que denotamos I y que suponemos orientada positiva-
mente.
Entonces, el rea de 1 se puede calcular mediante cualquiera de las siguientes expresiones:
1. rea(1) =
_

rdj
2. rea(1) =
_

jdr
3. rea(1) =
1
2
_

rdj jdr
Dem.
Ejercicio 27 Calcular el rea de una elipse mediante una integral curvilnea.
Ejercicio 28 Determnese el rea de la regin del interior de una elipse que es tambin interior a
una circunferencia cuyo centro es el mismo que el de la elipse y cuyo radio es la media geomtrica de
las longitudes a y / (a /) de los semiejes de la misma. Sol: 4a/arcos
_
a
a+b
.
Ejercicio 29 Se considera una elipse de semiejes a y / recorrida en sentido directo y en cada punto
' de la misma, el vector '1 = 1t, en donde t es el vector tangente en dicho punto y 1 0 es una
cantidad constante. Sea I la curva descrita por los puntos 1 anteriores. Se pide:
1. Escribir unas ecuaciones paramtricas de I.
2. Expresar el rea de la regin comprendida entre la curva I y la elipse en trminos de la longitud
1.
45
9.3.2. Condicin suciente para que un campo en R
2
sea conservativo
Utilizando el teorema de Green es posible encontrar una condicin suciente para que un campo
sea conservativo ms fuerte que la que se dio en la seccin anterior para campos en R
n
, en la que se
requera que el dominio \ en el que el campo era de clase 1 fuese estrellado. En efecto, en el siguiente
resultado, al conjunto en el que el campo en cuestin verica la igualdad de derivadas cruzadas slo
tiene que ser simplemente conexo, no necesariamente estrellado:
Proposicin 31 Condicin suciente para que un campo en R
2
sea conservativo. Sea \ un
abierto simplemente conexo de R
2
y sea

1 : \ R
2
,

1 C
1
(\). Entonces, si

1 verica la igualdad
de derivadas cruzadas en \, se sigue que

1 es conservativo en \.
Dem.
Ejercicio 30 Calcular un potencial escalar del campo

1(r, j) =
_
y
x
2
+y
2
,
x
x
2
+y
2
_
en aquellos conjuntos
en los que sea posible. Discutir si existe un potencial escalar en R
2
(0, 0).
Sea \ un abierto conexo (no necesariamente simplemente conexo) de R
2
y

1 : \ R
2
,

1 C
1
(\)
que suponemos que verica la igualdad de derivadas cruzadas. Si I es una curva de Jordan, sabemos
que en principio no es posible asegurar que la circulacin de

1 sobre I sea nula. Sin embargo, cuando
exista un conjunto \
0
simplemente conexo contenido en \ y que contenga a la curva I, entonces se
puede aplicar el teorema de Green a \
0
y asegurar que la circulacin de

1 sobre I es nula. Por ejemplo,
considrese la siguiente gura
En las hiptesis anteriores (

1 C
1
(\) y que verica la igualdad de derivadas cruzadas), no se puede
asegurar que
_

1

1dr valga cero, pero sin embargo, aplicando el teorema anterior (o, equivalentemente,
el teorema de Green) a

1 y \
0
se sigue que
_

2

1dr = 0.
46
9.3.3. Invariancia de una integral curvilnea plana al deformar el camino
Ya se ha visto que la igualdad de derivadas cruzadas de un campo vectorial en un recinto \ que
no sea simplemente conexo, no garantiza que el campo sea conservativo. Sin embargo, la igualdad de
derivadas cruzadas permite que las integrales sobre curvas cerradas mantengan su valor si la curva se
deforma de manera suave en el conjunto en cuestin:
Proposicin 32 Invariancia de una integral curvilnea plana al deformar el camino cuan-
do se verica la igualdad de derivadas cruzadas en el dominio. Sea \ R
2
abierto conexo
(no necesariamente simplemente conexo) y sea

1 : \ R
2
,

1 C
1
(\), tal que

1 verica la igualdad
de derivadas cruzadas en \. Sean I
1
y I
2
curvas de Jordan C
1
a trozos contenidas en \ tales que
I
2
se puede obtener deformando I
1
de manera continua sin salirnos de \ (el signicado de esta
armacin se dejar a nivel intuitivo aunque para proceder con rigor habra que precisar exactamente
qu se entiende por deformar de manera continua una curva, nocin que corresponde al concepto
matemtico de homotopa) (ver gura)
Entonces
_

1

1 dr =
_

2

1 dr
Idea de la demostracin.
Ejercicio 31 a) Calcular 1 =
_

1 dr donde

1(r, j) =
_
y
3
(x
2
+y
2
)
2
,
xy
2
(x
2
+y
2
)
2
_
y I es la curva de ecua-
ciones
x
2
4

y
2
3
= 1 recorrida una vez en sentido positivo. d) Idem cuando I es la curva de ecuaciones
(x3)
2
2

(y4)
2
4
= 1.
Sol: a) 1 = .
47
Ejercicio 32 Sea

1(r, j) =
_
y
x
2
+y
2
,
x
x
2
+y
2
_
y sea I una curva de Jordan de clase C
1
a trozos que no
pasa por el origen. Calcular razonadamente los posibles valores que puede tomar la circulacin de

1
sobre I.
Veamos una aplicacin del resultado anterior. Considrese el conjunto \ y las curvas I, I
1
y I
2
en la siguiente gura.
Supongamos que

1 C
1
(\) y que verica la igualdad de derivadas cruzadas en \. Pues bien, entonces
se cumple que
_

1 dr =
_

1 dr
_

1 dr
En efecto, por el resultado anterior podemos deformar I hasta obtener I
0
y posteriormente deformar
I
0
hasta obtener I
1
' I
2
' o ' (o), donde o es el segmento de la gura.
Por ello, como las integrales de

1 sobre o y sobre o se anulan se tiene
_

1 dr =
_

1 dr
_

1 dr
_
S

1 dr
_
S

1 dr =
_

1 dr
_

1 dr
como se quera demostrar.
Ejercicio 33 Esquema de ideas para el clculo de una circulacin en R
2
.
Enumrense todas las formas de calcular la circulacin de un campo

1 en R
2
sobre una curva I.
Discutir las ventajas e inconvenientes de cada mtodo en funcin del tipo de campo

1 y del tipo de
curva I.
48
9.3.4. Teorema de Gauss en R
2

Como consecuencia del teorema de Green se sigue el siguiente resultado

Proposicin 33 Teorema de Gauss en R
2

(i) Sea \ R
2
abierto simplemente conexo.
(ii) Sea I curva de Jordan, C
1
a trozos y contenida en \.
(iii) Sea

1 : \ R
2
,

1 C
1
(\)
Entonces
_

1 : dr =
_ _
int
div

1 drdj
donde : es el vector normal unitario saliente a la curva y donde div

1 :=
_
@F
1
@x
,
@F
2
@y
_
.
Dem.
49
Consecuencias del teorema anterior
Si \ R
2
es simplemente conexo y

1 es de clase 1 y solenoidal en \ (es decir, si div

1 = 0 en \)
entonces
_

1 : dr = 0 para toda curva de Jordan I (C
1
a trozos y contenida en \)
En un resultado anterior vimos que en el caso de campos que vericaban la igualdad de derivadas
cruzadas en un recinto conexo \, la circulacin sobre una curva cerrada no vara si la curva se
deforma de manera continua sin salirnos de \. Pues bien, razonando de forma anloga se sigue de
forma inmediata:
Proposicin 34 Sea \ R
2
conexo (no necesariamente simplemente conexo) y

1 : \ R
2
de clase
1 y solenoidal en \. Sean I
1
y I
2
curvas de Jordan C
1
a trozos contenidas en \ tales que I
2
se puede
obtener deformando I
1
de manera continua sin salirnos de \.
Entonces
_

1

1 : dr =
_

2

1 : dr
9.3.5. Frmulas de Green
Proposicin 35 Frmulas de Green.(i) Sea \ R
2
abierto simplemente conexo y sea I curva de
Jordan, C
1
a trozos, contenida en \ y con orientacin positiva. Denotemos por 1 al interior de I
(ii) Sean n, : \ R, n, C
1
(\). Entonces se verica:
(1)
_ _
R
0n
0r
drdj =
_

n:
1
d:
_ _
R
n
0
0r
drdj
_ _
R
0n
0j
drdj =
_

n:
2
d:
_ _
R
n
0
0j
drdj
(obsrvese que estos resultados guardan cierta analoga con la integracin por partes de funciones
reales de variable real)
(2)
_

ndr ndj =
_ _
R
_

_
0n
0r

0n
0j
_
n
_
0
0r

0
0j
__
drdj
(3) Si n C
2
(\)
_ _
R
^ndrdj =
_

0n
0:
dr
_ _
R
gradn graddrdj
donde
@u
@n
:=gradn : siendo : el vector normal unitario saliente a la curva.
50