[论文解读] Spectrum of the heat equation with memory

С. А. Иванов, T. Sheronova|arXiv (Cornell University)|Dec 9, 2009

Stability and Controllability of Differential Equations参考文献 3被引用 15

一句话总结

本文分析了一维热方程带记忆项的谱，其中记忆核为指数函数之和。通过拉普拉斯变换与复分析，证明在核参数满足增长条件时，谱由实特征值构成，这些实特征值趋近于核的拉普拉斯变换的负极点，以及一对位于虚轴附近的共轭复特征值，从而确保谱在左半平面的稳定性。

ABSTRACT

We consider the Gurtin-Pipkin equation of the first order in time. For the kernel as a series of exponentials we obtain the structure of the spectrum of the system.

研究动机与目标

• 确定一维带记忆项热方程的谱结构。
• 分析复平面上特征值的位置及其渐近行为。
• 建立记忆核参数的条件，以确保谱位于左半平面。
• 表征特征值的渐近分布，特别是靠近虚轴的一对共轭复特征值。

提出的方法

• 应用傅里叶方法将偏微分方程转化为时间域中的伏尔泰拉积分方程组。
• 使用拉普拉斯变换将时域系统转换为涉及核的拉普拉斯变换的复函数方程。
• 分析特征函数 $ G_n(z) = z + n^2 K(z) $ 的零点，其中 $ K(z) $ 为记忆核的拉普拉斯变换。
• 利用幅角原理与围道积分，在复平面上的矩形围道内计数并定位特征值。
• 使用Weierstrass M-判别法与渐近分析，证明当 $ |z| \to \infty $ 时，在远离负实轴的扇形区域内有 $ K(z) \sim \alpha^2 / z $。
• 通过与参考函数比较并应用Rouché型论证，实现对共轭复特征值 $ \lambda_n^\pm $ 的局部化，其位置靠近 $ \pm i\alpha n $。

实验结果

研究问题

• RQ1 当记忆核为衰减速率递增的指数函数之和时，带记忆项热方程的谱结构是什么？
• RQ2 在记忆核参数的一般条件下，系统特征值在复平面上如何分布？
• RQ3 在记忆核参数 $ a_k $ 与 $ b_k $ 满足何种条件时，谱被包含在左半平面，从而保证稳定性？
• RQ4 当 $ n \to \infty $ 时，特征值的渐近行为如何，特别是靠近虚轴的一对共轭复特征值？
• RQ5 谱是否可分解为趋近于 $ K(z) $ 极点的实特征值与一对共轭复特征值？

主要发现

• 系统的谱 $ \Lambda $ 完全位于开左半平面，确保解的指数稳定性。
• 谱由三部分构成：一列实特征值 $ \lambda_{nj} $，当 $ n \to \infty $ 时收敛于 $ -\mu_j $，以及一对共轭复特征值 $ \lambda_n^\pm $。
• 实特征值 $ \lambda_{nj} $ 满足 $ -b_{j+1} < \lambda_{n,j} < -\mu_j $，且对固定的 $ j $，有 $ \lambda_{nj} \uparrow -\mu_j $ 当 $ n \to \infty $。
• 共轭复特征值满足 $ \lambda_n^\pm = -i\alpha n + o(n) $，并被局部化在以 $ i\alpha n $ 为中心、宽度为 $ O(\varepsilon n) $ 的矩形区域内，其中 $ \varepsilon > 0 $ 任意。
• 条件 $ \sup_k \{ b_k(b_{k+1} - b_k) \} = \infty $ 是谱分解成立的充分条件，且当 $ b_k \sim k^\alpha $ 且 $ \alpha > 1/2 $ 时该条件成立。
• 对于模型情形 $ a_k = k^{-\alpha}, b_k = k^\beta $ 且 $ \alpha + \beta > 1 $，谱结构与一般结果一致，尽管条件 $ \sup_k b_k(b_{k+1}-b_k) = \infty $ 可能不成立，提示结果可能可推广至当前条件之外。