[논문 리뷰] The sharp constant in the Hardy-Sobolev-Maz'ya inequality in the three dimensional upper half-space

Rafael D. Benguria, Rupert L. Frank외 1명|ArXiv.org|2007. 05. 25.

Nonlinear Partial Differential Equations참고 문헌 5인용 수 3

한 줄 요약

이 논문은 3차원 상부 반공간에서 하디-소볼레프-마즈야 부등식의 날카운 상수는 고전적 소볼레프 상수 $ S_3 = 3(\pi/2)^{4/3} $ 와 동일하다는 것을 입증한다. 이는 하드리-리틀우드-소볼레프 부등식과 연결되는 쌍대성 원리를 통해 이루어지며, 이로 인해 비영함수에 대해서는 항상 부등식이 엄밀하게 성립함을 보여, 이전까지 알려져 있지 않았고 $ n \geq 4 $ 경우와 다를 바 있는 3차원에서의 날카운 상수 문제를 해결한다.

ABSTRACT

It is shown that the sharp constant in the Hardy-Sobolev-Maz'ya inequality on the three dimensional upper half space is given by the Sobolev constant. This is achieved by a duality argument relating the problem to a Hardy-Littlewood-Sobolev type inequality whose sharp constant is determined as well.

연구 동기 및 목표

• 3차원 상부 반공간 $ \mathbb{H}^3 $ 에서 하드리-소볼레프-마즈야 부등식의 날카운 상수를 규명하는 것. 이 상수는 고차원에서의 진전에도 불구하고 오랫동안 알려져 있지 않았다.
• 3차원에서 이 부등식의 날카운 상수와 고전적 소볼레프 상수 사이의 괴리 문제를 해결하는 것.
• 비영함수에 대해서 항상 부등식이 엄밀하게 성립함을 입증함으로써, 이 경우에 비영이 아닌 최소화자가 존재하지 않음을 보이는 것.

제안 방법

• 등각 변환을 통해 $ \mathbb{H}^3 $ 에서의 하드리-소볼레프-마즈야 부등식을 단위 구면에서 하드리-리틀우드-소볼레프 유형의 부등식과 연결하는 쌍대성 원리를 사용한다.
• 구면 투영을 통해 초구형면 $ \mathbb{P}^3 $ 로 문제를 변환함으로써, 함수형이 모비우스 변환에 대해 불변이 되도록 한다.
• 결과적으로 유도된 부등식의 날카운 상수는 등각 불변 연산자 $ (-\Delta - \frac{1}{4y^2})^{-\alpha/2} $ 의 맥락에서 리브의 하드리-리틀우드-소볼레프 부등식에 대한 날카운 상수를 활용하여 결정된다.
• 핵 함수 $ F(A) $ 의 渐近적 추정치를 활용하여 연산자 노름을 제어하고 날카운성을 입증한다. 이 핵 함수는 일반화된 초함수적 적분으로부터 유도된다.
• 경쟁 대칭성의 방법과 파투의 보조정리에 대한 수정 항을 사용하여 관련 변분 문제에서 최대화자의 존재를 보여준다.
• 핵심 식은 $ |(f,g)|^2 \leq C \cdot (f, Q^{\alpha/2}f) \|g\|_p^2 $ 인 쌍대성 항등식으로, $ n=3 $, $ \alpha=2 $ 일 때 날카운 상수를 이끌어낸다.

실험 결과

연구 질문

• RQ1 3차원 상부 반공간 $ \mathbb{H}^3 $ 에서 하드리-소볼레프-마즈야 부등식의 날카운 상수는 무엇인가?
• RQ2 이 경우의 날카운 상수가 고전적 소볼레프 상수 $ S_3 $ 와 일치하는가?
• RQ3 왜 날카운 상수가 3차원에서는 도달되지 않으며, 고차원($ n \geq 4 $)에서는 도달되는가?
• RQ4 문제의 등각 불변성이 날카운 상수를 결정하는 데 어떻게 기여하는가?
• RQ5 하드리-소볼레프-마즈야 부등식과 하드리-리틀우드-소볼레프 부등식 사이의 쌍대성 접근법이 다른 차원에서 날카운 상수를 유도하는 데 사용될 수 있는가?

주요 결과

• 하드리-소볼레프-마즈야 부등식이 정의된 $ \mathbb{H}^3 $ 에서의 날카운 상수는 정확히 고전적 소볼레프 상수 $ S_3 = 3(\pi/2)^{4/3} $ 와 일치하며, 3차원에서의 열린 문제를 해결한다.
• 비영함수에 대해서 항상 부등식이 엄밀하게 성립하므로, 비영이 아닌 최소화자가 존재하지 않으며, 이는 $ n \geq 4 $ 의 경우와는 대조된다.
• 연도 $ (-\Delta - \frac{1}{4y^2})^{-1} $ 에 대한 관련 하드리-리틀우드-소볼레프 부등식의 날카운 상수는 결정되었으며, $ 2^{-2} \pi^{-3/2} \frac{\Gamma(\frac{3-2}{2})}{\Gamma(1)} C(3,2) $ 로 표현되며, $ C(3,2) $ 는 명시적으로 기술되어 있다.
• 그린 함수의 적분 표현으로부터 유도된 핵 함수 $ F(A) $ 는 $ \beta > 1/2 $ 에서 단조 증가함을 보이며, $ A \to \infty $ 일 때 유한한 극한을 갖는다. 이는 연산자 노름을 유계화하는 데 핵심적이다.
• $ \alpha = 2 $, $ n=3 $, $ p = 6 $ 일 때 $ (-\Delta - \frac{1}{4y^2})^{-\alpha/2} $ 의 $ L^p $ 유계성에 대한 날카운 상수가 유도되었으며, 이는 부등식의 날카운성을 확인한다.
• 결과는 볼록 영역에 대한 날카운 상수가 반공간의 경우에 도달될 것으로 추측되었으며, 본 논문은 이 경우를 명시적으로 $ n=3 $ 에서 검증한다.