Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Eduardo Arias
Nestor Acevedo
Índice general
Bibliografía 13
V
CAPÍTULO I
Formas Diferenciales
Sección 1
1–formas
Una 1–forma es una elección suave de una función lineal φ sobre el espacio tangente a
p.
d f (X ) = X ( f ),
En particular para las funciones coordenadas x i que generan una base del campo de vec-
tores tenemos d x i (∂/∂x j ) = δij . El conjunto de todos los funcionales lineales lo denominamos
dual del espacio vectorial. El espacio T p∗ Rn de todas las 1–formas en p es el espacio vectorial
el cual es el dual del espacio vectorial T p Rn . Al espacio T p∗ (Rn ) lo denominaremos espacio
cotangente de Rn en el punto p. Lo anterior implica que el conjunto (d x i )p i ∈J1,n K es una
© ª
base del espacio cotangente, la cual es dual a la base (∂/∂x i )p i ∈J1,n K del espacio tangente.
© ª
1
2 I. FORMAS DIFERENCIALES
La unión de los espacios cotangentes sobre todos los p ∈ Rn , al cual denominamos vibrado
cotangente y lo notaremos por T ∗ (Rn ).
Proposición I.1. Dadas una función suave f sobre Rn y x i i ∈J1,n K las funciones coor-
© ª
α = αi (x)d x i
localmente.
Una 1–forma también es llamada tensor covariante o simplemente covector. Los coefi-
cientes (a 1 , . . . , a n ) es llamado las componentes covariantes del covariante. Adoptaremos la
convención de escribir siempre los componentes covariantes de un covector con los índi-
ces abajo. Los físicos a menudo se refieren a los componentes covariantes de una 1–forma
como un vector covariante y esto causa cierta confusión sobre la posición de los índices.
Hacemos hincapié en que no todas las formas se obtienen tomando el diferencial de una
función. Si existe una función f , tal que α = d f , entonces la forma α se llama exacta. En
el cálculo vectorial y la física elemental, las formas exactas son importantes para compren-
der la independencia de la trayectoria de las integrales de línea de los campos de vectores
conservadores.
La estructura vectorial del espacio cotangente T p∗ (Rn ) se sigue de la estructura T p (Rn )
con el campo de funciones suaves sobre los reales.
I. TENSORES Y FORMAS DE RANGO SUPERIOR 3
Sección 2
En esta sección presentamos una nueva forma de multiplicación entre formas que no
solo captura la esencia de derivadas de área y volumen, sino que también proporciona una
basta estructura algebraica y geométrica que sirve como generalización de productos cruz
(los cuales solo tienen sentido en R3 ) en espacios Euclídeos de todas las dimensiones.
φ( f 1 X 1 + f 2 X 2 , Y1 ) = f 1 φ(X 1 , Y1 ) + f 2 φ(X 2 , Y1 )
∂ ∂ ∂ ∂
µ ¶ µ ¶ µ ¶
(α ⊗ β) α β
XX
, =
∂x k ∂x l i j ∂x k ∂x l
∂ ∂
µ ¶ µ ¶
i j
X
= (a i d x ) (b j d x )
i,j ∂x k ∂x l
j
a i δik b j δl
X
=
i,j
= ak bl
tensores.
De manera similar también podemos definir el producto tensorial entre dos vectores o
campos de vectores X y Y como la forma bilineal X ⊗ Y tal que
(X ⊗ Y )( f , g ) = X ( f )Y (g )
sobre funciones arbitrarias f , g . Para este caso, cualquier aplicación bilineal de la forma
∂ ∂
T =Tij ⊗
∂x i ∂x j
4 I. FORMAS DIFERENCIALES
1. g (X , Y ) = g (Y , X )
2. g (X , X ) ≥ 0 ∀X
3. g (X , X ) = 0 si y solo si X=0.
Dado que { ∂x∂ i } forman una base, un producto interno está completamente especificado por
los valores tomados en estos vectores, por tanto escribimos:
∂ ∂
µ ¶
g , = gi j
∂x i ∂x j
Si tomamos g i j = δi j , tenemos el producto euclídeo usual, donde g (X , X ) = kX k2 nos da el
cuadrado de la longitud del vector; por esta razón a g i j se le conoce como métrica y a g
como tensor métrico.
2.2. Productos Exteriores y n-Formas
φ(X , Y ) = −φ(Y , X )
Esta propiedad es parecida al determinante de una matriz, el cual cambia de signo si alguno
de los vectores columna cambia de lugar. En efecto, si vemos al espacio de matrices M 2×2
como el espacio de vectores columna, el determinante es en efecto una forma alternante.
α ∧ β = −β ∧ α
α∧α = 0
I. TENSORES Y FORMAS DE RANGO SUPERIOR 5
Si α = Ai d x i , β = B j d x j tenemos que
P P
i j
α ∧ β(X , Y ) = (A i B j )d x i ∧ d x j (X , Y )
X
i,j
A = Ai , j d x i ∧ d x j
φ = A i 1 ,i 2 ,...,i m d x i 1 ∧ d x i 2 ∧ ... ∧ d x i m
6 I. FORMAS DIFERENCIALES
Sección 3
Derivadas Exteriores
En esta sección introduciremos una noción general de los clásicos operadores gradiente,
rotacional y divergente.
Denotaremos por m n n
(p) (R ) el espacio de las m–formas en p ∈ R . Este espacio tiene di-
V
mensión
n ^m n
dim (p) (R ) =
m!(n − m)!
para m ≤ n y de dimensión 0 para m > n. Identificaremos por funciones C ∞ en p con
Vm n
n
(R ) = p m n
V0 S V
(p) (R ). Además, (p) (R ).
α = A i 1 ,...,i m (x)d x i 1 ∧ . . . d x i m ,
D EMOSTRACIÓN .
∂α ∂2 α ∂ α ∂2 α
µ ¶ · 2 ¸
j i 1
d (d α) = d = dx ∧dx = d x j ∧ d xi = 0
∂d x i ∂x j ∂x i 2 ∂x j ∂x i ∂x i ∂x j
Ahora, supongamos que α puede ser representada localmente. De donde de la
definición de derivada exterior tenemos que
d (d α) = d (d A i 1 ,...,i m ) ∧ d x i 0 ∧ d x i 1 . . . d x i m = 0.
α = A i 1 ,...,i p (x) ∧ d x i 0 ∧ d x i 1 . . . d x i p
I. DERIVADAS EXTERIORES 7
β = B j 1 ,..., j q (x) ∧ d x j 0 ∧ d x j 1 . . . d x j q .
Por definición
α ∧ β = A i 1 ,...,i p B j 1 ,..., j q (d x i 1 ∧ . . . ∧ d x i p ) ∧ (d x j 1 ∧ . . . d x j q ).
= d α ∧ β + (−1)p α ∧ d β,
donde el factor −1)p viene de pasar el término d B j 1 ... j q a través de p–formas del tipo
d xi .
α = dx d x + d y d f = d f .
Este ejemplo lo podemos ver en el contexto de ecuaciones diferenciales exactas de primer orden
y campos de fuerza conservadores.
D EFINICIÓN 11. Llamamos exacta a una forma α si existe una forma β tal que α = d β.
Puesto que d ◦ d = 0, es claro que una forma exacta es también cerrada.
La suposición de que el espacio debe ser simplemente conexo es algo sutil. Esta propie-
dad es un caso general del teorema integral de Cauchy para funciones holomorfas, el cual
dice que dadas f una función holomorfa sobre un dominio simplemente conexo y C un
contorno cerrado dentro del dominio entonces
I
f = 0.
C
I. OPERADOR ESTRELLA DE HODGE 9
Sección 4
D EFINICIÓN 12. El operador estrella de Hodge ∗ es una aplicación lineal entre los
espacios
m n
(Rn ) → (Rn−m )
^ ^
∗:
p p
Esta operación establece una dualidad entre las k-formas y las (n-k)-formas. Básica-
mente reemplaza el producto exterior de k variables por el producto exterior de las n-k
variables restantes. De manera precisa, dada σ = (i 1 , i 2 , · · · , i − n) una permutación de
(1, 2, · · · , n; para cada k ∈ {0, 1, · · · , n} se define el dual de Hodge como la correspondiente
k-forma:
εt = −εx = −ε y = −εz = 1
∗(d t ) = 1εt d x ∧ d y ∧ d z,
∗(d x) = d t ∧ d y ∧ d z
∗(d y) = d t ∧ d x ∧ d z
∗(d z) = d t ∧ d x ∧ d y
Nuestro estudio se centra en las ecuaciones de Maxwell, y para estas tan solo necesitamos
conocer qué sucede con las dos formas:
E JEMPLO 5.
∗(d t ∧ d x) = d z ∧ d y
∗(d t ∧ d y) = d x ∧ d z
∗(d t ∧ d z) = d y ∧ d x
∗(d z ∧ d y) = −d t ∧ d x
∗(d x ∧ d z) = −d t ∧ d y
∗(d y ∧ d x) = −d t ∧ d z
10 I. FORMAS DIFERENCIALES
Sección 5
Ecuaciones de Maxwell
1) Ley de Gauss: ∇ · E = 0
2) Ley de Gauss: ∇ · B = 0
∂B
3) Ley de Faraday: ∂t
= −∇ × E
∂E
4) Ley de Ámpere: ∂t
= ∇×B
Vamos a reescribir estas ecuaciones desde el punto de vista de las formas de la siguiente
manera:
D EFINICIÓN 13. Combinaremos a los campos E , B en una sola matriz llamada tensor
electromagnetico:
0 Ex Ey Ez
−E x 0 −B x By
F =
−E
y By 0 −B x
−E z −B y Bx 0
La cual es claramente una matriz antisimétrica.
También vamos a considerar los siguientes operadores:
E (v) = v x d t ∧ d x + v y d t ∧ d y + v z d t ∧ d z,
B(v) = v x d z ∧ d y + v y d x ∧ d z + v z d y ∧ d x,
donde v es un campo. Es inmediato ver que para cualquier campo v tenemos:
∗E (v) = B(v),
∗B(v) = −E (v).
En cierta forma, podemos pensar que el tensor electromagnético puede ser visto como
combinación lineal de estos dos últimos operadores:
F = E (E ) + B(B )
I. ECUACIONES DE MAXWELL 11
Proposición I.4. A continuación vamos a comprobar que las ecuaciones de Maxwell pue-
den ser reducidas a:
dF = d ∗ F = 0
donde recordemos que d es la derivada exterior y que ∗ es el operador de Hodge.
d E (v) = d (v x d t ∧ d x + v y d t ∧ d y + v z d t ∧ d z)
∂v x ∂v x
µ ¶ µ ¶
= dy ∧dt ∧dx + dz ∧dt ∧dx
∂y ∂z
∂v y ∂v y
µ ¶ µ ¶
+ dx ∧dt ∧dy + dz ∧dt ∧dy
∂x ∂z
∂v z ∂v z
µ ¶ µ ¶
+ dx ∧dt ∧dz + dy ∧dt ∧dz
∂x ∂y
∂v x ∂v x
·µ ¶ µ ¶
= − dy ∧dx + dz ∧dx
∂y ∂z
∂v y ∂v y
µ ¶ µ ¶
+ dx ∧dy + dz ∧dy
∂x ∂z
∂v z ∂v z
µ ¶ µ ¶¸
+ dx ∧dz + dy ∧dz ∧dt
∂x ∂y
∂v z ∂v y
·µ ¶
= dt ∧ − dz ∧dy
∂y ∂z
∂v x ∂v z
µ ¶
+ − dx ∧dz
∂z ∂x
∂v y ∂v x
µ ¶ ¸
+ − dy ∧dx
∂x ∂y
= d t ∧ B(∇ × v)
d B(v) = d (v x d z ∧ d y + v y d x ∧ d z + v z d y ∧ d x)
∂v x ∂v x
·µ ¶
= dt + dx ∧dz ∧dy
∂t ∂x
∂v y ∂v y
µ ¶
+ dt + dy ∧dx ∧dz
∂t ∂y
∂v z ∂v z
µ ¶ ¸
+ dt + dz ∧dy ∧dx
∂t ∂z
∂v x ∂v y ∂v z
µ ¶
= dt ∧ dz ∧dy + dx ∧dz + dy ∧dx
∂t ∂t ∂t
12 I. FORMAS DIFERENCIALES
∂v x ∂v y ∂v z
µ ¶
− + + dx ∧dy ∧dz
∂x ∂y ∂z
∂v
µ ¶
= dt ∧B − (∇ · v)d x ∧ d y ∧ d z.
∂t
Con esto en mano podemos ya calcular lo que deseamos. Calculemos primero d F :
dF = d (E (E ) + B(B ))
∂B
µ ¶
= d t ∧ B(∇ × E ) + d t ∧ B − (∇ · B )d x ∧ d y ∧ d z
∂t
∂B
µ ¶
= dt ∧B + ∇ × E − (∇ · B )d x ∧ d y ∧ d z.
∂t
Para que esta expresión sea 0, por la independencia de las 3 formas involucradas tendríamos
que
∂B
+ ∇ × E = 0 = ∇ · B.
∂t
Por otro lado
d ∗F = d (B(E ) − E (B ))
∂E
µ ¶
= dt ∧B − (∇ · E )d x ∧ d y ∧ d z − d t ∧ B(∇ × B )
∂t
∂E
µ ¶
= dt ∧B − ∇ × B − (∇ · E )d x ∧ d y ∧ d z.
∂t
De donde, igualando nuevamente d ∗ F = 0 obtenemos que
∂E
−∇×B = 0 = ∇·E
∂t
que son las últimas 2 ecuaciones que nos faltaban.
Bibliografía
[Lug] Gabriel Lugo, Differential geometry in physics, Department of Mathematical Sciences and Statistics, Uni-
versity of North Carolina at Wilmington.
13