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.     

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.     

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.     

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.     

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.     

The approximate fixed point property in product spaces

In this paper we generalize to unbounded   convex subsets C$C$ of hyperbolic   spaces results obtained by W.A. Kirk and R. Espínola on approximate fixed points of nonexpansive mappings in product spaces _(C×M)∞${(C\times M)}_{\infty }$, where M$M$ is a metric space and C$C$ is a nonempty, convex, closed and bounded subset of a normed or a CAT(0)-space. We extend the results further, to families _(Cu)u∈M${\left(C_u\right)}_{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 in a previous paper using techniques from mathematical logic. Inspired by that, we introduce in the last section the notion of uniform approximate fixed point property   for sets C$C$ and classes of self-mappings of C$C$. The paper ends with an open problem.     

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.     

Strong convergence theorem for approximation of solutions of equations of Hammerstein type

Let H$H$ be a real Hilbert space. Let K,F:H→H$K,F:H\to H$ be bounded, continuous and monotone mappings. Suppose that u^∗∈H$u^{\ast }\in H$ is a solution to the Hammerstein equation u+KFu=0$u+KFu=0$. We construct a new explicit iterative sequence and prove strong convergence of the sequence to a solution of the Hammerstein equation. Furthermore, we give some examples to show that our result is interdisciplinary in nature, covers a large variety of areas and should be of much interest to a wide audience.     

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.     

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.     

Viscosity approximation to common fixed points of families of nonexpansive mappings with generalized contractions mappings

Let X$X$ be a reflexive and smooth real Banach space which has a weakly sequentially continuous duality mapping. In this paper, we consider the following viscosity approximation scheme _xn+1=_λn+1f(_xn)+(1−_λn+1)_Tn+1xn$x_{n+1}={\lambda }_{n+1}f\left(x_n\right)+(1-{\lambda }_{n+1})T_{n+1}{x}_n$ (where f$f$ is a generalized contraction mapping) for infinitely many nonexpansive self-mappings _T1,_T2,_T3,…$T_1,T_2,T_3,\dots$ in X$X$. We establish a strong convergence result which generalizes some results in the literature.     

Analysis of the heat kernel of the Dirichlet-to-Neumann operator

We prove Poisson upper bounds for the kernel _(Kt)t>0${(K_t)}_{t>0}$ of the semigroup generated by the Dirichlet-to-Neumann operator if the underlying domain is bounded and has a C^∞$C^{\infty }$-boundary. We also prove Poisson bounds for _Kz$K_z$ for all z in the right half-plane and for all its derivatives.     

Frobenius groups and retract rationality

Let k$k$ be any field, G$G$ be a finite group acting on the rational function field k(_xg:g∈G)$k(x_g:g\in G)$ by h⋅_xg=_xhg$h\cdot x_g=x_{hg}$ for any h,g∈G$h,g\in G$. Define k(G)=k(_xg:g∈G)^G$k\left(G\right)=k{(x_g:g\in G)}^G$. Noether’s problem asks whether k(G)$k\left(G\right)$ is rational (= purely transcendental) over k$k$. A weaker notion, retract rationality introduced by Saltman, is also very useful for the study of Noether’s problem. We prove that, if G$G$ is a Frobenius group with abelian Frobenius kernel, then k(G)$k\left(G\right)$ is retract k$k$-rational for any field k$k$ satisfying some mild conditions. As an application, we show that, for any algebraic number field k$k$, for any Frobenius group G$G$ with Frobenius complement isomorphic to S_L2(_F5)$S{L}_2\left({\mathbb{F}}_5\right)$, there is a Galois extension field K$K$ over k$k$ whose Galois group is isomorphic to G$G$, i.e. the inverse Galois problem is valid for the pair (G,k)$(G,k)$. The same result is true for any non-solvable Frobenius group if k(_ζ8)$k\left({\zeta }_8\right)$ is a cyclic extension of k$k$.