Some applications of simultaneous continuous functional calculus (Q6159144)

The notion of a continuous functional calculus is well known in the framework of a \(C^\ast\)-algebra \(A\) (unital or not) and for a normal element \(a \in A\) (\(a^\ast a = aa^\ast\)). This notion, along with the Gel'fand transform, is the essence of reducing several abstract problems concerning certain elements to problems in the function algebra context. The respective notion of a continuous operational calculus has also been given for a finite commutative family of normal bounded operators on a Hilbert space. In the present paper, the authors extend the latter notion, by defining a simultaneous continuous functional calculus in a \(C^\ast\)-algebra \(A\) with unit \(e\) and for a commutative family \({\mathbf{a}}=(a_i)_{i\in I}\) of normal elements of \(A\). For this, they employ a generalized version of the Gel'fand transform, say \(\hat{\mathbf{a}}\), defined by \(\hat{{\mathbf{a}}}(\chi) = (\chi(a_i))_{i \in I} \in \mathbb{C}^I, \) for every \(\chi \) in the Gel'fand spectrum \(Sp(B)\) (viz. the set of all non-zero characters of the closed subalgebra \( B\) generated by \(\mathbf{a}\) and \(e\), being actually a unital commutative \(C^\ast\)-algebra). In that case, the continuous functional calculus is a unique unitary \(^\ast \)-morphism, say \(\boldsymbol{\Phi}_{\mathbf{a}} \), of the \(C^\ast\)-algebra \(C( Sp(\mathbf{a})) \) (of all continuous complex-valued functions on the simultanuous spectrum of \(\mathbf{a}\) (viz. \(Sp({\mathbf{a}})=\hat{\mathbf{a}}(Sp(B))\)), into \(A\), satisfying the relation \[ \hat{\boldsymbol{\Phi}}_{\mathbf{a}}(f)=f \circ \mathbf{\hat{a}}, \text { for every} \, \ f \in C( Sp(\mathbf{a}))\tag{\(\ast\)}. \] \(\boldsymbol{\Phi}_{\mathbf{a}} \) is isometric as well and its image is the sub-\(C^\ast \)-algebra of \(A\) generated by \({\mathbf{a}}\) and \(e\). By employing \( ( \ast ) \), the authors state the analogous (simultaneous) spectral mapping theorem. Moreover, they apply the simultaneous continuous calculus and get an orthonormal basis on a certain locally Hilbert space \(H\) and for a commutative family of normal operators on \(H\). Further, the authors are interested in the convergence of Fourier series, as is stated by Norbert Wiener (Wiener's lemma) and later by Paul Lévy in a more general form, known as the Wiener-Lévy theorem. So, they provide analogous results, as applications of their present work, where also a certain regular weight is employed.