完全非线性椭圆方程端点可微性模量
Endpoint Differentiability Moduli for Fully Nonlinear Elliptic Equations
- King Abdullah University of Science and Technology（阿卜杜拉国王科技大学）
- Oklahoma State University（俄克拉荷马州立大学）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
本文针对完全非线性一致椭圆方程，在齐次受限情形下量化了粘性解在端点指数处的可微性，通过新的尺度选择机制证明了带对数缺陷的Taylor展开，改进了经典次端点C^{1,γ}界。
AI中文摘要：
Caffarelli完全非线性正则性理论[L. A. Caffarelli, Ann. of Math. (2) 130 (1989), no. 1, 189-213]的一个经典推论是：一致椭圆方程$F(D^2u)=f$的粘性解，当$f\in L^p$且$p > n$时，对于每个$\gamma < \min\{\alpha_H,\sigma_p\}$，解在局部上是$C^{1,\gamma}$的。这里$\alpha_H=\alpha_H(n,\lambda,\Lambda)\in(0,1)$表示$F(D^2h)=0$的梯度正则性的普适Hölder指数，而$\sigma_p=1-n/p$是源项的标度指数。在源项受限区域$\sigma_p < \alpha_H$中，$f$的奇异性是决定性障碍，端点$\gamma=\sigma_p$是可达到的。然而，在齐次受限区域$\alpha_H\le\sigma_p$中，经典理论仅得到$\gamma < \alpha_H$，使得极限可微性估计未被量化。这正是本文要解决的端点间隙。当$\alpha_H < \sigma_p$时，我们证明解具有逐点Taylor展开，满足$|u(x)-u(x_0)-Du(x_0)\cdot(x-x_0)|\lesssim |x-x_0|^{1+\alpha_H}\left(1+\log\frac{1}{|x-x_0|}\right)^m$。因此，齐次可微性尺度达到了，仅带有显式的对数缺陷。在临界阈值$\alpha_H=\sigma_p$处，有限的对数幂不再能闭合迭代；然而，较慢的尺度选择产生$|u(x)-u(x_0)-Du(x_0)\cdot(x-x_0)|=O\left(|x-x_0|^{1+\alpha_H}\exp\left(A\sqrt{1+\log\frac{1}{|x-x_0|}}\right)\right)$。这两个估计通过量化极限齐次指数处的可微性，改进了经典的次端点$C^{1,\gamma}$界（$\gamma < \alpha_H$）的整个族。证明引入了一种新的尺度选择机制来处理端点Campanato型递推，这为极限光滑性由齐次理论本身决定的情形提供了一种灵活的工具。我们还讨论了所得对数缺陷的作用及可能的优性。
英文摘要：
A classical consequence of Caffarelli's fully nonlinear regularity theory [L. A. Caffarelli, Ann. of Math. (2) 130 (1989), no. 1, 189-213] is that viscosity solutions of uniformly elliptic equations $F(D^2u)=f$, with $f\in L^p$, $p > n$, are locally $C^{1,γ}$ for every $γ< \min\{α_H,σ_p\}$. Here $α_H=α_H(n,λ,Λ)\in(0,1)$ denotes the universal Hölder exponent for gradient regularity of $F(D^2h)=0$, while $σ_p=1-n/p$ is the scaling exponent of the source term. In the source-limited regime $σ_p < α_H$, the singularity of $f$ is the decisive obstruction and the endpoint $γ=σ_p$ is attainable. In the homogeneous-limited regime $α_H\leσ_p$, however, classical theory only yields $γ< α_H$, leaving the limiting differentiability estimate unquantified. This is the endpoint gap addressed here. When $α_H < σ_p$, we prove that solutions admit pointwise Taylor expansions satisfying $|u(x)-u(x_0)-Du(x_0)\cdot(x-x_0)|\lesssim |x-x_0|^{1+α_H}\left(1+\log\frac{1}{|x-x_0|}\right)^m$. Thus the homogeneous differentiability scale is reached up to an explicit logarithmic defect. At the critical threshold $α_H=σ_p$, finite logarithmic powers no longer close the iteration; nevertheless, a slower selection of scales yields $|u(x)-u(x_0)-Du(x_0)\cdot(x-x_0)|=O\left(|x-x_0|^{1+α_H}\exp\left(A\sqrt{1+\log\frac{1}{|x-x_0|}}\right)\right)$. Both estimates improve the full family of classical sub-endpoint $C^{1,γ}$ bounds, $γ< α_H$, by quantifying differentiability at the limiting homogeneous exponent. The proof introduces a new scale-selection mechanism for endpoint Campanato-type recurrences, suggesting a flexible tool whenever the limiting smoothness is dictated by the homogeneous theory itself. We also discuss the role and possible optimality of the resulting logarithmic defects.
