[論文レビュー] Control in the presence of a black box

Nicolas Burq, Maciej Zworski|ArXiv.org|Apr 14, 2003

Quantum chaos and dynamical systems参考文献 27被引用数 13

ひとこと要約

本稿は、散乱理論のブラックボックス枠組みを制御理論およびシュレーディンガー方程式の固有関数推定に適用し、散乱理論からのリゾルベント推定が複雑な幾何的解析の代わりに用いられることを示している。波動方程式の障害物付き制御結果を確立し、双曲的閉測地線付近における固有関数質量の最良対数的下界を、半古典的枠組みにおける量子モノドロミーと微局所解析を用いて証明している。

ABSTRACT

We apply the ``black box'' scattering theory to problems in control theory and in high energy eigenvalue scarring.

研究の動機と目的

• 閉じた系をブラックボックスとして扱うことで、幾何的制御理論と散乱理論を統合すること。
• 制御理論的結果の証明を、詳細な幾何的解析の代わりに散乱理論からのリゾルベント推定に置き換えることにより簡略化すること。
• 量子モノドロミーと微局所的手法を用いて、双曲的閉測地線付近における固有関数質量の鋭い推定を確立すること。
• ボルンモビッチスタジアムのような系において、高周波数でも固有関数が中心領域にのみ集中しないことを示すこと。
• 半古典的解析におけるブラックボックス枠組みを通じて、固有値のスカラリングと準モード誤差推定の結果を統一すること。

提案手法

• SjöstrandとZworskiのブラックボックス散乱枠組みを用い、障害物や捕獲軌道を散乱系としてモデル化する。
• Ikawaによる有限体積散乱に関する既知の結果を活用し、ラプラシアンのリゾルベント推定に外領域における制御問題を還元する。
• 単一の双曲的閉測地線の周辺での力学を解析する際、量子モノドロミー法を用い、それが唯一の捕獲軌道であるとみなす。
• 微局所解析と半古典的推定を用いて、ブラックボックス設定における演算子 $ Q(z) = (i\partial_t + \Delta) $ の逆演算子を評価する。
• Grushin問題と演算子ノルム推定を用い、$ (I - M(z))^{-1} $ の推定を行う。ここで $ M(z) $ は量子モノドロミー演算子である。
• 精密化された演算子補題（補題A.2）を用いて、実リゾルベント推定と複素リゾルベント推定の間を補間し、固有関数質量の対数的境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 散乱理論からのリゾルベント推定は、シュレーディンガー方程式の制御理論において、詳細な幾何的解析を置き換えることができるか？
• RQ2 双曲的閉測地線の近傍から外れた領域における固有関数の $ L^2 $-質量の最良下界は何か？
• RQ3 ブラックボックスアプローチにより、例えば単一の捕獲軌道のような孤立した力学的現象が、制御およびスペクトル問題においてどのように扱えるか？
• RQ4 ボルンモビッチスタジアムのような系において、高周波数でも固有関数が中心領域にのみ集中する可能性はどの程度か？
• RQ5 ブラックボックス散乱技法を用いて、スタジアム問題における準モード誤差推定が最良であることを示せるか？

主な発見

• 定理1は、[4]で提示された詳細な解析を回避して、有限個の厳密に凸な障害物の外部におけるシュレーディンガー方程式の正確な可制御性を、リゾルベント推定のみを用いて確立する。
• 定理2は、任意の固有関数 $ u $ について、$ -\Delta u = \lambda u $ を満たすとき、双曲的閉測地線の近傍から外れた領域における $ L^2 $-質量が $ \int (1-\chi)|u|^2 \geq \frac{1}{\log \lambda} \int |u|^2 $ を満たすことを証明する。これはColin de VerdièreとParisseによって最良であることが示されている。
• 式 (1.4) の境界は鋭く、曲率が負のシリンダー上での明示的例によって、これ以上改善できないことが示されている。
• ボルンモビッチスタジアムに関して、定理3は、固有関数が中心の長方形領域にのみ集中しないことを示しており、外部の質量は全質量の定数倍で一様に下から抑えられている。
• スタジアムにおけるバウンシングボールモードの準モード構成における誤差項 $ \mathcal{O}(1) $ は、ブラックボックスアプローチによって最良であることが示されている。
• 主要なリゾルベント推定 (A.9) の証明は、半古典的設定における $ I - M(z) $ の可逆性に依存し、$ \mathcal{O}(h^{-N_0}) $ の境界が得られる。これはGérardによるGrushin問題と量子モノドロミーの解析から導出される。