[논문 리뷰] Hardy-Littlewood inequalities and Fourier multipliers on SU(2)

Rauan Akylzhanov, Ерлан Нурсултанов외 1명|arXiv (Cornell University)|2014. 03. 07.

Advanced Harmonic Analysis Research참고 문헌 23인용 수 5

한 줄 요약

이 논문은 컴팩트 리군 SU(2) 위에서 하디-리틀우드 및 펠레이 부등식의 비가환 대응을 수립하며, 푸리에 승수의 $L^p$–$L^q$ 연산자 노름에 대한 날카운 하한 및 상한을 도출한다. 표현 이론과 스펙트럼 분해를 활용하여 고전적 승수 정리들을 비가환 설정으로 일반화함으로써, $1 < p \leq 2 \leq q < \infty$ 에서 $p$와 $q$에 명시적인 의존성을 갖는 결과를 도출한다. 주요 기여는 정리 1.1의 비가환 형태로, 차원에 따라 달라지는 인자로 스케일된 승수 기호의 트레이스를 포함하는 노름 추정을 수립한다.

ABSTRACT

In this paper we prove a noncommutative version of Hardy-Littlewood inequalities relating a function and its Fourier coefficients on the group $SU(2)$. As a consequence, we use it to obtain lower bounds for the $L^p-L^q$ norms of Fourier multipliers on the group $SU(2)$, for $1 &lt; p \leq 2 \leq q &lt; 1$. In addition, we give upper bounds of a similar form, analogous to the known results on the torus, but now in the noncommutative setting of $SU(2)$.

연구 동기 및 목표

• 컴팩트 군 SU(2)의 비가환 설정으로 고전적 하디-리틀우드 및 펠레이 부등식을 확장하기.
• SU(2)에서 푸리에 승수의 $L^p$–$L^q$ 연산자 노름에 대한 날카운 하한 및 상한을 $p$와 $q$에 명시적으로 의존하는 방식으로 도출하기.
• Stein의 질문, 즉 $p \neq 2$ 인 $\mathbf{m}^q_p$ 내의 승수를 특성화하기 위해 $p$- 및 $q$-의존 추정을 제공하기.
• 토루에서의 고전적 승수 정리들을 비아벨 설정인 SU(2)로 일반화하기. 이는 컴팩트 리군 위의 조화 분석을 활용한다.

제안 방법

• 저자들은 SU(2)에서의 푸리에 분석을 사용하며, 함수는 $l \in \frac{1}{2}\mathbb{N}_0$ 로 표시되는 기약 유니터리 표현을 통해 분해된다. 이 표현들의 차원은 $2l+1$ 이다.
• 푸리에 승수 $A$ 는 $\widehat{Af}(l) = \sigma_A(l)\widehat{f}(l)$ 로 정의되며, 여기서 $\sigma_A(l)$ 는 $\mathbb{C}^{(2l+1)\times(2l+1)}$ 에 값이 있는 행렬 기반 기호이다.
• 하한은 $\sigma_A(l)$ 의 트레이스를 사용하여 유도되며, $ (2l+1)^{1 + \frac{1}{q} - \frac{1}{p}} $ 로 스케일된다. 이는 고전적 최대값 조건의 비가환 대응을 수립한다.
• 상한은 실 보간과 약한 유형 추정을 통해 도출되며, 군과 그 이중 공간 $\widehat{G}$ 에서의 분포 함수 $\mu_G(t; f)$ 와 로렌츠 노름 기법을 사용한다.
• 증명은 함수의 이진 분해와 캘러존-지그문트 방법을 활용하며, $f = f_1 + f_2$ 로 분할하여 분포 함수를 제어한다.
• 핵심 단계는 보간 매개수를 최적화하기 위해 $z = A/y$ 를 선택하는 것으로, 이는 최종 추정에 $M_1^{1-\theta} M_2^\theta$ 를 포함하며, $\theta$ 는 $p_1$ 과 $p_2$ 사이를 보간한다.

실험 결과

연구 질문

• RQ1 고전적 하디-리틀우드 및 펠레이 부등식은 비가환 군인 SU(2)로 어떻게 확장될 수 있는가?
• RQ2 SU(2)에서 푸리에 승수의 날카운 $L^p$–$L^q$ 연산자 노름 추정은 무엇이며, 이는 $p$와 $q$에 어떻게 의존하는가?
• RQ3 고전적 승수 정리의 비가환 형태는 $1 < p \leq 2 \leq q < \infty$ 에서 확립될 수 있는가?
• RQ4 SU(2)의 표현 이론은 푸리에 승수의 구조와 그 유계성 성질에 어떻게 영향을 미치는가?
• RQ5 보간 기법은 컴팩트 리군에서의 승수에 대한 $L^p$–$L^q$ 범위를 유도하기 위해 어떻게 적응될 수 있는가?

주요 결과

• 비가환 하디-리틀우드 부등식이 수립된다: $\displaystyle \sup_{l \in \frac{1}{2}\mathbb{N}_0} \frac{1}{(2l+1)^{1 + \frac{1}{q} - \frac{1}{p}}} \left| \operatorname{Tr} \sigma_A(l) \right| \lesssim \|A\|_{L^p \to L^q}$ for $1 < p \leq 2 \leq q < \infty$.
• 상한이 도출된다: $\|A\|_{L^p \to L^q} \lesssim \sup_{k \in \mathbb{N}} \frac{1}{k^{1 + \frac{1}{q} - \frac{1}{p}}} \sum_{m=1}^k \lambda_m^*$, 여기서 $\lambda_m^*$ 는 승수 기호의 고유값의 비감소 재배열이다.
• SU(2)에서 푸리에 승수 $A$ 의 $L^p$–$L^q$ 연산자 노름은 $\|Af\|_{\ell^p(\widehat{G})} \leq K_{p,p_1,p_2} M_1^{1-\theta} M_2^\theta \|f\|_{L^p(G)}$ 를 만족하며, $\theta$ 는 $p_1$ 과 $p_2$ 사이를 보간한다.
• 보간 방법은 날카운 상수 $K_{p,p_1,p_2} = \left( \frac{p_1}{p - p_1} + \frac{p_2}{p_2 - p} \right)^{1/p}$ 를 도출하며, 이는 $p_1 < p < p_2$ 에서 유효하다.
• 증명 기법은 실 보간과 분포 함수 추정에 기반하며, $z = A/y$ 는 함수 분해의 두 부분을 균형 있게 유지하기 위해 선택된다.
• 결과는 토루에서의 정리 1.1의 완전한 비가환 대응을 제공하며, 이제는 군 SU(2)와 그의 비아벨 조화 분석에 대해 유효하다.