Abstract:Accretive and monotone operator theory are central branches of nonlinear functional analysis and constitute the abstract study of set-valued mappings between function spaces. This paper deals with the computational properties of certain large classes of operators, namely accretive and (generalized) monotone set-valued ones. In particular, we develop (and extend) for this field the theoretical framework of proof mining, a program in mathematical logic that seeks to extract computational information from prima facie `non-computational' proofs from the mainstream literature. To this end, we establish logical metatheorems that guarantee and quantify the computational content of theorems pertaining to accretive and (generalized) monotone set-valued operators. On one hand, our results unify a number of recent case studies, while they also provide characterizations of central analytical notions in terms of proof theoretic ones on the other, which provides a crucial perspective on needed quantitative assumptions in future applications of proof mining to these branches.

Rates of convergence for iterative solutions of equations involving set-valued accretive operators

On the Convergence of the Accelerated Riccati Iteration Method.

Weak Convergence of an Iterative Algorithm for Accretive Operators

Iterative Methods for Zero Points of Accretive Operators in Banach Spaces

A Regularization Algorithm for Zero Points of Accretive Operators

Strong Convergence of a Parallel Iterative Algorithm in a Reflexive Banach Space

Rates of Convergence and Metastability for Chidume's Algorithm for the Approximation of Zeros of Accretive Operators in Banach Spaces

On computational properties of Cauchy problems generated by accretive operators

Convergence of Iterative Sequences for Common Zero Points of a Family of -Accretive Mappings in Banach Spaces

Convergence rate of inexact proximal point algorithms for operator with holder metric subregularity

A Further Necessary and Sufficient Condition for Strong Convergence of Nonlinear Contraction Semigroups and of Iterative Methods for Accretive Operators in Banach Spaces

An Uni ed Convergence Theory for Newton's Type Methods for Zeros of Nonlinear Operators in Banach spaces

Convergence of Splitting Algorithms for the Sum of Two Accretive Operators with Applications

Accelerating the Speed of Convergence for High-Order Methods to Solve Equations

Convergence Theorems of Zeros of A Finite Family of M-Accretive Operators in Banach Spaces

Logical metatheorems for accretive and (generalized) monotone set-valued operators

A Necessary and Sufficient Condition for Convergence of Steepest Descent Approximation to Accretive Operator Equations

Iterative algorithms with errors for zero points of m -accretive operators

Convergence of Iterative Sequences for Generalized Equilibrium Problems Involving Inverse-Strongly Monotone Mappings

The Existence and Uniqueness of Solution and the Convergence of a Multi-Step Iterative Algorithm for a System of Variational Inclusions with (A, Η, M)-Accretive Operators

A novel algorithm with an inertial technique for fixed points of nonexpansive mappings and zeros of accretive operators in Banach spaces