Let $H$ be an infinite dimensional, reflexive, separable Hilbert space and $NA(H)$ the class of all norm-attainble operators on $H.$ In this note, we study an implicit scheme for a canonical representation of nonexpansive contractions in norm-attainable classes.
The main objective of this article is to provide an alternative approach to the central result of [Eldred, A. Anthony, Kirk, W. A., Veeramani, P., Proximal normal structure and relatively nonexpansive mappings, Studia Math., vol 171(3), (2005) 283-293] using proximal uniform normal structure. Also we provide characterizations of a strictly convex space. Finally, sufficient conditions for the existence of a non-empty proximal sub-pair for a pair in a Banach space are discussed.
Suppose that E is a Banach space, τ a topology under which the norm of E becomes τ-lower semicontinuous and S a commuting family of τ-continuous nonexpansive mappings defined on a τ-compact convex subset C of E: It is shown that the set of common fixed points of S is a nonempty nonexpansive retract of C. Along the way, a few other related fixed point theorems are derived.
Given $A$ and $B$ two nonempty subsets in a metric space, a mapping $T : A \cup B \rightarrow A \cup B$ is relatively nonexpansive if $d(Tx,Ty) \leq d(x,y) \text{for every} x\in A, y\in B.$ A best proximity point for such a mapping is a point $x \in A \cup B$ such that $d(x,Tx)=\text{dist}(A,B)$. In this work, we extend the results given in [A.A. Eldred, W.A. Kirk, P. Veeramani, Proximal normal structure and relatively nonexpansive mappings, Studia Math., 171 (2005), 283-293] for relatively nonexpansive mappings in Banach spaces to more general metric spaces. Namely, we give existence results …
We show that if a Banach space X has the weak fixed point property for nonexpansive mappings and Y has the generalized Gossez-Lami Dozo property or is uniformly convex in every direction, then the direct sum of X and Y with a strictly monotone norm has the weak fixed point property. The result is new even if Y is finite-dimensional.
In this paper, we use the concept of proximal quasi-normal structure (P. Q-N. S) to study the existence of best proximity points for cyclic mappings, cyclic contractions, relatively Kannan nonexpansive mappings, as well as for orbitally nonexpansive mappings. In this way, we generalize several recent results obtained by others.
We investigate necessary and sufficient conditions for a nonexpansive map $f$ on a Banach space $X$ to have surjective displacement, that is, for $f - \mathrm{id}$ to map onto $X$. In particular, we give a computable necessary and sufficient condition when $X$ is a finite dimensional space with a polyhedral norm. We give a similar computable necessary and sufficient condition for a fixed point of a polyhedral norm nonexpansive map to be unique. We also consider applications to nonlinear Perron-Frobenius theory and suggest some additional computable sufficient conditions for surjective displace…
We give necessary and sufficient conditions for a nonexpansive map on a finite dimensional normed space to have a nonempty, bounded set of fixed points. Among other results we show that if $f : V \rightarrow V$ is a nonexpansive map on a finite dimensional normed space $V$, then the fixed point set of $f$ is nonempty and bounded if and only if there exist $w_1, \ldots , w_m$ in $V$ such that $\{f(w_i) - w_i : i = 1, \ldots, m \}$ illuminates the unit ball. This yields a numerical procedure for detecting fixed points of nonexpansive maps on finite dimensional spaces. We also discuss application…
We give a rate of metastability for Halpern's iteration relative to a rate of metastability for the resolvent for nonexpansive mappings in uniformly smooth Banach spaces, extracted from a proof due to Xu. In Hilbert space, the latter is known, so we get an explicit rate of metastability. We also extract a rate of asymptotic regularity for general normed spaces. Such rates have already been extracted by Kohlenbach and Leuştean for different and incomparable conditions on $(λ_n)$. The proof analyzed in this paper is also more effective than the proofs treated by Kohlenbach and Leuştean in that i…
We propose the class of uniformly convex $W$-hyperbolic spaces with monotone modulus of uniform convexity ($UCW$-hyperbolic spaces for short) as an appropriate setting for the study of nonexpansive iterations. $UCW$-hyperbolic spaces are a natural generalization both of uniformly convex normed spaces and CAT(0)-spaces. Furthermore, we apply proof mining techniques to get effective rates of asymptotic regularity for Ishikawa iterations of nonexpansive self-mappings of closed convex subsets in $UCW$-hyperbolic spaces. These effective results are new even for uniformly convex Banach spaces.
In this paper we obtain new effective results on the Halpern iterations of nonexpansive mappings using methods from mathematical logic or, more specifically, proof-theoretic techniques. We give effective rates of asymptotic regularity for the Halpern iterations of nonexpansive self-mappings of nonempty convex sets in normed spaces. The paper presents another case study in the project of {\em proof mining}, which is concerned with the extraction of effective uniform bounds from (prima-facie) ineffective proofs.
Monotone operators, especially in the form of subdifferential operators, are of basic importance in optimization. It is well known since Minty, Rockafellar, and Bertsekas-Eckstein that in Hilbert space, monotone operators can be understood and analyzed from the alternative viewpoint of firmly nonexpansive mappings, which were found to be precisely the resolvents of monotone operators. For example, the proximal mappings in the sense of Moreau are precisely the resolvents of subdifferential operators. More general notions of "resolvent", "proximal mapping" and "firmly nonexpansive" have been stu…
We show that the direct sum of Banach spaces $X_{1},..., X_{r}$ with a strictly monotone norm has the weak fixed point property for nonexpansive mappings whenever $M(X_{i})>1$ for each $i=1,...,r$. In particular, $(X_{1} \oplus ... \oplus X_{r})_ψ$ enjoys the fixed point property if Banach spaces $X_{i}$ are uniformly nonsquare. This combined with the earlier results gives a definitive answer for r=2: the direct sum of uniformly nonsquare spaces $X_{1}, X_{2}$ with any monotone norm has FPP. Our results are extended for asymptotically nonexpansive mappings in the intermediate sense.
In this note, at first we prove that the existence of best proximity points for cyclic relatively nonexpansive mappings is equivalent to the existence of best proximity pairs for noncyclic relatively nonexpansive mappings in the setting of strictly convex Banach spaces by using the projection operator. In this way, we conclude that a main result of the paper "Proximal normal structure and relatively nonexpansive mappings", Studia Math., (171~(2005) 283--293) immediately follows. We then discuss the convergence of best proximity pairs for noncyclic contractions by applying the convergence of it…
We establish sharp estimates for the convergence rate of the Kranosel'ski\vı-Mann fixed point iteration in general normed spaces, and we use them to show that the asymptotic regularity bound recently proved in [11] (Israel Journal of Mathematics 199(2), 757-772, 2014) with constant $1/\sqrtπ$ is sharp and cannot be improved. To this end we consider the recursive bounds introduced in [3] (Proceedings of the 2nd International Conference on Fixed Point Theory and Applications, World Scientific Press, London, 27-66, 1992) which we reinterpret in terms of a nested family of optimal transport proble…
We consider semidifferentiable (possibly nonsmooth) maps, acting on a subset of a Banach space, that are nonexpansive either in the norm of the space or in the Hilbert's or Thompson's metric inherited from a convex cone. We show that the global uniqueness of the fixed point of the map, as well as the geometric convergence of every orbit to this fixed point, can be inferred from the semidifferential of the map at this point. In particular, we show that the geometric convergence rate of the orbits to the fixed point can be bounded in terms of Bonsall's nonlinear spectral radius of the semidiffer…
We study the dynamics of fixed point free mappings on the interior of a normal, closed cone in a Banach space that are nonexpansive with respect to Hilbert's metric or Thompson's metric. We establish several Denjoy-Wolff type theorems that confirm conjectures by Karlsson and Nussbaum for an important class of nonexpansive mappings. We also extend and put into a broader perspective results by Gaubert and Vigeral concerning the linear escape rate of such nonexpansive mappings.
This paper deals with a modified iterative projection method for approximating a solution of the hierarchical fixed point problem for a sequene of nearly nonexpansive mappings with respect to a nonexpansive mapping. It is shown that under certain approximate assumptions on the operators and parameters, the modified iterative sequence converges strongly to a common element of the set of the common fixed points of nearly nonexpansive mappings.Also, this point solves some variational inequality. As a special case, this projection method can be used to find the minimum norm solution of the given v…
It is shown that if a Banach space X has the weak Banach-Saks property and the weak fixed point property for nonexpansive mappings and Y satisfies property asymptotic (P) (which is weaker than the condition WCS(Y)>1), then the direct sum of X and Y endowed with a strictly monotone norm enjoys the weak fixed point property. The same conclusion is valid if X admits a 1-unconditional basis.
This paper first proves two fixed point theorems in complete random normed modules, which are respectively the random generalizations of the classical Banach's contraction mapping principle and Browder--Kirk's fixed point theorem. As applications, the first is used to give the existence and uniqueness of solutions to various kinds of backward stochastic equations under $L^0$--Lipschitz assumptions and the second is used to establish the existence of solutions to backward stochastic equations of nonexpansive type.
In this paper, the Pazy's Fixed Point Theorems of monotone $α-$nonexpansive mapping $T$ are proved in a uniformly convex Banach space $E$ with the partial order "$\leq$". That is, we obtain that the fixed point set of $T$ with respect to the partial order "$\leq$" is nonempty whenever the Picard iteration $\{T^nx_0\}$ is bounded for some initial point $x_0$ with $x_0\leq Tx_0$ or $Tx_0\leq x_0$. When restricting the demain of $T$ to the cone $P$, a monotone $α-$nonexpansive mapping $T$ has at least a fixed point if and only if the Picard iteration $\{T^n0\}$ is bounbed. Furthermore, with the h…
Best approximation (BA) is an interesting field in functional analysis that has attracted a lot of attention from many researchers for a very long period of time up-to-date. Of greatest consideration is the characterization of the Chebyshev set (CS) which is a subset of a normed linear space (NLS) which contains unique BAs. However, a fundamental question remains unsolved to-date regarding the convexity of the CS in infinite NLS known as the CS problem. The question which has not been answered is: Is every CS in a NLS convex?. This question has not got any solution including the simplest form …
Let $H$ be a reflexive, dense, separable, infinite dimensional complex Hilbert space and let $B(H)$ be the algebra of all bounded linear operators on $H$. In this paper, we carry out characterizations of norm-attainable operators in normed spaces. We give conditions for norm-attainability of linear functionals in Banach spaces, non-power operators on $H$ and elementary operators. Lastly, we characterize a new notion of norm-attainability for power operators in normed spaces.
By iterative techniques,we present two fixed point theorems, whose modular formulations are relatively close to the Banach's fixed point theorem in the normed spaces.The first result concerns the fixed point of the strongly contraction mappings.The second result deals with the fixed point of the strict contraction mappings where the modular satisfies the delta-condition. For the nonexpansive mappings,where the modular satisfies the regular growth condition,we present a fixed point theorem of the Shauder's type,without boundedness condition on the domain of theses mappings.
Suppose that $Q$ is a weak$^{\ast }$ compact convex subset of a dual Banach space with the Radon-Nikodým property. We show that if $(S,Q)$ is a nonexpansive and norm-distal dynamical system, then there is a fixed point of $S$ in $Q$ and the set of fixed points is a nonexpansive retract of $Q.$ As a consequence we obtain a nonlinear extension of the Bader-Gelander-Monod theorem concerning isometries in $L$-embedded Banach spaces. A similar statement is proved for weakly compact convex subsets of a locally convex space, thus giving the nonlinear counterpart of the Ryll-Nardzewski theorem.
We develop \emph{geometric optimisation} on the manifold of Hermitian positive definite (HPD) matrices. In particular, we consider optimising two types of cost functions: (i) geodesically convex (g-convex); and (ii) log-nonexpansive (LN). G-convex functions are nonconvex in the usual euclidean sense, but convex along the manifold and thus allow global optimisation. LN functions may fail to be even g-convex, but still remain globally optimisable due to their special structure. We develop theoretical tools to recognise and generate g-convex functions as well as cone theoretic fixed-point optimis…
The aim of this paper is to study the $w^*$-fixed point property for nonexpansive mappings in the duals of separable Lindenstrauss spaces by means of suitable geometrical properties of the dual ball. First we show that a property concerning the behaviour of a class of $w^*$-closed subsets of the dual sphere is equivalent to the $w^*$-fixed point property. Then, the main result of our paper shows an equivalence between another, stronger geometrical property of the dual ball and the stable $w^*$-fixed point property. The last geometrical notion was introduced by Fonf and Veselý as a strengthenin…
The spaces $W_α$ are the Banach spaces whose duals are isometric to $\ell_1$ and such that the standard basis of $\ell_1$ is $w^*$-convergent to $α\in \ell_1$. The core result of our paper proves that an $\ell_1$-predual $X$ contains isometric copies of all $W_α$, where the norm of $α$ is controlled by the supremum of the norms of the $w^*$-cluster points of the extreme points of the closed unit ball in $\ell_1$. More precisely, for every $\ell_1$-predual $X$ we have $$ r^*(X)=\sup\left\lbrace \left\|g^*\right\|: g^*\in \left(\mathrm{ext}\, B_{\ell_1}\right)'\right\rbrace =\sup \left\lbrace \l…
École Polytechnique Fédérale de Lausanne(洛桑联邦理工学院)
We investigate regularized algorithms combining with projection for least-squares regression problem over a Hilbert space, covering nonparametric regression over a reproducing kernel Hilbert space. We prove convergence results with respect to variants of norms, under a capacity assumption on the hypothesis space and a regularity condition on the target function. As a result, we obtain optimal rates for regularized algorithms with randomized sketches, provided that the sketch dimension is proportional to the effective dimension up to a logarithmic factor. As a byproduct, we obtain similar resul…
In this paper we generalize to unbounded convex subsets C of hyperbolic spaces results obtained by W.A. Kirk and R. Espinola on approximate fixed points of nonexpansive mappings in product spaces $(C\times M)_\infty$, where M is a metric space and C is a nonempty, convex, closed and bounded subset of a normed or a CAT(0)-space. We extend the results further, to families $(C_u)_{u\in M}$ of unbounded convex subsets of a hyperbolic space. The key ingredient in obtaining these generalizations is a uniform quantitative version of a theorem due to Borwein, Reich and Shafrir, obtained by the authors…
We consider the monotone inclusion problems in real Hilbert spaces. Proximal splitting algorithms are very popular technique to solve it and generally achieve weak convergence under mild assumptions. Researchers assume the strong conditions like strong convexity or strong monotonicity on the considered operators to prove strong convergence of the algorithms. Mann iteration method and normal S-iteration method are popular methods to solve fixed point problems. We propose a new common fixed point algorithm based on normal S-iteration method using Tikhonov regularization to find common fixed poin…
In our recent work, the sampling and reconstruction of non-decaying signals, modeled as members of weighted-$L_p$ spaces, were shown to be stable with an appropriate choice of the generating kernel for the shift-invariant reconstruction space. In this paper, we extend the Strang-Fix theory to show that, for $d$-dimensional signals whose derivatives up to order $L$ are all in some weighted-$L_p$ space, the weighted norm of the approximation error can be made to go down as $O(h^L)$ when the sampling step $h$ tends to $0$. The sufficient condition for this decay rate is that the generating kernel…
École Polytechnique Fédérale de Lausanne(洛桑联邦理工学院);INRIA(法国国家信息与自动化研究所);École Normale Supérieure(巴黎高等师范学院);University of Genova(热那亚大学);Massachusetts Institute of Technology(麻省理工学院);Italian Institute of Technology(意大利技术研究院)
In this paper, we study regression problems over a separable Hilbert space with the square loss, covering non-parametric regression over a reproducing kernel Hilbert space. We investigate a class of spectral/regularized algorithms, including ridge regression, principal component regression, and gradient methods. We prove optimal, high-probability convergence results in terms of variants of norms for the studied algorithms, considering a capacity assumption on the hypothesis space and a general source condition on the target function. Consequently, we obtain almost sure convergence results with…
On the boundedness of infinite products of relaxed projections: perturbations resilience and dynamic string-averaging
The Center for Mathematics and Scientific Computation (CMSC), University of Haifa(海法大学数学与科学计算中心);Department of Mathematics, University of Haifa(海法大学数学系)