A strong-form stability for a class of $L^p$ Caffarelli-Kohn-Nirenberg interpolation inequality

기술 요약: 일련의 $L^p$ Caffarelli-Kohn-Nirenberg 보간 부등식에 대한 강형 안정성(Strong-Form Stability)

문제 정의
본 논문은 Caffarelli-Kohn-Nirenberg (CKN) 보간 부등식의 안정성을 조사한다. 핵심적인 질문은 함수 $u$의 "결손(deficit)"(부등식의 좌변과 우변의 차이)이 $u$와 최적해(minimizer) 집합 사이의 거리를 제어할 수 있는지 여부이다. 저자들은 이 결손이 단순히 약한 의미에서나 특정 사례에서만 그러한 것이 아니라, 부등식의 항들과 관련된 강한 노름(strong norms)에서의 거리를 유계할 수 있는지를 다룬다.

이 연구의 중요한 예비 결과는 $\|\cdot\|_{H^p_b}$ 또는 $\|\cdot\|_{L^p_a}$ 각각의 노름에 대해서는 안정성을 확립할 수 없다는 점이다. 저자들은 임의의 비음수 상수들에 대해, 결손은 작지만 각각의 개별 노름에서의 최적해까지의 거리는 여전히 큰 함수들이 존재함을 증명한다. 따라서 본 연구는 이러한 노름들의 곱 또는 가중 합을 포함하는 "강형(strong-form)" 안정성을 확립하는 데 집중한다.

방법론
저자들은 변분 분석(variational analysis), 최적해의 스펙트럼 성질, 그리고 날카로운 벡터 부등식(sharp vector inequalities)을 결합하여 사용한다.

1. 변분 분석 및 직교성:

   • 본 논문은 결손이 충분히 작다는 조건 하에서, 함수 $u$로부터 최적해 집합 $M_{p,a,b}$까지의 하한 거리(infimum distance)의 도달 가능성을 확립한다 (Proposition 2.1).
   • $p=2$인 경우, 저자들은 하한 거리를 달성하는 최적해 $v$가 $H^2_b$, $L^2_a$, 그리고 $L^2_c$ 노름에 대해 특정한 직교 조건을 만족한다는 사실을 활용한다. 이러한 조건들은 피타고라스 정리와 유사한 항등식 $\|u-v\|^2 = \|u\|^2 - \|v\|^2$를 직접 유도할 수 있게 하며, 이는 안정성 추정의 핵심이 된다.
   • $p > 2$인 경우, 직교 조건은 더 복잡하다. 저자들은 쌍대성 결합(duality pairing)을 포함하는 극대화 문제를 통해 정의된 특정한 최적해 부분집합 $P_u$를 도입한다 (Definition 3.3). 저자들은 결손이 작은 함수들에 대해 극대값이 존재하며 (Proposition 3.4), 필요한 직교 조건을 만족함(Proposition 3.6)을 증명한다.

2. 날카로운 벡터 부등식:

   • $p > 2$인 경우의 비선형성을 처리하기 위해, 저자들은 $\mathbb{R}^n$ 내의 벡터들에 대한 날카로운 부등식(Lemma 3.2 from [17])을 활용한다. 이 부등식들은 $|y+z|^p$에 대해 $|z|^p$에 비례하는 항을 포함하는 하한을 제공함으로써, 저자들이 결손에 의해 거리 항 $\|u-v\|$를 제어할 수 있게 한다.

3. 변환 및 축소:

   • 저자들은 문제를 정규화하기 위해 스케일링 변환을 사용한다. $p > 2$인 경우, 일반적인 CKN 파라미터 $(a, b)$를 정준적인 케이스 $(a, b) = (-\frac{1}{p-1}, 0)$로 축소하는 특정한 변수 변환을 사용하여, 구조적 성질을 보존하면서 분석을 단순화한다.

4. 2차 부등식:

   • 2차 CKN 부등식의 경우, 저자들은 Chen과 Tang [7]에 의해 유도된 항등식(Theorem 1.6)을 활용한다. 이 항등식은 라플라시안(Laplacian)과 그래디언트(gradient)를 포함하는 비음수 항들의 합으로 결손을 표현한다. 구형 함수(radial functions)로 제한함으로써, 저자들은 가중 $L^p$-푸앵카레 부등식(Lemma 4.1)을 활용하여 약한 안정성을 확립하고, 이를 1차 케이스에서 개발된 방법들을 사용하여 강한 안정성으로 격상시킨다.

