Bilinear control to trajectories of 1D degenerate parabolic equations in moving domains

技術的概要：移動領域における 1 次元退化放物型方程式の軌道への双線形制御

問題の定義
本論文は、時間とともに変化する有界領域上で定義された 1 次元半線形退化放物型方程式の局所制御可能性を調査する。検討対象とする特定のシステムは、反応項の係数を通じて作用する双線形制御によって支配される。領域 $\Omega_t$ は $(0, \ell(t))$ として定義され、ここで境界 $\ell(t)$ は時間の連続微分可能関数であり、非円柱状の時空間領域 $\hat{Q}$ を生み出す。拡散係数 $a(x)$ は境界 $x=0$ で退化する（例えば、$\alpha \in (0,1)$ に対して $a(x) = x^\alpha$）。

主要な目的は、正の軌道への局所厳密制御可能性を確立することである。具体的には、非制御方程式を満たす正の軌道 $\tilde{u}$ が与えられたとき、軌道の初期状態に十分に近い初期データに対して、任意に小さな開集合 $\hat{\omega} \times (0, T)$ に支えられた制御関数 $h$ が存在し、制御された状態 $u$ が時刻 $T$ に軌道状態 $\tilde{u}$ に到達するかどうかを著者らは決定しようとする。

手法
著者らは、幾何学的変換、線形化、および関数解析を組み合わせた多段階戦略を採用する：

1. 領域変換：移動境界に対処するため、著者らは非円柱状領域 $\hat{Q}$ を固定された円柱状領域 $Q = (0, 1) \times (0, T)$ へ写す微分同相写像 $\tau_t$ を構成する。この変換は空間変数を再スケーリングし、元の問題を固定領域上の時間依存係数および追加の低次項を伴う放物型方程式に変換する。
2. 線形化と随伴解析：非線形システムの制御可能性は、目標軌道によるシフト後のゼロ状態周りで変換されたシステムを線形化することによってアプローチされる。著者らは、退化拡散項と双線形制御項を含む関連する線形化システムを解析する。
3. カルマン推定：証明の重要な構成要素は、線形化された随伴システムに対する大域的カルマン推定の導出である。これらの推定は、$x=0$ における退化と領域の時間依存性を処理するように設計された、時間と空間に依存する特定の重み関数を利用する。これらの推定は、観測可能性不等式へと導く。
4. 線形システムの零制御可能性：観測可能性不等式と重み付き空間に適合したヒルベルト一意性法（HUM）を用いて、著者らは線形化されたシステムの全球的零制御可能性を証明する。彼らは、時刻 $T$ において解をゼロに駆動する制御の存在、ならびに制御と状態に関する特定の正則性推定を確立する。
5. 逆関数定理：最後に、著者らはバナッハ空間におけるリウスチック逆関数定理を適用する。非線形システムによって定義される写像が $C^1$ であり、その原点における線形化が（線形制御可能性の結果に基づき）全射であることを検証することにより、彼らは元の非線形システムの正の軌道への局所厳密制御可能性を推論する。

主要な貢献と結果

• 主要定理：本論文は、初期データが $H^1_a$ ノルムにおいて軌道の初期データに十分に近い場合、任意の時刻 $T > 0$ において、非線形退化放物型システム (1) が任意の正の軌道 $\tilde{u}$ に対して局所的に厳密に制御可能であることを証明する。
• 移動領域の処理：この研究は、固定領域からの制御可能性の結果を、退化方程式に対して非円柱状の移動領域へと拡張する。この設定は、時間変化する幾何学と拡散係数の退化により、著しい複雑さを導入する。
• 双線形制御機構：本研究は、状態に比例した成長または減衰率を変調する反応項に作用する双線形制御（乗法的制御）に焦点を当てている。これは加法的制御とは異なり、この文脈における軌道追跡に有効であることが示される。
• 正則性推定：著者らは、線形化システムの制御と状態に対する詳細な重み付き推定を導出し、不動点議論における非線形項を処理するために制御が十分な正則性（具体的には重み付き $L^2$ 空間および $H^1$ 空間において）を有することを保証する。

意義と主張
著者らは、この研究を非標準幾何学における退化偏微分方程式（PDE）の制御理論への貢献として位置づける。彼らは、非退化および固定領域の退化方程式の制御可能性はよく発展しているが、退化、非線形性、および移動境界の組み合わせは、特定の手法を必要とするより複雑な課題を提示すると指摘する。

本論文は、移動領域におけるそのような退化システムの双線形制御可能性に関する最初の結果を提供すると主張する。その意義は、拡散が境界で消滅し、かつ領域が進化する現実的な制約下で（相転移や個体群動態などの）複雑な力学系を制御できることを実証することにある。著者らは明示的に、彼らの結果は局所的（小さな初期偏差を必要とする）であり、無限次元システムにおける局所制御可能性を確立するための標準的かつ厳密なアプローチであるリウスチック逆関数定理に依存していると述べている。

論文は、非局所非線形性を持つシステムおよび一相ステファン型問題への潜在的な拡張を提案することで締めくくられ、ここで開発された手法がより複雑なシナリオの基礎となり得ることを示唆している。