Pith. sign in

REVIEW 4 major objections 3 minor 68 references

Liouville theorem for singular solutions to nonlocal equations

T0 review · 4 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read A Liouville theorem for nonlocal equations: every singular solution bounded on one side near zero and at infinity is a multiple of the fundamental solution plus a constant.

desk verdict A genuinely new Liouville/Böcher theory for measurable-kernel nonlocal operators, but the main theorems lean on an unrefereed companion paper and two text-level gaps need closing. read the letter →

arxiv 2507.09587 v2 pith:E2SZVMNP submitted 2025-07-13 math.AP

Minhyun Kim , Se-Chan Lee This is my paper · ORCID
classification math.AP MSC 35A2135A0835B5335R09
keywords BôchertheoremLiouvillefractionalLaplaciannonlocallinearoperatorsisolatedsingularityfundamentalsolutionmeasurablekernelsingularsolutions
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

This paper establishes a nonlocal analogue of Bôcher's theorem and the associated Liouville theorem for the fractional Laplacian and for linear nonlocal operators $Lu(x)=2\,\mathrm{p.v.}\int_{\mathbb{R}^n}(u(x)-u(y))k(x,y)\,dy$ with measurable, symmetric kernels comparable to $|x-y|^{-n-2s}$. The central claim is that any $L$-harmonic function in $\mathbb{R}^n\setminus\{0\}$ that is bounded from one side near the origin and from one side near infinity must have the form $u=a\Phi+b$, where $\Phi$ is the fundamental solution of $L$ and $a,b$ are constants. This completely classifies isolated singularities for this operator class: the singular part is always a multiple of the kernel's scale-invariant fundamental solution, never an intermediate or oscillatory term. Along the way the paper constructs the fundamental solution as a limit of Green functions on balls and proves a localized comparison principle that controls solutions without imposing pointwise comparison in the complement.

What carries the argument

The argument rests on four tools. The fundamental solution $\Phi$, defined by $\mathcal{E}(\Phi,\varphi)=\varphi(0)$ for all test functions $\varphi$, is constructed as the limit of Green functions on balls and satisfies $\Phi\asymp|x|^{2s-n}$ near the origin. The isolated-singularity theorem of the authors' earlier work supplies the dichotomy that a bounded-below $L$-harmonic function near $0$ is either regular or comparable to $|x|^{2s-n}$. A localized maximum principle and comparison principle use the nonlocal tail $\mathrm{Tail}(w;0,r)=r^{2s}\int_{\mathbb{R}^n\setminus B_r}|w(y)||y|^{-n-2s}\,dy$ in place of pointwise comparison on the complement of the domain. Finally, a Harnack inequality on annuli and a Liouville theorem for nonnegative entire solutions control the behaviour at infinity and yield the constant $b$.

What would settle it

Check whether the unproved estimate [44, Eq (4.6)] holds for every measurable kernel satisfying the ellipticity bounds; if it fails, Lemma 4.2 and the weak Bôcher theorem lose support. The direct falsifier of the main theorem is an $L$-harmonic function in $\mathbb{R}^n\setminus\{0\}$, bounded below near $0$ and above near infinity, that is not of the form $a\Phi+b$.

Watch

Extended reading notes

Core claim

The paper's core discovery is rigidity of isolated singularities for nonlocal linear equations with measurable kernels. If $u$ solves $Lu=0$ in $\mathbb{R}^n\setminus\{0\}$ and is bounded from one side near $0$ and from one side near infinity, then $u=a\Phi+b$; locally, an $L$-harmonic function in $\Omega\setminus\{0\}$ bounded below splits as $u=a\Phi+v$ with $v$ harmonic across the origin, so any genuine singularity has exact growth $u\asymp|x|^{2s-n}$. The singular source is identified through the bilinear form $\mathcal{E}(u,\varphi)=\int_{\mathbb{R}^n}\int_{\mathbb{R}^n}(u(x)-u(y))(\varphi(x)-\varphi(y))k(x,y)\,dy\,dx$ as $a\delta_0$, and the fundamental solution $\Phi$ is shown to be unique with two-sided estimates matching $|x|^{2s-n}$.

Load-bearing premise

The load-bearing premise is the isolated-singularity theorem from the authors' earlier work: an $L$-harmonic function bounded below near an isolated point either extends regularly or grows exactly like $|x|^{2s-n}$; the proofs also quote without proof the estimate [44, Eq (4.6)] used in Lemma 4.2.

Editorial extensions

If this is right

  • Every isolated singularity of a solution to $Lu=0$ with the stated one-sided bounds is of the form $a\Phi+b$; there are no intermediate growth rates between regular and $|x|^{2s-n}$.
  • For the fractional Laplacian, the Kelvin transform turns the theorem into an exterior-domain classification: a solution harmonic near infinity either oscillates with $\limsup u=\infty$ and $\liminf u=-\infty$, or converges to a finite limit.
  • Any nonnegative weak solution of $Lu=0$ in all of $\mathbb{R}^n$ is constant, extending the classical Liouville theorem to measurable-kernel nonlocal operators.
  • The fundamental solution of $L$ exists, is unique, and is comparable to $|x|^{2s-n}$, so the singular behaviour is universal across the whole ellipticity class.

Reading between the lines

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

  • A natural next test is the critical dimension $n=2s$, left open by the paper; the dichotomy may fail or acquire logarithmic fundamental solutions, and the localized comparison principle would need adaptation.
  • The localized comparison principle, replacing pointwise exterior comparison by tail integrals, appears transferable to nonlinear nonlocal operators and to operators with Orlicz growth.
  • Defining the fundamental solution through the bilinear form rather than distributions suggests a way to treat non-translation-invariant kernels, where $L\varphi$ need not be defined for smooth compactly supported test functions.
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

4 major / 3 minor

Summary. The paper proves Bocher-type and Liouville-type theorems for singular solutions of nonlocal linear equations with measurable kernels of fractional order, including the fractional Laplacian as a special case. The main results are a weak Bocher theorem (Theorem 1.3), the construction and normalization of a fundamental solution Φ for the operator L (Theorem 1.4), a Bocher decomposition u = aΦ + v near the singular point (Theorem 1.6), and a Liouville theorem for solutions that are one-sided bounded near the origin and at infinity (Theorem 1.5). The proofs introduce a localized maximum principle and comparison principle that do not require pointwise comparison on the complement of the domain, and they construct the fundamental solution as a limit of Green functions on balls. The paper relies heavily on the authors' earlier preprint [44] for the isolated singularity classification and for a key integral estimate.

Significance. If the results are correct, they settle a natural nonlocal analogue of the classical Bocher-Liouville theory for a broad class of operators with merely measurable kernels, going well beyond the fractional Laplacian. The localized comparison principle (Theorem 1.7 and Corollary 1.8) is a genuinely useful new tool, since standard nonlocal maximum principles require pointwise control in the exterior. The fundamental-solution construction via Green functions on balls is also a clean approach that yields two-sided bounds. The paper is clearly written and the internal structure is mostly coherent. However, the central chain of implications depends on results from the authors' unpublished preprint [44], and two specific steps in the present text are either invalid as written (the use of (4.2) in Theorem 1.3 when the singularity is removable) or incomplete (the uniqueness claim in Theorem 1.4). These issues must be fixed before the main claims can be accepted.

major comments (4)
  1. [§4, proof of Theorem 1.3, near (4.2)] The sentence 'In view of Theorem 4.3, we can fix R ... so that (4.2) u ≂ |x|^{2s-n} in BR' is not justified when the singularity at the origin is removable. Theorem 4.3 allows u to be bounded near 0, in which case the two-sided power growth (4.2) is false. The subsequent estimate of I2,2 uses the positivity of u and the lower bound u(x) ≳ |x|^{2s-n}; no separate argument is supplied for the removable case. Please either treat the removable case explicitly (e.g., extend u across 0 and use dominated convergence without the pointwise lower bound) or prove that the same estimate holds without (4.2).
  2. [§4, Lemma 4.2] The proof of Lemma 4.2 depends on the estimate [44, Equation (4.6)], which is only described as 'obtained by using the Caccioppoli estimate for weak supersolution vj instead of [44, Lemma 3.3]' and is not proved in the present paper. Since Lemma 4.2 underpins Lemma 4.1 and hence Theorem 1.3, and since [44] is an unpublished preprint, the authors should either include a complete proof of (4.6) or state it as a self-contained lemma with full justification.
  3. [§5, proof of Theorem 1.4] The uniqueness statement 'The uniqueness will follow from Theorem 1.5' is not immediate. Two fundamental solutions Φ1 and Φ2 both blow up like |x|^{2s-n} near 0, so their difference need not be bounded from one side near 0; it could behave like (a1-a2)|x|^{2s-n}, which is unbounded both from above and below when a1≠a2. Theorem 1.5 is therefore not directly applicable. A valid argument would first use Theorem 1.3 to show that Φ1-Φ2 has zero Dirac mass at 0, hence a removable singularity, and then apply the Liouville theorem. Please supply this missing step.
  4. [Theorems 1.3–1.6 and §7] The main results rely essentially on the isolated singularity theorem quoted as Theorem 4.3 from [44, Theorem 1.3] and on [44, Eq (4.6)]. In particular, Theorem 1.3, Theorem 1.4(i), Theorem 1.6, Lemma 7.3, and Theorem 1.5 all invoke Theorem 4.3 or the estimate from [44]. If [44] is still a preprint, its results are not machine-checked and may not be available to the reader; the present manuscript should either include proofs of the quoted statements (or precise statements with complete hypotheses) or clearly indicate that the companion paper has been accepted for publication.
minor comments (3)
  1. [§7, Lemma 7.1] In the displayed estimate, the term C (r/θR)^n ∫_{Br} u^- dx appears; dimensionally this looks like it should involve the average of u^- over Br, namely C (r/θR)^n (1/|Br|) ∫_{Br} u^- dx, or alternatively the exponent n should be adjusted after the tail computation. Please check the constant and the normalization.
  2. [§7, proof of Lemma 7.3] When u is bounded from above near 0 but not from below, Theorem 4.3 cannot be applied to u directly. The argument should apply Theorem 4.3 to -u and then convert the resulting asymptotic to the stated inequality u(x) ≥ -aΦ in B1. Please make this application explicit.
  3. [§2, Definition 2.2] The bilinear form E(u, φ) is used for u only in W^{s,2}_loc(Ω) ∩ L^1_{2s}(R^n); it may be helpful to add a remark on when E(u, φ) is finite for such u, for example by citing the estimate (2.3) from [43] or by stating a standard truncation argument.

Circularity Check

2 steps flagged · score 4.0 of 10

Main theorems rest on the same authors' prior isolated-singularity theorem [44, Thm 1.3] and unproved estimate [44, Eq (4.6)], used as black-box inputs for the local classification; the global Liouville argument adds independent content but the decisive local step is self-citation load-bearing.

  1. self citation load bearing [Section 4, Theorem 4.3, used in Proof of Theorem 1.3 (Eq (4.2)) and Proof of Theorem 1.6]
    "Next, we recall the isolated singularity theorem developed in our earlier work [44] as follows. ... Theorem 4.3 (Isolated singularity theorem). [44, Theorem 1.3] Let Ω ⊂ R^n be an open set containing the origin. Let u be L-harmonic in Ω \ {0} and bounded from below in Ω. Then either u has removable singularity at the origin or u(x) ≂ |x|^{2s−n} in a neighborhood of the origin. In view of Theorem 4.3, we can fix R ∈ (0, 1/2) so that ... (4.2) u ≂ |x|^{2s−n} in B_R."

    The two-sided asymptotic (4.2), which is the key input for the weak Bocher theorem (Theorem 1.3), for the fundamental-solution normalization (Theorem 1.4), and for the Bocher decomposition (Theorem 1.6), is not proved in this paper. It is quoted verbatim from [44, Theorem 1.3], a preprint by the same two authors, and then used unconditionally in the proof of Theorem 1.3 even though Theorem 4.3 allows a removable-singularity alternative. The later proofs of Theorems 1.6 and 1.5 invoke the same dichotomy through 'In view of Theorem 4.3 again'. Thus the central classification step is imported from a self-citation rather than derived or independently verified here.

  2. self citation load bearing [Section 4, Lemma 4.2 proof]
    "On the other hand, [44, Equation (4.6)], obtained by using the Caccioppoli estimate for weak supersolution vj instead of [44, Lemma 3.3], shows that ... This implies that [(vj)−]W s,2(BR/2) = [¯vj]W s,2(BR/2) < ∞, and hence vj ∈ W s,2(BR/2)."

    Lemma 4.2 is the bridge that promotes bounded-below L-harmonic functions to L-superharmonic functions (Lemma 4.1), which in turn underpins Theorem 1.3. The proof of Lemma 4.2 does not establish the needed Caccioppoli-type estimate; it cites [44, Eq (4.6)] from the authors' earlier preprint as a black box. Without this imported estimate, the weak Bocher theorem and the fundamental-solution construction built on it lack proof. This is a second load-bearing self-citation, although it is a technical estimate rather than a restatement of the paper's main theorems.

