Regularizing effects for an elliptic system of singular equations

技術要約：特異な楕円連立方程式における正則化効果

問題設定
本論文は、有界領域 $\Omega \subset \mathbb{R}^d$ ($d \geq 3$) 上で定義された、2つの結合された特異な半線形楕円方程式の系を調査している。系は以下で与えられる：
$$\begin{cases} -\text{div}(A(x)Du) + v^{1-\theta}u^{r-1} = \frac{f(x)}{u^\gamma} & \text{in } \Omega \\ -\text{div}(A(x)Dv) = \frac{u^r}{v^\theta} & \text{in } \Omega \\ u, v > 0 \text{ in } \Omega, \quad u=v=0 \text{ on } \partial\Omega \end{cases}$$
ここで、$A(x)$ は対称かつ一様楕円な行列である。パラメータは $r \geq 2$、$\gamma \in (0, 1)$、$\theta \in [0, 1)$ を満たす。データ $f$ は非負の $L^m(\Omega)$ 関数である。

この系は、両方の式に特異項が含まれているため「二重に特異（doubly singular）」と呼ばれる。第1式は反応項（$u^{-\gamma}$）に特異性を持ち、第2式はソース項（$v^{-\theta}$）に特異性を持つ。この構造はシュレディンガー・マックスウェル系をモデルとしているが、両方の成分に特異性を導入している。主な目的は、有限エネルギーを持つ正の解の存在を確立すること、およびデータの可積分性（具体的には指数 $m$）がどのように「正則化効果」を誘起し、単一の特異楕円方程式の理論で通常保証されるよりも高い可積分性を持つ解をもたらすかを明らかにすることである。

手法
著者は、変分法ではなく、不動点引数と直接的なエネルギー評価を用いる近似スキームと先験的評価を併用している。

1. 近似スキーム: 特異項は、データの切断（$f_n = \min\{f, n\}$）および特異な分母の切断（$u^\gamma$ を $(u + 1/n)^\gamma$ に、$v^\theta$ を $(v + 1/n)^\theta$ に置き換える）によって正則化される。これにより、非特異な系の列 (10) が得られる。
2. 近似解の存在: 各 $n$ について、一意で有界な正の弱解 $(u_n, v_n)$ の存在が確立される。これは、$H^1_0(\Omega)$ 上の写像を定義し、Schauder の不動点定理を適用することによって達成される。証明は、凍結された係数を持つ方程式の個別の可解性と、結果として得られる写像のコンパクト性に依存している。
3. 先験的評価: コアとなる分析は、$f$ の可積分類 $m$ に基づいて、列 $(u_n, v_n)$ に対する一様な評価を導出することである。
   • エネルギー評価: $u_n$ および $v_n$ で方程式をテストすることにより、$H^1_0(\Omega)$ における有界性を確立する。
   • 可積分性評価: テスト関数 $u_n^\delta$ および $v_n^\delta$ を用いることで、$L^p(\Omega)$ 空間における有界性を導出する。これらの評価は、$m, \gamma, \theta, r$ の関係に決定的に依存する。
4. 極限への移行: 先験的評価によるコンパクト性と、有界なラドン測度の列に対する勾配の収束に関する定理 3.4 を用いて、部分列が極限 $(u, v)$ に収束する。著者は、ファトゥの補題、ルベーグの収束定理、および特定の切断技術を用いて、特異項の収束を注意深く扱うことで、極限が弱解または有限エネルギーの意味で系を満たすことを証明する。

主要な貢献と結果
本論文は、データの可積分性 $m$ の異なる範囲に対して、解 $(u, v) \in H^1_0(\Omega) \times H^1_0(\Omega)$ に関する存在性と正則性の結果を提供している：

• ケース $m \geq d/2$:

  • $m > d/2$ の場合、解 $u$ は有界（$u \in L^\infty(\Omega)$）であり、$v$ も有界である。
  • $m = d/2$ の場合、$u$ は任意の $p < \infty$ に対して $L^p(\Omega)$ に属し、$v \in L^\infty(\Omega)$ である。
  • これらの結果は、単一の特異方程式や非特異なシュレディンガー・マックスウェル系で知られている有界性定理を回収し、拡張するものである。

• ケース $m < d/2$ (双対空間内のデータ):

  • $f$ が第1式の双対空間、具体的には $(\frac{2^*}{1-\gamma})' \leq m < d/2$ に属する場合、系は有限エネルギー解を許容する。
  • 解 $u$ はより高い可積分性を獲得し、具体的には $u \in L^{m^{**}(1+\gamma)}(\Omega)$ である。
  • $r=2$ の場合、$v$ の正則性は $m, \theta, \gamma$ に基づいて明示的に特徴付けられる。次元とパラメータに関する特定の条件下で、領域 $\Omega$ 全体における $u$ の厳密な正性が確立される。

• ケース $m < d/2$ (双対空間外のデータ):

  • 第1式の双対空間に属さないデータ（すなわち $m < (\frac{2^*}{1-\gamma})'$）の扱いは、重要な貢献である。
  • 定理 2.7: $(\frac{r}{1-\gamma})' \leq m < (\frac{2^*}{1-\gamma}')$ かつ $r > 2^*$ のとき、有限エネルギー解が存在し、$u \in L^r(\Omega)$ である。
  • 定理 2.8: $(\frac{r+1}{1-\gamma})' \leq m < (\frac{2^*}{1-\gamma}')$ かつ $r > 2^*-1$、および $\theta=0$ のとき、解が存在し、$u \in L^{r+1}(\Omega)$ である。
  • 意義: 本論文は、単一の特異方程式では、データが双対空間にある場合にのみ有限エネルギー解が一般に保証されるのに対し、ここでは $r$ が十分に大きい場合、結合構造によって $f$ がより低レギュラーであっても存在が可能になることを指摘している。

• 高次可積分性 (定理 請 2.10):

  • $(r+\gamma)' \leq m < d/2$ かつ $r \geq \frac{d}{d-2} - \gamma$ という条件の下で、解 $u$ はさらに高い可積分性を示し、$u \in L^{r+1+\gamma}(\Omega)$ となる。これは、第1式の特異性が結合と組み合わさることで、単一の方程式における標準的なものよりも解の可積分性を向上させるという「正則化効果」を示している。

意義と主張
本論文は、単一の楕円方程式および非特異な系の既存の結果を改善することを主張している。具体的には：

1. 存在論の拡張: データ $f$ が第1式の双対空間の外にある場合（単一の特異方程式では通常、このような解の存在が認められないシナリオ）においても、有限エネルギー解の存在を確立している。
2. 正則性の獲得: $f$ の可積分性がどのように解 $u$ のより高い可積分性へと変換されるかを定量化し、様々な $m$ の範囲に対して明示的な指数を提供している。
3. 二重特異の文脈: 単一の特異方程式や、一つの成分のみが特異な系と比較して、両方の式が特異であるという設定特有の課題に対処している。
4. 手法の厳密性: 変分構造の欠如や両方の式における特異性の存在を扱うために、近似と先前評価を用いた堅牢な枠組みを提供しており、強マルコフ原理（すべてのパラメータ選択において成立するとは限らない）に依存せずに、勾配の収束と解の正性を保証している。

著者は、結果が厳密な先験的評価と不動点引数を通じて導出されていることを強調しており、境界 $\partial\Omega$ の正則性については、$H^1_0(\Omega)$ の $H^1(\mathbb{R}^d)$ への等長埋め込みに依拠することで、有界性以上の仮定を置かずに扱っている。