[論文レビュー] Unique continuation principle for high order equations of Korteweg-de Vries type

Pedro Isaza|arXiv (Cornell University)|Aug 21, 2013

Advanced Mathematical Physics Problems参考文献 21被引用数 7

ひとこと要約

本稿は、高次Korteweg-de Vries (KdV) 型方程式に対して、一意的拡張原理を確立する。2つの解の差が2つの異なる時刻において $\exp(-a x_+^{4/3^+})$ のように指数的に減少するならば、その解は同一であることを証明する。証明はCarleman推定とエネルギー減衰の議論に依拠し、このような減衰が解の差が恒等的に消えることを示し、古典的KdV方程式の結果を高次KdV階層に拡張する。

ABSTRACT

In this article we consider the problem of unique continuation for a class of high order equations of Korteweg-de Vries type which include the kdV hierachy. It is proved that if the difference w of two solutions of an equation of this form has certain exponential decay for x>0 at two different times, then w is identically zero.

研究の動機と目的

• 高次Korteweg-de Vries (KdV) 型方程式、特にKdV階層に属する方程式に対し、一意的拡張原理を確立すること。
• 2つの解の差の減衰挙動を分析し、それが恒等的に消える条件を特定すること。
• 古典的KdV方程式に対する既知の同定的拡張結果を、$n = 2k+1 \geq 5$ の形 $\partial_t u + (-1)^{k+1} \partial_x^n u + P(u, \partial_x u, \dots, \partial_x^p u) = 0$ を持つ高次方程式に拡張すること。
• 2つの異なる時刻において解の差が $\exp(-a x_+^{4/3^+})$ のように減衰するならば、それが恒等的にゼロであることを示すこと。Carleman型推定とエネルギー法を用いる。

提案手法

• 重み関数 $e^{\lambda x}$ を用いたCarleman型推定を用い、重み付き $L^2$ 空間における解およびその導関数の成長を制御する。
• 空間的・時空的局所化に適した切取り関数 $\phi$ を導入し、エネルギー推定を局所化し、解の差 $w = u_1 - u_2$ における減衰制御を導出する。
• 方程式から導かれる重み付きエネルギー不等式を用い、その後Gronwallの不等式を適用して、初期時刻から後の時刻への減衰情報の伝播を実現する。
• 推定式における指数的減衰項と多項式的成長項のバランスを取るために、$\lambda = a R^{1/3 + \epsilon/2}$ というスケーリングを施す。
• 補間およびSobolev埋め込みを用い、$w$ の高階導関数を低階導関数および初期データで制御する。
• 定理4.8を適用し、領域 $Q$ における $w$ の $L^2$ ノルムを2つの異なる時刻における $w$ 及びその微分の重み付き $L^2$ ノルムと関連付ける。$w \not\equiv 0$ ならば、これは矛盾を引き起こす。

実験結果

リサーチクエスチョン

• RQ1 2つの解の差が2つの異なる時刻においてどのような減衰条件下で、高次KdV型方程式において恒等的に消えるのか？
• RQ2 古典的KdV方程式に対する同定的拡張性は、$n = 2k+1 \geq 5$ のKdV階層全般に拡張可能か？
• RQ3 多項式的非線形性を持つ高次分散方程式の文脈において、同定的拡張に必要な鋭い減衰率は何か？
• RQ4 Carleman推定と重み付きエネルギー法は、指数的減衰の下で解の挙動をどのように制御するか？
• RQ5 非線形項の次数が $p \leq k$ である場合、$p = n-1$ の場合と同様に一般化可能か？

主な発見

• 2つの解の差 $w = u_1 - u_2$ が、任意の $\epsilon > 0$ および十分に大きな $a > 0$ に対して、2つの異なる時刻において $\exp(-a x_+^{4/3 + \epsilon})$ のように減衰するならば、$w \equiv 0$ である。
• この結果は、$n = 2k+1 \geq 5$ で $\partial_t u + (-1)^{k+1} \partial_x^n u + P(u, \partial_x u, \dots, \partial_x^{n-2} u) = 0$ の形をした方程式、特にKdV階層に対しても成立する。
• 証明は、重み $e^{\lambda x}$ を持つCarleman推定に依拠し、$\lambda = a R^{1/3 + \epsilon/2}$ として、局所領域における解の制御を実現する。
• 空間領域に依存する定数 $C_*$ を用いて $a > C_*/2$ と選ぶことで、指数的減衰項が優勢となり、$R \to \infty$ のとき領域上での $w$ の $L^2$ ノルムが消える。$w \not\equiv 0$ ならば、これは矛盾を引き起こす。
• 非線形項の次数が $p \leq k$ の方程式に対しても、必要な減衰率は $\exp(-a x_+^{n/(n-1)})$ であり、同様の条件下で同様の結論が成り立つ。
• 強い空間的減衰が2回の時刻で観測されれば、それがグローバルな一意性を示すことを確認し、同定的拡張原理を高次分散方程式に拡張した。