[論文レビュー] Integrable wavelet transforms with abelian dilation groups

Bradley Currey, Hartmut Führ+1 more|arXiv (Cornell University)|Jul 10, 2015

Mathematical Analysis and Transform Methods参考文献 19被引用数 9

ひとこと要約

本稿では、$ℝ^n$ 上に作用するアーベル型拡大群に関連するウェーブレット変換の可積分性の基準を確立し、問題を最大次元の共伴軌道の軌道空間内のコンパクトな開集合の特定に還元する。主な結果は、3次元における連結アーベル行列群の可積分ウェーブレットを特徴付けるものである。

ABSTRACT

We consider a class of semidirect products $G = \mathbb{R}^n times H$, with $H$ a suitably chosen abelian matrix group. The choice of $H$ ensures that there is a wavelet inversion formula, and we are looking for criteria to decide under which conditions there exists a wavelet such that the associated reproducing kernel is integrable. It is well-known that the existence of integrable wavelet coefficients is related to the question whether the unitary dual of $G$ contains open compact sets. Our main general result reduces the latter problem to that of identifying compact open sets in the quotient space of all orbits of maximal dimension under the dual action of $H$ on $\mathbb{R}^n$. This result is applied to study integrability for certain families of dilation groups; in particular, we give a characterization valid for connected abelian matrix groups acting in dimension three.

研究の動機と目的

• 半直積 $G = \mathbb{R}^n \rtimes H$ に関連する擬正則表現が可積分な適応可能なベクトルをもつための条件を同定すること。
• 可積分なウェーブレット係数の存在がユニタリ双対 $\widehat{G}$ の位相、特にコンパクトな開集合の存在とどのように関連するかを特定すること。
• 可積分性の問題を、$\mathbb{R}^n$ 内の最大次元の $H^T$-軌道の軌道空間に還元すること。
• 連結アーベル行列群が $\mathbb{R}^3$ 上に作用する場合の可積分性を完全に特徴付けること。

提案手法

• 群 $G = \mathbb{R}^n \rtimes H$ 上の擬正則表現 $\pi$ を $L^2(\mathbb{R}^n)$ に定義し、$\pi(x,h)f(y) = |\det h|^{-1} f(h^{-1}(y - x))$ と表す。
• 連続ウェーブレット変換 $V_\eta f(x,h) = \langle f, \pi(x,h)\eta \rangle$ を定義し、$V_\eta$ が $L^2(G)$ に等長写像であるとき $\eta$ を適応可能と呼ぶ。
• 可積分な適応可能ベクトルの概念を $\Delta_G^{-1/2} V_\eta \eta \in L^1(G)$ を用いて導入し、可積分性を群代数 $L^1(G)$ 内の射影と関連付ける。
• そのような射影のフーリエ変換のスペクトルがユニタリ双対 $\widehat{G}$ のコンパクトな開部分集合でなければならないという必要条件を適用する。
• $H$ の双対作用 $h \cdot x = h^{-T}x$ を用いて、$\mathbb{R}^n$ 内の最大次元の $H^T$-軌道の商空間を研究することで、問題を簡略化する。
• 連結アーベル行列群で正の実数固有値をもつものにこの基準を適用し、特に3次元に焦点を当て、軌道の層化 $\mathcal{O}_i = \{x \in \mathbb{R}^n : \dim(H^T x) = i\}$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 群 $G = \mathbb{R}^n \rtimes H$ の擬正則表現が可積分な適応可能ベクトルをもつための条件は何か？
• RQ2 ユニタリ双対 $\widehat{G}$ にコンパクトな開集合が存在することは、ウェーブレット変換の可積分性とどのように関連するか？
• RQ3 共伴軌道空間の位相的および幾何的性質は、アーベル型拡大群の可積分性をどのように決定づけるか？
• RQ4 連結アーベル行列群が $\mathbb{R}^3$ 上に作用する場合、可積分性条件を完全に特徴付けることができるか？
• RQ5 最大次元の軌道における双対作用の自由性は、可積分性基準において果たす役割は何か？

主な発見

• ユニタリ双対 $\widehat{G}$ にコンパクトな開集合が存在することは、$L^1(G)$ 内の射影が存在するための必要条件であり、これは可積分な適応可能ベクトルの存在と同値である。
• 可積分性の問題は、$H^T$-軌道の最大次元部分の商空間内でのコンパクトな開集合の特定に還元される。
• 正の実数固有値をもつ連結アーベル行列群 $H$ に対して、可積分性は、軌道空間 $\mathcal{O}_d / H^T$ の構造によって特徴づけられる。ここで $d = \dim H$ である。
• 3次元において、本稿は、このような拡大群に対して可積分ウェーブレット変換を完全に特徴づけるものであり、共伴軌道の幾何に基づく。
• $\mathcal{O}_d$ は空でなく、ザリスキ開集合であり、双対作用は $\mathcal{O}_d$ 上ほとんど everywhere で自由であるため、標準的基準のもとで適応可能性が保証される。
• 証明技法は、発散するパrameterをもつ軌道の列を構成し、行列係数の漸近的挙動の分析を用いて、軌道の閉包が非コンパクトであることを導く背理法的アプローチである。