[논문 리뷰] Shift-invariant Spaces with Countably Many Mutually Orthogonal Generators on the Heisenberg group

R. Radha, Saswata Adhikari|arXiv (Cornell University)|2017. 11. 18.

Mathematical Analysis and Transform Methods참고 문헌 1인용 수 9

한 줄 요약

이 논문은 군 푸리에 변환을 이용하여 히젠버그 군 위에서 가чёт수의 상호직교 생성자를 가진 이동 불변 공간을 특성화한다. 이러한 시스템이 정규직교 기저, 베셀 수열, 파르세발 프레임, 리에스 기저를 이루는 데 필요한 필수 및 필요충분 조건을 확립하며, 핵심 결과로는 이러한 성질이 생성자들이 군 푸리에 변환에 대해 어떻게 행동하는지와 새로 도입된 '조건 C'와의 연관성을 밝혀낸다.

ABSTRACT

Let $E(\mathscr{A})$ denote the shift-invariant space associated with a countable family $\mathscr{A}$ of functions in $L^{2}(\mathbb{H}^{n})$ with mutually orthogonal generators, where $\mathbb{H}^{n}$ denotes the Heisenberg group. The characterizations for the collection $E(\mathscr{A})$ to be orthonormal, Bessel sequence, Parseval frame and so on are obtained in terms of the group Fourier transform of the Heisenberg group. These results are derived using such type of results which were proved for twisted shift-invariant spaces and characterized in terms of Weyl transform. In the last section of the paper, some results on oblique dual of the left translates of a single function $φ$ is discussed in the context of principal shift-invariant space $V(φ)$.

연구 동기 및 목표

• 히젠버그 군 위에서 가чёт수의 상호직교 생성자를 가진 함수의 집합으로 생성되는 이동 불변 공간을 특성화하는 것.
• 이러한 시스템이 정규직교 기저, 베셀 수열, 파르세올 프레임 또는 리에스 기저를 이루는 조건을 규명하는 것.
• 히젠버그 군의 맥락에서 주요 이동 불변 공간에 대한 기울어진 쌍대 프레임을 조사하는 것.
• 프레임 성질과 생성자들의 군 푸리에 변환 간의 연결 고리를 확립하는 것.
• 특히 컴팩트 지지와 조건 C 하에서, $V(\varphi)$ 내의 단일 함수의 왼쪽 이동에 대한 기울어진 쌍대의 특성화를 제공하는 것.

제안 방법

• 히젠버그 군 위에서의 군 푸리에 변환을 활용하여 $L^2(\mathbb{H}^n)$의 함수들을 추적-클래스 연산자 값을 갖는 함수로 매핑한다.
• 함수 공간 $L^2(\mathbb{H}^n)$에서 $L^2((0,1], \ell^2(\mathbb{Z}, \mathcal{B}_2))$로의 사상 $\mathscr{T}$를 도입하며, 이는 등거리 동형사상이다.
• 왜얼 변환과 그 핵을 활용하여 왜곡된 이동 불변 공간을 분석하고, 저자들이 이전에 발표한 결과를 기반으로 한다.
• 각 생성자 $\varphi_j$에 대해 '조건 C'를 도입하여 군 푸리에 변환의 구조와의 호환성을 보장한다.
• 범위 함수 $\mathscr{T}\varphi_j(\lambda)$를 이용하여 $\ell^2(\mathbb{Z}, \mathcal{B}_2)$-값을 갖는 수열의 관점에서, フ레임, 리에스 기저, 정규직교 체계 성질을 특성화한다.
• 내적 $\widehat{\varphi}(\lambda)$와 $\widehat{\tilde{\varphi}}(\lambda)$가 연산자 공간 $\mathcal{B}_2$ 내에서 분석되어 기울어진 쌍대의 필요 및 충분 조건을 유도한다.

실험 결과

연구 질문

