[논문 리뷰] On a class of translation-invariant spaces of quasianalytic ultradistributions

Павел Димовски, Bojan Prangoski외 1명|arXiv (Cornell University)|2015. 02. 22.

Advanced Topology and Set Theory참고 문헌 13인용 수 11

한 줄 요약

이 논문은 이전의 온화한 및 비-등방성 초분포에 대한 연구를 일반화하여, 새로운 종류의 이동 불변 바나흐 공간인 등방성 초분포를 도입하고 연구한다. $`\mathcal{D}^{*}_{E}$ 및 그 강한 쌍대공간 $`\mathcal{D}^{\bullet}_{E^\prime}$ 를 구성함으로써, 저자들은 커플링과 곱셈 연산의 구조를 수립하였으며, 지수 성장 가중치를 가진 푸리에 초함수와 초초함수를 포함한 등방성 설정으로 결과를 확장한다.

ABSTRACT

A class of translation-invariant Banach spaces of quasianalytic ultradistributions is introduced and studied. They are Banach modules over a Beurling algebra. Based on this class of Banach spaces, we define corresponding test function spaces $\\mathcal{D}^*_E$ and their strong duals $\\mathcal{D}'^*_{E'_{\\ast}}$ of quasianalytic type, and study convolution and multiplicative products on $\\mathcal{D}'^*_{E'_{\\ast}}$. These new spaces generalize previous works about translation-invariant spaces of tempered (non-quasianalytic ultra-) distributions; in particular, our new considerations apply to the settings of Fourier hyperfunctions and ultrahyperfunctions. New weighted $\\mathcal{D}'^{\\ast}_{L^{p}_{\\eta}}$ spaces of quasianalytic ultradistributions are analyzed.

연구 동기 및 목표

• 초분포의 이동 불변 바나흐 공간 이론을 등방성 설정으로 확장하기.
• 등방성 초분포를 위한 시험 함수 공간 $`\mathcal{D}^{*}_{E}$ 와 그 강한 쌍대공간 $`\mathcal{D}^{\bullet}_{E^\prime}$ 를 정의하고 연구하기.
• 초분포의 가중치가 있는 $`\mathcal{D}^\prime_{L^p_\eta}$ 와 $`\mathcal{B}^\prime_\eta$ 공간을 초분포적 성질을 가진 초다항식으로 유계된 가중치로 일반화하기.
• $`\mathcal{D}^{\prime}_{E^\prime}$ 에서 연속적이고 초연속적인 커플링과 곱셈 연산의 구조를 수립하기.
• 결과를 등방성 초함수와 초초함수에 적용하여, 지수 성장 가중치가 있는 경우를 포함한 응용을 수행하기.

제안 방법

• 초다항식으로 유계진 가중 함수를 가진 클래스 $`\dagger$ 에 속하는 가중치 함수를 가진 이동 불변 바나흐 공간 $`E$ 를 구성하여 $`\mathcal{S}^{*}_{\dagger}(\mathbb{R}^d) \hookrightarrow E \hookrightarrow \mathcal{S}^{\prime*}_{\dagger}(\mathbb{R}^d)$ 를 만족시키기.
• 시험 함수 공간 $`\mathcal{D}^{*}_{E}$ 를 $`\mathcal{S}^{*}_{\dagger}(\mathbb{R}^d)$ 의 부분공간으로 정의하고, $`E$ 에로 조밀하고 연속적인 포함관계를 갖기.
• $`\mathcal{D}^{*}_{E}$ 가 $`L^1_\omega$ 인 베르링 대수 위의 위상적 모듈이라는 것을 증명하기. 여기서 $`\omega$ 는 $`E$ 의 이동군의 가중치이다.
• 매개수법(보조정리 2.2)을 사용하여 $`\mathcal{D}^{\prime*}_{E^\prime}$, 즉 $`\mathcal{D}_{E}$ 의 강한 쌍대공간의 구조적 및 위상적 성질을 도출하기.
• 새로운 가중치 공간 $`\mathcal{D}^{\prime\ast}_{L^p_\eta}$, $`\mathcal{B}^{\prime\ast}_\eta$, 및 $`\dot{\mathcal{B}}^{\prime\ast}_\eta$ 를 도입하고 분석하기. 이 공간들은 등방성 수열과 지수 성장 가중치를 가진다.
• 연속성과 초연속성의 논증을 사용하여, 비-등방성 설정에서의 커플링 및 곱셈 연산 결과를 등방성 설정으로 확장하기.

