11 votos

Geodésicas de una superficie curva

Estoy tratando de leer Lambourne, la Relatividad, la Gravitación y Cosmología, pero como esto parece más de una pregunta de matemáticas que he publicado aquí en lugar de en la física del foro.

El autor habla de affinely con parámetros geodesics y, a continuación, en el Ejercicio 3.9, muestra que el ecuador en la superficie de una esfera es una geodésica.

Mi pregunta es la siguiente:

¿Cómo encontrar la geodésica de una simple curva de la superficie que no es una esfera (por ejemplo, $z = x^2 + y^2$)?

Supongo que debido a que la ecuación geodésica contiene los símbolos de Christoffel en primer lugar, la necesidad de encontrar la métrica para que la superficie en particular, pero no sé cómo hacerlo.

Por todo esto, estoy adivinando que mi segunda pregunta tendría que ser ¿cómo encontrar la métrica de una simple curva de la superficie (de nuevo, por ejemplo,$z = x^2 + y^2$).

Le pido disculpas si le he pedido nada ridículo.

Gracias.

10voto

Jesse Madnick Puntos 13166

Como otros han mencionado, no es fácil encontrar el geodesics de una superficie dada, así que permítanme abordar algunas de tus otras preguntas.

Vamos a empezar con un caso sencillo. Si una superficie $S$ $\mathbb{R}^3$ es la gráfica de una función de $z = f(x,y)$, entonces la métrica $g$ puede ser representado en las coordenadas de la matriz $$g = \begin{pmatrix} 1 + (f_x)^2 & f_xf_y \\ f_xf_y & 1 + (f_y)^2 \end{pmatrix},$$ donde los subíndices denotan derivadas parciales.

En el caso de $z = x^2 + y^2$, por ejemplo, tenemos $$g = \begin{pmatrix} 1 + 4x^2 & 4xy \\ 4xy & 1 + 4y^2 \end{pmatrix}.$$


Más generalmente, si una superficie $S$ $\mathbb{R}^3$ es administrado por un local de parametrización $\phi(x,y) = (\phi^1(x,y), \phi^2(x,y), \phi^3(x,y))$, entonces la métrica $g$ puede ser representada por la matriz $$g = \begin{pmatrix} \langle \phi_x, \phi_x\rangle & \langle\phi_x, \phi_y\rangle \\ \langle\phi_y, \phi_x\rangle & \langle\phi_y, \phi_y\rangle \end{pmatrix},$$ donde yo estoy usando la notación $\langle v, w\rangle = v \cdot w$ para denotar el producto interior (o "producto escalar") en $\mathbb{R}^3$. Por ejemplo, $$\langle \phi_x, \phi_y\rangle = \langle (\phi^1_x, \phi^2_x, \phi^3_x), (\phi^1_y, \phi^2_y, \phi^3_y)\rangle = \frac{\partial\phi^1}{\partial x}\frac{\partial\phi^1}{\partial y} + \frac{\partial\phi^2}{\partial x}\frac{\partial\phi^2}{\partial y} + \frac{\partial\phi^3}{\partial x}\frac{\partial\phi^3}{\partial y}.$$ El caso anterior, cuando la superficie está dada como la gráfica de la función $z = f(x,y)$ es el caso especial donde $\phi(x,y) = (x,y, f(x,y)).$

Tenga en cuenta que la métrica (tensor) clásicamente se llama la primera forma fundamental.


Ahora, personalmente, me gusta pensar en geodesics como unidad de velocidad de las curvas que tienen cero curvatura geodésica (en lugar de curvas que satisfacen la ecuación geodésica).

Decir que una curva de $\alpha(t) = (x(t), y(t), z(t))$ es la unidad de velocidad significa que $|\alpha'(t)| \equiv 1$. (Es un hecho que todos los geodesics tiene velocidad constante.) Decir que una curva de $\alpha$ cero, con una curvatura geodésica significa, así, que la curvatura geodésica $\kappa_g \equiv 0$, donde $$\kappa_g = \langle N \times \alpha', \alpha'' \rangle,$$ where $$ N es la unidad vector normal a la superficie. Un buen aparato para pensar acerca de esta definición es el marco de Darboux.

De todos modos, aquí hay tres más geométrico de los hechos que podrían ayudarle en su búsqueda para geodesics, o al menos su intuición para ellos:

Hecho 1 (Corolario del Teorema de Meusnier): Vamos a $\Pi$ ser un avión que cruza una superficie de $S$. Si en cada punto de intersección del plano de $\Pi$ es perpendicular al plano tangente a $S$, entonces la curva de intersección es una geodésica. (Por ejemplo, una curva que se llama una sección normal.)

Hecho 2: Sobre una superficie de revolución, cada meridiano es una geodésica.

Hecho 3 (el Teorema de Clairaut): Vamos a $S$ una superficie de revolución, vamos a $\alpha$ ser una curva en $S$ con velocidad de unidad, vamos a $\rho\colon S \to \mathbb{R}$ ser la distancia de un punto de $S$ al eje de rotación, y deje $\psi$ ser el ángulo entre el $\alpha'$ y los meridianos de $S$.

