[論文レビュー] Optimal regularity for a Dirichlet-conormal problem in Reifenberg flat domain

Jongkeun Choi, Hongjie Dong+1 more|arXiv (Cornell University)|Apr 1, 2019

Advanced Mathematical Modeling in Engineering参考文献 15被引用数 5

ひとこと要約

本稿は、Reifenberg平坦領域における2階楕円型方程式の混合Dirichlet-正規境界条件について、$W^{1,p}$における最適可解性を確立する。係数が小さな平均振動（BMO）であり、境界部が余次元2のReifenberg平坦な界面で分離されている場合、$p \in (4/3, 4)$ で一意的な可解性が示される。この結果は、接する界面付近における正則性理論のギャップを埋める。

ABSTRACT

We study the divergence form second-order elliptic equations with mixed Dirichlet-conormal boundary conditions. The unique $W^{1,p}$ solvability is obtained with $p$ being in the optimal range $(4/3,4)$. The leading coefficients are assumed to have small mean oscillations and the boundary of domain is Reifenberg flat. We also assume that the two boundary conditions are separated by some Reifenberg flat set of co-dimension $2$ on the boundary.

研究の動機と目的

• 不規則な領域における混合Dirichlet-正規境界値問題の $W^{1,p}$ 可解性の最適 $p$ 範囲を確立すること。
• Lipschitz領域を一般化し、フラクタル的な境界を許容するReifenberg平坦領域へ、混合境界条件を伴う楕円型方程式の正則性理論を拡張すること。
• 特に接する界面付近で勾配の $L^p$ 可積分性を失う臨界正則性閾値を特定すること。
• $p \in (4/3, 4)$ が最適であることを証明し、$p \geq 4$ の場合に古典的反例で正則性が失敗することと一致させること。
• 最小限の幾何的および係数の正則性仮定のもとで、$W^{1,p}$ 評価と可解性の枠組みを提供すること。

提案手法

• 境界が滑らかでない場合でも有効である、トレース作用素や外法線に依存しない弱形式（定義2.1）の使用。
• $\Omega$ から $\hat{\Omega}$ への拡張領域の構成により、ジョン領域の性質を保ち、$L_p$-有界性結果の適用を可能にする。
• $R_\lambda$（解作用素）と $I$（$L_p$ への埋め込み）の合成 $T = R\_\lambda \circ I$ として定義されるコンパクト作用素を用いたFredholmの補題の応用により、一意性と存在性を証明。
• $W^{1,p}$ 解から出発し、段階的に正則性を高め $W^{1,2}$ にまで引き上げるブートストラップ法の適用。ここで弱最大値原理が適用可能になる。
• 小さなReifenberg平坦領域がすべての $p \in [1, \infty]$ に対して $W^{1,p}$-拡張領域であるという事実を活用し、Sobolev不等式の成立を保証。
• 発散型構造と小さな平均振動を有するBMO係数を用いることで、楕円作用素の主要係数を制御。

実験結果

リサーチクエスチョン

• RQ1 Reifenberg平坦領域におけるBMO係数を有する混合Dirichlet-正規問題の $W^{1,p}$ 可解性の最適 $p$ 範囲は何か？
• RQ2 $L^p$-正則性閾値 $p=4$ は改善可能か、それとも古典的反例が示唆するように、本当に最適か？
• RQ3 $\Gamma = \mathcal{D} \cap \mathcal{N}$ で定義される界面 $\Gamma$ の幾何的性質、特にその余次元2のReifenberg平坦性が、可解性および正則性にどのように影響するか？
• RQ4 トレースや法線微分が古典的に定義されない非滑らか領域に対しても、Fredholmの補題を適用可能か？
• RQ5 $p<2$ の $W^{1,p}$ から出発する場合、ブートストラップ法によって解の正則性はどの程度向上できるか？

主な発見

• 混合問題の $W^{1,p}$ 可解性は、すべての $p \in (4/3, 4)$ で成立し、これは最適範囲であり、$p \geq 4$ の場合に既知の反例と一致する。
• 主要係数 $a_{ij}$ は小さな平均振動（BMO）を仮定しており、連続性を要件とせず、推移的正則性を確保する。
• 境界 $\partial\Omega$ はReifenberg平坦であると仮定しており、これはLipschitz領域を一般化し、フラクタル的構造や微小スケールの不規則性を許容する。
• 界面 $\Gamma = \mathcal{D} \cap \mathcal{N}$ は余次元2のReifenberg平坦集合であると仮定しており、これにより二つの境界部の接する部分の挙動が制御される。
• 解作用素 $R(\lambda, L)$ は $(L_p(\Omega))^d \times L_p(\Omega)$ から $W^{1,p}_{\mathcal{D}}(\Omega)$ への有界作用素であり、Fredholm理論の適用が可能である。
• 同次問題の解の一意性は、$W^{1,p}$ 解を $W^{1,2}$ までブートストラップで引き上げ、そこでは弱最大値原理が適用可能になることにより確立される。