Pith. sign in

REVIEW 2 major objections 7 minor 22 references

Existence and global behaviour of solutions of a parabolic problem involving the fractional $p$-Laplacian in porous medium

T0 review · 2 major / 7 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves existence, uniqueness, and long-time stabilization for a porous-medium fractional p-Laplacian parabolic problem, with convergence to a unique nontrivial stationary solution in the sub-homogeneous regime.

desk verdict Theorem 1.9 is false as stated (missing sign condition on h), but the paper's core methods are solid and the power-case results are likely salvageable with a small fix. read the letter →

arxiv 2411.14260 v1 pith:RWYRUSS3 submitted 2024-11-21 math.AP

Loïc Constantin (1) , Jacques Giacomoni (1) , Guillaume Warnault (1) ((1) LMAP-UMR CNRS 5142) This is my paper · ORCID
classification math.AP MSC 35R1135K5535B4047H0635A01
keywords fractionalp-Laplacianporousmediumequationweak-mildsolutionglobalexistencestabilizationfinite-timeextinctionblow-upcomparisonprinciple
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper studies a nonlinear parabolic equation whose diffusion term is the fractional $p$-Laplacian applied to a porous-medium nonlinearity, $\partial_t u + (-\Delta)_p^s(|u|^{m-1}u) = h$. Rewriting it in terms of $v = |u|^{m-1}u$, the authors prove that a weak-mild solution exists for bounded initial data, is unique under a local Lipschitz condition on $h$, and is global in time when the source grows at most linearly. For the power source $h(v) = |v|^{q/m}$, global bounded solutions exist in the sub-homogeneous range $p > q/m + 1$, and when the initial datum is trapped between constant multiples of $d(\cdot,\partial\Omega)^s$, every such solution converges in every $L^r$ to the unique nontrivial stationary solution. In the complementary range $p < q/m + 1$, small initial data extinguish in finite time for $q \le 1$, while negative-energy data blow up or grow without bound depending on $q$. These results matter because they extend existence, uniqueness, and qualitative long-time behavior from the fractional Laplacian and nonlocal porous-medium cases to the doubly nonlinear fractional $p$-Laplacian with sources.

What carries the argument

The engine is the operator $A: u \mapsto (-\Delta)_p^s(\lceil u \rceil^m)$, shown to be accretive in $L^1(\Omega)$ with dense domain, which places the problem inside the abstract theory of mild solutions. Around this, the paper constructs a time-discretization scheme in which each step solves an elliptic problem $\beta(v_n) + \Delta t\,(-\Delta)_p^s v_n = \text{data}$ with an $L^\infty$ right-hand side, whose solution exists, is H\"older continuous, and obeys a comparison principle. The quantitative input is two-sided boundary decay: elliptic solutions with constant or sub-homogeneous right-hand sides, and the stationary solution $v_\infty$, satisfy $c\,d(x,\partial\Omega)^s \le v \le C\,d(x,\partial\Omega)^s$, which lets a sub-supersolution method trap the evolution between monotone barriers that converge to $v_\infty$; semigroup arguments then identify the limits. A pointwise energy identity and an energy inequality govern the super-homogeneous regime, producing finite-time extinction or blow-up. A weak-mild solution is a function that is a weak solution in the variational sense and whose $\beta(v)$ is a mild solution in the semigroup sense.

What would settle it

Compute the unique positive solution of $(-\Delta)_p^s v = v^{q/m}$ on a bounded smooth domain with zero exterior values, for parameters $p > q/m+1$, and measure the ratio $v(x)/d(x,\partial\Omega)^s$ near the boundary; if the ratio tends to $0$ or $\infty$, the assumed two-sided boundary decay is false and the stabilization theorem's ordering argument is void.

Watch

Extended reading notes

Core claim

