[논문 리뷰] Extremals for Logarithmic Hardy-Littlewood-Sobolev inequalities on compact manifolds

Kate Okikiolu|ArXiv.org|2006. 03. 30.

Nonlinear Partial Differential Equations참고 문헌 32인용 수 6

한 줄 요약

이 논문은 정규화된 역 등각 공변 연산자의 트레이스를 분석하여, 컴acts 리만다이만다이만에서 로그 하디-리틀우드-소볼레프(log-HLS) 부등식에 대한 극값 조건을 확립한다. 라플라스-벨트라미 또는 GJMS 연산자의 역의 트레이스가 등각류에서 최소가 되는 조건은 로빈 질량이 일정할 때, 또는 트레이스가 구면의 경우보다 작지 않다면 구면과 동일한 로빈 질량을 가질 때 성립함을 증명한다.

ABSTRACT

For a closed connected surface with a metric g, we consider the regularized trace of the inverse of the Laplace-Beltrami operator. We minimize this on the class of smooth metrics conformal to g having the same area, and show that the infimum is less than or equal to the value for the round sphere of the same area, and if it is equal, then it is attained. In fact we prove the analogs of these results for general dimensional compact manifolds. Explicitly, the results are logarithmic Hardy-Littlewood-Sobolev inequalites. By duality they give analogs of the Onofri-Beckner theorem.

연구 동기 및 목표

• 콤팩트 다각형에서 등각 공변 연산자의 역의 정규화된 트레이스의 최소화자들을 특성화하기 위해.
• 구의 경우를 초월하여 일반적인 콤팩트 리만다이만다이만에서 날카로운 log-HLS 부등식과 베크너 유형의 부등식을 확장하기 위해.
• 스펙트럼 불변량(트레이스 및 제타-정규화된 트레이스)과 기하학적 극값 사이의 관계를 명확히 하기 위해.
• 등각류에서 트레이스 함수의 최소화자가 일정한 로빈 질량을 가진 메트릭에 의해 달성되는 조건을 규명하기 위해.
• 등각 기하학과 스펙트럼 이론을 통해 고차원 콤팩트 다각형으로 온프리 및 베크너 부등식을 일반화하기 위해.

제안 방법

• 로그 싱귤라리티를 제거한 후 그린 함수 $ G(x,x) $ 의 유한부분으로 로빈 질량 $ m(x) $ 을 정의한다.
• 정규화된 트레이스 $ \operatorname{trace}\Delta_g^{-1} = \int_M m\,dV $ 를 도입하며, 이는 제타-정규화된 트레이스와 상수배를 제외하고 동일한 스펙트럼 불변량이다.
• 등급 $ n $ 의 등각 공변 연산자 $ A $ 의 등각 불변성을 이용하여, $ A_{F^{2/n}g} = F^{-1}A_g $ 를 만족함으로써 등각 변화에 따른 트레이스 행동을 분석한다.
• 고정된 부피를 가진 등각류에서 $ \operatorname{trace}\Delta_g^{-1} $ 의 최소화를 위해 변분 방법을 적용한다.
• 쌍대성에 의해 log-HLS 부등식을 트레이스 함수와 연결하며, 항등식 $ \operatorname{trace}\square_{F^{2/n}g}^{-1} - \operatorname{trace}\square_g^{-1} = \frac{2}{n!}\int F\log F\,d\sigma - \int F\square^{-1}F\,d\sigma $ 를 사용한다.
• 핵의 점근 전개 $ K(A^{-s},p,p) $ 를 통해 정규화된 트레이스와 제타-정규화된 트레이스 사이의 이4차를 계산하며, 그 차이는 $ n $ 과 $ \Gamma $-함수에 따라 결정되는 상수임을 보인다.

실험 결과

연구 질문

• RQ1 콤팩트 다각형에서 등각류에 대해 역 라플라스-벨트라미 또는 GJMS 연산자의 정규화된 트레이스가 최소가 되는 조건은 무엇인가?
• RQ2 등각류에서 트레이스 함수의 최소화자가 일정한 로빈 질량을 가진 메트릭에 의해 달성되는 경우는 언제인가?
• RQ3 역 등각 공변 연산자의 트레이스는 날카로운 로그 하디-리틀우드-소볼레프 부등식과 어떻게 관련이 있는가?
• RQ4 등각 공변 연산자 $ A $ 에 대해 $ A^{-1} $ 의 정규화된 트레이스와 제타-정규화된 트레이스 사이의 정확한 차이는 무엇인가?
• RQ5 스펙트럼 및 등각 불변량을 사용하여 베크너 및 온프리 부등식을 고차원 콤팩트 다각형으로 일반화할 수 있는가?

주요 결과

• 만약 어떤 $ g $ 가 등각류 $ \Gamma $ 에 속해 있고 $ \operatorname{trace}\Delta_g^{-1} < \operatorname{trace}\Delta_{S^n,V}^{-1} $ 를 만족한다면, $ \Gamma $ 에서 $ \operatorname{trace}\Delta^{-1} $ 의 최소값은 일정한 로빈 질량을 가진 메트릭에 의해 달성된다.
• 그렇지 않다면 최소값은 정확히 $ \operatorname{trace}\Delta_{S^n,V}^{-1} $ 와 같으며, 이는 구면 메트릭에 의해 달성된다.
• 정규화된 트레이스와 제타-정규화된 트레이스 사이의 차이는 유니버설 상수이다: $ \operatorname{trace}A^{-1} - \operatorname{trace}_\zeta A^{-1} = C(s)\big|_{\text{f.p.}}^{s=1} \cdot V $, 여기서 $ C(s) $ 는 $ \Gamma $-함수와 $ \Gamma'(1) $ 을 포함한다.
• 핵 정규화의 이4차 $ c(p) $ 는 $ C(s)\big|_{\text{f.p.}}^{s=1} = \frac{1}{(4\pi)^{n/2}\Gamma(n/2)}\left(2\log 2 + \Gamma'(1) + \frac{\Gamma'(n/2)}{\Gamma(n/2)}\right) $ 로 주어진다.
• 날카로운 log-HLS 부등식 (1.1) 은 구면 메트릭이 고정된 부피를 가진 모든 등각 메트릭 중에서 $ \operatorname{trace}\square^{-1} $ 를 최소화한다는 진술과 동치이다.
• 베크너 부등식 (1.2) 는 log-HLS 부등식과 쌍대적이며, $ \square $ 의 행렬식에 대한 변분 원리로 해석되며, 고차원 연산자로 일반화된 폴리아코-레이-신저 공식을 일반화한다.