Hölder regularity up to the boundary for the g-Laplacian on Reifenberg flat domains

技術要約：ライフェンベルク平坦領域におけるg-ラプラシアンの境界におけるヘルダー正則性

問題設定
本稿は、$\Delta_g u := \text{div}\left(\frac{g(|\nabla u|)}{|\nabla u|} \nabla u\right)$ と定義される $g$-ラプラシアン作用素によって駆動される、非線形楕円型ディリクレ問題の弱解の境界正則性を調査するものである。この作用素は、特定の構造条件（原始条件 (PC) および商条件 (QC)、定数 $0 < \delta_0 \le g_0$ によって特徴付けられる）を満たすヤング関数 $G$ （$G' = g$）に関連している。これらの条件は、古典的な $p$-ラプラシアンや、対数項を含むような非標準的な成長を持つ作用素を包含する。

本研究が取り組む主要な課題は、基礎となる領域 $\Omega \subset \mathbb{R}^n$ が滑らかさを欠いている場合における、解の境界におけるヘルダー連続性の確立である。具体的には、本研究は、境界が制御された誤差範囲 $\delta$ 内で超平面によって局所的に近似される幾何学的クラスである**ライフェンベルク平坦領域（Reifenberg flat domains）**に焦点を当てている。古典的な滑らかな領域とは異なり、ライフェンベルク平坦領域はフラクタル的な境界を持つ可能性があり、これが正則性理論において重大な解析的困難をもたらす。

手法
証明の戦略は、反復的な減衰引数と、オルリッチ・ソボレフの設定に適応させた特殊な最大値原理を組み合わせたものである。手法は以下の主要なステップを通じて進行する：

1. 枠組みと空間： 解析は、オルリッチ空間 $L^G(\Omega)$ およびオルリッチ・ソボレフ空間 $W^{1,G}(\Omega)$ 内で行われる。著者らは、$G$ および $g$ の構造的性質（$\delta_0$ および $g_0$ から導かれる凸性と成長度を含む）を利用して、ポアンカレ型の不等式や単調性評価（補題 2.7）などの必要な不等式を確立する。
2. 障壁関数と反復減衰： 境界点におけるヘルダー連続性を証明するために、著者らは帰納法を用いる。彼らは、特定の障壁関数（シフトされた原点からの距離の累乗に基づく）を構成し、それが $\Delta_g \tilde{h} \le 0$ を満たすようにする。縮小するスケール $\rho^k$ 上で解 $u$ をこれらの障壁と比較することで、$u$ の振動が $\rho^{k\alpha}$ に比例する割合で減衰することを示すことを目的とする。
3. 非同次性の処理： $g$-ラプラシアンにおける非同次性の欠如（$p$-ラプラシアンとは異なる）は、決定的な技術的障害である。著者らは、同次方程式を満たさない2つの解の差を管理するための新しい議論を展開する。
4. ABP型の最大値原理： 非同次な差の問題を克服するため、著者らは弱解の差に関するアレクサンドロフ・バクム・プー（ABP）型の評価を確立する。これには以下が含まれる：
   • 解の差が閾値を超える集合 $A(k)$ の定義。
   • 非増大関数に関する技術的な補題（補題 4.1）を用いた減衰評価の利用。
   • 共役関数 $\tilde{G}$ の性質とイェンセンの不等式の適用による、勾配の差の積分をソース項の差の $L^q$ ノルムで抑えること。
   • 集合 $A(k)$ の測数に関する再帰的な不等式の導出、およびそれによる解の差の上限の評価。

主要な貢献と結果
本論文は、境界における弱解 $u$ のヘルダー正則性に関する2つの主要な定理を確立している：

• 定理 1.4 ($g$-調和関数)： 境界データ $\psi \in C^\alpha$ を持つ $g$-調和関数（$\Delta_g u = 0$）について、領域が十分に $\delta$-ライフェンベルク平坦である場合（$\delta$ は構造定数と $\alpha$ に依存）、解は境界点において $C^\alpha$ であることを著者らは証明している。この評価は、解の $L^\infty$ ノルムと境界データのヘルダーセミノルムに依存する。
• 定理 1.5 (非同次ケース)： 方程式 $\Delta_g u = f$ において、$f$ が特定のモレー型空間 $C^{-n/q, (1+g_0)\alpha}_q$ に属し、$g$ が $1 < \delta_0 \le g_0$ で凸であると仮定する場合、解は境界まで $C^\alpha$ であることが示される。正則性評価は、ソース項 $f$、境界データ $\psi$、および解自身のノルムを明示的に考慮している。
• 系 1.6 (大域的正則性)： 境界における評価を既存の内部正則性理論と組み合わせることで、本論文は、すべての境界点において $\delta$-ライフェンベルク平坦な領域上の解について、大域的なヘルダー連続性（$u \in C^\beta(\Omega)$）が成立することを結論付けている。

意義と主張
本論文は、ラプラシアン、$p$-ラプラシアン、および分数型ラプラシアンの先行研究を一般化する設定において、ライフェンベルク平坦領域上の $g$-ラプラシアンの枠組みへの境界正則性の理論を拡張することを主張している。

著者らは、$g$-ラプラシアンにおける同次性の欠如が、$p$-ラプラシアンの同次的なケースと比較して追加の困難を生じさせることを強調している。その結果、本研究は、特に $G$ の特定の構造的条件およびオルリッチ・ソボレフの設定に適合したABP型評価の導出を含む、新しい議論の開発を必要とした。これらの結果は、境界の十分な平坦さ（$\delta$ によって制御される）が、非標準的な成長や特異的または退化的な挙動を持つ作用素に対しても、ヘルダー連続性を保証する堅牢な幾何学的条件であることを示しつつ、解の正則性に関する定量的評価を提供するものである。