pith. sign in

arxiv: 2607.00617 · v1 · pith:CQPJGDGZnew · submitted 2026-07-01 · 🧮 math.AP

Monotonicity of non-negative solutions of quasilinear elliptic equations in a cylindrical domain

Luigi Montoro , Luigi Muglia , Berardino Sciunzi , Giuseppe Spadaro This is my paper

Pith reviewed 2026-07-02 09:59 UTC · model grok-4.3

classification 🧮 math.AP
keywords monotonicityp-Laplace equationcylindrical domainsmixed boundary conditionsAllen-Cahn equationLane-Emden equationpositive solutionsquasilinear elliptic equations
0
0 comments X

The pith

Positive weak solutions to p-Laplace equations in cylinders increase monotonically along the axis for every p greater than 1.

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

The paper proves that any positive weak solution of a p-Laplace equation in a cylindrical domain with mixed Dirichlet-Neumann boundary conditions is strictly increasing in the axial direction. The proof requires only that the right-hand side be positive and locally Lipschitz continuous. This monotonicity immediately implies that Allen-Cahn type solutions in the same setting must be one-dimensional and produces a Liouville-type theorem for Lane-Emden equations. Readers care because the result reduces an elliptic problem in an unbounded domain to a simpler one-dimensional profile.

Core claim

We consider weak solutions to p-Laplace equations in cylindrical domains under mixed homogeneous Dirichlet-Neumann boundary conditions. We assume that the right-hand side is positive and locally Lipschitz continuous and we prove that any positive solution is monotone increasing in the x_N direction for any p>1. As an application we prove that solutions to Allen-Cahn type equations are one-dimensional as well as a Liouville type result for Lane-Emden type equations.

What carries the argument

Monotonicity in the axial coordinate for positive weak solutions of the p-Laplace equation under the stated boundary conditions.

If this is right

  • Allen-Cahn type solutions in the cylinder must depend only on the axial variable.
  • Lane-Emden type equations in the cylinder admit only the trivial solution under the same hypotheses.
  • The monotonicity statement holds uniformly for every exponent p greater than 1.
  • The same conclusion applies to the full class of quasilinear elliptic equations treated in the paper.

Where Pith is reading between the lines

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

  • The one-dimensional reduction may convert the original PDE into an ODE that can be analyzed by phase-plane methods.
  • The result supplies a tool for proving symmetry or classification theorems in other unbounded domains that admit a cylinder-like direction.
  • Relaxing the sign condition on the right-hand side while preserving local Lipschitz continuity might still allow monotonicity on large enough subdomains.

Load-bearing premise

The right-hand side is positive and locally Lipschitz continuous.

What would settle it

A positive weak solution in the cylinder that decreases at some point along the x_N direction, for some p greater than 1 and some positive locally Lipschitz right-hand side.

read the original abstract

We consider weak solutions to $p$-Laplace equations in cylindrical domains under mixed homogeneous Dirichlet-Neumann boundary conditions. We assume that the right-hand side is positive and locally Lipschitz continuous and we prove that any positive solution is monotone increasing in the $x_N$ direction for any $p>1$. As an application we prove that solutions to Allen-Cahn type equations are one-dimensional as well as a Liouville type result for Lane-Emden type equations.

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

0 major / 0 minor

Summary. The manuscript proves that any positive weak solution to the p-Laplace equation in a cylindrical domain (with mixed homogeneous Dirichlet-Neumann boundary conditions) is strictly monotone increasing in the axial direction x_N, for every p>1, whenever the right-hand side f is positive and locally Lipschitz. The result is applied to obtain one-dimensional symmetry for Allen-Cahn type equations and a Liouville-type theorem for Lane-Emden type equations in the cylinder.

