On a Fractional Alt-Caffarelli-Friedman-Type Monotonicity Formula

Basic Information

• Paper ID: 2509.25891
• Title: On a fractional Alt-Caffarelli-Friedman-type monotonicity formula
• Authors: Fausto Ferrari, Davide Giovagnoli, Enzo Maria Merlino
• Classification: math.AP (Analysis of PDEs)
• Publication Date: October 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2509.25891

Abstract

This paper introduces several monotonicity formulas in the nonlocal setting by utilizing the mean value property of $s$-harmonic functions. The authors consider essentially nonlocal functionals that mimic those introduced by Alt, Caffarelli, and Friedman in their seminal work. The approach is purely nonlocal and does not rely on extension techniques. As a byproduct, interior nonlocal gradient estimates and nonlocal analogues of the Bochner identity are also established.

Research Background and Motivation

Research Problem

This paper aims to establish nonlocal counterparts of the Alt-Caffarelli-Friedman (ACF) type monotonicity formula within the framework of the fractional Laplacian. The classical ACF monotonicity formula plays an important role in free boundary problems, particularly in proving regularity of solutions to two-phase Bernoulli-type elliptic free boundary problems.

Problem Significance

1. Theoretical Completeness: Fills a gap in the theory of monotonicity formulas for fractional PDEs
2. Applied Value: Provides new analytical tools for nonlocal free boundary problems
3. Methodological Innovation: Offers a purely nonlocal method that does not depend on the Caffarelli-Silvestre extension technique

Limitations of Existing Methods

• Most regularity results for fractional operators are established through monotonicity formulas of the extension operator
• Lack of direct nonlocal counterparts to the classical single-phase functional $J_{ACF}$
• In the nonlocal framework, a suitable replacement for the gradient squared $|\nabla u|^2$ has not been determined

Research Motivation

Inspired by ideas from the local setting in 26, the authors connect the monotone increasing behavior of the ACF functional with the (sub)mean value property of (sub)harmonic functions, developing a purely nonlocal analytical method.

Core Contributions

1. Established two types of nonlocal ACF monotonicity formulas:
   • Version based on the $G_u$ function (Theorem 1.1)
   • Version based on the distributional Riesz fractional gradient $|\nabla^s u|^2$ (Theorem 1.4)
2. Proved stability as $s \to 1^-$:
   • Both nonlocal functionals converge to the classical local ACF functional (Theorems 1.2, 1.5)
3. Established interior nonlocal gradient estimates (Theorem 1.3)
4. Developed nonlocal Bochner-type identities:
   • Established corresponding identities for $G_u$ and $|\nabla^s u|^2$
5. Provided new proof of nonlocal Liouville-type theorem (Theorem 5.4)

Detailed Methodology

Task Definition

The research objective is to establish monotonicity formulas analogous to the classical ACF functional for the fractional Laplacian $(-\Delta)^s$: $J_{ACF}(u,R) := \frac{1}{R^2}\int_{B_R} \frac{|\nabla u|^2}{|x|^{n-2}} dx$

Core Methodological Framework

1. Construction of Nonlocal Functionals

Based on the Poisson kernel of the fractional Laplacian: $K_r^s(0,y) := a_{n,s}\left(\frac{r^2}{|y|^2-r^2}\right)^s \frac{1}{|x-y|^n}$

Define the nonlocal ACF functional: $J^s_{ACF}(u,R) := \frac{1}{R^{1+s}}\int_0^R r^s \int_{\mathbb{R}^n \setminus B_r} K_r^s(0,y) g_u(y) dy dr$

where $g_u$ is a nonlocal substitute for $|\nabla u|^2$.

2. Two Choices for $g_u$

Choice One: The $G_u$ Function$G_u(y) := C_{n,s} \int_{\mathbb{R}^n} \frac{(u(y)-u(\eta))^2}{|y-\eta|^{n+2s}} d\eta$

