Nonlocal Obstacle Problem Overview

• Nonlocal obstacle problems are variational inequalities where constraints via obstacles interact with nonlocal operators (e.g., fractional Laplacians) to shape free-boundary phenomena.
• They employ analytical techniques such as blow-up analysis, penalization methods, and viscosity solutions to establish regularity and structure of solutions.
• These problems are pivotal in applications ranging from mathematical finance and minimal surface theory to transport phenomena and conservation laws.

to=arxiv_search.search 天天中彩票怎么买json {"query":"nonlocal obstacle problem arXiv", "max_results": 10} ыҟоуп to=search_arxiv _天天啪 大发分分彩json {"query":"nonlocal obstacle problem", "max_results": 10} to=arxiv 】【：】【“】【json {"query":"nonlocal obstacle problem", "max_results": 10} Nonlocal obstacle problems are variational inequalities and free-boundary problems in which the constraint is imposed by one or more obstacles, while the governing mechanism is nonlocal: an integro-differential operator, a fractional perimeter, a nonlocal curvature, a transport functional, or a nonlocal flux. In the literature, representative formulations include the elliptic equation $\min\{-Lu,\;u-\varphi\}=0$ in $\mathbb R^n$, parabolic complementarity systems of the form $\min\{u_t-Lu,\;u-\varphi\}=0$, variational inequalities in fractional Sobolev or generalized Orlicz spaces, and geometric minimization of fractional perimeter under a hard obstacle constraint (Figalli et al., 2023, Ros-Oton et al., 2023, Caffarelli et al., 2016). The coincidence set $\{u=\varphi\}$, the non-coincidence set $\{u>\varphi\}$, and the free boundary $\partial\{u>\varphi\}$ organize the phase structure of the problem, while regularity theory combines nonlocal elliptic or parabolic estimates with blow-up analysis, penalization, comparison principles, and boundary Harnack methods.

1. Canonical formulations and operator classes

The modern theory includes several distinct, but structurally related, models.

Setting	Prototype formulation	Representative sources
Linear or stable integro-differential operators	$\min\{Lu,\;u-\varphi\}=0$ in $\mathbb R^n$	(Figalli et al., 2023, Ros-Oton et al., 2023)
Fractional variational inequalities	Find $u\in\mathbb K$ such that $$\langle \mathcal L u,\;v-u\rangle\ge \langle F,\;v-u\rangle$$ for all $\mathbb R^n$0	(Lo et al., 2021, Korvenpaa et al., 2016, Lo et al., 2024, Lo et al., 2024)
Parabolic obstacle problems	$\mathbb R^n$1 or $\mathbb R^n$2	(Borrin et al., 2021, Athanasopoulos et al., 15 Jan 2026)
Geometric nonlocal minimal surfaces	Minimize $\mathbb R^n$3 subject to $\mathbb R^n$4	(Caffarelli et al., 2016)
Fully nonlinear nonlocal obstacles	Double-obstacle equations and fractional Monge--Ampère constraints	(Safdari, 2021, Jhaveri et al., 2017)

For stable operators of order $\mathbb R^n$5, one standard model is

$\mathbb R^n$6

with $\mathbb R^n$7, homogeneity $\mathbb R^n$8, and average ellipticity assumptions; in a more restrictive class one assumes pointwise bounds $\mathbb R^n$9 (Ros-Oton et al., 2023, Figalli et al., 2023). In fractional Sobolev settings, the obstacle is incorporated through a convex admissible set such as

$\min\{u_t-Lu,\;u-\varphi\}=0$0

or its $\min\{u_t-Lu,\;u-\varphi\}=0$1 and $\min\{u_t-Lu,\;u-\varphi\}=0$2 analogues (Lo et al., 2021, Lo et al., 2024, Lo et al., 2024).

The geometric branch replaces an equation for a function by a minimization problem for a set or a graph. For the one-membrane problem for nonlocal minimal surfaces, one minimizes the $\min\{u_t-Lu,\;u-\varphi\}=0$3-perimeter

$\min\{u_t-Lu,\;u-\varphi\}=0$4

among sets satisfying a hard inclusion constraint $\min\{u_t-Lu,\;u-\varphi\}=0$5 in $\min\{u_t-Lu,\;u-\varphi\}=0$6 and prescribed exterior data (Caffarelli et al., 2016). For nonlocal minimal graphs with obstacle, the functional is a nonlocal area

