No label defined (Q4955895)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1450181
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1450181 |
Statements
22 May 2000
0 references
semigroups of operators
0 references
pointwise ergodic theorem
0 references
0.92047477
0 references
0.91182494
0 references
0.91079426
0 references
0.9096191
0 references
0.9061506
0 references
0.9044397
0 references
0.9016665
0 references
Let \(X\) be a reflexive Banach space and let \(T_{i} = (T_{i}(t)\), \(t>0)\), \(i=1,\ldots ,d\), be strongly continuous semigroups of linear contractions on the space \(L^{1}(\Omega ;X)\) of Bochner integrable \(X\)-valued functions on a \(\sigma \)-finite measure space \((\Omega , \Sigma ,\mu)\). Assume that the operators \(T_{i}(t)\) map continuously \(L^\infty (\Omega ;X)\) into itself and the semigroups \(T_{1},\ldots ,T_{d}\) commute. Suppose that there exist strongly continuous semigroups \(P_{i}=(P_{i}(t)\), \(t>0)\) of positive linear contractions on \(L^{1}(\Omega ;\mathbb{R})\) such that \(\|T_{i}(t)f\|\leq P_{i}(t)\|f\|\) almost everywhere for any \(t>0\), \(i=1,\ldots ,d\) and \(f\in L^{1}(\Omega ;X)\); assume further that \[ \left \|\frac 1{t}\int ^{t}_{0} P_{i}(r)f dr\right \|_{L^\infty} \leq K\|f\|_{L^\infty} \] for a constant \(K\) and any \(t>0\), \(i=1,\ldots ,d\) and \(f\in L^{1}(\Omega ;X) \cap L^\infty (\Omega ;X)\). Under these hypotheses the authors prove: if either \(P_{1},\ldots ,P_{d}\) commute or \(P_{1},\ldots ,P_{d}\) are both \(L^{1}\) and \(L^{\infty}\) contractions then the limit \[ \lim _{t\to \infty} \frac 1{t^{d}}\int ^{t}_{0}\dotsi \int ^{t}_{0} T_{1}(r_{1})\cdots T_{d}(r_{d})f dr _{1}\cdots dr_{d}, \] taken along an arbitrary countable dense subset of \(\mathbb{R}_{+}\), exists almost everywhere on \(\Omega \) for every \(f\in L^{1}(\Omega ;X)\).
0 references