Harnack's theorem for harmonic compact operator-valued functions (Q5954842)

A function of a complex variable whose values are bounded operators on a separable Hilbert space is said to be harmonic if its composition with every linear functional on operators yields a harmonic function. The authors show that harmonic compact operator-valued functions are characterized by having harmonic diagonal matrix coefficients in any choice of basis. This is used to establish a Harnack's theorem for an increasing sequence of harmonic compact self-adjoint operator-valued functions. Various examples are given, to illustrate the assumptions and conclusions of the results.