$\min\{u_t-Lu,\;u-\varphi\}=0$7

with pointwise constraint $\min\{u_t-Lu,\;u-\varphi\}=0$8 on an obstacle region $\min\{u_t-Lu,\;u-\varphi\}=0$9 and exterior data $\{u=\varphi\}$0 on $\{u=\varphi\}$1 (Bucur et al., 13 Apr 2026).

Fully nonlinear versions include nonlocal double-obstacle equations of the form

$\{u=\varphi\}$2

for uniformly elliptic nonlocal operators $\{u=\varphi\}$3 (Safdari, 2021), and the fractional Monge--Ampère obstacle problem

$\{u=\varphi\}$4

where $\{u=\varphi\}$5 and $\{u=\varphi\}$6 consists of symmetric positive-definite matrices with determinant $\{u=\varphi\}$7 (Jhaveri et al., 2017).

2. Variational inequalities, viscosity structure, and complementarity

The variational formulation is central in the fractional Sobolev and generalized Orlicz settings. For measurable kernels $\{u=\varphi\}$8 satisfying two-sided bounds

$\{u=\varphi\}$9

the obstacle problem reads: find $\{u>\varphi\}$0 such that

$\{u>\varphi\}$1

with $\{u>\varphi\}$2 induced by a singular Dirichlet form (Lo et al., 2021). Analogous inequalities hold for nonlinear operators driven by fractional $\{u>\varphi\}$3-growth or generalized Orlicz growth, with existence and uniqueness obtained from coercivity, strict convexity, lower semicontinuity, and strict $\{u>\varphi\}$4-monotonicity (Korvenpaa et al., 2016, Lo et al., 2024).

A recurrent structural output is a Lewy--Stampacchia inequality. In the Hilbertian setting one has

$\{u>\varphi\}$5

in the sense of $\{u>\varphi\}$6 under the assumptions stated in the paper (Lo et al., 2021). For the fractional $\{u>\varphi\}$7-obstacle problem,

$\{u>\varphi\}$8

almost everywhere in $\{u>\varphi\}$9 (Lo et al., 2024). In the generalized Orlicz framework,

$\partial\{u>\varphi\}$0

for one obstacle, and

$\partial\{u>\varphi\}$1

for two obstacles (Lo et al., 2024). These inequalities localize the forcing on the coincidence set and quantify the complementarity between the active constraint and the nonlocal operator.

In non-variational settings the natural language is viscosity. For stationary Lévy-type equations, a viscosity solution of

$\partial\{u>\varphi\}$2

is tested against global $\partial\{u>\varphi\}$3 functions touching from above or below (Danielli et al., 2017). For evolution problems, one tests against $\partial\{u>\varphi\}$4 functions and imposes a terminal condition (Danielli et al., 2017, Danielli et al., 2018). In the time-dependent nonlocal obstacle problem,

$\partial\{u>\varphi\}$5

in $\partial\{u>\varphi\}$6 (Athanasopoulos et al., 15 Jan 2026). In the geometric minimal-surface problem, the Euler--Lagrange structure is expressed through nonlocal mean curvature:

$\partial\{u>\varphi\}$7

with $\partial\{u>\varphi\}$8 in the free region and one-sided inequalities on the contact set (Caffarelli et al., 2016).

3. Regularity of constrained solutions

A major theme of the subject is that the obstacle problem often regularizes up to the natural threshold allowed by the operator and the obstacle.

For stable operators with singular or anisotropic kernels, Ros-Oton and Weidner prove that if $\partial\{u>\varphi\}$9 with $\min\{Lu,\;u-\varphi\}=0$0 and $\min\{Lu,\;u-\varphi\}=0$1, then the global obstacle solution satisfies

$\min\{Lu,\;u-\varphi\}=0$2

and near each free-boundary point there is an expansion

$\min\{Lu,\;u-\varphi\}=0$3

with $\min\{Lu,\;u-\varphi\}=0$4 at regular points (Ros-Oton et al., 2023). For homogeneous kernels and globally Lipschitz obstacles, Figalli, Ros-Oton, and Serra obtain the elliptic estimate

