[논문 리뷰] Step refinable functions and orthogonal MRA on $p$-adic Vilenkin groups

С. Ф. Лукомский|arXiv (Cornell University)|2012. 11. 12.

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

한 줄 요약

이 논문은 p진 바일린 군 위에서 단계적 재규합 함수가 정규직교 다중해상 분석(MRA)을 생성하기 위한 필수 및 필요조건을 설정한다. 이를 통해 이러한 함수의 푸리에 변환의 지지집합이 이전의 가정과 달리 $\mathfrak{G}_{p-2}^\perp$ 내에 있어야 하며, 특히 $\mathfrak{G}_{-1}^\perp$ 위에서 일정하고 $|m_0(\chi)| \in \{0,1\}$인 마스크를 갖는 함수의 클래스에 대해 이 경계가 정확히 날카로운지 입증한다.

ABSTRACT

We find the necessary and sufficient conditions for refinable step function under which this function generates an orthogonal MRA in the $L_2(\mathfrak G)$ -spaces on Vilenkin groups $\mathfrak G$. We consider a class of refinable step functions for which the mask $m_0(χ)$ is constant on cosets $\mathfrak G_{-1}^\bot$ and its modulus $|m_0(χ)|$ takes two values only: 0 and 1. We will prove that any refinable step function $φ$ from this class that generates an orthogonal MRA on $p$-adic Vilenkin group $\mathfrak G$ has Fourier transform with condition ${ m supp} \hat φ(χ)\subset \mathfrak G_{p-2}^\bot$. We show the sharpness of this result too.

연구 동기 및 목표

• p진 바일린 군에서 $L_2(\mathfrak{G})$ 상에서 단계적 재규합 함수가 정규직교 다중해상 분석(MRA)을 생성하기 위한 필수 및 필요조건을 규명하는 것.
• 이전의 예시들에 기반해 이러한 함수가 푸리에 변환의 지지집합이 $\mathfrak{G}_1^\perp$ 에 있어야 한다는 일반적인 가정을 도전하는 것.
• 특정 클래스의 재규합 단계 함수를 분석하는 것인데, 이는 마스크 $m_0(\chi)$ 가 $\mathfrak{G}_{-1}^\perp$ 의 쌍대군의 잔여류 위에서 일정하고 $|m_0(\chi)| \in \{0,1\}$ 임을 가정한다.
• 정규직교 MRA를 생성하는 임의의 함수가 반드시 $\operatorname{supp}\hat{\varphi}(\chi) \subset \mathfrak{G}_{p-2}^\perp$ 를 만족해야 하며, 이 경계가 정확히 날카로운지 입증하는 것.

제안 방법

• 0차원 국소적으로 컴act 아벨 군에서의 푸리에 변환 분석을 사용하며, 특히 기저 체인을 갖는 바일린 군 $G_n$ 을 고려한다.
• 쌍대군과 수직보완군 $\mathfrak{G}_n^\perp$ 를 정의하고, 특성군을 이용해 $\varphi$ 의 스펙트럼 지지집합을 분석한다.
• 마스크 $m_0(\chi)$ 는 $\mathfrak{G}_{-1}^\perp$ 의 잔여류 위에서 일정하고, 그 크기 값으로만 0과 1을 가진다. 이는 재규합 방정식의 구조를 제한한다.
• 마스크에서 유도된 $\lambda_k$ 계수들의 곱을 통해 푸리에 변환 $\hat{\varphi}(\chi)$ 의 재귀적 분해를 사용하며, 비영의 지지집합이 잔여류 수준을 따라 추적된다.
• 모든 $\alpha_{-1}$ 에 대해 $\mathfrak{G}_{-1}^\perp r_{-1}^{\alpha_{-1}} \cdots r_{l-1}^{\alpha_{l-1}}$ 의 각 잔여류 위에서 $|\hat{\varphi}|^2$ 의 합이 1임을 보여, 체계 $\{\varphi(x - h)\}_{h \in H_0}$ 의 정규직교성을 검증한다. 이는 MRA 일致성을 확보한다.
• 특정 예시를 구성함으로써 $\mathfrak{G}_{p-2}^\perp$ 경계의 날카로움을 입증한다. 이 경우 $\hat{\varphi}$ 는 $\mathfrak{G}_l^\perp \setminus \mathfrak{G}_{l-1}^\perp$ 에서 비영이지만 $\mathfrak{G}_{l+1}^\perp \setminus \mathfrak{G}_l^\perp$ 에서는 영이 되며, $l = p-2$ 일 때 성립한다.

