Effective asymptotic regularity for one-parameter nonexpansive semigroups
DOI10.1016/J.JMAA.2015.08.059zbMATH Open1432.03116OpenAlexW1947191819MaRDI QIDQ499259FDOQ499259
Authors: Ulrich Kohlenbach, Angeliki Koutsoukou-Argyraki
Publication date: 30 September 2015
Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jmaa.2015.08.059
Recommendations
- COMMON FIXED POINTS OF ONE-PARAMETER NONEXPANSIVE SEMIGROUPS
- Fixed point theorems for one-parameter asymptotically nonexpansive semigroups in general Banach spaces
- Characterizations of common fixed points of one-parameter nonexpansive semigroups, and convergence theorems to common fixed points
- scientific article; zbMATH DE number 2209572
- On the approximating common fixed points and the existence of the common fixed point of nonexpansive semigroups
common fixed pointnonexpansive semigroupKrasnoselskii iterationproof miningrate of asymptotic regularity
Fixed-point theorems (47H10) Semigroups of nonlinear operators (47H20) Structure of proofs (03F07) Functionals in proof theory (03F10)
Cites Work
- Title not available (Why is that?)
- Subsystems of second order arithmetic
- Fixed Points and Iteration of a Nonexpansive Mapping in a Banach Space
- Some logical metatheorems with applications in functional analysis
- Title not available (Why is that?)
- Generation of Semi-Groups of Nonlinear Transformations on General Banach Spaces
- The solution by iteration of nonlinear functional equations in Banach spaces
- The Lyapunov method for semigroups of nonlinear contractions in Banach spaces
- Title not available (Why is that?)
- General logical metatheorems for functional analysis
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann
- Semigroups on nonlinear contractions on convex sets
- Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators
- COMMON FIXED POINTS OF ONE-PARAMETER NONEXPANSIVE SEMIGROUPS
- A Class of One-Parameter Nonlinear Semigroups with Differentiable Approximating Semigroups
- Quasi-analyticity and semigroups
Cited In (5)
- Proof mining for nonlinear operator theory. Four case studies on accretive operators, the Cauchy problem and nonexpansive semigroups
- On computational properties of Cauchy problems generated by accretive operators
- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
- A computational study of a class of recursive inequalities
This page was built for publication: Effective asymptotic regularity for one-parameter nonexpansive semigroups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q499259)