On its own terms, the paper establishes that the auxiliary problem $\partial_t \beta(v) + (-\Delta)_p^s v = h(t,x,v)$ admits a $T$-weak-mild solution for any $L^\infty \cap W^{s,p}_0$ initial datum when $h$ satisfies a polynomial growth bound, that this solution is unique when $h$ is locally Lipschitz with respect to $\beta(v)$, and that for $q \le 1$ the solution exists for all time. For the model source $h(v) = \lceil v \rceil^{q/m}$, it proves a dichotomy governed by the sign of $p - (q/m+1)$: when $p > q/m+1$ there is a global nonnegative solution that stabilizes to the unique nontrivial stationary solution $v_\infty$, with convergence in every $L^r$; when $p < q/m+1$, small initial data lead to finite-time extinction for $q \le 1$, and initial data with nonpositive energy lead to finite-time blow-up for $q > 1$ or to unbounded growth as $t \to \infty$ for $q \le 1$.

Load-bearing premise

The stabilization result rests on the imported boundary-regularity fact that both the elliptic building blocks and the stationary state $v_\infty$ are bounded above and below by constant multiples of $d(x,\partial\Omega)^s$ near the boundary; if that two-sided decay fails, the monotone barrier construction in the stabilization theorem collapses.

Editorial extensions

If this is right

  • If the theorems hold, the doubly nonlinear fractional porous-medium equation with a sub-homogeneous source has a global weak-mild solution for any bounded initial datum lying between multiples of $d(\cdot,\partial\Omega)^s$, and that solution forgets its initial data, converging in every $L^r$ to the unique stationary state.
  • Uniqueness for sources satisfying the local Lipschitz condition means the time-discrete scheme used in the proof converges to a well-defined solution rather than to a spurious limit.
  • For $q \le 1$, global existence holds for all bounded initial data, so no finite-time blow-up can occur in that range regardless of data size.
  • In the super-homogeneous range, the energy threshold $E(v_0) \le 0$ is sufficient to force finite-time blow-up for $q > 1$ and unbounded growth for $q \le 1$; a small $L^{r+1/m}$ norm forces finite-time extinction when $q \le 1$.
  • The comparison principle gives monotone dependence on initial data for global solutions, so solutions inherit the ordering of their data for all time.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The boundary condition on the initial datum in the stabilization result, equivalence to $d(\cdot,\partial\Omega)^s$, is likely an artifact of the available boundary-regularity tools; a finer boundary theory would probably widen the admissible class. The paper does not claim this.
  • The critical case $p = q/m+1$ is left open; by analogy with classical porous-medium results one would expect a borderline dichotomy sensitive to $m$ and the integrability of the data. This is an editorial expectation, not a paper claim.
  • The same monotone-barrier construction should extend to non-autonomous sources that are asymptotically sub-homogeneous in $v$, yielding convergence to a possibly time-dependent profile; the paper proves only the autonomous case.
  • A numerical check of the predicted stabilization is feasible: solve the evolution problem with $v_0 = \lambda v_\infty$ for $\lambda > 1$ and monitor $\|v(t) - v_\infty\|_{L^r}$; the paper proves convergence but gives no rate, so any observed rate would be new information.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 7 minor

Summary. The paper studies the doubly nonlinear parabolic problem with fractional p-Laplacian and porous-medium structure, ∂_t β(v)+(-Δ)_p^s v = h(t,x,v), where β(v)=⌈v⌉^{1/m}. It establishes local and global existence of weak-mild solutions, an L1 contraction property, uniqueness under a local Lipschitz condition, and several qualitative properties for the power-type source h(v)=⌈v⌉^{q/m}: global existence and stabilization to a nontrivial stationary solution in the sub-homogeneous regime p>q/m+1, and finite-time extinction or blow-up in the opposite regime. The proofs combine time discretization, accretive operator theory, comparison principles, and energy estimates.

Significance. If the results are correct, this is a substantial contribution to the theory of fractional porous-medium-type equations with sources. The paper provides a fairly complete existence-uniqueness framework, including L1 contraction and energy inequalities, and gives new stabilization and blow-up/extinction results for this class. The proofs are detailed and largely self-contained, with explicit comparison arguments and accretivity proofs. The reliance on existing boundary regularity results is clearly indicated, and the qualitative conclusions (stationary state with two-sided distance-power behavior, convergence in all L^r) are natural and genuinely new for the fractional p-Laplacian porous-medium setting. However, the false statement of Theorem 1.9 and the incomplete verification of the hypotheses in Proposition 3.4 are load-bearing issues that require correction.

