pith. sign in

arxiv: 2403.07641 · v6 · submitted 2024-03-12 · 🧮 math.AP

Sign-changing bubbling solutions for an exponential nonlinearity in mathbb{R}²

Yibin Zhang This is my paper

Pith reviewed 2026-05-24 02:43 UTC · model grok-4.3

classification 🧮 math.AP
keywords sign-changing bubbling solutionsexponential nonlinearityDirichlet boundary conditionsenergy expansionnodal linesplanar domainscritical pointsconcentration
0
0 comments X

The pith

For small λ the equation −Δu=λu|u|^{p−2}e^{|u|^p} with Dirichlet conditions admits positive and sign-changing solutions bubbling at arbitrary m points, with energies approaching 4πm from below for p<1 and from above for 1<p<2.

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

The paper constructs bubbling solutions to a semilinear elliptic equation with exponential nonlinearity in a bounded planar domain. It relies on the existence of a C^1-stable critical point to produce both positive solutions and sign-changing ones that concentrate at m arbitrary isolated points inside the domain. Energy calculations show that these solutions' energies approach the value 4πm from below if the exponent parameter p is less than 1, and from above if p is between 1 and 2. The work also gives conditions under which the nodal sets of the sign-changing solutions meet the domain boundary and proves existence of solutions with one to three sign changes in general domains and arbitrarily many in symmetric ones.

Core claim

Using the assumption of a C^1-stable critical point, positive or sign-changing solutions with arbitrary m isolated bubbles are constructed to the boundary value problem −Δu=λu|u|^{p−2}e^{|u|^p} under homogeneous Dirichlet boundary condition in a bounded, smooth planar domain Ω when 0<p<2 and λ>0 is small. Vanishing identities of first and second order prove that the energy expansion of these bubbling solutions converges to 4πm from below for any 0<p<1 and from above for any 1<p<2. A sufficient condition is given on the intersection between the nodal line of these sign-changing solutions and the boundary of the domain. Moreover, for λ small enough, the problem has at least two pairs of once-n

What carries the argument

The assumption of a C^1-stable critical point that enables construction of the m-bubble solutions together with first- and second-order vanishing identities that fix the direction of energy convergence.

Load-bearing premise

A C^1-stable critical point exists and can be used to construct the bubbling solutions for the given equation.

What would settle it

An energy computation for a constructed bubbling solution when 0<p<1 that instead approaches 4πm from above, or failure to locate any such solutions in a domain that lacks a C^1-stable critical point.

read the original abstract

Very differently from those perturbative techniques of Deng-Musso in [26], we use the assumption of a $C^1$-stable critical point to construct positive or sign-changing solutions with arbitrary $m$ isolated bubbles to the boundary value problem $-\Delta u=\lambda u|u|^{p-2}e^{|u|^p}$ under homogeneous Dirichlet boundary condition in a bounded, smooth planar domain $\Omega$, when $0<p<2$ and $\lambda>0$ is a small but free parameter. We build a vanishing identity of first order and an identity of second order to prove that for any $0<p<1$ the delicate energy expansion of these bubbling solutions always converges to $4\pi m$ from below, but for any $1<p<2$ the energy always converges to $4\pi m$ from above, where the latter case sharply recurs a result of De Marchis-Malchiodi-Martinazzi-Thizy in [32] involving concentration and compactness properties at any critical energy level $4\pi m$ only for positive bubbling solutions. A sufficient condition on the intersection between the nodal line of these sign-changing solutions and the boundary of the domain is founded. Moreover, for $\lambda$ small enough, we prove that when $\Omega$ is an arbitrary bounded domain, this problem has not only at least two pairs of bubbling solutions which change sign exactly once and whose nodal lines intersect the boundary, but also a bubbling solution which changes sign exactly twice or three times; when $\Omega$ has an axial symmetry, this problem has a bubbling solution which alternately changes sign arbitrarily many times along the axis of symmetry through the domain.

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 constructs positive and sign-changing bubbling solutions with an arbitrary number m of isolated bubbles for the Dirichlet problem −Δu = λ u |u|^{p−2} exp(|u|^p) in a bounded smooth domain Ω ⊂ ℝ², for small λ > 0 and 0 < p < 2. The construction proceeds from the assumption of a C¹-stable critical point of a reduced functional. First- and second-order energy identities are derived to show that the energy of the constructed solutions approaches 4πm from below for 0 < p < 1 and from above for 1 < p < 2. Additional results include a sufficient condition for the nodal line to intersect ∂Ω, existence of solutions changing sign exactly once (at least two pairs), twice or three times, and, under axial symmetry of Ω, solutions changing sign arbitrarily many times along the axis.

Significance. If the first- and second-order identities are verified for the sign-changing case, the work supplies an explicit construction of nodal bubbling solutions with controlled energy deviation from 4πm that depends on the range of p; this dichotomy is new relative to the positive-solution compactness result of [32]. The C¹-stable-critical-point hypothesis permits arbitrary m without perturbative restrictions on the locations, which is a technical strength. The existence statements for low numbers of sign changes and the axial-symmetry construction are concrete applications of the general framework.

major comments (1)
  1. [Energy identities section] The second-order energy identity (invoked to obtain the sign of the deviation from 4πm when 1 < p < 2) is stated to hold for both positive and sign-changing solutions, yet the cited reference [32] establishes the corresponding expansion only for positive solutions. The manuscript must indicate the precise location (section or proposition) where the adaptation to the odd nonlinearity u|u|^{p−2} is carried out when nodal domains are present; without this verification the claimed convergence from above for sign-changing profiles is not supported.
minor comments (2)
  1. [Abstract] Abstract, line beginning 'A sufficient condition... is founded': replace 'founded' by 'established' or 'proved'.
  2. [Abstract] Abstract, sentence on existence for arbitrary domains: the phrasing 'has not only at least two pairs...' is grammatically awkward; rephrase for clarity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comment on the energy identities. We address the point below.

read point-by-point responses

  1. Referee: [Energy identities section] The second-order energy identity (invoked to obtain the sign of the deviation from 4πm when 1 < p < 2) is stated to hold for both positive and sign-changing solutions, yet the cited reference [32] establishes the corresponding expansion only for positive solutions. The manuscript must indicate the precise location (section or proposition) where the adaptation to the odd nonlinearity u|u|^{p−2} is carried out when nodal domains are present; without this verification the claimed convergence from above for sign-changing profiles is not supported.

    Authors: The first- and second-order identities are constructed directly in the manuscript (Section 3) for the sign-changing case. The derivation adapts the arguments of [32] by exploiting the oddness of the nonlinearity, which permits integration over each nodal domain separately while preserving the same expansion. We will revise the text to add an explicit cross-reference (e.g., a remark immediately after the statement of the second-order identity) indicating that the adaptation to nodal solutions is carried out in Proposition 3.4. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction rests on external stability assumption

full rationale

The derivation begins with the explicit external input of a C¹-stable critical point (of an unspecified reduced functional) to construct the bubbling solutions for arbitrary m via Lyapunov-Schmidt/gluing when λ is small. First- and second-order vanishing identities are then derived to control the sign of the energy deviation from 4πm. These steps do not reduce any claimed prediction or result to a fitted parameter, a self-definition, or a load-bearing self-citation chain; the identities are presented as new for the sign-changing case, and the citation to [32] is only for the positive-solution precedent being extended. The nodal-line intersection condition and multiplicity results for small λ likewise follow from the same external assumption plus the derived expansions, without circular reduction. The paper is therefore self-contained against its stated inputs.

Axiom & Free-Parameter Ledger

3 free parameters · 1 axioms · 0 invented entities

Central construction depends on the external C1-stable critical point assumption and the smallness of λ; no new entities are introduced and no parameters are fitted to data.

free parameters (3)
  • λ
    Small positive parameter required for the bubbling regime; not fitted but taken sufficiently small.
  • p
    Exponent parameter in (0,2) whose range split at 1 controls energy direction.
  • m
    Arbitrary positive integer counting the number of bubbles.
axioms (1)
  • domain assumption Existence of a C^1-stable critical point
    Invoked explicitly in the first sentence to construct the solutions.

pith-pipeline@v0.9.0 · 5824 in / 1389 out tokens · 28666 ms · 2026-05-24T02:43:17.007310+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

