2025-11-10T02:39:50.529345

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

Ma, Xiong, Zhang

This paper presents the nonlinear potential theory for mixed local and nonlocal $p$-Laplace type equations with coefficients and measure data, involving both superquadratic and subquadratic cases. We prove a class of universal pointwise estimates for the solution and its gradient via Riesz and Wolff potentials. These are achieved by imposing various low regularity conditions on the coefficient of the local term, while the kernel coefficient for the nonlocal term is merely assumed to be measurable. The key to these proofs lies in introducing a novel fractional maximum function that can capture both local and nonlocal features simultaneously, and in establishing pointwise estimates for such maximum operators of the solution and its gradient. Notably, our universal potential estimates not only precisely characterize the oscillations of solutions, but also identify the borderline case that bounds their size, thereby refining the pointwise potential estimates available in earlier work.

academic

混合局所および非局所非線形測度データ問題に対する普遍ポテンシャル推定

基本情報

論文ID: 2510.13269
タイトル: Universal Potential Estimates for Mixed Local and Nonlocal Nonlinear Measure Data Problems
著者: Lingwei Ma（南開大学）、Qi Xiong（西南交通大学）、Zhenqiu Zhang（南開大学）
分類: math.AP（偏微分方程式）
発表日: 2025年10月16日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2510.13269

要旨

本論文は、係数と測度データを含む混合局所-非局所 $p$ -ラプラシアン型方程式の非線形ポテンシャル理論を確立し、超二次および次二次の場合を扱う。著者らはRieszおよびWolffポテンシャルを通じて、解およびその勾配に対する普遍的な点ごとの推定を証明した。これらの結果は、局所項の係数に対して様々な低正則性条件を課すことで達成され、一方非局所項の核係数は単に可測であると仮定される。証明の鍵は、局所特性と非局所特性を同時に捉える新しい分数最大関数を導入し、解およびその勾配に対するこのような最大作用素の点ごとの推定を確立することである。

研究背景と動機

問題背景

本論文で研究される中心的な問題は、混合局所-非局所楕円方程式である： $-\text{div}A(x,Du) - L_\Phi u = \mu \quad \text{in } \Omega$

ここで：

$\Omega$ は $\mathbb{R}^n$ 内の有界領域（ $n \geq 2$ ）
$\mu$ は $\mathbb{R}^n$ 上の有限全質量を持つ符号付きBorel測度
$A(x,z)$ は増大性と楕円性条件を満たすCarathéodory ベクトル場
$L_\Phi$ は非局所作用素

研究動機

実用的応用の必要性：混合拡散問題は複数の分野で重要な応用を有する：
- 磁化プラズマにおける熱輸送
- 個体群動力学
- 最適採食戦略
- パンデミック伝播
理論発展の必要性：純粋な局所および純粋な非局所問題のポテンシャル理論は比較的確立されているが、混合問題の理論はまだ十分に成熟していない。特に低正則性係数と測度データの場合である。
方法論的課題：混合作用素はスケール不変性を欠くため、従来の調和解析手法の直接的な適用が困難である。

核心的貢献

普遍ポテンシャル推定の確立：混合局所-非局所方程式の解およびその勾配に対して、Rieszおよびwolffポテンシャルを通じて表現される普遍的な点ごとの推定を確立した。
新しい分数最大関数の導入：局所特性と非局所特性を同時に捉える切断非局所分数最大関数を提案した。
低正則性係数の処理：局所項の係数が小BMO正則性、Dini-VMO正則性などの低正則性条件のみを満たす場合に結果を得た。
超二次および次二次の場合の統一： $p > 2$ と $1 < p < 2$ の両方の場合を包含する統一的な理論枠組みを提供した。
解の振動の精密刻画：解の大きさの推定だけでなく、境界情況を識別し、解の振動挙動を精密に刻画した。

方法の詳細説明

問題設定

混合局所-非局所楕円方程式（1.1）の弱解の正則性を研究する。ここで：

局所項： $-\text{div}A(x,Du)$ は $p$ -増大条件を満たす
非局所項： $L_\Phi u$ は分数階作用素
データ： $\mu$ は符号付き測度

核心的技術枠組み

1. 弱解の定義

関数 $u \in W^{1,p}_{\text{loc}}(\Omega) \cap L^{p-1}_{sp}(\mathbb{R}^n)$ は方程式（1.1）の弱解である。すべてのテスト関数 $\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. 非局所尾項

非局所尾項を定義する： $\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. 新しい分数最大関数

切断非局所分数最大関数を導入する： $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]$

技術的革新点

1. 比較推定法

三層の比較推定を確立する：

$Du$ と斉次混合方程式の解 $Dv$ の比較
$Dv$ と斉次局所方程式の解 $Dw$ の比較
既知の局所方程式正則性理論の利用

2. 係数正則性の階層的処理

係数の正則性の程度に応じて、異なるレベルの結果を確立する：

可測係数：基本的な普遍推定
小BMO正則性：指数範囲の拡張
Dini-VMO正則性：臨界指数 $\alpha = 1$ に到達
Dini-Hölder正則性：勾配の振動推定

3. 統一的なポテンシャル表現

Wolffポテンシャル $W_\mu^{\beta,p}(x,R)$ およびRieszポテンシャル $I_\mu^\beta(x,R)$ を通じて解の推定を統一的に表現する。ここで： $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}$

主要結果

定理1.2（基本的な普遍推定）

可測係数に対して、定数 $C$ が存在して以下が成立する： $|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$