Conclusión: Si $\alpha$ es una geodésica, a continuación, $\rho \sin \psi$ es constante a lo largo de $\alpha$. Por el contrario, si $\rho \sin\psi$ es constante a lo largo de $\alpha$, y si ninguna parte de $\alpha$ es parte de algunos paralelo de $S$, $\alpha$ es una geodésica. (cf. Clairaut de la Relación.)

Observaciones: me suele visualizar Hecho 1 mediante la consideración de un cilindro circular recto (probar esto!). Hecho 2 debe darle algunos de los geodesics en el paraboloide elíptico $z = x^2 + y^2$. Hecho 3 puede ser utilizado para determinar la geodesics en el pseudosphere.

7voto

Jonathan Hartley Puntos 160

Primero de todo, como Vhailor dijo, es difícil encontrar una fórmula explícita para geodesics sobre una superficie en general. Esto está relacionado con el hecho de que, por definición, geodesics son soluciones de una ecuación diferencial que puede ser bastante feo dependiendo de la forma de la superficie. En este caso, usted puede seguir Vhailor del consejo y resolver la ecuación numéricamente utilizando un ordenador.

No voy a dar una respuesta completa para el que necesitaría varias páginas, pero voy a intentar darte algunas ideas. Tener en cuenta también las notas de Misha Rudnev que parecen resolver tu pregunta.

Respecto a su segunda pregunta, tienes razón. Usted necesita los símbolos de Christoffel de su superficie, que depende de la métrica. En general, si usted tiene una incrustación de una superficie en $\mathbb{R}^n$, su métrica es la restricción de la métrica Euclidiana de $\mathbb{R}^n$. En el caso del cono $z=x^2+y^2$, esta inclusión es, por ejemplo, dada por $$ (\theta,z)\en[0,2\pi[\times\mathbb{R}^+\stackrel{\phi}{\longrightarrow}(\sqrt{z}\cdot \sin(\theta),\sqrt{z}\cdot \cos(\theta),z)\in\mathbb{R}^n $$ Ahora usted puede deducir la métrica del cono por la fórmula general $$ g_{c}(X,Y)=g_0\big(\phi_{*}(X)\phi_{*}(Y)\big)\;\;\;\;\;\;\;(1) $$ donde $\phi_*$ indica el diferencial de $\phi$, $g_c$ la métrica del cono, $g_0$ la métrica Euclidiana, (es decir,$g_0(e_i,e_j)=\delta_{i,j}$) y $X$ $Y$ son vectores tangente a $[0,2\pi[\times\mathbb{R}^+$. Intenta hacer explícita la computación como un ejercicio. ($\it{Hint}$: Si usted escribe un vectores $X$ coordenadas, $\phi_*(X)$ es simplemente la matriz Jacobiana de $\phi$ que se aplica a $X=(X_1,X_2,X_3)^t$).

Ahora los símbolos de Christoffel son dadas en general por $$ \Gamma ^k_{ij}=\frac{1}{2}g^{kl}\big(-\partial_lg_{ij}+\partial_ig_{jl}+\partial_jg_{il}\big) $$

Usted ve que esto se convierte en un montón de cálculo si se desea resolver la ecuación diferencial para geodesics después, incluso para un "fácil" de la forma. Sin embargo, a veces usted puede utilizar los trucos para encontrar geodesics explícitamente sin la solución de cualquier ecuación. Por ejemplo, una geodésica $\gamma:[a,b]\rightarrow M$ es una curva cuya longitud es menor que la longitud de cada curva que une a $\gamma(a)$$\gamma(b)$. Si no lo has hecho ya, un buen ejercicio es intentar aplicar esto a la esfera con el fin de encontrar geodesics. (Sugerencia: La imagen de un mínimo geodésica que une dos puntos de $x$ $y$ sobre la esfera por el ortogonal reflexión relativamente a un plano de corte de la sphère en dos hemisferios iguales y que pasa por $x$ $y$ es una geodésica. Más en general, la imagen de una geodésica por un (local) isometría es una geodésica).

2voto

kwesoly Puntos 121

Cómo sobre esto: para $z=F(x,y)$, una curva está dada por

$$ X(t)= ( x(t), y(t), F(x(t),y(t)) )$$ La normal de la superficie es $$ N = \left( \frac{dF}{dx}, \frac{dF}{dy}, -1 \right)$$

Quiero una unidad de velocidad de la curva:

$$ |X'|^2=1$$ Quiero curva de aceleración paralela a la normal $ ( \frac{dF}{dx}, \frac{dF}{dy}, -1 )$, por lo que

$$ \operatorname{cross}( X'', N )=0$$ Que obtenga desordenado rápidamente - cuatro no-lineal del PDE. Pero es divertido jugar con eg $ z=x^2+y^2$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X