Sunteți pe pagina 1din 5

Teoremas Integrales del Análisis Vectorial

por Hugo Alvarez


U.N.S.L.

6 Teoremas Integrales del Análisis Vectorial


6.1 Campos Vectoriales y Formas Diferenciales
Hemos de…nido un campo vectorial como una aplicación F : U Rn ! Rn . En
realidad hay una sutileza interpretativa: El dominio de F es una región U de puntos
de Rn pero el codominio es el conjunto de los vectores de Rn . Para cada punto
x 2 U; F (x) P es un vector de Rn : Por eso la preferencia de escribir x = (x1 ; :::; xn )
pero F (x) = i fi (x) ei . Un ejemplo bien típico de campo lo constituye el gradiente.
Si f es una función P real diferenciable en un abierto U Rn , rf es un campo vectorial
@f
en U . rf (x) = i @xi (x) ei :
Otro espacio vectorial de dimensión n, distinto de Rn , es el espacio de todas las
transformaciones lineales ` : Rn ! R, llamado espacio dual de Rn y denotado (Rn ) .
Es costumbre llamar funcionales a estas transformaciones. Que (Rn ) tiene dimensión
n se evidencia en el hecho de que cada funcional ` está deteminado por la n upla
(a1 ; :::; an ) de los valores que toma sobre la base canónica: ai = ` (ei ). En efecto, por la
linealidad será !
X X X
` (x) = ` xi ei = xi ` (ei ) = ai x i : (1)
i i i

En realidad, esto queda más claro si se considera las n proyecciones i : x ! xi , las


cuales constituyen una base de (Rn ) . De acuerdo con (1),
X X X
` (x) = xi ` (ei ) = ai x i = ai i (x) ; (2)
i i i
P
de modo que ` = ai i . Por supuesto, las coordenadas (a1 ; :::; an ) de ` en la base
de las proyecciones de (Rn ) , constituyen un vector a de Rn . Y ese vector produce,
vía producto escalar, la misma acción que ` : a x = ` (x) :
Un ejemplo de funcional extraído de nuestro curso es el diferencial en un punto de
una función real f . En este caso,
X @f
df (x) (h) = (x) hi : (3)
i
@xi
Cálculo II 2012 Teoremas Integrales

En cada punto, las derivadas parciales son los coe…cientes del diferencial escrito en la
base de las proyecciones:
X @f X @f
df (x) (h) = (x) hi = (x) i (h) ) (4a)
i
@x i i
@x i
X @f
df (x) = (x) i (4b)
i
@x i

Léase con cuidado que en (4b) x está …jo y lo que dice la fórmula es que el elemento
df (x) de (Rn ) se escribe en la base de las proyecciones (base canónica dual) con los
@f
coe…cientes o coordenadas @x i
(x) :
A partir de la analogía (isomor…smo) entre Rn y (Rn ) , así como hay campos
vectoriales que en cada punto asumen como valor un vector de Rn , hay aplicaciones que
a cada punto le adjudican un funcional de (Rn ) : Concretamente, una forma diferencial
! sobre un abierto U Rn es una aplicación ! : U ! (Rn ) . El ejemplo salta a
la vista. Si f : U ! R es diferenciable en todos los puntos de U , df es una forma
diferencial sobre U de…nida por (4b). El diferencial de una función es bien conocido
desde el capítulo 1. Si la función es ella misma un funcional, sabemos que su diferencial
es constante (no depende de x) y coincide con ella. Esto es, d` (x) = ` para todo x 2U:
En partiular, i = d i : Esta observación y una antigua costumbre originan lo que será
la notación habitual para formas diferenciales. Así como a la función "x 7! x2 " se la
llama simplemente " x2 ", al funcional "x 7 ! xi " se lo llama simplemente "xi " (en
vez de i ). De allí que la base canónica dual, formada por los funcionales i = d i , es
denotada tradicionalmente con los nombres dxi . De esta manera, toda forma diferencial
sobre el abierto U estará determinada por n funciones Pi : U ! R y se escribirá
! = P1 dx1 + + Pn dxn : En particular, por (4b),
X @f
df (x) = (x) dxi
i
@xi
P
o, simplemente, df = (@f =@xi ) dxi : Es un buen ejercicio para el lector identi…car
la naturaleza de los objetos: La última es una igualdad entre formas diferenciales. La
anterior es una igualdad entre funcionales (ocurre dentro de (Rn ) ).
Hay una correspondencia entre campos y formas. Cada n upla de funciones Pi :
U ! R, determina un campo y una forma:
X X
F= Pi e i y != Pi dxi : (5)
Ambos objetos tienen un parentesco que va más allá del parecido formal. Si F es un
gradiente, ! es el diferencial de la misma función. Un campo gradiente, F = rf , se
dice conservativo. Cuando existe f tal que ! = df , diremos que ! es exacta. Es claro
que una forma diferencial y un campo con los mismos coe…cientes, como en (5), son una
exacta si y sólo si el otro es conservativo. Más allá de sutilezas el campo y la forma son
dos maneras de representar el mismo objeto. Ya veremos que cada una de ellas resulta
más cómoda en alguna circunstancia.
La integral de línea que fue de…nida para un campo de vectores se adopta de la manera
obvia para integrar formas diferenciales, resultando una operación muy natural. Para F
y ! de…nidos por (5), Z Z
! := Fd

2
Cálculo II 2012 Teoremas Integrales

De este modo, Z X Z bX
Pi dxi = Pi ( (t)) x0i (t) dt:
a

Repito: Para (t) = (x1 (t) ; :::; xn (t)) ; a t b;


