The stability on the Caffarelli-Kohn-Nirenberg and Hardy-type inequalities and beyond

기술 요약: Caffarelli-Kohn-Nirenberg 및 Hardy 유형 부등식의 안정성 및 그 너머

문제 정의
본 논문은 분석학의 두 가지 근본적인 함수 부등식 클래스인 Caffarelli-Kohn-Nirenberg (CKN) 부등식과 다양한 Hardy 유형 부등식의 안정성(stability) 및 정교화(refinement)를 다룬다. 특정 매개변수 범위(예: 고전적 Sobolev 부등식 또는 특정 매개변수 영역의 CKN)에서 이러한 부등식의 최적 상수(sharp constants)와 극값 함수(extremal functions)는 잘 확립되어 있으나, 양적 안정성—부등식이 거의 포화되었을 때 함수가 극값에 얼마나 가까운지를 측정하는 것—은 특히 일반적인 매개변수 및 비 힐베르트 설정($p \neq 2$)에서 복잡한 문제로 남아 있다. 나아가, 본 논문은 알려진 Hardy 부등식의 정교화(약 르베그 노름 또는 로그 항을 포함하는 형태 등)를 가중치가 있는 버전으로 확장하고, 광범위한 관련 부등식들에 대해 명시적인 안정성 상수를 도출하는 것을 목표로 한다.

방법론
본 논문 전반에 걸쳐 사용되는 핵심 방법론적 도구는 단순하면서도 강력한 변환 클래스이다. Horiuchi의 연구에서 영감을 받은 저자들은 $\bar{u}(r\theta) = k^{1/q} u(r^k \theta)$ 형태의 스케일링 변환(여기서 $k$는 $n, p, a, b$에 따라 결정되는 특정 값)을 활용한다. 이 변환은 두 가지 주요 목적을 수행한다:

1. 축소(Reduction): 복잡한 가중치를 가진 가중 부등식을 더 단순하고 가중치가 없는 형태(종종 CKN 부식식을 고전적 Sobolev 부등식이나 표준 Hardy 부등식으로 매핑함)로 축소한다.
2. 전이(Transfer): 더 단순한 사례로부터 알려진 안정성 결과, 극값 분류, 그리고 최적 상수를 가중치가 있는 사례로 전이시킨다.

CKN 부등식의 함수적 설정에 대한 안정성을 위해, 저자들은 이러한 변환을 스펙트럼 간극 추정(spectral gap estimates) 및 컴팩트성 논증(compactness arguments)과 결합한다. 임계점(critical point) 설정에서는 Talenti 버블 주변의 선형 연산자에 대한 정밀한 전개 기법과 스펙트럼 간극 부등식을 사용한다. Hardy 유형 부不等식의 경우, 변환법을 사용하여 알려진 개선된 부등식(예: Hardy-Sobolev, 로그 Hardy, Hardy-Morrey)의 가중 버전들을 유도하고 명시적인 안정성 상수를 확립한다.

주요 기여 및 결과

파트 1: Caffarelli-Kohn-Nirenberg 부등식의 안정성
저자들은 $1 < p < n$, $0 \le a < \frac{n-p}{p}$, $a \le b < a+1$, 그리고 임계 지수 관계가 정의된 전체 매개변수 영역에서 CKN 부등식의 구배 안정성(gradient stability)을 확립한다.

• 함수적 안정성: CKN 부등식의 좌변과 우변 사이의 간극이 극값들의 다양체($M_{p,a,b}$)에 대한 함수의 거리를 제어함을 증명한다.
  • $0 < a < b$인 경우, 최적 지수인 $\max\{2, p\}$를 갖는 추정치를 확립한다.
  • $0 < a = b$인 경우, 일반 함수에 대해 지수 $\max\{4, 2p\}$를 갖는 추정치를 확립하며, 함수가 중심 대칭(centrally symmetric)인 경우 지수가 $\max\{2, p\}$로 개선됨을 언급한다. 저자들은 $a=b$인 경우에도 일반적으로 $\max\{2, p\}$가 성립할 것이라고 추측한다.
