[論文レビュー] Existence and uniqueness of solutions to systems of delay dynamic equations on time scales

Başak Karpuz|arXiv (Cornell University)|Jan 5, 2010

Nonlinear Differential Equations Analysis被引用数 6

ひとこと要約

本稿は、任意の時刻スケール上での一階非線形遅れ動的方程式系について、Picard-Lindel"of定理を確立し、解の局所的存在および一意性を証明する。さらに、線形系についてのグローバルな存在および一意性を拡張し、主解を用いたパラメータの変動公式を導出することで、任意の時刻スケール上での遅れ動的方程式に関する文献における重要な空白を埋める。

ABSTRACT

The purpose of this paper is to establish Picard-Lindel\\"{o}f theorem for local uniqueness and existence results for first-order systems of nonlinear delay dynamic equations. In the linear case, we extend our results to global existence and uniqueness of solutions on the entire interval (allowed to be unbounded above), and prove the variation of parameters formula for the unique solution in terms of the principal solution. A simple example concerning the ordinary case is also provided.

研究の動機と目的

• 既存の文献において、時刻スケール上での遅れ動的方程式系の存在および一意性に関する結果が不足しているという問題に対処すること。
• 古典的なPicard-Lindel"of定理を任意の時刻スケール上での非線形遅れ動的方程式に拡張すること。
• 非有界区間上での線形遅れ動的方程式系について、グローバルな存在および一意性を確立すること。
• 主解を用いて、線形系に対して一般化されたパラメータの変動公式を導出すること。
• 主解による解の表現を証明することで、遅れ動的方程式の定性的解析のための厳密な基盤を提供すること。

提案手法

• 時刻スケール上での一階非線形遅れ動的方程式系を、初期データとともに定式化し、状態依存遅れ関数 $\tau_i(t)\leq t$ を用いて分布遅れを組み込む。
• Banach空間上のrd連続関数の空間において、Picard-Lindel"ofの不動点論法を適用し、解の局所的存在および一意性を証明する。
• 解空間の完備性と遅れ作用素の構造を活用することで、非有界時刻スケール上での線形系についての存在および一意性結果を拡張する。
• 同次方程式の単位初期条件を満たす解として、主解 $\mathcal{X}(t,s)$ の概念を導入し、それがrd連続的であり、$[s,\gamma]_{\mathbb{T}}$ 上で動的方程式を満たすことを保証する。
• 強制項および遅れ初期値を含む積分を用いて、解を初期データに主解を適用したものの和として表現する、パラメータの変動公式を導出する。
• 遅延インデックスを初期区間内および外に分割することで、直接微分と集合分割を用いて、構築された関数が元の動的方程式を点ごとに満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 標準的な連続性およびリプシッツ型条件の下で、時刻スケール上の一階非線形遅れ動的方程式系について、局所解が存在し、それが一意的であるか？
• RQ2 線形遅れ動的方程式系について、非有界時刻スケール上での局所的解の存在および一意性結果をグローバル解に拡張できるか？
• RQ3 線形遅れ動的方程式系について、一般化されたパラメータの変動公式が、主解を用いて表現可能であるか？
• RQ4 主解 $\mathcal{X}(t,s)$ は、$\mathbb{R}$、$\mathbb{Z}$、あるいはハイブリッド領域などの異なる時刻スケール構造においてどのように振る舞うか？
• RQ5 理論を特殊化することで、通常微分方程式および差分方程式の既知の結果を回復できるか？

主な発見

• 本稿は、Picard-Lindel"of定理に基づく不動点論法を用いて、時刻スケール上の一階非線形遅れ動的方程式系について、解の局所的存在および一意性を証明する。
• 非有界時刻スケール上での線形遅れ動的方程式系について、標準的なrd連続性および再帰性条件の下で、グローバルな存在および一意性が確立される。
• 解を初期データに主解を適用したものの和と、強制項および遅れ初期項の積分を含む形で表現する、パラメータの変動公式が導出される。
• 主解 $\mathcal{X}(t,s)$ が、同次線形系の基本解であることが示され、$t \in [\beta,\gamma]^\kappa_{\mathbb{T}}$ で $\mathcal{X}^\Delta(t,s) = \sum_{i=1}^n p_i(t)\mathcal{X}(\tau_i(t),s)$ を満たす。
• 遅延インデックスを初期区間内および外に分解することで、構築された関数が元の動的方程式を $[\beta,\gamma]^\kappa_{\mathbb{T}}$ 上で点ごとに満たすことを示すことにより、解の表現公式が厳密に検証される。
• 理論は既知の結果を回復する：$\mathbb{T} = \mathbb{R}$ の場合、解は指数関数 $e_p(t,\beta)$ を含む古典的なパラメータの変動公式に簡略化される。