Degenerate parabolic equations in divergence form: fundamental solution and Gaussian bounds

Khalid Baadi

arxiv: 2503.07569 · v3 · submitted 2025-03-10 · 🧮 math.AP · math.CA· math.FA

Degenerate parabolic equations in divergence form: fundamental solution and Gaussian bounds

Khalid Baadi This is my paper

Pith reviewed 2026-05-23 00:14 UTC · model grok-4.3

classification 🧮 math.AP math.CAmath.FA

keywords degenerate parabolic equationsfundamental solutionGaussian boundsMoser estimatesA2-weightdivergence formweak solutionsparabolic PDE

0 comments

The pith

Having a generalized fundamental solution with upper Gaussian bounds is equivalent to Moser's L²-Lⁿ estimates for local weak solutions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper considers second order degenerate parabolic equations in divergence form with complex measurable time-dependent coefficients where the degeneracy is controlled by a spatial A₂-weight. It proves an equivalence: the existence of a generalized fundamental solution satisfying upper Gaussian bounds is the same as Moser's L² to L^∞ estimates holding for local weak solutions. This unifies two approaches in the theory. For real coefficients, since the Moser estimates are already known, this gives a simpler path to the Gaussian upper bounds, and then a Harnack inequality yields the lower bounds.

Core claim

We prove that having a generalized fundamental solution with upper Gaussian bounds is equivalent to Moser's L²-L^∞ estimates for local weak solutions.

What carries the argument

The equivalence between the generalized fundamental solution with upper Gaussian bounds and Moser's L²-L^∞ estimates for local weak solutions.

If this is right

In the special case of real coefficients, known Moser's estimates directly imply Gaussian upper bounds on the fundamental solution.
A known Harnack inequality then yields the corresponding Gaussian lower bounds.
The equivalence extends the Gaussian bound theory to complex coefficients under the A₂ structural assumption.
Either the fundamental solution or the Moser estimates can be used to establish the other for these equations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The equivalence might simplify proofs in related settings by letting researchers pick whichever property is easier to verify first.
Analogous equivalences could be investigated for other degeneracy structures beyond A₂-weights.
Numerical checks on explicit A₂-weights and simple equations could provide concrete verification of the bounds.

Load-bearing premise

The degenerate ellipticity condition is dictated by a spatial A₂-weight that supports the Moser iteration.

What would settle it

Construct or identify a concrete degenerate equation controlled by an A₂-weight where the fundamental solution fails to have upper Gaussian bounds while Moser's estimates hold, or vice versa.

read the original abstract

In this paper, we consider second order degenerate parabolic equations with complex, measurable, and time-dependent coefficients. The degenerate ellipticity is dictated by a spatial $A_2$-weight. We prove that having a generalized fundamental solution with upper Gaussian bounds is equivalent to Moser's $L^2$-$L^\infty$ estimates for local weak solutions. In the special case of real coefficients, Moser's $L^2$-$L^\infty$ estimates are known, which provide an easier proof of Gaussian upper bounds, and a known Harnack inequality is then used to derive Gaussian lower bounds.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a clean if-and-only-if between generalized fundamental solutions with Gaussian upper bounds and Moser's L2-L∞ estimates, with the complex-coefficient direction as the main new piece.

read the letter

The main thing to know is that this work establishes an equivalence: under spatial A2 weights, a generalized fundamental solution obeying upper Gaussian bounds exists if and only if local weak solutions satisfy Moser's L2 to L∞ estimates. The complex, measurable, time-dependent coefficient case is handled directly, while the real-coefficient case is recovered as a corollary from already-known Moser estimates plus a Harnack inequality for the lower bound. That equivalence statement is the central claim and looks new on the basis of the abstract. The paper does a solid job keeping the structural hypothesis clear (A2 degeneracy) and stating both directions of the equivalence under exactly those conditions. It organizes the fundamental-solution property and the Moser estimates in one place for this class of equations, which is useful for specialists who already work with weighted degenerate parabolic operators. The real-coefficient reduction is straightforward and does not claim new ground there, which is fine. The potential soft spot is that the Moser iteration for complex coefficients must be carried through carefully, and the abstract alone does not show the details of how the complex case avoids extra assumptions on the weight or time dependence. If the full proof closes those steps without hidden restrictions, the result holds; the stress-test note did not identify an internal gap. This is a narrow but technically precise contribution aimed at people working on fundamental solutions or Moser-type estimates in degenerate parabolic settings with weights. A reader outside that subfield will not get much, but inside it the equivalence is a clean organizing result. It is worth sending to peer review so the iteration details can be checked by experts in the area.

Referee Report

0 major / 2 minor

Summary. The manuscript proves an equivalence between the existence of a generalized fundamental solution obeying upper Gaussian bounds and the validity of Moser's L²-L^∞ estimates for local weak solutions to second-order degenerate parabolic equations in divergence form. The equations have complex, measurable, time-dependent coefficients with degeneracy controlled by a spatial A₂ weight. The real-coefficient case is handled by invoking known Moser estimates and a known Harnack inequality to obtain both upper and lower Gaussian bounds.

Significance. If the equivalence holds, the result supplies a clean characterization of Gaussian bounds in terms of Moser estimates that extends to the complex-coefficient setting under the stated structural hypothesis. This may streamline subsequent work on fundamental solutions and regularity for degenerate parabolic operators with time-dependent complex coefficients. The delegation of the real-coefficient case to established results is efficient and avoids unnecessary repetition.

minor comments (2)

[Abstract] Abstract, paragraph 2: the precise range of the A₂ constant or the dimension n in which the weight is defined is not stated; adding this would clarify the structural hypothesis without altering the argument.
The manuscript should include a brief remark on whether the time dependence of the coefficients imposes any additional integrability or measurability requirements beyond those already used in the real-coefficient literature cited for the Moser step.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of the equivalence result, and the recommendation for minor revision. The report correctly notes the extension to complex coefficients under the A2-weight hypothesis and the efficient use of known results for the real-coefficient case.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper proves an equivalence between existence of a generalized fundamental solution with upper Gaussian bounds and Moser's L²-L^∞ estimates for local weak solutions, under spatial A₂-weight degeneracy with complex measurable time-dependent coefficients. The real-coefficient case explicitly invokes already-known Moser estimates and a known Harnack inequality rather than deriving them internally. No step reduces by definition, by fitted-parameter renaming, or by a self-citation chain to the target result; the central equivalence is presented as independently established and self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on the standard theory of A2 weights and on previously established Moser estimates and Harnack inequalities for the real-coefficient case; no new free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption A2-weight controls the degenerate ellipticity condition for the parabolic operator
Invoked in the second sentence of the abstract to define the class of equations under study.
standard math Moser's L2-L∞ estimates hold for real coefficients (prior result)
Used to obtain Gaussian upper bounds in the real case; cited as known.

pith-pipeline@v0.9.0 · 5620 in / 1472 out tokens · 53161 ms · 2026-05-23T00:14:58.501054+00:00 · methodology

Degenerate parabolic equations in divergence form: fundamental solution and Gaussian bounds

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)