[论文解读] 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$-无关系数的二阶椭圆组的狄利克雷型与诺伊曼型边值问题的先验估计。利用与一阶算子相关的硬分析与帐篷空间理论，推导出平方函数、非切向极大函数与边界迹之间的比较关系，证明了在不假设 De Giorgi-Nash 条件下，系数的 $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$-无关系数的二阶椭圆组的狄利克雷问题与诺伊曼问题发展先验估计。
• 通过一阶系统建立平方函数、非切向极大函数与边界迹之间的联系。
• 在不需 De Giorgi-Nash 条件下，证明系数的 $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$ 之间的比较关系，特别关注二者重合的范围。
• 引入非切向尖锐函数，并证明其在 $L^p$ 中与平方函数等价，其中 $p$ 属于硬空间与缓增分布空间一致的范围。
• 通过半群进行正则化，并利用 Fatou 型定理，推导出在 $L^p$-拓扑中解的强边界极限。
• 利用层势算子及其有界性，推导出可解性结果与边界迹的跳跃关系。

实验结果

研究问题

• RQ1 在哪些指数 $p$ 下，硬空间 $\mathbb{H}^p_{DB}$ 与 $\mathbb{H}^p_D$ 重合，从而实现范数比较？
• RQ2 在 $L^p$-拓扑中，平方函数、非切向极大函数与边界迹如何关联，针对椭圆组解的解？
• RQ3 能否通过一阶系统框架将狄利克雷与诺伊曼问题的可解性外推至 $L^p$ 数据？
• RQ4 在何种条件下，系数的 $L^\infty$-扰动下，可解性保持稳定？
• RQ5 在何种条件下，解在 $\dot{W}^{-1,p}$ 或 $\dot{\Lambda}^{\alpha-1}$ 空间中具有强（非弱）边界极限？

主要发现

• 当抽象硬空间与具体缓增分布空间一致时，$\mathbb{H}^p_{DB} = \mathbb{H}^p_D$ 且范数等价的指数 $p$ 的范围得以确定。
• 在区间 $I_L$ 中，非切向极大函数与平方函数在 $L^p$ 中等价，该区间包含 $p=2$，并依系统性质向 $p>1$ 或 $p<1$ 延伸。
• 狄利克雷与诺伊曼问题的解在 $\dot{W}^{-1,p}$ 中具有强极限（$p>1$），在 $\dot{\Lambda}^{\alpha-1}$ 上具有弱-*极限（$p\leq 1$），其中 $\alpha = n(1/q - 1)$。
• 层势算子在 $p$ 属于区间 $I_L$ 时有界，且建立了共形梯度迹的跳跃关系。
• 若算子 $L$ 在给定空间 $X = H^q$ 中的正则性问题可解，则当 $\|A - A'\|_\infty$ 足够小时，扰动系统 $L'$ 的可解性也成立。
• 本文证明了在不需 De Giorgi-Nash 条件下，系数的 $L^\infty$-扰动下解的可解性稳定性，将已知结果推广至系统与更一般的系数。