full rationale

There is no definitional circularity: Theorem 1.5 is not a restatement of any fitted parameter or of a previously defined quantity. The global Liouville argument contains independent content, including the construction of the fundamental solution via Green-function limits (Theorem 1.4), the localized maximum/comparison principles (Theorem 1.7, Corollary 1.8), and the boundedness-at-infinity lemmas (Lemmas 7.2 and 7.3). However, the derivation chain is heavily load-bearing on the authors' prior preprint [44]. The dichotomy 'removable singularity or u ≂ |x|^{2s−n}' (Theorem 4.3) is the decisive local classification and is quoted from [44, Theorem 1.3]; Lemma 4.2 also relies on the unproved estimate [44, Eq (4.6)]. Moreover, the proof of Theorem 1.3 uses (4.2) unconditionally, providing no separate argument for the removable case, and Theorem 1.4's uniqueness is deferred to Theorem 1.5 without verifying that the difference of two fundamental solutions satisfies Theorem 1.5's one-sided boundedness hypotheses. These are genuine gaps and make the central claim dependent on self-citation, but they do not make the main theorem equivalent to its inputs by construction. A score of 4 reflects the presence of load-bearing self-citation with substantial independent content in the rest of the proof.

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

No free parameters or invented entities appear; the fundamental solution Phi is constructed from Green functions. The main external inputs are the ellipticity/symmetry assumptions on k, the dimensional restriction n >= 2, and several imported theorems from the authors' prior work and the literature.

assumptions (6)
  • domain assumption The kernel k is measurable, symmetric, and satisfies Lambda^{-1}|x-y|^{-n-2s} <= k(x,y) <= Lambda|x-y|^{-n-2s} for Lambda >= 1.
    This is the class of operators L studied; it includes the fractional Laplacian. All theorems are proved under this ellipticity/symmetry condition (Section 2, (1.2)).
  • domain assumption The dimension n >= 2.
    The Harnack inequality on annuli (Lemma 7.1) requires connectedness of the annulus, i.e., n >= 2; the paper states the critical case n = 2s remains open (Section 7).
  • standard math The isolated singularity theorem of Kim-Lee [44, Theorem 1.3] holds.
    Imported from the authors' earlier preprint; used to obtain the two-sided bound u approximately |x|^(2s-n) near the origin in Theorems 1.3, 1.4, and 1.6.
  • standard math Existence and two-sided estimates of Green functions for L on balls (Theorem 5.2) hold.
    Imported from Kassmann-Kim-Lee [38]; used in the construction of the fundamental solution in Theorem 1.4.
  • standard math The classical Liouville theorem for nonnegative (-Delta)^s-harmonic functions (Theorem 3.2) holds.
    Used in the proof of Theorem 1.2 for the fractional Laplacian.
  • standard math The standard Harnack inequality for nonlocal operators (Di Castro-Kuusi-Palatucci [21, Theorem 1.1]) holds for weak solutions.
    Used to prove Lemma 7.1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Liouville theorem for singular solutions to nonlocal equations." pith.science (2026). https://pith.science/paper/E2SZVMNP

