[論文レビュー] The Cauchy Problem for Wave Equations with NonLipschitz Coefficients

Ferruccio Colombini, Guy Métivier|arXiv (Cornell University)|Nov 14, 2006

Advanced Mathematical Physics Problems参考文献 9被引用数 5

ひとこと要約

本稿は、すべての変数において僅かにLog-Lipschitz連続（LL）である係数をもつ2階の厳密な双曲型波動方程式の初期値問題に対して、局所的解の存在、一意性、および有限速度伝播を確立する。パラ微分型計算と凸化技術を用いて、$ s > 1 - \alpha $ におけるソボレフ空間 $ H^s \times H^{s-1} $ における適切な定式化を示し、ここで $ \alpha \in (1/2, 1) $ である。これは、リプシッツ連続性を越えるLL正則性仮定に基づくものである。

ABSTRACT

In this paper we study the Cauchy problem for second order strictly hyperbolic operators when the coefficients of the principal part are not Lipschitz continuous, but only "Log-Lipschitz" with respect to all the variables. This class of equation is invariant under changes of variables and therefore suitable for a local analysis. In particular, we show local existence, local uniqueness and finite speed of propagation for the noncharacteristic Cauchy problem.

研究の動機と目的

• リプシッツ連続でないが、すべての変数において僅かにLog-Lipschitz（LL）連続である係数をもつ2階の厳密な双曲型波動方程式の初期値問題の適切性を扱う。
• 係数が古典的トレース理論に必要な正則性を満たさない場合の、解の局所的解の存在と一意性を確立する。
• LL係数仮定のもとで解の有限速度伝播を証明する。これは先行研究ではカバーされていない。
• ゲヴレーおよびソボレフの適切性枠組みを、空間的・時間的非リプシッツ的かつ等方的LL正則性をもつ係数へと拡張する。

提案手法

• Log-Lipschitz係数に適応したパラ微分型計算を用い、Paley-Littlewood分解およびパラ積分推定を含む。
• LL設定における作用素の主要部に対する正性推定を適用し、エネルギー増大を制御する。
• 変数変換 $ \tilde{t} = t + |x|^2 $ を用いた凸化法により、過去を空間的領域に変換し、グローバル存在結果の適用を可能にする。
• 係数と解を拡張して $ \mathbb{R}^{1+n} $ 上のグローバル初期値問題に還元し、定理2.6を適用して存在を確立する。
• 低正則性に適したトレース理論を用い、古典的法線微分ではなく作用素構造を介してNeumannトレース $ Xu $ を定義する。
• 解をゼロで拡張し、方程式がより大きな領域で満たされることを示す特異点の伝播に関する議論を用いて、一意性を導く。

実験結果

リサーチクエスチョン

• RQ1 係数がリプシッツ連続ではなく、ただ僅かにLog-Lipschitz連続である場合に、ソボレフ空間において非リプシッツ係数をもつ波動方程式の初期値問題が適切に定式化可能か。
• RQ2 係数がリプシッツでないが、すべての変数において僅かにLog-Lipschitz連続である場合に、解の有限速度伝播が成立するか。
• RQ3 係数が古典的トレース定理に必要な正則性を満たさない場合、解およびその微分のトレースをどのように定義できるか。
• RQ4 時間経過に伴い滑らかさが失われるにもかかわらず、LL係数仮定のもとで解の局所的一意性は可能か。

主な発見

• LL係数仮定のもとで、初期データが $ H^s \times H^{s-1} $ に属し、$ s > 1 - \alpha $ かつ $ \alpha \in (1/2, 1) $ である場合、局所的解の存在が確立される。
• 解は有限速度伝播を満たす。これは、非リプシッツ係数であっても、摂動が有限速度で伝播することを意味する。
• 解をゼロで拡張し、凸化を用いて初期データがゼロであれば近傍で自明な解となることを示すことにより、局所的一意性が証明される。
• 作用素構造を介してNeumannトレース $ Xu $ が適切に定義され、低正則性にもかかわらず初期値問題が意味を持つようにする。
• 先行研究と同様に、滑らかさの損失 $ u(t,\cdot) \in H^{s - \lambda t} $ が継続するため、解は時間的に局所的であることが制限される。
• この枠組みは変数変換に対して不変であるため、LL係数をもつ双曲型方程式の局所的解析に適している。