Small-time global controllability of a class of bilinear fourth-order parabolic equations

技術要約：一類の高次（4階）放物型双線形方程式の小時間大域的制御可能性について

問題設定
本論文は、1次元トーラス $\mathbb{T} := \mathbb{R}/2\pi\mathbb{Z}$ 上で定義される、あるクラスの高次（4階）非線形放物型方程式のグローバルな制御可能性について調査している。このシステムは、制御が加法的な強制項としてではなく、状態変数の係数として入る双線形（乗法的）制御によって駆動される。一般的なモデルは以下のように与えられる：
$$\partial_t u + \nu_1 \partial_x^4 u + \nu_2 \partial_x^2 u + N(u) = Q(t, x)u,$$
ここで $\nu_1, \nu_2 > 0$ は拡散および反拡散パラメータであり、$N(u)$ は特定の非線形性、主にクラブトモ・シバシンスキー（$N(u) = u\partial_x u$）およびカーン・ヒリアード（$N(u) = -\partial_x^2(u^3)$）方程式を表す。制御 $Q(t, x)$ は $Q(t, x) = \sum_{i=1}^m p_i(t)\mu_i(x)$ の形式をとり、$p_i(t)$ はスカラーの時間依存制御であり、$\mu_i(x)$ は固定された空間プロファイル（低次フーリエモード）である。

中心となる課題は、小時間大域的制御可能性（small-time global controllability）、すなわち、任意の初期状態 $u_0$ と目標状態 $u_1$（特定の符号制約内にあるもの）に対し、任意の短い時間 $T > 0$ 以内で、システムを $u_1$ の任意の近傍へと導く（近似制御可能性）、あるいは $u_1$ という定数状態へと正確に導く（厳密制御可能性）ための制御則が存在するかどうかを判定することである。

手法
著者らは、双線形の設定に適応させた幾何学的制御アプローチ、具体的にはアグラチェフ–サリチェフ（Agrachev–Sarychev）の飽和法を用いている。その手法は、以下の主要な解析ステップを通じて進行する：

