Sharp quantitative stability for the fractional Sobolev trace inequality

기술 요약: 분수 소볼레프 트레이스 부등식의 예리한 양적 안정성

문제 설정
본 논문은 Einav와 Loss에 의해 원래 확립된 예리한 분수 소볼레프 트레이스 부등식의 양적 안정성을 조사한다. 이 부등식은 $0 \le m < n$ 및 $m/2 < \alpha < n/2$에 대하여, 다음을 만족하는 예리한 상수 $S(n, m, \alpha)$가 존재함을 나타낸다:
$$S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2$$
여기서 $q = \frac{2(n-m)}{n-2\alpha}$이며, $\tau_m$은 하이퍼플레인 $\mathbb{R}^{n-m}$으로의 제한(restriction)을 나타내고, $D^\alpha(\mathbb{R}^n)$은 분수 소볼레프 공간이다. 극값 함수(extremal functions)들은 매니폴드 $M_{n,m,\alpha}$를 형성한다.

저자들은 두 가지 구별된 설정에서 이 부등식의 안정성을 분석한다:

1. 함수적 설정(Functional Setting): 부등식의 결손(deficit)을 바탕으로 함수 $f$와 극값 매니폴드 $M_{n,m,\alpha}$ 사이의 거리를 정량화한다.
2. 임계점 설정(Critical Point Setting): 하프-스페이스 $\mathbb{R}^n_+$ 상에서의 관련 오일러-라그랑주 방정식(Escobar 트레이스 방정식)의 해에 대한 안정성을 분석하며, 특히 해가 "Escobar 버블"들의 중첩에 가까운 경우를 다룬다.

방법론
본 논문은 축소 원리(reduction principles), 스펙트럼 분석, 그리고 프로파일 분해(profile decomposition) 기법의 조합을 사용한다.

• 축소 원리: 함수적 설정에서 저자들은 Einav와 Loss에 의해 확립된 축소 원리(정리 3.3)를 활용한다. 이 원리는 분수 소볼레프 트레이스 부등식을 축소 연산자 $\tau_m$과 표준 분수 소볼레프 부등식의 합성으로 분해한다. 이를 통해 저자들은 트레이스 부등식의 안정성 문제를 표준 분수 소볼레프 부등식(Bianchi-Egnell 유형의 안정성)의 알려진 안정성 결과로 축소할 수 있다.
• 쌍대 스킴(Dual Scheme): 트레이스 부등식의 듀얼(dual)인 노이만 문제에 대한 안정성 추정치를 도출하기 위해, 저자들은 Carlen이 개발한 쌍대 스킴을 적용한다. 이는 관련 범함수들의 르장드르 변환(Legendre transforms)을 분석하고 관련 쌍대 범함수들의 볼록성 성질을 활용하는 것을 포함한다.
• 프로파일 분해: 임계점 설정에서 저자들은 Struwe의 전역 컴팩트성 원리(global compactness principle)를 확장한다. 이들은 "거의" 임계 방정식의 해인 함수들의 질적 및 양적 프로파일 분해를 확립한다. 이는 해를 상호작용하는 Escobar 버블들의 합과 나머지 항으로 분리하는 과정을 포함한다.
• 스펙트럼 갭 및 컨포멀 사상: 단일 버블 케이스에서 안정성 상수의 예리한 상한을 얻기 위해, 저자들은 하프-스페이스 $\mathbb{R}^n_+$와 단위 구 $B^n$ 사이의 컨포멀 사상을 사용한다. 이 변환은 문제의 선형화된 연산자를 구(ball) 상의 Steklov 고유값 문제와 연결한다. Steklov 문제의 스펙트럼을 분석함으로써, 저자들은 정교한 스펙트럼 갭 부등식을 도출한다.
• 3차 확장(Third-Order Expansion): 단일 버블 케이스의 안정성 상수의 상한을 위해, 저자들은 상호작용 항과 매니폴드의 기하학적 구조를 주의 깊게 다루면서 듀얼 노름(dual norm)의 정밀한 3차 확장을 수행한다.

주요 기여 및 결과

