Pith. sign in

REVIEW 1 major objections 2 minor 59 references

Higher regularity in nonlocal free boundary problems

T0 review · 1 major / 2 minor · reviewed 2026-08-15 · 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 for general nonlocal operators of order $2s$, any $C^{2,\alpha}$ free boundary in the one-phase Bernoulli problem is automatically $C^{\infty}$, new even for the fractional Laplacian when $s\neq 1/2$.

desk verdict A major open problem in nonlocal free boundaries is settled, with one presentation gap in the regularity assumptions of the key integration-by-parts lemma that should be fixed before publication. read the letter →

arxiv 2507.20581 v1 pith:F2O4Q6AO submitted 2025-07-28 math.AP

Begoña Barrios , Xavier Ros-Oton , Marvin Weidner This is my paper · ORCID
classification math.AP MSC 35R3547G2035B65
keywords nonlocalfreeboundaryproblemsone-phaseBernoulliproblemfractionalLaplacianintegro-differentialoperatorshigherregularityobstacleobliqueconditionsweightedequations
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 proves a regularity bootstrapping statement for nonlocal free boundary problems: if a free boundary is already known to be $C^{2,\alpha}$, then it is in fact $C^{\infty}$. The main case is the nonlocal one-phase (Bernoulli) problem for a general integro-differential operator of order $2s$ with a smooth kernel on the sphere, and the conclusion is new even for the fractional Laplacian when $s\neq 1/2$. The same method shows that in overdetermined problems, smooth boundary data forces the boundary to be smooth, and it yields a fresh proof, not based on higher-order boundary Harnack inequalities, that regular free boundaries in the nonlocal obstacle problem are $C^{\infty}$. The engine is a quotient of derivatives of the solution that satisfies a weighted nonlocal equation with a local Neumann-type boundary condition, together with new integration-by-parts formulas and boundary H\"older estimates for such equations.

What carries the argument

The load-bearing object is the quotient $w=\kappa_2\,\partial_i u/\partial_n u$ of the truncated solution $u$, together with the weighted nonlocal equation it satisfies: $\int_{\Omega}(w(x)-w(y))\,\partial_n v(x)\,\partial_n v(y)\,K(x-y)\,dy=0$ in $\Omega$, with a local Neumann-type boundary condition on $\partial\Omega$. Near the boundary the weights behave like $d_{\Omega}^{s-1}(x)\,d_{\Omega}^{s-1}(y)$, and the proof reduces the matter to a model half-space problem with weight $(x_n)_+^{s-1}(y_n)_+^{s-1}$ and Neumann condition $\partial_n w=0$ on $\{x_n=0\}$. Three new tools carry the argument: integration-by-parts formulas (Lemma 3.7) that turn the weighted nonlocal energy into a bulk term plus a boundary term involving the oblique derivative $\Theta_{K,\Omega}\cdot\nabla w$; a De Giorgi iteration with weighted Poincar\'e--Sobolev inequalities yielding boundary H\"older estimates and a weighted Liouville theorem (only constants solve the model problem); and a Liouville-based compactness argument producing the a priori boundary H\"older estimate of Proposition 5.1. For the one-phase problem, the kernel's first-moment direction $\theta_K=2c_s\int_{\mathbb{R}^{n-1}}(h',1)K((h',1))\,dh'$ is handled by a shear transformation (Lemma 3.13) that converts the oblique boundary condition into a normal one for a modified kernel, and the identity $A(\nu)=c_{n,s}(\int_{S^{n-1}}K(\theta)|\theta\cdot\nu|^{2s}d\theta)^{-1/2}$ is used to show that the boundary condition for $w$ is exactly $\partial_{\theta(x)}w=0$ along $\theta(x)\parallel\nabla A(\nu(x))$.

What would settle it

