pith. machine review for the scientific record. sign in

arxiv: 2605.06102 · v1 · submitted 2026-05-07 · 🧮 math.AP

Recognition: unknown

s-harmonic functions in the small order limit

Abhrojyoti Sen, Sven Jarohs, Tobias Weth

Pith reviewed 2026-05-08 07:16 UTC · model grok-4.3

classification 🧮 math.AP
keywords s-harmonic functionsfractional Laplacianlogarithmic Laplacianzero-order asymptoticsdifferentiability in ordermonotonicity in sexterior Dirichlet problem
0
0 comments X

The pith

The zero-order limit and s-derivative of s-harmonic functions with fixed exterior data g are both governed by the logarithmic Laplacian of extensions of g.

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

The paper examines families of functions u_s that solve the fractional Laplace equation of order s inside a bounded smooth domain while taking the same fixed values g outside that domain. It derives the precise limiting behavior of u_s as s tends to zero from above and shows that the derivative of u_s with respect to s can be written using the same operator. Both the asymptotics and the differentiability reduce to the logarithmic Laplacian applied to suitable extensions of the exterior function g. This reduction immediately produces pointwise monotonicity statements for u_s as a function of s whenever g belongs to a broad class. A reader would care because the result replaces a family of nonlocal equations with a single, more classical operator whose properties are easier to exploit.

Core claim

For the Poisson problem with exterior datum g, both the zero-order asymptotics of u_s and its differentiability with respect to the parameter s are expressed in terms of the logarithmic Laplacian of suitable extensions of g. This representation yields pointwise monotonicity properties of u_s in the order parameter s for a large class of functions g.

What carries the argument

The logarithmic Laplacian of suitable extensions of the exterior data g, which encodes both the limiting profile of u_s as s approaches zero and the derivative of u_s with respect to s.

If this is right

  • The zero-order limit of u_s is given explicitly by an expression involving the logarithmic Laplacian of an extension of g.
  • The map s maps to u_s is differentiable, and its derivative is again expressed via the logarithmic Laplacian.
  • For many choices of g the functions u_s are monotone in s at every interior point.
  • The same logarithmic-Laplacian representation applies to the homogeneous Dirichlet problem after suitable modification of the extension.

Where Pith is reading between the lines

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

  • The explicit link may let known monotonicity or comparison principles for the logarithmic Laplacian be transferred directly to families of fractional equations.
  • Numerical schemes for small-s fractional problems could be validated by comparing against independent computations of the logarithmic Laplacian on an extension of g.
  • The same reduction technique might apply to other nonlocal operators whose kernels admit a logarithmic limit.

Load-bearing premise

The family u_s is completely determined by the single fixed exterior condition u_s equals g outside Omega for every s, together with Omega being a smooth bounded open set.

What would settle it

Pick a concrete smooth bounded Omega, a fixed bounded g, and an interior point x; compute numerically the value of u_s(x) for several small positive s, form the candidate limit expression involving the logarithmic Laplacian of an extension of g, and check whether the two agree within numerical error; systematic disagreement would falsify the claimed asymptotics.

read the original abstract

We study families $u_s$ of functions satisfying the equations $(-\Delta)^s u_s=0$, $s \in (0,1)$ in a smooth bounded open set $\Omega \subset \mathbb{R}^N$. The main purpose of this paper is twofold. First, we provide a detailed analysis of the asymptotics of these families in the zero order limit $s \to 0^+$. Second, we study the differentiability of $u_s$ as a function of $s$. Most of our results are devoted to the associated Poisson problem, where the family $u_s$ is determined by the exterior condition $u_s = g$ in $\mathbb{R}^N \setminus \Omega$ for some fixed function $g \in L^\infty(\mathbb{R}^N \setminus \Omega)$. Our results show that both the zero order asymptotics and the differentiability properties of $u_s$ can be expressed in terms of the logarithmic Laplacian of suitable extensions of $g$. This allows to deduce pointwise monotonicity properties of $u_s$ in the order parameter $s$ for a large class of functions $g$.

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

2 major / 3 minor

Summary. The paper studies families of s-harmonic functions u_s satisfying (-Δ)^s u_s = 0 in a smooth bounded open set Ω ⊂ R^N for s ∈ (0,1). The central focus is the zero-order limit s → 0^+ and the differentiability of u_s with respect to s. For the Poisson problem with fixed exterior data g ∈ L^∞(R^N ∖ Ω), the results express both the asymptotics and the s-derivative in terms of the logarithmic Laplacian applied to suitable extensions of g; this yields pointwise monotonicity of u_s in s for a large class of g.

Significance. If the derivations hold, the work supplies a precise link between the small-s behavior of the fractional Laplacian and the logarithmic Laplacian, together with monotonicity statements that are new in this setting. The setup (smooth bounded Ω, L^∞ exterior data) is standard, and the explicit representation via the log-Laplacian offers a concrete tool for further analysis of nonlocal problems. The manuscript ships a self-contained analysis of the equations without reliance on fitted parameters or circular constructions.

