In this note we study the problem of evaluating the trace of f(T)âf(R),
where T and R are contractions on Hilbert space with trace class
difference, i.e., TâRâS1â and f is a function analytic in
the unit disk D. It is well known that if f is an operator Lipschitz
function analytic in D, then f(T)âf(R)âS1â. The main
result of the note says that there exists a function Ο (a
spectral shift function) on the unit circle T of class L1(T)
such that the following trace formula holds:
trace(f(T)âf(R))=â«TâfâČ(ζ)Ο(ζ)dζ, whenever T and R are
contractions with TâRâS1â and f is an operator Lipschitz
function analytic in D.Comment: 6 page