Small-time local control of a Schrödinger equation: a negative and a positive quadratic result

技術要約：シュレディンガー方程式の小時間局所制御：負および正の二次的結果

問題設定
本論文は、基底状態 $\phi_0$ の周りで線形化された、ノイマン境界条件を持つ双線形シュレディンガー方程式の小時間局所制御可能性（STLC）を調査するものである。系は以下によって記述される：
$$\begin{cases} i\partial_t\psi(t, x) = -\partial^2_x\psi(t, x) - u(t)\mu(x)\psi(t, x), & t \in (0, T), x \in (0, 1), \\ \partial_x\psi(t, 0) = \partial_x\psi(t, 1) = 0, & t \in (0, T), \end{cases}$$
ここで $\mu \in H^2((0, 1); \mathbb{R})$ は固定された空間関数であり、$u(t)$ は実数値のスカラー制御である。

本研究は、線形化された系が制御不能となる退化ケースに焦点を当てている。具体的には、あるモード $k \in \mathbb{N}$ に対して結合係数 $\langle \mu, \phi_k \rangle = 0$ となる状況を検討する。このようなシナリオでは、線形制御理論だけでは制御可能性を決定するには不十分であり、二次的な（quadratic）解析が必要となる。中心となる問いは、線形系が制御不能な場合に、系が依然として STLC を保持するか、あるいは「二次的な障害（quadratic obstruction）」が制御可能性を妨げるのかという点である。

手法
著者らは、制御 $u$ に関する状態 $\psi = \phi_0 + \psi_1 + \psi_2 + \dots$ の冪級数展開を用いる。

1. 二次形式の解析： 解析の核心は、二次の項 $\psi_2(T)$、特に制御不能なモード $\phi_k$ への射影にある。この射影は、積分核 $K(t-s)$ を含む双線形形式 $Q(u, u)$ として表現される。
2. フーリエに基づくアプローチ： 本手法の重要な革新は、標準的な部分積分による議論を回避した点にある。シュレディンガー方程式に関連する積分核 $K$ は、標準的な部分積分でドリフト項を抽出するために必要な正則性（具体的には、その微分が関数ではなく、ディラック測度や主値を含む分布となる性質）を欠いている。代わりに、著者らはフーリエ周波数領域において二次形式を解析する。彼らは、核のフーリエ変換の明示的な表現を導出し、それをディラック測量、主値部分、および正則な部分へと分解する。
3. ドリフトの定量化：
   • 負の結果： 特定の係数 $a_k$（核から導出される）が非ゼロであるとき、著者らは、二次的な運動が半空間に制約されることを示す強圧性評価（coercivity estimate）を証明し、到達可能性を妨げることを示す。これは、非ゼロのリー括弧による障害に対応する。
   • 正の結果： $a_k = 0$ の場合、高周波振動を用いた特定の制御を構成する。彼らは、高周波におけるフーリエ変換された核の虚部の符号変化の性質を利用して、方向 $\pm i\phi_k$ への運動を生成する。
4. カーネル変調ツール： 著者らは、参照となる二次形式から、それによって変調された二次形式へと評価を転送するための一般的なツール（セクション5）を開発し、これにより $k \neq 0$ の一般ケースを $k=0$ の参照ケースに基づいて扱うことができるようにしている。
5. 剰余項の評価： 引数を完結させるために、不均一なノイマン境界条件を持つ補助的な系を用いて、非線形剰余項の精密なエネルギー評価を導出し、高次の項が二次的な効果を支配しないことを保証する。

主要な結果
本論文は、係数 $a_k$ に基づく二分法を確立している：
$$a_k := \sum_{j \in \mathbb{N}} \left( \lambda_j - \frac{\lambda_k}{2} \right) \langle \mu, \phi_j \rangle \langle \phi_j, \mu \phi_k \rangle$$

1. 負の結果 (Theorem 1.7): $a_k \neq 0$ のとき、系は STLC ではない。

   • 制御の原始の $H^{-1}$ ノルム ($\|u_1\|_{L^2}^2$) によって定量化される、方向 $-i a_k \phi_k$ への「ドリフト」が存在する。
   • これは、偏微分方程式におけるサスマン（Sussmann）の古典的な二次的障害（リー括弧 $[\mu, [\mu, A]]\phi_0$ が非ゼロであることに対応）の新たな事例を提供している。
   • 具体的には、ターゲット $\psi^*_\epsilon = \sqrt{1-\epsilon^2}\phi_0 + i \text{sgn}(a_k)\epsilon \phi_k$ は、小さな $\epsilon$ に対して到達不可能である。

2. 正の結果 (Theorem 1.9): $a_k = 0$ であり、残りの結合係数が一般的な非退化条件（$j \neq k$ に対して $|\langle \mu, \phi_j \rangle| \geq c \langle j \rangle^{-2}$）を満たすとき、系は STLC である。

   • 著者らは、方向 $\pm i \phi_k$ への振幅が $T \|u_1\|_{L^2}^2$ のようにスケールする運動を実現する制御を構成する。
   • 接ベクトル引数と時間の連結を用いることで、これらを任意の方向 $z \phi_k$ ($z \in \mathbb{C}$) への運動へと拡張する。
   • 制御コストは $\|u\|_{L^2} \lesssim |\langle \psi^*, \phi_k \rangle|^{1/2}$ とスケールし、これは二次オーダーの制御可能性の特徴である。

意義と主張
本論文は、制御理論への以下の貢献を主張している：

• サスマンの障害の新たな偏微分方程式の事例： 負の結果（Theorem 1.7）は、古典的な二次的障害（長さ3のリー括弧に関連するもの）が STLC を妨げる具体的な偏微分方程式の事例を特定しており、これは常微分方程式や他の偏微分方程式（Dirichlet型シュレディンガーやKdV系など）で知られている結果を拡張するものである。
• 物理的な系における初の正の二次的 STLC： 正の結果（Theorem 1.9）は、「合理的な物理的系」（単一のスカラー制御によって駆動されるノイマン条件付き双線形シュレディンガー方程式）において、二次的なオーダーでの小時間局所制御可能性を確立した最初の事例であると主張されている。以前の正の二次的結果（例：[4]）は、人工的に作られた（"cooked-up"）非線形性に依存していた。
• 手法的な進展： 著者らは、低正則性の核（標準的な部分積分が失敗するケース）を扱うための重要なツールとして、自身のフーリエベースのアプローチを強調している。また、変調関数によって核を乗じるための一般的なフレームワークも提供しており、これは他の系にも再利用可能であると考えている。
• 技術的厳密性： 不均一なノイマン境界条件を持つシュレディンガー方程式に関する詳細なエネルギー評価、およびドリフト係数を定義する級数の収束に関する厳密な証明が含まれている。

著者らは、自らの研究の範囲について謙虚な姿勢を保っており、結果は特定のノイマンの設定に適用されること、および正の結果がシュレディンガーの非線形性の特定の構造（それが周波数領域で必要な符号変化の性質を満たしている）に依存していることを述べている。実験的な応用は提案しておらず、本研究を無限次元制御システムにおける二次的障害を分析するための手法論的な発展として位置づけている。