major comments (2)
  1. [§4, Theorem 4.2] §4, Theorem 4.2: the error term in the asymptotic expansion of u_s as s→0 is stated to be o(1) uniformly on compact subsets of Ω, but the proof sketch does not explicitly control the contribution from the extension of g outside a fixed neighborhood of Ω; a quantitative estimate on the tail would strengthen the claim.
  2. [§5, Proposition 5.1] §5, Proposition 5.1: the pointwise monotonicity in s is deduced from the sign of the logarithmic Laplacian of the extension; the argument assumes the extension is chosen so that the log-Laplacian is well-defined pointwise, but the precise regularity needed on the extension (beyond L^∞) is not stated in the statement of the proposition.
minor comments (3)
  1. [Preliminaries] The notation for the logarithmic Laplacian (denoted variously as Δ_log or L_log in different sections) should be unified and defined once in the preliminaries.
  2. [Numerical section] Figure 1 (if present) illustrating the extension of g would benefit from a caption clarifying which extension is used for the numerical check.
  3. [Introduction] A short remark comparing the obtained monotonicity with known results for the classical Laplacian (s=1) would help contextualize the small-s limit.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below and have revised the manuscript accordingly to strengthen the presentation.

read point-by-point responses

  1. Referee: [§4, Theorem 4.2] the error term in the asymptotic expansion of u_s as s→0 is stated to be o(1) uniformly on compact subsets of Ω, but the proof sketch does not explicitly control the contribution from the extension of g outside a fixed neighborhood of Ω; a quantitative estimate on the tail would strengthen the claim.

    Authors: We agree that making the tail control explicit would improve the clarity of the argument. In the proof of Theorem 4.2, the far-field contribution is bounded using the L^∞ norm of g together with the integrable decay of the Poisson kernel for the fractional Laplacian at large distances. To address the referee's point directly, we have added a quantitative estimate on the tail (showing it is O(s) or better, uniformly on compact subsets) in the revised version of the proof. revision: yes

  2. Referee: [§5, Proposition 5.1] the pointwise monotonicity in s is deduced from the sign of the logarithmic Laplacian of the extension; the argument assumes the extension is chosen so that the log-Laplacian is well-defined pointwise, but the precise regularity needed on the extension (beyond L^∞) is not stated in the statement of the proposition.

    Authors: We thank the referee for this observation. The proof relies on the extension being sufficiently regular for the logarithmic Laplacian to exist pointwise (specifically, we use that the extension belongs to a Hölder class C^{0,α} outside a neighborhood of Ω, which ensures the principal-value integral converges pointwise). We have revised the statement of Proposition 5.1 to explicitly include this regularity assumption on the extension of g. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives the zero-order asymptotics of the family u_s (solutions to (-Δ)^s u_s = 0 in Ω with fixed exterior data g) and the differentiability of u_s with respect to s by expressing these quantities in terms of the logarithmic Laplacian applied to suitable extensions of g. This follows from the standard definition of the fractional Laplacian and the Poisson problem on a smooth bounded domain, without any self-definitional reductions, fitted parameters renamed as predictions, or load-bearing self-citations that collapse the central claims. The logarithmic Laplacian is an independently recognized operator arising in the s→0 limit, and the monotonicity conclusions for a large class of g are obtained from the governing equations and known operator properties rather than by construction from the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the well-posedness of the exterior-value Poisson problem for the fractional Laplacian and on standard mapping properties of that operator and its logarithmic counterpart; no free parameters or new entities are introduced.

axioms (2)
  • standard math The fractional Laplacian (-Delta)^s is well-defined and the associated Poisson problem with exterior data g in L^infty admits a unique solution u_s for each s in (0,1).
    Invoked implicitly when the family u_s is introduced and when asymptotics are claimed.
  • domain assumption The logarithmic Laplacian exists for suitable extensions of g.
    Used to express the zero-order asymptotics and s-derivatives.

pith-pipeline@v0.9.0 · 5504 in / 1359 out tokens · 77489 ms · 2026-05-08T07:16:41.517010+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

