[论文解读] Unsteady 3D-Navier-Stokes System with Tresca's Friction Law

Mahdi Boukrouche, Imane Boussetouan+1 more|arXiv (Cornell University)|Dec 21, 2015

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

一句话总结

本文通过正则化-惩罚方法与紧致性论证，证明了在边界部分采用Tresca摩擦定律且黏度与温度相关的非定常3D不可压缩Navier-Stokes方程存在弱解。该方法处理了非恒定黏度与混合边界条件，包括侧边界上的时变速度和下边界上的摩擦滑移，证明了解在适当的函数空间框架下收敛。

ABSTRACT

Motivated by extrusion problems, we consider a non-stationary incompress-ible 3D fluid flow with a non-constant (temperature dependent) viscosity, subjected to mixed boundary conditions with a given time dependent velocity on a part of the boundary and Tresca's friction law on the other part. We construct a sequence of approximate solutions by using a regularization of the free boundary condition due to friction combined with a particular penalty method, reminiscent of the " incompressibility limit " of compressible fluids, allowing to get better insights into the links between the fluid velocity and pressure fields. Then we pass to the limit with compactness arguments to obtain a solution to our original problem.

研究动机与目标

• 建立非定常3D不可压缩Navier-Stokes系统在边界部分采用Tresca摩擦定律的弱解存在性。
• 将温度依赖黏度引入Navier-Stokes框架，以模拟挤出过程中真实流体行为。
• 处理混合边界条件：上边界无滑移，侧边界时变速度，下运动边界摩擦滑移。
• 提出一种正则化-惩罚方法，保持不可压缩性，并允许基于紧致性的收敛性分析。
• 将分析推广至一般3D几何结构，无需假设薄层近似。

提出的方法

• 通过依赖于小参数ε的一族光滑函数，对Tresca摩擦定律进行正则化，替代非可微的摩擦条件。
• 采用惩罚方法，类似于可压缩流体中的不可压缩极限，以弱形式强制满足不可压缩约束。
• 将问题重新表述为变分不等式框架，测试函数取自在上边界上消失的散度自由向量场空间。
• 通过Galerkin逼近与时间半离散化构造近似解序列(ṽε, pε)，并在适当函数空间中获得一致有界性。
• 对(ṽε, pε)的子序列应用紧致性论证，利用L∞(0,τ;L²(Ω))、L²(0,τ;H¹(Ω))与H⁻¹(0,τ;L²₀(Ω))中的收敛性，提取弱*与弱极限。
• 通过一个关键引理，证明正则化摩擦项的收敛性：当wε在L²中强收敛于w时，有Ψε(wε) → Ψ(w)。

实验结果

研究问题

• RQ1 非定常3D Navier-Stokes系统在Tresca摩擦定律与温度依赖黏度下，弱解是否存在？
• RQ2 如何在保持问题物理解释与数学结构的前提下，对非可微摩擦条件进行正则化？
• RQ3 惩罚方法在近似不可压缩约束及在极限过程中实现紧致性方面起到何种作用？
• RQ4 能否在不假设薄层几何或小域厚度的前提下获得解？
• RQ5 正则化与惩罚系统解的收敛性特征如何确保原问题解的存在性？

主要发现

• 在一般3D区域上，非定常3D Navier-Stokes系统在Tresca摩擦定律与温度依赖黏度下存在弱解(v, p)。
• 速度场v属于L∞(0,τ;L²(Ω)) ∩ L²(0,τ;H¹(Ω))，其时间导数属于L⁴/³(0,τ; (V₀div)′)。
• 压力p属于H⁻¹(0,τ;L²₀(Ω))，且解满足问题的变分不等式形式。
• 通过一个引理严格证明了正则化摩擦项的收敛性：当速度迹在边界上强收敛于L²时，有Ψε(wε) → Ψ(w)。
• 解满足边界条件：在Γ₁ × (0,τ)上v = 0，在ΓL × (0,τ)上v = gζ，在Γ₀ × (0,τ)上满足Tresca摩擦定律。
• 该方法避免了对域厚度的限制性假设，允许处理一般3D几何结构，而非仅限于薄层近似。