On a necessary condition for removing singularities of solutions of nonlinear elliptic inequalities

技術要約：非線形楕円不等式の解の特異点除去に関する必要条件について

問題設定
本論文は、$\mathbb{R}^n$ ($n \geq 2$) における穿孔された単位球 $B_1 \setminus \{0\}$ で定義される、以下の形式の非線形楕円微分不等式の解における特異点の除去可能性を調査している：
$$\Delta^{m/2} u \geq f(x)g(u)$$
ここで、$m \geq 2$ は偶数である。関数 $f$ および $g$ は特定の正則性と成長条件を満たすものとする。すなわち、$f \in L^\infty_{loc}(B_1 \setminus \{0\})$ であり、$g: [0, \infty) \to [0, \infty)$ は単調非減少で、$g(0)=0$ かつ $\zeta > 0$ に対して $g(\zeta) > 0$ である。

原点における特異点は、解 $u$ および項 $f(x)g(|u|)$ が $L^1(B_1)$ に属し、不等式が球 $B_1$ 全体で分布の意味において成立する場合に「除去可能（removable）」であると定義される。本研究の中心的目標は、不等式のあらゆる解が原点において除去可能な特異点を持つための、非線形性 $g$ に関する必要条件を確立することである。

手法
著者らは、特定の積分条件が成立しない場合に、除去不可能な特異点が存在することを証明するために、構成的なアプローチを用いている。その手法は以下の通りである：

1. 径方向常微分方程式への還元： 部分微分不等式から、径方向の常微分不等式へと問題を還元する。極座標におけるラプラシアンの性質を利用することで、著者らは、関数 $w$ が演算子 $\left(\frac{1}{r^{n-1}}\left(r^{n-1}\frac{d}{dr}\right)\right)^{m/2}$ に関する関連する径方向の問題を満たす場合に、不等式を満たす径方向解 $u(x) = w(|x|)$ を構成する。
2. 不動点および反復構成： 証明は、区間 $(0, 1]$ 上の特定の径方向不等式の正の減少解の存在を主張する定理2.2に基づいている。これは以下を通じて達成される：
   • 連続関数に作用する一連の積分作用素 $A_i$ の定義。
   • 作用素の増大と減衰を制御するための、先験的な評価および不等式（例：式2.4–2.11）の確立。
   • 部分区間 $[r_0, 1]$ 上の不動点 $w_0$ を見出すための、Bohl–Brouwer不動点定理の利用。
   • $g^{-1/m}$ の逆関数を用いたコーシー問題の解決による、$(0, r_0]$ への解の拡張。
3. 発散の議論： 論理の核心は、積分 $\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta$ の挙動にある。もしこの積分が発散する場合、構成された解 $w(r)$ は $r \to 0$ のとき十分に速く増大し、その結果 $u(x) \notin L^1(B_1)$ となり、特異点が除去不可能であることを証明する。

主要な貢献と結果
主要な結果は定理2.1であり、次のように述べている：
$g: (0, \infty) \to (0, \infty)$ が、発散条件
$$\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta = \infty$$
を満たす単調非減少な連続関数である場合、不等式 $\Delta^{m/2} u \geq f(x)g(u)$ は、任意の $f \in L^\infty_{loc}(B_1 \setminus \{0\})$ に対して、原点に除去不可能な特異点を持つ正の解を持つ。

したがって、以下の条件が、不等式のあらゆる解の特異点除去可能性のための必要条件として確立される：
$$\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta < \infty$$

本論文は、既知の条件との関連付けを通じてこの結果を文脈化している：

• $m=2$ の場合、この条件はよく知られた Keller–Osserman の爆発条件と同値である。
• この結果は、べき乗型の非線形性（例：$\Delta u \geq |x|^s u^\lambda$）や対数型の非線形性に関する先行研究を一般化し、Brezis–Véron 条件のような正確な臨界指数を回収している。

意義と主張
著者らは、積分条件 (1.3) （または $m>2$ の場合の一般化）は、特異点の除去可能性を保証するための十分条件ではない（なぜなら、ゼロ近傍での $f$ の挙動や線形の場合の潜在的な増大制限を考慮していないためである）ものの、厳密に必要であると主張している。

本論文は、もしこの積分条件が満たされないならば、係数関数 $f$ がいかに「小さく」あるいは「行儀良く」あっても（ただし、ゼロ近傍で局所的に下限を持つ限り）、原点で爆発し、その結果として特異点の除去を妨げるような解を常に構成できることを断言している。これは、高階非線形楕円不等式の文脈において、特異点の除去を許容する非線形性 $g$ のクラスに対する明確な境界を提供している。本研究は、強制項 $f$ の具体的な選択とは独立して、除去可能な特異点と除去不可能な特異点の間の正確な閾値を明らかにしている。