[논문 리뷰] Construction of Continuous Frames in Hilbert spaces

Asghar Rahimi, Bayaz Daraby외 1명|arXiv (Cornell University)|2016. 06. 29.

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

한 줄 요약

이 논문은 측도 공간 $(\Omega, \mu)$ 와 힐버트 공간 차원에 대한 조건을 설정하여 분리 가능한 힐버트 공간에서 연속 프레임을 구성한다. $\mu(\Omega) < \infty$ 이고 $\dim\mathcal{H} < \infty$ 인 경우, 가측 분할 위에서 정규화를 통해 이산 베셀 수열을 연속 프레임으로 변환할 수 있으며, 이로 인해 명시적인 프레임 상한이 도출된다.

ABSTRACT

Extending the concept of frame to continuous frame, in this manuscript we will show that under certain conditions on the measure of $Ω$ and the dimension of $\h$ we can construct continuous frames. Also, some examples are given.

연구 동기 및 목표

• 측도론적 구성 방법을 사용하여 분리 가능한 힐버트 공간에서 이산 프레임의 개념을 연속 프레임으로 확장한다.
• 연속 프레임의 존재를 위한 측도 공간 $\Omega$ 와 힐버트 공간 $\mathcal{H}$ 에 대한 필요 및 충분 조건을 규명한다.
• 유한 측도와 유한 차원 제약 조건 하에서 이산 베셀 수열이 연속 프레임으로 재해석될 수 있음을 보여준다.
• 웨이블릿 및 갈버 시스템을 표준 모델로 사용하여 연속 프레임의 구성적 예를 제공한다.

제안 방법

• 약한 가측성과 프레임 상한 $A, B > 0$ 을 만족하는 방식으로 연속 프레임을 정의하며, 모든 $f \in \mathcal{H}$ 에 대해 $A\|f\|^2 \leq \int_\Omega |\langle f, F(\omega)\rangle|^2 d\mu(\omega) \leq B\|f\|^2$ 이 성립하도록 한다.
• 이산 베셀 수열 $\{f_k\}$ 에 대해 $\omega \in \Omega_k$ 인 경우 $F(\omega) = \frac{1}{\sqrt{\mu(\Omega_k)}} f_k$ 로 정의함으로써 $F: \Omega \to \mathcal{H}$ 를 구성한다.
• $\sigma$-유한성과 $\Omega$ 의 유한 측도를 이용하여 정규화 과정에서 프레임 성질과 상한이 유지됨을 보장한다.
• 프레임 연산자 $S_F$ 를 $S_F f = \int_\Omega \langle f, F(\omega)\rangle F(\omega) d\mu(\omega)$ 로 정의하여 재구성 공식을 도출한다.
• 연속 웨이블릿 변환과 짧은 시간 푸리에 변환(STFT)에 대한 기존 결과를 적용하여, 웨이블릿 및 갈버 시스템이 특정 측도에 대해 연속 프레임임을 보여준다.
• 구성된 $F$ 가 프레임 부등식을 만족함을 보이기 위해 적분을 분할된 집합들로 나누어 합으로 환원하고, 프레임 상한이 유지됨을 검증한다.

실험 결과

연구 질문

• RQ1 측도 공간 $\Omega$ 와 힐버트 공간 $\mathcal{H}$ 에 대해 어떤 조건이 이산 베셀 수열을 연속 프레임으로 변환할 수 있는가?
• RQ2 $\mu(\Omega)$ 와 $\mathcal{H}$ 의 차원이 연속 프레임의 존재에 어떤 영향을 미치는가?
• RQ3 웨이블릿 및 갈버 프레임과 같은 표준 신호 처리 시스템이 자연스럽게 연속 프레임으로 해석될 수 있는가?
• RQ4 원래 이산 수열의 프레임 상한과 결과로 얻어진 연속 프레임의 상한 사이의 관계는 무엇인가?
• RQ5 프리-프레임 및 분석 연산자는 연속 프레임의 유계성과 구조를 특성화하는 데 어떻게 활용될 수 있는가?

주요 결과

• $\mu(\Omega) < \infty$ 이고 $\dim\mathcal{H} < \infty$ 인 경우, 상한 $A, B$ 를 가진 이산 베셀 수열 $\{f_k\}$ 이 동일한 상한 $A$ 와 $B$ 를 갖는 연속 프레임 $F$ 를 유도한다.
• 구성된 연속 프레임은 모든 $f \in \mathcal{H}$ 에 대해 $\int_\Omega |\langle f, F(\omega)\rangle|^2 d\mu(\omega) = \sum_k |\langle f, f_k\rangle|^2$ 를 만족하며, 프레임 부등식이 유지된다.
• $\mu(\Omega) < \infty$ 이고 $\dim\mathcal{H} = \infty$ 인 경우, 하한이 없기 때문에 전면적인 연속 프레임이 아닌 단지 베셀 매핑만 존재한다.
• 적합한 웨이블릿 $\psi$ 를 가진 웨이블릿 시스템은 측도 $\frac{da\,db}{a^2}$ 에 대해 $L^2(\mathbb{R})$ 에서 연속 타이트 프레임을 이룬다. 이때 프레임 상한은 $1/C_\psi$ 이다.
• 갈버 시스템 $\{M_b T_a g\}$ 은 $\mathbb{R}^2$ 상의 르베그 측도에 대해 $L^2(\mathbb{R})$ 에서 연속 프레임을 이룬다. 이때 프레임 상한은 $\|g\|^2$ 이다.
• 프레임 연산자 $S_F$ 는 유계이며, 양의 정부호이고 가역적이며, 임의의 $f \in \mathcal{H}$ 를 $f = \int_\Omega \langle f, F(\omega)\rangle S_F^{-1}F(\omega) d\mu(\omega)$ 로 재구성할 수 있다.