Skip to Main Content
Purpose

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.

Design/methodology/approach

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.

Findings

There is no funding.

Originality/value

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.

In this paper, we consider the following higher-order boundary value problem:

(1.1)

where n is a given positive integer, α, γ > 0, β, δ ≥ 0; f is continuous and satisfies f(s,u0,u1,,un2)a(s)+k=0n2bk|uk| such that a is continuous on I and bkR+,k=0,,n2.

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 p1,p,q1,q:(0,1)R 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 R 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).

The rest of this paper is organized as follows. In Section 2, we give a generalization of Ascoli–Arzelá theorem in the space Cn. The existences of a solution to higher-order boundary value problem (1.1) are presented in Section 3.

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 .1, and X be a compact subset of R. 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 f=i=0nf(i) such that f=supxX{f(x)1}.

For our purpose, we need the following definition in Cn(X, E).

Definition 2.1.

The familyFCn(X, E) is called equi-continuous if for everyϵ > 0 there isδ > 0 such thatf(i)(x)f(i)(y)1<εfor alli = 0, …, nand for allx, y ∈ Xsatisfying |x − y| < δ.

The familyFCn(X, E) is called equi-bounded if there is a constantMsuch thatf(i)(x)1Mfor alli = 1, …, n, for allf ∈ Fand for allx ∈ X.

The following result gives the Ascoli–Arzelá theorem in the space Cn(X, E)

Theorem 2.2.

LetFbe a subset ofCn(X, E). ThenFis relatively compact if and only ifFis equi-continuous and equi-bounded.

Proof.

Assume that F is relatively compact. This means that F¯ is compact. We claim that F is equi-continuous and equi-bounded. Since F¯ is compact, then it is equi-bounded and since FF¯, 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 fj(i) 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 fBε3(fj).

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 F¯ is also totally bounded, which implies that F¯ 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 {Bδx(x)}xX is an open cover of the compact subset X; hence there exists x1, x2, …, xm ∈ X such that X=mj=1Bδxj.

which implies that, for all xBδxj and for all i = 0, …, n

Since F is equi-bounded, then the set

F={(f(xj),f(xj),,f(n)(xj)),j=1,,m;fF} is bounded.

Since a bounded set in Rn+1 is totally bounded, then there exists a subset

{(y1,i,y2,i,,yn+1,i),i=1,,k}Rn+1 such that

For any application φ: {1, …, m} → {1, …, k}, we define the set

It is clear that F=Fφ. Now, we show that the diameter of Fφ is less than ɛ.

Let f,gFφ and x ∈ X, then there exists j ∈ {1, …, m} such that xBδxj.

Hence, for all i = 1, …, n

which implies that the diameter of Fφ 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. □

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 Cn(I,R) if and only if u is a solution of the following integro-differential equation:

(3.1)

in Cn2(I,R), such that g(t,s)=n2G(t,s)tn2 is the Green's function of the second-order boundary value problem

Moreover,

(3.2)

Before stating our main result, we recall the following Schauder fixed point theorem.

Theorem 3.1.

[14] LetCbe a non-empty, bounded, closed and convex subset of a Banach spaceEandTis a continuous operator fromCinto itself. IfT(C) is relatively compact, thenThas a fixed point.

Equation (3.1) will be studied under the following assumptions:

  • [(i)]fC(I×Rn1,R).

  • [(ii)] There exists a function aC(I,R+) and constants bkR+(k=0,,n2) such that

Under the assumptions (i) and (ii), we will make use of Schauder fixed point theorem to prove the following main result:

Theorem 3.2.

If the hypotheses (i) and (ii) hold, and if

such thatr = Max{b0, …, bn−2}.

Then, the integro-differentialEquation (3.1)has a solution inCn2(I,R).

Proof.

Solving Equation (3.1) is equivalent to finding a fixed point of the operator A defined in the space E=Cn2(I,R) 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

(3.3)

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 (xm(i)) converges to x(i) in the space C(I, [ − α, α]) for all i = 0, …, n − 2.

Since f is uniformly continuous on the compact set I×[α,α]××[α,α]n1times, then the sequence (f(s,xm,xm,,xm(n2))) converges to f(s, x, x′, …, x(n−2)) in C(I,R).

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,

(3.4)

Now, let ɛ > 0. We note λ=max0in301|1(i+1)G(t,s)|ds.

