2212.05623
GLOBAL EXISTENCE FOR COUPLED REACTION DIFFUSION EQUATIONS WITH A BALANCE LAW AND NONLINEARITIES WITH NON CONSTANT SIGN.
Said Kouachi
correcthigh confidence
- Category
- Not specified
- Journal tier
- Specialist/Solid
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper proves uniform-in-time bounds for the Lyapunov functional by first smoothing the piecewise-constant weights near the sign-change set of c and carefully controlling the extra interface terms that arise upon integrating by parts; see the setup of the functional (13)–(18) and Theorem 1 with its truncation argument (19a)–(27) and the handling of Jn ≤ 0 and the Xn/Grönwall step, which together yield the claimed bounds . By contrast, the candidate solution integrates by parts on Ω− and Ω+ and discards the internal-boundary terms on the zero set of c on the grounds that it has measure zero; this is not valid (notably in 1D the internal boundary contribution is a point evaluation, not an integral that vanishes by measure-zero arguments). The paper’s smoothing step is precisely what is needed to control these terms. The candidate also asserts L′(t) ≤ 0 for the unsmoothed functional, which the paper neither proves nor requires. The PDE, hypotheses, and Lyapunov structure are exactly as in (1)–(4), (13)–(18) of the paper .
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions \textbf{Journal Tier:} specialist/solid \textbf{Justification:} The manuscript applies a robust Lyapunov approach to reaction–diffusion systems with a balance law and sign-changing coupling. The smoothing-and-cutoff device around the finite zero set of c overcomes the main technical obstacle of internal-boundary terms, and the quadratic-form estimate controlled by K produces uniform Lp bounds and global existence. A bit more detail on extending the 1D illustrative argument to higher dimensions and on constants comparing L(t) with ∫(u+v)\^p would improve readability.