This work investigates the Sobolev regularity of solutions to perturbed fractional 1-Laplace equations. Under the assumption that weak solutions are locally bounded, we establish that the regularity properties are analogous to those observed in the superquadratic case. By introducing the threshold $\frac{p-1}{p}$, we divide the range of the parameter $s_p$ into two distinct scenarios. Specifically, for any $s_p\in \left(0, \frac{p-1}{p}\right]$ and $q\ge p$, we demonstrate that the solutions possess $W_{\rm loc}^{γ, q}$-regularity for all $γ\in \left(0, \frac{s_p p}{p-1}\right)$ and the $W_{\rm loc}^{1, q}$-regularity for any $s_p\in \left(\frac{p-1}{p}, 1\right)$ and $q\ge p$, respectively. Our analysis relies on the nonlocal finite-difference quotient method combined with a Moser-type iteration scheme, which provides a systematic approach to the regularity theory for such nonlocal and singular problems.
論文ID : 2510.14346タイトル : Sobolev regularity for the perturbed fractional 1-Laplace equations in the subquadratic case著者 : Dingding Li, Chao Zhang(ハルビン工業大学数学学院)分類 : math.AP(数学分析-偏微分方程式)発表日時 : 2025年10月16日論文リンク : https://arxiv.org/abs/2510.14346v1 本論文は、摂動分数階1-ラプラス方程式の部分二次情況下における弱解のソボレフ正則性を研究する。弱解が局所有界であるという仮定の下で、著者は超二次情況と同様の正則性性質を確立した。閾値p − 1 p \frac{p-1}{p} p p − 1 を導入することにより、パラメータs p s_p s p の範囲を2つの異なる場合に分割する。具体的には、s p ∈ ( 0 , p − 1 p ] s_p \in \left(0, \frac{p-1}{p}\right] s p ∈ ( 0 , p p − 1 ] かつq ≥ p q \geq p q ≥ p に対して、γ ∈ ( 0 , s p p p − 1 ) \gamma \in \left(0, \frac{s_p p}{p-1}\right) γ ∈ ( 0 , p − 1 s p p ) であるW loc γ , q W^{\gamma,q}_{\text{loc}} W loc γ , q 正則性を証明し、s p ∈ ( p − 1 p , 1 ) s_p \in \left(\frac{p-1}{p}, 1\right) s p ∈ ( p p − 1 , 1 ) かつq ≥ p q \geq p q ≥ p に対して、W loc 1 , q W^{1,q}_{\text{loc}} W loc 1 , q 正則性を証明した。解析方法は、非局所有限差分商法とモーザー型反復スキームの組み合わせに依存している。
本論文で研究される中核方程式は摂動分数階1-ラプラス方程式である:
( − Δ 1 ) s 1 u + ( − Δ p ) s p u = 0 in Ω (-\Delta_1)^{s_1}u + (-\Delta_p)^{s_p}u = 0 \quad \text{in } \Omega ( − Δ 1 ) s 1 u + ( − Δ p ) s p u = 0 in Ω
ここでs 1 , s p ∈ ( 0 , 1 ) s_1, s_p \in (0,1) s 1 , s p ∈ ( 0 , 1 ) 、p ∈ ( 1 , 2 ) p \in (1,2) p ∈ ( 1 , 2 ) (部分二次情況)、Ω ⊂ R N \Omega \subset \mathbb{R}^N Ω ⊂ R N は有界領域である。
理論的空白の補填 :著者は先行研究23 で超二次情況(p ≥ 2 p \geq 2 p ≥ 2 )を研究したが、本論文は部分二次情況の理論を完成させる非均一増長問題 :この方程式は( p , q ) (p,q) ( p , q ) 増長問題の特例と見なすことができ、異なる増長構造を有する実用的応用 :古典版は流体力学と材料科学に応用がある技術的課題 :1-構造の非厳密凸性は独特の解析困難をもたらす分数階1-ラプラス作用素の弱解表現は集合値符号関数を使用する必要がある エネルギーは不連続である可能性があり、解の存在性は小性条件を必要とする 従来の変分法は直接適用が困難である 部分二次情況下の完全な正則性理論の確立 :パラメータs p s_p s p の異なる範囲をカバーする2つの主要定理を証明した重要な閾値p − 1 p \frac{p-1}{p} p p − 1 の導入 :この閾値は勾配∇ u \nabla u ∇ u の存在性を決定し、分数階p p p -ラプラス方程式の閾値p − 2 p \frac{p-2}{p} p p − 2 と異なる体系的な解析方法の開発 :非局所有限差分商技術とモーザー型反復の組み合わせ最適正則性結果の取得 :各パラメータ範囲内でほぼ最適なソボレフおよびヘルダー正則性を取得した弱解u ∈ W loc s 1 , 1 ( Ω ) ∩ W loc s p , p ( Ω ) ∩ L s p p p − 1 ( R N ) u \in W^{s_1,1}_{\text{loc}}(\Omega) \cap W^{s_p,p}_{\text{loc}}(\Omega) \cap L^{p-1}_{s_p p}(\mathbb{R}^N) u ∈ W loc s 1 , 1 ( Ω ) ∩ W loc s p , p ( Ω ) ∩ L s p p p − 1 ( R N ) の正則性を研究する。ここで弱解は以下を満たす:
関数Z ∈ L ∞ ( R N × R N ) Z \in L^{\infty}(\mathbb{R}^N \times \mathbb{R}^N) Z ∈ L ∞ ( R N × R N ) が存在してZ ∈ sgn ( u ( x ) − u ( y ) ) Z \in \text{sgn}(u(x)-u(y)) Z ∈ sgn ( u ( x ) − u ( y )) 任意のテスト関数ϕ \phi ϕ に対して、積分恒等式(1.4)が成立 差分作用素τ h u ( x ) : = u ( x + h ) − u ( x ) \tau_h u(x) := u(x+h) - u(x) τ h u ( x ) := u ( x + h ) − u ( x ) を定義し、
∫ B r ∣ τ h u ∣ q d x \int_{B_r} |\tau_h u|^q dx ∫ B r ∣ τ h u ∣ q d x
の増長を制御することにより正則性を確立する。
重要な不等式を確立する:
∫ B r ∫ B r ∣ J q p + 1 ( τ h u ( x ) ) − J q p + 1 ( τ h u ( y ) ) ∣ p ∣ x − y ∣ N + s p p 2 2 + σ ( 1 − p 2 ) d x d y \int_{B_r} \int_{B_r} \frac{\left|J_{\frac{q}{p}+1}(\tau_h u(x)) - J_{\frac{q}{p}+1}(\tau_h u(y))\right|^p}{|x-y|^{N+\frac{s_p p^2}{2}+\sigma(1-\frac{p}{2})}} dx dy ∫ B r ∫ B r ∣ x − y ∣ N + 2 s p p 2 + σ ( 1 − 2 p ) J p q + 1 ( τ h u ( x )) − J p q + 1 ( τ h u ( y )) p d x d y ≤ ( C ( R − r ) N + s p p + 1 ) p 2 ⋯ \leq \left(\frac{C}{(R-r)^{N+s_p p+1}}\right)^{\frac{p}{2}} \cdots ≤ ( ( R − r ) N + s p p + 1 C ) 2 p ⋯
ここでJ γ ( a ) : = ∣ a ∣ γ − 2 a J_\gamma(a) := |a|^{\gamma-2}a J γ ( a ) := ∣ a ∣ γ − 2 a である。
数列γ i \gamma_i γ i を定義する:
γ 0 = γ , γ i + 1 = γ i ( 1 − p 2 2 q + p 2 q ) + s p p 2 2 q \gamma_0 = \gamma, \quad \gamma_{i+1} = \gamma_i\left(1-\frac{p^2}{2q}+\frac{p}{2q}\right) + \frac{s_p p^2}{2q} γ 0 = γ , γ i + 1 = γ i ( 1 − 2 q p 2 + 2 q p ) + 2 q s p p 2
反復により正則性指標を向上させる。
1-構造の特異性の処理 :集合値関数Z Z Z を導入することによりu ( x ) − u ( y ) ∣ u ( x ) − u ( y ) ∣ \frac{u(x)-u(y)}{|u(x)-u(y)|} ∣ u ( x ) − u ( y ) ∣ u ( x ) − u ( y ) の非微分可能性を処理新しい閾値分析 :p − 1 p \frac{p-1}{p} p p − 1 が勾配存在性を決定する重要な閾値であることを発見改善されたエネルギー推定 :超二次情況と比較して、部分二次情況の局所正則性推定はより多くのパラメータに依存本論文は純粋な理論研究であり、数値実験は含まれない。すべての結果は厳密な数学的証明により得られている。
補題2.5-2.6 :非線形項の処理に用いられる代数不等式補題2.7-2.11 :有限差分技術の基礎補題補題3.1 :非局所p p p -増長項の積分推定局所有界弱解u u u に対して、u ∈ W loc σ , q ( Ω ) u \in W^{\sigma,q}_{\text{loc}}(\Omega) u ∈ W loc σ , q ( Ω ) が成立する。ここでq ≥ p q \geq p q ≥ p 、s p ≤ σ < s p p p − 1 s_p \leq \sigma < \frac{s_p p}{p-1} s p ≤ σ < p − 1 s p p である。
推定 :
[ u ] W σ , q ( B r ) q ≤ C ( T + [ u ] W s p , p ( B R ) + 1 ) q ( R − r ) κ [u]^q_{W^{\sigma,q}(B_r)} \leq \frac{C(T + [u]_{W^{s_p,p}(B_R)} + 1)^q}{(R-r)^\kappa} [ u ] W σ , q ( B r ) q ≤ ( R − r ) κ C ( T + [ u ] W s p , p ( B R ) + 1 ) q
局所有界弱解u u u に対して、u ∈ W loc 1 , q ( Ω ) u \in W^{1,q}_{\text{loc}}(\Omega) u ∈ W loc 1 , q ( Ω ) が成立する。ここでq ≥ p q \geq p q ≥ p である。
推定 :
∥ ∇ u ∥ L q ( B r ) q ≤ C ( T + [ u ] W s p , p ( B R ) + 1 ) q ( R − r ) κ \|\nabla u\|^q_{L^q(B_r)} \leq \frac{C(T + [u]_{W^{s_p,p}(B_R)} + 1)^q}{(R-r)^\kappa} ∥∇ u ∥ L q ( B r ) q ≤ ( R − r ) κ C ( T + [ u ] W s p , p ( B R ) + 1 ) q
系1.5 :s p ∈ ( 0 , p − 1 p ] s_p \in (0, \frac{p-1}{p}] s p ∈ ( 0 , p p − 1 ] のとき、u ∈ C loc 0 , γ ( Ω ) u \in C^{0,\gamma}_{\text{loc}}(\Omega) u ∈ C loc 0 , γ ( Ω ) 、γ ∈ ( 0 , s p p p − 1 ) \gamma \in (0, \frac{s_p p}{p-1}) γ ∈ ( 0 , p − 1 s p p )
系1.6 :s p ∈ ( p − 1 p , 1 ) s_p \in (\frac{p-1}{p}, 1) s p ∈ ( p p − 1 , 1 ) のとき、u ∈ C loc 0 , γ ( Ω ) u \in C^{0,\gamma}_{\text{loc}}(\Omega) u ∈ C loc 0 , γ ( Ω ) 、γ ∈ ( 0 , 1 ) \gamma \in (0,1) γ ∈ ( 0 , 1 )
系1.8 :s p ∈ ( p − 1 p , 1 ) s_p \in (\frac{p-1}{p}, 1) s p ∈ ( p p − 1 , 1 ) かつq ≥ 2 q \geq 2 q ≥ 2 のとき、
u ∈ W loc 1 + α , q ( Ω ) , α ∈ ( 0 , p 2 q ( s p p − p + 1 ) ) u \in W^{1+\alpha,q}_{\text{loc}}(\Omega), \quad \alpha \in \left(0, \frac{p}{2q}(s_p p - p + 1)\right) u ∈ W loc 1 + α , q ( Ω ) , α ∈ ( 0 , 2 q p ( s p p − p + 1 ) )
Giga-Tsubouchi 19 :凸弱解の勾配連続性を証明Tsubouchi 35 :凸性条件を除去し、内部C 1 C^1 C 1 正則性を確立De Filippis-Mingione 13 :線形増長に近い汎関数を研究著者の先行研究23 :超二次情況(p ≥ 2 p \geq 2 p ≥ 2 )の完全な理論Brasco-Lindgren系列研究6,7 :分数階p p p -ラプラス方程式の正則性理論Garain-Lindgren 18 :分数階p p p -ラプラス方程式の部分二次情況理論体系の完成 :先行研究の超二次結果と組み合わせて、摂動分数階1-ラプラス方程式の正則性理論の完全な体系を形成した重要な閾値の解明 :p − 1 p \frac{p-1}{p} p p − 1 の重要性を明らかにし、1-構造が問題に与える本質的な影響を示した最適結果の取得 :技術的制限下でほぼ最適な正則性を取得した局所有界性の仮定 :弱解の局所有界性を事前に仮定する必要がある反復の制限 :s p ∈ ( p − 1 p , 1 ) s_p \in (\frac{p-1}{p}, 1) s p ∈ ( p p − 1 , 1 ) の場合、差分商技術は無限反復ができないパラメータ依存性 :部分二次情況の推定はより多くのパラメータに依存し、定数が十分に精密でない可能性がある有界性仮定の除去 :弱解の定義から直接有界性を導出できるかを研究境界正則性 :境界付近の正則性分析への拡張最適性 :取得した正則性指標が最適であるかを研究理論的完全性 :部分二次情況の理論的空白を補填し、超二次情況と完全な体系を形成技術的革新 :1-構造の特異性を巧妙に処理し、適用可能な解析技術を開発結果の精密性 :ほぼ最適な正則性指標と精密な推定を取得方法の体系性 :このような問題を処理するための体系的な方法論を確立前提条件が強い :局所有界性の仮定は結果の一般性を制限技術的複雑性 :証明過程は多くの技術的詳細を含み、可読性に改善の余地がある応用の限定性 :主に理論的結果であり、実用的応用価値は限定的学術的価値 :非局所特異楕円方程式理論に重要な貢献方法論的意義 :開発された技術は他の関連問題に推広可能完全性 :既存文献と完全な理論的枠組みを形成非局所変分問題の正則性分析 異なる増長構造を有する楕円方程式の研究 画像処理などの応用における非局所モデル分析 論文は38篇の関連文献を引用しており、主に以下を含む:
4-7,14,17,18 :分数階ソボレフ空間と有限差分技術の基礎文献19,35 :古典的摂動1-ラプラス方程式の正則性理論22,23 :著者の先行関連研究25,26 :Marcelliニの( p , q ) (p,q) ( p , q ) 増長問題に関する開拓的研究本論文は摂動分数階1-ラプラス方程式の正則性理論に重要な理論的貢献を提供し、技術方法は革新的であり、結果は最適性を有しており、当該分野の重要な進展である。