[论文解读] Estimates of solutions to the perturbed Stokes system

Viktor Vyalov, Timofey Shilkin|arXiv (Cornell University)|Feb 28, 2014

Navier-Stokes equation solutions参考文献 5被引用 4

一句话总结

本文通过微分同胚将曲边界平坦化，建立了带滑移边界条件的半球形区域中扰动Stokes方程解的局部 $ L^s_l $ 估计。主要贡献在于在各向异性Sobolev空间中建立先验估计，从而实现对Navier-Stokes方程在曲边界附近弱解部分正则性的研究。

ABSTRACT

In this paper we derive local estimates of solutions of the Perturbed Stokes system. This system arises as a reduction of the Stokes system near a curved part of the boundary of the domain if one applies a diffeomorphism flatting the boundary. The estimates obtained in the paper play the crucial role in the investigation of partial regularity of weak solutions to the Navier-Stokes system near a curved part of the boundary of the domain.

研究动机与目标

• 推导在具有曲边界的半球形区域中扰动Stokes方程解的局部先验估计。
• 为分析Navier-Stokes方程在边界曲部位的弱解部分正则性提供框架。
• 建立在边界平坦化变换下不变的各向异性Lebesgue与Sobolev空间中的估计。
• 通过带有变系数的加权微分算子处理变换后系统中的滑移边界条件。
• 通过Sobolev嵌入与插值技术迭代提升可积性指数，实现解的更高可积性与正则性。

提出的方法

• 通过将具有曲边界的区域中的原始Stokes方程通过微分同胚变换为扰动Stokes方程，实现边界的平坦化。
• 定义变系数微分算子 $\hat{\Delta}_{\varphi}$ 与 $\hat{\nabla}_{\varphi}$，以表示新坐标系下的拉普拉斯算子与梯度。
• 使用各向异性Lebesgue与Sobolev空间 $L_{s,l}$, $W^{2,1}_{s,l}$, 与 $W^{1,0}_{s,l}$ 来衡量解在空间与时间上的可积性。
• 采用截断函数技术对问题进行局部化，以在更小的子区域中推导估计。
• 利用紧致性论证与弱收敛性，从逼近解序列中取极限。
• 通过Sobolev嵌入与插值技术，迭代提升可积性指数序列 $s_k$，以实现更高正则性。

实验结果

研究问题

• RQ1 在具有曲边界的半球形区域中，扰动Stokes方程解的局部正则性估计可如何推导？
• RQ2 变系数微分算子 $\hat{\Delta}_{\varphi}$ 与 $\hat{\nabla}_{\varphi}$ 如何影响解的可积性与光滑性？
• RQ3 能否通过在各向异性空间中迭代应用嵌入定理与插值技术，提升解的正则性？
• RQ4 滑移边界条件在扰动Stokes方程正则性理论中起何作用？
• RQ5 估计结果如何依赖于边界的曲率，该曲率由 $\varphi$ 的 $W^3_\infty$ 范数量化？

主要发现

• 本文在 $W^{2,1}_{s,l}(B^{+}_{1/2} \times (-1/4, -\delta))$ 中建立了扰动Stokes方程解 $(v,p)$ 的局部先验估计，其中 $\delta > 0$。
• 该估计关于 $\delta$ 一致，允许在 $\delta \to 0^+$ 时取极限，从而得到在 $W^{2,1}_{s,l}(B^{+}_{1/2} \times (-1/4, 0))$ 中的完整正则性。
• 解满足如下估计：$\|v\|_{W^{2,1}_{s,l}} + \|\nabla p\|_{L_{s,l}} \leq C(\|f\|_{L_{s,l}} + \|v\|_{W^{1,0}_{s,l}} + \|p\|_{L_{s,l}})$，在更小的抛物柱体内成立。
• 通过在可积性指数序列 $s_k$ 上迭代估计，论文最终在 $m$-可积数据下获得 $W^{2,1}_{m,l}$ 中的估计。
• 最终估计形式为 $\|v\|_{W^{2,1}_{s_N,l}(Q^{+}_{1/2})} + \|\nabla p\|_{L_{s_N,l}(Q^{+}_{1/2})} \leq C^N(\|f\|_{L_{m,l}} + \|v\|_{W^{1,0}_{s_0,l}} + \|p-b\|_{L_{s_0,l}})$，其中 $s_N = m$。
• 结果证实了在边界曲率最小假设（$\varphi \in W^3_\infty$）下，解具有更高可积性与正则性。