Pith. sign in

REVIEW 5 major objections 5 minor 33 references

Nonexistence of positive supersolutions for semilinear fractional elliptic equations in exterior domains

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

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

Pith's one-line read The fractional semilinear inequality admits no positive supersolutions in exterior domains under local conditions on the nonlinearity.

desk verdict A serious paper with a real gap: the n>2s results are probably right, but the s=1/2 branch of Theorem 3.2 has a sign error and the comparison principle is used without a limiting argument. read the letter →

arxiv 2412.06746 v2 pith:AL5ZJE5J submitted 2024-12-09 math.AP

Reshmi Biswas , Alexander Quaas This is my paper · ORCID
classification math.AP MSC 35R1135R0935B5335D3035D40
keywords LiouvilletheoremexteriordomainsemilinearinequalityfractionalLaplaciannonexistencesupersolutionfundamentalsolutioncomparisonprinciple
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 prove Liouville-type nonexistence theorems for the fractional semilinear inequality $(-\Delta)^s u \ge f(u,x)$ in exterior domains $\mathbb{R}^n \setminus B_{r_0}$, for all $n\ge 1$ and $s\in(0,1)$. The central claim is that no positive continuous supersolution can exist once $f$ obeys only local conditions: when $n>2s$, only the behavior of $f(t,x)$ near $t=0$ matters, and when $n\le 2s$, only the behavior as $t\to+\infty$ matters. This replaces global assumptions on the nonlinearity and covers all dimensions, including the previously untreated line case $n=1$, $s\ge 1/2$, with the whole-space case included as a special case. If the theorems are correct, the decisive object is the fundamental solution of the fractional Laplacian, whose exponent $\sigma_*=-n+2s$ changes sign exactly at the critical split $2s=n$.

What carries the argument

The engine is the fundamental solution $\Phi(x)=|x|^{\sigma_*}$, $-\log|x|$, or $-|x|^{\sigma_*}$ according as $\sigma_*=-n+2s<0$, $=0$, or $>0$, together with carefully cut versions of it supported on annuli. These cut fundamental solutions are used as barriers that are subsolutions for $(-\Delta)^s$ on the exterior region and small on the inner ball; the quantitative strong maximum principle (Lemmas 2.4 through 2.8) then converts pointwise lower bounds on annuli into growth information on $m(r)=\inf_{B_{2r}\setminus B_r}u$, and the comparison principle (Theorem 2.3) is applied to force a contradiction between the lower and upper bounds on $m(r)$ and the behavior of $f$.

What would settle it

Run the comparison step (3.17)--(3.22) explicitly for the barrier $m(r)+\epsilon(-\log|x|)$ in the case $s=1/2$: if one can exhibit a continuous positive $u$ with $(-\Delta)^{1/2}u\ge 0$ in $\mathbb{R}\setminus B_{r_0}$ for which the inequality at infinity fails in the required limiting sense, the proof of the upper bound $m(r)\le C\log r$ collapses and the $s=1/2$ branch of Theorem 3.2 is refuted. Equivalently, any explicit continuous positive supersolution of $(-\Delta)^{1/2}u\ge g(u)$ in an exterior domain with $g$ satisfying the exponential condition (3.3) would disprove the theorem.

Watch

Extended reading notes

Core claim

