[论文解读] A unified controllability/observability theory for some stochastic and deterministic partial differential equations

Xu Zhang|arXiv (Cornell University)|Mar 30, 2010

Stability and Controllability of Differential Equations参考文献 11被引用 19

一句话总结

本文提出了一种统一框架，利用加权恒等式推导全局Carleman估计，实现对随机与确定性偏微分方程的可控性与可观察性分析。该方法为抛物型、双曲型及相关方程的可控性、可观察性、镇定、唯一延拓及反问题结果提供了系统性方法。

ABSTRACT

The purpose of this paper is to present a universal approach to the study of controllability/observability problems for infinite dimensional systems governed by some stochastic/deterministic partial differential equations. The crucial analytic tool is a class of fundamental weighted identities for stochastic/deterministic partial differential operators, via which one can derive the desired global Carleman estimates. This method can also give a unified treatment of the stabilization, global unique continuation, and inverse problems for some stochastic/deterministic partial differential equations.

研究动机与目标

• 为由随机与确定性PDE控制的无限维系统建立一种通用的可控性与可观察性方法。
• 通过统一其分析基础，弥合抛物型与双曲型方程可控性理论之间的差距。
• 利用单一分析框架，将已知的可控性、可观察性与镇定结果推广至非线性和随机PDE。
• 通过同一核心方法，系统性地处理全局唯一延拓与反问题。
• 为未来关于前向随机PDE、非线性随机PDE以及随机环境下镇定与反问题的研究奠定基础。

提出的方法

• 推导随机与确定性偏微分算子的基本加权恒等式，作为核心分析工具。
• 利用这些恒等式构造适用于广泛PDE类别的全局Carleman估计，包括抛物型、双曲型、Schrödinger方程与板方程。
• 通过对偶性原理，将可控性问题转化为可观察性不等式，应用Carleman估计进行求解。
• 该方法适用于线性与非线性PDE，包括具有扩散与漂移系数的随机PDE。
• 引入一种涉及二次变差过程的随机双曲型算子恒等式，以处理随机环境下的Itô过程。
• 通过权重函数 $\theta = e^{\ell}$ 的变换，将原PDE转化为适合能量型估计的形式。

实验结果

研究问题

• RQ1 能否通过单一分析框架统一抛物型与双曲型PDE的可控性与可观察性理论？
• RQ2 加权恒等式与Carleman估计在多大程度上可推广至随机PDE？
• RQ3 同一方法能否为PDE的镇定、唯一延拓与反问题带来新结果或更优结果？
• RQ4 在随机环境下，可观察性与可控性的必要与充分条件是什么？
• RQ5 如何在非线性与随机PDE系统中保持并扩展可控性与可观察性之间的对偶关系？

主要发现

• 该方法通过统一的Carleman估计方法，成功恢复了线性抛物型、双曲型、Schrödinger方程与板方程的已知可控性与可观察性结果。
• 本文建立了随机双曲型算子的新恒等式，使在随机环境下推导可观察性估计成为可能。
• 该框架通过相同的基于Carleman的方法，系统性地处理了随机与确定性PDE的全局唯一延拓问题。
• 该方法通过利用由加权恒等式导出的可观察性估计，为某些类PDE提供了精确的镇定结果。
• 该理论可扩展至反问题，允许通过可观察性不等式重构未知系数或源项。
• 该方法足够稳健，可处理具有非平凡扩散与漂移项的非线性PDE与随机PDE，如随机双曲恒等式所证明。