[논문 리뷰] Lack of compactness in the 2D critical Sobolev embedding, the general case

Bahouri, Hajer, Mohamed Majdoub외 1명|arXiv (Cornell University)|2011. 12. 13.

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

한 줄 요약

이 논문은 $H^1(\mathbb{R}^2)$에서 오르리츠 공간 $\mathcal{L}(\mathbb{R}^2)$로의 임계 2차원 소볼레프 포함의 비콤팩트성 원인을 분석한다. 이는 질량이 점(핵심)에 집중됨으로 인해 발생하며, 용량 이론과 모순 기반 추출 과정을 통해 모스형 예시를 기반으로 한 프로파일 분해를 구축한다. 이로써 비콤팩트성은 둘레 대칭이 없더라도 이러한 예시에 의해 완전히 기술됨을 보여준다.

ABSTRACT

This paper is devoted to the description of the lack of compactness of the Sobolev embedding of $H^1(\\R^2)$ in the critical Orlicz space ${\\cL}(\\R^2)$. It turns out that up to cores our result is expressed in terms of the concentration-type examples derived by J. Moser in \\cite{M} as in the radial setting investigated in \\cite{BMM}. However, the analysis we used in this work is strikingly different from the one conducted in the radial case which is based on an $L^ \\infty$ estimate far away from the origin and which is no longer valid in the general framework. Within the general framework of $H^1(\\R^2)$, the strategy we adopted to build the profile decomposition in terms of examples by Moser concentrated around cores is based on capacity arguments and relies on an extraction process of mass concentrations. The essential ingredient to extract cores consists in proving by contradiction that if the mass responsible for the lack of compactness of the Sobolev embedding in the Orlicz space is scattered, then the energy used would exceed that of the starting sequence.

연구 동기 및 목표

• 임계 소볼레프 포함 $H^1(\mathbb{R}^2) \hookrightarrow \mathcal{L}(\mathbb{R}^2)$에서의 비콤팩트성 원인을 규명하는 것. 여기서 $\mathcal{L}$은 $\phi(s) = e^{s^2} - 1$로 정의된 오르리츠 공간이다.
• 이전의 원형 대칭 함수 수열에 대한 결과를 일반적인 비원형 대칭 케이스로 확장하는 것. 이 경우 $L^\infty$ 추정이 실패한다.
• 비콤팩트성의 원인인 집중 현상을 반영하는 $H^1(\mathbb{R}^2)$의 유계 수열에 대한 프로파일 분해를 개발하는 것.
• 용량 이론과 에너지 비교를 통해 질량 집중 프로파일이 모스의 극한 함수로부터 유도된 것뿐임을 증명하는 것.

제안 방법

• 집중 현상을 분석하기 위해 용량 이론을 활용하며, 특히 도메인 $\Omega$ 내 집합 $A$의 용량 $\mathrm{Cap}_\Omega(A)$ 개념을 사용한다.
• 스바르츠 대칭화를 통해 일반 함수를 에너지를 유지하는 원형 대칭 함수로 환원하고, 기존의 극한 함수와의 비교를 가능하게 한다.
• 모순 증명 기법을 적용: 질량이 집중되지 않고 산산이 흩어져 있다고 가정할 경우, 원래 수열의 에너지를 초과하게 된다.
• 에너지 집중에 기반한 척도 추출 과정을 통해 반복적으로 核과 프로파일을 추출함으로써 프로파일 분해를 구성한다.
• 에너지 분해와 용량 추정을 통해 프로파일 간의 수직성을 증명함으로써 집중 영역 간의 겹침이 없음을 보장한다.
• 정밀한 트루딩어-모스 부등식과 모스의 예시를 기준으로 최소 에너지 구성 조건을 확립한다.

실험 결과

연구 질문

• RQ1 원형 대칭이 없을 경우, 임계 2차원 소볼레프 포함 $H^1(\mathbb{R}^2) \hookrightarrow \mathcal{L}(\mathbb{R}^2)$에서 비콤팩트성의 원인은 무엇인가?
• RQ2 비콤팩트성의 원인을 설명하는 데 있어, 프로파일 분해를 모스형 예시들만으로 구성할 수 있는가?
• RQ3 용량 이론을 어떻게 활용하여 원형 대칭을 가정하지 않고도 일반 $H^1$ 수열에서 집중 핵심을 추출할 수 있는가?
• RQ4 에너지 비교가 질량이 산산이 흩어지면 원래 수열의 에너지를 초과하게 되므로, 질량이 분산될 수 없음을 증명하는 데서 에너지 비교의 역할은 무엇인가?
• RQ5 일반적인 경우의 집중 프로파일은 원형 설정에서 모스가 유도한 것과 어느 정도 일치하는가?

주요 결과

• 임계 2차원 소볼레프 포함 $\mathcal{L}(\mathbb{R}^2)$에서의 비콤팩트성은 전적으로 점에 집중된 질량에 기인하며, 이는 모스형 프로파일로 모델링된다.
• 임의의 $H^1(\mathbb{R}^2)$ 유계 수열에 대해 프로파일 분해가 존재하며, 이는 모스의 극한 함수의 스케일링 및 이동 변환된 수직 프로파일들로 분해된다.
• 측도 $|E_1|$ 인 집합에서 $\sqrt{\alpha/(2\pi)}$ 이상, 더 큰 집합 $E_2$ 에서는 $a_2$ 이상인 값을 갖는 함수의 에너지는 $\|\nabla u\|_{L^2}^2 \geq 4\pi(a_1 - a_2)^2 / \log(|B|/|E_1|)$ 를 만족하며, 이는 용량에 기반한 에너지 하한을 제공한다.
• 주어진 값이 구 안에서 달성되는데 필요한 최소 에너지는 반지름 함수 $u^*$에 의해 달성되며, 이는 구 외부에서는 조화함수이고 내부에서는 상수이다. 이는 모스 예시의 최적성 확인한다.
• $\mathbb{R}^2$ 에서 $B(b)$ 내부에 있는 구 $B(a)$ 의 용량은 $\mathrm{Cap}_{B(b)}(B(a)) = 2\pi / \log(b/a)$ 로 주어지며, 이는 에너지 하한 추정의 핵심 도구이다.
• 모순 증명을 통해 질량이 단일 핵심에 집중되지 않으면 원래 수열의 에너지를 초과하게 되므로, 비콤팩트성의 원인으로서 집중이 필수적임을 증명한다.