Critical quasi-linear Schrödinger system with $p$-Laplacian

技術的要約：p-Laplacianを用いた臨界準線形シュレディンガー系の正の解の分類

問題設定
本論文は、$D^{1,p}(\mathbb{R}^N)$ 臨界準線形シュレディンガー系における正の弱解 $(u, v)$ の定性的性質および分類について研究している。対象となる系は以下の通りである：
$$\begin{cases} -\Delta_p u = u^\alpha v^\beta & \text{in } \mathbb{R}^N, \\ -\Delta_p v = u^\beta v^\alpha & \text{in } \mathbb{R}^N, \end{cases}$$
ここで、$1 < p < N$、$N \ge 2$ であり、指数は $0 \le \alpha \le \beta$ かつ $\alpha + \beta = p^* - 1$ を満たす。ここで、$p^* = \frac{Np}{N-p}$ はソボレフ臨界指数を表し、解は $\|\nabla u\|_{L^p}$ のノルムの下で $C_0^\infty(\mathbb{R}^N)$ の完備化として定義される空間 $D^{1,p}(\mathbb{R}^N)$ に属する。

本研究は、Li および Ma [48]、ならびに Quittner および Souplet [58] によって半線形の場合（$p=2$）に確立された一意性および分類の結果を、完全な準線形領域 $1 < p < N$ へと一般化することを目的としている。

手法および技術的課題
著者らは、放射状対称性と単調性を確立するために**移動平面法（method of moving planes）**を採用している。しかし、$p=2$ から $1 < p < N$ へのこの手法の拡張は、$p$-Laplacian（$\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$）の非線形性に起因する重大な解析的障壁を生じさせる。本論文では、主に4つの困難を特定している：

1. 非線形性： 線形演算は $\Delta_p$ と交換できず、最大値原理から導かれる標準的な比較原理を直接適用することができない。
2. ケルビン変換の欠如： $p \neq 2$ における共形不変性の欠如によりケルビン変換の使用が妨げられるため、解およびその勾配に関する鋭い漸近評価の導出が必要となる。
3. グリーンの表現式の不在： グリーンの積分表現公式が存在しないため、等価な積分方程式に基づく間接的な手法を用いることができない。
4. 特異／退化楕円型： オペレーターは $1 < p < 2$ の場合は特異楕円型であり、$p > 2$ の場合は退化楕円型である。一様な強比較原理が存在しないため、これらを個別に扱う必要がある。

これらを克服するために、著者らは以下の手法を用いている：

• ケルビン変換に依存することなく、$(u, v)$ および $(|\nabla u|, |\nabla v|)$ の正則性と鋭い漸近評価を確立する。
• 予備的な減衰境界を導出するために、De Giorgi-Moser-Nash 反復法を用いる。
• これらの境界を鋭い評価へと精緻化するために、スケーリング引数と**倍増補題（doubling lemmas）**を適用する。
• 臨界集合（勾配が消失する点）の存在下での移動平面法を扱うために、重み付きポアンカレ型不等式およびハーディ・ソボレフ不等式を用いる。
• 特異なケース（$1 < p < 2$）と退化したケース（$p > 2$）を個別に議論し、移動平面法と比較原理を適応させる。

主要な貢献および結果

1. 正則性と鋭い漸近評価 (Theorem 1.3):
   著者らは、任意の正の弱解 $(u, v)$ が $C^{1,\theta}_{\text{loc}}(\mathbb{R}^N) \cap L^\infty(\mathbb{R}^N)$ に属することを証明している。決定的なことに、大きな $|x|$ に対して解およびその勾配に関する鋭い両側境界を確立している：
   $$\frac{c_0}{1 + |x|^{\frac{N-p}{p-1}}} \le u(x), v(x) \le \frac{C_0}{1 + |x|^{\frac{N-p}{p-1}}},$$
   $$\frac{c'_0}{|x|^{\frac{N-1}{p-1}}} \le |\nabla u(x)|, |\nabla v(x)| \le \frac{C'_0}{|x|^{\frac{N-1}{p-1}}}.$$
   これらの評価は、ケルビン変換を用いずに導出されており、一般的な $p$ に関する文献の空白を埋めるものである。

2. 放射状対称性と単調性 (Theorem 1.4):
   移動平面法を用いることで、すべての正の解が放射状に対称であり、ある点 $x_0 \in \mathbb{R}^N$ の周りで厳密に減少することを証明している。この結果は、全範囲 $1 < p < N$ に対して成立する。証明は、解がいかなる方向に対しても超平面に関して対称であることを示し、最終的に一意の対称中心へと収束することを示すプロセスを含む。

3. 一意性と完全な分類:
   著者らは $u \equiv v$ であることを示している。したがって、系は単一の臨界 $p$-Laplacian 方程式 $-\Delta_p u = u^{p^*-1}$ に帰着する。既存の単一方程式の分類結果（Sciunzi [59] や Vetois [71] など）を活用することで、本論文は正の解の完全な分類を提供する：
   $$u(x) = v(x) = \left[ \lambda^{\frac{1}{p-1}} \left( N^{\frac{1}{p}} \left( \frac{N-p}{p-1} \right)^{\frac{p-1}{p}} \right) \lambda^{\frac{p}{p-1}} + |x-x_0|^{\frac{p}{p-1}} \right]^{-\frac{N-p}{p}},$$
   ここで、$\lambda > 0$ および $x_0 \in \mathbb{R}^N$ は任意のパラメータである。

意義と範囲
本論文は、半線形の場合（$p=2$）に知られている一意性の結果を、一般的な準線形の場合（$1 < p < N$）へと拡張することを主張している。特に、$p$-Laplacian の設定における共形不変性とケルビン変換の欠如によって生じる技術的な空白に対処している。鋭い漸近挙動を確立し、オペレーターの特異的または退化した性質を個別に扱うことで、本研究は臨界準線形系の解の分類のための厳密な基礎を提供している。これらの結果は、オペレーターの複雑さが増しても、定性的な挙動（放射状対称性、単調性、およびスケーリングと平行移動を除いた一意性）が半線形の場合と一致していることを確認し、そのような系の理解を全範囲の $p$ にわたって統一するものである。