[论文解读] Nonoscillation and Stability of the Second Order Ordinary Differential Equations with a Damping Term

Leonid Berezansky, Elena Braverman+1 more|arXiv (Cornell University)|Jul 14, 2008

Nonlinear Differential Equations Analysis参考文献 13被引用 3

一句话总结

本文针对具有可测系数、无需连续性假设的二阶线性常微分方程（带阻尼项），建立了新的非振荡性与指数稳定性判据。通过分析格林函数与弗洛quet理论下的非振荡区间，基于阻尼系数的积分性质推导出指数稳定性的条件，将经典结果推广至更广泛的方程类，且仅需最小的正则性假设。

ABSTRACT

In this paper we consider the linear ordinary equation of the second order $$ L x(t)\equiv \ddot{x}(t) +a(t)\dot{x}(t)+b(t)x(t)=f(t), \eqno{(1)} $$ and the corresponding homogeneous equation $$ \ddot{x}(t) +a(t)\dot{x}(t)+b(t)x(t)=0. \eqno{(2)} $$ Note that $[α,β]$ is called a nonoscillation interval if every nontrivial solution has at most one zero on this interval. Many investigations which seem to have no connection such as differential inequalities, the Polia-Mammana decomposition (i.e. representation of the operator $L$ in the form of products of the first order differential operators), unique solvability of the interpolation problems, kernels oscillation, separation of zeros, zones of Lyapunov's stability and some others have a certain common basis - nonoscillation. Presumably Sturm was the first to consider the two problems which naturally appear here: to develop corollaries of nonoscillation and to find methods to check nonoscillation. In this paper we obtain several tests for nonoscillation on the semiaxis and apply them to propose new results on asymptotic properties and the exponential stability of the second order equation (2). Using the Floquet representations and upper and lower estimates of nonoscillation intervals of oscillatory solutions we deduce results on the exponential and Lyapunov's stability and instability of equation (2).

研究动机与目标

• 发展适用于具有可测系数的二阶线性常微分方程的非振荡性判据，突破经典连续性假设的限制。
• 基于阻尼系数的积分性质，建立齐次方程指数稳定性的新条件。
• 通过弗洛quet理论与格林函数正性，建立非振荡理论与稳定性分析之间的联系。
• 通过将非振荡解作为模型方程，推广博尔-佩龙定理以实现稳定性分析。
• 通过解零点间距的估计，提供非振荡区间的显式界。

提出的方法

• 利用柯西函数与格林函数表示解，并分析边值问题。
• 应用微分不等式定理，推导格林函数的正性，从而蕴含非振荡性。
• 采用弗洛quet理论分析周期系数下的单人矩阵与谱半径。
• 推导解相邻零点间距的上下界，以排除周期性行为。
• 通过变换 $ z''(t) + p(t)z(t) = 0 $，其中 $ p(t) = b(t) - a^2(t)/4 - a'(t)/2 $，将阻尼方程化为标准形式。
• 应用由格林函数定义的积分算子的谱半径估计，推断稳定性性质。

实验结果

研究问题

• RQ1 在何种条件下，具有可测系数的二阶常微分方程在半轴上解是非振荡的？
• RQ2 在不假设系数连续性的前提下，如何确定齐次方程的指数稳定性？
• RQ3 阻尼系数的积分 $ \int_0^\omega a(t)dt $ 在确定稳定性方面起什么作用？
• RQ4 解零点间距的估计如何与系统的稳定性或不稳定性相关联？
• RQ5 能否通过格林函数正性与谱半径分析来表征非振荡区间？

主要发现

• 若 $ \int_0^\omega a(t)dt > 0 $，则方程 (7.1) 是指数稳定的，如单人算子的谱半径小于1所示。
• 若 $ \int_0^\omega a(t)dt < 0 $，则基本解呈指数增长，表明系统不稳定，且满足 $ |\lambda_1| > 1 $。
• 当 $ \int_0^\omega a(t)dt = 0 $ 时，基本解有界，对应 $ |\lambda_1| = 1 $。
• 定理12给出了振荡性的显式充分条件：若 $ P = \mathrm{ess\,inf}\,p(t) > 0 $，$ Q = \mathrm{ess\,sup}\,p(t) $，且 $ \omega \in \left(0, \frac{\pi}{2\sqrt{Q}}\right] \cup \cdots \cup \left(\frac{k-1}{2}\frac{\pi}{\sqrt{P}}, \frac{k\pi}{2\sqrt{Q}}\right) $，其中 $ \frac{k-1}{k} < \sqrt{P/Q} $，则方程为振荡的，且零点间距不同于 $ 2\omega $。
• 第7.1节中的例子表明，即使 $ \int_0^\pi a(t)dt > 0 $，若解结构允许无界分量（如 $ x_1 = e^{-t}\cos t $），指数稳定性仍可能不成立，凸显了排除周期性零点模式的必要性。