[论文解读] Global weak solutions for an incompressible, generalized Newtonian fluid interacting with a linearly elastic Koiter shell

Daniel Lengeler|arXiv (Cornell University)|Dec 14, 2012

Navier-Stokes equation solutions参考文献 17被引用 7

一句话总结

本文建立了不可压缩广义牛顿流体与线弹性 Koiter 弹性壳之间流固耦合问题的全局弱解的存在性，其中流体的粘度通过幂律模型依赖于剪切速率。通过引入一种新型正则化解耦系统，并采用无散抛物 Lipschitz 截断技术，作者克服了任意 $ p > 6/5 $ 情况下应力张量收敛性与紧致性的挑战，证明了只要位移保持在由几何结构决定的范围内，全局弱解即存在。

ABSTRACT

In this paper we analyze the interaction of an incompressible, generalized Newtonian fluid with a linearly elastic Koiter shell whose motion is restricted to transverse displacements. The middle surface of the shell constitutes the mathematical boundary of the three-dimensional fluid domain. We show that weak solutions exist as long as the magnitude of the displacement stays below some (possibly large) bound which is determined by the geometry of the undeformed shell.

研究动机与目标

• 将弱解存在性理论从牛顿流体扩展至具有剪切依赖粘度的广义牛顿流体。
• 解决在移动域中非牛顿流体应力张量识别的挑战。
• 在 $ p \leq 3/2 $ 的情形下建立弱解的相对 $ L^2 $-紧致性，该情形下先前方法失效。
• 构造一个可解的近似解耦系统，使得 Lipschitz 截断技术可应用于非柱形几何结构。
• 在位移大小受几何约束的条件下，证明全局弱解的存在性，且该约束独立于流体非线性参数 $ p > 6/5 $。

提出的方法

• 使用 Koiter 的线弹性壳能量模型，仅考虑横向位移，构建流固耦合系统。
• 将流体的额外应力张量建模为 $ S = \mu_0(\delta + |D|)^{p-2}D $，以捕捉剪切稀释或剪切增稠行为。
• 引入正则化、解耦的近似系统，以避免使用 Kakutani-Glicksberg-Fan 不动点定理。
• 应用无散抛物 Lipschitz 截断技术，处理非牛顿情形下压力与应力的收敛性。
• 采用改进的延拓算子 $ \mathcal{F}_\eta \mathcal{M}_\eta $，将边界数据映射至流体区域，同时保持正则性。
• 利用 Aubin-Lions 引理与正交投影的紧致性论证，确保 $ L^2 $ 与 Sobolev 空间中序列的收敛性。

实验结果

研究问题

• RQ1 当 $ p \leq 3/2 $ 时，是否可为不可压缩广义牛顿流体与线弹性 Koiter 弹性壳的耦合系统建立全局弱解？
• RQ2 在非牛顿流体移动域的弱解极限中，如何严格识别额外应力张量的收敛性？
• RQ3 与 $ p > 3/2 $ 情形相比，在 $ p \leq 3/2 $ 时弱解的紧致性论证需要哪些修改？
• RQ4 是否可能构造一个唯一可解的近似解耦系统，使得 Lipschitz 截断技术可应用于非柱形流体域？
• RQ5 何种几何或力学约束可确保弱解在超过某一特定位移阈值后仍存在？

主要发现

• 只要位移大小保持在由未形变壳体几何结构决定的界限内，流固耦合系统的全局弱解即存在。
• 该存在性结果对所有 $ p > 6/5 $ 成立，包括标准紧致性论证失效的关键情形。
• 通过使用无散抛物 Lipschitz 截断技术，实现了应力张量的收敛性，简化了较早方法的证明过程。
• 即使在 $ p \leq 3/2 $ 情形下，也建立了弱解序列的相对 $ L^2 $-紧致性，克服了主要技术障碍。
• 解耦近似系统的构造使得不动点论证得以应用，并可令正则化参数趋于零时完成极限过程。
• 在适当的正则性假设下，证明了流体-壳耦合算子 $ \mathcal{F}_\eta \mathcal{M}_\eta $ 在多种拓扑中（包括 $ C(\bar{I}, L^2) $ 与 $ H^1(I, L^2) $）的收敛性。