[論文レビュー] Explicit representation of solutions to a linear wave equation with time delay

Javad A. Asadzade, Jasarat J. Gasimov+2 more|arXiv (Cornell University)|Feb 5, 2026

Stability and Controllability of Differential Equations被引用数 0

ひとこと要約

この論文は、定数の時刻遅延を持つ一変数線形波動方程式の解の明示的スペクトル表現を、境界を有する区間上で分離変数法・シュトルム＝リューヴリエ理論・遅延基礎解を用いて導出し、収束性を証明するとともに数値例を提供する。

ABSTRACT

This paper develops an explicit spectral representation for solutions of a one-dimensional linear wave equation with a constant time delay. The model is considered on a bounded interval with non-homogeneous Dirichlet boundary data and a prescribed history function. To accommodate the loss of global smoothness in time caused by delay terms, solutions are understood in a extit{stepwise classical sense}, allowing jump discontinuities in the second time derivative at multiples of the delay while maintaining continuity of the solution and its first time derivative. By combining separation of variables with Sturm-Liouville expansions, the delayed PDE is reduced to a family of scalar second-order delay differential equations. Using delay-dependent fundamental solutions, we derive closed-form representation formulas for the modal dynamics and reconstruct the PDE solution as a Fourier series. Convergence conditions guaranteeing uniform convergence and admissibility of termwise differentiation in space are established. A numerical example demonstrates the practical computation of truncated series solutions and their visualization.

研究の動機と目的

• 遅延応答を持つ媒質における波の伝搬の研究を動機づけ、解の正則性と安定性への影響を検討する。
• 1次元線形波動方程式における単一の時刻遅延と非同次境界データに対する明示的解析解フレームワークを開発する。
• 分離変数法とシュトルム＝リューヴリエ展開を用いて遅延PDEを可算個のスカラー遅延微分方程式に還元する。
• 遅延適応の基礎解を構築し、齐次および非齐次問題の閉形式モーダル表現を導出する。
• 収束条件を確立し、切り捨てられたフーリエ級数による数値評価を正当化する。

提案手法

• 時間遅延と時間二階微分の跳躍不連続性への対応として段階的な古典解法を適用する。
• 適合性条件の下で一階空間微分を除去するために指数変換を用いる。
• PDEをフーリエモードのスカラー遅延微分方程式へ還元し、固有値λ_n = nπ/Lを得る。
• 遅延ODEの基本解として遅延摂動関数Cτ^{a,b}とSτ^{a,b}を導入する。
• 齐次および強制モーダルダイナミクスの明示表現を得て、解をフーリエ級数として再構成する。
• フーリエ級数の絶対収束性と一様収束性を証明し、空間での項別微分を正当化する。

実験結果

リサーチクエスチョン

• RQ1 遅延を持つ非同次境界データを伴う1次元波動方程式の解の明示的表現をどのように得られるか。
• RQ2 フーリエ級数表現と項別微分の有効性を保証する収束条件は何か。
• RQ3 遅延項がモーダルダイナミクスと解の正則性に与える影響は何か、解析的にはどのように扱うか。
• RQ4 純遅延モデルを提案フレームワーク内の特別なケースとして回収できるか。

主な発見

• 解はフーリエ級数ベースの明示表現を持ち、各フーリエモードは二階遅延微分方程式に支配される。
• 遅延摂動フレームワーク(Cτ^{a,b}, Sτ^{a,b})が古典的コサイン/サイン基底を遅延設定へ一般化する。
• 級数の絶対収束性と一様収束性を保証する収束条件を確立し、空間での項別微分の適用を正当化する。
• 非同次Dirichlet境界データと歴史情報を、v = v0 + v1 + G の分解によって考慮する。
• 切り捨てられた級数解の計算と結果の可視化を示す数値例。