---
title: Nonlocal Pucci Operators
url: https://www.emergentmind.com/topics/nonlocal-pucci-operators
type: topic
---

# Nonlocal Pucci Operators

Nonlocal Pucci operators are fully nonlinear integro-differential extremal operators that generalize the classical (second-order) Pucci operators to the nonlocal, fractional-order setting. These operators are defined through supremal and infimal envelopes over linear nonlocal operators with kernels subject to prescribed ellipticity bounds, serving as canonical representatives of the class of uniformly elliptic equations of non-divergence form. Nonlocal Pucci operators are central to regularity theory, comparison principles, and qualitative analysis for fully nonlinear equations involving fractional Laplacians and related integro-differential operators, both in the Euclidean setting and on Riemannian manifolds with nonnegative curvature [2101.06903, 1101.0279, 2602.13425].

## 1. Definition and Structural Properties

Let $s\in(0,1)$ (order parameter, $\sigma=2s$), and $0<\lambda\leq \Lambda$ (ellipticity constants). Consider the family $\mathcal{L}_*$ of linear, translation-invariant integro-differential operators $L$ of the form
$$
L[u](x)=\int_{\mathbb{R}^n} \left(u(x+y)-u(x)-\nabla u(x)\cdot y \,\chi_{B_1}(y)\right)\,K(y)\,dy,
$$
where $K(y)$ is symmetric, $K(ty)=t^{-n-2s}K(y)$ (homogeneity), and $\lambda|y|^{-n-2s} \leq K(y) \leq \Lambda |y|^{-n-2s}$ for all $y\neq 0$. The nonlocal Pucci extremal operators are defined by
$$
\mathcal{M}^+[u](x) = \sup_{L\in\mathcal{L}_*}L[u](x), \qquad
\mathcal{M}^-[u](x) = \inf_{L\in\mathcal{L}_*}L[u](x).
$$
In the context of Riemannian manifolds $(M,g)$ with nonnegative sectional curvature, the definition is adapted using geodesic balls, the exponential map, and measure $\mu_g$, with symmetry imposed by reflection along geodesics and volume comparison replacing translation invariance [2101.06903].

Key structural features include:
- **Uniform ellipticity** in the sense of the kernel class,
- **Homogeneity and symmetry** to ensure well-defined extremality,
- **Recovering second-order Pucci operators** as $s\to1^-$,
- **Scaling naturality** for fractional orders,
- **Local isometry invariance** on manifolds, rather than translation invariance,
- **Adaptability to both Euclidean and geometric contexts**.

## 2. Operator Classes and Admissible Kernels

The kernel class $\mathcal{L}_*$ consists of all measurable, symmetric, homogeneous of order $-n-2s$ kernels $K$ satisfying
$$
\lambda \leq |y|^{n+2s}K(y) \leq \Lambda
$$
almost everywhere. In the Euclidean case, this specializes to
$$
K(y) = A|y|^{-n-2s},\quad A\in[\lambda,\Lambda].
$$
In the geometric setting, a kernel $V_x(z)$ is defined for $d(x,z)<\mathrm{inj}(x)$ by
$$
\lambda \leq V_x(z)\cdot \mu_g(B(x,d(x,z)))\, d(x,z)^{n+s} \leq \Lambda
$$
with the symmetry condition $V_x(z)=V_x(T_x(z))$ for local reflection $T_x$.

These classes allow sup/inf over a uniform family of "maximal" and "minimal" nonlocal uniformly elliptic equations, analogous to their local second-order counterparts.

## 3. Principal Analytic Properties

Nonlocal Pucci operators retain fundamental qualitative and regularity features of the local (second-order) Pucci operators, including maximum principles, Harnack inequalities, and Hölder regularity. Notable results include:

- **Krylov–Safonov Harnack inequality:** Nonnegative viscosity solutions $u$ of $\mathcal{M}^-[u] \leq C_0$, $\mathcal{M}^+[u] \geq -C_0$ in a ball (in either $\mathbb{R}^n$ or Riemannian context) satisfy
  $$
  \sup_{B_R} u \leq C (\inf_{B_R}u + C_0R^{2s})
  $$
  with $C$ depending only on ellipticity, dimension, and parameters of the geometric space [2101.06903, 1101.0279].
- **Interior Hölder regularity:** Under the same assumptions, $u\in C^\alpha_{\text{loc}}$ with quantitative estimates [2101.06903].
- **Aleksandrov–Bakelman–Pucci (ABP) estimate:** For bounded, lower-semicontinuous $u$ solving $\mathcal{M}^-[u] \leq f$, the maximum of $-u$ is controlled by $L^\infty$ and $L^n$ norms of $f$ on the contact set, i.e.,
  $$
  -\inf_{B_1}u \leq C (\|f\|_{L^\infty}^{(2-2s)/2}\|f\|_{L^n}^{2s/2})
  $$
  [1101.0279]. This generalizes the classical second-order ABP to nonlocal operators.
