[논문 리뷰] Hölder's inequality: some recent and unexpected applications

N. Albuquerque, Gustavo Araújo외 2명|arXiv (Cornell University)|2014. 12. 05.

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

한 줄 요약

이 논문은 최근 기능해석학, 복소해석학, 양자정보이론 분야에서 중요한 돌파구를 이룬, 잘 알려지지 않은 헬더 부등식의 변종—혼합 $L_p$ 공간에 대한 헬더 부등식—의 가능성을 입증한다. 이 부등식을 보간 도구로 활용함으로써 저자들은 보넨블루스트–힐레 및 하디–리틀우드 부등식에 대해 최적의 다항식 이하 성장률을 갖는 상계를 도출하고, 디리클레 급수 이론에서 오랫동안 남아있던 문제인 보어 반지름의 점근적 성장률을 $\sqrt{\frac{\log n}{n}}$로 정확히 규명한다.

ABSTRACT

Hölder's inequality, since its appearance in 1888, has played a fundamental role in Mathematical Analysis and it is, without any doubt, one of the milestones in Mathematics. It may seem strange that, nowadays, it keeps resurfacing and bringing new insights to the mathematical community. In this expository article we show how a variant of Hölder's inequality (although well-known in PDEs) was essentially overlooked in Functional Analysis and has had a crucial (and in some sense unexpected) influence in very recent and major breakthroughs in Mathematics. Some of these recent advances appeared in 2012-2014 and include the theory of Dirichlet series, the famous Bohr radius problem, certain classical inequalities (such as Bohnenblust--Hille or Hardy--Littlewood), or even Mathematical Physics.

연구 동기 및 목표

• 최근의 직능해석학, 복소해석학, 양자정보이론 분야에서의 발전들에서 간과되었지만 강력한 역할을 하는 혼합 $L_p$ 공간에 대한 헬더 부등식의 잠재력을 입증하는 것.
• 디리클레 급수 이론과 복소해석학에서 고전적인 문제인 $n$-차원 보어 반지름의 점근적 성장률을 규명하는 것.
• 이 헬더 부등식의 변종을 활용하여 보넨블루스트–힐레 및 하디–리틀우드 부등식의 최선의 알려진 상수를 향상시키는 것.
• 다중선형 연산자 이론에서 별개로 합산되는 다중선형 연산자 및 관련 부등식에 대해 더 날카운 상계를 수립하는 것.

제안 방법

• 1961년 벤데크와 판존의 결과에서 유도된 혼합 $\ell_p$ 공간에 대한 헬더 부등식을 보간 기법으로 활용하는 것, 이는 최근까지 기능해석학에서 인식되지 않았다.
• 다중선형 연산자 이론에서 추정치를 정밀화하기 위해 일반화된 카한-살라메-지그문트 부등식과 혼합노름 헬더 부등식을 함께 사용하는 것.
• 복소해석학 도구와 새로운 보간 프레임워크를 연결하기 위해 위너의 부등식과 하리스의 부등식을 활용하는 것.
• 클래식한 결과인 바야르의 부등식과 민코프스키의 부등식을 혼합노름 헬더 부등식과 결합하여 개선된 상계를 도출하는 것.
• 보간 기법을 활용해 다중선형 연산자에서 $n$-분리 가능성에서 $N$-분리 가능성으로 일반화함으로써 지수 추정치를 향상시키는 것.
• 새로운 부등식 프레임워크를 통해 보넨블루스트–힐레 및 하디–리틀우드 부등식의 상수에 대한 다항식 이하 성장률 추정치를 도출하는 것.

실험 결과

연구 질문

• RQ1 다음과 같은 $n$-차원 보어 반지름의 점근적 행동은 무엇이며, 현대 기능해석학 도구를 통해 정확히 규명될 수 있는가?:
• RQ2 보넨블루스트–힐레 및 하디–리틀우드 부등식의 상수는 이전에 알려진 $\left(\sqrt{2}\right)^{m-1}$ 상한을 초월하여 향상시킬 수 있는가?
• RQ3 혼합 $L_p$ 공간에 대한 헬더 부등식은 디리클레 급수, 양자정보, 다중선형 연산자 이론 등 서로 다른 분야를 통합하는 보간 도구로서 얼마나 효과적인가?
• RQ4 새로운 프레임워크는 별개로 합산되는 다중선형 연산자 이론과 그들의 $N$-분리 가능성 이론을 어떻게 향상시키는가?

주요 결과

• 다음과 같이 $n$-차원 보어 반지름의 점근적 성장률은 정확히 $\sqrt{\frac{\log n}{n}}$이며, $\displaystyle\lim_{n\to\infty}\frac{\mathrm{K}_n}{\sqrt{\frac{\log n}{n}}}=1$ 이다. 이는 복소해석학에서 고전적인 문제를 해결한다.
• 보넨블루스트–힐레 부등식 상수 $\mathrm{B}_{\mathbb{K},m}^{\mathrm{mult}}$ 는 다항식 이하 성장률을 보이며, 새로운 프레임워크는 실수 스칼라의 경우 상한을 $\left(\sqrt{2}\right)^{m-1}$ 에서 $\left(\sqrt{2}\right)^{\frac{2m(m-1)}{p}}\left(\mathrm{B}_{\mathbb{R},m}^{\mathrm{mult}}\right)^{\frac{p-2m}{p}}$ 로 향상시킨다.
• 복소수 스칼라의 경우 개선된 상한은 $\left(\frac{2}{\sqrt{\pi}}\right)^{\frac{2m(m-1)}{p}}\left(\mathrm{B}_{\mathbb{C},m}^{\mathrm{mult}}\right)^{\frac{p-2m}{p}}$ 이며, 이는 $p > m^2$ 일 때 다항식 이하 성장률을 유도한다.
• 논문은 혼합노름 헬더 부등식이 하디–리틀우드 부등식의 더 날카운 상수 유도를 가능하게 하며, 특히 $p > m^2$ 일 때 상수가 다항식 이하 성장률을 보임을 규명한다.
• 별개로 합산되는 연산자 이론이 일반화된다: $n$-분리 가능성은 $n < N \leq m$ 에 대해 $N$-분리 가능성으로 이어지며, 특수한 경우에선 지수 추정치가 향상된다.
• 혼합노름 헬더 부등식의 적용은 보어 반지름의 날카운 점근적 행동을 증명하는 데 결정적인 단계를 제공하며, 이는 이전 추정치 $\mathrm{K}_n = b_n\sqrt{\frac{\log n}{n}}$ 에서의 불확실성을 제거한다. 여기서 $\frac{1}{\sqrt{2}}+o(1) \leq b_n \leq 2$ 이다.