주요 결과

• 개별 노름 안정성의 불가능성 (Proposition 1.7): 저자들은 결손이 $H^p_b$ 노름이나 $L^p_a$ 노름 중 하나를 개별적으로 제어하는 보편적인 상수 $C$가 존재하지 않음을 엄밀히 증명한다. 이는 안정성 추정에 있어 결합된 노름 또는 곱 형태를 사용하는 것이 필수적임을 시사한다.

• $p=2$에 대한 강형 안정성 (Theorem 1.8): $p=2$인 경우, 파라미터 $a$와 $b$에 대한 특정 조건 하에서 저자들은 다음을 확립한다:
  $$\frac{\inf_{v \in M_{2,a,b}} \|u - v\|_{H^2_b} \|u - v\|_{L^2_a}}{\|u\|_{H^2_b} \|u\|_{L^2_a}} \leq C \delta_{2,a,b}(u)$$
  지수 $t=1$은 최적(sharp)임이 밝혀졌다.

• $p>2$에 대한 강형 안정성 (Theorem 1.9): $p > 2$인 경우, 저자들은 다른 지수를 가진 유사한 결과를 증명한다:
  $$\frac{\inf_{v \in M_{p,a,b}} \|u - v\|_{H^p_b} \|u - v\|_{L^p_a}^{p-1}}{\|u\|_{H^p_b} \|u\|_{L^p_a}^{p-1}} \leq C \delta_{p,a,b}(u)^{1/p}$$
  이를 위해 저자들은 더 강한 결손 $\tilde{\delta}_{p,a,b}(u)$ (Equation 1.11)를 도입하고, 이것이 노름의 가중 합에 대한 거리를 제어함을 증명한다 (Theorem 1.10).

• 2차 CKN 안정성 (Theorems 1.11 & 1.12): 본 논문은 라플라시안을 포함하는 2차 CKN 부등식으로 이 결과를 확장한다. 일반적인 케이스는 미해결 상태로 남아 있으나, 저자들은 구형 함수에 대해 약한 안정성과 강형 안정성 결과를 모두 확립한다. 구형 함수에 대한 강형 결과는 1차 케이스와 유사하며, 결손이 $\|\Delta(u-v)\|_{L^p_b}$와 $\|u-v\|_{H^p_a}$의 관점에서 거리를 제어한다.

의의 및 주장
본 논문은 보간 항($\theta \neq 1$)이 존재하고 파라미터가 0이 아닌 광범위한 CKN 부등식 클래스에 대해 최초의 강형 안정성 결과를 제공한다고 주장한다.

• "개별 노름" 문제의 해결: 본 연구는 안정성이 노름의 곱 또는 가중 합의 형태로 공식화되어야 함을 명확히 하여, 개별 노름의 안정성이 성립할 수 있다는 가정을 바로잡는다.
• 최적성(Sharpness): 저자들은 $p=2$일 때 지수 $t=1$이 최적임을 입증하며, 이는 결손에 대한 선형 의존성을 개선할 수 없음을 의미한다.
• 방법론적 진보: $P_u$를 통해 $p>2$를 위한 특정한 직교 조건을 구축함으로써, 저자들은 표준적인 변분 기법을 적용하기 어려운 비이차 형식(non-quadratic functionals)의 어려움을 극복한다.
• 2차로의 확장: 2차 CKN 부식에 대한 결과, 특히 구형 함수에 대한 결과는 더 높은 차수의 가중 소볼레프 유형 부등식의 안정성을 이해하는 데 있어 중요한 진전이며, 이는 1차 케이스에 비해 덜 탐구되었던 주제이다.

본 논문은 일반적인 비구형 2차 부등식의 경우 여전히 도전적인 과제로 남아 있으나, 확립된 방법론이 가중 보간 부등식의 안정성을 분석하는 강력한 틀을 제공한다고 결론짓는다.