Pith. sign in

REVIEW 2 major objections 2 minor 44 references

Critical concave-convex problems in Carnot groups

T0 review · 2 major / 2 minor · reviewed 2026-05-17 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗

Pith's one-line read A Dirichlet problem with concave-convex and critical nonlinearity in Carnot groups has two positive solutions.

desk verdict Extends Ambrosetti-Brezis-Cerami to Carnot groups but the local-minimizer step after the variational Perron construction is the part that needs the most checking. read the letter →

arxiv 2512.04640 v3 submitted 2025-12-04 math.AP

Mattia Galeotti , Eugenio Vecchi This is my paper · ORCID
classification math.AP
keywords CarnotgroupsDirichletproblemconcave-convexproblemscriticalnonlinearitypositivesolutionsvariationalmethodsSobolevinequalityPerronmethod
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 aims to show that there are two positive solutions to a model Dirichlet problem featuring concave-convex nonlinearity at the critical exponent when the domain is a Carnot group. This builds on the Ambrosetti-Brezis-Cerami theorem by adapting it to settings where Euclidean tools like boundary regularity are unavailable. The key is using the variational Perron method with Sobolev minimizer estimates to find the solutions and verify the local minimizer property for one of them. Readers interested in nonlinear PDEs would care as this confirms that solution multiplicity persists in more general geometric contexts like sub-Riemannian manifolds.

What carries the argument

The variational Perron method applied to estimates of Sobolev inequality minimizers, which constructs the solutions and establishes the local minimizer property.

What would settle it

Constructing or computing a specific instance in the Heisenberg group where only one or zero positive solutions exist for the critical concave-convex problem would show the claim does not hold in general.

Watch

Extended reading notes

Core claim

We prove the existence of two positive solutions for the Dirichlet problem with concave-convex and critical nonlinearity in Carnot groups. To this aim we use a variational Perron method combined with proper estimates of a family of functions which are minimizers of the relevant Sobolev inequality. Due to the lack of boundary regularity, we also have to be careful while proving that the first solution found is a local minimizer in the proper topology.

Load-bearing premise

The variational Perron method together with Sobolev minimizer estimates produces a first solution that is a local minimizer in the proper topology despite the lack of boundary regularity.

Editorial extensions

If this is right

  • Two positive solutions exist for the model problem in general Carnot groups.
  • The first solution is a local minimizer in the appropriate topology.
  • The method succeeds without relying on boundary regularity.
  • Similar multiplicity holds for critical nonlinearities in these noncommutative settings.

Reading between the lines

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

  • The result indicates that variational techniques can replace regularity assumptions in proving existence for PDEs on Carnot groups.
  • Extensions to other critical problems or different group structures could follow from this approach.
  • Investigating the stability or asymptotic behavior of these solutions might be a natural next step.
  • Connections to geometric analysis problems involving the horizontal Laplacian in stratified groups may be worth exploring.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The manuscript establishes the existence of two positive weak solutions for a Dirichlet problem with concave-convex nonlinearity and critical growth in Carnot groups. It constructs the first solution via a variational Perron method applied to a family of Sobolev minimizers, then obtains the second solution by a mountain-pass argument, with explicit attention to the absence of Euclidean boundary regularity when verifying that the first solution is a local minimizer in the horizontal Sobolev space.

Significance. If the local-minimizer step is rigorously justified, the result extends the Ambrosetti-Brezis-Cerami theorem to the subelliptic setting of Carnot groups. This would be a meaningful contribution to the literature on critical exponents for horizontal Sobolev spaces and variational methods on stratified Lie groups, particularly for domains whose boundaries may contain characteristic points.

major comments (2)
  1. [Section on variational Perron construction and local minimizer verification] The argument that the Perron solution u is a local minimizer of the energy functional in the horizontal Sobolev space (necessary for the mountain-pass geometry to produce a second distinct solution) relies on comparison and truncation arguments that must hold uniformly up to the boundary. Given the possible presence of characteristic points, it is not immediate that the standard Euclidean boundary-trace estimates carry over; a concrete counter-example or a detailed estimate controlling the horizontal gradient near such points would be required to close the gap.
  2. [Estimates of Sobolev minimizers] The paper invokes 'proper estimates of a family of functions which are minimizers of the relevant Sobolev inequality' to produce the first solution. It is unclear whether these estimates remain valid when the test functions are truncated or compared near the boundary; if the constants deteriorate, the positivity and minimality properties used later may fail.
