Singular semilinear elliptic equations in nondivergence form

技術的概要：非発散型の特異半線形楕円型方程式

問題の定義
本論文は、特異な半線形ディリクレ問題の解の存在と一意性を調査する：
$$\begin{cases} -Pu = \frac{f}{u^\gamma} & \text{in } \Omega, \\ u \equiv 0 & \text{on } \partial\Omega, \end{cases}$$
ここで、$\Omega \subset \mathbb{R}^d$（$d \geq 2$）是有界領域、$f \in L^1(\Omega)$ は非負かつ非自明、$\gamma > 0$ である。作用素 $P$ は非発散型の 2 階一様楕円型微分作用素である：
$$Pu(x) = \sum_{i,j=1}^d a_{ij}(x) \frac{\partial^2 u}{\partial x_i \partial x_j},$$
ただし、対称行列 $A(x) = [a_{ij}(x)]$ は一様楕円性条件を満たす。特異性は、$u=0$ で定義されない項 $u^{-\gamma}$ に由来する。境界条件は、境界近傍での跡の消失の意味で解釈される：$\lim_{\epsilon \to 0} \frac{1}{\epsilon} \int_{\Omega_\epsilon} |u| = 0$。ここで $\Omega_\epsilon = \{x \in \Omega : \delta_\Omega(x) < \epsilon\}$ である。

手法と技術的枠組み
著者らは、近似手法、非線形不等式、グリーン関数の評価を組み合わせて用いる。証明は、係数 $A$ と解 $u$ の正則性に基づいて、2 つの解の概念を区別する：

1. 弱解：$A \in C^1(\Omega)$ に対して定義され、方程式は分布の意味で成立する。定式化は $\langle -Pu, \phi \rangle = \int_\Omega (A\nabla u \cdot \nabla \phi + (\text{div} A \cdot \nabla u)\phi)$ である。
2. 分布解：$A \in C^2(\Omega)$ に対して定義され、方程式は随伴作用素 $P^*$ を通じて成立する：$\langle -Pu, \phi \rangle = -\int_\Omega u P^* \phi$。

主要な貢献と結果

1. 存在と正則性（定理 1.1）
$\Omega \in C^{1,1}$、$A \in C^1(\Omega)$、およびドリフト項 $\text{div} A$ に関する特定の小ささ条件（不等式 1.5）を仮定すると、著者らは弱解 $u \in W^{1,1}_{\text{loc}}(\Omega) \cap L^1(\Omega)$ の存在を証明する。

• 正則性：解は $\gamma$ に依存する特定のソボレフ正則性を示す：
  • $\gamma \geq 2$ の場合、$u \in H^1_{\text{loc}}(\Omega)$。
  • $\gamma \in (1, 2)$ かつ $1 \leq q < 2/\gamma$ の場合、$u \in H^1_{\text{loc}}(\Omega) \cap W^{1,q}_0(\Omega)$。
  • $\gamma = 1$ の場合、$u \in H^1_0(\Omega)$。
  • $\gamma \in (0, 1)$ の場合、特定の指数 $q$ に対して $u \in W^{1,q}_0(\Omega)$。
  • 重要なのは、すべての $\gamma > 0$ に対して $u^{(\gamma+1)/2} \in H^1_0(\Omega)$ であることである。
• 正値性：解は $\Omega$ 内で厳密に正であり、境界挙動 $u \gtrsim \delta_\Omega$ を満たす。

2. 一意性（定理 1.2）
より高い正則性（$\Omega \in C^2$ および $A \in C^2(\Omega)$）を仮定すると、著者らは $L^1(\Omega)$ における分布解の一意性を確立する。この結果は、存在定理で考慮されたものよりも広範な解のクラスに対して成り立つ。なぜなら、事前に $u \in W^{1,1}_{\text{loc}}(\Omega)$ を仮定しないからである。

方法的革新
本論文は、発散型の作用素に関する先行研究（例：Boccardo および Orsina [6]）との 3 つの主要な技術的相違点を強調する：

• 非線形ガリルダ・ニレンベルク不等式：存在証明は、$\int_\Omega \|\nabla u\|_A^2 u^{\gamma-1} \leq C \int_\Omega |Pu|u^\gamma$ の形の最近導出された事前評価を利用する。これらは [30] から非発散設定に適合させられたものである。
• グリーン関数の評価：グリーン関数 $G_\Omega$ およびその随伴の鋭い評価を用いて、近似解の正確な減衰率を導き出す。これは特定のソボレフ正則性クラスを確立するために不可欠である。
• カト型の不等式：非発散型の強解に対する新しいカト型の不等式（補題 3.5）を確立し、近似列の単調性を証明する。一意性については、解空間の正則性の欠如を克服するため、非常に弱い解に対するカト型の不等式（補題 4.10）を導出する。

意義と範囲
著者らは、この仕事を非発散型作用素に対するエムデン・フォラー方程式の多次元対応物として位置づける。

• 新規性：発散型の特異半線形方程式はよく研究されているが、本論文は $P$ が非発散型である場合、すなわち確率過程の理論や拡散生成子の理論において中心的な役割を果たす作用素のクラスを扱う。
• 技術的達成：本論文は、作用素の係数が $C^1$ であっても存在が証明可能であることを示す一方、一意性には随伴作用素の構造を扱い、テスト関数のクラスを拡張するために $C^2$ 係数を必要とすることを示している。
• 限界と未解決問題：著者らは、定理 1.1(b) で確立された $\gamma \in (1, 2)$ に対する大域的ソボレフ正則性が、発散型作用素については現時点では知られていないと指摘する。また、一般的な非線形性 $\tau(u)$、より低い正則性を持つ係数を持つ作用素、および非局所作用素（例：分数ラプラシアン）に関する未解決問題を特定している。

証明は、正則化された問題にシュアウダーの不動点定理を適用して解を構成し、その後、列の単調性と導出された事前評価を用いて極限を取ることでなされる。一意性の証明には、テスト関数のクラスを $C^{1,P}_0(\Omega)$ に拡張し、距離関数 $\delta_\Omega$ に関する源項 $f/u^\gamma$ の重み付き可積分性を利用することが含まれる。