[論文レビュー] Heisenberg-Modulation Spaces at the Crossroads of Coorbit Theory and Decomposition Space Theory

Véronique Fischer, David Rottensteiner+1 more|arXiv (Cornell University)|Dec 19, 2018

Mathematical Analysis and Transform Methods被引用数 5

ひとこと要約

本稿では、3段階ノルム的であるDyin-Folland群の一般化されたユニタリ無限可約表現をR^{2n+1}に適用することにより、ヘイゼンベルク変調空間と呼ばれる関数空間の新クラスを導入する。共軌理論とVoigtlaenderの分解空間フレームワークを用いて、これらの空間が古典的変調空間およびBesov空間とは異なることを証明し、ノルム的Lie群上の調和解析における共軌理論と分解空間理論の間の新しい結びつきを確立する。

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.

研究の動機と目的

• ノルム的Lie群のうちヘイゼンベルク群を除く、平方可積分なユニタリ無限可約表現が、古典的変調空間とは異なる共軌空間を生成するかどうかを特定すること。
• Kirillovの軌道法を用いて、Dyin-Folland群H_{n,2}のすべてのユニタリ無限可約表現を分類すること。
• H_{n,2}の一般表現および非一般表現から生じる共軌空間を特徴付けること。
• 変調空間およびBesov空間とは異なる関数空間の新族、すなわちヘイゼンベルク変調空間を確立すること。
• Voigtlaenderの分解空間の機械を用いて、これらの新規空間と既知の関数空間との厳密な比較を提供すること。

提案手法

• 3段階ノルム的であるDyin-Folland群H_{n,2} = R^{2n+2} \rtimes H_nの射影的一般表現を用いて、R^{2n+1}上での一般化された時間周波数シフトを定義する。
• 共軌理論を用いて、一般表現から混合ノルムL^{\mathbf{p},\mathbf{q}}-型空間、すなわちヘイゼンベルク変調空間を構成する。
• Kirillovの軌道法を用いて、H_{n,2}のすべてのユニタリ無限可約表現（非一般を含む）を分類し、それに関連する共軌空間を特徴付ける。
• Voigtlaenderの最近の分解空間理論を活用し、周波数ドメインカバレッジと重みを用いて、新規空間と古典的関数空間を比較する。
• 周波数アニュラス上の\ell^p-空間における重みとノルムの漸近的挙動を分析することにより、厳密な埋め込みおよび非一致結果を確立する。
• H_{n,2}の半直積構造を用いて、解析を基本群とファイバー作用に分解し、関連するノルムおよび重みの明示的計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ノルム的Lie群のうちヘイゼンベルク群を除く、平方可積分なユニタリ無限可約表現が、古典的変調空間M^{\mathbf{p},\mathbf{q}}_{\mathbf{v}}(\mathbb{R}^{2n+1})とは異なる共軌空間を生成するか。
• RQ2 Dyin-Folland群H_{n,2}の一般表現から生じる共軌空間は、変調空間や同次Besov空間といった既知の関数空間と同型であるか。
• RQ3 Dyin-Folland群H_{n,2}のユニタリ無限可約表現の完全な分類は何か。また、それらに関連する共軌空間はどのように異なるか。
• RQ4 Voigtlaenderの分解空間フレームワークを用いて、新規のヘイゼンベルク変調空間を厳密に古典的関数空間と区別できるか。
• RQ5 ヘイゼンベルク変調空間とBesov空間のノルムが一致する条件は何か。これはそれらの構造にどのような含意を持つのか。

主な発見

• H_{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})とは厳密に異なる。
• ヘイゼンベルク変調空間は、\mathbf{p} = \mathbf{q} = 2であっても、周波数ドメインカバレッジおよび重み関数の相違により、同次Besov空間\dot{B}^{\mathbf{p},\mathbf{q}}_{\mathbf{s}}(\mathbb{R}^{2n+1})とも厳密に異なる。
• H_{n,2}の非一般表現に関連する共軌空間は、Kirillovの軌道法により完全に分類されており、群のユニタリ双対の完全な構造が明らかになる。
• ヘイゼンベルク変調空間の重み関数\mathbf{u}^{\mathbf{H}_n}_{\mathbf{s}}とBesov空間の重み関数\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}、Besov空間では\mathcal{O}_2 = \widehat{\mathbb{R}}^{2n+1} \setminus \{0\}である。このため、いかなる非自明な重み条件でもノルムの同値性は成立しない。