Los vectores base en una variedad se definen como operadores de derivadas parciales de cualquier función que se puede mapear localmente alrededor de un punto para Los símbolos de Christoffel surgen cuando se diferencia un campo vectorial en una variedad de este tipo, y la regla del producto requiere diferenciar no solo los componentes, sino también estos vectores base, ya que cambian de un punto a otro.
¿Hay algún sentido, por tanto, en el que los símbolos de Christoffel puedan entenderse como una segunda derivada?
No, no son segundas derivadas de ningún tipo. Son los "coeficientes de expansión" para diferenciar un campo de vector base a lo largo de otro. La expresion significa aproximadamente "diferenciar el campo vectorial a lo largo de la dirección ". Ahora, uno puede considerar cualquier marco local del paquete tangente, y en este sentido, considere . Este es nuevamente otro campo vectorial local, por lo que puede escribirse como una combinación lineal para algunos 's. Entonces nos dice el componente del cambio de a lo largo de ; pero este 'cambio' surge debido a una 'primera derivada'. En efecto, el hecho de que satisface la regla del producto es muy característico de las primeras derivadas.
No se confunda por el hecho de que los campos vectoriales base inducidos por coordenadas se pueden escribir como . Esto simplemente tiene que ver con una de las muchas formas equivalentes en que se define el espacio tangente a una variedad.
Editar en respuesta a los comentarios:
Ok, mi primera oración fue demasiado dura (vea la respuesta excelente y concisa de Deane para una interpretación, y más abajo para una interpretación de caso especial diferente), pero aún así, mantengo que en lo que respecta a los derivados de campos vectoriales/secciones de paquetes (que es principalmente por lo que se introducen las derivadas covariantes), no debe pensar en las segundas derivadas.
Suponer es un suave subvariedad incrustada -dimensional de , dejar ser una parametrización local de , dónde es un conjunto abierto (entonces es suave, un homeomorfismo sobre su imagen, y tiene derivada inyectiva en cada punto, todo en el sentido habitual del cálculo multivariable). Ahora bien, para cada , y cada definamos
Habiendo dicho esto, he aquí por qué le recomiendo encarecidamente que no piense que solo por esto, los símbolos de Christoffel capturan las segundas derivadas.
Esto se basa en tener estar incrustado en algunos , y aprovechamos en gran medida que este es un espacio vectorial de producto interno (necesitábamos el producto interno de y necesitábamos la estructura del espacio vectorial para diferenciar -mapas valorados, a saber, la parametrización ). Sí, hay varios teoremas de incrustación (incluso los isométricos), por lo que, en cierto sentido, esto no es una pérdida de generalidad. Sin embargo, por lo general, se necesita un espacio ambiental de dimensiones mucho más altas (y cuanto más grande es el espacio ambiental, más información aparentemente superflua hay, lo que automáticamente dificulta el reconocimiento de las propiedades intrínsecas). También estamos hablando solo de la conexión Levi-Civita.
Desarrollando el comentario anterior, no se nos da una variedad general ya incrustada en , y como tal, no tiene "vectores de posición", o como usé anteriormente, parametrizaciones valoradas . Estas parametrizaciones no son las cantidades fundamentales. es decir, en los cursos básicos de matemáticas y física, primero aprendemos sobre distancias, luego aprendemos sobre posición/desplazamiento, y luego aprendemos sobre velocidad y luego sobre aceleración. Sin embargo, en geometría diferencial, el objeto fundamental es la variedad y sus diversos espacios tangentes (es decir, las velocidades son el objeto principal). Los "vectores de posición" son un concepto sin sentido a menos que ya esté incrustado. "velocidad" es un concepto adicional que solo puede tener sentido una vez que se tiene un tensor métrico, y finalmente las distancias/longitudes se obtienen integrando la velocidad de las curvas. Entonces, nuestro desarrollo lógico está muy invertido (esto es más general y más útil). Entonces, en la medida de lo posible,
Solo porque las segundas derivadas de aparecen en esta fórmula, no significa que el son "efectos de segundo orden". Dada cualquier función suave , decir , puedo encontrar una función tal que . Del mismo modo, puedo encontrar otra función. tal que . Para cualquier número entero positivo, puedo encontrar una función que, si se diferencia tantas veces, produce . Entonces eso significa debe ser considerado como un " derivado" (ya que )? ¿O debería pensar en como una "primera derivada" (ya que )? ¿Debería pensar en ello como una "segunda derivada" (ya que )? Lo mismo con el 's. (El por otro lado, satisface la regla del producto, que es muy característica de las primeras derivadas, y la aparecen simplemente debido al álgebra lineal, como los "coeficientes de expansión" relativos a una base).
Las conexiones de las que estamos hablando aquí se denominan más correctamente conexiones en (y las conexiones inducidas en los distintos haces tensoriales ). Una situación un poco más general es que tiene un "paquete de vectores" . MUY aproximadamente hablando, esto significa que tenemos dos variedades suaves y un mapeo sobreyectivo . La idea es que se trata de una "familia de espacios vectoriales que varía suavemente". Así que para cada , tenemos un espacio vectorial . Estos espacios vectoriales forman , es decir . Ahora, podemos considerar un " -campo vectorial", o más técnicamente una sección suave del paquete vectorial. Esto significa que consideramos un mapa tal que . Relajando las definiciones, esto solo significa en cada punto tenemos un vector en este espacio vectorial particular. Ahora, podemos preguntar qué significa tomar derivadas direccionales de un mapeo de este tipo donde el espacio objetivo consiste en no solo un espacio vectorial único como , pero muchos de ellos. Tenga en cuenta que estos espacios vectoriales no es necesario que sean los espacios tangentes (entonces el no tiene por qué tener nada que ver con ). Podrían ser algo completamente diferente. tampoco hay Parametrizaciones valoradas por ahí, por lo que no se deben considerar las segundas derivadas de las parametrizaciones. Sin embargo, la cuestión de tal diferenciación parece bastante fundamental; podemos definir de una manera sencilla (la definición de Koszul para una derivada covariante, o podemos usar la definición mucho más geométrica de Ehresmann para finalmente llegar a ). E incluso en esta circunstancia general, el Los 's pueden verse simplemente como una consecuencia algebraica lineal: son solo ciertos coeficientes en la expansión de elecciones relativas de bases.
El punto principal que deseo recalcar es que, a veces, la apariencia de ciertas cantidades cuando generalizamos la teoría nos dice cómo debemos interpretarla. Ya hemos encontrado tantos baches en el camino cuando tratamos de impartir esta interpretación de segunda derivada a la 's. Entonces, con suerte, debería ser una motivación lo suficientemente fuerte como para que no sea una forma fructífera de pensar en ello.
Los símbolos de Christoffel surgen de forma natural cuando se quiere diferenciar una función escalar dos veces y queremos que el hessiano resultante sea un -tensor. Cuando resuelves los detalles, descubres que con respecto a las coordenadas locales, la arpillera de es dado por
Además, observe que la arpillera de siempre sera simetrico -tensor si , lo que equivale a decir que la conexión está libre de torsión. Esa es una de las razones por las que desea que la conexión Levi-Civita esté libre de torsión.
Supongamos que tenemos un campo vectorial dependiendo en que punto estemos en el espacio , los Christtofel aparecen naturalmente cuando tomamos la derivada del vector con la parametrización de la coordenada. Son algo así como una 'derivada espacial' de los vectores base.
¿Qué quiero decir con eso? Suponga que se mueve de un punto de la superficie a otro, entonces el campo vectorial en la superficie puede cambiar debido a dos razones:
El cambio en la parte de la base es lo que Christoffel intenta capturar.
Supongamos que me muevo de un punto a apuntar , a lo largo de una cuadrícula de coordenadas:
Tenga en cuenta que estoy pensando en eso es el punto en el valor del parámetro y es el punto en el valor del parámetro en las líneas de cuadrícula. Para un valor particular de , podemos pensar en RHS como una matriz que se multiplica en los vectores unitarios para decir cuál es el cambio en esa base a medida que avanzamos a lo largo de la línea de cuadrícula.
Además, supongo que son una especie de segundas derivadas. En el libro de análisis de tensores de Pavel Grinfeld, habla de cómo, dada una parametrización de una superficie, conocemos automáticamente el vector tangente de la superficie por diferenciación del vector de posición.
Por ejemplo, consideremos una esfera:
Si diferencia el vector anterior con las coordenadas, podemos obtener dos vectores tangentes en un punto, es decir: y . El Christoffel estaría entonces relacionado con la segunda derivada del vector de posición (siguiendo la ecuación anterior con la que introduje los símbolos).
Esta ecuación anterior nos dice sobre el Christoffel para nos dice que y las entradas son cero y la entrada es
Giuseppe Negro
jap
cita con la libertad