Critical $p$-Laplace equations with monotone coefficients: Liouville classification and a Schoen-type Harnack inequality

技術要約：単調係数を伴う臨界 $p$-ラプラス方程式

問題設定
本論文は、非自律的な非線形性を伴う臨界 $p$-ラプラス方程式に関する正の弱解を調査している：
$$-\Delta_p u = u^{p^*-1}h(u), \quad \text{in } \mathbb{R}^n,$$
ここで、$1 < p < n$、$p^* = \frac{np}{n-p}$ であり、$h$ は正、有界、連続かつ非増大な関数である。本研究は、相互に関連する2つの目的の解明に焦点を当てている：

1. リウヴィル分類（Liouville Classification）： 事前の減衰仮定（例：有限エネルギーや特定の成長率）を課すことなく、正の全解（entire solutions）の正確な形態を決定すること。
2. スケール不変ハーナック不等式（Scale-Invariant Harnack Inequality）： $B_{3R}$ 内で定義された非負の弱解に対し、$\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n}$ という局所的な評価を確立すること。

この研究は、準線形方程式における理論的な大きな空白に対処するものである。半線形の場合（$p=2$）とは異なり、$p$-ラプラシアン（$p \neq 2$）には方程式を保存するケルビン変換が存在しないため、古典的な移動平面法や移動球法を標準的な形で適用することができない。さらに、純粋な臨界方程式（$h \equiv \text{const}$）に対する既存の分類結果の多くは、制限的な仮定（有限エネルギーや有界性など）や特定の $p$ の範囲に依存している。本論文は、$h$ の単調性の仮定の下で、全範囲 $1 < p < n$ における「分類からハーナックへ」の理論を提供することを目指している。

手法
著者は、連続な単調係数を伴う $p$-ラプラシアンに適応させた、ケルビン変換および移動球法の準線形版となる枠組みを開発している。その手法は、主に以下の2つの段階で進行する：

1. 不変テンソルと弱ボホナー恒等式による大域的分類：

   • 変換： 解 $V$ を $w = V^{-1/a}$ （ここで $a = \frac{n-p}{p}$）によって変換し、ストレス・テンソル解析が可能な形式へと変換する。
   • ストレス・テンソルとP関数： 非線形ストレス場 $X_w = |\nabla w|^{p-2}\nabla w$ と、修正されたP関数 $Q_w$ を定義する。
   • 単調性の処理： 変換された係数 $c_\tau(t)$ を、絶対連続部分と特異な（スティルチェス）欠損部分 $e_\tau(t)$ に分解する。これにより、$h$ が連続かつ単調であり、その微分にカントール部分を含む可能性がある場合でも対処することが可能となる。
   • 弱ボホナー恒等式： $Q_w$ に対する新しい弱ボホナー型の恒等式を導出する。全積分評価（例：Ou [34]）に依存していた従来のアプローチとは異なり、本研究では局所的な点別的な強形式項（pointwise coercive term）を利用している。
   • 乗数の構成： $Q_w$ の成長を制御し、正の極大値が無限遠へ逃出することを防ぐために、対象とするPDEの不等式に合わせて逆向きの常微分方程式を解くことで、特定の重み関数 $\phi_{\ell,m}$ を構築する。これは、純粋な冪乗の場合に使用される固定された冪乗重みに代わるものである。
   • 剛性議論（Rigidity Argument）： 鋭い大域的境界 $Q_w \leq c_{\tau,0}$ を確立し、極小点における挙動（接線解析および穿孔球障壁を用いた解析）を分析することで、解が必ずオーバン–タレンティ（Aubin–Talenti）のプロファイルと一致することを証明する。決定的なことに、そのようなプロファイルの存在が、係数 $h$ がプロファイルが取る値の区間において定数であることを強制することを示す。

2. 脱集中とポテンシャル論によるハーナック不等式：

   • 背理法による議論： ハーナック不等式の証明は、解の列が評価に違反すると仮定する背理法によって進められる。
   • ブローアップ解析： 再スケーリング手順により、極限となる全解を特定する。その後、分類結果（定理1.1）をこの極限に適用する。
   • 初接触メカニズム（First-Contact Mechanism）： 「ネック推定（neck estimate）」（Qin–Zhang [35] に見られるもの）に事前に頼る代わりに、「初接触」の議論とポテンシャル論的な脱集中（de-concentration）を用いる。
   • キルペライネン–マリー（Kilpeläinen–Malý）評価： 非線形ポテンシャル（特にウォルフ・ポテンシャル）の理論を用いて、接触点の近傍におけるソース項の一様境界を導出する。これにより、ハーナック不等式を適用するために必要な係数制御を確立し、事前のネック推定の必要性を事実上排除している。

主要な貢献と結果

• 定理 1.1（正規化されたプロファイルの分類）： スケールされた非線形性 $g_\tau$ を持つ方程式の任意の正規化された、有界な、正の全解に対して、解は必ずオーバン–タレンティ・プロファイルとなる：
  $$V(x) = \left(1 + \gamma_\tau |x|^{p'}\right)^{-a}.$$
  さらに、$0 < \tau < \infty$ である場合、このような解の存在は、$0 < s \leq \tau$ において $h(s) = h(\tau)$ であることを意味する。これは、解と係数の両方に対する剛性定理を確立している。

• 定理 1.2（スケール不変ハーナック不等式）： $B_{3R}$ 内の非負の弱解に対し、以下の評価が成立する：
  $$\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n}.$$
  この結果は、有限エネルギーや無限遠での特定の漸近挙動を仮定せずに確立される。

• 系 1.4（無制限のリウヴィル定理）： 元の方程式のあらゆる正の全解は、（スケーリングと平行移動を除いて）オーバン–タレンティ・プロファイルであり、係数 $h$ は解の範囲において定数である。

• 性質の同値性： 純粋な臨界方程式において、無制限のリウヴィル分類は、シェーン型（Schoen-type）のハーナック不等式と等価であることを本論文は示している。

意義と主張
著者は、自身の議論が、単なる連続な単調係数を伴う一般的な $1 < p < n$ に対して利用可能な、ケルビン変換および移動球法の最初の準線形的な対応物であると主張している。

• 手法の進展： 本研究は、半線形の場合（$p=2$）の古典的な結果に対する代替的な証明を提供すると同時に、標準的な共形不変性のツールが機能しない準線形の設定へと拡張するものである。テーラードされた乗数を用いた弱ボホナー恒等式の導入、および係数の特異なスティルチェス測量の取り扱いは、斬新な解析的ツールとして提示されている。
• 仮定の除去： 本研究は「完全に無制限な」リウヴィル定理を提供しており、$p \neq 2$ のケースにおいて特徴的であった有限エネルギー、有界性、または規定された成長条件という必要性を排除している。
• 構造的洞察： 本論文は、リウヴィル定理とハーナック不等式の間の相互作用が根本的であることを強調している。ブローアップ・プロファイルの分類は、非線形性が純粋な冪乗型ではない場合において、ハーナック評価を確立するために不可欠であることが示されている。

本論文は、新しい応用や実験的な提案を提示するものではなく、よく理解されている半線形の場合と、より硬直的な準線形の設定との間の溝を埋める、臨界楕円型方程式のコンパクトネス理論への基礎的な貢献として位置づけられている。