[논문 리뷰] Regularity results for nonlocal equations by approximation

Luis Caffarelli, Luís Silvestre|arXiv (Cornell University)|2009. 02. 23.

Advanced Mathematical Physics Problems참고 문헌 2인용 수 5

한 줄 요약

이 논문은 비이동 불변 핵을 가진 비국소 타원형 방정식에 대해 $C^{1,\beta}$ 및 $C^{2,\beta}$ 정규성 추정을 페르투르베이션 및 컴팩턴스 기반의 근사적 접근을 통해 수립한다. 일반적인 비국소 연산자를 이동 불변 연산자로 근사함으로써, 핵 계수의 약간의 연속성과 타원성 조건 하에서 해에 대한 호일더 추정을 도출하며, 이는 확률적 게임 이론과 제어 이론에서 나타나는 더 넓은 범주의 적분-미분 방정식으로 이전 결과를 확장한다.

ABSTRACT

In this paper we prove a nonlocal version of the Cordes-Niremberg estimates. We use it to extend our previous regularity results for fully nonlinear integro-differential equations to the variable coefficient case and several other settings where the equation can be thought of as a perturbation of the translation invariant case.

연구 동기 및 목표

• 비이동 불변이 아닌 일반적인 비이동 불변 연산자로까지 비국소 방정식의 $C^{1,\beta}$ 정규성 결과를 확장하기.
• 기준이 되는 이동 불변 방정식에서의 정규성을 가까운 비이동 불변 연산자로 전이할 수 있는 일반적인 페르투르베이션 프레임워크 개발.
• 핵의 부드러움과 타원성에 대해 더 강한 조건을 가정할 경우, 특히 핵이 분수 라플라스 연산자에 가까울 때 $C^{2,\beta}$ 정규성 확립.
• 점프 과정을 포함하는 확률적 게임에서 발생하는 순수 비국소 이사크스 타입 방정식에 적용 가능한 통합 이론적 프레임워크 제공.
• 콤팩턴스 및 근사 기법을 사용하여 코르데스-니레버그 유형 추정을 비국소 설정으로 일반화하기.

제안 방법

• 일반적인 페르투르베이션 추론(정리 5.2)을 개발하여, 비국소 연산자가 $C^{1,\beta}$ 해를 가지는 이동 불변 연산자와 균일하게 가까울 경우, 그 해 역시 $C^{1,\beta}$임을 보여준다.
• 유계 영역 내 해의 컴팩턴스에 기반하며, 비국소 연산자에 적응된 데 지오르기 및 크릴로프-사포노프 타입의 컴팩턴스 추론을 활용한다.
• 균일 타원성은 선형 비국소 연산자 가중치 $\mathcal{L}$의 가족과의 비교를 통해 정의되며, 작은 변화에 대한 정규성의 안정성을 보장한다.
• 핵의 $x$-의존성을 한 점에서 동결하고, 이를 이동 불변 연산자와 비교함으로써 핵심 기법을 적용한다. 여기에 스케일링 및 수렴 추론을 사용한다.
• 타원성의 정량화와 연산자 간 차이의 통제를 위해 최대 및 최소 연산자 $\mathrm{M}^{+}_{\mathcal{L}}$ 및 $\mathrm{M}^{-}_{\mathcal{L}}$를 사용한다.
• 스케일링된 해의 수열에 컴팩턴스 추론을 적용하여 극한을 도출하며, 이 극한은 기준 연산자로부터 정규성을 물려받고, 이를 원래 방정식으로 다시 전이한다.

실험 결과

연구 질문

• RQ1 비국소 이사크스 방정식 (1.1)의 해 $u$가 어떤 조건에서 $\Omega$ 내부에서 $C^{1,\varepsilon}$가 되는가? (여기서 $\varepsilon > 0$).
• RQ2 핵이 $x$-독립적이고 분수 라플라스 연산자에 가까울 경우, $C^{2,\varepsilon}$ 정규성이 성립하는가?
• RQ3 페르투르베이션 방법을 어떻게 사용하여 이동 불변 비국소 방정식에서의 $C^{1,\beta}$ 정규성을 비이동 불변 비국소 방정식으로 확장할 수 있는가?
• RQ4 핵 $a_{\alpha\beta}(x,y)$ 의 $x$ 에 대한 연속성 모듈러스가 해의 정규성에 어떤 역할을 하는가?
• RQ5 비국소 연산자의 주요 항을 분리하고 근사함으로써 해의 정규성을 도출할 수 있는가?

주요 결과

• 만약 $0 < \lambda \leq a_{\alpha\beta} \leq \Lambda$ 이고 $|\nabla_y a_{\alpha\beta}| \leq C|y|^{-1}$ 이며, $a_{\alpha\beta}$ 가 $y$ 와 무관한 연속성 모듈러스를 가진 $x$ 에 대해 연속일 경우, (1.1)의 해는 $\Omega$ 내부에서 어떤 $\varepsilon > 0$ 에 대해 $C^{1,\varepsilon}$ 이며, 이는 $\|u\|_{L^\infty}$ 에 의존하는 추정을 가진다.
• 만약 $a_{\alpha\beta}$ 가 $x$ 에 대해 상수이고 $\Lambda - \eta \leq 1 \leq \lambda + \eta$ 이며 $\eta$ 가 작을 경우, (1.1)의 해는 $\Omega$ 내부에서 어떤 $\varepsilon > 0$ 에 대해 $C^{2,\varepsilon}$ 이며, 역시 $\|u\|_{L^\infty}$ 에 의존하는 추정을 가진다.
• 정리 5.2 는 적절한 노름에서 차이가 작은 경우, 기준 이동 불변 연산자로부터의 $C^{1,\alpha}$ 정규성이 가까운 비이동 불변 연산자로 전이될 수 있음을 보여준다.
• 형태 $\mathrm{I}(u,x) = -(-\Delta)^{\sigma/2}u + \text{하위항}$ 인 방정식에서, 하위항 핵이 $|a(y)| \leq C$ 및 $|\nabla a(y)| \leq C/|y|$ 를 만족할 경우, $u \in C^{2,\alpha}(B_{1/2})$ 이며 $\|u\|_{C^{2,\alpha}(B_{1/2})} \leq C\|u\|_{L^\infty(\mathbb{R}^n)}$ 이다.
• 페르투르베이션 방법을 통해 일반 비국소 방정식을 주된 항(예: 분수 라플라스 연산자)으로 단순화할 수 있으며, 나머지 항이 적절한 노름에서 작을 경우 정규성 전이가 가능하다.
• 보조정리 3.1 의 증명은 $u_\alpha(x) = ((|x|-1)^+)^\alpha$ 와 $\log(|x|-1)$ 으로 수렴하는 점근적 추론을 사용하며, 이 함수에 최대 연산자를 적용할 경우 경계 근처에서 음수가 되는 것을 보여주며, 이는 컴팩턴스에 필수적이다.