[논문 리뷰] Asymptotic solutions of forced nonlinear second order differential equations and their extensions

Angelo B. Mingarelli, Kishin Sadarangani|ArXiv.org|2007. 03. 01.

Nonlinear Differential Equations Analysis참고 문헌 95인용 수 13

한 줄 요약

이 논문은 수정된 Schauder 고정점 정리, 비콤팩트도 측도, Volterra-Stieltjes 적분방정식을 이용하여 반직선 위에서 강제된 비선형 2차 미분방정식의 비진동성 및 점근적 행동에 대한 새로운 적분형 기준을 수립한다. 이는 미분방정식과 차분방정식을 통합하고, 초선형, 선형, 하위선형의 경우 간의 전통적 구분을 제거하며, 광범위한 비선형성 하에서 비가чёт 수의 해 가족에 대한 전역 존재 결과를 제공한다.

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.

연구 동기 및 목표

• 강제된 비선형 2차 미분방정식의 비진동성 및 점근적 행동에 대한 일반적인 적분형 기준을 개발한다.
• 미분방정식 결과를 적분방정식 및 Volterra-Stieltjes 적분방정식으로 확장하여 연속적이고 이산적인 경우를 통합한다.
• 진동 이론에서 전통적으로 구분되던 초선형, 하위선형, 선형 비선형성 간의 차이를 제거한다.
• 지역적 또는 큰 x에서의 존재성 외에, 비가чёт 수의 해 가족에 대한 전역 존재 정리를 제공한다.
• Volterra-Stieltjes 적분방정식 이론과 그 미분방정식 및 차분방정식에 대한 응용에 대한 종합적인 업데이트를 제시한다.

제안 방법

• 비콤팩트도 측도와 함께 수정된 Schauder 고정점 정리를 적용하여 해의 존재성을 증명한다.
• 고전적 분석 기법과 미분부등식을 사용하여 점근적 행동 및 비진동성을 분석한다.
• 2차 미분방정식을 σ가 유계 변동성을 가지는 함수인 형태의 Volterra-Stieltjes 적분미분방정식 y′(x) = y′(0) − ∫₀ˣ F(t,y(t)) dσ(t)로 모델링한다.
• 미분방정식과 Volterra-Stieltjes 방정식 간의 동치성을 확립하여, 미분방정식과 차분방정식을 통합적으로 다룰 수 있도록 한다.
• 적분방정식에 이 방법을 적용하고, 수축사상 및 적분부등식을 통해 존재성과 점근적 성질을 증명한다.
• 비교 기법과 최대원리를 사용하여 y′′(x)가 부호를 전환하지 않을 경우 비진동 행동를 유추한다.

실험 결과

연구 질문

• RQ1 F(x,y)에 대한 어떤 적분형 조건이 [x₀, ∞)에서 y′′(x) + F(x,y(x)) = g(x)의 비가чёт 수의 비진동 해 존재를 보장하는가?
• RQ2 Volterra-Stieltjes 적분방정식은 어떻게 2차 미분방정식과 차분방정식의 분석을 통합할 수 있는가?
• RQ3 진동 이론에서 초선형, 하위선형, 선형 비선형성 간의 구분은 어떤 의미에서 제거될 수 있는가?
• RQ4 강제된 비선형 2차 방정식의 해가 점근적으로 일정하거나 점근적으로 선형으로 유지되기 위한 조건은 무엇인가?
• 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은 적분부등식과 점근적 행동 분석을 통해 비진동 해 존재에 대한 충분 및 필요 조건을 제공한다.