[論文レビュー] Hyers-Ulam stability of higher-order Cauchy-Euler dynamic equations on time scales

Douglas R. Anderson|arXiv (Cornell University)|Dec 17, 2012

Functional Equations Stability Results参考文献 24被引用数 4

ひとこと要約

本稿では、再帰的因数分解法を用いて高次の非同次コーシー・オイラー動的方程式を1階の動的方程式系に還元することで、任意の時刻スケール上でのハイヤー＝ウラム安定性を確立する。主な結果は、任意の近似解が正確な解から有界な誤差 $ K\varepsilon $ の範囲内に保たれることを示しており、$ K $ は方程式の係数および時刻スケールのパラメータに依存する。

ABSTRACT

We establish the stability of higher-order linear non-homogeneous Cauchy-Euler dynamic equations on time scales in the sense of Hyers and Ulam. That is, if an approximate solution of a higher-order Cauchy-Euler equation exists, then there exists an exact solution to that dynamic equation that is close to the approximate one.

研究の動機と目的

• 時刻スケール上での2階コーシー・オイラー方程式に対するハイヤー＝ウラム安定性結果を、一般の $ n $ 階の場合に拡張すること。
• 高次の非同次コーシー・オイラー動的方程式に対する近似解が、正確な解から一様に近い状態に保たれる十分条件を確立すること。
• 近似解から正確な解を繰り返し構成する明示的な反復的手法を提供し、誤差の伝播が有界に保たれることを保証すること。
• 初等対称多項式および時刻スケールの動的作用素の構造を活用することで、既存の2階方程式に関する結果を一般化すること。
• 実数、整数、量子領域を含む、任意の離散的および稠密な時刻スケール上での安定性フレームワークを検証すること。

提案手法

• 係数 $ \alpha_k $ を用いて初等対称多項式から導かれる特徴方程式の根 $ \lambda_1, \dots, \lambda_n $ を用いて、$ n $ 階コーシー・オイラー動的方程式を $ n $ 個の1階動的方程式系に因数分解する。
• 関数 $ g_k $ の再帰的列を定義し、$ g_k = \varphi \cdot (g_{k-1})^\Delta - \lambda_{n-k+1} g_{k-1} $ とすることで、段階的に次数を低くする。
• Anderson ら [2, Lemma 2.3] で知られている安定性結果を連鎖内の各1階方程式に適用し、各方程式の近似解が正確な解から一様に近い状態に保たれることを保証する。
• 特に $ \lambda $-指数関数 $ e_\lambda(t,s) $ を用いた時刻スケール上の指数型 $ \Delta $-微積分を用い、近似関数 $ x $ から正確な解を反復的に構成する。
• 初期条件を任意の点 $ \tau_k \in [a, \sigma^k(b)]_{\mathbb{T}} $ に選び、正確な解 $ u $ が $ n $ 階まで $ \Delta $-微分可能であることを保証する、$ u $ の再帰的公式を確立する。
• 区間 $ [a, \sigma^n(b)]_{\mathbb{T}} $ 上で一様誤差境界 $ |x(t) - u(t)| \leq K\varepsilon $ を導出する。ここで $ K = \prod_{j=1}^n L_j / A^n $、$ A = \inf_{t \in [a,b]_{\mathbb{T}}} |\varphi(t)| > 0 $。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、時刻スケール上での高次のコーシー・オイラー動的方程式がハイヤー＝ウラム安定性を示すか？
• RQ2 2階コーシー・オイラー方程式のハイヤー＝ウラム安定性は、任意の時刻スケール上での $ n $ 階方程式に一般化可能か？
• RQ3 非同次 $ n $ 階コーシー・オイラー動的方程式の近似解を、有界な誤差内で正確な解に体系的に修正する方法は何か？
• RQ4 特徴方程式の根 $ \lambda_k $ および関数 $ \varphi(t) $ は、安定性と誤差制御を保証するために果たす役割は何か？
• RQ5 高次の動的方程式に対して、近似解から正確な解を再構築する構成的手段が存在するか？ その場合、明示的な誤差境界は得られるか？

主な発見

• $ n $ 階非同次コーシー・オイラー動的方程式 $ \sum_{k=0}^n \alpha_k M_k y(t) = f(t) $ は、$ \varphi(t) \neq 0 $ かつ特徴方程式の根に適切な正則性条件が満たされる限り、$ [a,b]_{\mathbb{T}} $ 上でハイヤー＝ウラム安定である。
• 任意の関数 $ x \in C^{\Delta^n}_{rd}[a,b]_{\mathbb{T}} $ が $ \left| \sum_{k=0}^n \alpha_k M_k x(t) - f(t) \right| \leq \varepsilon $ を満たすとき、$ [a, \sigma^n(b)]_{\mathbb{T}} $ 上で $ |x(t) - u(t)| \leq K\varepsilon $ を満たす正確な解 $ u $ が存在する。ここで $ K = \prod_{j=1}^n L_j / A^n $。
• 正確な解 $ u $ は、$ u(t) = e_{\lambda_1/\varphi}(t, \tau_n)x(\tau_n) + \int_{\tau_n}^t e_{\lambda_1/\varphi}(t,\sigma(s)) \frac{w_{n-1}(s)}{\varphi(s)} \Delta s $ という公式により反復的に構成され、$ w_k $ は再帰的に定義される。
• 安定性定数 $ K $ は時刻スケールの粒度および係数 $ \lambda_k $ に依存し、$ A = \inf |\varphi(t)| > 0 $ により誤差乗数が有界であることが保証される。
• 再帰的1階系への還元を活用し、時刻スケールの指数関数および [2] の安定性補題を用いることで、既存の2階方程式に関する結果を一般化する。
• 実数および複素共役の特徴方程式の根の両方に対し結果が成り立つため、振動的および減衰的動的システムへの応用が拡張可能である。