Solve the equation $Lv=0$ in $\Omega$, $v=0$ outside, with boundary scaling $v/d_{\Omega}^s$ normalized to $A(\nu)$, on a domain whose boundary is deliberately $C^{2,\alpha}$ but not $C^3$ at one point, and compute the tangential quotient $\partial_i v/\partial_n v$ along points approaching that point. The theorem predicts this quotient and all its tangential incremental quotients remain bounded and converge to a smooth trace; if the quotient develops a singularity or the incremental quotients fail to converge for some $k$, the claim is false. A simpler diagnostic is the liminf of $r^{1-s}\partial_\nu v$ at regular boundary points: finding a point where this liminf is $0$ while $v$ is not identically zero would break the argument and, if the boundary is not $C^{\infty}$ there, falsify Theorem 1.1.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 1.1: let $L$ be an operator of the form (1.1)--(1.2) whose kernel $K$, restricted to the unit sphere, is $C^{\infty}$, and let $v\in L^{\infty}(\mathbb{R}^n)$ be any solution of the nonlocal one-phase free boundary problem (1.3). If $\partial\Omega\cap B_1$ is in $C^{2,\alpha}$, then $\partial\Omega\cap B_{1/2}$ is in $C^{\infty}$. The mechanism is the tangential quotient $w=\kappa_2\,\partial_i u/\partial_n u$: after flattening the boundary, $w$ satisfies a weighted nonlocal equation with a local Neumann or oblique boundary condition, and the proof shows that $w$ gains H\"older regularity of order $\gamma$ at the boundary for every $\gamma\in(\max\{1/2,2s-1\},1)$. Iterating this gain through tangential incremental quotients lifts the boundary regularity from $C^{k,\alpha}$ to $C^{k+\alpha+\gamma}$, and repeating the step reaches $C^{\infty}$. The analogous Theorem 1.2 treats overdetermined problems with smooth boundary datum $h$, and Theorem 1.3 gives the same conclusion $C^{1,\alpha}\Rightarrow C^{\infty}$ for regular free boundaries of the nonlocal obstacle problem.

Load-bearing premise

The proof requires that near the boundary point the solution grows out of the boundary at a non-degenerate rate: its normal derivative must stay bounded below by a positive constant times (distance to the boundary)$^{s-1}$, and the normal derivative of the distance function must also stay positive. If that lower bound vanishes at a boundary point, the quotient $w$ is not defined and the bootstrap cannot start.

Editorial extensions

If this is right

  • Completing the $C^{2,\alpha}\Rightarrow C^{\infty}$ step, the only missing piece in the nonlocal one-phase programme is upgrading flat boundaries to $C^{2,\alpha}$; the authors state they will supply it in a future paper, at which point the full chain flat $\Rightarrow C^{1,\alpha}\Rightarrow C^{2,\alpha}\Rightarrow C^{\infty}$ holds.
  • For the nonlocal obstacle problem, the smoothness of regular free boundaries now has a proof independent of higher-order boundary Harnack inequalities.
  • For overdetermined problems, the result is a reverse regularity statement: smoothness of $u/d_{\Omega}^s$ on the boundary implies smoothness of the boundary itself, answering the nonlocal analogue of the classical Poisson-kernel question.
  • The new boundary H\"older estimates and integration-by-parts formulas apply to the whole range of weights $(x_n)_+^{\beta-1}$ with $\beta\in[s,1+s]$, and the paper notes the intermediate range is relevant to the nonlocal Alt--Phillips problem, so the same machinery is likely reusable there.
  • As a corollary, the theorem converts the regularity question for the one-phase problem into the flatness/$C^{1,\alpha}$ step: any improvement of flatness up to $C^{2,\alpha}$ automatically yields infinite smoothness.

Reading between the lines

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

  • Because the $C^{\gamma}$ gain in Proposition 5.1 depends only on dimension, ellipticity bounds, and the H\"older norm of the kernel, the $C^{2,\alpha}\Rightarrow C^{\infty}$ conclusion should be stable under small $C^{\infty}$ perturbations of the kernel, with uniform constants.
  • The shear/oblique-to-normal reduction isolates the kernel through the single vector $\theta_K$; this suggests anisotropic kernels will produce free boundaries that are smooth but whose local coordinate system is tilted by $\theta_K$, an anisotropy effect that could be detected by computing $\theta_K$ for a specific non-symmetric kernel.
  • The result implicitly supports a gain-of-one-derivative-per-iteration heuristic: each application of Proposition 5.1 upgrades boundary regularity by a fixed H\"older amount, so the number of iterations needed to reach $C^{\infty}$ is controlled by the initial $\alpha$ and by $s$.
  • For the obstacle problem, the new proof suggests higher-order boundary Harnack machinery is not essential for smoothness, opening the door to treating nonlinear nonlocal obstacle-type equations by the same quotient and Neumann-weight method.
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

1 major / 2 minor

