[论文解读] The theory of disconjugacy for a second order linear differential equation

V.Ya. Derr|ArXiv.org|Nov 28, 2008

Numerical methods for differential equations参考文献 10被引用 5

一句话总结

本文提出了一种新的充分条件，用于判断整个实直线上的二阶线性微分方程的非共轭性，该条件不依赖于系数的大小，通过变换到标准形式并分析相应的格林函数。关键贡献在于基于系数函数及其导数的行为提出了一项准则，扩展了已有结果，放宽了对势项大小的假设要求。

ABSTRACT

This is an introduction to the theory of disconjugacy for a second order linear differential equation. We give new proofs of some of basic results and obtain new sufficient conditions for disconjugacy (in particular, on the whole real axis).

研究动机与目标

• 为实直线上二阶线性微分方程的非共轭性建立新的充分条件，尤其在不需势系数较小时仍适用。
• 通过引入基于一阶系数导数行为的条件，推广现有的非共轭性判据。
• 建立变换后系数函数的符号与单调性与非共轭性之间的联系。
• 提供一个利用格林函数与柯西函数表示法分析无限区间上非共轭性的框架。
• 证明即使特征曲线 $ G_L $ 位于标准必要区域 $ \mathfrak{N} $ 之外，非共轭性仍可成立，从而挑战了先前的假设。

提出的方法

• 通过积分因子 $ v(t) = \exp(-\frac{1}{2}\int p(s)ds) $ 将一般二阶线性常微分方程变换为标准形式，得到新方程中 $ x $ 的系数为 $ \frac{p^2(t)}{4} + r(t) $。
• 定义一类算子 $ \mathfrak{T}((a,b)) $，其对应的格林函数为负定，从而保证非共轭性。
• 利用柯西函数 $ C(t,s) $ 的存在性与符号性质，通过 $ C(t,s) $ 在 $ a \leq s < t \leq b $ 上的符号来刻画非共轭性。
• 应用斯 turm 的比较定理与分离定理，分析解的零点分布，并推导共轭点存在的必要条件。
• 通过验证变换后的算子属于 $ \mathfrak{T}((-\infty,\infty)) $，即对某个正函数 $ v $ 有 $ (L_2 v)(t) \leq 0 $，从而在 $ \mathbb{R} $ 上建立非共轭性。
• 使用代换 $ y(t) = x(-t) $，将系数条件从单边不等式推广至双边情形，同时保持非共轭性不变。

实验结果

研究问题

• RQ1 在何种条件下，二阶线性微分方程 $ x'' + p(t)x' + q(t)x = 0 $ 在整个实直线上是非共轭的？
• RQ2 当 $ q(t) \leq \frac{p^2(t)}{4} + r(t) $ 对某个函数 $ r(t) $ 成立时，是否可以不依赖于 $ q(t) $ 较小的假设而保证非共轭性？
• RQ3 系数 $ p(t) $ 的导数性质（如 $ p'(t) \geq 2r(t) $）如何影响方程的非共轭性？
• RQ4 是否可能存在一种二阶常微分方程在 $ \mathbb{R} $ 上是非共轭的，即使其特征曲线 $ G_L $ 位于通常被视为必要条件的区域 $ \mathfrak{N} $ 之外？
• RQ5 何种变换技术可将 $ (a, \infty) $ 上的非共轭性问题约化为 $ \mathbb{R} $ 上的问题？在何种条件下可保证这种等价性？

主要发现

• 建立了 $ \mathbb{R} $ 上非共轭性的新充分条件：若 $ p'(t) \geq 2r(t) $ 且 $ q(t) \leq \frac{p^2(t)}{4} + r(t) $，则方程在 $ \mathbb{R} $ 上是非共轭的，即使 $ r(t) $ 不小亦成立。
• 条件 $ p'(t) \geq 2r(t) $ 允许在不假设 $ q(t) $ 较小时保证非共轭性，从而推广了经典结果。
• 本文证明了即使特征曲线 $ G_L $ 位于 $ \mathfrak{O} $ 而非 $ \mathfrak{N} $ 内，非共轭性仍可成立，表明 $ G_L \subset \mathfrak{N} $ 并非非共轭性的必要条件。
• 对于满足 $ p'(t) \geq 0 $ 的方程，若 $ q(t) \leq \frac{p^2(t)}{4} + \frac{1}{2}p'(t) $，则方程在 $ \mathbb{R} $ 上是非共轭的，该结果将先前结果推广至非严格单调的 $ p $。
• 通过变换 $ t \to a + t^2 $，可将 $ (a, \infty) $ 上的非共轭性问题约化为 $ \mathbb{R} $ 上的问题，从而可将新准则应用于半直线问题。
• 若存在正解 $ x(t) > 0 $ 在 $ \mathbb{R} $ 上成立（例如 $ x(t) = e^{-\frac{1}{2}\int_0^t p(s)ds} $），则可推出非共轭性，且该性质被用于验证新条件。