pith. sign in

arxiv: 1906.10628 · v2 · pith:FW2IIVZTnew · submitted 2019-06-25 · 🧮 math.AP · math.FA

Brezis-Nirenberg type result for Kohn Laplacian with critical Choquard Nonlinearity

Divya Goel , K. Sreenadh This is my paper

Pith reviewed 2026-05-25 16:22 UTC · model grok-4.3

classification 🧮 math.AP math.FA
keywords Brezis-Nirenberg problemKohn LaplacianChoquard nonlinearityHeisenberg groupcritical exponentDirichlet problemnonexistenceregularity
0
0 comments X

The pith

Positive solutions exist for the critical Choquard problem on the Heisenberg group precisely when the parameter a lies in a specific range, and all solutions are regular.

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

The paper examines a Dirichlet problem driven by the Kohn Laplacian on a smooth bounded domain in the Heisenberg group, incorporating a critical Choquard nonlinearity. It proves a Brezis-Nirenberg type result showing existence of positive solutions for the parameter a in a certain interval, nonexistence outside that interval, and regularity of any solutions that exist. This matters to a sympathetic reader because it demonstrates that the choice of critical exponent and the associated variational techniques extend from the Euclidean setting to this sub-Riemannian geometry without fundamental obstruction.

Core claim

For the Dirichlet problem -Delta_H u = a u + (integral over Omega of |u(eta)|^{Q^*_lambda} / |eta^{-1} xi|^lambda d eta) |u|^{Q^*_lambda-2} u in Omega with u=0 on partial Omega, where Q^*_lambda = (2Q - lambda)/(Q-2), positive solutions exist when a belongs to a certain range, fail to exist outside that range, and every solution is regular.

What carries the argument

The energy functional incorporating the critical Choquard term, analyzed through mountain-pass geometry and concentration-compactness arguments adapted to the Heisenberg group.

If this is right

  • The first eigenvalue of the Kohn Laplacian marks the threshold separating existence from nonexistence.
  • Solutions remain regular even though the nonlinearity is nonlocal.
  • Nonexistence holds for a outside the identified interval.
  • The result recovers the classical Brezis-Nirenberg conclusion when the domain is Euclidean.

Where Pith is reading between the lines

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

  • The same critical exponent and compactness arguments are likely to work for related nonlocal problems on other Carnot groups.
  • The regularity statement may combine with boundary regularity results for the Kohn Laplacian to yield global smoothness up to the boundary.

Load-bearing premise

The critical exponent for the Choquard term is the correct one and the standard variational and compactness arguments carry over to the Heisenberg group without new structural obstructions.

What would settle it

Constructing or exhibiting a positive solution for a value of a outside the claimed existence interval, or producing a solution that fails to be regular inside the claimed interval.

read the original abstract

In this article, we are study the following Dirichlet problem with Choquard type non linearity \[ -\Delta_{\mathbb{H}} u = a u+ \left(\int_{\Omega}\frac{|u(\eta)|^{Q^*_\lambda}}{|\eta^{-1}\xi|^{\lambda}}d\eta\right)|u|^{Q^*_\lambda-2}u \; \text{in}\; \Omega,\quad u = 0 \; \text{ on } \partial \Omega , \] where $\Omega$ is a smooth bounded subset of the Heisenberg group $\mathbb{H}^N, N\in \mathbb N$ with $C^2$ boundary and $\Delta_{\mathbb{H}}$ is the Kohn Laplacian on the Heisenberg group $\mathbb{H}^N$. Here, $Q^*_\lambda=\frac{2Q-\lambda}{Q-2},\; Q= 2N+2$ and $a$ is a positive real parameter. We derive the Brezis-Nirenberg type result for the above problem. Moreover, we also prove the regularity of solutions and nonexistence of solutions depending on the range of $a$.

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 the Dirichlet problem -Δ_H u = a u + (∫_Ω |u(η)|^{Q^*_λ} / |η^{-1}ξ|^λ dη) |u|^{Q^*_λ-2} u in Ω, u=0 on ∂Ω, where Ω ⊂ H^N is bounded with C^2 boundary, Δ_H is the Kohn Laplacian, Q=2N+2, and Q^*_λ=(2Q-λ)/(Q-2) is the critical Choquard exponent. It proves a Brezis-Nirenberg type result: positive solutions exist for a in an interval determined by the first eigenvalue λ_1 and a threshold a*, do not exist outside this range, and all solutions are regular.

