[논문 리뷰] On the constants of the Bohnenblust-Hille inequality and Hardy--Littlewood inequalities

Gustavo Ara Ujo, Daniel Pellegrino|arXiv (Cornell University)|2014. 07. 26.

Advanced Banach Space Theory참고 문헌 22인용 수 7

한 줄 요약

이 논문은 일반화된 Bohnenblust-Hille 부등식의 상수에 대해 기존의 최고 추정치를 향상시키고, 이를 바탕으로 Hardy-Littlewood 부등식에 대해 더 날카로운 경계를 도출한다. 놀랍게도 복소수 스칼라와 충분히 큰 $ p $ 에 대해, Hardy-Littlewood 부등식의 최적 상수는 $ p $ 와 무관한 다항식보다 더 느린 성장률을 보이는 표현으로 균일하게 유계임을 보였다. 이는 두 부등식의 최적 상수가 같을 가능성을 시사하며, 그 상수가 $ p $ 에 대해 독립적인지에 대한 질문을 제기한다.

ABSTRACT

In this paper, among other results, we improve the best known estimates for the constants of the generalized Bohnenblust-Hille inequality. These enhancements are then used to improve the best known constants of the Hardy--Littlewood inequality; this inequality asserts that for a positive integer $m\geq2$ with $2m\leq p\leq\infty$ and $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$ there exists a constant $C_{m,p}^{\mathbb{K}}\geq1$ such that, for all continuous $m$--linear forms $T:\ell_{p}^{n} imes\cdots imes\ell_{p}^{n} ightarrow\mathbb{K}$, and all positive integers $n$,% \[ \left( \sum_{j_{1},...,j_{m}=1}^{n}\left\vert T(e_{j_{1}},...,e_{j_{m}% }) ight\vert ^{\frac{2mp}{mp+p-2m}} ight) ^{\frac{mp+p-2m}{2mp}}\leq C_{m,p}^{\mathbb{K}}\left\Vert T ight\Vert , \] and the exponent $\frac{2mp}{mp+p-2m}$ is sharp. In particular, we show that for $p > 2m^{3}-4m^{2}+2m$ the optimal constants satisfying the above inequality are dominated by the best known estimates for the constants of the $m$-linear Bohnenblust--Hille inequality. More precisely if $γ$ denotes the Euler--Mascheroni constant, considering the case of complex scalars as an illustration, we show that% \[ C_{m,p}^{\mathbb{C}}\leq\prod\limits_{j=2}^{m}Γ\left( 2-\frac{1}% {j} ight) ^{\frac{j}{2-2j}}

연구 동기 및 목표

• 일반화된 Bohnenblust-Hille 부등식의 상수에 대한 기존 최고 추정치를 향상시키기.
• 이러한 향상된 추정치를 활용하여 Hardy-Littlewood 부등식의 상수에 대해 더 날카로운 경계를 유도하기.
• 특히 복소수 케이스에서 충분히 큰 $ p $ 에 대해 Hardy-Littlewood 부등식의 최적 상수가 $ p $ 에 독립적인지 조사하기.
• Hardy-Littlewood 부등식과 Bohnenblust-Hille 부등식의 최적 상수가 일치하는지 탐색하기.

제안 방법

• 저자들은 다중 지수를 가진 다중선형 Hardy-Littlewood 부등식과 고전적 Bohnenblust-Hille 부등식을 바탕으로 한 보간 기법을 사용한다.
• 복소수 보간과 다중선형 Hölder 부등식을 적용하여 혼합 노름 추정치의 경계를 도출한다.
• 이 방법은 $ p $-의존적인 상수를 가지는 $ (1,2,...,2) $ 지수 튜플과 고전적 Bohnenblust-Hille 지수 $ \left(\frac{2m}{m+1}, \dots, \frac{2m}{m+1}\right) $ 사이에서 보간을 수행한다.
• 복소수 스칼라의 경우 Steinhaus 변수에 대한 Khinchine 부등식을 사용하여 추정치를 정밀화하며, $ \sqrt{2} $ 를 $ \frac{2}{\sqrt{\pi}} $ 로 대체한다.
• 지수 튜플의 볼록 결합을 분석하고, [1]에서 제시된 다중선형 보간 기법을 적용하여 $ p $ 전반에 걸쳐 균일한 경계를 도출한다.
• 특히 $ \epsilon \to 0 $ 으로의 극한을 취함으로써, $ p > 2m^3 - 4m^2 + 2m $ 인 경우 $ p $ 와 무관한 균일한 경계를 유도한다.

실험 결과

연구 질문

• RQ1 모든 $ m $ 과 $ \mathbb{K} $ 에 대해, Hardy-Littlewood 부등식과 Bohnenblust-Hille 부등식의 최적 상수가 동일한가?
• RQ2 충분히 큰 $ p $ 에 대해, Hardy-Littlewood 부등식의 최적 상수 $ C_{m,p}^{\mathbb{K}} $ 는 $ p $ 에 독립적인가?
• RQ3 Bohnenblust-Hille 상수의 다항식보다 더 느린 성장률(부분다항식 성장)이 $ p $-독립적 경계를 갖는 Hardy-Littlewood 부등식으로까지 확장될 수 있는가?
• RQ4 복소수 스칼라에 대한 신규 경계에서 $ p $ 가 포함되지 않는 것은 두 부등식 간의 더 깊은 구조적 동등성의 징후인가?

주요 결과

• 복소수 스칼라와 $ p > 2m^3 - 4m^2 + 2m $ 인 경우, 최적 상수 $ C_{m,p}^{\mathbb{C}} $ 는 $ \prod_{j=2}^{m} \Gamma\left(2 - \frac{1}{j}\right)^{\frac{j}{2-2j}} $ 로 균일하게 유계이며, 이는 $ p $ 와 무관하다.
• 이 경계는 이전의 $ p $-의존적 추정치보다 더 날카롭고, 오일러-마스케로니 상수 $ \gamma $ 를 사용할 때 $ m^{(1 - \gamma)/2} $ 보다 渐近적으로 작다.
• 이 경계 $ \prod_{j=2}^{m} \Gamma\left(2 - \frac{1}{j}\right)^{\frac{j}{2-2j}} $ 는 복소수 Bohnenblust-Hille 상수에 대한 기존 최고 추정치와 정확히 일치한다.
• 저자들은 큰 $ p $ 에서 Hardy-Littlewood 상수가 Bohnenblust-Hille 상수에 의해 지배됨을 보여주며, 이는 두 상수의 최적 값이 같을 가능성을 시사한다.
• 이 결과는 놀랍다. 원래 부등식의 지수가 $ p $ 에 의존함에도 불구하고, 새로운 경계는 $ p $ 와 전혀 관련이 없기 때문이다.
• 분석 결과, 특히 복소수 케이스에서 큰 $ p $ 에서 Hardy-Littlewood 부등식의 최적 상수가 $ p $ 에 대해 독립적일 수 있음을 시사한다.