- **Barrier and Hopf-type lemma:** The existence of explicit, annulus-supported barriers shows non-trivial vanishing at boundaries, and a Hopf lemma for nonlocal Pucci operators ensures strict positivity of solutions near boundary points under natural geometric conditions [2602.13425].
- **Strong maximum principle:** Nontrivial nonnegative viscosity solutions in a domain are strictly positive unless they are identically zero [2602.13425].

## 4. Viscosity Solutions and Comparison Principles

Viscosity theory for nonlocal Pucci operators relies on the structure of the extremal operators and barriers constructed from their kernel class. Viscosity sub- and super-solutions are defined as follows: $u\in L^1_s(\mathbb{R}^n)$ is a (sub/super)solution to $\mathcal{M}^{\pm}[u]=f$ if, whenever a $C^2$ test function $\varphi$ touches $u$ from above/below at $x$, one has $\mathcal{M}^{\pm}[\varphi](x)\geq f(x)$. This setup facilitates the application of comparison and maximum principles, as well as regularity theory.

A central property is the **comparison principle**: if $F$ is fully nonlinear elliptic with respect to $\mathcal{M}^-,\mathcal{M}^+$ and $u, v$ are bounded viscosity sub- and supersolutions, then their difference $w$ satisfies
$$
\mathcal{M}^-[w] \leq f-g,
$$
which, combined with the ABP estimate, yields comparison and uniqueness results [1101.0279].

## 5. Geometric and Euclidean Contexts

In $\mathbb{R}^n$, the prototypical nonlocal Pucci operators are built from isotropic kernels $K(y)=(2-2s)|y|^{-n-2s}$ and correspond to extremal fractions of the fractional Laplacian. On Riemannian manifolds $(M,g)$ with nonnegative sectional curvature, the theory adapts using local geodesics, the exponential map, volume comparability, and ellipticity conditions on $V_x(z)$. Classical results for the fractional Laplacian and second-order Pucci operators are recovered in the limit $s\to 1^-$ [2101.06903].

Examples illustrating this include:

| Setting              | Kernel Class                | Reduction as $s\to1^-$   |
|----------------------|----------------------------|--------------------------|
| $\mathbb{R}^n$       | $A|y|^{-n-2s}$, $A\in[\lambda,\Lambda]$   | Local Pucci, $D^2 u$     |
| Sphere, Product Manifold | $V_x(z)$ with geodesic symmetry and volume comparison | Local Pucci on tangent space |

## 6. Applications and Open Problems

Nonlocal Pucci operators underpin regularity theory for integro-differential equations, nonlocal obstacle problems, and geometric PDEs in both Euclidean and non-Euclidean geometries. Recent developments focus on:

- Maximum principles and Hopf lemmas in the nonlocal regime, including implications for dead-core formation and positivity [2602.13425].
- Harnack inequalities and Hölder regularity of viscosity solutions under minimal assumptions [2101.06903, 1101.0279].
- Liouville-type theorems and classification of blow-up profiles, particularly for sublinear equations [2602.13425].
- Parabolic extensions and time-dependent regularity, where the nonlocal Pucci operators govern models with memory or long-range interactions.

**A plausible implication is** that control of nonlocal tail behavior (i.e., $u^-$ outside the domain) is critical in the nonlocal setting, a significant distinction from the local Pucci case, influencing regularity and maximum principles [2602.13425].

Open questions include fine classification of singularities, boundary regularity phenomena unique to nonlocal equations, and quantitative versions of comparison principles for more general nonlocal structures.

## 7. Relation to Classical Theory

As $s\to 1^-$, for functions $u$ sufficiently regular, nonlocal Pucci extremal operators converge to the second-order local Pucci operators:
$$
\mathcal{M}^+_{s\to1^-}[u] \to \Lambda\sum_{\lambda_i>0}\lambda_i + \lambda\sum_{\lambda_i<0}\lambda_i,
$$
where $\{\lambda_i\}$ are the eigenvalues of $D^2u$. All standard second-order theory (strong maximum principle, Hopf lemma, nonlinear eigenvalues, etc.) is recovered in this limit [2101.06903, 2602.13425]. However, the nonlocal dependence on $u$ outside the domain (the “tail effect”) is unique to the nonlocal framework and requires specific estimates and control, particularly for dead-core and boundary regularity phenomena.

---

**Key references**: Kim–Kim–Lee [2101.06903], Guillen–Schwab [1101.0279], Cabeza–Nornberg–dos Prazeres [2602.13425].

Source: https://www.emergentmind.com/topics/nonlocal-pucci-operators