[论文解读] Weighted mixed-norm $L_p$ estimates for equations in non-divergence form with singular coefficients: the Dirichlet problem

Hongjie Dong, Tuoc Phan|arXiv (Cornell University)|Mar 14, 2021

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

一句话总结

本文在上半空间中，针对具有奇异系数的非散度型椭圆与抛物型方程，在狄利克雷边界条件下，建立了加权混合范数 $L_p$ 估计。即使权重 $x_d^\gamma$ 不属于 $A_p$-Muckenhoupt 类，也证明了固有加权索伯列夫空间中强解的存在性与唯一性，其关键在于控制组合项 $D_d^2u + \alpha x_d^{-1}D_d u$ 而非仅 $D_d^2u$ 本身。

ABSTRACT

We study a class of non-divergence form elliptic and parabolic equations with singular first-order coefficients in an upper half space with the homogeneous Dirichlet boundary condition. In the simplest setting, the operators in the equations under consideration appear in the study of fractional heat and fractional Laplace equations. Intrinsic weighted Sobolev spaces are found in which the existence and uniqueness of strong solutions are proved under certain smallness conditions on the weighted mean oscillations of the coefficients in small parabolic cylinders. Our results are new even when the coefficients are constants and they cover the case where the weights may not be in the $A_p$-Muckenhoupt class.

研究动机与目标

• 在上半空间中，为具有奇异一阶系数的非散度型椭圆与抛物型方程建立加权混合范数 $L_p$ 估计。
• 即使权重 $x_d^\gamma$ 不属于 $A_p$-Muckenhoupt 类，也证明在狄利克雷边界条件下强解的存在性与唯一性。
• 在固有加权索伯列夫空间中建立理论，其关键估计控制 $D_d^2u + \alpha x_d^{-1}D_d u$ 而非仅 $D_d^2u$ 本身。
• 将经典的 Calderón-Zygmund 估计推广至具有奇异系数的方程，例如分数阶拉普拉斯与热方程中出现的情形。
• 处理抛物柱体中系数具有小加权均值振荡的情况，确保在最小正则性假设下方程的可解性。

提出的方法

• 使用权重 $x_d^\gamma$ 的固有加权索伯列夫空间，其中 $\gamma \in (\alpha p - 1, 2p - 1)$，以控制边界附近的奇异行为。
• 在具有奇异系数的非散度型方程背景下，适配 Calderón-Zygmund 类型的论证方法。
• 引入加权极大函数，并通过截断函数 $\eta_k$ 进行 dyadic 分解，以在抛物柱体中局部化并估计解。
• 采用泛函分析方法，结合加权 $L_{q,p}$-范数，并利用修改后的算子 $\mathfrak{M} = x_d^{-1}$ 来处理奇异项。
• 通过变量变换 $u = x_d^\beta v$ 将原方程转化为可应用已知估计的形式，尤其当存在零阶项 $b x_d^{-2} v$ 时。
• 通过在 dyadic 层次 $k$ 上进行归纳论证，借助对参数 $\lambda_k$ 的精心选择，吸收高阶项，实现可求和的衰减。

实验结果

研究问题

• RQ1 当权重不在 $A_p$-Muckenhoupt 类中时，能否为上半空间中具有奇异系数的非散度型方程建立加权混合范数 $L_p$ 估计？
• RQ2 在存在奇异 $x_d^{-1}$ 系数的情况下，如何控制二阶导数 $D_d^2u$，特别是当仅 $D_d^2u$ 不可积时？
• RQ3 系数需满足何种条件（如在抛物柱体中具有小加权均值振荡）才能保证在加权索伯列夫空间中强解的存在性与唯一性？
• RQ4 经典 Calderón-Zygmund 理论在多大程度上可推广至具有奇异低阶项如 $\alpha x_d^{-1} D_d u$ 的方程？
• RQ5 该方法能否扩展至包含形如 $b x_d^{-2} u$ 的零阶项？若可，对 $b$ 与 $\alpha$ 需满足何种条件？

主要发现

• 本文证明：当 $\alpha \in (-\infty, 1)$，$p \in (1,\infty)$，且 $\gamma \in (\alpha p - 1, 2p - 1)$ 时，方程 $\Delta u + \alpha x_d^{-1} D_d u - \lambda u = f$ 的狄利克雷问题在加权 $L_p$ 范数下（权重为 $x_d^\gamma$）存在唯一强解。
• 关键估计控制的是 $|D_d^2 u + \alpha x_d^{-1} D_d u|^p$ 而非 $|D_d^2 u|^p$，这在系数具有奇异性时至关重要。
• 即使系数为常数，结果仍属新颖，且权重 $x_d^\gamma$ 无需属于 $A_p$-Muckenhoupt 类。
• 在抛物柱体中系数的加权均值振荡满足小性条件时，解的存在性与唯一性得以确立。
• 通过变换 $u = x_d^\beta v$，该方法可推广至包含额外零阶项 $b x_d^{-2} u$ 的方程，只要适当选择 $\beta$ 以消除奇异项，之后即可应用定理 2.3。
• 证明依赖于在 $k$ 上的 dyadic 分解与求和论证，其中参数 $\lambda_k = \lambda_0 \rho_0^{-2} + (5N 2^k)^2$ 确保高阶项的衰减，从而实现有限和并吸收主项。