[논문 리뷰] Convergence properties of spline-like cardinal interpolation operators acting on $l^p$ data

Jeff Ledford|arXiv (Cornell University)|2013. 12. 14.

Advanced Numerical Analysis Techniques참고 문헌 4인용 수 4

한 줄 요약

이 논문은 정수 샘플로부터 $L^p(\mathbb{R})$ 내 함수를 재구성하기 위해 스퍼린처럼 생긴 카디널 보간 연산자의 수렴성을 확립한다. 이는 특정 푸리에 도메인 조건을 만족하는 일반적인 보간자 클래스에 대해 성립한다. 함수의 스펙트럼 측도가 유계 변동성을 가지는 펠레이-위너 유형 공간에 속하는 경우, 매개수 $\alpha \to \infty$일 때 보간 오차의 $L^p$ 노름이 0으로 수렴함을 증명한다. 이는 고전적 샘플링 정리의 일반화로, 기묘한 차수의 스퍼린, 가우시안, 포아송 커널, 그리고 다중구점 함수를 포함한 넓은 범위의 커널에 적용된다.

ABSTRACT

If $f\in \{f\in L^p(\mathbb{R}): f(x)=\int_{-π}^πe^{ixξ}dβ(ξ), β\in B.V.([-π,π]) \}$, then $f$ is determined by its samples on the integers by taking an appropriate limit. Specifically, $\| f - L_{ϕ_α}f \|_{L^p(\mathbb{R})} o 0$ as $α o\infty$ provided that $\{ϕ_α: α\in A\}$ is what we call a spline-like family of cardinal interpolators.

연구 동기 및 목표

• 고전적 샘플링 정리를 스퍼인과 가우시안을 초월하는 일반적인 카디널 보간 연산자 클래스로 확장하기 위해.
• 유계 변동 스펙트럼 측도를 가진 펠레이-위너 유형 공간 내 함수에 대해 $\ell^p$ 데이터에 작용하는 보간 연산자의 $L^p$ 수렴성을 확립하기 위해.
• 스퍼링처럼 생긴 카디널 보간자라고 불리는 새로운 보간자 클래스를 정의하고, 그들의 푸리에 변환에 대해 균일한 유계성과 감쇠 조건을 특성화하기 위해.
• 기본적인 가족들인 기묘한 차수의 스퍼인, 가우시안, 포아송 커널, 다중구점 함수가 이 클래스에 속하고 수렴 조건을 만족함을 검증하기 위해.
• 커널의 푸리에 변환의 스펙트럼적 및 함수 해석적 성질에 기반한 $L^p$ 내 보간 연산자의 수렴을 통합적으로 다룰 수 있는 프레임워크를 제공하기 위해.

제안 방법

• 다음 네 가지 조건을 만족하는 보간자 $\phi_\alpha$ 의 가족을 정의한다: 천천히 증가하는 성장, $[-\pi,\pi]$ 내에서 양이고 유계인 푸리에 변환, 영을 제외한 곳에서 $C^1$ 정규성, 그리고 무한대에서 다항식 감쇠.
• 푸리에 변환을 통해 기본 함수 $L_{\phi_\alpha}$ 를 정의한다: $\hat{L}_{\phi_\alpha}(\xi) = (2\pi)^{-1/2} \frac{\hat{\phi}_\alpha(\xi)}{\sum_{j\in\mathbb{Z}} \hat{\phi}_\alpha(\xi + 2\pi j)}$, 이는 정수에서 크로네커 델타를 보간함을 보장한다.
• 모든 $f \in \ell^p$ 에 대해 보간 연산자 $\mathscr{I}_{\phi_\alpha}[f](x) = \sum_{j\in\mathbb{Z}} f(j) L_{\phi_\alpha}(x - j)$ 를 구성한다.
• 스펙트럼 감쇠와 균일한 유계성 분석을 위해 $|\xi| \leq \pi$ 에서 $\mathscr{M}[\hat{\phi}_\alpha]_j(\xi) = \frac{\hat{\phi}_\alpha(\xi + 2\pi j)}{\hat{\phi}_\alpha(\xi)}$ 라는 보조 함수를 도입한다.
• 네 가지 공리(균일한 $L^1$ 유계성, 혼합 힐버트 유형 합에 대한 조건 B2; 점별 거의 모든 곳에서 감쇠 조건 B3; 균일한 지배 조건 B4; 개별 커널 조건 B1)를 통해 '스퍼링처럼 생긴 가족' 조건을 수립한다.
• 수정된 비essel 함수에 대한 추정과 지수 감쇠를 사용하여 다중구점 함수 $\{(x^2 + c^2)^k\}$ 과 포아송 커널에 대해 조건을 검증한다.

