[논문 리뷰] A geometric technique to generate lower estimates for the constants in the Bohnenblust--Hille inequalities

Gustavo A. Muñoz-Fernández, Daniel Pellegrino외 2명|arXiv (Cornell University)|2012. 03. 05.

Advanced Banach Space Theory참고 문헌 19인용 수 4

한 줄 요약

이 논문은 $β^\infty_n$ 위의 다항식 공간에서 단위 구의 구조와 Krein–Milman 정리를 조합한 기하적 방법을 제안하여 Bohnenblust–Hille 상수 $D_{\mathbb{R},m}$ 및 $D_{\mathbb{C},m}$ 의 개선된 하한을 도출한다. 이 방법을 통해 $D_{\mathbb{C},2} \geq 1.1066$ 를 확립하였으며, 이는 이전의 하한 추정치에 비해 뚜렷이 향상된 결과로, 고차수의 경우 다항식 단위 구에 대한 더 깊은 기하적 통찰이 필요함을 시사한다.

ABSTRACT

The Bohnenblust--Hille (polynomial and multilinear) inequalities were proved in 1931 in order to solve Bohr's absolute convergence problem on Dirichlet series. Since then these inequalities have found applications in various fields of analysis and analytic number theory. The control of the constants involved is crucial for applications, as it became evident in a recent outstanding paper of Defant, Frerick, Ortega-Cerdá, Ouna\"ıes and Seip published in 2011. The present work is devoted to obtain lower estimates for the constants appearing in the Bohnenblust--Hille polynomial inequality and some of its variants. The technique that we introduce for this task is a combination of the Krein--Milman Theorem with a description of the geometry of the unit ball of polynomial spaces on $\ell^2_\infty$.

연구 동기 및 목표

• 다중선형 및 다항형 연산자 부등식에서 Bohnenblust–Hille 상수 $D_{\mathbb{R},m}$ 와 $D_{\mathbb{C},m}$ 의 하한 추정치를 향상시키기.
• 디리클레 급수 및 Bohr 문제와 관련된 응용에서 날것의 상수의 중요성을 다루기.
• $\mathcal{P}(^m\ell^\infty_n)$ 의 단위 구의 구조를 활용하여 비자명한 하한을 도출하는 기하적 기법을 개발하기.
• $\ell^\infty_n$ 공간에서 다항식 단위 구의 기하학에 대한 향후 연구를 촉진하기, 특히 복소수 및 고차수의 경우에 초점 맞추기.

제안 방법

• 이 방법은 $\mathcal{P}(^m\ell^\infty_n)$ 의 단위 구에 Krein–Milman 정리를 적용하여 극단점의 성질을 이용해 하한을 유도한다.
• 다항식의 연산자 노름 $\|P\|$ 와 계수의 $\ell^{2m/(m+1)}$-노름을 명시적으로 표현하는 기법을 사용한다.
• 특히 $m=2$ 의 경우, 실수 계수 다항식 $P_2(z_1,z_2) = a z_1^2 + b z_2^2 + c z_1 z_2$ 에서 $ab < 0$ 이고 $c$ 에 대한 제약 조건을 두어 $D_{\mathbb{C},2}$ 를 정의하는 비율을 최대화한다.
• 이 기법은 최대 모듈러스 원리와 [AronKlimek] 에서 알려진 노름 공식을 활용하여 $\|P_2\|$ 를 다양한 경우에 계산한다.
• 고차수의 경우, 단위 구 내의 극한 구성요소를 분석함으로써 일반화되며, 복소수의 경우 $m \geq 3$ 에서는 효율성이 떨어진다.
• 수치적으로 $D_{\mathbb{R},m}$ 의 하한을 $m=12000$ 까지 계산하여 기하급수적 성장을 보였으며, 기저는 약 $1.495$ 에 수렴한다.

실험 결과

연구 질문

• RQ1 다음과 같은 $m \geq 2$ 에 대해 Bohnenblust–Hille 상수 $D_{\mathbb{R},m}$ 과 $D_{\mathbb{C},m}$ 의 최적 하한 추정치는 무엇인가?
• RQ2 $\mathcal{P}(^m\ell^\infty^n)$ 의 단위 구의 기하적 성질을 어떻게 활용하여 이러한 상수에 대한 비자명한 하한을 도출할 수 있는가?
• RQ3 현재의 방법이 복소수 $m$-동차 다항식에 대해 $m \geq 3$ 에서 덜 효과적인 이유는 무엇인가?
• RQ4 $D_{\mathbb{R},m}$ 의 성장률이 $C^m$ 으로 아래에서 유계이면서 $C > 1.49$ 를 만족하는가?
• RQ5 다중선형 및 다항형 부등식에서 날것의 상수를 결정하는 데 단위 구의 기하학적 성질이 수행하는 역할은 무엇인가?

주요 결과

• 논문은 $D_{\mathbb{C},2}$ 에 대해 새로운 하한을 확립한다: $D_{\mathbb{C},2} \geq 1.1066$, 이는 이전 추정치에 비해 뚜렷이 향상된 결과이다.
• 실수 다항식의 경우, $D_{\mathbb{R},8} \geq (1.4013)^8$, $D_{\mathbb{R},200} \geq (1.4851)^{200}$, $D_{\mathbb{R},12000} \geq (1.4950)^{12000}$ 을 도출하였으며, 이는 기저가 약 $1.495$ 에 수렴하는 기하급수적 성장을 보인다.
• $D_{\mathbb{R},m}$ 의 하한은 급격히 증가한다: $D_{\mathbb{R},40} \geq 3.7444 \times 10^6$, $D_{\mathbb{R},200} \geq 2.2443 \times 10^{34}$, $D_{\mathbb{R},12000} \geq (1.4950)^{12000}$.
• 이 방법은 원래 Bohnenblust–Hille 상수에 대한 상한 추정치가 특히 작은 $m$ 에서 매우 날것이 아니었음을 드러내며, $m=10$ 의 경우 기존 상한 $80.28$ 에서 $2.3$ 이하로 낮아짐을 보여준다.
• 이 기법은 단위 구 기하학에 대한 전체 지식이 없더라도 실수 $m$-동차 다항식에 대해서는 효과적이지만, 복소수의 경우 $m \geq 3$ 에서는 그렇지 않다.
• 저자들은 복소수의 경우 및 고차수의 경우에 상수의 상한을 향상시키기 위해 $\mathcal{P}(^m\ell^\infty_n)$ 의 단위 구에 대한 더 깊은 기하학적 이해가 필수적이라고 결론 내린다.