pith. sign in

arxiv: 2508.02491 · v2 · submitted 2025-08-04 · 🧮 math.AP

Existence, comparison principle and uniqueness for fully nonlinear anisotropic evolution equations

Pith reviewed 2026-05-19 00:57 UTC · model grok-4.3

classification 🧮 math.AP
keywords fully nonlinear equationsanisotropic evolutionCauchy-Dirichlet problemexistencecomparison principleuniquenesspartial differential equations
0
0 comments X

The pith

Fully nonlinear anisotropic evolution equations admit unique solutions to the Cauchy-Dirichlet problem when the exponents are close enough.

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

The paper establishes existence of solutions for the Cauchy-Dirichlet problem for a class of fully nonlinear anisotropic evolution equations. It further proves a comparison principle that directly yields uniqueness of those solutions. All of this is shown under an assumption that the exponents are sufficiently close to ensure a power of the solution has a gradient. A reader would care because the results give a rigorous foundation for well-posedness in models where diffusion or growth varies with direction.

Core claim

We prove the existence of solutions to the Cauchy-Dirichlet problem associated with a class of fully nonlinear anisotropic evolution equations. We prove a comparison principle and conclude the uniqueness of solutions. All results are obtained under a closeness assumption on the exponents which guarantees that a certain power of the solution has a gradient.

What carries the argument

The closeness assumption on the exponents, which guarantees that a certain power of the solution has a gradient and thereby permits the comparison principle and existence arguments to hold.

If this is right

  • The Cauchy-Dirichlet problem for these equations possesses at least one solution.
  • A comparison principle holds between any two solutions.
  • Solutions are necessarily unique.
  • The same framework applies uniformly to the entire class of equations satisfying the exponent closeness.

Where Pith is reading between the lines

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

  • The same comparison techniques might carry over to related anisotropic problems once an analogous gradient condition on a power of the solution is verified.
  • The result suggests that well-posedness in direction-dependent nonlinear models hinges primarily on controlling the spread of the exponents rather than on isotropy.

Load-bearing premise

The exponents must be close enough that a power of the solution possesses a gradient.

What would settle it

An explicit choice of exponents that violate the closeness condition yet still produce either nonexistence or multiple solutions to the same Cauchy-Dirichlet problem would disprove the central claim.

read the original abstract

We prove the existence of solutions to the Cauchy-Dirichlet problem associated with a class of fully nonlinear anisotropic evolution equations. We prove a comparison principle and conclude the uniqueness of solutions. All results are obtained under a closeness assumption on the exponents which guarantees that a certain power of the solution has a gradient.

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.

Referee Report

1 major / 2 minor

Summary. The manuscript proves existence of solutions to the Cauchy-Dirichlet problem for a class of fully nonlinear anisotropic evolution equations. It establishes a comparison principle and deduces uniqueness, with all results obtained under a closeness assumption on the exponents that guarantees a certain power of the solution possesses a gradient.

Significance. If the proofs are free of circularity, the work extends standard comparison and uniqueness techniques from isotropic to anisotropic fully nonlinear parabolic settings. The closeness condition on exponents is the key technical device that supplies the gradient regularity needed to close the arguments; when verified, this supplies a concrete framework for treating directional dependence in evolution equations.

major comments (1)
  1. [Abstract and §1] Abstract and §1 (Introduction): All three main results (existence, comparison, uniqueness) are stated to hold under the single closeness assumption that guarantees a power of the solution has a gradient. The comparison principle in the fully nonlinear anisotropic setting requires this regularity a priori. The manuscript must therefore show explicitly (most naturally in the existence section) that the gradient property follows directly from the equation structure, the closeness condition, and the initial-boundary data, without any appeal to the comparison result itself. If existence is first obtained in a weaker class and the assumption is invoked only later to upgrade regularity before applying comparison, the logical order must be spelled out to remove any appearance of circularity.
minor comments (2)
  1. [§2] §2 (Preliminaries): The precise statement of the anisotropic operator and the range of admissible exponents should be collected in a single displayed assumption block for easy reference when the closeness condition is later imposed.
  2. Throughout: Notation for the power that is asserted to have a gradient should be fixed once and used consistently; at present the abstract and the body appear to employ slightly different symbols for the same quantity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to make the logical order of the proofs fully explicit. We have revised the manuscript to address this point directly.

