[논문 리뷰] Nonlinear equations for fractional Laplacians I: Regularity, maximum principles, and Hamiltonian estimates

Xavier Cabré, Yannick Sire|QRU Quaderns de Recerca en Urbanisme|2010. 12. 03.

Nonlinear Partial Differential Equations참고 문헌 25인용 수 557

한 줄 요약

이 논문은 분수라플라스 방정식 $(-\Delta)^s v = f(v)$ 에서 유계이고 증가하는 해(층 해)의 존재를 위해 비선형성 $f$ 에 대한 필수 조건을 규명한다. 이는 $\mathbb{R}^{n+1}_+$ 에서의 국소적 불완전 타입 타원형 문제로부터 유도된 해밀토니안 유형 등식과 추정을 통해 이루어지며, 핵심 기여는 모디카의 부등식의 비국소적 해석으로, 이러한 해의 존재를 위해 $f'(0) \leq 0$ 이 필수 조건임을 증명하는 것이다. 이는 정규성과 최대원리에 대한 함의를 지닌다.

ABSTRACT

This is the first of two articles dealing with the equation $(-\\Delta)^{s} v= f(v)$ in $\\mathbb{R}^{n}$, with $s\\in (0,1)$, where $(-\\Delta)^{s}$ stands for the fractional Laplacian ---the infinitesimal generator of a L\\'evy process. This equation can be realized as a local linear degenerate elliptic equation in $\\mathbb{R}^{n+1}_+$ together with a nonlinear Neumann boundary condition on $\\partial \\mathbb{R}^{n+1}_+=\\mathbb{R}^{n}$. In this first article, we establish necessary conditions on the nonlinearity $f$ to admit certain type of solutions, with special interest in bounded increasing solutions in all of $\\mathbb{R}$. These necessary conditions (which will be proven in a follow-up paper to be also sufficient for the existence of a bounded increasing solution) are derived from an equality and an estimate involving a Hamiltonian ---in the spirit of a result of Modica for the Laplacian. In addition, we study regularity issues, as well as maximum and Harnack principles associated to the equation.

연구 동기 및 목표

• 분수라플라스 방정식 $(-\Delta)^s v = f(v)$ 에서 $\mathbb{R}^n$ 에서의 유계이고 증가하는 (층) 해의 존재를 위한 비선형성 $f$ 에 대한 필요 조건을 도출하는 것.
• 국소 경계값 문제의 형태로, 라플라스 방정식에 대한 모디카의 고전적 점별 부등식을 분수라플라스 방정식 설정으로 확장하는 것.
• 분수라플라스 방정식에 대한 정규성, 최대원리, 리우빌 원리 및 하르낙 원리의 수립.
• 동반 논문 [4]에서의 층 해의 존재성과 정량적 성질에 대한 분석적 기초를 마련하는 것.
• 상반평면 $\mathbb{R}^{n+1}_+$ 에서의 관련 국소 문제의 해밀토니안 구조 분석.

제안 방법

• 카페레리-실베스트레의 확장 기법을 사용하여 비국소 방정식 $(-\Delta)^s v = f(v)$ 를 $\mathbb{R}^{n+1}_+$ 에서의 국소적 불완전 타입 타원형 문제로 재구성하는 것.
• 비선형의 거듭제곱 $s$ 와 불완전 타입 타원형 방정식에서의 가중치 $y^a$ 를 연결하기 위해 $a = 1 - 2s$ 를 사용하는 것.
• 국소 문제의 해 $u(x,y)$ 에 대해 모디카의 부등식과 유사한 해밀토니안 유형 등식과 추정을 도출하는 것.
• 실린더 영역에서 시험 함수 $\xi_R = \varphi_R(x)h_R(y)$ 를 사용한 변분적이고 비교적 접근을 통해 $f'(0)$ 을 추정하는 것.
• 고유함수의 점근적 행동과 가중치 적분의 성질을 이용하여 층 해의 존재를 위해 $f'(0) \leq 0$ 이 필수 조건임을 보이는 것.
• 국소 확장과 가중치 스오볼레프 공간 기법을 통해 분수방정식 해의 정규성 및 최대원리 수립.

실험 결과

연구 질문

• RQ1 분수라플라스 방정식 $(-\Delta)^s v = f(v)$ 에서 $\mathbb{R}^n$ 에서의 유계이고 증가하는 해(층 해)의 존재를 위해 비선형성 $f$ 에 대해 어떤 조건이 필요한가?
• RQ2 분수라플라스 방정식에 대해 모디카의 점별 부등식 $\frac{1}{2}|\nabla v|^2 \leq G(v)$ 의 비국소적 해석을 유도할 수 있는가?
• RQ3 상반평면 $\mathbb{R}^{n+1}_+$ 에서의 국소 확장 문제의 해밀토니안 구조는 해의 존재성과 정량적 행동을 어떻게 규명하는가?
• RQ4 분수라플라스 방정식의 해에 대해 어떤 정규성 및 최대원리가 성립하는가?
• RQ5 $f'(0) \leq 0$ 이 층 해의 존재를 위해 필수 조건인지, 그리고 이를 가중치 PDE 기법으로 어떻게 증명할 수 있는가?

주요 결과

• 실린더 영역에서의 가중치 적분에 대한 극한 근사에 기반하여, $(-\Delta)^s v = f(v)$ 에서의 유계이고 증가하는 해(층 해)의 존재를 위해 $f'(0) \leq 0$ 이 필수 조건임을 증명하였다.
• 국소 확장 문제에 대해 해밀토니안 유형 추정을 도출하였으며, 이는 모디카의 부등식을 비국소 설정으로 일반화한 것이다.
• 분수라플라스 방정식의 해에 대해 최대원리를 수립하였으며, 이는 해가 무한대에서의 경계에서 최댓값을 취함을 보장한다.
• 비음수 해에 대해 하르낙 유형 부등식을 증명하였으며, 이는 컴acts 집합에서 균일한 하한을 보장한다.
• 비선형성 $f$ 에 대한 적절한 조건 하에서, 유계 해가 $C^{2s+\alpha}$-홀더 연속임을 보여주는 정규성 결과를 확보하였다.
• 리우빌 원리가 성립한다: $\mathbb{R}^n$ 에서의 $(-\Delta)^s v = f(v)$ 의 유계 해 중 한 방향으로 증가하는 해는 $f'(0) > 0$ 이면 반드시 상수여야 하지만, 본 논문은 비자명한 증가 해가 존재하기 위해 $f'(0) \leq 0$ 이 필요함을 보였다.