minor comments (2)
  1. [Abstract] The abstract states 'two positve solutions'; correct the spelling to 'positive'.
  2. [Preliminaries] Notation for the horizontal gradient and the Carnot-group homogeneous dimension should be introduced once in the preliminaries and used consistently thereafter.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the constructive comments, which help clarify the technical points regarding boundary behavior in Carnot groups. We address each major comment below and will incorporate additional details and estimates in the revised version to strengthen the arguments.

read point-by-point responses

  1. Referee: [Section on variational Perron construction and local minimizer verification] The argument that the Perron solution u is a local minimizer of the energy functional in the horizontal Sobolev space (necessary for the mountain-pass geometry to produce a second distinct solution) relies on comparison and truncation arguments that must hold uniformly up to the boundary. Given the possible presence of characteristic points, it is not immediate that the standard Euclidean boundary-trace estimates carry over; a concrete counter-example or a detailed estimate controlling the horizontal gradient near such points would be required to close the gap.

    Authors: We appreciate the referee highlighting this subtlety in the local-minimizer verification. The manuscript already notes the lack of Euclidean boundary regularity and adapts the truncation and comparison arguments intrinsically using the Carnot-Carathéodory distance and the horizontal gradient. However, to make the uniformity explicit, we will add a dedicated lemma in the revised version that controls the horizontal gradient near characteristic points via the stratified structure of the group. This estimate ensures the truncation errors remain bounded independently of the boundary point and closes the argument without relying on Euclidean trace theorems. revision: yes

  2. Referee: [Estimates of Sobolev minimizers] The paper invokes 'proper estimates of a family of functions which are minimizers of the relevant Sobolev inequality' to produce the first solution. It is unclear whether these estimates remain valid when the test functions are truncated or compared near the boundary; if the constants deteriorate, the positivity and minimality properties used later may fail.

    Authors: The family of Sobolev minimizers is constructed using the sharp constant from the Sobolev inequality on Carnot groups, which is domain-independent. Truncations and comparisons are performed with cut-off functions that are Lipschitz continuous with respect to the intrinsic metric; this preserves the minimality up to a controllable error that does not affect the positivity or the subsequent variational arguments. We will add a clarifying remark and a short proof sketch in the revised manuscript to confirm that the constants remain uniform under these operations. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; derivation uses independent variational tools

full rationale

The paper establishes existence of two positive solutions via the variational Perron method applied to a concave-convex critical problem in Carnot groups, combined with estimates on Sobolev minimizers drawn from established prior literature. The technical step of verifying that the first weak solution is a local minimizer in the horizontal Sobolev space, despite absent Euclidean boundary regularity, proceeds by adapted comparison and truncation arguments within the standard variational framework rather than by redefinition or fitting. No load-bearing equation or claim reduces by construction to the paper's own inputs, self-citations, or ansatzes; the central existence result remains independent of any self-referential loop.

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

The central claim rests on the validity of the Sobolev inequality and variational methods in Carnot groups, which are drawn from prior literature rather than derived here.

assumptions (2)
  • domain assumption The Sobolev inequality holds with a positive best constant in Carnot groups
    Invoked to obtain estimates on the family of minimizers used in the Perron method.
  • domain assumption The sub-Laplacian satisfies the necessary regularity and comparison principles for the Perron method
    Required to construct the first solution and verify it is a local minimizer.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Critical concave-convex problems in Carnot groups." pith.science (2026). https://pith.science/paper/2512.04640

@misc{pith2026251204640,
  author       = {Pith},
  title        = {Pith review of: Critical concave-convex problems in Carnot groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2512.04640}},
  note         = {Machine review of arXiv:2512.04640}
}
read the original abstract

