[논문 리뷰] Hardy-Littlewood, Hausdorff-Young-Paley inequalities, and Lp-Lq Fourier multipliers on compact homogeneous manifolds

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

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

한 줄 요약

이 논문은 컴팩트 호모제너스 다양체 위에서 비가환 Hardy-Littlewood, Hausdorff-Young-Paley, 그리고 Paley 부등식을 수립하며, 함수의 푸리에 계수를 통한 $L^p$-적분 가능성의 정확한 기준을 제시한다. 이는 비균일 플란커렐 측도를 갖는 이산 순서 집합 위에서 새로운 추상적 Marcinkiewicz 보간 정리에 기반하여 컴팩트 리 군에서의 푸리에 승수의 $L^p$-$L^q$ 유계성 조건을 유도한다.

ABSTRACT

In this paper we prove new inequalities describing the relationship between the "size" of a function on a compact homogeneous manifold and the "size" of its Fourier coefficients. These inequalities can be viewed as noncommutative versions of the Hardy-Littlewood inequalities obtained by Hardy and Littlewood on the circle. For the example case of the group SU(2) we show that the obtained Hardy-Littlewood inequalities are sharp, yielding a criterion for a function to be in $L^p$ on SU(2) in terms of its Fourier coefficients. We also establish Paley and Hausdorff-Young-Paley inequalities on general compact homogeneous manifolds. The latter is applied to obtain conditions for the $L^p$-$L^q$ boundedness of Fourier multipliers for $1

연구 동기 및 목표

• 원환면에서의 고전적 Hardy-Littlewood 부등식을 임의의 컴팩트 호모제너스 다양체 $G/K$로 일반화하는 것.
• 컴팩트 리 군 및 호모제너스 공간에서의 푸리에 승수에 대한 $L^p$-$L^q$ 유계성 기준 수립.
• 비균일 플란커렐 측도를 갖는 이산 유니터리 이중체 위에서 행렬값 함수의 일반적 보간 프레임워크 개발.
• 푸리에 계수의 감쇠에 기반한 $L^p(G/K)$ 소속성에 대한 정확한 기준 제공.
• 스펙트럼 및 표현 이론적 도구를 사용하여 비아벨, 비아벨 대칭 공간으로 Hausdorff-Young 및 Paley 부등식 일반화.

제안 방법

• 클래스 I 표현의 집합 $\widehat{G}_0$ 위에서 플란커렐 측도 $\mu(Q) = \sum_{\pi \in Q} d_\pi k_\pi$ 를 사용하여 $G/K$ 위에서 비가환 Hardy-Littlewood 부등식 유도.
• 스펙트럼 매개변수 $\langle \pi \rangle$, 차수 $d_\pi$, 그리고 $\pi$ 내에서 $K$-불변 벡터의 다중도 $k_\pi$ 를 통해 부등식 기술.
• 비균일 가중치 $\nu_\pi$ 를 갖는 행렬값 수열에 대해 전체 순서 집합 위에서 일반화된 Marcinkiewicz 보간 정리 적용.
• 힐버트-슈미트 노름 $\|\widehat{f}(\pi)\|_{\mathrm{HS}}$ 와 $\sqrt{k_\pi}$ 로 정규화하여 유니터리 이중체 위에서 $\ell^p$-유형 노름 정의.
• 푸리에 변환 연산자의 약형 $(p_1,p_1)$ 및 $(p_2,p_2)$ 추정 간 보간을 통해 Hausdorff-Young-Paley 부등식 수립.
• 추상적 보간 결과를 적용하여 컴팩트 호모제너스 다양체에서 $1 < p \leq 2 \leq q < \infty$ 인 경우의 푸리에 승수의 $L^p$-$L^q$ 유계성 도출.

실험 결과

연구 질문

• RQ1 컴팩트 호모제너스 다양체에서의 비가환 Hardy-Littlewood 부등식은 무엇인가요?
• RQ2 함수의 $G/K$ 위에서의 $L^p$-적분 가능성은 그 푸리에 계수의 감쇠에 의해 어떻게 기술될 수 있나요?
• RQ3 컴팩트 리 군에서의 푸리에 승수에 대한 $L^p$-$L^q$ 유계성은 어떤 조건을 만족해야 하나요?
• RQ4 Marcinkiewicz 보간 정리는 이산, 가중된 유니터리 이중체 위의 행렬값 함수에 대해 어떻게 일반화될 수 있나요?
• RQ5 컴팩트 호모제너스 공간에서의 Hausdorff-Young-Paley 부등식의 정확한 형태는 무엇인가요?

주요 결과

• Hardy-Littlewood 부등식은 $1 < p \leq 2$ 에 대해 $\sum_{\pi \in \widehat{G}_0} d_\pi k_\pi \langle \pi \rangle^{n(p-2)} \left( \frac{\|\widehat{f}(\pi)\|_{\mathrm{HS}}}{\sqrt{k_\pi}} \right)^p \leq C \|f\|^p_{L^p(G/K)}$ 로 주어지며, $\mathrm{SU}(2)$ 에서는 정확한 상수를 갖는다.
• 만약 $G/K = \mathbb{T}$ 라면 이 부등식은 원환면에서의 고전적 Hardy-Littlewood 결과로 축소되며, 수량 측도를 갖는 $\ell^p(\mathbb{Z})$-노름 추정을 복원한다.
• Hausdorff-Young-Paley 부등식은 컴팩트 호모제너스 다양체에서 $1 < p \leq 2 \leq q < \infty$ 인 경우 푸리에 승수의 $L^p$-$L^q$ 유계성을 도출한다.
• 동일한 보간 기반에 의해 컴팩트 리 군에서 일반(비불변) 연산자의 $L^p$-$L^q$ 유게성이 확립된다.
• 추상적 Marcinkiewicz 보간 정리는 임의의 양수 가중치 $\nu_\pi$ 를 갖는 이산 집합 위의 행렬값 수열로 확장되어 비균일 플란커렐 측도 위의 보간을 가능하게 한다.
• SU(2)에서의 Hardy-Littlewood 부등식의 정확성은 그 푸리에 계수를 통한 $L^p(\mathrm{SU}(2))$ 함수의 완전한 기술을 제공함으로써 입증된다.