[논문 리뷰] Smooth Solutions to a Class of Nonlocal Fully Nonlinear Elliptic Equations

Hui Yu|arXiv (Cornell University)|2015. 11. 13.

Nonlinear Partial Differential Equations참고 문헌 8인용 수 3

한 줄 요약

이 논문은 비국소적 완전비선형 타원형 방정식의 광범위한 클래스에 대해 부드러운 해의 존재성을 확립하기 위해 강력한 부트스트랩 정규성 이론을 개발한다. 우도우가 부드럽고 경계 데이터가 유계이며 균일 연속일 경우, 해가 도메인 내부에서 $C^\infty$임을 증명하며, 비국소 연산자의 전역적 의존성 문제를 국소화된 반복적 정규성 향상 전략을 통해 극복한다.

ABSTRACT

We show that a certain class of fully nonlinear nonlocal equations have smooth solutions as long as the right-hand side is nice and the boundary datum is bounded. To this end we follow the classical strategy. We first show that solutions are $C^{σ+α}$ continuous, then develop a bootstrap argument robust enough for operators that may depend on the solution and its σ-derivatives.

연구 동기 및 목표

• 비국소적 완전비선형 타원형 방정식에 대한 부드러운 해를 증명하기 위한 일반적 프레임워크를 수립하는 것.
• 전통적 정규성 방법을 방해하는 비국소 연산자에서의 전역적 의존성 문제를 다루는 것.
• 계수들이 해와 그 비국소 도함수에 의존하는 비국소 방정식으로 부트스트랩 추론을 확장하는 것.
• 우도우의 부드러움과 경계 데이터의 유계성만으로도 내부에서 $C^\infty$ 정규성이 확보됨을 보이는 것.
• 비국소 헤시안 $D^\sigma_\rho u$의 고유값을 기반으로 하는 선형 및 비선형 연산자에 대한 적용을 제공하는 것.

제안 방법

• 방향 차분 $\delta u(x,y)$와 가중치 $\rho$를 이용해 정의된 비국소 헤시안 연산자 $D^\sigma_\rho u$를 도입하며, 이는 두 번째 순서 헤시안을 일반화한다.
• 편미분적 접근과 비교 원리를 사용하여 볼루션 해에 대한 $C^{\sigma+\alpha}$ 정규성 추정을 확립한다.
• 방정식을 미분하고 샤투란형 추정을 적용함으로써 반복적으로 정규성을 향상시키는 국소화된 부트스트랩 절차를 개발한다.
• 절단 함수 기법을 사용하여 비국소 연산자를 국소화하고 경계 효과를 통제함으로써 반복적 정규성 향상을 가능하게 한다.
• 방향 도함수에 이론을 적용하여 각 도함수가 동일한 유형의 방정식을 만족하고, 계수들이 허들러 연속임을 보인다.
• 국소화-부트스트랩 반복 과정을 활용하여 정규성을 $C^{\sigma+\alpha}$에서 $C^{2+\sigma+\alpha}$로, 그리고 계속해서 $C^\infty$로 향상시킨다.

실험 결과

연구 질문

• RQ1 비국소 연산자에서의 전역적 의존성에도 불구하고 일반적인 비국소적 완전비선형 타원형 방정식에 대해 부드러운 해를 확보할 수 있는가?
• RQ2 두 번째 순서 PDE에서 사용된 부트스트랩 방법이 해에 의존하는 계수를 가진 비국소 방정식으로 확장 가능한가?
• RQ3 비국소 연산자가 해에 대해 전역적으로 의존할 경우, 해의 정규성을 반복적으로 향상시킬 수 있는가?
• RQ4 내부에서 $C^\infty$ 정규성을 확보하기 위해 우도우와 경계 데이터에 어떤 조건이 필요한가?
• RQ5 비국소 헤시안 $D^\sigma_\rho u$의 고유값을 기반으로 정의된 연산자에 이론을 적용할 수 있는가?

주요 결과

• 우도우 $f$가 부드럽고 $g$가 유계이며 균일 연속일 경우, $B_1$에서 $F(D^\sigma_\rho u, x) = f(x)$의 딜리클레 문제는 내부에서 유일한 부드러운 해를 가진다.
• 해는 비국소 연산자가 $u$에 대해 전역적으로 의존하더라도, 반복적 국소화-부트스트랩 추론을 통해 $B_1$에서 $C^\infty$임을 보였다.
• $C^{\sigma+\alpha}$ 정규성 추정은 부트스트랩 과정을 가능하게 하는 기초 단계로 확립되었다.
• 형태 $\int \delta u(x,y) \frac{\langle A(x)y,y\rangle \rho(x,y)}{|y|^{n+\sigma+2}} dy = f(x)$의 선형 연산자에 대해서도 동일한 조건 하에 부드러운 해가 존재한다.
• 비국소 헤시안 $D^\sigma_\rho u$의 고유값을 기반으로 하는 연산자, 예를 들어 $F(M) = f(\lambda_1, \dots, \lambda_n)$에 대해서도 이론이 적용되며, $f$가 부드럽고 볼록일 경우에 해당된다.
• 더 적은 정규성을 가진 연산자에 대해서도, $f$가 $C^k$이고 $g$가 유계이며 사전에 $u$에 대한 $C^k$ 유계성 조건이 확보되어 있다면, 이 방법은 $C^{k-1+\sigma+\alpha}$ 정규성을 도출한다.