[論文レビュー] Operator-Lipschitz functions in Schatten-von Neumann classes

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

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.

研究の動機と目的

• M.G. Kreinが1970年代に提起した、シュタイン＝フォン・ノイマン理想における作用素的リプシッツ関数に関する予想を解決すること。
• すべてのリプシッツ関数が、すべての自己共役作用素 $a,b$ に対して $a-b \in S^\alpha$ を満たすとき、$\|f(a)-f(b)\|_\alpha \leq c_\alpha \|a-b\|_\alpha$ を満たすクラス $F_\alpha$ に属するかどうかを特定すること。
• Farforovskaya や Peller が提起した、$1<\alpha<\infty$ に対して $F_\alpha$ がすべてのリプシッツ関数を含まないという反例や予想の妥当性を明確にすること。
• 非可換 $L^\alpha$-空間におけるリプシッツ関数に関連する二重作用素積分作用素の一様有界性を確立すること。
• クラス $F\_\alpha$ が $1 < \alpha < \infty$ に対して、すべてのリプシッツ関数のクラスとちょうど一致することを示し、長年の未解決問題を解決すること。

提案手法

• リプシッツ関数 $f$ に対して、差分商カーネル $\phi_f(\lambda,\mu) = \frac{f(\lambda)-f(\mu)}{\lambda-\mu}$ に関連する二重作用素積分作用素 $T_{\phi_f}$ を用いる。
• 半有限フォン・ノイマン代数の設定において、シュール乗数技法を適用し、これらの作用素が非可換 $L^\alpha$-空間上で有界であるかを分析する。
• 符号 $\phi_f$ の近似として、拡張されたガウス型カーネル $G_n(s) = nG(ns)$ を用い、有限ボレル測度に関する $L^1$-ノルムにおける収束を活用する。
• 核の一様連続性に依拠し、近似と極限の議論により、$L^\alpha$ 上での切断された作用素 $T_{\phi_n}$ の一様有界性を確立する。
• 作用素 $T_{\phi_f}$ がすべての $\alpha \in (1,\infty)$ に対して $L^\alpha$ 上で有界であることは、コンmutator推定量 $\|[f(u),v]\|_\alpha \leq c_\alpha \|[u,v]\|_\alpha$ を通じて、望ましい作用素ノルム不等式が得られることを示唆する。
• 主要な不等式の証明を完了させるために、[18, 定理5.3] の重要な結果を適用し、二重作用素積分の有界性と作用素的リプシッツ性の関係を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 すべてのリプシッツ関数 $f$ に対して、すべての自己共役作用素 $a,b$ について $a-b \in S^\alpha$ かつ $1 < \alpha < \infty$ を満たすとき、$\|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$ が成り立つことを意味する。
• $1 < \alpha < \infty$ に対して、この作用素的リプシッツ条件を満たす関数のクラス $F_\alpha$ は、すべてのリプシッツ関数のクラスとちょうど一致する。これは、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$ のみに依存することが示された。これは、一様作用素的リプシッツ性が確認されたことを意味する。