corchete Lie

You are currently browsing articles tagged corchete Lie.

Ya comentamos aquí la diferencia entre una base coordenada, por ejemplo $latex {partial_r, partial_theta, partial_varphi }$, y una no coordenada, por ejemplo $latex { partial_r, frac{1}{r} partial_theta, frac{1}{r sin theta} partial_varphi }$, respecto del cálculo de los símbolos de su conexión de Levi-Civita (la derivación covariante libre de torsión derivada de su métrica 🙂 ).

También aquí calculé el corchete de Lie en algunos casos concretos. Recordar de éste dos cuestiones importantes:

  1. el corchete de Lie de campos coordenados es nulo,
  2. se puede demostrar que si $latex g,h in C^infty(M)$ y $latex X,Y in mathfrak{X}(M)$ entonces:

$latex [gX,hY] = gX(h)Y – hY(g)X + gh[X,Y]$.

Vamos a calcularlo ahora para los elementos de la base ortonormal en esféricas, que ya hemos dicho que no es holonómica:

$latex [partial_r, frac{1}{r} partial_theta] = 1 partial_r(frac{1}{r}) partial_theta – frac{1}{r} partial_theta(1) partial_r + 1frac{1}{r sin theta} [partial_r, partial_varphi] = -frac{csc theta}{r^2}$

$latex = -frac{1}{r^2} partial_theta – frac{1}{r} 0 partial_r + frac{1}{r} 0 = -frac{1}{r^2} partial_theta = -[frac{1}{r} partial_theta, partial_r]$,

$latex [partial_r, frac{1}{r sin theta} partial_varphi] = 1 partial_r(frac{1}{r sin theta}) partial_varphi – frac{1}{r sin theta} partial_varphi(1) partial_r + 1frac{1}{r sin theta} [partial_r, partial_varphi] = -frac{csc theta}{r^2} partial_varphi$,

$latex [frac{1}{r} partial_theta, frac{1}{r sin theta} partial_varphi] = frac{1}{r} partial_theta (frac{1}{r sin theta}) partial_varphi – frac{1}{r sin theta} partial_varphi (frac{1}{r}) partial_theta + frac{1}{r}frac{1}{r sin theta} [partial_theta, partial_varphi] = $

$latex = frac{1}{r} frac{-csc theta cot theta}{r} partial_varphi – frac{1}{r sin theta} 0 partial_theta + frac{1}{r}frac{1}{r sin theta} 0 = -frac{csc theta cot theta}{r^2} partial_varphi$.

Tags: , , ,

Los resultados presentados en este post son incorrectos 🙁 .

El motivo es que, para la definición de los símbolos de Christoffel, estamos asumiendo, de manera implícita, que trabajamos en una base coordenada o base holonómica, que son bases donde el corchete de Lie de cualquier par distinto es cero:

$latex [e_i,e_j] = 0$ si $latex i neq j$.

Pero si la base no es holonómica, entonces la definición incorpora tres términos más, los coeficientes de conmutación de la base, y llamamos a los símbolos coeficientes de la conexión. Si la base es ortonormal, estos reciben el nombre de coeficientes de rotación de Ricci.

Tags: , , , , ,

Cuando especificamos una variedad de Riemann escribimos $latex (M,g)$, donde $latex M$ es una variedad diferencial abstracta y $latex g$ es la métrica, una generalización de la primera forma fundamental de las superficies, un tensor. ¿Determina la métrica una variedad? Obviamente no, ya que podemos hablar de variedades (cartas, coordenadas, fibrados tangentes y cotangentes, teoremas de función inversa e implicita, campos vectoriales, campos tensoriales, conexiones, corchetes y derivada de Lie, grupos de Lie, etc.) sin referirnos en ningún momento a métricas. Sin embargo, lo que si que determina es la variedad de Riemann. La métrica nos permite hablar de longitudes, angulos, areas y en general cualquier cantidad íntrinseca de la superficie. Dos variedades extrínsecamentes diferentes son equivalentes desde el punto de vista intrínseco, es decir, desde el punto de vista de los habitantes de la variedad, si las medidas que pueden tomar dentro de la variedad son iguales y, por tanto, indistinguibles por éstos. Desde este punto de vista, que es el nuestro, son indistinguibles.

Tags: , , , , , , , , , ,

Realizaremos algunos cálculos típicos en variedades diferenciables. Para ello, vamos a suponer que tenemos el campo vectorial

$latex X = -4y frac{partial}{partial x} + 9x frac{partial}{partial y} + frac{partial}{partial z} in mathfrak{X}(mathbb{R}^3)$

