論文「実数モーメント問題に対する短時間評価：2 項ウェイル則を有するスペクトル法則」の技術的サマリー

1. 概要

本論文は、実指数関数 $e^{\lambda_k t}$ を含むモーメント問題の可解性と、それに関連する制御コストの明示的な評価を研究しています。特に、スペクトル数列 $(\lambda_k)$ が「2 項ウェイル漸近則（two-term Weyl asymptotic law）」を満たす場合に焦点を当て、従来の研究では扱えなかった「均一なブロック間隔条件を満たさない」ケースにおいても、任意に短い時間での制御（Null-controllability）が可能であることを示しました。さらに、これらの結果を応用し、高次元領域における分数階双線形熱方程式の局所的な正確制御可能性を確立しています。

2. 研究の背景と問題設定

2.1 モーメント問題

ヒルベルト空間 $H = L^2(0, T; \mathbb{R})$ において、与えられた数列 $(x_k)$ に対して、
$$\int_0^T e^{\lambda_k t} u(t) dt = x_k, \quad \forall k \in \mathbb{N}^*$$
を満たす制御関数 $u \in L^2(0, T)$ の存在と、そのノルム $\|u\|_{L^2}$ の評価（制御コスト）が主たる対象です。ここで、$(\lambda_k)$ は単調増加する正の実数列です。

2.2 既存の手法との違い

従来のモーメント問題や熱方程式の制御に関する研究（Fattorini-Russell, Lebeau-Robbiano など）では、以下のような強い仮定が置かれることが一般的でした：

• スペクトルギャップ条件: $\inf |\lambda_{k+1} - \lambda_k| > 0$（一様な間隔）。
• ブロック条件: 任意の長さのブロック内で固有値が均一に分布していること（式 (1.15)）。

しかし、高次元の領域（例：正方形）におけるラプラシアンの固有値など、これらの条件を満たさないが、ウェイル則（$\lambda_k \sim k^a$）を満たすケースが存在します。本論文は、ブロック間隔が一様に有界でない（凝縮指数が 0 ではないが、一様ギャップがない）場合でも、短時間制御が可能であることを示すことを目的としています。

3. 主要な仮定と結果

3.1 仮定

数列 $\mu = (\mu_k)$ に対して以下の仮定を置きます：

1. 2 項ウェイル則: 数え上げ関数 $N_\mu(\Gamma) = \#\{k : \mu_k \le \Gamma\}$ に対して、
   $$c_{W,1}\Gamma^a - c_{W,2}\Gamma^b \le N_\mu(\Gamma) \le c_{W,1}\Gamma^a + c_{W,2}\Gamma^b$$
   が成り立つ（$1/2 \le a < 5/8$, $0 < b < 1/2$）。
2. 指数関数的な最小ギャップ: 隣接する項の差が指数関数的に減少しないこと。
   $$\mu_{k+1} - \mu_k \ge \exp(-c_w \mu_k^{1/2})$$
3. 制御演算子の条件: 制御演算子 $B$ がすべての周波数に対して十分な結合性を持つこと（$\langle B, \phi_k \rangle$ が指数関数的に減衰しないこと）。

3.2 主要定理（Theorem 1.1 & 1.3）

上記の仮定の下で、以下の結果が得られます：

• モーメント問題の可解性: 任意の $T \in (0, 1)$ に対して、解 $u$ が存在し、その制御コストは以下のように評価されます。
  $$\|u\|_{L^2(0,T)} \le C \exp\left( \frac{C}{T^{\alpha_{\varepsilon, \delta}}} \right) \|x\|$$
  ここで、$\alpha_{\varepsilon, \delta}$ はパラメータ $a, b, \delta$ に依存する正の定数です。
• 抽象的な線形制御問題の Null-controllability: 線形システム $\xi' + A\xi + Bv = 0$ が任意の短時間でゼロ状態へ制御可能です。

3.3 双線形制御への応用（Theorem 1.8）

上記の線形制御結果を、双線形制御問題
$$\psi' + A\psi + v(t)B\psi = 0$$
に適用し、固有解（eigensolutions）への局所的な正確制御可能性を証明しました。これは、初期状態が特定の固有状態 $\phi_j$ に十分近い場合、任意の短時間でその固有状態へ制御できることを意味します。

4. 手法と技術的貢献

4.1 Lebeau-Robbiano 法の拡張

本論文の核心的な手法は、Lebeau-Robbiano 法（フィルタリングされた空間での制御と、熱方程式の減衰性を利用した完全制御の組み合わせ）の改良です。

• 周波数カットオフ: 周波数 $\Lambda$ 以下の空間 $E_\Lambda$ での制御をまず構築します。
• ブロック間隔の緩和: 従来の手法では「ブロック内の最大間隔」が一様に有界である必要がありましたが、本論文ではカットオフ周波数 $\Lambda$ に依存して許容される間隔を緩めることで、2 項ウェイル則を持つが均一ギャップを持たない数列を扱えるようにしました。
• 補間関数と双直交族: 固有値の凝縮（condensation）を考慮した双直交族（biorthogonal families）の構成を行い、そのノルム評価を精密に行っています。

4.2 具体的な反例の提示（Section 1.1.5）

正方形 $\Omega = (0, 1)^2$ 上のディリクレ・ラプラシアンの固有値 $\lambda_k$ を用いて、$\mu_k = \lambda_k^2 - 1/k + 2$ と定義した数列を例示しました。

• この数列は 2 項ウェイル則を満たします。
• しかし、固有値の重複度が増加する箇所が存在するため、任意の長さのブロックに対して一様な間隔条件を満たしません。
• 既存の手法では扱えないこのケースに対して、本論文の定理が適用可能であることを示しました。

4.3 高次元双線形熱方程式への適用（Section 5）

2 次元の長方形領域における双ラプラシアンの制御問題に対して、上記の結果を適用しました。

• 領域の形状比が代数的無理数である場合、固有値の分布が特定の性質（Roth の定理を用いた評価）を満たし、仮定 (1.5) が満たされることが示されました。
• これにより、高次元かつ複雑な幾何学的構造を持つ領域における双線形制御の新しい結果が得られました。

5. 意義と結論

本論文の主な貢献は以下の点に集約されます：

1. 制御理論の一般化: 従来の「一様なスペクトルギャップ」や「均一なブロック条件」という強い仮定を撤廃し、より一般的な「2 項ウェイル則」を満たすスペクトルに対して短時間制御可能性を証明しました。
2. コスト評価の明示: 制御コストが時間 $T$ に対して $\exp(C/T^\alpha)$ の形で発散することを明示的に示し、その指数 $\alpha$ をスペクトルの漸近挙動（$a, b$）と制御演算子の性質（$\delta$）から決定しました。
3. 双線形制御への新たな道筋: 線形制御の新しい結果を基盤として、高次元の双線形熱方程式における固有解への局所制御可能性を確立し、既存の文献（1 次元やネットワーク型領域に限定されていた結果）を一般化しました。

この研究は、偏微分方程式の制御理論において、スペクトル特性と制御可能性の関係をより深く理解するための重要な一歩であり、特に高次元問題や複雑な幾何学を持つ系への応用において大きな意義を持ちます。