[논문 리뷰] The Evans-Krylov theorem for non local fully non linear equations

Luis Caffarelli, Luís Silvestre|ArXiv.org|2009. 05. 08.

Matrix Theory and Algorithms인용 수 5

한 줄 요약

이 논문은 순수 적분-미분 방정식에 대해, 순수 비국소적 형태의 Evans-Krylov 정리의 일반화를 확립한다. 이는 순수 비국소적 비선형 적분-미분 방정식에 대해, 순수 비국소적 비선형 적분-미분 방정식의 해가 $\sigma \in (1,2)$ 차수를 가지며, 축약성과 균일 타원성을 만족하는 경우, 도메인 내부에서 허들러 공간 $C^{\sigma+\alpha}$에 속한다는 것을 증명한다. 결과는 진동도 향상과 커널의 미세한 매끄러움 조건에 기반한 정규화 절차를 통해 도출되며, $\sigma \to 2$일 때 상수들이 유계임을 보장하여, 극한에서 고전적인 Evans-Krylov 결과를 회복한다.

ABSTRACT

We prove an interior regularity result for solutions of a purely integro-differential Bellman equation. This regularity is enough for the solutions to be understood in the classical sense. If we let the order of the equation approach two, we recover the theorem of Evans and Krylov about the regularity of solutions to concave uniformly elliptic partial differential equations.

연구 동기 및 목표

• 고전적인 Evans-Krylov 정규성 정리를 두 번째 순서 타원 부분이 없는 순수 적분-미분 방정식으로 확장하기.
• 순수 비국소적 비선형 방정식의 해에 대해, $\sigma \in (1,2)$ 차수의 축약성과 균일 타원성을 만족하는 경우, 내부에서 $C^{\sigma+\alpha}$ 정규성을 확립하기.
• $\sigma \to 2$일 때 정규성 추정이 일관되게 유지되어 고전적인 $C^{2,\alpha}$ 결과로 복원됨을 보이기.
• 두 번째 순서 PDE 이론에 의존하지 않는 비국소적 방법과 커널의 매끄러움 조건을 이용해 고전적인 Evans-Krylov 정리를 재증명하기.

제안 방법

• 증명은 비국소적 성격을 반영한 감소하는 구의 수열 위에서의 진동도 향상 논증에 기반한다.
• 저자들은 $\mathcal{L}_2$에 속하는 커널을 통해 정의된 최대연산자 $\mathrm{M}^+_{2}$를 사용한다. 이 커널은 원점 외부에서 $C^2$ 매끄럽고, $|y|^{-n-2-\sigma}$의 감쇠를 가져야 한다.
• 핵심 단계는 분수 라플라스 연산자를 국소화된 부분과 尾(꼬리)로 분해하는 것으로, 특이성과 매끄러움 기여를 분리하기 위해 버블 함수를 사용한다.
• 국소화된 부분은 유계 함수의 분수 라플라스 연산자의 $C^{\alpha}$ 정규성에 기반한 섭동 논증으로 제어된다.
• 꼬리는 커널의 감쇠성과 해가 임계값을 초과하는 집합의 작은 측도를 이용해 추정된다.
• 이 논증은 모순 기반의 진동도 감쇠로 끝나며, 이는 해가 내부에서 $\sigma+\alpha$ 정규성을 획득한다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 고전적인 Evans-Krylov 정규성 정리를 두 번째 순서 타원 부분이 없는 순수 비국소적 비선형 방정식으로 확장할 수 있는가?
• RQ2 순수 비국소적 비선형 벨만 방정식의 해에 대해, $\sigma \in (1,2)$ 차수에서 최적의 허들러 정규성 획득은 무엇인가?
• RQ3 정규성 추정이 $\sigma \to 2$일 때도 일관되게 유지되는가? 이는 고전적인 $C^{2,\alpha}$ 결과로 복원 가능하게 하는가?
• RQ4 비국소적 방법과 커널의 매끄러움 조건을 이용해 고전적인 Evans-Krylov 정리를 재증명할 수 있는가?

주요 결과

• 순수 비국소적 비선형 방정식의 해 중 축약성과 균일 타원성을 만족하는 경우, $\sigma \in (1,2)$ 차수이면 $B_{1/2}$ 내부에서 $C^{\sigma+\alpha}(B_{1/2})$에 속한다. 이는 커널이 $\mathcal{L}_2$에 속할 조건 하에서 성립한다.
• 정규성 추정은 $\sigma$에 대해 일관되며, $\sigma \to 2$일 때 상수들이 유계이므로 고전적인 Evans-Krylov 정리가 극한에서 복원된다.
• $C^{\sigma+\alpha}$ 정규성은 해가 고전적 해임을 충분히 보장한다. 즉, 방정식의 모든 적분이 잘 정의되고, 해는 점별로 $\sigma+\alpha$ 허들러 연속성이다.
• 이 결과는 쌍대성에 의해 볼록 연산자로도 확장된다. $-I(-u) = 0$ 이면 $u$에 대해 동일한 정규성이 유지된다.
• $L^\infty$ 노름은 $B_{1/2}$ 내에서 $C^{\sigma+\alpha}$ 반정규를 제어한다. 모든 $u$에 대해 $\|u\|_{C^{\sigma+\alpha}(B_{1/2})} \leq C\|u\|_{L^\infty(\mathbb{R}^n)}$ 이며, 이때 $C$는 보편 상수이다.
• 전역 유계성 조건은 $u \in L^1(\mathbb{R}^n, (1+|y|)^{-\sigma})$ 와 같은 무한대에서의 중간 정도의 성장 조건으로 약화시킬 수 있다. 다만 주요 진술에서의 단순성 확보를 위해 $L^\infty$ 노름을 사용한다.