[论文解读] Asymptotic solutions of forced nonlinear second order differential equations and their extensions

Angelo B. Mingarelli, Kishin Sadarangani|ArXiv.org|Mar 1, 2007

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

一句话总结

本文通过改进的Schauder不动点定理、非紧性度量以及Volterra-Stieltjes积分方程，建立了强迫非线性二阶微分方程在半直线上非振荡性和渐近行为的新积分型准则。该研究统一了微分方程与差分方程，消除了超线性、亚线性和线性情形之间的传统区分，并在广泛的非线性条件下，为不可数解族提供了全局存在性结果。

ABSTRACT

Using a modified version of Schauder's fixed point theorem, measures of non-compactness and classical techniques, we provide new general results on the asymptotic behavior and the non-oscillation of second order scalar nonlinear differential equations on a half-axis. In addition, we extend the methods and present new similar results for integral equations and Volterra-Stieltjes integral equations, a framework whose benefits include the unification of second order difference and differential equations. In so doing, we enlarge the class of nonlinearities and in some cases remove the distinction between superlinear, sublinear, and linear differential equations that is normally found in the literature. An update of papers, past and present, in the theory of Volterra-Stieltjes integral equations is also presented.

研究动机与目标

• 为强迫非线性二阶微分方程在[x₀, ∞)上的非振荡性和渐近行为，建立通用的积分型准则。
• 将微分方程的结果推广至积分方程和Volterra-Stieltjes积分方程，统一连续与离散情形的分析。
• 在振荡理论中消除超线性、亚线性和线性非线性之间的传统区分。
• 为不可数解族提供全局存在性定理，而不仅限于局部或大x值下的存在性。
• 全面更新Volterra-Stieltjes积分方程理论，并展示其在微分方程与差分方程中的应用。

提出的方法

• 结合非紧性度量，应用改进的Schauder不动点定理，证明解的存在性。
• 运用经典分析技巧与微分不等式，分析渐近行为与非振荡性。
• 将二阶微分方程建模为形如y′(x) = y′(0) − ∫₀ˣ F(t,y(t)) dσ(t)的Volterra-Stieltjes积分-微分方程，其中σ为有界变差函数。
• 建立微分方程与Volterra-Stieltjes方程之间的等价性，实现对微分与差分方程的统一处理。
• 将该方法应用于积分方程，通过压缩映射与积分不等式证明存在性与渐近性质。
• 利用比较方法与最大值原理，当y′′(x)不改变符号时，推断解的非振荡行为。

实验结果

研究问题

• RQ1 F(x,y)的何种积分型条件可确保方程y′′(x) + F(x,y(x)) = g(x)在[x₀, ∞)上存在不可数多条非振荡解？
• RQ2 Volterra-Stieltjes积分方程如何统一第二类微分方程与差分方程的分析？
• RQ3 在振荡理论中，超线性、亚线性和线性非线性之间的区分在何种意义上可被消除？
• RQ4 在何种条件下，强迫非线性二阶方程的解保持渐近常数或渐近线性？
• RQ5 F与σ的积分条件如何与解的全局存在性及非振荡行为相关联？

主要发现

• 本文在F的积分型条件下，建立了无强迫项方程y′′(x) + F(x,y(x)) = 0的不可数多解的全局存在性，扩展了先前的局部存在性结果。
• 存在正的、非振荡解的充要条件为：对某个M>0，有∫ₐ^∞ (t−a)F(t,M) dσ(t) < ∞。
• 对于最终为正且满足y′(x) → c ≥ 0的解，当ε > 1时，∫ₐ^∞ y(t)^{-ε} F(t,y(t)) dσ(t) < ∞为必要条件。
• Volterra-Stieltjes方程框架可直接导出微分与差分方程的结果作为推论，无需重新证明。
• 该方法成功消除了传统上将非线性划分为超线性、亚线性和线性类型的做法，实现了三类非线性的统一处理。
• 定理4.4、4.5、4.7与4.8通过积分不等式与渐近行为分析，提供了非振荡解存在的充分必要条件。