On a Mann type implicit iteration process for continuous pseudo-contractive mappings

Let K$K$ be a nonempty closed convex subset of a Banach space E$E$, T:K→K$T:K\to K$ a continuous pseudo-contractive mapping. Suppose that {_αn}$\left\{{\alpha }_n\right\}$ is a real sequence in [0,1]$[0,1]$ satisfying appropriate conditions; then for arbitrary _x0∈K$x_0\in K$, the Mann type implicit iteration process {_xn}$\left\{x_n\right\}$ given by _xn=_αnxn−1+(1−_αn)T_xn,n≥0$x_n={\alpha }_n{x}_{n-1}+(1-{\alpha }_n)T{x}_n,n\ge 0$, strongly and weakly converges to a fixed point of T$T$, respectively.     

Convergence of the modified Mann’s iteration method for asymptotically strict pseudo-contractions

Let C$C$ be a closed convex subset of a real Hilbert space H$H$ and assume that T$T$ is an asymptotically κ$\kappa$-strict pseudo-contraction on C$C$ with a fixed point, for some 0≤κ<1$0\le \kappa <1$. Given an initial guess _x0∈C$x_0\in C$ and given also a real sequence {_αn}$\left\{{\alpha }_n\right\}$ in (0, 1), the modified Mann’s algorithm generates a sequence {_xn}$\left\{x_n\right\}$ via the formula: _xn+1=_αnxn+(1−_αn)Tⁿ_xn$x_{n+1}={\alpha }_n{x}_n+(1-{\alpha }_n)T^n{x}_n$, n≥0$n\ge 0$. It is proved that if the control sequence {_αn}$\left\{{\alpha }_n\right\}$ is chosen so that κ+δ<_αn<1−δ$\kappa +\delta <{\alpha }_n<1-\delta$ for some δ∈(0,1)$\delta \in (0,1)$, then {_xn}$\left\{x_n\right\}$ converges weakly to a fixed point of T$T$. We also modify this iteration method by applying projections onto suitably constructed closed convex sets to get an algorithm which generates a strongly convergent sequence.     

Path convergence,approximation of fixed points and variational solutions of Lipschitz pseudocontractions in Banach spaces

Let E$E$ be a reflexive Banach space with a uniformly Gâteaux differentiable norm, let K$K$ be a nonempty closed convex subset of E$E$, and let T:K?E$T:K?E$ be a continuous pseudocontraction which satisfies the weakly inward condition. For f:K?K$f:K?K$ any contraction map on K$K$, and every nonempty closed convex and bounded subset of K$K$ having the fixed point property for nonexpansive self-mappings, it is shown that the path x→_xt,t∈[0,1)$x\to x_t,t\in [0,1)$, in K$K$, defined by _xt=tT_xt+(1−t)f(_xt)$x_t=tT{x}_t+(1-t)f\left(x_t\right)$ is continuous and strongly converges to the fixed point of T$T$, which is the unique solution of some co-variational inequality. If, in particular, T$T$ is a Lipschitz pseudocontractive self-mapping of K$K$, it is also shown, under appropriate conditions on the sequences of real numbers {_αn},{_μn}$\left\{{\alpha }_n\right\},\left\{{\mu }_n\right\}$, that the iteration process: _z1∈K$z_1\in K$, _zn+1=_μn(_αnT_zn+(1−_αn)_zn)+(1−_μn)f(_zn),n∈N$z_{n+1}={\mu }_n({\alpha }_{n}T{z}_n+(1-{\alpha }_n)z_n)+(1-{\mu }_n)f\left(z_n\right),n\in \mathbb{N}$, strongly converges to the fixed point of T$T$, which is the unique solution of the same co-variational inequality. Our results propose viscosity approximation methods for Lipschitz pseudocontractions.     

Asymptotically strict pseudocontractive mappings in the intermediate sense