$\min\{Lu,\;u-\varphi\}=0$5

and in parabolic regimes they prove $\min\{Lu,\;u-\varphi\}=0$6 regularity in the critical case $\min\{Lu,\;u-\varphi\}=0$7 and $\min\{Lu,\;u-\varphi\}=0$8 for every $\min\{Lu,\;u-\varphi\}=0$9 in the subcritical case $\mathbb R^n$0 (Figalli et al., 2023).

The variational theory for nonlinear nonlocal operators develops analogous, though operator-dependent, conclusions. For nonlinear integro-differential operators of fractional $\mathbb R^n$1-Laplacian type, solutions inherit boundedness, continuity, and Hölder continuity up to the boundary from the obstacle (Korvenpaa et al., 2016). In the class related to the distributional Riesz fractional derivative, one obtains global $\mathbb R^n$2 estimates, local Hölder continuity when the kernel is symmetric, and in the fractional-Laplacian case local $\mathbb R^n$3 and $\mathbb R^n$4 regularity under the stated integrability assumptions (Lo et al., 2021). In the fractional generalized Orlicz framework, local Hölder continuity is extended to obstacle solutions in the fractional $\mathbb R^n$5-Laplacian case, and global $\mathbb R^n$6 estimates are proved for the associated semilinear approximants (Lo et al., 2024).

Parabolic obstacle problems exhibit a sharper distinction between spatial and temporal regularity. For the American-options model driven by

$\mathbb R^n$7

with $\mathbb R^n$8, Bor-rin and Marcon prove that for each $\mathbb R^n$9 one has

$u\in\mathbb K$0

and for every $u\in\mathbb K$1,

$u\in\mathbb K$2

(Borrin et al., 2021). Athanasopoulos, Caffarelli, and Milakis prove that the positive part of the time derivative detaches continuously from zero,

$u\in\mathbb K$3

and, under a parabolic-density assumption on the past coincidence set, obtain $u\in\mathbb K$4 near a free-boundary point (Athanasopoulos et al., 15 Jan 2026).

The geometric minimal-surface obstacle problem has its own optimal threshold. Caffarelli, De Silva, and Savin prove that if the obstacle $u\in\mathbb K$5 is $u\in\mathbb K$6 with $u\in\mathbb K$7, then at a free boundary point $u\in\mathbb K$8 with $u\in\mathbb K$9,

$$\langle \mathcal L u,\;v-u\rangle\ge \langle F,\;v-u\rangle$$0

in a neighborhood of $$\langle \mathcal L u,\;v-u\rangle\ge \langle F,\;v-u\rangle$$1 (Caffarelli et al., 2016). For the fractional Monge--Ampère obstacle problem, Jhaveri and Stinga establish global Lipschitz and semiconcavity bounds, interior regularity $$\langle \mathcal L u,\;v-u\rangle\ge \langle F,\;v-u\rangle$$2 on compact subsets of $$\langle \mathcal L u,\;v-u\rangle\ge \langle F,\;v-u\rangle$$3, and $$\langle \mathcal L u,\;v-u\rangle\ge \langle F,\;v-u\rangle$$4 regularity across the free boundary for $$\langle \mathcal L u,\;v-u\rangle\ge \langle F,\;v-u\rangle$$5 (Jhaveri et al., 2017).

4. Free boundary structure, blow-ups, and singular sets

The free boundary is typically analyzed through blow-up limits and a regular/degenerate dichotomy. For nonlocal operators with singular kernels, a point $$\langle \mathcal L u,\;v-u\rangle\ge \langle F,\;v-u\rangle$$6 is regular if

$$\langle \mathcal L u,\;v-u\rangle\ge \langle F,\;v-u\rangle$$7

while degenerate points satisfy $$\langle \mathcal L u,\;v-u\rangle\ge \langle F,\;v-u\rangle$$8; at regular points the blow-up is unique and equal to $$\langle \mathcal L u,\;v-u\rangle\ge \langle F,\;v-u\rangle$$9, and $\mathbb R^n$00 is locally a $\mathbb R^n$01 graph (Ros-Oton et al., 2023). In the unified theory of Figalli, Ros-Oton, and Serra, every free-boundary point falls into a dichotomy: either a nondegenerate profile yields a $\mathbb R^n$02 manifold in space or space-time, or the point is degenerate with higher-order flatness (Figalli et al., 2023).

