Double operator integral methods applied to continuity of spectral shift functions

preprint2016arXivOpen access

Abstract

We derive two main results: First, assume that AA, BB, AnA_n, BnB_n are self-adjoint operators in the Hilbert space H\mathcal{H}, and suppose that AnA_n converges to AA and BnB_n to BB in strong resolvent sense as n→∞n \to \infty. Fix m∈Nm \in \mathbb{N}, mm odd, p∈[1,∞)p \in [1,\infty), and assume that T:=[(A+iIH)−m−(B+iIH)−m]∈Bp(H)T:= \big[( A + iI_{\mathcal{H}})^{-m} - ( B + iI_{\mathcal{H}})^{-m}\big] \in \mathcal{B}_p(\mathcal{H}), Tn:=[(An+iIH)−m−(Bn+iIH)−m]∈Bp(H)T_n := \big[( A_n + iI_{\mathcal{H}})^{-m} - ( B_n + iI_{\mathcal{H}})^{-m}\big] \in \mathcal{B}_p(\mathcal{H}), and lim⁡n→∞∥Tn−T∥Bp(H)=0\lim_{n \rightarrow \infty} \|T_n - T\|_{\mathcal{B}_p(\mathcal{H})} =0. Then for any function ff in the class Fk(R)⊃C0∞(R)\mathfrak F_{k}(\mathbb{R}) \supset C_0^{\infty}(\mathbb{R}) (cf. (1.1)), lim⁡n→∞∥[f(An)−f(Bn)]−[f(A)−f(B)]∥Bp(H)=0. \lim_{n \rightarrow \infty} \big\| [f(A_n) - f(B_n)] - [f(A)- f(B)]\big\|_{\mathcal{B}_p(\mathcal{H})}=0. Our second result concerns the continuity of spectral shift functions ξ(⋅;B,B0)ξ(\cdot; B,B_0) with respect to the operator parameter BB. For TT self-adjoint in H\mathcal{H} we denote by Γm(T)Γ_m(T), m∈Nm \in \mathbb{N} odd, the set of all self-adjoint operators SS in H\mathcal{H} satisfying [(S−zIH)−m−(T−zIH)−m]∈B1(H)\big[(S - z I_{\mathcal{H}})^{-m} - (T - z I_{\mathcal{H}})^{-m}\big] \in \mathcal{B}_1(\mathcal{H}), z∈C\Rz \in \mathbb{C}\backslash \mathbb{R}. Employing a suitable topology on Γm(T)Γ_m(T) (cf. (1.9), we prove the following: Suppose that B1∈Γm(B0)B_1\in Γ_m(B_0) and let {Bτ}τ∈[0,1]⊂Γm(B0)\{B_τ\}_{τ\in [0,1]}\subset Γ_m(B_0) denote a path from B0B_0 to B1B_1 in Γm(B0)Γ_m(B_0) depending continuously on τ∈[0,1]τ\in [0,1] with respect to the topology on Γm(B0)Γ_m(B_0). If f∈L∞(R)f \in L^{\infty}(\mathbb{R}), then lim⁡τ→0+∥ξ( ⋅ ;Bτ,A0)f−ξ( ⋅ ;B0,A0)f∥L1(R;(∣ν∣m+1+1)−1dν)=0. \lim_{τ\to 0^+} \|ξ(\, \cdot \, ; B_τ, A_0) f - ξ(\, \cdot \, ; B_0, A_0) f\|_{L^1(\mathbb{R}; (|ν|^{m+1} + 1)^{-1}dν)} = 0.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.