Radial symmetry of positive solutions of an integral system associated with the reversed Stein-Weiss inequality

技術要約：逆シュタイン・ワイス不等式に関連する積分系の正の解の放射対称性

問題設定
本論文は、逆シュタイン・ワイス不等式の極値関数として現れるオイラー・ラグランジュ系である、特定の積分方程式の正の解の放射対称性と単調性を調査するものである。この系は次のように与えられる：
$$\begin{cases} u(x) = \int_{\mathbb{R}^n} \frac{|x|^\alpha v^{-p_2}(y) |y|^\beta}{|x-y|^\Lambda} dy, \\ v(x) = \int_{\mathbb{R}^n} \frac{|x|^\beta u^{-p_1}(y) |y|^\alpha}{|x-y|^\Lambda} dy, \end{cases}$$
ここで、$n \ge 1$、$\Lambda > 0$、$p_1, p_2 > 1$ であり、重みは $\alpha, \beta$ に関する特定の制約を満たす。著者らは、$\mathbb{R}^n$ 内でほとんど至る所正であり、$L^\infty_{loc}(\mathbb{R}^n) \times L^\infty_{loc}(\mathbb{R}^n)$ に属する解 $(u, v)$ を検討している。

この問題は、ハーディ・リトルウッド・ソボレフ（HLS）およびシュタイン・ワイス不等式に関する先行研究を拡張するものである。Chen, Li, および Ou は、移動平面法を用いて標準的な HLS およびシュタイン・ワイス系の放射対称性を確立したが、Dou, Zhu, および Liu は「逆」HLS 不等式に対処した。しかし、二重の重みと被積分関数における負の指数を含む「逆」シュタイン・ワイス系の放射対称性は、未解決の問いとして残されていた。

手法
著者らは、Chen, Li, および Ou によって開発され、後に負の指数を持つ系に対して Dou, Guo, および Zhu によって洗練された手法である、積分形式の移動平面法を採用している。証明は以下の技術的なステップを通じて進行する：

1. 補助関数と正則性： 二重の重み（$|x|^\alpha, |y|^\beta$）と原点における特異点を扱うために、著者らは以下の補助関数を導入する：
   $$t(x) = |x|^{-\alpha}u(x), \quad w(x) = |x|^{-\alpha/p_1}u(x), \quad s(x) = |x|^{-\beta}v(x).$$
   まず、解 $(u, v)$ の無限遠および原点付近における漸近挙動を確立する（補題 2.1）。決定的な点として、補助関数 $t$ と $s$ が $\mathbb{R}^n$ において連続であり、$\mathbb{R}^n \setminus \{0\}$ において微分可能であることを証明し、それらの勾配の精密な評価を導出する（補題 2.2 および 2.3）。これらの評価は、移動平面の過程において原点付近の特異性を管理するために必要である。

2. 積分表現： 著者らは、差 $t(x) - t_\lambda(x)$ および $s(x) - s_\lambda(x)$ の積分表現を導出する。ここで $x_\lambda$ は平面 $T_\lambda = \{x_1 = \lambda\}$ に関する $x$ の反射である。これらの表現には、カーネル $G(x, y) = |x_\lambda - y|^\Lambda - |x - y|^\Lambda$ が関与する（補題 2.4）。

3. 移動平面の議論：

   • 開始点： 十分に負の $\lambda$ に対して、領域 $\Sigma_\lambda = \{x \in \mathbb{R}^n \mid x_1 \le \lambda\}$ において $t(x) \ge t_\lambda(x)$ および $s(x) \ge s_\lambda(x)$ が成立することを示す。これは、解の無限遠における漸近挙動と、補助関数の特定の成長率に基づいている。
   • 平面の移動： 平面 $T_\lambda$ は、不等式が保持される限り右側へと移動される。著者らは、$\lambda_0 = \sup \{ \mu < 0 \mid \text{すべての } \lambda < \mu \text{ に対して不等式が成立する} \}$ を定義する。
   • 矛盾： $\lambda_0 < 0$ であると仮定し、矛盾を導き出す。積分表現を分析し、カーネル $G(x, y)$ の厳密な正性と冪関数の単調性を利用することで、もし不等式が $\lambda_0$ まで成立するならば、解が既に対称でない限り、$\lambda_0$ を超えた近傍においても不等式は厳密に成立しなければならないことを示す。証明は、積分領域を分割し、確立された勾後評価を用いることで、原点における特異性を慎重に処理する。
   • 対称性の結論： この矛盾は $\lambda_0 = 0$ であることを意味する。$x_1$ 軸の方向は任意であるため、解 $w$ および $s$（したがって $u$ および $v$）は原点を中心として放射対称である。

主要な貢献と結果
主要な結果は定理 1.1であり、これは $n \ge 1$、$\Lambda > 0$、$\min\{p_1, p_2\} > 1$、および重み $\alpha, \beta$ に関する特定の境界条件の下で、系 (1.12) の任意の正の解のペア $(u, v)$ が原点に関して放射対称であり、かつ単調に増加することを述べている。

本論文の具体的な技術的貢献は以下の通りである：

• 負の指数（$v^{-p_2}, u^{-p_1}$）と二重の重みを持つ逆シュタイン・ワイス系への移動平面法の拡張。
• 直接的な逆シュタイン・ワイス不等式が系に適用できない状況でも、移動平面法の適用を可能にするために、重みを積分カーネルから分離するための特定の補助関数（$t, w, s$）の導入と活用。
• 移動平面の議論に必要な積分評価の妥当性を保証するために、原点および無限遠における補助関数の勾配に関する厳密な評価の提供。

意義と主張
本論文は、逆シュタイン・ワイス不等式の極値関数の放射対称性の問題を解決したと主張している。この問題は、不等式を確立したがその極値関数の対称性を分類しなかった Chen, Liu, Lu, および Tao (2018) の研究によって動機付けられたものである。

著者らは、自身の研究を、共形方程式および積分系の研究における自然な進展として位置づけている。彼らは、標準的なシュタイン・ワイス系における Jin および Li (2006) の場合とは異なり、シュタイン・ワイス不等式が本系に直接適用できないことを指摘し、逆 HLS 不等式に対して Dou, Guo, および Zhu が開発したスキームが成功裏に適応できることを述べている。論文は、二重に重み付けされた性質が、原点における特異性を効果的に扱うための補助関数の導入を必要とする困難さを提示していることを強調している。

本研究は、新しい応用や実験的なセットアップを提案するものではなく、数理物理学および最適定数の理論における非線形積分方程式の解の構造に関する理論的理解に寄与するものである。