27 extracted references · 7 canonical work pages · 1 internal anchor

  1. [1]

    Abatangelo

    N. Abatangelo. Larges-harmonic functions and boundary blow-up solutions for the fractional Laplacian.Discrete Contin. Dyn. Syst., 35 (2015), no. 12, 5555–5607

    2015

  2. [2]

    Angeles and A

    F. Angeles and A. Saldana. Small order limit of fractional Dirichlet sublinear-type problems,Fract. Calc. Appl. Anal.26 (2023), no. 4, 1594-–1631

    2023

  3. [3]

    Bogdan and T

    K. Bogdan and T. Byczkowski. Potential theory for theα-stable Schrödinger operator on bounded Lipschitz domains.Studia Math., 133 (1999), no. 1, 53–92

    1999

  4. [4]

    Bogdan, S

    K. Bogdan, S. Jarohs, and E. Kania. Semilinear Dirichlet problem for the fractional Laplacian.Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods, 193 (2019), 111512, 20 pp

    2019

  5. [5]

    K. Bogdan. Representation ofα-harmonic functions in Lipschitz domains.Hiroshima Math. J., 29 (1999), no. 2, 227–243

    1999

  6. [6]

    Bogdan, T

    K. Bogdan, T. Kulczycki, and M. Kwaśnicki. Estimates and structure ofα-harmonic functions.Probab. Theory Related Fields, 140 (2008), no. 3-4, 345–381

    2008

  7. [7]

    Chang-Lara and A

    H. Chang-Lara and A. Saldaña. Classical solutions to integral equations with zero order kernels.Math. Ann.389 (2024), no. 2, 1463–1515

    2024

  8. [8]

    Chen and T

    H. Chen and T. Weth. The Dirichlet problem for the logarithmic Laplacian. Comm. Partial Differential Equations 44 (2019), no. 11, 1100–1139

    2019

  9. [9]

    Chen and L

    H. Chen and L. Véron. Bounds for eigenvalues of the Dirichlet problem for the logarithmic Laplacian.Adv. Calc. Var.Doi: 10.1515/acv-2021-0025 (2022)

    work page doi:10.1515/acv-2021-0025 2021

  10. [10]

    H. Chen. Onm-order logarithmic Laplacians and related properties.arXiv:2307.06198(2023)

    work page arXiv 2023

  11. [11]

    H. Chen, R. Chen and D. Hauer. The Fractional-Logarithmic Laplacian: Fundamental Properties and Eigenval- ues.arXiv:2602.06581(2026)

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  12. [12]

    H. Chen, D. Hauer and T. Weth. An extension problem for the logarithmic Laplacian. https://arxiv.org/abs/2312.15689(2023)

    work page arXiv 2023

  13. [13]

    Z.-Q. Chen. Multidimensional symmetric stable processes.Korean J. Comput. Appl. Math.6 (1999), no. 2, 227–266

    1999

  14. [14]

    Correa; A

    E. Correa; A. de Pablo. Nonlocal operators of order near zero.J. Math. Anal. Appl.,Volume 461, Issue 1,2018, Pages 837-867, ISSN 0022-247X, https://doi.org/10.1016/j.jmaa.2017.12.011

    work page doi:10.1016/j.jmaa.2017.12.011 2018

  15. [15]

    De Luca, M

    L. De Luca, M. Novaga, and M. Ponsiglione. The 0-fractional perimeter between fractional perimeters and Riesz potentials.Ann. Sc. Norm. Super. Pisa, Cl. Sci.(5) 22 (2021), mo. 4, 1559–1596

    2021

  16. [16]

    Fall and T

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

    2016

  17. [17]

    J. C. Fernández and A. Saldaña. The conformal logarithmic Laplacian on the sphere: Yamabe-type problems and Sobolev spaces.https://doi.org/10.48550/arXiv.2507.21779

    work page doi:10.48550/arxiv.2507.21779

  18. [18]

    P. A. Feulefack, S. Jarohs, and T. Weth. Small order asymptotics of the Dirichlet eigenvalue problem for the fractional Laplacian.J. Fourier Anal. Appl., 28 (2022), no. 2, Paper No. 18, 44 pp

    2022

  19. [19]

    Garofalo

    N. Garofalo. Fractional thoughts. arXiv preprint arXiv:1712.03347 (2017)

    work page arXiv 2017

  20. [20]

    A, Theory Methods, 241 (2024), 113481, 35 pp

    F.GrubeandT.Hensiek.RobustnonlocaltracespacesandNeumannproblems.Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods, 241 (2024), 113481, 35 pp

    2024

  21. [21]

    Hernández Antamaría and A

    V. Hernández Antamaría and A. Saldana. Small order asymptotics for nonlinear fractional problems.Calc. Var. PDE 61(3), No. 92, 26 pp. (2022)

    2022

  22. [22]

    Hernández-Santamaría, L.F

    V. Hernández-Santamaría, L.F. López Ríos, and A. Saldaña. Optimal boundary regularity and a Hopf-type lemma for Dirichlet problems involving the logarithmic Laplacian.Discrete Contin. Dyn. Syst.45 (2025), no. 1, 1–36

    2025

  23. [23]

    Jarohs, A

    S. Jarohs, A. Saldaña, and T. Weth. A new look at the fractional Poisson problem via the logarithmic Laplacian. J. Funct. Anal., 279 (2020), no. 11, 108732, 50 pp

    2020

  24. [24]

    Jarohs, A

    S. Jarohs, A. Saldaña, and T. Weth. Differentiability of the Nonlocal-to-local Transition in Fractional Poisson Problems.Potential Anal.63 (2025), 77–99

    2025

  25. [25]

    Landkof.Foundations of Modern Potential Theory

    N.S. Landkof.Foundations of Modern Potential Theory. Springer-Verlag, Berlin Heidelberg New York, 1972

    1972

  26. [26]

    E.H. Lieb. Sharp constants in the Hardy-Littlewood-Sobolev and related inequalities.Ann. of Math. (2), 118 (1983), no. 2, 349–374

    1983

  27. [27]

    E.H.LiebandM.Loss.Analysis, volume14ofGraduate Studies in Mathematics.AmericanMathematicalSociety, Providence, RI, second edition, 2001

    2001