[论文解读] Semigroup Solutions for A Multilayered Filtration System

George Avalos, Galen Richard+1 more|Open MIND|Feb 1, 2026

Advanced Mathematical Modeling in Engineering被引用 0

一句话总结

论文为线性Biot–poroplate–Stokes多层过滤系统建立了C0-收缩半群框架，证明了 well-posedness 并通过板动力学设定了非线性扰动。

ABSTRACT

We investigate solutions to a coupled system of partial differential equations that describe a multilayered filtration system. Namely, we study the interaction of a viscous incompressible flow with bulk poroelasticity, via a poroelastic interface. The configuration consists of two 3D toroidal subdomains connected via a plate interface, which permits elastic deformation and perfusive fluid dynamics. The governing dynamics comprise Stokes equations in the bulk fluid region, Biot's equations in the bulk poroelastic region, and the recent poroplate of Mikelić at the interface. Coupling occurs on the top and lower surfaces of the plate, and involves conservation of mass, stress balance, and a certain slip condition for the fluid free-flow. We seek strong (and mild) solutions in the Hilbert space framework via the Lumer-Phillips theorem. The resolvent analysis employs a nonstandard mixed variational formulation which captures the complex, multi-physics coupling at the interface. We explicitly characterize the infinitesimal generator associated to the linear Cauchy problem and establish the generation of a $C_0$-semigroup on a suitably chosen finite-energy space. With the semigroup in hand, we may treat elastic nonlinearities for plate displacements through perturbation theory. These result parallel those for Biot-Stokes filtration systems, and complement the recently established weak solution theory for multilayer filtrations. The agency of the semigroup straightforwardly admits structural (plate) nonlinearity into the dynamics. Future stability and regularity analyses for multilayer filtrations are also made possible by these results, as well as a comparison of spectral and regularity properties between filtration configurations, and the elucidation of the mitigating poroplate dynamics as possibly regularizing and stabilizing.

研究动机与目标

• 将线性Biot–poroplate–Stokes多层过滤在有限能空间内表述为柯西问题。
• 表征动力学发生器及其定义域，以应用Lumer–Phillips定理获得well-posedness。
• 消除Stokes流体压以简化状态空间并澄清能量恒等式。
• 使用混合变分不动点形式开展非标准的解析算子分析，以处理界面耦合。
• 建立扰动理论以纳入板的非线性（如von Kármán型）并促进稳定性/正则性研究。

提出的方法

• 在界面处设有2.5D孔弹性板并采用Beavers–Jones–Saffman滑移条件，定义耦合的Biot–poroplate–Stokes系统。
• 通过Dirichlet/Neumann映射进行流体压力消除，将pf从状态空间中去除。
• 构造混合变分解析-解析系统并应用Babuška–Brezzi引理获得唯一弱解析解。
• 明确刻画无穷小发生器A及其定义域D(A)，以在有限能空间上获得C0收缩半群。
• 通过显式能量恒等式和界面平衡性来证明耗散性。
• 勾勒将von Kármán板非线性纳入半群扰动理论的结果，为谱分析/稳定性分析做准备。

实验结果

研究问题

• RQ1 线性Biot–poroplate–Stokes多层系统是否能够在有限能-状态空间上由C0收缩半群生成？
• RQ2 在保持正确的界面耦合与能量恒等的前提下，如何从状态空间中消除Stokes压力？
• RQ3 非标准混合变分形式是否通过Babuška–Brezzi定理实现动力算子的最大性？
• RQ4 是否能够将板的非线性作为扰动纳入半群框架，以获得强解与弱解？
• RQ5 后续对多层过滤系统的谱分析、稳定性与正则性研究的路线图是什么？

主要发现

• 动力学算子被证明在 suitably chosen 的有限能量空间上生成一个C0收缩半群。
• 使用混合变分形式的非标准解析分析得到唯一的弱解析解，该解位于生成子定义域内。
• 通过边值问题与Dirichlet/Neumann映射将Stokes压力从状态空间中消除，简化能量考量。
• 通过显式能量恒等式确立能量耗散，确认系统稳定特征及界面贡献。
• 该框架允许通过半群扰动理论将von Kármán型板非线性纳入，从而在非线性情形下获得强解/弱解。