Ultraproducts and metastability
Convergence theorems in analysis are disappointingly non-uniform because in many cases the guaranteed convergence can be arbitrarily slow. In this paper the authors show that even in such cases, a model-theoretic compactness argument can often be used to establish the existence of uniform bounds on what they call the rate of meta-stable convergence. All that is required is that the class of structures involved and the hypothesis of the theorem are preserved under a certain model-theoretic ultraproduct construction. The results are illustrated by three examples from ergodic theory. Next, we give a brief description of one of the examples. Given a power-bounded operator \(T\) acting on a reflexive Banach space \(X\), it is well known that the sequence of averages \((A_n x)\), where \(A_n x:= n^{-1}\sum_{k=0}^{n-1} T^k x\), converges for every \(x\in X\). There is no uniform bound on the rate of convergence, but we can prove the following result: Let \(\mathcal{C}\) be a class of Banach spaces such that the ultraproduct of a countable collection of elements of \(\mathcal{C}\) is reflexive (e.g., \(\mathcal{C}\) the class of uniformly convex Banach spaces). Then, given \(\rho>0\), \(M>0\) and a function \(F:\mathbb{N}\rightarrow\mathbb{N}\), there exists \(K\in \mathbb{N}\) such that for every operator \(T\) acting on a space \(X\) in the class \(\mathcal{C}\) and satisfying \(\|T^k\|\leq M\) for all \(k\in\mathbb{N}\), every \(x\in X\) and every \(\varepsilon>0\), if \(\|x\|\leq \rho\varepsilon\), then there exists \(n\leq K\) such that \(\|A_kx-A_lx\|<\varepsilon\) for all \(k,l\) in the interval \([n,F(n)]\).
- Model theory and metric convergence. I: Metastability and dominated convergence model theory and metric convergence
- Metastability and higher-order computability
- Nonstandard convergence gives bounds on jumps
- A new metastable convergence criterion and an application in the theory of uniformly convex Banach spaces
- A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem
- A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space
- Nonstandard convergence gives bounds on jumps
- Metric fixed point theory: a brief retrospective
- scientific article; zbMATH DE number 3902791 (Why is no real title available?)
- scientific article; zbMATH DE number 3939333 (Why is no real title available?)
- Fluctuations, effective learnability and metastability in analysis
- Quantitative results on Fejér monotone sequences
- PROOF MINING IN Lp SPACES
- Model theory and metric convergence. I: Metastability and dominated convergence model theory and metric convergence
- Oscillation and the mean ergodic theorem for uniformly convex Banach spaces
- CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC
- More or Less Uniform Convergence
- Proof mining and probability theory
- On the speed of convergence in the ergodic theorem for shift operators
- On quantitative convergence for stochastic processes: crossings, fluctuations and martingales
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic
This page was built for publication: Ultraproducts and metastability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2439656)
