[논문 리뷰] Sharp constants in several inequalities on the Heisenberg group

Rupert L. Frank, Élliott H. Lieb|arXiv (Cornell University)|2010. 09. 07.

Nonlinear Partial Differential Equations참고 문헌 31인용 수 11

한 줄 요약

이 논문은 히젠베르크 군 $\mathbb{H}^n$ 상에서 모든 $\lambda \in (0, Q)$에 대해 하디-리틀우드-소볼레프(Hardy-Littlewood-Sobolev, HLS) 부등식의 날카운 상수를 확립한다. 여기서 $Q = 2n+2$이며, 함수 $H(u) = \left((1+|z|^2)^2 + t^2\right)^{-(2Q-\lambda)/4}$는 이동과 확대를 제외한 유일한 최적화자임을 증명한다. 이 방법은 제2변분과 대칭성 감소를 활용한 새로운 변분 접근법에 기반하며, 재배열을 사용하지 않는 증명을 제공하여, $\mathbb{H}^n$ 상에서 소볼레프, 온오프리, 로그-소볼레프 부등식의 날카운 상수로까지 확장된다. 주요 기여는 이전까지 $\lambda = Q-2$의 특수한 경우에만 알려져 있던 히젠베르크 군 상의 날카운 HLS 부등식에 대한 완전한 해결이다.

ABSTRACT

We derive the sharp constants for the inequalities on the Heisenberg group H^n whose analogues on Euclidean space R^n are the well known Hardy-Littlewood-Sobolev inequalities. Only one special case had been known previously, due to Jerison-Lee more than twenty years ago. From these inequalities we obtain the sharp constants for their duals, which are the Sobolev inequalities for the Laplacian and conformally invariant fractional Laplacians. By considering limiting cases of these inequalities sharp constants for the analogues of the Onofri and log-Sobolev inequalities on H^n are obtained. The methodology is completely different from that used to obtain the R^n inequalities and can be (and has been) used to give a new, rearrangement free, proof of the HLS inequalities.

연구 동기 및 목표

• 모든 $\lambda \in (0, Q)$에 대해 히젠베르크 군 $\mathbb{H}^n$ 상에서 하디-리틀우드-소볼레프 부등식의 날카운 상수를 결정하는 오랫동안 열려 있던 문제를 해결한다.
• 이동과 확대를 제외한 유일성에 따라 최적화자 $H(u) = \left((1+|z|^2)^2 + t^2\right)^{-(2Q-\lambda)/4}$를 확립한다.
• 하나의 하위라플라시안과 등각적으로 불변한 분수라플라시안을 포함한 이중 부등식의 날카운 상수로 확장한다.
• HLS 부등식의 극한 경우를 통해 $\mathbb{H}^n$ 상에서 온오프리 및 로그-소볼레프 부등식의 날카운 상수를 도출한다.
• 동일한 방법론 프레임워크를 사용하여 $\mathbb{R}^N$ 상의 고전적 HLS 부등식에 대한 재배열을 피한 새로운 증명을 제공한다.

제안 방법

• 제2변분 부등식에 기반한 변분 접근법을 사용하여 히젠베르크 군 HLS 부등식의 최적화자를 특성화한다.
• 이중화된 부등식과 확장된 파투 보조정리를 적용하여 최적화자의 존재성을 증명하며, 대칭 감소 재배열을 피한다.
• 확대와 카이리 변환에 의해 정의된 구면 $\mathbb{S}^{2n+1}$ 상의 변환군을 활용하여, 변분 문제를 단순화하는 중심질량 조건을 도입한다.
• 문헌 [MüRiSt]의 승수 정리를 적용하여 커널 $|u^{-1}v|^{-\lambda}$의 진짜 제곱근을 추정한다. 이는 유클리드 경우와 달리 $|u^{-1}v|^{-(Q+\lambda)/2}$와 같지 않다.
• 히젠베르크 군의 등각 불변성과 카이리 변환을 이용하여 문제를 $\mathbb{H}^n$에서 $\mathbb{S}^{2n+1}$로 매핑하고, 여기서 대칭성과 정규화 조건을 적용할 수 있도록 한다.
• 변환군 $\gamma_{\delta,\xi}$에 대한 불변성 검증을 통해 후보 최적화자 $H(u)$가 필수적인 오일러-라그랑주 방정식을 만족함을 확인한다. 이 변환군은 부등식을 유지하며 정규화를 가능하게 한다.

실험 결과

연구 질문

• RQ1 모든 $\lambda \in (0, Q)$에 대해 히젠베르크 군 $\mathbb{H}^n$ 상에서 하디-리틀우드-소볼레프 부등식의 날카운 상수는 무엇인가?
• RQ2 함수 $H(u) = \left((1+|z|^2)^2 + t^2\right)^{-(2Q-\lambda)/4}$는 히젠베르크 군 HLS 부등식의 최적화자로서 이동과 확대를 제외한 유일한가?
• RQ3 HLS 상수의 날카운 상수로부터 $\mathbb{H}^n$ 상에서 소볼레프, 온오프리, 로그-소볼레프 부등식의 날카운 상수는 어떻게 도출할 수 있는가?
• RQ4 동일한 방법론을 사용하여 $\mathbb{R}^N$ 상의 고전적 HLS 부등식에 대한 재배열을 피한 증명을 구성할 수 있는가?
• RQ5 중심질량 조건은 구면 $\mathbb{S}^{2n+1}$ 상에서 변분 문제를 단순화하는 데 어떤 역할을 하는가?

주요 결과

• 히젠베르크 군 HLS 부등식의 날카운 상수 $D_{n,\lambda}$는 모든 $\lambda \in (0, Q)$에 대해 명시적으로 계산되었으며, 이는 이전에 제리슨과 리가 $\lambda = Q-2$에 대해 얻은 결과를 일반화한다.
• 함수 $H(u) = \left((1+|z|^2)^2 + t^2\right)^{-(2Q-\lambda)/4}$는 $\mathbb{H}^n$ 상에서 왼쪽 이동과 확대를 제외한 유일한 최적화자이다.
• 하나의 하위라플라시안과 등각적으로 불변한 분수라플라시안을 포함한 이중 소볼레프 부등식의 날카운 상수는 날카운 HLS 상수로부터 도출된다.
• 온오프리 및 로그-소볼레프 부등식의 날카운 상수는 각각 $\lambda \to 0$ 및 $\lambda \to Q$일 때 HLS 부등식의 극한 경우로 얻어진다.
• 이 방법은 $\mathbb{R}^N$ 상에서 고전적 하디-리틀우드-소볼레프 부등식에 대한 재배열을 피한 새로운 증명을 제공하며, 대칭 감소 재배열 없이도 동일한 날카운 상수를 확립한다.
• $\mathbb{S}^{2n+1}$ 상의 변환 $\gamma_{\delta,\xi}$는 중심질량 조건을 도입할 수 있게 하여, 변분 문제를 대칭적인 설정으로 줄이고 최적화자가 상수로 식별되도록 한다. 이는 $H(u)$의 형태로 뒤로 올려진다.