실험 결과

연구 질문

• RQ1 정규직교 MRA를 생성하는 모든 단계적 재규합 함수가 반드시 푸리에 변환의 지지집합을 $\mathfrak{G}_1^\perp$ 에 두어야 하는가?
• RQ2 마스크 $m_0(\chi)$ 가 $\mathfrak{G}_{-1}^\perp$ 에서 일정하고 $|m_0(\chi)| \in \{0,1\}$ 인 경우, 이러한 함수의 최소 스펙트럼 지지집합은 무엇인가?
• RQ3 푸리에 변환 $\hat{\varphi}$ 의 지지집합이 $\mathfrak{G}_1^\perp$ 보다 엄밀히 작을 수 있으며, 만약 그렇다면 최적의 경계는 무엇인가?
• RQ4 이러한 함수의 클래스에 대해 $\mathfrak{G}_{p-2}^\perp$ 경계가 정확히 날카로운가, 아니면 더 줄일 수 있는가?
• RQ5 특히 주기성과 2진 크기의 특성을 갖는 마스크 $m_0(\chi)$ 는 $\hat{\varphi}$ 의 지지집합에 어떤 제약을 끼치는가?

주요 결과

• 지정된 클래스에 속하는 임의의 재규합 단계 함수 $\varphi$ 가 p진 바일린 군 $\mathfrak{G}$ 상에서 정규직교 MRA를 생성한다면, 반드시 $\operatorname{supp}\hat{\varphi}(\chi) \subset \mathfrak{G}_{p-2}^\perp$ 를 만족한다. 이는 $p > 3$ 일 때 $\mathfrak{G}_1^\perp$ 보다 엄밀히 작은 집합이다.
• 경계 $\mathfrak{G}_{p-2}^\perp$ 는 정확히 날카로운 것으로 입증되었으며, $\hat{\varphi}$ 가 $\mathfrak{G}_{p-2}^\perp \setminus \mathfrak{G}_{p-3}^\perp$ 에서 비영이지만 $\mathfrak{G}_{p-1}^\perp \setminus \mathfrak{G}_{p-2}^\perp$ 에서는 영인 예시를 구성함으로써 확인되었다.
• $\hat{\varphi}(\chi)$ 는 $l = p-2$ 일 때 $\mathfrak{G}_l^\perp \setminus \mathfrak{G}_{l-1}^\perp$ 에서 비영이지만 $\mathfrak{G}_{l+1}^\perp \setminus \mathfrak{G}_l^\perp$ 에서는 영이 되므로, 지지집합 조건이 날카로운 것으로 확인된다.
• $\{\varphi(x - h)\}_{h \in H_0}$ 체계의 정규직교성은 각 잔여류 $\mathfrak{G}_{-1}^\perp r_{-1}^{\alpha_{-1}} \cdots r_{l-1}^{\alpha_{l-1}}$ 에서 $|\hat{\varphi}|^2$ 의 합이 모든 $\alpha_{-1} \in \{0, \dots, p-1\}$ 에 대해 1임을 보여 검증된다.
• 구성은 마스크에서 유도된 계수 $\lambda_k$ 에 의존하며, $\lambda_k = 0$ 이다. $k \in E_l^{(0)}$ 이고 $\lambda_k \neq 0$ 이다. $k \in E_l^{(1)}$ 이며, $\hat{\varphi}$ 의 곱 구조는 필요한 지지집합과 정규화를 보장한다.
• 이 결과는 이전의 가정인 $\mathfrak{G}_1^\perp$ 가 최소 지지집합이라는 것을 뒤집으며, $p > 3$ 일 때 지지집합이 상당히 작아질 수 있음을 보여주며, 올바른 최소 지지집합은 $\mathfrak{G}_{p-2}^\perp$ 임을 입증한다.