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 [1–12]). 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 [2–6]). 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 α=1. 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 [3–5, 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 E,F be two real Bananch spaces and let Ω be a bounded open subset of E and θ∈Ω.
Definition 1 (α-positive-homogeneous operator).
Given α∈ℝ, the mapping B:E→F is called an α-positive-homogeneous operator if for any x∈E, t⩾0, the equation
(1)B(tx)=tαBx
always holds.
Definition 2 (cone).
If P is a subset of Banach space F and satisfies the following three conditions:
Pis a closed and convex set;
x∈P,α⩾θ⇒αx∈P;
x∈P,x≠θ⇒-x∉P,
then P is called a cone in F. Furthermore, if x,y∈F, then y-x∈P defines a semiorder, denoted by x⩽y.
Lemma 3 (see [9], Leray-Schauder).
Suppose that A:Ω¯→E is a completely continuous operator. If
(2)Ax≠μx,∀x∈∂Ω,μ⩾1,
then deg(I-A,Ω,θ)=1, and hence A has at least one fixed point in Ω¯.
Lemma 4 (see [3, 5], Leray-Schauder).
Suppose that A:Ω¯→E is a semiclosed 1-set-contractive operator; that is, A is 1-set contraction and I-A is closed. If
(3)Ax≠μx,∀x∈∂Ω,μ⩾1,
then deg(I-A,Ω,θ)=1, and hence A has at least one fixed point in Ω¯.
In Lemmas 3 and 4, the same condition that
(4)Ax≠μx,∀x∈∂Ω,μ⩾1
ia called (L-S) condition.
Theorem 5 (see [9]).
Suppose that A:Ω¯→E is a completely continuous operator. If one of the following condition is satisfied:
(Altman) ∥Ax-x∥2⩾∥Ax∥2-∥x∥2, for all x∈∂Ω,
(Rothe) ∥Ax∥⩽∥x∥, for all x∈∂Ω,
(Petryshyn) ∥Ax∥⩽∥Ax-x∥, for all x∈∂Ω,
then deg(I-A,Ω,θ)=1, and hence A has at least one fixed point in Ω¯.
Theorem 6 (see [5]).
Suppose that A:Ω¯→E is a semi-closed 1-set-contractive operator. If one of the following conditions is satisfied:
(Altman) ∥Ax-x∥2⩾∥Ax∥2-∥x∥2, for all x∈∂Ω,
(Rothe) ∥Ax∥⩽∥x∥, for all x∈∂Ω,
(Petryshyn) ∥Ax∥⩽∥Ax-x∥, for all x∈∂Ω,
then deg(I-A,Ω,θ)=1, and hence A has at least one fixed point in Ω¯.
3. Main Results
Now, we present and prove our main results.
Theorem 7.
Suppose that A:Ω¯→E is a completely continuous operator. Let P be a cone of F and let the operator B:E→P be α-positive-homogeneous such that Bx>θ for x≠θ. If α>1 and B satisfies the following condition:
(5)B(Ax-x)⩾BAx-Bx,∀x∈∂Ω,
then A has at least one fixed point in Ω¯.
Proof.
If the operator A has a fixed point on ∂Ω, then A has at least one fixed point in Ω¯. Now, suppose that A has no fixed points on ∂Ω. It suffices to prove that (5) implies the condition (L-S). Suppose the contrary, then there exist x1∈∂Ω and μ1⩾1 such that Ax1=μ1x1; it is easy to see that μ1>1.
Now, consider the function defined by
(6)f(t)=(t-1)α-tα+1,∀t⩾1,α>1.
Since f′(t)=α(t-1)α-1-αtα-1<0 by formal differentiation, f(t) is strictly decreasing in [1,+∞), and so f(t)<f(1)=0, for all t>1; that is, (t-1)α<tα-1, for all t>1,α>1. Then, we can get from (5)
(7)B(Ax1-x1)=B(μ1x1-x1)=(μ1-1)αBx1⩾BAx1-Bx1=B(μ1x1)-Bx1=μ1αBx1-Bx1=(μ1α-1)Bx1;
that is, (μ1-1)αBx1⩾(μ1α-1)Bx1. Thus [(μ1-1)α-(μ1α-1)]Bx1≐α1Bx1∈P. Noticing α1<0 and Bx1≠θ, 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 B=∥·∥2 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 A:Ω¯→E is a completely continuous operator. Let P be a cone of F and let the operator B:E→P be α-positive-homogeneous such that Bx>θ for x≠θ. If α>1 and B satisfies the following condition:
(8)BAx⩽Bx,∀x∈∂Ω,
then A 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 x2∈∂Ω and μ2⩾1 such that Ax2=μ2x2. It is easy to see that μ2>1. Then we can get from (8)
(9)B(Ax2)=B(μ2x2)=μ2αBx2⩽Bx2;
that is, Bx2⩾μ2αBx2, thus (1-μ2α)Bx2≐α2Bx2∈P. This contradicts the condition (iii) in Definition 2 on account of α2<0,Bx2≠θ, and so the condition (L-S) is satisfied. Therefore, it follows from Lemma 3 that the conclusion of Theorem 9 holds.
Remark 10.
Taking B=∥·∥2 in Theorem 9, we can obtain the Rothe theorem in Theorem 5 (ii) immediately.
Theorem 11.
Suppose that A:Ω¯→E is a completely continuous operator. Let P be a cone of F and let B:E→P be an α-positive-homogeneous operator such that Bx>θ for x≠θ. If α>1 and B satisfies the following condition:
(10)BAx⩽B(Ax-x),∀x∈∂Ω,
then A has at least one fixed point in Ω¯.
Proof.
Similarly, we will also prove that (L-S) is satisfied. Suppose the contrary, then there exist x3∈∂Ω and μ3⩾1 such that Ax3=μ3x3. Obviously, μ3>1. Then we can get from (10)
(11)B(Ax3)=B(μ3x3)=μ3αBx3⩽B(Ax3-x3)=B(μ3x3-x3)=(μ3-1)αBx3,
thus (μ3-1)αBx3⩾μ3αBx3 and [(μ3-1)α-μ3α]Bx3≐α3Bx3∈P. It also contradicts the condition (iii) in Definition 2 for α3<0,Bx3≠θ, 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 B:E→P.
Theorem 13.
Suppose that A:Ω¯→E is a completely continuous operator. Let P be a cone of F and let the operator B:E→P be α-positive-homogeneous operator such that Bx>θ for x≠θ. If α>1 and B satisfies the following condition:
(12)B(Ax+x)⩽BAx+Bx,∀x∈∂Ω,
then A has at least one fixed point in Ω¯.
Proof.
Suppose that (L-S) is not satisfied under the condition of (12). Then there exist x4∈∂Ω and μ4⩾1 such that Ax4=μ4x4. It is easy to see that μ4>1. Now, we consider the function defined by
(13)f(t)=tα+1-(t+1)α,∀t⩾1,α>1.
For f′(t)=αtα-1-α(t+1)α-1<0, for all t>1,α>1. So f(t) is a strictly decreasing function in [1,+∞), and then f(t)<f(1)=0, for all t>1, or tα+1<(t+1)α, for all t>1,α>1. Consequently, we can get from (12)
(14)B(Ax4+x4)=B(μ4x4+x4)=(μ4+1)αBx4⩽BAx4+Bx4=B(μ4x4)+Bx4=μ4αBx4+Bx4=(μ4α+1)Bx4,
then [(μ4α+1)-(μ4+1)α]Bx4≐α4Bx4∈P, 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 0<α<1, 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 A:Ω¯→E is a completely continuous operator. Let P be a cone of F, and let the operator B:E→P be α-positive-homogeneous operator such that Bx>θ for x≠θ. If 0<α<1 and B satisfies one of the following conditions:
B(Ax-x)⩽BAx-Bx, for all x∈∂Ω,
BAx⩾Bx, for all x∈∂Ω,
BAx⩾B(Ax-x), for all x∈∂Ω,
B(Ax+x)⩾BAx+Bx, for all x∈∂Ω,
then A 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 A:Ω¯→E is a semiclosed 1-set-contractive operator. Let P be a cone of F, and let the operator B:E→P be α-positive-homogeneous such that Bx>θ for x≠θ. If α>1 and B satisfies one of the following conditions:
B(Ax-x)⩾BAx-Bx, for all x∈∂Ω,
BAx⩽Bx, for all x∈∂Ω,
BAx⩽B(Ax-x), for all x∈∂Ω,
B(Ax+x)⩽BAx+Bx, for all x∈∂Ω,
then A has at least one fixed point in Ω¯.
Theorem 16.
Suppose that A:Ω¯→E is a semiclosed 1-set-contractive operator. Let P be a cone of F, and let the operator B:E→P be α-positive-homogeneous operator such that Bx>θ for x≠θ. If 0<α<1 and B satisfies one of the following conditions:
B(Ax-x)⩽BAx-Bx, for all x∈∂Ω,
BAx⩾Bx, for all x∈∂Ω,
BAx⩾B(Ax-x), for all x∈∂Ω,
B(Ax+x)⩾BAx+Bx, for all x∈∂Ω,
then A 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 7–14.
4. Some Corollaries
Now we will list some existing results in the references.
Corollary 18 (see [4]).
Suppose that A:Ω¯→E is a semiclosed 1-set-contractive operator. If there exists α>1 such that
(15)∥Ax-x∥α⩾∥Ax∥α-∥x∥α,∀x∈∂Ω,
then deg(I-A,Ω,θ)=1, and so A has at least one fixed point in Ω¯.
In fact, if we take the operator B=∥·∥α 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 A:Ω¯→E is a semiclosed 1-set-contractive operator. If 0<α<1 such that
(16)∥Ax-x∥α⩽∥Ax∥α-∥x∥α,∀x∈∂Ω,
then deg(I-A,Ω,θ)=1, and so A has at least one fixed point in Ω¯.
Corollary 20 (see [4]).
Suppose that A:Ω¯→E is a semiclosed 1-set-contractive operator. If α>1 such that
(17)∥Ax+x∥α⩽∥Ax∥α+∥x∥α,∀x∈∂Ω,
then deg(I-A,Ω,θ)=1, and so A has at least one fixed point in Ω¯.
Corollary 21 (see [4]).
Suppose that A:Ω¯→E is a semiclosed 1-set-contractive operator. If there exists 0<α<1 such that
(18)∥Ax+x∥α⩾∥Ax∥α+∥x∥α,∀x∈∂Ω,
then deg(I-A,Ω,θ)=1, and so A 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.
AltmanM.A fixed point theorem in Banach space195758992MR0087063ZBL0078.11703ZhangG.ZhangT.ZhangT.Fixed point theorems of Rothe and Altman types about convex-power condensing operator and application2009214261862310.1016/j.amc.2009.04.033MR2541698ZBL1183.47054LiG.The fixed-point index and the fixed-point theorems of k-set-contraction mappings198810441163117010.2307/2047608MR969052LiG.-Z.XuS.-Y.DuanH.-G.Fixed point theorems of 1-set-contractive operators in Banach spaces200619540341210.1016/j.aml.2005.02.035MR2213141ZBL1113.47045XuS.New fixed point theorems for 1-set-contractive operators in Banach spaces200767393894410.1016/j.na.2006.06.051MR2320880ZBL1124.47038SunJ. X.ZhangX. Y.A fixed point theorem for convex-power condensing operators and its applications to abstract semilinear evolution equations2005483439446MR2160721NussbaumR. D.Degree theory for local condensing maps197237741766MR030698610.1016/0022-247X(72)90253-3ZBL0232.47062NussbaumR. D.The fixed point index and asymptotic fixed point theorems for k-set-contractions196975490495MR024628510.1090/S0002-9904-1969-12213-5SunJ. X.2007Beijing, ChinaScience PressChineseAmannH.Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces1976184620709MR041543210.1137/1018114ZBL0345.47044GuoD. J.SunJ. X.The calculation of topological degree and its applications198883469480MR959835PetryshynW. V.Remarks on condensing and k-set-contractive mappings197239717741MR032868710.1016/0022-247X(72)90194-1