[논문 리뷰] Improved Sobolev embeddings, profile decomposition, and concentration-compactness for fractional Sobolev spaces

Giampiero Palatucci, Adriano Pisante|arXiv (Cornell University)|2013. 02. 24.

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

한 줄 요약

이 논문은 모리의 노름을 포함하는 분수 스토퍼프 공간에서 개선된 소볼레프 포함 부등식을 수립하여, 임계 소볼레프 포함에 대한 최적화자 존재성과 대칭에 대한 컴팩턴스를 직접적으로 증명한다. 정밀화된 부등식은 $\dot{H}^{s}$ 공간에서 프로파일 분해와 농도-콤팩턴스를 투명하게 유도할 수 있게 하며, 초임계 문제의 점근적 행동과 최적화자들이 한 점에 집중하는 데 응용된다.

ABSTRACT

We obtain an improved Sobolev inequality in H^s spaces involving Morrey norms. This refinement yields a direct proof of the existence of optimizers and the compactness up to symmetry of optimizing sequences for the usual Sobolev embedding. More generally, it allows to derive an alternative, more transparent proof of the profile decomposition in H^s obtained in [P. Gerard, ESAIM 1998] using the abstract approach of dislocation spaces developed in [K. Tintarev & K. H. Fieseler, Imperial College Press 2007]. We also analyze directly the local defect of compactness of the Sobolev embedding in terms of measures in the spirit of [P. L. Lions, Rev. Mat. Iberoamericana 1985]. As a model application, we study the asymptotic limit of a family of subcritical problems, obtaining concentration results for the corresponding optimizers which are well known when s is an integer ([O. Rey, Manuscripta math. 1989; Z.-C. Han, Ann. Inst. H. Poincare Anal. Non Lineaire 1991], [K. S. Chou & D. Geng, Differential Integral Equations 2000]).

연구 동기 및 목표

• 임계 소볼레프 포함을 강화하기 위해 $\dot{H}^{s}({\mathds{R}}^{N})$에서 모리의 노름을 포함하는 개선된 소볼레프 부등식 유도.
• 분수 공간에서 임계 소볼레프 포함에 대한 최적화자 존재성과 대칭에 대한 컴팩턴스를 추상적이지 않은 직접 증명 제공.
• 이중화된 부등식을 사용하여 $\dot{H}^{s}$에서의 프로파일 분해를 재유도하여 이동 공간 이론에 의존하지 않음.
• 측도의 약한* 수렴을 통한 에너지와 질량의 농도를 통해 국소적 컴팩턴스 결함을 분석하여 정수계 수준 결과의 확장.
• 초임계 문제의 점근적 극한을 연구하고, 유계 영역에서 최적화자가 단일 점에 집중하는 것을 증명함.

제안 방법

• 모리의 노름을 $\cdot{H}^{s}$ 노름에 통합하여 새로운 개선된 소볼레프 부등식 유도, 고전적 $L^{2^*}$ 포함의 정밀화.
• 이중화된 부등식을 사용하여 $\cdot{H}^{s}$에서 최적화 수열에 대해 대칭(이동 및 확대)에 대한 직접적 컴팩턴스 증명.
• 참고문헌 [31, 32]의 정신에 따라 농도-콤팩턴스 원리를 적용하여 측도의 약한* 수렴을 통한 컴팩턴스 결함 분석.
• 약한* 극한으로부터 유도되는 원자 측도 $\mu_j$와 $\nu_j$를 사용하여 에너지와 질량의 농도 특성 기술: $|(-\Delta)^{s/2}u_n|^2dx$와 $|u_n|^{2^*}dx$의 약한* 극한.
• 지수 $2^* - \varepsilon$를 갖는 초임계 문제 $S^*_\varepsilon$의 최대화자 점근적 행동 분석, $\varepsilon \to 0$에서 임계 사례로 수렴함을 보임.
• 스케일링과 컴팩턴스 추론을 사용하여, 적절한 정규화 하에 최대화자들이 $\overline{\Omega}$ 내의 단일 점 $x_0$에 집중함을 증명함.

실험 결과

연구 질문

• RQ1 분수 $\dot{H}^s$ 공간에서 고전적 소볼레프 포함을 모리의 노름을 사용해 정밀화할 수 있는가? 이는 더 강한 컴팩턴스 성질을 제공하는가?
• RQ2 개선된 부등식이 $\dot{H}^s$에서 최적화자 존재성과 프로파일 분해에 대한 직접적이고 추상적이지 않은 증명을 가능하게 하는가?
• RQ3 국소적 컴팩턴스 결함은 측도의 관점에서 어떻게 나타나며, 농도-콤팩턴스를 통해 특성화할 수 있는가?
• RQ4 지수가 임계 임계값 $2^*$로 수렴할 때 초임계 문제의 최대화자는 어떻게 되는가?
• RQ5 개선된 부등식과 측도론적 도구를 사용하여, 범위가 유계인 영역에서 최적화자가 단일 점에 집중하는 것이 엄밀히 증명될 수 있는가?

주요 결과

• 모리의 노름을 포함하는 개선된 소볼레프 부등식이 수립되어 고전적 $\dot{H}^s \hookrightarrow L^{2^*}$ 포함을 정밀화함.
• 이중화된 부등식은 임계 소볼레프 포함에 대한 최적화자 존재성과 대칭에 대한 컴팩턴스를 직접적으로 증명함.
• $\dot{H}^s$에서의 프로파일 분해는 이중화된 부등식을 통해 재유도되었으며, 추상적인 이동 공간 접근법에 비해 더 투명하고 구성적인 대안을 제공함.
• 국소적 컴팩턴스 결함은 측도의 약한* 수렴을 통해 특성화됨: $|u_n|^{2^*}dx \rightharpoonup^* \nu = S^*\delta_{x_0}$ 및 $|(-\Delta)^{s/2}u_n|^2dx \rightharpoonup^* \delta_{x_0}$로 나타나 단일 점에 집중됨.
• 지수 $2^* - \varepsilon$를 갖는 초임계 문제에서 최대화자 $u_\varepsilon$는 $\varepsilon \to 0$일 때 단일 점 $x_0 \in \overline{\Omega}$에 집중되며, $\|u_\varepsilon\|_{\dot{H}^s} \to 1$ 이고 $|u_\varepsilon|^{2^*}dx \rightharpoonup^* S^*\delta_{x_0}$임을 보임.
• 임계 소볼레프 부등식의 최적 상수 $S^*$는 극한에서 도달되며, 스케일링에 대해 안정적임이 입증되었으며, 스케일링 매개변수 $x_n \to x_0$ 및 $\lambda_n \to 0$를 만족함.