Significance. If the central monotonicity statement holds, the result supplies a useful comparison/moving-plane tool for quasilinear equations in unbounded cylindrical domains that is not restricted to p=2 and directly yields symmetry and non-existence statements as corollaries.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for summarizing the main result on monotonicity of positive weak solutions to the p-Laplace equation in cylinders under mixed boundary conditions, and for noting its potential as a tool for symmetry and Liouville-type results. The recommendation is marked 'uncertain,' yet the report contains no specific major comments or points of concern. We are prepared to clarify any technical aspects of the proof if they are raised.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation establishes monotonicity of positive weak solutions to p-Laplace equations in cylinders via comparison or moving-plane methods under the explicitly stated hypotheses that the right-hand side is positive and locally Lipschitz. These assumptions are independent inputs, not derived from the conclusion. No self-definitional relations, fitted parameters renamed as predictions, or load-bearing self-citations appear in the abstract or described structure; applications to Allen-Cahn and Lane-Emden are presented as downstream consequences rather than inputs. The argument is therefore self-contained against external benchmarks such as standard comparison principles for quasilinear equations.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only abstract available; no free parameters, axioms, or invented entities can be extracted or verified.

pith-pipeline@v0.9.1-grok · 5607 in / 933 out tokens · 22917 ms · 2026-07-02T09:59:22.959596+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