In the authors' own formulation, the main discovery is Theorem 3.2 for $2s\ge n$ (that is, $n=1$, $s\in[1/2,1)$) and Theorems 4.1 and 4.3 for $2s<n$, $n\ge 1$: under hypotheses (f1')--(f3') or (f1)--(f2)/(f2')--(f4'), the inequality $(-\Delta)^s u\ge f(u,x)$ has no continuous positive solution in any exterior domain. For the model nonlinearity $f(t,x)=|x|^{-\gamma}g(t)$ with $\gamma<2s$, the nonexistence conditions become $\liminf_{t\to+\infty} e^{bt}g(t)>0$ for every $b>0$ when $n=1$, $s=1/2$; $\liminf_{t\to+\infty} t^{-\tilde\alpha_*}g(t)>0$, with $\tilde\alpha_*=1+(2s-\gamma)/(-\sigma_*)$, when $n=1$, $s>1/2$; and $\liminf_{t\to 0} t^{-\tilde\alpha_*}g(t)>0$ when $n>2s$. The theorems are stated so that the conclusion holds for classical, weak, and viscosity notions of supersolution.

Load-bearing premise

The load-bearing premise is that the comparison principle, stated for bounded domains, can be applied to barriers that are unbounded at infinity, such as $m(r)+\epsilon(-\log|x|)$ and $\eta(\tilde\Phi-1)$; the required limiting argument at infinity is not written out, and if those comparisons fail for merely continuous positive supersolutions the $s=1/2$ branch of Theorem 3.2 would not follow.

Editorial extensions

If this is right

  • The critical split $2s=n$ is forced by the fundamental solution: for $n>2s$ the fundamental solution decays at infinity and the nonlinearity is tested near $t=0$, while for $n\le 2s$ it grows or is logarithmic at infinity and the nonlinearity is tested near $t=+\infty$.
  • For power-type nonlinearities the results recover and extend the known critical exponent $p=n/(n-2s)$ in dimensions $n>2s$, and they provide a new nonexistence statement on the line $n=1$, $s\ge 1/2$.
  • Because the only ingredients are comparison and maximum principles, the conclusion applies to classical, weak, and viscosity supersolutions and to inequalities interpreted in both divergence and nondivergence forms.
  • Taking the deleted ball arbitrarily small shows that the whole-space Liouville theorem is a special case of the exterior-domain result.

Reading between the lines

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

  • If the dichotomy is sharp, analogous nonexistence thresholds should hold for fractional Hardy operators and for systems of fractional inequalities, with the same local conditions near zero or infinity replacing global growth assumptions.
  • A natural test is whether the exponent $\tilde\alpha_*$ is optimal: for $f(t)=t^p$ it predicts the threshold $p\ge 1/(1-2s)$ on the line $n=1$, $s>1/2$, a concrete number that separate computations could probe.
  • For $s=1/2$, the condition that $g$ not decay faster than any exponential suggests the borderline may be controlled by a Laplace-transform type condition on $1/g$, which would require new estimates beyond the paper.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

5 major / 5 minor

Summary. The paper proves nonexistence of positive continuous supersolutions of the fractional semilinear inequality (-Delta)^s u >= f(u,x) in exterior domains of R^n, for s in (0,1). The main results are Theorem 3.2 for n=1 and s in [1/2,1), where nonexistence is driven by the behavior of f as its first argument tends to infinity, and Theorems 4.1 and 4.3 for n>2s, where the decisive hypothesis is the behavior of f near t=0. The proofs combine truncated fundamental-solution barriers with quantitative strong maximum principles and comparison arguments. The claimed results are broad and, if fully established, would substantially generalize existing Liouville theorems for fractional elliptic inequalities, including the case n=1 and the borderline s=1/2. The paper gives explicit model nonlinearities and conditions, and the strategy of using local assumptions rather than global ones is attractive. However, several load-bearing comparison and sign estimates are not justified as written, especially in Section 3.

Significance. If the theorems are correct, the paper would be a meaningful contribution: it covers all dimensions n>=1, treats both regimes n<=2s and n>2s, relaxes the hypotheses on f to local conditions, and addresses exterior domains as well as the whole space. The authors correctly identify the different roles of the fundamental solution in the three regimes sigma*<0, sigma*=0 and sigma*>0. The paper also contains useful preparatory material on quantitative strong maximum principles and makes explicit model nonlinearities satisfying the hypotheses. There are no fitted parameters and no circular dependence on the main theorem. The main reservations are technical: the comparison principle is applied to functions outside the stated solution classes, and at least one sign estimate in Lemma 3.4 is incorrect as written. These issues affect the proof of the central claims and must be repaired before the theorems can be accepted.

major comments (5)
  1. [§2, Theorem 2.3; §3, Lemma 3.3, Lemma 3.4, Theorem 3.2 (3.17)-(3.22), (3.35)-(3.38); §4, Lemma 4.5, Theorem 4.1…] The comparison principle is repeatedly applied to barriers that are unbounded at infinity and are not contained in the function classes of Theorem 2.3. Examples are mtilde(r)+epsilon*Phi with Phi=-|x|^{sigma*}, mtilde(r)+epsilon*w with w=-log|x|, and eta_tilde(r)*(Phi_tilde-1). Theorem 2.3 is stated for bounded domains with boundary data in H^s, and Remark 2.9 explicitly leaves the notion of solution vague. No truncation, approximation, or limiting argument is supplied to justify comparison for these unbounded functions, even though the comparisons are load-bearing: they produce the inequalities mtilde(r)<=u, (3.38), c(r)Psi_gamma<=u and rho(r)w_gamma<=u, which in turn control m(r) and drive the contradictions. The authors should either state and prove a comparison principle valid for the relevant viscosity classes with the growth appearing in the barriers, or supply a careful limiting argument in each application.
  2. [§3, Lemma 3.4, equations (3.19)-(3.21)] The sign estimate for the truncated logarithmic barrier is not correct as written. The integral over B_r(x)\B_1(x) in (3.19) is negative, and the displayed chain in (3.20)-(3.21) mixes inequality directions: an upper bound for the whole expression cannot be concluded from a lower bound for the negative integral. In addition, the negative term obtained in (3.21) has size of order epsilon*r*log r/(2\tilde R)^2, while \tilde R is allowed to depend on epsilon, r0 and r through condition (3.17). As written, the negativity of (-Delta)^s(mtilde(r)+epsilon w) in B_{\tilde R}\Br is not established. This defect directly affects the comparison step (3.22) and hence the s=1/2 branch of Theorem 3.2. A correct estimate must control \tilde R relative to r and must show that the positive first integral is dominated by the negative contribution.
  3. [§3, Lemma 3.3, Lemma 3.4 and proof of Theorem 3.2 after (3.30)] The lower bounds of the form cmin <= inf_{B_{2r}\B_r} u are not justified because the proof uses mtilde(r)=inf_{B_r}u and then concludes that 0<mtilde(r1) for some r1>r0. Since u is only assumed positive in R\B_{r0}, the infimum over the full ball B_{r1} may be zero, even if u is positive on every far annulus. This lower bound is load-bearing: it is used in Theorem 3.2 to rule out m(r)->0 in (3.31). The authors need either to assume positivity on all of R, as the theorem statements suggest, or to derive the positive lower bound from positivity in a fixed exterior annulus via a Harnack or barrier argument.
  4. [§4, Lemma 4.5, equations (4.12)-(4.16) and Theorem 4.1, (4.29)-(4.30)] The same interior-positivity issue appears in the lower bound of Lemma 4.5: c(r) is defined using inf_{B_r}u, which may vanish if u is only positive in the exterior domain. Moreover, the choice c(r)=C_gamma/(4C_9) inf_{B_r}u does not by itself guarantee c(r)*Psi_gamma <= u in B_r, because on B_1 the function Psi_gamma equals 1+2C_9/C_gamma and the product of c(r) with this factor may exceed inf_{B_r}u. The lower bound cmin*r^{-n+2s} is used in (4.29)-(4.30) and in the final contradiction of Theorem 4.1, so this needs to be fixed.
  5. [§3, proof of Theorem 3.2, paragraph containing (3.38)] The assertion 'Now by (3.38), we have, for all r>r0, eta_tilde(r)=:C0' is not immediate. The function eta_tilde(r) is an infimum over a shrinking exterior domain and is nondecreasing in r; (3.38) alone gives only a global lower bound for u/(Phi_tilde-1), not constancy of the infimum. One can recover constancy by observing that a minimizing sequence for eta_tilde(r) escapes to infinity and therefore also lies eventually in R\B_s for every fixed s, but this argument is not supplied. Since the final contradiction relies on eta_tilde(r) being independent of r, the claim needs to be stated and proved explicitly.
minor comments (5)
  1. [Throughout] There are several typos and small presentation issues: 'the the nonlocal frame-work', 'L ´Hospitals rule', 'Véron' without accent, and 'larger0' with a missing space. These should be corrected.
  2. [§4, equations (4.24)-(4.25)] The constant 1/2 and the factor |B_2\B_1| are written inconsistently between (4.24) and (4.25); the displayed coefficient 2/\bar c in (4.25) appears to omit the volume factor. The constants should be written consistently.
  3. [§3, Lemma 3.3 and Lemma 3.4] The statement says the constants depend on s, u and r0, but the lower-bound constants obtained from mtilde(r1) depend on the particular choice of r1; this should be clarified.
  4. [§4, Lemma 4.5] In the second part of Lemma 4.5, the argument requires r>3r0 for the fixed annulus B_{3r0}\B_{2r0} to lie inside B_r, whereas the text only says 'sufficiently large r>2r0'. A minor adjustment of the radius condition is needed.
  5. [§2, Proposition 2.6] The proof of Proposition 2.6 passes to the limit in the weak formulation and uses regularity estimates, but the assumptions under which the approximating sequence exists for general continuous supersolutions are not fully stated. This is connected to the need for a precise solution class.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the nonexistence theorems follow from barrier constructions and comparison principles; the self-citations are non-load-bearing.

full rationale

The paper's central claims are the nonexistence theorems for positive supersolutions in exterior domains. The proofs proceed by constructing explicit barriers from the fundamental solutions of the fractional Laplacian, applying comparison and strong maximum principles, and deriving contradictions from the hypotheses on f. Nothing is fitted to data, and no quantity that is later called a prediction is defined in terms of the target result. The conditions on f (e.g. (f1')-(f3') and (f1)-(f2)) are chosen so that the barrier arguments close, which is a standard design choice rather than circularity. The self-citations, notably [17] for fundamental solutions and the cutting technique and [28] for a fractional Hopf lemma, are used as tools; they are not used to assume the nonexistence conclusion, and the main contradiction is obtained from the barrier/comparison machinery rather than from those citations. The paper does contain potential rigor gaps, particularly the use of Theorem 2.3 with barriers that are unbounded at infinity and the sign estimate around (3.19)-(3.21), but these are correctness or justification issues, not instances where a claimed derivation reduces to its own input. Therefore, under the stated standard for circularity, no specific circular step can be exhibited, and the score is 0.

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

The central claim rests only on standard fractional calculus tools and the technical comparison and maximum principles listed. No free parameters are fitted to data, and no new particles, forces, dimensions, or auxiliary entities are introduced.

assumptions (5)
  • standard math Comparison principle for weak and viscosity solutions of the fractional Laplacian in bounded domains (Theorem 2.3)
    Used throughout to compare supersolutions with constructed barriers. It is a standard theorem in fractional PDE theory, cited to [11,15,29,30].
  • standard math Fractional Hopf lemma and boundary regularity for Dirichlet problems with the fractional Laplacian
    Used in Lemma 2.4 and Proposition 2.6 to obtain lower bounds proportional to the distance function to the boundary raised to the power s; cited to [28,29,30].
  • standard math Fractional weak Harnack inequality stated as Lemma 2.8
    Used to guarantee that the set where the rescaled supersolution is comparable to its infimum has positive measure; cited to [11,20].
  • standard math Fundamental solution formula (1.2) for the fractional Laplacian on R^n
    The barriers are cut versions of |x|^{2s-n}, -log|x|, and -|x|^{2s-n}; the formula is standard and is stated in (1.2).
  • standard math C^{0,alpha} regularity estimates for fractional Dirichlet problems
    Used in the contradiction argument of Proposition 2.6 to extract a convergent subsequence of approximate solutions; cited to [11,15,30].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nonexistence of positive supersolutions for semilinear fractional elliptic equations in exterior domains." pith.science (2026). https://pith.science/paper/AL5ZJE5J

@misc{pith2026241206746,
  author       = {Pith},
  title        = {Pith review of: Nonexistence of positive supersolutions for semilinear fractional elliptic equations in exterior domains},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AL5ZJE5J}},
  note         = {Machine review of arXiv:2412.06746}
}
abstract

