[논문 리뷰] Operator-Lipschitz functions in Schatten-von Neumann classes

Denis Potapov, Fedor Sukochev|ArXiv.org|2009. 04. 27.

Holomorphic and Operator Theory참고 문헌 7인용 수 6

한 줄 요약

이 논문은 M.G. Krein의 45년 전 추측을 해결한다. 모든 리프시츠 함수는 모든 $1 < \alpha < \infty$에 대해 슈하텐-폰 뉴먼 아이디얼 $S^\alpha$ 내에서 연산자 리프시츠임을 증명하며, 자기수반 연산자 $a,b$에 대해 $a-b \in S^\alpha$이면 부등식 $\|f(a)-f(b)\|_\alpha \leq c_\alpha \|f\|_{\mathrm{Lip}\,1} \|a-b\|_\alpha$를 확립한다. 증명은 비가환 $L^\alpha$ 공간에서 이중 연산자 적분과 슈어 승수 기법에 기반한다.

ABSTRACT

This paper resolves a number of conjectures in the perturbation theory of linear operators. Namely, we prove that every Lipschitz function is operator Lipschitz in the Schatten-von Neumann ideals $S^α$, $1 &lt; α&lt; \infty$. The negative result for $S^α$, $α= 1, \infty$ was earlier established by Yu. Farforovskaya in 1972.

연구 동기 및 목표

• 1970년대 M.G. Krein의 슈하텐-폰 뉴먼 아이디얼 내 연산자 리프시츠 함수에 대한 추측을 해결하기.
• 모든 리프시츠 함수가 $\|f(a)-f(b)\|_\alpha \leq c_\alpha \|a-b\|_\alpha$를 만족하는 클래스 $F_\alpha$에 속하는지 확인하기. 여기서 $a,b$는 자기수반 연산자이며 $a-b \in S^\alpha$이다.
• Farforovskaya와 Peller의 이전 반례와 추측, 즉 $1<\alpha<\infty$일 때 $F_\alpha$가 모든 리프시츠 함수를 포함하지 않는다는 주장의 타당성을 명확히 하기.
• 비가환 $L^\alpha$-공간 내 리프시츠 함수에 관련된 이중 연산자 적분 연산자에 대한 균일 유계성 결과를 확립하기.
• $1 < \alpha < \infty$에 대해 클래스 $F_\alpha$가 정확히 모든 리프시츠 함수의 클래스와 일치함을 보여, 오랫동안 미해결이었던 문제를 해결하기.

제안 방법

• 리프시츠 함수 $f$에 대해 분할 차분 커널 $\phi_f(\lambda,\mu) = \frac{f(\lambda)-f(\mu)}{\lambda-\mu}$와 관련된 이중 연산자 적분 연산자 $T_{\phi_f}$를 사용한다.
• 반유한 von Neumann 대수의 맥락에서 슈어 승수 기법을 적용하여, 이러한 연산자가 비가환 $L^\alpha$-공간에서 유계임을 분석한다.
• 기약된 가우시안 커널 $G_n(s) = nG(ns)$를 이용해 기호 $\phi_f$를 근사하며, 유한 보렐 측도에 대한 $L^1$-노름 수렴을 활용한다.
• 핵의 균일 연속성에 기반하여, 잘린 연산자 $T_{\phi_n}$의 $L^\alpha$에서의 균일 유계성을 근사와 극한 추론을 통해 확립한다.
• 모든 $\alpha \in (1,\infty)$에 대해 $T_{\phi_f}$가 $L^\alpha$에서 유계임을 안다면, 커mutator 추정식 $\|[f(u),v]\|_\alpha \leq c_\alpha \|[u,v]\|_\alpha$를 통해 원하는 연산자 노름 부등식이 유도됨을 이용한다.
• 주요 부등식의 증명을 완성하기 위해 [18, 정리 5.3]에서 얻은 핵심 결과를 적용한다. 이 결과는 이중 연산자 적분의 유계성과 연산자 리프시츠 성질을 연결한다.

실험 결과

연구 질문

• RQ1 모든 리프시츠 함수 $f$가 $1 < \alpha < \infty$ 및 모든 자기수반 연산자 $a,b$에 대해 $a-b \in S^\alpha$이면 $\|f(a)-f(b)\|_\alpha \leq c_\alpha \|f\|_{\mathrm{Lip}\,1} \|a-b\|_\alpha$를 만족하는가?
• RQ2 모든 $1 < \alpha < \infty$에 대해 클래스 $F\_\alpha$가 연산자 리프시츠 함수의 집합과 모든 리프시츠 함수의 집합이 정확히 일치하는가?
• RQ3 Farforovskaya가 $1 < \alpha < 2$ 및 $2 < \alpha < \infty$에 대해 제시한 반례는 실제로 $F_\alpha$에 속하지 않는가?
• RQ4 V. Peller의 추측, 즉 $f \in F_\alpha$이면 $\{\widehat{f'}(2^n)\}_{n \geq 0} \in \ell^\alpha$임이 참인가?
• RQ5 모든 $1 < \alpha < \infty$에 대해 리프시츠 함수에 관련된 이중 연산자 적분 연산자의 유계성이 비가환 $L^\alpha$-공간 전반에 걸쳐 균일하게 확립될 수 있는가?

주요 결과

• 모든 리프시츠 함수 $f$는 모든 $1 < \alpha < \infty$에 대해 슈하텐-폰 뉴먼 아이디얼 $S^\alpha$ 내에서 연산자 리프시츠이며, 자기수반 연산자 $a,b$에 대해 $a-b \in S^\alpha$이면 $\|f(a)-f(b)\|_\alpha \leq c_\alpha \|f\|_{\mathrm{Lip}\,1} \|a-b\|_\alpha$를 만족한다.
• 이 조건을 만족하는 클래스 $F_\alpha$는 $1 < \alpha < \infty$일 때 정확히 모든 리프시츠 함수의 클래스와 일치하며, 이는 Krein의 추측을 일반적으로 해결한다.
• Farforovskaya가 $1 < \alpha < 2$ 및 $2 < \alpha < \infty$에 대해 제시한 반례는 성립하지 않으며, 그녀의 함수 $f_\alpha$는 실제로 $F_\alpha$에 속한다.
• V. Peller의 추측, 즉 $f \in F_\alpha$이면 $\{\widehat{f'}(2^n)\}_{n \geq 0} \in \ell^\alpha$임이 참이라는 주장은 틀리며, 모든 리프시츠 함수가 $F_\alpha$에 속하기 때문이다.
• 리프시츠 함수의 분할 차분 커널과 관련된 이중 연산자 적분 연산자 $T_{\phi_f}$는 모든 $1 < \alpha < \infty$에 대해 $L^\alpha$에서 유계이며, 스펙트럼 측도에 대해 균일하다.
• 증명은 주요 부등식의 상수 $c_\alpha$가 특정 연산자 $a$와 $b$에 따라 달라지지 않고 $\alpha$에만 의존함을 보여, 균일한 연산자 리프시츠 성질을 확인한다.