[论文解读] Grisvard's shift theorem near L^infinity and Yudovich theory on polygonal domains

Francesco Di Plinio, Roger Témam|arXiv (Cornell University)|Oct 21, 2013

Advanced Harmonic Analysis Research参考文献 15被引用 5

一句话总结

该论文为 $ \mathbb{R}^2 $ 中多边形区域上狄利克雷问题的解算子建立了精确的 $ L^p $ 和端点估计，将格里萨尔德的平移定理推广至角点奇异性区域，其顶角满足 $ \alpha_j \leq \pi/2 $。证明了当 $ 2 \leq p < \infty $ 时，有 $ \|G_\Omega f\|_{W^{2,p}\left(\Omega\right)} \leq Cp\|f\|_{L^p\left(\Omega\right)} $，且在 $ L^\infty $ 数据下有 $ \|D^2 G_\Omega f\|_{\mathrm{Exp}L^1\left(\Omega\right)} \leq C\|f\|_{L^\infty\left(\Omega\right)} $，从而实现了对二维欧拉方程中尤多维奇理论在该类区域上的推广。

ABSTRACT

Let Omega be a bounded, simply connected domain with boundary of class C^{1,1} except at finitely many points S_j where the boundary is locally a corner of aperture alpha_j&lt;=pi/2. Improving on results of Grisvard, we show that the solution Gf to the Dirichlet problem on Omega with data f in L^infinity(Omega) and homogeneous boundary conditions has exponentially integrable second derivatives. The proof uses sharp L^p bounds for singular integrals on power weighted spaces inspired by the work of Buckley. Our results allow for the extension of the Yudovich theory of existence, uniqueness and regularity of weak solutions to the Euler equations on Omega x (0,T) to polygonal domains Omega as above.

研究动机与目标

• 将格里萨尔德的平移定理推广至边界在有限个顶角处除外为 $ \mathcal{C}^{1,1} $ 的多边形区域，且顶角满足 $ \alpha_j \leq \pi/2 $。
• 在存在角点奇异性的情况下，建立格林算子二阶导数的 $ L^p $-有界性，并保持在 $ p $ 上线性增长。
• 在 $ L^\infty $ 数据下，于 Orlicz 空间 $ \mathrm{Exp}L^1 $ 中导出一个替代端点估计，以替代 Calderón-Zygmund 算子在 $ L^\infty $ 中有界性的失效。
• 将这些估计应用于将尤多维奇关于二维欧拉方程的存在性、唯一性和正则性理论推广至多边形区域。
• 发展用于处理非光滑边界上奇异积分的幂权空间上的精确加权 $ L^p $ 估计，灵感来源于巴克利的工作。

提出的方法

• 利用幂权 $ L^p $ 空间上奇异积分的精确 $ L^p $ 估计，借助 $ A_p $-Muckenhoupt 权理论。
• 在加权 $ L^p $ 空间中应用 Calderón-Zygmund 分解和极大函数估计，以控制格林算子二阶导数的有界性。
• 将 Rubio de Francia 的外推法和加权范数不等式适应于处理角点附近的奇异行为。
• 利用 John-Nirenberg 不等式和 $ \mathrm{Exp}L^1 $-型估计，通过具有线性 $ p $-依赖性的 $ L^p $ 估计，经外推导出端点 $ L^\infty $ 估计。
• 通过 dyadic 分解和在环形区域 $ B_j $ 上的测试，证明格林函数二阶导数的加权 $ L^p $ 估计，使用 $ A_p $ 特征 $[w]_{A_p}$。
• 建立奇异积分算子在幂权 $ w(x) = |x|^{2\delta(p-1)} $ 上的 $ L^p $ 算子范数关键估计 $ \|T\|_{L^p(w)} \lesssim p $，其中 $ \delta \in (0,1) $。

实验结果

研究问题

• RQ1 格里萨尔德的平移定理能否推广至边界仅在有限个点处为 $ \mathcal{C}^{1,1} $ 且顶角满足 $ \alpha_j \leq \pi/2 $ 的多边形区域？
• RQ2 在核不是 Calderón-Zygmund 核的情况下，此类区域上格林算子二阶导数的 $ L^p $-有界性是否仍保持在 $ p $ 上线性增长？
• RQ3 当角点奇异性导致 $ L^\infty $-有界性失效时，是否存在 $ \mathrm{Exp}L^1 $ 中关于 $ L^\infty $ 数据的替代端点估计？
• RQ4 在缺乏 $ C^{1,1} $ 正则性的情况下，尤多维奇关于二维欧拉方程的理论能否推广至多边形区域？
• RQ5 在幂权上，何种奇异积分的加权 $ L^p $ 估计足以控制非光滑边界上格林函数二阶导数的有界性？

主要发现

• 解算子 $ G_\Omega $ 满足对所有 $ 2 \leq p < \infty $，有 $ \|G_\Omega f\|_{W^{2,p}(\Omega)} \leq Cp\|f\|_{L^p(\Omega)} $，其中 $ C $ 与 $ p $ 无关，适用于顶角 $ \alpha_j \leq \pi/2 $ 的多边形区域。
• 端点估计 $ \|D^2 G_\Omega f\|_{\mathrm{Exp}L^1(\Omega)} \leq C\|f\|_{L^\infty(\Omega)} $ 成立，为二阶导数在 $ L^\infty $ 中有界性的失效提供了替代方案。
• $ L^p $ 算子范数中格林函数二阶导数的线性增长与从 $ L^p $ 估计 $ \|T\|_{L^p} \lesssim p $ 的外推一致。
• 证明依赖于在幂权 $ w(x) = |x|^{2\delta(p-1)} $ 上奇异积分的精确加权 $ L^p $ 估计，其中 $ A_p $ 特征 $[w]_{A_p} \sim (1-\delta)^{-1} $，从而实现对算子范数的控制。
• $ L^p $-有界性结果被推广至 $ p \in (1,\infty) \setminus \{p_{\alpha_j} = \frac{2\alpha_j}{2\alpha_j - \pi} \mid \alpha_j > \pi/2\} $，当 $ \alpha_j > \pi/2 $ 时存在范围间隙，但主要结果在 $ p \geq 2 $ 时成立。
• 尤多维奇关于二维欧拉方程的理论被推广至满足 $ \alpha_j \leq \pi/2 $ 的多边形区域，确保在 $ \Omega \times (0,T) $ 上弱解的存在性、唯一性和正则性。