[论文解读] On the limit Sobolev regularity for Dirichlet and Neumann problems on Lipschitz domains

Martin Costabel|arXiv (Cornell University)|Nov 20, 2017

Advanced Mathematical Modeling in Engineering参考文献 15被引用 21

一句话总结

本文构造了一个 ℝⁿ 中的有界 C¹ 域，使得拉普拉斯方程的狄利克雷问题与诺伊曼问题的解即使在光滑数据下也无法达到 H³/²+ε 正则性。作者利用具有受控 Hölder 与 Sobolev 正则性的间隙傅里叶级数定义边界函数，证明解属于 H³/² 但不属于任何更高阶的 Sobolev 空间，从而证明了 Lipschitz 域上已知正则性界的最优性。

ABSTRACT

We construct a bounded $C^{1}$ domain $\Omega$ in $R^{n}$ for which the $H^{3/2}$ regularity for the Dirichlet and Neumann problems for the Laplacian cannot be improved, that is, there exists $f$ in $C^{\infty}(\overline\Omega)$ such that the solution of $\Delta u=f$ in $\Omega$ and either $u=0$ on $\partial\Omega$ or $\partial\_{n} u=0$ on $\partial\Omega$ is contained in $H^{3/2}(\Omega)$ but not in $H^{3/2+\varepsilon}(\Omega)$ for any $\epsilon>0$. An analogous result holds for $L^{p}$ Sobolev spaces with $p\in(1,\infty)$.

研究动机与目标

• 解决一个开放问题：是否每个有界 Lipschitz 域都存在 ε > 0，使得其上的狄利克雷与诺伊曼问题的解属于 H¹/²+ε。
• 构造一个反例域，使得拉普拉斯方程解的正则性无法在光滑数据下超越 H³/²。
• 将反例推广至所有 p ∈ [1, ∞) 的 Lp Sobolev 空间，表明正则性阈值在整个 Sobolev 空间尺度上均为最优。
• 证明已知 C¹ 域上的正则性转移结果是最优的，即使右端项更光滑也无法改进。
• 建立极限正则性 H³/² 对 C¹ 域上狄利克雷与诺伊曼问题均为最优，基于 Sobolev 空间中分离函数的创新构造。

提出的方法

• 在极坐标下构造 ℝ² 中的 C¹ 域 Ω ⊂ ℝ²，其中 r < F(θ)，F(θ) = 1 + ∫₀^θ f(t)dt，f 为间隙傅里叶级数。
• 定义 f(θ) = ∑ₖ≥₁ aₖ sin(bₖθ)，其中频率 bₖ 迅速递增，振幅 aₖ 满足特定衰减与增长条件，以确保在 Sobolev 空间中实现分离。
• 证明：若 a, b ∈ W^ε,p(T) 且 a f = b，则必有 a = b = 0，利用间隙结构与傅里叶系数的衰减条件。
• 利用此分离性质，证明任何在 ∂ω 上法向或切向迹为零的 W^1+1/p+ε,p(ω) 向量场必恒为零。
• 通过设 u = ∇v 构造 ω 上拉普拉斯方程的解，并利用迹为零的矛盾论证，推导出若 v 具有更高正则性则矛盾。
• 通过柱面构造将二维反例推广至高维，修改区域以包含 C¹-光滑的柱面部分，并使用截断函数局部化解，保持正则性。

实验结果

研究问题

• RQ1 是否对任意有界 Lipschitz 域，总存在 ε > 0，使得狄利克雷与诺伊曼问题的解属于 H¹/²+ε？
• RQ2 在光滑数据下，C¹ 域上解的 H³/² 正则性阈值能否被改进？
• RQ3 C¹ 域上 H³/² 正则性极限对 L² 与所有 p ∈ [1, ∞) 的 Lp Sobolev 空间是否均为最优？
• RQ4 是否存在一个单一域与右端项函数，作为所有 p ∈ [1, ∞) 与所有 ε > 0 的反例？
• RQ5 即使右端项为光滑或解析函数，更高正则性失效的现象是否依然存在？

主要发现

• 存在一个有界 C¹ 域 Ω ⊂ ℝ³，使得对 f ∈ C∞(Ω)，Δu = f 在 u = 0 或 ∂ₙu = 0 于 ∂Ω 上的解 u 属于 H³/²(Ω)，但不属于 H³/²+ε(Ω)，对任意 ε > 0。
• 该反例对所有 p ∈ [1, ∞) 成立，表明正则性极限 H¹+1/p, p 即使在 Lp Sobolev 空间中也具有最优性。
• 对狄利克雷问题，ω 上 g = 1 提供反例：解 vD ∈ H¹₀(ω) 不属于 W¹+1/p+ε,p(ω)，对任意 ε > 0 与 p ≥ 1。
• 对诺伊曼问题，C∞(ω) 右端项 g（一个二次多项式）产生解 vN 不属于 W¹+1/p+ε,p(ω)，对任意 ε > 0 与 p ≥ 1。
• 通过构造柱面域并保持边界 C¹ 光滑，该构造可推广至 d ≥ 3 维，保持解的非正则性。
• 通过截断与局部化构造的高维域上的解 v 属于 C⁰,α(Ω) 与 H¹(Ω)，但不属于 W¹+1/p+ε,p(Ω)，对任意 ε > 0 与 p ≥ 1。