@misc{pith2026250709587,
  author       = {Pith},
  title        = {Pith review of: Liouville theorem for singular solutions to nonlocal equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/E2SZVMNP}},
  note         = {Machine review of arXiv:2507.09587}
}
read the original abstract

We study singular solutions to the fractional Laplace equation and, more generally, to nonlocal linear equations with measurable kernels. We establish B\^ocher type results that characterize the behavior of singular solutions near the singular point. In addition, we prove Liouville theorems for singular solutions. To this end, we construct fundamental solutions for nonlocal linear operators and establish a localized comparison principle.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

68 extracted references · 64 canonical work pages

  1. [44]

    Singularities of solutions of nonlocal nonlinear equations

    M. Kim and S.-C. Lee. Singularities of solutions of nonlocal nonlinear equations. arXiv preprint arXiv:2410.13292, 2024

    work page Pith review arXiv 2024

  2. [1]

    Alibaud, F

    N. Alibaud, F. del Teso, J. Endal, and E. R. Jakobsen. The Liouville theorem and linear operators satisfying the maximum principle. J. Math. Pures Appl. (9) , 142:229–242, 2020

    work page 2020

  3. [2]

    S. N. Armstrong, B. Sirakov, and C. K. Smart. Fundamental solutions of homogeneous fully nonlinear elliptic equations. Comm. Pure Appl. Math. , 64(6):737–777, 2011

    work page 2011

  4. [3]

    M. T. Barlow, A. Grigor’yan, and T. Kumagai. Heat kernel upper bounds for jump processes and the first exit time. J. Reine Angew. Math. , 626:135–157, 2009. LIOUVILLE THEOREM FOR SINGULAR SOLUTIONS TO NONLOCAL EQUATIONS 23

    work page 2009

  5. [4]

    R. F. Bass and D. A. Levin. Transition probabilities for symmetric jump processes. Trans. Amer. Math. Soc., 354(7):2933–2953, 2002

    work page 2002

  6. [5]

    P. W. Bates. On some nonlocal evolution equations arising in materials science. In Nonlinear dynamics and evolution equations, volume 48 of Fields Inst. Commun. , pages 13–52. Amer. Math. Soc., Providence, RI, 2006

    work page 2006

  7. [6]

    P. W. Bates and A. Chmaj. A discrete convolution model for phase transitions. Arch. Ration. Mech. Anal., 150(4):281–305, 1999

    work page 1999

  8. [7]

    Perron solutions and boundary regularity for nonlocal nonlinear Dirichlet problems

    A. Bj¨ orn, J. Bj¨ orn, and M. Kim. Perron solutions and boundary regularity for nonlocal nonlinear Dirichlet problems. arXiv preprint arXiv:2406.05994 , 2024

    work page Pith review arXiv 2024