This article is concerned with the nonexistence of positive solutions for nonlinear fractional elliptic inequalities in exterior domains of $\mathbb R^n$, $n\geq1$. We would like to highlight the fact that our results are new with very weak assumption on the nonlinear term appearing in the inequalities. The results are also novel in this generality even if the whole space is considered.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    A gentle invitation to the fractional world

    N. Abatangelo, S. Dipierro, E. Valdinoci, A gentle invitation to the fractional world, https://doi.org/10.48550/arXiv.2411.18238, 2024

    work page Pith review arXiv doi:10.48550/arxiv.2411.18238 2024

  2. [2]

    Alarcon, J

    S. Alarcon, J. Garcia-Melian, A. Quaas, Optimal Liouville theorems for supersolutions of elliptic equations with the Laplacian, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) Vol. XVI (2016), 129-158

    work page 2016

  3. [3]

    Armstrong, S

    N. Armstrong, S. Boyan, Nonexistence of positive supersolutions of elliptic equations via the maximum principle, Comm. Partial Differential Equations., 36 (2011), 2011-2047

    work page 2011

  4. [4]

    Barles, C

    G. Barles, C. Imbert, Second-order elliptic integro-differential equations: Viscosity solu- tions theory revisited, Ann. Inst. H. Poincare Anal. Non Lineaire., 25 (2008), 567-585

    work page 2008

  5. [5]

    Barrios, M

    B. Barrios, M. Medina, I. Peral, Some remarks on the solvability of non-local elliptic problems with the Hardy potential, Commun. Contemp. Math. 16 (2014): 1350046

    work page 2014

  6. [6]

    G. M. Bisci, V. D. Radulescu, R. Servadei, Variational Methods for Nonlocal Fractional Problems, Cambridge University Press, 2016

    work page 2016

  7. [7]

    Bidaut-Veron, S

    M.-F. Bidaut-Veron, S. Pohozaev, Nonexistence results and estimates for some nonlinear elliptic problems. J. Anal. Math., 84 (2001), 1-49

    work page 2001

  8. [8]

    Bidaut-Veron, Local and global behavior of solutions of quasilinear equations of Emden-Fowler type, Arch

    M.-F. Bidaut-Veron, Local and global behavior of solutions of quasilinear equations of Emden-Fowler type, Arch. Rational Mech. Anal., 107 (1989), 293-324

    work page 1989

