[论文解读] Critical Perturbations for Second Order Elliptic Operators. Part I: Square function bounds for layer potentials

Simon Bortz, Steve Hofmann+3 more|arXiv (Cornell University)|Mar 5, 2020

Nonlinear Partial Differential Equations参考文献 57被引用 4

一句话总结

本论文通过向量值 $Tb$ 定理与抽象层势理论，建立了临界扰动的二阶椭圆微分算子（以散度形式表示）相关层势的 $L^2$ 平方函数有界性。关键结果是解的均匀切片有界性，该结果可推广至广义磁势薛定谔算子，其磁势为小的 $L^n$ 范数，电势为小的 $L^{n/2}$ 范数。

ABSTRACT

This is the first part of a series of two papers where we study perturbations of divergence form second order elliptic operators $-\mathop{\operatorname{div}} A abla$ by first and zero order terms, whose coefficients lie in critical spaces, via the method of layer potentials. In particular, we show that the $L^2$ well-posedness of the Dirichlet, Neumann and Regularity problems for complex Hermitian, block form, or constant-coefficient divergence form elliptic operators in the upper half-space are all stable under such perturbations. For instance, this allows us to claim the first results in the setting of an unbounded domain concerning the solvability of boundary value problems for the magnetic Schrödinger operator $-( abla-i{\bf a})^2+V$ when the magnetic potential ${\bf a}$ and the electric potential $V$ are accordingly small in the norm of a scale-invariant Lebesgue space. In the present paper, we establish $L^2$ control of the square function via a vector-valued $Tb$ theorem and abstract layer potentials, and use these square function bounds to obtain uniform slice bounds for solutions. The existence and uniqueness of solutions, as well as bounds for the non-tangential maximal operator, are considered in the upcoming paper.

研究动机与目标

• 为研究二阶椭圆微分算子在临界低阶项扰动下的 $L^2$ Dirichlet、Neumann 与正则性问题建立框架。
• 在复系数、$t$-无关的散度形式算子背景下，建立抽象层势算子的平方函数估计。
• 为 $\mathbb{R}^{n+1}_+$ 中满足 $\mathcal{L}u = 0$ 的解获得均匀切片有界性，其中 $\mathcal{L}$ 包含 $L^n$ 与 $L^{n/2}$ 空间中的临界扰动。
• 将层势方法的应用范围扩展至广义磁势薛定谔算子，其磁势为小的 $L^n$ 范数，电势为小的 $L^{n/2}$ 范数。
• 为第二篇论文奠定理论基础，后者将研究在弱背景假设下边界值问题的唯一性与可解性。

提出的方法

• 利用向量值 $Tb$ 定理控制 $L^2$ 中单层势的平方函数。
• 通过格林公式与跳跃关系，运用抽象层势理论将边界数据与解联系起来。
• 采用 Caccioppoli 型不等式控制解在空间切片上的梯度与高阶 $t$-导数。
• 引入适配问题几何结构的测试函数，以在向量值设定下验证 $Tb$ 条件。
• 利用平方函数有界性，推导出解在空间切片 $\mathbb{R}^n \times \{t\}$ 上迹的统一控制。
• 应用 $Y^{1,2}$ 空间中的索伯列夫嵌入与衰减估计，证明在适当衰减条件下，迹在无穷远处趋于零。

实验结果

研究问题

• RQ1 能否为受复系数、临界阶低阶项扰动的二阶椭圆微分算子相关层势建立平方函数估计？
• RQ2 当系数 $B_1 \in L^n$、$B_2 \in L^n$ 与 $V \in L^{n/2}$ 满足何种条件时，可保证相关层势算子在 $L^2$ 中有界且可逆？
• RQ3 平方函数估计如何用于推导 $\mathcal{L}u = 0$ 在 $\mathbb{R}^{n+1}_+$ 中解的均匀切片有界性？
• RQ4 这些结果在多大程度上可推广至广义磁势薛定谔算子 $-(\nabla - i\mathbf{a})A(\nabla - i\mathbf{a}) + V$，其中 $\|\mathbf{a}\|_{L^n}$ 与 $\|V\|_{L^{n/2}}$ 较小？
• RQ5 解 $u$ 需满足何种必要与充分条件，才能使其在空间切片 $\mathbb{R}^n \times \{t\}$ 上的迹在无穷远处趋于零？

主要发现

• 在扰动项 $B_1, B_2 \in L^n$ 与 $V \in L^{n/2}$ 的范数足够小的假设下，本论文通过向量值 $Tb$ 定理建立了单层势的 $L^2$ 平方函数有界性。
• 在 $\||t \nabla u\|| < \infty$ 的条件下，获得了 $\mathcal{L}u = 0$ 解 $u$ 的均匀切片有界性，且满足 $\|\operatorname{Tr}_t u\|_{L^p(\mathbb{R}^n)} \to 0$ 当 $t \to \infty$。
• 估计式 $\|\operatorname{Tr}_\tau u\|_{L^2(\mathbb{R}^n)} \lesssim \int_\tau^\infty \int_{\mathbb{R}^n} t |\nabla u|^2 \, dx dt$ 对所有 $\tau > 0$ 一致成立，提供了切片上的 $L^2$-上确界控制。
• 对于广义磁势薛定谔算子 $-(\nabla - i\mathbf{a})A(\nabla - i\mathbf{a}) + V$，当 $\|\mathbf{a}\|_{L^n}$ 与 $\|V\|_{L^{n/2}}$ 较小时，本结果为首次建立。
• 论文证明：若 $\||t \nabla u\|| < \infty$ 且当 $t \to \infty$ 时 $u(t) \to 0$ 在分布意义下成立，则 $u$ 是一个良好的 $\mathcal{D}$ 解，满足对所有 $\tau > 0$ 有 $u_\tau \in Y^{1,2}(\mathbb{R}^{n+1}_+)$。
• 对于满足 $\||t \nabla \partial_t u\|| < \infty$ 且当 $t \to \infty$ 时 $\nabla u(t) \to 0$ 的解，该解为良好的 $\mathcal{N}/\mathcal{R}$ 解，或为其常数平移，具体取决于 $\mathcal{L}1 = 0$ 是否成立。