Effective asymptotic regularity for one-parameter nonexpansive semigroups

DOI10.1016/J.JMAA.2015.08.059zbMath1432.03116OpenAlexW1947191819MaRDI QIDQ499259

Angeliki Koutsoukou-Argyraki, Ulrich Kohlenbach

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

zbMATH Keywords

common fixed pointnonexpansive semigroupKrasnoselskii iterationproof miningrate of asymptotic regularity

Mathematics Subject Classification ID

Semigroups of nonlinear operators (47H20) Fixed-point theorems (47H10) Structure of proofs (03F07) Functionals in proof theory (03F10)

Related Items (4)

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 ⋮ On computational properties of Cauchy problems generated by accretive operators ⋮ On preserving the computational content of mathematical proofs: toy examples for a formalising strategy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators
• On quantitative versions of theorems due to F. E. Browder and R. Wittmann
• The Lyapunov method for semigroups of nonlinear contractions in Banach spaces
• Semigroups on nonlinear contractions on convex sets
• COMMON FIXED POINTS OF ONE-PARAMETER NONEXPANSIVE SEMIGROUPS
• Fixed Points and Iteration of a Nonexpansive Mapping in a Banach Space
• A Class of One-Parameter Nonlinear Semigroups with Differentiable Approximating Semigroups
• Some logical metatheorems with applications in functional analysis
• General logical metatheorems for functional analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• The solution by iteration of nonlinear functional equations in Banach spaces
• Generation of Semi-Groups of Nonlinear Transformations on General Banach Spaces
• Quasi-analyticity and semigroups

This page was built for publication: Effective asymptotic regularity for one-parameter nonexpansive semigroups