[논문 리뷰] Nonexistence results for a class of fractional elliptic boundary value problems

Mouhamed Moustapha Fall, Tobias Weth|arXiv (Cornell University)|2012. 01. 19.

Nonlinear Partial Differential Equations참고 문헌 19인용 수 5

한 줄 요약

이 논문은 별형 또는 비유계 영역에서 분수 라플라시안 $(-\Delta)^s$ 를 포함하는 분수 타원형 경계값 문제에 대한 양해를 갖는 해가 존재하지 않음을 증명한다. 캐프레리-실베스트레 확장과 정교화된 이동 구의 방법을 사용하여, 비율 불변 의미에서 초임계(noncritical)인 비선형성의 경우 해가 존재하지 않음을 입증한다. 이는 표준 항등식이 경계의 정규성 문제로 인해 실패하는 비국소 분수 설정으로 고전적인 포호자프 유형의 존재하지 않음 결과를 확장한다.

ABSTRACT

In this paper we study a class of fractional elliptic problems of the form $$ \Ds u= f(x,u) \quad extrm{in} Øu=0\quad extrm{in} \R^N \setminus Ø,$$ where $s\in(0,1)$. We prove nonexistence of positive solutions when $Ø$ is star-shaped and $f$ is supercritical. We also derive a nonexistence result for subcritical $f$ in some unbounded domains. The argument relies on the method of moving spheres applied to a reformulated problem using the Caffarelli-Silvestre extension \cite{CSilv} of a solution of the above problem. The standard approach in the case $s=1$ using Pohozaev type identities does not carry over to the case $0

연구 동기 및 목표

• 별형 영역에서 초임계 비선형성을 갖는 분수 타원형 문제에 대한 양해가 존재하지 않음을 증명하는 것.
• 경계의 정규성 부족으로 인해 표준 적분 항등식이 실패하는 비국소 분수 설정 $0 < s < 1$ 에서 고전적인 존재하지 않음 결과(예: 포호자프)를 확장하는 것.
• 비유계 영역에서 원점 근처 및 무한대에서의 해의 행동을 척도와 대칭성 방법을 사용하여 분석하는 것.
• 비선형성 $f(x,u)$ 에 대한 척도 조건을 기반으로 하는 존재하지 않음의 일반적 프레임워크를 제공하는 것으로, 거듭제곱형 비선형성의 기존 결과를 일반화하는 것.

제안 방법

• 분수 문제를 한 차원 더 높은 공간에서 국소 경계값 문제로 변환하기 위해 캐프레리-실베스트레 확장을 활용한다.
• 확장된 문제에 대해 이동 구의 방법을 적용하여 대칭성과 최대원리 추론을 활용한다.
• 확장된 공간에서 정교화된 이동 구의 추론을 구현하여 해와 그 켈빈 변환 사이의 점별 부등식을 유도한다.
• 비율 불변 조건인 $\lambda \mapsto \lambda^{-(N+2s)/(N-2s)}f(\lambda^{-2/(N-2s)}x, \lambda u)$ 가 $\lambda \geq 1$ 에서 비감소함을 초임계성의 핵심 기준으로 사용한다.
• 하디-리틀우드-소볼레프 및 헬더 부등식을 활용하여 적분 가능성과 $\mathcal{D}^{s,2}(\Omega) \subset L^{2N/(N-2s)}(\mathbb{R}^N)$ 에 속함을 보장한다.
• 푸비니 정리와 원형 추정을 적용하여 하한 $w(r\sigma_0) \gtrsim r^{(2s-N)/2}$ 를 도출하고, 이는 적분 가능성과 모순됨을 입증한다.

실험 결과

연구 질문

• RQ1 비선형성 $f(x,u)$ 가 어떤 조건을 만족할 경우 분수 타원형 문제 $(-\Delta)^s u = f(x,u)$ 가 영역 $\Omega$ 에서 양해를 갖지 못하는가?
• RQ2 경계의 정규성 부족으로 인해 포호자프 항등식이 실패하는 비국소 문제에 대해 $0 < s < 1$ 인 경우 이동 구의 방법을 어떻게 적응시킬 수 있는가?
• RQ3 원점에 대해 별형인 것(경계 포함)이 분수 문제의 존재하지 않음 증명에서 어떤 역할을 하는가?
• RQ4 비선형성 $f$ 의 척도 성질이 비유계 영역에서 해의 존재 또는 존재하지 않음에 어떻게 영향을 미치는가?
• RQ5 등각 변환과 캐프레리-실베스트레 확장을 사용하여, 무한대에서 별형인 비유계 영역으로 존재하지 않음 결과를 확장할 수 있는가?

주요 결과

• 비선형성 $f$ 가 초임계 척도 조건 (1.6) 를 만족할 경우, 원점에 대해 별형인 유계 영역에서도 양해가 존재하지 않으며, 원점이 경계 위에 있을 경우에도 마찬가지다.
• 일부 비유계 영역에서 비선형성이 초임계일 경우, 존재하지 않음 결과는 유계 영역을 넘어서도 성립한다.
• 증명은 비국소 문제를 $\mathbb{R}^{N+1}_+$ 에서 국소 문제로 변환하기 위해 캐프레리-실베스트레 확장을 기반으로 한다. 이는 이동 구의 방법의 적용을 가능하게 한다.
• 어떤 양해도 원점 근처에서 $w(r\sigma_0) \gtrsim r^{(2s-N)/2}$ 를 만족해야 하며, 이는 $\int_0^{r_0} w^{2N/(N-2s)}(r\sigma_0) dr = \infty$ 를 암시하고, 이는 $L^{2N/(N-2s)}$ 적분 가능성과 모순된다.
• 거듭제곱형 비선형성인 $f(x,u) = |x|^{-\sigma}u^p$ 와 $f(x,u) = u^p - V(x)u$ 에 대해서도 일반화되며, $p \geq \frac{N+2s-2\sigma}{N-2s}$ 이거나 $V(x)$ 가 적절한 감쇠 및 성장 조건을 만족할 경우 존재하지 않음을 보여준다.
• 결론들은 $f(x,u) = u^p - \gamma |x|^{-2s}u$ 이며 $p \geq \frac{N+2s}{N-2s}$ 일 경우, 그리고 $f(x,u) = |x|^{-\sigma}u^p$ 이며 $p \geq \frac{N+2s-2\sigma}{N-2s}$ 일 경우, 적절한 가정 하에 존재하지 않음을 확인한다.