[논문 리뷰] $p$-Adic multiresolution analysis and wavelet frames

Sergio Albeverio, С. А. Евдокимов외 1명|ArXiv.org|2008. 02. 08.

advanced mathematical theories참고 문헌 4인용 수 6

한 줄 요약

이 논문은 $p$-진 다중해상 분석(MRA)의 완전한 특성화를 수립하며, 수직 스케일링 함수로 사용될 수 있는 것은 오직 1-주기 함수뿐임을 증명한다. 또한 임의의 MRA로부터 웨이브렛 프레임을 체계적으로 구성하는 방법을 개발하여, 모든 웨이브렛 함수가 $p$-진 웨이브렛 프레임을 생성함을 보이며, Kozyrev의 이전 연구에서 다룬 컴팩트 지지 웨이브렛을 확장한다.

ABSTRACT

We study $p$-adic multiresolution analyses (MRAs). A complete characterisation of test functions generating MRAs (scaling functions) is given. We prove that only 1-periodic test functions may be taken as orthogonal scaling functions. We also suggest a method for the construction of wavelet functions and prove that any wavelet function generates a $p$-adic wavelet frame.

연구 동기 및 목표

• $p$-진 다중해상 분석(MRA)을 생성하는 테스트 함수의 클래스를 완전히 특성화하고, 특히 수직 스케일링 함수로 사용될 수 있는 함수를 특정하는 것.
• 모든 $p$-진 MRA에서 수직 스케일링 함수로 사용될 수 있는 것은 오직 1-주기 함수뿐이라는 추측을 해결하여, 이것이 수직성의 필수 조건임을 확인하는 것.
• 임의의 주어진 $p$-진 MRA로부터 웨이브렛 함수와 웨이브렛 프레임을 체계적으로 구성하는 일반적인 방법을 개발하는 것, 수직성 여부와는 무관하게.
• Kozyrev의 $p$-진 웨이브렛 기저 구성 방식을 확장하여, MRA 프레임워크에서 웨이브렛 프레임을 체계적으로 생성할 수 있음을 보여주는 것.

제안 방법

• 저자들은 $\mathbb{Q}_p$ 위에서의 푸리에 변환과 국소적으로 상수인 컴팩트 지지 함수(테스트 함수)의 성질을 이용하여 정밀화 방정식을 분석한다.
• 스케일링 함수 $\phi$의 푸리에 변환과 마스크 함수 $m_0$ 사이의 관계를 고려하여, $\widehat{\phi}(\xi) = m_0(\xi)\widehat{\phi}(p\xi)$라는 식을 통해 정밀화 성질을 특성화한다.
• 웨이브렛 함수의 구성은 $\widehat{\psi}(\xi) = n_0(\xi)\widehat{\phi}(p\xi)$를 만족하는 웨이브렛 마스크 $n_0$를 정의하는 데 기반하며, 이는 웨이브렛 함수가 스케일링 공간과 수직임을 보장한다.
• 웨이브렛 시스템이 프레임을 이룰 수 있도록 보장하기 위해, $\phi$와 $\psi$의 푸리에 변환들이 주파수 도메인에서 수직 조건을 만족함을 검증하며, 특히 이중점에서 내적의 소멸을 중심으로 한다.
• 핵심 기술적 단계로는 식 (5.6)과 (5.7)에서 유도된 선형 방정식계가 마스크 $m_0$와 $n_0$가 관련 다항식의 공통 근이 없도록 선택될 경우 해를 가짐을 보이는 것이다.
• 계수 행렬의 결과행렬을 사용하여 선형계의 역행렬 가능성을 증명함으로써, 웨이브렛 시스템이 필요한 수직 보완 공간 $W_0$를 생성함을 보장한다.

실험 결과

연구 질문

• RQ1 어떤 테스트 함수가 수직 $p$-진 다중해상 분석을 생성할 수 있으며, 그들이 가져야 할 필수 구조적 성질은 무엇인가?
• RQ2 스케일링 함수가 수직이 아니더라도, 임의의 $p$-진 MRA로부터 웨이브렛 프레임을 체계적으로 구성할 수 있는가?
• RQ3 주어진 MRA로부터 웨이브렛 함수를 구성할 수 있으며, 그 결과 시스템이 $L^2(\mathbb{Q}_p)$에서 프레임을 이룰 수 있는가?
• RQ4 주기성은 $p$-진 스케일링 함수에서 어떤 역할을 하는가? 왜 수직 스케일링 함수는 반드시 1-주기여야 하는가?
• RQ5 $m_0$와 $n_0$ 마스크는 웨이브렛 구성과 어떻게 관련되어 있으며, 웨이브렛 시스템이 완전함을 보장하는 조건은 무엇인가?

주요 결과

• $p$-진 MRA에서 수직 스케일링 함수로 사용될 수 있는 것은 오직 1-주기 테스트 함수뿐이며, 이 조건은 수직성에 대해 필수적이며 충분하다.
• 제안된 방법에 따라 구성된 모든 웨이브렛 함수는 $p$-진 웨이브렛 프레임을 생성함을 확인하여, $p$-진 설정에서 이러한 프레임의 존재를 입증한다.
• $\{\psi(\cdot - a)\}_{a \in \mathbb{Z}_p}$ 웨이브렛 시스템은 $L^2(\mathbb{Q}_p)$에서 프레임을 이룬다. 이 프레임의 경계는 웨이브렛 마스크 $n_0$의 성질에 의해 결정된다.
• 정밀화 방정식 (5.6)과 (5.7)에서 유도된 선형 시스템은 마스크 $m_0$와 $n_0$가 공통 근을 가지지 않을 경우 해를 갖는다. 이는 구성 과정에서 보장된다.
• 관련 다항식이 공통 근을 가지지 않을 경우, 선형 시스템의 계수 행렬의 결과행렬이 0이 아니며, 이는 해의 존재를 보장함으로써 웨이브렛 시스템의 완전성을 보장한다.
• 이 구성 방법은 Kozyrev의 웨이브렛 기저를 일반화하며, 스케일링 함수의 주기성으로 인해 동일한 하르 MRA 내에서 여러 개의 orthonormal 웨이브렛 기저가 존재할 수 있음을 보여준다.