Show all 33 references
  1. [9]

    Brezis, X

    H. Brezis, X. Cabr´ e, Some simple nonlinear PDE’s without solutions, Boll. Unione Mat. Ital. Sez. B Artic. Ric. Mat., 1 (1998), 223-262

    1998

  2. [10]

    Bucur, E

    C. Bucur, E. Valdinoci, Nonlocal diffusion and applications, Vol. 20, Cham: Springer, 2016

    2016

  3. [11]

    Caffarelli, L

    L. Caffarelli, L. Silvestre, Regularity theory for fully nonlinear integro-differential equa- tions, Comm. Pure Appl. Math., 62 (2009), 597-638

    2009

  4. [12]

    Caffarelli, L

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

    2007

  5. [13]

    H. Chen, R. Peng, F. Zhou, Nonexistence of positive supersolutions to a class of semi- linear elliptic equations and systems in an exterior domain, Sci. China Math., 63 (2020), 1307-1322

    2020

  6. [14]

    H. Chen, Y. Wang, H. Hajaiej, Liouville theorem for semilinear elliptic inequalities involving the fractional Hardy operators, Trans. Amer. Math. Soc., 378 (2025), 339-374

    2025

  7. [15]

    Caffarelli, L

    L. Caffarelli, L. Silvestre, Regularity Results for Nonlocal Equations by Approximation, Arch. Rational Mech. Anal., 200 (2011), 59-88. Fractional inequality in exterior domain 32

    2011

  8. [16]

    W. Chen, C. Li, B. Ou, Classification of solutions for an integral equation, Comm. Pure Appl. Math., 59 (2006) 330-343

    2006

  9. [17]

    Felmer, A

    P. Felmer, A. Quaas, Fundamental solutions and Liouville type theorems for nonlinear integral operators, Adv. Math., 226 (2011), 2712-2738

    2011

  10. [18]

    B. Gidas, Symmetry properties and isolated singularities of positive solutions of nonlinear elliptic equations, In: Nonlinear partial differential equations in engineering and applied science, vol. 54 of Lecture Notes in Pure and Appl. Math., 255-273, Dekker, New York, 1980

    1980

  11. [19]

    Gidas, J

    B. Gidas, J. Spruck, Global and local behavior of positive solutions of nonlinear elliptic equations, Comm. Pure Appl. Math., 34 (1981), 525-598

    1981

  12. [20]

    Kassmann, Harnack inequalities and H¨ older regularity estimates for non- local operators revisited

    M. Kassmann, Harnack inequalities and H¨ older regularity estimates for non- local operators revisited. Preprint (2011). Available at http://www.math.uni- bielefeld.de/sfb701/preprints/view/523

    2011

  13. [21]

    Kondratiev, V

    V. Kondratiev, V. Liskevich, Z. Sobol, Positive supersolutions to semi-linear second- order non-divergence type elliptic equations in exterior domains, Trans. Amer. Math. Soc., 361(2009), 697-713

    2009

  14. [22]

    Liskevich, I

    V. Liskevich, I. I. Skrypnik, I. V. Skrypnik, Positive supersolutions to general nonlinear elliptic equations in exterior domains, Manuscripta Math., 115(2004), 521-538

    2004

  15. [23]

    Y. Y. Li, Remark on some conformally invariant integral equations: the method of moving spheres, J. Eur. Math. Soc., 6 (2004) 153-180

    2004

  16. [24]

    Y. Li, L. Zhang, Liouville-type theorems and Harnack-type inequalities for semilinear elliptic equations, J. Anal. Math., 90 (2003), 27-87

    2003

  17. [25]

    Mitidieri, S

    E. Mitidieri, S. I. Pokhozhaev, A priori estimates and the absence of solutions of non- linear partial differential equations and inequalities, Tr. Mat. Inst. Steklova, 234 (2001), 1-384

    2001

  18. [26]

    Di Nezza, G

    E. Di Nezza, G. Palatucci, E. Valdinoci, Hitchhiker’s guide to the fractional Sobolev spaces, Bull. Sci. math., 136 (2012), 521-573

    2012

  19. [27]

    W.-M. Ni, J. Serrin, Nonexistence theorems for quasilinear partial differential equations, In: Proceedings of the conference commemorating the 1st centennial of the Circolo Matematico di Palermo, 8 (1985), 171-185

    1985

  20. [28]

    L. M. Del Pezzo, A. Quaas, A Hopf’s lemma and a strong minimum principle for the fractional p-Laplacian, J. Differential Equations., 263 (1), 765-778

  21. [29]

    Ros-Oton, Nonlocal elliptic equations in bounded domains: a survey, Publ

    X. Ros-Oton, Nonlocal elliptic equations in bounded domains: a survey, Publ. Mat. 60 (2016) 3-26. Fractional inequality in exterior domain 33

    2016

  22. [30]

    Ros-Oton, J

    X. Ros-Oton, J. Serra, The Dirichlet problem for the fractional Laplacian: regularity up to the boundary, J. Math. Pures Appl., 101 (2014), 275-302

    2014

  23. [31]

    Serrin, H

    J. Serrin, H. Zou, Cauchy-Liouville and universal boundedness theorems for quasilinear elliptic equations and inequalities, Acta Math., 189 (2002), 79-142

    2002

  24. [32]

    Servadei, E

    R. Servadei, E. Valdinoci, Weak and viscosity solutions of the fractional Laplace equa- tion, Publ. Mat., 58 (2014), 133-154

    2014

  25. [33]

    Veron, Singularities of solutions of second order quasilinear equations, vol

    L. Veron, Singularities of solutions of second order quasilinear equations, vol. 353 of Pitman Research Notes in Mathematics Series, Longman, Harlow, 1996

    1996

Pith tools

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