[論文レビュー] Ill-posedness issues for nonlinear dispersive equations

Nikolay Tzvetkov|arXiv (Cornell University)|Nov 20, 2004

Advanced Mathematical Physics Problems参考文献 54被引用数 22

ひとこと要約

本稿は、KdV方程式や非線形シュレーディンガー方程式を含む非線形分散型方程式における不適切性を、小さな時間間隔における高周波数近似解の構築によって調査する。流れマップが特定の正則性閾値未満で一様連続でないことが示され、半線形の適切性が双曲型の場合よりも分散型設定ではより繊細であることが明らかになった。臨界正則性指数は、閉じた測地線などの曲線上での集中のため、スケーリングに基づく指数とはずれている。

ABSTRACT

These notes are devoted to the notion of well-posedness of the Cauchy problem for nonlinear dispersive equations. We present recent methods for proving ill-posedness type results for dispersive PDE's. The common feature in the analysis is that the proof of such results requires the construction of high frequency approximate solutions on small time intervals (possibly depending on the frequency).

研究の動機と目的

• 非線形分散型方程式の初期値問題の適切性および不適切性をソボレフ空間において分析すること。
• 半線形適切性が特定の正則性閾値未満で失敗する理由を、古典的適切性が直観的に妥当に思える場合でも調査すること。
• 半線形適切性のための臨界正則性指数が、閉じた測地線などの曲線上での集中のため、スケーリングに基づく指数とはずれることがあることを示すこと。
• 収小する時間間隔における高周波数近似解を用いた不適切性の体系的証明法を提供すること。
• 分散型偏微分方程式における古典的適切性とより強い半線形適切性の違いを明確にすること。

提案手法

• 解の修正アンザッツを用いて、周波数に依存する小さな時間間隔に集中する高周波数近似解を構築する。
• 解のノルムの成長を制御しアンザッツを検証するために、スケーリングされた時間間隔上でブートストラップ法を適用する。
• 関数空間における固定点問題に還元するために、デュハメル積分表現を用い、収縮性を分析する。
• 周波数局所化推定と非線形項の境界を、特に$L^2$を基準とするソボレフノルムの文脈で適用する。
• 時間間隔$[0, T_n]$における解の発展を制御するため、$ \tilde{M}_n(T)$のスケーリングを導入し、$T_n \sim n^{\frac{5s}{2} - \frac{3}{8} - \varepsilon}$を満たすようにする。
• 半古典的推論と幾何的集中（例えば、閉じた測地線上）を活用し、流れマップを不安定化させ、一様連続性を破る。

実験結果

リサーチクエスチョン

• RQ1 非線形分散型方程式の流れマップが、解の存在があるにもかかわらず、特定の正則性閾値未満で一様連続でないのはなぜか？
• RQ2 閉じた測地線やその他の幾何的構造が、半線形適切性のための臨界正則性指数にどのように影響するか？
• RQ3 適切性のスケーリングに基づく臨界指数と、実際の半線形適切性に必要な指数との差は、どの程度大きいのか？
• RQ4 収小する時間間隔における高周波数近似解を用いて、半線形適切性の失敗を体系的に証明できるか？
• RQ5 点に対するスケーリングに基づく指数と類似する、曲線に関連する幾何的臨界指数が存在するか？

主な発見

• 球面上のKdV型方程式について、$H^s(S^2)$で$s < 1/8$のとき、初期値問題は半線形的に適切でない。
• $1/8 < s \leq 3/20$のとき、時間間隔$T_n \sim n^{5s/2 - 3/8 - \varepsilon}$における高周波成分の$n^{-1/8 - s/2 - \varepsilon}$型の増大により、流れマップの一様連続性が失われる。
• 時間間隔$T_n$は、$n \to \infty$のとき$n^{1/2 - 2s}T_n \to \infty$を満たし、一様連続性を破るのに十分な振動数が確保される。
• $0 \leq s \leq 1/8$のとき、アンザッツは時刻1まで正当化され、バニカの研究に基づき、この範囲でも不適切性が確認される。
• $S^6$上では、$ \alpha = 1$の立方非線形シュレーディンガー方程式は$H^1(S^6)$で半線形的に適切でない。これは、不適切性が低正則性や特定の幾何構造に限定されないことを示している。
• 本手法により、半線形適切性は古典的適切性よりも感受性が高く、解の存在と一意性が成り立つ場合でも、流れマップの一様連続性が破れる可能性があることが明らかになった。