Analysis of a Cahn--Hilliard system with non-zero Dirichlet conditions modeling tumor growth with chemotaxis

Harald Garcke,Kei Fong Lam
DOI: https://doi.org/10.48550/arXiv.1604.00287
2017-05-03
Abstract:We consider a diffuse interface model for tumor growth consisting of a Cahn--Hilliard equation with source terms coupled to a reaction-diffusion equation, which models a tumor growing in the presence of a nutrient species and surrounded by healthy tissue. The well-posedness of the system equipped with Neumann boundary conditions was found to require regular potentials with quadratic growth. In this work, Dirichlet boundary conditions are considered, and we establish the well-posedness of the system for regular potentials with higher polynomial growth and also for singular potentials. New difficulties are encountered due to the higher polynomial growth, but for regular potentials, we retain the continuous dependence on initial and boundary data for the chemical potential and for the order parameter in strong norms as established in the previous work. Furthermore, we deduce the well-posedness of a variant of the model with quasi-static nutrient by rigorously passing to the limit where the ratio of the nutrient diffusion time-scale to the tumor doubling time-scale is small.
Analysis of PDEs,Tissues and Organs
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the well - posedness of the tumor growth model under non - zero Dirichlet boundary conditions. Specifically, the author studied a diffuse interface model coupled by the Cahn - Hilliard equation and the reaction - diffusion equation, which is used to describe the growth of tumors in the presence of nutrients and surrounded by healthy tissues. Chemotaxis, that is, the phenomenon that tumor cells move towards regions with high nutrient concentrations, is considered in the model. ### Main problems 1. **Well - posedness under non - zero Dirichlet boundary conditions**: - The author explored whether the system is well - posed under non - zero Dirichlet boundary conditions. In particular, they studied the well - posedness of the system under regular potentials and singular potentials. 2. **Growth of potentials**: - The author allowed the potential function \( \Psi \) to have an arbitrary polynomial growth and, in some cases, restricted its growth order to no more than 6 (for regular potentials). 3. **Quasi - static limit**: - The author also studied whether the system can converge to a quasi - static model when the parameter \( \kappa \) approaches 0. A quasi - static model refers to the situation where the diffusion time scale of nutrients is much smaller than the tumor doubling time scale. ### Main contributions - **Well - posedness under regular potentials**: - The author proved the existence, uniqueness, and continuous dependence on initial and boundary data of weak solutions in the case of regular potentials. - **Well - posedness under singular potentials**: - By introducing the Yosida approximation method, the author proved that the system also has the existence, uniqueness, and partial continuous dependence on initial and boundary data of weak solutions in the case of singular potentials. - **Quasi - static limit**: - The author proved that when \( \kappa \) approaches 0, the system can converge to a quasi - static model, and this model is also well - posed. ### Mathematical model The model is described by the following system of equations: \[ \begin{aligned} &\partial_t \phi = \Delta \mu+(\lambda_p \sigma - \lambda_a) h(\phi) & \text{in } \Omega\times(0, T), \\ &\mu = \frac{\gamma}{\varepsilon} \Psi'(\phi)-\gamma \varepsilon \Delta \phi - \chi \sigma & \text{in } \Omega\times(0, T), \\ &\kappa \partial_t \sigma = \text{div}(D(\phi)(\nabla \sigma - \eta \nabla \phi)) - \lambda_c \sigma h(\phi) & \text{in } \Omega\times(0, T), \\ &\sigma = \sigma_\infty, \quad \phi = - 1, \quad \mu = \mu_\infty & \text{on } \Gamma\times(0, T), \\ &\phi(x, 0)=\phi_0(x), \quad \sigma(x, 0)=\sigma_0(x) & \text{in } \Omega. \end{aligned} \] where: - \( \phi \) is an order parameter that distinguishes between tumor tissues and healthy tissues, \( \phi = 1 \) represents the tumor phase, and \( \phi = - 1 \) represents the healthy tissue phase. - \( \