This function is closely related to the variational form of the fractional Laplacian: $\int_{\mathbb{R}^n} G_u(y) dy = [u]_{W^{s,2}(\mathbb{R}^n)}^2$

Choice Two: Distributional Riesz Fractional Gradient$|\nabla^s u(y)|^2 = \sum_{i=1}^n \left(\int_{\mathbb{R}^n} \frac{(y_i-\eta_i)(u(y)-u(\eta))}{|y-\eta|^{n+s+1}} dy\right)^2$

Technical Innovation Points

1. Purely Nonlocal Method

Does not rely on the Caffarelli-Silvestre extension technique; works directly in the original space.

2. Utilization of Mean Value Property

Establishes monotonicity through the mean value property of $s$-harmonic functions: If $g_u$ is $s$-subharmonic, then $M^s(g_u, r)(0) = \int_{\mathbb{R}^n \setminus B_r} K_r^s(0,y) g_u(y) dy$ is monotone increasing in $r$.

3. Scale Invariance

Both functionals remain invariant under the transformation $u_\lambda(x) = \frac{1}{\lambda^s}u(\lambda x)$: $J^s_{ACF}\left(u_\lambda, \frac{R}{\lambda}\right) = J^s_{ACF}(u,R)$

Main Theorems and Results

Theorem 1.1 (Monotonicity Formula for $G_u$)

Let $s \in (0,1)$, $\varepsilon, \delta > 0$. Assume $u \in C^{s+\varepsilon}_{loc}(\mathbb{R}^n) \cap L^2_s(\mathbb{R}^n)$ and $G_u \in C^{2s+\delta}_{loc}(\mathbb{R}^n) \cap L^1_s(\mathbb{R}^n), \quad (-\Delta)^s G_u \leq 0 \text{ near the origin}$ Then the map $R \mapsto J^s_{ACF}(u,R)$ is monotone increasing for sufficiently small $R$.

Theorem 1.2 (Stability)

Under the assumptions of Theorem 1.1, as $s \to 1^-$: $J^s_{ACF}(u,R) \to \frac{2}{n\omega_n} \frac{1}{R^2} \int_{B_R(0)} \frac{|\nabla u|^2}{|y|^{n-2}} dy$

Theorem 1.3 (Interior Nonlocal Gradient Estimate)

Let $u \in C^2_{loc}(\mathbb{R}^n) \cap L^2_s(\mathbb{R}^n)$ satisfy $\begin{cases} (-\Delta)^s u = f & \text{in } B_1 \\ u = 0 & \text{in } \mathbb{R}^n \setminus B_1 \end{cases}$ where $f \in L^\infty(B_1)$. If $G_u \in C^{2s+\delta}_{loc}(\mathbb{R}^n) \cap L^1_s(\mathbb{R}^n)$ and $(-\Delta)^s G_u \leq 0$ in $B_1$, then $\|G_u\|^{1/2}_{L^\infty(B_{1/2})} \leq C_0(\|u\|_{L^\infty(B_1)} + \|f\|_{L^\infty(B_1)})$

Nonlocal Bochner Identity

Proposition 5.1 (Nonlocal Bochner Formula)

For $u \in C^3(\mathbb{R}^n) \cap L^2_s(\mathbb{R}^n)$, we have: $(-\Delta)^s G_u(x) = 2C_{n,s} \int_{\mathbb{R}^n} \frac{(u(x)-u(x-z))(-\Delta)^s_x(u(x)-u(x-z))}{|z|^{n+2s}} dz$$- C_{n,s}^2 \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} \frac{(u(x)-u(x-z)-u(y)+u(y-z))^2}{|x-y|^{n+2s}|z|^{n+2s}} dy dz$

Proposition 5.2 (Convergence)

As $s \to 1^-$, the above nonlocal Bochner formula converges to the classical Bochner identity: $\frac{1}{2}\Delta|\nabla f|^2 = \|D^2 f\|^2 + \langle\nabla f, \nabla(\Delta f)\rangle$

