[논문 리뷰] Multidimensional Tauberian theorems for wavelet and non-wavelet transforms

Stevan Pilipović, Jasson Vindas|arXiv (Cornell University)|2010. 12. 22.

Mathematical Analysis and Transform Methods참고 문헌 92인용 수 9

한 줄 요약

이 논문은 바나흐 공간에 값을 갖는 임계 분포에 대한 웨이브렛 및 비웨이브렛 변환에 대해 다차원 타우버형 정리들을 수립하며, 자연스러운 타우버 조건 하에서 약한 점근적 행동이 변환의 경계 행동에 의해 완전히 결정됨을 보여준다. 이는 스케일링 성질을 특성화하고 최적의 커널을 규명함으로써, 점별 및 마이크로로컬 분석을 가능하게 하며, 유리수 점에서 리만 유형 분포에 대한 완전한 약한 점근 전개를 포함한 약한 점근적 전개를 제공한다.

ABSTRACT

We study several Tauberian properties of regularizing transforms of tempered distributions with values in Banach spaces, that is, transforms of the form $M^{\mathbf{f}}_ϕ(x,y)=(\mathbf{f}\astϕ_{y})(x)$, where the kernel $ϕ$ is a test function and $ϕ_{y}(\cdot)=y^{-n}ϕ(\cdot/y)$. If the zeroth moment of $ϕ$ vanishes, it is a wavelet type transform; otherwise, we say it is a non-wavelet type transform. The first aim of this work is to show that the scaling (weak) asymptotic properties of distributions are \emph{completely} determined by boundary asymptotics of the regularizing transform plus natural Tauberian hypotheses. Our second goal is to characterize the spaces of Banach space-valued tempered distributions in terms of the transform $M^{\mathbf{f}}_ϕ(x,y)$. We investigate conditions which ensure that a distribution that a priori takes values in locally convex space actually takes values in a narrower Banach space. Special attention is paid to find the \emph{optimal} class of kernels $ϕ$ for which these Tauberian results hold. We give various applications of our Tauberian theory in the pointwise and (micro-)local regularity analysis of Banach space-valued distributions, and develop a number of techniques which are specially useful when applied to scalar-valued functions and distributions. Among such applications, we obtain the full weak-asymptotic series expansion of the family of Riemann-type distributions $R_β(x)=\sum_{n=1}^{\infty}e^{iπxn^{2}}/n^{2β}$, $β\in\mathbb{C}$, at every rational point. We also apply the results to regularity theory within generalized function algebras, to the stabilization of solutions for a class of Cauchy problems, and to Tauberian theorems for the Laplace transform.

연구 동기 및 목표

• 바나흐 공간에 값을 갖는 임계 분포의 스케일링(약한) 점근적 성질을 정규화 변환의 경계 행동을 통해 특성화하기 위해.
• 변환 $ M^{f f}_\varphi(x,y) = ({\bf f} \ast \varphi_y)(x) $ 가 바나흐 공간에 값을 갖는 임계 분포의 공간을 내재적으로 결정함을 보여주기 위해.
• 벡터 값 설정에서 타우버형 정리가 성립하는 최적의 커널 클래스 $ \varphi $ 를 규명하기 위해.
• 특히 스칼라 및 벡터 값 맥락에서 함수와 분포의 점별 및 마이크로로컬 분석을 위한 일반 기법을 개발하기 위해.

제안 방법

