线性二阶常微分方程背后的普适几何结构
Universal geometries underpinning linear second order ordinary differential equations
摘要 Abstract
[arXiv:2503.17816v1]中关于实值线性二阶常微分方程 \( u''(x) + h(x)u(x) = 0 \),其中 \( h(x) \) 可微,与二维双曲几何之间深刻关系的研究被以多种方式推广。首先,我展示了等价的关系,其中双曲几何被二维(反)de Sitter 几何所取代。我证明了该方程在任何地方都存在一对线性无关解,这些解可以局部用这种几何中的任意非竖直线段曲线来表达。我还证明了通过 \( u'(x) = \Theta(x)u(x) \) 得到的对应 Riccati 方程 \( \Theta'(x) + \Theta^2(x) + h(x) = 0 \) 的每个解本身都是二维(反)de Sitter 几何中的测地线曲线。接下来,当将 \( h(x) \) 推广为全纯函数 \( h(z) \) 后,我以几乎相同的方式表达了复数情形下 \( u''(z) + h(z)u(z) = 0 \) 的两个线性无关解,且在这种情况下,用于构建解的曲线是在球面的二维复黎曼几何中测地线。类似的复数 Riccati 方程结果随之得出。这种几何解释独立于函数 \( h(z) \),而全纯度量的形式与 [arXiv:2503.17816v1] 中发现的双曲度量相同。最后,我证明了该方程与四维伪黎曼 Kähler-Norden 几何存在等价关系。使用实数几何的优势在于,Kähler-Norden 流形中的某些二维子流形再现了与实方程相关的双曲几何以及(反)de Sitter 几何场景。这些场景均具有重要意义。
A deep relationship [arXiv:2503.17816v1] between real linear second order ordinary differential equations $u''\left(x\right)+h\left(x\right)u\left(x\right)=0$, with differentiable $h(x)$, and two dimensional hyperbolic geometry is generalized in a multitude of ways. First, I present an equivalent relationship in which the hyperbolic geometry is replaced by a two dimensional (anti-)de Sitter geometry. I show that this equation everywhere admits a pair of linearly independent solutions locally expressed in terms of an arbitrary non-vertical geodesic curve in this geometry. I also show that every solution of a corresponding Ricatti equation $ \Theta'\left(x\right)+\Theta^2\left(x\right)+h(x)=0$ obtained through $u'\left(x\right)=\Theta\left(x\right)u\left(x\right)$ itself is a geodesic curve in the two dimensional (anti-)de Sitter geometry. Next, after promoting $h(x)$ to a holomorphic function $h(z)$, I express two linearly independent solutions of $u''\left(z\right)+h\left(z\right)u\left(z\right)=0$ in virtually the same way as for the real scenario and hyperbolic geometry. In this case, the curves used to build the solutions are geodesic in a two dimensional complex Riemannian geometry of a sphere. Analogous results for the complex Ricatti equation follow. This geometric interpretation is independent of the function $h(z)$, while the holomorphic metric assumes the same functional form as the hyperbolic metric discovered in [arXiv:2503.17816v1]. Finally, I show that the equation in question is in an equivalent relationship with four dimensional pseudo Riemannian K\"ahler-Norden geometry. The added value of working with real geometry turns out to be that certain two dimensional submanifold of the K\"ahler-Norden manifold render the hyperbolic and the (anti-)de Sitter scenario, both relevant for the real equation.