read point-by-point responses
  1. Referee: [Abstract and §1] Abstract and §1 (Introduction): All three main results (existence, comparison, uniqueness) are stated to hold under the single closeness assumption that guarantees a certain power of the solution has a gradient. The comparison principle in the fully nonlinear anisotropic setting requires this regularity a priori. The manuscript must therefore show explicitly (most naturally in the existence section) that the gradient property follows directly from the equation structure, the closeness condition, and the initial-boundary data, without any appeal to the comparison result itself. If existence is first obtained in a weaker class and the assumption is invoked only later to upgrade regularity before applying comparison, the logical order must be spelled out to remove any appearance of circularity.

    Authors: We agree that the logical order must be stated without circularity. In the revised manuscript we have inserted a new subsection at the start of the existence section (Section 3) that proceeds as follows: first, weak solutions are constructed by approximation; second, the closeness assumption on the exponents is applied directly to these weak solutions together with the given initial-boundary data to obtain the gradient regularity for a suitable power of the solution; third, the comparison principle is invoked only after this regularity has been secured. The new subsection explicitly records that none of the gradient estimates rely on the comparison result. This reorganization removes any appearance of circularity while preserving the original proofs. revision: yes

Circularity Check

0 steps flagged

No circularity: standard PDE proof under explicit regularity assumption

full rationale

The paper establishes existence, comparison, and uniqueness for a class of fully nonlinear anisotropic evolution equations via analytic techniques under an explicit closeness assumption on the exponents that guarantees gradient regularity for a power of the solution. This assumption is stated upfront as a hypothesis enabling the comparison principle and is not derived from the comparison result itself. No load-bearing step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the derivation chain remains self-contained within standard PDE methods without renaming known results or smuggling ansatzes via prior work by the same authors.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The results rest on one key domain assumption required to close the estimates.

axioms (1)
  • domain assumption Closeness assumption on the exponents
    Guarantees that a certain power of the solution has a gradient, enabling the comparison and existence arguments.

pith-pipeline@v0.9.0 · 5569 in / 1135 out tokens · 34781 ms · 2026-05-19T00:57:22.529178+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

