[논문 리뷰] Operator Hölder--Zygmund functions

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

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{\omega(t)}{t^{m+1}} dt $ 를 도입한다.
• 부드러운 버블 함수 $ W_n $ 과 $ W_n^\sharp $ 와의 컨볼루션을 통한 함수의 이진 분해를 이용하여 주파수 성분을 국소화한다.
• 일반화된 헬더–지그문트 클래스를 정의하기 위해 norm 등가성 $ \|f\|_{\Lambda_{\omega,m}} \asymp \sup_{t>0} \frac{\|\Delta^m_t f\|_{L^\infty}}{\omega(t)} $ 를 적용한다.
• 연산자 노름 $ \Delta_K^m f(A) $ 의 제어를 위해 보간법과 최대 함수 추정을 적용하여 $ \|K\| $ 에 대한 표현을 얻는다.
• 유니터리 연산자에 대해 $ f(e^{i\theta}U) $ 를 통해 프레임워크를 적응하고, 수축 연산자에 대해서는 $ T + (-1)^k \frac{k}{n}(T - R) $ 를 통한 펌터베이션 이론을 적용한다.

실험 결과

연구 질문

• RQ1 모든 자기수반 연산자 $ A, B $ 에 대해 $ f \in \Lambda_\alpha(\mathbb{R}) $ 이고 $ 0 < \alpha < 1 $ 이면 $ \|f(A) - f(B)\| \leq \text{const} \cdot \|A - B\|^\alpha $ 가 성립하는가?
• RQ2 모든 자기수반 $ A, K $ 에 대해 $ f \in \Lambda_1(\mathbb{R}) $ 이면 $ \|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\|) $ 가 성립하며, 이는 비자기수반 연산자로의 프레임워크 확장을 가능하게 한다.