Strong convergence theorems for finitely many nonexpansive mappings and applications

Let E$E$ be a uniformly convex Banach space which satisfies Opial’s condition or whose norm is Fréchet differentiable. Recently, Takahashi and Shimoji [W. Takahashi, K. Shimoji, Convergence theorems for nonexpansive mappings and feasibility problems, Math. Comput. Modelling 32 (2000) 1463–1471] introduced an iterative scheme given by finitely many nonexpansive mappings in E$E$ and proved weak convergence theorems which are connected with the problem of image recovery. In this paper we introduce a new iterative scheme which includes their iterative scheme as a special case. 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, we prove strong convergence theorems which are connected with the problem of image recovery. Using the established results, we consider the problem of finding a common fixed point of finitely many nonexpansive mappings.     

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.     

Fixed point theorem for generalized Φ -pseudocontractive mappings

Let E$E$ be a real Banach space, C$C$ be a nonempty closed convex subset of E$E$ and T:C→C$T:C\to C$ be a continuous generalized Φ$\Phi$-pseudocontractive mapping. It is proved that T$T$ has a unique fixed point in C$C$.     

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.     

On probabilistic results for the discrepancy of a hybrid-Monte Carlo sequence

In many applications it has been observed that hybrid-Monte Carlo sequences perform better than Monte Carlo and quasi-Monte Carlo sequences, especially in difficult problems. For a mixed s$s$-dimensional sequence m$m$, whose elements are vectors obtained by concatenating d$d$-dimensional vectors from a low-discrepancy sequence q$q$ with (s−d)$(s-d)$-dimensional random vectors, probabilistic upper bounds for its star discrepancy have been provided. In a paper of G. Ökten, B. Tuffin and V. Burago [G. Ökten, B. Tuffin, V. Burago, J. Complexity 22 (2006), 435–458] it was shown that for arbitrary ε>0$\epsilon >0$ the difference of the star discrepancies of the first N$N$ points of m$m$ and q$q$ is bounded by ε$\epsilon$ with probability at least 1−2exp(−ε²N/2)$1-2exp(-{\epsilon }^{2}N/2)$ for N$N$ sufficiently large. The authors did not study how large N$N$ actually has to be and if and how this actually depends on the parameters s$s$ and ε$\epsilon$. In this note we derive a lower bound for N$N$, which significantly depends on s$s$ and ε$\epsilon$. Furthermore, we provide a probabilistic bound for the difference of the star discrepancies of the first N$N$ points of m$m$ and q$q$, which holds without any restrictions on N$N$. In this sense it improves on the bound of Ökten, Tuffin and Burago and is more helpful in practice, especially for small sample sizes N$N$. We compare this bound to other known bounds.     

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.     

Fixed point theorems for Reich type contractions on metric spaces with a graph

Let (X,d)$(X,d)$ be a metric space endowed with a graph G$G$ such that the set V(G)$V\left(G\right)$ of vertices of G$G$ coincides with X$X$. We define the notion of G$G$-Reich type maps and obtain a fixed point theorem for such mappings. This extends and subsumes many recent results which were obtained for other contractive type mappings on ordered metric spaces and for cyclic operators.     

Cone monotone mappings: Continuity and differentiability

We generalize some results of Borwein, Burke, Lewis, and Wang to mappings with values in metric (resp. ordered normed linear) spaces, and we define two classes of monotone mappings between an ordered linear space and a metric space (resp. ordered linear space): K$K$-monotone dominated and cone-to-cone monotone mappings. K$K$-monotone dominated mappings naturally generalize mappings with finite variation (in the classical sense) and K$K$-monotone functions defined by Borwein, Burke and Lewis to mappings with domains and ranges of higher dimensions. First, using results of Veselý and Zají?ek, we show some relationships between these classes. Then, we show that every K$K$-monotone function f:X→R$f:X\to \mathbb{R}$, where X$X$ is any Banach space, is continuous outside of a set which can be covered by countably many Lipschitz hypersurfaces. This sharpens a result due to Borwein and Wang. As a consequence, we obtain a similar result for K$K$-monotone dominated and cone-to-cone monotone mappings. Finally, we prove several results concerning almost everywhere differentiability (also in metric and w^∗$w^{\ast }$-senses) of these mappings.     