Show all 68 references
  1. [8]

    R. M. Blumenthal, R. K. Getoor, and D. B. Ray. On the distribution of first hits for the symmetric stable processes. Trans. Amer. Math. Soc. , 99:540–554, 1961

    1961

  2. [9]

    Bˆ ocher

    M. Bˆ ocher. Singular points of functions which satisfy partial differential equations of the elliptic type. Bull. Amer. Math. Soc. , 9(9):455–465, 1903

    1903

  3. [10]

    Bogdan, T

    K. Bogdan, T. Kulczycki, and A. Nowak. Gradient estimates for harmonic and q-harmonic functions of symmetric stable processes. Illinois J. Math. , 46(2):541–556, 2002

    2002

  4. [11]

    C. Bucur. Some observations on the Green function for the ball in the fractional Laplace framework. Commun. Pure Appl. Anal. , 15(2):657–699, 2016

    2016

  5. [12]

    Caccioppoli

    R. Caccioppoli. Sui teoremi d’esistenza di Riemann. Ann. Scuola Norm. Super. Pisa Cl. Sci. (2) , 7(2):177– 187, 1938

    1938

  6. [13]

    Caffarelli, C

    L. Caffarelli, C. H. Chan, and A. Vasseur. Regularity theory for parabolic nonlinear integral operators. J. Amer. Math. Soc. , 24(3):849–869, 2011

    2011

  7. [14]

    L. A. Caffarelli and A. Vasseur. Drift diffusion equations with fractional diffusion and the quasi-geostrophic equation. Ann. of Math. (2) , 171(3):1903–1930, 2010

    1903

  8. [15]

    W. Chen, L. D’Ambrosio, and Y. Li. Some Liouville theorems for the fractional Laplacian. Nonlinear Anal., 121:370–381, 2015

    2015

  9. [16]

    Chen and T

    Z.-Q. Chen and T. Kumagai. Heat kernel estimates for stable-like processes on d-sets. Stochastic Process. Appl., 108(1):27–62, 2003

    2003

  10. [17]

    Z.-Q. Chen, T. Kumagai, and J. Wang. Stability of heat kernel estimates for symmetric non-local Dirichlet forms. Mem. Amer. Math. Soc. , 271(1330):v+89, 2021

    2021

  11. [18]

    G. Cimmino. Nuovo tipo di condizione al contorno e nuovo metodo di trattazione per il problema gener- alizzato di dirichlet. Rendiconti del Circolo Matematico di Palermo (1884-1940) , 61(1):177–220, 1937

    1940

  12. [19]

    G. Cimmino. Sulle equazioni lineari alle derivate parziali del secondo ordine di tipo ellittico sopra una superficie chiusa. Annali della Scuola Normale Superiore di Pisa-Scienze Fisiche e Matematiche , 7(1):73– 96, 1938

    1938

  13. [20]

    M. Cozzi. Regularity results and Harnack inequalities for minimizers and solutions of nonlocal problems: a unified approach via fractional De Giorgi classes. J. Funct. Anal. , 272(11):4762–4837, 2017

    2017

  14. [21]

    Di Castro, T

    A. Di Castro, T. Kuusi, and G. Palatucci. Nonlocal Harnack inequalities. J. Funct. Anal. , 267(6):1807– 1836, 2014

    2014

  15. [22]

    Di Castro, T

    A. Di Castro, T. Kuusi, and G. Palatucci. Local behavior of fractionalp-minimizers. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 33(5):1279–1299, 2016

    2016

  16. [23]

    Di Nezza, G

    E. Di Nezza, G. Palatucci, and E. Valdinoci. Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. , 136(5):521–573, 2012

    2012

  17. [24]

    M. M. Fall. Entire s-harmonic functions are affine. Proc. Amer. Math. Soc. , 144(6):2587–2592, 2016

    2016

  18. [25]

    M. M. Fall and T. Weth. Liouville theorems for a general class of nonlocal operators. Potential Anal. , 45(1):187–200, 2016

    2016

  19. [26]

    Felsinger and M

    M. Felsinger and M. Kassmann. Local regularity for parabolic nonlocal operators. Comm. Partial Differ- ential Equations , 38(9):1539–1573, 2013

    2013

  20. [27]

    Fern´ andez-Real and X

    X. Fern´ andez-Real and X. Ros-Oton. Integro-differential elliptic equations , volume 350 of Progress in Mathematics. Birkh¨ auser/Springer, Cham, [2024]©2024

    2024

  21. [28]

    Fiscella, R

    A. Fiscella, R. Servadei, and E. Valdinoci. Density properties for fractional Sobolev spaces. Ann. Acad. Sci. Fenn. Math. , 40(1):235–253, 2015

    2015

  22. [29]

    Garofalo

    N. Garofalo. Fractional thoughts. In New developments in the analysis of nonlocal operators , volume 723 of Contemp. Math. , pages 1–135. Amer. Math. Soc., [Providence], RI, [2019] ©2019

    2019

  23. [30]

    Gilbarg and J

    D. Gilbarg and J. Serrin. On isolated singularities of solutions of second order elliptic differential equations. J. Analyse Math. , 4:309–340, 1955/56. 24 MINHYUN KIM AND SE-CHAN LEE

    1955

  24. [31]

    Gilboa and S

    G. Gilboa and S. Osher. Nonlocal operators with applications to image processing. Multiscale Model. Simul., 7(3):1005–1028, 2008

    2008

  25. [32]

    Grigor’yan, E

    A. Grigor’yan, E. Hu, and J. Hu. Lower estimates of heat kernels for non-local Dirichlet forms on metric measure spaces. J. Funct. Anal. , 272(8):3311–3346, 2017

    2017

  26. [33]

    Grigor’yan, E

    A. Grigor’yan, E. Hu, and J. Hu. Two-sided estimates of heat kernels of jump type Dirichlet forms. Adv. Math., 330:433–515, 2018

    2018

  27. [34]

    Grigor’yan, J

    A. Grigor’yan, J. Hu, and K.-S. Lau. Estimates of heat kernels for non-local regular Dirichlet forms. Trans. Amer. Math. Soc. , 366(12):6397–6441, 2014

    2014

  28. [35]

    Grzywny and M

    T. Grzywny and M. Kwa´ snicki. Liouville’s theorems for L´ evy operators.Math. Ann. , 391(4):5857–5910, 2025

    2025

  29. [36]

    Kassmann

    M. Kassmann. A priori estimates for integro-differential operators with measurable kernels. Calc. Var. Partial Differential Equations , 34(1):1–21, 2009

    2009

  30. [37]

    Kassmann

    M. Kassmann. A new formulation of Harnack’s inequality for nonlocal operators. C. R. Math. Acad. Sci. Paris, 349(11-12):637–640, 2011

    2011

  31. [38]

    Kassmann, M

    M. Kassmann, M. Kim, and K.-A. Lee. Robust near-diagonal Green function estimates. Int. Math. Res. Not. IMRN , (19):16957–16993, 2023

    2023

  32. [39]

    Kassmann and M

    M. Kassmann and M. Weidner. The parabolic Harnack inequality for nonlocal equations. Duke Math. J. , 173(17):3413–3451, 2024

    2024

  33. [40]

    O. D. Kellogg. On some theorems of Bˆ ocher concerning isolated singular points of harmonic functions. Bull. Amer. Math. Soc. , 32(6):664–668, 1926

    1926

  34. [41]

    Kichenassamy and L

    S. Kichenassamy and L. V´ eron. Singular solutions of thep-Laplace equation. Math. Ann., 275(4):599–615, 1986

    1986

  35. [42]

    M. Kim. Removable singularities for nonlocal minimal graphs. arXiv preprint arXiv:2501.14299 , 2025

    2025

  36. [43]

    Kim and S.-C

    M. Kim and S.-C. Lee. Supersolutions and superharmonic functions for nonlocal operators with Orlicz growth. arXiv preprint arXiv:2311.01246 , 2023

    2023 arXiv

  37. [45]

    Kim and M

    M. Kim and M. Weidner. Optimal boundary regularity and Green function estimates for nonlocal equations in divergence form. arXiv preprint arXiv:2408.12987 , 2024

    2024

  38. [46]

    Klimsiak

    T. Klimsiak. Bˆ ocher type theorem for elliptic equations with drift perturbed L´ evy operator.arXiv preprint arXiv:2503.03354, 2025

    2025 arXiv

  39. [47]

    Korvenp¨ a¨ a, T

    J. Korvenp¨ a¨ a, T. Kuusi, and G. Palatucci. Fractional superharmonic functions and the Perron method for nonlinear integro-differential equations. Math. Ann., 369(3-4):1443–1489, 2017

    2017

  40. [48]

    M. Kurzke. A nonlocal singular perturbation problem with periodic well potential. ESAIM Control Optim. Calc. Var., 12(1):52–63, 2006

    2006

  41. [49]

    D. A. Labutin. Removable singularities for fully nonlinear elliptic equations. Arch. Ration. Mech. Anal. , 155(3):201–214, 2000

    2000

  42. [50]

    D. A. Labutin. Isolated singularities for fully nonlinear elliptic equations. J. Differential Equations , 177(1):49–76, 2001

    2001

  43. [51]

    C. Li, C. Liu, Z. Wu, and H. Xu. Non-negative solutions to fractional Laplace equations with isolated singularity. Adv. Math., 373:107329, 38, 2020

    2020

  44. [52]

    C. Li, Z. Wu, and H. Xu. Maximum principles and Bˆ ocher type theorems. Proc. Natl. Acad. Sci. USA , 115(27):6976–6979, 2018

    2018

  45. [53]

    Liao and M

    N. Liao and M. Weidner. Nonnegative solutions to nonlocal parabolic equations. arXiv preprint arXiv:2505.08449, 2025

    2025 arXiv

  46. [54]

    Lindgren and P

    E. Lindgren and P. Lindqvist. Fractional eigenvalues. Calc. Var. Partial Differential Equations , 49(1- 2):795–826, 2014

    2014

  47. [55]

    Littman, G

    W. Littman, G. Stampacchia, and H. F. Weinberger. Regular points for elliptic equations with discontin- uous coefficients. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) , 17:43–77, 1963

    1963

  48. [56]

    Nicolosi, I

    F. Nicolosi, I. V. Skrypnik, and I. I. Skrypnik. Precise point-wise growth conditions for removable isolated singularities. Comm. Partial Differential Equations , 28(3-4):677–696, 2003

    2003

  49. [57]

    E. Picard. Quelques th´ eor` emes ´ el´ ementaires sur les fonctions harmoniques.Bull. Soc. Math. France , 52:162–166, 1924

    1924

  50. [58]

    G. E. Raynor. Isolated singular points of harmonic functions. Bull. Amer. Math. Soc. , 32(5):537–544, 1926. LIOUVILLE THEOREM FOR SINGULAR SOLUTIONS TO NONLOCAL EQUATIONS 25

    1926

  51. [59]

    M. Riesz. L’int´ egrale de Riemann-Liouville et le probl` eme de Cauchy.Acta Math., 81:1–223, 1949

    1949

  52. [60]

    S. G. Samko, A. A. Kilbas, and O. I. Marichev.Fractional integrals and derivatives. Gordon and Breach Sci- ence Publishers, Yverdon, 1993. Theory and applications, Edited and with a foreword by S. M. Nikol’ski˘i, Translated from the 1987 Russian original, Revised by the authors

    1993

  53. [61]

    J. Serrin. Local behavior of solutions of quasi-linear equations. Acta Math., 111:247–302, 1964

    1964

  54. [62]

    J. Serrin. Pathological solutions of elliptic differential equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3), 18:385–387, 1964

    1964

  55. [63]

    J. Serrin. Isolated singularities of solutions of quasi-linear equations. Acta Math., 113:219–240, 1965

    1965

  56. [64]

    J. Serrin. Removable singularities of solutions of elliptic equations. II. Arch. Rational Mech. Anal., 20:163– 169, 1965

    1965

  57. [65]

    Silvestre

    L. Silvestre. Regularity of the obstacle problem for a fractional power of the Laplace operator. Comm. Pure Appl. Math. , 60(1):67–112, 2007

    2007

  58. [66]

    Silvestre

    L. Silvestre. A new regularization mechanism for the Boltzmann equation without cut-off. Comm. Math. Phys., 348(1):69–100, 2016

    2016

  59. [67]

    V´ eron.Singularities of solutions of second order quasilinear equations , volume 353 of Pitman Research Notes in Mathematics Series

    L. V´ eron.Singularities of solutions of second order quasilinear equations , volume 353 of Pitman Research Notes in Mathematics Series . Longman, Harlow, 1996

    1996

  60. [68]

    H. Weyl. The method of orthogonal projection in potential theory. Duke Math. J. , 7:411–444, 1940. Department of Mathematics & Research Institute for Natural Sciences, Hanyang University, 04763 Seoul, Republic of Korea Email address : minhyun@hanyang.ac.kr School of Mathematic...

    1940

Pith tools

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