Operator monotone functions and Löwner functions of several variables

DOI10.4007/ANNALS.2012.176.3.7MaRDI QIDQ1928617zbMATH OpenOpenAlexFDO

Authors John E. McCarthy, N. J. Young, Jim Agler

Publication date 3 January 2013

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1009.3921

edge of the wedge theorem functional calculus Loewner class Loewner's theorem matrix monotone functions operator monotone functions

Mathematics Subject Classification ID

Norms of matrices, numerical range, applications of functional analysis to matrix theory (15A60) Several-variable operator theory (spectral, Fredholm, etc.) (47A13) Functional calculus for linear operators (47A60) Linear operator inequalities (47A63)

Abstract: We prove generalizations of L"owner's results on matrix monotone functions to several variables. We give a characterization of when a function of

d

variables is locally monotone on

d

-tuples of commuting self-adjoint

n

-by-

n

matrices. We prove a generalization to several variables of Nevanlinna's theorem describing analytic functions that map the upper half-plane to itself and satisfy a growth condition. We use this to characterize all rational functions of two variables that are operator monotone.

Review text

For positive integers \(d\) and \(n\), let CSAM\(_n^d\) be the set of \(d\)-tuples of commuting self-adjoint \(n\times n\) matrices and let CSA\(^d\) denote the set of \(d\)-tuples of commuting self-adjoint operators acting on an infinite-dimensional separable Hilbert space. Let \(E\) be open in \(\mathbb{R}^d\) and \(f\) be a real-valued \(C^1\)-function on \(E\). Then \(f\) is said to be \textit{locally \(M_n\)-monotone} on \(E\) if, whenever \(S\) is in CSAM\(_n^d\) with \(\sigma(S)\) consisting of \(n\) distinct points in \(E\) and \(S(t)\) is a \(C^1\)-curve in CSAM\(_n^d\) with \(S(0)=S\) and \(\frac{d}{dt}S(t)|_{t=0}\geq 0\), then \(\frac{d}{dt}f(S(t))|_{t=0}\) exists and is \(\geq 0\). If in the above definition, we replace all occurrences of CSAM\(_n^d\) by CSA\(^d\), then the function \(f\) is called \textit{locally operator monotone}. In [Math. Z. 38, 177--216 (1934; Zbl 0008.11301, JFM 49.0714.01)], \textit{K. Löwner} completely characterized functions of one variable (\(d=1\)) that are matrix or operator monotone. In the paper under review, the authors generalize Löwner's results to higher dimensions. Let \(E\) and \(f\) be as above. They show that \(f\) is locally \(M_n\)-monotone if and only if \(f\) belongs to the Löwner class \(\mathcal{L}^{d}_{n}(E)\). For operator monotone functions, they establish the equivalence of the following statements: (a) \(f\) is \(M_n\)-monotone for all \(n\geq 1\); (b) \(f\) is operator monotone; (c) \(f\) belongs to the Löwner class \(\mathcal{L}(E)\). There are also notions of \textit{global} matrix and operator monotone functions. However, the results for these functions are less complete. The authors successfully characterize rational functions of two variables that are operator monotone on rectangles in \(\mathbb{R}^2\), but the problem remains open for rational functions of more than two variables, or for non-rational functions. The paper ends with a list of open questions.

Recommendations

Cites work

Cited in

(54)

This page was built for publication: Operator monotone functions and Löwner functions of several variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1928617)