[논문 리뷰] The continuous nonstationary Gabor transform on LCA groups with applications to representations of the affine Weyl-Heisenberg group

Michael Speckbacher, Péter Balázs|arXiv (Cornell University)|2014. 07. 25.

Mathematical Analysis and Transform Methods참고 문헌 26인용 수 5

한 줄 요약

이 논문은 국소 콪트 아벨(LCA) 군 위의 연속 프레임의 일반화로 재생 쌍을 도입하여 연속 비정적 가우버 변환에 대한 통합된 프레임워크를 가능하게 한다. 이러한 시스템이 연속 프레임 또는 재생 쌍을 형성할 조건을 규명하고, 프레임/해결 연산자를 푸리에 승수로 식별하며, 모든 시스템이 항등 항차 해석 연산자를 갖는 쌍을 갖지 못함을 보여주는 반례를 제공한다. 특히, $L^2(\mathbb{R})$에서 아핀 와이어-헤이젠베르크 군의 유니터리 궤적은 그러한 쌍을 지지하지 못한다.

ABSTRACT

In this paper we introduce and investigate the concept of reproducing pairs which generalizes continuous frames. We will introduce a concept that represents a unifying way to look at certain continuous frames (resp. reproducing pairs) on LCA groups, which can be described as continuous nonstationary Gabor systems and investigate conditions for these systems to form a continuous frame (resp. reproducing pair). As a byproduct we identify the structure of the frame operator (resp. resolution operator). Moreover, we ask the question, whether there always exist mutually dual systems with the same structure such that the resolution operator is given by the identity, i.e. given $A:X ightarrow B(\mathcal{H})$, if there exist $ψ,φ\in\mathcal{H}$, s.t. \begin{equation*} f=\int_X \langle f,A(x)ψ angle A(x)φdμ(x),\ \ \forall f\in \mathcal{H} \end{equation*} and show that the answer is not affirmative. As a counterexample we use a system generated by a unitary action of a subset of the affine Weyl-Heisenberg group in $L^2(\mathbb{R})$.

연구 동기 및 목표

• LCA 군 위의 시스템에 대해 재생 쌍의 개념을 사용하여 연속 프레임을 일반화하기.
• 연속 비정적 가우버 시스템이 연속 프레임 또는 재생 쌍을 형성할 조건을 조사하기.
• 주어진 시스템 구조에 대해, 해석 연산자가 항등일 경우에 해당하는 이중 시스템이 존재하는지 여부를 규명하기.
• 푸리에 승수의 관점에서 프레임/해결 연산자의 구조를 분석하기.
• 모든 시스템이 항등 항차 해석 연산자를 갖는 이중을 지닌다는 것을 보여주는 반례 제공하기.

제안 방법

• 재생 쌍의 개념을 도입하고 형식화하여, 단일 프레임 사상 대신 분석과 합성에 대한 두 개의 사상으로 일반화된 연속 프레임을 대체한다.
• LCA 군 위의 푸리에 분석을 적용하여 프레임/해결 연산자가 푸리에 승수임을 보장하는 충분조건을 도출한다.
• 푸리에 변환을 사용하여 연속 비정적 가우버 변환을 커플렉션 형태로 재기록함으로써 쌍대성 및 승수 이론의 적용을 가능하게 한다.
• 생성 함수의 푸리에 변환으로부터 유도된 기호 $m_{\Psi,\Phi}(\xi)$를 갖는 적분 연산자로 프레임 연산자 $C_{\Psi,\Phi}$를 정의한다.
• 특정 예시를 구성하여, $L^2(\mathbb{R})$에서 아핀 와이어-헤이젠베르크 군의 부분집합의 유니터리 작용을 바탕으로, 항등 항차 이중의 존재 여부를 시험한다.
• 리만 적분의 미분 정리와 측도 이론적 추론을 적용하여, 항차 기호가 항상 1이어야 할 경우, 그러한 이중 시스템이 존재하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 모든 LCA 군 위의 연속 비정적 가우버 시스템이 해석 연산자가 항등인 이중 시스템을 갖는가?
• RQ2 주어진 LCA 군 위의 시스템 구조에 대해 재생 쌍이 존재하는 조건은 무엇인가?
• RQ3 연속 비정적 가우버 시스템의 프레임 연산자는 항상 푸리에 승수로 표현 가능한가?
• RQ4 분석 및 합성 사상은 해석 연산자가 가역적이며, 특정 형태(예: $\lambda I$)를 갖도록 선택할 수 있는가?
• RQ5 특히 Bessel 수열과 프레임 상한과의 관계에서 재생 쌍의 구조적 제약은 무엇인가?

주요 결과

• $L^2(\mathbb{R})$에서 아핀 와이어-헤이젠베르크 군에 의해 생성되는 연속 비정적 가우버 시스템 중에는 심지어 동일한 구조의 이중 시스템이 존재하더라도 해석 연산자가 항등이 될 수 없는 경우가 존재한다.
• 재생 쌍에 대한 해석 연산자 $C_{\Psi,\Phi}$는 기호 $m_{\Psi,\Phi}(\xi)$를 갖는 푸리에 승수로 특성화되며, 이 기호는 생성 함수의 푸리에 변환으로부터 명시적으로 계산 가능하다.
• 반례 시스템의 경우 기호 $m_{\Psi,\Phi}(\xi)$는 유계이고 연속적이지만, 이것이 항상 1이 될 수는 없다. 왜냐하면 이는 $[-1,1]$에서 거의 모든 곳에서 $\hat{\psi}(\xi)\hat{\varphi}(\xi)$가 0이 되게 하여, $m_{\Psi,\Phi}(\xi) = 1$이 요구되는 조건과 모순되기 때문이다.
• 분석 연산자 $V_\Psi$의 궤적은 일부 $f \in L^2(\mathbb{R})$를 $L^2(\mathbb{R}^2, \mu)$ 밖의 함수로 보낼 수 있으며, 이는 $V_\Psi f$가 항상 제곱-integrable이 아님을 시사한다.
• 재생 쌍의 각 성분이 Bessel 수열일 필요는 없다. 예를 들어, $\Psi$와 $\Phi$의 푸리에 기호가 유계가 아니어도, 그들의 조합된 기호 $m_{\Psi,\Phi}$는 여전히 유계일 수 있다.
• 프레임 연산자 $C_{\Psi,\Phi}$는 기호 $m_{\Psi,\Phi}(\xi)$가 거의 모든 곳에서 0으로부터 유계일 때에만 가역적이며, 이는 해석이 가역임을 위한 필수 및 충분조건이다.