• RQ1 가чёт수의 집합 $\mathscr{A} = \{\varphi_j\}_{j\in\mathbb{N}}$의 왼쪽 이동 $E(\mathscr{A})$가 $L^2(\mathbb{H}^n)$에서 정규직교 체계가 되는 조건은 무엇인가?
• RQ2 언제 $E(\mathscr{A})$가 베셀 수열, 파르세올 프레임 또는 리에스 기저가 되며, 이러한 성질은 군 푸리에 변환을 통해 어떻게 특성화될 수 있는가?
• RQ3 Bessel 수열 $\{L_{(2k,l,m)}\tilde{\varphi}\}$가 $V(\varphi)$ 내에서 $\{L_{(2k,l,m)}\varphi\}$의 기울어진 쌍대가 되기 위한 필요 및 충분 조건은 무엇인가?
• RQ4 $\{L_{(2k,l,m)}\varphi\}$가 $V(\varphi)$에서 프레임을 이룬다면, 항상 $V(\varphi)$ 내에서 기울어진 쌍대 프레임을 구성할 수 있는가?
• RQ5 컴팩트 지지와 '조건 C'는 기울어진 쌍대의 특성화를 어떻게 단순화하는가?

주요 결과

• 모든 $\varphi_j$가 조건 C를 만족할 때, 시스템 $E(\mathscr{A})$는 $L^2(\mathbb{H}^n)$에서 정규직교 체계일 필요 및 충분 조건은 $\{\mathscr{T}\varphi_j(\lambda)\}_{j\in\mathbb{N}}$가 거의 모든 $\lambda \in (0,1]$ 에서 $\ell^2(\mathbb{Z}, \mathcal{B}_2)$ 에서 정규직교 체계를 이룰 것임을 의미한다.
• 시스템 $E(\mathscr{A})$는 $L^2(\mathbb{H}^n)$에서 베셀 수열일 필요 및 충분 조건은 거의 모든 $\lambda \in (0,1]$ 에서 $\{\mathscr{T}\varphi_j(\lambda)\}_{j\in\mathbb{N}}$ 가 $\ell^2(\mathbb{Z}, \mathcal{B}_2)$ 에서 베셀 수열이 되는 것이다.
• 시스템 $E(\mathscr{A})$는 $V(\mathscr{A})$에서 파르세올 프레임일 필요 및 충분 조건은 거의 모든 $\lambda \in \bigcap_{j\in\mathbb{N}} \Omega_{\varphi_j}$ 에서 $\{\mathscr{T}\varphi_j(\lambda)\}_{j\in\mathbb{N}}$ 가 $J(\lambda)$ 에서 파르세올 프레임이 되는 것이다.
• 시스템 $E(\mathscr{A})$는 $V(\mathscr{A})$에서 상한 $A$, 하한 $B$를 가진 리에스 기저일 필요 및 충분 조건은 거의 모든 $\lambda \in (0,1]$ 에서 $\{\mathscr{T}\varphi_j(\lambda)\}_{j\in\mathbb{N}}$ 가 $J(\lambda)$ 에서 상한 $A$, 하한 $B$를 가진 리에스 기저가 되는 것이다.
• $\{L_{(2k,l,m)}\varphi\}$ 가 $V(\varphi)$에서 프레임을 이룬다면, $\tilde{\varphi} \in V(\varphi)$ 가 존재하여 $\{L_{(2k,l,m)}\tilde{\varphi}\}$ 가 $\{L_{(2k,l,m)}\varphi\}$ 에 대한 기울어진 쌍대 프레임이 되며, 이때 $\tilde{\varphi} = S^{-1}\varphi$ 이고 $S$ 는 프레임 연산자이다.
• 컴팩트 지지를 가지며 조건 C를 만족하는 생성자에 대해서는 기울어진 쌍대 조건이 단순화된다: $\{L_{(2k,l,m)}\tilde{\varphi}\}$ 가 $\{L_{(2k,l,m)}\varphi\}$ 의 기울어진 쌍대일 필요 및 충분 조건은 $\langle \varphi, L_{(2k,l,m)}\tilde{\varphi} \rangle = \delta_{k,l,m,0}$ 를 만족하는 것이다.