[論文レビュー] Lifespan of semilinear generalized Tricomi equation with Strauss type exponent

Jiayun Lin, Ziheng Tu|arXiv (Cornell University)|Mar 27, 2019

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

ひとこと要約

本稿は、収束超幾何関数を含む基本解から導かれるテスト関数を用いたテスト関数法と、スライシング技術を組み合わせた反復手続きを用いて、ストラウス型非線形性を有する半線形一般化トリコミ方程式の寿命上限を確立する。サブクリティカルおよびクリティカル指数の両方において、有限時間 blow-up を証明し、以前の結果を一般の $ m > 0 $ にまで拡張する。重み付きノルムにおけるエネルギー推定と、退化超幾何関数の漸近的解析を通じて、明確な寿命推定が得られる。

ABSTRACT

In this paper, we consider the blow-up problem of semilinear generalized Tricomi equation. Two blow-up results with lifespan upper bound are obtained under subcritical and critical Strauss type exponent. In the subcritical case, the proof is based on the test function method and the iteration argument. In the critical case, an iteration procedure with the slicing method is employed. This approach has been successfully applied to the critical case of semilinear wave equation with perturbed Laplacian or the damped wave equation of scattering damping case. The present work gives its application to the generalized Tricomi equation.

研究の動機と目的

• 非線形性指数 $ p $ がサブクリティカルおよびクリティカル領域にある場合の、半線形一般化トリコミ方程式の寿命上限を確立すること。
• 以前に知られていた $ m = 1 $ の場合に限られていたクリティカルケースの blow-up 結果を、一般の $ m > 0 $ にまで拡張すること。
• スライシングおよびテスト関数技術を用いた洗練された反復スキームにより、鋭い寿命推定を導出すること。
• ダブルウェーブ方程式に対する和田・ヨルダンフの手法を、一般化トリコミ設定に一般化すること。
• 初期データの大きさ $ \varepsilon $、次元 $ n $、パラメータ $ m $ の関数として、寿命に対する明示的な上限を提示すること。

提案手法

• 退化超幾何関数を含む基本解から導かれる、巧みに構築されたテスト関数を用いたテスト関数法の応用。
• ジョンの方法を想起させつつ、アゲミ、クロコワ、タカムラによって洗練された、スライシングを用いた反復手続きによるクリティカルケースの取り扱い。
• 変数変換および特殊関数解析を用いた、一般化トリコミ作用素の基本解系の漸近的推定。
• 弱解のエネルギー空間における定式化により、$ (u, u_t) \in C([0,T_\varepsilon), H^1 \times L^2) $ を保証する。
• compactly な台を持つテスト関数 $ \zeta \in C_0^\infty $ に対する積分により、再帰的不等式を導出する。
• クリティカルケースにおける対数型反復の使用、エネルギー推定の成長を追跡するための再帰列 $ a_j, b_j, C_j $ の導入。

実験結果

リサーチクエスチョン

• RQ1 非線形性指数 $ p $ がクリティカルなストラウス型閾値にある場合、半線形一般化トリコミ方程式の寿命上限は何か？
• RQ2 クリティカルケースにおいて、寿命はパラメータ $ m > 0 $、空間次元 $ n $、初期データの大きさ $ \varepsilon $ にどのように依存するか？
• RQ3 波動方程式に用いられたスライシング法および反復議論を、変数係数を有する一般化トリコミ方程式に適応可能か？
• RQ4 サブクリティカルケース $ 1 < p < p_{\text{crit}}(m,n) $ における正確な blow-up 動作は何か？また、クリティカルケースと比較するとどうなるか？
• RQ5 二次方程式の正の根として定義される臨界指数 $ p_{\text{crit}}(m,n) $ は、有限時間 blow-up に対して鋭いか？

主な発見

• $ 1 < p < p_{\text{crit}}(m,n) $ の場合、寿命は $ T_\varepsilon \leq C_4 \varepsilon^{-\frac{2p(p-1)}{\gamma(m,n,p)}} $ を満たす。ここで $ \gamma(m,n,p) $ は臨界指数方程式の二次分母である。
• クリティカルケース $ p = p_{\text{crit}}(m,n) $ においても、寿命は同じ指数を有する $ T_\varepsilon \leq C_4 \varepsilon^{-\frac{2p(p-1)}{\gamma(m,n,p)}} $ を満たし、これは鋭い遷移を示している。
• 一般の $ m > 0 $ に対してクリティカルケースの blow-up 結果が確立され、以前は $ m = 1 $ に限られていた結果を拡張した。
• クリティカルケースにおける対数型反復スキームにより、エネルギー関数の下界が二重指数的成長を示し、有限時間 blow-up が確認された。
• 基本解の漸近的挙動は、退化超幾何関数を用いて特徴づけられ、正確なテスト関数の構築が可能になった。
• 寿命推定は $ m $ に関して一様であり、指数 $ \gamma(m,n,p) $ が blow-up 閾値の鋭さを支配する。