Table of Contents
Fetching ...

Local Well-Posedness of the Cahn-Hilliard-Biot System

Helmut Abels, Jonas Haselböck

TL;DR

The paper addresses local well-posedness of a diffuse-interface Cahn–Hilliard–Biot model describing two-phase flow through a deformable porous medium, incorporating both elastic and Kelvin–Voigt visco-elastic solid responses. The authors reformulate the coupled system into a fixed-point problem by eliminating auxiliary variables and proving maximal $L^p$-regularity for the linearized operators; the analysis hinges on analytic semigroup theory and Banach scales to handle the sum of high-order diffusion-like operators. They prove two main theorems: a local-in-time existence and uniqueness result for the purely elastic case, and a local-in-time result for the visco-elastic case under minimal spatial regularity assumptions, with a detailed contraction argument supported by Lipschitz bounds on nonlinear terms. The results provide a rigorous mathematical foundation for CH–Biot models with potential applications to tumor growth and porous-media flows, and open paths toward studying global behavior via advanced inequalities and energy methods.

Abstract

We show short-time well-posedness of a diffuse interface model describing the flow of a fluid through a deformable porous medium consisting of two phases. The system non-linearly couples Biot's equations for poroelasticity, including phase-field dependent material properties, with the Cahn-Hilliard equation to model the evolution of the solid, where we further distinguish between the absence and presence of a visco-elastic term of Kelvin-Voigt type. While both problems will be reduced to a fixed-point equation that can be solved using maximal regularity theory along with a contraction argument, the first case relies on a semigroup approach over suitable Hilbert spaces, whereas treating the second case under minimal assumptions with respect to spatial regularity necessitates the application of Banach scales.

Local Well-Posedness of the Cahn-Hilliard-Biot System

TL;DR

The paper addresses local well-posedness of a diffuse-interface Cahn–Hilliard–Biot model describing two-phase flow through a deformable porous medium, incorporating both elastic and Kelvin–Voigt visco-elastic solid responses. The authors reformulate the coupled system into a fixed-point problem by eliminating auxiliary variables and proving maximal -regularity for the linearized operators; the analysis hinges on analytic semigroup theory and Banach scales to handle the sum of high-order diffusion-like operators. They prove two main theorems: a local-in-time existence and uniqueness result for the purely elastic case, and a local-in-time result for the visco-elastic case under minimal spatial regularity assumptions, with a detailed contraction argument supported by Lipschitz bounds on nonlinear terms. The results provide a rigorous mathematical foundation for CH–Biot models with potential applications to tumor growth and porous-media flows, and open paths toward studying global behavior via advanced inequalities and energy methods.

Abstract

We show short-time well-posedness of a diffuse interface model describing the flow of a fluid through a deformable porous medium consisting of two phases. The system non-linearly couples Biot's equations for poroelasticity, including phase-field dependent material properties, with the Cahn-Hilliard equation to model the evolution of the solid, where we further distinguish between the absence and presence of a visco-elastic term of Kelvin-Voigt type. While both problems will be reduced to a fixed-point equation that can be solved using maximal regularity theory along with a contraction argument, the first case relies on a semigroup approach over suitable Hilbert spaces, whereas treating the second case under minimal assumptions with respect to spatial regularity necessitates the application of Banach scales.

Paper Structure

This paper contains 7 sections, 8 theorems, 48 equations.

Key Result

Theorem 1.1

Suppose $\varrho =0$ and let $s = 4r$ with $r> 4$ if $n = 3$ and $r > \frac{12}{5}$ if $n \leq 2$. Under the assumptions II.A:domain-II.A:source_terms, and for initital conditions there exists a (possibly small) $T > 0$ such that the system eq:strong_formulation has a unique solution

Theorems & Definitions (15)

  • Theorem 1.1: Elastic case
  • Theorem 1.2: Visco-elastic case
  • Remark 1.3
  • Theorem 2.1: Composition with Sobolev functions
  • proof
  • Lemma 2.2
  • Definition 2.3
  • Remark 2.4
  • Definition 2.5: Operator semigroup, PrussSimonett2016, pazy2012semigroups
  • Theorem 2.6: amann1995linear
  • ...and 5 more