[논문 리뷰] Geometry of the closed unit ball of the space of bilinear forms on $\ell_{\infty}^{2}$

W. Cavalcante, Daniel Pellegrino|arXiv (Cornell University)|2016. 03. 04.

Advanced Harmonic Analysis Research인용 수 3

한 줄 요약

이 논문은 실수 계수 이형형식 공간 $\ell_{\infty}^2$ 에서 단위 닫힘 볼의 극단점과 노출점들을 완전히 특성화한다. 리틀우드의 $4/3$ 부등식에서 최적 상수를 달성하는 모든 이형형식이 극단점임을 증명하였으며, 복소계수 이형형식의 최적 상수가 1임을 암시하는 분석적이고 수치적 증거를 제시한다.

ABSTRACT

We obtain all extreme and exposed points of the closed unit ball of the space of bilinear forms $T:\ell_{\infty}^{2} imes\ell_{\infty}^{2} ightarrow \mathbb{R}.$ We also show that any (norm one) bilinear form $T:\ell_{\infty }^{2} imes\ell_{\infty}^{2} ightarrow\mathbb{R}$ for which the optimal constant of the Littlewood's $4/3$ inequality is achieved is necessarily an extreme point. In the case of complex scalars we combine analytical and numerical evidences supporting that, at least for complex bilinear forms with real coefficients, the optimal constant of Littlewood's $4/3$ inequality seems to the the trivial, i.e., $1.$

연구 동기 및 목표

• 실수 이형형식의 공간에서 $\ell_{\infty}^2$ 의 단위 닫힘 볼의 모든 극단점과 노출점을 완전히 분류하는 것.
• 리틀우드의 $4/3$ 부등식에서 최적 상수를 달성하는 단위 볼 내의 모든 이형형식을 식별하는 것.
• 분석적 및 수치적 증거를 활용하여 복소계수 실수 계수 이형형식의 리틀우드의 $4/3$ 부등식에서 최적 상수가 실제로 1인지 조사하는 것.

제안 방법

• 단위 벡터의 삼각함수 매개변수화를 이용하여 $\ell_{\infty}^2$ 에서 실수 및 복소수 이형형식의 명시적 노름 표현을 유도한다.
• 모든 계수의 절댓값 합을 $\ell_\infty$-노름 제약 조건 하에 최대화하기 위해 최적화 기법을 적용한다.
• 계수 구성에 기반하여 대칭성과 케이스 분석을 활용하여 극단점과 노출점을 분류한다.
• 이형형식의 $L^{4/3}$-노름을 평가하고 이를 연산자 노름과 비교하기 위해 분석적 및 수치적 방법을 활용한다.
• 절댓값과 계수의 부호를 포함한 부등식에 대한 보조정리를 적용하여 노름 등식이 성립하기 위한 필요 및 충분 조건을 확립한다.
• 등식(즉, 최적성)이 성립할 때 $L^{4/3}$-노름과 연산자 노름 사이의 비율을 분석한다.

실험 결과

연구 질문

• RQ1 $\ell_{\infty}^2$ 에서 실수 이형형식의 단위 닫힘 볼의 극단점 또는 노출점이 되는 이형형식은 무엇인가요?
• RQ2 리틀우드의 $4/3$ 부등식에서 최적 상수를 달성하는 실수 계수 이형형식의 정확한 집합은 무엇인가요?
• RQ3 분석적 및 수치적 증거에 따르면, 복소계수 실수 계수 이형형식의 리틀우드의 $4/3$ 부등식에서 최적 상수가 실제로 1인가요?

주요 결과

• $\mathcal{L}(^2\ell_{\infty}^2(\mathbb{R}))$ 의 단위 닫힘 볼의 모든 극단점과 노출점은 이형형식의 특정 계수 구성에 의해 완전히 특성화되어 있으며, 이에 해당한다.
• 실수 계수를 가진 $\ell_{\infty}^2$ 에서 리틀우드의 $4/3$ 부등식에서 최적 상수를 달성하는 임의의 이형형식은 반드시 단위 볼의 극단점이어야 한다.
• 실수 계수 이형형식의 $\ell_{\infty}^2$ 에서 리틀우드의 $4/3$ 부등식의 최적 상수는 $\sqrt{2}$ 이며, 이 값은 계수들이 $|a_{11}+a_{21}|+|a_{12}+a_{22}|=\sqrt{2}$ 와 $|a_{11}-a_{21}|+|a_{12}-a_{22}|=\sqrt{2}$ 를 만족할 때 정확히 달성된다.
• 실수 계수 복소계수 이형형식의 경우, 분석적 및 수치적 증거는 리틀우드의 $4/3$ 부등식에서 최적 상수가 실제로 1임을 강력히 지지한다.
• 실수 경우에서 최적 상수를 달성하는 네 가지 표준형(부호 및 순열을 제외한 기준형)이 식별되었으며, 예를 들어 $T(x,y) = \alpha z_1w_1 + \alpha z_1w_2 + \alpha z_2w_1 - \alpha z_2w_2$ 와 같다.
• 일부 노름 표현이 일치하기 위한 필요 및 충분 조건으로서 $\left|\frac{cd}{ab}(a-b)\right| \leq c-d$ 와 $\left|\frac{ab}{cd}(c+d)\right| \leq a+b$ 는 극단점의 분류를 뒷받침한다.