pith. sign in

arxiv: 2605.29993 · v1 · pith:CN2TDGR2new · submitted 2026-05-28 · 🧮 math.AP

Lane-Emden Problems on Convex Domains of mathbb S²

Massimo Grossi , Luigi Provenzano , Daniel Raom This is my paper

Pith reviewed 2026-06-29 06:19 UTC · model grok-4.3

classification 🧮 math.AP
keywords Lane-Emden equationconvex domainsspheresuperlevel setsconcavitytorsion functioneigenfunctions
0
0 comments X

The pith

For 0 ≤ p ≤ 3, positive solutions of the Lane-Emden problem on uniformly convex domains in S² have strictly convex superlevel sets and a unique nondegenerate maximum.

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

The paper studies positive solutions to the Dirichlet problem -Δu = u^p in a uniformly convex domain Ω inside the sphere S². It establishes that for exponents 0 ≤ p < 1 the unique solution satisfies strict concavity of u raised to (1-p)/2, while for 1 < p ≤ 3 every positive solution satisfies strict convexity of the same power. These properties immediately imply that all superlevel sets of u are strictly convex and that u attains its maximum at a single nondegenerate point. A reader cares because the results convert an elliptic PDE into concrete geometric information about the shape of its solutions.

Core claim

For 0 ≤ p < 1 the unique positive solution u is such that u^{(1-p)/2} is strictly concave in Ω, while for 1 < p ≤ 3 every positive solution u is such that u^{(1-p)/2} is strictly convex in Ω. As a consequence, for each 0 ≤ p ≤ 3, any positive solution has strictly convex superlevel sets and a unique nondegenerate maximum.

What carries the argument

The power transformation v = u^{(1-p)/2} whose strict concavity or convexity is proved directly from the PDE and the uniform convexity of the domain.

If this is right

  • For p=0 the torsion function is strictly 1/2-concave.
  • For p=1 the first eigenfunction is strictly log-concave.
  • Every superlevel set {u > t} is strictly convex for all t in (0, max u).
  • The maximum is attained at exactly one point where the solution is nondegenerate.

Where Pith is reading between the lines

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

  • The same transformation technique could be tested on convex domains in higher-dimensional spheres to see whether the exponent range 0 to 3 persists.
  • The result for p=3 may be sharp; constructing a solution on a convex domain where the transformed function ceases to be convex would confirm the upper limit.

Load-bearing premise

The domain Ω is uniformly convex inside the sphere S².

What would settle it

An explicit positive solution on a non-uniformly convex subdomain of S² for some p in [0,3] whose superlevel sets fail to be convex, or a positive solution for some p>3 on a uniformly convex domain whose transformed power is neither concave nor convex.

read the original abstract

We study positive solutions of the Dirichlet problem $-\Delta u = u^p$ in a uniformly convex domain $\Omega \subset \mathbb S^2$, $u= 0$ on $\partial\Omega.$ For $p=1$, we assume that the right-hand side is replaced by $\lambda_1 u$, where $\lambda_1$ is the first eigenvalue of $-\Delta$ on $\Omega$ with zero Dirichlet boundary condition. We prove that for $0 \leq p < 1$ the unique positive solution $u$ is such that $u^{\frac{1-p}{2}}$ is strictly concave in $\Omega$, while for $1 < p \leq 3$ every positive solution $u$ is such that $u^{\frac{1-p}{2}}$ is strictly convex in $\Omega.$ For $p=0,$ our result gives the strict $1/2-$concavity of the torsion function in $\Omega.$ For $p=1,$ a result due to Lee and Wang gives the strict log-concavity of the first eigenfunction in $\Omega.$ As a consequence, for each $0 \leq p \leq 3,$ any positive solution has strictly convex superlevel sets and a unique nondegenerate maximum.

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 / 3 minor

Summary. The manuscript studies positive solutions u of the Dirichlet problem −Δu = u^p (or λ1 u when p=1) in a uniformly convex domain Ω ⊂ S². It proves that for 0 ≤ p < 1 the unique positive solution satisfies that v = u^{(1-p)/2} is strictly concave in Ω, while for 1 < p ≤ 3 every positive solution satisfies that v is strictly convex in Ω. Special cases recover ½-concavity of the torsion function (p=0) and log-concavity of the first eigenfunction (p=1, via Lee–Wang). As a consequence, every positive solution for 0 ≤ p ≤ 3 has strictly convex superlevel sets and a unique nondegenerate maximum.

Significance. If the proofs hold, the work supplies a direct extension of Euclidean power-concavity/convexity results to the spherical setting, with the uniform-convexity hypothesis used to control boundary behavior and obtain strictness. The separation of the p=1 case via an independent cited result supplies a useful anchor. The geometric consequences (convex superlevels, unique maxima) are cleanly derived and may be of interest for further qualitative studies of semilinear equations on manifolds.

minor comments (3)
  1. [§1] §1: the statement that the result for p=1 follows from Lee–Wang should include a one-sentence reminder of the precise statement of that result (log-concavity of the eigenfunction) to make the reduction self-contained.
  2. [Introduction / §2] The definition of uniform convexity for a domain inside S² is used repeatedly but is only sketched; a short paragraph recalling the precise curvature condition (e.g., second fundamental form bounded below by a positive constant) would improve readability.
  3. [§2] Notation: the spherical Laplacian is written −Δ throughout; a brief sentence confirming that it is the Laplace–Beltrami operator induced by the round metric would eliminate any possible ambiguity for readers coming from the Euclidean literature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript and for recommending minor revision. The recognition that the work extends Euclidean power-concavity/convexity results to the spherical setting, along with the geometric consequences, is appreciated. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained PDE analysis