y el campo vectorial

$latex Y=-frac{partial}{partial y} + 3x frac{partial}{partial z} in mathfrak{X}(mathbb{R}^3)$.

Tenemos tambien la $latex 1$-forma $latex alpha = 2xy dz – z dx$. En este caso trabajamos con la variedad $latex M = mathbb{R}^3$ (en física los escribiríamos $latex X(x,y,z) = (-4y,9x,1)$ o $latex vec{Y}=(0,-1,3x)$).

Empezaremos calculando un corchete de Lie. ¿Cómo queda el cálculo de $latex [X,Y]$? Si escribimos el corchere con los campos concretos nos queda:

$latex [X,Y] = [-4y frac{partial}{partial x} + 9x frac{partial}{partial y} + frac{partial}{partial z},-frac{partial}{partial y} + 3x frac{partial}{partial z}]$.

Lo primero que hacemos es aplicar que el corchete de Lie es bilineal, por lo que la expresión anterior queda:

$latex [-4y frac{partial}{partial x},-1 frac{partial}{partial y} ] + [-4y frac{partial}{partial x}, 3x frac{partial}{partial z}] + $

$latex + [9x frac{partial}{partial y},-1 frac{partial}{partial y}] + [9x frac{partial}{partial y}, 3x frac{partial}{partial z}] + $

$latex + [1 frac{partial}{partial z},-1 frac{partial}{partial y}] + [1 frac{partial}{partial z}, 3x frac{partial}{partial z}]$

Se puede demostrar que si $latex g,h in C^infty(M)$ y $latex X,Y in mathfrak{X}(M)$ entonces:

$latex [gX,hY] = gX(h)Y – hY(g)X + gh[X,Y]$,

por lo que, si la aplicamos a nuestro caso concreto, nos queda:

$latex -4y frac{partial(-1)}{partial x} frac{partial}{partial y} + 1 frac{partial (-4y)}{partial y} frac{partial}{partial x} + (-4y)(-1)[frac{partial}{partial x},frac{partial }{partial y}] + $

$latex -4y frac{partial(3x)}{partial x} frac{partial}{partial z} – 3x frac{partial (-4y)}{partial z} frac{partial}{partial x} + (-4y)(3x)[frac{partial}{partial x},frac{partial }{partial z}] + $

$latex 9x frac{partial(-1)}{partial y} frac{partial}{partial y} + 1 frac{partial (9x)}{partial y} frac{partial}{partial y} + (9x)(-1)[frac{partial}{partial y},frac{partial }{partial y}] + $

$latex 9x frac{partial(3x)}{partial y} frac{partial}{partial z} – 3x frac{partial (9x)}{partial z} frac{partial}{partial y} + (9x)(3x)[frac{partial}{partial y},frac{partial }{partial z}] + $

$latex 1 frac{partial(-1)}{partial z} frac{partial}{partial y} + 1 frac{partial (1)}{partial y} frac{partial}{partial z} + (1)(-1)[frac{partial}{partial z},frac{partial }{partial y}] + $

$latex 1 frac{partial(3x)}{partial z} frac{partial}{partial z} – 3x frac{partial (1)}{partial z} frac{partial}{partial z} + (1)(3x)[frac{partial}{partial z},frac{partial }{partial z}]$.

Realizando las derivadas parciales indicadas ($latex frac{partial (-1)}{partial x} =0, frac{partial (-4y)}{partial y} = 4$, …) y teniendo en cuenta que el corchete de Lie de campos coordenados es nula, nos queda:

$latex [X,Y] = -4 frac{partial}{partial x} -12y frac{partial}{partial z} in mathfrak{X}(mathbb{R}^3)$.

Vamos a calculara ahora $latex dalpha$. Para empezar, aprovechamos que es lineal, por lo que:

$latex dalpha = d(2xydz – zdx) = d(2xydz) – d(zdx)$

y ahora aplicamos la definición del operador diferencial exterior a cada sumando:

$latex d(2xy)wedge dz – d(z) wedge dx$

finalmente, como la diferencial exterior sobre funciones es la diferencial ordinaria, aplicando las propiedades distributiva, antisimétrica y $latex d^2=0$, nos queda:

$latex (2ydx + 2xdy) wedge dz – dz wedge dx = $

$latex 2y , dx wedge dz + 2x , dy wedge dz + dx wedge dz$

Por lo, finalmente, nos queda:

$latex dalpha = 2y+1,dx wedge dz + 2x,dywedge dz$

Tags: ,

FireStats icon Powered by FireStats