1. 예리한 함수적 안정성 추정치:
   저자들은 분수 소볼레프 트레이스 부등식에 대한 예리한 양적 안정성 추정치를 확립한다:
   $$C \inf_{v \in M_{n,m,\alpha}} \|f - v\|_{D^\alpha(\mathbb{R}^n)}^2 \le \|f\|_{D^\alpha(\mathbb{R}^n)}^2 - S(n, m, \alpha) \|\tau_m f\|_{L^q(\mathbb{R}^{n-m})}^2$$
   이들은 지수 2가 예리함을 증명하며, 최적의 안정성 상수 $C_{BE}(n, m, \alpha)$에 대한 명시적인 상한과 하한을 제공한다. 결정적으로, 저자들은 $C_{BE}(n, m, \alpha) = C_{BE}(n-m, 0, \alpha - m/2)$임을 보여줌으로써 트레이스 문제를 표준 분수 소볼레프 문제로 효과적으로 축소한다. 또한 $n-m \ge 2$일 때 안정성 상수의 최소 존재성을 증명한다.

2. 개선된 트레이스 부등식 및 노이만 안정성:
   그래디언트 안정성 결과의 결과물으로서, 저자들은 약한 $L^q$ 노름을 포함하는 나머지 항을 가진 일반적인 도메인(스트립 포함)에서 정의된 함수들에 대한 개선된 소볼레프 임베딩을 도출한다. 나아가, 쌍대 스킴을 사용하여 저자들은 하프-스페이스 상의 노이만 문제에 대한 예리한 사전 안정성(a priori stability) 추정치를 확립하여, 듀얼 부등식의 결손과 노이만 문제의 극값 매니폴로의 거리 사이의 관계를 규명한다.

3. 양적 프로파일 분해:
   임계점 설정에서 저자들은 양적 프로파일 분해 정리를 증명한다. 만약 함수 $u$가 $\nu$개의 약하게 상호작용하는 Escobar 버블들의 합에 가깝다면($H^1$ 노름에서), 이들은 잔차(residual) $\|\Delta u + |u|^{p-1}u\|_{H^{-1}}$에 의해 버블들의 거리 제어된다는 것을 보여준다. 이 결과는 비음수 함수에 대해 성립하며, 고전적인 Yamabe 방정식에 대한 기존 연구들을 확장한다.

4. 안정성 상수의 예리한 상한:
   단일 버블 케이스($\nu=1$)에 대해, 저자들은 최적의 안정성 상수 $CCP(n, 1)$에 대한 엄격한 상한을 도출한다:
   $$CCP(n, 1) < \frac{2}{n+2}$$
   이 결과는 극값 버블의 3차 섭동을 포함하는 특정 테스트 함수를 구성하고 Steklov 고유값 문제로부터 도출된 스펙트럼 갭 부등식을 활용하여 얻어진다.

의의
본 논문은 Escobar 트레이스 부등식 및 분수 소볼레프 부등식에 대한 기존의 안정성 결과들을 확장한다고 주장한다. 축소 원리를 확립함으로써, 저자들은 트레이스 부등식의 안정성 분석을 표준 분수 소볼레프 부등식과 통합한다. 안정성 상수에 대한 명시적인 경계 도출과 (함수적 설정에서의) 최소 존재성 증명은 이들 부등식의 양적 성질에 관한 미해결 질문들을 해결한다.

임계점 설정에서, 이 연구는 Escobar 트레이스 방정식에 대한 최초의 양적 프로파일 분해를 제공하며, 이는 고전적인 Yamabe 방정식에 대해 알려진 결과들을 일반화한다. 단일 버블 케이스에서의 안정성 상수에 대한 엄격한 상한 $2/(n+2)$는 일반적인 추정치를 개선하는 중요한 정밀화이며, 선형화된 연산자의 특정한 스펙트럼적 성질을 강조한다. 저자들은 이러한 양적 결과에 핵심적인 해의 비퇴화성(non-degeneracy)이 Steklov 고유값 문제와의 연결을 통해 확립되었음을 언급하며, 이 연결 고리는 독립적인 관심사가 될 수 있다.