실험 결과

연구 질문

• RQ1 유계 변동 스펙트럼 측도를 가진 펠레이-위너 공간 내 함수에 대해, $\alpha \to \infty$ 일 때 보간 오차 $\|f - L_{\phi_\alpha}f\|_{L^p(\mathbb{R})}$ 가 0으로 수렴하는가?
• RQ2 고전적 샘플링 정리는 기묘한 차수의 스퍼인과 가우시안을 초월하는 비스퍼인, 비가우시안 커널(다중구점 함수, 포아송 커널 포함)의 넓은 범위로 일반화될 수 있는가?
• RQ3 커널 $\phi_\alpha$ 에 대해 어떤 스펙트럼적 및 함수 해석적 조건이 $\ell^p$ 데이터에 대해 균일한 $L^p$ 수렴을 보장하는가?
• RQ4 포아송 커널과 다중구점 함수 가족 $\{(x^2 + c^2)^{k-1/2}\}$, $k \in \mathbb{N}$ 이 스퍼링처럼 생긴 보간자 클래스의 유효한 구성원이며 수렴 보장을 받는가?
• RQ5 보조 함수 $\mathscr{M}[\hat{\phi}_\alpha]_j(\xi)$ 는 균일한 유계성과 감쇠를 통해 수렴 행동을 어떻게 제어하는가?

주요 결과

• 모든 $f$ 가 공간 $\mathcal{A} = \{f \in L^p(\mathbb{R}) : f(x) = (2\pi)^{-1/2} \int_{-\pi}^{\pi} e^{ix\xi} d\beta(\xi), \beta \in BV([-π,\pi])\}$ 에 속할 때, 보간 오차의 $L^p$ 노름 $\|f - \mathscr{I}_{\phi_\alpha}[f]\|_{L^p(\mathbb{R})}$ 이 $\alpha \to \infty$ 일 때 0으로 수렴한다.
• 스퍼링처럼 생긴 카디널 보간자 클래스는 기묘한 차수의 카디널 스퍼인, 가우시안, 포아송 커널, 다중구점 함수 $\{(x^2 + c^2)^{k-1/2}\}$, $k \in \mathbb{N}$ 를 포함하며, 모두 수렴 조건을 만족한다.
• 다중구점 함수 가족 $\{(x^2 + c^2)^{k-1/2}\}$ 에 대해 수렴 결과는 새로운 것으로, $\mathscr{M}[\hat{\phi}_\alpha]_j(\xi)$ 에 대한 균일한 유계성과 수정된 비셀 함수를 이용한 감쇠 추정을 통해 확립되었다.
• 포아송 커널이 스퍼링처럼 생긴 가족 조건을 만족하며, 그 $L^p$ 수렴은 이 맥락에서 새로운 결과이다.
• 다중구점 함수와 포아송 커널에 대해, $\mathscr{M}[\hat{\phi}_\alpha]_j(\xi)$ 에 대한 지수 감쇠와 다항식 성장 추정을 사용하여 조건 (B2)의 균일한 $L^1$ 유계성이 검증되었다.
• 모든 고려된 가족에 대해 점별 거의 모든 곳에서 감쇠 조건 (B3)이 성립한다. 왜냐하면 $\alpha \to \infty$ 일 때 $j \neq 0$ 이면 $\mathscr{M}[\hat{\phi}_\alpha]_j(\xi) \to 0$ 이기 때문이다. 이는 스펙트럼 성분 간의 점차적인 수직성을 보장한다.