About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 639030, 4 pages
http://dx.doi.org/10.1155/2013/639030
Research Article

Generalizations of Fixed-Point Theorems of Altman and Rothe Types

1School of Mechanics and Civil Engineering, China University of Mining & Technology, Xuzhou, Jiangsu 221008, China
2School of Mathematics and Statistics, Jiangsu Normal University, Xuzhou, Jiangsu 221116, China

Received 19 June 2013; Revised 9 September 2013; Accepted 27 September 2013

Academic Editor: Lishan Liu

Copyright © 2013 Li Sun 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.

Abstract

It is intended to present some extensions of the famous Altman and Rothe types fixed-point theorems. The inequality conditions are relaxed to the -positive-homogeneous operator. Some new fixed-point theorems are obtained with the help of the theory of topological degree.

1. Introduction

The topological degree theory and fixed-point theorems play an important role in the study of fixed points for various classes of nonlinear operators in Banach spaces. Many important results in mathematics are obtained by the use of these theories (see [112]). For example, Altman theorem is an important result from the theoretical as well as the applied point of view and is one of the core issues of mathematics. This fixed-point theorem has plenty of extensions and generalizations in the framework of nonlinear functional analysis and finds a wide application. In recent years, some researchers have focused on the inequality condition in Altman theorem and gained a lot of different generalized forms (see [26]). In this paper, we continue to study Altman theorem and relax the condition of square function to -positive-homogeneous operator. It is well known that -positive-homogeneous operator is a class of important nonlinear operators. Linear operator is an -positive-homogeneous operator when . Our main aim is to present and prove a collection of new fixed-point theorems for -positive-homogeneous operator. Many existing results in the references are extended. On the other hand, it is well known that semiclosed 1-set-contraction mapping is a significant operator and research object in nonlinear functional analysis (see [35, 7, 8]). Clearly, this class of 1-set-contractive operators includes strict set-contractive operators, condensing operators, semicontractive operators, completely continuous operators, and some others. The fixed-point theory of 1-set-contractive operators plays an important role in the study of the existence of the solution of some operator equations. Inspite of this, completely continuous operators still have a pivotal position in modern nonlinear functional analysis. They have a widely and profoundly applicative prospect. Therefore, in this paper, we mainly investigate the fixed-point theorems about completely continuous operators and get some new results. Our conclusions are different from the ones in many recent works and extend some commonly known theorems. As far as we know, the cases in our paper have scarcely been seen in the available reference materials.

This paper contains three sections besides the introductory one. In Section 2, we give some basic concepts and some preparatory theorems. The main results will be presented and proved in Section 3. Then, we will list some existing results in the reference as our corollaries and this is the content of Section 4.

2. Preliminaries

In this section, we review some basic concepts and results which will be used later. For convenience, throughout all the paper, we let be two real Bananch spaces and let be a bounded open subset of and .

Definition 1 (-positive-homogeneous operator). Given , the mapping is called an -positive-homogeneous operator if for any , , the equation always holds.

Definition 2 (cone). If is a subset of Banach space and satisfies the following three conditions:(i)is a closed and convex set;(ii); (iii),
then is called a cone in . Furthermore, if , then defines a semiorder, denoted by .

Lemma 3 (see [9], Leray-Schauder). Suppose that is a completely continuous operator. If then , and hence has at least one fixed point in .

Lemma 4 (see [3, 5], Leray-Schauder). Suppose that is a semiclosed 1-set-contractive operator; that is, is 1-set contraction and is closed. If then , and hence has at least one fixed point in .

In Lemmas 3 and 4, the same condition that ia called (L-S) condition.

Theorem 5 (see [9]). Suppose that is a completely continuous operator. If one of the following condition is satisfied:(i)(Altman) , for all ,(ii)(Rothe) , for all ,(iii)(Petryshyn) , for all ,
then , and hence has at least one fixed point in .

Theorem 6 (see [5]). Suppose that is a semi-closed 1-set-contractive operator. If one of the following conditions is satisfied:(i)(Altman) , for all ,(ii)(Rothe) , for all ,(iii)(Petryshyn) , for all ,
then , and hence has at least one fixed point in .

