Quantitative stability for the Trudinger-Moser inequality

기술적 요약: 트루딩거-모저 부등식의 정량적 안정성

문제 제기
본 논문은 $\mathbb{R}^2$ 의 매끄럽고 유계인 영역 $\Omega$ 에 대한 트루딩거 - 모저 (Trudinger–Moser) 부등식의 정량적 안정성을 조사합니다. 고전적인 소볼레프 (Sobolev) 매장 (embedding) 은 임계 지수 $q=n$ 에서 실패하지만, 트루딩거 - 모저 부등식은 이를 대체하여 $W^{1,n}_0(\Omega)$ 의 함수들이 지수적 적분가능성을 가짐을 주장합니다. 구체적으로 $n=2$ 일 때, 함수
$$E_{\alpha, \Omega}(u) = \int_\Omega e^{\alpha u^2} dx$$
는 $\|\nabla u\|_{L^2(\Omega)} \leq 1$ 인 경우 $0 \leq \alpha \leq 4\pi$ 일 때에만 유계입니다. 극한 함수들 (최적화 함수들) 의 집합 $M_\alpha(\Omega)$ 이 공집합이 아닌 것으로 알려져 있으나, 단위 원판의 경우조차도 그 정확한 해석적 형태는 해결되지 않았습니다.

해결된 핵심 문제는 부등식에서의 '결손 (deficit)'—즉, 상한 $TM(\alpha, \Omega)$ 과 함수값 $E_{\alpha, \Omega}(u)$ 사이의 차이—이 함수 $u$ 와 최적화 함수 집합 $M_\alpha(\Omega)$ 사이의 거리를 제어하는지 여부입니다. 저자들은 다음과 같은 형태의 정량적 안정성 추정을 확립하고자 합니다:
$$\text{def}_{\alpha, \Omega}(u) \gtrsim \text{dist}_{\alpha, \Omega}(u)^2,$$
여기서 거리는 $W^{1,2}_0$ 노름 (구체적으로 기울기의 $L^2$ 노름) 으로 측정됩니다.

방법론
증명은 최적화 함수 주변의 선형화 연산자에 대한 스펙트럼 분석과 위배 시퀀스의 점근적 거동을 포함하는 모순 논증에 의존합니다.

1. 스펙트럼 갭 분석: 저자들은 최적화 함수 $u^*$ 와 관련된 두 가지 주요 고유값 문제를 정의합니다:

   • 선형화 문제 $(P_{\alpha, \Omega})$: $-\Delta \phi = \lambda (1 + 2\alpha (u^*)^2)e^{\alpha (u^*)^2} \phi$.
   • 비선형 트루딩거 - 모저 문제 $(TM_{\alpha, \Omega})$: $-\Delta v = \Lambda e^{\alpha (u^*)^2} v$.
     $\lambda_1(\alpha, \Omega)$ 와 $\Lambda_1(\alpha, \Omega)$ 를 각각의 첫 번째 고유값이라 합시다. 중요한 단계는 $\Lambda_1(\alpha, \Omega)$ 가 선형화 문제의 첫 번째와 두 번째 고유값 사이에 엄격히 위치하거나, 대칭적인 경우 첫 번째 비방사형 고유값보다 엄격히 아래에 위치하는 스펙트럼 갭을 확립하는 것입니다.

2. 모순 전략: 아임계 (subcritical) 경우의 증명은 모순을 통해 진행됩니다. 안정성 추정이 실패한다고 가정하면, 최적화 함수 집합에서 멀리 떨어진 채로 상한에 접근하는 함수 시퀀스가 존재합니다. 컴팩트성 (비탈리 정리와 집중 - 컴팩트성을 통해) 에 의해 이 시퀀스는 최적화 함수 $u^*$ 로 수렴합니다. 정규화된 편차들은 점근적 오일러 - 라그랑주 방정식을 만족하며, 선형화 고유값 문제를 해결해야 하는 극한 함수로 수렴합니다. 스펙트럼 갭의 존재는 이 극한이 불가능하게 만듭니다 (이는 접공간에 직교하는 부호 결정 고유함수를 의미하기 때문) 으로, 이를 통해 안정성 추정이 증명됩니다.

