[論文レビュー] Derivative loss for Kirchhoff equations with non-Lipschitz nonlinear term

Marina Ghisi, Massimo Gobbino|ArXiv.org|May 2, 2008

Stability and Controllability of Differential Equations参考文献 6被引用数 7

ひとこと要約

本稿は、非リプシッツ非線形性を有するキルヒホッフ型方程式の局所解について、即時的な導関数の損失を示す反例を構成することにより、正則性の鋭い閾値を確立する。非線形性 $ m $ の連続性関数 $ \omega $ の性質に起因する導関数の即時損失を示すことにより、初期データが滑らかであっても、既存の存在定理における正則性要件が最適であることを示している。

ABSTRACT

In this paper we consider the Cauchy boundary value problem for the abstract Kirchhoff equation with a continuous nonlinearity m : [0,+\infty) --> [0,+\infty). It is well known that a local solution exists provided that the initial data are regular enough. The required regularity depends on the continuity modulus of m. In this paper we present some counterexamples in order to show that the regularity required in the existence results is sharp, at least if we want solutions with the same space regularity of initial data. In these examples we construct indeed local solutions which are regular at t = 0, but exhibit an instantaneous (often infinite) derivative loss in the space variables.

研究の動機と目的

• 非リプシッツ非線形性 $ m $ を有するキルヒホッフ方程式の局所解の存在に要する正則性仮定が鋭いかどうかを特定すること。
• 非線形性 $ m $ がリプシッツ連続でない場合に、解が導関数を即時に失う現象を調査すること。
• 滑らかな空間に属する初期データから出発する解が、時間的に即時に導関数を失うことを示す明示的反例を構成すること。
• 非線形性 $ m $ の連続性関数 $ \omega $ が、局所解に要する最小正則性をどのように制御するかを分析すること。
• 既知の存在定理における正則性閾値が、局所可解性を失うことなく弱めることが可能かどうかを検証すること。

提案手法

• 初期データを滑らかなソボレフ空間またはゲヴァルト空間に属させ、$ t = 0 $ で正則であるが、解が無限大の導関数損失を示すような関数族を構成すること。
• スペクトル分解とラプラシアンの固有値 $ \lambda_k $ に対応するフーリエモード $ u_k(t) $ を用いて、エネルギー成分 $ E_{k,\varepsilon}(t) $ の時間発展を分析すること。
• 正則化パラメータ $ \varepsilon $ を導入し、高周波モードの成長を制御するための修正エネルギー関数 $ E_{k,\varepsilon}(t) $ を定義すること。
• 正則化されたバージョン $ c_\varepsilon(t) $ 及びその微分のバインドを用いて、$ E_{k,\varepsilon}(t) $ に関する微分不等式を導出すること。
• 連続性関数 $ \omega $ に関連する関数 $ \varphi(\lambda_k) $ を含む重み関数を用いたグローヴァル型推定を適用し、指数的成長を制御すること。
• $ 1 + \Lambda x \leq (1 + \Lambda/M) \exp(Mx) $ の不等式を用いて成長項を吸収し、$ k $ に関する $ \ell^1 $-型ノルムで矛盾推定を導出すること。

実験結果

リサーチクエスチョン

• RQ1 非リプシッツ非線形性 $ m $ を有するキルヒホッフ方程式の局所解の存在に要する正則性要件は鋭いか？
• RQ2 非線形性 $ m $ が連続的ではあるがリプシッツでない場合に、滑らかな初期データから出発する解が、時間的に即時に導関数を失うことは可能か？
• RQ3 非線形性 $ m $ の連続性関数 $ \omega $ が、局所可解性に必要な最小正則性にどのように影響するか？
• RQ4 既存の文献における存在定理は最適であるか、より弱い正則性仮定のもとで改善可能か？
• RQ5 非リプシッツ非線形性が、双曲型方程式において導関数損失を引き起こす正確なメカニズムは何か？

主な発見

• 本稿は、連続的ではあるがリプシッツでない非線形性 $ m $ を有するキルヒホッフ方程式の解が、$ t = 0 $ 以降すぐに無限大の導関数損失を示す反例を構成している。初期データが滑らかであっても、この損失は即時に発生する。
• 既存の存在定理における正則性閾値（例えば、厳密に双曲型の場合の $ V_{1/2} $、弱く双曲型の場合の $ \mathcal{G}_s $）は鋭く、弱めることはできない。
• 連続性関数 $ \omega(\sigma) = \sigma^\alpha $（$ \alpha \in (0,1) $）の場合、必要な正則性は $ \mathcal{G}_s $（$ s = (1 - \alpha)^{-1} $）であり、これは最適である。
• 弱く双曲型の場合、$ \omega(\sigma) = \sigma^\alpha $ に対して必要な正則性は $ \mathcal{G}_s $（$ s = 1 + \alpha/2 $）であり、この閾値も鋭い。
• 反例により、導関数損失は技術的制限ではなく、$ m $ がリプシッツ連続でない場合に生じる本質的特徴であることが示された。
• 解析により、非線形性 $ m $ の連続性関数 $ \omega $ が、局所解の最小正則性クラスを直接決定しており、この関係は最適であることが確認された。