It is proved that the modified Mann iteration process: _xn+1=(1−_αn)_xn+_αnTⁿ_xn,n∈N$x_{n+1}=(1-{\alpha }_n)x_n+{\alpha }_n{T}^n{x}_n,n\in \mathbb{N}$, where {_αn}$\left\{{\alpha }_n\right\}$ is a sequence in (0, 1) with δ≤_αn≤1−κ−δ$\delta \le {\alpha }_n\le 1-\kappa -\delta$ for some δ∈(0,1)$\delta \in (0,1)$, converges weakly to a fixed point of an asymptotically κ$\kappa$-strict pseudocontractive mapping T$T$ in the intermediate sense which is not necessarily Lipschitzian. We also develop CQ method for this modified Mann iteration process which generates a strongly convergent sequence.     

An approximation method for strictly pseudocontractive mappings

Let K$K$ be a closed convex subset of a q$q$-uniformly smooth separable Banach space, T:K→K$T:K\to K$ a strictly pseudocontractive mapping, and f:K→K$f:K\to K$ an L$L$-Lispschitzian strongly pseudocontractive mapping. For any t∈(0,1)$t\in (0,1)$, let _xt$x_t$ be the unique fixed point of tf+(1-t)T$\mathit{tf}+(1-t)T$. We prove that if T$T$ has a fixed point, then {_xt}$\{x_t\}$ converges to a fixed point of T$T$ as t$t$ approaches to 0.     

Convergence of iterative algorithms for multivalued mappings in Banach spaces

We show strong and weak convergence for Mann iteration of multivalued nonexpansive mappings T$T$ in a Banach space. Furthermore, we give a strong convergence of the modified Mann iteration which is independent of the convergence of the implicit anchor-like continuous path _zt∈tu+(1−t)T_zt$z_t\in tu+(1-t)T{z}_t$.     

New general convergence theory for iterative processes and its applications to Newton–Kantorovich type theorems

Let T:D⊂X→X$T:D\subset X\to X$ be an iteration function in a complete metric space X$X$. In this paper we present some new general complete convergence theorems for the Picard iteration _xn+1=T_xn$x_{n+1}=T{x}_n$ with order of convergence at least r≥1$r\ge 1$. Each of these theorems contains a priori and a posteriori error estimates as well as some other estimates. A central role in the new theory is played by the notions of a function of initial conditions   of T$T$ and a convergence function   of T$T$. We study the convergence of the Picard iteration associated to T$T$ with respect to a function of initial conditions E:D→X$E:D\to X$. The initial conditions in our convergence results utilize only information at the starting point _x0$x_0$. More precisely, the initial conditions are given in the form E(_x0)∈J$E\left(x_0\right)\in J$, where J$J$ is an interval on _R+${\mathbb{R}}_{+}$ containing 0. The new convergence theory is applied to the Newton iteration in Banach spaces. We establish three complete ω$\omega$-versions of the famous semilocal Newton–Kantorovich theorem as well as a complete version of the famous semilocal α$\alpha$-theorem of Smale for analytic functions.     

Holomorphic mappings preserving Minkowski functionals

We show that the equality _m1(f(x))=_m2(g(x))$m_1\left(f\left(x\right)\right)=m_2\left(g\left(x\right)\right)$ for x$x$ in a neighborhood of a point a$a$ remains valid for all x$x$ provided that f$f$ and g$g$ are open holomorphic maps, f(a)=g(a)=0$f\left(a\right)=g\left(a\right)=0$ and _m1,_m2$m_1,m_2$ are Minkowski functionals of bounded balanced domains. Moreover, a polynomial relation between f$f$ and g$g$ is obtained.     

On Mann iteration in Hilbert spaces

