Universal Potential Estimates for Mixed Local and Nonlocal Nonlinear Measure Data Problems

Basic Information

• Paper ID: 2510.13269
• Title: Universal Potential Estimates for Mixed Local and Nonlocal Nonlinear Measure Data Problems
• Authors: Lingwei Ma (Nankai University), Qi Xiong (Southwest Jiaotong University), Zhenqiu Zhang (Nankai University)
• Classification: math.AP (Partial Differential Equations)
• Publication Date: October 16, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.13269

Abstract

This paper establishes a nonlinear potential theory for mixed local-nonlocal $p$-Laplacian type equations involving coefficients and measure data, encompassing both superquadratic and subquadratic cases. The authors prove a class of universal pointwise estimates for solutions and their gradients through Riesz and Wolff potentials. These results are achieved by imposing various low regularity conditions on the coefficients of the local term, while the kernel coefficients of the nonlocal term are only assumed to be measurable. The key to the proof lies in introducing a novel fractional maximal function that simultaneously captures both local and nonlocal features, and establishing pointwise estimates for such maximal operators applied to solutions and their gradients.

Research Background and Motivation

Problem Background

The core problem studied in this paper concerns mixed local-nonlocal elliptic equations: $-\text{div}A(x,Du) - L_\Phi u = \mu \quad \text{in } \Omega$

where:

• $\Omega$ is a bounded domain in $\mathbb{R}^n$ ($n \geq 2$)
• $\mu$ is a signed Borel measure on $\mathbb{R}^n$ with finite total mass
• $A(x,z)$ is a Carathéodory vector field satisfying growth and ellipticity conditions
• $L_\Phi$ is a nonlocal operator

Research Motivation

1. Practical Application Demands: Mixed diffusion problems have important applications in multiple fields, including:
   • Heat transfer in magnetized plasmas
   • Population dynamics
   • Optimal foraging strategies
   • Pandemic propagation
2. Theoretical Development Needs: While potential theory for purely local and purely nonlocal problems is relatively well-developed, the theory for mixed problems remains immature, particularly under low regularity coefficients and measure data.
3. Methodological Challenges: Mixed operators lack scale invariance, making traditional harmonic analysis methods difficult to apply directly.

Core Contributions

1. Establishment of Universal Potential Estimates: Universal pointwise estimates for solutions and their gradients of mixed local-nonlocal equations are established through Riesz and Wolff potentials.
2. Introduction of Novel Fractional Maximal Function: A truncated nonlocal fractional maximal function is proposed that simultaneously captures both local and nonlocal features.
3. Treatment of Low Regularity Coefficients: Results are obtained under low regularity conditions on local term coefficients (such as small BMO regularity, Dini-VMO regularity, etc.).
4. Unification of Superquadratic and Subquadratic Cases: A unified theoretical framework covering both $p > 2$ and $1 < p < 2$ cases is provided.
5. Precise Characterization of Solution Oscillation: Not only size estimates for solutions are provided, but boundary cases are identified and oscillation behavior is finely characterized.

Methodology Details

Problem Formulation

Study the regularity of weak solutions to the mixed local-nonlocal elliptic equation (1.1), where:

• Local term: $-\text{div}A(x,Du)$ satisfies $p$-growth conditions
• Nonlocal term: $L_\Phi u$ is a fractional operator
• Data: $\mu$ is a signed measure

Core Technical Framework

1. Weak Solution Definition

A function $u \in W^{1,p}_{\text{loc}}(\Omega) \cap L^{p-1}_{sp}(\mathbb{R}^n)$ is a weak solution to equation (1.1) if for all test functions $\phi \in C_0^\infty(\Omega)$: $\int_\Omega A(x,Du) \cdot D\phi dx + \int_{\mathbb{R}^n}\int_{\mathbb{R}^n} \Phi(u(x)-u(y))(\phi(x)-\phi(y))K(x,y)dxdy = \int_\Omega \phi d\mu$

2. Nonlocal Tail Term

Define the nonlocal tail term: $\text{Tail}(f;x_0,r) := \left(r^p \int_{\mathbb{R}^n\setminus B_r(x_0)} \frac{|f(x)|^{p-1}}{|x-x_0|^{n+sp}}dx\right)^{\frac{1}{p-1}}$

3. Novel Fractional Maximal Function

Introduce the truncated nonlocal fractional maximal function: $M_{\beta,q_0}(Du)(x,R) := \sup_{0<r\leq R} r^\beta \left[\left(\fint_{B_r(x)} |Du(y)|^{q_0}dy\right)^{\frac{1}{q_0}} + r^{-1-\sigma}\text{Tail}(u-(u)_{B_r(x)};x,r)\right]$

Technical Innovation Points

