Analysis and structure-preserving approximation of a Cahn-Hilliard-Forchheimer system with solution-dependent mass and volume source

We analyze a coupled Cahn-Hilliard-Forchheimer system featuring concentration-dependent mobility, mass source and convective transport. The velocity field is governed by a generalized quasi-incompressible Forchheimer equation with solution-dependent volume source. We impose Dirichlet boundary conditions for the pressure to accommodate the source term. Our contributions include a novel well-posedness result for the generalized Forchheimer subsystem via the Browder-Minty theorem, and existence of weak solutions for the full coupled system established through energy estimates at the Galerkin level combined with compactness techniques such as Aubin-Lions' lemma and Minty's trick. Furthermore, we develop a structure-preserving discretization using Raviart-Thomas elements for the velocity that maintains exact mass balance and discrete energy-dissipation balance, with well-posedness demonstrated through relative energy estimates and inf-sup stability. Lastly, we validate our model through numerical experiments, demonstrating optimal convergence rates, structure preservation, and the role of the Forchheimer nonlinearity in governing phase-field evolution dynamics.