[论文解读] Optimal observability of the multi-dimensional wave and Schrödinger equations in quantum ergodic domains

Yannick Privat, Emmanuel Trélat+1 more|arXiv (Cornell University)|Nov 24, 2012

Numerical methods in inverse problems参考文献 47被引用 13

一句话总结

该论文通过解决两个问题，在量子遍历区域中建立了多维波动方程和薛定谔方程的最优可观测性：(1) 固定初态下的最优观测集位置；(2) 通过特征函数集中度的谱最大化实现均匀设计。论文在量子遍历性假设下证明了最优集的存在性，建立了凸化公式的无间隙结果，并通过数值方法验证了结果。

ABSTRACT

We consider the wave and Schrödinger equations on a bounded open connected subset $Ω$ of a Riemannian manifold, with Dirichlet, Neumann or Robin boundary conditions whenever its boundary is nonempty. We observe the restriction of the solutions to a measurable subset $ω$ of $Ω$ during a time interval [0,T] with T>0. We address the problem of the optimal location of the observation subset ωamong all possible subsets of a given measure or volume fraction. We solve it in two different situations. First, when a specific choice of the initial data is given and therefore we deal with a particular solution, we show that the problem always admits at least one solution that can be regular or of fractal type depending on the regularity of the initial data. We then introduce a relevant criterion, not depending on the initial conditions and to choose the observation set in an uniform way, independent of the data and solutions under consideration. Through spectral decompositions, this leads to a second problem which consists of maximizing a spectral functional that can be viewed as a measure of eigenfunction concentration. This spectral criterion can be interpreted in two ways: it corresponds either to a time asymptotic observability constant as the observation time interval tends to infinity, or to a randomized version of the deterministic observability inequality. Under appropriate quantum ergodicity assumptions on $Ω$, we compute the optimal value. We then provide spectral approximations and present some numerical simulations that fully confirm the theoretical results in the paper and support our conjectures. Our results highlight precise connections between optimal observability issues and quantum ergodic properties of the domain under consideration.

研究动机与目标

• 确定在给定观测时间 $T$ 的前提下，观测波动方程和薛定谔方程解的最优空间子集 $\omega \subset \Omega$。
• 通过引入基于特征函数集中度的谱准则，解决在不依赖特定解的前提下，统一选择 $\omega$ 以确保对所有初态可观测性的挑战。
• 在量子遍历性假设下证明最优观测集的存在性，并建立原始优化问题与凸化问题之间的无间隙结果。
• 提供谱近似与数值模拟，验证理论结果，并支持关于松弛现象的猜想。
• 突出最优可观测性与底层区域 $\Omega$ 的量子遍历性质之间的深刻联系。

提出的方法

• 在具有狄利克雷、诺伊曼或罗宾边界条件的黎曼流形 $M$ 上，建立波动方程和薛定谔方程的可观测性不等式。
• 利用谱分解将可观测性泛函 $G_T(\chi_\omega)$ 表示为特征函数之和，从而实现对能量在 $\omega$ 内局部化的分析。
• 引入一个谱泛函，通过最大化特征函数平方在 $\omega$ 上的最小迹，作为不依赖于初态的统一设计准则。
• 证明该谱准则对应于 $T \to \infty$ 时的时间渐近可观测性常数，并与随机化可观测性不等式相关联。
• 对最优设计问题应用凸化技术，并在 $\Omega$ 满足量子遍历性假设下建立无间隙结果。
• 构建谱近似并进行数值模拟，以验证理论结果，并探索由于松弛现象导致经典最优集不存在的情形。

实验结果

研究问题

• RQ1 对于给定初态，波动方程和薛定谔方程的最优观测集 $\omega$ 的空间位置为何？
• RQ2 如何定义一个统一的观测集 $\omega$，使其对所有初态均保证可观测性，而不依赖于特定解？
• RQ3 在何种几何与谱条件下，经典最优集 $\omega$ 存在，何时会发生松弛？
• RQ4 时间渐近可观测性常数与最大化特征函数集中度的谱泛函之间存在何种关系？
• RQ5 原始非凸最优设计问题能否通过其凸化形式等价求解？该等价性在何种假设下成立？

主要发现

• 对于固定初态，最优观测集 $\omega$ 始终存在，其正则性取决于初态的正则性，可能为光滑或分形。
• 通过最大化一个谱泛函来解决统一最优设计问题，该泛函衡量特征函数平方在 $\omega$ 上的最小集中度。
• 该谱准则对应于 $T \to \infty$ 时可观测性常数的极限，将时间渐近行为与空间设计联系起来。
• 在 $\Omega$ 满足量子遍历性假设下，原始最优设计问题与凸化版本之间建立了无间隙结果。
• 数值模拟验证了理论预测，并展示了松弛现象，即经典最优集通常不存在。
• 提供了即使在普遍预期发生松弛的情况下，经典最优集仍存在的例子，凸显了区域几何与谱结构的关键作用。