Trudinger's Parabolic Equation

Mikko Parviainen; Peter Lindqvist; Saara Sarsa

arxiv: 2508.08716 · v3 · submitted 2025-08-12 · 🧮 math.AP

Trudinger's Parabolic Equation

Peter Lindqvist , Mikko Parviainen , Saara Sarsa This is my paper

Pith reviewed 2026-05-18 23:29 UTC · model grok-4.3

classification 🧮 math.AP

keywords uniquenessTrudinger parabolic equationp-LaplacianGalerkin methodnon-negative solutionsnonlinear diffusionparabolic pde

0 comments

The pith

Non-negative solutions of Trudinger's parabolic equation are unique.

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

The paper establishes uniqueness for non-negative solutions of the nonlinear parabolic equation in which the time derivative of |u| raised to p-2 times u equals the divergence of |gradient u| raised to p-2 times the gradient of u. A sympathetic reader would care because this equation generalizes the heat equation to nonlinear diffusion settings, and uniqueness guarantees that the future evolution is completely determined by the initial data without ambiguity. The authors obtain the result by deriving basic estimates through the Galerkin method applied to approximating problems that converge to the target equation.

Core claim

Non-negative solutions of the equation ∂_t(|u|^{p-2}u) = div(|∇u|^{p-2}∇u) are unique. Basic estimates are derived with the Galerkin Method to reach this conclusion for solutions in the appropriate function spaces.

What carries the argument

Galerkin approximations that produce basic estimates supporting the uniqueness argument for the nonlinear parabolic equation.

If this is right

The initial-value problem for this equation has at most one non-negative solution.
Galerkin approximations converge to the unique solution when the method applies.
The equation supports a well-determined evolution for non-negative initial data.
Uniqueness holds in the range of p where the basic estimates are valid.

Where Pith is reading between the lines

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

The non-negativity condition may be essential, so sign-changing solutions could fail to be unique.
The result might extend to comparison principles between sub- and supersolutions.
Numerical schemes based on the same Galerkin approach should converge to the unique solution.
When p equals 2 the equation reduces to the linear heat equation, where uniqueness is already known.

Load-bearing premise

That solutions lie in Sobolev-type spaces where Galerkin approximations converge for p greater than 1.

What would settle it

The explicit construction of two distinct non-negative solutions that satisfy the same initial data and the equation in the relevant function spaces would disprove uniqueness.

read the original abstract

We study the uniqueness of non-negative solutions of the equation \begin{align*} \partial_t\left(|u|^{p-2}u\right)\,=\, \operatorname{div}(|\nabla u|^{p-2}\nabla u). \end{align*} Basic estimates are derived with the Galerkin Method.

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

This paper derives some Galerkin estimates for the equation but does not clearly show how they yield uniqueness for arbitrary non-negative weak solutions.

read the letter

The main thing to know is that the authors apply the Galerkin method to get basic a priori estimates for non-negative solutions of ∂_t(|u|^{p-2}u) = div(|∇u|^{p-2}∇u) and then claim uniqueness from that. It is a direct, incremental step on a known type of degenerate parabolic problem rather than a new technique or major extension of the literature on p-Laplacian flows. The estimates themselves appear to be carried out in the usual way for this setting, which is competent enough for what it is and may serve as a small reference for people already working in this niche. That is the part that holds up without much trouble. The soft spot is exactly the one flagged in the stress test. Controlling the approximating sequence is not the same as proving that every weak solution in the natural space is a limit of Galerkin approximations or that any two solutions satisfy a contraction. The abstract gives no sign that a density argument or direct comparison step is included, so the uniqueness statement for general non-negative solutions does not follow from the estimates alone. If the full paper supplies that missing piece in a clean way, the gap closes; otherwise the central claim stays unsupported. This is the sort of note that specialists in nonlinear parabolic equations might skim for the estimates, but it is not broad enough to interest a wider PDE audience. I would send it to a serious referee because the topic is legitimate and the method is standard, even though the current version needs a clearer uniqueness argument to be publishable. A referee could ask for that step without much trouble.

