This note deals with the boundedness of the $H^\infty$ functional calculus of Ritt operators $T$ and associated square function estimates. The purpose is to give a shorter, concise and slightly more general approach towards Le~Merdy's results [19] on this subject.
In this paper, we present a new class of operators, which we name to be $n$-Ritt operators. This produces a discrete analogue of $n$-sectorial operators and generalizes the notion of Ritt operators. We develop a $H^\infty$-functional calculus for $n$-Ritt operators and prove an useful transference result. We also generalize the notions of quadratic functional calculus and $n$-$R$-Ritt operator and discuss some examples.
We introduce and investigate $H^\infty$-functional calculus for commuting finite families of Ritt operators on Banach space $X$. We show that if either $X$ is a Banach lattice or $X$ or $X^*$ has property $(α)$, then a commuting $d$-tuple $(T_1,\ldots, T_d)$ of Ritt operators on $X$ has an $H^\infty$ joint functional calculus if and only if each $T_k$ admits an $H^\infty$ functional calculus. Next for $p\in(1,\infty)$, we characterize commuting $d$-tuple of Ritt operators on $L^p(Ω)$ which admit an $H^\infty$ joint functional calculus, by a joint dilation property. We also obtain a similar cha…
$H^\infty$ Functional Calculus for a Commuting Pair of $\text{Ritt}_{\text{E}}$ Operators
Indian Institute of Science Education and Research Thiruvananthapuram(印度科学教育研究所特里凡得琅分校);The Institute of Mathematical Sciences(数学科学研究所);Homi Bhabha National Institute(霍米·巴巴国立研究所)
Beurling--Kato theory, Hardy--Sobolev calculus and Ritt operators
Aix-Marseille University(艾克斯-马赛大学);CNRS, I2M Marseille(法国国家科学研究中心,I2M马赛);Nicolaus Copernicus University(尼古拉·哥白尼大学);Institute of Mathematics Polish Academy of Sciences(波兰科学院数学研究所)
We show that any bounded analytic semigroup on $L^p$ (with $1<p<\infty$) whose negative generator admits a bounded $H^{\infty}$ functional calculus with respect to some angle $< π/2$ can be dilated into a bounded analytic semigroup $(R_t)_{t\geq 0}$ on a bigger $L^p$-space in such a way that $R_t$ is a positive contraction for any $t$. We also establish a discrete analogue for Ritt operators and consider the case when $L^p$-spaces are replaced by more general Banach spaces. In connection with these functional calculus issues, we study isometric dilations of bounded continuous representations o…
We compare various functional calculus properties of Ritt operators. We show the existence of a Ritt operator T : X --> X on some Banach space X with the following property: T has a bounded $\H^\infty$ functional calculus with respect to the unit disc $\D$ (that is, T is polynomially bounded) but T does not have any bounded $\H^\infty$ functional calculus with respect to a Stolz domain of $\D$ with vertex at 1. Also we show that for an R-Ritt operator, the unconditional Ritt condition of Kalton-Portal is equivalent to the existence of a bounded $\H^\infty$ functional calculus with respect to s…
In this paper, we investigate the role of square functions defined for a $d$-tuple of commuting Ritt operators $(T_1,...,T_d)$ acting on a general Banach space $X$. Firstly, we prove that if the $d$-tuple admits a $H^\infty$ joint functional calculus, then it verifies various square function estimates. Then we study the converse when every $T_k$ is a $R$-Ritt operator. Under this last hypothesis, and when $X$ is a $K$-convex space, we show that square function estimates yield dilation of $(T_1,...,T_d)$ on some Bochner space $L_p(Ω;X)$ into a $d$-tuple of isomorphisms with a $C(\mathbb{T}^d)$ …
A Ritt operator T : X --> X on Banach space is a power bounded operator such that the sequence of all n(T^{n} -T^{n-1}) is bounded. When X=Lp for some 1<p<\infty, we study the validity of square functions estimates Norm{(\sum_k k |T^{k}(x) - T^{k-1}(x)|^2)^{1/2}}_{Lp} \leq K Norm{x}_{Lp} for such operators. We show that T and its adjoint T^* both satisfy such estimates if and only if T admits a bounded functional calculus with respect to a Stolz domain. This is a single operator analog of the famous Cowling-Doust-McIntosh-Yagi characterization of bounded H^\infty-calculus on $Lp$-spaces by the…
Let $G$ be a locally compact abelian group, let $ν$ be a regular probability measure on $G$, let $X$ be a Banach space, let $π\colon G\to B(X)$ be a bounded strongly continuous representation. Consider the average (or subordinated) operator $S(π,ν) = \int_{G} π(t)\,dν(t)\,\colon X\to X$. We show that if $X$ is a UMD Banach lattice and $ν$ has bounded angular ratio, then $S(π,ν)$ is a Ritt operator with a bounded $H^\infty$ functional calculus. Next we show that if $ν$ is the square of a symmetric probability measure and $X$ is $K$-convex, then $S(π,ν)$ is a Ritt operator. We further show that …
By means of a new technique, we develop further a discrete subordination approach to the functional calculus of power bounded and Ritt operators initiated by N. Dungey in [19]. This allows us to show, in particular, that (infinite) convex combinations of powers of Ritt operators are Ritt. Moreover, we provide a unified framework for several main results on discrete subordination from [19] and answer a question left open in [19]. The paper can be considered as a complement to [26] for the discrete setting.
For any Ritt operator T:L^{p}(Ω) --> L^{p}(Ω), for any positive real number α, and for any x in L^{p}, we consider the square functions |x |_{T,α} = \Bigl| \Bigl(\sum_{k=1}^{\infty} k^{2α-1}\bigl |T^{k-1}(I-T)^αx \bigr|^2 \Bigr)^{1/2}_{L^{p}}. We show that if T is actually an R-Ritt operator, then these square functions are pairwise equivalent. Then we show that T and its adjoint T* acting on L^{p'} both satisfy uniform estimates |x|_{T,1} \lesssim |x|_{L^{p}} and |y|_{T*,1} \lesssim |y|_{L^{p'}} for x in L^{p} and y in L^{p'} if and only if T is R-Ritt and admits a dilation in the following s…
For any Ritt operator $T$ acting on a noncommutative $L^p$-space, we define the notion of \textit{completely} bounded functional calculus $H^\infty(B_γ)$ where $B_γ$ is a Stolz domain. Moreover, we introduce the `column square functions' $\norm{x}_{T,c,α}=\Bnorm{\Big(\sum_{k=1}^{+\infty}k^{2α-1}|T^{k-1}(I-T)^α(x)|^2\Big)^{1/2}}_{L^p(M)}$ and the `row square functions' $\norm{x}_{T,r,α}=\Bnorm{\Big(\sum_{k=1}^{+\infty}k^{2α-1} |\Big(T^{k-1}(I-T)^α(x)\Big)^*|^2\Big)^{1/2}}_{L^p(M)}$ for any $α>0$ and any $x\in L^p(M)$. Then, we provide an example of Ritt operator which admits a completely bounde…
In this paper we extend the $H^\infty$ functional calculus to quaternionic operators and to $n$-tuples of noncommuting operators using the theory of slice hyperholomorphic functions and the associated functional calculus, called $S$-functional calculus. The $S$-functional calculus has two versions one for quaternionic-valued functions and one for Clifford algebra-valued functions and can be considered the Riesz-Dunford functional calculus based on slice hyperholomorphicity because it shares with it the most important properties. The $S$-functional calculus is based on the notion of $S$-spectru…
We make some remarks on earlier works on $R-$bisectoriality in $L^p$ of perturbed first order differential operators by Hytönen, McIntosh and Portal. They have shown that this is equivalent to bounded holomorphic functional calculus in $L^p$ for $p$ in any open interval when suitable hypotheses are made. Hytönen and McIntosh then showed that $R$-bisectoriality in $L^p$ at one value of $p$ can be extrapolated in a neighborhood of $p$. We give a different proof of this extrapolation and observe that the first proof has impact on the splitting of the space by the kernel and range.
We obtain integral representations for the resolvent of $ψ(A)$, where $ψ$ is a holomorphic function mapping the right half-plane and the right half-axis into themselves, and $A$ is a sectorial operator on a Banach space. As a corollary, for a wide class of functions $ψ$, we show that the operator $-ψ(A)$ generates a sectorially bounded holomorphic $C_0$-semigroup on a Banach space whenever $-A$ does, and the sectorial angle of $A$ is preserved. When $ψ$ is a Bernstein function, this was recently proved by Gomilko and Tomilov, but the proof here is more direct. Moreover, we prove that such a pe…