El lema de Poincaré

Una forma exacta ϕ=dφ es siempre cerrada dado que d2=0. El lema de Poincaré provee la situación en que el converso también es cierto diciendo que una p-forma cerrada ϕ en una región abierta U simplemente-conexa de una variedad M será también exacta. Esto es, siempre que ϕΩp(U) con UM simplemente-conexo y dϕ=0, existe una (p-1)-forma φ tal que ϕ=dφ.

Vale, intentaré elaborar un poco sobre la prueba de este resultado que he seguido en este documento para 1-formas y en el libro de Nakahara para p-formas. Al final traduciré algunas cosas a R3.

1-formas
Acá trataré con una 1-forma cerrada ϕ y superficies o 1-variedades M. Lo primero que uno piensa es en usar las palabras mágicas simplemente-conexo, pues es lo que hace válido el lema. Intuitivamente, simplemente-conexo significa que está hecho de una sola pieza (conexo) y no tiene hoyos; para formalizar, podemos definir la llamada homotopía de una curva cerrada simple (o que no se intersecta a sí misma; en adelante las llamaré circuitos) \mcC:[a,b]M tal que \mcC(a)=\mcC(b)p (en general con \mcC(a)\mcC(b)) a un punto de la curva, también llamada nulhomotopía, como el mapeo
h:[a,b]×[0,1]M
tal que para u[a,b], v[0,1],
h(u,0)=\mcC(u)h(u,1)=h(a,v)=h(b,v)=p
que estrictamente es un 2-segmento (o 2-celda) de M pero que puede pensarse como una colección de circuitos \mcCv(u)=h(u,v) para cada v, o mejor aún como una función continua que deforma \mcC en el punto p a través del parámetro v. Si tal mapeo existe, se dice que \mcC es nulhomotópica u homotópica a una constante.

Ilustración en Wikipedia. Un ejemplo visualmente sencillo: S2 es simplemente conexo (en dos dimensiones) porque es conexo y cualquier circuito es nulhomotópico.
Así pues, M es simplemente-conexo si es conexo y cualquier circuito en M es nulhomotópico. Nos interesaría entonces emplear el hecho de que la 1-forma cerrada ϕ está en una región U simplemente-conexa de M. Considerando entonces un circuito \mcC:[a,b]U y su nulhomotopía h, lo más inmediato es usar el teorema de Stokes (segunda igualdad),
0=hdϕ=\phϕ
Aquí el calcular la frontera \ph me resultó un tanto confuso; de cualquier modo lo entendí considerando el caso de un círculo en R2 con la nulhomotopía siendo un disco. Puedes verlo usando el siguiente botón o continuar si no lo consideras necesario.



Sean entonces α(u)=h(u,0), β(v)=h(b,v), γ(u)=h(u,1), δ(v)=h(a,v) los bordes de h, de modo que
\ph=α+βγδ
y en particular nota que en una nulhomotopía, β(v)=γ(u)=δ(v)=0, de modo que se tiene por (4) que
\phϕ=0=αϕ+βϕγϕδϕ=10ϕ(β(v))dvba=0=αϕ=\mcCϕ