major comments (2)
  1. [§3.4, Theorem 1.9] Theorem 1.9 is false as stated because it does not impose any sign condition on h. The proof begins 'By Theorem 3.1, for R>0 and T>0, there exists a nonnegative weak solution v of (Ph,R),' but Theorem 3.1 only gives existence of a weak solution, and Remark 3.2 explicitly states that nonnegativity requires h and v0 to be nonnegative. This is not a mere proof gap: take h≡-1 and v0≡0. The first step of the discretization in Theorem 3.1 is β(v1)+Δt(-Δ)_p^s v1 = -Δt. Applying Proposition 2.2 with g=β and comparing to the zero solution gives v1≤0, and equality is impossible because the right-hand side is nonzero, so v1 is negative on a set of positive measure. Thus no nonnegative approximate solution exists for this data, so no nonnegative weak-mild solution exists. The theorem needs an additional hypothesis such as h(t,x,θ)≥0 for θ≥0 (or h(t,x,0)≥0 together with monotonicity of h in θ). The homogeneous power case h(θ)=⌈θ⌉^{q/m} is nonnegative on the nonnegative cone, so Theorem 1.12 may survive, but Theorem 1.9 as stated is false.
  2. [§3.2, Proposition 3.4] The proof of uniqueness of the weak-mild solution invokes [2, Th. 4.1] after establishing only accretivity of A (Theorem A.2) and density of D(A) (Corollary 1.7). The cited theorem typically requires a range condition, e.g., R(I+λA)=L1(Ω) (or at least the appropriate full-range condition for the Crandall-Liggett generation theorem). The manuscript verifies the resolvent equation only for f∈L∞ via Theorem 2.3, so R(I+λA) contains a dense subset of L1, not necessarily all of L1. Since uniqueness of mild solutions actually follows from accretivity alone, the conclusion is likely correct, but the proof as written relies on an unverified hypothesis. This affects Theorem 1.8(iii) and the semigroup identities used in the proof of Theorem 1.12 (Step 3). Please either verify the full range condition (e.g., by an approximation argument from L∞ data) or replace the citation by a direct uniqueness argument based on the L1 contraction inequality.
minor comments (7)
  1. [§3.1, Step 2 of Theorem 3.1] The test function φ=⌈β(v_n)⌉^{r-1} is claimed to be admissible for 'some r≥m'. For r∈[m,m+1), the map t↦sign(t)|t|^{(r-1)/m} is not Lipschitz, and φ need not belong to W^{s,p}_0(Ω). Since the argument allows any r≥1, the proof should take r≥m+1 (where the map is Lipschitz) or use a truncation/approximation argument.
  2. [§4.1.2, Theorem 1.12 (Step 1)] The notation v0 is used simultaneously for the initial datum and for the overlined/underlined sub-supersolutions of (Qstat). Please use ̲{v}_0 and ̄{v}_0 (or another convention) to avoid ambiguity.
  3. [§3.2, Proposition 3.6] In the displayed inequality (3.8), the left-hand side reads ‖β(u)-β(u)‖_{L1(Ω)}; this should be ‖β(u)-β(v)‖_{L1(Ω)}.
  4. [§1, Abstract] The abstract contains a repeated word: 'We also study further the the homogeneous case' should read 'We also study further the homogeneous case'.
  5. [§4.2.1, equation (4.3)] The displayed inequality 'M′_r(t) ≤ M′_r(t) + c/2 M^α_r(t) ≤ C M^γ_r(t) − c/2 M^α_r(t)' contains a redundant term; it should be 'M′_r(t) + c/2 M^α_r(t) ≤ C M^γ_r(t) − c/2 M^α_r(t)'.
  6. [§4.2.2, Case 3 of Theorem 1.14] In the final computation, the notation switches between Z(t) and Z(T) inconsistently; the argument should use a single symbol for the L∞(Q_T) norm and track the dependence on T carefully.
  7. [§3.4 and §4.1.1] The two-sided boundary estimate c d(·,∂Ω)^s ≤ w ≤ C d(·,∂Ω)^s is imported verbatim from [10, Th. 1.5] and [13, Th. 2.7]. Please confirm that the hypotheses of those theorems (regularity of Ω, sign of the right-hand side, and the precise notion of solution) are satisfied in the present setting, since this estimate is load-bearing for the ordering in Theorem 1.12 and the construction in Theorem 1.9.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the main theorems are derived from the PDE itself, with independent elliptic regularity results imported as external tools; the only notable defect is a non-circular correctness gap in Theorem 1.9.

