[논문 리뷰] Approximation property and nuclearity on mixed-norm $L^p$, modulation and Wiener amalgam spaces

Julio Delgado, Michael Ruzhansky외 1명|arXiv (Cornell University)|2014. 10. 17.

Mathematical Analysis and Transform Methods참고 문헌 27인용 수 6

한 줄 요약

이 논문은 가바르 프레임 표현을 이용하여 가중 혼합-norm 레베그, 조율 및 위너 암거리 공간에 대한 메트릭 근사 성질을 확립함으로써 그로텐디크의 핵 연산자 이론의 응용을 가능하게 한다. 또한 r-핵 연산자에 대한 추적 공식을 유도하고, 조율 공간에서 조화 진동자의 함수에 대해 r-핵성과 추적 공식을 증명하는 데 이 틀을 적용한다.

ABSTRACT

In this paper we first prove the metric approximation property for weighted mixed-norm $L_w^{(p_1,\dots ,p_n)}$ spaces. Using Gabor frame representation this implies that the same property holds in weighted modulation and Wiener amalgam spaces. As a consequence, Grothendieck's theory becomes applicable, and we give criteria for nuclearity and $r$-nuclearity for operators acting on these space as well as derive the corresponding trace formulae. Finally, we apply the notion of nuclearity to functions of the harmonic oscillator on modulation spaces.

연구 동기 및 목표

• 그로텐디크의 핵 연산자 이론을 적용하기 위한 기초가 되는 가중 혼합-norm 레베그 공간에 대한 메트릭 근사 성질을 확립하는 것.
• 이들 공간에 대한 가바르 프레임 표현을 통해 조율 및 위너 암거리 공간으로 근사 성질을 확장하는 것.
• 근사 성질을 이용하여 이러한 함수 공간에서의 r-핵성 기준과 추적 공식을 도출하는 것.
• 핵성 이론 틀을 조율 공간에서 조화 진동자의 함수에 적용하여, 특히 이러한 연산자에 대한 추적 공식을 확립하는 것.

제안 방법

• 이들 공간에 가바르 프레임의 존재를 이용하여 가중 혼합-norm $L^p$ 공간에 대한 메트릭 근사 성질을 증명하는 것.
• 가바르 프레임 표현을 활용하여 조율 및 위너 암거리 공간에 대한 메트릭 근사 성질를 유도하는 것.
• 근사 성질를 확인함으로써 그로텐디크의 핵 연산자 이론을 적용하여 핵 연산자의 추적과 행렬식을 정의할 수 있도록 하는 것.
• 이들 공간에서 r-핵 연산자에 대한 추적 공식을 도출하며, 특히 $r \leq \frac{2}{3}$일 때 $\operatorname{Tr}(T) = \sum_j \lambda_j$가 성립함을 보이는 것.
• 조율 공간 $\mathcal{M}_s^{p,q}$와 $\mathcal{M}_{-s}^{p',q'}$ 사이의 쌍대성 관계를 이용하여 추적을 연산자 커널과 고유값 급수를 통해 표현하는 것.
• 이 틀을 조화 진동자 $A = -\Delta + |x|^2$ 에 적용하여 스펙트럼 분해와 고유함수 전개를 통해 $F(A)$를 분석하는 것.

실험 결과

연구 질문

• RQ1 가중 혼합-norm $L^p$ 공간은 메트릭 근사 성질을 갖는가?
• RQ2 가바르 프레임 기법을 통해 메트릭 근사 성질을 조율 및 위너 암거리 공간으로 확장할 수 있는가?
• RQ3 이들 함수 공간에서 연산자가 r-핵이 되기 위한 필요 및 충분 조건은 무엇인가?
• RQ4 이들 공간에서 r-핵 연산자에 대해 추적 공식 $\operatorname{Tr}(T) = \sum_j \lambda_j$ 가 성립하는 조건은 무엇인가?
• RQ5 연산자 $F(-\Delta + |x|^2)$ 는 조율 공간 $\mathcal{M}_s^{p,q}$ 에서 언제 r-핵이 되며, 언제 그 추적이 $\sum_j F(\lambda_j)$ 와 일치하는가?

주요 결과

• 가중 혼합-norm 레베그 공간 $L_w^{(p_1,\dots,p_n)}$ 는 메트릭 근사 성질을 갖으며, 이는 유계 근사 성질을 함의한다.
• 조율 및 위너 암거리 공간에 대한 메트릭 근사 성질는 그들의 가바르 프레임 표현 덕분에 성립한다.
• r ≤ 2/3 일 때, 연산자 $T$ 가 이러한 공간에서 r-핵이면 추적 공식 $\operatorname{Tr}(T) = \sum_j \lambda_j$ 가 절대 수렴함으로써 성립한다.
• 연산자 $F(-\Delta + |x|^2)$ 는 $\sum_j |F(\lambda_j)|^r \|\phi_j\|_{\mathcal{M}_s^{p,q}}^r \|\phi_j\|_{\mathcal{M}_{-s}^{p',q'}}^r < \infty$ 를 만족할 경우 $\mathcal{M}_s^{p,q}$ 에서 r-핵이 된다.
• r = 1 일 때, 추적 공식 $\operatorname{Tr}F(-\Delta + |x|^2) = \sum_j F(\lambda_j)$ 는 급수가 수렴할 경우 절대 수렴함으로써 성립한다.
• 추적 공식은 헤르mite 함수 $\phi_j$ 의 매끄럽고 급격한 감쇠 성질 덕분에 정당화되며, 이는 $\langle \phi_j, \overline{\phi_j} \rangle_{\mathcal{M}_s^{p,q}, \mathcal{M}_{-s}^{p',q'}} = 1$ 이라는 조건을 만족시킨다.