The fractional Monge--Ampère problem adopts a gradient-growth criterion. If $\mathbb R^n$03, then $\mathbb R^n$04 is regular when

$\mathbb R^n$05

for some $\mathbb R^n$06 and modulus $\mathbb R^n$07 as $\mathbb R^n$08; after rescaling, any blow-up limit is

$\mathbb R^n$09

and the regular set is an open $\mathbb R^n$10 hypersurface (Jhaveri et al., 2017).

In the two-membrane setting discussed alongside nonlocal minimal surfaces, regular points of the contact set $\mathbb R^n$11 are characterized by the nondegeneracy condition

$\mathbb R^n$12

and around every such point $\mathbb R^n$13 is an $\mathbb R^n$14-dimensional $\mathbb R^n$15 surface; the singular set has Hausdorff dimension at most $\mathbb R^n$16 (Caffarelli et al., 2016). In the Wasserstein free-boundary problem, if $\mathbb R^n$17 and $\mathbb R^n$18, then the regular part is $\mathbb R^n$19, while the singular set satisfies

$\mathbb R^n$20

for some $\mathbb R^n$21 and is contained in an $\mathbb R^n$22-rectifiable set (Karakhanyan, 2019).

Stability of the free boundary under variation of the fractional parameter is also part of the theory. For the $\mathbb R^n$23-fractional $\mathbb R^n$24-obstacle problem, if $\mathbb R^n$25, then

$\mathbb R^n$26

and, under the stated nondegeneracy and topological assumptions, one has convergence of coincidence sets and Hausdorff convergence of free boundaries as $\mathbb R^n$27 (Lo et al., 2024). This suggests that, in this regime, the nonlocal free boundary is compatible with the classical $\mathbb R^n$28-Laplacian limit.

5. Core analytical methods

Penalization is one of the most pervasive tools in the subject. In Hilbertian settings, one introduces bounded nondecreasing penalty functions $\mathbb R^n$29 and solves semilinear problems whose solutions $\mathbb R^n$30 converge monotonically to the obstacle solution, with explicit error control such as

$\mathbb R^n$31

(Lo et al., 2021). In fully nonlinear double-obstacle problems, smooth penalties $\mathbb R^n$32 enforce both obstacles in a single nonlocal equation, and uniform $\mathbb R^n$33 estimates are obtained before passing to the limit (Safdari, 2021). The time-dependent nonlocal obstacle problem of Athanasopoulos, Caffarelli, and Milakis uses penalized equations of the form

$\mathbb R^n$34

with a rapidly growing penalty, while the American-options model uses

$\mathbb R^n$35

to construct viscosity solutions (Athanasopoulos et al., 15 Jan 2026, Borrin et al., 2021).

Improvement-of-flatness and blow-up/compactness arguments are fundamental in geometric and free-boundary problems. For nonlocal minimal surfaces, an improvement-of-flatness lemma for $\mathbb R^n$36-minimal graphs yields almost-optimal $\mathbb R^n$37 regularity, after which linearization of the curvature operator shows

$\mathbb R^n$38

with $\mathbb R^n$39 Hölder continuous of the correct order; an Almgren-type monotonicity formula then upgrades the estimate to the full $\mathbb R^n$40 regularity (Caffarelli et al., 2016). In the singular-kernel theory, the absence of a full Harnack inequality is addressed by a specialized boundary Harnack in convex cones, built from weak Harnack, oscillation control of the kernel, growth control at infinity, and cone barriers (Ros-Oton et al., 2023).

A second methodological axis is the replacement of monotonicity formulas by quantitative one-dimensionality. Figalli, Ros-Oton, and Serra prove a quantitative closeness theorem showing that nonnegative, semiconvex approximate solutions are close in $\mathbb R^n$41 norm to one-dimensional profiles, and they introduce a parabolic boundary Harnack in moving geometries to handle critical scaling such as $\mathbb R^n$42 (Figalli et al., 2023). In parabolic regularity, De Giorgi iteration on dyadic cylinders and heat-kernel bounds for nonlocal operators lead to continuity of $\mathbb R^n$43 and Hölder continuity of $\mathbb R^n$44 under density assumptions (Athanasopoulos et al., 15 Jan 2026). The extension method of Caffarelli--Silvestre is central in the American-options problem, where semiconvexity of the extension, decay of Neumann data, and Campanato-type estimates yield optimal space regularity (Borrin et al., 2021).

