A generalization of Ascoli–Arzelá theorem in Banach spaces is established. Schauder's fixed point theorem is used to prove the existence of a solution for a boundary value problem of higher order. The authors’ results are obtained under, rather, general assumptions.
First, a generalization of Ascoli–Arzelá theorem in Banach spaces in Cn is established. Second, this new generalization with Schauder's fixed point theorem to prove the existence of a solution for a boundary value problem of higher order is used. Finally, an illustrated example is given.
There is no funding.
In this work, a new generalization of Ascoli–Arzelá theorem in Banach spaces in Cn is established. To the best of the authors’ knowledge, Ascoli–Arzelá theorem is given only in Banach spaces of continuous functions. In the second part, this new generalization with Schauder's fixed point theorem is used to prove the existence of a solution for a boundary value problem of higher order, where the derivatives appear in the non-linear terms.
1. Introduction
In this paper, we consider the following higher-order boundary value problem:
where n is a given positive integer, α, γ > 0, β, δ ≥ 0; f is continuous and satisfies such that a is continuous on I and .
Equation (1.1) and its particular forms have been studied by many authors (see, for example, [1–4, 6, 7, 9–13] and the references therein).
Wong and Agarwal in [13] and Patricia et al. in [12] have studied the following boundary value problem:
under the following condition: there exists continuous functions f: (0, + ∞) → (0, + ∞) and such that
Agarwal and Wong [1] have studied the existence of a positive solution for the problem (1.1) under the following condition: there exists L ≥ 0 such that
and some other conditions, where the function g is defined in (3.2).
Chyan and Henderson [3] have studied the existence of a positive solution of the following problem:
such that f and q are continuous and non-negative functions.
The following analogical problem has been studied by Eloe and Ahmad in [5],
The following more general form has been studied by J. R. Graef and T. Moussaoui in [8],
where the derivatives x(i), 0 ≤ i ≤ n − 2 do not appear in the non-linear terms.
Our main task in this paper consists of giving a generalization of Ascoli–Arzelá theorem in the space Cn(X, E) (the space of functions from a compact subset of into a Banach space E with continuous nth derivative) in order to prove the compactness criteria and to use Schauder fixed point theorem in the space Cn to prove the existences of a solution for the higher-order boundary value problem (1.1).
2. A generalization of Ascoli–Arzelá theorem in Cn
Before stating the main result in this section, we provide the following notations and definition:
Let E be a Banach space endowed with the norm , and X be a compact subset of . We note by Cn(X, E) the space of all functions with n continuous derivatives from X to E; this space is endowed with the norm such that .
For our purpose, we need the following definition in Cn(X, E).
The family F ⊂ Cn(X, E) is called equi-continuous if for every ϵ > 0 there is δ > 0 such that for all i = 0, …, n and for all x, y ∈ X satisfying |x − y| < δ.
The family F ⊂ Cn(X, E) is called equi-bounded if there is a constant M such that for all i = 1, …, n, for all f ∈ F and for all x ∈ X.
The following result gives the Ascoli–Arzelá theorem in the space Cn(X, E)
Let F be a subset of Cn(X, E). Then F is relatively compact if and only if F is equi-continuous and equi-bounded.
Assume that F is relatively compact. This means that is compact. We claim that F is equi-continuous and equi-bounded. Since is compact, then it is equi-bounded and since , we deduce that F is equi-bounded.
To see that F is equi-continuous, let ɛ > 0, then there exists f1, …, fm ∈ Cn(X, E) such that
Since are uniformly continuous, then there exists δ > 0 such that for all x, y ∈ X, if |x − y| < δ, then for all i = 0, …, n and for all j = 1, …, m
Let f ∈ F, then there exists j ∈ {1, …, m} such that .
Hence, for all i = 0, …, n
which implies that F is equi-continuous.
Conversely, assume that F is equi-continuous and equi-bounded. To show that F is relatively compact it suffices to show that F is totally bounded; indeed if F is totally bounded, then is also totally bounded, which implies that is compact.
Since F is equi-continuous, then for all x ∈ X and ɛ > 0, there exists δx > 0 such that if y ∈ X and |x − y| < δx, we have for all i = 0, …, n
The collection is an open cover of the compact subset X; hence there exists x1, x2, …, xm ∈ X such that .
which implies that, for all and for all i = 0, …, n
Since F is equi-bounded, then the set
is bounded.
Since a bounded set in is totally bounded, then there exists a subset
such that
For any application φ: {1, …, m} → {1, …, k}, we define the set
It is clear that . Now, we show that the diameter of is less than ɛ.
Let and x ∈ X, then there exists j ∈ {1, …, m} such that .
Hence, for all i = 1, …, n
which implies that the diameter of is less than ɛ. Therefore, F can be covered by finitely many sets of diameter less than ɛ.
Thus F is totally bounded, and the proof is completed. □
3. Application to the solution of a higher-order boundary value problem
In this section, we study the existence of a solution for the problem (1.1).
It is easy to check, (see [1]), that u is a solution of (1.1) in if and only if u is a solution of the following integro-differential equation:
in , such that is the Green's function of the second-order boundary value problem
Moreover,
Before stating our main result, we recall the following Schauder fixed point theorem.
[14] Let C be a non-empty, bounded, closed and convex subset of a Banach space E and T is a continuous operator from C into itself. If T(C) is relatively compact, then T has a fixed point.
Equation (3.1) will be studied under the following assumptions:
.
[(ii)] There exists a function and constants such that
Under the assumptions (i) and (ii), we will make use of Schauder fixed point theorem to prove the following main result:
If the hypotheses (i) and (ii) hold, and if
such that r = Max{b0, …, bn−2}.
Then, the integro-differential Equation (3.1) has a solution in .
Solving Equation (3.1) is equivalent to finding a fixed point of the operator A defined in the space by the following expression:
It is clear that the operator A is well defined from E into itself.
Moreover for all x ∈ E, t ∈ I and i = 0, …, n − 2, we have
The proof is split into three steps.
Step I. There exists α > 0 such that A transforms C = {x ∈ E, ‖x‖ ≤ α} into itself. It is clear that C is non-empty, bounded, closed and convex subset of E.
Moreover, for all x ∈ C, t ∈ I and i = 0, … n − 2, we have
Hence, for r = Max{b0, …, bn−2}, we obtain
We deduce that, A transforms C into itself if
which implies, under the condition of Theorem (3.2), that
Then, A transforms C into itself for
Step 2: The operator A is continuous.
Let (xm) ∈ C be a convergence sequence to x ∈ C, which implies that converges to x(i) in the space C(I, [ − α, α]) for all i = 0, …, n − 2.
Since f is uniformly continuous on the compact set , then the sequence converges to f(s, x, x′, …, x(n−2)) in .
It follows that
which implies that (Axm) converges to Ax , and the operator A is continuous.
Step 3: A(C) is relatively compact; it is clear that A(C) is equi-bounded.
Now, to show that A(C) is equi-continuous, take t1 and t2 in I.
Then, for all i = 0, … n − 3, there exists ξi between t1 and t2 such that
Hence, for all i = 0, … n − 3,
Now, let ɛ > 0. We note .
Then from (3.4), if , we have for all i = 0, …, n − 3,
On the other hand, since the function g(t, s) is uniformly continuous on I × I,
there exists δ2 > 0 such that if |t2 − t1| ≤ δ2, then for all s ∈ I
which implies, for i = n − 2, that
Hence, the third step is completed by setting δ = min (δ1, δ2). Therefore, the set A(C) is equi-continuous.
The proof of Theorem 3.2 then follows from Schauder fixed point theorem. □
Consider the following third-order boundary value problem:
On the other hand, we have
which implies that and .
It is easy to see that |f(s, u0, u1)| ≤ λ ln(2) + λ|u0| + λ|u1|.
Hence, the conditions (i) and (ii) are fulfilled with a(s) = λ ln(2), b0 = b1 = λ.
Therefore, the inequality in Theorem 3.2 takes the form
Then by Theorem 3.2, we conclude that the third-order boundary value problem (3.5) has a solution if .
The authors are very grateful to the anonymous referees for their valuable comments and suggestions.
