El lema de Poincaré

Selim Gómez Ávila

División de Ciencias e Ingenierías
Universidad de Guanajuato

March 18, 2014

1 / 15
Tres teoreas centrales sobre formas diferenciales

▶ El lema de Poincaré (y su inverso)

▶ ¿Cuál es la relación entre formas exactas y cerradas?
▶ El teorema de Stokes
▶ ¿Cuál es la operación inversa a la derivada exterior?
▶ El teorema de Frobenius
▶ ¿Cuáles son los sistemas integrables?

2 / 15
 El lema de Poincaré es trivial, pero no su inverso

Es muy simple; dice que si ω̃ es una p-forma, entonces

d(dω̃) = 0.

Esto se sigue simplemente de la conmutatividad de las parciales:

d(dω̃) = dd(ω̃I dx̃I ) = ∂i ∂j ω̃I dx̃i ∧ dx̃j ∧ dx̃I = 0,

en donde I representa un indice colectivo I = I1 , I2 . . . Ip . Tenemos pues

que si una forma es exacta (i.e., α̃ = dω̃) entonces es cerrada (i.e., dα̃ = 0.)

La pregunta interesante es el converso; si tenemos que

dω̃ = 0

¿se sigue que ω̃ = dα̃ ? ¿Cuándo una forma cerrada es exacta?

3 / 15
 Simplemente, conexo
Definición: Una subvariedad S de M es simplemente conexa si cada curva
continua cerrada simple (i.e., que no se intersecta a si misma) puede
contraerse a un punto en S de manera continua.

Por ejemplo, la bola unitaria (es decir, la esfera sólida) en R3 con el origen
omitido es simplemente conexa, como la esfera unitaria. Pero el espacio
euclídeo R3 sin el eje z no lo es.

4 / 15
 Un par de ejemplos

1. Considere la forma cerrada ω̃ = f dx + gdy en dos dimensiones.

Muestre que la 0-forma
∫ 1
h(x, y) = dt(f [u(t), v(t)]u̇(t) + g[u(t), v(t)]v̇(t))
0

cumple que dh = ω̃ para cualquier curva γ(t) = u(t)∂ x + v(t)∂ y .

Curva termina en (x, y).
2. Considere la 1-forma cerrada
y x
ω̃ = − dx + 2 dy,
x2 +y 2 x + y2

definida en el plano R2 con el orígen omitido. Muestre que ω̃ es

cerrada pero no exacta.

5 / 15
 El converso del lema de Poincaré

Sea S un subvariedad simplemente conexa de M. Si ω̃ es una p-forma

∧p
ω̃ ∈ (S) cerrada, de manera que dω̃ = 0, entonces existe una
∧
p−1
(p–1)-forma α̃ ∈ (S) tal que ω̃ es exacta y ω̃ = dα̃.
.
En los casos de interés práctico, cuando no se cumplen las condiciones y
tenemos una forma cerrada que no es exacta, esto sucede porque la
(p–1)-forma
. α̃ no es univaluada.

6 / 15
 Una prueba constructiva

Sea ω̃ una p-forma cerrada. Podemos reescribir sus componentes en la

forma peculiar
∫ 1 ï ò
d p
ωi1 ...ip (x) = dt t ωi1 ...ip (tx)
0 dt
∫ 1 [ ]
= dt ptp−1 ωi1 ...ip (tx) + tp xj ∂j ωi1 ...ip (tx)
0

De la condición dω̃ = 0 tenemos que

∂j ωi1 ...ip dx̃j ∧ dx̃i1 ∧ · · · ∧ dx̃ip = 0 ⇒ ∂[j ωi1 ...ip ] = 0.

Podemos descomponer esta antisimetrización en pasos (aquí las barras

verticales aislan un índice cuya posición está fija):

[ji1 . . . ip ] = j[i1 . . . ip ] − [ip |j|i1 . . . ] + · · · + [i1 . . . ip ]j

7 / 15
 Una prueba constructiva
Considerando que las componentes de ω̃ ya son antisimétricas, esto
significa que todos los términos, exceptuando el primero, son iguales, y

∂[j ωi1 ...ip ] = ∂j ωi1 ...ip − p∂[i1 ω|j|...ip ] = 0

Usamos esto para reescribir el integrando

[p ] [ ]
tp ωi1 ...ip (tx) + xj ∂j ωi1 ...ip (tx) = ptp−1 ωi1 ...ip (tx) + txj ωj[...ip ,i1 ] (tx)
t
Pero esto es lo mismo que la derivada

p∂[i1 tp−1 ωji2 ...ip ] (tx)xj

Así que si definimos