An extension of Draghicescu’s fast tree-code algorithm to the vortex method on a sphere

A fast and accurate algorithm to compute interactions between N$N$ point vortices and between N$N$ vortex blobs on a sphere is proposed. It is an extension of the fast tree-code algorithm developed by Draghicescu for the vortex method in the plane. When we choose numerical parameters in the fast algorithm suitably, the computational cost of O(N²)$O\left(N^2\right)$ is reduced to O(N(logN)⁴)$O\left(N{(logN)}^4\right)$ and the approximation error decreases like O(1/N)$O(1/N)$ when N→∞$N\to \infty$, as demonstrated in the present article. We also apply the fast method to long-time evolution of two vortex sheets on the sphere to see the efficiency. A key point is to describe the equation of motion for the N$N$ points in the three-dimensional Cartesian coordinates.     

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.     

Landau’s theorem for polyharmonic mappings

In this paper, we first investigate coefficient estimates for bounded polyharmonic mappings in the unit disk D$\mathbb{D}$. Then, we obtain two versions of Landau’s theorem for polyharmonic mappings F$F$, and for the mappings of the type L(F)$L\left(F\right)$, where L$L$ is the differential operator of Abdulhadi, Abu Muhanna and Khuri. Examples and numerical estimates are given.     

Description of extended eigenvalues and extended eigenvectors of integration operators on the Wiener algebra

In the present paper we consider the Volterra integration operator V   on the Wiener algebra W(D)$W(\mathbb{D})$ of analytic functions on the unit disc D$\mathbb{D}$ of the complex plane C$\mathbb{C}$. A complex number λ$\lambda$ is called an extended eigenvalue of V if there exists a nonzero operator A   satisfying the equation AV=λVA$\mathit{AV}=\lambda \mathit{VA}$. We prove that the set of all extended eigenvalues of V   is precisely the set C?{0}$\mathbb{C}?\{0\}$, and describe in terms of Duhamel operators and composition operators the set of corresponding extended eigenvectors of V$V$. The similar result for some weighted shift operator on _?p${?}_p$ spaces is also obtained.     

Modules satisfying the weak Nakayama property

Let R$R$ be a commutative ring with identity. We will say that an R$R$-module M$M$ satisfies the weak Nakayama property, if IM=M$IM=M$, where I$I$ is an ideal of R$R$, implies that for any x∈M$x\in M$ there exists a∈I$a\in I$ such that (a−1)x=0$(a-1)x=0$. In this paper, we will study modules satisfying the weak Nakayama property. It is proved that if R$R$ is a local ring, then R$R$ is a Max ring if and only if J(R)$J\left(R\right)$, the Jacobson radical of R$R$, is T$T$-nilpotent if and only if every R$R$-module satisfies the weak Nakayama property.     

[1, 2]-sets in graphs

A subset S⊆V$S\subseteq V$ in a graph G=(V,E)$G=(V,E)$ is a [j,k]$[j,k]$-set if, for every vertex v∈V?S$v\in V?S$, j≤|N(v)∩S|≤k$j\le |N\left(v\right)\cap S|\le k$ for non-negative integers j$j$ and k$k$, that is, every vertex v∈V?S$v\in V?S$ is adjacent to at least j$j$ but not more than k$k$ vertices in S$S$. In this paper, we focus on small j$j$ and k$k$, and relate the concept of [j,k]$[j,k]$-sets to a host of other concepts in domination theory, including perfect domination, efficient domination, nearly perfect sets, 2-packings, and k$k$-dependent sets. We also determine bounds on the cardinality of minimum [1, 2]-sets, and investigate extremal graphs achieving these bounds. This study has implications for restrained domination as well. Using a result for [1, 3]-sets, we show that, for any grid graph G$G$, the restrained domination number is equal to the domination number of G$G$.     

A note on Schweizer–Smital chaos

In this paper, we consider a continuous map f:X→X$f:X\to X$, where X$X$ is a compact metric space, and prove that for any positive integer N$N$, f$f$ is Schweizer–Smital chaotic if and only if f^N$f^N$ is too.     

Asymptotic average shadowing property on compact metric spaces

