[논문 리뷰] Microlocal analysis in the dual of a Colombeau algebra: generalized wave front sets and noncharacteristic regularity

Claudia Garetto|ArXiv.org|2005. 11. 11.

Mathematical and Theoretical Analysis참고 문헌 46인용 수 32

한 줄 요약

이 논문은 컬롬베아 대수 $\mathcal{G}_{\mathrm{c}}(\Omega)$의 쌍대공간에 속하는 함수형에 대해 일반화된 파면 집합—${\cal G}$- 및 ${\cal G}^\infty$-파면 집합—을 도입하며, 일반화된 함수형에 대한 마이크로로컬 정규성 이론을 제공한다. 푸리에 변환 특성화를 수립하고 기본 함수형에 대해 비특성 정규성 정리들을 증명함으로써, 일반화된 미분연산자 기법을 통해 고전적 마이크로로컬 해석을 컬롬베아 설정으로 확장한다.

ABSTRACT

We introduce different notions of wave front set for the functionals in the dual of the Colombeau algebra $\Gc(\Om)$ providing a way to measure the $\G$ and the $\Ginf$- regularity in $\LL(\Gc(\Om),\wt{\C})$. For the smaller family of functionals having a ``basic structure'' we obtain a Fourier transform-characterization for this type of generalized wave front sets and results of noncharacteristic $\G$ and $\Ginf$-regularity.

연구 동기 및 목표

• $\mathcal{L}({\cal G}_{\mathrm{c}}(\Omega),\widetilde{\mathbb{C}})$의 함수형에 대한 마이크로로컬 정규성 이론을 개발하는 것.
• 해당 함수형의 ${\cal G}$ 및 ${\cal G}^\infty$-정규성을 측정하는 일반화된 파면 집합을 정의하고 특성화하는 것.
• 일반화된 함수형에서의 비특성 정규성 결과를 일반화된 계수를 가진 미분연산자 기법을 통해 쌍대공간으로 확장하는 것.
• 일반화된 함수형에 대해 '기본적인 구조'를 가진 함수형의 파면 집합에 대한 푸리에 변환 기반 특성화를 제공하는 것.

제안 방법

• 일반화된 비타당성의 원뿔 영역에 대한 교차로 정의된 ${\cal G}$-파면 집합 $\mathrm{WF}_{\cal G}(T)$ 및 ${\cal G}^\infty$-파면 집합 $\mathrm{WF}_{{\cal G}^\infty}(T)$ 를, $T$ 를 ${\cal G}(\Omega)$ 또는 ${\cal G}^\infty(\Omega)$ 로 매핑하는 미분연산자의 일반화된 비타당성 영역으로 정의한다.
• 특정 원뿔 부분집합 $\mathbb{R}^n$ 에서의 컷오프 함수를 곱한 $T$ 의 푸리에 변환의 행동을 분석함으로써 푸리에 변환 특성화를 사용한다.
• 일관된 연속성과 $Tu = [(T_\varepsilon u_\varepsilon)_\varepsilon] \in \widetilde{\mathbb{C}}$ 를 만족하는 넷 $(T_\varepsilon)$ 로 정의된 '기본 함수형'에 국한한다.
• 특히 느린 척도 계수를 가진 일반화된 미분연산자 이론을 적용하며, 이전 연구에서 얻은 매개터릭스 구성 및 계수 계산 기법을 활용한다.
• $AT \in {\cal G}(\Omega)$ 또는 ${\cal G}^\infty(\Omega)$ 를 만족하는 고전적 적절히 지지된 연산자 $A$ 를 사용하여 $\mathrm{W}_{\mathrm{cl},{\cal G}}(T)$ 와 $\mathrm{W}_{\mathrm{cl},{\cal G}^\infty}(T)$ 를 정의한다.
• 이러한 연산자의 특성 집합에 대한 교차로 파면 집합과 이들 연산자 기반 특성화 간의 동치성을 증명한다.

실험 결과

연구 질문

• RQ1 컬롬베아 대수의 쌍대공간에 속하는 함수형에 대해 마이크로로컬 정규성을 어떻게 측정할 수 있는가?
• RQ2 일반화된 함수형이 아니고 쌍대공간의 분포인 함수형에 대해 적절한 파면 집합의 일반화는 무엇인가?
• RQ3 이러한 함수형의 일반화된 파면 집합에 대해 푸리에 변환 기반 특성화를 수립할 수 있는가?
• RQ4 비특성 정규성 결과가 일반화된 함수형에서 컬롬베아 대수의 쌍대공간으로 얼마나 넓게 확장되는가?
• RQ5 ${\cal G}$- 및 ${\cal G}^\infty$-파면 집합이 임bedding 하에 분포의 고전적 파면 집합과 어떻게 관련되는가?

주요 결과

• 모든 함수형에 대해 ${\cal G}$-파면 집합 $\mathrm{WF}_{\cal G}(T)$ 와 ${\cal G}^\infty$-파면 집합 $\mathrm{WF}_{{\cal G}^\infty}(T)$ 가 잘 정의되며, 일반화된 미분연산자 기반으로 완전히 특성화된다.
• 기본 함수형의 경우, 파면 집합은 $AT \in {\cal G}(\Omega)$ 또는 ${\cal G}^\infty(\Omega)$ 를 만족하는 연산자들의 특성 집합에 대한 교차로 정의된 연산자 기반 집합 $\mathrm{W}_{\mathrm{cl},{\cal G}}(T)$ 와 $\mathrm{W}_{\mathrm{cl},{\cal G}^\infty}(T)$ 와 일치한다.
• 푸리에 변환 특성화가 수립된다: 파면 집합은 원뿔 영역에서 컷오프 함수를 곱한 $T$ 의 푸리에 변환의 감쇠 성질에 의해 결정된다.
• 비특성 정규성 결과가 성립한다: 적절히 지지된 일반화된 미분연산자 $P$ 와 느린 척도 계수를 가질 때 $\mathrm{WF}_{\cal G}(T) \subseteq \mathrm{WF}_{\cal G}(PT) \cup \mathrm{Ell}_{\mathrm{sc}}(p)^c$ 와 $\mathrm{WF}_{{\cal G}^\infty}(T) \subseteq \mathrm{WF}_{{\cal G}^\infty}(PT) \cup \mathrm{Ell}_{\mathrm{sc}}(p)^c$ 가 성립한다.
• 표준 임bedding $\iota_d$ 하에서, 분포 $w$ 의 ${\cal G}^\infty$-파면 집합은 그 고전적 파면 집합과 일치한다: $\mathrm{WF}_{{\cal G}^\infty}(\iota_d(w)) = \mathrm{WF}(w)$.