Some remarks on the fixed point theorem of Krasnoselskii (to appear

Using a particular locally convex space and Schaefer’s theorem, a generalization of Krasnoselskii’s xed point Theorem is proved. This result is further applied to certain nonlinear integral equation proving the existence of a solution on IR+ = [0; +1):

Theorem K. Let M be a closed convex non-empty subset of a Banach space (X, • ) .Suppose that A and B maps M into X, such that the following hypotheses are fulfilled: (i) Ax + By ∈ M , (∀) x, y ∈ M ; (ii) A is continuous and AM is contained in a compact set; (iii) B is a contraction with constant α < 1.
Then, there is a x ∈ M , with Ax + Bx = x. 2 The proof is based on the fact that from hypothesis (iii) it results that the mapping I − B : M → (I − B) M is a homeomorphism.Therefore, the proof is reduced to showing that the operator U := (I − B) −1 A admits fixed points.However, it is easily seen that the operator U satisfies the hypotheses of the Schauder's fixed point theorem.This is a captivating EJQTDE, 2003 No. 5, p. 1 result and it has a number of interesting applications.In recent years much attention has been paid to this result.T.A. Burton (see [2]) remarks that in practice it is difficult to check hypothesis (i) and he proposes replacing it by the condition (i') (x = Bx + Ay, y ∈ M ) =⇒ x ∈ M.
In particularly, if the hypothesis (i') is fulfilled if the following conditions hold Following the improvement of hypothesis (i), Burton and Kirk (see [3]) prove the following variant of Theorem K.
Theorem K'.Let X be a Banach space, A, B : X → X, B a contraction with α < 1 and A a compact operator.
Then either (a) x = λB x λ + λAx has a solution for λ = 1 or (b) the set x ∈ X, x = λB x λ + λAx, λ ∈ (0, 1) is unbounded.2 We mention that through compact operator one understands a continuous operator which transforms bounded sets into relatively compact sets.
The proof of Theorem K' is based on the remark that λB x λ , λ ∈ (0, 1) is a contraction, too, with the same contraction constant α and therefore and it uses the following fundamental result due to Schaefer (see [8]).Theorem S. Let E be a linear locally convex space and let H : B → B be a compact operator.Then either (α) the equation x = λHx has a solution for λ = 1 or (β) the set {x ∈ X, x = λHx, λ ∈ (0, 1)} is unbounded.2 In [3] one uses the variant of Schauder's theorem in E, a normed space (see [9]) and one takes H = (I − B) −1 Ax.

EJQTDE, 2003 No. 5, p. 2
In a recent note, B.C. Dhage (see [4]) recall that the condition that B to be a contraction is only sufficient to ensure the existence and the continuity of the operator (I − B) −1 ; this also happens in the case when an iteration A p is a contraction.Actually, this property that I − B to be a homeomorphism on the rank is a property available in metric spaces, without any reference at the linearity of the space (see [6] , [7] or [10]).In this direction, Dhage proves the following result.
Theorem K".Let (X, • ) be a Banach space, A, B be two operators such that: (A) A is a compact operator; (B) B is linear and bounded and there exists a p ∈ IN * such that where Φ : IR + → IR + is a continuous nondecreasing function such that Φ (r) < r, (∀) r > 0.
Then either 1) the equation λAx + Bx = x has a solution for λ = 1 or 2) the set {x ∈ X, λAx + Bx = x, (∀) λ ∈ (0, 1)} is unbounded.2 Recall that an operator which satisfies (1.1) is named nonlinear contraction; this condition ensures the existence and the continuity of (I − B) −1 .Simultaneously, from the linearity of B it results that λB x λ = B (x) and the proof follows the same way as in Theorem K'.

Some remarks on the Dhage's result
Obviously, in a certain sense, the Dhage's result is more general than the one of Burton and Kirk.To illustrate this thing, Dhage considers the equation in the space X = {x : [0, 1] → IR, x bounded and measurable} endowed with the norm The assumed hypotheses are: One verifies immediately that where hence it results that B n is contraction, for n large enough.The reality is that B is contraction, but not with respect to the norm (2.2); it is a contraction with respect to an equivalent norm, i.e. ( Indeed, since θ (t) ≤ t, it follows that and we have Therefore, By taking λ > V , it results that B is contraction.Evidently, to prove the compactity of the operator A, one may use the norm (2.2) as well as (2.6) .Let us remark in addition that the existence of the operator (I − B) −1 does not depend on the norm considered in X and if it is continuous with respect to a norm, it will be continuous with respect to any equivalent norm.
Observe that the operator B is compact, too.Indeed, the continuity of B follows by the fact that it is a contraction.Being continuous with respect to the norm • λ , it is still continuous with respect to the norm • .By the continuity of the operator B, it results hence, the uniform continuity of the functions v and µ gives us By (2.8) and (2.9) it results, based on the Ascoli-Arzelà Theorem, that B is a compact operator on each set {x ∈ X, x ≤ r} .Since B is, as A, a compact operator, one can get the Dhage's result, by using the topological degree.
In his work, Dhage proves that in certain hypotheses on the functions g, k, σ, η, the operator A is compact and that there is a positive number r such that if x fulfills the equality Define on Ω × [0, 1] the operator Obviously, H (x, λ) is a homotopy.From the above, it follows that where ∂Ω denotes the boundary of Ω.
If x = H (x, 1), x ∈ ∂Ω, then T x is a solution for the equation (2.1); it remains to study the case x = H (x, 1), x ∈ ∂Ω.
Therefore, we have Using the invariance property of the topological degree with respect to a homotopy, we have For further details regarding the topological degree, we recommend [10] .

