[논문 리뷰] Remarks on the Hardy--Littlewood inequality for $m$-homogeneous polynomials and $m$-linear forms

W. Cavalcante, Daniel Núñez-Alarcón외 1명|arXiv (Cornell University)|2015. 07. 22.

Advanced Harmonic Analysis Research참고 문헌 12인용 수 3

한 줄 요약

이 논문은 $m$-동차 다항식에 대한 하디–리틀우드 부등식의 최적 형태를 $\ell_m$ 공간에서 확립하며, 기존의 $p > m$ 범위를 $p = m$로 확장한다. 실수 2-동차 다항식이 $\ell_2^2$에서 최적 상수가 정확히 2임을 증명하고, 카한–살라메–지그문드 부등식을 통해 부등식에서 최적 지수의 비연속적 행동을 엄밀히 해명한다.

ABSTRACT

The Hardy--Littlewood inequality for $m$-homogeneous polynomials on $\ell_{p}$ spaces is valid for $p>m.$ In this note, among other results, we present an optimal version of this inequality for the case $p=m.$ We also show that the optimal constant, when restricted to the case of $2$-homogeneous polynomials on $\ell_{2}(\mathbb{R}^{2})$ is precisely $2$. In an Appendix we justify why, curiously, the optimal exponents of the Hardy--Littlewood inequality do not behave smoothly.

연구 동기 및 목표

• 다항식의 $\ell_p$ 공간에서의 하디–리틀우드 부등식을 $p = m$의 임계 경우로 확장하는 것.
• 실수 위에서 $\ell_2^2$에 정의된 2-동차 다항식에 대한 최적 상수를 결정하여 정확히 2임을 증명하는 것.
• 하디–리틀우드 부등식에서 최적 지수가 $p$에 따라 매끄럽게 변화하지 않는 이유를 설명하는 것, 특히 이차 및 다중선형 설정에서의 이유.
• 정밀도 분석을 통해 기존 하디–리틀우드 및 보헨블루스트–힐레 부등식 결과들을 통합하고 개선하는 것.

제안 방법

• [3, Proposition 2.2]의 보조정리를 변형하여 $m$-동차 다항식의 계수의 $\ell_p$-노름과 그에 대응하는 대칭 $m$-선형 형식의 연산자 노름 사이의 관계를 설정하는 것.
• 카한–살라메–지그문드 부등식을 사용하여 이차 경우에서 지수의 정밀도를 시험하고, $\ell^2$ 또는 $\ell^\lambda$ 지수 중 어느 하나도 독립적으로 개선될 수 없음을 보이는 것.
• $m$-선형 형식과 $m$-동차 다항식 간의 딱 Dual 관계를 적용하여 $m < p < 2m$ 범위에서 계수의 $\ell^{p/(p-m)}$-노름 추정을 유도하고, 이를 $p = m$로 확장하는 것.
• 반례와 노름 비교를 통해 $m < p < 2m$일 때 지수 $\frac{p}{p-m}$과 $p \geq 2m$일 때 지수 $\frac{2mp}{mp + p - 2m}$의 정밀도를 확립하는 것.
• 혼합 노름에 대한 보간법과 헬더 유형 부등식을 사용하여 이차 부등식에서 지수 $2$와 $\lambda = \frac{pq}{pq - p - q}$ 간의 상호작용을 분석하는 것.
• 정리 4.3에서 하디–리틀우드 부등식의 통합적이고 최적의 표현을 제공하여, $\frac{1}{p} + \frac{1}{q} > \frac{1}{2}$일 때 두 지수가 동시에 최적이며 상호 교환될 수 없음을 보이는 것.

실험 결과

연구 질문

• RQ1 실수 위에서 $\ell_2^2(\mathbb{R})$에 정의된 2-동차 다항식에 대한 하디–리틀우드 부등식의 최적 상수는 무엇인가요?
• RQ2 하디–리틀우드 부등식은 $m$-동차 다항식에 대해 $\ell_p$ 공간에서 $p > m$에서 $p = m$로 확장될 수 있으며, 이 경우 최적 상수는 무엇인가요?
• RQ3 왜 하디–리틀우드 부등식의 최적 지수가 $p$의 함수로 매끄럽게 변화하지 못합니까?
• RQ4 이차 부등식에서 지수 $\frac{pq}{pq - p - q}$는 진정으로 최적이며, $\ell^2$-노름과 함께 개선될 수 있을까요?
• RQ5 이차 부등식에서 지수 $2$와 $\lambda = \frac{pq}{pq - p - q}$는 어떤 조건에서 상호 교환 가능하며, 왜 항상 가능하지 않은가요?

주요 결과

• 2-동차 다항식이 $\ell_2^2(\mathbb{R})$에서 하디–리틀우드 부등식의 최적 상수는 정확히 2이다.
• $\ell_m$ 공간에서 $m$-동차 다항식에 대한 하디–리틀우드 부등식은 지수 $\frac{p}{p-m}$를 사용하여 유효하며, 이 지수는 $p = m$일 때도 정밀도를 가진다.
• $m < p < 2m$일 때 $m$-동차 다항식의 최적 상수 $C_{\mathbb{K},m,p}^{\mathrm{pol}}$는 $C_{\mathbb{K},m,p}^{\mathrm{mult}} \frac{m^m}{(m!)^{(p-m)/p}}$보다 작거나 같으며, $m=2$, $p=2$일 때 등호가 성립한다.
• 이차 하디–리틀우드 부등식에서 지수 $2$와 $\lambda = \frac{pq}{pq - p - q}$는 동시에 최적이며, 카한–살라메–지그문드 부등식을 통해 각각 독립적으로 개선될 수 없음을 보였다.
• $\frac{1}{2} < \frac{1}{p} + \frac{1}{q} < 1$일 때, 대칭성 부족과 보간의 불가능성으로 인해 지수 $2$와 $\lambda$는 상호 교환될 수 없다. 고급 부등식을 사용하더라도 마찬가지이다.
• 논문은 정리 4.3에서 하디–리틀우드 부등식의 통합적이고 최적의 표현을 제공하여, 두 지수가 모두 정밀도를 가지며 상호 의존적임을 보였다.