[논문 리뷰] Semilinear equations involving the fractional Laplacian on domains

Wenxiong Chen, Yanqin Fang외 1명|arXiv (Cornell University)|2013. 09. 28.

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

한 줄 요약

이 논문은 Caffarelli-Silvestre 확장에 의존하지 않고, 그린 함수를 통한 직접적 적분 표현을 이용하여 단위 구와 반공간에서의 비선형 분수 라플라스 방정식을 연구한다. 단위 구에서 양해의 뿌리 대칭성과 단조성, 반공간에서의 양해가 존재하지 않음을, 적분 형태의 이동 평면 방법을 통해 비선형성 f(u)에 대한 온건한 조건 하에 증명한다.

ABSTRACT

Applying the method of moving planes in integral forms, we establish radial symmetry for positive solutions to a class of semilinear equations involving the fractional Laplacian in the unit ball and obtain Liouville type theorems concerning the non-existence of positive solutions in the half space. The regularity of solutions are also investigated.

연구 동기 및 목표

• 단위 구에서 비선형 분수 라플라스 방정식의 양해에 대한 뿌리 대칭성과 단조성을 확립하기 위해.
• 비선형성에 적절한 조건 하에 반공간에서의 양해가 존재하지 않음을 증명하기 위해.
• Caffarelli-Silvestre 확장 방법의 직접적 대체를 제공하기 위해, 그린 함수를 포함하는 적분 표현을 이용하여 접근하기 위해.
• 유계 및 비유계 영역에서 분수 타원 방정식의 해의 정규성과 정성적 성질을 조사하기 위해.
• 경계를 가진 영역에서 분수 라플라스 설정으로 적분 형태의 이동 평면 방법을 확장하기 위해.

제안 방법

• 영역 내 그린 함수 $ G(x,y) $ 를 이용하여 분수 라플라스 문제를 등가의 적분 방정식으로 표현한다.
• 단위 구에서 해의 대칭성과 단조성을 증명하기 위해 적분 형태의 이동 평면 방법을 적용한다.
• 분석의 중심 방정식으로 $ u(x) = \int_{\Omega} G(x,y) f(u(y)) \, dy $ 를 사용한다.
• 반공간에서의 그린 함수의 渐近적 추정을 적용하여 해의 감쇠 및 성장 성질을 도출한다.
• 비교 및 반복 기법을 구현하여 해의 성장에 대한 하한을 도출하고, 존재하지 않음을 증명하기 위한 모순을 이끌어낸다.
• 테스트 함수가 $ C_0^\infty(\Omega) $ 에 속하는 분포해를 정의함으로써 약한 해가 잘 정의됨을 보장한다.

실험 결과

연구 질문

• RQ1 단위 구에서 분수 라플라스 방정식의 양해가 어떤 조건에서 원형 대칭성과 단조성을 보일 수 있는가?
• RQ2 적분 형태의 이동 평면 방법이 유계 영역에서의 분수 라플라스에 성공적으로 적용될 수 있는가?
• RQ3 비선형성에 대해 어떤 충분한 조건이 반공간에서의 양해가 존재하지 않음을 보장하는가?
• RQ4 반공간에서의 그린 함수의 행동이 해의 감쇠 및 성장에 어떤 영향을 미치는가?
• RQ5 분수 라플라스 방정식의 해는 비선형성과 영역 기하학으로부터 어떤 정규성 성질을 물려받는가?

주요 결과

• 비선형성 $ f $ 에 대한 온건한 조건 하에, 단위 구에서 $ (-\Delta)^{\alpha/2}u = f(u) $ 의 양해는 원점 중심의 뿌리 대칭성과 엄격한 감소성을 갖는다.
• Caffarelli-Silvestre 확장에 의존하지 않고, 적분 형태의 이동 평면 방법이 성공적으로 대칭성과 단조성을 증명한다.
• 반공간에서 $ f(u) = u^p $ 이면 $ p \leq \frac{n+\alpha}{n-\alpha} $ 일 때 비음해가 존재하며, $ p > \frac{n+\alpha}{n-\alpha} $ 일 때는 존재하지 않음을 증명한다.
• 반공간에서 $ f(u) = u^p $ 이면 $ p > \frac{n+\alpha}{n-\alpha} $ 일 때, 반복적 하한을 통한 해의 성장에 대한 추론을 통해 양해가 존재하지 않음을 증명한다.
• 큰 $ x_n $ 에 대해 반공간의 해는 $ u(x_n) \geq C x_n^{p^m(\alpha/2 - 1) + \frac{p^m - 1}{p - 1}\alpha} $ 를 만족하며, 이는 감쇠 추정과의 모순을 이끈다.
• 존재하지 않음을 증명하는 데서는 $ u^p(x_n)x_n^{\alpha/2} $ 의 성장률이 0으로 수렴해야 하지만, 양의 상한선으로 둘 수 있음을 도출함으로써 모순을 이끌어낸다.