[論文レビュー] 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

ひとこと要約

本稿では、係数の大きさに依存しない、実数直線上における2階線形微分方程式の非共轭性の新しい十分条件を提示する。変換による標準形への帰着と関連するグリーン関数の解析を用いる。主たる貢献は、係数関数の挙動とその導関数に基づく基準であり、ポテンシャル項の小規模性を仮定しなくてもよいという点で、既存の結果を拡張している。

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).

研究の動機と目的

• 実数直線上における2階線形微分方程式の非共轭性に関する新しい十分条件を構築すること。特に、ポテンシャル係数の小規模性を仮定しないこと。
• 1階係数の導関数の挙動に基づく条件を導入することで、既存の非共轭性基準を一般化すること。
• 変換後の係数関数の符号と単調性と非共轭性の性質との関係を確立すること。
• グリーン関数とコーシー関数の表現を用いて、無限区間における非共轭性の分析のための枠組みを提供すること。
• 特徴的曲線 $ G_L $ が通常必要とされる領域 $ \mathfrak{N} $ の外にある場合でも、非共轭性が成立しうることを示し、従来の仮定に疑問を呈すること。

提案手法

• 積分因子 $ v(t) = \exp(-\frac{1}{2}\int p(s)ds) $ を用いて、一般の2階線形微分方程式を標準形に変換し、$ x $ の係数が $ \frac{p^2(t)}{4} + r(t) $ となる新たな方程式を得る。
• 関連するグリーン関数が負定値であるような演算子のクラス $ \mathfrak{T}((a,b)) $ を定義し、非共轭性を保証する。
• コーシー関数 $ C(t,s) $ の存在性と符号の性質を用いて、$ a \leq s < t \leq b $ における $ C(t,s) $ の符号によって非共轭性を特徴付ける。
• シュールの比較定理および分離定理を用いて解の零点分布を解析し、共轭点の必要条件を導出する。
• 正の関数 $ v $ に対して $ (L_2 v)(t) \leq 0 $ が成り立つことにより、変換後の演算子が $ \mathfrak{T}((-\infty,\infty)) $ に属することを確認し、$ \mathbb{R} $ 上での非共轭性を確立する。
• 置換 $ y(t) = x(-t) $ を用いて、係数条件における片側不等式を両側不等式に拡張し、非共轭性を保つ。

実験結果

リサーチクエスチョン

• RQ1 係数関数 $ p(t) $ と $ q(t) $ がどのような条件下で、2階線形微分方程式 $ 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 特徴的曲線 $ G_L $ が通常必要とされる領域 $ \mathfrak{N} $ の外にある場合でも、2階ODEが $ \mathbb{R} $ 上で非共轭となることは可能か？
• RQ5 どのような変換技術を用いることで、$ (a, \infty) $ 上での非共轭性が $ \mathbb{R} $ 上での非共轭性に還元され、その同値性が保証されるか？

主な発見

• 非共轭性の新しい十分条件が確立された：$ p'(t) \geq 2r(t) $ かつ $ q(t) \leq \frac{p^2(t)}{4} + r(t) $ であれば、$ r(t) $ が小さいとは限らない場合でも、方程式は $ \mathbb{R} $ 上で非共轭となる。
• $ p'(t) \geq 2r(t) $ という条件により、$ q(t) $ が小さいことを仮定しなくても非共轭性を保証でき、古典的結果を一般化している。
• 本稿では、特徴的曲線 $ G_L $ が $ \mathfrak{O} $ に位置する場合でも非共轭性が成立しうることを証明した。これは、$ 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} $ 上での非共轭性に還元され、新規基準の半直線問題への適用が可能になる。
• $ \mathbb{R} $ 上で正の解 $ x(t) > 0 $、例えば $ x(t) = e^{-\frac{1}{2}\int_0^t p(s)ds} $ が存在する場合、非共轭性が成立する。この事実を用いて、新基準の妥当性を検証した。