[论文解读] Examples of very unstable linear partial functional differential equations

Р. С. Исмагилов, Н. А. Раутиан+1 more|arXiv (Cornell University)|Feb 17, 2014

Advanced Mathematical Modeling in Engineering参考文献 4被引用 4

一句话总结

本文证明，带有拉普拉斯算子延迟的线性偏功能微分方程表现出极端不稳定性，其谱包含实部趋于正无穷的特征值。通过傅里叶分析和特征特征多项式，作者证明了此类方程——特别是延迟热方程、延迟波动方程以及受扰动的延迟波动方程——具有不稳定的谱结构，这与经典抛物型和双曲型方程的稳定谱形成鲜明对比。

ABSTRACT

We consider the examples of partial functional differential equations with delay in the Laplacian. First of these equations is linear parabolic equation, the second one is linear hyperbolic equation, third equation is perturbed hyperbolic equation with delay. We show that there are the sequence of eigenvalues in both cases with real parts tends to plus infinity.

研究动机与目标

• 证明带有拉普拉斯算子延迟的偏功能微分方程表现出极端谱不稳定性。
• 对比时滞PDE与经典抛物型和双曲型方程的谱行为。
• 分析由延迟PDE导出的特征特征多项式的特征值渐近分布。
• 证明标准加权Sobolev空间不足以求解此类延迟方程的初值问题。
• 建立延迟方程的谱可具有实部发散至+∞的特征值，表明其根本上的不稳定性。

提出的方法

• 应用傅里叶方法将解在空间区间(0, π)内分解为特征函数展开，将PDE约化为无穷维常延迟微分方程系统。
• 为每类方程推导其特征特征多项式：抛物型方程为λ + n²e^(-λh) = 0，双曲型方程为λ² + n²e^(-λh) = 0，受扰动双曲型方程为λ² + n²(1 + e^(-λh)) = 0。
• 利用复分析与渐近分析研究特征特征多项式在复平面上的根的位置。
• 应用引理1证明，对于大|w|，方程λ + b·lnλ = w在w的邻域内存在唯一解λ(w)，从而实现对特征值的渐近分析。
• 分析当n → ∞时特征值的渐近行为，表明实部以ln(n²) − ln|π/2 + 2πk| + o(1/|k|)的形式对数增长。
• 对比延迟方程与经典Maxwell-Cattaneo方程及无延迟方程的谱结构，突出其在稳定性方面的定性差异。

实验结果

研究问题

• RQ1 带有拉普拉斯算子延迟的线性偏功能微分方程是否表现出谱不稳定性？
• RQ2 延迟热方程的谱与标准抛物型方程的谱有何不同？
• RQ3 延迟双曲型方程的特征值是否可能具有趋于+∞的实部？
• RQ4 为何标准加权Sobolev空间无法求解此类延迟PDE的初值问题？
• RQ5 当n → ∞时，延迟PDE的特征特征多项式的特征值渐近行为如何？

主要发现

• 延迟热方程的特征特征多项式λ + n²e^(-λh) = 0的特征值λ_nk，其实部满足Re(λ_nk) = ln(n²) − ln|π/2 + 2πk| + o(1/|k|)，当k → ∞时可无界增长。
• 对于延迟波动方程λ² + n²e^(-λh) = 0，某些序列上特征值的实部也趋于+∞，表明存在极端不稳定性。
• 受扰动的延迟波动方程λ² + n²(1 + e^(-λh)) = 0的谱在某种意义下是稳定的，即特征值始终位于左半平面{Re λ ≤ ω}（对任意ω > 0），与前两者形成鲜明对比。
• 延迟热方程特征值的渐近展开表明，Re(λ_nk) ~ ln(n²) − ln|π/2 + 2πk|，随着|k|增大而发散。
• 延迟方程(3)的谱结构与经典Maxwell-Cattaneo方程(1)截然不同，前者特征值向右半平面扩散。
• 标准加权Sobolev空间W_{2,γ}^1(R_+, A²)无法包含解，原因在于拉普拉斯变换在Re λ > γ区域解析，而无法容纳实部趋于+∞的特征值。