[論文レビュー] 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

ひとこと要約

本稿は、量子エルゴード領域における多次元波動方程式およびシュレーディンガー方程式の最適可観測性を確立する。2つの問題を解決する：（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$ は常に存在し、データの正則性に応じて正則またはフラクタルな形状を取り得る。
• 一様最適設計問題は、固有関数の二乗の最小濃縮を測るスペクトル関数を最大化することで解決される。
• このスペクトル基準は、$T \to \infty$ のときの可観測定数の極限に一致し、時間漸近的挙動と空間的設計を結びつける。
• $\Omega$ における量子エルゴード性の仮定のもとで、元の最適設計問題とその凸化された問題との間にギャップがないことが証明された。
• 数値シミュレーションにより理論的予測が確認され、古典的最適集合が一般に存在しない緩和現象が示された。
• 一般に緩和が予想される中で、古典的最適集合が存在する例が提示され、領域の幾何構造とスペクトル構造の役割が強調された。