Green representations and global Hölder continuity for solutions of elliptic equations

この論文「Green 表現と楕円型方程式の解のグロバル・Hölder 連続性（Green representations and global H¨older continuity for solutions of elliptic equations）」は、Duong Minh Duc によって執筆された数学論文です。以下に、この論文の技術的な要約を問題設定、手法、主要な貢献、結果、そして意義に分けて日本語で詳細に記述します。

1. 問題設定 (Problem)

この研究は、以下の形をした非線形または退化した楕円型偏微分方程式の弱解 $u$ の正則性（特にグロバルな Hölder 連続性）を扱うことを目的としています。

$$L u \equiv -\sum_{i,j=1}^N \frac{\partial}{\partial x_j} \left( b_{ij} \frac{\partial u}{\partial x_i} \right) = f \quad \text{in } \Omega \subset \mathbb{R}^N$$

ここで、$\Omega$ は有界開集合、$N \ge 2$ です。この研究の主な特徴と困難さは以下の点にあります。

• 係数の一般性: 係数行列 $B = \{b_{ij}\}$ は可測関数であり、厳密楕円型（strictly elliptic）でも一様楕円型（uniformly elliptic）でもありません。
• 退化と特異性: 係数 $b_{ij}$ はある関数 $b$ と $b$ によって制御されます（$b|\xi|^2 \le \sum b_{ij}\xi_i\xi_j \le b|\xi|^2$）。ここで、$b^{-1}$ はある $L^t$ 空間に属し、$b$ は別の $L^r$ 空間に属します。これにより、方程式が退化（degenerate）したり、特異（singular）になったりする可能性があります。
• 境界条件: 解 $u$ は境界 $\partial\Omega$ の部分集合 $A$ 上でゼロとなり、それ以外の部分では自由（free）であるという一般的な設定を扱います。
• 右辺の低積分可能性: 右辺 $f$ は $L^1(\Omega)$ に属する関数として扱われます。

従来の研究の多くは、係数が一定である場合や、$A_2$ 重み（Muckenhoupt weight）の条件を満たす場合、あるいは係数が滑らか（Dini 連続など）である場合に限定されていました。この論文は、それらの条件を大幅に緩和した状況下での解の表現と正則性を確立しようとするものです。

2. 手法 (Methodology)

著者は、以下の手法を組み合わせて問題を解決しています。

• グリーン関数とグリーン表現の構成:

  • 解 $u$ とその勾配 $\nabla u$ を、右辺 $f$ とグリーン関数 $G(x, y)$ および勾配グリーン関数 $H_l(x, y)$ を用いた積分表示（グリーン表現）として表すことを目指します。
  • 具体的には、$u(y) = \int_\Omega G(x, y)f(x)dx$ および $\frac{\partial u}{\partial x_l}(y) = -\int_\Omega H_l(x, y)f(x)dx$ という関係式を導出します。
  • これらの関数の存在と評価を得るために、近似問題（滑らかな係数や切断関数を用いた近似）を解き、極限操作を行います。

• 補助関数の修正と有界性の証明:

  • Serrin の手法（局所有界性の証明）を流用しますが、グロバルな有界性を得るために、Serrin が用いた補助関数を修正して定義します（Definition 4, 5）。
  • これらの補助関数を用いた Moser 反復法（Moser iteration）の一種を適用し、解の $L^\infty$ 有界性を証明します（Proposition 14, 15）。

• Riesz ポテンシャルの性質の利用:

  • グリーン関数 $G$ と $H_l$ の特異性（$|x-y|^{-N+2-\zeta}$ や $|x-y|^{-N+1-\zeta}$ のような減衰）を評価します。
  • Hardy-Littlewood-Sobolev の定理を用いて、Riesz 積分 $I_{\Omega, \varrho}f$ の $L^p$ 空間への写像性を適用し、解 $u$ とその勾配 $\nabla u$ の積分可能性を向上させます。

• ソボレフ空間と拡張定理:

  • 解が定義されるソボレフ空間 $W_{B,A}(\Omega)$ を適切に定義し、その性質を調べます。
  • Whitney の拡張定理と Morrey の定理を用いて、解のグロバルな Hölder 連続性を導き出します。

3. 主要な貢献と結果 (Key Contributions and Results)

この論文の主要な成果は以下の定理としてまとめられます。

• 定理 1（グリーン関数の存在と表現）:

  • 係数が厳密楕円型でなくとも、かつ $A_2$ 重み条件を満たさなくても、$f \in L^1(\Omega)$ に対して、解 $u$ を表すグリーン関数 $G(x, y)$ が存在し、積分表示が可能であることを示しました。
  • 特に、$N \in \{2, \dots, 8\}$ の場合や、係数が定数かつ境界が滑らかな場合などに成立します。

• 定理 2（勾配のグリーン表現）:

  • 解の勾配 $\nabla u$ に対しても、同様にグリーン関数 $H_l(x, y)$ を用いた積分表示が成立することを示しました。
  • 係数 $b_{ij}$ が Dini 連続である場合など、特定の条件下で勾配の表現が得られます。

• 定理 3（グロバル・Hölder 連続性）:

  • 上記のグリーン表現と Riesz ポテンシャルの性質を組み合わせることで、解 $u$ が領域 $\Omega$ 全体で Hölder 連続であることを証明しました。
  • 右辺 $f$ が特定の $L^p$ 空間に属するか、あるいは $f$ が $|\nabla u|$ や $u$ に支配される形（$|f| \le a_2|\nabla u| + a_1 u + a_0$）であっても、解の Hölder 連続性が保たれます。

• 退化・特異方程式への適用:

  • 従来の結果（Ladyzenskaja-Ural'tseva, Trudinger, Byun et al. など）が扱っていた「係数が一定」や「係数が滑らか」という条件を緩和し、係数が可測で退化・特異であっても、かつ境界の一部でしかゼロにならない（$A \subsetneq \partial\Omega$）というより一般的な設定で正則性を確立しました。

4. 意義 (Significance)

この論文の学術的意義は以下の点にあります。

1. 一般性の飛躍的向上:
   楕円型方程式の正則性理論において、係数の滑らかさや一様楕円性の仮定を大幅に外した状況下でも、解のグロバルな正則性（Hölder 連続性）が保証されることを示しました。これは、物理現象や材料科学において、不均質で特異な媒質をモデル化する際に極めて重要です。

2. グリーン関数による表現の確立:
   係数が非滑らかで退化する状況でも、解がグリーン関数を通じて右辺 $f$ と結びつくことを示しました。これは、解の構造を解析する強力なツールを提供し、数値解析やさらなる理論的発展の基礎となります。

3. 境界条件の柔軟性:
   解が境界の全周でゼロになる（Dirichlet 境界条件）だけでなく、境界の一部でしかゼロにならない場合（混合境界条件や自由境界に近い設定）にも理論が適用可能であることを示しました。

4. 手法の革新:
   Serrin の局所正則性の手法を、補助関数の工夫を通じてグロバルな設定に拡張し、Riesz ポテンシャルの理論と統合したアプローチは、今後の偏微分方程式の正則性研究における重要な手法論的貢献と言えます。

総じて、この論文は、非常に広いクラスの退化・特異楕円型方程式に対して、解の積分表現とグロバルな正則性を確立した画期的な成果です。