[論文レビュー] Minimal regularity solutions of semilinear generalized Tricomi equations

Zhuoping Ruan, Ingo Witt+1 more|arXiv (Cornell University)|Aug 5, 2016

Advanced Mathematical Physics Problems参考文献 12被引用数 4

ひとこと要約

本稿は、$mathbb{R}^n \times (0,T)$ 内の非線形一般化トリコミ方程式 $partial_t^2 u - t^m \Delta u = F(u)$ に対して、同次ソボレフ空間 $dot{H}^\gamma \times dot{H}^{\gamma - 2/(m+2)}$ に属する初期値を持つ最小正則性解の局所的適切性を確立する。主な貢献は、線形作用素に対する鋭いストリカルツ型推移不等式を導出し、非線形性のべき $kappa$ によって定まる最小正則性閾値 $gamma$ まで解の存在と一意性を示したことである。これにより、既存の正則性および適切性に関する結果が向上した。

ABSTRACT

We prove the local existence and uniqueness of minimal regularity solutions $u$ of the semilinear generalized Tricomi equation $\partial_t^2 u-t^m Δu =F(u)$ with initial data $(u(0,\cdot), \partial_t u(0,\cdot)) \in \dot{H^γ}(\mathbb R^n) imes \dot{H}^{γ-\frac2{m+2}}(\mathbb R^n)$ under the assumption that $|F(u)|\lesssim |u|^κ$ and $|F'(u)| \lesssim |u|^{κ-1}$ for some $κ>1$. Our results improve previous results of M. Beals [2] and of ourselves [15-17]. We establish Strichartz-type estimates for the linear generalized Tricomi operator $\partial_t^2 -t^m Δ$ from which the semilinear results are derived.

研究の動機と目的

• 非線形一般化トリコミ方程式が $C([0,T]; dot{H}^\gamma) \cap L^s_t L^q_x$ 内に一意な局所解を有する最小正則性 $\gamma$ を特定すること。
• ビアルズおよび著者らの先行研究を改善し、適切性のための鋭い正則性閾値を確立すること。
• 線形一般化トリコミ作用素 $\partial_t^2 - t^m \Delta$ に対するストリカルツ型推移不等式を導出し、基礎的道具として用いること。
• 非線形性のべき $kappa$、空間次元 $n$、パラメータ $m$ の関数として、臨界正則性指数 $\gamma(\kappa, m, n)$ を特徴付けること。特に、$\kappa_1 < \kappa \leq \kappa_*$ および $\kappa \geq \kappa_*$ の二つの領域で明示的な公式を与えること。
• 初期データが小さい場合に $\kappa \geq \kappa_*$ のもとで解のグローバル存在を確立し、局所結果を無限時間区間へ拡張すること。

提案手法

• フーリエ積分作用素の技法を用いて、線形一般化トリコミ作用素 $\partial_t^2 - t^m \Delta$ に対するストリカルツ型推移不等式を導出する。ここで、均質次元 $\mu_* = \frac{(m+2)n + 2}{2}$ を用いる。
• 方程式の共形不変性に対応する臨界べき $\kappa_* = \frac{(m+2)n + 6}{(m+2)n - 2}$ を定義する。
• 空間 $C_t \dot{H}_x^\gamma \cap L^s_t L^q_x$ 内で収縮写像を用いる。ここで $q = \mu_*(\kappa - 1)/2$ であり、$1/s$ は $\kappa$ と $\kappa_*$ の相対関係に応じて区分的に定義される。
• 非線形項の制御のため、$|F(u)| \lesssim |u|^\kappa$、$|F'(u)| \lesssim |u|^{\kappa-1}$ を満たす $F(u)$ および $F'(u)$ に対してホルダーの不等式と点ごとの評価を用いる。
• 最小正則性閾値 $\gamma(\kappa, m, n)$ を区分的関数として定義する：$\kappa_1 < \kappa \leq \kappa_*$ の場合、$\gamma = \frac{n+1}{4} - \frac{n+1}{\mu_*(\kappa - 1)} - \frac{m}{2\mu_*(m+2)}$ であり、$\kappa \geq \kappa_*$ の場合、$\gamma = \frac{n}{2} - \frac{4}{(m+2)(\kappa - 1)}$ である。
• ファトウの補題と反復推移不等式を用いて、ピカール反復列の収束性と、$L^s_t L^q_x$ ノルムにおける収縮性による一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 非線形一般化トリコミ方程式 $\partial_t^2 u - t^m \Delta u = F(u)$ が $C([0,T]; \dot{H}^\gamma) \cap L^s_t L^q_x$ 内に一意な局所解を有する最小正則性 $\gamma$ は何か？
• RQ2 線形作用素 $\partial_t^2 - t^m \Delta$ に対するストリカルツ型推移不等式は、最小正則性空間における鋭い適切性結果をどのように導くか？
• RQ3 正則性閾値 $\gamma$ が非線形性のべき $\kappa$、空間次元 $n$、パラメータ $m$ にどのように依存するか？
• RQ4 局所解が時間的にグローバルに拡張可能となる条件は何か？初期データの小ささはどのような役割を果たすか？
• RQ5 スケーリング不変性は、正則性閾値 $\gamma$ の鋭さをどのように示唆するか？

主な発見

• 最小正則性指数は、$\kappa_1 < \kappa \leq \kappa_*$ の場合、$\gamma = \frac{n+1}{4} - \frac{n+1}{\mu_*(\kappa - 1)} - \frac{m}{2\mu_*(m+2)}$ で与えられ、ここで $\mu_* = \frac{(m+2)n + 2}{2}$ である。
• $\kappa \geq \kappa_*$ の場合、最小正則性は $\gamma = \frac{n}{2} - \frac{4}{(m+2)(\kappa - 1)}$ であり、この閾値はスケーリング論法により、それより低い正則性では適切でない（ill-posed）ことが示され、鋭いものである。
• 解は推移不等式 $\|u\|_{C_t \dot{H}_x^\gamma} + \|u\|_{L^s_t L^q_x} \lesssim \|\varphi\|_{\dot{H}^\gamma} + \|\psi\|_{\dot{H}^{\gamma - 2/(m+2)}}$ を満たす。ここで $q = \mu_*(\kappa - 1)/2$ であり、$1/s$ は区分的に定義される。
• $\kappa \geq \kappa_*$ の場合、初期データが小さいとグローバル存在が成立し、$u \in C([0,\infty); \dot{H}^\gamma) \cap L^\infty_t \dot{H}^\gamma \cap L^{\mu_*(\kappa - 1)/2}_{t,x}$ を満たす。
• 一意性は $L^s_t L^q_x$ ノルムにおける収縮写像により確立され、収縮係数は $T^{1/2 - 1/s}$ と反復列の $L^s_t L^q_x$ ノルムに依存する。
• スケーリング論法により、$\gamma = \frac{n}{2} - \frac{4}{(m+2)(\kappa - 1)}$ よりも低い正則性では適切でないことが確認され、ビアルズおよび著者らの先行研究を上回る最小可能な正則性を達成した。