[논문 리뷰] Non degeneracy of the bubble in the critical case for non local equations

Juan Dávila, Manuel del Pino외 1명|arXiv (Cornell University)|2013. 02. 01.

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

한 줄 요약

이 논문은 임계 경우에서 분수 스토퍼프 부등식의 극값 함수의 비퇴화성을 확립한다. 선형화된 방정식의 유한한 해들이 스케일링과 이동 대칭성의 생성자들에 의해 생성됨을 증명한다. 증명은 구상 위에서 비국소 방정식을 적분 방정식으로 변환하기 위해 구상투영을 사용하며, $\mathbb{S}^N$ 위에서 적분 연산자의 스펙트럼 이론이 선형화 문제의 해를 구성하는 데 첫 번째 순서의 구면 조화함수 뿐임을 확인한다.

ABSTRACT

We prove the nondegeneracy of the extremals of the fractional Sobolev inequality as solutions of a critical semilinear nonlocal equation involving the fractional Laplacian.

연구 동기 및 목표

• 임계 분수 스토퍼프 부등식의 극값 함수의 선형 비퇴화성을 확립하기 위해.
• 분수 버블 해를 중심으로 한 선형화된 방정식의 유한한 해들이 스케일링과 이동 대칭성에 의해 생성됨을 보여주기 위해.
• 국소 경우($s=1$)의 고전적 비퇴화 결과를 비국소 분수 설정($0<s<1$)으로 확장하기 위해.
• 비국소 설정에서 선형화된 연산자의 핵의 유일성에 대한 엄밀한 스펙트럼 이론적 근거를 제공하기 위해.

제안 방법

• 구상투영을 통해 비국소 방정식을 $\mathbb{R}^N$에서 구면 $\mathbb{S}^N$으로 매핑하여 적분 구조를 유지한다.
• 구상투영의 자코비안을 사용하여 $\mathbb{S}^N$ 위의 함수로 적분 방정식을 재기록한다.
• 원래 방정식을 $L^2(\mathbb{S}^N)$ 위의 컴 pact 적분 연산자로 변환하기 위해 변환된 함수 $h = J^{2s/N} \circ S^{-1} \tilde{\phi}$ 를 정의한다.
• 리에즈 타입 커널을 가진 적분 연산자의 스펙트럼 이론을 적용하여 $\mathbb{S}^N$ 위에서 고유값과 고유공간을 식별한다.
• $L^2(\mathbb{S}^N)$의 구면 조화함수 $H_l$로의 알려진 분해를 사용하여 해 공간을 분석한다.
• 유한한 해들이 유일하게 $l=1$ 구면 조화함수에 대응함을 보여주며, 이는 문제의 물리적 대칭성과 관련된다.

실험 결과

연구 질문

• RQ1 임계 경우에서 분수 스토퍼프 부등식의 극값 함수는 비퇴화적인가?
• RQ2 분수 버블 해를 중심으로 한 선형화된 연산자의 핵의 구조는 무엇인가?
• RQ3 국소 경우($s=1$)의 비퇴화 성질을 비국소 분수 설정($0<s<1$)으로 확장할 수 있는가?
• RQ4 선형화된 방정식의 오직 유한한 해들만 스케일링과 이동 대칭성에서 기인하는가?
• RQ5 구면 위의 적분 연산자의 어떤 스펙트럼 성질이 선형화 문제의 해 공간을 결정하는가?

주요 결과

• 극값 함수 $w_{\mu,\xi}(x) = \alpha_{N,s} \left( \frac{\mu}{\mu^2 + |x - \xi|^2} \right)^{\frac{N-2s}{2}}$ 는 스케일링과 이동 대칭성의 생성자들에 의해 생성되는 해의 공간과 정확히 일치하는 선형화된 핵을 가지므로 비퇴화적이다.
• 선형화된 방정식 $(-\Delta)^s \phi = p w^{p-1} \phi$ 에서 $p = \frac{N+2s}{N-2s}$ 를 만족하는 모든 유한한 해는 $\frac{N-2s}{2}w + x \cdot \nabla w$ 와 $\partial_{x_i} w$ ($1 \leq i \leq N$) 의 선형 조합이다.
• 변환된 함수 $h$ 는 컴 pact 자기수반 연산자를 가지며, 이는 $l=1$ 구면 조화함수에 해당하는 유일한 비영 고유값을 가진다.
• 변환된 방정식의 고유값 $a$ 는 적분 연산자의 고유값 $e_1$ 과 일치하며, 이는 유일하게 $H_1$-함수들이 방정식을 만족함을 확인한다.
• 유한성 조건 $|\phi(x)| \leq C / |x|^{N-2s}$ 는 $\mathbb{S}^N$ 위에서 $h$ 의 연속성과 유한성을 보장한다.
• 해 공간은 정확히 $N+1$ 차원이며, 이는 $H_1$ 의 차원과 일치하며 원래 방정식의 대칭성에 의해 생성된다.