full rationale

The paper establishes strict concavity/convexity of the transformed solution u^{(1-p)/2} for the Lane-Emden Dirichlet problem on uniformly convex domains in S² by direct analysis of the PDE, boundary conditions, and domain convexity. The p=1 case anchors on the external Lee-Wang result for log-concavity of the first eigenfunction, which is independent (different authors, no overlap). No fitted parameters, self-definitional relations, or load-bearing self-citations appear; the superlevel-set convexity and unique-maximum consequences follow from the established concavity/convexity properties without reduction to inputs by construction. The derivation chain relies on standard elliptic estimates and comparison principles applied to the spherical setting, remaining independent of the target claims.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the uniform convexity of the domain and standard analytic properties of the Laplace-Beltrami operator; no free parameters or new entities are introduced.

axioms (2)
  • domain assumption Ω is a uniformly convex domain in S²
    Invoked as the setting in which the strict concavity/convexity holds.
  • standard math Standard properties of the spherical Laplacian and maximum principle hold
    Background facts used to derive the transformed-function concavity statements.

pith-pipeline@v0.9.1-grok · 5755 in / 1551 out tokens · 28314 ms · 2026-06-29T06:19:09.325334+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

19 extracted references · 1 canonical work pages

  1. [1]

    Acker, L

    A. Acker, L. E. Payne, and G. Philippin. On the convexity of the level lines of the fundamental mode in the clamped membrane problem, and the existence of convex solutions in a related free boundary problem.Z. Angew. Math. Phys., November 1981

    1981

  2. [2]

    H. J. Brascamp and E. H. Lieb. On extension of the Brunn-Minkowski and Prékopa–Leindler theorems, including inequalities for log concave functions, and with an application to the diffusion equation.J. Functional Anal., 22:366–389, 1976

    1976

  3. [3]

    Brezis and S

    H. Brezis and S. Kamin. Sublinear elliptic equations inRn.Manuscripta Math., 74:87–106, 1992

    1992

  4. [4]

    Brezis and L

    H. Brezis and L. Oswald. Remarks on sublinear elliptic equations.Nonlinear Anal., 10:55–64, 1986

    1986

  5. [5]

    L. A. Caffarelli and A. Friedman. Convexity of solutions of semilinear elliptic equations.Duke Math. J., 52(2):431–456, June 1985

    1985

  6. [6]

    Gidas, W

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

    1979

  7. [7]

    Gladiali, M

    F. Gladiali, M. Grossi, and L. Provenzano. The role of curvature of a surface in the shape of the solutions to elliptic equations. Preprint, arXiv:2510.15098v1, October 2025

    work page arXiv 2025

  8. [8]

    Grossi and L

    M. Grossi and L. Provenzano. On the critical points of semi-stable solutions on convex do- mains of riemannian surfaces.Math. Ann., 389:3347–3470, 2024

    2024

  9. [9]

    Hamel, N

    F. Hamel, N. Nadirashvili, and Y. Sire. Convexity of level sets for elliptic problems in convex domains or convex rings: two counterexamples.Amer. J. Math., 138(2):499–527, 2016

    2016

  10. [10]

    E. Hopf. A remark on linear elliptic differential equations of second order.Proc. Amer. Math. Soc., 3:791–793, 1952

    1952

  11. [11]

    G. Keady. The power concavity of solutions of some semilinear elliptic boundary-value prob- lems.Bull. Austral. Math. Soc., 31(2):181–184, April 1985

    1985

  12. [12]

    A. U. Kennington.An improved convexity maximum principle and some applications. PhD thesis, University of Adelaide, 1984

    1984

  13. [13]

    G. Khan, S. Saha, and M. Tuerkoen. Concavity properties of solutions of elliptic equations under conformal deformations.Math. Z., 310(70), May 2025

    2025

  14. [14]

    N. J. Korevaar and J. L. Lewis. Convex solutions of certain elliptic equations have constant rank hessians.Arch. Rational Mech. Anal., 97:19–32, March 1987

    1987

  15. [15]

    Kumaresan and J

    S. Kumaresan and J. Prajapat. Analogue of Gidas-Ni-Nirenberg result in hyperbolic space and sphere.Istit. Mat. Univ. Trieste, 30:107–112, 1998

    1998

  16. [16]

    Lee and A

    Y. Lee and A. I. Wang. Estimate ofλ2 −λ 1 on spheres.Chinese J. Math., 15(2), June 1987

    1987

  17. [17]

    C.-S. Lin. Uniqueness of least energy solutions to a semilinear elliptic equation inR 2. Manuscripta Math., 84:13–19, December 1994

    1994

  18. [18]

    L. G. Makar-Limanov. Solution of dirichlet’s problem for the equationδu=−1in a convex region.Mat. Zametki, 9(1):89–92, January 1971

    1971

  19. [19]

    Sakaguchi

    S. Sakaguchi. Concavity properties of solutions to some degenerate quasilinear elliptic Dirich- let problems.Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, Série 4, (3):403–421, 1987. Massimo Grossi, Dipartimento di Scienze di Base Applicate per l’Ingegneria, Uni- versità degli Studi di RomaLa SapienzaP.le A. Moro 5 - 00185 Roma, e-mail...

    1987