Derivatives of orbital function and an extension of Berezin-Gel'fand's theorem (Q501413)

The authors use the nonsmooth analytic approach employed by \textit{A. S. Lewis} [SIAM J. Matrix Anal. Appl. 21, No. 2, 379--381 (1999; Zbl 1047.90511)] in his proof of Lidskii's theorem on eigenvalue perturbation to obtain a generalization of the Lie theoretic abstract version of Lidskii's theorem due to \textit{F. A. Berezin} and \textit{I. M. Gel'fand} [Transl., Ser. 2, Am. Math. Soc. 21, 193--238 (1962; Zbl 0195.42302); translation from Tr. Mosk. Mat. Obshch. 5, 311--351 (1956)]. This generalization is in the context of Eaton triples,\ an Eaton triple \((V,G,F)\) consisting of a finite-dimensional real inner product space \(V\), a closed subgroup \(G\) of the orthogonal group on \(V\), and a nonempty closed convex cone \(F\subset V\). To obtain this generalization, the authors first extend some results due to \textit{A. S. Lewis} [Math. Oper. Res. 21, No. 3, 576--588 (1996; Zbl 0860.49017)] on derivatives of spectral functions to the context of orbital functions (a function \(f\) defined on a \(G\)-invariant subset \(U\) of \(V\) is said to be an orbital function if it is constant on each orbit \(Gz\) of \(z\in U\)).