[논문 리뷰] Frames by Multiplication

Péter Balázs, Carlos Cabrelli외 2명|arXiv (Cornell University)|2010. 04. 08.

Mathematical Analysis and Transform Methods참고 문헌 21인용 수 4

한 줄 요약

이 논문은 주어진 함수열과 곱해진 함수로 구성된 수열의 프레임 및 리스 기저 성질을 조사한다. 특히 밴드린미티드 함수의 비정규 이동에 초점을 맞춘다. 이러한 곱셈이 프레임 성질을 유지하는 조건을 설정하고, 빗물 밀도 결과를 활용하여 비정규 이동을 통한 프레임의 존재성과 구성법을 증명한다.

ABSTRACT

In this note we study frame-related properties of a sequence of functions multiplied by another function. In particular we study frame and Riesz basis properties. We apply these results to sets of irregular translates of a bandlimited function $h$ in $L^2(\R^d)$. This is achieved by looking at a set of exponentials restricted to a set $E \subset \R^d$ with frequencies in a countable set $Λ$ and multiplying it by the Fourier transform of a fixed function $h \in L^2(E)$. Using density results due to Beurling, we prove the existence and give ways to construct frames by irregular translates.

연구 동기 및 목표

• 고정된 함수로 프레임 또는 베셀 수열을 곱할 때 그 프레임 또는 베셀 성질을 유지하는 조건을 특성화하는 것.
• L^2(R^d)에서 밴드린미티드 함수의 비정규 이동에 대한 프레임 및 리스 기저 성질을 조사하는 것.
• 이동 불변 공간 내 함수의 이동 수열로 구성된 프레임 수열의 존재를 위한 필요 및 충분 조건을 설정하는 것.
• 유계 집합 E ⊂ R^d에 제한된 지수 체계에 대한 함수 곱셈 결과를 적용하여, 이동 수열의 프레임 성질과 연결하는 것.
• 비정규 이동을 통한 프레임 수열의 존재성을 비정규 샘플링 이론의 빗물 밀도 정리에 기반하여 증명하는 것.

제안 방법

• 이동 수열을 조절하는 데 있어 푸리에 변환을 사용하여 주파수 도메인으로 문제를 변환한다.
• 코른-니레버그 대응을 적용하여 이동 수열의 프레임을 가바르 다중연산자 및 시간에 따라 변하는 필터와 연결한다.
• 비정규 이동 수열의 존재 조건을 확립하기 위해 비어링의 밀도 결과를 활용한다. P_E는 푸리에 변환의 지지집합이 유계 집합 E인 함수들의 공간이다.
• 푸리에 변환의 지지집합이 E인 함수 h에 대해, E 위에서의 수열 {e^{-2πiλ_k x}}에 h를 곱한 결과를 분석하여, 프레임 성질 유지 조건을 {h}의 푸리에 변환에 대한 조건으로 이끌어낸다.
• 수열 {T_{λ_k} h_j}의 합집합이 P_{∪_j E_j}에서 프레임을 이룰 조건으로, ∑_j |ĥ_j(ω)|^2가 ∪_j E_j 위에서 거의 모든 점에서 0 < p ≤ ∑_j |ĥ_j(ω)|^2 ≤ P < ∞를 만족하는 것이 필요하고 충분함을 도출한다.
• 힐버트 공간에서의 쌍대성과 사영 기법을 사용하여 곱셈과 이동에 의한 안정성 및 프레임 경계를 증명한다.

실험 결과

연구 질문

• RQ1 고정된 함수로 프레임 수열을 곱할 때 어떤 조건에서 또 다른 프레임 수열이 되는가?
• RQ2 밴드린미티드 함수의 비정규 이동이 유계 집합 E의 푸리에 변환 지지집합을 가진 함수 공간에서 프레임을 이룰 수 있는가?
• RQ3 해당 지수 체계가 E에서 프레임을 이룬다면, P_E에서 비정규 이동 수열로 프레임을 구성할 수 있는가?
• RQ4 생성 함수의 푸리에 변환의 L^2-노름이 곱셈에 의한 프레임 성질 유지에 어떤 역할을 하는가?
• RQ5 원래 지수 체계의 프레임 경계와 곱셈 이후 이동 수열의 프레임 경계 사이의 관계는 어떠한가?

주요 결과

• 모든 유계 집합 E ⊂ R^d와 P_E에 속하는 적분 가능 함수 h에 대해, {h(⋅ - λ_k)}_k∈K는 P_E에서 프레임가 될 수 없다. 이는 {e^{-2πiλ_k x}}가 L^2(E)에서 프레임을 이룬다고 해도 마찬가지다.
• P_E에 속하지 않는 스웨르츠 클래스 함수 h를 선택하여, 약간 더 큰 집합 {λ'_k}에서의 이동 수열이 P_E에서 프레임을 이룰 수 있다.
• 수열 {T_{λ_k} h_j}_{k∈K, j∈J}가 P_{∪_j E_j}에서 프레임을 이룰 필요와 충분 조건은, ∪_j E_j 위에서 거의 모든 점에서 0 < p ≤ ∑_j |ĥ_j(ω)|^2 ≤ P < ∞를 만족하는 것이다.
• 만약 {e_{λ_k} χ_{E_j}}가 L^2(E_j)에서 일관된 프레임 경계 m_j ≥ m > 0 및 M_j ≤ M < ∞를 가진다면, 이동 수열의 프레임 경계는 MP 및 mp로 제어된다.
• 이동 수열의 하한 프레임 경계는 α ≥ m · inf ∑_j |ĥ_j(ω)|^2로 아래bound되며, 상한 경계는 M · sup ∑_j |ĥ_j(ω)|^2로 위bound된다. 이는 ĥ_j의 L^2-노름에 의존함을 보여준다.
• 필요성 증명은 반증 기반의 추론을 사용한다. L^2-노름이 점점 줄어드는 집합 A_n에 지지되는 함수 f_n의 수열을 구성하여, ∑_j |ĥ_j(ω)|^2가 양의 측도를 가진 집합에서 너무 작다면 하한 프레임 경계가 0에서 멀리 떨어져 있을 수 없다는 것을 보여준다.