We prove that if for a continuous map f$f$ on a compact metric space X$X$, the chain recurrent set, R(f)$R\left(f\right)$ has more than one chain component, then f$f$ does not satisfy the asymptotic average shadowing property. We also show that if a continuous map f$f$ on a compact metric space X$X$ has the asymptotic average shadowing property and if A$A$ is an attractor for f$f$, then A$A$ is the single attractor for f$f$ and we have A=R(f)$A=R\left(f\right)$. We also study diffeomorphisms with asymptotic average shadowing property and prove that if M$M$ is a compact manifold which is not finite with dimM=2$dimM=2$, then the C¹$C^1$ interior of the set of all C¹$C^1$ diffeomorphisms with the asymptotic average shadowing property is characterized by the set of Ω$\Omega$-stable diffeomorphisms.     

On the complexity of the bondage and reinforcement problems

Let G=(V,E)$G=(V,E)$ be a graph. A subset D⊆V$D\subseteq V$ is a dominating set if every vertex not in D$D$ is adjacent to a vertex in D$D$. A dominating set D$D$ is called a total dominating set if every vertex in D$D$ is adjacent to a vertex in D$D$. The domination (resp. total domination) number of G$G$ is the smallest cardinality of a dominating (resp. total dominating) set of G$G$. The bondage (resp. total bondage) number of a nonempty graph G$G$ is the smallest number of edges whose removal from G$G$ results in a graph with larger domination (resp. total domination) number of G$G$. The reinforcement (resp. total reinforcement) number of G$G$ is the smallest number of edges whose addition to G$G$ results in a graph with smaller domination (resp. total domination) number. This paper shows that the decision problems for the bondage, total bondage, reinforcement and total reinforcement numbers are all NP-hard.     

Disjoint cycles with different length in 4-arc-dominated digraphs

A d$d$-arc-dominated digraph is a digraph D$D$ of minimum out-degree d$d$ such that for every arc (x,y)$(x,y)$ of D$D$, there exists a vertex u$u$ of D$D$ of out-degree d$d$ such that (u,x)$(u,x)$ and (u,y)$(u,y)$ are arcs of D$D$. Henning and Yeo [Vertex disjoint cycles of different length in digraphs, SIAM J. Discrete Math. 26 (2012) 687–694] conjectured that a digraph with minimum out-degree at least four contains two vertex-disjoint cycles of different length. In this paper, we verify this conjecture for 4-arc-dominated digraphs.     

Partial rigidity of degenerate CR embeddings into spheres

In this paper, we study degenerate CR embeddings f$f$ of a strictly pseudoconvex hypersurface M⊂Cⁿ⁺¹$M\subset {\mathbb{C}}^{n+1}$ into a sphere S$\mathbb{S}$ in a higher dimensional complex space C^N+1${\mathbb{C}}^{N+1}$. The degeneracy of the mapping f$f$ will be characterized in terms of the ranks of the CR second fundamental form and its covariant derivatives. In 2004, the author, together with X. Huang and D. Zaitsev, established a rigidity result for CR embeddings f$f$ into spheres in low codimensions. A key step in the proof of this result was to show that degenerate mappings are necessarily contained in a complex plane section of the target sphere (partial rigidity). In the 2004 paper, it was shown that if the total rank d$d$ of the second fundamental form and all of its covariant derivatives is <n$<n$ (here, n$n$ is the CR dimension of M$M$), then f(M)$f\left(M\right)$ is contained in a complex plane of dimension n+d+1$n+d+1$. The converse of this statement is also true, as is easy to see. When the total rank d$d$ exceeds n$n$, it is no longer true, in general, that f(M)$f\left(M\right)$ is contained in a complex plane of dimension n+d+1$n+d+1$, as can be seen by examples. In this paper, we carry out a systematic study of degenerate CR mappings into spheres. We show that when the ranks of the second fundamental form and its covariant derivatives exceed the CR dimension n$n$, then partial rigidity may still persist, but there is a “defect” k$k$ that arises from the ranks exceeding n$n$ such that f(M)$f\left(M\right)$ is only contained in a complex plane of dimension n+d+k+1$n+d+k+1$. Moreover, this defect occurs in general, as is illustrated by examples.