[논문 리뷰] Operator Lipschitz functions (English translation)

А. Б. Александров, Vladimir Peller|arXiv (Cornell University)|2016. 11. 05.

Advanced Harmonic Analysis Research참고 문헌 35인용 수 6

한 줄 요약

이 논문은 자기수반 연산자 $ A, B $ 에 대해 $ \|f(A) - f(B)\| \leq C\|A - B\| $ 를 만족하는 연속적인 실수값 함수 $ f $, 즉 연산자 리프시츠 함수에 대한 종합적인 분석을 제공한다. 연산자 리프시츠 성질은 분할 차분 $ \mathfrak{D}f(x,y) = \frac{f(x)-f(y)}{x-y} $ 가 슈어 곱수임과 동치임을 증명하고, 연산자 리프시츠 함수는 모든 트레이스-클래스 섭동에 대해 리프시츠–크레인 추적 공식이 성립하는 함수들임을 입증한다.

ABSTRACT

The purpose of this survey is a comprehensive study of operator Lip\-schitz functions. A continuous function $f$ on the real line ${\Bbb R}$ os called operator Lipschitz if $\|f(A)-f(B)\|\le\operatorname{const}\|A-B\|$ for arbitrary self-adjoint operators $A$ and $B$. We give sufficient conditions and necessary conditions for operator Lipschitzness. We also study the class of operator differentiable functions on ${\Bbb R}$ . Next, we consider operator Lipschitz functions on closed subsets of the plane and introduce the class of commutator Lipschitz functions on such subsets. An important role for the study of such classes of functions is played by double operator integrals and Schur multipliers.

연구 동기 및 목표

• 모든 자기수반 연산자 $ A, B $ 에 대해 $ \|f(A) - f(B)\| \leq C\|A - B\| $ 를 만족하는 연속 함수 $ f $ 를 특성화하여 연산자 리프시츠 함수의 클래스를 정의한다.
• 연산자 리프시츠 성질, 연산자 미분 가능성, 그리고 분할 차분 $ \mathfrak{D}f $ 의 슈어 곱수 성질 간의 관계를 명확히 한다.
• 베소프 및 니콜스키-베소프 클래스와 같은 함수 공간을 통해 연산자 리프시츠 성질에 대한 필요 및 충분 조건을 수립한다.
• 복소평면의 부분집합에 정의된 함수로 이론을 확장하여, 공통자 리프시츠 함수를 도입하고 이중 연산자 적분과의 연결을 밝힌다.
• 모든 자기수반 연산자에 대해 트레이스-클래스 차이를 갖는 경우 리프시츠–크레인 추적 공식의 타당성에서 연산자 리프시츠 함수의 역할을 해결한다.

제안 방법

• 자기수반 연산자에 대해 $ f(A) - f(B) $ 를 정의하고 추정하기 위한 중심 분석 도구로 이중 연산자 적분을 사용한다.
• 분할 차분 $ \mathfrak{D}f(x,y) = \frac{f(x)-f(y)}{x-y} $ 의 슈어 곱수 성질을 통해 연산자 리프시츠 함수를 특성화한다.
• 보간 이론과 함수 공간 포함관계(예: $ B_{\infty,1}^1(\mathbb{R}) \subset \text{OL}(\mathbb{R}) $) 를 적용하여 충분 조건를 도출한다.
• 복소평면의 닫힌 부분집합, 특히 단위 원판과 반평면에 대한 결과를 코시 적분 표현을 통해 확장한다.
• 트레이스-클래스 추정과 스펙트럼 이동 함수를 사용하여 연산자 리프시츠 성질이 리프시츠–크레인 추적 공식의 타당성과 어떻게 연결되는지 밝힌다.
• 비교능 연산자 쌍과 $ \boldsymbol{S}_p $-노름 추정을 다루기 위해 슈어 곱수와 하아거룹 텐서 tích 기법을 응용한다.

실험 결과

연구 질문

• RQ1 모든 자기수반 연산자 $ A, B $ 에 대해 $ \|f(A) - f(B)\| \leq C\|A - B\| $ 를 만족하는 연속 함수 $ f $ 에 대한 조건은 무엇인가?
• RQ2 연산자 리프시츠 성질은 분할 차분 $ \mathfrak{D}f $ 의 슈어 곱수 성질과 어떻게 관련되어 있는가?
• RQ3 어떤 조건에서 모든 자기수반 연산자에 대해 트레이스-클래스 차이를 갖는 경우 리프시츠–크레인 추적 공식이 성립하는가?
• RQ4 연산자 리프시츠 함수 이론은 단위 원판이나 반평면과 같은 복소평면의 부분집합에 정의된 함수로 확장될 수 있는가?
• RQ5 연산자 리프시츠 성질과 샤텐–폰 노이만 클래스에서의 교환자 유계성 간의 관계는 무엇인가?

주요 결과

• 연속 함수 $ f $ 가 $ \mathbb{R} $ 에서 연산자 리프시츠일 필요와 충분 조건은 그 분할 차분 $ \mathfrak{D}f(x,y) = \frac{f(x)-f(y)}{x-y} $ 가 슈어 곱수임이다.
• 연산자 리프시츠 함수는 반드시 곳곳에서 미분 가능하지만, 연속적으로 미분 가능할 필요는 없다.
• 모든 자기수반 연산자 $ A, B $ 에 대해 $ A - B \in \boldsymbol{S}_1 $ 를 만족할 때 리프시츠–크레인 추적 공식이 성립하는 것은 $ f $ 가 연산자 리프시츠일 때에 한하여 성립한다.
• $ 0 < \alpha < 1 $ 인 경우, $ \Lambda_\alpha(\mathbb{Z}) $ 에 속하는 함수는 연산자 리프시츠이며, 이때 노름은 $ \Lambda_\alpha $-준노름에 의해 제어된다.
• 파르포로브스카야의 예를 통해 $ f(x) = |x| $ 가 비연산자 리프시츠임을 보여주었을 때, 클래스 $ \text{OL}(\mathbb{R}) $ 는 리프시츠 함수의 클래스를 엄밀히 포함한다.
• 비교능 자기수반 연산자에 대한 함수에 대해, $ \boldsymbol{S}_p $-노름 추정 $ \|f(A_1,B_1) - f(A_2,B_2)\|_{\boldsymbol{S}_p} \leq C\|f\|_{B_{\infty,1}^1} \max\{\|A_1 - A_2\|_{\boldsymbol{S}_p}, \|B_1 - B_2\|_{\boldsymbol{S}_p}\} $ 은 $ p \in [1,2] $ 에서만 성립하며, $ p > 2 $ 에서는 성립하지 않는다.