Referee Report

2 major / 1 minor

Summary. The manuscript studies the uniqueness of non-negative solutions to the degenerate parabolic equation ∂_t(|u|^{p-2}u) = div(|∇u|^{p-2}∇u) and states that basic a priori estimates are derived via the Galerkin method to support this uniqueness.

Significance. A rigorous uniqueness result for non-negative weak solutions of this Trudinger-type parabolic equation would strengthen the theory of degenerate nonlinear diffusion, particularly in the context of p-Laplacian flows with time-dependent nonlinearity. The Galerkin approach is a standard tool, but without detailed estimates or approximation arguments the contribution remains limited.

major comments (2)

[Abstract and main text] The abstract asserts that Galerkin-derived estimates support uniqueness, but the manuscript provides no explicit a priori estimates, no convergence analysis of the approximations, and no argument showing that arbitrary non-negative weak solutions in the natural energy space are limits of the Galerkin sequence. Without a density or approximation result covering general weak solutions, the uniqueness claim for all such solutions does not follow from controlling only the approximating sequence.
[Abstract and main text] The range of p > 1 and the precise function spaces (e.g., the appropriate Sobolev or Orlicz-Sobolev spaces accounting for degeneracy at u = 0 and |∇u| = 0) are not specified. These choices are load-bearing for the validity of the estimates and for passing to the limit in the nonlinear terms.

minor comments (1)

The equation is written without specifying the domain or boundary conditions, which should be clarified for a complete statement of the problem.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will revise the manuscript to incorporate the necessary clarifications and details.

read point-by-point responses

Referee: [Abstract and main text] The abstract asserts that Galerkin-derived estimates support uniqueness, but the manuscript provides no explicit a priori estimates, no convergence analysis of the approximations, and no argument showing that arbitrary non-negative weak solutions in the natural energy space are limits of the Galerkin sequence. Without a density or approximation result covering general weak solutions, the uniqueness claim for all such solutions does not follow from controlling only the approximating sequence.

Authors: We acknowledge that the present manuscript is concise and does not contain the full explicit a priori estimates or the detailed convergence analysis. In the revised version we will add the basic estimates obtained from the Galerkin approximations, including the relevant energy bounds, and we will include a brief argument showing that general non-negative weak solutions in the natural space can be recovered as limits of the Galerkin sequence, thereby justifying the uniqueness statement for arbitrary weak solutions. revision: yes
Referee: [Abstract and main text] The range of p > 1 and the precise function spaces (e.g., the appropriate Sobolev or Orlicz-Sobolev spaces accounting for degeneracy at u = 0 and |∇u| = 0) are not specified. These choices are load-bearing for the validity of the estimates and for passing to the limit in the nonlinear terms.

Authors: We agree that the range of p and the precise function spaces must be stated explicitly. The revised manuscript will specify that the results hold for p > 1 and will define the natural energy space as the intersection of L^∞(0,T;L¹(Ω)) with the parabolic Sobolev space where |∇u| belongs to L^p, taking into account the degeneracy at u = 0 and |∇u| = 0 through the appropriate integrability conditions. revision: yes

Circularity Check

0 steps flagged

No circularity: uniqueness claim rests on standard Galerkin estimates without self-referential reduction

full rationale

The manuscript claims to study uniqueness of non-negative solutions to the given parabolic equation and derives basic a-priori estimates via the Galerkin method. No load-bearing step reduces by construction to a fitted parameter, self-definition, or self-citation chain. The derivation chain is self-contained against external benchmarks (standard approximation technique in PDE theory) and does not rename known results or smuggle ansatzes via prior work by the same authors. The skeptic concern identifies a possible gap in density/approximation arguments but does not constitute circularity as defined.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone.

pith-pipeline@v0.9.0 · 5561 in / 921 out tokens · 39856 ms · 2026-05-18T23:29:35.440815+00:00 · methodology

Trudinger's Parabolic Equation

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)