full rationale

The derivation chain is self-contained in the sense relevant to circularity. No parameter is fitted to data and then renamed a prediction; the weak-mild solution notion is a definition, not an assumed conclusion. Theorem 1.8 is obtained from the time-discretization existence proof (Theorem 3.1), accretivity of the operator A (Theorem A.2, proved in Appendix A), and contraction estimates (Propositions 3.4 and 3.6); uniqueness under (H) follows by a Gronwall argument (Theorem 3.9), not by postulating the result. The stabilization result (Theorem 1.12) uses the stationary solution v_infinity as a comparison function, but v_infinity is first constructed independently as the minimizer of a coercive functional in Theorem 4.4; the sub/supersolution ordering and semigroup argument then identify the limit, so the conclusion is not built into the construction. The cited boundary estimates [13, Th. 2.7] and [10, Th. 1.5] are external regularity results with stated assumptions that do not include the target theorem. The citations to [12], an overlapping-author prior paper, provide technical lemmas (L-infinity bounds, a rigidity lemma, boundary-decay construction) that are used as ordinary literature citations rather than as a self-citation chain forcing the present conclusions. The manuscript does contain a genuine flaw that is relevant to refereeing but not to circularity: in Section 3.4, the proof of Theorem 1.9 states, 'By Theorem 3.1, for R > 0 and T > 0, there exists a nonnegative weak solution v of (Ph,R)', whereas Theorem 3.1 only proves existence of a weak solution and Remark 3.2 explicitly requires h and v0 to be nonnegative for nonnegativity; Theorem 1.9 assumes no sign condition on h. This is a missing-hypothesis or correctness issue, not a reduction of the conclusion to its own inputs, so it does not raise the circularity score.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claims rest only on standard functional-analytic and PDE tools plus the cited boundary-regularity theorems from [10] and [13]. There are no free parameters fitted to data and no invented physical entities. The only ledger item of concern is the invocation of [2, Th. 4.1] under hypotheses not fully verified, but the paper provides an independent uniqueness route.

assumptions (5)
  • standard math Fractional Sobolev embeddings, Poincare inequality, and Aubin-Simon compactness hold for W^{s,p}_0(Ω).
    Used throughout, e.g., in Theorem 3.1 Step 4 to extract convergent subsequences; standard results in [3] and [11].
  • domain assumption Boundary regularity: solutions of (-Δ)^s_p w = constant are in C^s(R^d) and satisfy w ≥ c d(·,∂Ω)^s, from [13, Th. 2.7] and [10, Th. 1.5].
    Used in Theorem 1.9 and Theorem 4.4 to construct supersolutions and the stationary state; if the boundary behavior were weaker, the comparison arguments in Sections 3.4 and 4.1.1 would fail.
  • domain assumption [2, Th. 4.1] yields uniqueness of mild solutions for the abstract Cauchy problem u'+Au=f in L1.
    Invoked in Proposition 3.4 after proving A accretive (Theorem A.2) and D(A) dense (Corollary 1.7); the range condition or m-accretivity required by [2, Th. 4.1] is not verified or cited at that point. The main uniqueness result later rests on (3.8) instead, so this does not break the paper.
  • standard math Strong maximum principle and Hopf-type lemma for the fractional p-Laplacian from [10] imply v∞>0 in Ω and v∞ ≥ c d(·,∂Ω)^s.
    Used in Theorem 4.4 to establish positivity and the two-sided boundary bound of the stationary solution, which is central to the stabilization proof.
  • standard math Algebraic inequalities (B.4) for the p-Laplacian nonlinearity hold.
    Used to derive energy estimates and accretivity; stated as Property B.4 and attributed to [14] and [19].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Existence and global behaviour of solutions of a parabolic problem involving the fractional $p$-Laplacian in porous medium." pith.science (2026). https://pith.science/paper/RWYRUSS3

