칼데론 합 공식의 파동계 시스템 적용

초록

본 논문은 파동계 함수 ψ가 모든 상대적으로 분리된 집합에 대해 Bessel 성질을 만족하는 조건(Bπ)을 만족하면, 임의의 팽창·전이 행렬 A, P에 대해 정규직교 파동계 기반의 칼데론 합 공식
(\sum_{j\in\mathbb Z}|\widehat\psi((A^{\mathsf T})^{j}\xi)|^{2}=|\det P|)
이 거의 모든 ξ에 대해 성립함을 증명한다. 이를 위해 반연속 파동계 변환의 노름을 이산 프레임 경계와 점 집합의 co‑volume 사이의 새로운 부등식으로 연결한다.

상세 분석

논문은 먼저 G = ℝᵈ ⋊ ⟨A⟩라는 반직접곱군을 도입하고, π(x,Aʲ)ψ = |det A|^{-j/2} ψ(A^{-j}(·−x)) 로 정의된 반연속 파동계 표현을 고려한다. ψ가 Bπ에 속한다는 가정은, 즉 ψ가 G의 모든 상대적으로 분리된 집합 Λ에 대해 {π(λ)ψ}_{λ∈Λ}가 Bessel 시퀀스가 됨을 의미한다. 이는 기존 군표현 프레임 이론에서 흔히 쓰이는 가정이며, ψ가 충분히 부드럽고 급격히 감소하면 자동으로 만족한다.

주요 정리 1.2는 두 단계로 증명된다. 첫 단계에서는 이산 파동계 시스템 {π(AʲPᵏ,Aʲ)ψ}{j∈ℤ,k∈ℤᵈ}가 Parseval 프레임이면, 동일한 ψ에 대해 반연속 시스템 {π(x,Aʲ)ψ}{x∈ℝᵈ,j∈ℤ}가 tight 프레임이 됨을 보인다. 이를 위해 점 집합 Λ = {(AʲPᵏ,Aʲ)}를 Delone 집합으로 보고, 그 hull Ω(Λ) 위의 불변 확률 측도 ν를 이용해 co‑volume covol_ν(Λ)를 정의한다. Proposition 2.3은 Λ가 U‑discrete이면 covol_ν(Λ) ≥ μ_G(U), Λ가 K‑dense이면 covol_ν(Λ) ≤ μ_G(K) 라는 두-sided 추정식을 제공한다.

다음 단계에서는 wavelet 변환 C_ψf(g)=⟨f,π(g)ψ⟩의 L²‑노름을 이산 프레임 경계와 covol_ν(Λ) 사이에 끼워 넣는다. 구체적으로, Lemma 3.4와 Corollary 3.6을 이용해
(c_1,|f|^2 \le \int_G |C_ψf(g)|^2,dg \le c_2,|f|^2)
를 얻으며, 여기서 c₁·c₂는 각각 하한·상한 프레임 상수와 covol_ν(Λ)의 곱으로 표현된다. Parseval 프레임이면 c₁=c₂=1이 되므로 반연속 시스템이 정확히 tight 프레임임을 확인한다.

tight 프레임이 되면 푸리에 변환을 취해
(\int_{\mathbb R^d} |\widehat\psi((A^{\mathsf T})^{j}\xi)|^2,d\xi = |\det P|)
가 도출되고, 이는 거의 모든 ξ에 대해 Σ_j |ψ̂((A^{\mathsf T})^{j}ξ)|² = |det P| 라는 칼데론 합 공식으로 귀결된다.

또한 Corollary 1.3은 tight 프레임이 존재하려면 |det A|=1이어야 함을 보이며, 이는 기존 결과(예: