Pith. sign in

REVIEW 2 major objections 5 minor 37 references

Large number of bubble solutions for a perturbed fractional Laplacian equation

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that a perturbed fractional critical equation has positive solutions made of a large, epsilon-dependent number of bubbles, concentrating at a stable critical point of K that may be a saddle.

desk verdict Plus-sign construction is solid and new, but the theorem as stated covers a sign that is never proved. read the letter →

arxiv 1908.03386 v1 pith:ENVLT3JT submitted 2019-08-09 math.AP math.FA

Chunhua Wang , Suting Wei This is my paper · ORCID
classification math.APmath.FA MSC 35B0535B45
keywords bubblesolutionsfractionalLaplaciancriticalexponentfinite-dimensionalreductionlocalPohozaevidentitiessaddlepointharmonicextensionconcentrationpoints
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 proves that a nonlocal equation at critical Sobolev growth, perturbed by a small exponent shift $\epsilon$, has positive solutions assembled from many concentrated bubbles. The number of bubbles is of order $\epsilon^{-(N-2s-2)/(N-2s)^2}$ as $\epsilon \to 0$, and the energy diverges at the same rate. The key point is that the bubbles can concentrate at a stable critical point of the coefficient $K$ that is a saddle, so no minimization or maximization can locate them. The proof reduces the full problem to a finite-dimensional one and solves the reduced equations by a degree argument, using local Pohozaev identities to find the concentration points without directly differentiating the reduced functional.

What carries the argument

The construction is a finite-dimensional reduction (Lyapunov-Schmidt) around a sum of standard bubbles $U_{x_j,\lambda}(y)=C_{N,s}(\lambda/(1+\lambda^2|y-x_j|^2))^{(N-2s)/2}$, the explicit positive solutions of the unperturbed critical problem. Weighted norms $\|\cdot\|_*$ and $\|\cdot\|_{**}$ measure the correction and the error; with the estimates of Lemmas 2.4 and 2.5, a contraction mapping produces $\phi$ with $\|\phi\|_* \le C \epsilon^{(1+\iota)/(N-2s)}$. To choose the parameters, the paper uses local Pohozaev identities for the harmonic extension into the upper half-space; these turn stationarity into the algebraic system $\nabla K \approx 0$ and the scale balance above, and a degree argument on that system finishes the proof. The identities also avoid the long direct expansions of derivatives of the reduced functional.

What would settle it

In dimension $N=4$, take $s=0.38$, just below the boundary value $(3-\sqrt{5})/2\approx0.382$, so that $\tau=(1-s)/(2-s)\approx0.383$ and the inequality $N>4+2\tau-2s$ fails. Evaluate the annulus contribution to $J_3$ in Lemma 2.5: on the annulus $\sigma\epsilon^{(1/2+\iota)/(N-2s)}\le |(r,y'')-(r_0,y_0'')|\le 2\delta$, the factor $1/(1+\lambda|y-x_j|)$ is at most $C\epsilon^{(1/2-\iota)/(N-2s)}$, and the final exponent inequality becomes negative when $s<\tau$. A worked calculation at this $s$ would show precisely which estimate breaks, settling whether the lower bound is intrinsic or an artifact of the proof.

Watch

Extended reading notes

Core claim

Theorem 1.1 states that under conditions (K1) and (K2), if $N \ge 4$ and $s$ lies above an explicitly displayed lower bound, then for every sufficiently small $\epsilon$ the problem (1.1) has a positive solution $u_\epsilon$ with $m$ bubbles, where $m \sim \epsilon^{-(N-2s-2)/(N-2s)^2}$. The bubble centers are placed on a regular $m$-gon in the first two coordinates with a common remaining coordinate, the scale is $\lambda \sim \epsilon^{-1/(N-2s)}$, and as $\epsilon \to 0$ the centers converge to $(r_0,y_0'')$, with the correction $\phi_\epsilon$ small in a weighted norm. The concentration condition reduces to $\nabla K(\bar r,\bar y'') = o(\epsilon^{(1-\iota)/(N-2s)})$ together with the scale balance $-B_1/\lambda^3 + B_3 m^{N-2s}/\lambda^{N-2s+1} = o(1)$, and a nonzero degree of $\nabla K$ at the critical point yields a solution of this system. Consequently the stable critical point of $K$ may be a saddle.

