[논문 리뷰] Hardy-Sobolev-Maz'ya inequalities for higher order derivatives on half spaces

Guozhen Lu, Qiaohua Yang|arXiv (Cornell University)|2017. 03. 23.

Advanced Harmonic Analysis Research참고 문헌 27인용 수 8

한 줄 요약

이 논문은 하복공간에서 고차 도함수에 대한 날카로운 하디-소볼레프-마즈야 부등식을 초구형 및 대칭 공간에서의 푸리에 분석을 통해 수립한다. 초구형 공간에서 새로운 하디-리틀우드-소볼레프 부등식을 증명하고, 3차원 경우의 날카로운 상수에 대한 대체 증명을 제공하며, 차원 5와 이중라플라스 연산자에 대해 하디-소볼레프-마즈야 부등식의 날카로운 상수가 고전적 소볼레프 상수와 일치함을 보여준다.

ABSTRACT

By using, among other things, the Fourier analysis techniques on hyperbolic and symmetric spaces, we establish the Hardy-Sobolev-Maz'ya inequalities for higher order derivatives on half spaces. The proof relies on a Hardy-Littlewood-Sobolev inequality on hyperbolic spaces which is of its independent interest. We also give an alternative proof of Benguria, Frank and Loss' work concerning the sharp constant in the Hardy-Sobolev-Maz'ya inequality in the three dimensional upper half space. Finally, we show the sharp constant in the Hardy-Sobolev-Maz'ya inequality for bi-Laplacian in the upper half space of dimension five coincides with the Sobolev constant.

연구 동기 및 목표

• 상부 하복공간에서 고차 도함수에 대한 하디-소볼레프-마즈야 부등식을 확장하기.
• 핵심 기술적 도구로 초구형 공간에서 새로운 하디-리틀우드-소볼레프 부등식을 수립하기.
• 5차원에서 이중라플라스 연산자에 대한 하디-소볼레프-마즈야 부등식의 날카로운 상수가 고전적 소볼레프 상수와 일치함을 증명하기.
• 초구형 공간 기법을 사용하여 3차원 하디-소볼레프-마즈야 부등식의 날카로운 상수에 대한 대체 증명을 제공하기.
• 등각 불변성과 스펙트럼 이론을 통해 하복공간 모델과 파오카레 구 모델 간의 부등식을 연결하기.

제안 방법

• 초구형 공간에서의 푸리에 분석 및 반경 함수에 대한 플랑커렐 공식을 활용한다.
• 파오카레 구 모델에서 GJMS 및 편안츠 연산자를 적용하여 고차 도함수 유형의 소볼레프 부등식을 유도한다.
• 초구형 거리와 모비우스 변환을 포함하는 새로운 하드리-리틀우드-소볼레프 부등식을 초구형 공간에 수립한다.
• 초구형 공간에서 라플라스-벨트라미 연산자의 스펙트럼 갭을 이용하여 날카로운 하디 유형 부등식을 유도한다.
• 초구형 공간의 등각 불변성과 하복공간 모델과 구 모델 간의 등가성을 기반으로 한다.
• 5차원에서 연산자 $(-\Delta_{\mathbb{H}} - 4)(-\Delta_{\mathbb{H}} - 3)$의 역을 적용하여 소볼레프 상수와 하디-소볼레프-마즈야 상수를 비교한다.

실험 결과

연구 질문

• RQ1 하디-소볼레프-마즈야 부등식은 상부 하복공간에서 고차 도함수로 확장될 수 있는가?
• RQ2 5차원에서 이중라플라스 연산자에 대한 하디-소볼레프-마즈야 부등식의 날카로운 상수는 무엇인가?
• RQ3 상부 하복공간에서 고차 도함수에 대한 하디-소볼레프-마즈야 부등식의 날카로운 상수가 고전적 소볼레프 상수와 같은가?
• RQ4 초구형 공간에서의 하디-리틀우드-소볼레프 부등식을 사용하여 고차 연산자에 대한 날카로운 소볼레프 유형 부등식을 도출할 수 있는가?
• RQ5 GJMS 연산자와 등각 라플라스 연산자는 고차 도함수에 대한 하디-소볼레프-마즈야 부등식의 날카로운 상수와 어떻게 관련이 있는가?

주요 결과

• 논문은 초구형 거리와 모비우스 변환을 포함하는 새로운 하드리-리틀우드-소볼레프 부등식을 초구형 공간에 수립하였으며, 이는 별개의 관심사이다.
• 차원 $n=5$ 및 $k=2$일 때, 이중라플라스 연산자에 대한 하디-소볼레프-마즈야 부등식의 날카로운 상수는 고전적 소볼레프 상수 $S_{5,2}$와 일치한다.
• 3차원에서 라플라스 연산자에 대한 하디-소볼레프-마즈야 부등식의 날카로운 상수가 초구형 공간 기법을 사용한 대체 증명을 통해 해당 소볼레프 상수와 동일함을 보였다.
• 부등식 $\int_{\mathbb{B}^5} (P_2 u) u \, dV - \frac{9}{16} \int_{\mathbb{B}^5} u^2 \, dV \geq S_{5,2} \left( \int_{\mathbb{B}^5} |u|^{10/3} \, dV \right)^{3/5}$ 는 날카로운 상수 $S_{5,2}$ 에서 등호가 성립한다.
• 5차원에서 연산자 $[(-\Delta_{\mathbb{H}} - 4)(-\Delta_{\mathbb{H}} - 3)]^{-1}$ 가 명시적으로 계산되었으며, $\frac{1}{2\sinh(\rho/2)\cosh^2(\rho/2)}$ 를 포함하는 핵심 추정치를 도출하였다.
• 하복공간 모델과 구 모델 간의 등가성을 활용하여 초구형 설정에서의 부등식을 유클리드 하복공간으로 이전하였으며, 이중라플라스 연산자 케이스에서 상수의 날카로움을 확인하였다.