[논문 리뷰] $C^{\sigma+\alpha}$ regularity for concave nonlocal fully nonlinear elliptic equations with rough kernels

Joaquim Serra|arXiv (Cornell University)|2014. 05. 05.

Nonlinear Partial Differential Equations참고 문헌 6인용 수 9

한 줄 요약

이 논문은 $\sigma \in (0,2)$ 이며 $L^0(\sigma)$ 클래스의 뚜렷하지 않은 핵을 가진 볼록하지 않은 비국소적 완전비선형 타원형 방정식에 대해 $C^{\sigma+\alpha}$ 내부 정규성 추정을 수립한다. 리우빌 정리와 블로업(compactness) 절차를 사용하여, 외부 데이터가 $C^\alpha$일 경우 단위 구 내부에서 이러한 방정식의 해가 $C^{\sigma+\alpha}$임을 증명하며, 비국소 정규성 이론에서 두 개의 열린 문제를 해결한다.

ABSTRACT

We establish $C^{\sigma+\alpha}$ interior estimates for concave nonlocal fully nonlinear equations of order $\sigma\in(0,2)$ with rough kernels. Namely, we prove that if $u\in C^{\alpha}(\mathbb R^n)$ solves in $B_1$ a concave translation invariant equation with kernels in $\mathcal L_0(\sigma)$, then $u$ belongs to $C^{\sigma+\alpha}(\overline{ B_{1/2}})$, with an estimate. More generally, our results allow the equation to depend on $x$ in a $C^\alpha$ fashion. Our method of proof combines a Liouville theorem and a blow-up (compactness) procedure. Due to its flexibility, the same method can be useful in different regularity proofs for nonlocal equations.

연구 동기 및 목표

• 볼록하지 않은 비국소적 완전비선형 방정식에 대해 $L^0(\sigma)$ 클래스의 뚜렷한 핵을 가질 때 $C^{\sigma+\alpha}$ 정규성이 성립하는지 여부라는 열린 문제를 해결하기 위해.
• 해당 방정식이 $x$에 대해 $C^\alpha$로 의존하는 비이동 불변(non-translation invariant) 방정식에 대해 샤펄러 유형의 $C^{\sigma+\alpha}$ 추정을 수립하기 위해.
• 핵이 뚜렷할 경우 $C^{\sigma+\alpha}$ 내부 정규성이 유지되기 위해 외부 데이터가 $C^\alpha$여야 하는지 여부를 보여주기 위해, 즉 유계 외부 데이터만으로는 충분하지 않다는 것을 보여주기 위해.
• 다양한 비국소 정규성 문제에 적용 가능한 블로업과 리우빌 추론 기반의 강력한 방법론을 개발하기 위해.
• 핵이 뚜렷할 경우 고주파수 진동 외부 데이터로 인해 해가 $C^{\sigma+\alpha}$ 정규성을 상실할 수 있음을 보여주기 위해.

제안 방법

• 정규성 추정을 증명하기 위해 블로업(컴팩턴스) 절차와 리우빌 유형 정리를 조합한 방법을 적응하여 사용한다.
• 지오메트릭 조건 없이 점별 상한만을 갖는 핵 $K(y)$에 의해 정의된 극한 연산자 $M^-_{L^0}$를 사용하며, $\lambda |y|^{-n-\sigma} \leq K(y) \leq \Lambda |y|^{-n-\sigma}$를 만족한다.
• 모순 증명을 사용한다: 수열에 따라 $\|u_m\|_{C^{\sigma+\alpha}} \to \infty$라 가정하고, 증분 몫에 대한 적분 추정을 통해 모순을 이끌어낸다.
• 외부 데이터가 진동적일 경우 두 번째 차수 증분 차이 $\delta^2 u(x,y) = \frac{1}{2}(u(x+y)+u(x-y)-2u(x))$의 행동을 분석한다.
• 고속으로 진동하는 외부 데이터 $\text{sign} \, \sin(m\pi x)$를 사용하여, $C^\alpha$ 외부 정규성이 필수적임을 보여주는 명시적 반례를 구성한다.
• 경계 근처에서 해의 성장률을 제어하기 위해 장벽 함수와 미세한 추정을 사용하며, 이는 외부 데이터의 $C^\alpha$ 정규성에 기반한다.

실험 결과

연구 질문

• RQ1 볼록하지 않은 비국소 방정식에 대해 $L^0(\sigma)$ 클래스의 뚜렷한 핵을 가질 때, $C^2$ 정규성 조건이 $L^2(\sigma)$ 클래스에서 요구되는 바 없이도 $C^{\sigma+\alpha}$ 정규성이 성립하는가?
• RQ2 해가 $x$에 대해 $C^\alpha$로 의존하는 비이동 불변 비국소 방정식에 대해 샤펠러 유형의 $C^{\sigma+\alpha}$ 추정을 수립할 수 있는가?
• RQ3 핵이 뚜렷할 경우 $C^{\sigma+\alpha}$ 내부 정규성을 확보하기 위해 외부 데이터의 $C^\alpha$ 정규성이 필수적인가?
• RQ4 블로업과 리우빌 정리의 방법론을 볼록하지 않은 경우를 초월해 다양한 비국소 방정식의 정규성 증명에 일반화할 수 있는가?
• RQ5 핵이 뚜렷할 경우 비국소 연산자는 고주파수 진동 외부 데이터에 얼마나 민감한가? 이러한 민감성은 $C^{\sigma+\alpha}$ 정규성을 파괴할 수 있는가?

주요 결과

• 외부 데이터가 $C^\alpha(R^n \setminus B_1)$에 속할 경우, $L^0(\sigma)$ 클래스의 뚜렷한 핵을 가진 볼록하지 않은 비국소 방정식의 해는 $B_{1/2}$ 내부에서 $C^{\sigma+\alpha}$이며, 정량적 추정이 존재한다.
• $C^\alpha$ 외부 데이터 조건은 날카롭다: 유계 $L^\infty$ 외부 데이터를 가진 해의 수열이 존재하지만, 그들의 $C^{\sigma+\alpha}$ 준노름은 발산하며, 이는 $C^\alpha$ 조건이 필수적임을 보여준다.
• 리우빌 정리와 블로업 분석에 기반한 증명 방법은 탄력적이며, 다른 비국소 정규성 문제에 쉽게 적용 가능하다.
• 핵이 $L^\alpha$ 클래스에 속할 경우(스케일 불변 $C^\alpha$ 핵), 단지 유계 외부 데이터만으로도 $C^{\sigma+\alpha}$ 정규성이 성립한다.
• 진동 외부 데이터 $\text{sign} \, \sin(m\pi x)$를 사용한 명시적 반례를 구성하여, $C^\alpha$ 외부 정규성이 없이선 $C^{\sigma+\alpha}$ 정규성이 성립하지 않음을 보여준다.
• 핵심 모순은 두 가까운 점에서 증분 차이 $\delta^2 u$ 와 핵의 가중치를 비교할 때 발생하며, 외부 데이터의 진동적 성질로 인해 차이에 0이 아닌 하한이 존재하게 되어, 가정된 호일더 연속성과 모순된다.