[논문 리뷰] Symmetry breaking for an elliptic equation involving the Fractional Laplacian

Pablo L. De Nápoli|arXiv (Cornell University)|2014. 09. 25.

Nonlinear Partial Differential Equations참고 문헌 20인용 수 7

한 줄 요약

이 논문은 큰 구에서 분수형 라플라스 연산자를 포함하는 분수형 타원형 방정식에 대해 대칭성 붕괴를 증명함으로써, 가중치가 있는 분수형 소볼레프 공간에서 반경 함수에 대한 새로운 스트라우스 유형 부등식을 수립한다. 에너지 비교를 통해 반경과 비반경 최소화자 간에, 충분히 큰 반경에서 지수와 가중치 조건이 특정일 경우, 반경 및 비반경 양해가 존재함을 보이며, 국소적이지 않은 설정으로 고전 결과를 확장한다.

ABSTRACT

We study the symmetry breaking phenomenon for an elliptic equation involving the fractional Laplacian in a large ball. Our main tool is an extension of the Strauss radial lemma involving the fractional Laplacian, which might be of independent interest; and from which we derive compact embedding theorems for a Sobolev-type space of radial functions with power weights.

연구 동기 및 목표

• 반경 대칭 영역에서 분수형 라플라스 연산자를 포함하는 타원형 방정식에서의 대칭성 붕괴를 조사하는 것.
• 지역적 라플라스 연산자(s=1)에 대한 고전적 대칭성 붕괴 결과를 비국소적 분수형 라플라스 연산자 설정(1/2 < s < 1)으로 확장하는 것.
• 반경 함수에 대한 가중치가 있는 분수형 소볼레프 공간에서의 컴팩트 임베딩 정리를 수립하는 것.
• 분수형 라플라스 연산자와 멱함수 가중치에 적응된 새로운 버전의 스트라우스 반경 렘마를 증명하는 것. 이는 컴팩트성과 에너지 추정에 핵심적이다.
• 지수와 가중치에 대한 명시적 조건 하에서 큰 구에서 비선형 분수형 방정식에 대해 반경 및 비반경 양해의 존재를 보여주는 것.

제안 방법

• 가중 에너지 공간 $ H^s_{2,a}(bR^n) $ 에서 반경 함수에 대한 새로운 분수형 스트라우스 유형 부등식을 유도하여, 감쇠와 컴팩트성을 보장한다.
• 고전적 부분적 적분 기법과 다름없이, 함수를 고주파수 및 저주파수 부분으로 나누어 조화 분석 기법을 사용해 새로운 스트라우스 부등식을 증명한다.
• 비국소적 성격을 갖는 분수형 라플라스 연산자에 대한 에너지 추정에서 [24]의 컷오프 함수 기법을 적용한다.
• 에너지 함수 $ H^s_{2,a,0}(B_R) $ 과 $ H^s_{2,a}(bR^n) $ 에서 반경 및 비반경 최소화자 간의 에너지 수준을 비교한다.
• 큰 $ R $ 에 대해 $ M(R) < m(R) $ 를 증명하며, 여기서 $ M(R) $ 과 $ m(R) $ 은 각각 비반경 및 반경 함수 위에서 에너지 함수의 하한이다. 이는 서로 다른 최소화자 존재를 의미한다.
• 강한 최대원리에 의해 최소화자가 $ B_R $ 에 거의 어디서나 엄격히 양임을 보여, 양해의 존재를 확인한다.

실험 결과

연구 질문

• RQ1 구 $ B_R $ 에서 분수형 타원형 방정식 $ (-\Delta)^s u + |x|^a u = |x|^b u^{p-1} $ 가 반경 및 비반경 양해를 동시에 갖는 조건은 무엇인가?
• RQ2 지역적 라플라스 연산자(s=1)에 대한 Sintzoff의 고전적 대칭성 붕괴 결과는 비국소적 분수형 라플라스 연산자 케이스(1/2 < s < 1)로 확장될 수 있는가?
• RQ3 가중치 매개변수 $ a $, $ b $ 와 지수 $ p $ 는 비반경 해의 존재에 어떤 역할을 하는가?
• RQ4 표준 분수형 소볼레프 임베딩에서 컴팩트성이 없음에도 불구하고, 멱함수 가중치가 있는 분수형 소볼레프 설정에서 컴팩트성이 어떻게 복원될 수 있는가?
• RQ5 반경 함수에 대해 가중치가 있는 분수형 설정에서 감쇠와 컴팩트성을 보장하기 위해 어떤 새로운 함수 부등식이 필요한가?

주요 결과

• 모든 $ n \geq 2 $, $ 1/2 < s < 1 $, $ 2 < p < 2^* = \frac{2n}{n-2s} $, $ 0 < a < n $, $ b > \frac{ap}{2} $ 를 만족할 경우, 큰 구에서 대칭성 붕괴가 발생한다.
• 조건 $ a(p-2-2ps) + 4bs < 2s(p-2)(n-1) $ 는 큰 $ R $ 에서 비반경 최소화자의 에너지가 반경 최소화자의 에너지보다 엄격히 작다는 것을 보장한다.
• 비반경 함수에 대한 에너지 함수의 하한 $ M(\infty) $ 는 0 이며, $ m(\infty) > 0 $ 이다. 이는 무한대에서 비반경 해가 에너지적으로 유리함을 의미한다.
• 충분히 큰 $ R $ 에서 비반경 해의 에너지 수준 $ M(R) $ 이 반경 에너지 수준 $ m(R) $ 보다 낮아지며, 이는 서로 다른 반경 및 비반경 양약해의 존재를 증명한다.
• 논문은 $ H^s_{2,a} $ 에서 반경 함수에 대한 새로운 분수형 스트라우스 부등식을 수립하였으며, 감쇠 추정을 제공하고 가중치 공간에서의 컴팩트 임베딩을 가능하게 한다.
• 증명은 국소 케이스에서 사용되는 고전적 부분적 적분 기법이 아닌, 함수를 고주파수 및 저주파수 부분으로 나누는 새로운 조화 분석 접근에 의존한다.