[논문 리뷰] Slanted matrices, Banach frames, and sampling

Akram Aldroubi, А. Г. Баскаков외 1명|ArXiv.org|2007. 05. 29.

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

한 줄 요약

이 논문은 임의의 p ∈ [1, ∞]에 대해 ℓ^p 공간에서 기울인 행렬의 아래로의 유계성은 모든 p에 대해 아래로의 유계성을 암시함을 증명하며, 바나흐 프레임과 비정규 샘플링 분야에서 새로운 결과를 이끌어내었다. 기울인 행렬에 대한 비가환 위너의 보조정리도 증명하고, B스플라인 및 도함수가 제어 가능한 함수들에 의해 생성된 함수들에 대한 명시적 샘플링 한계를 도출하였다.

ABSTRACT

In this paper we present a rare combination of abstract results on the spectral properties of slanted matrices and some of their very specific applications to frame theory and sampling problems. We show that for a large class of slanted matrices boundedness below of the corresponding operator in $\ell^p$ for some $p$ implies boundedness below in $\ell^p$ for all $p$. We use the established resultto enrich our understanding of Banach frames and obtain new results for irregular sampling problems. We also present a version of a non-commutative Wiener's lemma for slanted matrices.

연구 동기 및 목표

• 기울인 행렬에 대한 일반적인 스펙트럼 성질을 확립하는 것: 어떤 p에 대해 ℓ^p에서의 아래로의 유계성이 모든 p에 대해 성립함을 보이는 것.
• 이 결과를 바나흐 프레임 이론과 함수 공간에서의 비정규 샘플링 이론을 강화하는 데 적용하는 것.
• 샘플링 조밀도와 함수의 정규성에 따라 샘플링 연산자의 명시적 하한을 도출하는 것.
• 기울인 행렬에 대한 비가환 위너의 보조정리를 증명하여 고전 결과를 비밴드, 구조화된 무한 행렬으로 일반화하는 것.
• 비정규 샘플링 집합이 모든 ℓ^p 및 L^p 공간에서 균일하게 안정적인 조건을 정량적으로 제공하는 것.

제안 방법

• 기울인 행렬을 Banach 공간 X_n와 Y_m 사이의 사상으로 정의하는 연산자 행렬 (a_{mn})로 정의하며, ℤ^d 상에서 인덱싱한다.
• 가중치 ℓ^p 노름과 하위multiplicative/Gelfand–Raikov–Shilov (GRS) 가중치를 사용하여 성장과 유계성을 제어한다.
• Schur 유형 테스트와 기울인 행렬에 대한 스펙트럼 국소화 기법을 통해 연산자 노름 추정을 수립한다.
• Paley–Wiener 공간과 컴팩트 지지를 가진 함수에 의해 생성된 이동 불변 공간에 이 이론을 적용한다.
• 적분 표현과 미적분학의 기본정리를 사용하여 계수와 도함수에 따라 함수의 점별 값을 유계한다.
• L^∞ 노름과 샘플링 메쉬 크기 γ(X)를 이용해 도함수의 점별 최댓값을 추정함으로써 샘플링 한계를 유도한다.

실험 결과

연구 질문

• RQ1 일반적인 p ∈ [1, ∞]에 대해 기울인 행렬이 ℓ^p에서 아래로의 유계성을 갖는다는 것은, 모든 ℓ^p 공간에서 아래로의 유계성을 암시하는가?
• RQ2 비정규 샘플링 집합이 모든 p ∈ {0} ∪ [1, ∞]에 대해 샘플링 집합이 되기 위한 조건은 무엇인가?
• RQ3 기울인 행렬에 대해 비가환 위너의 보조정리를 증명할 수 있는가? 이는 고전 결과를 일반화하는가?
• RQ4 샘플링 메쉬와 함수의 정규성에 따라 샘플링 연산자의 명시적 하한을 어떻게 도출할 수 있는가?
• RQ5 기울인 행렬의 스펙트럼 성질은 바나흐 프레임과 이동 불변 시스템에서 재구성의 안정성과 어떻게 관련되는가?

주요 결과

• 임의의 p ∈ [1, ∞]에 대해 기울인 행렬이 ℓ^p에서 아래로의 유계성을 갖는다는 것은, 모든 p에 대해 ℓ^p에서 아래로의 유계성을 암시함을 보이며, 이는 핵심적인 스펙트럼 불변 성질이다.
• φ ∈ W^1_ω이며, a‖c‖_∞ ≤ ‖∑c_k φ_k‖_∞ ≤ b‖c‖_∞ 및 ‖∑c_k φ''_k‖_∞ ≤ b''‖c‖_∞를 만족하는 경우, γ(X) < 2a/b' 이면 ℓ^∞에서 샘플링 하한이 존재한다.
• B스플라인 β₁에 대해 γ(X) < 1 이면 X는 V^0(β₁)에 대한 샘플링 집합이며 하한이 1 − γ(X)이며, 이 하한은 모든 p ∈ [1, ∞]에 대해 균일하게 성립한다.
• B스플라인 β₂에 대해 γ(X) < 1 이면 X는 V^0(β₂)에 대한 샘플링 집합이며 하한이 ½(1 − γ²(X))이며, 이 하한은 모든 p ∈ [1, ∞]에 대해 균일하게 성립한다.
• 논문은 기울인 행렬에 대해 비가환 위너의 보조정리를 증명하였으며, ℓ^p에서의 가역성이 모든 p에 걸쳐 균일하게 아래로의 유계성을 암시함을 보였다.
• 도함수 추정과 메쉬 크기 γ(X)를 사용하여, W^1_ω 또는 W^2_ω에 속하는 함수들에 대해 모든 p ∈ [1, ∞]에 대해 유효한 명시적 보편 샘플링 하한을 도출하였다.