• 개선된 Sobolev 임베딩: 구배 안정성을 활용하여, 일반적인 도메인(유한 또는 무한 측량 모두)에서 지지되는 함수들에 대해 약 르베그 노름($L^p_w$)을 포함하는 정교한 Sobolev 유형 임베딩을 유도한다. 이 결과들은 도메인 기하학(예: 주 $p$-Laplacian 고윳값을 통해)에 대한 안정성 상수의 명시적 의존성을 제공한다.
• 안정성 상수의 성질: 논문은 최적 안정성 상수 $K(p, a, b)$의 함수적 성질을 조사한다. 저자들은 매개변수에 대한 상반 연속성(upper semi-continuity)을 증명하고, 서로 다른 매개변수 집합 간의 단조성 관계를 확립한다.
• 임계점 안정성: $p > 2$인 경우, 저자들은 임계점 설정에서의 안정성 결과를 제공한다. 함수가 Talenti 버블들의 합에 가까울 때, 오일러-라그랑주 방정식의 잔차(residual)가 양의 해들의 다양체까지의 거리를 제어함을 보여줌으로써, 대안적 유형(alternative-type)의 추정치를 얻는다.

파트 2: 개선된 Hardy 유형 부등식
두 번째 파트는 다양한 고전적 Hardy 유형 부등식의 가중 버전 및 정교화를 유도하는 데 집중한다.

• Hardy-Sobolev 부등식: 유한 도메인에서의 개선된 Hardy 부등식(원래 Brézis-Vázquez 및 Gazzola 등에 의해 제시된)을 가중 버전으로 확장하여, 명시적인 안정성 상수를 제공하고 극값들을 식별한다.
• 로그 Sobolev 및 Hardy 부등식: 저자들은 가중 $L^p$-로그 Sobolev 부등식과 로그 Hardy 부등식을 유도한다. 이들은 극값(Gaussian-type 함수들)의 완전한 분류를 제공하고, 특히 중심 대칭 함수들에 대한 안정성 추정치를 확립한다.
• Hardy-Morrey 및 보간 부등식: Hölder 정교화와 급수 전개를 갖는 가중 Hardy-Sobolev-Morrey 부등식을 얻는다. 또한, 기울기와 퍼텐셜 항의 비율에 대한 특정 가정 하에서 국소적 개선을 확립함으로써 Hardy-Sobolev 보간 부등식을 가중 설정으로 확장한다.
• 보간된 CKN 부등식: 보간된 CKN 부등식에 대한 안정성 결과를 회복 및 확장하며, Heisenberg-Pauli-Weyl 부등식의 알려진 사례로 환원함으로써 일반적인 매개변수에 대해 명시적인(비록 최적은 아닐 수 있는) 안정성 상수를 제공한다.

의의 및 주장
본 논문은 광범위한 가중 부등식 클래스의 안정성을 분석하기 위한 통합된 프레임워크를 제공한다고 주장한다. 변환법을 활용함으로써, 저자들은 복잡한 가중 문제는 종종 더 단순하고 잘 이해된 사례로 축소될 수 있음을 입증한다.

• 명시적 상수: 논문의 중요한 기여 중 하나는 이전에 가중 설정에서 알려지지 않았거나 암묵적으로만 알려져 있던 다양한 부등식들에 대해 명시적인 안정성 상수를 도출한 것이다.
• 일반화: 이전의 안정성 연구들이 주로 $p=2$ 또는 특정 매개변수 범위에 국한되었던 것과 달리, 이를 전체 매개변수 범위 $1 < p < n$으로 일반화하였다.
• 새로운 통찰: 저자들은 로그 Hardy 부등식의 극값들의 대칭성 깨짐(symmetry breaking) 현상에 대한 새로운 통찰을 제공하며, $p \neq 2$인 경우 CKN 부등식의 임계점 설정에 대한 첫 번째 안정성 결과를 제시한다.
• 겸허함: 저자들은 도출된 안정성 상수가 명시적이기는 하지만, 모든 경우(특히 $b > 0$인 보간된 CKN의 경우)에 최적(sharp)은 아닐 수 있음을 인정한다. 또한, 함수적 설정에서 $a=b>0$인 경우의 안정성 지수는 일반 함수에 대해 $\max\{2, p\}$로 개선될 수 있다는 점을 언급하며, 이는 열린 문제로 남겨두었다(단, 이후 Deng와 Tian의 연구가 $a=b>0$인 경우에 대해 이를 해결했음을 명시함).

요약하자면, 본 논문은 가중 함수 부등식의 안정성과 정교화를 유도하기 위한 견고한 방법론을 확립하며, 명시적인 상수를 제공하고 알려진 결과의 범위를 일반적인 매개로 및 도메인으로 확장한다.