Significance. If the result holds, the work extends the classical Brezis-Nirenberg theorem to the subelliptic setting on the Heisenberg group with a nonlocal critical Choquard term. The variational argument correctly identifies the critical exponent, adapts mountain-pass geometry and concentration-compactness via the homogeneous norm, and obtains boundary regularity from subelliptic estimates; these steps are load-bearing and correctly executed without internal inconsistency.

minor comments (3)
  1. [Abstract] Abstract, line 1: 'we are study' should be corrected to 'we study'.
  2. [Abstract] The notation for the kernel |η^{-1}ξ|^{-λ} in the integral term should be clarified with an explicit statement that ξ is the integration variable (or vice versa) to avoid ambiguity in the first reading.
  3. [Introduction] Ensure that the definition of the critical exponent Q^*_λ appears with the same formula in both the abstract and the introduction; minor typographical inconsistency in the displayed equation can be fixed in revision.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation of minor revision. The referee's summary accurately describes the Dirichlet problem, the Brezis-Nirenberg type existence/nonexistence results, and the regularity statements for the critical Choquard problem driven by the Kohn Laplacian.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper establishes existence/nonexistence and regularity for the Dirichlet problem via standard variational methods (mountain-pass geometry, concentration-compactness) adapted to the Kohn Laplacian and Heisenberg group. The critical exponent Q^*_λ is obtained from homogeneous scaling of the Choquard kernel, which is an independent calculation not fitted to the target result. All load-bearing steps rely on subelliptic embeddings and estimates from external references, with no reduction of any claimed result to a self-citation chain, ansatz smuggled via citation, or parameter fitted to the same data. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

Result rests on standard functional-analytic properties of the Heisenberg group and the definition of the critical exponent; a is treated as a free parameter whose range is determined by the analysis.

free parameters (1)
  • a
    Positive real parameter whose specific range controls existence versus nonexistence of solutions.
axioms (1)
  • standard math Standard Sobolev embeddings, critical exponents, and variational methods hold for the Kohn Laplacian on H^N with the given Q and lambda.
    Invoked implicitly to set up the functional setting and critical exponent Q^*_λ.

pith-pipeline@v0.9.0 · 5736 in / 1380 out tokens · 57324 ms · 2026-05-25T16:22:04.210432+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