1. Comparison Estimate Method

Three-level comparison estimates are established:

• Comparison between $Du$ and solutions $Dv$ of homogeneous mixed equations
• Comparison between $Dv$ and solutions $Dw$ of homogeneous local equations
• Utilization of known regularity theory for local equations

2. Hierarchical Treatment of Coefficient Regularity

Results at different levels are established according to coefficient regularity:

• Measurable Coefficients: Basic universal estimates
• Small BMO Regularity: Extended exponent ranges
• Dini-VMO Regularity: Achievement of critical exponent $\alpha = 1$
• Dini-Hölder Regularity: Oscillation estimates for gradients

3. Unified Potential Representation

Estimates for solutions are unified through Wolff potential $W_\mu^{\beta,p}(x,R)$ and Riesz potential $I_\mu^\beta(x,R)$, where: $W_\mu^{\beta,p}(x,R) := \int_0^R \left[\frac{|\mu|(B_\rho(x))}{\rho^{n-\beta p}}\right]^{\frac{1}{p-1}} \frac{d\rho}{\rho}$

Main Results

Theorem 1.2 (Basic Universal Estimate)

For measurable coefficients, there exists a constant $C$ such that: $|u(x)-u(y)| \leq C\left[\left(\fint_{B_R(x_0)} |u|^{q_0}dx\right)^{\frac{1}{q_0}} + \text{Tail}(u-(u)_{B_R(x_0)};x_0,R)\right]\left(\frac{|x-y|}{R}\right)^\alpha$$+ C\left[W_\mu^{\frac{1-\alpha(p-1)}{p},p}(x,R) + W_\mu^{\frac{1-\alpha(p-1)}{p},p}(y,R)\right]|x-y|^\alpha$

Theorem 1.8 (Gradient Estimate)

Under Dini-Hölder regularity conditions, similar oscillation estimates hold for gradients:

• Subquadratic Case ($2-\frac{1}{n} < p \leq 2$): Represented through Riesz potentials
• Superquadratic Case ($p > 2$): Represented through Wolff potentials

Technical Challenges and Solutions

Challenge 1: Complexity of Mixed Operators

Solution: Separate local and nonlocal effects through hierarchical comparison estimates.

Challenge 2: Low Regularity Coefficients

Solution: Introduce average continuity modulus $\omega(r)$ to quantify coefficient regularity, and establish corresponding estimates for different regularity conditions.

Challenge 3: Singularity of Measure Data

Solution: Utilize nonlinear potential theory to control measure singularity through Wolff and Riesz potentials.

Applications and Significance

Theoretical Significance

1. Perfection of Potential Theory for Mixed Problems: Fills the gap between purely local and purely nonlocal theories
2. Unification of Different Growth Conditions: Provides a unified framework for handling both superquadratic and subquadratic cases
3. Precise Characterization of Critical Phenomena: Identifies boundary cases controlling solution magnitude

Practical Applications

1. Physical Models: Provides mathematical foundations for describing physical processes with both local diffusion and long-range jumps
2. Biomathematics: Applications in population diffusion models
3. Financial Mathematics: Applications in financial models with jump diffusion

In-Depth Evaluation

Strengths

1. Strong Technical Innovation: The introduced novel fractional maximal function elegantly unifies local and nonlocal features
2. Good Completeness of Results: Covers different growth conditions and regularity assumptions
3. Strong Systematicity of Methods: Establishes a complete framework of comparison estimate theory
4. Broad Application Prospects: Provides theoretical foundations for multiple application fields

Technical Highlights

1. Ingenious Function Space Selection: Introduction of $L^{p-1}_{sp}(\mathbb{R}^n)$ space ensures finiteness of tail terms
2. Application of Iterative Techniques: Establishes stability of estimates through contraction mapping principle
3. Innovative Use of Harmonic Analysis Tools: Extends classical maximal function theory to mixed settings

Limitations

1. High Technical Complexity: Proofs involve multi-level comparison estimates with high technical threshold
2. Technically Involved Conditions: Coefficient regularity conditions are expressed abstractly
3. Optimality Issues: Optimality of some estimates remains incompletely clarified

Future Directions

1. Extension to Parabolic Case: Generalize results to time-dependent settings
2. Systems Case: Consider vector-valued solutions
3. Boundary Regularity: Study regularity theory near boundaries
4. Numerical Methods: Develop efficient numerical algorithms based on theoretical results

Conclusion

This paper makes significant progress in potential theory for mixed local-nonlocal elliptic equations. Through introducing innovative fractional maximal functions and establishing systematic comparison estimate theory, it develops a complete regularity theory for this important class of equations. The research results possess significant theoretical value and provide solid mathematical foundations for related application fields.