• 정규화 변환의 형태인 $ M^{{\bf f}}_{\varphi}(x,y) = ({{\bf f}} \ast \varphi_y)(x) $ 를 사용하며, 여기서 $ \varphi_y(\cdot) = y^{-n}\varphi(\cdot/y) $ 이고 $ \varphi \in \mathcal{S}(\mathbb{R}^n) $ 이다.
• 커널 $ \varphi $ 가 평균이 0인 웨이브렛 유형 변환과 평균이 0이 아닌 비웨이브렛 변환을 구분하여, 타우버 조건 하에서 둘 다 분석한다.
• 아벨 및 타우버 정리를 적용하여, $ y \to 0^+ $ 또는 $ y \to \infty $ 일 때 $ M^{{\bf f}}_{\varphi}(x,y) $ 의 점근적 행동이 $ \mathcal{S}'(\mathbb{R}^n, E) $ 내의 $ {\bf f} $ 의 약한 점근적 행동과 연결됨을 규명한다.
• 푸리에 분석과 분포론적 점근 분석을 활용하며, 특히 천천히 변화하는 함수와 동차 분포를 포함한 약한 점근 전개를 중심으로 한다.
• 약한 점근적 행동에 필요한 필요 및 충분 조건을, 변환의 경계 극한의 푸리에 변환을 분석함으로써 도출한다.
• 구체적 문제에 적용: 리만 유형 분포, 코쉬 문제, 일반화된 함수 대수, 라플라스 변환에 대한 타우버형 정리.

실험 결과

연구 질문

• RQ1 정규화 변환 $ M^{{\bf f}}_{\varphi}(x,y) $ 의 경계 행동이 바나흐 공간에 값을 갖는 임계 분포 $ {\bf f} $ 의 약한 점근적 스케일링 성질을 결정하는 데 필요한 조건은 무엇인가?
• RQ2 벡터 값 설정에서 타우버형 정리가 성립하는 최적의 커널 클래스 $ \varphi $ 는 무엇인가?
• RQ3 정규화 변환은 바나흐 공간 $ E $ 에 값을 갖는 임계 분포의 공간 $ \mathcal{S}'(\mathbb{R}^n, E) $ 를 어떻게 특성화할 수 있는가?
• RQ4 리만 유형 분포 $ R_\beta(x) = \sum_{n=1}^\infty e^{i\pi x n^2}/n^{2\beta} $ 의 유리수 점에서의 전체적인 약한 점근 전개는 무엇인가?
• RQ5 어떤 조건이 $ f(t,\xi) \in \mathcal{S}'(\mathbb{R}^n_t \times \mathbb{R}^n_\xi) $ 일 때 $ f(t_0, \xi) \in \mathcal{S}'(\mathbb{R}^n_\xi) $ 의 존재를 보장하는가?

주요 결과

• 논문은 최적의 커널 조건 하에서, $ {\bf f} \in \mathcal{S}'(\mathbb{R}^n, E) $ 의 약한 점근적 행동을 $ M^{{\bf f}}_{\varphi}(x,y) $ 의 경계 행동을 통해 완전한 타우버형 특성화를 수립한다.
• 리만 유형 분포 $ R_\beta(x) $ 에 대해, 논문은 모든 유리수 점에서 동차 분포와 천천히 변화하는 함수를 포함한 전체적인 약한 점근 전개를 유도한다.
• 함수 $ f(t,\xi) \in \mathcal{S}'(\mathbb{R}^n_t \times \mathbb{R}^n_\xi) $ 이면 $ f(t_0, \xi) \in \mathcal{S}'(\mathbb{R}^n_\xi) $ 가 존재하기 위한 필요 및 충분 조건을, 변환 $ M^{{\bf f}}_{\varphi} $ 의 행동에 기반하여 제시한다.
• 이 결과들은 변환 $ M^{{\bf f}}_{\varphi}(x,y) $ 를 통해 $ \mathcal{S}'(\mathbb{R}^n, E) $ 의 특성화를 제공하며, 변환이 분포 공간을 내재적으로 결정한다는 것을 보여준다.
• 이 이론은 코쉬 문제의 해의 안정화, 일반화된 함수 대수 내 정규성, 라플라스 변환에 대한 타우버형 정리 등에 적용 가능하다.
• 최적의 커널은 변환이 특정 비퇴화성 및 모멘트 조건을 만족함으로써 날카로운 타우버형 결론을 보장하는 것으로 규명된다.