Z Z b
P1 dx1 + + Pn dxn = [P1 ( (t)) x01 (t) + + Pn ( (t)) x0n (t)] dt:
a

La independencia de la integral por reparametrización permanece. También la regla


de Barrow. Si ! es una forma diferencial exacta, digamos ! = df con f de clase C 1 ,
y : [a; b] ! Rn , entonces
Z
! = f ( (b)) f ( (a)) :

A semejanza con lo que ocurre para campos, se deduce del teorema de Schwarz que
si ! es de clase C 1 y exacta entonces
@Pi @Pj
= para todo 1 i; j n: (6)
@xj @xi

Una forma diferencial que veri…ca la propiedad (6) se dice cerrada. En el lenguaje de for-
mas, entonces, Una forma exacta de clase C 1 es necesariamente cerrada. Otra propiedad
de las formas exactas es que su integral sobre un arco de curva no depende del camino
sino sólo de los extremos de dicho arco (propiedad de independencia del camino). Equiv-
alentemente, la integral de una forma exacta sobre una curva cerrada es nula.

6.2 Teoremas Planos


Al de…nir el rotor, conjeturamos que para un campo vectorial F = P i + Qj en R2 ; el
operador escalar
@Q @P
rot F =
@x @y
mide la rotación del campo en un punto. Uno puede imaginar que si suma la rotación
en todos los puntos de un dominio D circundado por una curva C; el resultado será la
circulación del campo a lo largo de la curva. Esto es afortunadamente así y este hecho se
conoce como teoema de Stokes en el plano. La frontera de una región está positivamente
orientada respecto de ella si al recorrer la curva la región queda a la izquierda. La unión
de una región con su frontera se denomina clausura de la región: D = D [ @D

Teorema 1. Sea D una región simple (a la vez x-simple y y-simple)


cuya frontera @D es una curva simple de clase C 1 orientada positivamente
respecto de D. Entonces, si F = P i + Qj es un campo de clase C 1 en D,
Z Z
rot F dA = F ds
D @D

El mismo teorema escrito en término de formas en vez de campos, se llama teorema


de Green.

3
Cálculo II 2012 Teoremas Integrales

Teorema 2. D en las condiciones del teorema anterior. ! = P dx + Qdy


una forma de clase C 1 en D. Entonces
Z Z
@Q @P
d (x; y) = P dx + Qdy: (7)
D @x @y @D

Demostración.

Por ser y-simple, la región D se puede encerrar entre los grá…cos de dos
funciones y = '1 (x) y y = '2 (x), a x b. De acuerdo con esta
representación,
Z Z b (Z '2 (x) )
@P @P
d (x; y) = (x; y) dy dx:
D @y a '1 (x) @y

Para cada x …jo, la regla de Barrow permite calcular la integral interior


obteniéndose
Z Z b
@P
d (x; y) = [P (x; '1 (x)) P (x; '2 (x))] dx:
D @y a

Por su parte, la integral del segundo miembro en (7), se calcula parame-


trizando @D como la unión de dos curvas más dos segmentos. Las curvas son
(x; '1 (x)) ; a x b y (x; '2 (x)) ; a x b recorrida en sentido contrario.
Los segmentos son (b; y) ; '1 (b) y '2 (b) y (a; y) ; '1 (a) y '2 (a)
recorrido en sentido inverso. Las integrales sobre los segmentos se anulan
porque, siendo x = cte: resulta dx = 0. Por lo tanto,
Z Z b Z b
P dx = P (x; '1 (x)) dx P (x; '2 (x)) dx
@D a a

lo que completa la igualdad


Z Z
@P
d (x; y) = P dx:
D @y @D

Un procedimiento similar usando la y-elementalidad de D, permite deducir


que Z Z
@Q
d (x; y) = Qdy:
D @y @D

4
Cálculo II 2012 Teoremas Integrales

Así como la manera de de…nir el rotor permitía sospechar el teorema de Stokes,


la manera de de…nir la divergencia permite sospechar el teorema de Gauss: La suma
(integral) de la divergencia de un campo vectorial en una región debe ser igual al ‡ujo
del campo a través de su frontera. El teorema de Stokes en el plano permite deducir el
de la divergencia. Necesitamos primero de…nir el vector normal exterior N a una curva
C = @D orientada positivamente y parametrizada por : I ! R2 :

Si el sentido de recorrido de la curva deja la región a su izquierda, la normal exterior


deberá quedar a la derecha de la tangente. Esto signi…ca que el par (N; T) esté ordenado
como el par (i; j). N debe ser un versor ortogonal a 0 tal que el determinante de la
matriz [N T] sea positivo. Dos vectores evidentemente ortogonales a 0 son ( y 0 ; x0 )
y (y 0 ; x0 ) :
y 0 x0 y 0 x0
< 0; > 0:
x0 y 0 x0 y 0
Entonces de…nimos la normal exterior unitaria
y 0 i x0 j
N= q :
(x0 )2 + (y 0 )2
El ‡ujo del campo F a través de @D y hacia el exterior de D será
Z
F N ds
@D

Ahora, el teorema de la divergencia en el plano dirá que


Teorema 3. En las condiciones del teorema 1,
Z Z
F N ds = div F dA:
@D D

Demostración.
Z Z b q
P (x (t) ; y (t)) y 0 (t) Q (x (t) ; y (t)) x0 (t)
F N ds = q (x0 )2 + (y 0 )2 dt =
@D a (x0 )2 + (y 0 )2
Z
P dy Qdx
@D

Pero por el teorema de Green aplicado a Qi+P j, la última integral es igual


a Z Z
@P @Q
+ dA = div F dA:
D @x @y D

S-ar putea să vă placă și