Escolar Documentos
Profissional Documentos
Cultura Documentos
3.1
Curvas y trayectorias
La herramienta m
as adecuada para describir la forma de un alambre que no es recto, son las
funciones de R en R2 (si nuestro alambre no es recto pero es plano) o de R en R3 , justo porque
las im
agenes de este tipo de funciones se ven como curvas. Para ser m
as precisos, trabajaremos
con funciones que est
an definidas sobre alg
un intervalo [a, b] R y cuyos valores est
an en Rn , en
1
general. Necesitaremos tambien que estas funciones sean derivables , o cuando menos que lo sean
por pedazos, y que esta derivada sea continua (para no tener problemas si nos topamos con alguna
expresi
on que la incluya y que vayamos a integrar). Este tipo de funciones reciben un nombre
particular el cual queda establecido en la siguiente
Definici
on 3.1 Una funci
on : [a, b] R Rn es suave por pedazos si existe una partici
on
P = {a = t0 < t1 < < tk = b} del intervalo [a, b] tal que tiene derivada continua (de clase C 1 )
en cada subintervalo [ti1 , ti ] (para i = 1, . . . , k). A la imagen = ([a, b]) de una funci
on suave
por pedazos la llamaremos curva suave por pedazos y diremos que es una parametrizacion suave
por pedazos de . A (a) se le conoce como el punto inicial de y a (b) como el punto final, y
si (a) = (b) decimos que es cerrada.
Un ejemplo tpico de una curva suave por pedazos es la siguiente:
1
Existen funciones definidas sobre el intervalo [0, 1] con valores en R2 , continuas, cuya imagen es el cuadrado
[0, 1] [0, 1]. Se les conoce con el nombre de curvas de Peano en honor del matem
atico italiano Giuseppe Peano
(1858-1932).
103
Ejemplo 3.1 Considere el cuadrado (en R2 ) con vertices en los puntos (0, 0), (1, 0), (1, 1) y (0, 1)
(ver figura 3.1). Una parametrizaci
on (suave por pedazos) para esta curva puede ser la funci
on
: [0, 4] R R2 definida como:
(t, 0)
si 0 t 1
(1, t 1)
si 1 t 2
(t) =
(3
t,
1)
si
2t3
(0, 4 t)
si 3 t 4
Y O
1
104
(a, f (a))
66
66
6
(b, f (b))
Figura 3.3: La gr
afica de una funcion tambien es una curva
de que empieza donde termina , entonces podemos construir una tercera funcion (o curva)
suave por pedazos, que denotaremos por + , y que se obtiene pegando ambas funciones (ver
figura 3.4). Formalizamos esta operaci
on en la siguiente
Definici
on 3.2 Sean, : [a, b] R Rn y : [c, d] R Rn dos funciones suaves por pedazos
tales que (b) = (c). Definimos la funci
on + : [a, b + (d c)] R Rn de la siguiente manera:
si t [a, b]
(t)
( + )(t) =
(t b + c)
si t [b, b + (d c)]
(d)
(a)
(b) = (c)
J. P
aez
Dada : [a, b] R Rn una funcion suave por pedazos, hay una reparametrizacion muy
particular de esta que usaremos con mucha frecuencia y que por tanto merece menci
on aparte. Es la
que se obtiene al considerar la funci
on : [a, b][a, b] definida como (t) = a+bt. Como se verifica
facilmente, es una reparametrizacion que invierte la orientacion y que tiene la particularidad
de recorrer la misma curva = ([a, b]), s
olo que en sentido contrario; el punto inicial de
es el punto final de y el punto final de es el punto inicial de . A esta reparametrizaci
on
especfica de la denotaremos como (ver figura 3.5). Resumiendo, si : [a, b] R Rn es una
funcion suave por pedazos, definimos : [a, b] R Rn como
()(t) = (a + b t)
\
E
1
7
q
w
U
(a)
()(b)
(b)
()(a)
66
66
66iiRR
iiii666 RRRRdR
i
i
p
ddd
ddd
(a)pppp
p
K
p
K
KK
KK
KK
KK
]]]]]]](b)
J
~~ JJJJ
~
JJ
~~
JJ
~~
JJ
~
JJ
~
JJ
~~
~
~
ddJ
d
d
~
d
d
d
~ (a) ddddddddd
~
d
d
SSSS d
~
SSS
SSSS
SSSS
SS(b)
k(ti ) (ti1 )k
Pi Pi1
=
i=1
J. P
aez
i=1
106
Por otra parte, como estamos suponiendo que = (1 , . . . , n ) es una funcion de clase C 1 en
(1)
(n)
[a, b], por el Teorema del Valor Medio para funciones de R en R, tenemos que existen ti , . . . , ti
[ti1 , ti ] tales que
(ti ) (ti1 ) = (1 (ti ) 1 (ti1 ), . . . , n (ti ) n (ti1 ))
(n)
(1)
(ti ti1 )
(ti ti1 ), . . . , n ti
= 1 ti
(n)
(1)
, . . . , n ti
= (ti ti1 ) 1 ti
Ahora, si los puntos P0 , . . . , Pk son muchos y muy cercanos entre s (los consecutivos), entonces
la partici
on P ser
a muy fina, de tal forma que ti1 y ti tambien ser
an puntos muy cercanos. As,
por la continuidad de la derivada de debemos tener que
(n)
(1)
1 (i ) , . . . , n (i )
, . . . , n ti
1 ti
para cualquier i [ti1 , ti ]. De esta forma, debemos tener entonces que
(n)
(1)
, . . . , n ti
(ti ) (ti1 ) = (ti ti1 ) 1 ti
(ti ti1 ) 1 (i ) , . . . , n (i )
(3.1)
k
k
X
X
k(ti ) (ti1 )k
Pi Pi1
=
i=1
i=1
k
X
i=1
1 (i ) , . . . , n (i )
(ti ti1 )
por lo que es de esperarse que la longitud de la curva , que denotaremos por l(), coincida con
esta integral, es decir, se debe tener que
l() =
Zb
a
(t)
dt
(3.2)
J. P
aez
3.2
Pbi
bi
Pbi1
}
}}}}}
}
}} }}
}}}}} con densidad (bi )
}
} }
}} }}
}}}}}
Figura 3.7: Un alambre no homogeneo cuya forma coincide con la de una curva
1. elegir nuevamente un n
umero finito de puntos P0 , . . . , Pk
4. aproximar
la longitud
del arco P\
i1 Pi por la distancia entre los puntos Pi y Pi1 , es decir,
por
Pi Pi1
Siguiendo estos pasos se tiene que la cantidad (i )
Pi Pi1
es una aproximacion a la
es una aproximacion a la masa total, la cual, como siempre sucede y sucedera en estos casos, ser
a
mejor en la medida de que tomemos muchos puntos, y muy bien distribuidos, a lo largo de .
Si ahora recordamos que la curva est
a parametrizada por la funcion , la selecci
on de los
108
Pi = (ti )
(i ) \
Pi1 = (ti1 )
Figura 3.8: Los puntos P0 , . . . , Pk se corresponden con los elementos de una particion
P = {t0 , . . . , tk } del intervalo [a, b]
Pi = (ti ), y la elecci
on de los puntos i P\
on de un punto i [ti1 , ti ], para
i1 Pi , con la elecci
cada i = 1, . . . , k (ver figura 3.8). De esta forma, la suma 3.3 se puede escribir como
k
X
i=1
k
X
i=1
((i ))
(i )
(ti ti1 )
(3.4)
((t))
(t)
dt
(3.5)
J. P
aez
Soluci
on. Dado que (t) = (2 sen(2t), 2 cos(2t), 1) entonces k (t)k =
tanto
Z1
Z1
p
((t))
(t)
dt = 1 + 4 2 (1 t2 )dt
1
1+
4 2
2
2
3
1 + 4 2 y por lo
4 p
1 + 4 2
3
Hay otro problema, en este caso geometrico, cuya soluci
on nos conduce a calcular una integral
como la que aparece en 3.5. Supongase que se tiene una barda cuya base tiene la forma de una
curva R2 y su altura, que vara en cada punto de esta curva, est
a dada por una funcion f (la
que supondremos que es continua, aunque podemos suponer menos que eso) (ver figura 3.9). Como
es de imaginarse, la pregunta en este caso es: cual es el area total de la barda?
=
OO
4
Figura 3.9: Una barda de altura variable (dada por la funcion f ) y cuya base tiene la forma de
la curva
Si seguimos exactamente los mismos cuatro pasos que en el caso anterior, aclarando que en el
\
paso 3 ahora lo que supondramos es que
a dada
la altura
de la barda a lo largo del arco Pi1 Pi est
por f (i ), entonces la cantidad f (i ) Pi Pi1 representa el area de una tabla que se parece
mucho a la barda en ese arco de la curva (ver figura 3.10). De esta forma, la suma
k
X
i=1
f (i )
Pi Pi1
ser
a una aproximacion al
area total de la barda.
Si ahora suponemos que tenemos una parametrizacion de la curva , con las mismas caractersticas de antes, y aplicamos la misma aproximacion para la cantidad
entonces
k
X
i=1
k
X
f ((i ))
(i )
(ti ti1 )
f (i )
Pi Pi1
i=1
J. P
aez
f ((t))
(t)
dt
110
(3.6)
_
f (bi )
]]]]]]]]]]
bi
]]]]]]]]]
Pbi1
Pbi
Figura 3.10: Una tabla que se parece mucho a la barda en un subarco de la curva
llegamos a la conclusion de que el
area de la barda debe estar dada por esta integral.
El siguiente ejemplo muestra que estamos en lo correcto.
Ejemplo 3.3 Considere una barda circular (de radio 1) cuya altura en cada punto est
a dada por
la funci
on f (x, y) = 1 y (ver figura 3.11). Calcular el
area de la barda.
Soluci
on. Lo primero que se debe destacar es que el
area que se quiere calcular, coincide con
ser la mitad del
area de un cilindro de base circular (de radio 1) y altura 2 (permetro de la
base(2) altura(2) = 4). Por esta raz
on, el valor al que debemos llegar es 2.
Para calcular la integral 3.6, parametrizaremos la base de la barda con la funci
on (t) = (cos(t), sen(t))
con t [0, 2]. Por tanto, (t) = ( sen(t), cos(t)) de tal forma que
Zb
a
f ((t))
(t)
dt =
Z2
0
(1 sen(t)) 1dt
= 2
J. P
aez
integral se le conoce con el nombre de integral de lnea de una funcion f (o de un campo escalar
f , como tambien se le nombra a este tipo de funciones por su cercana con la Fsica). En terminos
estrictamente matem
aticos, la definicion es la siguiente:
Definici
on 3.4 Sea Rn una curva suave por pedazos, parametrizada por una funci
on (suave
por pedazos) : [a, b] R Rn . Si f : Rn R Res continua, definimos la integral de f sobre
, seg
un la parametrizaci
on , (que denotaremos por f kdk) como
Z
f kdk =
Zb
a
f ((t))
(t)
dt
Por el trabajo realizado hasta aqu, este tipo de integral puede tener varias interpretaciones
(masa, area, etc.) de acuerdo con el contexto en el que se este trabajando, lo que por cierto, es una
caracterstica com
un a muchos conceptos matem
aticos.
Lo siguiente que haremos ser
a mostrar algunas de las propiedades de este nuevo concepto, todas
ellas muy sencillas. La primera se relaciona con la aritmetica del tipo de funciones que se integran,
y dice lo siguiente:
Proposici
on 3.1 Sea Rn una curva suave por pedazos parametrizada por la funci
on : [a, b]
n
n
R R . Si f, g : R R son continuas y , R entonces
Z
Z
Z
(f + g)kdk = f kdk + gkdk
f kd( + )k =
b+dc
Z
a
Zb
a
Zb
a
J. P
aez
f (( + )(t))
( + ) (t)
dt
f (( + )(t))
( + ) (t)
dt +
f ((t))
(t)
dt +
b+dc
Z
b
112
b+dc
Z
b
f (( + )(t))
( + ) (t)
dt
f ((t b + c))
(t b + c)
dt
f kdk +
b+dc
Z
b
f ((t b + c))
(t b + c)
dt
f ((t b + c))
(t b + c)
dt =
=
Zd
c
f ((s))
(s)
ds
f kdk
Z1
Z1
t dt +
Z1
(1 + t )dt +
Z1
0
(1 + (1 t)2 )dt +
Z1
0
(1 t)2 dt
4 4t + 4t2 dt
=42+
=
4
3
10
3
en donde 1 , 2 , 3 y 4 son la curva imagen (cada uno de los lados del cuadrado) de las funciones
1 , 2 , 3 y 4 , respectivamente.
Una pregunta que es muy pertinente
hacerse con relaci
on a este tipo de integral es la siguiente:
R
que tanto depende el valor de f kdk de la parametrizacion ? Cuando se calcul
o la longitud de una curva (o la masa total de un alambre, o el area de una barda) supusimos que la
parametrizacion con la que est
abamos trabajando era inyectiva, y esto se hizo con el fin de no
agregar de m
as a lo que est
abamos calculando. Esto nos lleva a sospechar que, en tanto dos
parametrizaciones y recorran el mismo n
umero de veces a la curva , sin importar la rapidez
y la orientaci
on con que lo hagan, al realizar la integral con cualquiera de ellas nos debe de dar
el mismo resultado. Esta idea de que dos parametrizaciones recorran el mismo n
umero de veces
a la curva , se puede formalizar usando el concepto de reparametrizacion definida en 3.3, de la
113
J. P
aez
siguiente manera: si se puede escribir como una reparametrizacion inyectiva de (sin importar
si preserva o no la orientaci
on) entonces diremos que y recorren el mismo n
umero de veces a
la curva . La siguiente proposici
on, con la que concluimos esta secci
on, concreta estas ideas.
Proposici
on 3.3 Sean, Rn una curva suave por pedazos y f : Rn R continua.
Si : [a, b] R Rn y : [c, d] R Rn son dos parametrizaciones de tales que existe
: [c, d] [a, b] una biyecci
on de clase C 1 con la propiedad de que = , entonces
Z
Z
f kdk = f kdk
Dem. Como se establece en la definicion 3.3 (y se pide probar en el problema 5), dado que
: [c, d] [a, b] es una biyecci
on, se debe tener que (s) 0 para toda s [c, d] o (s) 0 para
toda s [c, d]. Supongamos que ocurre la segunda posibilidad (la primera se deja como problema
al lector) en cuyo caso se debe tener que (c) = b y (d) = a. Ahora, si en la integral
Zb
a
f ((t))
(t)
dt
f kdk =
Zb
Zc
=
=
Zd
c
Zd
c
Zd
Zd
Zd
J. P
aez
f ((t))
(t)
dt
f (((s)))
((s))
(s)ds
Zd
c
f (((s)))
((s))
(s)ds
f (((s)))
((s))
( (s))ds
f (((s)))
((s))
(s) ds
f (((s)))
((s)) (s)
ds
f (( )(s))
( ) (s)
ds
f ((s))
(s)
ds
114
f kdk
1 X
f (i ) k(ti ) (ti1 )k
l()
1
l()
l()
i=1
k
X
f ((i ))
(i )
(ti ti1 )
Zi=1
f kdk
115
J. P
aez
1
l()
f kdk
3.3
Pb
v;
vv
v
vv
vv
Fb vvv
vv
vv
v
vv
vv
v
v
{{
{{
{
}{
reo eeeee
L
R&& Z444
&& 44
4
&&
1. P est
a m
as elevado que Q
J. P
aez
116
Y O
P
Q
F
Q P
Y O
PbHHH
Y O
H# HHH
HH# HH
HHH# HH
HH# HH
HH# H
H$ H
HH$
H$
b
Q
/
X
=
= {{ b
={{{{ Q
{{{= {{
{{{= {{
{
{
{= {
{
{
{
{{=
{{= {{
Pb{{{
/
X
Y O
Pb / / / / / / / /
b
Q
QP
Q
P
P
=
F
(3.7)
F
P
Q
117
J. P
aez
se le conoce como el trabajo realizado por el campo de fuerzas a lo largo de ese segmento.
Como es de suponerse, este concepto de trabajo se puede extender a un campo de fuerzas
arbitrario y a una trayectoria (o curva) arbitraria que una a dos puntos. Supongamos que tenemos
una funcion F que a cada punto x
del plano le asocia un vector F (
x) (tambien en el plano) que
representa a la fuerza que act
ua en x
, y que : [a, b] R R2 es una funcion que describe la
= (b). Cu
trayectoria que sigue un objeto para ir de un punto P = (a) hacia un punto Q
al
es, y como lo calculamos, el trabajo total (o el trabajo neto, como sera m
as adecuado llamarlo)
realizado por el campo de fuerzas F a lo largo de la trayectoria descrita por ?
Hagamos lo siguiente:
1. tomemos una partici
on P = {t0 , . . . , tk } del intervalo [a, b]
2. en cada subintervalo [ti1 , ti ] elijamos un punto i (para cada i = 1, . . . , k ), y
3. supongamos que en cada punto del segmento de recta que une a los puntos (ti1 ) y (ti ) el
campo de fuerzas F tiene un valor constante F ((i ))
Entonces, de acuerdo con 3.7, el n
umero
F ((i )) ((ti ) (ti1 ))
es el trabajo realizado por el campo F si el objeto se mueve del punto (ti1 ) hacia el punto (ti )
sobre el segmento de recta que los une, y sera una aproximacion a lo que bien podra calificarse
como el trabajo realizado por el campo F , cuando se empieza y se termina en estos mismos puntos,
pero siguiendo la trayectoria descrita por (restringida al intervalo [ti1 , ti ]). De esta forma, la
suma
k
X
F ((i )) ((ti ) (ti1 ))
(3.8)
i=1
ser
a una buena forma de medir el trabajo realizado por el campo F cuando el objeto se mueve
= (b), siguiendo la trayectoria descrita por .
del punto P = (a) hacia el punto Q
La mejor parte de este procedimiento es que si ahora usamos la aproximacion
(ti ) (ti1 ) (ti ti1 ) 1 (i ) , . . . , n (i ) = (ti ti1 ) (i )
que establecimos en 3.1 para este vector, la suma 3.8 ser
a muy parecida a la suma
k
X
i=1
F ((i )) (i ) (ti ti1 )
F ((t)) (t)dt
(3.9)
Dado que todas las estimaciones que estamos haciendo, tanto para medir el trabajo realizado
por el campo, como para calcular la integral anterior, son mejores en la medida de que la partici
on
P sea cada vez m
as fina, es del todo razonable concluir que la integral 3.9 es la forma m
as adecuada
de extender el concepto de trabajo realizado por un campo arbitrario F sobre una trayectoria ,
tambien arbitraria.
J. P
aez
118
Vale la pena destacar que, al menos en el caso en que F es un campo constante (es decir, que
F (
x) = F para toda x
R2 ) y es la trayectoria que recorre el segmento de recta que une a P
(empezando en P y terminando en Q),
la integral 3.9 nos conduce a lo mismo que definimos
con Q
P con t [0, 1], entonces
en 3.7. En efecto, si tomamos (t) = P + t Q
Zb
a
F ((t)) (t)dt =
Z1
0
P dt
F Q
Z1
= F Q P dt
P
= F Q
El concepto (fsico) de trabajo (realizado por un campo de fuerzas) es una de las motivaciones
m
as importantes para definir el concepto (matem
atico) de integral de lnea (o de trayectoria) de
una funcion de valores vectoriales. Nuestro siguiente trabajo ser
a formalizar este u
ltimo concepto y
exponer sus propiedades m
as importantes, la mayora de las cuales ser
an motivadas e interpretadas
en terminos de este concepto fsico.
Definici
on 3.5 Sean, F = (F1 , . . . , Fn ) : U Rn Rn una funci
on continua en el conjunto
n
U , abierto y conexo, una curva U y : [a, b] R R una funci
on suave por pedazos tal
que = ([a, b]).R Definimos la integral de F sobre la curva seg
un la parametrizaci
on (que
denotaremos por F d) como
Z
F d =
Zb
a
F ((t)) (t)dt
J. P
aez
1. el segmento de recta que va del punto (0, 0) al punto (1, 1), recorrido en esa direcci
on
2. el arco de la circunferencia con centro en el (0, 1) que une a esos mismos puntos, recorrido
en la direcci
on contraria a las manecillas del reloj y cuyo punto inicial es el (0, 0)
3. el segmento de la par
abola y = x2 que une a estos dos puntos, recorrido del punto (1, 1) al
punto (0, 0)
Soluci
on. Para el primer inciso, hacemos (t) = (t, t) con t [0, 1]. Entonces, (t) = (1, 1)
para toda t [0, 1] y por lo tanto
Z
F d =
Z1
Z1
gdt
= g
Para el segundo inciso, hacemos (t) = (cos(t), sen(t) + 1) con t [/2, 0]. Entonces,
(t) = ( sen(t), cos(t)) para toda t [/2, 0] y por lo tanto
Z
F d =
Z0
/2
= g
cos(t)dt
/2
0
= g sen(t)
/2
= g (sen(0) sen(/2))
= g
Para el u
ltimo inciso, tomamos (t) = (1 t, (1 t)2 ) con t [0, 1]. Entonces, (t) =
(1, 2(1 t)) para toda t [0, 1] y por lo tanto
Z
F d =
Z1
0
= g
Z1
0
2(1 t)dt
1
= g (1 t)
= g(0 1)
=g
J. P
aez
120
Proposici
on 3.5 Sean, U Rn una regi
on, y , U curvas suaves por pedazos parametrizadas
n
por las funciones : [a, b] R R y : [c, d] R Rn , respectivamente, tales que es
suave por pedazos y est
a parametrizada por + . Si F : U Rn Rn es continua entonces
Z
Z
Z
F d( + ) = F d + F d
Como es de suponerse, la prueba de estas proposiciones se deja como un problema para el lector.
Con respecto a la tercera proposici
on que probamos para el caso de la integral de funciones
escalares, si bien hay una equivalente para el caso de la integral de funciones vectoriales, tenemos
que ser m
as cuidadosos a la hora de formularla puesto que, como se puede apreciar en su definicion,
la direcci
on con que se hace un recorrido afecta la forma que en que act
ua un campo de fuerzas
(simplemente tenga presente el lector, por ejemplo, que bajo la influencia del campo gravitatorio
de la tierra no es lo mismo ir para arriba que para abajo (como en muchas otras situaciones
de la vida!)).
Proposici
on 3.6 Sean, U Rn una regi
on, U una curva suave por pedazos, y F : Rn
Rn continua. Si : [a, b] R Rn y : [c, d] R Rn son dos parametrizaciones de tales que
existe : [c, d] [a, b] una biyecci
on de clase C 1 con la propiedad de que = , entonces:
1. si preserva la direcci
on, se tiene que
Z
F d =
F d
2. si invierte la direcci
on, se tiene que
Z
Z
F d = F d
En particular
F d() =
F d
Dem. Probaremos el segundo inciso y el primero queda como un problema para el lector. En el
caso que nos ocupamos, se tiene que (c) = b y (d) = a. Ahora, si en la integral
Zb
a
F ((t)) (t)dt
121
J. P
aez
F d =
Zb
F ((t)) (t)dt
Zc
=
=
Zd
Zc
F ((s)) (s)ds
F d
de tal forma que el trabajo realizado por el campo F es el mismo para los tres recorridos ah
descritos (los cuales empiezan en el (0, 0) y terminan en el (1, 1)). Esta caracterstica de este
campo F constituye el punto de arranque de la siguiente secci
on.
3.4
Como se recordara, el tipo de problemas que motivan la definicion del concepto de integral de lnea
de funciones escalares, est
an relacionados con el calculo de la masa de un alambre o el area de una
barda. As, si dos alambres coinciden en sus extremos pero son de formas diferentes, aun cuando
hubiera una sola funci
on que describa la densidad de masa de ambos alambres, en general no hay
porque esperar que sus masas sean iguales. De esta forma, lo m
as seguro es que las integrales de
una funcion escalar sobre dos curvas que coinciden en sus puntos extremos, en general no tengan
por que ser iguales (lo m
as seguro es que casi nunca lo sean!).
Este no es el caso de la integral de lnea de una funcion de valores vectoriales. Por el contrario,
cuando se tiene un campo de fuerzas F (
x), una de las preguntas importantes a responder es si el
trabajo realizado por dicho campo a lo largo de una trayectoria que une a dos puntos P y Q,
(ver figura
depende de la trayectoria que se sigui
o, o s
olo de los puntos extremos de esta (P y Q)
3.16).
El campo de fuerzas definido por la funcion del ejemplo 3.5 (que por cierto es la forma en que
suele representarse al campo gravitacional de la tierra a peque
nas escalas y en un plano), pareciera
ser uno de esos campos para los cuales el trabajo realizado s
olo dependera de los puntos extremos
de la trayectoria y no de esta.
En terminos m
as tecnicos, la pregunta que abordaremos en esta secci
on es la siguiente:
si F : U Rn Rn es una funci
on continua, y : [a, b] R Rn y : [c, d] R Rn
son dos funciones suaves por pedazos, una describiendo una curva U y la otra una
J. P
aez
122
1
%
J
,
Pb
2
I$
)
b
Q
U ) entonces
el mismo punto P U y terminan en el mismo punto Q
Z
Z
F d = F d?
F d =
Zb
F ((t)) (t)dt
Zb
= g
Zb
2 (t)dt
= g (2 (b) 2 (a))
= g (2 (d) 2 (c))
= g
=
Zd
c
Zd
2 (t)dt
J. P
aez
=
=
Zd
Zc
F ((t)) (t)dt
F d
F d =
Zb
F ((t)) (t)dt
Zb
((t)) (t)dt
Zb
( ) (t)dt
b
= ( )
= ((b)) ((a))
(P )
= (Q)
con lo cual concluimos que, si una funcion F satisface la condici
on 3.10 para alguna funci
on ,
entonces la integral de lnea de F sobre una curva parametrizada por una funcion s
olo depende
de los puntos extremos de ! (y de la funcion ). Observese que la identidad
Z
F d = ((b)) ((a))
(3.11)
cuando F (
x) = (
x), es una especie de generalizaci
on del Teorema Fundamental del C
alculo!
J. P
aez
124
En resumen, si la funci
on (o el campo) F satisface la condici
on 3.10, entonces necesariamente
sucede lo siguiente:
1. la integral de lnea de F sobre una curva parametrizada por una funcion s
olo depende de
los puntos extremos de
2. la integral de lnea de F sobre cualquier curva parametrizada por una trayectoria cerrada
, vale cero
La mejor parte de esta historia es que es suficiente que alguna de las condiciones anteriores se
cumpla para que podamos asegurar que existe una funcion para la cual se satisface 3.10!
Si una funci
on satisface la multicitada condici
on 3.10 entonces se dice que la funcion F es un
campo conservativo (o gradiente) y este concepto lo formalizamos en la siguiente
Definici
on 3.6 Sea F : U Rn Rn una funci
on continua en la regi
on U . Decimos que F es un
n
campo conservativo (o gradiente) en U si existe : U R R tal que
F (
x) = (
x)
para toda x
U
125
J. P
aez
GG
#
KK%
S'
(b) = (d)
ytt
sg
F d
F d
(
x) =
en donde U es cualquier curva formada por segmentos paralelos a los ejes coordenados (en
el problema 18 se pide probar que siempre existe al menos una de estas curvas) (ver figura 3.18)
J. P
aez
126
x
b
x
b+thb
ei
h
o
O
x
b0
(
x) = lim
h0
xi
h
en donde ei es el i esimo vector b
asico de Rn (el que tiene un 1 en la i esima coordenada y
cero en las dem
as).
Supongamos que y son como en la definicion de (
x) y sea h el segmento de recta que
va del punto x
al punto x
+ h
ei y h (t) = x
+ th
ei con t [0, 1], una parametrizacion de este (ver
figura 3.18). Usando estas curvas y sus parametrizaciones, podemos escribir que
Z
(
x + h
ei ) =
F d( + h )
h
y por lo tanto
(
x + h
ei ) (
x)
(
x) = lim
h0
xi
h
Z
Z
1
= lim
F d( + h ) F d
h0 h
1
h0 h
= lim
F dh
1
= lim
h0 h
Z1
F (h (t)) h (t)dt
h0 h
Z1
F (
x + th
ei ) (h
ei ) dt
= lim
127
J. P
aez
= lim
h0
Fi (
x + th
ei )dt
= Fi (
x)
en donde la u
ltima identidad se sigue de la continuidad de F (y por tanto de cada Fi ) y con la cual
concluimos la prueba.
`@@
@@
@@
@
o
@
@@
@@
@@
@
(3.12)
con (x, y) U = R2 \{(0, 0)}. Mostraremos, usando el inciso dos del teorema 3.1, que este campo
no es conservativo en su dominio U .
Soluci
on. En efecto, sea U la circunferencia de radio r > 0 con centro en el origen,
parametrizada por la funci
on (t) = (r cos(t), r sen(t)) con t [0, 2]. Entonces
Z
F d =
Z2
0
F ((t)) (t)dt
Z2
Z2
r cos(t)
r sen(t)
,
2
2
(r cos(t)) + (r sen(t)) (r cos(t))2 + (r sen(t))2
J. P
aez
1 2
r sen2 (t) + r 2 cos2 (t) dt
2
r
128
(r sen(t), r cos(t)) dt
Z2
dt
= 2
6= 0
y por lo tanto, dado que es una parametrizaci
on cerrada de , el inciso dos del teorema 3.1 nos
asegura que este campo no es conservativo en U = R2 \{(0, 0)}.
Vale la pena aclarar que en este ejemplo lo que se prueba es que el campo definido por la funci
on
2
de 3.12 no es conservativo en U = R \{(0, 0)}, aclaraci
on cuya raz
on de ser ser
a comprendida m
as
adelante.
En realidad, hasta ahora no contamos con ninguna herramienta que nos permita, ya no digamos
decidir, sino cuando menos sospechar, cu
ando un campo cumple alguna de las tres condiciones del
teorema 3.1. Si bien es cierto que la eleccion que hicimos de la curva (y de su parametrizacion
) del ejemplo anterior se podra justificar geometricamente3 , esto es algo que en general s
olo se
puede hacer con algunos ejemplos. Proceder con audacia (o ingenuidad, si se prefiere) puede tener
sus compensaciones, como se ilustra en el siguiente
Ejemplo 3.7 Considere el campo definido por la funci
on F (x, y) = (ex cos(y), ex sen(y)) con
2
(x, y) U = R . F es un campo conservativo en la regi
on U ?
Soluci
on. Si partimos del supuesto de que la respuesta es afirmativa, esto significa que debe existir
una funci
on : R2 R tal que
(x, y) = ex cos(y)
x
(x, y) = ex sen(y)
y
(3.13)
Observe el lector que en cada punto de esta curva, el campo F siempre act
ua en la direcci
on del movimiento
determinada por la parametrizaci
on (ver figura 3.19), lo cual explica por que el trabajo neto realizado por el
campo F a lo largo de esa curva cerrada no es cero.
129
J. P
aez
(x, y) = P (x, y)
x
(x, y) = Q(x, y)
y
(3.14)
para toda (x, y) U . Si ahora tambien suponemos que F es una funcion de clase C 1 en U (como en
el ejemplo anterior), las identidades anteriores nos llevan a concluir que es entonces una funci
on
2
de clase C en U y justo para este tipo de funciones existe una propiedad muy importante: la
propiedad de las derivadas parciales cruzadas (ver problema 4 del captulo 2) que establece que
2
2
(x, y) =
(x, y)
xy
yx
para toda (x, y) U . Dado que, por las identidades 3.14, los dos elementos de la identidad anterior
se pueden escribir en terminos de las funciones P y Q, entonces debemos tener que
2
P
(x, y) =
(x, y)
y
yx
2
=
(x, y)
xy
Q
(x, y)
=
x
para toda (x, y) U .
Como el lector habra notado, la discusion anterior nos permite establecer un primer criterio
para determinar si un campo F es un campo conservativo. A
un cuando lo hicimos para campos en
R2 , su generalizaci
on es muy sencilla para campos en Rn y as lo establecemos en la siguiente
Proposici
on 3.7 Sea F = (F1 , . . . , Fn ) : U Rn Rn una funci
on de clase C 1 en U . Si F es
un campo conservativo en U entonces
Fj
Fi
(
x) =
(
x)
xj
xi
(3.15)
para toda x
U y para toda i, j {1, . . . , n}, i 6= j.
Dem. Se deja al lector
La proposici
on anterior establece lo que se conoce como una consecuencia (o condici
on) necesaria
del hecho de que un campo F sea un campo conservativo en una regi
on U . Como suele suceder,
este tipo de condiciones son m
as u
tiles cuando no se satisfacen. En efecto, si la identidad 3.15 no
se cumple para al menos una x
U podemos asegurar entonces que el campo F no es conservativo
en U . El siguiente ejemplo ilustra esto.
Ejemplo 3.8 Considere el campo definido por la funci
on
F (x, y, z) = (F1 (x, y, z), F2 (x, y, z), F3 (x, y, z))
J. P
aez
130
yz
xz
1
, 2
, ln x2 + y 2
2
2
2
x +y x +y 2
F1
y
(x, y, z) = 2
z
x + y2
P
Q
(x, y) =
(x, y)
y
x
J. P
aez
3.5
Como lo hemos hecho a lo largo de este texto, empezaremos por plantear un problema fsico que,
por ahora, s
olo lo discutiremos para el caso del espacio de dos dimensiones.
Supongamos que tenemos un disco D de radio r > 0, infinitamente delgado (y por tanto sin
volumen) el cual se encuentra sujeto por su centro (con un alfiler) en un punto x
0 de un plano.
Ahora, si en un punto x
del permetro del disco D (en este caso una circunferencia) aplicamos
una fuerza F , es de esperarse que dicha fuerza produzca una rotaci
on (o un giro) del disco (ver
figura 3.20).
}
gfhfhgfhg
x
b0
x
b ...
Fb
..
.
act
ua en la direcci
on de Tx o en la contraria, lo que sin duda ser
a de utilidad para determinar la
direcci
on de la rotaci
on producida, la que por cierto, solo tiene dos opciones: o rota en la direcci
on
del movimiento de las manecillas del reloj, o rota en la contraria. Con respecto a esto, observese
que cualquier vector Tx tangente a la circunferencia s
olo puede apuntar en alguna de estas dos
posibles direcciones de rotaci
on (o direcciones de recorrido) (ver figura 3.22). Con el fin de
evitar ambig
uedades, aqu supondremos que siempre tomamos los vectores tangentes que apuntan
J. P
aez
132
g
ghfh
hf
g
f
b
x
gfhfhghgf
x
b0
b@
@x
x
b0
@@
@@
@@
Fb @@@
Fb
b en direcci
on perpendicular a D y en
Figura 3.21: La fuerza Fb pegando sobre el punto x
direcci
on tangencial a D
en la direcci
on de rotaci
on (o direcci
on de recorrido) contraria al movimiento de las manecillas
del reloj.
_??
??
??
??
?@x
b
@@
@@
@@
@@
es una buena forma de medir la fuerza neta ejercida (que produce rotaci
on) sobre el disco D al
aplicar la fuerza F en el punto x
de su permetro , y no s
olo su intensidad, sino tambien su
direcci
on: si este n
umero es negativo, significa que la fuerza ejercida act
ua en la direcci
on del
movimiento de las manecillas del reloj, y si es positivo, en la contraria.
Una vez que hemos determinado la fuerza neta ejercida sobre el disco D al aplicar la fuerza
F en el punto x
de su permetro , podemos determinar cu
al es la intensidad del movimiento de
rotaci
on producido por la acci
on de dicha fuerza. Recuerdese que, como una consecuencia de la
Primera Ley de Newton (o Ley de la Inercia), si en un instante dado un objeto es golpeado por
una fuerza que produce una aceleraci
on de F Tx (unidades de longitud)/(unidades de tiempo)2 ,
y despues de ese instante no lo vuelve a afectar ninguna otra fuerza, entonces este objeto viajara
en lnea recta y a una rapidez constante de F Tx (unidades de longitud)/(unidades de tiempo),
lo que a su vez significa que en una unidad de tiempo recorrera una distancia de F Tx (unidades
133
J. P
aez
Tx1
o
F1
Tx1
o
x
b1
F2 ?
x
b2
Tx2
F1
x
b1
?
F2
/
x
b2
Tx1
Tx2
F1 Tx1 + F2 Tx2 = 0
F1 ?
x
b1
?
F2
x
b2
Tx2
Figura 3.23: La fuerza neta ejercida sobre el disco D por las fuerzas F1 y F2 aplicadas
(simultaneamente) en los puntos x
1 y x
2 (respectivamente), esta bien medida con el n
umero
F1 Tx + F2 Tx
1
Si ahora tomamos un n
umero finito de puntos x
1 , . . . , xk en y suponemos que en cada uno
de ellos act
ua una fuerza F1 , . . . , Fk , respectivamente, el lector estar
a de acuerdo en que la fuerza
neta ejercida sobre el disco D estar
a bien medida con el n
umero
F1 Tx1 + + Fk Txk
(hay muchas formas sencillas de tomar puntos x
1 , . . . , x
k en , y fuerzas F1 , . . . , Fk que experimentalmente confirmaran esta afirmacion (ver figura 3.23)), de tal manera que la magnitud del
movimiento de rotaci
on producido por dichas fuerzas estar
a dado por
F1 Tx1 + + Fk Txk
2r
Ahora el siguiente paso es suponer que tenemos todo un campo de fuerzas que act
ua en cada
punto de la circunferencia y el primer problema que tenemos que resolver es el de calcular la fuerza
neta ejercida sobre el disco D por dicho campo de fuerzas. Desafortunadamente, y a diferencia del
caso finito, no estamos en condiciones de calcular dicha fuerza. Lo que si podemos calcular, incluso
de manera muy sencilla y echando mano de uno de los conceptos que hemos definido en este mismo
captulo, es la fuerza promedio ejercida por el campo que act
ua sobre la circunferencia .
Supongamos que el campo de fuerzas est
a representado por una funcion continua F : U
R2 R2 tal que D U . Asociado a este campo, definimos el campo escalar f : R2 R de la
J. P
aez
134
f ((t))dt
2 0
1
=
2r
Z2
1
2r
Z2
f ((t))rdt
f ((t))
(t)
dt
entonces tenemos que la fuerza promedio (por unidad de distancia) ejercida por el campo F sobre
la circunferencia , que denotaremos por Fp , estar
a dada por la integral de lnea del campo escalar
f sobre la circunferencia , dividida por la longitud de . Es decir,
R
f kdk
Fp =
R 2r
f kdk
=
l()
Si volvemos a escribir explcitamente la definicion de esta integral, tenemos que
Z
f kdk =
Z2
0
f ((t))
(t)
dt
Z2
Z2
Z0
(t)
F ((t))
k (t)k
(t)
dt
F ((t)) (t)dt
F d
J. P
aez
F d =
Z2
0
Z2
0
F ((t)) (t)dt
Z2
Z2
r 2 sen(t) cos(t)) + x0 r sen(t) + y0 r cos(t) + x0 y0 r sen(t)dt
r 2 sen(t) cos(t)) + x0 r sen(t) + y0 r cos(t) + x0 y0 r cos(t)dt
= x0 r
Z2
sen (t)dt + y0 r
Z2
cos2 (t)dt
= r (x0 + y0 )
de tal forma que
r
(x0 + y0 )
2
Observe que, si tomamos (x0 , y0 ) = (2, 0) y r = 1 entonces Fp = 1, mientras que si (x0 , y0 ) = (2, 0)
y r = 1 entonces Fp = 1.
Fp =
Ya que hemos calculado la fuerza promedio ejercida por el campo F sobre el disco D, estamos
en condiciones de calcular la rotaci
on promedio producida sobre dicho disco, la cual denotaremos
por Rotr F (
x0 ). Como hicimos en el caso en el que s
olo actuaban un n
umero finito de fuerzas, el
n
umero
Rotr F (
x0 ) =
Fp
2r
R
F d/2r
=
2r
R
F
d
=
(2r)2
ser
a entonces una medida de la rotaci
on promedio producida por el campo F , en donde dicho
n
umero indicara la cantidad de revoluciones (o giros) realizadas por unidad de tiempo.
Una vez que hemos llegado hasta aqu, lo que sigue es hacerse la siguiente pregunta: existe
una manera de medir la rotaci
on producida por el campo F en el punto x
0 ? Es posible que esta
pregunta cause en un principio cierto desconcierto y resulte poco intuitiva, pero no es cierto acaso
que esta idea tiene tanto sentido como la de calcular la velocidad de un objeto en un instante?
J. P
aez
136
J. P
aez
Proposici
on 3.8 Sea F = (P, Q) : U R2 R2 de clase C 1 en la regi
on U . Entonces
R
F d
Rot F (
x) = lim 2
r0
r
P
Q
(
x)
(
x)
=
x
y
para toda x
U.
Dem. Para empezar recordemos que, como F es un campo de clase C 1 en su dominio, dado
x
0 = (x0 , y0 ) U , por el Teorema de Taylor sabemos que
P (x, y) = P (
x0 ) + P (
x0 ) (x x0 , y y0 ) + RP (x, y)
y
Q(x, y) = Q(
x0 ) + Q(
x0 ) (x x0 , y y0 ) + RQ (x, y)
para toda (x, y) Br (
x0 ) = (x, y) R2 | k(x x0 , y y0 )k < r U , y en donde RP y RQ son
tales que
RP (x, y)
RQ (x, y)
lim
=0=
lim
(3.18)
0 k
0 k
(x,y)(x0 ,y0 ) k(x, y) x
(x,y)(x0 ,y0 ) k(x, y) x
Ahora, si (t) = (r cos(t), r sen(t))+ x
0 con t [0, 2], se tiene que
Z
F d =
Z2
0
Z2
0
F ((t)) (t)dt
(P ((r cos(t), r sen(t)) + x
0 ), Q((r cos(t), r sen(t)) + x
0 )) (r sen(t), r cos(t))dt
Z2
Z2
Z2
0
r sen(t) [P (
x0 ) + P (
x0 ) (r cos(t), r sen(t)) + RP ((t))] dt
= rP (
x0 )
r2
P
(
x0 )
y
Z2
0
Z2
sen(t)dt + r
sen2 (t)dt + r
P
(
x0 ) + r
y
138
(
x0 )
cos(t) sen(t)dt+
Z2
RP ((t)) sen(t)dt
Z2
0
J. P
aez
Z2
0
= r 2
2 P
RP ((t)) sen(t)dt
y para la segunda
Z2
Z2
0
r cos(t) [Q(
x0 ) + Q(
x0 ) (r cos(t), r sen(t)) + RQ ((t))] dt
= rQ(
x0 )
Z2
Q
(
x0 )
y
Z2
cos(t)dt + r
2 Q
(
x0 )
r2
sen(t) cos(t)dt + r
Q
(
x0 ) + r
x
cos2 (t)dt+
= r 2
Z2
Z2
RQ ((t)) cos(t)dt
Z2
RQ ((t)) cos(t)dt
Por tanto
R
Z2
Z2
RQ ((t))
P
1
1
Q
RP ((t))
F d
(
x0 )
(
x0 )
sen(t)dt +
cos(t)dt
=
2
r
x
y
r
0
P
1
Q
(
x0 )
(
x0 )
=
x
y
Z2
0
RP ((t))
1
sen(t)dt +
k(t) x
0 k
Z2
0
RQ ((t))
cos(t)dt
k(t) x
0 k
r0
Z2
0
RP ((t))
sen(t)dt = 0 = lim
r0
k(t) x
0 k
Z2
0
RQ ((t))
cos(t)dt
k(t) x
0 k
Z2
Z2
RQ ((t))
RP ((t))
P
1
1
Q
(
x0 )
(
x0 ) +
sen(t)dt +
cos(t)dt
= lim
r0
x
y
k(t) x
0 k
k(t) x
0 k
0
P
Q
(
x0 )
(
x0 )
=
x
y
Lo m
as interesante del resultado anterior es que la identidad
Rot F (
x) =
Q
P
(
x)
(
x)
x
y
se sigue cumpliendo aun y cuando el rotacional no se calcule con base en discos centrados en x
.
Lo siguiente que vamos a mostrar es que si Rot F (
x) lo definimos ahora en terminos de cuadrados
con centro en x
, entonces la identidad anterior sigue siendo valida cuando F es nuevamente una
funcion de clase C 1 .
139
J. P
aez
Proposici
on 3.9 Sean, F = (P, Q) : U R2 R2 de clase C 1 en la regi
on U , y x
0 = (x0 , y0 )
U . Dado r > 0 tal que Rr = [x0 r, x0 + r] [y0 r, y0 + r] U , hacemos r = Rr = F r(Rr ) (la
frontera de Rr ) y tomamos r una parametrizaci
on que la recorra una vez y en sentido contrario a
las manecillas del reloj (ver figura 3.24). Entonces
R
F dr
Rot F (
x0 ) = lim r
r0 a
rea(Rr )
Y O
y0 + r
o
y0
x
b0
y0 r
x0 r
x0
x0 + r
F dr =
Zr
r
Zr
r
Zr
Zr
r
Zr
Zr
de tal forma que, por el Teorema del Valor Promedio, existen r , r [r, r] tales que
Z
F dr = 2r (Q(x0 + r, y0 + r ) Q(x0 r, y0 + r ))2r (P (x0 + r , y0 + r) P (x0 + r , y0 r))
(3.19)
r , r
Q
x
P
y
(2r)(2r) P
(2r)(2r) Q
y (x0 + r , y0 + r )
r F dr
x (x0 + r , y0 + r )
lim
= lim
r0 a
r0
rea(Rr )
4r 2
4r 2
P
Q
(x0 + r , y0 + r )
(x0 + r , y0 + r )
= lim
r0
x
y
J. P
aez
140
Q
P
(x0 , y0 )
(x0 , y0 )
x
y
= Rot F (
x0 )
=
Rot F (
x) =
Q
P
(
x)
(
x)
x
y
?(( ?
(( ???
(( ??
?[[
??[[[[[[[(
?? O** OOO
?? ** O
?? *
??**
?
141
J. P
aez
Una vez establecido este concepto, procedemos a deducir el Teorema de Green. Supongamos
que tenemos un campo F = (P, Q) : U R2 R2 de clase C 1 en su dominio, y U un conjunto
Jordan-medible tal que = = F r() es una curva cerrada simple. Dado que F es de clase
P
on continua en y por lo tanto integrable sobre este
C 1 entonces Rot F = Q
x y es una funci
conjunto. De esta forma, sabemos que
Z
Rot F
k
X
i=1
Rot F (i ) m(Ri ) =
k
X
i=1
Rot F (i ) a
rea(Ri )
Rot F (i ) a
rea(Ri ) F di
i
Rot F
k Z
X
i=1
F di
bi Ri
R
Ahora observese que, dado que cada una de las integrales i F di se puede descomponer como
la suma de cuatro integrales (sobre cada uno de los lados del cuadrado Ri ), si Ri y Rj son dos
cuadrados adyacentes, entonces en la suma
Z
Z
F di + F dj
i
142
Rm
Ri
o
o
O
O
Rj
Rl
F di = F d
i=1
es una curva poligonal de lados paralelos a los ejes y es una parametrizacion de esta
en donde
que la recorre (una vez) en el sentido contrario al de las manecillas del reloj (ver figura 3.28).
o
o
o
O
/
/
F d
=
F d
x
y
J. P
aez
o
= O
R
w
/
7
y = se parecen
Figura 3.29: Las curvas
Teorema 3.2 (de Green) Sean, F = (P, Q) : U R2 R2 de clase C 1 en U , y U un
conjunto Jordan-medible tal que = = F r() es una curva cerrada simple y U .
Entonces
Z
Z
Z
Q P
=
F d
Rot F =
x
y
Rot F =
x
y
Z
Z
P
Q
=
x
y
Entonces
P
=
y
Zb
Zb
(x)
Z
(x)
(x, y)dy dx
y
J. P
aez
144
Zb
a
Zb
Zb
=
=
(b)
Z
(P (b, x), 0) (0, 1)dx
(P (x, (x)), 0) (1, (x))dx +
(b)
(a)
Z
(a)
P (x, (x))dx
Zb
Za
Zb
P (x, (x))dx
(b,(b))
[ 3
(a,(a))
O 2
I
(b,(b))
Q P
Rot F =
x
y
Z
Z
Q
P
=
x
y
Z
Z
=
(0, Q) d +
(P, 0) d
Z
145
J. P
aez
(P, Q) d
F d
x
y
=
=0
Observese que en particular este resultado es v
alido si es cualquier circunferencia, o el permetro
de cualquier rect
angulo, siempre y cuando el (0, 0) no quede encerrado por .
J. P
aez
146
Figura 3.31: La frontera o borde de la region esta formada por dos circunferencias
El Teorema de Green se puede extender a regiones cuya frontera este formada por m
as de
una curva cerrada simple, como sera el caso de un anillo (ver figura 3.31). Para deducir el tipo
de identidad que se obtiene en este caso, podemos recurrir al mismo procedimiento que seguimos
antes: si a la regi
on la metemos dentro de un cuadrado R y a este lo subdividimos (o lo
particionamos) en cuadrados muy peque
nos, haciendo las mismas aproximaciones, sustituciones y
cancelaciones que en el caso anterior, llegaremos a la conclusion de que
Z
Z
Q P
Rot F =
x
y
Z
Z
Z
= F d0 + F d1 + + F dk
k
1 O
m
/
m
m
o
/
Figura 3.32: Ejemplo de region sobre la que se aplica la version general del Teorema de Green
Aun cuando formularemos esta versi
on m
as general del teorema de Green, no estamos en condiciones de dar una prueba rigurosa de ella. Sera necesario precisar algunos conceptos, como el
de que 0 es la curva m
as exterior (o que rodea al resto), lo cual escapa a los objetivos de este
texto.
Teorema 3.3 (de Green (versi
on general)) Sean, F = (P, Q) : U R2 R2 de clase C 1 en
U , y U un conjunto Jordan-medible tal que F r() = = 0 1 . . . k , con 0 , 1 , . . . , k
curvas cerradas simples y 0 la m
as exterior (o que rodea al resto). Entonces
Z
Z
Q P
Rot F =
x
y
147
J. P
aez
F d
F d0 +
F d1 + +
F dk
Cr
F d donde
F (x, y) =
y
x
, 2
2
2
x + y x + y2
J. P
aez
148
F d
F dr
Cr
F d =
F dr
Cr
= 2
como se calcul
o en el ejemplo 3.6.
Figura 3.34: Una manera de subdividir la region del ejemplo 3.11 para despues aplicar (en
cada pedazo) la versi
on mas sencilla del Teorema de Green
Si no quisieramos echar mano de la versi
on m
as general del teorema de Green, observe que la regi
on
se puede subdividir en cuatro regiones 1 , 2 , 3 y 4 , las que se obtienen de intersectar a
con cada uno de los cuadrantes (que por cierto, cada una de estas regiones es de tipo I y tipo II,
simult
aneamente) (ver figura 3.34). Dado que Rot F (x, y) = 0 para toda (x, y) U = R2 \{(0, 0)},
por el teorema de Green (la primera versi
on) tenemos que
Z
F di = 0
i
de donde
F d
Z2
F dr
Cr
F d =
F dr
Cr
= 2
149
J. P
aez
O
o
O
F d =
x
y
P
Q
( )
( ) m( )
=
x
y
Q
P
=
( )
( ) a
rea( )
x
y
P
J. P
aez
150
e (
x)
\99
99
y<
99 yyy
y
9yy
er (
x)
Antes de hacer cualquier cosa, es necesario aclarar lo que significa que un campo F este dado
en terminos de coordenadas polares. A un punto x
en el dominio de F lo representaremos por una
pareja de n
umeros (r, ) que denotaran las coordenadas polares de x
en un cierto sistema polar r.
Al valor de F en x
(el vector F (
x)) lo representaremos por una pareja de n
umeros (Fr (
x), F (
x))
que denotaran las coordenadas del vector F (
x) en el sistema cartesiano formado por los vectores
er (
x) y e (
x), en donde er (
x) es un vector unitario en la direcci
on de x
(por lo que ser
a necesario
suponer que x
6=
0) y e (
x) es el vector que se obtiene al girar er (
x) un angulo de noventa grados
en la direcci
on contraria al movimiento de las manecillas del reloj (ver figura 3.36). De esta forma,
se tiene que
F (
x) = Fr (
x)
er (
x) + F (
x)
e (
x)
o
F (
x) er (
x) = Fr (
x)
F (
x) e (
x) = F (
x)
(3.20)
eX1 (
x)
11
er (
x)
11
8
11
cos()
qqq sen ()
q
q
11 qq
qq |
|
sen ()
cos()
x
b
/
J. P
aez
(
x
)
y
(
x
),
por
lo
que
vale
la
pena
recordar
qu
e
relaci
o
n
tienen
con
el
(
x).
r
x) se tiene que
De la definicion de r (
(
x) =
(r, )
r
r
(r + h, ) (r, )
= lim
h0
h
(
x + h
er (
x)) (
x)
= lim
h0
h
= Der (x) (
x)
= (
x) er (
x)
donde Der (x) (
x) representa la derivada direccional de en x
en la direcci
on del vector er (
x).
Por otra parte, si consideramos la funcion g(h) = (r cos( + h), r sen( + h)) (o g(h) = (r, + h)
si la expresamos en coordenadas polares) y la componemos con la funcion , tenemos que
( g)(0 + h) ( g)(0)
h0
h
(g(h)) (g(0))
= lim
h0
h
(r, + h) (r, )
= lim
h0
h
(
x)
=
( g) (0) = lim
(
x) = ( g) (0)
= (g(0)) g (0)
= (
x) (r sen(), r cos())
= (
x) (r
e (
x))
es decir
1
(
x) = (
x) e (
x)
r
Por tanto
F (
x) = (
x)
1
(
x) er (
x) +
(
x) e (
x)
=
r
r
J. P
aez
152
J
(ro , o )
ro +
nnn
nnn
n
n
r
n
o
o +
nnn
I
I
o o
/
con t [r0 , r0 + ]
con t [0 , 0 + ]
con t [r0 , r0 + ]
con t [0 , 0 + ]
2 (t)
3 (t)
4 (t)
para toda t [0 , 0 + ]
para toda t [0 , 0 + ]
J. P
aez
F d =
F d1 +
rZ0 +
F (1 (t))
r0
F d3
1 (t)dt
Z0 +
F (2 (t))
F (1 (t)) er (1 (t))dt +
F d4
rZ0 +
r0
F d2
2 (t)dt
Z0 +
rZ0 +
F (3 (t))
r0
3 (t)dt
F (2 (t)) ((r0 + )
e (2 (t))) dt
Z0 +
rZ0 +
r0
Z0 +
F (4 (t)) 4 (t)dt
F (3 (t)) er (3 (t))dt
F (4 (t)) ((r0 )
e (4 (t))) dt
Ahora, si usamos las identidades 3.20, escribimos a los puntos 1 (t), 2 (t), 3 (t), 4 (t) en terminos
de sus coordenadas polares (es decir, 1 (t) = (t, 0 ), 2 (t) = (r0 + , t), 3 (t) = (t, 0 + ) y
4 (t) = (r0 , t)) (5 ), y llamamos g a la funcion de las variables polares (r, ) definida como
g(r, ) = rF (r, ), tenemos que
Z
F d =
rZ0 +
r0
rZ0 +
rZ0 +
r0
r0
que
Z0 +
Z0 +
Z0 +
F d = (2)(2)
Fr
g
(r , ) + (2)(2) (r , )
154
y g
r son continuas y (r , ), (r , ) (r0 , 0 ) cuando 0 se tiene que
R
F d
(3.21)
Rot F (r0 , 0 ) = lim
0 a
rea( )
1
g
Fr
= lim
(r
,
)
+
(2)(2)
(r
,
)
(2)(2)
0 (r0 + )2 (r0 )2
r
1
g
Fr
= lim
(r , ) +
(r , )
0 r0
r
1
g
Fr
=
(r0 , 0 ) +
(r0 , 0 )
r0
r
1
(rF )
Fr
=
(r0 , 0 ) +
(r0 , 0 )
r0
r
F
1
1 Fr
=
(r0 , 0 ) + F (r0 , 0 )
(r0 , 0 )
r
r0
r0
Fr
0
= 2 +
r0 r0 r0
r0
Rot F (r0 , 0 ) =
=0
Si f 0, compare con el campo del ejemplo 3.6!
Concluimos esta secci
on con la definicion del concepto de divergencia de un campo F = (P, Q) :
U R2 R2 , concepto que motivaremos a partir del siguiente problema. Supongamos ahora que
F representa al campo de velocidades de un fluido en un cierto instante; es decir, si x
U es un
punto por el cual pasa el fluido, entonces F (
x) representar
a la velocidad con la que viaja el fluido
(o una molecula o porci
on muy peque
na de este) en ese punto (y en ese instante).
Empecemos por suponer tambien que F es constante, es decir, que F (
x) = F para toda x
.
Ahora, si colocamos un segmento de recta L por donde pasa el fluido y elegimos un vector n
que
apunte en una direcci
on normal (de las dos posibles) a L, nuestro primer problema ser
a encontrar
una forma de medir que tanto se expandir
a el fluido a traves de L en la direcci
on de n
en una
155
J. P
aez
Y O
/
/
?? /
??
n
7
?? ooooo
/
o??
??
/
?? F
/ L ???
??
/
/
X
Figura 3.39: Si el fluido tiene una velocidad constante F , la zona cubierta por este al pasar
durante una unidad de tiempo atraves de un segmento L, tiene la forma de un paralelogramo
cuya area est
a dada por (F n
) longitud(L)
unidad de tiempo. Sin duda una muy buena manera de medir esta expansi
on es por medio del
area de la zona cubierta por el fluido despues de que se le deja fluir a traves del segmento L
durante una unidad de tiempo. Bajo el supuesto que estamos haciendo de que nuestro fluido tiene
una velocidad constante, es intuitivamente claro que la zona cubierta en este caso por el fluido
coincide con un paralelogramo, como se muestra en la figura 3.39.
Si el vector F apunta
hacia el mismo lado que n
, sabemos que el area de este paralelogramo
est
a dada por F n
longitud(L), en donde F n
nos da la altura de dicho paralelogramo. De
hecho, este u
ltimo n
umero tambien se puede interpretar como una medida de que tanto cruza el
vector F al segmento L. Notese que, si F tiene una direcci
on muy parecida a la del segmento
N
otese que, si lo que quisieramos calcular fuera la cantidad de fluido que cruzara a traves de L en esa unidad
de tiempo, habra que multiplicar a este n
umero por la densidad de masa del fluido. En este sentido, el n
umero dado
en 3.22 s
olo es una medida de que tanto se expande nuestro fluido a traves de L en la direcci
on del vector n
.
J. P
aez
156
Pi Pi1
F (i )
P
P
=
F
(
P
i
i1
i
i
i1
Pi Pi1
(con i un punto en el subarco i de que une a los puntos Pi1 y Pi ) es una aproximacion a la
expansi
on del fluido a traves del subarco i en la direcci
on del vector Pi Pi1
(ver figura
3.40), por lo que
k
X
F (i ) Pi Pi1
(3.23)
i=1
ser
a una aproximacion a la expansi
on neta del fluido a traves de toda la curva en la direcci
on
determinada por los vectores Pi Pi1 .
Pi1
Pi = (ti )?
%
%%i
?
%
= (ti1 ) ??? %%
?? %%
?? F (i )
??
??
Pi Pi1
Figura 3.40: Si i es un punto en el subarco de que une a los puntos Pi1 y Pi , una
aproximaci
on a la expansi
on del fluido (descrito por el campo F ) a traves de dicho subarco
en la direcci
on del vector Pi Pi1
esta dada por F (i ) Pi Pi1
k
X
i=1
157
F ((i )) (i )(ti ti1 )
J. P
aez
k
X
i=1
Zb
a
F ((i )) (i ) (ti ti1 )
F ((t)) (t) dt
F (d) =
Zb
a
F ((t)) (t) dt
en donde recuerdese que (x, y) = (y, x). Como vimos, esta integral se puede interpretar como
una medida de la expansi
on producida por el campo F a traves de en la direcci
on determinada
Zb
Zb
=
=
=
Zb
Za
(P ((t)), Q((t))) 1 (t), 2 (t) dt
(P ((t)), Q((t))) 2 (t), 1 (t) dt
(Q((t)), P ((t))) 1 (t), 2 (t) dt
(Q, P ) d
(F ) d
158
R
on
integral r F (dr ) tiene la siguiente interpretacion: si es positivo, significa que la expansi
hacia afuera de la circunferencia fue mayor que la expansi
on hacia adentro, mientras que si es
negativo, significa que la expansi
on hacia adentro de la circunferencia fue mayor que la expansi
on
hacia afuera.
Y O
U,, (t)
,, r
,,
,, kkkkk5
k ( (t))
kk
r
<
x
0 r (t)
r
>
X
Figura 3.41: Si r es la circunferencia de radio r con centro en x
0 y r una parametrizacion
que la recorre una vez y en el sentido contrario al movimiento de las manecillas del reloj, los
vectores (r (t)) siempre apuntan hacia afuera de la circunferencia r
R
Una vez aclarado lo anterior, tenemos entonces que la integral r F (dr ) es una medida de
la expansi
on (dada en terminos de un area) producida por el campo de velocidades F a traves
de la circunferencia r , de tal forma que el cociente
R
r F (dr )
(3.24)
r 2
se puede interpretar como la expansi
on promedio producida por F a traves del disco de radio
r con centro en x
0 . Como seguramente el lector ya sospecha, si el cociente de arriba tiene lmite
cuando r 0, a este valor lmite se le podr
a considerar como la expansi
on producida por F en
el punto x
0 .
Dado que
Z
Z
(F ) d
F (d) =
para cualquier curva suave por pedazos , y que a estas alturas contamos con herramientas tan
importantes (y potentes) como el Teorema de Green, es facil mostrar que si la funcion F = (P, Q)
que describe al campo de velocidades es de clase C 1 (en su dominio U ) entonces el cociente 3.24
siempre tiene lmite. Mas a
un, en la siguiente proposici
on mostraremos que dicho cociente tiene
lmite incluso para regiones m
as generales que los discos con centro en el punto x
0 .
Proposici
on 3.12 Sean, F = (P, Q) : U R2 R2 de clase C 1 en U , x
0 U y { }0<<c una
familia de regiones contenidas en U , Jordan-medibles, cerradas y acotadas, y tales que: = =
F r( ) es una curva cerrada simple, x
0 int( ) para toda 0 < < c R y lim0 diam( ) = 0.
Entonces
R
F (d )
lim
0
a
rea( )
existe y adem
as
R
F (d )
P
Q
=
(
x0 ) +
(
x0 )
lim
0
a
rea( )
x
y
159
J. P
aez
F (d ) =
(F ) d
(F ) d
F (d )
= lim
lim
0
0
a
rea( )
a
rea( )
= Rot((F ) )(
x0 )
= Rot(Q, P )(
x0 )
P
Q
=
(
x0 ) +
(
x0 )
x
y
div F (
x) =
Q
P
(
x) +
(
x)
x
y
Aun cuando el concepto de divergencia no lo definimos como un lmite (ni siquiera provisionalmente, tal como sucedio en el caso del rotacional), es importante hacer notar que cuando F = (P, Q)
sea de clase C 1 en su dominio, la div F (
x) s se puede ver como un lmite, el cual tiene una interpretacion muy especfica. De hecho, la proposici
on anterior se puede reformular en terminos de
este concepto de la siguiente manera:
Proposici
on 3.13 Sean, F = (P, Q) : U R2 R2 de clase C 1 en U , x
0 U y { }0<<c una
familia de regiones contenidas en U , Jordan-medibles, cerradas y acotadas, y tales que: = =
F r( ) es una curva cerrada simple, x
0 int( ) para toda 0 < < c R y lim0 diam( ) = 0.
Entonces
R
F (d )
div F (
x0 ) = lim
0
a
rea( )
La identidad que se dio p
arrafos arriba, en la que se establece que si F = (P, Q) : U R2 R2
entonces
Z
Z
F (d) = (F ) d
160
Aunque la identidad anterior no se da para el mismo campo (lo cual es muy importante tenerlo
siempre muy presente), y que fsicamente los conceptos de divergencia y rotacional no son lo mismo,
desde un punto de vista puramente matem
atico s da lugar a que, para cualquier resultado que sea
valido para el rotacional, exista uno casi igual para la divergencia. Tan Res as, que el Teorema
de Green se podra reformular usando el concepto de div F y la integral F (d) (lo que se
deja como un problema para el lector) y a esta secci
on se le pudo haber titulado Divergencia y
rotacional en el plano. Es por esta raz
on que ya no tenemos mucho m
as que agregar con relaci
on
al concepto de divergencia.
Sin embargo, las cosas ser
an diferentes en el espacio. Ambos conceptos se van a generalizar
para campos de R3 en R3 y mientras que para estos campos la divergencia seguira siendo una
cantidad escalar, el rotacional de uno de ellos ya no se definira por medio de un s
olo n
umero.
Afortunadamente para definir el concepto de rotacional para campos de R3 en R3 no hace falta m
as
que el concepto de integral de lnea de funciones de valores vectoriales que hemos desarrollado en
este captulo, por lo que procederemos a hacerlo en la siguiente secci
on. Para definir la divergencia
de campos de R3 en R3 habra que esperar el desarrollo del concepto de integral de superficie, lo
que haremos en el siguiente captulo.
3.6
El rotacional en el espacio
P
r
x
0
x
Dr
UUUU F
/ Y
UUUU
UUUU
U
UUUU
UUUU
U
U
J. P
aez
En esta situaci
on, es claro que el efecto producido sobre el disco Dr por una fuerza F que lo
golpea en un punto x
de su borde r s
olo puede ser el de girar (dentro de P) o permanecer inm
ovil
(sin duda en este caso hay muchas m
as posiciones de la fuerza F para las que no se produce ning
un
movimiento). Como hicimos en la secci
on anterior, es facil convencerse de que el n
umero
F Tx
2r
(3.25)
UU
UUUUUUU
UUUU
UUUU
T
n
UUUU
UU
P
x
0 x
U T
TTTT ? X
Tx
UUUU
UUUU
U
U
UUUU
/
ZO
UU
UUUUUUU
UUUU
UUUU
n
J
UUUU
T D
UU
x
P
x
0 x
UUUU
/ Y
UUUU
UUUU
U
UUUU
UUUU
UU
(a)
(b)
162
Dr , el n
umero dado por
F dr
2r
ser
a el adecuado para medir la fuerza promedio ejercida por el campo F sobre el disco Dr , de tal
forma que al n
umero
R
R
F
d
/2r
r
r
1 r F dr
=
2r
4 a
rea(Dr )
se le puede interpretar como la rotaci
on promedio producida sobre el disco Dr , debida a la acci
on
del campo F .
Con base en lo anterior, estamos en condiciones de dar la siguiente
Definici
on 3.11 Sean, F : U R3 R3 continua en la regi
on U , x
0 U , P R3 un plano tal
que x
0 P, Dr P el disco de radio r > 0 con centro en x
0 , r la curva permetro (o borde) de
Dr y r una parametrizaci
on de r que la recorre (una vez) en el sentido contrario al movimiento
de las manecillas del reloj cuando se le ve desde n
, un vector (unitario) normal a P. Si
R
F dr
lim r
(3.26)
r0 a
rea(Dr )
existe, definimos la rotaci
on (con referencia al vector n
) producida por el campo F sobre el plano
P en el punto x
0 , que denotamos por Rotn F (
x0 ), como
R
F dr
1
lim r
Rotn F (
x0 ) =
4 r0 a
rea(Dr )
Lo siguiente que habra que hacer sera mostrar que el lmite de 3.26 siempre existe si F =
(P, Q, R) : U R3 R3 es una funcion de clase C 1 en su dominio, y encontrar su valor. Esta
tarea se dejar
a como un problema para el lector, y lo que aqu haremos ser
a mostrar que ese lmite
tambien existe si en lugar de tomar los discos Dr , tomamos rect
angulos Rr P centrados en x
0
(ver figura 3.44). Como en el caso de R2 , lo que se espera es que ambos lmites sean iguales y que
su valor se pueda expresar en terminos de F = (P, Q, R), x
0 y n
.
ZO
UU
UUUUUUU
UUUU
UUUU
n
J
UUUU
UU
j
C
P
r
x
0
*
UUUU
R
r
/ Y
UUUU
UUUU
U
U
U
UUUU
UUUU
J. P
aez
Si esta rotaci
on est
a representada (en la base can
onica) por la matriz
3
si i = j
1
X
ali alj =
para i, j = 1, 2, 3
l=1
0
si i 6= j
y
n
= L(
e3 )
(3.27)
= L(
e1 ) L(
e2 )
= (a21 a32 a31 a22 , a31 a12 a11 a32 , a11 a22 a12 a21 )
(3.28)
es un rect
angulo contenido en P y centrado en el punto x
0 . Al borde (o permetro) de Rr lo
denotamos por r y lo subdividimos en los cuatro segmentos r,1 , r,2 , r,3 , y r,4 a los cuales
parametrizamos por las funciones
r,1 (t) = L(r, t, 0) + x
0
(3.29)
r,1
(t) = DL(r, t, 0) (0, 1, 0)t = M (0, 1, 0)t = L(
e2 )
r,2
(t) = DL(t, r, 0) (1, 0, 0)t = M (1, 0, 0)t = L(
e1 )
r,3
(t) = DL(r, t, 0) (0, 1, 0)t = M (0, 1, 0)t = L(
e2 )
r,4
(t) = DL(t, r, 0) (1, 0, 0)t = M (1, 0, 0)t = L(
e1 )
164
= 2rf (L(, c, 0) + x
0 ) DL(, c, 0) (1, 0, 0)t
= 2rf (L(, c, 0) + x
0 ) M (1, 0, 0)t
= 2rf (L(, c, 0) + x
0 ) L(
e1 )
y
f (L(d, r, 0) + x
0 ) f (L(d, r, 0) + x
0 ) = g(r) g(r)
= 2rg ()
= 2rf (L(d, , 0) + x
0 ) DL(d, , 0) (0, 1, 0)t
= 2rf (L(d, , 0) + x
0 ) M (0, 1, 0)t
= 2rf (L(d, , 0) + x
0 ) L(
e2 )
r,1
Zr
r
Zr
r,3
r,2
Zr
r
Zr
r,4
165
J. P
aez
Zr
r
Zr
r
Zr
F (r,1 (t)) L(
e2 )dt
F (r,3 (t)) L(
e2 )dt +
Zr
r
Zr
F (r,2 (t)) L(
e1 )dt
F (r,4 (t)) L(
e1 )dt
Zr
Dado que las funciones que aparecen en estas integrales son continuas, por el Teorema del Valor
Promedio sabemos que existen r , r [r, r] tales que
Z
F dr = 2r ([F (r,1 (r )) F (r,3 (r ))] L(
e2 )) 2r ([F (r,2 (r )) F (r,4 (r ))] L(
e1 ))
r
r,3 (r ) = L(r, r , 0) + x
0
por el lema anterior (3.1) aplicado a cada una de las coordenadas del vector F (r,1 (r ))F (r,3 (r )),
sabemos que existen rP , rQ y rR [r, r] tales que
P (L(r, r , 0) + x
0 ) P (L(r, r , 0) + x
0 ) = 2rP (L(rP , r , 0) + x
0 ) L(
e1 )
Q(L(r, r , 0) + x
0 ) Q(L(r, r , 0) + x
0 ) = 2rQ(L(rQ , r , 0) + x
0 ) L(
e1 )
R(L(r, r , 0) + x
0 ) R(L(r, r , 0) + x
0 ) = 2rR(L(rR , r , 0) + x
0 ) L(
e1 )
r,4 (r ) = L(r , r, 0) + x
0
para cada una de las coordenadas del vector F (r,2 (r )) F (r,4 (r )) existen rP , rQ y rR [r, r]
tales que
P (L(r , r, 0) + x
0 ) P (L(r , r, 0) + x
0 ) = 2rP (L(r , rP , 0) + x
0 ) L(
e2 )
Q(L(r , r, 0) + x
0 ) Q(L(r , r, 0) + x
0 ) = 2rQ(L(r , rQ , 0) + x
0 ) L(
e2 )
R(L(r , r, 0) + x
0 ) R(L(r , r, 0) + x
0 ) = 2rR(L(r , rR , 0) + x
0 ) L(
e2 )
J. P
aez
166
y
2r ([F (r,2 (r )) F (r,4 (r ))] L(
e1 ))
= (P (
x0 ) L(
e2 ), Q(
x0 ) L(
e2 ), R(
x0 ) L(
e2 )) L(
e1 )
r0
a
rea(Rr )
P
P
P
(
x0 ) + a11 a22
(
x0 ) + a11 a32
(
x0 )+
= a11 a12
x
y
z
Q
Q
Q
a21 a12
(
x0 ) + a21 a22
(
x0 ) + a21 a32
(
x0 )+
x
y
z
R
R
R
(
x0 ) + a31 a22
(
x0 ) + a31 a32
(
x0 )
a31 a12
x
y
z
lim
y
z
z
x
x
y
r0 a
rea(Rr )
y
z
z
x
x
y
(3.30)
3. lim0 diam( ) = 0
4. el borde de (es decir, = ) es una curva cerrada simple, y
5. es una parametrizacion de que la recorre (una vez) en el sentido contrario al de las
manecillas del reloj cuando se le ve desde el lado en que apunta el vector n
entonces
lim
F d
a
rea( )
R
Q
P
R
Q
P
(
x0 )
(
x0 ),
(
x0 )
(
x0 ),
(
x0 )
(
x0 ) n
y
z
z
x
x
y
167
J. P
aez
x
0
/ Y
es decir
RotF (
x) =
Q
P
R
Q
P
R
(
x)
(
x),
(
x)
(
x),
(
x)
(
x)
y
z
z
x
x
y
168
Proposici
on 3.16 Si F = (P, Q, R) : U R3 R3 es una funci
on de clase C 1 en U , y x
0 U ,
entonces
1
(RotF (
x0 ) n
)
(3.31)
Rotn F (
x0 ) =
4
Dem. Se deja al lector (ver problema 32).
La identidad 3.31 nos permite dar una interpretacion muy interesante del rotacional de un
campo F de R3 en R3 . En terminos sencillos, lo que nos dice dicha identidad es que el vector
rotacional de un campo F en un punto x
0 , es decir RotF (
x0 ), nos indica cu
al es el plano sobre el
cual el campo F produce la m
axima rotaci
on puntual (promedio). Esto significa que, si tomamos
un plano que contenga al punto x
0 y sobre de este colocamos una peque
na circunferencia C con
centro en x
0 (de esas que no tienen volumen!), entonces la rotaci
on promedio producida por
el campo F sobre la circunferencia C alcanzar
a su m
aximo valor (y girar
a en el sentido contrario
al movimiento de las manecillas del reloj), justo cuando se tome el plano que es perpendicular al
vector RotF (
x0 ) (ver figura 3.46). Seguramente el lector recordara que esta es una propiedad muy
similar a la del vector gradiente de una funcion f en un punto x
0 (f (
x0 )) que nos indica cu
al es
la direcci
on, a partir de x
0 , en la que la funcion alcanza su m
axima raz
on de cambio.
ZO
RotF (
x )
0
UU
I
UUUUUUU
UUUU
UUUU
UUUU
UU
i
P
I
x
0
+
C
UUUU
/ Y
UUUU
UUUU
U
U
UUUU
UUUU
U
J. P
aez
Finalmente, a
un cuando la expresi
on para el vector RotF parece un poco elaborada, n
otese
que esta se puede recordar facilmente si notamos lo siguiente: su primera coordenada
R Q
y
z
se puede pensar como el rotacional del campo (de R2 en R2 ) (Q, R) considerando, a Q y R s
olo
como funciones de las variables y y z. Es decir, para obtener la primera coordenada de RotF basta
con eliminar la primara coordenada de F (en esta caso la funcion P ) y la primera variable (en
este caso x) y calcular Rot(Q, R) en terminos de las variables y y z. Para la segunda coordenada
de RotF siga un procedimiento similar: elimine la segunda coordenada de F (en esta caso Q), al
campo que le queda (P, R) considerelo s
olo como funcion de las variables x y z (elimine la segunda
variable) y despues calcule
R P
z
x
Siguiendo este procedimiento elimine la tercera funcion coordenada de F y la tercera variable, y
calcule
Q P
170
3.7
Si bien es cierto que el concepto de rotacional, y los teoremas asociados a este (como el Teorema de
Green) son muy importantes por si mismos, tambien es cierto que juegan un papel muy relevante
en el tema de los campos conservativos. En la secci
on 3.4 probamos la proposici
on 3.7 la cual se
2
2
3
3
podra reformular para campos de R en R o de R en R usando el concepto de rotacional, de la
siguiente forma:
Proposici
on 3.17 Sea F : U Rn Rn una funci
on de clase C 1 en U , con n = 2 o
n = 3. Si F
es un campo conservativo en U entonces Rot F (
x) = 0 (si n = 2) o RotF (
x) = (0, 0, 0) (si n = 3)
para toda x
U.
Como vimos en esa misma secci
on, el campo
F (x, y) = (P (x, y), Q(x, y))
x
y
,
=
x2 + y 2 x2 + y 2
(3.32)
definido en U = R2 \{(0, 0)}, es un campo que no es conservativo (ejemplo 3.6) y satisface que
P
Q
(x, y) =
(x, y)
y
x
para toda (x, y) R2 \{(0, 0)}, lo que significa que el Rot F (x, y) = 0 en ese mismo dominio y por
lo tanto este campo es un contraejemplo para el recproco de la proposici
on anterior.
2
2
De hecho, b
asicamente con este mismo ejemplo de R en R podemos construir uno que cumpla
con el mismo proposito de mostrar que este recproco tampoco es cierto para campos de R3 en R3 .
Considere
G(x, y, z) = (P (x, y, z), Q(x, y, z), R(x, y, z))
x
y
,
,0
=
x2 + y 2 x2 + y 2
(3.33)
el cual est
a definido para (x, y, z) U = R3 \{(0, 0, z) R3 | z R} = R3 \{eje Z}. Es facil ver
que RotG(
x) = (0, 0, 0) para toda (x, y, z) U y sin embargo tampoco es un campo conservativo
(si G fuera un campo conservativo F tambien lo sera!).
Como dijimos al final de la secci
on 3.4, el problema con la validez del recproco de cualquiera
de estas dos proposiciones (la 3.7 y la 3.17) tiene que ver con la geometra del dominio del campo
en cuesti
on y la clave de la soluci
on nos la da el Teorema de Green.
Consideremos F = (P, Q) : U R2 R2 de clase C 1 en su dominio y tal que Rot F (
x) = 0 para
toda (x, y) U . De acuerdo con el teorema 3.1 basta que la integral de F sobre cualquier curva
cerrada contenida en U sea cero, para que podamos concluir que F es un campo conservativo en
U . De hecho, por el problema 19 sera suficiente que esta afirmacion fuera cierta para cualquier
curva U cerrada y poligonal, con lados paralelos a los ejes, e incluso con el agregado de que
fuera simple (si una de estas curvas no es cerrada simple, se puede descomponer en una suma
finita de curvas de este tipo!).
Ahora, si la regi
on U fuera tal que cualquiera de estas curvas cerradas simples y poligonales
U se pudiera ver como el borde (o la frontera) de un conjunto Jordan-medible contenido en
U , por el Teorema de Green concluiramos que
Z
Z
Q P
F d =
x
y
171
J. P
aez
Rot F
=0
para todas estas curvas y, por el problema 19, F sera un campo conservativo!
Esta argumentaci
on es tan convincente, que cuando menos para campos de R2 en R2 , podemos
formular un resultado como el siguiente:
Proposici
on 3.18 Sea F = (P, Q) : U R2 R2 de clase C 1 en su dominio y tal que Rot F (
x) =
0 para toda (x, y) U . Si U es tal que para cualquier curva cerrada simple y poligonal U existe
una regi
on Jordan-medible contenida en U tal que = = F r() entonces F es un campo
conservativo en U .
Dem. Se deja al lector
Dado que el campo definido en 3.32 ya sabemos que no es conservativo en su dominio U =
R2 \{(0, 0)}, debe de haber una parte de las hip
otesis de la proposici
on anterior que no se cumple
en este ejemplo, y justo la parte que no se cumple es la que se refiere al dominio U . En efecto, si se
toma la curva cerrada simple y poligonal contenida en U , formada por el cuadrado con vertices en
los puntos (1, 1), (1, 1), (1, 1) y (1, 1), observe que no existe ning
un conjunto Jordan-medible
2
(y por lo tanto acotado) contenido en U = R \{(0, 0)} tal que = = F r()! (ver figura
3.47).
YO
1
/X
1
Figura 3.47: Si hacemos U = R2 \{(0, 0)} y la curva cerrada simple contenida en U que est
a
formada por el cuadrado con vertices en los puntos (1, 1), (1, 1), (1, 1) y (1, 1), observe
que no existe ning
un conjunto Jordan-medible (y por lo tanto acotado) contenido en U tal
que = = F r()!
Desafortunadamente, la condici
on que le impusimos al dominio U R2 en la proposici
on
anterior no se puede generalizar a otras dimensiones (adem
as de que tampoco contamos en otras
dimensiones con un resultado equivalente al Teorema de Green (por ahora!)). Sin embargo,
existe otra manera de formular esta propiedad.
Observe que la regi
on U = R2 \{(0, 0)} tiene un hoyo en el (0, 0) y este hoyo es el que impide
que esta regi
on U satisfaga la condici
on de la proposici
on anterior. Una manera de decir que una
J. P
aez
172
regi
on U R2 no tiene hoyos, es justo usando curvas cerradas simples contenidas en U de la
siguiente manera: si una regi
on U no tiene hoyos entonces cualquier curva cerrada simple U
se puede contraer a un punto de U sin salirnos de U (ver figura 3.48) (lo que por cierto no
sucede en el caso de la regi
on U = R2 \{(0, 0)} ya que cualquier curva cerrada simple que rodee
al origen no se puede contraer a un punto sin pasar por el origen (que no est
a en U )).
U
. .. .
.... . . .
.. . . ..
..
... . .... .. ... . . ........ . . ... . ...
... . . . . . . .
. .
. .
... .... .... . ...... .. . . .... ... .... ...
.
.. .. ...
.. .. . ..
.. .... . . . . .......... .... ... . . .
.
. . ... . .
..
. . . . ... . . . . ........
. . . . . .......
Figura 3.48: Una region U R2 no tiene hoyos si cualquier curva cerrada simple U se
puede contraer a un punto de U sin salirnos de U
Lo mejor de este metodo para determinar si una regi
on tiene hoyos, es que se puede aplicar a
regiones contenidas en cualquier Rn . De hecho, observe que el dominio del campo G (de R3 en R3 )
definido en 3.33 es U = R3 \{eje Z} y esta regi
on s tiene un hoyo, puesto que cualquier curva
cerrada simple que rodee al eje Z no se puede contraer a un punto sin pasar por dicho eje (ver
figura 3.49). A
un cuando se satisface que RotG(
x) = (0, 0, 0) para toda (x, y, z) U , todo parece
indicar que este hoyo de U es la raz
on principal por la que G no es un campo conservativo en U .
ZO
/ Y
Figura 3.49: La region U = R3 \{eje Z} s tiene un hoyo puesto que cualquier curva cerrada
simple que rodee al eje Z no se puede contraer a un punto sin pasar por dicho eje
Formalizar de manera rigurosa lo que significa que una curva cerrada simple Rn se pueda
contraer a un punto, es algo que escapa a los objetivos de este texto. Simplemente mencionaremos
que a las regiones U Rn que tengan la propiedad de que cualquier curva cerrada simple U
se puede contraer a un punto de U , sin salirse de U (que geometricamente significa que U no
173
J. P
aez
tiene hoyos7 ), se les conoce con el nombre de regiones simplemente conexas y que el teorema
m
as general que se puede probar con relaci
on a los campos conservativos y estas regiones, dice lo
siguiente:
Teorema 3.4 Sea F = (F1 , . . . , Fn ) : U Rn Rn una funci
on de clase C 1 en U , con U una
regi
on simplemente conexa. Si
Fj
Fi
(
x) =
(
x)
xj
xi
para toda x
U y para toda i, j {1, . . . , n} (i 6= j) entonces F es un campo conservativo en U .
Aun y cuando no contamos con todo lo necesario para probar este teorema, no hay por que
desanimarse. Afortunadamente existe una clase (muy grande) de regiones en Rn , cuya definicion
es muy sencilla y para las cuales se puede probar un teorema completamente an
alogo al anterior.
(( U
(((
((
x
(((
((
((
(Y
f
f
f
f
f
YYYYYY
ffff
f
f
f
YYYYYY
f
fVVVVV
Y
VVVVV
x
dddYd
0
VVVV#
ddddddd
d
d
d
d
d
d
##
d
##
##
##
##
##
##
##
174
Un ejemplo de regi
on estrellada (aunque no lo parezca!), es el siguiente.
Ejemplo 3.14 Sea U = R2 \{(x, 0) R2 | x 0}. Pruebe que U es una regi
on estrellada.
Soluci
on. Hacemos x
0 = (1, 0) U y sea x
= (x, y) U arbitrario. Entonces
[
x0 , x] = {
x0 + t(
xx
0 ) | t [0, 1]}
= {(1 + t(x 1), ty) | t [0, 1]}
x
Z
ZZZZZZZ
ZZZZZZZ
x
ZZZZZZZ
ZZZZ 0
|
/X
Z1
0
F ((t)) (t)dt
175
J. P
aez
F (
x0 + t(
xx
0 )) (
xx
0 )dt
(
x) = Fi (
x)
xi
para cada i = 1, . . . , n.
Por el teorema 2.2 del captulo dos (en su versi
on m
as general) y la regla de la cadena, se tiene
que
1
Z
Z1
(0)
(0)
(
x) =
F1 (
x0 (1 t) + t
x) x1 x1 dt + + Fi (
dt+
x0 (1 t) + t
x) xi xi
xi
xi
0
0
Z1
+ Fn (
dt
x0 (1 t) + t
x) xn x(0)
n
0
Z1
0
i
h (0)
(0)
(0)
x
x
dt
(1
t)
+
tx
F1 x1 (1 t) + tx1 , . . . , xi (1 t) + txi , . . . , x(0)
1
n
n
1
xi
+ +
Z1
0
i
h (0)
(0)
(0)
dt
x
x
(1
t)
+
tx
Fi x1 (1 t) + tx1 , . . . , xi (1 t) + txi , . . . , x(0)
i
n
n
i
xi
+ +
Z1
i
h (0)
(0)
dt
xn x(0)
Fn x1 (1 t) + tx1 , . . . , xi (1 t) + txi , . . . , x(0)
n
n (1 t) + txn
xi
Z1
0
F1
(0)
t
((t)) x1 x1 dt + +
xi
+ +
Z1
0
Z1
0
Fi
(0)
+ Fi ((t)) dt
((t)) xi xi
t
xi
Fn
dt
((t)) xn x(0)
n
xi
y como
Fj
Fi
(
x) =
(
x)
xi
xj
para toda x
U y toda j {1, . . . , n}, j 6= i, se tiene que
(
x) =
xi
Z1
0
Fi
(0)
((t)) x1 x1 dt + +
t
x1
+ +
J. P
aez
Z1
0
Z1
Fi
dt
((t)) xn x(0)
n
xn
176
Fi
(0)
dt +
((t)) xi xi
t
xi
Z1
0
Fi ((t))dt
Z1
Z1
1
= t (Fi ) (t)
0
Z1
0
Z1
Z1
Fi ((t))dt
Fi ((t))dt
(Fi ) (t)dt +
Z1
Fi ((t))dt
= Fi ((1))
= Fi (
x)
Concluimos este captulo con un ejemplo de como aplicar el teorema anterior, y lo haremos con
un campo que hemos usado con mucha frecuencia en las u
ltimas secciones.
Ejemplo 3.15 Muestre que el campo
F (x, y) = (P (x, y), Q(x, y)) =
x
y
, 2
2
2
x + y x + y2
arctan(y/x)
si x > 0
/2
si x = 0, y > 0
(x, y) =
/2
si x = 0, y < 0
arctan(y/x) +
si x < 0, y > 0
arctan(y/x)
si x < 0, y < 0
cumple con la propiedad que se desea, cuya verificaci
on se deja como un problema para el lector.
177
J. P
aez
3.8
3.8. Problemas
Problemas
1. Sea : [a, b] R Rn una funcion suave por pedazos. Pruebe que es continua en [a, b].
2. (Teorema Fundamental del C
alculo para funciones suaves por pedazos) Sea f : [a, b] R R
una funci
on suave por pedazos. Pruebe que
Zb
a
3. Pruebe que, si y son suaves por pedazos, entonces + es suave por pedazos.
4. Considere las funciones 1 (t) = (t, 0), 2 (t) = (1, t), 3 (t) = (1 t, 1) y 4 (t) = (0, 1 t), con
t [0, 1] para todas ellas. Pruebe que
= 1 + 2 + 3 + 4
donde es la funci
on suave por pedazos definida en el ejemplo 3.1. (Observe que, siendo
estrictos, habra que escribir que = ((1 + 2 ) + 3 ) + 4 , pero lo dejaremos as para no
complicar la notaci
on).
5. Sea : [a, b] R Rn una funcion suave por pedazos y : [c, d] R [a, b] R suprayectiva en [a, b], y de clase C 1 en [c, d].
(a) Muestre con un ejemplo que la funcion : [c, d] R Rn no siempre resulta ser
suave por pedazos.
(b) Sea P = {a = t0 < t1 < < tk = b} una partici
on del intervalo [a, b] tal que tiene
1
derivada continua (de clase C ) en cada subintervalo [ti1 , ti ] (para i = 1, . . . , k). Pruebe
que, si el conjunto {x [c, d] | (x) P} es finito entonces es suave por pedazos.
(c) Pruebe las afirmaciones que aparecen en la definicion 3.3.
6. Pruebe la proposici
on 3.1.
7. En cada uno de los siguientes problemas calcule
f kdk,
donde:
(a) es el tri
angulo de vertices (1, 0, 0), (0, 1, 0) y (0, 0, 1); es una parametrizacion que la
recorre en este orden y f (x, y, z) = x + y + z.
(b) es el segmento de la par
abola y =
2
x2
4
(d) es la intersecci
on del cilindro x2 +y 2 = 1 y el plano y +z = 1; es una parametrizacion
que la recorre en el sentido contrario al de las manecillas del reloj cuando la vemos desde
el origen, y f (x, y, z) = xz + yz + xy.
8. Calcule el
area de la superficie del cilindro x2 + y 2 = 1 que est
a entre los planos z = 0 y
z = x + y + 2.
J. P
aez
178
3.8. Problemas
9. Deduzca cu
ales son las coordenadas del centro de masa de un alambre que tiene la forma de
una curva R2 (suave por pedazos) y que tiene una funcion de densidad (x, y).
10. Un alambre tiene la forma de la circunferencia x2 + y 2 = a2 y una densidad seg
un la funci
on
(x, y) = |x| + a . Calcule:
i) la masa del alambre
calculan el
area de la regi
on acotada por .
13. Sea : [a, b] R Rn una parametrizacion de una curva U y supongase que F : U
Rn Rn es un campo vectorial tal que, en cada punto (t) , F ((t)) est
a en la misma
direcci
on que el vector (t). Pruebe que
Z
Z
F d = kF kkdk
Z
F d M l()
donde M = max{kF (
x)k | x
} y l() es la longitud de arco de .
15. Una partcula se mueve a lo largo de la curva parametrizada por (t) = (sen(t), cos(t), t),
(t 0). Durante todo su recorrido act
ua sobre ella un campo de fuerzas dado por F (x, y, z) =
(y 1, z, x). Si la partcula abandona la curva por su tangente en el instante t = /2, calcule el
trabajo realizado por el campo F sobre la trayectoria seguida por la partcula en los intervalos
de tiempo [0, /2] y [/2, ].
R
16. En cada uno de los siguientes incisos calcule F d, donde:
(a) F (x, y, z) = (y, x, z) y es la intersecci
on del cilindro x2 + y 2 = 1 y el plano y + z = 1.
La parametrizacion debe ser tal, que vista desde el origen, recorre a en el sentido
contrario al de las manecillas del reloj.
J. P
aez
3.8. Problemas
(a) pruebe que el campo F : (a, b) (a, b) R2 R2 definido como F (x, y) = (f (x), g(y))
es conservativo en su dominio. Calcule una funcion gradiente para F .
(b) si 0 a, pruebe que el campo F = (F1 , . . . , Fn ) : U = {
x Rn | a <
xk2 <
k
b} Rn , donde cada funci
on coordenada Fi est
a definida como Fi (
x) = xi f k
xk2 , es
conservativo en su dominio. Si h es una primitiva de f , calcule una funcion gradiente
para F en terminos de h.
18. Pruebe que, si U Rn es un abierto conexo (una regi
on), entonces cualquier par de puntos
en U se puede unir por una curva poligonal formada por segmentos paralelos a alguno de los
ejes coordenados.
19. Pruebe que el teorema 3.1 sigue siendo cierto si se supone que todas las curvas que ah se
mencionan, son curvas poligonales y de lados paralelos a los ejes.
20. Sean, : U Rn R de clase C 1 en la regi
on U , y F = : U Rn Rn . Pruebe que,
si x
0 , x
1 U pertenecen al mismo conjunto de nivel de entonces
Z
F d = 0
d, donde:
180
3.8. Problemas
x
y+1
,
x2 + (y + 1)2 x2 + (y + 1)2
(y 1)
y
x
x+1
+
, 2
+
2
2
2
2
2
x + (y 1)
(x + 1) + y x + (y 1)
(x + 1)2 + y 2
x
y
,
x2 + y 2 x2 + y 2
R
Calcule F (d) , donde es una curva cerrada simple contenida en R2 \{(0, 0)} y recorrida
en sentido positivo (hay dos casos).
27. Sean F = (P, Q) : U R2 R2 y f : U R2 R de clase C 1 en la regi
on U . Pruebe que
Rot(f F ) = f Rot F + f F
28. Sea F = (Fr , F ) un campo vectorial definido en U R2 \{(0, 0)}, dado en terminos de
coordenadas polares. Calcule el Rot F (
x) a partir de su expresi
on en coordenadas cartesianas.
29. Sea F = (Fr , F ) un campo vectorial definido en U R2 \{(0, 0)}, dado en terminos de
coordenadas polares. Si es una curva contenida en U y = (1 , 2 ) : [a, b] R R2 es una
parametrizaci
on de dada en coordenadas polares, encuentre una expresi
on para calcular
R
F
d.
R
30. Reformule (y pruebe) el Teorema de Green en terminos de la div F y la integral F (d) .
31. Sea F = (Fr , F ) un campo vectorial definido en U R2 \{(0, 0)}, dado en terminos de
coordenadas polares. Encuentre una expresi
on para div F (
x).
J. P
aez
3.8. Problemas
J. P
aez
182