[논문 리뷰] Hyperbolic wavelet analysis of classical isotropic and anisotropic Besov-Sobolev spaces

Martin Schäfer, Tino Ullrich외 1명|arXiv (Cornell University)|2019. 12. 17.

Advanced Harmonic Analysis Research참고 문헌 44인용 수 4

한 줄 요약

이 논문은 매끄러운 평탄성 가중치에 의해 이방성 정보를 포함하는 초평면 리틀우드-파일스 분석을 통해 이방성 초평면 베소프 및 트리벨-리조르킨 공간을 도입한다. 이는 단일 보편적인 초평면 웨이블릿 기저를 사용하여 이방성 매끄러움을 특성화할 수 있도록 한다. 주요 기여는 소볼레프 범위에서 이러한 새로운 공간이 고전적인 이방성 베소프-트리벨 공간과 일치한다는 점으로, 이는 사전 지식 없이도 보편적인 이방성 탐지가 가능하다는 것을 의미한다.

ABSTRACT

In this paper we introduce new function spaces which we call anisotropic hyperbolic Besov and Triebel-Lizorkin spaces. Their definition is based on a hyperbolic Littlewood-Paley analysis involving an anisotropy vector only occurring in the smoothness weights. Such spaces provide a general and natural setting in order to understand what kind of anisotropic smoothness can be described using hyperbolic wavelets (in the literature also sometimes called tensor-product wavelets), a wavelet class which hitherto has been mainly used to characterize spaces of dominating mixed smoothness. A centerpiece of our present work are characterizations of these new spaces based on the hyperbolic wavelet transform. Hereby we treat both, the standard approach using wavelet systems equipped with sufficient smoothness, decay, and vanishing moments, but also the very simple and basic hyperbolic Haar system. The second major question we pursue is the relationship between the novel hyperbolic spaces and the classical anisotropic Besov-Lizorkin-Triebel scales. As our results show, in general, both approaches to resolve an anisotropy do not coincide. However, in the Sobolev range this is the case, providing a link to apply the newly obtained hyperbolic wavelet characterizations to the classical setting. In particular, this allows for detecting classical anisotropies via the coefficients of a universal hyperbolic wavelet basis, without the need of adaption of the basis or a-priori knowledge on the anisotropy.

연구 동기 및 목표

• 이방성 방향에 대한 사전 지식 없이도 초평면 웨이블릿 분석에 기반한 이방성 매끄러움의 일반적 프레임워크를 개발하는 것.
• 초평면 리틀우드-파일스 분해에 기반한 새로운 함수 공간—초평면 베소프 및 트리벨-리조르킨 공간—을 정의하는 것. 이때 이방성은 매끄러움 가중치에 포함된다.
• 부드러운 초평면 웨이블릿과 초평면 하르 시스템을 모두 사용하여 이러한 새로운 공간의 정확한 특성화를 수립하는 것.
• 새로운 초평면 공간과 고전적인 이방성 베소프-트리벨-리조르킨 공간 간의 관계를 명확히 하는 것. 특히 소볼레프 범위에서의 관계에 중점을 둔다.
• 보편적인 초평면 웨이블릿 기저가 이방성 정보를 사전에 알지 못한 상태에서도 고전적인 이방성 구조를 탐지할 수 있음을 보여주는 것.

제안 방법

