Related papers: Perturbation theory and higher order $\mathcal{S}^…

Consider a function $f : \mathbb{T} \to \mathbb{C}$, $n$-times differentiable on $\mathbb{T}$ and such that its $n$th derivative $f^{(n)}$ is bounded but not necessarily continuous. Let $U : \mathbb{R} \to \mathcal{U}(\mathcal{H})$ be a…

We establish the following results on higher order $\mathcal{S}^p$-differentiability, $1<p<\infty$, of the operator function arising from a continuous scalar function $f$ and self-adjoint operators defined on a fixed separable Hilbert…

Consider the set of unitary operators on a complex separable Hilbert space $\hilh$, denoted as $\mathcal{U}(\hilh)$. Consider $1<p<\infty$. We establish that a function $f$ defined on the unit circle $\cir$ is $n$ times continuously…

Let $A$ be a selfadjoint operator in a separable Hilbert space, $K$ a selfadjoint Hilbert-Schmidt operator, and $f\in C^n(\mathbb{R})$. We establish that $\varphi(t)=f(A+tK)-f(A)$ is $n$-times continuously differentiable on $\mathbb{R}$ in…

Let $\mathcal{M}$ be a semifinite von Neumann algebra equipped with a normal faithful semifinite trace $\tau$, and let $L_p(\mathcal{M})$ denote the associated noncommutative $L_p$-space for $1<p<\infty$. Let $n\in\mathbb{N}$ and let $a, b$…

In this paper we study differentiability properties of the map $T\mapsto\phi(T)$, where $\phi$ is a given function in the disk-algebra and $T$ ranges over the set of contractions on Hilbert space. We obtain sharp conditions (in terms of…

Let $1<p<\infty$ and let $n\geq 1$. It is proved that a function $f:{\mathbb R}\to {\mathbb C}$ is $n$-times Fr\'echet differentiable on ${\mathcal S}^p$ at every self-adjoint operator if and only if $f$ is $n$-times differentiable,…

In this paper, we extend the class of admissible functions for the trace formula of the second order in the self-adjoint, unitary, and contraction cases for a perturbation in the Hilbert-Schmidt class $\mathcal{S}^2(\mathcal{H})$ by…

We generalize our results of \cite{AP2} and \cite{AP3} to the case of maximal dissipative operators. We obtain sharp conditions on a function analytic in the upper half-plane to be operator Lipschitz. We also show that a H\"older function…

This is a continuation of our paper \cite{AP2}. We prove that for functions $f$ in the H\"older class $\L_\a(\R)$ and $1<p<\be$, the operator $f(A)-f(B)$ belongs to $\bS_{p/\a}$, whenever $A$ and $B$ are self-adjoint operators with…

Let $\mathcal{M}(\mathbb{R}^n)$ be the class of bounded away from one and infinity functions $p:\mathbb{R}^n\to[1,\infty]$ such that the Hardy-Littlewood maximal operator is bounded on the variable Lebesgue space…

Given $H$ self-adjoint, $V$ symmetric and relatively $H$-bounded, and $f:\mathbb{R}\to\mathbb{C}$ satisfying mild conditions, we show that the Gateaux derivative $$\frac{d^n}{dt^n}f(H+tV)|_{t=0}$$ exists in the operator norm topology, for…

Perturbation or error bounds of functions have been of great interest for a long time. If the functions are differentiable, then the mean value theorem and Taylor's theorem come handy for this purpose. While the former is useful in…

We prove that if $0<\a<1$ and $f$ is in the H\"older class $\L_\a(\R)$, then for arbitrary self-adjoint operators $A$ and $B$ with bounded $A-B$, the operator $f(A)-f(B)$ is bounded and $\|f(A)-f(B)\|\le\const\|A-B\|^\a$. We prove a similar…

This is a continuation of our papers \cite{AP2} and \cite{AP3}. In those papers we obtained estimates for finite differences $(\D_Kf)(A)=f(A+K)-f(A)$ of the order 1 and $(\D_K^mf)(A)\df\sum\limits_{j=0}^m(-1)^{m-j}(m\j)f\big(A+jK\big)$ of…

Let $T_{a,\varphi}$ be a Fourier integral operator defined with $a\in S^{m}_{0,\delta}(0\leq\delta<1)$ and $\varphi\in \Phi^{2}$ satisfying the strong non-degenerate condition. We demonstrate that when the order satisfies…

In this paper we continue our program of revisiting the new aspects about the boundedness properties of pseudo-differential operators on the torus. Here we prove $H^p$-$L^p$ and $H^p$-estimates for H\"ormander classes of pseudo-differential…

This is a conitunation of [1] and [2]. We prove that if function $f$ belongs to the class $\Lambda_{\omega} \overset{\text{def}}{=} \{f: \omega_{f}(\delta)\leq \text{const} \omega(\delta)\} $ for an arbitrary modulus of continuity $\omega$,…

In this paper we prove $L^p$-estimates for H\"ormander classes of pseudo-differential operators on the torus $\mathbb{T}^n$. The results are presented in the context of the global symbolic calculus of Ruzhansky and Turunen on…

Let $f \in C^n(\mathbb{R})$ be such that $\Vert f^{(n)} \Vert_\infty < \infty$. Let $f^{[n]} \in C(\mathbb{R}^{n+1})$ be the $n$th order divided difference. A special case of our main result states that for $1 < p < \infty$ we have \[\Vert…