[논문 리뷰] Heisenberg-Modulation Spaces at the Crossroads of Coorbit Theory and Decomposition Space Theory

Véronique Fischer, David Rottensteiner외 1명|arXiv (Cornell University)|2018. 12. 19.

Mathematical Analysis and Transform Methods인용 수 5

한 줄 요약

이 논문은 3단계 비아벨리안 다이닌-폴란드 군의 일반적인 단위(unitary) 무작위 표현을 $ℝ^{2n+1}$에 적용하여 새로운 함수 공간의 클래스인 히젠베르크-조절 공간(Heisenberg-modulation spaces)을 도입한다. 공역 이론(coorbit theory)과 데오프트라우엔더(Voigtlaender)의 분해 공간 프레임워크를 활용하여, 이러한 공간들이 고전적 조절 공간 및 베소프 공간들과 다름을 증명함으로써, 비아벨리안 리 군에서의 조화 분석에서 공역 이론과 분해 공간 이론 사이에 새로운 연결 고리를 설정한다.

ABSTRACT

We show that generalised time-frequency shifts on the Heisenberg group $\\mathbf{H}_n \\cong \\mathbb{R}^{2n+1}$, realised as a unitary irreducible representation of a nilpotent Lie group acting on $L^{2}(\\mathbf{H}_n)$, give rise to a novel type of function spaces on $\\mathbb{R}^{2n+1}$. The representation we employ is the generic unitary irreducible representation of the $3$-step nilpotent Dynin-Folland group. In doing so, we answer the question whether representations of nilpotent Lie groups ever yield coorbit spaces distinct from the classical modulation spaces $M^{\\mathbf{p}, \\mathbf{q}}_{\\mathbf{v}}(\\mathbb{R}^{2n+1}), n \\in \\mathbb{N}$, and also introduce a new member to the zoo of decomposition spaces. As our analysis and proof of novelty make heavy use of coorbit theory and decomposition space theory, in particular Voigtlaender's recent contributions to the latter, we give a complete classification of the unitary irreducible representations of the Dynin-Folland group and also characterise the coorbit spaces related to the non-generic unitary irreducible representations.

연구 동기 및 목표

• 비아벨리안 리 군에서 히젠베르크 군을 제외한 정사각형 적분 가능한 단위 무작위 표현이 고전적 조절 공간과 다른 공역 공간을 생성할 수 있는지 규명하는 것.
• 키릴로프의 궤적 방법을 사용하여 다이닌-폴란드 군 $ℝ_{n,2}$의 모든 단위 무작위 표현을 분류하는 것.
• 일반적 및 비일반적 표현에 기반한 공역 공간의 특성화.
• 조절 공간 또는 베소프 공간이 아닌 새로운 함수 공간의 가족인 히젠베르크-조절 공간을 설정하는 것.
• 베오프트라우엔더의 분해 공간 기계를 활용하여 이 새로운 공간들과 기존의 함수 공간들 간의 엄밀한 비교를 제공하는 것.

제안 방법

