[論文レビュー] Layer potentials and boundary value problems for elliptic equations with complex $L^{\infty}$ coefficients satisfying the small Carleson measure norm condition

Steve Hofmann, Svitlana Mayboroda+1 more|arXiv (Cornell University)|Nov 1, 2013

Advanced Harmonic Analysis Research参考文献 23被引用数 4

ひとこと要約

本稿は、上半空間における発散型楕円型方程式の複素 $L^∞$ 係数に対して、係数行列の縦方向変動の小スケールカルレソンノルム条件の下で、層ポテンシャルの有界性および可逆性を確立する。$L^p$、BMO、ホルダー空間におけるディリクレ問題、ノイマン問題、正則性問題の適切な定式化を示し、$t$-非依存作用素からの摂動により、滑らかでない、粗い係数へ古典的結果を拡張する。

ABSTRACT

We consider divergence form elliptic equations $Lu:= abla\cdot(A abla u)=0$ in the half space $\mathbb{R}^{n+1}_+ :=\{(x,t)\in \mathbb{R}^n imes(0,\infty)\}$, whose coefficient matrix $A$ is complex elliptic, bounded and measurable. In addition, we suppose that $A$ satisfies some additional regularity in the direction transverse to the boundary, namely that the discrepancy $A(x,t) -A(x,0)$ satisfies a Carleson measure condition of Fefferman-Kenig-Pipher type, with small Carleson norm. Under these conditions, we establish a full range of boundedness results for double and single layer potentials in $L^p$, Hardy, Sobolev, BMO and Hölder spaces. Furthermore, we prove solvability of the Dirichlet problem for $L$, with data in $L^p(\mathbb{R}^n)$, $BMO(\mathbb{R}^n)$, and $C^α(\mathbb{R}^n)$, and solvability of the Neumann and Regularity problems, with data in the spaces $L^p(\mathbb{R}^n)/H^p(\mathbb{R}^n)$ and $L^p_1(\mathbb{R}^n)/H^{1,p}(\mathbb{R}^n)$ respectively, with the appropriate restrictions on indices, assuming invertibility of layer potentials in for the $t$-independent operator $L_0:= - abla\cdot(A(\cdot,0) abla)$.

研究の動機と目的

• 横方向の変動に小スケールカルレソン測度条件を満たす複素、有界、可測係数を有する楕円型作用素に対する層ポテンシャルの包括的理論の構築。
• このような作用素に対して、$L^p$、BMO、ホルダー空間におけるディリクレ問題、ノイマン問題、正則性問題の適切な定式化の確立。
• 層ポテンシャルの可逆性に基づく摂動理論を用いて、$t$-非依存作用素から変数係数作用素への可解性結果の拡張。
• 特に滑らかでない、複素係数行列を有する楕円型方程式の境界値問題に関する先行研究を統一的かつ一般化する。

提案手法

• 著者らは、差 $A(x,t) - A(x,0)$ に対する小スケールカルレソン測度条件を導入し、カルレソンボックス $R_Q = Q \times (0, \ell(Q))$ とセミノルム $\varepsilon_0$ を用いて定量化する。
• 主な3つの推論を得る：$\nabla L^{-1} \nabla$ の平方関数評価、および $\nabla L^{-1} \frac{1}{t}$ と $\nabla L^{-1} \nabla$ のテント空間評価。これらはカト型の平方関数評価に基づく。
• 理論は、$t$-非依存作用素 $L_0 = -\nabla \cdot (A(x,0)\nabla)$ の層ポテンシャルの可逆性に依存し、これが基本ケースを形成する。
• 解とトレースの挙動を制御するために、非接線的極大関数 $N_*^\beta u$ と修正された非接線的極大関数 $\widetilde{\mathcal{N}}^\beta u$ を用いる。
• 一意性および可解性の証明は、グリーン関数を用いた積分評価と、テント空間およびハーディ＝ソボレフ空間における補間不等式に依存する。
• 調和解析、ポテンシャル論、特異積分の $L^p$-有界性の技術を組み合わせ、特にカルレソン測度および層ポテンシャル作用素の文脈で分析を行う。

実験結果

リサーチクエスチョン

• RQ1 複素 $L^\infty$ 係数を有する楕円型方程式に対して、層ポテンシャルが $L^p$、ハーディー、BMO、ホルダー空間で有界となるための係数行列 $A(x,t)$ の条件は何か？
• RQ2 $A(x,t) - A(x,0)$ の小スケールカルレソンノルム条件が、ディリクレ問題、ノイマン問題、正則性問題の可解性に与える影響は何か？
• RQ3 $t$-非依存作用素 $L_0 = -\nabla \cdot (A(x,0)\nabla)$ の層ポテンシャルの可逆性が、変数係数作用素 $L$ の可解性を保証するために果たす役割は何か？
• RQ4 同じカルレソン条件の下で、境界値問題の適切な定式化を $L^p$ から BMO および $C^\alpha$ 空間に拡張できるか？
• RQ5 テント空間および平方関数技術を用いて、粗い係数に対する層ポテンシャル理論を、さまざまな関数空間にわたって統一できる範囲はどこか？

主な発見

• 係数行列 $A(x,t) - A(x,0)$ に対する小スケールカルレソンノルム条件の下で、二重層ポテンシャルおよび単一層ポテンシャルは $L^p$、ハーディー、BMO、ホルダー空間で有界であり、その有界性定数は $\varepsilon_0$ に依存する。
• 層ポテンシャルが $t$-非依存作用素 $L_0$ に対して可逆である限り、$L^p(\mathbb{R}^n)$、$BMO(\mathbb{R}^n)$、$C^\alpha(\mathbb{R}^n)$ におけるデータに対してディリクレ問題は適切に定式化される。
• ノイマン問題および正則性問題は、同じ可逆性および小スケール仮定の下で、それぞれ $L^p/H^p$ および $L^p_1/H^{1,p}$ において適切に定式化される。
• 正則性問題 $(R)_{H^p}$ の解の一意性は、トレースの消失と非接線的極大関数の制御により確立され、ゼロデータのもとで $u \equiv 0$ が得られる。
• $p < 1$ の場合、一意性の証明は補間と $L^q$-有界性（$q = \frac{p(n+1)}{n} > 1$）に依存し、$\rho$ および $\epsilon$ における減衰が $\rho \to \infty$ および $\epsilon \to 0$ のとき $u \equiv 0$ を強制する。
• ノイマン問題 $(N)_{H^p}$ は、$\frac{1}{2}I + \widetilde{\mathcal{K}}$ および $\mathcal{S}_{t=0}$ が $H^p$ 上で全単射であるとき、一意に可解であり、これにより $u_0 \equiv 0$ となり、結果として定数を除いて $u \equiv 0$ となる。