[論文レビュー] Representation of Classical Solutions to a Linear Wave Equation with Pure Delay

D. Ya. Khusainov, Michael Pokojovy+1 more|arXiv (Cornell University)|Jan 22, 2014

Stability and Controllability of Differential Equations参考文献 9被引用数 5

ひとこと要約

本稿は、フーリエ級数および遅延正弦・余弦関数を用いて、純粋な遅延を伴う1次元線形波動方程式の古典解の存在の一意性と明示的表現を確立する。初期データ関数の滑らかさおよび減衰条件のもとで、解級数の絶対収束および一様収束を証明し、弱い拡張ノルムにおける連続的依存性も示す。

ABSTRACT

For a wave equation with pure delay, we study an inhomogeneous initial-boundary value problem in a bounded 1D domain. Under smoothness assumptions, we prove unique existence of classical solutions for any given finite time horizon and give their explicit representation. Continuous dependence on the data in a weak extrapolated norm is also shown.

研究の動機と目的

• 純粋な遅延を伴う線形波動方程式の、有界な1次元領域における古典解の存在および一意性を確立すること。
• 解を遅延正弦および余弦関数を含むフーリエ級数として明示的に表現すること。
• 初期データおよび境界データのフーリエ係数に十分な減衰条件が与えられた場合、解級数の絶対収束および一様収束を証明すること。
• 弱い拡張ノルムにおける初期データ、境界データ、非同次項データに対する解の連続的依存性を示すこと。
• データに対する高階のソボレフ型条件を通じて、解の正則性および適合性を保証すること。

提案手法

• 問題を空間固有関数と時間遅延常微分方程式に分離するため、フーリエの分離変数法を用いる。
• 再帰的級数展開により定義される遅延正弦および余弦関数を導入し、それらを用いて遅延時間動的問題を解く。
• 元の問題を、作用素 $\mathcal{A} = a^2\partial_x^2 + b\partial_x + d$ が有界である拡張ヒルベルト空間 $X$ における等価な系に変換する。
• 遅延項を扱うために、履歴変数 $z(s,t,x) = w(t-s,x)$ を定義し、$X$-ノルムにおけるエネルギー型推定を導出する。
• 解を初期データ、初期速度、非同次項に対応する三つの級数 $S_1$、$S_2$、$S_3$ の和として構成する。
• 平均値の定理および遅延関数の多項式近似を用いて、フーリエ係数の減衰を推定し、一様収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 有界な1次元領域における純粋な遅延を伴う線形波動方程式に対して、どのような条件下で古典解が存在するか。
• RQ2 解が遅延関数を含むフーリエ級数としてどのように明示的に表現できるか。
• RQ3 初期データおよび境界データのフーリエ係数にどのような減衰条件を課すと、解級数の絶対収束および一様収束が保証されるか。
• RQ4 弱い拡張ノルムにおける初期データ、境界データ、非同次項データに対する解の連続的依存性はどのように示されるか。
• RQ5 解およびその2階までの微分が正しく定義され、連続であることを保証するためのデータの正則性および適合性条件は何か。

主な発見

• 与えられた初期境界値問題に対して、任意の有限時間区間 $[0,T]$ において、一意な古典解が存在する。
• 解は明示的なフーリエ級数として表現可能であり、$\xi(t,x) = S_1(t,x) + S_2(t,x) + S_3(t,x) + G(t,x)$ と表される。ここで各成分は異なるデータ源に対応する。
• $S_1$、$S_2$、$S_3$ の級数は、初期データのフーリエ係数が $\lim_{n\to\infty} (|\Phi_n(-\tau)| + |\dot{\Phi}_n(-\tau)|)n^{2k+3+\alpha} = 0$ を満たす場合、絶対収束および一様収束する。
• 解およびその2階までの微分の収束が一様であることは、高階の適合性および減衰条件、例えば $\lim_{n\to\infty} \max_{s\in[-\tau,0]}|\ddot{\Phi}_n(s)|n^{2m+3+\alpha} = 0$ が満たされる場合に保証される。
• 解は弱い拡張ノルム $\|\cdot\|_X$ において初期データ、境界データ、非同次項データに対して連続的に依存し、そのバインドは $a, b, d, l, \tau, T$ およびデータの $L^2$-ノルムにのみ依存する。
• $X$-ノルムにおけるエネルギー推定により、安定性が保証され、初期データ、境界データ、外力項に依存する解の成長の定量的バインドが得られる。