• 3단계 비아벨리안 다이닌-폴란드 군 $ℝ_{n,2} = ℝ^{2n+2} \rtimes ℝ_n$의 사영적 일반 표현을 사용하여 $ℝ^{2n+1}$에서 일반화된 시간-주파수 이동을 정의하는 것.
• 공역 이론을 적용하여 일반 표현에서 유도된 혼합 노름 $L^{\mathbf{p},\mathbf{q}}$-유형 공간, 즉 히젠베르크-조절 공간을 구성하는 것.
• 키릴로프의 궤적 방법을 사용하여 $ℝ_{n,2}$의 모든 무작위 표현(비일반적 포함)을 분류하고, 관련된 공역 공간의 특성화.
• 베오프트라우엔더의 최신 분해 공간 이론을 활용하여 주파수 도메인 커버링과 가중치를 통해 새로운 공간들을 고전적 함수 공간들과 비교하는 것.
• 주파수 링에서의 가중치 및 노름의 渐近적 행동을 분석함으로써 엄격한 포함관계 및 공존하지 않는 결과를 도출하는 것.
• $ℝ_{n,2}$의 반직접곱 구조를 활용하여 분석을 기본 군과 피브어 동작으로 분해함으로써 관련 노름과 가중치의 명시적 계산을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 히젠베르크 군을 제외한 비아벨리안 리 군의 정사각형 적분 가능한 단위 무작위 표현이 고전적 조절 공간 $M^{\mathbf{p},\mathbf{q}}_{\mathbf{v}}(\mathbb{R}^{2n+1})$과 다른 공역 공간을 생성할 수 있는가?
• RQ2 다이닌-폴란드 군 $ℝ_{n,2}$의 일반 표현에서 유도된 공역 공간이 조절 공간 또는 동차 베소프 공간과 같은 알려진 함수 공간과 동형인지 여부는 무엇인가?
• RQ3 다이닌-폴란드 군 $ℝ_{n,2}$의 단위 무작위 표현의 완전한 분류는 무엇이며, 이들의 관련 공역 공간은 어떻게 다를 수 있는가?
• RQ4 베오프트라우엔더의 분해 공간 프레임워크를 사용하여 새로운 히젠베르크-조절 공간을 고전적 함수 공간들과 엄밀히 구별할 수 있는가?
• RQ5 히젠베르크-조절 공간과 베소프 공간의 노름이 언제 일치하는가? 이는 그들의 구조에 대해 어떤 의미를 갖는다?

주요 결과

• 다이닌-폴란드 군 $ℝ_{n,2}$의 일반 표현에서 유도된 히젠베르크-조절 공간 $E^{\mathbf{p},\mathbf{q}}_{\mathbf{s}}(\mathbb{R}^{2n+1})$는 모든 $\mathbf{p}, \mathbf{q} \in [1,\infty]$, $\mathbf{s} \in \mathbb{R}$에 대해 고전적 조절 공간 $M^{\mathbf{p},\mathbf{q}}_{\mathbf{v}}(\mathbb{R}^{2n+1})$과 엄격히 다름을 보인다.
• 히젠베르크-조절 공간은 동차 베소프 공간 $\dot{B}^{\mathbf{p},\mathbf{q}}_{\mathbf{s}}(\mathbb{R}^{2n+1})$과도 엄격히 다름을 보이며, $\mathbf{p} = \mathbf{q} = 2$일 때조차 주파수 도메인 커버링과 가중치 함수의 다름으로 인해 그렇다.
• 비일반적 표현에 기반한 공역 공간은 키릴로프의 궤적 방법을 통해 완전히 분류되었으며, 군의 단위 이중성의 완전한 구조를 드러낸다.
• 히젠베르크-조절 공간의 가중치 함수 $\mathbf{u}^{\mathbf{H}_n}_{\mathbf{s}}$와 베소프 공간의 가중치 함수 $\mathbf{u}^{hD}_{\mathbf{s}}$는 절대 渐近적으로 등가가 아니며, 이는 노름 등가성을 방지한다.
• 모든 $\mathbf{p}, \mathbf{q} \in [1,\infty]$ 및 모든 $\mathbf{s} \leq 0$에 대해 엄격한 포함관계 $E^{\mathbf{p},\mathbf{q}}_{0}(\mathbb{R}^{2n+1}) \hookrightarrow \dot{B}^{\mathbf{p},\mathbf{q}}_{\mathbf{s}}(\mathbb{R}^{2n+1})$ 가 성립하며, $\ell^\infty$에서의 가중치 $2^{k\mathbf{s}}$의 감쇠로 인해 포함관계가 진정한 포함관계이다.
• 증명은 주파수 커버링의 비등가성에 기반한다: 히젠베르크-조절 공간의 경우 $\mathcal{O}_1 = \widehat{\mathbb{R}}^{2n+1}$, 베소프 공간의 경우 $\mathcal{O}_2 = \widehat{\mathbb{R}}^{2n+1} \setminus \{0\}$이며, 이는 어떤 비자명한 가중치 조건에서도 노름 등가성을 방지한다.