43 extracted references · 43 canonical work pages

  1. [1]

    H. W. Alt, S. Luckhaus: Quasilinear elliptic-parabolic differential equations, Math. Z., 183, 3, 311–341,

  2. [2]

    Antontsev, J

    S. Antontsev, J. I. D´ ıaz and S. Shmarev: Energy Methods for Free Boundary Problems: Applications to Nonlinear PDEs and Fluid Mechanics , Progress in Nonlinear Diferential Equations and Their Ap- plications, Vol 48. , 2002. 3

  3. [3]

    Avelin, T

    B. Avelin, T. Lukkari: A comparison principle for the porous medium equation and its consequences , Rev. Mat. Iberoam. 33, 2, 573–594, 2017. 3

  4. [4]

    Bamberger: `Etude d’une ` equation doublement non lin` eaire, J

    A. Bamberger: `Etude d’une ` equation doublement non lin` eaire, J. Funct. Anal. 24, 2, 148–155, 1977. 3

  5. [5]

    Bendahmane, K

    M. Bendahmane, K. Karlsen: Nonlinear Anisotropic Elliptic and Parabolic Equations in RN with Advection and Lower Order Terms and Locally Integrable Data , Potential Analysis, 22, 207–227, 2005. 3

  6. [6]

    Bernis: Existence results for doubly nonlinear higher order parabolic equations on unbounded do- mains, Math

    F. Bernis: Existence results for doubly nonlinear higher order parabolic equations on unbounded do- mains, Math. Am., 279, 3, 373–394, 1988. 3

  7. [7]

    B¨ ogelein, N

    V. B¨ ogelein, N. Dietrich, M. Vestberg :Existence of solutions to a diffusive shallow medium equation , J. Evol. Equ. 21, 845–889, 2021. 2, 3

  8. [8]

    B¨ ogelein, F

    V. B¨ ogelein, F. Duzaar, U. Gianazza, N. Liao, Christoph Scheven: H¨ older Continuity of the Gradient of Solutions to Doubly Non-Linear Parabolic Equations , 2023, http://arxiv.org/abs/2305.08539. 4

  9. [9]

    B¨ ogelein, F

    V. B¨ ogelein, F. Duzaar, R. Korte and C. Scheven: The higher integrability of weak solutions of porous medium systems, Adv. Nonlinear Anal. 8, 1, 1004–1034, 2018. 8

  10. [10]

    B¨ ogelein, F

    V. B¨ ogelein, F. Duzaar and N. Liao:On the H¨ older regularity of signed solutions to a doubly nonlinear equation, J. Funct. Anal. 281 (9), 109173 (2021). 35

  11. [11]

    B¨ ogelein, F

    V. B¨ ogelein, F. Duzaar, P. Marcellini: Parabolic Systems with p,q-Growth: A Variational Approach. Arch. Ration. Mech. Anal. 210. 219–267, 2013. 9

  12. [12]

    B¨ ogelein, M

    V. B¨ ogelein, M. Strunk: A comparison principle for doubly nonlinear parabolic partial differential equations, Annali di Matematica 203, 779–804, 2024. 3, 7, 10, 35

  13. [13]

    Ciani: Intrinsic Harnack inequality for local weak solutions to an anisotropic parabolic equation , 2022, https://hdl.handle.net/2158/1263325

    S. Ciani: Intrinsic Harnack inequality for local weak solutions to an anisotropic parabolic equation , 2022, https://hdl.handle.net/2158/1263325. 3, 11

  14. [14]

    Ciani, S

    S. Ciani, S. Mosconi and V. Vespri: Parabolic Harnack estimates for anisotropic slow diffusion, Journal d’Analyse math´ ematique, 2022. 4, 11

  15. [15]

    Ciani, V

    S. Ciani, V. Vespri, M. Vestberg: Boundedness, ultracontractive bounds and optimal evolution of the support for doubly nonlinear diffusion , 2023 https://arxiv.org/abs/2306.17152. 8, 14, 19 46 A. NASTASI, E. PE ˜NA AYALA, M. VESTBERG

  16. [16]

    S .P Degtyarev and A. F. Tedeev: On the solvability of the Cauchy problem with growing initial data for a class of anisotropic parabolic equations. J. Math. Sci., 181, 28–46, 2012. 2

  17. [17]

    J. I. D´ ıaz: Qualitative study of nonlinear parabolic equations: an introduction , Extr. Math. 16, 3, 303–341, 2001. 3

  18. [18]

    DiBenedetto: Degenerate Parabolic Equations, Springer-Verlag, 1993

    E. DiBenedetto: Degenerate Parabolic Equations, Springer-Verlag, 1993. 3, 9

  19. [19]

    F. G. D¨ uzg¨ un, S. Mosconi and V. Vespri:Anisotropic Sobolev embeddings and the speed of propagation for parabolic equations, J. Evol. Equ. 19, 845–882, 2019. 11

  20. [20]

    Giaquinta: Growth conditions and regularity

    M. Giaquinta: Growth conditions and regularity. A counterexample, Manuscr. Math. 59, 245–248, 1987. 3

  21. [21]

    Giusti: Direct Methods in the Calculus of Variations , World Scientific, 2003

    E. Giusti: Direct Methods in the Calculus of Variations , World Scientific, 2003. 8

  22. [22]

    Ishige: On the Existence of Solutions of the Cauchy Problem for a Nonlinear Diffusion Equation , SIAM J

    K. Ishige: On the Existence of Solutions of the Cauchy Problem for a Nonlinear Diffusion Equation , SIAM J. Math. Anal., 27, 5, 1235–1260, 1996. 3

  23. [23]

    A. V. Ivanov: Existence and uniqueness of a regular solution of the Cauchy–Dirichlet problem for doubly nonlinear parabolic equations, Zeitschrift f¨ ur Anal. und ihre Anwendungen 14,4, 751–777, 1995. 3, 4

  24. [24]

    A. V. Ivanov, P. Mkrtychan, W. J¨ ager: Existence and uniqueness of a regular solution of the Cauchy–Dirichlet problem for a class of doubly nonlinear parabolic equations , J. Math. Sci. 1, 84, 845–855, 1997. 3, 4

  25. [25]

    A. S. Kalashnikov: Some problems of the qualitative theory of non linear degenerate second order equations, Russian Math. Surveys, 42, 169–222, 1987. 3

  26. [26]

    Kinnunen, P

    J. Kinnunen, P. Lindqvist: Pointwise behaviour of semicontinuous supersolutions to a quasilinear parabolic equation, Ann. Mat. Pura Appl. (4) 185, 411–435, 2006. 9

  27. [27]

    Kinnunen, P

    J. Kinnunen, P. Lindqvist, T. Lukkari: Perron’s method for the porous medium equation, J. Eur. Math. Soc. 18, 12, 2953–2969, 2016. 3

  28. [28]

    O. A. Ladyˇ zenskaja, V. A. Solonnikov, N. N. Ural’ceva:Linear and Quasi-Linear equations of Parabolic Type, American Mathematical Society, 1968. 9

  29. [29]

    G. I. Laptev: Weak solutions of second-order quasilinear parabolic equations with double non-linearity , Sbornik: Mathetmatics, 188:9, 1343–1370, 1997. 3

  30. [30]

    G. I. Laptev: Solvability of second-order quasilinear parabolic equations with double degeneration , Siberian Mathematical Journal, 38, 6, 1160 –1177, 1997. 3

  31. [31]

    G. I. Laptev: Evolution equations with monotone operator and functional non-linearity at the time derivative, Mat. Sb., 191, 1301–1322, 2000. 3

  32. [32]

    Z. Li, L. A. Peletier: A comparison principle for the Porous Media Equation with Absorption , Journal of Mathematical Analysis and Applications, 165, 457–471, 1992. 3

  33. [33]

    Lindgren, P

    E. Lindgren, P. Lindqvist: On a comparison principle for Trudinger’s equation , Adv. Calc. Var., 15, 3, 401–415, 2022. 4

  34. [34]

    J. L. Lions: Quelques m´ ethodes de r´ esolution des probl` emes aux limites non lin´ eaires, Dunod, Paris,

  35. [35]

    Marcellini: Un exemple de solution discontinue d’un probl` eme variationnel dans le case scalaire

    P. Marcellini: Un exemple de solution discontinue d’un probl` eme variationnel dans le case scalaire. Ist. Mat. “U. Dini” No. 11, Firenze, 1987. 3

  36. [36]

    Otto: L1-Contraction and Uniqueness for quasilinear elliptic–parabolic equations , J

    F. Otto: L1-Contraction and Uniqueness for quasilinear elliptic–parabolic equations , J. Differ. Equ. 131, 1, 20–38, 1996. 4

  37. [37]

    Raviart: Sur la r´ esolution de certaines ´ equations paraboliques non lin´ eaires, Journal of Functional Analysis, 5(2), 299–328, 1970

    P.A. Raviart: Sur la r´ esolution de certaines ´ equations paraboliques non lin´ eaires, Journal of Functional Analysis, 5(2), 299–328, 1970. 3

  38. [38]

    Sango: On a doubly degenerate quasilinear anisotropic parabolic equation , Analysis 23, 249–260,

    M. Sango: On a doubly degenerate quasilinear anisotropic parabolic equation , Analysis 23, 249–260,

  39. [39]

    Singer, M

    T. Singer, M. Vestberg: Local boundedness of weak solutions to the Diffusive Wave Approximation of the Shallow Water equations , Journal of Differential Equations, 266:6, 3014–3033, 2019. 14

  40. [40]

    Sturm: Existence of weak solutions of doubly nonlinear parabolic equations , J

    S. Sturm: Existence of weak solutions of doubly nonlinear parabolic equations , J. Math. Anal. Appl. 455, 842–863, 2017. 3, 9, 14

  41. [41]

    Troisi: Teoremi di inclusione per spazi di Sobolev non isotropi , Ricerche Mat

    M. Troisi: Teoremi di inclusione per spazi di Sobolev non isotropi , Ricerche Mat. 18, 3–24, 1969. 11

  42. [42]

    J. L. V´ azquez:The very singular solution for the Anisotropic Fast Diffusion Equation and its conse- quences, Nonlinear Analysis 245, 113556, 2024. 2

  43. [43]

    Vestberg: Existence, comparison principle and uniqueness for doubly nonlinear anisotropic evolu- tion equations, Journal of Evolution Equations, Vol 25, 14, 2025

    M. Vestberg: Existence, comparison principle and uniqueness for doubly nonlinear anisotropic evolu- tion equations, Journal of Evolution Equations, Vol 25, 14, 2025. 2, 4, 5, 6, 10, 13, 20, 41, 43 Antonella Nastasi, Department of Engineering, University of Palermo, Viale delle Scienze, 90128, Palermo, Italy, ORCID ID: 0000-0003-1589-2235 Email address: an...