es decir, obtenemos que la integral de una 1-forma cerrada ϕ a través de un circuito \mcC en una región simplemente-conexa es cero,
\mcCϕ=0
que no es más que decir que si tomamos dos puntos p y q y dos curvas que los unan, δ y η, de modo que \mcC=δη,
δϕ=ηϕ
i.e. la integral será independiente de los caminos δ y η. Usualmente también ésta se toma como una definición equivalente de una forma exacta, e.g. en cursos de termodinámica, donde se toma prácticamente como definición. Sabemos entonces que la integral sólo dependerá de p y q; supongamos que fijamos q y dejamos que p sea cualquier punto en U, entonces podemos proponer una función φC(U) tal que
φ(p)=ηϕ
Más generalmente, consideremos η:[a,b]U y algún t[a,b] de modo que tengamos en mente el segmento ηt:[a,t]U y cualquier punto dinámico η(t),
φ(η(t))=ηtϕ=taϕ(η(u))du
Considerando η(t) en coordenadas locales de modo que dφ=\piφdxi, sea entonces f:UR una función cualquiera de modo que df(η(t))dt=dxidt\pf\pxi, entonces η(t)=dxi(η(t))dt\pi en coordenadas locales, lo que nos permite calcular que
dφ(η(t))=\pφ\pxidxidt=dφ(η(t))dt
lo que entonces lleva por (10) a que
dφ(η(t))=ϕ(η(t))
y η(t) es un vector definido en cada punto de η que a su vez es arbitraria siempre que su imagen y su último punto estén en la región simplemente conexa UM, de modo entonces que en general
dφ=ϕ
lo que prueba el lema para 1-formas.
Henri Poincaré dibujado por David Levine.
Fuente: www.nybooks.com/galleries/david-levine-illustrator

El lema de Poincaré naturalmente es válido para p-formas con p1. El famoso libro de Nakahara, disponible en línea aquí, tiene una demostración sencilla que a lo más requiere la generalización de una nulhomotopía a un punto pU como H:U×[0,1]U con H(u,0)=u y H(u,1)=p para uU y la definición del pullback de una forma diferencial por una función. Seguramente también es posible generalizar los mismos pasos para p-formas que los que mostré para 1-formas, aunque probablemente sea más laborioso que la demostración de Nakahara; en general debe haber muchas formas y otras muy sencillas de probar el lema.

A fin de cuentas, de cualquier modo, el lema es prácticamente siempre, o lo que es lo mismo, es válido siempre localmente.

Traducción al cálculo vectorial en R3
Del lema de Poincaré surgen todas las propiedades lindas que se usan en termodinámica con derivadas parciales para las variables de estado; como sea, la situación es realmente más elaborada que esto, aunque a los físicos les sea poco útil esta formalidad.

En general todo espacio vectorial V tiene un espacio dual V en el sentido de que existen mapeos de V en R. En el caso de variedades, al menos siempre localmente, se puede proveer un isomorfismo (o difeomorfismo) entre ambos a través de la métrica. El caso de R3 es bastante lindo como motivación para aprender el lenguaje de las formas diferenciales, que si bien no cambian el contenido, hacen las cosas mucho más sencillas y elegantes. Un ejemplo es el electromagnetismo, que usualmente se formula usando cálculo vectorial, e.g. puedes consultar: Maxwell's equations in terms of differential forms (que en general también sirve para introducirse como físico a las formas diferenciales), y en general muchos temas en física matemática como las teorías de norma (GFT's) están formuladas en estos términos. Adelante sólo asumo primero tres dimensiones y luego paso a R3 (asumiendo coordenadas cartesianas).

La playera que se ha visto utilizan l@s jóvenes cool de hoyF=12Fμνdxμdxν
0-formas
Primero, en el caso de 0-formas o funciones φΩ0, evidentemente el isomorfismo Ω0Ω0=C es una identidad φφ.

1-formas
Para 1-formas ϕΩ1, se tiene localmente ϕ=ϕidxi y a través de una métrica, g se obtiene
g1(ϕ,σ)=gijϕiσj=giβϕiσαδαβ=giβϕi\pβ(σαdxα)=ϕi\pi(σ)
esto es, g1(ϕ,)=gijϕi\pj, en general, ϕg1(ϕ,). Ahora bien, considerando que d:ΩpΩp+1, tenemos que dφgij(\piφ)\pj que en el caso del contradominio C(R3,R3), con gij=δij=δij, se reduce a dφφ. Así, el lema de Poincaré en el cálculo vectorial Euclídeo se traduce en que campos conservativos son campos gradiente,
ϕ=dφϕ=φ
donde ϕ=g1(ϕ,). La correspondencia mediante la métrica g se llama el isomorfismo musical, que tiene tanto el isomorfismo :Ω1V como su inversa :VΩ1 (hasta donde sé, el nombre es simplemente por los símbolos de sostenido y bemol ) y puede señalarse de manera más sencilla, e.g. en este caso el isomorfismo en términos de es
ϕϕ=gijϕi\pj