Summary. The paper develops new higher-regularity tools for nonlocal free boundary problems. The main result (Theorem 1.1) states that for a general nonlocal operator L of order 2s with smooth kernel on the sphere, a C^{2,α} free boundary (for any α>0) of a solution to the nonlocal one-phase problem is actually C^∞. A parallel result (Theorem 1.2) is proved for overdetermined problems with smooth boundary data, and a new proof is given for the nonlocal obstacle problem (Theorem 1.3). The technical core consists of new integration by parts formulas for weighted nonlocal energies (Lemma 3.1 and Lemma 3.7), weighted Liouville theorems (Proposition 4.1), boundary Hölder estimates for equations with local Neumann-type conditions (Proposition 4.3 and Proposition 5.1), and a bootstrap argument on the quotient ∂_i u/∂_n u.

Significance. If the proof is correct as stated, the paper solves a long-standing open problem: the C^∞ regularity of free boundaries in the nonlocal one-phase problem was known only for s=1/2, so Theorem 1.1 is a major advance even for the fractional Laplacian. The paper also introduces genuinely new integration by parts identities and boundary Hölder estimates for nonlocal equations with singular weights, which are likely to be of independent interest. The approach is robust and unified, covering the one-phase, overdetermined, and obstacle problems. The proofs are detailed and mostly self-contained, with standard technical lemmas deferred to well-known references.

major comments (1)
  1. [§3.2 (Lemma 3.7) and §6.1 (Corollary 6.2(iv), Corollary 6.6(iii))] Lemma 3.7 requires J∈C^{1,δ}_c for some δ∈(max{0,2s−1},s). In the application to the one-phase and overdetermined problems, J(x)=(d^{1−s}∂_n u∘Φ)(x)|detDΦ(x)|. Lemma 6.1(i), via Lemma 2.2, gives only d^{1−s}∇u∈C^{k−1,α}; for the initial step k=2 this yields J∈C^{1,α}. If s>1/2 and α≤2s−1, no admissible δ exists. The proof of Lemma 3.7 genuinely uses δ>2s−1: in the treatment of the term J_ε^(2) (after (3.19)–(3.20)), Lemma 7.5 is applied to the double integral ∫_0^ε r^{s−1}∫_ε^∞ t^{s−1}|r−t|^{-2s+δ} dt dr, which converges only when δ>2s−1. Consequently the weak formulation for the incremental quotient W^{(h)} in Corollary 6.2(iv) and Corollary 6.6(iii) is not justified in this regime, and Proposition 5.1 cannot be invoked as in Propositions 6.3 and 6.7. Since Theorem 1.1 is stated for arbitrary α>0, the proof does not cover α≤max{0,2s−1} when this quantity is positive. The same gap affects Theorem 1.2, because the same J-regularity hypothesis is used. The manuscript should either restrict the statements to α>max{0,2s−1} or provide an integration by parts result valid when J∈C^{1,α} only with α>0.
minor comments (2)
  1. [§1.3, Theorem 1.1 and §6.1.2, Proposition 6.7] Theorem 1.1 states that the result holds for 'any solution' of (1.3), but the proof in §6.1.2 is carried out for minimizers in the sense of Definition 2.4 (see Proposition 6.7 and Lemma 2.5). The manuscript should state explicitly the class of solutions covered, or explain why every solution of (1.3) is a minimizer.
  2. [§6.1.1, Corollary 6.2, remark after (iv)] The remark after Corollary 6.2(iv) says that when α<max{0,2s−1,1/2} one may apply the result with k̄=k−1 and a larger ᾱ. This does not resolve the J-regularity issue raised in the major comment, because Lemma 3.7 still requires J∈C^{1,δ} with δ>2s−1. The remark should be reconciled with the hypotheses of Lemma 3.7.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the bootstrap rests on independent a priori estimates; the self-citations are established prior results, not disguised conclusions.

full rationale

