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.