Critical exponent for semilinear damped wave equations with weighted nonlinear terms and data from Sobolev spaces of negative order

技術要約：重み付き非線形項と負のオーダーのソボレフ空間からのデータを持つ半線形減衰波方程式における臨界指数

問題設定
本論文は、クーロン型の特異性を伴う重み付き非線形項と、負のオーダーのソボレフ空間に属する初期データを持つ、半線形減衰波方程式のコーシー問題を調査している。検討されている具体的な方程式は以下の通りである：
$$\begin{cases} u_{tt}(t, x) - \Delta u(t, x) + u_t(t, x) = |x|^{-\alpha}|u(t, x)|^p, & x \in \mathbb{R}^n, t > 0, \\ u(0, x) = \varepsilon u_0(x), \quad u_t(0, x) = \varepsilon u_1(x), & x \in \mathbb{R}^n, \end{cases}$$
ここで、$p > 1$、$\alpha \geq 0$ であり、初期データ $(u_0, u_1)$ は積空間 $\dot{H}^{-\beta}(\mathbb{R}^n) \times \dot{H}^{-\beta}(\mathbb{R}^n)$（ただし $\beta \geq 0$）に属する。パラメータ $\varepsilon > 0$ は初期データの大きさを表す。著者らは、小データ解のグローバルな存在性と、弱解の有限時間爆発を分かつ臨界指数 $p_c(\alpha, \beta, n)$ を決定し、劣臨界の場合の寿命推定値を導出することを目的としている。

手法
著者らは、線形減衰推定、不動点引数、およびテスト関数法の組み合わせを用いている。

1. 線形減衰推定： 解析は線形減衰波方程式から始まる。著者らはフーリエ変換を利用して、線形カーネル $K(t, x)$ およびその時間微分に対するシャープな $L^m-L^q$ 減衰推定値を導出する。これらの推定値は、減衰波方程式の拡散構造と熱方程式との間の架け橋となり、解が $t \to \infty$ において熱方程式の解と同様に減衰することを示す。
2. グローバル存在性（小データ）： グローバル存在性の結果を得るために、著者らは線形理論から導かれた減衰率を含む時間重み付きノルムを備えた適切な関数空間 $X(T)$ を定義する。ドゥアメルの原理を用いて解写像 $\Phi$ を構成し、バナッハの不動点定理を適用する。
   • 非線形項における特異性 $|x|^{-\alpha}$ を扱うために、著者らはCaffarelli-Kohn-Nirenbergの不等式（命題 2.2）を利用して、重み付き項の減衰率を制御する。
   • 負のオーダーのソボレフ空間を管理するために、Hardy-Littlewood-Sobolevの不等式が用いられる。
   • 証明は、$p, \alpha, \beta$ に関する特定の条件下での演算子 $\Phi$ の縮小写像特性を確立することに依拠している。
3. 爆発の結果： 解の非存在性については、テスト関数法を用いる。時間におけるカットオフ関数と、特異性に関連する空間的重みを含む特定のテスト関数 $\Phi_R(t, x)$ を構成する。これを弱形式に対して積分し、ヘルダーの不等式を適用することで、$p$ が臨界閾値を下回る場合に大きな $R$ に対して矛盾を導き出す。
4. 寿命推定： 劣臨界の場合（$1 < p < p_c$）、著者らは寿命 $T_{\alpha, \beta}(\varepsilon)$ の下限と上限の両方を導出する。下限は不動点引数における縮小条件の解析によって得られ、上限は対数補正を用いたテスト関数法を用いて精緻化される。

主要な貢献および結果

• 臨界指数の決定： 主要な結果は、負のオーダーのデータを持つ重み付き減衰波方程式に対する臨界指数の特定である：
  $$p_c(\alpha, \beta, n) := 1 + \frac{4 - 2\alpha}{n + 2\beta}$$
  この公式は、次元 $1 \leq n \leq 4$ およびパラメータ $0 \leq \alpha, \beta < n/2$ に対して成立する。著者らは、重み $|x|^{-\alpha}$ と負のオーダー $\beta$ の両方が、標準的な藤田指数（$1 + 2/n$）や $\alpha=0$ の場合と比較して、臨界指数を左側にシフトさせることを示している。

• グローバル存在定理 (Theorem 1.1)： $p \geq p_c(\alpha, \beta, n)$ のとき、著者らは十分に小さい初期データ $\varepsilon$ に対して、一意なグローバル解の存在を証明する。解は $C([0, \infty), H^1)$ に属し、以下の特定の時間減衰推定を満たす：
  $$\|u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{\beta}{2}}, \quad \|\nabla u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{1+\beta}{2}}.$$
  ソボレフの埋め込みおよび不等式の妥当性を保証するために、次元 $n=3, 4$ に対する追加の制約が提供されている。

• 爆発定理 (Theorem 1.2)： $1 < p < p_c(\alpha, \beta, n)$ のとき、著者らは、初期データが対数的減衰を含む特定の低界条件を満たす場合、小データであってもグローバルな弱解が存在しないことを証明する。

• 寿命推定： 劣臨界領域において、寿命 $T_{\alpha, \beta}(\varepsilon)$ は次のように推定される：
  $$\varepsilon^{-\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}} \lesssim T_{\alpha, \beta}(\varepsilon) \lesssim \varepsilon^{-\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}} (\log(\varepsilon^{-1}))^{\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}}.$$
  著者らは、重み $|x|^{-\alpha}$ の存在が、重みのない場合と比較して爆発解の寿命を延ばすことに寄与していると述べている。

• $L^m$ 基底データに関する系： 著者らは、初期データを $\dot{H}^{-\bar{\beta}}_m \times \dot{H}^{-\bar{\beta}}_m$ （ただし $m \in (1, 2]$）へと拡張し、対応する臨界指数 $p_c(\alpha, \bar{\beta} + \theta(m), n)$ を導出している。

意義および主張
本論文は、以下の2つの一般化を同時に組み込むことにより、半線形減衰波方程式に関する先行研究を拡張したものであると主張している：

1. 重み付き非線形性： クーロン型の特異性 $|x|^{-\alpha}$ を扱うこと。これは単独では研究されてきたが（例：$\beta=0$ の場合における [26]）、この特定の枠組みにおける負のオーダーのデータとの組み合わせについては研究されていなかった。
2. 負のオーダーのデータ： 初期データの空間を $\dot{H}^{-\beta}$ へと拡張すること。これは $\alpha=0$ を考慮した [5] および [8] の研究に基づいている。

著者らは、自らの結果が [5, 8, 26] の知見を一般化するものであると述べている。具体的には、臨界指数が特異性の強さ $\alpha$ と正則性の欠如 $\beta$ の両方によってシフトすることを示している。また、本論文は、$\alpha = \beta = 0$ の場合において、対数補正因子を含めることで、以前の著作（特に [15, Theorem 1.8]）と比較して寿命の上限推定を改善したことを強調している。本研究は、この特定のクラスの方程式におけるグローバルな存在性と爆発の閾値を確立する、厳密な数学的解析として提示されている。