[논문 리뷰] Factorizations and singular value estimates of operators with Gelfand-Shilov and Pilipović kernels

Yuanyuan Chen, Mikael Signahl외 1명|arXiv (Cornell University)|2015. 11. 19.

Spectral Theory in Mathematical Physics참고 문헌 8인용 수 5

한 줄 요약

이 논문은 피리보비치 또는 게르파인드-실로프 공간에 속하는 커널을 가진 선형 연산자가 동일한 클래스에 속하는 두 개의 연산자로 분해될 수 있음을 증명하며, 이는 날카운 특이값 추정에 기여한다. 또한, $\mathcal{H}_s$-커널의 경우 특이값이 $\sigma_j(T) \lesssim e^{-c j^{1/(2ds)}}$로 감소하고, 슈바르츠 커널의 경우 $\sigma_j(T) \lesssim \langle j \rangle^{-N}$로 감소함을 입증하여, 추적-클래스 및 조절 공간 기법을 통해 쇼텐-폰 뉴먼 성질을 확인한다.

ABSTRACT

We prove that any linear operator with kernel in a Pilipović or Gelfand-Shilov space can be factorized by two operators in the same class. We also give links on numerical approximations for such compositions. We apply these composition rules to deduce estimates of singular values and establish Schatten-von Neumann properties for such operators.

연구 동기 및 목표

• 피리보비치 또는 게르파인드-실로프 공간에 속하는 커널을 가진 연산자가 동일한 클래스에 속하는 두 개의 연산자로 분해될 수 있음을 증명하는 것.
• 피리보비치 및 슈바르츠 유형 함수 공간과 그 쌍대 공간 간에서 작용할 때 이러한 연산자의 정밀한 특이값 추정을 도출하는 것.
• 커널의 감쇠와 추적-클래스 임bedding을 이용하여 이러한 연산자의 쇼텐-폰 뉴먼 성질을 확립하는 것.
• 특이값 감쇠와 헤르미트 계수의 지수 감쇠 및 조절 공간 노름 간의 연결 고리 설정

제안 방법

• 저자들은 연산자의 극분해를 사용하여 커널을 특이값과 관련된 고유함수의 합으로 표현하고, 이를 헤르미트 함수와 연결한다.
• 바르그만 변환과 조절 공간 노름을 적용하여 $\mathcal{H}_s$ 및 $\mathcal{H}_{0,s}$ 공간에서 커널의 감쇠를 특성화한다.
• 추적-클래스 노름을 $M^{1,1}$ 공간에 적용하여 헤르미트 계수의 성장률을 제한하고, 이로부터 특이값 추정을 이끌어낸다.
• 매개변수 이동에 대한 조절 공간 노름의 불변성과 $p,q \in [1,\infty]$에 대한 임베딩을 활용하며, 보간을 통해 모든 $p,q \in (0,\infty]$로 확장한다.
• 핵심 단계로, $\|H_1^N H_2^N K\|_{M^{1,1}}$ 노름이 $h^N (N!)^{4s}$에 의해 유계임을 보여주며, 이는 특이값 감쇠를 암시한다.
• 모든 피리보비치 공간에 대해 분해 대수적 구조를 확립하기 위해, 이러한 연산자가 동일한 피리보비치 공간에 속하는 커널을 가진 두 개의 연산자의 합성으로 표현될 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 피리보비치 또는 게르파인드-실로프 공간에 속하는 커널을 가진 모든 연산자는 동일한 클래스에 속하는 두 개의 연산자로 분해될 수 있는가?
• RQ2 피리보비치 및 슈바르츠 유형 공간 간에서 작용할 때 이러한 연산자의 특이값 감쇠 속도는 정확히 얼마인가?
• RQ3 커널이 $\mathcal{H}_s$와 $\mathcal{H}_{0,s}$에 속할 경우 특이값은 어떻게 행동하는가?
• RQ4 특이값 추정은 어떤 정도에서 함수 공간과 쌍대 쌍의 선택에 의존하는가?
• RQ5 헤르미트 계수의 감쇠와 연산자의 쇼텐-폰 뉴먼 성질 간의 연결 고리는 무엇인가?

주요 결과

• 커널이 $\mathcal{H}_s(\mathbf{R}^{2d})$에 속하는 연산자는 $\sigma_j(T) \lesssim e^{-c j^{1/(2ds)}}$를 만족하며, $c>0$ 이므로 초초기수 감쇠를 나타낸다.
• 커널이 $\mathcal{H}_{0,s}(\mathbf{R}^{2d})$에 속할 경우, 특이값은 모든 $c>0$에 대해 $\sigma_j(T) \lesssim e^{-c j^{1/(2ds)}}$로 감소하며, 루미에 경우보다 더 강한 감쇠를 보인다.
• 커널이 슈바르츠 공간에 속할 경우, 특이값은 어떤 다항식보다도 더 빠르게 감소한다: 모든 $N \geq 0$에 대해 $\sigma_j(T) \lesssim \langle j \rangle^{-N}$이며, 이는 힐버트-슈미트 및 쇼텐-폰 뉴먼 소속성을 확인한다.
• 모든 피리보비치 공간에 대해 분해 성질이 성립한다: $\mathcal{H}_s$에 속하는 커널을 가진 모든 연산자는 동일한 $\mathcal{H}_s$ 공간에 속하는 커널을 가진 두 개의 연산자의 합성으로 표현될 수 있다.
• 특이값 감쇠는 추적-클래스 노름을 통한 조절 공간에서의 헤르미트 계수 감쇠와 연결되며, $\|H_1^N H_2^N K\|_{M^{1,1}} \lesssim h^N (N!)^{4s}$이다.
• 추정은 매개변수 $N_{0,1}, N_{0,2}, \omega, p, q$의 변화에 대해 불변이며, $M^{p,q}$ 노름과 $L^2$ 노름 간의 동치성은 모든 $p,q \in (0,\infty]$로 결과를 확장하는 데 사용된다.