[論文レビュー] On Classical Solvability for a Linear 1D Heat Equation with Constant Delay

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

Stability and Controllability of Differential Equations参考文献 13被引用数 6

ひとこと要約

本稿は、スペクトル法とエネルギー推定を用いて、定数遅れを伴う1次元線形熱方程式の古典的解の存在およびデータへの連続的依存性を確立する。相性条件の下で、一意的な古典的解の存在を証明し、フーリエ級数および遅れ積分作用素による明示的表現を提供する。

ABSTRACT

In this paper, we consider a linear heat equation with constant coefficients and a single constant delay. Such equations are commonly used to model and study various problems arising in ecology and population biology when describing the temporal evolution of human or animal populations accounting for migration, interaction with the environment and certain aftereffects caused by diseases or enviromental polution, etc. Whereas dynamical systems with lumped parameters have been addressed in numerous investigations, there still remain a lot of open questions for the case of systems with distributed parameters, especially when the delay effects are incorporated. Here, we consider a general non-homogeneous one-dimensional heat equation with delay in both higher and lower order terms subject to non-homogeneous initial and boundary conditions. For this, we prove the unique existence of a classical solution as well as its continuous dependence on the data.

研究の動機と目的

• 定数遅れを伴う線形1次元熱方程式に対する古典的解の存在および一意性を確立すること。
• 非同次初期および境界条件の下での問題の適切性（well-posedness）を分析すること。
• フーリエ級数および遅れ積分作用素を用いて、解の明示的表現式を導出すること。
• 初期データ、境界データ、および源項データに対する解の連続的依存性を調査すること。
• 解が古典的（すなわち、空間時間においてC^0であり、時間および空間微分が連続である）であることを保証するための十分な正則性および相性条件を提供すること。

提案手法

• 下位項を除去するために指数関数的置換を用いて、元の遅れ付き熱方程式を変換し、源項を伴う標準的な放物型方程式に還元する。
• 解を3つの成分に分解する：初期データを変更した同次方程式の解、源項を伴う非同次方程式の解、および遅れ効果を処理する成分。
• 空間領域における固有関数展開を用いて、(0,l) 上のフーリエ正弦級数として解を表現する。
• 段階的アプローチ（method of steps）と再帰的積分を用いて遅れを処理し、遅れ時間τの区間ごとに反復積分として解を表現する。
• エネルギー推定およびグローヴァルの不等式を用いて、一意性およびデータへの連続的依存性を証明する。
• 初期関数、境界関数、源関数に対してSobolevおよびHölder型の正則性仮定を課し、フーリエ級数およびその微分の収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 定数遅れを伴う線形1次元熱方程式に対して、どのような条件下で古典的解が存在するか？
• RQ2 解は初期データ、境界データ、および源項データに対してどのように連続的に依存するか？
• RQ3 時間および空間微分の両方に遅れが存在する場合、解の構造はどのようになるか？
• RQ4 スペクトル分解および遅れ積分作用素を用いて、解をどのように明示的に表現できるか？
• RQ5 解が古典的（C^0であり、時間および空間微分が連続）であることを保証するための正則性および相性条件は何か？

主な発見

• 相性条件がt=0で満たされている限り、任意の有限時間区間[0,T]上で遅れ付き1次元熱方程式に対して一意な古典的解が存在する。
• 解はL²((0,T);L²(0,l))ノルムにおいてデータに連続的に依存し、そのバインドは源項、初期データ、境界データのL²ノルムに依存する。
• 解は3つの成分の和として表現される：固有関数展開による初期データからの成分、デュハメルの原理による源項からの成分、再帰的積分による遅れ項からの成分。
• 初期データおよび源項のフーリエ係数の減衰、および境界関数の滑らかさの条件下で、解およびその時間微分・空間微分の級数表現は絶対的かつ一様に収束する。
• 源項および初期データのフーリエ係数の減衰、加えて境界関数の滑らかさが、解およびその微分の収束を保証する。
• 初期関数、境界関数、源関数に対して、Sobolev空間H^{2m+2k}における十分な正則性条件が、古典的解の性質を保証する。