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

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)

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)