Load-bearing premise

The load-bearing premise is the displayed lower bound on $s$, which guarantees the two technical inequalities $2s>\tau$ and $N>4+2\tau-2s$ with $\tau=(N-2s-2)/(N-2s)$; the contraction estimate for the error term $l_\epsilon$ does not close without them, and the authors state they do not know how to remove them.

Editorial extensions

If this is right

  • For every sufficiently small $\epsilon$ there is a positive solution with roughly $\epsilon^{-(N-2s-2)/(N-2s)^2}$ bubbles, so the number of peaks tends to infinity as the perturbation vanishes.
  • The corresponding energy is of order $\epsilon^{-(N-2s-2)/(N-2s)^2}$, so these are high-energy solutions produced by a single small exponent shift.
  • A saddle critical point of $K$ with $\Delta K(y_0)<0$ and nonzero local degree is enough; nondegeneracy of the critical point is not required.
  • The same argument with minor changes treats the negative perturbation exponent $2_s^*-1-\epsilon$, and the paper conjectures that the borderline case $N=3$ needs a logarithmic bubble count.
  • The explicit restriction on $s$ is automatic when $s=1$, so the result recovers the classical Laplacian phenomenon as a limit.

Reading between the lines

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

  • The technical lower bound on $s$ likely marks where the current proof stops rather than where the phenomenon stops; computing $\|l_\epsilon\|_{**}$ at the boundary value of $s$ would show whether the restriction is removable.
  • The Pohozaev-identity route should transfer to other nonlocal critical problems whose coefficient has saddle critical points, such as fractional Nirenberg-type problems on domains or spheres, where direct derivative expansions are heavier.
  • A natural numerical check is to solve the reduced finite-dimensional system for small $\epsilon$ in dimension $N=4$ with a $K$ chosen to have a saddle critical point and compare the predicted bubble count and energy scaling with the theorem's formulas.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper constructs many-bubble solutions for the fractional critical equation (-Δ)^s u = K(|y'|,y'') u^{(N+2s)/(N-2s) ± ε} in R^N, N≥4, under conditions (K1)-(K2) on K. The proof combines a finite-dimensional Lyapunov-Schmidt reduction with local Pohozaev identities introduced by Peng-Wang-Yan. The main theorem asserts that for a range of s and for small ε, there exist solutions with m ~ ε^{-(N-2s-2)/(N-2s)^2} bubbles concentrating near a stable critical point of K, which may be a saddle. The detailed proof is given for the plus sign, with the minus sign dismissed in one sentence.

Significance. If fully established, the result is a meaningful extension of multi-bubble constructions to the fractional Laplacian, allowing saddle-type concentration points and avoiding direct differentiation of the reduced functional. The paper contains a substantial amount of technical work: the weighted norms, the contraction argument, and Appendices A-D with the Pohozaev identities and auxiliary estimates. The plus-sign construction appears internally coherent. The main weakness is that the theorem as stated covers both signs while the proof only treats the plus sign; this is a theorem-proof mismatch that must be resolved before the result can be accepted in its present form.

major comments (2)
  1. [Section 1, after Remark 1.3] Theorem 1.1 is stated for both exponents 2_s^*-1+ε and 2_s^*-1-ε, but the proof is carried out only for the plus sign; the text says the minus case can be obtained by slightly modifying the arguments. This is not a notational variant. The sign of ε enters Lemma 2.4 through the exponent min(2_s^*-1+ε,2), Lemma 2.5 through the estimate (2.23) for J1, Lemma B.7 through the expansion with 1/(2_s^*+ε), and the reduced equations (3.66)-(3.68) through the balance between B1/λ^3 and B3 m^{N-2s}/λ^{N-2s+1}. None of these minus-sign versions is supplied, and the degree argument in Section 3 depends on the actual sign of the leading term in (3.68). The theorem as stated is therefore not established; the authors should either prove the minus-sign case or restrict the theorem to the plus sign.
  2. [Appendix C, proof of (2.12)] In the estimate of M12 for the case 2_s^* ≤ 3, the text states 'Noting that τ > 2s', but the standing assumption of the paper (Remark 1.2 and the inequalities used in Lemma 2.5) gives 2s > τ. Please clarify whether τ > 2s is a typo. If the estimate actually requires τ > 2s, then the proof of (2.12) is invalid under the stated assumptions on s, and the estimate of the coefficients c_l in Lemma 2.1 would need reworking.
minor comments (5)
  1. [Remark 1.4] The statement 'lim_{ε→0} λ^{(N-2s)/2} ε = c' with c a positive constant is incorrect under the scaling λ ~ ε^{-1/(N-2s)}; the product tends to 0. The subsequent bound λ^{(N-2s)/2} ε ≤ C is what is needed and is true.
  2. [Page 5, outline of Section 3] In the definition of the domain of the reduced functional F, the upper endpoint is written as L1 ε^{1/(N-2s)}; the exponent should be -1/(N-2s) to match (1.9) and the rest of the paper.
  3. [Lemma 2.5] In the proof, the text says 'In order to estimate J12, first we define...'; there is no quantity J12, and the intended reference is likely J2.
  4. [Lemma 3.4] In the proof, u_ε is written as Z_{\bar r,\bar y'',\mu} + φ with an undefined parameter μ; it should be λ.
  5. [Proposition 2.3 proof] There is a typo 'the re exists a unique ϕ' that should read 'there exists'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof constructs solutions from the hypotheses on K, and the reduced equations determine the concentration parameters rather than encoding the conclusion.

full rationale

The derivation is self-contained and non-circular. The paper uses a Lyapunov-Schmidt reduction with an explicit bubble ansatz, then derives reduced equations (3.66)-(3.68) that determine the concentration parameters (r_bar, y_bar'', lambda). These equations are consequences of the local Pohozaev identities, which are proved in Appendix A, and of the estimates in the main text; they are not fitted to the desired conclusion. The hypotheses (K1)-(K2) are assumptions on K, not artifacts of the construction, and the degree argument at the end uses the stable critical point of K to solve the reduced system. The self-citations [27] and [28] supply the reduction method and the Pohozaev-identity technique, but the load-bearing estimates and identities are either proved in the paper or cited from external works ([16], [17], [34]); no unverified self-citation is used to force the central claim. The paper's explicit limitation that the proof is written for the plus sign and the minus sign is deferred to 'slightly modifying the arguments' (Section 1) is a possible completeness or correctness gap, not circularity, because the minus sign is not used as an input to the derivation. The paper does not rename a known result, does not fit parameters to data, and does not define the target quantity in terms of itself.

Assumptions & free parameters 1 free parameters · 5 assumptions · 0 invented entities

The construction has no empirically fitted constants. The bubble count m and concentration scale lambda are ansatz parameters determined by the reduced equations. The main axioms are the standard analytic toolkit plus the hypotheses on K and the technical s-range.

free parameters (1)
  • Number of bubbles m and concentration scale lambda = m = [epsilon^{-(N-2s-2)/(N-2s)^2}], lambda in [L0 epsilon^{-1/(N-2s)}, L1 epsilon^{-1/(N-2s)}]
    These are construction parameters, not empirical fits. The final lambda is fixed by the reduced equation (3.68) through a root t in [L0, L1]; the interval endpoints are chosen a priori. The theorem's conclusion itself uses this scaling, so the entry is listed for completeness.
