[論文レビュー] Elliptic Partial Differential Equations with Complex Coefficients

Ariel Barton|ArXiv.org|Nov 13, 2009

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

ひとこと要約

この論文は、R²におけるリプシッツ領域上での複素係数で座標に依存する楕円型偏微分方程式に対して、解の存在と有界性を確立する。実係数作用素に小さな虚部を加えた摂動を用いて、ディリクレ問題、ノイマン問題、正則性問題が、p ≈ 1 の L^p において、および H¹、BMO、L^∞ において、制御されたノルムで適切に定式化されることを証明する。層ポテンシャルとグリーン関数の推定を用いて、古典的結果を複素係数へと拡張する。

ABSTRACT

In this paper we investigate elliptic partial differential equations on Lipschitz domains in the plane whose coefficient matrices have small (but possibly nonzero) imaginary parts and depend only on one of the two coordinates. We show that for Dirichlet boundary data in L^p for p large enough, solutions exist and are controlled by the L^p-norm of the boundary data. Similarly, for Neumann boundary data in L^q, or for Dirichlet boundary data whose tangential derivative is in L^q (regularity boundary data), for q small enough, we show that solutions exist and are controlled by the L^q-norm of the boundary data. We prove similar results for Neumann or regularity boundary data in the Hardy space H^1, and for bounded or BMO Dirichlet boundary data. Finally, we show some converses: if the solutions are controlled in some sense, then Dirichlet, Neumann, or regularity boundary data must exist.

研究の動機と目的

• 実係数行列からわずかな虚部をもつ複素係数行列にまで、楕円型偏微分方程式の適切な定式化結果を拡張すること。
• ディリクレ問題、ノイマン問題、正則性問題に対して、L^p、H¹、BMO、L^∞ における解の有界性を確立すること。
• 係数行列が実かつ一様楕円型行列の小さな L^∞-摂動である場合、解が境界データの L^p-ノルムによって制御されることを証明すること。
• 逆の結果を示すこと：あるノルムで解が制御されるならば、境界データは対応する関数空間に属しているべきである。

提案手法

• リプシッツ領域上での div(A∇u)=0 の解を解析するために、層ポテンシャルの L^p および H¹ 空間における有界性を用いる。
• カルデロン＝ジミント理論および BMO 推定を用いて、勾配の非接線的極大関数を制御する。
• グリーン関数の推定と非接線的極大関数の境界付き推定を用いて、∂V 上で ∥ν·A∇G_X∥_{L¹} を境界付近で制御する。
• 摂動論的議論に依拠する：A₀ が実で適切に定式化されているならば、A₀ に L^∞ で近い A は、p ≈ 1 の L^p においても適切に定式化される。
• 連続性の方法と補間を用いて、L² における有界性を L^p および H¹ に拡張する。
• 転置および双対性の技法を用いて、ノイマン問題と正則性問題をディリクレ問題に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 境界データの L^p-ノルムによって制御されるような、リプシッツ領域上での div(A∇u)=0 のディリクレ問題が、係数行列 A に対してどのような条件下で解をもつか。
• RQ2 A が実行列の小さな複素摂動である場合、ノイマン問題および正則性問題の適切な定式化が、ディリクレ問題の適切な定式化から導けるか。
• RQ3 A が小さな虚部をもつ場合、H¹、BMO、L^∞ などの関数空間では、ディリクレ問題、ノイマン問題、正則性問題に対して適切に定式化された解が存在するか。
• RQ4 A が一つの変数にのみ依存する複素係数であるとき、層ポテンシャルはリプシッツ領域上でどのように振る舞うか。
• RQ5 逆の結果はどのようなものか：解が特定のノルムで制御されるならば、境界データは対応する関数空間に属している必要があるか。

主な発見

• 虚部が小さい複素係数行列 A に対して、ディリクレ問題、ノイマン問題、正則性問題は、p ≈ 1 の L^p において適切に定式化され、その有界性は λ、Λ、および領域のリプシッツ定数にのみ依存する。
• A が実行列の小さな L^∞-摂動である限り、ノイマン問題および正則性問題の解は、境界データの L^q-ノルム（q が十分に小さい）によって制御される。
• 境界データが H¹ に属する場合、解は N(∇u)∈L¹ を満たす関数の中で一意に存在し、∥N(∇u)∥_{L¹}≤C∥f∥_{H¹} を満たす。
• L^∞ および BMO の境界データ問題は適切に定式化され、解は境界データの L^∞-ノルムまたは BMO-ノルムによって制御される。
• 逆の結果が成り立つ：解が L^p または L¹ のノルムで制御されるならば、境界データはそれぞれ L^p または H¹ に属している必要がある。
• グリーン関数は、境界付近の X に対して ∥ν·A∇G_X∥_{L¹(∂V)}≤C が一様に成り立ち、最大原理の推定を保証する。