[논문 리뷰] Estimates on the norm of polynomials and applications

Gustavo Araújo, P. Jiménez-Rodríguez외 2명|arXiv (Cornell University)|2015. 07. 06.

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

한 줄 요약

이 논문은 크레인-밀만 정리를 사용하여 $σ$-노름과 다항식 노름 사이의 등가 상수를 정확하게 추정하며, $ℚ_p^2$ 공간에서 2-동차 다항식에 대한 하디–리틀우드 상수의 날카운 값들을 도출한다. $2 < p \leq \infty$ 인 $σ_p^2$ 공간에서 2-동차 다항식에 대해 하디–리틀우드 상수의 날카운 값을 도출하고, 극값 다항식의 거듭제곱을 통해 고차수 다항식에 대한 향상된 하한을 도출한다. 특히 $D_{\mathbb{R},2,4}(2)$의 정확한 값은 $\sqrt{2}$ 임을 규명한다.

ABSTRACT

In this paper, equivalence constants between various polynomial norms are calculated. As an application, we also obtain sharp values of the Hardy--Littlewood constants for $2$-homogeneous polynomials on $\ell_p^2$ spaces, $2

연구 동기 및 목표

• 다항식 노름과 $σ_q$-계수 노름 사이의 정확한 등가 상수를 $σ_p^2$ 공간에서 계산한다.
• 2-동차 다항식에 대한 하디–리틀우드 상수의 날카운 값을 $σ_p^2$ 공간에서 $2 < p \leq \infty$ 인 경우에 결정한다.
• 극값 2차 다항식의 거듭제곱을 이용하여 고차수 다항식에 대한 하디–리틀우드 상수의 향상된 하한을 도출한다.

제안 방법

• 다항식 노름과 계수 노름의 단위 구를 대상으로 크레인-밀만 정리를 적용하여 극값 점을 규명한다.
• 이 방법은 다항식 노름 $\|\cdot\|_p$ 의 단위 구 위에서 계수의 $\ell_q$-노름을 최대화하고, 그 반대로도 수행한다.
• 특히 $p=4$ 및 $p \in (2,4)$ 인 경우에 대해 극값 다항식을 명시적으로 구성하며, $\alpha^p + \beta^p = 1$ 을 만족하는 매개변수 $\alpha, \beta$ 를 포함한 닫힌 형태의 표현식을 사용한다.
• $\|P\|_p$ 와 $|P|_q$ 사이의 최적 경계로서 상수 $K_{m,q,p}$ 와 $k_{m,q,p}$ 를 계산한다.
• 고차수 다항식 $P^m$ 에 대해 $|P^m|_2$ 를 추정하기 위해 MATLAB 을 이용한 수치 계산을 수행한다.
• 이 접근법은 이전 연구에서 알려진 보헨블루스트–힐레 및 하디–리틀우드 부등식의 대칭성과 극값 구조를 활용한다.

실험 결과

연구 질문

• RQ1 다항식 노름 $\|\cdot\|_p$ 와 $σ_q$-계수 노름 사이의 최적 상수 $K_{m,q,p}$ 와 $k_{m,q,p}$ 의 정확한 값은 $m=2$ 와 $2 < p \leq \infty$ 인 경우에 무엇인가?
• RQ2 하디–리틀우드 상수 $D_{\mathbb{R},2,4}(2)$ 는 정확하게 계산될 수 있으며, 그 값은 무엇인가?
• RQ3 극값 2차 다항식의 거듭제곱을 사용할 경우, $D_{\mathbb{R},2m,4m}(2)$ 의 하한은 단순히 2차 다항식을 사용할 때보다 어떻게 향상되는가?
• RQ4 하디–리틀우드 상수 $D_{\mathbb{R},m,2m}(2)$ 의 극값 다항식은 $D_{\mathbb{R},m}(2)$ 의 극값 다항식과 같은 대칭성을 가지는가? 이는 하한 추정에 어떤 영향을 미치는가?
• RQ5 상수 $K_{2,\frac{4p}{3p-4},p}$ 는 $p \to \infty$ 일 때의 점근적 행동은 어떠하며, 보헨블루스트–힐레 상수 $D_{\mathbb{R},2}(2) \approx 1.83737$ 에 얼마나 가까이 접근하는가?

주요 결과

• 하디–리틀우드 상수 $D_{\mathbb{R},2,4}(2)$ 의 정확한 값은 $\sqrt{2} \approx 1.414213562373095$ 로, 이는 이전 연구에서의 수치적 하한을 해결한다.
• $p=4$ 인 경우, $\alpha^p + \beta^p = 1$ 을 만족하는 다항식 $P(x,y) = \pm\left(\frac{\alpha^p - \beta^p}{\alpha^2 + \beta^2}(x^2 - y^2) + 2\alpha\beta\frac{\alpha^{p-2} + \beta^{p-2}}{\alpha^2 + \beta^2}xy\right)$ 에 대해 $|P|_2 = \sqrt{2}\|P\|_4$ 가 성립한다.
• $D_{\mathbb{R},2m,4m}(2)$ 의 하한은 차수에 따라 크게 향상된다. $m=400$ 인 경우 추정치는 $1.5465^{100}$ 에 도달하여 이전의 추정치보다 뛰어나다.
• $K_{2,\frac{4p}{3p-4},p}$ 는 $p$ 가 증가함에 따라 증가하며, $p \to \infty$ 일 때 $D_{\mathbb{R},2}(2) \approx 1.83737$ 에 수렴한다. $p=250$ 에서는 $1.82939$ 에 도달한다.
• $m=5$ 인 경우, 하한 $D_{\mathbb{R},5,10}(2) \geq 6.236014$ 는 이전 추정치인 $6.191704$ 를 초월하여, 새로운 방법의 효과성을 입증한다.
• $D_{\mathbb{R},2,4}(2)$ 의 극값 다항식은 부호 패턴 $ax^5 - bx^4y - cx^3y^2 + cx^2y^3 + bxy^4 - ay^5$ 에 대해 대칭성을 가지지 않으며, 이는 $D_{\mathbb{R},m,2m}(2)$ 의 극값 구조가 $D_{\mathbb{R},m}(2)$ 와 다를 수 있음을 시사한다.