1
$\begingroup$

On $\mathbb R^n$, let $\rho: \mathbb R^n\to\mathbb R$ be a smooth function, and $g$ be the metric given by scaling the usual flat metric by $e^{2\rho}$.

I want to know how to show that the geodesics of this metric are the solutions $\vec x(t)$ to the second-order differential equation $$\frac{d^2{\vec x}}{dt^2}+2(\vec{\text{grad}(\rho)}\cdot \frac{d\vec{x}}{dt})(\frac{d\vec{x}}{dt})-(\frac{d\vec{x}}{dt}\cdot\frac{d\vec{x}}{dt})\vec{\text{grad}(\rho)}=0.$$ (the gradient operation and dot products here are the ordinary Euclidean versions.)

I was also wondering when $n=2,3$, what is the (ordinary Euclidean) curvature of these curves?

  • 0
    Equation (1) in my answer to http://math.stackexchange.com/questions/98113/ may be helpful.2012-03-26
  • 0
    I retagged the question just to ensure that it is found under the right categories: there is no curvature involved but rather it is related to conformal geometry.2012-03-27

1 Answers 1

3

In $\mathbb{R}^n$ we have some coordinates, so let $x^i (t)$ be the coordinate presentation of the curve. A shorthand notation $\dot{x}^i (t_0) = \frac{d}{dt}x^i |_{t=t_0}$ simplifies the calculations, as usual. The geodesic equation then says that $$ (\nabla_{\dot{x}}\dot{x})^k = \frac{d^2 x^k}{dt^2} + \dot{x}^i \dot{x}^j \Gamma^k_{ij} = 0 \tag{1} $$ where $x(t)$ has a unit speed parametrization.

Recall that the Christoffel symbols are given by $$ \Gamma^k_{ij} = \frac{1}{2} g^{kl} (g_{il,j} + g_{lj,i} - g_{ij,l}) \tag{2} $$

Remark. In the standard Euclidean metric $g_{ij} = \delta_{ij}$ in $\mathbb{R}^n$ the Christoffel symbols vanish and equation (1) gives straight lines as its solutions.

Let's now look what happens with the Christoffel symbols if we replace $g$ with $\hat{g} = e^{2 \rho} g$. Observe that $$ \hat{g}_{ij,l} = 2 \rho_l e^{2 \rho} g_{ij} + e^{2 \rho} g_{ij,l} $$ and substitute this into (2) to get $$ \begin{align} \hat{\Gamma}^k_{ij} &= \frac{1}{2} e^{-2 \rho} g^{kl} ( 2 \rho_j e^{2 \rho} g_{il} + e^{2 \rho} g_{il,j} + 2 \rho_i e^{2 \rho} g_{lj} + e^{2 \rho} g_{lj,i} - 2 \rho_l e^{2 \rho} g_{ij} - e^{2 \rho} g_{ij,l}) \\ &= \Gamma^k_{ij} + \rho_j \delta^k{}_i + \rho_i \delta^k{}_j - \rho^k g_{ij} \tag{3} \end{align} $$ where we have used metric $g$ to raise index $k$ in $\rho_k := \partial_k \rho$

This transformation affects equation (1) in the following way: $$ \begin{align} (\hat{\nabla}_{\dot{x}}\dot{x})^k &= \frac{d^2 x^k}{dt^2} + \dot{x}^i \dot{x}^j \hat{\Gamma}^k_{ij} \\ &= \frac{d^2 x^k}{dt^2} + + \dot{x}^i \dot{x}^j (\Gamma^k_{ij} + \rho_j \delta^k{}_i + \rho_i \delta^k{}_j - \rho^k g_{ij}) = 0 \end{align} $$

Your equation is now obtained immediately from the above calculations since you start with the Euclidean metric $g_{ij} = \delta_{ij}$ for which the Christoffels vanish, as has been already noted, so you only need to take into account that $\operatorname{grad}(\rho)\cdot \dot{x} = \rho_i \dot{x}^i$ and $\dot{x} \cdot \dot{x} = \dot{x}^i \dot{x}_i$

Ah, well, $\operatorname{grad}(\rho)^i = \rho^i = g^{ij} \rho_j$, of course.

Indeed, the above considerations are very formal and straightforward. In order to get a deeper insight one needs to contemplate the conformal transformations of $\mathbb{R}^n$. In dimension $n=2$ the situation is controlled by the complex analysis, while in dimensions 3 and higher the Liouville's theorem states that all such transformations are compositions of translations, dilations, and inversions (so called Moebius transformations).

(The Einstein summation convention is used throughout this post)

  • 0
    Thanks for your wonderful answer! I just saw [this post](http://math.stackexchange.com/questions/124450/the-behavior-of-all-unit-speed-geodesics-on-a-surface-of-revolution), could you say something about that? Seems interesting.2012-03-27
  • 0
    You are welcome. I am glad that it helps.2012-03-27
  • 0
    @Jack Regarding [that](http://math.stackexchange.com/questions/124450/) post I would wait until someone gets Maple or other tool to compute all the required quantities.2012-03-27
  • 0
    :) But could you list a "outline" that how to consider "the behavior of all unit speed geodesics" in that problem? Just generally speaking. Thanks.2012-03-27
  • 0
    @JackWitt It depends on what one understands by "the behavior of all unit speed geodesics". The local behavior is determined by the curvature at the point of consideration, the global one needs some analysis of ODE. I don't want to interfere with that question at the moment, sorry :-)2012-03-27