Table of Contents
Fetching ...

Attractors for Singular-Degenerate Porous Medium Type Equations Arising in Models for Biofilm Growth

Zehra Şen, Stefanie Sonner

TL;DR

This work studies the long-time dynamics of singular-degenerate porous-medium type equations and their biofilm-inspired coupled systems in bounded domains with Dirichlet boundaries. It develops a two-tier approach: first establishing global attractors via smooth nondegenerate approximations and asymptotic compactness, then constructing exponential attractors under global Hölder continuity and a sign condition near degeneracy, which yields finite fractal dimension for the global attractor. The results cover scalar equations and extend to coupled reaction-diffusion systems, providing a rigorous framework for finite-dimensional long-time behavior in models with sharp interfaces and diffusion degeneracies. This offers theoretical grounding for biofilm-growth models and related processes, with potential implications for understanding pattern formation and interface propagation in bounded domains.

Abstract

We investigate the long-time behaviour of solutions of a class of singular-degenerate porous medium type equations in bounded domains with homogeneous Dirichlet boundary conditions. The existence of global attractors is shown under very general assumptions. Assuming, in addition, that solutions are globally Hölder continuous and the reaction terms satisfy a suitable sign condition in the vicinity of the degeneracy, we also prove the existence of an exponential attractor, which, in turn, yields the finite fractal dimension of the global attractor. Moreover, we extend the results for scalar equations to systems where the degenerate equation is coupled to a semilinear reaction-diffusion equation. The study of such systems is motivated by models for biofilm growth.

Attractors for Singular-Degenerate Porous Medium Type Equations Arising in Models for Biofilm Growth

TL;DR

This work studies the long-time dynamics of singular-degenerate porous-medium type equations and their biofilm-inspired coupled systems in bounded domains with Dirichlet boundaries. It develops a two-tier approach: first establishing global attractors via smooth nondegenerate approximations and asymptotic compactness, then constructing exponential attractors under global Hölder continuity and a sign condition near degeneracy, which yields finite fractal dimension for the global attractor. The results cover scalar equations and extend to coupled reaction-diffusion systems, providing a rigorous framework for finite-dimensional long-time behavior in models with sharp interfaces and diffusion degeneracies. This offers theoretical grounding for biofilm-growth models and related processes, with potential implications for understanding pattern formation and interface propagation in bounded domains.

Abstract

We investigate the long-time behaviour of solutions of a class of singular-degenerate porous medium type equations in bounded domains with homogeneous Dirichlet boundary conditions. The existence of global attractors is shown under very general assumptions. Assuming, in addition, that solutions are globally Hölder continuous and the reaction terms satisfy a suitable sign condition in the vicinity of the degeneracy, we also prove the existence of an exponential attractor, which, in turn, yields the finite fractal dimension of the global attractor. Moreover, we extend the results for scalar equations to systems where the degenerate equation is coupled to a semilinear reaction-diffusion equation. The study of such systems is motivated by models for biofilm growth.

Paper Structure

This paper contains 9 sections, 16 theorems, 58 equations.

Key Result

Theorem 2.1

Under the assumptions eq:P1-eq:P2 and eq:F1-eq:IC, problem eq:SP has a unique weak solution $u:\Omega_{T}\to I$ that satisfies the energy estimate where $C\geq 0$ is some constant. The solution depends continuously on initial data. More specifically, if $u$ and $\Tilde{u}$ are two solutions of eq:SP corresponding to the functions $f$, $\Tilde{f}$ satisfying eq:F1 and initial data $u_{0}$, $\Tilde

Theorems & Definitions (31)

  • Remark 2.1
  • Remark 2.2
  • Remark 2.3
  • Definition 2.1
  • Remark 2.4
  • Theorem 2.1
  • Remark 2.5
  • Theorem 2.2
  • Remark 2.6
  • Definition 2.2
  • ...and 21 more