Bernstein functions and rates in mean ergodic theorems for operator semigroups (Q355970)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Bernstein functions and rates in mean ergodic theorems for operator semigroups |
scientific article |
Statements
Bernstein functions and rates in mean ergodic theorems for operator semigroups (English)
0 references
25 July 2013
0 references
This paper deals with the rate of convergence in the mean ergodic theorem. More precisely, let \(T_t = e^{-tA}\) be a bounded, strongly continuous semigroup of operators on a Banach space \(X\), generated by \((A,D(A))\), and consider the Cesàro average \[ C_t(A) = \frac 1t\int_0^t T_sx\,ds. \] It is a standard fact that \(C_t(A)x\to y\) iff \(x\) is in the closure of the range of \(A\) and that \(C_t(A)x\to y\) implies that \(y\) is in the kernel of \(A\). This means that we have convergence of \(C_t(A)\) on the subspace \(\mathrm{ker}A\oplus\overline{\mathrm{range}A}\subset X\). The main result of the paper gives precise rates for this convergence depending on the properties of \(x\). This is achieved by a functional calculus. In order to define \(g(A)\) for some function which is analytic on the right-half plane of \(\mathbb C\), the authors extend the classical Hille-Phillips calculus by using a regularization method (this is ``construction two'' of the automatic extensions in the sense of \textit{R. deLaubenfels} [Stud. Math. 114, No. 3, 237--259 (1995; Zbl 0834.47012)]; the method is called ``extended Hille-Phillips calculus'' in [\textit{M. Haase}, The functional calculus for sectorial operators. Operator Theory: Advances and Applications 169. Basel: Birkhäuser (2006; Zbl 1101.47010)]). If \(g\) is a Bernstein function (see [\textit{R. L. Schilling} et al., Bernstein functions. Theory and applications. 2nd revised and extended ed. Berlin: de Gruyter (2012; Zbl 1257.33001)]), the authors show that \(g\) is admissible for the extended Hille-Phillips calculus and that the extended calculus coincides with the functional calculus induced by Bochner's subordination (as in [\textit{R. L. Schilling}, J. Aust. Math. Soc., Ser.~A 64, No.~3, 368--396 (1998; Zbl 0920.47039)], see also [Zbl 1257.33001]). This allows them to formulate the main result: Theorem. Let \(g\) be a Bernstein function such that \[ g(t) = a + bt + \int_{(0,\infty)} (1-e^{-st})\,\mu(ds) \] (the representing triplet \((a,b,\mu)\) uniquely determines \(g\); \(a,b\geq 0\) and \(\mu\) is a positive measure such that the integral converges) and set \[ r(t) = \frac 12 a + \frac 1t b + \int_{(0,\infty)} \frac st\wedge 1\,\mu(ds), \] then \(\mathrm{tr}(t)\) is a strictly positive, increasing and concave function. Moreover, there is always a Bernstein function \(g\) such that any \(\mathrm{tr}(t)\) which is strictly positive, increasing and convex function is connected, as above, with this Bernstein function via the representing triplet \((a,b,\mu)\). Under the assumption that \(g(0+)=0\), it is shown that, for all \(x\) in the domain of \(g(A)\), {\parindent=0.6cm\begin{itemize}\item[(1)] \(\|C_t(A)g(A)x\|\leq 2Mr(t)\|x\|\), where \(M = \sup_s\|T_s\|\); \item[(2)] \(\|C_t(A)g(A)x\| = o(r(t))\) as \(t\to\infty\), provided that \((T_s)_s\) is mean ergodic and \(\lim_{t\to\infty} \mathrm{tr}(t)=\infty\); \item[(3)] \(\|C_t(A)g(A)x\| = O(1/t)\) as \(t\to\infty\) whenever \(\mathrm{tr}(t)=o(1)\) as \(t\to\infty\). \end{itemize}} In particular, one can obtain any convergence rate by a suitable choice of \(g\). If \(f\) is a function such that \(1/f\) is a Bernstein function (e.g., a potential or a Stieltjes function) then the main result can be transferred as follows: Theorem. Assume that \[ f(0+)=\infty \quad\text{and}\quad \text{w-}\lim_{s\to 0}\int_0^\infty e^{-as}T_sx\,\mu(ds)=y, \] then {\parindent=0.6cm\begin{itemize}\item[(1)] for \(x= \frac 1f(A)y\) one has \(\|C_t(A)x\|=O(1/f(1/t))\) as \(t\to\infty\); \item[(2)] \(\|C_t(A)x\|=o(1/f(1/t))\) provided that \(\lim_{t\to\infty} t/f(1/t)=\infty\). \end{itemize}} The paper ends with the discussion of a few important examples.
0 references
operator semigroup
0 references
functional calculus
0 references
Bernstein function
0 references
ergodic theorem
0 references
convergence rate
0 references
0 references
0 references