@misc{pith2026241114260,
  author       = {Pith},
  title        = {Pith review of: Existence and global behaviour of solutions of a parabolic problem involving the fractional $p$-Laplacian in porous medium},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RWYRUSS3}},
  note         = {Machine review of arXiv:2411.14260}
}
abstract

In this paper, we prove the existence and the uniqueness of a weak and mild solution of the following nonlinear parabolic problem involving the porous $p$-fractional Laplacian: \begin{equation*} \begin{cases} \partial_t u+(-\Delta)^s_p(|u|^{m-1}u)=h(t,x,|u|^{m-1}u) & \text{in} \; (0,T)\times \Omega,\\ u=0 & \text{in} \; (0,T) \times \mathbb{R}^d\backslash \Omega, \\ u(0,\cdot)=u_0 & \text{in} \; \Omega . \end{cases}\ \end{equation*} We also study further the the homogeneous case $h(u)=|u|^{q-1}u$ with $q>0$. In particular we investigate global time existence, uniqueness, global behaviour of weak solutions and stabilization.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 21 canonical work pages

  1. [10]

    A hopf's lemma and a strong minimum principle for the fractional p-laplacian

    Leandro M Del Pezzo and Alexander Quaas. A hopf's lemma and a strong minimum principle for the fractional p-laplacian. Journal of Differential Equations , 263(1):765--778, 2017

    work page 2017

  2. [13]

    Fine boundary regularity for the singular fractional p-laplacian

    Antonio Iannizzotto and Sunra Mosconi. Fine boundary regularity for the singular fractional p-laplacian. Journal of Differential Equations , 412:322--379, 2024

    work page 2024

  3. [1]

    On fractional p-laplacian parabolic problem with general data

    Boumediene Abdellaoui, Ahmed Attar, Rachid Bentifour, and Ireneo Peral. On fractional p-laplacian parabolic problem with general data. Annali di Matematica Pura ed Applicata (1923-) , 197:329--356, 2018

    work page 1923

  4. [2]

    Nonlinear differential equations of monotone types in Banach spaces

    Viorel Barbu. Nonlinear differential equations of monotone types in Banach spaces . Springer Science & Business Media, 2010

    work page 2010

  5. [3]

    Variational methods for nonlocal fractional problems , volume 162

    Giovanni Molica Bisci, Vicen t iu D R a dulescu, and Raffaella Servadei. Variational methods for nonlocal fractional problems , volume 162. Cambridge University Press, 2016

    work page 2016

  6. [4]

    Existence, uniqueness and asymptotic behaviour for fractional porous medium equations on bounded domains

    Matteo Bonforte, Yannick Sire, and Juan Luis V\'azquez. Existence, uniqueness and asymptotic behaviour for fractional porous medium equations on bounded domains. Discrete Contin. Dyn. Syst. , 35(12):5725--5767, 2015

    work page 2015

  7. [5]

    An extension problem related to the fractional laplacian

    Luis Caffarelli and Luis Silvestre. An extension problem related to the fractional laplacian. Communications in partial differential equations , 32(8):1245--1260, 2007

    work page 2007

  8. [6]

    An introduction to semilinear evolution equations , volume 13

    Thierry Cazenave and Alain Haraux. An introduction to semilinear evolution equations , volume 13. Oxford Lecture Mathematics and, 1998

    work page 1998