3. 구에서 공으로의 확장: 트루딩거 - 모저 함수는 소볼레프 함수와 달리 동차성이 없으므로, 저자들은 먼저 단위 구 $S^1$ 에서 ($\|\nabla u\|_{L^2}=1$) 안정성을 확립한 후, 방사형 재스케일링 하에서 함수의 단조성을 이용하여 닫힌 단위 공 $B_1$ 로 확장합니다.

4. 횡단성을 통한 일반성: 비퇴화 (nondegenerate) 경우를 다루기 위해 저자들은 사드 - 스몰 (Sard–Smale) 횡단성 논증을 사용합니다. 영역을 미분동형사상을 통해 매개화하고 오일러 - 라그랑주 방정식의 확장된 매핑을 분석함으로써, 비퇴화성 (헤세 행렬이 접공간에서 강제적임) 이 매개변수 $(\alpha, \Omega)$ 의 일반적 집합에서 성립함을 보입니다.

주요 기여 및 결과

본 논문은 결손에 의한 최적화 함수까지의 거리의 2 차 제어와 관련하여 세 가지 주요 정리를 확립합니다:

• 정리 1 (작은 아임계 경우): 임의의 매끄러운 유계 영역 $\Omega$ 에 대해, 모든 $\alpha \in (0, \alpha_0)$ 에 대해 안정성 추정이 성립하는 임계값 $\alpha_0 > 0$ 이 존재합니다. 이 결과는 $\alpha \to 0$ 일 때 선형화 문제의 고유값들이 라플라시안의 첫 번째 디리클레 고유값으로 수렴하여 스펙트럼 갭을 생성한다는 사실에 의존합니다.
• 정리 2 (비퇴화 아임계 경우): 모든 최적화 함수가 비퇴화 (즉, 2 차 변분이 접공간에서 강제적임) 일 때, 모든 $\alpha \in (0, 4\pi)$ 에 대해 안정성 추정이 성립합니다. 저자들은 또한 이러한 비퇴화성이 매개변수 $(\alpha, \Omega)$ 의 열린 조밀 집합에 대해 성립하는 일반적 성질임을 추가로 증명합니다.
• 정리 3 (대칭적 임계 경우): 단위 원판 $D$ 와 전체 임계 범위 $\alpha \in (0, 4\pi]$ 에 대해 안정성 추정이 성립합니다. 이 결과는 작은 크기 가정을 요구하지 않고 임계 지수 $\alpha = 4\pi$ 를 포함하므로 중요합니다. 증명은 원판의 회전 대칭성을 이용하여 선형화 연산자를 각도 푸리에 모드로 분해합니다. 원심력 항 $r^{-2}$ 에 의해 도입된 첫 번째 비방사형 고유값과 방사형 고유값 사이에 엄격한 스펙트럼 갭이 존재함이 보여지며, 이는 모든 방향에서의 강제성을 보장합니다.

의의 및 주장
본 논문은 극한 함수의 정확한 형태가 알려지지 않은 일반적인 설정에서 트루딩거 - 모저 부등식에 대한 최초의 정량적 안정성 추정을 제공합니다. 최적화 함수 집합이 명시적으로 알려진 (종종 등각 변환을 포함하는) 소볼레프나 야마베 (Yamabe) 와 같은 부등식에 대한 이전의 안정성 결과와 달리, 트루딩거 - 모저 극한 함수들은 완전히 특징지어지지 않았습니다. 따라서 저자들은 최적화 함수까지의 거리에 대한 명시적 계산에 의존할 수 없었습니다.

대신 저자들은 증명의 핵심 메커니즘으로 작용하는 새로운 스펙트럼 갭 부등식을 도입했습니다. 이 갭은 극한 함수에 대한 명시적 지식을 필요로 하지 않고 선형화 연산자의 스펙트럼 성질에 의존하여 증명을 가능하게 합니다. 저자들은 스펙트럼 갭 결과 자체가 독립적인 관심을 가질 수 있다고 지적합니다. 이 연구는 소볼레프 부등식에 대해 비안키와 에그넬 (Bianchi and Egnell) 이 시작한 정량적 안정성 프로그램을 임계적이고, 비동차적이며, 기하학적으로 복잡한 설정으로 확장하여, 대칭 영역에서 임계 지수에서도 2 차 안정성이 성립함을 보여줍니다.