Convexity of trace functionals and Schrödinger operators

Let 퐻 be a semi-bounded self-adjoint operator in a separable Hilbert space. For a certain class of positive, continuous, decreasing, and convex functions F we show the convexity of trace functionals tr(퐹(퐻+푈 - ε (푈))) - ε (푈), where 푈 is a bounded self-adjoint operator on 퐻 and ε (푈) is a normalizing real function－the Fermi level－which may be identical zero. If additionally 퐹 is continuously differentiable, then the corresponding trace functional is Frechet differentiable and there is an expression of its gradient in terms of the derivative of 퐹. The proof of the differentiability of the trace functional is based upon Birman and Solomyak's theory of double Stieltjes operator integrals. If, in particular, 퐻 is a Schrödinger-type operator and 푈 a real-valued function, then the gradient of the trace functional is the quantum mechanical expression of the particle density with respect to an equilibrium distribution function ƒ = -퐹'. Thus, the monotonicity of the particle density in its dependence on the potential 푈 of Schrödinger's operator－which has been understood since the late 1980s－follows as a special case