41 extracted references · 41 canonical work pages

  1. [1]

    Adams, Sobolev Spaces, New York: Academic Press, 19 75

    R.A. Adams, Sobolev Spaces, New York: Academic Press, 19 75

    work page

  2. [2]

    Aubin, Some Nonlinear Problems in Riemannian Geometr y, Springer-Verlag, Berlin, 1998

    T. Aubin, Some Nonlinear Problems in Riemannian Geometr y, Springer-Verlag, Berlin, 1998

    work page 1998

  3. [3]

    Battaglia, Uniform bounds for solutions to elliptic p roblems on simply connected planar domains, Proc

    L. Battaglia, Uniform bounds for solutions to elliptic p roblems on simply connected planar domains, Proc. Amer. Mat h. Soc. 147 (2019) 4289–4299

    work page 2019

  4. [4]

    Bebernes, D

    J. Bebernes, D. Eberly, Mathematical Problems from Comb ustion Theory, Springer, Berlin, 1989

    work page 1989

  5. [5]

    Baraket, F

    S. Baraket, F. Parcard, Construction of singular limits for a semilinear elliptic equation in dimension 2, Calc. Var . Partial Differential Equations 6 (1998) 1–38

    work page 1998

  6. [6]

    Bartsch, A.M

    T. Bartsch, A.M. Micheletti, A. Pistoia, On the existenc e and the profile of nodal solutions of elliptic equations inv olving critical growth, Calc. Var. Partial Differential Equations 26 (2006) 265–282

    work page 2006

  7. [7]

    Bartolucci, A

    D. Bartolucci, A. Pistoia, Existence and qualitative pr operties of concentrating solutions for the sinh-Poisson e qua-tion, IMA J. Appl. Math. 72 (2007) 706–729

    work page 2007

  8. [8]

    Bartsch, A

    T. Bartsch, A. Pistoia, Critical points of the N-vortex H amiltonian in bounded planar domains and steady state solut ions of the incompressible Euler equations, SIAM J. Appl. Math. 75 (201 5) 726–744

    work page

  9. [9]

    Bartsch, A

    T. Bartsch, A. Pistoia, T. Weth, N-vortex equilibria for ideal fluids in bounded planar domains and new nodal solution s of the sinh-Poisson and the Lane-Emden-Fowler equations, Commun . Math. Phys. 297 (2010) 653–686

    work page 2010

  10. [10]

    Brezis, F

    H. Brezis, F. Merle, Uniform estimates and blow-up beha vior for solutions of −∆u = V (x)eu in two dimensions, Comm. Partial Differential Equations 16 (1991) 1223–1253

    work page 1991

  11. [11]

    Brezis, L.A

    H. Brezis, L.A. Peletier, Asymptotics for elliptic equ ations involving critical growth, Partial Differential Equ ations and the Calculus of Variations: Essays in Honor of Ennio De Giorgi, Birkhäuse r, 1989, p.149–192

    work page 1989

  12. [12]

    Calegari, V

    F. Calegari, V. Dimitrov, Y. Tang, The linear independe nce of 1, ζ(2), and L(2, χ−3), arXiv:2408.15403, Preprint

    work page arXiv

  13. [13]

    D. Chae, O. Imanuvilov, The existence of non-topologic al multivortex solutions in the relativistic self-dual Che rn-Simons theory, Commun. Math. Phys. 215 (2000) 119–142

    work page 2000

  14. [14]

    Chen, C.S

    C.C. Chen, C.S. Lin, Sharp estimates for solutions of mu lti-bubbles in compact Riemann surfaces, Comm. Pure Appl. M ath. 55 (2002) 728–771

    work page 2002

  15. [15]

    Caglioti, P.L

    E. Caglioti, P.L. Lions, C. Marchioro, M. Pulvirenti, A special class of stationary flows for two-dimensional Euler equations: a statistical mechanics description, Commmun. Math. Phys. 1 43 (1992) 501–525

    work page 1992

  16. [16]

    Caglioti, P.L

    E. Caglioti, P.L. Lions, C. Marchioro, M. Pulvirenti, A special class of stationary flows for two-dimensional Euler equations: a statistical mechanics description. Part II, Commmun. Math . Phys. 174 (1995) 229–260

    work page 1995

  17. [17]

    Caffarelli, Y

    L. Caffarelli, Y. Yang, Vortex condensation in the Chern -Simons Higgs model: an existence theorem, Commum. Math. Ph ys. 168 (1995) 321–336

    work page 1995

  18. [18]

    del Pino, M

    M. del Pino, M. Kowalczyk, M. Musso, Singular limits in L iouville-type equations, Calc. Var. Partial Differential E quations 24 (2005) 47–81

    work page 2005

  19. [19]

    del Pino, M

    M. del Pino, M. Musso, B. Ruf, New solutions for Trudinge r-Moser critical equations in R2, J. Funct. Anal. 258 (2010) 421–457

    work page 2010

  20. [20]

    del Pino, M

    M. del Pino, M. Musso, B. Ruf, Beyond the Trudinger-Mose r supremum, Calc. Var. Partial Differential Equations 44 (20 12) 543–576

    work page

  21. [21]

    S. Deng, M. Musso, Bubbling solutions for an exponentia l nonlinearity in R2, J. Differential Equations 257 (2014) 2259–2302

    work page 2014

  22. [22]

    De Marchis, A

    F. De Marchis, A. Malchiodi, L. Martinazzi, P.-D. Thizy , Critical points of the Moser-Trudinger functional on clos ed surfaces, Invent. Math. 230 (2022) 1165–1248

    work page 2022

  23. [23]

    Esposito, M

    P. Esposito, M. Grossi, A. Pistoia, On the existence of b lowing-up solutions for a mean field equation, Ann. Inst. H. P oincaré Anal. Non Linéaire 22 (2005) 227–257

    work page 2005

  24. [24]

    Esposito, M

    P. Esposito, M. Musso, A. Pistoia, Concentrating solut ions for a planar elliptic problem involving nonlinearitie s with large exponent, J. Differential Equations 227 (2006) 29–68

    work page 2006

  25. [25]

    Esposito, M

    P. Esposito, M. Musso, A. Pistoia, On the existence and p rofile of nodal solutions for a twodimensional elliptic prob lem with large exponent in nonlinearity, J. Lond. Math. Soc. 49 (2007) 497– 519

    work page 2007

  26. [26]

    Flucher, Extremal functions for the Trudinger-Mose r inequality in 2 dimensions, Comm

    M. Flucher, Extremal functions for the Trudinger-Mose r inequality in 2 dimensions, Comm. Math. Helv. 67 (1992) 471 –497. SIGN-CHANGING BUBBLING SOLUTIONS 39

    work page 1992

  27. [27]

    Gilbarg, N.S

    D. Gilbarg, N.S. Trudinger, Elliptic Partial Different ial Equations of Second Order, Second Edition, Die Grundleh ren der mathe- matischen Wissenschaften in Einzeldarstellungen, vol. 22 4. Springer, Berlin, 1983

    work page 1983

  28. [28]

    Grisvard, Elliptic Problems in Nonsmooth Domains, M onographs and Studies in Mathematics, vol

    P. Grisvard, Elliptic Problems in Nonsmooth Domains, M onographs and Studies in Mathematics, vol. 24. Boston, MA: P itman, 1985

    work page 1985

  29. [29]

    Han, Asymptotic approach to singular solutions fo r nonlinear elliptic equations involving critical Sobolev exponent, Ann

    Z.C. Han, Asymptotic approach to singular solutions fo r nonlinear elliptic equations involving critical Sobolev exponent, Ann. Inst. H. Poincaré Analyse Non Linéaire 8 (1991) 159–174

    work page 1991

  30. [30]

    Q. Han, F. Lin, Elliptic Partial Differential Equations , Courant Lecture Notes in Math., vol. 1, New York University . American Mathematical Society, Providence, RI, 1997

    work page 1997

  31. [31]

    Liouville, Sur L’ Equation aux Difference Partielles d2 log λ dudv ± λ 2a2 = 0, C.R

    J. Liouville, Sur L’ Equation aux Difference Partielles d2 log λ dudv ± λ 2a2 = 0, C.R. Acad. Sci. Paris 36 (1853) 71–72

    work page

  32. [32]

    Y. Li, I. Shafrir, Blow-up analysis for solutions of −∆u = V eu in dimension two, Indiana Univ. Math. J. 43 (1994) 1255–1270

    work page 1994

  33. [33]

    Malchiodi, L

    A. Malchiodi, L. Martinazzi, P.-D. Thizy, Critical poi nts of arbitrary energy for the Trudinger-Moser embedding i n planar domains, arXiv:2212.10303, Preprint

    work page arXiv

  34. [34]

    Mancini, L

    G. Mancini, L. Martinazzi, The Moser-Trudinger inequa lity and its extremals on a disk via energy estimates, Calc. V ar. Partial Differential Equations (2017) 56:94

    work page 2017

  35. [35]

    Martinazzi, P.-D

    L. Martinazzi, P.-D. Thizy, J. Vétois, Sign-changing b low-up for the Moser-Trudinger equation, J. Funct. Anal. 28 2 (2022) 109288

    work page 2022

  36. [36]

    L. Ma, J. Wei, Convergence for a Liouville equation, Com ment. Math. Helv. 76 (2001) 506–514

    work page 2001

  37. [37]

    Nagasaki, T

    K. Nagasaki, T. Suzuki, Asymptotic analysis for two-di mensional elliptic eigenvalue problems with exponentiall y dominated non- linearities, Asymptotic Anal. 3 (1990) 173–188

    work page 1990

  38. [38]

    Palais, The principle of symmetric criticality, C ommmun

    R.S. Palais, The principle of symmetric criticality, C ommmun. Math. Phys. 69 (1979) 19–30

    work page 1979

  39. [39]

    Senba, T

    T. Senba, T. Suzuki, Some structures of the solution set for a stationary system of chemotaxis, Adv. Math. Sci. Appl. 10 (2000) 191–224

    work page 2000

  40. [40]

    Trudinger, On imbeddings into Orlicz spaces and so me applications, J

    N.S. Trudinger, On imbeddings into Orlicz spaces and so me applications, J. Math. Mech. 17 (1967) 473–483

    work page 1967

  41. [41]

    Weston, On the asymptotic solution of a partial diff erential equation with an exponential nonlinearity, SIAM J

    V.H. Weston, On the asymptotic solution of a partial diff erential equation with an exponential nonlinearity, SIAM J . Math. Anal. 9 (1978) 1030–1053. College of Sciences, Nanjing Agricultural University, Nan jing 210095, China Email address : yibin10201029@njau.edu.cn

    work page 1978