[论文解读] Exponential Stability and Initial Value Problems for Evolutionary Equations

Sascha Trostorff|arXiv (Cornell University)|Jul 3, 2017

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

一句话总结

本文通过在具有指数加权时间的希尔伯特空间设置下，建立了一个统一的框架，用于分析演化方程的指数稳定性与初值问题。通过将算子和 ∂tM + A 视为 H̺(R; H) 上的闭稠定算子，作者利用时间导数 ∂0,̺ 的谱理论，证明了其连续可逆性——等价于适定性——从而为抛物型与双曲型方程提供了指数稳定性的判别准则。

ABSTRACT

In this thesis we consider so-called linear evolutionary problems, a class of linear partial differential equations covering classical elliptic, parabolic and hyperbolic equations from mathematical physics as well as classes of integro-differenital equations, fractional differential equations and delay equations. We address the well-posedness of the problems in a pure Hilbert space setting. Moreover, the exponential stability and the regularity of the problems are studied. In particular, a Hille-Yosida type result is proved, to obtain a strongly continuous semigroup on a suitable state space consisting of admissible initial values and pre-histories. The results are illustrated by various examples.

研究动机与目标

• 在指数加权 L2 空间中，为形式为 (∂tM + A)u = f 的线性演化方程的适定性建立一个通用框架。
• 通过 H̺(R; H) 中算子 ∂tM + A 的连续可逆性，表征解的指数稳定性。
• 通过外推空间与可接受初值，处理演化问题的初值条件。
• 将理论扩展至包含时滞与积分微分方程，包括微分代数系统。
• 提供一种基于谱理论的最大正则性与稳定性分析方法，避免依赖半群理论。

提出的方法

• 在具有权重 e−2̺t 的指数加权 L2 函数空间 H̺(R; H) 中表述演化问题。
• 将时间导数 ∂t 定义为 C∞c(R; H) 上导数的闭包，记为 ∂0,̺，其为正规算子，并通过傅里叶-拉普拉斯变换实现谱表示。
• 将本构律 M 表示为算子值函数 M(∂0,̺)，使得方程可重写为 (∂0,̺M(∂0,̺) + A)u = f。
• 通过证明 ∂0,̺M(∂0,̺) + A 在 H̺(R; H) 中的双射性与有界可逆性，建立适定性。
• 利用谱定理与傅里叶-拉普拉斯变换分析预解式与稳定性性质。
• 将理论应用于二阶问题，通过强制估计与谱局部化推导出指数稳定性条件。

实验结果

研究问题

• RQ1 在何种条件下，算子 ∂0,̺M(∂0,̺) + A 在 H̺(R; H) 上连续可逆，从而确保适定性？
• RQ2 如何通过 ∂0,̺M(∂0,̺) + A 的谱性质表征演化方程解的指数稳定性？
• RQ3 外推空间在定义演化问题可接受初值方面起什么作用？
• RQ4 该框架如何推广至含时滞与积分微分项的方程？
• RQ5 该理论能否应用于微分代数与二阶问题？若能，会引出何种稳定性条件？

主要发现

• 当且仅当 ̺ ≠ 0 时，算子 ∂0,̺ 是 H̺(R; H) 上的正规、稠定且连续可逆算子。
• 演化问题 (∂tM + A)u = f 的适定性等价于 H̺(R; H) 中算子 ∂0,̺M(∂0,̺) + A 的连续可逆性。
• 通过强制估计与谱局部化，为二阶问题建立了指数稳定性，得到一致衰减率。
• 对于抛物型方程，当本构律 M 满足严格正定性条件时，指数稳定性成立。
• 对于双曲型方程，指数稳定性在涉及 A 与 M 的谱性质的更强强制性条件下成立。
• 通过外推空间表征了可接受初值，从而在演化方程的背景下实现了对非光滑初值的严格处理。