Nonexistence for effectively damped waves with time-dependent mass

技術要約：時間依存質量を持つ有効減衰波における非存在性

問題設定
本論文は、時間依存の減衰項と時間依存の質量項を持つ半線形波動方程式のコーシー問題を調査している：
$$\begin{cases} u_{tt} - \Delta u + b(t)u_t + m^2(t)u = |u|^p, & t \ge 0, \, x \in \mathbb{R}^n, \\ u(0, x) = \varepsilon f(x), \quad u_t(0, x) = \varepsilon g(x), \end{cases}$$
ここで、$n \ge 1$, $p > 1$, $\varepsilon > 0$ である。減衰 $b(t)$ は「有効（effective）」であると仮定され、質量 $m(t)$ は $t \to \infty$ において減衰に支配されている。

先行研究において、D'Abbicco、Girardi、およびReissigは、超臨界冪（supercritical powers）$p$ に対する小データ大域存在性を確立し、初期値が $L^\eta \cap H^1 \times L^\eta \cap L^2$ （ただし $1 \le \eta < 2$）の場合の臨界スケール $p_{\beta, \eta}(n) = 1 + \frac{2\eta}{n + 2\eta\beta}$ を特定した。ここで、$\beta$ は下限質量指数であり、$\liminf_{t\to\infty} B(t)m^2(t)$ で定義される（ただし $B(t) = \int_0^t b(\tau)^{-1} d\tau$）。彼らは対応する非線形拡散方程式については劣臨界範囲での大域非存在性を証明したが、波動方程式に対する同様の非存在性の結果は未解決問題のままであった。本論文は、特に $\eta = 1$ のケースに焦点を当て、$1 < p < p_{\beta, 1}(n)$ における大域弱解の非存在性を証明し、臨界ケース $p = p_{\beta, 1}(n)$ を扱うことで、この空白を埋めることを目的としている。

手法
著者らは、特定の正の随伴乗算子（adjoint multiplier）の構成に基づく、修正されたテスト関数法を用いている。手法の核心は以下の通りである：

1. 係数の仮定： 先行文献の標準的な有効減衰および支配された質量に関する仮定（仮定1–2）に加え、本論文では2つの新しい条件を導入している：

   • 固有の累積質量バランス（仮定3）： これは、累積質量積分 $Q(t, r) = \int_r^t \frac{m^2(\tau)}{b(\tau)} d\tau$ の、指数 $\beta$ によって規定される対数的成長からの偏差を制御する。これは「固有の過剰分（intrinsic excess）」$\Omega_{\beta, T_0}(L)$ を定義し、これが有限であることを要求する。
   • 大域的リウヴィル非振動性（仮定4）： 随伴方程式の非振動性を保証するために、$m^2(t) \le \frac{b^2(t)}{4} + \frac{b'(t)}{2}$ という条件が課される。

2. 随伴モードの構成： 重要な技術的ステップは、随伴方程式 $\rho'' - (b\rho)' + m^2\rho = 0$ に対する大域的な正の「スロー」解 $\rho(t)$ の構成である。

   • 長時間側については、$\rho$ は終端ボルテラ方程式（terminal Volterra equation）を通じて構成され、$b(t)^{-1} e^{Q(t, T^*)}$ に比例する漸近挙動を示す。
   • コンパクトな初期区間については、リウヴィル非振動条件（仮定4）を用いることで、解が零点を持たないことを保証し、$\rho(t) > 0$ を全域で確保する。

3. テスト関数引数： $\rho(t)$ を重みとし、拡散スケール $B(t)$ に基づく時空カットオフ関数 $\psi_R$ を用いることで、基本不等式を導出する。この不等式は、初期データの汎関数 $J_0$ と解 $|u|^p$ の積分を関連付ける。

4. オスグード引数： 導出された不等式にオスグード型の補題を適用することで、テスト関数の積分が発散しなければならない条件を確立し、大域的な解が存在する場合に矛盾が生じることを示す。

主な結果
本論文は以下の主要な定理を確立している：

• 厳密な劣臨界範囲における非存在性： 初期データが符号条件（$J_0 > 0$）を満たし、固有の過剰分 $\Omega_{\beta, T_0}$ が劣線形である場合、$1 < p < p_{\beta, 1}(n) = 1 + \frac{2}{n + 2\beta}$ において大域弱解は存在しない。
• 臨界ケースにおける非存在性： 臨界指数 $p = p_{\beta, 1}(n)$ において、積分 $\int^\infty \exp(-(p-1)\Omega_{\beta, T_0}(L)) dL$ が発散する（オスグード発散条件）ならば、大域弱解は存在しない。
• 寿命推定： 解が局所的にのみ存在する場合、局所的な寿命 $T_\varepsilon$ の条件付き上界を与える：
  • $1 < p < p_{\beta, 1}(n)$ の場合、$1 + B(T_\varepsilon) \le C(1 + \varepsilon^{-\frac{1}{\theta}})$ ただし $\theta = \frac{1}{p-1} - \frac{n}{2} - \beta$。
  • $p = p_{\beta, 1}(n)$ の場合、$1 + B(T_\varepsilon) \le C \exp(C \varepsilon^{-(p-1)})$。
• 許容される係数： 第7節では、D'Abbiccoらによる存在条件と本論文による非存在条件の両方を満たす係数族（多項式および有理関数的な減衰・成長）の具体的な例を提供し、導出されたスケールの鋭さを示している。

意義および主張
本論文は、有効減衰を伴う時間依存質量を持つ波動方程式の存在スケールの鋭さに関する未解決問題を解決したと主張している。具体的には：

• D'Abbiccoらによって以前に確立された大域存在性のスケール $p_{\beta, 1}(n)$ が、劣臨界領域における非存在性の閾値でもあることを確認した。これは、対応する拡散方程式の挙動を反映している。
• 証明手法は、正の随伴乗算子の存在を仮定するのではなく、リウヴィル非振動条件と終端ボルテラ的アプローチを用いて、それを厳密に構成するという点で独特である。
• 「固有の過剰分」$\Omega_{\beta, T_0}$ の導入により、質量蓄積のより精緻な分析が可能となり、下限指数 $\beta$ だけでは追加のバランス条件なしには非存在性の閾値を制御するには不十分であることが示された。
• 結果は、リウヴィル非振動的な係数の部分集合に対して決定的な回答として提示されており、拡散比較モデルと波動方程式の対応物との間の溝を埋めるものである。

著者らは、自身の研究結果がリウヴィル非振動条件を満たす特定の係数のサブクラスに適用されること、および証明が先行文献で開発された修正テスト関数法に依拠していることを述べ、控えめなトーンを維持している。