[論文レビュー] Analyticity of solutions to parabolic evolutions and applications

Luis Escauriaza, Santiago Montaner+1 more|arXiv (Cornell University)|Sep 14, 2015

Stability and Controllability of Differential Equations参考文献 22被引用数 5

ひとこと要約

本稿では、初期時刻に近い線形放物型方程式の解の空間時間解析性に関する新しい定量的推定値を、$W^{2m,1}_2$ ハウゼル推定を用いた帰納的アプローチによって確立する。主な貢献は、テイラー級数展開の収束半径に一様な正の下界を保証する refined 界である。これにより、有界な解析的領域内の可測集合上での観測可能性およびノルム制御可能性の結果が得られる。

ABSTRACT

We find new quantitative estimates on the space-time analyticity of solutions to linear parabolic equations with analytic coefficients near the initial time. We apply the estimates to obtain observability inequalities and null-controllability of parabolic evolutions over measurable sets.

研究の動機と目的

• 初期時刻 $t=0$ に近い線形放物型方程式の解の空間時間解析性に関する改善された定量的推定値を導出すること。
• $t \to 0$ の際に劣化する従来の界の限界を克服し、制御可能性への応用を妨げる要因を除去すること。
• 空間および時間におけるテイラー級数の収束半径に正の下界を確立すること。これは、可測集合上での制御可能性にとって不可欠である。
• これらの推定値を応用して、正の測度を有する可測集合上での有界制御を伴う放物型発展の観測不等式およびノルム制御可能性を証明すること。
• 時間に依存しない方程式から時間に依存する放物型方程式へと結果を拡張するために、帰納的およびシューディン型推定を用いて解析性推定値を精緻化すること。

提案手法

• 空間および時間の微分の順序に関する帰納的プロセスが、放物型初期境界値問題の $W^{2m,1}_2$ ハウゼル推定を活用して用いられる。
• この手法は、領域 $\Omega$ が $C^{2m-1,1}$ 級であること、および作用素 $\mathcal{L}$ の係数が解析的で一様放物性を満たしているという仮定に依存する。
• コアとなる推定値は、解の複素時間および複素空間変数への解析接続を定量的に評価することにより得られる。その際、$|\partial_x^\alpha \partial_t^p u(x,t)| \leq e^{1/\rho t^{1/(2m-1)}} \rho^{-|\alpha|-p} t^{-p} (|\alpha|+p)! \|u\|_{L^2}$ の形の導出係数の界を用いる。
• 証明は、部分積分およびライブニッツ則を用いて微分作用素 $\mathcal{L}$ を変分的形に分解し、既知のハウゼル推定を適用可能にする。
• 重要な技術的ステップとして、高階微分作用素を $C^{k}$ 係数を持つ発散型作用素の和として表現し、微分の順序に関する帰納法を用いる。
• 推定値は、$u$ のテイラー級数が複素近傍 $B_\rho(x) \times ((1-\rho)t, (1+\rho)t)$ で絶対収束することを示すことによって検証され、$t>0$ に近接する一様解析性が保証される。

実験結果

リサーチクエスチョン

• RQ1 放物型解の空間時間解析性に関する定量的推定値を改善し、$t=0$ に近いテイラー級数の収束半径に正の下界を提供することは可能か？
• RQ2 こうした改善された解析性推定値を用いて、正の測度を有する可測集合上での観測可能性およびノルム制御可能性をどのように確立できるか？
• RQ3 時間に依存する解析的係数を有する放物型方程式の解に対して、解析性半径の時間的最適減衰率は何か？
• RQ4 時間に依存しない係数に対して用いられた手法を、微分係数の精緻化を通じて時間に依存する係数へと拡張可能か？
• RQ5 解析性半径が放物型定数 $\varrho$、次数 $2m$、および領域の正則性にどのように依存するかの正確な依存関係は何か？

主な発見

• 本稿では、解の空間時間解析性に関する新しい定量的界を確立した：$|\partial_x^\alpha \partial_t^p u(x,t)| \leq e^{1/\rho t^{1/(2m-1)}} \rho^{-|\alpha|-p} t^{-p} (|\alpha|+p)! \|u\|_{L^2}$。この界は $t \in (0,1]$ および $\rho \leq 1$ に対して成立する。
• この界により、$u$ のテイラー級数が複素近傍 $B_\rho(x) \times ((1-\rho)t, (1+\rho)t)$ で絶対収束することが保証され、$t \to 0$ に近づいても変化しない一様な正の下界を有する解析性半径が得られる。
• 改善された解析性推定値により、正の測度を有する可測集合上での放物型発展の観測不等式およびノルム制御可能性の結果が導出可能となり、従来の推定値では達成できなかった。
• 従来の界（例：$t^{-\frac{|α|}{2m}-p-\frac{n+2m}{4m}}$）が $t \to 0$ で発散するのを防ぐために、無限の伝播速度を捉える超指数的因子 $e^{1/\rho t^{1/(2m-1)}}$ を導入することで、その劣化を克服した。
• 著者らは、空間における解析性半径が $t$ に依存せず $\rho$ で下から抑えられることを証明した。これは制御可能性応用にとって極めて重要である。
• 時間に依存する係数に対しても、帰納的プロセスを精緻化し、$W^{2m,1}_2$ 空間におけるシューディン推定を用いることで、解析的データを有する一般放物型発展の取り扱いが可能となった。