pith. sign in

arxiv: 2510.14476 · v2 · pith:W7JDMKAKnew · submitted 2025-10-16 · 🧮 math.AP

An L^infty-variational problem involving the Fractional Laplacian

Simone Carano , Roger Moser This is my paper

Pith reviewed 2026-05-22 12:14 UTC · model grok-4.3

classification 🧮 math.AP
keywords fractional Laplaciansupremal functionalexistence and uniquenessnonlocal variational problems-harmonic measureDirichlet exterior datafractional PDE
0
0 comments X

The pith

Unique absolute minimizers exist for the L^∞ norm of the fractional Laplacian with fixed exterior data.

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

The paper establishes existence and uniqueness of functions that minimize the essential supremum of the absolute value of their fractional Laplacian of order s, among all functions that match given values outside a bounded open set Ω in R^n. This is achieved by applying the direct method of the calculus of variations to the supremal functional E_∞(u). The resulting minimizer satisfies a nonlocal PDE inside Ω whose right-hand side is the product of the minimal value and the sign of a function coming from an s-harmonic measure. A sympathetic reader would care because the result supplies a variational characterization for solutions to certain infinity-type fractional equations that arise in nonlocal diffusion and optimal-control settings.

Core claim

We prove existence and uniqueness of absolute minimisers of the supremal functional E_∞(u)=||(−Δ)^s u||_L^∞(R^n), where u has prescribed Dirichlet data in the complement of Ω. We further show that the minimiser u_∞ satisfies the fractional PDE (−Δ)^s u_∞=E_∞(u_∞) sgn f_∞ in Ω, for some analytic function f_∞∈L^1(Ω) obtained as the restriction of an s-harmonic measure μ in Ω.

What carries the argument

The supremal functional E_∞(u) equal to the L^∞ norm of the fractional Laplacian of u, minimized over the weakly closed set of admissible functions with fixed exterior data.

If this is right

  • Existence holds for every open bounded Ω and every admissible exterior datum.
  • The minimizer is necessarily unique.
  • The minimizer obeys the PDE (−Δ)^s u_∞ = constant × sgn f_∞ inside Ω.
  • The constant equals the minimal value of E_∞ and f_∞ is the restriction of an s-harmonic measure.

Where Pith is reading between the lines

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

  • The same variational construction may supply a natural notion of infinity-harmonic functions in the fractional setting.
  • Numerical schemes that discretize the fractional Laplacian could be used to approximate these minimizers on concrete domains.
  • The result opens a route to studying shape-optimization problems where the cost is measured by the L^∞ norm of a nonlocal operator.

Load-bearing premise

The set of functions with the prescribed exterior data is nonempty and weakly closed in a suitable fractional Sobolev space so that the direct method applies to the supremal functional.

What would settle it

An explicit bounded domain, value of s in (0,1), and exterior data for which either no minimizer exists, more than one minimizer exists, or the candidate minimizer fails to solve the stated sign-driven fractional equation.

read the original abstract

For $s\in(0,1)$ and an open bounded set $\Omega\subset\mathbb R^n$, we prove existence and uniqueness of absolute minimisers of the supremal functional $$E_\infty(u)=\|(-\Delta)^s u\|_{L^\infty(\mathbb R^n)},$$ where $(-\Delta)^s$ is the Fractional Laplacian of order $s$ and $u$ has prescribed Dirichlet data in the complement of $\Omega$. We further show that the minimiser $u_\infty$ satisfies the (fractional) PDE $$ (-\Delta)^s u_\infty=E_\infty(u_\infty)\,\mathrm{sgn}f_\infty \qquad\mbox{in }\Omega, $$ for some analytic function $f_\infty\in L^1(\Omega)$ obtained as the restriction of an $s$-harmonic measure $\mu$ in $\Omega$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper proves existence and uniqueness of absolute minimizers u_∞ for the supremal functional E_∞(u) = ||(-Δ)^s u||_{L^∞(R^n)} with fixed exterior Dirichlet data outside a bounded domain Ω ⊂ R^n. It further shows that any such minimizer satisfies the PDE (-Δ)^s u_∞ = E_∞(u_∞) sgn f_∞ in Ω, where f_∞ ∈ L^1(Ω) is analytic and arises as the restriction of an s-harmonic measure μ.

Significance. If the claims hold, the work supplies a nonlocal counterpart to the theory of absolute minimizers for the infinity Laplacian, linking supremal variational problems to fractional potential theory via s-harmonic measures. The existence-uniqueness result and the PDE characterization are of interest for extending L^∞ variational methods to nonlocal operators.

major comments (1)
  1. [existence proof (likely §3)] The existence argument relies on the direct method applied to E_∞. The admissible set {u : u = g outside Ω and ||(-Δ)^s u||_∞ ≤ M} must be shown weakly closed in the appropriate fractional Sobolev space. Weak convergence u_k ⇀ u does not automatically pass the L^∞ bound on (-Δ)^s u_k to the limit, since (-Δ)^s u_k converges only weakly in the dual space; the manuscript must supply a specific compactness or representation argument (e.g., via the s-harmonic measure or uniform integrability) to close this step. Cite the relevant section or lemma where this closure is established.
minor comments (2)
  1. Clarify the precise function space in which the weak closure is taken and state the exterior data regularity assumptions explicitly.
  2. [PDE characterization] The analyticity claim for f_∞ should be supported by a reference to the regularity theory of s-harmonic measures or a short self-contained argument.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the constructive major comment. We address the point below and will revise the manuscript accordingly to strengthen the exposition of the existence argument.

read point-by-point responses

  1. Referee: [existence proof (likely §3)] The existence argument relies on the direct method applied to E_∞. The admissible set {u : u = g outside Ω and ||(-Δ)^s u||_∞ ≤ M} must be shown weakly closed in the appropriate fractional Sobolev space. Weak convergence u_k ⇀ u does not automatically pass the L^∞ bound on (-Δ)^s u_k to the limit, since (-Δ)^s u_k converges only weakly in the dual space; the manuscript must supply a specific compactness or representation argument (e.g., via the s-harmonic measure or uniform integrability) to close this step. Cite the relevant section or lemma where this closure is established.

    Authors: We agree that the weak closure of the admissible set requires explicit justification, as weak convergence in the fractional Sobolev space alone does not immediately preserve the L^∞ bound on (-Δ)^s u. In the current manuscript the argument proceeds via the integral representation of the fractional Laplacian with respect to the s-harmonic measure μ (introduced in Section 2 and used throughout Section 3). This representation yields the uniform integrability needed to pass the bound to the limit; see the paragraph immediately after the statement of Lemma 3.1, where the weak limit is identified using the measure-theoretic properties of μ. To address the referee’s request, we will add a short dedicated lemma (new Lemma 3.3) that isolates this compactness step, explicitly cites the s-harmonic measure representation, and states the uniform-integrability argument. The revised version will therefore contain a clear citation to the precise location of the closure argument. revision: yes

Circularity Check

0 steps flagged

Standard variational compactness; no load-bearing self-definition or fitted prediction

full rationale

The existence and uniqueness claims rely on the direct method applied to the supremal functional E_∞ together with standard properties of the fractional Laplacian and weak closure in fractional Sobolev spaces. No step reduces a derived quantity to a parameter fitted inside the paper or to a self-citation that itself assumes the target result. The PDE satisfied by the minimiser is obtained as a consequence of the variational characterisation rather than by redefining the functional in terms of itself. Minor self-citation of prior fractional Sobolev results is present but not load-bearing for the central existence statement.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on standard background results for the fractional Laplacian and the direct method of the calculus of variations; no free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)
  • standard math The fractional Laplacian (-Δ)^s is a well-defined nonlocal operator on suitable function spaces with the usual integral representation.
    Invoked implicitly when defining the functional E_∞ and the PDE.
  • domain assumption The space of functions with prescribed exterior data admits a direct-method argument for existence of minimizers of supremal functionals.
    Required for the existence part of the theorem.

