- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2014 (2014), Article ID 806537, 12 pages
Some Convergence and Stability Results for the Kirk Multistep and Kirk-SP Fixed Point Iterative Algorithms
1Department of Mathematics, Yildiz Technical University, Davutpasa Campus, Esenler, 34220 Istanbul, Turkey
2Department of Mathematical Engineering, Yildiz Technical University, Davutpasa Campus, Esenler, 34210 Istanbul, Turkey
3Department of Mathematics, Indiana University, Bloomington, IN 47405-7106, USA
Received 1 July 2013; Accepted 10 November 2013; Published 3 February 2014
Academic Editor: Micah Osilike
Copyright © 2014 Faik Gürsoy et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
The purpose of this paper is to introduce a new Kirk type iterative algorithm called Kirk multistep iteration and to study its convergence. We also prove some theorems related to the stability results for the Kirk multistep and Kirk-SP iterative processes by employing certain contractive-like operators. Our results generalize and unify some other results in the literature.
1. Introduction and Preliminaries
This paper is organized as follows. Section 1 outlines some known contractive mappings and iterative schemes and collects some preliminaries that will be used in the proofs of our main results. We then propose a new Kirk type iterative process called Kirk multistep iteration. Section 2 presents a result dealing with the convergence of this new iterative procedure, which unifies and extends some other iterative schemes in the existing literature. Also we prove some theorems related to the stability of the Kirk multistep and Kirk-SP iterative processes by employing certain contractive-like operators.
Fixed point iterations are commonly used to solve nonlinear equations arising in physical systems. Such equations can be transformed into a fixed point equation which is solved by some iterative processes of form , , that converges to a fixed point of . This is a reason, among a number of reasons, why there is presently a great deal of interest in the introduction and development of various iterative algorithms. Consequently iteration schemes abound in the literature of fixed point theory, for which fixed points of operators have been approximated over the years by various authors, for example, [1–10].
As a background to our exposition, we describe some iteration schemes and contractive type mappings.
Throughout this paper denotes the nonnegative integers, including zero. Let , , , and , , , be real sequences in satisfying certain conditions.
Rhoades and Şoltuz  introduced a multistep iterative algorithm by
By taking and in (1) we obtain the well-known Noor  and Ishikawa  iterative schemes, respectively. SP iteration  and a new two-step iteration  processes are obtained by taking and in (2), respectively. Both in (1) and in (2), if we take with and with , (const.), then we get the iterative procedures introduced in [10, 12], which are commonly known as the Mann and Krasnoselskii iterations, respectively. The Krasnoselskii iteration reduces to the Picard iteration  for .
The Kirk-SP iterative scheme  is defined by where , , and are fixed integers with and , , are sequences in satisfying , , , , , .
Let be an arbitrary Banach space and a mapping.
We will introduce and employ the following iterative scheme, which is called a Kirk multistep iteration: where , for ; , are sequences in satisfying , , , for and , for are fixed integers with .
By taking , , and with in (4) we obtain the Kirk-Noor , the Kirk-Ishikawa  and the Kirk-Mann , iterative schemes, respectively. Also, (4) gives the usual Kirk iterative process  for , with and . If we put and , in (4), then we have the usual multistep iteration (1) with , , , , . The Noor iteration , the Ishikawa iteration , the Mann iteration , the Krasnoselskii iteration , and the Picard iteration  schemes are special cases of the multistep iterative scheme (1), as explained above. So, we conclude that these are special cases of the Kirk multistep iterative scheme (4).
A particular fixed point iteration generates a theoretical sequence . In applications, various errors (e.g., round-off or discretization of the function etc.) occur during computation of the sequence . Because of these errors we cannot obtain the theoretical sequence , but an approximate sequence instead. We will say that the iterative process is -stable or stable with respect to if and only if converges to a fixed point of , then converges to .
Definition 1. Let be a complete metric space and a self-map of . Suppose that is the set of fixed points of . Let be a sequence generated by an iterative process defined by where is the initial approximation and is some function. Let be an arbitrary sequence and set , . Then, the iterative process (5) is said to be -stable or stable with respect to if and only if .
In the last three decades, a large literature has developed dealing with the stability of various well-known iterative schemes for different classes of operators. Several authors who have made contributions to the study of stability of fixed point iterative procedures are Ostrowski , Harder , Harder and Hicks [19, 20], Rhoades [23, 24], Berinde [25, 26], Osilike [27, 28], Osilike and Udomene , Olatinwo [16, 30, 31], Chugh and Kumar , and several references contained therein.
A pioneering result on the stability of iterative procedures established in metric space for the Picard iteration is due to Ostrowski , which states that: Let be a complete metric space and a Banach contraction mapping, that is, where . Let be the fixed point of , , and , . Suppose that is a sequence in and . Then
Using Definition 1, Harder and Hicks [19, 20] proved some stability theorems for well-known Picard, Mann, and Kirk's iterations by employing several classes of contractive type operators. Rhoades [23, 24] extended the results of Harder and Hicks  by utilizing the following two different classes of contractive operators of Ciric's type, respectively: there exists a such that for each pair
Later Osilike  further generalized and extended some of the results in  by using a large class of contractive type operators satisfying the following condition, which is more general than those of Rhoades [23, 24] and Harder and Hicks : for some , , and for all .
By employing the contractive condition (9), Osilike and Udomene proved some stability results for the Picard, Ishikawa, and Kirk's iteration in  where a new and shorter method than those mentioned above was used. Using the same method of proof as in , Berinde  again established the stability results in Harder and Hicks .
In , Imoru and Olatinwo extended some of the stability results of [20, 23, 24, 26, 27, 29] by employing a much more general class of operators satisfying the following contractive condition: where and is a monotone increasing function with .
Continuing the abovementioned trend, Olatinwo  studied the stability of the Kirk-Mann and Kirk-Ishikawa iterative processes by utilizing contractive condition (10). The results of  are generalizations of some of the results of [20, 23, 24, 26, 27, 29, 33–35].
We end this section with some lemmas which will be useful in proving our main results.
Lemma 3 (see ). If is a real number such that , and is a sequence of nonnegative numbers such that , then, for any sequence of positive numbers satisfying one has .
Remark 5. Note that in the inequality (12).
2. Main Results
For simplicity we assume in the following three theorems that is a normed linear space, is a self-map of satisfying the contractive condition (10) with , and is a subadditive monotone increasing function such that and , , .
Theorem 6. Let be a sequence generated by the Kirk multistep iterative scheme (4). Suppose that has a fixed point . Then the iterative sequence converges strongly to .
Proof. The uniqueness of follows from (12). We will now prove that .
Using (4) and Lemma 4, we get
By combining (13), (14), (15), and (16) we obtain
Continuing the above process we have
Using again (4) and Lemma 4, we get
Substituting (19) into (18) we derive
Now we show that . Since , , , and for , we obtain
By an application of Lemma 3 to (20), .
Proof. Let , , for , be arbitrary sequences in . Let , , where , , , and let . We will prove that .
It follows from (4) and Lemma 4 that
Combining (23), (24), and (25) we have
By induction we get
Again using (4) and Lemma 4, we obtain
Substituting (28) into (27) we derive
We now show that . Since , , , and for , we have that is, . Therefore, an application of Lemma 4 to (29) yields .
Now suppose that . Then we will show that .
Using Lemma 4 we have
It follows from the relation (32), (33), and (34) that
Thus, by induction, we get
Utilizing (4) and Lemma 4, we obtain
Substituting (37) into (36) gives
Hence (38) becomes
Using same argument as that of first part of the proof we obtain .
It therefore follows from assumption that as .
Proof. Let , , , , and . Assume that . We will prove that .
It follows from (3) and Lemma 4 that
Combining (41), (42), and (43) we get
Thus we can rewrite (44) as follows:
We now show that . Since , , , and for ,
Therefore, an application of Lemma 3 to (46) yields .
Now suppose that . Then we will show that .
Using Lemma 4 we have