Existence and regularity of solutions to parabolic-elliptic nonlinear systems
Pith reviewed 2026-05-10 08:12 UTC · model grok-4.3
The pith
Existence of solutions to the parabolic-elliptic system is established for L1 data, with u gaining summability in L^s and L^q W^{1,q} despite the coupling term being only L2.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For the system consisting of a parabolic equation for u driven by a divergence term involving u times the gradient of ψ, coupled to an elliptic equation for ψ with source |u|^θ, solutions exist in the indicated spaces for any f in L1(Ω_T) and any T>0. The proof proceeds by establishing a priori estimates using the structure and then applying the Aronson-Serrin and Boccardo-Dall'Aglio-Gallouët-Orsina L^p regularity theorems to obtain the improved summability, even though the drift term belongs only to L2.
What carries the argument
The coupling through the elliptic equation -div(M ∇ψ) = |u|^θ, which allows expressing the effect on u via the term div(u M ∇ψ), combined with the application of parabolic regularity theory.
If this is right
- The solution u satisfies an L^p regularity theorem as if the right-hand side were better behaved.
- Existence holds without additional assumptions on the time regularity of the data.
- The bounds on s and q can be made explicit in terms of N, θ, and the ellipticity ratio.
- Similar techniques may apply to related systems with different nonlinearities.
Where Pith is reading between the lines
- If the exponent θ were larger, the coupling might destroy the regularity gain, suggesting a critical threshold at 2/N.
- This result could be used to study long-time behavior or asymptotic limits as T to infinity.
- Extending to non-zero initial data would broaden the applicability to initial-boundary value problems.
Load-bearing premise
The matrix coefficients A and M are bounded, measurable, and uniformly elliptic.
What would settle it
Constructing an explicit example with f in L1 where no solution exists in the claimed spaces, or where the solution fails to have the predicted integrability.
read the original abstract
In this paper we study the existence and summability of the solutions to the following parabolic-elliptic system of partial differential equations with discontinuous coefficients: \begin{equation*} \begin{cases} u_t - \operatorname{div}(A(x, t) \nabla u) = -\operatorname{div}(u M(x) \nabla \psi) + f(x, t) & \text{in } \Omega_T, \\ -\operatorname{div}(M(x) \nabla \psi) = |u|^\theta & \text{in } \Omega_T, \\ \psi(x, t) = 0 & \text{on } \partial \Omega \times (0, T), \\ u(x, t) = 0 & \text{on } \partial \Omega \times (0, T), \\ u(x, 0) = 0 & \text{in } \Omega. \end{cases} \end{equation*} Here, $\Omega$ is an open and bounded subset of $\mathbb R^N$, $N>2$, $\theta\in(0,\frac{2}{N})$, $0<T<+\infty$ and $\Omega_T=\Omega\times(0,T)$. We prove existence results for data $f\in L^1(\Omega_T)$ and a corresponding increase in summability that obeys the $L^p$-regularity theorems for parabolic equations proved by Aronson-Serrin and by Boccardo-Dall'Aglio-Gallou\"et-Orsina. In particular, despite the term $u M(x)\nabla\psi$ not being regular enough (since it only belongs to $L^2(\Omega_T)$), the solution $u$ belongs to $L^s(\Omega_T)\cap L^q(0,T;W^{1, q}_0(\Omega))$ for suitable $s>1$ and $q>1$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes existence of solutions to the parabolic-elliptic system with f ∈ L¹(Ω_T) and θ ∈ (0, 2/N). It claims that u gains summability, belonging to L^s(Ω_T) ∩ L^q(0,T; W^{1,q}_0(Ω)) for suitable s > 1 and q > 1, by direct appeal to the L^p-regularity theorems of Aronson-Serrin and Boccardo-Dall'Aglio-Gallouët-Orsina, even though the coupling term u M(x) ∇ψ lies only in L²(Ω_T).
Significance. If the technical justification holds, the result shows that standard parabolic regularity theorems extend to this coupled setting with an additional controlled divergence term arising from the elliptic equation. The significance is moderate: the work applies existing theorems rather than deriving new estimates or providing parameter-free or machine-checked arguments, but it could be useful for models with parabolic-elliptic couplings under low-integrability data.
major comments (2)
- Abstract: The central claim requires that the effective right-hand side f − div(u M ∇ψ) satisfies the precise hypotheses of the Aronson-Serrin and Boccardo-Dall'Aglio-Gallouët-Orsina theorems. Because the divergence term is controlled only in L²(Ω_T) via the bootstrap from the elliptic equation, the manuscript must detail the approximation or duality argument that absorbs this term while preserving the exact exponents s and q; without this, the invocation is not justified.
- System statement and hypotheses: The uniform ellipticity, boundedness, and measurability conditions on A(x,t) and M(x) are implicit but not stated explicitly as standing assumptions. These are load-bearing for invoking the cited regularity theorems and must appear in the hypotheses preceding the main existence result.
minor comments (2)
- Abstract: Define Ω_T = Ω × (0,T) at first use and ensure the boundary/initial conditions are listed with the same precision as the equations.
- References: Provide precise theorem or page citations for the Aronson-Serrin and Boccardo-Dall'Aglio-Gallouët-Orsina results so readers can verify the exact integrability hypotheses being applied.
Simulated Author's Rebuttal
We thank the referee for the detailed and constructive report. We address each major comment below and will revise the manuscript to strengthen the presentation.
read point-by-point responses
-
Referee: Abstract: The central claim requires that the effective right-hand side f − div(u M ∇ψ) satisfies the precise hypotheses of the Aronson-Serrin and Boccardo-Dall'Aglio-Gallouët-Orsina theorems. Because the divergence term is controlled only in L²(Ω_T) via the bootstrap from the elliptic equation, the manuscript must detail the approximation or duality argument that absorbs this term while preserving the exact exponents s and q; without this, the invocation is not justified.
Authors: We agree that a more explicit justification is required for the application of the cited regularity theorems. In the revised version we will insert a dedicated paragraph in the proof of the main existence result (Section 3) that outlines an approximation procedure: we mollify the data f and the coupling term, obtain uniform estimates from the elliptic equation that keep the divergence term in L², pass to the limit using the weak formulation, and verify that the limiting right-hand side satisfies the integrability conditions of Aronson-Serrin and Boccardo-Dall'Aglio-Gallouët-Orsina while preserving the target exponents s and q. This argument relies on the fact that the divergence term, although only L², can be absorbed as a controlled perturbation in the duality pairing. revision: yes
-
Referee: System statement and hypotheses: The uniform ellipticity, boundedness, and measurability conditions on A(x,t) and M(x) are implicit but not stated explicitly as standing assumptions. These are load-bearing for invoking the cited regularity theorems and must appear in the hypotheses preceding the main existence result.
Authors: We accept this observation. The revised manuscript will contain an explicit subsection (new Section 2.1) immediately before the statement of the main theorem that lists the standing assumptions: A(x,t) is measurable in Ω_T, bounded, and uniformly elliptic with constants λ,Λ>0 independent of (x,t); M(x) is measurable in Ω, bounded, and uniformly elliptic with constants μ,Μ>0 independent of x. These hypotheses will be referenced in the invocation of the regularity theorems. revision: yes
Circularity Check
No circularity: existence and summability derived from external parabolic regularity theorems applied to the coupled system
full rationale
The paper establishes existence of solutions to the parabolic-elliptic system for f in L1(Ω_T) and then invokes the Aronson-Serrin and Boccardo-Dall'Aglio-Gallouët-Orsina L^p regularity theorems to obtain the claimed increase in summability for u. These theorems are external, previously published results by other authors with no author overlap. The derivation does not define any quantity in terms of itself, rename a fitted input as a prediction, or rely on a load-bearing self-citation chain. The central claims remain independent of the paper's own constructions and rest on the applicability of the cited external results to the effective right-hand side, which is a question of correctness rather than circularity.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption A(x,t) and M(x) are measurable, bounded, and uniformly elliptic (standard structural assumptions for parabolic and elliptic equations with discontinuous coefficients)
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.