Retraction algorithms for solving variational inequalities,pseudomonotone equilibrium problems,and fixed-point problems in Banach spaces

In this paper, using sunny generalized nonexpansive retractions which are different from the metric projection and generalized metric projection in Banach spaces, we present new extragradient and line search algorithms for finding the solution of a J-variational inequality whose constraint set is the common elements of the set of fixed points of a family of generalized nonexpansive mappings and the set of solutions of a pseudomonotone J-equilibrium problem for a J -α-inverse-strongly monotone operator in a Banach space. To prove strong convergence of generated iterates in the extragradient method, we introduce a ? _?-Lipschitz-type condition and assume that the equilibrium bifunction satisfies this condition. This condition is unnecessary when the line search method is used instead of the extragradient method. Using FMINCON optimization toolbox in MATLAB, we give some numerical examples and compare them with several existence results in literature to illustrate the usability of our results.     

Perturbed Evolution Problems with Continuous Bounded Variation in Time and Applications

This paper is devoted to the study of evolution problems of the form \(-\frac {du}{dr}(t) \in A(t)u(t) + f(t, u(t))\) in a new setting, where, for each t, A(t) : D(A(t)) → 2 ^H is a maximal monotone operator in a Hilbert space H and the mapping t?A(t) has continuous bounded or Lipschitz variation on [0, T], in the sense of Vladimirov’s pseudo-distance. The measure dr gives an upper bound of that variation. The perturbation f is separately integrable on [0, T] and separately Lipschitz on H. Several versions and new applications are presented.     

Construction algorithms for a class of monotone variational inequalities

This paper is devoted to solve the following monotone variational inequality of finding \(x^*\in \mathrm{Fix}(T)\) such that

$$\begin{aligned} \langle Ax^*,x-x^*\rangle \ge 0,\quad \forall x\in \mathrm{Fix}(T), \end{aligned}$$

where A is a monotone operator and \(\mathrm{Fix}(T)\) is the set of fixed points of nonexpansive operator T. For this purpose, we construct an implicit algorithm and prove its convergence hierarchical to the solution of above monotone variational inequality.

     

<Emphasis Type="Italic">ε</Emphasis>-subgradient algorithms for locally lipschitz functions on Riemannian manifolds

This paper presents a descent direction method for finding extrema of locally Lipschitz functions defined on Riemannian manifolds. To this end we define a set-valued mapping \(x\rightarrow \partial _{\varepsilon } f(x)\) named ε-subdifferential which is an approximation for the Clarke subdifferential and which generalizes the Goldstein- ε-subdifferential to the Riemannian setting. Using this notion we construct a steepest descent method where the descent directions are computed by a computable approximation of the ε-subdifferential. We establish the global convergence of our algorithm to a stationary point. Numerical experiments illustrate our results.     

Jacobi method for symmetric 4 × 4 matrices converges for every cyclic pivot strategy

The paper studies the global convergence of the Jacobi method for symmetric matrices of size 4. We prove global convergence for all 720 cyclic pivot strategies. Precisely, we show that inequality S(A ^[t+3]) ≤ γ S(A ^[t]), t ≥ 1, holds with the constant γ < 1 that depends neither on the matrix A nor on the pivot strategy. Here, A ^[t] stands for the matrix obtained from A after t full cycles of the Jacobi method and S(A) is the off-diagonal norm of A. We show why three consecutive cycles have to be considered. The result has a direct application on the J-Jacobi method.     

Semigroup graded algebras and graded PI-exponent

Let S be a semigroup. We study the structure of graded-simple S-graded algebras A and the exponential rate PIexp ^S-gr(A):= lim_n→∞ \(\sqrt[n]{{c_n^{S - gr}\left( A \right)}}\) of growth of codimensions c _n ^S-gr (A) of their graded polynomial identities. This is of great interest since such algebras can have non-integer PIexp ^S-gr(A) despite being finite dimensional and associative. In addition, such algebras can have a non-trivial Jacobson radical J(A). All this is in strong contrast with the case when S is a group since in the group case J(A) is trivial, PIexp ^S-gr(A) is always integer and, if the base field is algebraically closed, then PIexp ^S-gr(A) equals dimA. Without any restrictions on the base field F, we classify graded-simple S-graded algebras A for a class of semigroups S which is complementary to the class of groups. We explicitly describe the structure of J(A) showing that J(A) is built up of pieces of a maximal S-graded semisimple subalgebra of A which turns out to be simple. When F is algebraically closed, we get an upper bound for \({\overline {\lim } _{n \to \infty }}\sqrt[n]{{c_n^{S - gr}\left( A \right)}}\). If A/J(A) ≈ M ₂(F) and S is a right zero band, we show that this upper bound is sharp and PIexp ^S-gr(A) indeed exists. In particular, we present an infinite family of graded-simple algebras A with arbitrarily large non-integer PIexp ^S-gr(A).     

