Results 1  10
of
23
On Projection Algorithms for Solving Convex Feasibility Problems
, 1996
"... Due to their extraordinary utility and broad applicability in many areas of classical mathematics and modern physical sciences (most notably, computerized tomography), algorithms for solving convex feasibility problems continue to receive great attention. To unify, generalize, and review some of the ..."
Abstract

Cited by 142 (24 self)
 Add to MetaCart
Due to their extraordinary utility and broad applicability in many areas of classical mathematics and modern physical sciences (most notably, computerized tomography), algorithms for solving convex feasibility problems continue to receive great attention. To unify, generalize, and review some of these algorithms, a very broad and flexible framework is investigated . Several crucial new concepts which allow a systematic discussion of questions on behaviour in general Hilbert spaces and on the quality of convergence are brought out. Numerous examples are given. 1991 M.R. Subject Classification. Primary 47H09, 49M45, 6502, 65J05, 90C25; Secondary 26B25, 41A65, 46C99, 46N10, 47N10, 52A05, 52A41, 65F10, 65K05, 90C90, 92C55. Key words and phrases. Angle between two subspaces, averaged mapping, Cimmino's method, computerized tomography, convex feasibility problem, convex function, convex inequalities, convex programming, convex set, Fej'er monotone sequence, firmly nonexpansive mapping, H...
General logical metatheorems for functional analysis
, 2008
"... In this paper we prove general logical metatheorems which state that for large classes of theorems and proofs in (nonlinear) functional analysis it is possible to extract from the proofs effective bounds which depend only on very sparse local bounds on certain parameters. This means that the bounds ..."
Abstract

Cited by 31 (18 self)
 Add to MetaCart
In this paper we prove general logical metatheorems which state that for large classes of theorems and proofs in (nonlinear) functional analysis it is possible to extract from the proofs effective bounds which depend only on very sparse local bounds on certain parameters. This means that the bounds are uniform for all parameters meeting these weak local boundedness conditions. The results vastly generalize related theorems due to the second author where the global boundedness of the underlying metric space (resp. a convex subset of a normed space) was assumed. Our results treat general classes of spaces such as metric, hyperbolic, CAT(0), normed, uniformly convex and inner product spaces and classes of functions such as nonexpansive, HölderLipschitz, uniformly continuous, bounded and weakly quasinonexpansive ones. We give several applications in the area of metric fixed point theory. In particular, we show that the uniformities observed in a number of recently found effective bounds (by proof theoretic analysis) can be seen as instances of our general logical results.
A quantitative version of a theorem due to BorweinReichShafrir
 Numerical Functional Analysis and Optimization
, 2000
"... We give a quantitative analysis of a result due to Borwein, Reich and Shafrir on the asymptotic behaviour of the general KrasnoselskiMann iteration for nonexpansive selfmappings of convex sets in arbitrary normed spaces. Besides providing explicit bounds we also get new qualitative results concerni ..."
Abstract

Cited by 19 (13 self)
 Add to MetaCart
We give a quantitative analysis of a result due to Borwein, Reich and Shafrir on the asymptotic behaviour of the general KrasnoselskiMann iteration for nonexpansive selfmappings of convex sets in arbitrary normed spaces. Besides providing explicit bounds we also get new qualitative results concerning the independence of the rate of convergence of the norm of that iteration from various input data. In the special case of bounded convex sets, where by wellknown results of Ishikawa, Edelstein/O'Brian and Goebel/Kirk the norm of the iteration converges to zero, we obtain uniform bounds which do not depend on the starting point of the iteration and the nonexpansive function, but only depend on the error #, an upper bound on the diameter of C and some very general information on the sequence of scalars # k used in the iteration. Only in the special situation, where # k := # is constant, uniform bounds were known in that bounded case. For the unbounded case, no quantitative information was ...
On the computational content of the Krasnoselski and Ishikawa fixed point theorems
, 2000
"... This paper is a case study in proof mining applied to noneffective proofs in nonlinear functional analysis. More specifically, we are concerned with the fixed point theory of nonexpansive selfmappings f of convex sets C in normed spaces. We study the Krasnoselski iteration as well as more general ..."
Abstract

Cited by 11 (10 self)
 Add to MetaCart
This paper is a case study in proof mining applied to noneffective proofs in nonlinear functional analysis. More specifically, we are concerned with the fixed point theory of nonexpansive selfmappings f of convex sets C in normed spaces. We study the Krasnoselski iteration as well as more general socalled KrasnoselskiMann iterations. These iterations converge to fixed points of f under certain compactness conditions. But, as we show, already for uniformly convex spaces in general no bound on the rate of convergence can be computed uniformly in f . This is related to the nonuniqueness of fixed points. However, the iterations yield even without any compactness assumption and for arbitrary normed spaces approximate fixed points of arbitrary quality for bounded C (asymptotic regularity, Ishikawa 1976). We apply proof theoretic techniques (developed in previous papers of us) to noneffective proofs of this regularity and extract effective uniform bounds on the rate of the asymptotic re...
Strongly Uniform Bounds from SemiConstructive Proofs
, 2004
"... In [12], the second author obtained metatheorems for the extraction of effective (uniform) bounds from classical, prima facie nonconstructive proofs in functional analysis. These metatheorems for the first time cover general classes of structures like arbitrary metric, hyperbolic, CAT(0) and nor ..."
Abstract

Cited by 10 (6 self)
 Add to MetaCart
In [12], the second author obtained metatheorems for the extraction of effective (uniform) bounds from classical, prima facie nonconstructive proofs in functional analysis. These metatheorems for the first time cover general classes of structures like arbitrary metric, hyperbolic, CAT(0) and normed linear spaces and guarantee the independence of the bounds from parameters raging over metrically bounded (not necessarily compact!) spaces. The use of classical logic imposes some severe restrictions on the formulas and proofs for which the extraction can be carried out. In this paper we consider similar metatheorems for semiintuitionistic proofs, i.e. proofs in an intuitionistic setting enriched with certain nonconstructive principles. Contrary to
Effective uniform bounds from proofs in abstract functional analysis
 CIE 2005 NEW COMPUTATIONAL PARADIGMS: CHANGING CONCEPTIONS OF WHAT IS COMPUTABLE
, 2005
"... ..."
Proof Interpretations and the Computational Content of Proofs. Draft of book in preparation
, 2007
"... This survey reports on some recent developments in the project of applying proof theory to proofs in core mathematics. The historical roots, however, go back to Hilbert’s central theme in the foundations of mathematics which can be paraphrased by the following question ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
This survey reports on some recent developments in the project of applying proof theory to proofs in core mathematics. The historical roots, however, go back to Hilbert’s central theme in the foundations of mathematics which can be paraphrased by the following question