We consider a model Dirichlet problem with concave-convex and critical nonlinearity settled in Carnot groups. Our aim is to prove the existence of two positve solutions in the spirit of a famous result by Ambrosetti, Brezis and Cerami. To this aim we use a variational Perron method combined with proper estimates of a family of functions which are minimizers of the relevant Sobolev inequality. Due to the lack of boundary regularity, we also have to be careful while proving that the first solution found is a local minimizer in the proper topology.

Discussion (0). Continue with ORCID to comment.

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

44 extracted references · 44 canonical work pages

  1. [1]

    Abdellaoui, A

    B. Abdellaoui, A. Dieb, E. Valdinoci,A nonlocal concave-convex problem with nonlocal mixed boundary data, Commun. Pure Appl. Anal.17(3), (2018), 1103–1120. 2, 10

    work page 2018

  2. [2]

    Abedin, G

    F. Abedin, G. Tralli,Boundary regularity for subelliptic equations in the Heisenberg group, preprint. https://arxiv.org/abs/2506.051512

    work page arXiv

  3. [3]

    Alama,Semilinear elliptic equations with sublinear indefinite nonlinearities, Adv

    S. Alama,Semilinear elliptic equations with sublinear indefinite nonlinearities, Adv. Differential Equations 4, (1999), 813–842. 2

    work page 1999

  4. [4]

    Ambrosetti, H

    A. Ambrosetti, H. Br´ ezis, G. Cerami,Combined effects of concave and convex nonlinearities in some elliptic problems, J. Funct. Anal.122(2), (1994), 519–543. 2, 6, 7

    work page 1994

  5. [5]

    Badiale, G

    M. Badiale, G. Tarantello,Existence and multiplicity results for elliptic problems with critical growth and discontinuous nonlinearities, Nonlinear Anal. Theory Methods Appl.29, (1997), 639–677. 14, 18

    work page 1997

  6. [6]

    Baldi, G

    A. Baldi, G. Citti, G. Cupini,Schauder estimates at the boundary for sublaplacians in Carnot groups, Calc. Var. Partial Differential Equations58(2019), art. 204. 2

    work page 2019

  7. [7]

    Banerjee, N

    A. Banerjee, N. Garofalo, I.H. Munive,Higher order boundary Schauder estimates in Carnot groups, Math. Ann.390(2024), 6013–6047. 2

    work page 2024

  8. [8]

    Barrios, E

    B. Barrios, E. Colorado, R. Servadei, F. Soria,A critical fractional equation with concave-convex power nonlinearities, Ann. Inst. H.Poincar´ e Anal. Non Lin´ eaire32(4), (2015), 875–900. 2

    work page 2015