Let K$K$ be a compact convex subset of a real Hilbert space H$H$; T:K→K$T:K\to K$ a hemicontractive map. Let {_αn}$\left\{{\alpha }_n\right\}$ be a real sequence in [0,1] satisfying appropriate conditions; then for arbitrary _x0∈K$x_0\in K$, the sequence {_xn}$\left\{x_n\right\}$ defined iteratively by _xn=_αnxn−1+(1−_αn)T_xn$x_n={\alpha }_n{x}_{n-1}+(1-{\alpha }_n)T{x}_n$, n≥1$n\ge 1$ converges strongly to a fixed point of T$T$.     

Strong convergence theorems for finitely many nonexpansive mappings

Under the assumption that E$E$ is a reflexive Banach space whose norm is uniformly Gêteaux differentiable and which has a weakly continuous duality mapping _Jφ$J_{\phi }$ with gauge function φ$\phi$, Ceng–Cubiotti–Yao [Strong convergence theorems for finitely many nonexpansive mappings and applications, Nonlinear Analysis 67 (2007) 1464–1473] introduced a new iterative scheme for a finite commuting family of nonexpansive mappings, and proved strong convergence theorems about this iteration. In this paper, only under the hypothesis that E$E$ is a reflexive Banach space which has a weakly continuous duality mapping _Jφ$J_{\phi }$ with gauge function φ$\phi$, and several control conditions about the iterative coefficient are removed, we present a short and simple proof of the above theorem.     

The relaxed Newton method derivative: Its dynamics and non-linear properties

The dynamic behaviour of the one-dimensional family of maps f(x)=_c2[(a−1)x+_c1]^{−λ/(α−1)}$f\left(x\right)=c_2{[(a-1)x+c_1]}^{-\lambda /(\alpha -1)}$ is examined, for representative values of the control parameters a,_c1$a,c_1$, _c2$c_2$ and λ$\lambda$. The maps under consideration are of special interest, since they are solutions of the relaxed Newton method derivative being equal to a constant a$a$. The maps f(x)$f\left(x\right)$ are also proved to be solutions of a non-linear differential equation with outstanding applications in the field of power electronics. The recurrent form of these maps, after excessive iterations, shows, in an _xn$x_n$ versus λ$\lambda$ plot, an initial exponential decay followed by a bifurcation. The value of λ$\lambda$ at which this bifurcation takes place depends on the values of the parameters a,_c1$a,c_1$ and _c2$c_2$. This corresponds to a switch to an oscillatory behaviour with amplitudes of f(x)$f\left(x\right)$ undergoing a period doubling. For values of a$a$ higher than 1 and at higher values of λ$\lambda$ a reverse bifurcation occurs. The corresponding branches converge and a bleb is formed for values of the parameter _c1$c_1$ between 1 and 1.20. This behaviour is confirmed by calculating the corresponding Lyapunov exponents.     

On first-fit coloring of ladder-free posets

Bosek and Krawczyk exhibited an on-line algorithm for partitioning an on-line poset of width w$w$ into w^14lgw$w^{14lgw}$ chains. They also observed that the problem of on-line chain partitioning of general posets of width w$w$ could be reduced to First-Fit chain partitioning of 2w²+1$2w^2+1$-ladder-free posets of width w$w$, where an m$m$-ladder is the transitive closure of the union of two incomparable chains _x1≤?≤_xm$x_1\le ?\le x_m$, _y1≤?≤_ym$y_1\le ?\le y_m$ and the set of comparabilities {_x1≤_y1,…,_xm≤_ym}$\{x_1\le y_1,\dots ,x_m\le y_m\}$. Here, we provide a subexponential upper bound (in terms of w$w$ with m$m$ fixed) for the performance of First-Fit chain partitioning on m$m$-ladder-free posets, as well as an exact quadratic bound when m=2$m=2$, and an upper bound linear in m$m$ when w=2$w=2$. Using the Bosek–Krawczyk observation, this yields an on-line chain partitioning algorithm with a somewhat improved performance bound. More importantly, the algorithm and the proof of its performance bound are much simpler.     

