[논문 리뷰] The asymptotic growth of the constants in the Bohnenblust-Hille inequality is optimal

Diogo Diniz, Gustavo A. Muñoz-Fernández외 2명|arXiv (Cornell University)|2011. 08. 07.

Advanced Banach Space Theory참고 문헌 9인용 수 3

한 줄 요약

이 논문은 보헨블루스트–힐레 부등식의 최적 상수들이 점 渐차적으로 가장 느린 가능한 비율로 증가함을 입증하며, 차수의 증가에 따라 연속된 상수들의 비율이 1에 수렴함을 보여준다. 하향적 지수적 성장보다 더 느린 성장률을 보이는 상수의 가족을 구성함으로써, 저자들은 이전에 알려진 최선의 추정치—예를 들어 $2^{(m-1)/2}$나 $(2/ackslash!\sqrt{\pi})^{m-1}$와 같은 형태로 증가하는 것들—이 장기적으로는 최적이 아님을 증명한다.

ABSTRACT

We provide (for both the real and complex settings) a family of constants, $% (C_{m})_{m\in \mathbb{N}}$, enjoying the Bohnenblust--Hille inequality and such that $\displaystyle\lim_{m ightarrow \infty}\frac{C_{m}}{C_{m-1}}=1$, i.e., their asymptotic growth is the best possible. As a consequence, we also show that the optimal constants, $(K_{m})_{m\in \mathbb{N}}$, in the Bohnenblust--Hille inequality have the best possible asymptotic behavior. Besides its intrinsic mathematical interest and potential applications to different areas, the importance of this result also lies in the fact that all previous estimates and related results for the last 80 years (such as, for instance, the multilinear version of the famous Grothendieck Theorem for absolutely summing operators) always present constants $C_{m}$'s growing at an exponential rate of certain power of $m$.

연구 동기 및 목표

• 보헨블루스트–힐레 부등식의 상수들에 대한 최적 점 渐차적 행동을 규명하는 데 오랫동안 미해결된 문제를 해결하기 위해.
• 이러한 상수들에 대한 이전에 알려진 모든 추정치들이 지수적 또는 초다항적 성장률을 보이며 너무 빠르게 증가함을 보여주기 위해.
• 보헨블루스트–힐레 부등식을 만족하는 상수의 가족을 구성하여, 그 성장률이 점 渐차적으로 최적이 되도록, 즉 $\lim_{m\to\infty} C_m / C_{m-1} = 1$ 가 되도록 하기 위해.
• 부등식의 최적 상수 $K_m$ 도 이 최소 점 渐차적 성장률을 가져야 하며, 이는 그 최적성의 확인을 위해.
• 보헨블루스트–힐레 부등식이 기본 도구로 사용되는 함수해석학 및 조화해석학 분야에서 상수에 대한 날카로운 경계를 확립함으로써 간극을 메우기 위해.

제안 방법

• 저자들은 다중선형 형식의 구조와 그 노름의 점 渐차적 성질에서 유도된 점 渐차적 항등식을 사용하여, 보헨블루스트–힐레 부등식을 만족하는 재귀적 상수 가족 $(C_m)$ 을 정의한다.
• 비율 $D_n = C_{n+1}/C_n$ 을 분석하고, $C_{2n}$ 과 $C_{2n+1}$ 이 $C_n$ 과 $C_{n+1}$ 에 대해 어떻게 점 渐차적으로 행동하는지에 기반한 재귀적 부등식과 경계를 사용하여, 이 비율이 1로 수렴함을 증명한다.
• 핵심 항등식들인 $C_{2n} \sim \left(\frac{e^{1 - \frac{1}{2}\gamma}}{\sqrt{2}}\right) C_n$ 과 $C_{2n+1} \sim \left(\frac{e^{1 - \frac{1}{2}\gamma}}{\sqrt{2}}\right) (C_n)^{n/(2n+1)} (C_{n+1})^{(n+1)/(2n+1)}$ 은 고차수 상수들을 저차수 상수들과 연결하는 데 사용된다.
• 상한에 기반한 재귀적 추론을 적용한다: 만약 큰 $n$ 에 대해 $D_n < K$ 이면, $D_n < K^{5/8}$ 이며, 이를 반복하면 $D_n < C^{2^{-s}}$ 가 되고, $s \to \infty$ 일 때 $D_n \to 1$ 이 된다.
• 증명은 $(C_m)$ 이 비감소적이며 $C_{2n}/C_n$ 이 유계임을 이용하여, 수열 $D_n$ 이 잘 정의되고 수렴함을 보장한다.

실험 결과

연구 질문

• RQ1 보헨블루스트–힐레 부등식의 상수들에 대한 최적 점 渐차적 성장률은 무엇인가?
• RQ2 이러한 상수들의 이전에 알려진 지수적 성장률은 향후 개선이 가능한가?
• RQ3 연속 상수들의 비율이 1로 수렴하도록 보헨블루스트–힐레 부등식을 만족하는 상수의 가족을 구성하는 것이 가능한가?
• RQ4 부등식의 최적 상수 $K_m$ 이 반드시 최적 가능한 구성 상수들과 같은 점 渐차적 행동을 가져야 하는가?
• RQ5 다중선형 형식의 재귀적 구조는 부등식의 상수 성장률에 어떤 영향을 미치는가?

주요 결과

• 저자들은 보헨블루스트–힐레 부등식을 만족하는 상수 가족 $(C_m)$ 을 구성하여 $\lim_{m \to \infty} \frac{C_m}{C_{m-1}} = 1$ 이 되도록 함으로써, 점 渐차적 성장률이 최적임을 입증한다.
• 이 구성은 부등식의 최적 상수 $K_m$ 도 $\lim_{m \to \infty} \frac{K_m}{K_{m-1}} = 1$ 을 만족해야 하며, 이는 그 점 渐차적 최적성의 확인을 의미한다.
• 이 결과는 함수해석학에서 오랫동안 미해결이었던 문제를 해결하며, 이전 추정치—예를 들어 $C_m = 2^{(m-1)/2}$ 또는 $C_m = (2/\sqrt{\pi})^{m-1}$ — 가 너무 빠르게 증가함을 보여준다.
• 증명은 비율 $D_n = C_{n+1}/C_n$ 이 1로 수렴함을 보이며, 임의의 상한 $K$ 가 $K^{5/8}$ 로 반복적으로 감소함을 보여주고, 이를 더 반복하면 $K^{2^{-s}}$ 가 되며, 이는 $s \to \infty$ 일 때 극한이 1이 되도록 한다.
• 점 渐차적 항등식들인 $C_{2n} \sim \left(\frac{e^{1 - \frac{1}{2}\gamma}}{\sqrt{2}}\right) C_n$ 과 $C_{2n+1} \sim \left(\frac{e^{1 - \frac{1}{2}\gamma}}{\sqrt{2}}\right) (C_n)^{n/(2n+1)} (C_{n+1})^{(n+1)/(2n+1)}$ 이 재귀적 경계를 유도하는 데 핵심적이다.
• 결과는 실수 및 복소 범주에서의 바나흐 공간 설정 모두에 대해 성립하며, 최적 성장률이 스칼라 필드에 따라 달라지지 않음을 확인한다.