Then from (3.4), if |t2t1|δ1=ε1+a+rαλ, 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 |t2t1| ≤ δ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. □

Example 3.3.

Consider the following third-order boundary value problem:

(3.5)
whereλis a positive number. Hence, by using the notations and the parameters ofTheorem 3.2,
where,
which implies that 01|g(t,s)|ds=12(1t+t2) and 01|g(t,s)|ds=58.

On the other hand, we have

which implies that 01|G(t,s)|ds=14(2t+t2) and 01|G(t,s)|ds=34.

It is easy to see that |f(s, u0, u1)| ≤ λ ln(2) + λ|u0| + λ|u1|.

Hence, the conditions (i) and (ii) are fulfilled witha(s) = λ ln(2), b0 = b1 = λ.

Therefore, the inequality inTheorem 3.2takes the form

Then byTheorem 3.2, we conclude that the third-order boundary value problem(3.5)has a solutionuC3(I,R)ifλ<811.

The authors are very grateful to the anonymous referees for their valuable comments and suggestions.

1.
Agarwal
RP
,
Wong
FH
.
Existence of positive solutions for non-positive higher-order BVPs
.
J Comput Appl Math
.
1998
;
88
:
3
-
14
.
2.
Agarwal
RP
,
Bazighifan
O
,
Ragusa
MA
.
Nonlinear neutral delay differential equations of fourth-order: oscillation of solutions
.
Entropy
.
2021
;
23
(
2
): 129.
3.
Chyan
CJ
,
Henderson
J
.
Positive solutions for singular higher order nonlinear equations
.
Diff Eqs Dyn Sys
.
1994
;
2
:
153
-
60
.
4.
Eloe
PW
,
Henderson
J
.
Positive solutions for higher ordinary differential equations
.
Electr J Differ Equ
.
1995
;
3
:
1
-
8
.
5.
Eloe
PW
,
Ahmad
B
.
Positive solutions of a nonlinear nth order BVP with nonlocal conditions
.
Appl Math Lett
.
2005
;
18
:
521
-
7
.
6.
Fink
AM.
The radial laplacian Gel'fand problem, delay and differential equations
. (
Ames, IA
,
1991
,
93–98
). Singapore:
World Scientific Publishing
;
1992
.
7.
Fink
AM
,
Gatica
JA
,
Hernandez
GE
.
Eigenvalues of generalized Gel'fand models
.
Nonlinear Anal
.
1993
;
20
:
1453
-
63
.
8.
Graef
JR
,
Moussaoui
T
.
A class of nth-order BVPs with nonlocal conditions
.
Comput Math Appl
.
2009
;
58
:
1662
-
71
.
9.
Ling
S
,
Zhang
J
.
Existence of countably many positive solutions of nth-order m-point BVPs
.
J Comput Appl Math
.
2009
;
224
:
527
-
37
.
10.
Liu
Y
,
Chen
S
,
Ou
L
.
Solvability of Sturm-Liouville boundary value problems for multiple order fractional differential equations
.
Arab J Math Sci
.
2016
;
22
:
207
-
31
.
11.
Minhos
F
,
Coxe
I
.
Higher-order functional discontinuous boundary value problems on the half-line
.
Mathematics
.
2021
;
9
(
5
): 499.
12.
Patricia
JY
,
Wong
FH
,
Agarwal
RP
.
On eigenvalue intervals and twin eigenfunctions of higher-order boundary value problems
.
J Comput Appl Math
.
1998
;
88
:
15
-
43
.
13.
Wong
PJY
,
Agarwal
RP
.
Eigenvalues of boundary value problems for higher order differential equations
.
Math Probl Eng
.
1996
;
2
:
401
-
34
.
14.
Zeidler
E
.
Nonlinear functional analysis and its applications I: fixed-point theorems
.
New York
:
Springer Verlag
;
1985
.
Published in the Arab Journal of Mathematical Sciences. Published by Emerald Publishing Limited. This article is published under the Creative Commons Attribution (CC BY 4.0) license. Anyone may reproduce, distribute, translate and create derivative works of this article (for both commercial and non-commercial purposes), subject to full attribution to the original publication and authors. The full terms of this license may be seen at http://creativecommons.org/licences/by/4.0/legalcode

or Create an Account

Close Modal
Close Modal