[논문 리뷰] Moser-Trudinger and Beckner-Onofri's inequalities on the CR sphere

Thomas Branson, Luigi Fontana외 1명|arXiv (Cornell University)|2007. 12. 23.

Holomorphic and Operator Theory참고 문헌 40인용 수 10

한 줄 요약

이 논문은 하이젠베르크 군과 CR-구면에서의 동반 연산자와 부분라플라시안의 거듭제곱에 기반하여, CR-구면에서의 날카른 모저-트루더거 및 베크너-오노프리 부등식을 수립한다. 하이젠베르크 군과 CR-구면에서의 등급을 유지하는 동반 연산자와 등급을 유지하는 등급 불변성의 성질을 이용하여, 베크너-오노프리 부등식의 최적 상수를 증명함으로써, 날카른 로그형 하르디-리틀우드-소볼레프 부등식을 도출한다.

ABSTRACT

We derive sharp Moser-Trudinger inequalities on the CR sphere. The first type is in the Adams form, for powers of the sublaplacian and for general spectrally defined operators on the space of CR-pluriharmonic functions. We will then obtain the sharp Beckner-Onofri inequality for CR-pluriharmonic functions on the sphere, and, as a consequence, a sharp logarithmic Hardy-Littlewood-Sobolev inequality in the form given by Carlen and Loss.

연구 동기 및 목표

• CR-구면에서 부분라플라시안의 거듭제곱에 대한 날카른 애드암스 유형 부등식을 유도하는 것.
• CR-구면에서 CR-다형조화 함수에 대한 날카른 베크너-오노프리 부등식을 수립하는 것.
• 베크너-오노프리 결과를 통해 날카른 로그형 하르디-리틀우드-소볼레프 부등식을 도출하는 것.
• 기존의 유클리드 및 리만 기하학적 소볼레프 부등식을 CR-구면의 부분리만 기하학적 설정으로 확장하는 것.
• 하이젠베르크 군에서의 등급 불변성과 스펙트럼 이론을 이용하여 극값 함수와 최적 상수를 특성화하는 것.

제안 방법

• 카이리 변환을 통한 하이젠베르크 군과 CR-구면 사이의 동반 연산자를 활용한다.
• 구면 조화함수와 중심 조화함수를 사용하여, CR-구면에서 부분라플라시안과 그 거듭제수의 스펙트럼 이론을 적용한다.
• 조건부 동반 연산자를 구성하고, 등급 변환에 대한 불변성을 증명한다.
• CR-구면에서의 연산자에 대한 $L^2$-추정에서의 커mutator 제어를 위해 데이비드-줄렌의 $T1$-정리를 활용한다.
• Riesz 핵과 $S^{2n+1}$에서의 체적 정규화를 사용하여 동반 연산자의 기본 해를 도출한다.
• 등급 불변성과 쌍대성을 적용하여, 날카른 모저-트루더거 부등식과 로그형 하르디-리틀우드-소볼레프 부등식을 연결한다.

실험 결과

연구 질문

• RQ1 CR-구면에서 CR-다형조화 함수에 대한 모저-트루더거 부등식의 최적 상수는 무엇인가?
• RQ2 일반적인 스펙트럼 연산자에 대해, 부분라플라시안에 대한 애드암스 유형 부등식은 어떻게 CR-구면으로 확장될 수 있는가?
• RQ3 CR-구면에서의 베크너-오노프리 부등식의 정확한 형태는 무엇이며, 로그형 하르디-리틀우드-소볼레프 부등식과의 관계는 어떻게 되는가?
• RQ4 하이젠베르크 군과 CR-구면에서의 동반 연산자는 날카른 기하학적 부등식 유도에 어떻게 기여하는가?
• RQ5 등급 불변성은 이러한 부등식에서 극값 함수와 최적 상수를 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 CR-구면에서 CR-다형조화 함수에 대한 날카른 모저-트루더거 부등식을 수립하였으며, 지수 클래스 임bedding의 최적 상수 $\alpha_d$ 를 포함한다.
• 논문은 CR-구면에서 날카른 베크너-오노프리 부등식을 증명하였으며, 이는 카르렌과 로스의 형태로 표현된 날카른 로그형 하르디-리틀우드-소볼레프 부등식과 동치이다.
• 부등식 $\int_{S^{2n+1}} \exp\big[\alpha_d \big( \frac{|F|}{\|B_d F\|_p} \big)^{p'} \big] \leq c_0$ 의 최적 상수는 최적임을 입증하고 명시적으로 결정되었다.
• 동반 연산자 $\mathcal{A}_d$ 의 기본 해는 $c_d^{-1} d(\zeta,\eta)^{d-Q}$ 로 유도되었으며, $c_d$ 는 감마 함수와 관련되어 있다.
• 동반 연산자 $\mathcal{A}_d$ 는 고유값 $\lambda_j(d)\lambda_k(d)$ 를 가지며, $c_d \mathcal{B}_d$ 와 역관계에 있으며, 등급 불변성을 유지한다.
• 증명은 $L^2$-추정에서 $T1$-정리를 통한 커mutator 제어에 기반하여, CR-구면이 동차 공간으로서의 연산자 유계성을 보장한다.