48 extracted references · 1 canonical work pages

  1. [1]

    A. D. Alexandrov. A characteristic property of spheres.Ann. Mat. Pur. Appl., 258 (1962), 303–315

    1962

  2. [2]

    Berestycki, L

    H. Berestycki, L. A. Caffarelli, L. Nirenberg. Inequalities for second-order elliptic equations with applications to unbounded domains.Duke Math. J., 81(2) (1996), 467–494

    1996

  3. [3]

    Berestycki, L

    H. Berestycki, L. A. Caffarelli, L. Nirenberg. Further qualitative properties for elliptic equations in unbounded domains.Ann. Sc. Norm. Super. Pisa Cl. Sci., 25(1-2) (1997), 69–94

    1997

  4. [4]

    Berestycki, L

    H. Berestycki, L. A. Caffarelli, L. Nirenberg. Monotonicity for elliptic equations in an unbounded Lipschitz domain.Comm. Pure Appl. Math., 50 (1997), 1089–1111

    1997

  5. [5]

    Berestycki, L

    H. Berestycki, L. Nirenberg. On the method of moving planes and the sliding method.Bollettin Soc. Brasil. Mat. Nova Ser., 22(1) (1991), 1–37

    1991

  6. [6]

    Beuvin, A

    N. Beuvin, A. Farina. One-dimensional symmetry results for semilinear equations and inequalities on half- spaces.Nonlinear Anal., 264 (2026), Paper No. 113983, 20 pp

    2026

  7. [7]

    L. A. Caffarelli, B. Gidas, J. Spruck. Asymptotic symmetry and local behavior of semi-linear elliptic equations with critical Sobolev growth.Comm. Pure Appl. Math., 42(3) (1989), 271–297

    1989

  8. [8]

    Ciraolo, A

    G. Ciraolo, A. Figalli, A. Roncoroni. Symmetry results for critical anisotropicp-Laplacian equations in convex cones.J. Geom. Funct. Anal., 30 (2020), 770–803

    2020

  9. [9]

    Ciraolo, F

    G. Ciraolo, F. Pacella, C. C. Polvara. Symmetry breaking and instability for semilinear elliptic equations in spherical sectors and cones.J. Math. Pures Appl., 187 (2024), 138–170

    2024

  10. [10]

    Ciraolo, X

    G. Ciraolo, X. Li. Classification of solutions to the anisotropicN-Liouville equation inR N.Int. Math. Res. Not., 2024(19) (2024), 12824–12856

    2024

  11. [11]

    Ciraolo, M

    G. Ciraolo, M. Cozzi, M. Gatti. A quantitative study of radial symmetry for solutions to semilinear equations inR n.J. Math. Pures Appl., 204 (2025), 103755

    2025

  12. [12]

    Ciraolo, A

    G. Ciraolo, A. Farina, C. C. Polvara. Classification results, rigidity theorems and semilinear PDEs on Rie- mannian manifolds: A P-function approach.J. Eur. Math. Soc., Online first, DOI: 10.4171/JEMS/1729

    work page doi:10.4171/jems/1729

  13. [13]

    H. Chen, K. Wu, R. Yao. Qualitative properties of nonnegative solutions of some semilinear elliptic equations in cylindrical domains.Calc. Var. Partial Differ. Equ., 62 (2023), 6

    2023

  14. [14]

    E. N. Dancer. Some notes on the method of moving planes.Bull. Aust. Math. Soc., 46(3) (1992), 425–434

    1992

  15. [15]

    Damascelli

    L. Damascelli. Comparison theorems for some quasilinear degenerate elliptic operators and applications to symmetry and monotonicity results.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 15(4) (1998), 493–516

    1998

  16. [16]

    Damascelli, A

    L. Damascelli, A. Farina, B. Sciunzi, E. Valdinoci. Liouville results for m-Laplace equations of Lane–Emden– Fowler type.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 26(4) (2009), 1099–1119

    2009

  17. [17]

    Damascelli, S

    L. Damascelli, S. Merch´ an, L. Montoro, B. Sciunzi. Radial symmetry and applications for a problem involving the−∆ p operator and critical nonlinearity inR N.Adv. Math., 265 (2014), 313–335

    2014

  18. [18]

    Damascelli, F

    L. Damascelli, F. Pacella. Monotonicity and symmetry of solutions ofp-Laplace equations, 1< p <2, via the moving plane method.Ann. Sc. Norm. Super. Pisa Cl. Sci., 26(4) (1998), 689–707

    1998

  19. [19]

    Damascelli, B

    L. Damascelli, B. Sciunzi. Regularity, monotonicity and symmetry of positive solutions ofm-Laplace equa- tions.J. Differential Equations, 206(2) (2004), 483–515

    2004

  20. [20]

    Damascelli, B

    L. Damascelli, B. Sciunzi. Harnack inequalities, maximum and comparison principles, and regularity of positive solutions ofm-Laplace equations.Calc. Var. Partial Differential Equations, 25(2) (2006), 139–159

    2006

  21. [21]

    Di Benedetto.C 1+α local regularity of weak solutions of degenerate elliptic equations.Nonlinear Anal., 7(8) (1983), 827–850

    E. Di Benedetto.C 1+α local regularity of weak solutions of degenerate elliptic equations.Nonlinear Anal., 7(8) (1983), 827–850

    1983

  22. [22]

    Dupaigne, A

    L. Dupaigne, A. Farina, T. Petitt. Liouville-type theorems for the Lane–Emden equation in the half-space and cones.J. Funct. Anal., 284(10) (2023), Paper No. 109906, 27 pp

    2023

  23. [23]

    Dupaigne, B

    L. Dupaigne, B. Sirakov, P. Souplet. A Liouville-type theorem for the Lane–Emden equation in a half-space. Int. Math. Res. Not., 12 (2022), 9024–9043

    2022

  24. [24]

    A. Farina. On the classification of solutions of the Lane–Emden equation on unbounded domains ofR N.J. Math. Pures Appl., 87(9) (2007), 537–561

    2007

  25. [25]

    A. Farina. Rigidity and one-dimensional symmetry for semilinear elliptic equations inR N and in half-spaces. Adv. Math. Sci. Appl., 13(1) (2003), 65–82

    2003

  26. [26]

    Farina, L

    A. Farina, L. Montoro, G. Riey, B. Sciunzi. Monotonicity of solutions to quasilinear problems with a first- order term in half-spaces.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 32(1) (2015), 1–22. 36 LUIGI MONTORO, LUIGI MUGLIA, BERARDINO SCIUNZI, GIUSEPPE SPADARO

    2015

  27. [27]

    Farina, L

    A. Farina, L. Montoro, B. Sciunzi. Monotonicity of solutions of quasilinear degenerate elliptic equations in half-spaces.Math. Ann., 357(3) (2013), 855–893

    2013

  28. [28]

    Farina, L

    A. Farina, L. Montoro, B. Sciunzi. Monotonicity and one-dimensional symmetry for solutions of−∆pu=f(u) in half-spaces.Calc. Var. Partial Differ. Equ., 43(1-2) (2012), 123–145

    2012

  29. [29]

    Farina, L

    A. Farina, L. Montoro, B. Sciunzi. Monotonicity in half-space of positive solutions to−∆ pu=f(u) in the casep >2.Ann. Sc. Norm. Super. Pisa Cl. Sci., 17(4) (2017), 1207–1229

    2017

  30. [30]

    Farina, B

    A. Farina, B. Sciunzi, E. Valdinoci. Bernstein and De Giorgi type problems: new results via a geometric approach.Ann. Sc. Norm. Super. Pisa Cl. Sci., 7(4) (2008), 741–791

    2008

  31. [31]

    Farina, B

    A. Farina, B. Sciunzi, D. Vuono. Liouville-type results for some quasilinear anisotropic elliptic equations. Nonlinear Anal., 238 (2024), 15

    2024

  32. [32]

    Farina, E

    A. Farina, E. Valdinoci. Flattening results for elliptic PDEs in unbounded domains with applications to overdetermined problems.Arch. Ration. Mech. Anal., 195(3) (2010), 1025–1058

    2010

  33. [33]

    R. L. Foote. Regularity of the distance function.Proc. Amer. Math. Soc., 92(1) (1984), 153–155

    1984

  34. [34]

    Gidas, W

    B. Gidas, W. M. Ni, L. Nirenberg. Symmetry and related properties via the maximum principle.Comm. Math. Phys., 68(3) (1979), 209–243

    1979

  35. [35]

    Gidas, W

    B. Gidas, W. M. Ni, L. Nirenberg. Symmetry of positive solutions of nonlinear elliptic equations inR N.Adv. Math. Suppl. Stud., 7A (1981), 369–403

    1981

  36. [36]

    Gilbarg, N

    D. Gilbarg, N. S. Trudinger. Elliptic Partial Differential Equations of Second Order. Springer, 1998

    1998

  37. [37]

    Kuusi, G

    T. Kuusi, G. Mingione. Universal potential estimates.J. Funct. Anal., 262(10) (2012), 4205–4269

    2012

  38. [38]

    G. M. Lieberman. Boundary regularity for solutions of degenerate elliptic equations.Nonlinear Anal., 12(11) (1988), 1203–1219

    1988

  39. [39]

    Lindqvist

    P. Lindqvist. Notes on thep-Laplace equation. Univ. Jyv¨ askyl¨ a, 161 (2017)

    2017

  40. [40]

    Merch´ an, L

    S. Merch´ an, L. Montoro, B. Sciunzi. On the Harnack inequality for quasilinear elliptic equations with a first-order term.Proc. Roy. Soc. Edinburgh Sect. A, 148(5) (2018), 1075–1095

    2018

  41. [41]

    L. Montoro. Harnack inequalities and qualitative properties for some quasilinear elliptic equations.NoDEA Nonlinear Differential Equations Appl., 26(6) (2019), 45

    2019

  42. [42]

    Montoro, L

    L. Montoro, L. Muglia, B. Sciunzi. Optimal second order boundary regularity for solutions top-Laplace equations.Calc. Var., 64 (2025), 50

    2025

  43. [43]

    Pucci, J

    P. Pucci, J. Serrin. The Maximum Principle. Birkh¨ auser, Basel, 2007

    2007

  44. [44]

    B. Sciunzi. Classification of positiveD 1,p(RN)-solutions to the criticalp-Laplace equation inR N.Adv. Math., 291 (2016), 12–23

    2016

  45. [45]

    J. Serrin. A symmetry problem in potential theory.Arch. Ration. Mech. Anal., 43 (1971), 304–318

    1971

  46. [46]

    Tolksdorf

    P. Tolksdorf. Regularity for a more general class of quasilinear elliptic equations.J. Differential Equations, 51 (1984), 126–150

    1984

  47. [47]

    N. S. Trudinger. Linear elliptic operators with measurable coefficients.Ann. Scuola Norm. Sup. Pisa, 27(3) (1973), 265–308

    1973

  48. [48]

    V´ etois

    J. V´ etois. A priori estimates and application to the symmetry of solutions for criticalp-Laplace equations. J. Differential Equations, 260(1) (2016), 149–161. Department of Mathematics and Computer Science, UNICAL, Rende, CS, Italy Email address:luigi.montoro@unical.it, luigi.muglia@unical.it Email address:berardino.sciunzi@unical.it, giuseppe.spadaro@unical.it

    2016