Error analysis of a fully discrete structure-preserving finite element scheme for a diffuse-interface model of tumour growth
Agus L. Soenjaya, Ping Lin, Thanh Tran
TL;DR
This work addresses accurate and stable numerical simulation of a diffuse-interface tumor growth model described by a Cahn–Hilliard–type equation coupled to nutrient dynamics. It develops a fully discrete, linear, structure-preserving scheme using a scalar auxiliary variable (SAV) formulation together with a mixed finite element discretization for the Cahn–Hilliard part and standard FE for the reaction-diffusion component, with backward Euler time stepping. The main contributions are unconditional energy stability, mass conservation, and rigorous error analysis yielding first-order temporal and optimal spatial convergence, along with $L^\infty$ bounds for the numerical solution. Numerical experiments in three dimensions validate the theory and demonstrate robustness in capturing aggregation and chemotactic tumour growth, underscoring the method’s potential for reliable, physics-informed simulations of complex tumour phenomena.
Abstract
We develop a linear fully discrete structure-preserving finite element method for a diffuse-interface model of tumour growth. The system couples a Cahn--Hilliard type equation with a nonlinear reaction-diffusion equation for nutrient concentration and admits a dissipative energy law at the continuous level. For the discretisation, we employ a scalar auxiliary variable (SAV) formulation together with a mixed finite element method for the Cahn--Hilliard part and standard conforming finite elements for the reaction-diffusion equation in space, combined with a first-order Euler time-stepping scheme. The resulting method is unconditionally energy-stable, mass-preserving, and inherits a discrete energy dissipation law associated with the SAV-based approximate energy functional, while requiring the solution of only linear systems at each time step. Under suitable regularity assumptions on the exact solution, we derive rigorous error estimates in $L^2$, $H^1$, and $L^\infty$ norms, establishing first-order accuracy in time and optimal-order accuracy in space. A key step in this analysis is the proof of boundedness of the numerical solutions in $L^\infty$. Numerical experiments validate the theoretical convergence rates and demonstrate the robustness of the method in capturing characteristic phenomena such as aggregation and chemotactic tumour growth.
