[논문 리뷰] Higher order Riesz transforms on noncompact symmetric spaces

Giancarlo Mauceri, Stefano Meda외 1명|arXiv (Cornell University)|2015. 07. 17.

Advanced Harmonic Analysis Research참고 문헌 15인용 수 8

한 줄 요약

이 논문은 임의의 계수를 가진 비콤팩트 대칭 공간에서 고차 Riesz 변환과 그 이동된 변형에 대해 날카운 유계성 결과를 확립한다. 정밀한 커널 추정과 하드이 타입 공간에서의 분석을 통해, 이동된 Riesz 변환의 순서 $d$는 $H^1(\bb X)$ 에서 $L^1(\bb X; T^d)$ 로 유계임을 증명한다. 반면, 이동되지 않은 변환은 $X^k(\bb X)$ 공간이 필요하며, 여기서 $k \geq \lfloor(d+1)/2\rfloor$ 이다. 이는 무한대에서의 감쇠 성질에 기인한 엔드포인트 행동의 근본적인 차이를 드러낸다.

ABSTRACT

In this note we prove various sharp boundedness results on suitable Hardy type spaces for Riesz transforms of arbitrary order on noncompact symmetric spaces of arbitrary rank.

연구 동기 및 목표

• 비콤팩트 대칭 공간에서 고차 Riesz 변환에 대한 엔드포인트 $L^1$ 유계성 결과를 확립하기 위해.
• 하드이 타입 공간에서 이동된 변환과 이동되지 않은 변환 간의 사상 성질에서의 차이를 명확히 하기 위해.
• 비이동된 Riesz 변환의 순서 $d \geq 1$ 에 대해 $X^k(\bb X)$ 가 $H^1(\bb X)$ 보다 더 효과적인 엔드포인트 공간임을 보여주기 위해.
• $\nabla^d \mathcal{L}^{1/2}$ 의 커널에 대한 날카운 추정을 제공하여, 유계성 결과를 증명하는 데 핵심적인 역할을 하기 위해.

제안 방법

• $\nabla^d \mathcal{L}^{1/2}$ 의 커널에 대한 정밀한 점별 추정을 스펙트럼 이론과 열핵 분석을 통해 유도하기 위해.
• 대칭 공간 분해에 대한 카르탕 좌표와 적분을 이용하여 $\kappa_0^\sigma$ 와의 콘볼루션의 $L^1$ 노름을 추정하기 위해.
• 웨일 실린더 내에서의 구면 함수 $\varphi_0$ 와 $\kappa_0^\sigma$ 의 날카운 점근적 추정을 적용하기 위해.
• 커널의 감쇠 성질을 고려하여 $\mathcal{R}_c^d$ (무한대에서 적분 가능) 와 $\mathcal{R}^d$ (적분 가능하지 않음) 의 유계성 차이를 설명하기 위해.
• 엄격한 포함 관계 $H^1(\bb X) \supset X^1(\bb X) \supset \cdots$ 를 활용하여 비이동된 변환에 대해 $X^k(\bb X)$ 의 사용을 정당화하기 위해.
• $|H|^{(\sigma-\ell-1)/2}\mathrm{e}^{-|\rho||H|}$ 를 포함하는 적분의 발산에 기반하여, 특정한 $f$ 에 대해 $\mathcal{L}^{-\sigma/2}f \notin L^1(\bb X)$ 임을 보이는 모순에 의한 증명을 위해.

실험 결과

연구 질문

• RQ1 왜 이동된 Riesz 변환의 순서 $d$ 는 $H^1(\bb X)$ 에서 $L^1(\bb X; T^d)$ 로 유계인가, 반면 비이동된 변환은 그렇지 않은가?
• RQ2 비이동된 Riesz 변환 $\mathcal{R}^d$ 가 $X^k(\bb X)$ 에서 $L^1(\bb X; T^d)$ 로 유계가 되기 위한 최소의 $k$ 는 무엇인가?
• RQ3 $\mathcal{R}^d$ 와 $\mathcal{R}_c^d$ 의 커널이 무한대에서 가지는 감쇠 성질이 $L^1$ 유계성에 어떻게 영향을 주는가?
• RQ4 $d=1$ 인 경우에 약한 유형 (1,1) 이지만, 왜 $\mathcal{R}^1$ 은 $H^1(\bb X)$ 에서 $L^1(\bb X; T^1)$ 로 유계가 아니며, 이는 무엇을 의미하는가?
• RQ5 비이동된 Riesz 변환의 엔드포인트 추정에서 $X^k(\bb X)$ 는 $H^1(\bb X)$ 를 어느 정도 대체로 사용할 수 있는가?

주요 결과

• 이동된 Riesz 변환 $\mathcal{R}_c^d$ 는 임의의 양의 정수 $d$ 에 대해 $H^1(\bb X)$ 에서 $L^1(\bb X; T^d)$ 로 유계이며, 이는 그 커널이 무한대에서 적분 가능하기 때문이다.
• 비이동된 Riesz 변환 $\mathcal{R}^d$ 는 $k \geq \lfloor(d+1)/2\rfloor$ 를 만족할 경우 $X^k(\bb X)$ 에서 $L^1(\bb X; T^d)$ 로 유계이며, 이는 날카로운 결과이다.
• 일차 Riesz 변환 $\mathcal{R}^1$ 은 $H^1(\bb X)$ 에서 $L^1(\bb X; T^1)$ 로 유계가 아니며, 이는 비이동된 연산자에 대해 $H^1(\bb X)$ 의 근본적인 한계를 보여준다.
• $\mathcal{R}^d$ 의 커널은 $H^1(\bb X)$ 에서의 $L^1$ 유계성을 보장하기에 너무 느리게 무한대에서 감쇠하나, 이동된 형태인 $\mathcal{R}_c^d$ 는 적분 가능한 커널을 지닌다.
• $X^k(\bb X)$ 는 비이동된 Riesz 변환에 대해 $H^1(\bb X)$ 보다 더 효과적인 엔드포인트 공간임이 입증되었으며, 이는 커널의 느린 감쇠를 반영한다.
• $\int_{\mathfrak{c}_\delta \cap \mathfrak{b}_{2R}^c} |H|^{(\sigma-\ell-1)/2} \mathrm{e}^{-|\rho||H|} \, \mathrm{d}H$ 의 발산은 특정한 $f$ 에 대해 $\mathcal{L}^{-\sigma/2}f \notin L^1(\bb X)$ 임을 확인하며, 이는 $\mathcal{R}^1$ 의 비유계성을 뒷받침한다.