1. 共役ダイナミクスと小時間の極限： 解析は、共役ダイナミクスの極限結果に依拠している。制御と初期データに対して特定の時間・空間スケーリングを適用することで、システムが $e^{-(\psi')^4}$ の形の乗法的因子を生成できることを示す。これにより、システムは任意の乗法的関数による状態への作用を近似することが可能となる。
2. 飽和特性： 到達可能な状態の空間が関数空間を「飽和」させるという性質が重要な要素である。著者らは、任意の三角多項式 $\phi$ に対して、状態 $e^\phi u_0$ が任意の小時間で近似的に到達可能であることを示す。これは、高周波モードが低周波モードの4階微分の4乗の和として表現できるという代数的な恒等式を利用した、三角多項式の次数に関する帰納的な議論によって達成される。
3. 近似制御可能性： 飽和特性と、ソボレフ空間 $H^s(\mathbb{T})$ ($s > 1/2$) における三角多項式の稠密性を用いることで、小時間大域的近似制御可能性を確立する。
4. 線形化と不動点を用いた厳密制御可能性： 非ゼロの定数状態への厳密制御可能性を達成するために、近似制御可能性の結果と、線形化されたシステムに対する局所的な厳密制御可能性の結果を組み合わせる。
   • 線形化システム： モーメント法を用いて、線形化された方程式の零制御可能性を分析する。大きな技術的障壁は、トーラス上のラプラシアンにおける二重固有値の存在である。これは、余弦モードと正弦モードを分離する追加の制御ポテンシャル（$\mu_4, \mu_5$）を導入することで克服され、モーメント問題が単純な固有値を持つ2つの独立した問題へと還元される。
   • 非線形への拡張： 非線形システムの局所的な厳密制御可能性は、ソース項法とバナッハの不動点定理を組み合わせた線形結果から導かれる。
5. 連結（Concatenation）： 大域的厳密制御可能性は、初期状態を定数状態の近傍へ導くフェーズ、その状態の近くに軌道を維持するフェーズ、そして最終的に正確な目標へと導くフェーズの3つを連結することで構築される。

主要な貢献と結果

• 小時間大域的近似制御可能性（定理 1.1）：

  • システムは、同一の符号を持つ任意の2つの状態 $u_0, u_1$（すなわち $\text{sign}(u_0) = \text{sign}(u_1)$）の間で、小時間 $L^2$-近似制御可能である。
  • $u_0$ と $u_1$ が厳密に正（または厳密に負）である場合、システムは $H^s$-近似制御可能である。
  • この結果は、わずか3つのスカラー制御（空間プロファイル $(1, \cos x, \sin x)$ に対応する $p_1, p_2, p_3$）を用いて達成される。
  • この結果は、任意の小さな時間ホライゾン $T > 0$ に対して成立する。
  • 注： 本論文の手法では、項目A（$u_0, u_1$ は符号を共有するが、ゼロになる可能性がある）の符号制約下での、任意時間の小時間近似制御可能性への拡張については、明示的に扱われていない。したがって、これらの仮定の下での任意時間における $H^s$-近似制御可能性は、依然として未解決の問題である。

• 定数状態への小時間大域的厳密制御可能性（定理 1.2 および 1.3）：

  • カーン・ヒリアード： システムは、5つのスカラー制御（$p_1, \dots, p_5$）を用いて、任意の非ゼロ定数状態 $\Phi$（$u_0$ と同じ符号）に対して大域的に厳密制御可能である。追加の2つの制御（$\mu_4, \mu_5$）は、双ラプラシアンのスペクトル退化を処理するために特別に設計されている。
  • クラブトモ・シバシンスキー： システムは、4つのスカラー制御（$p_1, \dots, p_4$）を用いて、任意の非ゼロ定数状態 $\Phi$ に対して大域的に厳密制御可能である。非線形性の特定の構造により、カーン・ヒリアードの場合よりも1つ少ない制御数で済む。
  • これらの結果は、固定された符号を持つ任意の初期状態 $u_0 \in H^s(\mathbb{T})$ および、それと同じ符号を持つ任意の目標定数に対して成立する。

意義と主張
本論文は、双線形制御の枠組みにおける高次放物型方程式の制御特性の研究において、初の貢献であると主張している。

• 枠組みの新規性： 高次方程式（例：カーン・ヒリアードやクラブトモ・シバシンスキー）に関する先行研究（通常、局所的な制御可能性のみを与えるカルマン・エスティメイトや加法的な内部・境界制御に依存するもの）とは異なり、本研究は乗法的制御を用いたグローバルな制御可能性の問題に取り組んでいる。
• 幾何学的手法の堅牢性： 本研究は、ナビエ・ストークス方程式やシュレディンガー方程式のために開発された飽和的な幾何学的制御戦略が、複雑な非線形性を伴う高次の（4階）放物型ダイナミクスに対しても十分に堅牢であることを示している。
• スペクトルの障害の克服： 本論文は、トーラス上の二重固有値という特有の困難に対処している。制御プロファイルを注意深く選択してスペクトルをフィルタリングすることにより、関連するモーメント問題を解決しており、これは2階の演算子の場合よりもデリケートな作業である。
• 効率性： グローバルな制御可能性が、有限かつ少数のスカラー制御（近似には3つ、厳密制御には4または5つ）によって、システムパラメータや特定の初期・目標状態に依存せず（符号条件が満たされる限り）達成可能であることを示している。

著者らは、近似制御可能性は小時間において確立されているものの、項目Aの符号制約下での $H^s$-近似制御可能性を任意時間へと拡張することは、近似手順における符号条件への依存のため、依然として未解決かつ興味深い問題であると述べている。さらに、本論文は、双線形システムにおいては構造的な障害（到達集合がコンパクト集合の可算和に含まれること）により、古典的な $L^2$ における厳密制御可能性は一般に不可能であることを認め、これが特定の軌道（定数状態）への厳密制御可能性に焦点を当てる動機となっている。