[論文レビュー] Structure of the solution set to differential inclusions with impulses at variable times

Agata Grudzka, Sebastian Ruszkowski|arXiv (Cornell University)|Jun 11, 2014

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

ひとこと要約

本稿は、可変時刻に発生するインパルスを伴う微分包含の解集合の位相的構造を調査し、状態に依存するジャンプ時刻を扱うために特化したバナッハ空間を導入する。解集合が $ R_{\theta} $-集合であることが証明され、これは非線形解析における重要な結果であり、コンパクト性と可縮性を保証する。既存の結果を固定時刻インパルス系からより複雑な状態依存インパルス系へと拡張する。

ABSTRACT

A topological structure of the solution set to differential inclusions with impulses at variable times is investigated. In order to do that an appropriate Banach space is defined. It is shown that the solution set is an $R_δ$-set. Results are new also in the case of~differential equations with impulses at variable times.

研究の動機と目的

• 可変時刻にインパルスを伴う微分包含の解集合の位相的構造を分析すること。これは、既存理論が限界に達する分野である。
• 状態依存インパルス時刻の課題を克服すること。これにより、標準的な関数空間では解を十分に捉えることが不可能になる。
• ジャンプを伴う区分的連続関数上に新たなバナッハ空間構造を定義し、インパルスダイナミクスと整合性を保つこと。
• 解集合が $ R_{\delta} $-集合であることを確立すること。これはコンパクト性と可縮性を意味する位相的性質であり、存在性および安定性解析にとって不可欠である。
• 固定時刻インパルス系に関する既知の結果を、より複雑な可変時刻の場合へと拡張し、さらなる定性的解析の基盤を提供すること。

提案手法

• 連続関数に $ m $ 個のジャンプを伴う関数からなるバナッハ空間 $ CJ_m([0,a]) $ を定義し、関数のsupノルムとジャンプ時刻および大きさの全変動を組み合わせたノルムを備える。
• 区分的連続関数をその連続部分とジャンプデータから再構成する関数 $ \hat{\varphi}(t) $ を導入し、ジャンプの正しい順序付けを保証する。
• 収束定理とハウスドルフ非コンパクト性測度を用いて $ R_{\delta} $-集合の概念を適用し、解集合の位相的構造を分析する。
• アーヴェラ・アスコリの定理を用いて、有界かつ同値連続な解の族から一様収束部分列を抽出する。
• 収束定理とインパルス関数の連続性仮定を用いて、解集合が減少するコンパクトかつ可縮な集合の族の共通部分であることを確立する。
• 微分推定と帰納的推論を用いて、ジャンプ時刻関数 $ \tau_j $ が、各超曲面 $ \Sigma_j $ を正確に1回だけ通過することを保証する厳密不等式条件を満たしていることを検証する。

実験結果

リサーチクエスチョン

• RQ1 可変時刻にインパルスを伴う微分包含の解集合の位相的構造は何か？
• RQ2 状態依存ジャンプ時刻を扱えるバナッハ空間フレームワークを構築できるか？ これにより解の収束性が保たれるか？
• RQ3 適切な連続性および有界性条件のもとで、解集合はコンパクトかつ可縮的である、すなわち $ R_{\delta} $-集合であるか？
• RQ4 任意の解が各インパルス超曲面 $ \Sigma_j $ を正確に1回だけ通過することをどのように保証できるか？
• RQ5 インパルスが状態軌道に依存する場合でも、解集合は $ R_{\delta} $-構造といった望ましい位相的性質を保持するか？

主な発見

• 可変時刻インパルスを伴う微分包含の解集合が $ R_{\delta} $-集合であることが証明された。これは非線形解析における重要な位相的結果である。
• 解集合が減少するコンパクトかつ可縮な集合の族の共通部分であることが示され、$ R_{\delta} $-集合の特徴付けを満たしている。
• 正確に1つのインパルスを伴う系では、定理3.1により解集合が $ R_{\delta} $-集合であることが確認された。
• $ m $ 個のインパルスを伴う系では、帰納法を用いて結果を拡張し、同じ仮定のもとで解集合が $ R_{\delta} $-集合のままであることを証明した。
• 例では、状態依存の移転と金利を伴う具体的な金融モデルにおいて、定理3.1の条件が満たされていることが示された。
• 本稿は、インパルス関数および時刻からジャンプまでのマップが非線形的かつ状態依存的であっても、解集合の $ R_{\delta} $-構造が保持されることを確認した。