Approximate Solutions of Variational Inequalities on Sets of Common Fixed Points of a One-Parameter Semigroup of Nonexpansive Mappings

Let \(\mathcal{T}\) be a one-parameter semigroup of nonexpansive mappings on a nonempty closed convex subset C of a strictly convex and reflexive Banach space X. Suppose additionally that X has a uniformly Gâteaux differentiable norm, C has normal structure, and \(\mathcal{T}\) has a common fixed point. Then it is proved that, under appropriate conditions on nonexpansive semigroups and iterative parameters, the approximate solutions obtained by the implicit and explicit viscosity iterative processes converge strongly to the same common fixed point of \(\mathcal{T}\), which is a solution of a certain variational inequality.     

Detecting fixed points of nonexpansive maps by illuminating the unit ball

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 → 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₁,..., w _m in V such that {f(w _i ) ? w _i : i = 1,..., m} illuminates the unit ball. This yields a numerical procedure for detecting fixed points of nonexpansive maps on finite-dimensional spaces. We also discuss applications of this procedure to certain nonlinear eigenvalue problems arising in game theory and mathematical biology.     

Inertial proximal algorithm for difference of two maximal monotone operators

In this note, a new algorithm is presented for finding a zero of difference of two maximal monotone operators T and S, i.e., T — S in finite dimensional real Hilbert space H in which operator S has local boundedness property. This condition is weaker than Moudafi’s condition on operator S in [13]. Moreover, applying some conditions on inertia term in new algorithm, one can improve speed of convergence of sequence.     

Localization of the eigenvalues of a pencil of positive definite matrices

Let A and B be real square positive definite matrices close to each other. A domain S on the complex plane that contains all the eigenvalues λ of the problem Az = λBz is constructed analytically. The boundary ?S of S is a curve known as the limacon of Pascal. Using the standard conformal mapping of the exterior of this curve (or of the exterior of an enveloping circular lune) onto the exterior of the unit disc, new analytical bounds are obtained for the convergence rate of the minimal residual method (GMRES) as applied to solving the linear system Ax = b with the preconditioner B.     

A general iterative scheme for nonexpansive mappings and inverse-strongly monotone mappings

In this paper, we introduce an general iterative scheme for finding a common element of the set of fixed points of a nonexpansive mapping and the set of solutions of the variational inequality for an inverse-strongly monotone mapping in a Hilbert space. We show that the iterative sequence converges strongly to a common element of the two sets. Using this results, we consider the problem of finding a common fixed point of a nonexpansive mapping and a strictly pseudocontractive mapping and the problem of finding a common element of the set of fixed points of a nonexpansive mapping and the set of zeros of an inverse-strongly monotone mapping. The results of this paper extended and improved the results of Iiduka and Takahashi (Nonlinear Anal. 61:341–350, 2005).     

On J. C. C. Nitsche type inequality for annuli on Riemann surfaces

Assume that (N, ?) and (M, S) are two Riemann surfaces with conformal metrics ? and S. We prove that if there is a harmonic homeomorphism between an annulus A ? N with a conformal modulus Mod(A) and a geodesic annulus A _S (p, ρ₁, ρ₂)?M, then we have ρ₂/ρ₁ ≥ Ψ _S Mod(A)²+ 1, where Ψ _S is a certain positive constant depending on the upper bound of Gaussian curvature of the metric S. An application for the minimal surfaces is given.     

A note on generating <Emphasis Type="Italic">P</Emphasis>-matrices

We prove that for any \({A,B\in\mathbb{R}^{n\times n}}\) such that each matrix S satisfying min(A, B) ≤ S ≤ max(A, B) is nonsingular, all four matrices A ^?1 B, AB ^?1, B ^?1 A and BA ^?1 are P-matrices. A practical method for generating P-matrices is drawn from this result.     

Best proximity points: global optimal approximate solutions