Show all 22 references
  1. [7]

    A doubly nonlinear evolution problem involving the fractional p-laplacian

    Timthy Collier and Daniel Hauer. A doubly nonlinear evolution problem involving the fractional p-laplacian. arXiv preprint arXiv:2110.13401 , 2021

    2021 arXiv

  2. [8]

    A fractional porous medium equation

    Arturo De Pablo, Fernando Quir \'o s, Ana Rodr \' guez, and Juan Luis V \'a zquez. A fractional porous medium equation. Advances in Mathematics , 226(2):1378--1409, 2011

    2011

  3. [9]

    A general fractional porous medium equation

    Arturo De Pablo, Fernando Quir \'o s, Ana Rodr \' guez, and Juan Luis V \'a zquez. A general fractional porous medium equation. Communications on Pure and Applied Mathematics , 65(9):1242--1284, 2012

    2012

  4. [11]

    Hitchhiker's guide to the fractional sobolev spaces

    Eleonora Di Nezza, Giampiero Palatucci, and Enrico Valdinoci. Hitchhiker's guide to the fractional sobolev spaces. Bulletin des sciences math \'e matiques , 136(5):521--573, 2012

    2012

  5. [12]

    Existence and global behavior of weak solutions to a doubly nonlinear evolution fractional p - L aplacian equation

    Jacques Giacomoni, Abdelhamid Gouasmia, and Abdelhafid Mokrane. Existence and global behavior of weak solutions to a doubly nonlinear evolution fractional p - L aplacian equation. Electron. J. Differential Equations , pages Paper No. 9, 37, 2021

    2021

  6. [14]

    Existence for doubly nonlinear fractional p-laplacian equations

    Nobuyuki Kato, Masashi Misawa, Kenta Nakamura, and Yoshihiko Yamaura. Existence for doubly nonlinear fractional p-laplacian equations. Annali di Matematica Pura ed Applicata (1923-) , pages 1--47, 2024

    1923

  7. [15]

    Linear and quasi-linear equations of parabolic type , volume 23

    Olga Aleksandrovna Ladyzhenskaia, Vsevolod Alekseevich Solonnikov, and Nina N Ural'tseva. Linear and quasi-linear equations of parabolic type , volume 23. American Mathematical Soc., 1968

    1968

  8. [16]

    Some existence and nonexistence theorems for solutions of degenerate parabolic equations

    Howard A Levine and Paul E Sacks. Some existence and nonexistence theorems for solutions of degenerate parabolic equations. Journal of differential equations , 52(2):135--161, 1984

    1984

  9. [17]

    Fractional p-laplacian evolution equations

    Jos \'e M Maz \'o n, Julio D Rossi, and Juli \'a n Toledo. Fractional p-laplacian evolution equations. Journal de math \'e matiques Pures et appliqu \'e es , 105(6):810--844, 2016

    2016

  10. [18]

    Nonlinear partial differential equations with applications , volume 153

    Tom \'a s Roub \' c ek. Nonlinear partial differential equations with applications , volume 153. Springer Science & Business Media, 2013

    2013

  11. [19]

    R \'e gularit \'e de la solution d’une \'e quation non lin \'e aire dans R ^n

    Jacques Simon. R \'e gularit \'e de la solution d’une \'e quation non lin \'e aire dans R ^n . In Journ \'e es d’Analyse Non Lin \'e aire: Proceedings, Besan c on, France, June 1977 , pages 205--227. Springer, 2006

    1977

  12. [20]

    The porous medium equation: mathematical theory

    Juan Luis V \'a zquez. The porous medium equation: mathematical theory . Oxford University Press, 2007

    2007

  13. [21]

    The dirichlet problem for the fractional p-laplacian evolution equation

    Juan Luis V \'a zquez. The dirichlet problem for the fractional p-laplacian evolution equation. Journal of Differential Equations , 260(7):6038--6056, 2016

    2016

  14. [22]

    Critical extinction and blow-up exponents for fast diffusive p-laplacian with sources

    Jingxue Yin and Chunhua Jin. Critical extinction and blow-up exponents for fast diffusive p-laplacian with sources. Mathematical Methods in the Applied Sciences , 30(10):1147--1167, 2007

    2007

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.