[论文解读] On the point transformations for the second order differential equations. I

V. V. Dmitrieva, Руслан Шарипов|arXiv (Cornell University)|Mar 6, 1997

Differential Equations and Boundary Problems参考文献 7被引用 19

一句话总结

本文在一般点变换下解决了形如 $ y'' = P + 3Qy' + 3R(y')^2 + S(y')^3 $ 的二阶常微分方程的等价性问题。通过构造不变量并运用嘉当的运动标架法，推导出规范形式，建立了不变量与系数之间的显式关系，关键结果涵盖一般位置方程及不变量为常数的特殊情况。

ABSTRACT

Point transformations for the ordinary differential equations of the form $y''=P(x,y)+3 Q(x,y) y'+3 R(x,y) (y')^2+S(x,y) (y')^3$ are considered. Some classical results are resumed. Solution for the equivalence problem for the equations of general position is described.

研究动机与目标

• 在一般点变换下解决形如 $ y'' = P + 3Qy' + 3R(y')^2 + S(y')^3 $ 的二阶常微分方程的等价性问题。
• 将特雷斯和嘉当的经典结果推广至一般位置方程，即系数不受到特殊对称性约束的情形。
• 通过构造微分不变量并求解相关结构方程，推导此类方程的规范形式。
• 通过确定不变量与系数之间的函数关系，对不变量为常数的方程进行分类。

提出的方法

• 从系数 $ P, Q, R, S $ 构造一个对称的三维数组 $ \theta_{ijk} $，其中 $ \theta_{111} = P $，$ \theta_{112} = \theta_{121} = \theta_{211} = Q $，依此类推。
• 使用一个反对称矩阵 $ d^{ij} = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} $ 提升指标，定义 $ \theta^k_{ij} = \sum_r d^{kr} \theta_{rij} $。
• 通过雅可比矩阵 $ S $（直接）和 $ T $（逆）推导 $ \theta^k_{ij} $ 在点变换下的变换规律。
• 运用嘉当的运动标架法，通过求解关于函数 $ u $ 和 $ v $ 的偏微分方程组（如 $ v \partial u / \partial y = -L u $ 和 $ u \partial v / \partial x = -K v $）构造规范坐标。
• 当 $ K \neq 0 $，$ L \neq 0 $ 时，通过选择特定解 $ u = -K(\tilde{x} + \bar{y}) $，$ v = -L(\tilde{x} + \tilde{y}) $，引入规范变量 $ \tilde{x}, \tilde{y} $。
• 利用结构方程和归一化条件，推导出变换后系数 $ \tilde{P}, \tilde{Q}, \tilde{R}, \tilde{S} $ 关于不变量 $ I_3, I_7 $ 和参数 $ K, L $ 的显式表达式。

实验结果

研究问题

• RQ1 两个形如 $ y'' = P + 3Qy' + 3R(y')^2 + S(y')^3 $ 的二阶常微分方程在一般点变换下等价的充要条件是什么？
• RQ2 当微分不变量为常数时，如何为这类方程构造规范形式？
• RQ3 当 $ K \neq 0 $，$ L \neq 0 $ 且不变量为常数时，不变量 $ I_3 $ 和 $ I_7 $ 必须满足何种函数关系？
• RQ4 当方程处于一般位置时，其系数在点变换下的变换规律如何？
• RQ5 是否可以使用嘉当的运动标架法统一求解所有一般位置方程的等价性问题？

主要发现

• 当 $ F = 0 $ 时，规范形式为 $ \tilde{y}'' = -\frac{1}{3}e^{-K\tilde{x}} + 2K\tilde{y}' + 3I_3 e^{K\tilde{x}} (\tilde{y}')^2 + I_7 e^{2K\tilde{x}} (\tilde{y}')^3 $，其中 $ I_7 + KI_3 = 0 $ 且 $ -8I_7K^2 + 6KI_3^2 + 9 = 0 $。
• 当 $ K \neq 0 $，$ L \neq 0 $ 且不变量为常数时，规范系数为 $ \tilde{F} = \frac{3}{KL(\tilde{x}+\tilde{y})^2} $，$ \tilde{B} = -\frac{9}{KL^2(\tilde{x}+\tilde{y})^3} $，$ \tilde{P} = -\frac{L}{3K^2(\tilde{x}+\tilde{y})} $，$ \tilde{Q} = -\frac{1}{\tilde{x}+\tilde{y}} $。
• 系数 $ \tilde{R} $ 和 $ \tilde{S} $ 分别由 $ \tilde{R} = \frac{-3I_3 - 2}{3(\tilde{x}+\tilde{y})} $，$ \tilde{S} = -\frac{I_7K}{L^2(\tilde{x}+\tilde{y})} $ 给出，其中 $ I_3 $ 和 $ I_7 $ 受约束于 $ 3KI_7 + 3(K^2 - 2L)I_3 + 6L^2 - 8LK^2 = 0 $ 和 $ 6KI_3^2 - 7KLI_3 - 8K^2I_7 - I_7L + 9 = 0 $。
• 点变换下 $ \theta^k_{ij} $ 的变换规律为 $ \theta^k_{ij} = \sum_{m,p,q} S^k_m T^p_i T^q_j \tilde{\theta}^m_{pq} + \sum_m S^k_m \frac{\partial T^m_i}{\partial x^j} - \frac{\tilde{\sigma}_i \delta^k_j + \tilde{\sigma}_j \delta^k_i}{3} $，该式完整编码了等价性结构。
• 本文将特雷斯和嘉当的经典结果推广至一般位置方程，为该类方程提供了等价性问题的完整解。