[논문 리뷰] $p$-Adic multiresolution analyses

S. Albeverio, С. А. Евдокимов외 1명|ArXiv.org|2008. 10. 07.

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

한 줄 요약

이 논문은 $p$-adic 다중해상 분석(MRA)를 완전히 특성화하며, 직교 스케일링 함수로 사용될 수 있는 것은 오직 1-주기 함수뿐이며, 모든 이러한 함수들이 하어르(Haar) MRA를 생성한다는 것을 증명한다. 또한 임의의 MRA로부터 웨이블릿 프레임을 구성하는 방법을 제시하며, 직교성이 없더라도 웨이블릿 함수의 집합이 항상 $p$-adic 웨이블릿 프레임을 이룬다는 것을 입증한다.

ABSTRACT

We study $p$-adic multiresolution analyses (MRAs). A complete characterisation of test functions generating a MRA (scaling functions) is given. We prove that only 1-periodic test functions may be taken as orthogonal scaling functions and that all such scaling functions generate Haar MRA. We also suggest a method of constructing sets of wavelet functions and prove that any set of wavelet functions generates a $p$-adic wavelet frame.

연구 동기 및 목표

• 특정 $p$-adic 다중해상 분석(MRA)을 생성할 수 있는 테스트 함수의 전체 집합을 완전히 특성화하는 것.
• 직교 스케일링 함수가 하어르 MRA 외에 $p$-adic 환경에서 존재할 수 있는지에 대한 열린 문제를 해결하는 것.
• 임의의 주어진 $p$-adic MRA로부터 웨이블릿 프레임을 일반적으로 구성하는 방법을 개발하는 것, 즉 웨이블릿이 직교가 아닐 경우에도 적용 가능하도록 하는 것.
• $\mathbb{Q}_p$에서 이산적이지 않은 군 구조의 문제를 해결하기 위해 모든 $p$-adic 이동에 대한 불변성을 활용하는 것.
• 직교가 아닌 설정으로까지 이론을 확장하기 위해 스케일링 함수가 비직교 MRA를 생성하는 조건을 설정하는 것.

제안 방법

• $p$-adic MRA에서 스케일링 함수의 핵심 조건으로 정의된 정밀화 방정식 $ \varphi(x) = \sum_{r=0}^{p-1} \varphi\left(\frac{x}{p} - \frac{r}{p}\right) $ 를 사용한다.
• $\mathbb{Q}_p$ 위에서의 푸리에 분석을 적용하며, 덧셈 문자 $ \chi_p(\xi x) = e^{2\pi i \{\xi x\}_p} $ 를 사용하여 스케일링 함수 및 웨이블릿 함수의 스펙트럼 성질을 분석한다.
• 삼각 다항식과 $p$-adic 분수 부분을 이용해 정의된 웨이블릿 마스크 $ n_0^{(\nu)}(\xi) $ 를 도입하여 스케일링 함수로부터 웨이블릿 함수를 구성한다.
• 웨이블릿 프레임 생성 조건을 확립하기 위해, 이동된 웨이블릿들의 스트림이 $ V_0$과 직교하고 $ W_0$에 포함됨을 보여주며, $p$-adic 구를 통한 적분 직교성을 활용한다.
• 정밀화 마스크와 웨이블릿 마스크의 계수 다항식의 결과식(resultant)을 사용하여 비자명한 해가 존재하지 않음을 보장함으로써, 웨이블릿 이동들의 선형 독립성을 확보한다.
• 프레임 연산자가 유계이자 가역임을 보여 웨이블릿 시스템이 프레임을 이룬다는 것을 증명한다. 이는 결과식이 0이 아니라는 사실에 기반한다.

실험 결과

연구 질문

• RQ1 어떤 $p$-adic 테스트 함수들이 직교 다중해상 분석을 생성할 수 있는가?
• RQ2 $p$-adic MRA 스케일링 함수 중 1-주기 함수가 아닌 것이 존재할 수 있는가?
• RQ3 주어진 $p$-adic MRA로부터 비직교성 조건에서도 웨이블릿 프레임을 구성하는 일반적인 방법은 무엇인가?
• RQ4 $\mathbb{Q}_p$에서 이동 부분군이 이산적이지 않은 것을 어떻게 보완하여 MRA 구조를 유지할 수 있는가?
• RQ5 스케일링 함수로부터 유도된 웨이블릿 함수의 집합이 $L^2(\mathbb{Q}_p)$에서 프레임을 이룰 조건은 무엇인가?

주요 결과

• 직교 스케일링 함수로 사용될 수 있는 것은 오직 1-주기 테스트 함수뿐이며, 모든 이러한 함수들이 하어르 MRA를 생성한다.
• 하어르 MRA는 직교 스케일링 함수로 생성되는 유일한 $p$-adic MRA이며, 무한한 수의 정규직교 웨이블릿 기저를 포함한다.
• 제안된 방법에 따라 구성된 웨이블릿 함수의 집합은 직교성이 없더라도 항상 $p$-adic 웨이블릿 프레임을 이룬다.
• 정밀화 마스크 $ m_0 $ 의 차수 $ \deg m_0 \leq (p-1)p^N $ 를 만족할 경우 웨이블릿 구성이 유효하며, 이는 비영인 결과식의 존재를 보장한다.
• 정밀화 마스크와 웨이블릿 마스크의 계수 다항식의 결과식이 0이 아니면, 마스크가 공통의 영점을 갖지 않으며, 이는 웨이블릿 이동들의 선형 독립성을 보장한다.
• 스택이 $ V_0$과 직교하고 $ W_0$에 포함되며, $ W_0 $ 에서 완비이므로 프레임 조건이 만족된다.