The semilinear heat inequality with Morrey initial data on Riemannian manifolds

技術要約：リーマン多様体上のモレー初期データを持つ半線形熱不等式

問題設定
本論文は、連結かつ完備な、有界な幾何学構造を持つ次元 $n \geq 3$ のリーマン多様体 $M$ 上の、以下の半線形熱微分不等式：
$$\left( \frac{\partial}{\partial t} - \Delta \right) u \leq A u^p + B u$$
に対する非負解の長時間挙動と正則性について扱う。ここで、$A$ および $B$ は非負の定数であり、$p > 1 + 2/n$ である。主な焦点は、「境界（borderline）」となるモレーノルムにおいて初期データ $u(0)$ が小さい場合の解の $L^\infty$ 推定値の確立にある。具体的には、初期データがスケール不変なモレー空間 $M^{q, \lambda}$（ここで $\lambda = 2q/(p-1)$ かつ $1 < q \leq q_c := n(p-1)/2$）に属する場合、および他のモレー空間 $M^{q', \lambda'}$ における追加の有界性を伴うシナリオを調査している。

この動機は、調和写像フローやヤン・ミルズ・フローといった幾何学的フローに由来する。これらのフローにおけるエネルギー密度関数は、しばしばこのような形式の不等式を満たす。線形熱方程式や、特定の $L^q$ 初期データを持つある種の半線形方程式においては、ユークリッド空間での大域的な存在と減衰はよく理解されているが、臨界閾値（$q = q_c$）における挙動や、モレー空間上の多様体における挙動については、既存のユークリッド的な手法の適応が必要となる。

手法
著者は、ユークリッド領域に対して開発された、Souplet、Blatt、および Struwe による手法をリーマン多様体の設定へと適応・拡張している。核心となる手法は以下の通りである：

1. 熱核の推定： 有界な幾何学構造を持つ多様体上の熱核 $H(x,y,t)$ の性質を利用する。本論文は、拡散項を制御するためにガウス型の上限および下限（補題 3.1）と、多様体の確率的完備性に依拠している。
2. 熱セミグループに関するモレー空間の推定： 中心的な技術的貢献は、熱セミグループ $H_t$ が、特定の時間減衰率を伴ってモレー空間 $M^{s_1, \lambda}$ から $M^{系 s_2, \lambda}$ へ写像することを確立する命題 3.2 である。これは、体積比較定理（Bishop-Gromov）や局所座標幾何学を考慮しつつ、既知のユークリッド的な結果を多様体の設定へと一般化するものである。
3. 反復的なブートストラップ引数： 主定理の証明には、連続性引数が用いられる。ある区間 $[0, T)$ 上で解が存在し、特定の微小条件を満たすと仮定することで、著者らは $L^\infty$ ノルムおよびモレーノルムに関する積分不等式を導出する。セミグループの減衰率を用いて非線形項 $u^p$ を注意深く推定することにより、もし初期データが十分に小さい（定数 $\delta_0$ によって制御される）ならば、解のノルムは有界かつ多項式的に減衰し、爆発を防ぐことを示す。
4. 線形項の除去： 不等式における線形項 $Bu$は、指数変換$v(t) = e^{-tB}u(t)$ を通じて処理され、問題を純粋な超線形不等式へと還元する。

主要な結果

• 定理 1.2 (大域的 $L^\infty$ 推定)： 本論文は、初期データ $u(0)$ がモレーノルム $\| \cdot \|_{M^{q, \lambda}}$ （ここで $1 < q \leq q_c$）において十分に小さく、かつ解が一様な局所 $L^s$ 有界性を満たす場合、解は全時間（$T = \infty$）で存在することを証明している。さらに、解は以下のように多項式的に減衰する：
  $$\|u(t)\|_{L^\infty} \leq C \delta (t^{-\frac{1}{p-1}} + 1)$$
  ただし $t > 0$ とする。
• 改善された初期時刻の推定： もし初期データが別のモレー空間 $M^{q', \lambda'}$ （ただし $\lambda'/(2q') < 1/(p-1)$）においても有界性を満たす場合、本論文は $t=0$ 付近における改善された減衰率を確立する：
  $$\|u(t)\|_{L^\infty} \leq C t^{-\alpha} \wedge (C' \delta t^{-\frac{1}{p-1}} + C' \delta)$$
  ここで $\alpha = \lambda'/(2q')$ である。
• 調和写像フローへの応用 (定理 1.3)： 著者は、これらの推定値を閉じたリーマン多様体間の調和写像フローに適用する。初期データが $W^{1,n}$ に属する解のエネルギー密度 $|\nabla w|$ が定義 1.1 の条件を満たすことを示すことにより、本論文は小データに関する正則性の結果を証明している。具体的には、初期エネルギー密度が $M^{2,2}$ ノルムにおいて小さい場合、フローは全時間存在し、定数写像へと指数関数的に収束する。
• トポロジーへの応用 (系 1.4)： 正則性の結果を用いて、本論文は自明なホモトピー類を特徴付ける。閉多様体間の写像のホモトピー類 $\gamma$ は、その類における微分の $M^{2,2}$ ノルムの下限がゼロであることと同値である。

意義と主張
本論文は、半線形熱方程式の理論を、ユークリッド領域から、特に臨界的なモレー初期データを扱う、有界な幾何学構造を持つリーマン多様体へと拡張することを主張している。その意義は以下の点にある：

1. 幾何学的フローへの応用： エネルギー密度が厳密な方程式ではなく微分不等式を満たす幾何学的フロー（調和写像フローなど）を解析するための、堅牢な枠組みを提供すること。これは、個々の曲率成分の単調性が成立しない可能性のある特殊ホロノミー多様体上のヤン・ミルズ・フローにおいて、特に重要であると指摘されている。
2. 既知の結果の一般化： Souplet および Blatt-Struwe の研究を多様体の設定へと適応し、小データによる大域的存在と多項式的減衰の結果が、最も弱い仮定（境界となるモレーノルムにおける微小性）の下でも成立することを実証している。
3. トポロジー的洞察： モレーノルムの下限に基づくホモトピー類の自明性の新しい判定基準を提示し、解析的な微小性とトポロジー的な自明性を結びつけている。

著者は、これらの結果が微分不等式の枠組みから導出されており、特定の幾何学的文脈において成立しない可能性のある単調公式には依存していないことを明示しており、これにより高次元の幾何学的フローの解析における空白を埋めている。