35 extracted references · 35 canonical work pages · 1 internal anchor

  1. [1]

    Biagini, Positive solutions for a semilinear equation on the Heisenb erg group, Bollettino della Unione Matematica Italiana-B 4 (1995), 883-900

    S. Biagini, Positive solutions for a semilinear equation on the Heisenb erg group, Bollettino della Unione Matematica Italiana-B 4 (1995), 883-900

    work page 1995

  2. [2]

    Birinidelli, I

    I. Birinidelli, I. Capuzzo Dolcetta and A. Cutri, Indefinite semilinear equations on the heisenberg group: a prior1 bounds and existence , Communications in partial differential equations 23 (1998), no. 7-8, 1123-1157

    work page 1998

  3. [3]

    Birindelli and A

    I. Birindelli and A. Cutr ` ı, A semi-linear problem for the Heisenberg Laplacian , Rendiconti del Seminario Matematico della Universita di Padova 94 (1995), 137-153

    work page 1995

  4. [4]

    Brezis and T

    H. Brezis and T. Kato, Remarks on the Schrodinger operator with singular complex potential,Journal de Math´ ematiques Pures et Appliqu´ ees58 (1979), 137-151

    work page 1979

  5. [5]

    Brezis and E

    H. Brezis and E. H. Lieb, A relation between pointwise convergence of functions and convergence of functionals , Proceedings of American Mathematical Society 88 (1983), 486-490. 31

    work page 1983

  6. [6]

    Brezis and L

    H. Brezis and L. Nirenberg, Positive solutions of nonlinear elliptic equations involv ing critical Sobolev exponents, Communications on Pure and Applied Mathematics 36 (1983), 437–477

    work page 1983

  7. [7]

    Citti, Semilinear Dirichlet problem involving critical exponent for the Kohn Laplacian , Annali di Matematica Pura ed applicata 169 (1995), no

    G. Citti, Semilinear Dirichlet problem involving critical exponent for the Kohn Laplacian , Annali di Matematica Pura ed applicata 169 (1995), no. 1, 375-392

    work page 1995

  8. [8]

    G. B. Folland, Subelliptic estimates and function spaces on nilpotent Lie g roups, Arkiv f¨ or matematik13 (1975), no. 1-2, 161-207

    work page 1975

  9. [9]

    G. B. Folland, A fundamental solution for a subelliptic operator , Bulletin of the American Mathematical Society 79 (1973), no. 2, 373-376

    work page 1973

  10. [10]

    G. B. Folland and E. M. Stein, Estimates for the ¯∂b complex and analysis on the Heisen- berg group, Communications on Pure and Applied Mathematics 27 (1974), no. 4, 429-522

    work page 1974

  11. [11]

    R. L. Frank and E. H. Lieb, Sharp constants in several inequalities on the Heisenberg group, Annals of Mathematics (2012), 349-381

    work page 2012

  12. [12]

    Fr¨ ohlich,Theory of electrical breakdown in ionic crystal , Proceedings of Royal Society of Edinburgh Section A 160(901) (1937), 230-241

    H. Fr¨ ohlich,Theory of electrical breakdown in ionic crystal , Proceedings of Royal Society of Edinburgh Section A 160(901) (1937), 230-241

    work page 1937

  13. [13]

    Gao, and M

    F. Gao, and M. Yang, On the Brezis-Nirenberg type critical problem for nonlinea r Choquard equation, Science China Mathematics 61 (2018), 12191242

    work page 2018

  14. [14]

    Gao and M

    F. Gao and M. Yang, On nonlocal Choquard equations with Hardy–Littlewood–Sobol ev critical exponents, Journal of mathematical analysis and applications 448 (2017), 1006- 1041

    work page 2017

  15. [15]

    Garofalo and E

    N. Garofalo and E. Lanconelli, Frequency functions on the Heisenberg group, the uncer- tainty principle and unique continuation , In Annales de l’institut Fourier 40 (1990), no. 2, 313-356

    work page 1990

  16. [16]

    Garofalo and E

    N. Garofalo and E. Lanconelli, Existence and nonexistence results for semilinear equa- tions on the Heisenberg group , Indiana University mathematics journal 41 (1992), no. 1, 71-98

    work page 1992

  17. [17]

    Garofalo and E

    N. Garofalo and E. Lanconelli, Zero-order perturbations of the subelliptic Laplacian on t he Heisenberg group and their uniqueness properties , Bulletin of the American Mathematical Society 23 (1990), no. 2, 501-511

    work page 1990

  18. [18]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger, Elliptic partial differential equations of second order , springer 2015

    work page 2015

  19. [19]

    Heisenberg, The physical principles of the quantum theory , Courier Corporation (1949)

    W. Heisenberg, The physical principles of the quantum theory , Courier Corporation (1949). 32

    work page 1949

  20. [20]

    H¨ ormander, Hypoelliptic second order differential equations , Acta Mathematica 119 (1967), no

    L. H¨ ormander, Hypoelliptic second order differential equations , Acta Mathematica 119 (1967), no. 1, 147-171

    work page 1967

  21. [21]

    Jerison and J

    D. Jerison and J. M. Lee, Intrinsic CR normal coordinates and the CR Yamabe problem , Journal of Differential Geometry 29 (1989), no. 2, 303-343

    work page 1989

  22. [22]

    Jerison and J

    D. Jerison and J. M. Lee, Extremals for the Sobolev inequality on the Heisenberg grou p and the CR Yamabe problem , Journal of American Mathematical Society 1 (1988), no. 1, 1-13

    work page 1988

  23. [23]

    D. S. Jerison, The Dirichlet problem for the Kohn Laplacian on the Heisenber g group, I , Journal of Functional Analysis 43 (1981), no. 1, 97-142

    work page 1981

  24. [24]

    D. S. Jerison, The Dirichlet problem for the Kohn Laplacian on the Heisenber g group, II , Journal of Functional Analysis 43 (1981), no. 2, 224-257

    work page 1981

  25. [25]

    Lanconelli and F

    E. Lanconelli and F. Uguzzoni, Asymptotic behavior and non-existence theorems for semilinear Dirichlet problems involving critical exponen t on unbounded domains of the Heisenberg group, Bollettino dell’Unione Matematica Italiana 1 (1998), no. 1, 139-168

    work page 1998

  26. [26]

    Lieb, Existence and uniqueness of the minimizing solution of Choqu ards nonlinear equation, Studies in Applied Mathematics 57 (1976/77), 93–105

    E.H. Lieb, Existence and uniqueness of the minimizing solution of Choqu ards nonlinear equation, Studies in Applied Mathematics 57 (1976/77), 93–105

    work page 1976

  27. [27]

    Molica Bisci, V D

    G. Molica Bisci, V D. R˘ adulescu, and R. Servadei, Varia tional methods for nonlocal fractional problems, Cambridge University Press 162 (2016)

    work page 2016

  28. [28]

    Moroz, J

    V. Moroz, J. Van Schaftingen, Existence of groundstates for a class of nonlinear Choquard equations, Transactions of American Mathematical Society 367 (2015), 6557–6579

    work page 2015

  29. [29]

    Moroz, J

    V. Moroz, J. Van Schaftingen, Groundstates of nonlinear Choquard equations: Hardy- Littlewood-Sobolev critical exponent, Communications in Contemporary Mathematics 17 (2015), 1550005

    work page 2015

  30. [30]

    Moroz, J

    V. Moroz, J. Van Schaftingen, A guide to the Choquard equation , Journal of Fixed Point Theory and Applications 19 (2017), no. 1, 773-813

    work page 2017

  31. [31]

    Critical growth elliptic problems with Choquard type nonlinearity:A survey

    T. Mukherjee and K. Sreenadh, Critical growth elliptic problems with Choquard type nonlinearity, Preprint: arXiv:1811.04353

    work page internal anchor Pith review Pith/arXiv arXiv

  32. [32]

    Pekar, Untersuchung ¨ uber die Elektronentheorie der Kristalle, Akademie Verlag, Berlin (1954)

    S. Pekar, Untersuchung ¨ uber die Elektronentheorie der Kristalle, Akademie Verlag, Berlin (1954)

    work page 1954

  33. [33]

    H Rabinowitz, Minimax methods in critical point theory with applications to differen- tial equations, American Mathematical Society (1986), no

    P. H Rabinowitz, Minimax methods in critical point theory with applications to differen- tial equations, American Mathematical Society (1986), no. 65

    work page 1986

  34. [34]

    Struwe, Variational Methods, Springer, New York, 1990

    M. Struwe, Variational Methods, Springer, New York, 1990

    work page 1990

  35. [35]

    Willem, Minimax Theorems, Birkh¨ auser Boston, MA (1996)

    M. Willem, Minimax Theorems, Birkh¨ auser Boston, MA (1996)

    work page 1996