Effective asymptotic regularity for one-parameter nonexpansive semigroups

DOI10.1016/J.JMAA.2015.08.059MaRDI QIDQ499259zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

common fixed pointnonexpansive semigroupKrasnoselskii iterationproof miningrate of asymptotic regularity

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3514556 (Why is no real title available?)
• scientific article; zbMATH DE number 932401 (Why is no real title available?)
• scientific article; zbMATH DE number 3108780 (Why is no real title available?)
• A Class of One-Parameter Nonlinear Semigroups with Differentiable Approximating Semigroups
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• COMMON FIXED POINTS OF ONE-PARAMETER NONEXPANSIVE SEMIGROUPS
• Fixed Points and Iteration of a Nonexpansive Mapping in a Banach Space
• General logical metatheorems for functional analysis
• Generation of Semi-Groups of Nonlinear Transformations on General Banach Spaces
• On quantitative versions of theorems due to F. E. Browder and R. Wittmann
• Quasi-analyticity and semigroups
• Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators
• Semigroups on nonlinear contractions on convex sets
• Some logical metatheorems with applications in functional analysis
• Subsystems of second order arithmetic
• The Lyapunov method for semigroups of nonlinear contractions in Banach spaces
• The solution by iteration of nonlinear functional equations in Banach spaces

Cited in

(5)

• On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
• A computational study of a class of recursive inequalities
• Proof mining for nonlinear operator theory. Four case studies on accretive operators, the Cauchy problem and nonexpansive semigroups
• Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
• On computational properties of Cauchy problems generated by accretive operators

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)