[論文レビュー] A Study of Diamond-alpha dynamic equations on regular time scales

Dorota Mozyrska, Delfim F. M. Torres|ArXiv.org|Feb 9, 2009

Nonlinear Differential Equations Analysis参考文献 15被引用数 17

ひとこと要約

本稿では、正則時刻スケール上でのダイヤモンド-アルファ指数関数を、デルタおよびナブラ指数関数を一般化する統一的枠組みとして導入する。同定義により、斉次線形ダイナミック・ダイヤモンド-アルファ方程式を特徴づけ、固有関数法を用いて解法を確立し、特に離散的および量子的集合を含む特定の時刻スケール上での指数関数の明示的公式を導出する。

ABSTRACT

We introduce the diamond-alpha exponential function on time scales. As particular cases, one gets both delta and nabla exponential functions. A method of solution of a homogenous linear dynamic diamond-alpha equation on a regular time scale is investigated, and examples of diamond-alpha exponential functions are presented.

研究の動機と目的

• 正則時刻スケール上でのダイヤモンド-アルファ指数関数を定義・分析し、デルタおよびナブラ指数関数の一般化とする。
• 固有関数理論を用いて、斉次線形ダイナミック・ダイヤモンド-アルファ方程式の解法を構築する。
• 特に離散的および量子的集合を含む特定の時刻スケール上でのダイヤモンド-アルファ指数関数の構築を示す。
• ダイヤモンド-アルファ微積分フレームワークを通じて、連続的および離散的ダイナミックシステムの統一的取り扱いを実現する。
• アトミック時刻スケール上でのダイヤモンド-アルファ指数関数の明示的公式および収束条件を提供する。

提案手法

• α ∈ [0,1] とし、デルタ微分およびナブラ微分の凸結合としてダイヤモンド-アルファ微分を定義する。
• 初期条件 y(t₀) = 1 および α(1−α)y(ρ(t₀)) = α(1−α) を満たす、ダイヤモンド-アルファ固有値問題 L^⋄α_p y = 0 を導入する。
• アトミック時刻スケール上では、遷移行列 A^T(ρᵏ(t)) を用いて、再帰的関係式により基本解行列 S(t₀,t) を構築する。
• 境界値問題の解として得られる行列積 S(t₀,t) から導出される関数として、ダイヤモンド-アルファ指数関数 E_α,p(t,t₀) を定義する。
• 解行列を用いて、離散的時刻スケール上での E_α,p(t,t₀) を、デルタおよびナブラ指数関数の線形結合として表現する。
• 特に q^ℤ および cℤ のような時刻スケールに対して、遷移行列の固有値半径を分析することにより、行列の無限積の収束条件を確立する。

実験結果

リサーチクエスチョン

• RQ1 正則時刻スケール上でのダイヤモンド-アルファ指数関数は、どのようにしてデルタおよびナブラ指数関数の一般化として定義できるか？
• RQ2 正則時刻スケール上での斉次線形ダイナミック・ダイヤモンド-アルファ方程式の解の構造はどのようなものか？
• RQ3 遷移行列の無限積が収束する条件は何か？これによりダイヤモンド-アルファ指数関数の存在が保証される。
• RQ4 q^ℤ および cℤ のような特定の時刻スケール上でのダイヤモンド-アルファ指数関数の振る舞いはいかなるものか？
• RQ5 離 discrete 時刻スケール上では、ダイヤモンド-アルファ指数関数をデルタおよびナブラ指数関数の線形結合として表現できるか？

主な発見

• α = 1 のとき、ダイヤモンド-アルファ指数関数 E_α,p(t,t₀) はデルタ指数関数 e_p(t,t₀) に縮退し、α = 0 のときにはナブラ指数関数 ê_p(t,t₀) に縮退する。
• α = 0.5 および時刻スケール cℤ の場合、解は、p, c および固有値根 λ₁, λ₂ に依存する係数を有する2つのデルタ指数関数の線形結合として表現される。
• q > 1 である q^ℤ 時刻スケール上では、行列積の収束を保証するため、α > q/(q+1) の条件下でのみダイヤモンド-アルファ指数関数が定義可能である。
• 解行列 S(t₀,t) は、アトミック時刻スケールの分割に沿った再帰的構築により得られ、Y(t) = Y(t₀)S(t₀,t) の関係により前向きおよび後向きの解の伝搬が可能となる。
• 積 ∏ A^T(ρᵏ(t)) の収束は、遷移行列の固有値半径に依存し、特に主な固有値が1未満のとき、収束が保証される。
• 実数区間上では、ダイヤモンド-アルファ指数関数は標準的な指数積分形として表現可能であり、E_α,p(t,t₀) = exp(∫_{t₀}^t p(τ)dτ) が成り立つ（t が右密度のとき）。