A Pohozaev-type neck proof of a conditional Harnack inequality in the critical $p$-Laplacian setting

技術的要約：臨界 $p$-ラプラシアンの設定における条件付きハーナック不等式のポホザエフ型ネックの証明

問題提起
本論文は、以下の臨界非線形準線形方程式における正の弱解の正則性と定量的挙動を扱う：
$$-\Delta_p u = g(u) \quad \text{in } \Omega \subset \mathbb{R}^n,$$
ここで $1 < p < n$ であり、$\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$ は $p$-ラプラシアンを表し、$g$ は臨界ソボレフ成長条件（具体的には $s \to \infty$ において $g(s) \sim s^{p^*-1}$、ただし $p^* = \frac{np}{n-p}$）を満たす。

中心的な目的は、以下の形式のハーナック不等式を確立することである：
$$\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n},$$
これは特異解の点的な記述を提供し、ブローアップ解析の基礎となるものである。

方法論的背景と障害
半線形の場合（$p=2$）では、このような不等式はSchoenによって確立され、その後、リーおよびZhangによって移動球法（または移動平面法）を用いて拡張された。この手法は、共形不変性を利用するケルビン変換に大きく依存している。

しかし、$p \neq 2$ の場合、$p$-ラプラシアンは共形不変ではないため、ケルビン変換および関連する移動球法は利用不可能となる。この欠如は、一般的な臨界 $p$-ラプラシアンの設定へと古典的な分類およびハーナックの結果を拡張する上での真の障害となっている。

手法：ポホザエフ・ネック論法
共形不変性の欠如を克服するために、著者らはポホザエフ・ネック論法を開発している。このアプローチは、$p=2$ の場合の幾何学的な反射技法を、ポホザエフ恒等式と孤立特異点の構造に基づく解析的な議論へと置き換えるものである。手法は以下のステップで進行する：

1. 構造的符号条件： $s \mapsto s^{-(p^*-1)}g(s)$ が非増加であるという仮定の下で、著者らは正則な解に対してポホザエフ汎関数が球上で非負であることを確立する。
2. 特異性解析： 著者らは、Kichenassamy–Véronの極定理を利用して、孤立特異点付近での解の挙動を解析する。彼らは、解が漸近展開 $u(x) \sim \kappa|x|^{-\alpha} + \beta$ において「正則部分」（非ゼロの定数項 $\beta$）を持つ場合、ポホザエフ汎関数が特異点において厳密に負になることを示す。
3. ネック補題（補題 3.7）： これが核心となる技術的貢献である。この補題は、正規化されたネック領域における「予備的な」特異減衰率（具体的には $|x|^{-(n-p)/p}$）を仮定する。解を「ネック」スケールにリスケールすることで、著者らは極限プロファイルを構成する。
   • もし減衰が鋭いレートよりも遅い場合、極限プロファイルは正の正則部分（$\beta > 0$）を持つことになる。
   • これは極限のポホザエフ値を負にすることを意味する。
   • しかし、元の方程式から継承されるポホザエフの符号条件（$g$ の単調性による）は、その値が非負であることを要求している。
   • この矛盾により、正則部分は消失せざるを得ず、それによって予備的な減衰率が鋭い $p$-調和基本レート $|x|^{-(n-p)/(p-1)}$ へとアップグレードされる。

主要な仮定（条件付きの性質）
主結果は、以下の2つの明示的な仮定に依存する条件付きのものである：

1. 全空間分類仮定： 極限方程式 $-\Delta_p V = g_A(V)$ （ここで $g_A$ は非線形性のブローアップ極限を表す）における、すべての有界な正の全空間弱解は、オーバン–タレンティ $p$-バブルでなければならない。
2. 予備的ネック制御： 正規化されたネック解に対して、形式 $v_j(y) \leq C|y|^{-(n-p)/p}$ という予備的な上界が存在する。

主な結果

• 定理 1.3（ハーナック不等式）： $g$ に関する構造的仮定（仮定 1.1）および上記の2つの仮定（仮定 1.2）の下で、任意の $B_{3R}$ における正の弱解に対して条件付きハーナック不等式が成立する。
• 鋭い減衰のアップグレード： 著者らは、ポホザエフ・ネック論法が、予備的な特異減衰率 $|x|^{-(n-p)/p}$ を、$\sup \times \inf$ 推定に必要な鋭いレート $|x|^{-(n-p)/(p-1)}$ へと正常にアップグレードすることを証明している。
• 無条件のケース： 著者らは、純粋な冪乗の場合 $g(s) = L s^{p^*-1}$ において、分類仮定が特定の $n$ と $p$ の範囲（例：$n \leq 6$ または $n \geq 7$ かつ $p > n/3$）で既知であることを指摘しており、その領域では本定理は無条件となる。さらに、スケール不変な臨界エネルギー境界が仮定される場合、分類および予備的制御は既存の有限エネルギー理論から従うため、その設定では結果は無条件となる。

意義と主張
本論文は、共形不変性に依存しない、臨界 $p$-ラプラシアン（$p \neq 2$）に対する条件付きハーナック不等式の最初の証明を提供すると主張している。

• 方法論的転換： 共形不変な設定におけるバブリング現象を解析するための、ケルビン変換に代わる有効な手段として、ポホザエフに基づく「ネック補題」を導入している。
• ギャップの架け橋： 本研究は、局所的なブローアップ解析（ネック挙動）と大域的な分類結果を結びつけている。彼らは、一般的なケースの困難さを、全空間のバブルではない有界な全空間解（無限エネルギーの極限）が存在する可能性として、明示的に枠組み化している。
• 限界： 著者らは、分類仮定（またはエネルギー境界）なしでは、バブルではない全空間解の存在が未解決の障害として残っていることを認め、その範囲について謙虚に述べている。結果は、全空間極限の分類の妥当性に依存する、条件付きの一歩前進として提示されている。

結論
本論文は、幾何学的な共形手法を解析的なポホザエフ恒等式に置き換えることで、臨界 $p$-ラプラシアン方程式を解析するための強固な枠組みを確立している。全空間解の分類が半線形の場合と同様に振る舞うという仮定の下で、鋭いハーナック不等式を導出することに成功しており、これにより、完全な無条件の結果への唯一の残された障害として分類問題を特定している。