Solvability of the Neumann problem for elliptic equations in chord-arc domains with very big pieces of good superdomains

技術要約：非常に大きな良質な超領域を持つコードアーク領域における楕円型方程式のノイマン問題の可解性

問題設定
本論文は、有界なコードアーク領域 $\Omega \subset \mathbb{R}^{n+1}$ における、発散形式の楕円型作用素 $L = -\text{div}(A\nabla)$ のノイマン問題の可解性を扱う。行列 $A$ の係数は、Dini平均振動（DMO）を持つと仮定されている。中心となる課題は、ノイマン問題 $(N_p)_L$ における $L^p$ 可解性を確立することである（ここで $1 < p \le 2$）。

ラプラシアンや特定のクラスの作用素（例：DKP作用素）については、コードアーク領域におけるディリクレ問題 $(D_p)_L$ や正則性問題 $(R_p)_L$ の可解性は広範に研究され解決されているが、ノイマン問題は依然として著しく困難である。ディリクレ問題とは異なり、ノイマン問題には部分領域から元の領域へと可解性を転送することを可能にする最大値原理が存在しない。さらに、ノイマン関数は一定の符号を持たないため、正の調和測度の手法を用いることができない。著者らは、コードアーク領域において $(N_p)_L$ が可解であるかという、ケニグによって提起され、後にトロによって強調された未解決問題に焦点を当てている。

手法
著者らは、「グッド $\lambda$（good $\lambda$）」不等式による議論、ブートストラップ手順、および双対性を採用している。この手法は、以下の主要な技術的要素に基づいている。

1. 双対定式化と粗いノイマン問題： 著者らは、「粗いノイマン問題」や $\rho$-滑らかなバージョンを含む、ノイマン問題の変種を導入する。彼らは双対性の議論を利用して、ノイマン問題 $(N_p)_L$ の可解性と、ローレンツ空間 ($L^{p', \infty}$) における共役作用素 $L^*$ に対する「粗い」ノイマン問題の可解性とを結びつける。具体的には、ある $q > p$ に対して正則性問題 $(R_q)_L$ が可解であるならば、$(N_p)_L$ は可解であることを確立する。

2. 局所化と超領域： 「非常に大きな部分」を持つ超領域の使用は、核心的な革新である。著者らは、境界上のすべての球 $B(\xi, r)$ に対して、$\Omega \cap B(\xi, r) \subset U_{\xi,r}$ を満たす「超領域」 $U_{\xi,r}$ （$C^2$-コードアーク領域）が存在すると仮定する。決定的なのは、ノイマン問題がこれらの超領域において一様に可解であると仮定されている点である。この条件は、「悪い」部分の境界 $\partial \Omega \setminus \partial U_{\xi,r}$ の測度が、球に対する相対的な測度として小さいこと（パラメータ $\varepsilon$ によって制御される）を要求する。

3. グッド $\lambda$ 不等式と補間： 主定理の証明は、以下の形式の推定量を確立することに依存している：
   $$C_L(N^R_{L^{p'}, L^{p', \infty}}) \le K(1 + \varepsilon^a C_L(N^R_{L^{p'}, L^{p', \infty}}))$$
   ここで $C_L$ は可解性定数である。$\varepsilon$ を十分に小さく選ぶことで、右辺の未知の定数を含む項を吸収し、一様な有界性を得ることができる。この推定量は、解を局所部分と遠方部分に分解する局所化補題（補題 4.3）を用いて導かれ、そこではノイマン関数とその性質（モザー推定、ヘルダー連続性）が利用される。

4. 近似と稠密性： 境界データや作用素係数の滑らかさの欠如を扱うために、$\rho$-滑らかな恒等近似（$S_\rho$）を用いる。彼らは、滑らかなバージョンに対する可解性が、稠密性議論およびローレンツ空間間の補間を通じて、粗いバージョンに対する可解性を意味することを証明する。

主要な貢献と結果
主要な結果は 定理 1.1 である。これは以下を述べている：
$\Omega \subset \mathbb{R}^{n+1}$ を有界な $C^1$-コードアーク領域とし、$L \in \text{EDMO}(\mathbb{R}^{n+1})$ とする。$p \in (1, 2)$ について、以下を満たす場合：

1. 正則性問題 $(R_q)_L$ が $\Omega$ においてある $q > p$ に対して可解である。
2. $\partial \Omega$ が弱 $p$-ポアンカレ不等式を支持する。
3. $\Omega$ が、「ノイマン問題 $(N_q)_L$ が一様に可解である」非常に大きな部分の超領域 $U_{\xi,r}$ （具体的には $C^2$-コードアーク領域）を持ち、境界の差の測度が小さい（$\varepsilon$-小である）。

このとき、ノイマン問題 $(N_p)_L$ は $\Omega$ において可解である。

特定の系（系 1.2）は、これをラプラシアン ($\Delta$) に適用する。これは、$(R_q)_\Delta$ が $C^1$-コードアーク領域において可解であり、かつ当該領域が、ノイマン問題が一様に可解なリプシッツ超領域の「非常に大きな部分」を持つならば、$(N_p)_\Delta$ は可解であることを主張している。

意義と主張
本論文は、定理 1.1 がラプラシアンに対しても新しい結果であることを主張している。著者らは、ラプラシアンの $(N_2)_\Delta$ の可解性はリプシッツ領域における古典的な結果（ジェリソン・ケニグ）であるが、より粗い領域（コードアーク）において $p \neq 2$ の $L^p$ 可解性を拡張することは未解決の問題であったと指摘している。

その意義は以下の通りである：

• 最大値原理の欠如の克服： 著者らは、ノイマン問題では利用不可能な最大値原理に頼ることなく、可解性を「良質な」超領域から「粗い」領域 $\Omega$ へと転送する手法を提供した。
• ケニグの未解決問題への取り組み： 本研究は、コードアーク領域においてノイマン問題が可解となる $p > 1$ が存在するかという、ケニグ（1991）およびトロ（2010）による問いに進展をもたらした。
• 双対性と粗いノイマン問題： 本論文は、「粗い」ノイマン問題の定式化と、それが正則性問題と持つ双対性を導入し、非滑らかな設定における境界値問題の可解性に対する新たな視点を提供した。
• 条件の最適性： 著者らは、グッド $\lambda$ 不等式において誤差項を吸収するために、証明において「非常に大きな部分」という条件が必要であることを認めている。彼らは、彼らの定理を反復的に適用することで、最終的にはより大きな $\varepsilon$（1に近い値）をカバーできる可能性がある（すべてのコードアーク領域を網羅できる可能性がある）と議論しているが、これは反復プロセスにおける定数の依存性のために、依然として困難な課題として残っている。

本論文は、すべてのコードアーク領域に対して無条件にノイマン問題を解決すると主張しているのではなく、特定の幾何学的条件（既に可解性が知られている「非常に大きな部分の超領域」を持つこと）の下での可解性を確立している。この結果は、リプシッツ（または $C^2$）領域における可解性と、より一般的なコードアークの設定との間の溝を埋めるものである。