The central claim is proved by a bootstrap in which each link is an estimate proved inside the paper or an independent cited theorem. The quotient w = ∂_i u / ∂_n u is not assumed regular; its weighted equation (1.5) is derived from the operator and boundary conditions, and the C^γ estimate in Proposition 5.1 is proved by a contradiction/compactness argument that reduces to the weighted Liouville theorem, Proposition 4.1, whose proof uses a De Giorgi iteration and a reduction to a 1D Liouville statement. The oblique boundary condition for the one-phase problem is computed from the explicit formula for A(ν), not imposed as the conclusion. Citations to [RoWe24b], [RoWe24a], [FeRo24], and [RoSe16] supply foundational facts such as boundary asymptotics, the Hopf-type nondegeneracy bound, the formula A(ν), and the 1D Liouville theorem; these are separate results with stated hypotheses that do not include the target C∞ regularity of the free boundary. The paper even advertises Theorem 1.3 as a proof 'completely different' from [AbRo20], which counts against any reading of the framework as merely renaming or repackaging prior results. The skeptic's concern about Lemma 3.7 requiring J ∈ C^{1,δ} with δ > max{0,2s−1} while the initial bootstrap step may only give J ∈ C^{1,α} for small α is a possible technical gap in a low-regularity regime, not a circular reduction: if valid, it would make a step of the proof unjustified, but it would not make the conclusion equivalent to the input. No fitted parameter is renamed as a prediction, and no uniqueness theorem from the authors' prior work is invoked to forbid alternatives. Hence no substantive circularity is present.

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

The paper introduces no free parameters or invented entities. It relies on standard theorems in nonlocal elliptic theory and on prior results of the authors that do not include the target regularity conclusion. The key assumptions are the kernel class and the Hopf-type nondegeneracy at the studied boundary point.

assumptions (4)
  • domain assumption The kernel K satisfies the ellipticity, symmetry, and homogeneity conditions (1.2), with K restricted to the sphere in C^infinity for the main theorems.
    This is the class of operators studied throughout the paper, introduced in Section 1.2 and used in all main results.
  • standard math Standard regularity theorems for nonlocal operators are invoked without proof, including the boundary expansion from [AbRo20, Theorem 1.4] and [FeRo24], and the 1D Liouville theorem [RoSe16, Lemma 6.2].
    These are used in Lemma 2.2, Lemma 2.3, and Proposition 4.1 as black-box results.
  • standard math For the one-phase problem, the boundary condition v/d^s_Omega = A(nu) holds, with A given by (2.18) from [RoWe24b, Proposition 3.1].
    This prior result is used in Lemma 2.5 and Corollary 6.6 to derive the oblique derivative boundary condition.
  • domain assumption The nondegeneracy condition (6.2), partial_n v >= delta and partial_n(d_Omega) >= delta, holds at the free boundary point under study.
    Derived in the proofs of Theorems 1.1 and 1.2 via Lemma 2.3 and the nonlocal Hopf lemma; it is load-bearing for the quotient construction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Higher regularity in nonlocal free boundary problems." pith.science (2026). https://pith.science/paper/F2O4Q6AO

@misc{pith2026250720581,
  author       = {Pith},
  title        = {Pith review of: Higher regularity in nonlocal free boundary problems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F2O4Q6AO}},
  note         = {Machine review of arXiv:2507.20581}
}
abstract

We study the higher regularity in nonlocal free boundary problems posed for general integro-differential operators of order $2s$. Our main result is for the nonlocal one-phase (Bernoulli) problem, for which we establish that $C^{2,\alpha}$ free boundaries are $C^\infty$. This is new even for the fractional Laplacian, as it was only known in case $s=\frac12$. We also establish a general result for overdetermined problems, showing that if the boundary condition is smooth, then so is $\partial\Omega$. Our approach is very robust and works as well for the nonlocal obstacle problem, where it yields a new proof of the higher regularity of free boundaries, completely different from the one in [AbRo20]. In order to prove our results, we need to develop, among other tools, new integration by parts formulas and delicate boundary H\"older estimates for nonlocal equations with (local) Neumann boundary conditions that had not been studied before and are of independent interest.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

