[논문 리뷰] Stability for the Sobolev inequality: existence of a minimizer

Tobias König|arXiv (Cornell University)|2022. 11. 25.

Nonlinear Partial Differential Equations인용 수 4

한 줄 요약

이 논문은 $d \geq 3$ 차원에서 소볼레프 부등식과 관련된 비안치-에그넬 안정성 부등식의 최소화자 존재성을 입증한다. 이는 개선된 브레지스-리브 유형의 컴팩턴스 추론을 통해 이루어지며, 엄밀한 부등식 $c_{\text{BE}} < 2 - 2^{\frac{d-2}{d}}$를 증명함으로써 두 버블 구성이 최소화자일 수 없음을 배제하고, $s \in (0, d/2)$, $d \geq 2$ 인 분수계 소볼레프 경우로 결과를 확장한다. 주요 기여는 안정성 상수에 대한 최적화자가 존재한다는 것을 입증함으로써 오랫동안 미해결이었던 문제를 해결한 것이다.

ABSTRACT

We prove that the stability inequality associated to Sobolev's inequality and its set of optimizers $\mathcal M$ and given by \[ \frac{\| abla f\|_{L^2(\mathbb R^d)}^2 - S_d \|f\|_{L^\frac{2d}{d-2}(\mathbb R^d)}^2}{ \inf_{h \in \mathcal M} \| abla (f - h)\|_{L^2(\mathbb R^d)}^2 } \geq c_{BE} &gt; 0 \qquad ext{ for every } f \in \dot{H}^1(\mathbb R^d),\] which is due to Bianchi and Egnell, admits a minimizer for every $d \geq 3$. Our proof consists in an appropriate refinement of a classical strategy going back to Brezis and Lieb. As a crucial ingredient, we establish the strict inequality $c_{BE} &lt; 2 - 2^\frac{d-2}{d}$, which means that a sequence of two asymptotically non-interacting bubbles cannot be minimizing. Our arguments cover in fact the analogous stability inequality for the fractional Sobolev inequality for arbitrary fractional exponent $s \in (0, d/2)$ and dimension $d \geq 2$.

연구 동기 및 목표

• 소볼레프 부등식에 대한 비안치-에그넬 안정성 부등식의 최적 상수 $c_{\text{BE}}$ 가 최소화자에 의해 도달되는지 여부를 해결하는 것.
• 비안치-에그넬 비율에 대한 최소화 시퀀스가 두 개의 점 渐진적으로 상호작용하지 않는 탈렌티 버블로 집중될 수 없음을 보여, 최소화자 존재에 대한 비컴팩트한 대안을 배제하는 것.
• 임의의 $s \in (0, d/2)$ 및 $d \geq 2$ 에 대해 분수계 소볼레프 설정으로 최소화자 존재 결과를 일반화하는 것.
• 두 버블 구성이 잠재적 최소화자일 수 없음을 배제하는 엄밀한 부등식 $c_{\text{BE}} < 2 - 2^{\frac{d-2}{d}}$ 를 확립하는 것.

제안 방법

• 비안치-에그넬 비율에 대한 최소화 시퀀스를 분석하기 위해 고전적인 브레지스-리브 농도-컴팩턴스 전략의 개선된 형태를 사용한다.
• 증명은 중심이 서로 멀어지고 농도가 발산하는 두 개의 탈렌티 버블을 포함하는 함수형식의 날카운 수렴 전개에 의존한다.
• 분석 결과, 두 버블 구성의 비율은 $2 - 2^{\frac{d-2}{d}}$ 로 수렴하며, 이는 $c_{\text{BE}}$ 보다 엄밀히 크므로 이러한 구성이 최소화자일 수 없음을 시사한다.
• 이전에 알려진 엄밀한 부등식 $c_{\text{BE}} < \frac{4}{d+4}$ 를 활용하여 스펙트럼 비교를 통해 한 버블 유형의 최소화자 시퀀스를 배제한다.
• 비국소 딜리클레 에너지 $\|(-\Delta)^{s/2} f\|_{L^2}^2$ 를 고려하여 함수형식 프레임워크와 수렴 전개를 분수계 소볼레프 공간에 적응함으로써 방법을 일반화한다.
• 핵심 기술적 요소로는 탈렌티 버블 주변의 변형 행동을 정량화하는 데 사용되는 프로파일 함수형식의 1차 및 2차 도함수를 $\mu = 1$ 에서 계산하는 것이다.

실험 결과

연구 질문

• RQ1 소볼레프 부등식에 대한 비안치-에그넬 안정성 부등식의 최적 상수 $c_{\text{BE}}$ 는 최소화자에 의해 도달되는가, 아니면 그저 극한에서만 도달되는가?
• RQ2 점 渐진적으로 상호작용하지 않는 두 개의 탈렌티 버블이 비안치-에그넬 비율에 대한 최소화 시퀀스를 형성할 수 있는가?
• RQ3 두 버블 구성이 최소화자일 수 없음을 배제하는 엄밀한 부등식 $c_{\text{BE}} < 2 - 2^{\frac{d-2}{d}}$ 가 성립하는가?
• RQ4 최소화자 존재성 결과가 $s \in (0, d/2)$ 인 분수계 소볼레프 경우로 확장되는가?

주요 결과

• 모든 차원 $d \geq 3$ 에서 비안치-에그넬 안정성 부등식의 최적 상수 $c_{\text{BE}}$ 는 최소화자에 의해 도달되며, 오랫동안 미해결이었던 문제를 해결한다.
• 엄밀한 부등식 $c_{\text{BE}} < 2 - 2^{\frac{d-2}{d}}$ 가 성립하여, 두 버블 구성이 최소화자 시퀀스일 수 없음을 시사한다.
• 최소화자 존재성은 고전적 소볼레프 경우뿐 아니라 임의의 $s \in (0, d/2)$ 와 $d \geq 2$ 에 대해 분수계 소볼레프 부등식에도 성립하여 더 넓은 범주로 일반화된다.
• 증명은 최소화자 시퀀스가 무한대로 산산이 흩어지거나 두 개의 상호작용하지 않는 버블로 분리되는 것을 방지함으로써 최소화자로의 강한 수렴을 보장한다.
• 스펙트럼 상수 $c_{\text{BE}}^{\text{spec}} = \frac{4}{d+4}$ 가 $c_{\text{BE}}$ 보다 엄밀히 크다는 것이 확인되어, 한 버블 유형의 최소화자도 배제된다.
• 개선된 브레지스-리브 추론과 두 버블 프로파일의 함수형식 행동에 대한 날카운 수렴 추정을 결합하여 최소화자 존재성이 입증된다.