Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators

DOI10.1016/j.jmaa.2014.10.035zbMath1300.47070OpenAlexW2094903916MaRDI QIDQ472316

Ulrich Kohlenbach, Angeliki Koutsoukou-Argyraki

Publication date: 19 November 2014

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.2014.10.035

zbMATH Keywords

rate of convergenceaccretive operatorCauchy problemspartial differential equationsproof miningrate of metastability

Mathematics Subject Classification ID

Semigroups of nonlinear operators (47H20) Nonlinear accretive operators, dissipative operators, etc. (47H06) Nonlinear differential equations in abstract spaces (34G20) Functionals in proof theory (03F10)

Related Items (15)

Revisiting jointly firmly nonexpansive families of mappings ⋮ 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 ⋮ A note on the finitization of Abelian and Tauberian theorems ⋮ A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory ⋮ Rates of convergence for the asymptotic behavior of second-order Cauchy problems ⋮ On computational properties of Cauchy problems generated by accretive operators ⋮ Rates of convergence for iterative solutions of equations involving set-valued accretive operators ⋮ Logical metatheorems for abstract spaces axiomatized in positive bounded logic ⋮ Effective asymptotic regularity for one-parameter nonexpansive semigroups ⋮ Quantitative translations for viscosity approximation methods in hyperbolic spaces ⋮ Moduli of regularity and rates of convergence for Fejér monotone sequences ⋮ A new metastable convergence criterion and an application in the theory of uniformly convex Banach spaces ⋮ Unnamed Item ⋮ On preserving the computational content of mathematical proofs: toy examples for a formalising strategy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces
• On quantitative versions of theorems due to F. E. Browder and R. Wittmann
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
• Logical metatheorems for abstract spaces axiomatized in positive bounded logic
• Differentiation of real functions
• Nonlinear semigroups in Hilbert space
• Nonlinear semigroups and evolution equations
• Existence theorems for \(m\)-accretive operators in Banach spaces
• The asymptotic behavior of the solutions of the Cauchy problem generated by \(\phi\)-accretive operators
• On the asymptotic behaviour of almost-orbits of nonlinear contraction semigroups in Banach spaces
• Norm convergence of multiple ergodic averages for commuting transformations
• Rate of Metastability for Bruck'S Iteration of Pseudocontractive Mappings in Hilbert Space
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Nonlinear accretive operators in Banach spaces
• Generation of Semi-Groups of Nonlinear Transformations on General Banach Spaces
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II

This page was built for publication: Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators