[논문 리뷰] Interior and up to the boundary regularity for the fractional $g$-Laplacian: the convex case

Julián Fernández Bonder, Ariel Salort외 1명|arXiv (Cornell University)|2020. 08. 12.

Nonlinear Partial Differential Equations인용 수 4

한 줄 요약

이 논문은 유계 $C^{1,1}$ 영역에서 분수 $g$-라플라스 방정식의 약한 해에 대해 내부 및 경계까지의 허더 연속성 추정을, Young 함수 $g$ 가 볼록임을 가정하여 수립한다. 이는 분수 오르리치-소볼레프 공간에서 유계 우항을 가진 분수 적분-미분 방정식에 대해 문헌상 처음으로 제시된 정규성 결과이다.

ABSTRACT

We establish interior and up to the boundary Hölder regularity estimates for weak solutions of the Dirichlet problem for the fractional $g-$Laplacian with bounded right hand side and $g$ convex. These are the first regularity results available in the literature for integro-differential equations in the context of fractional Orlicz-Sobolev spaces.

연구 동기 및 목표

• 분수 $g$-라플라스 딜리클레 문제의 약한 해에 대해 내부 및 경계까지의 허더 연속성 추정을 수립하기 위해.
• 분수 오르리치-소볼레프 공간의 맥락에서 비균일 타원형, 국소적이지 않은 연산자에 대한 정규성 이론을 확장하기 위해.
• 문헌에서 일반 볼금 $g$-성장 조건을 가진 적분-미분 방정식에 대해 정규성 결과가 부족한 문제를 해결하기 위해.
• 특히 $f \in L^\infty(\Omega)$ 이고 유계 데이터를 가질 때, 해가 경계 근처에서의 행동, 특히 $u/d^s$ 의 정규성 분석하기 위해.

제안 방법

• Young 함수 $G$ 의 도함수 $g = G'$ 를 포함하는 주요값 적분을 통해 정의된 분수 $g$-라플라스 연산자 사용.
• 분수 오르리치-소볼레프 공간에서 비국소 타원형 PDE 이론의 기법을 적용하여 비교 원리 및 잘라내기 논증 사용.
• 편미분 논증을 활용: 해 $u$ 와 컴acts지지 함수 $v$ 에 대해, 합 $u+v$ 가 새로운 우항 $h$ 를 가진 수정된 방정식을 만족함을 보임.
• $\Delta_2$-조건과 $g$ 의 성장 제어를 통해 약한 형태에서 적분 가능성과 수렴성을 확보.
• 매끄럽고 컴팩트하게 지지된 함수의 밀도와 도미네이팅 수렴 정리(Dominated Convergence Theorem)를 이용해 점별 및 강한 해로의 전환.
• 해를 분수 라플라스 연산자와 비교하고, $s$-조화 함수에 대해 알려진 결과를 활용하여 정규성 확립.

실험 결과

연구 질문

• RQ1 Young 함수 $g$ 가 볼금이고 $f \in L^\infty(\Omega)$ 일 때, 분수 $g$-라플라스 방정식의 약한 해의 허더 연속성은 어떻게 되는가?
• RQ2 특히 $f \in L^\infty(\Omega)$ 이고 $\Omega$ 가 $C^{1,1}$ 영역일 때, 해는 경계 근처에서 어떻게 행동하는가? 특히 $u/d^s$ 의 성질은?
• RQ3 고전적 $p$-라플라스 연산자 경우를 초월하여, 분수 오르리치-소볼레프 공간에서 비국소 연산자에 대해 정규성 추정을 수립할 수 있는가?
• RQ4 $g$ 와 영역에 어떤 조건이 성립하면 $u/d^s$ 가 경계까지의 허더 공간에 속하게 되는가?
• RQ5 컴팩트하게 지지된 함수에 의해 해가 편미분될 경우, 분수 $g$-라플라스 연산자의 약한 해의 구조에 어떤 영향을 미치는가?

주요 결과

• $f \in L^\infty(\Omega)$ 이고 $\Omega$ 가 유계 $C^{1,1}$ 영역일 때, $(-\Delta_g)^s u = f$ 를 만족하는 약한 해 $u$ 는 모든 $\varepsilon > 0$ 에 대해 $u/d^s \in C^{s-\varepsilon}(\overline{\Omega})$ 를 만족한다.
• 해 $u$ 는 $\Omega$ 내부에서 국소적으로 허더 연속적이며, 허더 지수는 $s$ 와 $g$ 의 성장에 따라 달라진다.
• 컴팩트하게 지지된 함수 $v$ 에 대해 $u + v$ 는 $(-\Delta_g)^s (u+v) = f + h$ 를 만족하며, 여기서 $h$ 는 $g$-항의 차이를 통해 명시적으로 정의된다.
• 이 방법은 $u+v \in \widetilde{W}^{s,G}_{\text{loc}}(\Omega)$ 를 보장하고, 이러한 편미분에 대해 약한 형태가 유지됨을 보장한다.
• 결과는 $g$ 에 대한 $\Delta_2$-조건을 만족할 경우에 유효하며, 이는 오르리치-소볼레프 공간이 잘 정의되고 적분이 유한함을 보장한다.
• 분석은 분수 $g$-라플라스 연산자에 대한 정규성 이론이 균일 타원형 경우를 초월하여, $g$ 가 거듭제곱형이 아닐 경우에도 확장됨을 확인한다.