Year: 2024
Type: article
Abstract: Consider the set of unitary operators on a complex separable Hilbert space \mathcal{H} , denoted as \mathcal{U}(\mathcal{H}) . Consider 1 . We establish that a function f defined on the unit circle \mathbb{T} is n times continuously Fréchet \mathcal{S}^{p} -differentiable at every point in \mathcal{U}(\mathcal{H}) if and only if f\in C^{n}(\mathbb{T}) . Take a function U \colon\R\rightarrow\mathcal{U}(\mathcal{H}) such that the function t\in\R\mapsto U(t)-U(0) takes values in \mathcal{S}^{p} and is n times continuously \mathcal{S}^{p} -differentiable on \R . Consequently, for f\in C^{n}(\mathbb{T}) , we prove that f is n times continuously Gâteaux \mathcal{S}^{p} -differentiable at U(t) . We provide explicit expressions for both types of derivatives of f in terms of multiple operator integrals. In the domain of unitary operators, these results closely follow the n -th order successes for self-adjoint operators achieved by the second author, Le Merdy, Skripka, and Sukochev. Furthermore, as for application, we derive a formula and \mathcal{S}^{p} -estimates for operator Taylor remainders for a broader class of functions. Our results extend those of Peller, Potapov, Skripka, Sukochev, and Tomskova.
Source: Journal of Spectral Theory
DOI: 10.4171/jst/536
Authors: Arup Chattopadhyay, Clément Coine, Saikat Giri, Chandan Pradhan
Language: English
Topic: Advanced Banach Space Theory
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W4394838830