3. Main Results

Now, we present and prove our main results.

Theorem 7. Suppose that is a completely continuous operator. Let be a cone of and let the operator be -positive-homogeneous such that for . If and satisfies the following condition: then has at least one fixed point in .

Proof. If the operator has a fixed point on , then has at least one fixed point in . Now, suppose that has no fixed points on . It suffices to prove that (5) implies the condition (L-S). Suppose the contrary, then there exist and such that ; it is easy to see that .
Now, consider the function defined by Since by formal differentiation, is strictly decreasing in , and so , for all ; that is, , for all . Then, we can get from (5) that is, . Thus . Noticing and , one can has that this contradicts the condition (iii) in Definition 2, and so the condition (L-S) is satisfied. Therefore, it follows from Lemma 3 that the conclusion of Theorem 7 holds.

Remark 8. Obviously, we only need to take in Theorem 7 and we can get the famous fixed-point theorem of Altman in Theorem 5 (i). Consequently, Theorem 7 generalizes the classical Altman theorem.

Theorem 9. Suppose that is a completely continuous operator. Let be a cone of and let the operator be -positive-homogeneous such that for . If and satisfies the following condition: then has at least one fixed point in .

Proof. We will also prove that (L-S) is satisfied under the condition (8). Suppose this is not true. Then there exist and such that . It is easy to see that . Then we can get from (8) that is, , thus . This contradicts the condition (iii) in Definition 2 on account of , and so the condition (L-S) is satisfied. Therefore, it follows from Lemma 3 that the conclusion of Theorem 9 holds.

Remark 10. Taking in Theorem 9, we can obtain the Rothe theorem in Theorem 5 (ii) immediately.

Theorem 11. Suppose that is a completely continuous operator. Let be a cone of and let be an -positive-homogeneous operator such that for . If and satisfies the following condition: then has at least one fixed point in .

Proof. Similarly, we will also prove that (L-S) is satisfied. Suppose the contrary, then there exist and such that . Obviously, . Then we can get from (10) thus and . It also contradicts the condition (iii) in Definition 2 for , and so the condition (L-S) is satisfied. Therefore, it follows from Lemma 3 that the conclusion of Theorem 11 holds.

Remark 12. (i) Theorem 11 is a generalization of the Petryshyn theorem.
(ii) In fact, Theorems 9 and 11 are actually the direct consequences because (8) and (10) immediately imply (5) due to .

Theorem 13. Suppose that is a completely continuous operator. Let be a cone of and let the operator be -positive-homogeneous operator such that for . If and satisfies the following condition: then has at least one fixed point in .

Proof. Suppose that (L-S) is not satisfied under the condition of (12). Then there exist and such that . It is easy to see that . Now, we consider the function defined by For , for all . So is a strictly decreasing function in , and then , for all , or , for all . Consequently, we can get from (12) then , which contradicts the condition (iii) in Definition 2. Hence, the condition (L-S) is satisfied and the conclusion of Theorem 13 holds.

In the same way, if , then some new fixed-point theorems can be obtained by taking the inverse direction in the inequalities in conditions (5), (8), (10), and (12).

Theorem 14. Suppose that is a completely continuous operator. Let be a cone of , and let the operator be -positive-homogeneous operator such that for . If and satisfies one of the following conditions:(i), for all ,(ii), for all ,(iii), for all ,(iv), for all ,
then has at least one fixed point in .

Similarly, we can apply the above definitions and Lemma 4 to derive the following fixed point theorems.

Theorem 15. Suppose that is a semiclosed 1-set-contractive operator. Let be a cone of , and let the operator be -positive-homogeneous such that for . If and satisfies one of the following conditions:(i), for all ,(ii), for all ,(iii), for all ,(iv), for all ,
then has at least one fixed point in .

Theorem 16. Suppose that is a semiclosed 1-set-contractive operator. Let be a cone of , and let the operator be -positive-homogeneous operator such that for . If and satisfies one of the following conditions:(i), for all ,(ii), for all ,(iii), for all ,(iv), for all ,
then has at least one fixed point in .