∫ 1
αi2 ...ip = dttp−1 ωji2 ...ip ] (tx)xj
0

tendremos que ω̃ = dα̃.

8 / 15
 El isomorfismo musical
Si tenemos una variedad Riemmaniana (i.e, una donde existe una métrica
positiva definida) entoncesesta induce los mapas

♯ : V → V∗

y
♭ : V∗ → V
llamados los isomorfismos musicales.

En términos de estos,

grad(f ) = ∇f = (df )♯
div(F) = ∇ · F = ⋆d(⋆F♭ )
rot(F) = ∇ × F = [⋆d(F♭ )]♯
∆f = ∇2 f = ⋆d(⋆df ).

9 / 15
 Teoremas del cálculo vectorial euclídeo

1. Muestre que un vector en R3 cuyo rotacional es cero, es un gradiente.

2. Muestre que un vector en R3 cuya divergencia es cero, es un
rotacional.
3. ¿Cuánto es el rotacional de un gradiente? ¿Cuando la divergencia de un
rotacional?

10 / 15
 Cadenas, co-cadenas y el teorema de Stokes
Definición: Sea I = [0, 1]. Una n-celda σ es la imagen de un mapa
diferenciable ϕ : I n → Rm , con una orientación especificada. Denotamos
la misma celda con la orientación opuesta como −σ. Definimos la 0-celda
como un punto orientado en Rm .

Por ejemplo, esta es el área comprendida entre las curvas 3x − x2 > y y

y y > 3x3 − x2 + 1/4:

2.0

1.5

1.0

0.5

0.0
0.0 0.2 0.4 0.6 0.8 1.0

11 / 15
 Cadenas, co-cadenas y el teorema de Stokes
Quisieramos tratar las celdas como objetos algebraicos.

Definición Una n-cadena es una combinación formal de n-celdas

σ−σ =∅
nσ + mσ = (n + m)σ
σ + τ = τ + σ.
∑
Si C = ni σi entonces la integral de la n − f orma ω̃ sobre C es
i

∫ ∑ ∫
ω̃ = ni ω̃.
C i σi

Ej.: Calcule la integral de la 0-forma x2 y 3 sobre las 0-cadenas p − q, r − p y

p + q − r donde p = (−1, 1), q = (1, −1), r = (−1, −1).

12 / 15
 Frontera de una n-celda
Sea σ la 1-celda definida como la imagen de ϕ : [0, 1] → Rm . Definimos la
frontera de σ, que escribimos ∂σ, como la 0-celda ϕ(1) − ϕ(0).

En general ∑ t =1
∂σ = (−1)i+1 ϕ|tii =0 .
i

Por ejemplo, para una 2-celda,

∂σ = ϕ(1, t2 ) − ϕ(0, t2 ) − [ϕ(t1 , 1) − ϕ(t1 , 0)]

∂σ

13 / 15
 Frontera de una n-cadena
Si tenemos que ∑
C= ni σi
i
entonces ∑
∂C = ni ∂σi
i

Ejercicios

1. Sean las 2-cadenas

√
σ1 = Imϕ1 (r, θ) = Im(r cos 2πθ, r sin 2πθ, 1 − r2 ),
√
σ2 = Imϕ2 (r, θ) = Im(−r cos 2πθ, r sin 2πθ, − 1 − r2 )
. Entonces σ = σ1 + σ2 es una esfera. Muestre que ∂σ = ∅.
2. Si σ es una n-celda, muestre que ∂∂σ = ∅.
3. Si σ es la imagen de ϕ(r, θ) = (r cos θ, r sin θ) para 0 ≤ r ≤ 1 y
0 ≤ θ ≤ π/4, ¿qué es ∂σ?
4. Si σ es la imagen de ϕ(r, θ) = (r cos θ, r sin θ, r) para 0 ≤ r ≤ 1 y
0 ≤ θ ≤ 2π, ¿qué es ∂σ?
14 / 15
 Enunciado del teorema de Stokes
Sea ω̃ una n-forma y C una n-cadena. Tenemos que
∫ ∫
dω̃ = ω̃.
C ∂C

Este es el teorema de Stokes, o a veces, el teorema generalizado de Stokes.

Ejercicios

1. Integre las ecuaciones de Maxwell

dF̃ = 0 d ⋆ F̃ = 4π ⋆ J̃

y obtenga su forma integral.

2. Calcule la integral de la 2-forma ω̃ = x1 dx̃1 ∧ dx̃2 sobre la esfera
unitaria S 2 en R3 .
3. Encuentre una 1-cadena en R2 que encierre una 2-celda, e integre la
forma ω̃ = xdỹ + ydx̃ sobre esta curva.

15 / 15