[논문 리뷰] Cwikel-Solomyak estimates on tori and Euclidean spaces

Fedor Sukochev, Dmitriy Zanin|arXiv (Cornell University)|2020. 08. 11.

Advanced Harmonic Analysis Research참고 문헌 30인용 수 8

한 줄 요약

이 논문은 d차원 토러스와 유클리드 공간에서 라플라스 연산자를 포함하는 연산자의 슈체텐 약한 아이디얼 노름에 대해 날카운 Cwikel 유형 추정을 수립한다. 이는 Solomyak의 결과를 토러스에서 홀수 차원으로 확장하고 유클리드 공간에 대해 새로운 추정을 제시하며, 약한 슈체텐 클래스 $\mathcal{L}_{1,\infty}$에서 임계 경우가 실패하지만 $L \log L$ 유형의 오르리츠 공간을 포함하는 보완된 오르리츠 노름 조건에서는 성립함을 보여준다.

ABSTRACT

We revise Cwikel-type estimate for the singular values of the operator $(1-Δ_{\mathbb{T}^d})^{-\frac{d}{4}}M_f(1-Δ_{\mathbb{T}^d})^{-\frac{d}{4}}$ on the torus $\mathbb{T}^d$ for the ideal $\mathcal{L}_{1,\infty}$, established by M.Z. Solomyak in even dimensions in \cite{Solomyak1995}, and extend it to odd dimensions. We obtain a new result for (symmetrized) Cwikel type estimates for Laplacians on $\mathbb{R}^d$ for arbitrary positive integer $d.$

연구 동기 및 목표

• 토러스 $\mathbb{T}^d$에서 짝수 차원에서부터 홀수 차원으로까지 Solomyak의 연산자 $(1 - \Delta_{\mathbb{T}^d})^{-d/4} M_f (1 - \Delta_{\mathbb{T}^d})^{-d/4}$에 대한 Cwikel 유형 추정을 확장한다.
• G. Rozenblum이 제기한 질문, 즉 이러한 추정이 유클리드 공간 $\mathbb{R}^d$에서 약한 슈체텐 클래스 $\mathcal{L}_{1,\infty}$로까지 확장되는지 여부를 해결한다.
• 동일한 연산자에 대해 $\mathbb{R}^d$에서 새로운 최적의 Cwikel 유형 추정을 유도하여 문헌에서 알려진 임계 경우 결과를 포괄한다.
• 이러한 추정의 맥락에서 더 큰 Dixmier-Macaev 아이디얼 $\mathcal{M}_{1,\infty}$와 더 작은 약한 슈체텐 클래스 $\mathcal{L}_{1,\infty}$ 사이의 차이를 명확히 한다.

제안 방법

• 토러스에서 홀수 차원으로 Solomyak의 방법을 적응하여 스펙트럼 이론과 특이값 추정을 사용한다.
• Birman-Schwinger 원리를 활용하여 슈뢰딩거 연산자의 스펙트럼 수세기 함수를 Cwikel 유형 연산자의 특이값과 연결한다.
• Lorentz 및 오르리츠 공간 노름, 특히 $M(t) = t \log(e + t)$인 $L_M(\mathbb{R}^d)$를 사용하여 추정이 성립하는 함수 공간을 특성화한다.
• 특이값을 함수 $f$의 감소 정렬과 비교하기 위해 대칭화 및 재정렬 기법을 적용한다.
• 문헌 [39]과 [28]의 추정을 조합하여 $d=2$에서 $-\Delta - M_f$의 스펙트럼 수세기 함수에 대한 유계를 도출하고 주요 결과를 얻는다.
• 근사화 및 쌍대성 기법을 사용하여 유계적이며 컴actsupport를 가진 $f$에서 일반적인 $f \in L_M(\mathbb{R}^d)$로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 토러스에서 짝수 차원에서 홀수 차원으로까지 Solomyak의 Cwikel 유형 추정, 즉 연산자 $(1 - \Delta_{\mathbb{T}^d})^{-d/4} M_f (1 - \Delta_{\mathbb{T}^d})^{-d/4}$의 확장이 가능한가?
• RQ2 유클리드 공간 $\mathbb{R}^d$에서 추정 $\| (1 - \Delta_{\mathbb{R}^d})^{-d/4} M_f (1 - \Delta_{\mathbb{R}^d})^{-d/4} \|_{1,\infty} \leq c_d \|f\|_{L_M(\mathbb{R}^d)}$이 성립하는가?
• RQ3 약한 슈체텐 클래스 $\mathcal{L}_{1,\infty}$에서 Cwikel 유형 추정이 여전히 유효한 최적의 함수 공간은 무엇인가?
• RQ4 임계 경우에서 약한 슈체텐 클래스 $\mathcal{L}_{1,\infty}$와 더 큰 Dixmier-Macaev 아이디얼 $\mathcal{M}_{1,\infty}$ 사이의 추정은 어떻게 다를까?

주요 결과

• 논문은 정리 1.1을 수립한다: 임의의 $d \in \mathbb{N}$에 대해 연산자 $(1 - \Delta_{\mathbb{T}^d})^{-d/4} M_f (1 - \Delta_{\mathbb{T}^d})^{-d/4}$는 $f \in L_M(\mathbb{T}^d)$이면 $\| \cdot \|_{1,\infty} \leq c_d \|f\|_{L_M(\mathbb{T}^d)}$를 만족하며, Solomyak의 결과를 홀수 차원으로 확장한다.
• 정리 1.2는 정리 1.1의 추정이 $\mathbb{R}^d$에서 약한 슈체텐 클래스 $\mathcal{L}_{1,\infty}$에서는 어떤 대칭적인 quasi-Banach 함수 공간 $E$에 대해서도 실패함을 보여준다.
• 정리 1.3은 $\mathbb{R}^d$에서 새로운 추정을 제공한다: $f \in L_M(\mathbb{R}^d)$에 대해 $\| (1 - \Delta_{\mathbb{R}^d})^{-d/4} M_f (1 - \Delta_{\mathbb{R}^d})^{-d/4} \|_{1,\infty} \leq c_d \left( \|f\|_{L_M(\mathbb{R}^d)} + \int_{\mathbb{R}^d} |f(s)| \log(1 + |s|) \, ds \right)$이다.
• $d=2$에 대한 증명은 Birman-Schwinger 원리와 [39]의 스펙트럼 추정에 기반하여, $-\Delta - M_f$의 음의 고유값 수가 상수배의 $\|f\|_{L_M} + \int |f(s)| \log(1 + |s|) \, ds$로 유계임을 보여준다.
• $M(t) = t \log(e + t)$인 오르리츠 공간 $L_M(\mathbb{R}^d)$가 레이스터 공간 $\Lambda_1$과 정확히 일치함을 보여, 최종 유계에 핵심적인 역할을 한다.
• 결과는 뚜렷한 대비를 보인다: $\mathbb{R}^d$에서 추정은 $\mathcal{M}_{1,\infty}$에서는 성립하지만, 더 작은 아이디얼인 $\mathcal{L}_{1,\infty}$에서는 실패하며, 이는 임계 경우가 아이디얼 선택에 민감함을 시사한다.