Remark 17. Because completely continuous operators belong to the class of semiclosed 1-set-contractive operators, Theorems 15 and 16 are more general than Theorems 714.

4. Some Corollaries

Now we will list some existing results in the references.

Corollary 18 (see [4]). Suppose that is a semiclosed 1-set-contractive operator. If there exists such that then , and so has at least one fixed point in .

In fact, if we take the operator in Theorem 15 (i), the Corollary 18 can be obtained immediately. So it is the special case of our main results and also the following corollaries are similar.

Corollary 19 (see [5]). Suppose that is a semiclosed 1-set-contractive operator. If   such that then , and so has at least one fixed point in .

Corollary 20 (see [4]). Suppose that is a semiclosed 1-set-contractive operator. If such that then , and so has at least one fixed point in .

Corollary 21 (see [4]). Suppose that is a semiclosed 1-set-contractive operator. If there exists such that then , and so has at least one fixed point in .

Acknowledgments

The authors would like to thank the referees for the thorough reading and excellent comments which led to the improvement of the original paper. This work was supported by the Special Funds of the National Natural Science Foundation of China (Grant no. 51227003), the National Nature Science Foundation of China (Grant nos. 10971179, 11026203), the Nature Science Foundation of Jiangsu Province (Grant no. BK2011202), and the Priority Academic Program Development (PAPD) of Jiangsu Higher Education Institutions.

References

  1. M. Altman, “A fixed point theorem in Banach space,” Polish Academy of Sciences, vol. 5, pp. 89–92, 1957. View at Zentralblatt MATH · View at MathSciNet
  2. G. Zhang, T. Zhang, and T. Zhang, “Fixed point theorems of Rothe and Altman types about convex-power condensing operator and application,” Applied Mathematics and Computation, vol. 214, no. 2, pp. 618–623, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  3. G. Li, “The fixed-point index and the fixed-point theorems of k-set-contraction mappings,” Proceedings of the American Mathematical Society, vol. 104, no. 4, pp. 1163–1170, 1988. View at Publisher · View at Google Scholar · View at MathSciNet
  4. G.-Z. Li, S.-Y. Xu, and H.-G. Duan, “Fixed point theorems of 1-set-contractive operators in Banach spaces,” Applied Mathematics Letters, vol. 19, no. 5, pp. 403–412, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. S. Xu, “New fixed point theorems for 1-set-contractive operators in Banach spaces,” Nonlinear Analysis. Theory, Methods & Applications, vol. 67, no. 3, pp. 938–944, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  6. J. X. Sun and X. Y. Zhang, “A fixed point theorem for convex-power condensing operators and its applications to abstract semilinear evolution equations,” Acta Mathematica Sinica. Chinese Series, vol. 48, no. 3, pp. 439–446, 2005. View at MathSciNet
  7. R. D. Nussbaum, “Degree theory for local condensing maps,” Journal of Mathematical Analysis and Applications, vol. 37, pp. 741–766, 1972. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  8. R. D. Nussbaum, “The fixed point index and asymptotic fixed point theorems for k-set-contractions,” Bulletin of the American Mathematical Society, vol. 75, pp. 490–495, 1969. View at Publisher · View at Google Scholar · View at MathSciNet
  9. J. X. Sun, Nonlinear Functional Analysis and Its Application, Science Press, Beijing, China, 2007, Chinese.
  10. H. Amann, “Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces,” SIAM Review, vol. 18, no. 4, pp. 620–709, 1976. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  11. D. J. Guo and J. X. Sun, “The calculation of topological degree and its applications,” Journal of Mathematical Research and Exposition, vol. 8, no. 3, pp. 469–480, 1988. View at MathSciNet
  12. W. V. Petryshyn, “Remarks on condensing and k-set-contractive mappings,” Journal of Mathematical Analysis and Applications, vol. 39, pp. 717–741, 1972. View at Publisher · View at Google Scholar · View at MathSciNet