[論文レビュー] Internal controllability of non-localized solution for the Kodomtsev-Petviashvili II equation

Chenmin Sun, Ivonne Rivas|arXiv (Cornell University)|Nov 26, 2017

Advanced Mathematical Physics Problems参考文献 14被引用数 3

ひとこと要約

本稿は、ヒルベルト一意性法と半古典的・微局所解析を用いて、2次元トーラス上でのKP-II方程式の内部正確可制御性を垂直帯領域から確立する。$L^2_0(\mathbb{T}^2)$ 内の任意の初期状態および終了状態に対して、制御を垂直帯領域に局在化させることで、有限時間内に解を初期状態から目標状態へ移行可能であることを証明する。一方、波束の伝播制約により、水平帯領域からの可制御性は成立しないことを示す。

ABSTRACT

The internal control problem for the Kadomstev-Petviashvili II equation, known as KP-II, is the object of study in this paper. The controllability in $L^2(T)$ from vertical strip is proved using the Hilbert Unique Method through the techniques of semiclassical and microlocal analysis. Additionally, a negative result for the controllability in $L^2(T)$ from horizontal strip is also showed.

研究の動機と目的

• KP-II方程式の $L^2(\mathbb{T}^2)$ 内で、垂直帯領域からの内部可制御性を確立すること。
• 制御領域が水平帯領域である場合の可制御性の限界を分析すること。
• ヒルベルト一意性法と半古典的・微局所的技法を組み合わせて、可制御性の結果を証明すること。
• KP-II方程式の線形化から非線形KP-II方程式への可制御性結果の拡張を、摂動的議論を用いて行うこと。
• 制御エネルギーがゼロに近づくような解の列を構成することで、水平帯領域からの可制御性の失敗を示すこと。

提案手法

• 可制御性問題を双対系におけるスペクトル不等式に還元するために、ヒルベルト一意性法（HUM）を用いる。
• 波束の周波数領域における伝播を解析するため、半古典的解析を適用し、高周波数振動に注目する。
• 特徴的多様体および制御領域近傍における解の挙動を解析するため、微局所的手法を用いる。
• 初期 $L^2$ ノルムがゼロから離れているが、垂直帯領域における制御エネルギーがゼロに近づくような、線形化KP-II方程式の解 $u_n$ の列を構成する。
• ポアソン和公式および部分積分を用いて、制御領域における解の $L^2$ ノルムを推定し、$\epsilon_n^{1/2}$ のオーダーで減少することを示す。
• KP-II方程式のコーシー理論に基づく摂動的議論を適応し、局所的可制御性を非線形系へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 KP-II方程式は、内部制御を垂直帯領域に局在化させることで、$L^2(\mathbb{T}^2)$ 内で正確に可制御可能か？
• RQ2 制御領域が水平帯領域に制限された場合、なぜ可制御性が成立しないのか？
• RQ3 分散型PDE（KP-IIなど）の可制御性において、波束の伝播方向が果たす役割は何か？
• RQ4 半古典的および微局所的手法は、非線形分散型方程式の可制御性を証明するうえでどのように寄与するか？
• RQ5 非線形KP-II方程式の局所的可制御性結果は、$L^2(\mathbb{T}^2)$ 内の小規模な初期データおよび目標データへ拡張可能か？

主な発見

• 任意の $T>0$ および $L^2_0(\mathbb{T}^2)$ 内の初期状態・終了状態に対して、KP-II方程式は垂直帯領域からの正確可制御性を有する。
• 制御演算子 $\mathcal{G}$ は、垂直ウィンドウ関数 $g(x)$ を用いて定義され、水平平均値を保存し、$x$ に関して局所的に作用する。
• 初期ノルムが $\|u_n(0)\|_{L^2} \sim 1$ であるが、制御エネルギーが $\int_0^T \int_\omega |\mathcal{G}u_n(t,x,y)|^2 \, dxdydt \to 0$ ($n \to \infty$) に近づくような解 $u_n$ の列を構成し、水平制御領域におけるスペクトル不等式の失敗を証明する。
• 水平帯領域からの可制御性の失敗は、高周波数かつ大きな群速度を持つ波束が制御領域から脱出するためである。
• 非線形KP-II方程式について、$L^2(\mathbb{T}^2)$ 内の小規模な初期および目標データに対して、時間的に局所的な正確可制御性が成立し、$T$ に依存する半径 $R>0$ が存在する。
• 結果は $s \geq 0$ に対して $H^s_0(\mathbb{T}^2)$ へ拡張可能であるが、本稿では流体の $L^2$ ノルム保存性の観点から $L^2$ に焦点を当てる。