실험 결과

연구 질문

• RQ1 등방성 초분포의 이동 불변 바나흐 공간은 체계적으로 어떻게 구성하고 특성화할 수 있는가?
• RQ2 시험 함수 공간 $`\mathcal{D}^{*}_{E}$ 와 그 강한 쌍대공간 $`\mathcal{D}^{\prime*}_{E^\prime}$ 의 구조적 및 위상적 성질은 무엇인가?
• RQ3 등방성 설정에서 $`\mathcal{D}^{\prime*}_{E^\prime}$ 에서 커플링과 곱셈 연산은 어떻게 행동하는가?
• RQ4 가중치가 있는 $`\mathcal{D}^\prime_{L^p_\eta}$ 와 $`\mathcal{B}^{\prime}_\eta$ 공간 이론은 지수 성장 가중치를 가진 등방성 초분포로 얼마나 넓게 확장될 수 있는가?
• RQ5 매개수법은 등방성 경우에서 쌍대성과 포함관계 결과를 증명하는 데 어떻게 적응될 수 있는가?

주요 결과

• $`\mathcal{D}^{*}_{E}$ 는 $`L^1_\omega$ 위의 위상적 모듈이며, $`\omega$ 는 $`E$ 의 이동군의 가중치 함수이다.
• $`\mathcal{S}^{*}_{\dagger}(\mathbb{R}^d) \hookrightarrow \mathcal{D}^{*}_{E} \hookrightarrow E \hookrightarrow \mathcal{S}^{\prime*}_{\dagger}(\mathbb{R}^d)$ 는 조밀하고 연속적인 포함관계를 유지하며, $`\mathcal{D}^{*}_{E}$ 는 $`\mathcal{O}^{*}_{\dagger,C}(\mathbb{R}^d)$ 에 조밀하게 포함된다.
• 루미에 경우에 $`\mathcal{D}^{*}_{E}$ 와 $`\tilde{\mathcal{D}}^{*}_{E}$ 는 위상적으로 동치이며, 즉 $`\mathcal{D}^{*}_{E} = \tilde{\mathcal{D}}^{*}_{E}$ 이다.
• $`\dot{\mathcal{B}}^{(M_p)}_{\eta}$ 는 특별한 성질을 지닌다. 즉, 그 강한 이중공간의 모든 유계 부분집합이 약위상에서 $`\dot{\mathcal{B}}^{(M_p)}_{\eta}$ 의 유계 부분집합의 폐포에 포함된다.
• 커플링 사상 $`\ast: \mathcal{D}^{\prime*}_{E^\prime} \times \mathcal{D}^{*}_{L^1_{\check{\omega}}} \to \mathcal{D}^{\prime*}_{E^\prime}$ 과 $`\ast: \mathcal{D}^{\prime*}_{E^\prime} \times \mathcal{O}^{\prime*}_{\dagger,C,b} \to \mathcal{D}^{\prime*}_{E^\prime}$ 는 연속적이다.
• 만약 $`E$ 가 반사적이라면, 커플링 $`\ast: \mathcal{D}^{\prime*}_{E^\prime} \times \mathcal{D}^{*}_{\check{E}} \to \dot{\mathcal{B}}^{*}_{\omega}$ 는 연속적이며, 포함관계 $`\mathcal{D}^{\prime*}_{L^1_{\check{\omega}}} \hookrightarrow \mathcal{D}^{\prime*}_{E^\prime} \hookrightarrow \dot{\mathcal{B}}^{\prime*}_{\omega}$ 도 성립한다.