[論文レビュー] Existence of solution to a nonlinear first-order dynamic equation on time scales

Benaoumeur Bayour, Ahmed Hammoudi+1 more|arXiv (Cornell University)|Dec 3, 2015

Nonlinear Differential Equations Analysis参考文献 7被引用数 3

ひとこと要約

本稿では、任意の有界な時刻スケール上で周期的境界条件を満たす非線形1階ナブラ動的方程式の解の存在を確立する。著者らは、下解および上解の一般化である「チューブ解」という新しい概念を導入し、その動的方程式から導かれるコンパクト作用素にサウダーの不動点定理を適用することで解の存在を証明する。このとき、解は中心曲線 v の周りの半径 M の指定されたチューブ内に保たれることが保証される。

ABSTRACT

We prove existence of solution to a nonlinear first-order nabla dynamic equation on an arbitrary bounded time scale with boundary conditions, where the right-hand side of the dynamic equation is a continuous function.

研究の動機と目的

• 任意の有界な時刻スケール上における非線形1階ナブラ動的方程式の解の存在を確立すること。
• 時刻スケール微積分を用いて連続的および離散的境界値問題を統一的な枠組みで扱うこと。
• 下解および上解の概念をより一般的な結果を得るための「チューブ解」に拡張すること。
• 不動点理論を用いて中心曲線 v の周りの指定された半径 M のチューブ内に解が存在することを証明すること。

提案手法

• 中心曲線 v と半径関数 M からなるチューブ解 (v, M) の概念を導入する。
• 動的方程式および境界条件に基づいて非線形作用素 T̂p を定義する。
• 時刻スケールに適応されたアーヴェラ・アスコリの定理を用いて、作用素 T̂p がコンパクトであることを証明する。
• サウダーの不動点定理を適用して T̂p の不動点が保証され、これが解に対応することを示す。
• 時刻スケール上でのナブラ微分および積分を用いて動的方程式およびその解を分析する。
• 一般化された微分およびジャンプ作用素 (ρ, σ, ν) を用いて、連続的および離散的両ケースを一様に取り扱う。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、時刻スケール上における非線形1階ナブラ動的方程式が解を有するか？
• RQ2 下解および上解の概念を、より複雑な非線形ダイナミクスを扱えるようにどのように一般化できるか？
• RQ3 中心曲線 v の周りの指定されたチューブ内に解が存在することが保証されるか？
• RQ4 解作用素のコンパクト性が、不動点理論を用いた存在証明において果たす役割は何か？
• RQ5 時刻スケールの性質（例えば、離散的または連続的）は、解の存在および構造にどのように影響を与えるか？

主な発見

• チューブ解 (v, M) の存在は、任意の t ∈ T に対して ‖x(t) − v(t)‖ ≤ M(t) を満たす動的方程式 (1.1) の解 x が少なくとも1つ存在することを示唆する。
• 解作用素 T̂p はコンパクトであり、サウダーの定理により不動点の存在が保証される。
• t が左稠密である場合、ノルム関数のナブラ微分は、ベクトル関数の微分を含む内積の公式で与えられる。
• t が左散乱である場合、ノルムのナブラ微分は、ベクトル微分と半径関数の組み合わせによって上から抑えられる。
• r(t) ≥ 0 である集合内の t に対して r∇(t) < 0 が成り立つと、解がチューブから脱出することは不可能となり、解が指定された境界内に保たれる。
• 例 3.4 において、問題 x∇(t) = a₁‖x(t)‖²x(t) − a₂x(t) + a₃φ(t) は、a₂ ≥ a₁ + a₃ + 1 を満たすとき、すべての t ∈ T に対して ‖x(t)‖ ≤ 1 を満たす解を有する。これは (v, m) ≡ (0, 1) がチューブ解であるためである。