几乎所有的实线性二阶常微分方程都可以由黎曼双曲几何二维空间中的测地线曲线求解
Almost all real linear second order ordinary differential equations are solved by geodesic curves in two dimensional Riemannian hyperbolic geometry
摘要 Abstract
我证明了形如 \(u''(x) + h(x)u(x) = 0\) 的实线性二阶常微分方程(其中 \(h(x)\) 可微),在任意 \(x_0 \in \mathbb{R}\) 的某个开区间内均存在两个线性无关解:\[ u_\text{top}(x) = \exp\left[\int_{x_0}^{x}\!\!d\xi\,\Phi(\xi)\frac{\Phi'(\xi)-\sqrt{\left[h(\xi)-\Phi^{2}(\xi)\right]^{2}+\left[\Phi'(\xi)\right]^{2}}}{h(\xi)-\Phi^{2}(\xi)}\right], \] \[ u_\text{bot}(x) = \exp\left[\int_{x_0}^{x}\!\!d\xi\,\Phi(\xi)\frac{\Phi'(\xi)+\sqrt{\left[h(\xi)-\Phi^{2}(\xi)\right]^{2}+\left[\Phi'(\xi)\right]^{2}}}{h(\xi)-\Phi^{2}(\xi)}\right], \] 其中 \(\Phi(x)\) 是黎曼流形 \(\mathbb{M}_h\) 上的任意测地线曲线,并且在 \(x_0\) 处非竖直。我定义 \(\mathbb{M}_h\) 为上半平面 \(\{(x,\varPhi)\in\mathbb{R}^2\,|\,\varPhi>0\}\),并移除满足 \(\varPhi^2 = h(x)\) 的点,配备度规 \(g_h = \left[\left(h(x)-\varPhi^2\right)^2dx^2+d\varPhi^2\right]/\varPhi^2\)。这一结果的重要特征在于度规 \(g_h\) 完全由函数 \(h(x)\) 定义。我还证明了 \(\mathbb{M}_h\) 和庞加莱上半平面 \(\mathbb{H}\) 之间存在局部微分同胚映射,该映射由 \(u''(x) + h(x)u(x) = 0\) 的任意一对线性无关解诱导。若选择这对解为 \(u_\text{top}(x)\) 和 \(u_\text{bot}(x)\),则对应的测地线曲线 \(\Phi(x)\) 被映射为 \(\mathbb{H}\) 上的竖直线性测地线。因此,建立了线性二阶常微分方程与二维双曲几何之间的联系。
I show that a real linear second order ordinary differential equation $u''\left(x\right)+h\left(x\right)u\left(x\right)=0$, with differentiable $h(x)$, locally admits two linearly independent solutions which exist on an open interval around any $x_0\in\mathbb{R}$: \[ u_\mathtt{top}(x)=\exp\left[\int_{x_0}^{x}\!\!d\xi\,\Phi\left(\xi\right)\frac{\Phi'\left(\xi\right)-\sqrt{\left[h\left(\xi\right)-\Phi^{2}\left(\xi\right)\right]^{2}+\left[\Phi'\left(\xi\right)\right]^{2}}}{h\left(\xi\right)-\Phi^{2}\left(\xi\right)}\right], \] \[ u_\mathtt{bot}(x)=\exp\left[\int_{x_0}^{x}\!\!d\xi\,\Phi\left(\xi\right)\frac{\Phi'\left(\xi\right)+\sqrt{\left[h\left(\xi\right)-\Phi^{2}\left(\xi\right)\right]^{2}+\left[\Phi'\left(\xi\right)\right]^{2}}}{h\left(\xi\right)-\Phi^{2}\left(\xi\right)}\right], \] where $\Phi(x)$ is any geodesic curve in a two dimensional hyperbolic geometry of a Riemannian manifold $\mathbb{M}_h$, which is non-vertical at $x_0$. I define $\mathbb{M}_h$ to be an upper half plane $\{\left(x,\varPhi\right)\in\mathbb{R}^2\,|\,\varPhi>0\}$, with points in which $\varPhi^2=h(x)$ being removed, equipped with metric $g_h=\left[\left(h(x)-\varPhi^2\right)^2dx^2+d\varPhi^2\right]/\varPhi^2$. A non-trivial character of the presented result stems from the fact that $g_h$ is solely defined in terms of the function $h(x)$. I also show that a local diffeomorphism between $\mathbb{M}_h$ and Poincar\'e upper half plane $\mathbb{H}$ is induced by any pair of linearly independent solutions of $u''\!\left(x\right)+h\left(x\right)u\left(x\right)=0$. If this pair is selected to be $u_\mathtt{top}(x)$ and $u_\mathtt{bot}(x)$, the associate geodesic curve $\Phi(x)$ is mapped to a vertical geodesic curve on $\mathbb{H}$. Thus, I establish a link between linear second order ordinary differential equations and two dimensional hyperbolic geometry.