A theorem of Krasnoselskii type
If we are interested about the existence of solutions on a noncompact interval for a concrete problem we cannot always use always the theorems K, K' and K", since the spaces of continuous functions on noncompact interval cannot be organized always as Banach spaces.We are forced to use spaces more general than the Banach spaces, for example the Fréchet spaces.
Because the terminology is diverse, we are forced to enumerate some fundamental definitions and properties.
We call Fréchet space each linear metrizable and complete space.One of the most convenient ways to build a Fréchet space is the one based on the notion of seminorm.
Let X be a linear space; recall that a seminorm on X is a mapping |•| : X → [0, +∞) having all the properties of a norm except that |x| = 0 does not always imply that x = 0.
Suppose that we have a numerable family of seminorms on X, |•| n ; we say that this family is sufficient iff Every space (X, |•| n ) , endowed with a numerable and sufficient family of seminorms can be organized as a metric space, by setting the metric 2), then it will be called Fréchet.
Recall that the convergence determined by the metric (3.2) can be characterized more precisely with the seminorms, i.e.
We mention that two families of seminorms |•| n , • n are called equivalent iff they define the same metric topology.Obviously, if (E, |•| n ) is complete, it will remain complete with respect to each equivalent family of seminorms.
We remark that for every family of seminorms |•| n , there is an equivalent family of seminorms, ordered in the sense that It is easy to characterize continuity of a mapping and the compactity of a set through the notion of seminorms.
Let α = (α n ) n∈IN be a sequence of real numbers and let (X, |•| n )) be a Fréchet space.Let us consider M ⊂ X.
Definition 3.1.Let U : M → X be an operator.We call U an α−contraction on M iff Every α−contraction mapping on M, U : M → M admits a unique fixed point.
2 The proof is an immediate consequence of the fact that, if U is a α−contraction, then for d given by (3.2), we have where We remark that U may not be a contraction in (X, |•| n ), but it can be contraction in a space (X, • n ), endowed with a family of seminorms equivalent with the initial one.
The Theorems K, K', K" can be extended to the case when X is a Fréchet space; we will state only the extension of the Burton-Kirk' Theorem K'.
Suppose that the following hypothesis are fulfilled: (A) A is a compact operator; (B) B is a contraction operator with respect to a family of seminorms The proof of this theorem is immediate.Indeed, hypothesis (B) ensures us the existence and the continuity of the operator (I − B) −1 .By applying to the operator x → λ (I − B) −1 Ax the Theorem S, from hypothesis (C) the conclusion follows, since U 1 x = Bx + Ax.

An example
We would now like to apply the Theorem K"'.To this end, we take the Dhage's example in a more general framework.
We set as a fundamental space, the space endowed with the ordered, sufficient and numerable family of seminorms where for We set We show firstly that B is a contraction mapping; to this aim, we consider in C c the family of seminorms which is equivalent with the family (4.2), since Repeating the reasoning from the Section 2, but now on the whole interval [0, n], we get an inequality of type (2.7) , i.e.
Choosing h n such that h n > V n , it follows from (4.4) that B is contraction and so there exists (I − B) −1 : C c → C c and it is continuous.
Let us show that the operator A : C c → C c is compact; to this aim, we must prove that it is continuous and it transforms every bounded set into a relatively compact set.
Let us prove firstly the continuity.Let x m , x ∈ C c be such that x m → x in C c , i.e.
But the convergence of a sequence implies the boundedness; hence there is a number L n > 0 such that But the function g is uniformly continuous on the compact set Taking into account that Then, from (4.6) it follows The continuity of A is proved.
For proving the compactity of A it remains to show that this operator maps bounded sets of C c into relatively compact sets of this space.
Recall that

Final remarks
It would be interesting to study the case when I − B is not injective.In this case, in certain conditions, (I − B) −1 could be seen as a multivalued operator and one could try to apply to the multivalued operator (I − B) −1 A one of the numerous interesting results looking for the existence of fixed points for multivalued operators.A great part of the existence problems are related to the equations of type Lx = N x, where L is a linear operator and N is an arbitrary operator; one can study the problem when such an equation can be written, in an equivalent manner, under the form x = Ax + Bx. 2 for a λ ∈ (0, 1) , EJQTDE, 2003 No. 5, p. 5 then x ≤ r. (2.10) Consider in X the open and bounded set Ω := {x ∈ X, x < 2r} .