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

一句话总结

该论文通过傅里叶级数和延迟正弦/余弦函数，建立了纯时滞一维线性波动方程经典解的唯一存在性及其显式表示。在初始/数据函数满足光滑性和衰减条件时，证明了解级数的绝对收敛与一致收敛性，并展示了在弱扩展范数下的连续依赖性。

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.

研究动机与目标

• 建立有界一维区域中具有纯时滞的线性波动方程经典解的存在性与唯一性。
• 推导解的显式表示，作为包含延迟正弦与余弦函数的傅里叶级数。
• 在初始与边界数据的傅里叶系数满足充分衰减条件时，证明解级数的绝对收敛与一致收敛性。
• 在弱扩展范数下，证明解对初始数据、边界数据及非齐次项的连续依赖性。
• 通过数据的高阶Sobolev型条件，确保解的正则性与相容性。

提出的方法

• 采用傅里叶分离变量法，将问题分解为空间本征函数与时间时滞常微分方程。
• 引入并利用通过递归级数展开定义的延迟正弦与余弦函数，求解时滞时间动力学。
• 将原问题转化为在扩展希尔伯特空间 $X$ 中的等价系统，其中算子 $\mathcal{A} = a^2\partial_x^2 + b\partial_x + d$ 有界。
• 定义历史变量 $z(s,t,x) = w(t-s,x)$ 以处理时滞项，并在 $X$-范数下导出能量型估计。
• 将解构造为三项级数之和：$S_1$、$S_2$ 与 $S_3$，分别对应于初始数据、初始速度与非齐次源项。
• 应用中值定理与延迟函数的多项式逼近，估计傅里叶系数的衰减速率，以确保一致收敛性。

实验结果

研究问题

• RQ1 在有界一维区域中，具有纯时滞的线性波动方程在何种条件下存在经典解？
• RQ2 解如何通过包含延迟函数的傅里叶级数显式表示？
• RQ3 初始与边界数据的傅里叶系数需满足何种衰减条件，才能保证解级数的绝对收敛与一致收敛？
• RQ4 在弱扩展范数下，解如何对初始数据、边界数据及非齐次项连续依赖？
• RQ5 数据需满足何种正则性与相容性条件，才能确保解及其至二阶的导数均定义良好且连续？

主要发现

• 对于给定的具有纯时滞的初值-边值问题，在任意有限时间区间 $[0,T]$ 上存在唯一经典解。
• 解可显式表示为傅里叶级数：$\xi(t,x) = S_1(t,x) + S_2(t,x) + S_3(t,x) + G(t,x)$，其中每一项对应不同的数据源。
• 若初始数据的傅里叶系数满足 $\lim_{n\to\infty} (|\Phi_n(-\tau)| + |\dot{\Phi}_n(-\tau)|)n^{2k+3+\alpha} = 0$，则级数 $S_1$、$S_2$ 与 $S_3$ 绝对且一致收敛。
• 若数据满足更高阶的相容性与衰减条件（如 $\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$-范数下的能量估计确保了解的稳定性，并提供了以初始数据、边界数据与激励项表示的解增长的定量界。