[Paper Review] Solutions of the 4-species quadratic reaction-diffusion system are bounded and $C^\infty$, in any space dimension

Cristina Caputo, Thierry Goudon+1 more|arXiv (Cornell University)|Sep 17, 2017

Mathematical Biology Tumor Growth10 references3 citations

TL;DR

This paper establishes global boundedness and $C^∞$-smoothness of solutions to a 4-species quadratic reaction-diffusion system in any space dimension $N>2$, using De Giorgi's iteration and duality arguments to control mass and entropy. The key result extends prior 2D regularity results to higher dimensions by leveraging entropy dissipation and $L^{(N+1)/N}$ estimates via parabolic regularization.

ABSTRACT

We establish the boundedness of solutions of reaction-diffusion systems with quadratic (in fact slightly super-quadratic) reaction terms that satisfy a natural entropy dissipation property, in any space dimension N>2. This bound imply the smoothness of the solutions. This result extends the theory which was restricted to the two-dimensional case. The proof heavily uses De Giorgi's iteration scheme, which allows us to obtain local estimates. The arguments rely on duality reasonings in order to obtain new estimates on the total mass of the system, both in $L^{(N+1)/N}$ norm and in a suitable weak norm. The latter uses $C^α$ regularization properties for parabolic equations.

Motivation & Objective

• To establish global boundedness and smoothness of solutions to a 4-species quadratic reaction-diffusion system in arbitrary space dimension $N>2$.
• To extend previous results limited to two dimensions to higher-dimensional settings.
• To address the challenge of non-uniform diffusion coefficients that prevent direct maximum principle application.
• To prove that entropy dissipation and mass conservation suffice to control blow-up and ensure global regularity.

Proposed method

• Employing De Giorgi's iteration scheme to derive local $L^\infty$ estimates on the total mass $M(t,x) = \sum_{i=1}^4 a_i(t,x)$.
• Using duality arguments to estimate the total mass in $L^{(N+1)/N}(\mathbb{R}^N)$ and in a weak $L^1$-type norm.
• Introducing a mollified diffusion coefficient $d_\mu(t,x)$ to handle singularities when $M(t,x)$ vanishes.
• Applying the maximum principle and Hahn-Banach theorem to bound the $L^1$-norm of solutions to adjoint equations.
• Leveraging $C^\alpha$ regularization properties of parabolic equations to control the $L^1$-norm of $\Delta\zeta$ in duality estimates.
• Combining entropy dissipation $\sum Q_i(a)\ln a_i \leq 0$ with $L^1$ and $L^{(N+1)/N}$ estimates to close the boundedness argument.

Experimental results

Research questions

• RQ1 Can solutions to the 4-species quadratic reaction-diffusion system remain globally bounded in space dimensions $N>2$ despite non-uniform diffusion coefficients?
• RQ2 Does the entropy dissipation property $\sum Q_i(a)\ln a_i \leq 0$ suffice to prevent blow-up in higher dimensions?
• RQ3 Can De Giorgi's iteration scheme be adapted to yield $L^\infty$ bounds on the total mass in $N>2$?
• RQ4 Is the $C^\infty$-regularity of solutions preserved globally in higher dimensions under the same physical constraints?
• RQ5 Can duality techniques effectively control the $L^{(N+1)/N}$-norm of the total mass to ensure boundedness?

Key findings

• Solutions to the 4-species quadratic reaction-diffusion system are globally bounded in any space dimension $N>2$, with the bound depending only on the initial total mass and the space dimension.
• The boundedness of the total mass $M(t,x)$ implies that solutions are $C^\infty$-smooth for all time $t>0$, extending regularity results beyond the 2D case.
• The estimate $\|M(t,\cdot)\|_{L^\infty(\mathbb{R}^N)} \leq K_N \|M(0,\cdot)\|_{L^\infty}^{1-2/N} \|M(0,\cdot)\|_{L^1}^{2/N}$ holds for $N \geq 3$, with $K_N>0$ depending only on $N$.
• The proof relies on duality and De Giorgi iteration to control the $L^{(N+1)/N}$-norm of $M$ and to derive weak $L^1$-type estimates via $C^\alpha$ regularization.
• The use of a mollified diffusion coefficient $d_\mu$ ensures regularity in the duality arguments even when $M(t,x)$ vanishes.
• The entropy dissipation condition $\sum Q_i(a)\ln a_i \leq 0$ is essential in controlling nonlinear derivatives and enabling the $L^\infty$ bound.