59 extracted references · 55 canonical work pages

  1. [1]

    Abatangelo, Large s -harmonic functions and boundary blow-up solutions for the fractional Laplacian , Discrete Contin

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

    work page 2015

  2. [2]

    Abatangelo and X

    N. Abatangelo and X. Ros-Oton, Obstacle problems for integro-differential operators: higher regularity of free boundaries, Adv. Math. 360 (2020), 106931, 61

    work page 2020

  3. [3]

    Alt and L

    H. Alt and L. Caffarelli. Existence and regularity for a minimum problem with free boundary. J. Reine Angew. Math. , 325:105--144, 1981

    work page 1981

  4. [4]

    Andersson, Characterization of pointwise H \"older regularity , Appl

    P. Andersson, Characterization of pointwise H \"older regularity , Appl. Comput. Harmon. Anal. 4 (1997), 429--443

    work page 1997

  5. [5]

    Barrios, A

    B. Barrios, A. Figalli, X. Ros-Oton, Free boundary regularity in the parabolic fractional obstacle problem, Comm. Pure Appl. Math. 71 (2018), 2129-2159

    work page 2018

  6. [6]

    Barrios, A

    B. Barrios, A. Figalli, and X. Ros-Oton, Global regularity for the free boundary in the obstacle problem for the fractional Laplacian, Amer. J. Math. 140 (2018), 415-447

    work page 2018

  7. [7]

    L. Behn, L. Diening, J. Ok, and J. Rolfes, Nonlocal equations with degenerate weights, arXiv:2409.11829 (2024)

    work page Pith review arXiv 2024

  8. [8]

    Caffarelli, The regularity of free boundaries in higher dimensions, Acta Math

    L. Caffarelli, The regularity of free boundaries in higher dimensions, Acta Math. 139 (1977), 155--184

    work page 1977