2-formas
Para 2-formas ωΩ2, localmente, ω=ωijdxidxj=ωij2(dxidxjdxjdxi). Ahora bien, aunque el isomorfismo musical puede extenderse en general para mandar pT(M) en pT(M) (que no es exactamente el espacio de p-formas) y viceversa, lo que nos interesa es mandar 2-formas en campos vectoriales o funciones. Si consideramos dos 1-formas α y β, localmente podemos formar la 2-forma
αβ=αiβjdxidxj=(α1β2α2β1)dx1dx2+(α2β3α3β2)dx2dx3+(α3β1α1β3)dx3dx1
donde los coeficientes tienen exactamente la misma cara que los de un producto cruz de vectores 3-dimensional. El operador necesario en este caso es el dual (o estrella) de Hodge :ΩpΩ(np), definido por
(dxi1dxip)|g|(np)!ϵi1ipj1jnpdxj1dxjnp
que entonces aquí mandará 2-formas en 1-formas a través de (asumo |g|=1 en adelante)
(dxidxj)=ϵijkdxk
de modo que en tres dimensiones (αβ)=α×β y entonces el isomorfismo Ω2(R3)C(R3,R3) es (empleo {ei} como la base de vectores)
ω(ω)=ϵijkωijek
Si además ω es cerrada, también por lema de Poincaré ω=dϕ y así
(dϕ)=ϵijk\piϕjek=×ϕ
de modo que la versión equivalente del lema es ω=×ϕ, i.e. la versión para campos rotacionales. Si nuevamente ϕ es cerrada y por el lema también exacta, se tiene la equivalencia de que los campos conservativos son también irrotacionales,
ω=dϕ=d2φ=0ω=×ϕ=×φ=0


3-formas
Finalmente la estrella de Hodge manda 3-formas ψΩ3, localmente ψ=ψijkdxidxjdxk en 0-formas, entonces
ψψ=ϵijkψijk
es un isomorfismo Ω3Ω0=C inducido naturalmente. En este caso si ψ=dω, en R3,
dω=ϵijk\pkωij=(ω)
de modo que el lema se traduce en ψ=ω; si aún a su vez ω=dϕ, se tiene la equivalencia de que los campos rotacionales son libres de divergencia,
ψ=dω=d2ψ=0ψ=ω=(×ϕ)=0
Nota de cualquier modo que también, en general para cualquier 1-forma ζΩ1 se puede formar
dζ=d(12ϵijkζidxjdxk)=(12ϵijk\pζidxdxjdxk)=12ϵjkϵijk\pζi=δi\pζiR3=ζ
de manera que igualmente se puede construir ddφ=φ.

El complejo de De Rham
Esto usualmente se hace de manera inversa, es decir, pasando de las relaciones del cálculo vectorial a las de las formas diferenciales, de cualquier modo esta manera también es útil y asimismo sirve para notar la generalidad de las p-formas. El siguiente diagrama (formalmente llamado complejo de De Rham)
Ω0(R3)dΩ1(R3)dΩ2(R3)dΩ3(R3)IdC(R3)C(R3,R3)×C(R3,R3)C(R3)
con
Id(φ)=φ(ϕidxi)=ϕiei(ωijdxidxj)=ϵijkωijek(ψijkdxidxjdxk)=ϵijkψijk
encapsula de manera bastante concisa toda la información anterior. Como se vio, el diagrama conmuta, i.e. se llega al mismo lugar sin importar qué flechas se sigan.

No comments:

Post a Comment