Qualitative stability for a family of trace Sobolev inequalities

기술적 요약: 반공간 상의 트레이스 소볼레프 부등식 군에 대한 정성적 안정성

문제 제기
본 논문은 $n \ge 2$ 및 $p \in (1, n)$인 반공간 $H = \{x \in \mathbb{R}^n : x \cdot e_1 > 0\}$ 상의 1-매개변수 군에 대한 트레이스 소볼레프 부등식의 정성적 안정성을 다룬다. Maggi 와 Neumayer [MN17] 가 확립한 이 부등식들은 함수 $u$의 기울기 $L^p$ 노름을 내부의 $L^{p^*}$ 노름과 경계 $\partial H$ 위의 $L^{p^\sharp}$ 노름과 연관 짓는다. 구체적으로, 고정된 트레이스 매개변수 $T \ge 0$에 대해, 최적 상수 $\Phi_H(T)$는 다음과 같은 변분 문제를 통해 정의된다:
$$\Phi_H(T) = \inf \{ \|\nabla u\|_{L^p(H)} : u \in \mathcal{A}_T \},$$
여기서 $\mathcal{A}_T = \{ u \in \dot{W}^{1,p}(H) : \|u\|_{L^{p^*}(H)} = 1, \|u\|_{L^{p^\sharp}(\partial H)} = T \}$이다.
이 문제의 극값 (최소화자) 은 명시적 프로파일 $U_T$의 특정 확대 및 이동으로 완전히 특징지어진다. 핵심 질문은 안정성이다: 에너지 결손 $\delta_T(u_k) = \|\nabla u_k\|_{L^p}^p - \Phi_H(T)^p \to 0$을 갖는 함수열 $\{u_k\} \subset \mathcal{A}_T$가 주어졌을 때, 해당 수열이 극값의 집합 $\mathcal{M}_T$로 (기울기 노름에서) 수렴하는가?

최근 Fan, Li, Zhang [FLZ26] 에 의해 $p=2$인 경우에 대한 국소적 정량적 안정성이 확립되었으나, 결손의 소멸이 극값까지의 거리 소멸을 함의함을 증명하는 정성적 안정성에 대한 전역적 결과는 부재했다. 이 간극은 국소적 정량적 결과를 전역적 결과로 확장하는 것을 방해했다.

방법론
정성적 안정성의 증명은 집중 - 컴팩트성 원리와 에너지 범함수에 대한 새로운 엄격한 결합 부등식에 의존한다.

1. 집중 - 컴팩트성 분석: 저자는 트레이스 설정에 Lions [Lio85] 의 표준 집중 - 컴팩트성 보조정리를 적용한다. 증명은 모순법으로 진행된다: 결손이 소멸하는 수열이 극값으로 수렴하지 않는다고 가정하면, 해당 수열은 소멸 (정규화에 의해 배제됨) 하거나 두 개의 점근적으로 상호작용하지 않는 프로파일로 분할 (이분) 되어야 한다.
2. 엄격한 결합 부등식 (정리 1.3): 논증의 핵심은 "분할" 시나리오를 배제하는 것이다. 저자는 질량과 트레이스 노름을 두 부분 $(m_1, t_1)$과 $(m_2, t_2)$로 분해하는 임의의 경우에 대해, 분리된 프로파일들의 에너지 합이 결합된 프로파일의 에너지보다 엄격하게 크다는 것을 증명한다:
   $$\Phi_H(T)^p < m_1^p \Phi_H\left(\frac{t_1}{m_1}\right)^p + m_2^p \Phi_H\left(\frac{t_2}{m_2}\right)^p.$$
   이 부등식은 $\mathbb{R}^n$ 상의 고전적 소볼레프 부등식과 달리 상수 $\Phi_H(T)$가 $T$에 비선형적으로 의존하기 때문에 단순한 스케일링 논리로 분할을 배제할 수 없다는 점에서 비자명하다.
3. 질량 수송 논증: 엄격한 결합 부등식을 증명하기 위해, 본 논문은 [MN17] 의 트레이스 부등식에 대한 질량 수송 증명을 활용한다. 저자는 극값 프로파일의 두 개의 널리 분리된 복사본으로 구성된 특정 테스트 함수 $w$를 구성한다. $w$에 연관된 최적 수송 사상 (Brenier 사상) 을 분석함으로써, 저자는 사상의 순환 단조성을 이용한다. 프로파일들의 기하학적 분리는 에너지 결손이 0 에서 일정하게 떨어져 있지 않는 한 수송 사상이 순환 단조성 조건과 양립할 수 없도록 강제한다. 이는 결손에 대한 명확한 하한을 도출하여 엄격한 부등식을 확립한다.

주요 결과

• 정리 1.1 (정성적 안정성): 임의의 $p \in (1, n)$ 및 $T > 0$에 대해, 수열 $\{u_k\} \subset \mathcal{A}_T$가 $\delta_T(u_k) \to 0$을 만족하면, 극값의 집합까지의 거리 $d_T(u_k) \to 0$이다. 이는 최적 상수에 접근하는 유일한 방법이 극값 군에 접근하는 것임을 확인한다.
• 정리 1.3 (엄격한 결합 부등식): 분할된 구성의 에너지와 결합된 에너지를 연관 짓는 엄격한 부등식이 모든 $T > 0$에 대해 증명되었다.
• 계 1.2 ($p=2$에 대한 전역적 정량적 안정성): 새로운 정성적 결과 (정리 1.1) 와 [FLZ26] 의 기존 국소적 정량적 분석을 결합함으로써, 본 논문은 $p=2$인 경우에 대한 전역적 정량적 안정성을 확립한다. 구체적으로, 모든 $u \in \mathcal{A}_T$에 대해 $\delta_T(u) \ge \alpha'_T d_T(u)^2$를 만족하는 상수 $\alpha'_T > 0$이 존재한다.

의의 및 주장
본 논문은 $p=2$인 트레이스 소볼레프 부등식의 전역적 정량적 안정성에 관한 [FLZ26] 에서 제기된 미해결 문제를 해결했다고 주장한다. 저자는 이 결과에 대한 주요 장애물이 정성적 안정성 정리의 부재였으며, 본 논문이 이를 제공했다고 강조한다.

본 작업은 특정 이론적 간극을 메우는 "짧은 논문"으로 제시된다. 저자는 겸손하게 질량 수송 접근법이 강력하지만, 함수가 작은 영역에서의 제어의 퇴행성으로 인해 극값까지의 거리에 대한 직접적인 정량적 추정을 제공하는 데는 어려움이 있음을 지적한다 (다른 작품들에서 등주 부등식에 대해 수행된 바와 같이). 따라서 본 논문은 전역적 정량적 결과를 가능하게 하기 위해 질량 수송을 통해 유도된 정성적 엄격한 결합 부등식에 의존한다.

이 결과들은 최적 상수가 매개변수에 비자명하게 의존하여 표준 동차성 논증이 실패하는 설정에서 함수 부등식의 안정성에 대한 이해를 확장한다. 본 논문은 새로운 응용이나 실험적 제안을 제시하지 않으며, 이러한 특정 부등식의 안정성 특성에 대한 엄밀한 분석에 집중한다.