Comparison principles, strict $\mathbb R^n$45-monotonicity, and stochastic representations provide the remaining infrastructure. Strict $\mathbb R^n$46-monotonicity is used in fractional $\mathbb R^n$47-Laplacian and generalized Orlicz settings to prove comparison and uniqueness (Lo et al., 2024, Lo et al., 2024). For Lévy generators, the value function from optimal stopping satisfies the obstacle problem, and uniqueness follows from a doubling-of-variables comparison for viscosity solutions (Danielli et al., 2017). In the Wasserstein problem, Fourier-transform methods identify $\mathbb R^n$48 and $\mathbb R^n$49 properties of the density and support the free-boundary analysis (Karakhanyan, 2019).

6. Applications, asymptotic regimes, and limiting phenomena

A principal application is mathematical finance. For non-Gaussian asset-price models, stationary and evolution obstacle problems coincide with perpetual and finite-expiry American options. The operators include Lévy generators with possible supercritical drift, and the results provide existence, uniqueness, and spatial Hölder or Lipschitz continuity of the value function (Danielli et al., 2017, Danielli et al., 2018). In the purely jump-driven American-options model with an additional lower-order nonlocal diffusion $\mathbb R^n$50, the obstacle problem is formulated directly as

$\mathbb R^n$51

and the regularity theory is developed in viscosity form (Borrin et al., 2021).

The obstacle mechanism also appears in transport and aggregation. In Karakhanyan’s variational problem

$\mathbb R^n$52

the potential $\mathbb R^n$53 solves a degenerate obstacle problem

$\mathbb R^n$54

with $\mathbb R^n$55 (Karakhanyan, 2019). Although the original functional is nonlocal, the resulting obstacle PDE for the potential is local. A plausible implication is that nonlocality may enter either through the operator itself or through the variational origin of the problem.

Hyperbolic and conservation-law variants introduce a different form of nonlocality. In the obstacle-mass constraint problem for scalar conservation laws, the mass constraint produces a nonlocal Lagrange multiplier, leading after penalization and viscosity to a nonlocal parabolic problem (Amorim et al., 2014). In a one-dimensional nonlocal conservation law with obstacle mapping $\mathbb R^n$56, one studies the relaxed equation

$\mathbb R^n$57

proves existence of entropy solutions, and passes to a discontinuous-flux limit as $\mathbb R^n$58 (Amorim et al., 23 May 2026).

The dependence on the fractional parameter $\mathbb R^n$59 is itself a major theme. As $\mathbb R^n$60, the obstacle problem related to the distributional Riesz fractional derivative converges to the classical obstacle problem in $\mathbb R^n$61 with operator $\mathbb R^n$62 (Lo et al., 2021), and the $\mathbb R^n$63-fractional $\mathbb R^n$64-obstacle problem converges to the local $\mathbb R^n$65-Laplacian obstacle problem together with convergence of coincidence sets and free boundaries under the stated assumptions (Lo et al., 2024). At the opposite extreme, Bucur and Lombardini show that for small $\mathbb R^n$66 and sufficiently small mass at infinity, nonlocal minimal graphs exhibit complete stickiness:

$\mathbb R^n$67

for all sufficiently small $\mathbb R^n$68, so that $\mathbb R^n$69 uniformly off $\mathbb R^n$70; they state that this provides examples where continuity across the boundary and across the obstacle may fail (Bucur et al., 13 Apr 2026).

These asymptotic and application-driven results also clarify common misconceptions. Smooth free boundaries are not universal: singular points, degenerate points, and lower-dimensional strata remain part of the theory (Caffarelli et al., 2016, Karakhanyan, 2019). Continuity of the time derivative is not automatic in parabolic problems: discontinuities of $\mathbb R^n$71 occur at first-contact points unless a density hypothesis is imposed (Athanasopoulos et al., 15 Jan 2026). Nonlocality is therefore not a single phenomenon but a family of mechanisms whose analytical manifestation depends on whether the underlying problem is elliptic, parabolic, geometric, variational, stochastic, or transport-based.