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-라플라스 방정식의 약해에 대한 Sobolev 정칙성을 연구한다. 약해가 국소적으로 유계라는 가정 하에서, 저자들은 초이차 경우와 유사한 정칙성 성질을 확립했다. 임계값 p − 1 p \frac{p-1}{p} p p − 1 를 도입하여 매개변수 s p s_p s p 의 범위를 두 가지 서로 다른 경우로 분류했다. 구체적으로, 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 일 때, 해가 W loc γ , q W^{\gamma,q}_{\text{loc}} W loc γ , q 정칙성을 가지며 여기서 γ ∈ ( 0 , s p p p − 1 ) \gamma \in \left(0, \frac{s_p p}{p-1}\right) γ ∈ ( 0 , p − 1 s p p ) 임을 증명했다. 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 정칙성을 증명했다. 분석 방법은 비국소 유한 차분 기법과 Moser 유형 반복 격식에 의존한다.
본 논문에서 연구하는 핵심 방정식은 섭동 분수 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 의 서로 다른 범위를 포함하는 두 개의 주요 정리를 증명핵심 임계값 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 와 다름체계적 분석 방법 개발 : 비국소 유한 차분 기법과 Moser 유형 반복을 결합최적 정칙성 결과 획득 : 각 매개변수 범위에서 거의 최적의 Sobolev 및 Hölder 정칙성 획득약해 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 : 분수 Sobolev 공간 및 유한 차분 기법의 기초 문헌19,35 : 고전적 섭동 1-라플라스 방정식의 정칙성 이론22,23 : 저자의 선행 관련 연구25,26 : Marcellini의 ( p , q ) (p,q) ( p , q ) 증장 문제에 대한 개척적 연구본 논문은 섭동 분수 1-라플라스 방정식의 정칙성 이론에 중요한 이론적 기여를 제공하며, 기술 방법이 혁신적이고 결과가 최적성을 가지며, 해당 분야의 중요한 진전이다.