Show all 44 references
  1. [9]

    Biagi, M

    S. Biagi, M. Galeotti, E. Vecchi,Critical singular problems in Carnot groups, preprint.https://arxiv. org/abs/2506.075212, 7, 8, 9, 13, 14, 15, 17, 18, 19

  2. [10]

    Biagi, A

    S. Biagi, A. Pinamonti, E. Vecchi,Sublinear Equations Driven by H¨ ormander Operators, J. Geom. Anal. 32, (2022), art. 121. 6

    2022

  3. [11]

    Biagi, E

    S. Biagi, E. Vecchi,On the existence of a second positive solution to mixed local-nonlocal concave-convex critical problems, Nonlinear Anal.256, (2025), 113795. 2 CRTITICAL CONCAVE-CONVEX PROBLEMS IN CARNOT GROUPS 21

    2025

  4. [12]

    Bonfiglioli, E

    A. Bonfiglioli, E. Lanconelli, F. Uguzzoni,Stratified Lie Groups and Potential Theory for their Sub- Laplacians. Springer Monographs in Mathematics, vol. 26. Springer, New York, NY (2007). 4

    2007

  5. [13]

    Bonfiglioli, F

    A. Bonfiglioli, F. Uguzzoni,Nonlinear Liouville theorems for some critical problems on H-type groups, J. Funct. Anal.207(1), (2004), 161–215. 2, 5

    2004

  6. [14]

    Br´ ezis, S

    H. Br´ ezis, S. Kamin,Sublinear elliptic equations inR n, Manuscripta Math.74(1), (1992), 87–106. 6

    1992

  7. [15]

    Br´ ezis, L

    H. Br´ ezis, L. Nirenberg,Positive solutions of nonlinear elliptic equation involving the critical Sobolev exponent, Comm. Pure Appl. Math.36, (1983), 437–477. 2, 5

    1983

  8. [16]

    Br´ ezis, L

    H. Br´ ezis, L. Nirenberg,H 1 versusC 1 local minimizers, C. R. Acad. Sci. Paris317, (1993), 465–472. 2, 10

    1993

  9. [17]

    Charro, E

    F. Charro, E. Colorado, I. Peral,Multiplicity of solutions to uniformly elliptic fully nonlinear equations with concave-convex right-hand side, J. Differential Equations246(11), (2009), 4221–4248. 2

    2009

  10. [18]

    Citti,Semilinear Dirichlet problem involving critical exponent for the Kohn Laplacian, Ann

    G. Citti,Semilinear Dirichlet problem involving critical exponent for the Kohn Laplacian, Ann. Mat. Pura. Appl.169, (1995), 375–392. 2

    1995

  11. [19]

    Citti, F

    G. Citti, F. Uguzzoni,Critical semilinear equations on the Heisenberg group: the effect of the topology of the domain, Nonlinear Anal.46, (2001), 399–417. 2

    2001

  12. [20]

    Colorado, I

    E. Colorado, I. Peral,Semilinear elliptic problems with mixed Dirichlet-Neumann boundary conditions, J. Funct. Anal.199(2), (2003), 468–507. 2

    2003

  13. [21]

    Ekeland,On the variational principle, J

    I. Ekeland,On the variational principle, J. Math. Anal. Appl.47, (1974), 324–353. 2

    1974

  14. [22]

    Felli, F

    V. Felli, F. Uguzzoni,Some existence results for the Webster scalar curvature problem in presence of symmetry, Ann. Mat. Pura Appl.183(4), (2004), 469–493. 2

    2004

  15. [23]

    Folland,Subelliptic estimates and function spaces on nilpotent Lie groups, Ark

    G.B. Folland,Subelliptic estimates and function spaces on nilpotent Lie groups, Ark. Mat.13, (1975), 161–207. 4

    1975

  16. [24]

    Folland, E.M

    G.B. Folland, E.M. Stein,Hardy Spaces on Homogeneous Groups, Princeton University Press, Dec. 2020. 4, 5

    2020

  17. [25]

    Garofalo, E

    N. Garofalo, E. Lanconelli,Existence and nonexistence results for semilinear equations on the Heisenberg group, Indiana Univ. Math. J.41(1), (1992), 71–98. 2

    1992

  18. [26]

    Garofalo, D

    N. Garofalo, D. Vassilev,Regularity near the characteristic set in the non-linear Dirichlet problem and conformal geometry of sub-Laplacians on Carnot groups, Math Ann318, (2000), 453—516. 2

    2000

  19. [27]

    Garofalo, D

    N. Garofalo, D. Vassilev,Symmetry properties of positive entire solutions of Yamabe-type equations on groups of Heisenberg type, Duke Math. J.106(3), (2001), 411–448. 2, 5

    2001

  20. [28]

    H¨ ormander,Hypoelliptic second order differential equations, Acta Math.119, (1967), 147–171

    L. H¨ ormander,Hypoelliptic second order differential equations, Acta Math.119, (1967), 147–171. 1

    1967

  21. [29]

    Jerison,The Dirichlet problem for the Kohn Laplacian on the Heisenberg group

    D.S. Jerison,The Dirichlet problem for the Kohn Laplacian on the Heisenberg group. I, J. Functional Analysis43(1), (1981), 97–142. 2

    1981

  22. [30]

    Jerison,The Dirichlet problem for the Kohn Laplacian on the Heisenberg group

    D.S. Jerison,The Dirichlet problem for the Kohn Laplacian on the Heisenberg group. II, J. Functional Analysis43(2), (1981), 224–257. 2

    1981

  23. [31]

    Jerison, J.M

    D.S. Jerison, J.M. Lee,The Yamabe problem on CR manifolds, J. Differential Geom.25(2), (1987), 167–

    1987

  24. [32]

    Jerison, J.M

    D.S. Jerison, J.M. Lee,Extremals for the Sobolev inequality on the Heisenberg group and the CR Yamabe problem, J. Amer. Math. Soc.1(1), (1988), 1–13. 2

    1988

  25. [33]

    Jerison, J.M

    D.S. Jerison, J.M. Lee,Intrinsic CR normal coordinates and the CR Yamabe problem, J. Differ. Geom. 29, (1989), 303–343. 2

    1989

  26. [34]

    Loiudice,Semilinear subelliptic problems with critical growth on Carnot groups, Manuscripta Math

    A. Loiudice,Semilinear subelliptic problems with critical growth on Carnot groups, Manuscripta Math. 124, (2007), 247–259. 2, 5, 6

    2007

  27. [35]

    Loiudice,Critical growth problems with singular nonlinearities on Carnot groups, Nonlinear Anal.126, (2015), 415–436

    A. Loiudice,Critical growth problems with singular nonlinearities on Carnot groups, Nonlinear Anal.126, (2015), 415–436. 2

    2015

  28. [36]

    Loiudice,Optimal decay ofp-Sobolev extremals on Carnot groups, J

    A. Loiudice,Optimal decay ofp-Sobolev extremals on Carnot groups, J. Math. Anal. Appl.470(1), (2019), 619–631. 2

    2019

  29. [37]

    Loiudice,Critical problems with Hardy potential on stratified Lie groups, Adv

    A. Loiudice,Critical problems with Hardy potential on stratified Lie groups, Adv. Differential Equations 28(1-2), (2023), 1–33. 2

    2023

  30. [38]

    Maalaoui, V

    A. Maalaoui, V. Martino, A. Pistoia,Concentrating solutions for a sub-critical sub-elliptic problem, Dif- ferential Integral Equations26(11-12), (2013), 1263–1274. 2

    2013

  31. [39]

    Malchiodi, F

    A. Malchiodi, F. Uguzzoni,A perturbation result for the Webster scalar curvature problem on the CR sphere, J. Math. Pures Appl.81(10), (2002), 983–997. 2

    2002

  32. [40]

    Palatucci, M

    G. Palatucci, M. Piccinini, L. Temperini,Struwe’s global compactness and energy approximation of the critical Sobolev embedding in the Heisenberg group, Adv. Calc. Var. (2024),https://doi.org/10.1515/ acv-2024-00442 22 M. GALEOTTI AND E. VECCHI

    2024

  33. [41]

    Ruzhansky, D

    M. Ruzhansky, D. Suragan,Green’s Identities, Comparison Principle and Uniqueness of Positive Solutions for Nonlinear p-sub-Laplacian Equations on Stratified Lie Groups, Potential Anal53, (2020), 645–658. 6, 12

    2020

  34. [42]

    Struwe,Variational Methods, Springer-Verlag, Berlin, 1990

    M. Struwe,Variational Methods, Springer-Verlag, Berlin, 1990. xiv+244 pp. 2, 7

    1990

  35. [43]

    Tarantello,On nonhomogeneous elliptic equations involving critical Sobolev exponent, Ann

    G. Tarantello,On nonhomogeneous elliptic equations involving critical Sobolev exponent, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire9, (1992), 281–304. 2, 12, 17, 20

    1992

  36. [44]

    F. Uguzzoni,A non-existence theorem for a semilinear Dirichlet problem involving critical exponent on halfspaces of the Heisenberg group, NoDEA Nonlinear Differential Equations Appl.6, (1999), 191–206. 2 (M. Galeotti)Dipartimento di Matematica Universit`a di Bologna Piazza di ...

    1999

Pith tools

Reviewed May 17, 2026 · model on record in the stance chip above.