Abstract:Fix a unital $C^*$-algebra $\mathscr{A}$, and write $\mathscr{A}_{sa}$ for the set of self-adjoint elements of $\mathscr{A}$. Also, if $f:\mathbb{R}\to\mathbb{C}$ is a continuous function, then write $f_\mathscr{A}:\mathscr{A}_{sa}\to\mathscr{A}$ for the operator function $a\mapsto f(a)$ defined via functional calculus. In this paper, we introduce and study a space $NC^k(\mathbb{R})$ of $C^k$ functions $f:\mathbb{R}\to\mathbb{C}$ such that, no matter the choice of $\mathscr{A}$, the operator function $f_\mathscr{A}:\mathscr{A}_{sa}\to\mathscr{A}$ is $k$-times continuously Fréchet differentiable. In other words, if $f\in NC^k(\mathbb{R})$, then $f$ "lifts" to a $C^k$ map $f_\mathscr{A}:\mathscr{A}_{sa}\to\mathscr{A}$, for any (possibly noncommutative) unital $C^*$-algebra $\mathscr{A}$. For this reason, we call $NC^k(\mathbb{R})$ the space of noncommutative $C^k$ functions. Our proof that $f_\mathscr{A}\in C^k(\mathscr{A}_{sa};\mathscr{A})$, which requires only knowledge of the Fréchet derivatives of polynomials and operator norm estimates for "multiple operator integrals" (MOIs), is more elementary than the standard approach; nevertheless, $NC^k(\mathbb{R})$ contains all functions for which comparable results are known. Specifically, we prove that $NC^k(\mathbb{R})$ contains the homogeneous Besov space $\dot{B}_1^{k,\infty}(\mathbb{R})$ and the Hölder space $C_{loc}^{k,\varepsilon}(\mathbb{R})$. We highlight, however, that the results in this paper are the first of their type to be proven for arbitrary unital $C^*$-algebras, and that the extension to such a general setting makes use of the author's recent resolution of certain "separability issues" with the definition of MOIs. Finally, we prove by exhibiting specific examples that $W_k(\mathbb{R})_{loc}\subsetneq NC^k(\mathbb{R})\subsetneq C^k(\mathbb{R})$, where $W_k(\mathbb{R})_{loc}$ is the "localized" $k^{th}$ Wiener space.

Multiple operator integrals in non-separable von Neumann algebras

Multiple operator integrals, pseudodifferential calculus, and asymptotic expansions

Higher derivatives of operator functions in ideals of von Neumann algebras

Random Multiple Operator Integrals

Infinite derivatives vs integral operators. The Moeller-Zwiebach puzzle

Morrey Estimates for Singular Integrals on the Heisenberg Group and Its Application

Hilbert Direct Integrals of Monotone Operators

Noncommutative $C^k$ functions and Fréchet derivatives of operator functions

The Geometry of Monotone Operator Splitting Methods

On Operator Valued Measures

An Algebraic Study of Multivariable Integration and Linear Substitution

Duality for Weak Multiplier Hopf Algebras with Sufficiently Many Integrals

Integration on algebraic quantum groupoids

An analytic characterization of symbols of operators on non-Gaussian Mittag-Leffler functionals

On the Multilinear Singular Integrals and Commutators in the Weighted Amalgam Spaces

Complete isometries - an illustration of noncommutative functional analysis

The Operator Hilbert Space OH and TYPE III von Neumann Algebras

Multiplication operators on the Bergman space of bounded domains in C^d

Multilinear operator-valued Calderón-Zygmund theory

Non-Euclidean Monotone Operator Theory and Applications