[论文解读] 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

一句话总结

本文通过谱方法与能量估计，建立了具常数时滞的一维线性热方程的古典解存在性及对数据的连续依赖性。在相容性条件下证明了解的唯一存在性，并通过傅里叶级数与时滞积分算子给出了显式表示。

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.

研究动机与目标

• 建立具常数时滞的一维线性热方程古典解的存在性与唯一性。
• 在非齐次初始与边界条件下分析该问题的适定性。
• 利用傅里叶级数与时滞积分算子，推导解的显式表示公式。
• 研究解对初始数据、边界数据与源项数据的连续依赖性。
• 提供确保解具有古典解性质（即在时空上连续可微）的充分正则性与相容性条件。

提出的方法

• 通过指数代换变换原时滞热方程，以消除低阶项，将其化为带源项的标准抛物方程。
• 将解分解为三部分：一部分求解带有修正初值的齐次方程，一部分求解带源项的非齐次方程，另一部分处理时滞效应。
• 在空间域中使用本征函数展开，将解表示为 (0,l) 上的傅里叶正弦级数。
• 采用逐段法与递推积分处理时滞，将解表示为长度为 τ 的时间区间上的迭代积分。
• 运用能量估计与 Gronwall 不等式证明解的唯一性及对数据的连续依赖性。
• 对初始、边界与源函数施加 Sobolev 与 Hölder 型正则性假设，以确保傅里叶级数及其导数的收敛性。

实验结果

研究问题

• RQ1 在何种条件下，具常数时滞的一维线性热方程存在古典解？
• RQ2 解如何对初始数据、边界数据与源项数据连续依赖？
• RQ3 当时间与空间导数中均存在时滞时，解的结构是怎样的？
• RQ4 如何通过谱分解与时滞积分算子显式表示解？
• RQ5 需要何种正则性与相容性条件，才能保证解为古典解（即在时空上连续可微）？

主要发现

• 在任意有限时间区间 [0,T] 上，只要在 t=0 处满足相容性条件，具时滞的一维线性热方程存在唯一古典解。
• 解在 L²((0,T);L²(0,l)) 范数下对数据连续依赖，其界依赖于源项、初始数据与边界数据的 L² 范数。
• 解表示为三部分之和：一部分通过本征函数展开由初始数据贡献，一部分通过 Duhamel 原理由源项贡献，另一部分通过递推积分由时滞项贡献。
• 在数据的适当正则性假设下，解及其时间与空间导数的级数表示绝对且一致收敛。
• 源项与初始数据的傅里叶系数衰减性，以及边界函数的光滑性，确保了解及其导数的收敛性。
• 对初始、边界与源函数施加充分正则性条件（具体为 Sobolev 空间 H^{2m+2k}），可保证解的古典解性质。