Show all 59 references
  1. [9]

    Caffarelli, A Harnack inequality approach to the regularity of free boundaries

    L. Caffarelli, A Harnack inequality approach to the regularity of free boundaries. II. Flat free boundaries are Lipschitz, Comm. Pure Appl. Math. 42 (1989), 55-78

    1989

  2. [10]

    Caffarelli and A

    L. Caffarelli and A. Figalli, Regularity of solutions to the parabolic fractional obstacle problem, J. Reine Angew. Math. 680 (2013), 191-233

    2013

  3. [11]

    Caffarelli, D

    L. Caffarelli, D. Jerison, and C. Kenig. Global energy minimizers for free boundary problems and full regularity in three dimensions. In Noncompact problems at the intersection of geometry, analysis, and topology , volume 350 of Contemp. Math. , pages 83--97. Amer. Math. Soc.,...

    2004

  4. [12]

    Caffarelli, L

    L. Caffarelli, L. Karp, and H. Shahgholian, Regularity of a free boundary with applications to the Pompeiu problem, Ann. Math., 151 (2000), 269-292

    2000

  5. [13]

    Caffarelli, J.-M

    L. Caffarelli, J.-M. Roquejoffre, and Y. Sire, Variational problems for free boundaries for the fractional Laplacian, J. Eur. Math. Soc. 12 (2010), 1103--1148

    2010

  6. [14]

    Caffarelli, X

    L. Caffarelli, X. Ros-Oton, and J. Serra, Obstacle problems for integro-differential operators: regularity of solutions and free boundaries, Invent. Math. 208 (2017), 1155--1211

    2017

  7. [15]

    Caffarelli and S

    L. Caffarelli and S. Salsa, A Geometric Approach to Free Boundary Problems, American Mathematical Society (2005)

    2005

  8. [16]

    Caffarelli, S

    L. Caffarelli, S. Salsa, and L. Silvestre. Regularity estimates for the solution and the free boundary of the obstacle problem for the fractional L aplacian. Invent. Math. , 171(2):425--461, 2008

    2008

  9. [17]

    Cho and P

    S. Cho and P. Kim, Stability of H \"older regularity and weighted functional inequalities , arXiv:2503.00318 (2025)

    2025 arXiv

  10. [18]

    Cozzi, Regularity results and H arnack inequalities for minimizers and solutions of nonlocal problems: a unified approach via fractional D e G iorgi classes , J

    M. Cozzi, Regularity results and H arnack inequalities for minimizers and solutions of nonlocal problems: a unified approach via fractional D e G iorgi classes , J. Funct. Anal. 272 (2017), 4762--4837

    2017

  11. [19]

    Crandall, H

    M. Crandall, H. Ishii, and P.-L. Lions, User's guide to viscosity solutions of second order partial differential equations, Bull. Amer. Math. Soc. (N.S.) 27 (1992), 1--67

    1992

  12. [20]

    Danielli, N

    D. Danielli, N. Garofalo, A. Petrosyan, and T. To, Optimal regularity and the free boundary in the parabolic S ignorini problem , Mem. Amer. Math. Soc. 249 (2017), No. 1181

    2017

  13. [21]

    De Philippis, L

    G. De Philippis, L. Spolaor, and B. Velichkov. Regularity of the free boundary for the two-phase Bernoulli problem, Invent. Math. 225 (2021), 347-394

    2021

  14. [22]

    De Silva, F

    D. De Silva, F. Ferrari, and S. Salsa. Regularity of higher order in two-phase free boundary problems, Trans. Amer. Math. Soc. 37 (2019), 3691-3720

    2019

  15. [23]

    De Silva and J

    D. De Silva and J. Roquejoffre. Regularity in a one-phase free boundary problem for the fractional L aplacian. Ann. Inst. H. Poincar\' e C Anal. Non Lin\' e aire , 29(3):335--367, 2012

    2012

  16. [24]

    De Silva and O

    D. De Silva and O. Savin. C^ 2, regularity of flat free boundaries for the thin one-phase problem. J. Differential Equations , 253(8):2420--2459, 2012

    2012

  17. [25]

    De Silva and O

    D. De Silva and O. Savin. Regularity of L ipschitz free boundaries for the thin one-phase problem. J. Eur. Math. Soc. , 17(6):1293--1326, 2015

    2015

  18. [26]

    De Silva and O

    D. De Silva and O. Savin. C^ regularity of certain thin free boundaries. Indiana Univ. Math. J. , 64(5):1575--1608, 2015

    2015

  19. [27]

    De Silva, O

    D. De Silva, O. Savin, and Y. Sire. A one-phase problem for the fractional L aplacian: regularity of flat free boundaries. Bull. Inst. Math. Acad. Sin. (N.S.) , 9(1):111--145, 2014

    2014

  20. [28]

    Di Castro, T

    A. Di Castro, T. Kuusi, and G. Palatucci, Local behavior of fractional p -minimizers , Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire 33 (2016), 1279--1299

    2016

  21. [29]

    Duvaut and J.-L

    G. Duvaut and J.-L. Lions, Inequalities in Mechanics and Physics, Springer-Verlag (1976)

    1976

  22. [30]

    Engelstein, A

    M. Engelstein, A. Kauranen, M. Prats, G. Sakellaris, and Y. Sire, Minimizers for the Thin One-Phase Free Boundary Problem, Comm. Pure Appl. Math. 74 (2021), 1971-2022

    2021

  23. [31]

    Engelstein, L

    M. Engelstein, L. Spolaor, and B. Velichkov, Uniqueness of the blowup at isolated singularities for the Alt-Caffarelli functional, Duke Math. J. 169 (2020), 1541-1601

    2020

  24. [32]

    Fall and X

    M. Fall and X. Ros-Oton, Global S chauder theory for minimizers of the H^s( ) energy , J. Funct. Anal. 283 (2022), No. 109523, 50

    2022

  25. [33]

    Fern\'andez-Real and X

    X. Fern\'andez-Real and X. Ros-Oton , Integro-Differential Elliptic Equations , Progress in Mathematics 350, Birkh\"auser/Springer, Cham , 2024

    2024

  26. [34]

    Fern\'andez-Real and X

    X. Fern\'andez-Real and X. Ros-Oton , Schauder and C ordes- N irenberg estimates for nonlocal elliptic equations with singular kernels , Proc. Lond. Math. Soc. 129 (2024), Paper No. e12629, 47

    2024

  27. [35]

    Fern\'andez-Real and X

    X. Fern\'andez-Real and X. Ros-Oton , Stable cones in the thin one-phase problem, Amer. J. Math. 146 (2024), 631-685

    2024

  28. [36]

    Figalli, X

    A. Figalli, X. Ros-Oton, and J. Serra, Generic regularity of free boundaries for the obstacle problem, Publ. Math. Inst. Hautes \'Etudes Sci. 132 (2020), 181-292

    2020

  29. [37]

    Grubb, Fractional Laplacians on domains, a development of H\"ormander's theory of -transmission pseudodifferential operators, Adv

    G. Grubb, Fractional Laplacians on domains, a development of H\"ormander's theory of -transmission pseudodifferential operators, Adv. Math. 268 (2015), 478-528

    2015

  30. [38]

    Grubb, Exact G reen's formula for the fractional L aplacian and perturbations , Math

    G. Grubb, Exact G reen's formula for the fractional L aplacian and perturbations , Math. Scand. 126 (2020), 568--592

    2020

  31. [39]

    Jhaveri and R

    Y. Jhaveri and R. Neumayer, Higher regularity of the free boundary in the obstacle problem for the fractional Laplacian, Adv. Math. 311 (2017), 748-795

    2017

  32. [40]

    D. Jerison. Regularity of the P oisson kernel and free boundary problems. Colloq. Math. , 60/61(2):547--568, 1990

    1990

  33. [41]

    Jerison and O

    D. Jerison and O. Savin. Some remarks on stability of cones for the one-phase free boundary problem. Geom. Funct. Anal. , 25(4):1240--1257, 2015

    2015

  34. [42]

    Kassmann and M

    M. Kassmann and M. Weidner, Nonlocal operators related to nonsymmetric forms, II : H arnack inequalities , Anal. PDE 17 (2024), 3189--3249

    2024

  35. [43]

    Kinderlehrer and L

    D. Kinderlehrer and L. Nirenberg, Regularity in free boundary problems, Ann. Sc. Norm. Super. Pisa Cl. Sci. 4 (1977), 373--391

    1977

  36. [44]

    H. Koch, A. R\"uland, and W. Shi, Higher regularity for the fractional thin obstacle problem, New York J. Math. 25 (2019) 745-838

    2019

  37. [45]

    Kukuljan, The fractional obstacle problem with drift: higher regularity of free boundaries, J

    T. Kukuljan, The fractional obstacle problem with drift: higher regularity of free boundaries, J. Funct. Anal. 281 (2021), 109114

    2021

  38. [46]

    Li and K

    D. Li and K. Zhang. Boundary pointwise regularity and applications to the regularity of free boundaries . Calc. Var. Partial Differential Equations 62 (2023), 230

    2023

  39. [47]

    Petrosyan, H

    A. Petrosyan, H. Shahgholian, and N. Uraltseva, Regularity of Free Boundaries in Obstacle-Type Problems, American Mathematical Society (2012)

    2012

  40. [48]

    Ros-Oton and J

    X. Ros-Oton and J. Serra , Boundary regularity for fully nonlinear integro-differential equations, Duke Math. J. 165 (2016), 2079--2154

    2016

  41. [49]

    Ros-Oton and J

    X. Ros-Oton and J. Serra , Boundary regularity estimates for nonlocal elliptic equations in C^1 and C^ 1, domains , Ann. Mat. Pura Appl. 196 (2017), 1637--1668

    2017

  42. [50]

    Ros-Oton, C

    X. Ros-Oton, C. Torres-Latorre, and M. Weidner, Semiconvexity estimates for nonlinear integro-differential equations, Comm. Pure Appl. Math. 78 (2025), 592--647

    2025

  43. [51]

    Ros-Oton and M

    X. Ros-Oton and M. Weidner , Regularity for nonlocal equations with local N eumann boundary conditions , Anal. PDE, to appear (2025)

    2025

  44. [52]

    Ros-Oton and M

    X. Ros-Oton and M. Weidner , Optimal regularity for nonlocal elliptic equations and free boundary problems, arXiv:2403.07793 (2024)

    2024 arXiv

  45. [53]

    Ros-Oton and M

    X. Ros-Oton and M. Weidner , Improvement of flatness for nonlocal free boundary problems, J. Eur. Math. Soc., to appear (2025)

    2025

  46. [54]

    Ros-Oton and M

    X. Ros-Oton and M. Weidner , Optimal regularity for kinetic Fokker-Planck equations in domains, arXiv:2505.11943 (2025)

    2025 arXiv

  47. [55]

    Sakai, Regularity of a boundary having a Schwarz function, Acta Math

    M. Sakai, Regularity of a boundary having a Schwarz function, Acta Math. 166 (1991), 263-297

    1991

  48. [56]

    Scott and Q

    J. Scott and Q. Du, Nonlocal problems with local boundary conditions I : F unction spaces and variational principles , SIAM J. Math. Anal. 56 (2024), 4185--4222

    2024

  49. [57]

    Scott and Q

    J. Scott and Q. Du, Nonlocal problems with local boundary conditions II : G reen's identities and regularity of solutions , SIAM J. Math. Anal. 57 (2025), 404--451

    2025

  50. [58]

    Velichkov, Regularity of the One-phase Free Boundaries, Lecture Notes of the Unione Matematica Italiana 28, Springer 2023

    B. Velichkov, Regularity of the One-phase Free Boundaries, Lecture Notes of the Unione Matematica Italiana 28, Springer 2023

    2023

  51. [59]

    Weiss, Partial regularity for weak solutions of an elliptic free boundary problem, Comm

    G. Weiss, Partial regularity for weak solutions of an elliptic free boundary problem, Comm. Partial Differential Equations 23 (1999), 439-455

    1999

Pith tools

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