[論文レビュー] Operator Hölder--Zygmund functions

А. Б. Александров, Vladimir Peller|ArXiv.org|Jul 17, 2009

Advanced Harmonic Analysis Research参考文献 2被引用数 6

ひとこと要約

本稿は、自己随伴、ユニタリ、および収縮作用素におけるホルダー–ジグムントクラス関数の鋭い作用素ノルム推定を確立する。$ f \in \Lambda_\alpha(\mathbb{R}) $ で $ 0 < \alpha < 1 $ のとき、作用素差 $ \|f(A) - f(B)\| \leq \text{const} \cdot \|A - B\|^\alpha $ が成り立ち、これは $ \omega_{*,m} $ 関数を用いて高階の有限差分および任意の連続モジュールへ拡張され、作用素ホルダーおよびジグムント連続性に関する長年の未解決問題を解決する。

ABSTRACT

It is well known that a Lipschitz function on the real line does not have to be operator Lipschitz. We show that the situation changes dramatically if we pass to Hölder classes. Namely, we prove that if $f$ belongs to the Hölder class $Ł_\a(\R)$ with $00$. Then we find a sharp estimate for $\|f(A)-f(B)\|$ for functions $f$ of class $Ł_ø\df\{f: ø_f(\d)\le\constø(\d)\}$ for an arbitrary modulus of continuity $ø$. In particular, we study moduly of continuity, for which $\|f(A)-f(B)\|\le\constø(\|A-B\|)$ for self-adjoint $A$ and $B$, and for an arbitrary function $f$ in $Ł_ø$. We obtain similar estimates for commutators $f(A)Q-Qf(A)$ and quasicommutators $f(A)Q-Qf(B)$. Finally, we estimate the norms of finite differences $\sum\limits_{j=0}^m(-1)^{m-j}(m j)f\big(A+jK\big)$ for $f$ in the class $Ł_{ø,m}$ that is defined in terms of finite differences and a modulus continuity $ø$ of order $m$. We also obtaine similar results for unitary operators and for contractions.

研究の動機と目的

• ホルダー–ジグムント関数が必然的に作用素ホルダーまたは作用素ジグムントであるかどうかという長年の未解決問題を解消すること。
• 連続モジュールによって定義される一般化されたホルダー–ジグムントクラスに属する関数について、$ \|f(A) - f(B)\| $ の $ \|A - B\| $ に関する鋭い推定を確立すること。
• これらの結果を高階の有限差分、交換子、準交換子、および自己随伴作用素に限らない作用素（ユニタリ作用素や収縮作用素も含む）へ拡張すること。
• 関数 $ f \in \Lambda_\omega $ に対して $ \|f(A) - f(B)\| \leq \text{const} \cdot \omega(\|A - B\|) $ を満たす最適な連続モジュール $ \omega $ を特徴付けること。

提案手法

• 作用素 $ f(A) - f(B) $ 及び関連量をスペクトル測度を含む積分として表す多重作用素積分計算を用いる。
• 高階の有限差分の上界を求めるための鍵的ツールとして、$ \omega_{*,m}(x) = x^m \int_x^\infty \frac{ω(t)}{t^{m+1}} dt $ を導入する。
• 滑らかなバンプ関数 $ W_n $ 及び $ W_n^\sharp $ を用いた畳み込みによる関数のデイティック分解を用いて周波数成分を局所化する。
• 一般化されたホルダー–ジグムントクラスを定義するためのノルム同値関係 $ \|f\|_{\Lambda_{\omega,m}} \asymp \sup_{t>0} \frac{\|\Delta^m_t f\|_{L^\infty}}{\omega(t)} $ を適用する。
• 作用素ノルム $ \Delta_K^m f(A) $ の制御のため、補間および最大関数の推定を用いる。
• ユニタリ作用素に対しては $ f(e^{i\theta}U) $ を用い、収縮作用素に対しては $ T + (-1)^k \frac{k}{n}(T - R) $ を用いた摂動論的手法を適応する。

実験結果

リサーチクエスチョン

• RQ1 任意の自己随伴作用素 $ A, B $ に対して、ホルダークラス $ \Lambda_\alpha(\mathbb{R}) $ に属する関数 $ f $ が $ \|f(A) - f(B)\| \leq \text{const} \cdot \|A - B\|^\alpha $ を満たすかどうか。
• RQ2 任意の自己随伴作用素 $ A, K $ に対して、ジグムントクラス $ \Lambda_1(\mathbb{R}) $ に属する関数 $ f $ が $ \|f(A+K) - 2f(A) + f(A-K)\| \leq \text{const} \cdot \|K\| $ を満たすかどうか。
• RQ3 任意の連続モジュール $ \omega $ に対して、$ \|\Delta_K^m f(A)\| \leq \text{const} \cdot \|f\|_{\Lambda_{\omega,m}} \cdot \omega_{*,m}(\|K\|) $ を満たす最適な関数 $ \omega_{*,m} $ は何か。
• RQ4 交換子 $ f(A)Q - Qf(A) $ 及び準交換子 $ f(A)Q - Qf(B) $ に対しても同様の作用素ノルム推定が得られるか。
• RQ5 自己随伴作用素に限らず、ユニタリ作用素や収縮作用素に対しても同様の結果が成り立つか。

主な発見

• $ f \in \Lambda_\alpha(\mathbb{R}) $ で $ 0 < \alpha < 1 $ のとき、作用素ノルムは $ \|f(A) - f(B)\| \leq \text{const} \cdot \|A - B\|^\alpha $ を満たし、定数は $ \alpha $ と $ f $ のホルダー半ノルムに依存する。
• $ f \in \Lambda_1(\mathbb{R}) $ のとき、ジグムント条件は $ \|f(A+K) - 2f(A) + f(A-K)\| \leq \text{const} \cdot \|K\| $ を意味し、ジグムント関数が作用素ジグムントであることが確認される。
• 一般化された連続モジュール $ \omega $ に対して、$ m $ 階差分について $ \|f(A) - f(B)\| \leq \text{const} \cdot \|f\|_{\Lambda_{\omega}} \cdot \omega_{*,m}(\|A - B\|) $ が成り立つ。ここで $ \omega_{*,m}(x) = x^m \int_x^\infty \frac{\omega(t)}{t^{m+1}} dt $ である。
• 関数 $ \omega_{*,m} $ は最適であり、$ \omega(2x) \leq \kappa \omega(x) $ で $ \kappa < 2^m $ を満たすならば $ \omega_{*,m}(x) \leq \text{const} \cdot \omega(x) $ となるため、定数倍の意味で鋭い推定である。
• 結果はユニタリ作用素へ拡張可能であり、$ \left\| \sum_{k=0}^m (-1)^k \binom{m}{k} f(e^{ikA}U) \right\| \leq \text{const} \cdot \|f\|_{\Lambda_{\omega,m}} \cdot \omega_{*,m}(\|A\|) $ が成り立つ。
• 収縮作用素 $ T, R $ に対して、不等式 $ \left\| \sum_{k=0}^m (-1)^k \binom{m}{k} f\left(T + (-1)^k \frac{k}{n}(T-R)\right) \right\| \leq \text{const} \cdot \|f\|_{\Lambda_{\omega,m}} \cdot \omega_{*,m}(\|T-R\|) $ が成り立ち、非自己随伴作用素へもフレームワークが拡張される。