Asymptotic behavior of solutions to a planar Hartree equation with isolated singularities

技術要約：孤立特異点を持つ平面ハートリー方程式の解の漸近挙動

問題設定
本論文は、原点に孤立特異点を持つ平面ハートリー型方程式の特異解の漸近挙動を調査するものである。対象となる主要な方程式は以下の通りである：
$$-\Delta u(x) = \left( \frac{1}{|x|^\alpha} * e^u \right) e^u(x) \quad \text{in } B_1 \setminus \{0\} \subset \mathbb{R}^2,$$
ここで $\alpha > 0$ であり、畳み込み項は $\frac{1}{|x|^\alpha} * e^u = \int_{B_1 \setminus \{0\}} \frac{e^{u(y)}}{|x-y|^\alpha} dy$ と定義される。著者らは、有限全曲率条件
$$\int_{B_1 \setminus \{0\}} \left( \frac{1}{|x|^\alpha} * e^u \right) e^u(x) dx < +\infty$$
を満たす $u \in C^2(B_1 \setminus \{0\})$ 解に焦点を当てている。この研究は、幾何学的問題（例えば、指定されたガウス曲率など）や非局所的な相互作用を伴う物理モデルにおける特異解を理解する必要性に端を発している。局所的な方程式（例：$-\Delta u = e^u$）や高次のヤンベ方程式については重要な結果が存在するが、二次元におけるハートリー項の非局所性は、ODE（常微分方程式）ベースの手法の適用可能性に関して特有の課題を提示している。

手法
著者らは、高次の共形方程式における孤立特異点の扱い方に適応させた、偏微分方程式（PDE）のアプローチを採用している。核となる手法は以下の通りである：

1. 表現公式の導出： 畳み込み項のために失敗するODEの手法や、非局所性によって損なわれる最大値原理に頼るのではなく、著者らは特異解のための積分表現公式を確立する。これは、ポアソン方程式の孤立特異点を特徴付け、有限全曲率条件を利用して解の増大を制御することによって達成される。
2. 解の分解： 解 $u$ を、特異な対数項（$b \ln |x|$）、正則な調和関数（または多調和関数）の部分（$h$）、および非局所的なソースによって生成されるポテンシャル項（$v$）の3つの部分に分解する。
3. 正則性解析： 著者らはポテンシャル項 $v$ の正則性を分析する。指数 $b$ と $\alpha$ に関する特定の制約の下で、ソース項が $p_0 > 1$ に対して $L^{p_0}_{loc}$ に属することを確立することで、標準的な楕円型正則性理論（ソボレフ埋め込みおよび $W^{k,p}$ 推定）を適用し、$v$ が局所的にヘルダー連続であることを証明する。
4. 高次元および高次への拡張： 解析を、次元 $n \ge 3$ における高次のハートリー型方程式へと拡張する：
   • 偶数次元 ($n \ge 4$): 方程式 $(-\Delta)^{n/2} u = (\frac{1}{|x|^\alpha} * e^u) e^u$ に対して。
   • 奇数次元 ($n \ge 3$): 同一の方程式を、$(-\Delta)^{n/2}$ が非局所的な積分演算子となるように、超関数の意味で解釈した場合に対して。
     高次元においては、表現公式における高次微分項を排除するために、原点付近での追加の減衰条件 $\int_{B_r \setminus \{0\}} |u(x)| dx = o(r^{n-2})$ が必要となる。
5. 一般化： 結果を、一般的な非負の係数 $K(x) \in L^\infty(B_1)$ を含む場合に一般化する。

主な貢献と結果

• 漸近表現 (定理 1.1): 平面の場合 ($n=2$)、有限全曲率条件を満たす任意の解 $u$ は、以下の表現を持つことが証明される：
  $$u(x) = v(x) + h(x) + b \ln |x|,$$
  ここで $h$ は滑らかな調和関数、$v$ は特定の積分ポテンシャルであり、$b > -2$ は定数である。さらに、$\alpha \in (0, 2)$ かつ $b > \frac{\alpha-4}{2}$ である場合、解は原点付近で $u(x) = \phi(x) + b \ln |x|$ と振る舞い、ここで $\phi$ はヘルダー連続関数である。

• 高次偶数次元 (定理 1.2): 偶数 $n \ge 4$ に対して、有限全曲率および追加の減衰条件の下で、同様の表現が保持される：
  $$u(x) = v(x) + h(x) + b \ln |x|,$$
  ここで $h$ は多調和関数（$(-\Delta)^{n/2} h = 0$）であり、$b > -n$ である。剰余項のヘルダー連続性は、$b > \frac{\alpha-2n}{2}$ という条件の下で確立される。

• 高次奇数次元 (定理 1.4): 方程式を超関数の意味で扱うことで、奇数 $n \ge 3$ に対しても、同様の漸近構造が導かれる。著者らは解を空間 $L^{n/2}(\mathbb{R}^n) \cap C^n(B_1 \setminus \{0\})$ 内で定義し、同一の $b$ に関する制約の下で、対数特異性とヘルダー連続な剰余項の存在を証明する。

• 特異係数の有効範囲: 本論文は、有限全曲率条件が成立するために $b > \frac{\alpha-2n}{2}$ という条件が必要であることを厳密に確立している。もし $b \le \frac{\alpha-2n}{2}$ であれば、非局所項の積分が発散し、初期の仮定に矛盾する。

• 一般係数の拡張 (備考 1.7): 著者らは、これらの結果が一般的な非負有界係数 $K(x)$ を持つ方程式にも拡張できることを示し、その際、$v$ の積分表現を適宜修正する。

意義と主張
本論文は、二次元における孤立特異点を持つハートリー型方程式に関する文献の空白を埋めるものであると主張している。局所的な方程式（指定されたスカラー曲率方程式など）や高次の局所的なヤンベ・方程式については分類および漸近の結果が存在するが、二次元におけるハートリー項の非局所的な性質については、十分に扱われてこなかった。

著者らは、自身のPDEベースのアプローチが、（畳み込み項を扱うことができない）ODE手法の限界や、（非局所性による）最大値原理の破綻を回避することに成功したことを強調している。表現公式を確立し、非局所的ポテンシャルのヘルダー連続性を証明することにより、彼らは特異解の原点付近における漸近挙動の完全な記述を提供している。本研究は、高次のハートリー方程式における偶数次元と奇数次元の扱いを統一し、既知の局所的な共形幾何学の結果を非局所的な設定へと拡張するものである。