[논문 리뷰] Sharp Riesz-Fej\'er inequality for harmonic Hardy spaces

Petar Melentijević, Vladimir Božin|arXiv (Cornell University)|2019. 11. 15.

Advanced Harmonic Analysis Research참고 문헌 11인용 수 7

한 줄 요약

이 논문은 모든 $ 1 < p < \infty $ 에 대해 단위 원판 $ \mathbb{D} $ 위의 조화 하드비 공간 $ h^p(\mathbb{D}) $ 에 대한 날카로운 리에즈-페지어 부등식을 확립하며, 최적 상수가 $ \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $ 임을 증명한다. 증명은 파incare 확장 연산자에 대한 슈르 테스트를 활용하며, 볼록성과 베타 함수를 포함한 적분 항등식을 통해 날카로운 $ L^p $ 추정을 도출하기 위해 철저히 선택된 가중치 함수 $ h(z) = \Re(1 - z^2)^{-1/p} $ 를 사용한다.

ABSTRACT

We prove sharp version of Riesz-Fej\'er inequality for functions in harmonic Hardy space $h^p(\mathbb{D})$ on the unit disk $\mathbb{D}$, for $p>1,$ thus extending the result from \cite{KPK} and resolving the posed conjecture.

연구 동기 및 목표

• 조화 하드비 공간 $ h^p(\mathbb{D}) $ 에서 리에즈-페지어 부등식의 최적 상수에 대한 Kayumov 등의 추측을 해결하기 위해.
• $ p \in (1,2] $ 에서 알려진 날카로운 부등식을 전체 범위 $ 1 < p < \infty $ 로 확장하기 위해.
• 모든 $ p > 1 $ 에 대해 상수 $ \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $ 가 최적이 되도록 보장하기 위해, 이는 추측을 확인하는 데 기여한다.

제안 방법

• Poisson 확장 연산자 $ T $ 에 대한 Schur 테스트의 적용으로, $ L^p(\partial\mathbb{D}) $ 에서 $ L^p([-1,1]) $ 로의 사상이며, 핵 함수 $ K(r, \theta) = \frac{1 - r^2}{1 - 2r\cos\theta + r^2} $ 를 갖는다.
• 경계 값이 단위 원 위에서 명시적으로 계산 가능한 테스트 함수 $ h(z) = \Re(1 - z^2)^{-1/p} $ 의 구성.
• Schur 조건 $ T^*((Th)^{p-1}) \leq C \cdot h^{p-1} $ 가 거의 모든 곳에서 성립함을 확인하며, 여기서 $ C = \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $ 이며, 이를 일변수 적분으로 환원한다.
• 치환 $ \frac{1+r}{1-r} = y \cot(\theta/2) $ 를 통한 적분 변환으로, 삼각함수 및 초함수 항등식을 활용한 분석에 적합한 형태로 변형한다.
• 결과로 얻어진 함수 $ F(\theta) $ 가 $ [0, \pi] $ 에서 볼록임을 증명하며, $ F(0) = F(\pi) = \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $ 이므로 최댓값이 끝점에서 도달됨을 시사한다.
• 베타 함수 항등식을 사용하여 $ F(0) $ 를 평가하며, 등식 $ F(0) = \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $ 를 확인한다.

실험 결과

연구 질문

• RQ1 모든 $ 1 < p < \infty $ 에 대해 조화 하드비 공간 $ h^p(\mathbb{D}) $ 에서 리에즈-페지어 부등식의 상수 $ \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $ 가 날카로운가?
• RQ2 Schur 테스트는 Poisson 확장 연산자에 효과적으로 적용되어 조화 함수에 대한 날카로운 $ L^p $ 추정을 도출할 수 있는가?
• RQ3 변환된 적분에서 유도된 함수 $ F(\theta) $ 는 끝점 $ \theta = 0 $ 과 $ \theta = \pi $ 에서 최댓값을 도달하는가, 그리고 그 최댓값은 $ \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $ 와 일치하는가?
• RQ4 이 맥락에서 Schur 테스트에 적합한 테스트 함수로 $ h(z) = \Re(1 - z^2)^{-1/p} $ 를 사용할 수 있으며, 이는 정확한 최적 상수를 도출하는가?
• RQ5 함수 $ F(\theta) $ 의 볼록성은 두 번째 도함수 분석을 통해 엄밀하게 증명될 수 있으며, 이는 원하는 부등식을 유도하는가?

주요 결과

• 모든 $ 1 < p < \infty $ 에 대해 조화 하드비 공간 $ h^p(\mathbb{D}) $ 에 대한 날카로운 리에츠-페지어 부등식이 성립하며, 최적 상수는 $ \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $ 이며, Kayumov 등의 추측을 해결한다.
• 치환 후 정규화된 적분을 나타내는 함수 $ F(\theta) $ 는 $ [0, \pi] $ 에서 볼록이며, 최댓값은 $ \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $ 로서 $ \theta = 0 $ 과 $ \theta = \pi $ 에서 도달된다.
• 베타 함수 항등식 $ B(a,b) = \int_0^{\pi/2} \sin^{2a-1}x \cos^{2b-1}x \, dx $ 를 사용하여 $ F(0) $ 는 정확히 $ \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $ 로 계산된다.
• 구성된 가중치 $ h(z) = \Re(1 - z^2)^{-1/p} $ 에 대해 Schur 조건이 등호로 성립함을 확인하여 상수의 날카로움이 확인된다.
• Poisson 확장 연산자의 $ L^p $ 연산자 노름은 정확히 $ \left( \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) \right)^{1/p} = \frac{1}{2^{1/p}} \cos\left(\frac{\pi}{2p}\right) $ 로서, 최적 상수와 일치한다.
• 하드비 노름의 회전 대칭성 덕분에 분석을 $ s = 0 $ 으로 제한할 수 있으며, 이는 일반성을 잃지 않고 증명을 단순화한다.