Applications and Corollaries

Nonlocal Liouville Theorem (Theorem 5.4)

Let $u \in C^3(\mathbb{R}^n) \cap L^2_s(\mathbb{R}^n)$ satisfy $(-\Delta)^s u = 0$ in $\mathbb{R}^n$. If $u$ is bounded, then $u$ is constant.

Proof Strategy: Utilize the $s$-subharmonicity of $G_u$ and the monotonicity formula, combined with gradient estimates to conclude that $G_u(0) = 0$, hence $u$ is constant.

Improved Monotonicity Condition (Theorem 1.6)

For the case of $|\nabla^s u|^2$, using the commutation of $\nabla^s$ with $(-\Delta)^s$, monotonicity can be established under weaker conditions: If $(-\Delta)^s u = f$ and $\langle\nabla^s u, \nabla^s f\rangle \leq 0$, then the corresponding functional is monotone increasing.

Technical Difficulties and Innovations

1. Singularity Handling

When establishing the nonlocal Bochner identity, singularities in the integrals must be handled. This is resolved through third-order Taylor expansion and refined integral estimates, addressing the issue of commuting integration with the fractional Laplacian.

2. Asymptotic Analysis

Proved that as $s \to 1^-$, nonlocal quantities converge to corresponding local quantities:

• $G_u(x)/2 \to |\nabla u(x)|^2$
• $\nabla^s u \to \nabla u$
• Nonlocal Bochner identity converges to the local version

3. Function Space Theory

Established an appropriate function space framework ensuring convergence of all integrals and well-definedness of operators.

Related Work

Classical ACF Theory

• Alt, Caffarelli, Friedman (1984): Original ACF monotonicity formula
• Caffarelli's series of works: Applications in free boundary problems

Fractional Operator Theory

• Caffarelli-Silvestre extension method
• Recent advances in nonlocal free boundary problems
• Development of fractional gradient theory

Generalizations of Monotonicity Formulas

• Monotonicity formulas for various operators
• Generalizations on Carnot groups
• Applications in geometric analysis

Conclusions and Discussion

Main Conclusions

1. Successfully established ACF-type monotonicity formulas for the fractional Laplacian
2. Provided a purely nonlocal analytical method independent of extension techniques
3. Established a bridge between nonlocal and local theories

Limitations

1. The $s$-subharmonicity condition for $G_u$ is difficult to verify in practical applications
2. Regularity requirements for functions are relatively high
3. Specific applications to free boundary problems have not yet been demonstrated

Future Directions

1. Applications in nonlocal free boundary problems
2. Relaxation of regularity and $s$-subharmonicity conditions
3. Generalization to more general nonlocal operators

In-Depth Evaluation

Strengths

1. Theoretical Innovation: First establishment of purely nonlocal ACF monotonicity formulas
2. Novel Methodology: Direct method independent of extension techniques
3. Complete Results: Encompasses monotonicity, stability, gradient estimates, and other aspects
4. Technical Sophistication: High technical content in the establishment of nonlocal Bochner identity

Weaknesses

1. Strict Applicability Conditions: $s$-subharmonicity conditions limit the scope of applications
2. Limited Practical Applications: Specific utility in free boundary problems has not yet been demonstrated
3. Computational Complexity: Difficulty in verifying conditions in practice

Impact

1. Theoretical Contribution: Provides important tools for nonlocal analysis
2. Methodological Significance: Demonstrates the feasibility of purely nonlocal methods
3. Subsequent Research: Provides new research directions for related fields

Applicable Scenarios

1. Regularity theory for fractional elliptic equations
2. Nonlocal free boundary problems
3. Analysis of fractional variational problems

References

Primarily references the original work of Alt-Caffarelli-Friedman, foundational literature in fractional operator theory, and recent advances in nonlocal analysis, comprising 47 important references in total.