Formas Diferenciales UCR

Formas Diferenciales
Francisco Frutos Alfaro

Escuela de F sica Universidad de Costa Rica
Topolog a
Denici on Topolog a Sea X un conjunto. Una topolog a o estructura topol ogica sobre X es dada por un conjunto T de subconjuntos de X con las siguientes propiedades: yX T, Las intersecciones de un n umero nito de elementos de T T , Las uniones de un n umero arbitrario de elementos de T T . Los elementos de T se llaman conjuntos abiertos de la topolog a sobre X . Espacio Topol ogico Un conjunto X junto con una topolog a T sobre X se denomina espacio topol ogico.
Variedad
Una variedad real n dimensional M es un espacio, el cual se parece a un espacio euclideo I Rn alrededor de cada punto. Un poco m as formal, una variedad de dimensi on n es un espacio topol ogico que cerca de cada punto se asemeja a un espacio Eucl deo n dimensional. Una variedad es denida introduciendo un conjunto de vecindarios Ui los cuales cubren la variedad M, donde cada Ui (parches) es un subespacio de I Rn . La variedad se construye pegando parches. 1
Espacio Tangente y Cotangente
Se dene a Tp (M) como el espacio tangente en el punto p M y Tp (M ) como el espacio cotangente en el punto p M. Sea
f (x) = f (p) + v i donde x = p + v. La derivada direccional es vi donde se ha denido
f xi
+ ,
x= p
= v i Ei = v , xi
. xi Los Ei en x = p denen una base para el espacio tangente de M en p. Una colecci on de estas derivadas direccionales en cada punto de M con coecientes v i (x) los cuales var an suavemente es llamado un campo vectorial. El espacio tangente Tp (M) es denido como el espacio vectorial comprendido por las tangentes en p a todas las curvas pasando por p en la variedad. El espacio cotangente Tp (M) de una variedad en p M es denido como el espacio vectorial dual al espacio tangente Tp (M). El espacio vectorial dual: Sea V un espacio vectorial de dimensi on nita sobre los reales. Sea V la colecci on de funcionales lineales f : V I R. Si se denen la adici on y multiplicaci on por un escalar de la forma acostumbrada, se obtiene una estructura de espacio vectorial sobre V . A V se denomina espacio vectorial dual y sus elementos son los vectores duales. Entonces, dado un espacio vectorial n dimensional V con base Ei , i = 1, . . . , n , la base ei del espacio dual V es determinada por el producto interno Ei =
j , Ei , ej = i
Ei =
xi
para para 2
Tp (M)
Tp (M ).
ei = dxi
Los campos vectoriales y u = ui dxi xi (x). son invariantes bajo la transformaci on x x v = vi dx i = x i j dx xj
xj = . x i x i x j Entonces xj u i = uj , x i v i = x i j v , xj
v, u = v i ui = v i u i ,
Formas Diferenciales
Los elementos de l nea diferencial dx y dy son llamados uno-formas diferenciales. Producto Cu na 1 dx dy = (dx dy dy dx) = dy dx Area 2 dx dx = 0 dx dy = Jdx dy, donde J es la matrix de Jacobi. J= x y x y . x y y x 3
A d = dx dy se le llama dos-forma. Sea p (x) el conjunto de p-tensores antisim etricos en el punto x. Este es un espacio vectorial de dimensi on dim = n! . p!(n p)!
El conjunto de los p (x) dene un haz sobre M. C (p ) es el espacio de p-formas suaves (el innito se reere a funciones innitamente diferenciables), representadas por tensores antisim etricos fij...(x) que tienen p ndices contra dos con el producto cu na de los p diferenciales. C (0 ) = {f (x)}, dim = 1 C (1 ) = {fi dxi }, dim = n C (2 ) = {fij dxi dxj }, dim = C (3 ) = {fijk dxi dxj dxk }, dim = . . .
in1 C (n1 ) = {fi1 ...in1 dxi }, dim = n 1 . . . dx in C (n ) = {fi1 ...in dxi 1 . . . dx }, dim = 1
n(n 1) 2! n(n 1)(n 2) 3!
Propiedades p y np tienen la misma dimensi on p = 0 si p > n.
Derivada Exterior d
C (0 )C (1 ) C (1 )C (2 ) C (2 )C (3 )
d d d
df (x) = d(fi dxi ) =
f i dx , xi
fi j dx dxi , xj
dfij =
fij k dx dxi dxj . xk
Propiedad ddwp = 0 C (0 )C (1 )C (2 ) 1 2f dxi dxj = i j x x 2 2f 2f dxi dxj = 0. i j j i x x x x

d d
ddf (x) =
A partir de ddp = 0 se puede obtener f = 0 o ( v) = 0. Regla d(p q ) = dp q + (1)p p dq . Ejemplo: Sea 0 = f (x) 1 = vi dxi = v dx, i = 1, 2, 3
2 = w1 dx2 dx3 + w2 dx3 dx1 + w3 dx1 dx2 3 = (x)dx1 dx2 dx3 5
1 2 = (vi wi )dx1 dx2 dx3 = (v w)dx1 dx2 dx3 d1 = donde ijk =