pith-pipeline@v0.9.0 · 5669 in / 1397 out tokens · 44843 ms · 2026-05-22T12:14:29.931423+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · 1 internal anchor

  1. [1]

    Abatangelo, S

    N. Abatangelo, S. Dipierro, E. Valdinoci.A Gentle Invitation to the Fractional World, Springer Nature Switzerland, ISBN 3032029511, 9783032029515 (2025)

    work page 2025

  2. [2]

    Abdellaoui, A

    B. Abdellaoui, A. J. Fern´ andez, T. Leonori, A. Younes.Global fractional Calder´ on–Zygmund- type regularity, Commun. Contemp. Math. 2550004 (2024)

    work page 2024

  3. [3]

    Andreu, J

    F. Andreu, J. M. Maz´ on, J. D. Rossi, J. Toledo.The limit asp→ ∞in a nonlocalp-Laplacian evolution equation: a nonlocal approximation of a model for sandpiles, Calc. Var.35, 279–316 (2009). 17

    work page 2009

  4. [4]

    Aronsson.Minimization problems for the functionalsup x F(x, f(x), f ′(x))I, II, III, Arkiv fur Mat

    G. Aronsson.Minimization problems for the functionalsup x F(x, f(x), f ′(x))I, II, III, Arkiv fur Mat. 33-53 (1965); 409-431 (1966); 509-512 (1969)

    work page 1965

  5. [5]

    Biccari, M

    U. Biccari, M. Warma, E. Zuazua.Local elliptic regularity for the Dirichlet fractional Lapla- cian, Adv. Nonlinear Stud.17(2), 387–409 (2017)

    work page 2017

  6. [6]

    Biccari, M

    U. Biccari, M. Warma, E. Zuazua.Addendum: Local elliptic regularity for the Dirichlet frac- tional Laplacian[MR3641649], Adv. Nonlinear Stud.17(4), 837–839 (2017)

    work page 2017

  7. [7]

    Bjorland, L

    C. Bjorland, L. Caffarelli, A. Figalli.Non-Local Tug-of-War and the Infinity Fractional Lapla- cian, Comm. Pure Appl. Math. (2011)

    work page 2011

  8. [8]

    Bogdan, T

    K. Bogdan, T. Byczkowski.Potential theory for theα-stable Schr¨ odinger operator on bounded Lipschitz domains, Studia Mathematica133(1), 53-92 (1999)

    work page 1999

  9. [9]

    Barrios, I

    B. Barrios, I. Peral, F. Soria, E. Valdinoci.A Widder’s Type Theorem for the Heat Equation with Nonlocal Diffusion, Arch Rational Mech Anal213, 629–650 (2014)

    work page 2014

  10. [10]

    Braides.A handbook ofΓ-convergence, Handbook of Differential Equations: Stationary Partial Differential Equations, North-Holland,3, 101-213 (2006)

    A. Braides.A handbook ofΓ-convergence, Handbook of Differential Equations: Stationary Partial Differential Equations, North-Holland,3, 101-213 (2006)

    work page 2006

  11. [11]

    Brasco, E

    L. Brasco, E. Lindgren, A. Schikorra.Higher H¨ older regularity for the fractional p-Laplacian in the superquadratic case, Adv. Math.338, 782-846 (2018)

    work page 2018

  12. [12]

    Brasco, F

    L. Brasco, F. Prinari, F. Sk.On Morrey’s inequality in Sobolev-Slobodeckii spaces, Journal of Functional Analysis287(9), 110598 (2024)

    work page 2024

  13. [13]

    Bucur, E

    C. Bucur, E. Valdinoci.Nonlocal diffusion and applications, Lecture Notes of the Unione Matematica Italiana, vol. 20, Springer; Unione Matematica Italiana, Bologna (2016)

    work page 2016

  14. [14]

    Existence, uniqueness and characterisation of vector-valued absolute minimisers for a second order $L^\infty$-variational problem

    S. Carano, N. Katzourakis, R. Moser.Existence, uniqueness and characterisation of vector- valued absolute minimisers for a second orderL ∞-variational problem, Preprint ArXiv https://doi.org/10.48550/arXiv.2504.04181 (2025)

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2504.04181 2025

  15. [15]

    Carbotti, S

    A. Carbotti, S. Cito, D. A. La Manna, D. Pallara.Local regularity of very weaks-harmonic functions via fractional difference quotients, Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. 35(3), 365-395 (2024)

    work page 2024

  16. [16]

    Chambolle, E

    A. Chambolle, E. Lindgren, R. Monneau.A H¨ older infinity Laplacian, ESAIM: COCV18(3), 799-835 (2012)

    work page 2012

  17. [17]

    Dipierro, O

    S. Dipierro, O. Savin, E. Valdinoci.All functions are locallys-harmonic up to a small error, J. Eur. Math. Soc. (JEMS)19(4), 957–966 (2017)

    work page 2017

  18. [18]

    Di Nezza, G

    E. Di Nezza, G. Palatucci, E. Valdinoci.Hitchhikers guide to the fractional Sobolev spaces, Bull. Sci. Math.,136(5), 521-573 (2012)

    work page 2012

  19. [19]

    Dutton, N

    B. Dutton, N. Katzourakis.On Second-OrderL ∞ Variational Problems with Lower-Order Terms, to appear in Discrete Contin. Dyn. Syst. (2025)

    work page 2025

  20. [20]

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

    work page 2016

  21. [21]

    N. Katzourakis.An Introduction to Viscosity Solutions for Fully Nonlinear PDE with Appli- cations to Calculus of Variations inL ∞, Springer Briefs in Mathematics, DOI 10.1007/978- 3-319-12829-0 (2015)

    work page doi:10.1007/978- 2015

  22. [22]

    Katzourakis, R

    N. Katzourakis, R. Moser.Existence, uniqueness and structure of second order absolute min- imisers, ARMA231(3), 1615-1634 (2019)

    work page 2019

  23. [23]

    Katzourakis, R

    N. Katzourakis, R. Moser.Minimisers of supremal functionals and mass-minimising 1- currents, Calc. Var.64(26) (2025)

    work page 2025

  24. [24]

    Katzourakis, R

    N. Katzourakis, R. Moser.Variational problems inL ∞ involving semilinear second order differential operators, ESAIM: COCV,29(76) (2023)

    work page 2023

  25. [25]

    Katzourakis, R

    N. Katzourakis, R. Moser.Existence, uniqueness and characterisation of local minimisers in higher order Calculus of Variations inL ∞, ArXiv Preprint, https://arxiv.org/abs/2403.12625 (2024)

    work page arXiv 2024

  26. [26]

    Katzourakis, T

    N. Katzourakis, T. Pryer.2nd orderL ∞ Variational Problems and the∞-Polylaplacian, Advances in Calculus of Variations13, 115-140 (2020)

    work page 2020

  27. [27]

    All functions are locally s-harmonic up to a small error

    N. V. Krylov.On the paper “All functions are locally s-harmonic up to a small error” by Dipierro, Savin, and Valdinoci, Journal of Functional Analysis277(8), 2728-2733 (2019)

    work page 2019

  28. [28]

    Lindgren, P

    E. Lindgren, P. Lindqvist.Fractional eigenvalues, Calc. Var.49, 795–826 (2014)

    work page 2014

  29. [29]

    Moser.Structure and classification results for the∞-elastica problem, American Journal of Mathematics144(5), 1299-1329 (2022)

    R. Moser.Structure and classification results for the∞-elastica problem, American Journal of Mathematics144(5), 1299-1329 (2022)

    work page 2022

  30. [30]

    J. V. da Silva, J. D. Rossi.The limits asp→ ∞in free boundary problems with Fractional p-Laplacians, Trans. Amer. Math. Soc.371(4), 2739–2769 (2019)

    work page 2019

  31. [31]

    Silvestre.Regularity of the obstacle problem for a fractional power of the Laplace operator, Comm

    L. Silvestre.Regularity of the obstacle problem for a fractional power of the Laplace operator, Comm. Pure Appl. Math.60, 67-112 (2007). Simone Carano Department of Mathematical Sciences, University of Bath Bath BA2 7AY, UK E-mail: sc3705@bath.ac.uk Roger Moser Department of Mathematical Sciences, University of Bath Bath BA2 7AY, UK E-mail: r.moser@bath.ac.uk 19

    work page 2007