[논문 리뷰] On the growth of the optimal constants of the multilinear Bohnenblust--Hille inequality

Daniel Núñez-Alarcón, Daniel Pellegrino|arXiv (Cornell University)|2012. 05. 10.

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

한 줄 요약

이 논문은 다중선형 Bochnerblust–Hille 부등식에서 최적 상수 $ K_n $ 의 渐近적 성장률을 조사한다. 새로운 이분법 정리(Dichotomy Theorem)를 사용하여, 수열 $ (K_n) $ 이 지수적 성장보다 느린(subexponential)이면서 잘 다루어지지 않는 경우 또는 $ \lim_{n\to\infty}(K_n - K_{n-1}) = 0 $ 과 $ \lim_{n\to\infty} K_{2n}/K_n \in [1, \frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}] $ 를 만족하는 경우 중 하나임을 보여준다. 이는 다항수준 성장이나 지수적 성장 패tern을 배제하고, 하위다항수준(subpolynomial) 성장을 암시한다.

ABSTRACT

Let $(K_{n})_{n=1}^{\infty}$ be the optimal constants satisfying the multilinear (real or complex) Bohnenblust--Hille inequality. The exact values of the constants $K_{n}$ are still waiting to be discovered since eighty years ago; recently, it was proved that $(K_{n})_{n=1}^{\infty}$ has a subexponential growth. In this note we go a step further and address the following question: Is it true that \[ \lim_{n ightarrow\infty}(K_{n}-K_{n-1}) =0? \] Our main result is a Dichotomy Theorem for the constants satisfying the Bohnenblust--Hille inequality; in particular we show that the answer to the above problem is essentially positive in a sense that will be clear along the note. Another consequence of the dichotomy proved in this note is that $(K_{n})_{n=1}^{\infty}$ has a kind of subpolynomial growth: if $p(n)$ is any non-constant polynomial, then $K_{n}$ extit{is} extit{not} asymptotically equal to $p(n).$ Moreover, if \[ q>\log_{2}(\frac{e^{1-1/2γ}}{\sqrt{2}}) \approx0.526, \] then \[ K_{n} sim n^{q}. \]

연구 동기 및 목표

• 다중선형 Bohnenblust–Hille 부등식에서 최적 상수 $ K_n $ 이 $ \lim_{n\to\infty}(K_n - K_{n-1}) = 0 $ 을 만족하는지 여부를 해결하는 것.
• 최적 상수 $ K_n $ 의 渐近적 행동을 분석하여, 다항수준 또는 지수적 성장 패턴을 띌 수 있는지 여부를 조사하는 것.
• 상수 $ K_n $ 의 성장에 대해 이분법을 설정하는 것: 또는 지수적 성장보다 느리지만 잘 다루어지지 않는 경우, 또는 차이와 비율에 대한 특정 극한 조건을 만족하는 경우.
• 특히 지수 $ q > \log_2\left(\frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}\right) \approx 0.526 $ 에 대해 $ K_n $ 이 다항수준 성장을 보일 수 없음을 배제하는 것.
• 잘 다루어지는 수열에 기반한 새로운 이론적 프레임워크를 사용하여 $ K_n $ 의 성장 행동에 대한 구조적 분류를 제공하는 것.

제안 방법

• 수열 $ R_n $ 이 $ \lim_{n\to\infty}(R_n - R_{n-1}) $ 과 $ \lim_{n\to\infty} R_{2n}/R_n $ 의 극한이 존재함을 조건으로 하는 '잘 다루어지는 수열(well-behaved sequences)' 의 개념을 도입한다.
• 만약 $ R_n $ 이 지수적 성장보다 느리고 잘 다루어진다면, 반드시 $ \lim_{n\to\infty}(R_n - R_{n-1}) = 0 $ 이 성립함을 모순을 통해 보여준다.
• 이분법 정리(Dichotomy Theorem)를 증명: $ K_n $ 에 대해, 또는 지수적 성장보다 느리고 잘 다루어지지 않는 경우, 또는 $ \lim_{n\to\infty}(K_n - K_{n-1}) = 0 $ 과 $ \lim_{n\to\infty} K_{2n}/K_n \in [1, \frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}] $ 를 만족하는 경우 중 하나임을 보인다.
• Euler-Mascheroni 상수 $ \gamma $ 를 사용하여 비율 $ K_{2n}/K_n $ 의 상한 $ \frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}} \approx 0.526 $ 를 정의한다.
• 지수적 성장보다 느리고 비율 경계를 가진 조건을 바탕으로 한 모순 논증을 사용하여 $ K_n $ 이 다항수준 성장을 보일 수 없음을 배제한다.
• 만약 $ K_n \sim cn^q $ 이고 $ q > \log_2\left(\frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}\right) $ 라면, $ K_{2n}/K_n \to 2^q \notin [1, \frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}] $ 가 되어 이분법 조건과 모순됨을 보여준다.

실험 결과

연구 질문

• RQ1 다중선형 Bohnenblust–Hille 부등식에서 최적 상수 수열 $ K_n $ 이 $ \lim_{n\to\infty}(K_n - K_{n-1}) = 0 $ 을 만족하는가?
• RQ2 최적 상수 $ K_n $ 이 다항수준 성장을 보일 수 있는가, 특히 비상수 다항식 $ p $ 에 대해 $ K_n \sim p(n) $ 인가?
• RQ3 비율 $ K_{2n}/K_n $ 의 渐近적 행동은 무엇이며, 이는 2에서 멀리 떨어져 있을 수 있는가?
• RQ4 특히 $ q > \log_2\left(\frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}\right) \approx 0.526 $ 인 경우 $ K_n $ 이 $ cn^q $ 과 같이 성장할 수 있는가?
• RQ5 수열 $ (K_n) $ 이 반드시 두 가지 다른 성장 유형 중 하나에 속하는가: 지수적 성장보다 느리지만 잘 다루어지지 않는 경우, 또는 차이와 비율의 극한 조건이 제어되는 잘 다루어지는 경우?

주요 결과

• 최적 상수 수열 $ (K_n) $ 이 $ \lim_{n\to\infty}(K_n - K_{n-1}) = 0 $ 을 만족함을 확인하여, 연속 상수 간의 증분이 渐近적으로 사라짐을 입증한다.
• 비율 $ \lim_{n\to\infty} K_{2n}/K_n $ 는 $ \frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}} \approx 0.526 $ 이하로 상한이 정해지며, 이는 하위다항수준 성장을 암시한다.
• 비상수 다항식 $ p(n) $ 에 대해 $ K_n \sim p(n) $ 이 될 수 없으며, 이러한 성장 패턴은 비율 극한에 대한 이분법 조건을 위반하기 때문이다.
• 모든 $ q > \log_2\left(\frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}\right) \approx 0.526 $ 에 대해 $ K_n \nsim n^q $ 이 성립하여, 이러한 다항수준 성장을 배제한다.
• 이분법 정리는 $ (K_n) $ 이 또는 지수적 성장보다 느리고 잘 다루어지지 않는 경우, 또는 $ \lim_{n\to\infty}(K_n - K_{n-1}) = 0 $ 과 $ \lim_{n\to\infty} K_{2n}/K_n \in [1, \frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}] $ 를 동시에 만족하는 경우 중 하나임을 보여준다.
• 결과적으로 최적 상수 $ K_n $ 이 병리적 또는 기복적인 성장을 보일 수 없으며, 균일하고 매끄러운 渐近적 행동을 보임을 지지한다.