IntroductionIf J is an open subinterval of R and f is a real-valued function defined on J then for each self-adjoint operator A on a finite-dimensional complex inner product space, the spectrum of which is contained in J, there is defined a self-adjoint operator which is denoted by f (A). One refers to the "operator function" f . If J and J ′ are open subintervals of R and F is a real-valued function of two variables defined on J × J ′ then for each pair A, B of self-adjoint operators on finite-dimensional complex inner product spaces X and Y respectively, with spectra contained in J and J ′ respectively, there is defined a selfadjoint operator F (A, B) on the tensor product space X ⊗ Y . One refers to the "operator function" F of two variables.There is a substantial literature concerning these operator functions and their properties. A function f : J → R is said to be operator monotone if f (A) ≤ f (B) whenever the terms are defined and A ≤ B. There is also a natural concept of operator convexity which for functions of one variable is intimately related to operator monotonicity. (Formal definitions are given in subsequent sections.) The present paper is concerned with the Fréchet differentiability and operator convexity of operator functions.In 1934 Löwner [13], in a celebrated paper, characterised those functions f : J → R which are operator monotone; they are, in particular, analytic. Several proofs of Löwner's central result are presented in a monograph by Donoghue [5]. More recently Hansen and Pedersen [9] have obtained yet another and very interesting proof and their development is followed in [4]. Part I of this paper is in part a response to their paper; it prompted the present authors to ask to what extent the results of the theory of operator monotone and operator convex functions can be obtained by exploiting the calculus. Theorems 2.1 and 4.2 include the results that, in both the one and two-variable situations, if a real-valued function is continuously L times differentiable then the associated operator functions are L times Fréchet differentiable with continuous Fréchet derivatives. These theorems fill a longstanding gap in the theory. They allow straightforward and direct uses of the calculus in contexts where in the past ad hoc substitutes for the calculus have often been used. In particular the elementary differential conditions for monotonicity and convexity of real-valued functions extend naturally to operator functions (Theorems 3.1 and 3.2). Theorems 4.2 and 3.2 are exploited in Part II of the paper. Matrix forms of these results, previously obtained in the two-variable case by relatively ad hoc methods, follow immediately. The Fréchet differentiability of operator functions on infinite-dimensional Hilbert spaces is the subject of a paper by Hansen and Pedersen [8] but the overlap with
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.