Let A and B be non-empty subsets of a metric space. As a non-self mapping \({T:A\longrightarrow B}\) does not necessarily have a fixed point, it is of considerable interest to find an element x in A that is as close to Tx in B as possible. In other words, if the fixed point equation Tx = x has no exact solution, then it is contemplated to find an approximate solution x in A such that the error d(x, Tx) is minimum, where d is the distance function. Indeed, best proximity point theorems investigate the existence of such optimal approximate solutions, called best proximity points, to the fixed point equation Tx = x when there is no exact solution. As the distance between any element x in A and its image Tx in B is at least the distance between the sets A and B, a best proximity pair theorem achieves global minimum of d(x, Tx) by stipulating an approximate solution x of the fixed point equation Tx = x to satisfy the condition that d(x, Tx) = d(A, B). The purpose of this article is to establish best proximity point theorems for contractive non-self mappings, yielding global optimal approximate solutions of certain fixed point equations. Besides establishing the existence of best proximity points, iterative algorithms are also furnished to determine such optimal approximate solutions.     

An implicit iterative scheme for monotone variational inequalities and fixed point problems

In this paper we introduce an implicit iterative scheme for finding a common element of the set of common fixed points of N$N$ nonexpansive mappings and the set of solutions of the variational inequality problem for a monotone, Lipschitz-continuous mapping. The implicit iterative scheme is based on two well-known methods: extragradient and approximate proximal. We obtain a weak convergence theorem for three sequences generated by this implicit iterative scheme. On the basis of this theorem, we also construct an implicit iterative process for finding a common fixed point of N+1$N+1$ mappings, such that one of these mappings is taken from the more general class of Lipschitz pseudocontractive mappings and the other N$N$ mappings are nonexpansive.     

An arithmetic property of the set of angles between closed geodesics on hyperbolic surfaces of finite type

For a hyperbolic surface S of finite type we consider the set A(S) of angles between closed geodesics on S. Our main result is that there are only finitely many rational multiples of \(\pi \) in A(S).     

On the strong convergence of a general-type Krasnosel’skii–Mann’s algorithm depending on the coefficients

Let H be a Hilbert space, \({(W_n)_{n \in \mathbb{N}}}\) a suitable family of mappings, S a nonexpansive mapping and D a strongly monotone operator. We are interested in the strong convergence of the general scheme

$$x_{n + 1} = \gamma x_{n} + (1 - \gamma)W_{n} (\alpha_{n}S_{x_{n}} + (1 - \alpha_{n})(I - \mu_{n}D)x_{n}),\quad \gamma \in [0, 1),$$

in dependence of the coefficients \({(\alpha_{n})_{n \in \mathbb{N}}}\) and \({(\mu_{n})_{n \in \mathbb{N}}}\) .

     

-class algorithms for pseudocontractions and -strict pseudocontractions in Hilbert spaces

In this paper we study iterative algorithms for finding a common element of the set of fixed points of κ-strict pseudocontractions or finding a solution of a variational inequality problem for a monotone, Lipschitz continuous mapping. The last problem being related to finding fixed points of pseudocontractions. These algorithms were already studied in [G.L. Acedo, H.-K. Xu, Iterative methods for strict pseudo-contractions in hilbert spaces, Nonlinear Analysis 67 (2007) 2258–2271] and [N. Nadezhkina, W. Takahashi, Strong convergence theorem by a hybrid method for nonexpansive mappings and lipschitz-continuous monotone mappings, SIAM Journal on Optimization 16 (4) (2006) 1230–1241] but our aim here is to provide the links between these known algorithms and the general framework of -class algorithms studied in [H.H. Bauschke, P.L. Combettes, A weak-to-strong convergence principle for fejér-monotone methods in hilbert spaces, Mathematics of Operations Research 26 (2) (2001) 248–264].     

Weak Uniform Normal Structure and Fixed Points of Asymptotically Regular Semigroups

Let X be a Banach space with a weak uniform normal structure and C a non–empty convexweakly compact subset of X. Under some suitable restriction, we prove that every asymptoticallyregular semigroup T = {T(t) : t ∈¸ S} of selfmappings on C satisfying

${\mathop {\lim \inf }\limits_{S \mathrel\backepsilon t \to \infty } }{\left| {{\left\| {T(t)} \right\|}} \right|} < {\text{WCS}}(X)$

has a common fixed point, where WCS(X) is the weakly convergent sequence coefficient of X, and\({\left| {{\left\| {T(t)} \right\|}} \right|}\) is the exact Lipschitz constant of T(t).     

On <Emphasis Type="BoldItalic">S</Emphasis>-strong Mori modules

Let A be an integral domain, \(S\subseteq A\) be a multiplicative set and M a w-module as an A-module. In this paper we investigate S-SM-modules. We give an S-version of the result of Wang and McCasland (Commun Algebra 25:1285–1306, 1997) in the case where S is countable. We prove that M is an S-SM-module if and only if every increasing sequence of w-submodules of M is S-stationary if and only if every increasing sequence of S-w-finite w-submodules of M is S-stationary if and only if every increasing sequence of w-finite type submodules of M is S-stationary.