Iterative approximation of solutions of nonlinear equations of Hammerstein type

Suppose X$X$ is a real q$q$-uniformly smooth Banach space and F,K:X→X$F,K:X\to X$ are Lipschitz ?$?$-strongly accretive maps with D(K)=F(X)=X$D\left(K\right)=F\left(X\right)=X$. Let u^∗$u^{\ast }$ denote the unique solution of the Hammerstein equation u+KFu=0$u+KFu=0$. An iteration process recently introduced by Chidume and Zegeye is shown to converge strongly to u^∗$u^{\ast }$. No invertibility assumption is imposed on K$K$ and the operators K$K$ and F$F$ need not be defined on compact subsets of X$X$. Furthermore, our new technique of proof is of independent interest. Finally, some interesting open questions are included.     

Viscosity approximation method for accretive operator in Banach space

Let X$X$ be a uniformly smooth Banach space, C$C$ be a closed convex subset of X$X$, and A$A$ an m-accretive operator with a zero. Consider the iterative method that generates the sequence {_xn}$\left\{x_n\right\}$ by the algorithm

_xn+1=_αnf(_xn)+(1−_αn)_Jrnxn,$x_{n+1}={\alpha }_{n}f\left(x_n\right)+(1-{\alpha }_n)J_{r_n}{x}_n\text{,}$

Ordered partitions and drawings of rooted plane trees

We study the bounded regions in a generic slice of the hyperplane arrangement in Rⁿ${\mathbb{R}}^n$ consisting of the hyperplanes defined by _xi$x_i$ and _xi+_xj$x_i+x_j$. The bounded regions are in bijection with several classes of combinatorial objects, including the ordered partitions of [n]$\left[n\right]$ all of whose left-to-right minima occur at odd locations and the drawings of rooted plane trees with n+1$n+1$ vertices. These are sequences of rooted plane trees such that each tree in a sequence can be obtained from the next one by removing a leaf.     

Mosco convergence of the sets of fixed points for one-parameter nonexpansive semigroups

We consider the Mosco convergence of the sets of fixed points for one-parameter strongly continuous semigroups of nonexpansive mappings. One of our main results is the following: Let C$C$ be a closed convex subset of a Hilbert space E$E$. Let {T(t):t≥0}$\{T\left(t\right):t\ge 0\}$ be a strongly continuous semigroup of nonexpansive mappings on C$C$. The set of all fixed points of T(t)$T\left(t\right)$ is denoted by F(T(t))$F\left(T\left(t\right)\right)$ for each t≥0$t\ge 0$. Let τ$\tau$ be a nonnegative real number and let {_tn}$\left\{t_n\right\}$ be a sequence in R$\mathbb{R}$ satisfying τ+_tn≥0$\tau +t_n\ge 0$ and _tn≠0$t_n\ne 0$ for n∈N$n\in \mathbb{N}$, and _limntn=0${lim}_n{t}_n=0$. Then {F(T(τ+_tn))}$\left\{F\left(T(\tau +t_n)\right)\right\}$ converges to _?t≥0F(T(t))${?}_{t\ge 0}F\left(T\left(t\right)\right)$ in the sense of Mosco.     

Approximation of solutions of Hammerstein equations with bounded strongly accretive nonlinear operators

Suppose X$X$ is a real q$q$-uniformly smooth Banach space and F,K:X→X$F,K:X\to X$ are bounded strongly accretive maps with D(K)=F(X)=X$D\left(K\right)=F\left(X\right)=X$. Let u^∗$u^{\ast }$ denote the unique solution of the Hammerstein equation u+KFu=0$u+KFu=0$. A new explicit coupled iteration process is shown to converge strongly to u^∗$u^{\ast }$. No invertibility assumption is imposed on K$K$ and the operators K$K$ and F$F$ need not be defined on compact subsets of X$X$. Furthermore, our new technique of proof is of independent interest. Finally, some interesting open questions are included.