assumptions (5)
  • standard math The bubble family U_{x,lambda} gives the unique positive solutions of the limit equation (-Delta)^s u = u^{2_s^*-1}, up to translation and scaling.
    Used throughout as the building block for the approximate solution; standard classification quoted in Section 1.
  • standard math The Caffarelli-Silvestre extension identifies (-Delta)^s in R^N with a degenerate elliptic boundary problem in R^{N+1}_+.
    Used to derive the local Pohozaev identities in Appendix A and the extension estimates in Lemmas B.3-B.5.
  • domain assumption The stability and curvature conditions (K1) and (K2) suffice for solvability of the reduced finite-dimensional equations.
    These are the stated hypotheses on K. The sign condition Delta K(y0) < 0 is used in Lemma B.7 to make B1 > 0, so that the lambda-balance equation (3.68) has a solution.
  • ad hoc to paper The technical range max{(N+1-sqrt(N^2-2N+9))/4, (3-sqrt(N^2-6N+13))/2} < s < 1 makes the estimates (2.25), (2.27), and (2.31) in Lemma 2.5 close.
    The authors state in Remark 1.2 that these are technical assumptions and that they do not know how to remove them; they are needed for the bound on l_epsilon and hence for the contraction-mapping step.
  • domain assumption The imported estimates from [16, 17, 34], including Lemmas B.1-B.5, are correct and apply in the present setting.
    The proof relies on these lemmas for kernel estimates, weighted norm bounds, and extension estimates; if any were false, the reduction argument would fail.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Large number of bubble solutions for a perturbed fractional Laplacian equation." pith.science (2026). https://pith.science/paper/ENVLT3JT

@misc{pith2026190803386,
  author       = {Pith},
  title        = {Pith review of: Large number of bubble solutions for a perturbed fractional Laplacian equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ENVLT3JT}},
  note         = {Machine review of arXiv:1908.03386}
}
abstract

This paper deals with the following nonlinear perturbed fractional Laplacian equation $$(-\Delta)^s u = K(|y'|,y'')u^{\frac{N+2s}{N-2s}\pm\epsilon},\,\,u>0,\,\,u\in D^{1,s}(\mathbb{R}^N),$$ where $0<s<1, N\geq 4,$ $(y',y'')\in \mathbb{R}^2\times \mathbb{R}^{N-2},$ $\epsilon>0$ is a small parameter and $K(y)$ is nonnegative and bounded. By combining a finite reduction argument and local Pohozaev type of identities, we prove that if $N\geq 4,\max\{\frac{N+1-\sqrt{N^{2}-2N+9}}{4},\frac{3-\sqrt{N^{2}-6N+13}}{2}\}<s<1$ and $K(r,y'')$ has a stable critical point $(r_0, y_0'')$ with $r_0>0$ and $K(r_0, y_0'')>0,$ then the above problem has large number of bubble solutions if $\epsilon>0$ is small enough. Also there exist solutions whose functional energy is in the order $\epsilon^{-\frac{N-2s-2}{(N-2s)^{2}}}$. Here, instead of estimating directly the derivatives of the reduced functional, we apply some local Pohozaev identities to locate the concentration points of the bubble solutions. Moreover, the concentration points of the bubble solutions include a saddle point of $K(y)$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages

  1. [16]

    Y. Guo, T. Liu, J. Nie, Solutions for fractional operator proble m via local Pohozaev identities, arXiv:1904.08316, 2019

    work page Pith review arXiv 1904

  2. [27]

    S. Peng, C. Wang, S. Wei, Constructing solutions for the presc ribed scalar curvature problem via local Pohozaev identities. J. Differential Equations 267 (2019), 2503-2 530

    work page 2019

  3. [1]

    Applebaum, Levy processes and stochastic calculus, Second edition, Cambridge Studies in Advanced Matematics, 116, Cambridge University Press, Cambridge, 2009

    D. Applebaum, Levy processes and stochastic calculus, Second edition, Cambridge Studies in Advanced Matematics, 116, Cambridge University Press, Cambridge, 2009

    work page 2009

  4. [2]

    Barrios, E

    B. Barrios, E. Colorado, A. de Pablo, U. S´ anchez, On some critic al problems for the fractional Laplacian operator. J. Differential Equations 252 (2012), 6133-6162

    work page 2012

  5. [3]

    Br¨ andle, E

    C. Br¨ andle, E. Colorado, A. de Pablo, U. S´ anchez, A concave- convex elliptic problem involving the fractional Laplacian. Proc. Roy. Soc. Edinburgh Sect. A 143 (201 3), 39-71

    work page

  6. [4]

    Barrios, E

    B. Barrios, E. Colorado, R. Servadei, F. Soria, A critical fractio nal equation with concave-convex power nonlinearities. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire 32 (2015), 875-900

    work page 2015

  7. [5]

    Brezis, Y.Y

    H. Brezis, Y.Y. Li, Some nonlinear elliptic equations have only consta nt solutions. J. Partial Differ. Equ. 19 (2006), 208-217

    work page 2006

  8. [6]

    Cabr´ e, J

    X. Cabr´ e, J. Tan, Positive solutions of nonlinear problems involvin g the square root of the Laplacian. Adv. Math. 224 (2010), 2052-2093

    work page 2010

Show all 37 references
  1. [7]

    Caffarelli, L

    L. Caffarelli, L. Silvestre, An extension problem related to the fra ctional Laplacian. Comm. Partial Differential Equations 32 (2007), 1245-1260

    2007

  2. [8]

    W. Chen, Y. Li, P. Ma, the fractional Laplacian, World Scientific Pu blishing Co Pte Ltd, Singapore, 2019. SOLUTIONS FOR A PERTURBED FRACTIONAL LAPLACIAN EQUATION 43

    2019

  3. [9]

    W. Chen, J. Wei, S. Yan, Infinitely many positive solutions for the S chr¨ odinger equations inRN with critical growth. J. Differential Equations 252 (2012), 2425-2447

    2012

  4. [10]

    del Pino, P

    M. del Pino, P. Felmer, M. Musso, Two-bubble solutions in the sup er-critcal Bahri-Coron’s problem. Calc. Var. Partial Differential Equations 16 (2003), 113-145

    2003

  5. [11]

    Deng, C.-S

    Y. Deng, C.-S. Lin, S. Yan, On the prescribed scalar curvature problem in RN , local uniqueness and periodicity. J. Math. Pures Appl. 104 (2015), 1013–1044

    2015

  6. [12]

    Di Nezzaa, G

    E. Di Nezzaa, G. Palatuccia, E. Valdinocia, Hitchhiker’s guide to t he fractional Sobolev spaces, Bull. Svi. Math. 136 (2012), 521-573

    2012

  7. [13]

    Felmer, A

    P. Felmer, A. Quaas, J. Tan, Positive solutions of the nonlinear S chr¨ odinger equation with the fractional Laplacian. Proc. Roy. Soc. Edinburgh Sect. A 142 (2012), 1237-1 262

    2012

  8. [14]

    Y. Guo, S. Peng, S. Yan, Local uniqueness and periodicity induc ed by concentration. Proc. London Math. Soc. (3) 114 (2017), 1005-1043

    2017

  9. [15]

    Y. Guo, T. Liu, J. Nie, Construction of solutions for the polyhar monic equation via local Pohozaev identities, Calc. Var. Partial Differential Equations (2019) 58:123

    2019

  10. [17]

    Y. Guo, J. Nie, Infinitely many non-radial solutions for the pres cribed curvature problem of fractional operator. Discrete Contin. Dyn. Syst. 36 (2016), 6873-6898

    2016

  11. [18]

    Jin, Y.Y

    J. Jin, Y.Y. Li, J. Xiong, On a fractional Nirenberg problem, part I: blow up analysis and compactness of solutions. J. Eur. Math. Soc. 16 (2014), 1111-1171

    2014

  12. [19]

    Y. Y. Li, J. Wei, H. Xu, Multi-bump solutions of ( −∆) su = K(x)u n+2 n− 2 on lattices in Rn. J. Reine Angew. Math. 743(2018), 163-211

    2018

  13. [20]

    Lin, W.-M

    F. Lin, W.-M. Ni, J. Wei, On the number of interior peak solutions fo r a singularly perturbed Neumann problem. Comm. Pure Appl. Math. 60 (2007), 252-281

    2007

  14. [21]

    Liu, Large number of bubble solutions for the equation ∆ u + K(y)u N +2 N − 2 ±ǫ = 0 on RN

    Z. Liu, Large number of bubble solutions for the equation ∆ u + K(y)u N +2 N − 2 ±ǫ = 0 on RN . Sci. China Math. 59 (2016), 459-478

    2016

  15. [22]

    M. Niu, Z. Tang, L. Wang, Solutions for conformally invariant fra ctional Laplacian equations with multi-bumps centered in lattices. J. Differential Equations 266 (201 9), 1756-1831

  16. [23]

    Rey, The role of the Green’s function in a nonlinear elliptic proble m involving the critical Sobolev exponent

    O. Rey, The role of the Green’s function in a nonlinear elliptic proble m involving the critical Sobolev exponent. J. Funct. Anal. 89 (1990), 1-52

    1990

  17. [24]

    Rey, Boundary effect for an elliptic neumann problem with critic al nonlinearity, Commun

    O. Rey, Boundary effect for an elliptic neumann problem with critic al nonlinearity, Commun. in Partial Differential Equations, 22 (1997), 1055-1139

    1997

  18. [25]

    Tan, The Brezis-Nirenberg type problem involving the square root of the Laplacian

    J. Tan, The Brezis-Nirenberg type problem involving the square root of the Laplacian. Calc. Var. Partial Differential Equations 42 (2011), 21-41

    2011

  19. [26]

    J. Tan, J. Xiong, A Harnack inequality for fractional Laplace eq uations with lower order terms. Discrete Contin. Dyn. Syst. 31 (2011), 975-983

    2011

  20. [28]

    S. Peng, C. Wang, S. Yan, Construction of solutions via local Po hozaev identities. J. Funct. Anal. 274 (2018), 2606-2633

    2018

  21. [29]

    V´ atois, S

    J. V´ atois, S. Wang, Infinitely many solutions for cubic nonlinear Schr¨ odinger equations in dimension four. (English summary) Adv. Nonlinear Anal. 8 (2019), 715-724

    2019

  22. [30]

    X. Wang, J. Wei, On the equation ∆ u + K(x)u N +2 N − 2 ±ǫ2 = 0 in RN . Rend. Circ. Mat. Palermo (2) 44 (1995), 365-400

    1995

  23. [31]

    L. Wang, J. Wei, S. Yan, A Neumann problem with critical exponen t in nonconvex domains and Lin-Ni’s conjecture. Trans. Amer. Math. Soc. 362 (2010), 4581-4615

    2010

  24. [32]

    L. Wang, J. Wei, S. Yan, On Lin-Ni’s conjecture in convex domains . Proc. Lond. Math. Soc. (3) 102 (2011), 1099-1126

    2011

  25. [33]

    J. Wei, S. Yan, Infinitely many positive solutions for the nonlinear Schr¨ odinger equations inRN . Calc. Var. Partial Differential Equations 37 (2010), 423-439

    2010

  26. [34]

    J. Wei, S. Yan, Infinitely many solutions for the prescribed scala r curvature problem on SN . J. Funct. Anal. 258 (2010), 3048-3081. 44 CHUNHUA W ANG AND SUTING WEI

    2010

  27. [35]

    J. Wei, S. Yan, On a stronger Lazer-McKenna conjecture for Ambrosetti-Prodi type problems. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 9 (2010), 423-457

    2010

  28. [36]

    J. Wei, S. Yan, Infinitely many positive solutions for an elliptic prob lem with critical or supercritical growth. J. Math. Pures Appl. (9) 96 (2011), 307-333

    2011

  29. [37]

    S. Yan, J. Yang, X. Yu, Equations involving fractional Laplacian operator: compactness and application. J. Funct. Anal. 269 (2015), 47-79. School of Mathematics and Statistics & Hubei Key Laboratory of Mathematical Sciences, Central China Normal University, Wuhan, 430079, P. R...

    2015

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.