1
1 vk 1 ijk j ilm dxl dxm = [ v]i ilm dxl dxm , 2 x 2
0 1
si i, j, k son antic clicos si i = j , j = k , i = j = k , si i, j, k son c clicos
ijk ilm = ijk lmi = jl km jm kl . d2 = wi 1 dx dx2 dx3 = [ w]dx1 dx2 dx3 xi d0 = f i dx = [f ]i dxi . xi
El Asterisco de Hodge
El asterisco o estrella de Hodge o transformaci on dual se dene como: (dxi1 dxi2 dxip ) = 1 i i i i i dxip+1 dxip+2 dxin . (n p)! 1 2 p p+1 n
Propiedad p = (1)p(np) wp . La versi on de Formas de algunas f ormulas vectoriales Producto vectorial u v (u v ) Gradiente 6
f df Laplaciano 2 f d df Rotacional u du Divergencia u d u
Producto Interno
(p , p ) =
M
p (p ) = p!
fijk...gijk...dx1 dxn .
Propiedad (p , p ) = (p , p ), donde p (p ) = p (p ).
Derivada Exterior Adjunta

(p , dp1) = (p , p1 ),
La derivada exterior adjunta de la derivada exterior de dene a trav es de
La adjunta de d es = (1)n(p+1)+1 d . 7
d : C (p ) C (p+1) : C (p ) C (p1 ) Para n par = d y para n impar = (1)p d. Propiedad p = 0. Forma general del Laplaciano = (d + )2 = dd + d + d + = d + d Ejemplo: Sea n = 3 y p = 1 = v dx Entonces = d = [( v)dx1 dx2 dx3 ] = v. = Si es una p-forma p = dp1 = p+1 2v dx. xk xk
Teorema de Hodge
El teorema de Hodge establece que una forma se puede descomponer en la suma de una forma exacta, una co-forma exacta y una forma arm onica: wp = dp1 + p+1 + p . Forma exacta o cerrada 8
dp = 0 Co-forma exacta o co-cerrada p = 0 Forma arm onica p = 0
10
Teorema de Stokes
dp1 =
El teorema de Stokes se puede escribir de la siguiente manera:

M M
p 1 ,
donde M es la supercie frontera de M.
11
Ecuaciones de Maxwell
A = A dx = 1, 2, 3, 4
Sea A el vector potencial
Transformaci on Gauge A = A + d Tensor Electromagn etico o de Maxwell F = dA = dA 1 = ( A A )dx dx 2 1 F dx dx = 2 1 = Ei dxi dt + Bi ijk dxj dxk 2 9
1 F = F = Ei ijk dxj dxk + Bi dxi dt. 2 Ecuaci on de Euler o ecuaciones inhomog eneas F = J = 0 Edt + (0 0 t E + B) dx, donde J = j dx = 0 J dx + j0 dt, donde j0 = . Identidad de Bianchi o ecuaciones homog eneas dF = ddA = 0 1 dF = ( B)dx1 dx2 dx3 + [t B + E]i ijk dxj dxk dx3 = 0 2 Ecuaciones de Maxwell 0 E = 0 0 t E + B = 0 J B =0 t B + E = 0
10
12
Referencias
[BR89] Benn, I. M., Tucker, R. M., An Introduction to Spinors and Geometry with Applications in Physics, Adam Hilger, Bristol, 1989. [Eg80] Eguchi, T., Gilkey, P. B., Hanson, A. J., Gravitation, Gauge Theories and Dierential Geometry, Physics Reports, Vol. 66, # 6, December 1980. [Ha00] Hassani, S., Mathematical Physics, Springer, New York, 2000. [Mi73] Misner, J. A., Thorne, K. S., Wheeler, J. A., Gravitation, Freeman, New York, 1973. [Wa84] Wald, R. W., General Relativity, The University of Chicago Press, Chicago, 1984.
11

Formas Diferenciales UCR

Cargado por

Copyright:

Formatos disponibles

Formas Diferenciales UCR

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Formas Diferenciales UCR

Cargado por

Copyright:

Formatos disponibles

Formas Diferenciales

Francisco Frutos Alfaro

Espacio Tangente y Cotangente

f (x) = f (p) + v i donde x = p + v. La derivada direccional es vi donde se ha denido

Los campos vectoriales y u = ui dxi xi (x). son invariantes bajo la transformaci on x x v = vi dx i = x i j dx xj

n(n 1) 2! n(n 1)(n 2) 3!

Propiedades p y np tienen la misma dimensi on p = 0 si p > n.

df (x) = d(fi dxi ) =

fij k dx dxi dxj . xk

Propiedad ddwp = 0 C (0 )C (1 )C (2 ) 1 2f dxi dxj = i j x x 2 2f 2f dxi dxj = 0. i j j i x x x x

2 = w1 dx2 dx3 + w2 dx3 dx1 + w3 dx1 dx2 3 = (x)dx1 dx2 dx3 5

1 2 = (vi wi )dx1 dx2 dx3 = (v w)dx1 dx2 dx3 d1 = donde ijk =

1 vk 1 ijk j ilm dxl dxm = [ v]i ilm dxl dxm , 2 x 2

si i, j, k son antic clicos si i = j , j = k , i = j = k , si i, j, k son c clicos

f df Laplaciano 2 f d df Rotacional u du Divergencia u d u

Derivada Exterior Adjunta

La derivada exterior adjunta de la derivada exterior de dene a trav es de

dp = 0 Co-forma exacta o co-cerrada p = 0 Forma arm onica p = 0

El teorema de Stokes se puede escribir de la siguiente manera:

donde M es la supercie frontera de M.

Sea A el vector potencial

También podría gustarte