Documente Academic
Documente Profesional
Documente Cultură
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
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.
3
Cálculo II 2012 Teoremas Integrales
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
4
Cálculo II 2012 Teoremas Integrales
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