• 초평면 리틀우드-파일스 분해를 통한 새로운 함수 공간 정의: $\Delta_{\bar{j}}(f) := \mathcal{F}^{-1}[\theta_{j_1} \otimes \cdots \otimes \theta_{j_d} \mathcal{F}f]$, 여기서 $\bar{j} \in \mathbb{N}_0^d$.
• 이방성은 $\bar{\alpha} = (\alpha_1, \ldots, \alpha_d) > 0$ 이며 $\sum \alpha_i = d$ 를 만족하는 벡터를 통해 도입되며, 이는 새로운 공간 $\widetilde{A}^{s,\bar{\alpha}}_{p,q}(\mathbb{R}^d)$ 의 매끄러움 가중치에만 영향을 준다.
• 부드러운 웨이블릿의 충분한 감쇠, 매끄러움, 영점 성질을 갖춘 웨이블릿을 사용하여 새로운 공간을 특성화하고, 더 단순한 초평면 하르 시스템도 포함한다.
• 새로운 초평면 공간과 초평면 웨이블릿 계수의 시퀀스 노름 간의 노름 등가성을 수립하여 정확한 특성화를 증명한다.
• 웨이블릿 등장사상 정리(정리 4.2)를 적용하여 함수 노름과 계수 시퀀스 노름 간의 관계를 $\ell^p$ 및 $\ell^q$ 공간에서 규명한다.
• i.i.d. 부호를 가진 랜덤 웨이블릿 급수의 행동을 분석하여 $L_p$-노름의 하한을 도출한다. 이때 $p \geq 2$ 인 경우 $\mathbb{E}_{\bar{\varepsilon}}(\|f_{N,\bar{\varepsilon}}\|_p^p) \asymp N^{p/2}$ 이고, $\|f_N\|_p \asymp \sqrt{N}$ 이다.

실험 결과

연구 질문

• RQ1 단일 보편적인 초평면 웨이블릿 기저로 이방성 방향에 대한 사전 지식 없이도 이방성 매끄러움을 특성화할 수 있는가?
• RQ2 최근 정의된 초평면 베소프-트리벨-리조르킨 공간은 고전적인 이방성 함수 공간과 어떻게 관련이 있는가?
• RQ3 초평면 웨이블릿 기반 공간과 고전적인 이방성 공간이 일치하는 매끄러움 영역은 어떤가?
• RQ4 i.i.d. 부호를 가진 랜덤 웨이블릿 급수의 $L_p$-노름에서 웨이블릿 계수 시퀀스의 행동은 어떠한가?
• RQ5 혼합된 매끄러움을 가진 신호에서 이방성이 사전에 알려지지 않은 상태에서도 초평면 웨이블릿 변환이 이방성을 탐지할 수 있는가?

주요 결과

• 부드러운 웨이블릿과 초평면 하르 시스템을 모두 사용하여 새로운 초평면 베소프 및 트리벨-리조르킨 공간 $\widetilde{A}^{s,\bar{\alpha}}_{p,q}(\mathbb{R}^d)$ 는 초평면 웨이블릿 변환에 의해 정확히 특성화된다.
• $p \geq 2$ 인 경우, i.i.d. 부호를 가진 랜덤 웨이블릿 급수의 기대 $L_p$-노름은 $\mathbb{E}_{\bar{\varepsilon}}(\|f_{N,\bar{\varepsilon}}\|_p^p) \asymp N^{p/2}$ 를 만족하며, 이는 $\|f_N\|_p \asymp \sqrt{N}$ 를 의미한다.
• 소볼레프 범위($F^{s,\bar{\alpha}}_{p,2}$)에서는 새로운 초평면 공간이 고전적인 이방성 트리벨-리조르킨 공간과 일치한다. 이는 두 프레임워크 간의 다리를 놓는다.
• 초평면 웨이블릿 변환을 통해 보편적인 이방성 탐지가 가능하다. 단일 기저로도 이방성 매끄러움을 해석할 수 있으며, 이는 이방성 벡터나 기저 적응이 필요하지 않음을 의미한다.
• $p < 1$ 인 경우, 국소화된 주파수 프로젝션의 $F^0_{p,q}$-노름은 $\|f_N\|_{F^0_{p,q}} \gtrsim 1$ 이고, $p \geq 1$ 인 경우는 $N^{1/p}$ 만큼 증가한다. 이는 $p$ 에 따라 다른 행동을 보임을 보여준다.
• 웨이블릿 계수 시퀀스의 노름은 새로운 초평면 공간의 함수 노름과 등가이며, 초평면 웨이블릿 변환을 통한 함수 공간과 시퀀스 공간 간의 등장사상이 확인된다.