[論文レビュー] A priori estimates for boundary value elliptic problems via first order systems

Pascal Auscher, Sebastian Stahlhut|arXiv (Cornell University)|Mar 21, 2014

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

ひとこと要約

本稿では、上半空間における $t$-非依存係数をもつ2階楕円型系のディリクレ型およびノイマン型境界値問題について、第二階系を第一階系に還元することで、事前推定を確立する。第一階作用素に関連するハーディー空間およびテント空間理論を用い、平方関数、非接線的 maximal 関数、境界トレースの間の比較を導出し、デ・ジョルジ＝ナッシュの仮定を必要としない $L^∞$-摂動に対する可解性の安定性を証明する。

ABSTRACT

We prove a number of \ extit{a priori} estimates for weak solutions of elliptic equations or systems with vertically independent coefficients in the upper-half space. These estimates are designed towards applications to boundary value problems of Dirichlet and Neumann type in various topologies. We work in classes of solutions which include the energy solutions. For those solutions, we use a description using the first order systems satisfied by their conormal gradients and the theory of Hardy spaces associated with such systems but the method also allows us to design solutions which are not necessarily energy solutions. We obtain precise comparisons between square functions, non-tangential maximal functions and norms of boundary trace. The main thesis is that the range of exponents for such results is related to when those Hardy spaces (which could be abstract spaces) are identified to concrete spaces of tempered distributions. We consider some adapted non-tangential sharp functions and prove comparisons with square functions. We obtain boundedness results for layer potentials, boundary behavior, in particular strong limits, which is new, and jump relations. One application is an extrapolation for solvability ''\\'a la {\\v{S}}ne{\\u\\i}berg". Another one is stability of solvability in perturbing the coefficients in $L^\\infty$ without further assumptions. We stress that our results do not require De Giorgi-Nash assumptions, and we improve the available ones when we do so.

研究の動機と目的

• 上半空間における $t$-非依存係数をもつ2階楕円型系のディリクレ問題およびノイマン問題に対する事前推定を構築すること。
• 第一階系を用いて、平方関数、非接線的 maximal 関数、境界トレースの間の関係を確立すること。
• デ・ジョルジ＝ナッシュ条件を仮定しない $L^\infty$-係数摂動における可解性の安定性を証明すること。
• Šneĭberg の方法に類する可解性の外挿結果を拡張し、解の強いトレース極限を確立すること。
• 第一階作用素に関連するハーディー空間を、具体的な関数空間として特定し、正確なノルム比較を可能にする。

提案手法

• 正規勾配を用いて第二階楕円型系を第一階系に還元し、$L^2$-値関数上で作用する第一階作用素 $D$ を定義する。
• 作用素 $DB$ および $BD$ の正則関数計算を用いてスペクトル性質を解析し、関連するハーディー空間 $\mathbb{H}^p_{DB}$ および $\mathbb{H}^p_D$ を定義する。
• テント空間理論およびスペクトル射影を用いて $\mathbb{H}^p_{DB}$ と $\mathbb{H}^p_D$ 間の比較を確立し、特に両者が一致する範囲を扱う。
• 非接線的鋭い関数を導入し、関数空間 $\mathbb{H}^p_{DB}$ と $\mathbb{H}^p_D$ が緩和分布と同一視される範囲の $p$ に対して、$L^p$ で平方関数と同等であることを証明する。
• 半群による正則化を適用し、ファトウ型定理を用いて、$L^p$-位相における解の強い境界極限を導出する。
• 層ポテンシャル作用素およびその有界性を用いて、可解性結果および境界トレースのジャンプ関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 どの指数 $p$ に対してハーディー空間 $\mathbb{H}^p_{DB}$ と $\mathbb{H}^p_D$ が等しくなり、ノルム比較が可能になるか？
• RQ2 $L^p$-位相における楕円型系の解に関して、平方関数、非接線的 maximal 関数、境界トレースの関係はどのように規定されるか？
• RQ3 第一階系フレームワークを用いて、ディリクレ問題およびノイマン問題の可解性を $L^p$ データへ外挿できるか？
• RQ4 係数の $L^\infty$-摂動に対する可解性の安定性はどのような条件下で成立するか？
• RQ5 解が $\dot{W}^{-1,p}$ または $\dot{\Lambda}^{\alpha-1}$ 空間において強い（弱いではなく）極限をもつのはどのような条件下か？

主な発見

• 抽象的ハーディー空間が具体的な緩和分布と同一視されるとき、$\mathbb{H}^p_{DB} = \mathbb{H}^p_D$ かつ等価ノルムをもつ指数 $p$ の範囲が特定される。
• $L^p$ において非接線的 maximal 関数と平方関数が同等であることが示され、$p$ が区間 $I_L$ に属する範囲で成り立つ。この区間は $p=2$ を含み、系に応じて $p>1$ または $p<1$ へ拡張される。
• ディリクレ問題およびノイマン問題の解は、$p>1$ に対して $\dot{W}^{-1,p}$ で境界で強い極限をもち、$p\leq 1$ に対しては $\dot{\Lambda}^{\alpha-1}$ 上の弱-* 位相で強い極限をもつ。ここで $\alpha = n(1/q - 1)$ である。
• 層ポテンシャル作用素は $p$ が区間 $I_L$ に属する範囲で $L^p$ 上有界であり、正規勾配のトレースに関するジャンプ関係が確立される。
• $L$ の $X = H^q$ 空間における正則性問題の可解性が成立することは、$\|A - A'\|_\infty$ が十分に小さいとき、摂動された系 $L'$ に対しても可解性が成立することを意味する。
• 本稿では、デ・ジョルジ＝ナッシュ条件を仮定しない $L^\infty$-係数摂動における可解性の安定性を証明し、既知の結果を系およびより一般な係数へ拡張する。