Next Article in Journal / Special Issue
Measure of Weak Noncompactness and Fixed Point Theorems in Banach Algebras with Applications
Previous Article in Journal
A Short Survey and Open Questions on Compact Q-Groups
Previous Article in Special Issue
Informal Complete Metric Space and Fixed Point Theorems
Open AccessArticle

Existence of Positive Solution for the Eighth-Order Boundary Value Problem Using Classical Version of Leray–Schauder Alternative Fixed Point Theorem

1
Department of Mathematics, Bharathidasan University, Tiruchirappalli 620 024, Tamilnadu, India
2
Nonlinear Analysis Research Group, Ton Duc Thang University, Ho Chi Minh City 758 307, Vietnam
3
Faculty of Mathematics and Statistics, Ton Duc Thang University, Ho Chi Minh City 758 307, Vietnam
*
Authors to whom correspondence should be addressed.
Axioms 2019, 8(4), 129; https://doi.org/10.3390/axioms8040129
Received: 13 September 2019 / Revised: 18 October 2019 / Accepted: 20 October 2019 / Published: 14 November 2019
(This article belongs to the Special Issue Fixed Point Theory and Related Topics)

Abstract

In this work, we investigate the existence of solutions for the particular type of the eighth-order boundary value problem. We prove our results using classical version of Leray–Schauder nonlinear alternative fixed point theorem. Also we produce a few examples to illustrate our results.
Keywords: eighth-order boundary value problem; Green’s function; Leray–Schauder nonlinear alternative; nontrivial solution; fixed points eighth-order boundary value problem; Green’s function; Leray–Schauder nonlinear alternative; nontrivial solution; fixed points

1. Introduction

Eighth-order differential equations govern the physics of some hydrodynamic stability problems. Chandrasekhar [1] proved that when an infinite horizontal layer of fluid is heated from below and under the action of rotation, instability sets in. When the instability sets in as overstability, the problem is modeled by an eighth-order ordinary differential equation for which the existence and uniqueness of the solution can be found in the book [2]. Many authors used different numerical methods to study higher order boundary value problems. For example, Reddy [3] presented a finite element method involving the Petrov–Galerkin method with quintic B-splines as basis functions and septic B-splines as weight functions to solve a general eighth-order boundary value problem with a particular case of boundary conditions. Prorshouhi et al. [4] presented a variational iteration method for the solution of a special case of eighth- order boundary value problems. Ballem and Kasi Viswanadham [5] presented a simple finite element method which involves the Galerkin approach with septic B-splines as basis functions to solve the eighth- order two-point boundary value problems. Graef et al. [6] applied the Guo–Krasnosel’skii fixed point theorem to solve the higher-order nonlinear boundary value problem. Graef et al. [7] used various fixed point theorems to give some existence results for a nonlinear nth-order boundary value problem with nonlocal conditions. Hussin and Mandangan [8] solved linear and nonlinear eighth-order boundary value problems using a differential transformation method. Kasi Viswanadham and Ballem [9] presented a finite element method involving the Galerkin method with quintic B-splines as basis functions to solve a general eighth-order two-point boundary value problem. Liu et al. [10] used the Leggett–Williams fixed point theorem to establish existence results for solutions to the m-point boundary value problem for a second- order differential equation under multipoint boundary conditions. Napoli and Abd-Elhameed [11] analyzed a numerical algorithm for the solution of eighth-order boundary value problems. Noor and Mohyud-Din [12] implemented a relatively new analytical technique—the variational iteration decomposition method for solving the eighth-order boundary value problems. Xiaoyong and Fengying [13] used the collocation method based on the second kind Chebyshev wavelets to find the numerical solutions for the eighth-order initial and boundary value problems. Some basic fixed point theorems on altering distance functions and on G-metric spaces were discussed in [14], and also some fixed point results in cone metric spaces were collectively given in [15]. Metric fixed point theory and metrical fixed point theory results were discussed in [16,17]. Deng et al. [18] generalized some results using measure of noncompactness. Omid et al. [19] studied differential equations with the conformable derivatives. Todorčević [20] presented harmonic quasiconformal mappings and hyperbolic type metrics defined on planar and multidimensional domains. Recently Zouaoui Bekri [21] studied sixth-order nonlinear boundary value problem using the Leray–Schauder alternative theorem. Ma [22] has given the existence and uniqueness theorems based on the Leray–Schauder fixed point theorem for some fourth-order nonlinear boundary value problems. Zvyagin and Baranovskii [23] have constructed a topological characteristic to investigate a class of controllable systems. Ahmad and Ntouyas [24] conferred some existence results based on some standard fixed point theorems and Leray–Schauder degree theory for an nth-order nonlinear differential equation with four-point nonlocal integral boundary conditions. Motivated by these study, we investigate the existence of solutions for the eighth-order boundary value problem.
y ( 8 ) ( x ) = ϕ ( x , y ( x ) , y ( x ) ) , 0 < x < 1 , y ( 0 ) = y ( 0 ) = y ( 0 ) = y ( 0 ) = y ( 4 ) ( 1 ) = y ( 5 ) ( 1 ) = y ( 6 ) ( 1 ) = y ( 7 ) ( 1 ) = 0 ,
where ϕ C ( [ 0 , 1 ] × R × R , R ) and R = ( , ) .

2. Preliminaries

We consider the following eighth-order boundary value problem under the assumption that ϕ C ( [ 0 , 1 ] × R × R , R ) . E = C ( [ 0 , 1 ] ) with the norm
y = max { | y | , | y | } where | y | = max 0 x 1 | y ( x ) | for any y E .
The following Lemma is used to prove our main theorem.
Lemma 1.
(By Lemma 1 in [25]) Let f C [ 0 , 1 ] . Then the following eighth-order boundary value problem
y ( 8 ) ( x ) = f ( x ) , 0 < x < 1 y ( 0 ) = y ( 0 ) = y ( 0 ) = y ( 0 ) = y ( 4 ) ( 1 ) = y ( 5 ) ( 1 ) = y ( 6 ) ( 1 ) = y ( 7 ) ( 1 ) = 0 ,
has the integral formulation
y ( x ) = 0 1 G ( x , s ) f ( s ) d s
where G : [ 0 , 1 ] × [ 0 , 1 ] [ 0 , ) is the Green’s function given by
G ( x , s ) = 1 5040 x 4 [ ( s x ) 3 + 4 s ( s x ) 2 + 10 s 2 ( 3 s x ) ] , 0 x < s 1 , s 4 [ ( x s ) 3 + 4 x ( x s ) 2 + 10 x 2 ( 3 x s ) ] , 0 s < x 1 .
Proof. 
Consider y ( 8 ) ( x ) = 0 for 0 x 1 . Then,
y ( x ) = A + B x + C x 2 + D x 3 + E x 4 + F x 5 + G x 6 + H x 7 ,
so that the Green’s function is of the form
G ( x , s ) = 1 5040 α 1 + α 2 x + α 3 x 2 + α 4 x 3 + α 5 x 4 + α 6 t 5 + α 7 t 6 + α 8 t 7 , 0 x < s 1 , β 1 + β 2 ( 1 x ) + β 3 ( 1 x ) 2 + β 4 ( 1 x ) 3 + β 5 ( 1 x ) 4 + β 6 ( 1 x ) 5 + β 7 ( 1 x ) 6 + β 8 ( 1 x ) 7 , 0 s < x 1 .
where α i and β i are continuous functions for i = 1 , , 8 .
From the boundary conditions we have,
G ( 0 , s ) = G ( 0 , s ) x = 2 G ( 0 , s ) x 2 = 3 G ( 0 , s ) x 3 = 0
i.e.,
α 1 = α 2 = α 3 = α 4 = 0
and
4 G ( 1 , s ) x 4 = 5 G ( 1 , s ) x 5 = 6 G ( 1 , s ) x 6 = 7 G ( 1 , s ) x 7 = 0
i.e.,
β 5 = β 6 = β 7 = β 8 = 0 .
We deduce the Green’s function for the problem is,
G ( x , s ) = 1 5040 α 5 x 4 + α 6 x 5 + α 7 x 6 + α 8 x 7 , 0 x < s 1 , β 1 + β 2 ( 1 x ) + β 3 ( 1 x ) 2 + β 4 ( 1 x ) 3 , 0 s < x 1 .
Since G satisfied continuity conditions up to the sixth-order and jump discontinuity at the seventh-order by −1, we get,
β 1 + β 2 ( 1 s ) + β 3 ( 1 s ) 2 + β 4 ( 1 s ) 3 α 5 s 4 α 6 s 5 α 7 s 6 α 8 s 7 = 0 , β 2 2 β ( 1 s ) 3 β ( 1 s ) 2 4 α 5 s 3 5 α 6 s 4 6 α 7 s 5 7 α 8 s 6 = 0 , 2 β 3 + 6 β 4 ( 1 s ) 12 α 5 s 2 20 α 6 s 3 30 α 7 s 4 42 α 8 s 5 = 0 , 6 β 4 24 α 5 s 60 α 6 s 2 120 α 7 s 3 210 α 8 s 4 = 0 , 24 α 5 120 α 6 s 360 α 7 s 2 840 α 8 s 3 = 0 , 120 α 6 720 α 7 s 2520 α 8 s 2 = 0 , 720 α 7 5040 α 8 s = 0 , 5040 α 8 = 1 .
By solving the above system, we can find the coefficients β 1 , β 2 , β 3 , β 4 , α 5 , α 6 , α 7 , α 8 , i.e., β 1 = s 7 5040 + s 6 720 s 5 240 + s 4 144 , β 2 = s 6 720 + s 5 120 s 4 48 , β 3 = s 5 240 + s 4 48 , β 4 = s 4 144 , α 5 = s 3 144 , α 6 = s 2 240 , α 7 = s 720 , α 8 = 1 5040 .
And finally, substituting these coefficients in Equation (5) we arrive to the expression of a Green’s function
G ( x , s ) = 1 5040 x 4 [ ( s x ) 3 + 4 s ( s x ) 2 + 10 s 2 ( 3 s x ) ] , 0 x < s 1 , s 4 [ ( x s ) 3 + 4 x ( x s ) 2 + 10 x 2 ( 3 x s ) ] , 0 s < x 1 .
 □
Lemma 2.
For all ( x , s ) [ 0 , 1 ] × [ 0 , 1 ] , we have
0 G ( x , s ) G ( s , s ) .
Proof. 
The proof is obvious, so we leave it. □
Define the integral operator T : E E by
T ( y ( x ) ) = 1 5040 0 x s 4 [ ( x s ) 3 + 4 x ( x s ) 2 + 10 x 2 ( 3 x s ) ] f ( s ) d s + 1 5040 x 1 x 4 [ ( s x ) 3 + 4 s ( s x ) 2 + 10 s 2 ( 3 s x ) ] f ( s ) d s
By Lemma 1, the boundary value problem (Equation (1)) has a solution iff the operator T has a fixed point in E. Hence to find the solution of a given boundary value problem, it is enough to find the fixed point for the operator T in E. Since T is compact and hence T is completely continuous.
Theorem 1.
[26,27] Let ( E , . ) be a Banach space, U E be an open bounded subset such that 0 U and T : U ¯ E be a completely continuous operator. Then
(1) 
either T has a fixed point in U ¯ , or
(2) 
there exist an element x U and a real number λ > 1 such that λ x = T ( x ) .

3. Main Results

In this section, we prove some important results which will help to prove the existence of a nontrivial solution for the eighth-order boundary value problem in Equation (1). Consider ϕ C ( [ 0 , 1 ] × R × R , R )
Theorem 2.
Suppose that ϕ ( x , 0 , 0 ) 0 and there exist nonnegative functions p , q , r L 1 [ 0 , 1 ] such that
| ϕ ( x , y , z ) | p ( x ) | y | + q ( x ) | z | + r ( x ) , a . e . ( x , y , z ) [ 0 , 1 ] × R × R ,
and
1 720 0 1 [ 5 s 7 + s 6 + 5 s 4 ] [ p ( s ) + q ( s ) ] d s < 1 .
Then the boundary value problem (Equation (1)) has at least one nontrivial solution y * C ( [ 0 , 1 ] ) .
Proof. 
Let
A = 1 720 0 1 [ 5 s 7 + s 6 + 5 s 4 ] [ p ( s ) + q ( s ) ] d s ,
B = 1 720 0 1 [ 5 s 7 + s 6 + 5 s 4 ] r ( s ) d s .
By hypothesis, we have A < 1 . Since ϕ ( x , 0 , 0 ) 0 , there exists an interval [ a , b ] [ 0 , 1 ] such that min a x b | ϕ ( x , 0 , 0 ) | > 0 and as r ( x ) | ϕ ( x , 0 , 0 ) | a.e. x [ 0 , 1 ] . Hence B > 0 .
Let L = B ( 1 A ) 1 and U = { y E : y < L } . Assume that y U and λ > 1 are such that T y = λ y .
Then
λ L = λ y = T y = max 0 x 1 | ( T y ) ( x ) | 1 5040 0 x s 4 [ ( x s ) 3 + 4 x ( x s ) 2 + 10 x 2 ( 3 x s ) ] | ϕ ( s , y ( s ) , y ( s ) ) | d s + 1 5040 x 1 x 4 [ ( s x ) 3 + 4 s ( s x ) 2 + 10 s 2 ( 3 s x ) ] | ϕ ( s , y ( s ) , y ( s ) ) | d s 1 5040 max 0 x 1 0 x s 4 [ ( x s ) 3 + 4 x ( x s ) 2 + 10 x 2 ( 3 x s ) ] | ϕ ( s , y ( s ) , y ( s ) ) | d s + 1 5040 max 0 x 1 x 1 x 4 [ ( s x ) 3 + 4 s ( s x ) 2 + 10 s 2 ( 3 s x ) ] | ϕ ( s , y ( s ) , y ( s ) ) | d s = 1 5040 0 1 s 4 [ ( 1 s ) 3 + 4 ( 1 s ) 2 + 10 ( 3 s ) ] | ϕ ( s , y ( s ) , y ( s ) ) | d s + 1 5040 0 1 s 4 [ s 3 + 4 s ( s ) 2 + 10 s 2 ( 3 s ) ] | ϕ ( s , y ( s ) , y ( s ) ) | d s = 1 5040 0 1 [ 34 s 7 + 7 s 6 21 s 5 + 35 s 4 ] | ϕ ( s , y ( s ) , y ( s ) ) | d s 1 5040 0 1 [ 35 s 7 + 7 s 6 + 35 s 4 ] | ϕ ( s , y ( s ) , y ( s ) ) | d s 1 720 0 1 [ 5 s 7 + s 6 + 5 s 4 ] [ p ( s ) | y ( s ) | + q ( s ) | y ( s ) | + r ( s ) ] d s 1 720 0 1 [ 5 s 7 + s 6 + 5 s 4 ] [ p ( s ) max 0 s 1 | y ( s ) | + q ( s ) max 0 s 1 | y ( s ) | + r ( s ) ] d s 1 720 0 1 [ 5 s 7 + s 6 + 5 s 4 ] [ p ( s ) | y | + q ( s ) | y | + r ( s ) ] d s 1 720 0 1 [ 5 s 7 + s 6 + 5 s 4 ] [ p ( s ) y + q ( s ) y + r ( s ) ] d s = 1 720 0 1 [ 5 s 7 + s 6 + 5 s 4 ] [ p ( s ) + q ( s ) ] y + 1 720 0 1 [ 5 s 7 + s 6 + 5 s 4 ] r ( s ) d s = A y + B = A L + B .
Hence, λ L A L + B
λ A + B L = A + B B ( 1 A ) 1 = A + ( 1 A ) = 1 ,
which is a contradiction, since λ > 1 , hence by Theorem 1, T has a fixed point y * U ¯ . Since ϕ ( x , 0 , 0 ) 0 , the boundary value problem (Equation (1)) has a nontrivial solution y * E . □
Theorem 3.
Let ϕ ( x , 0 , 0 ) 0 and there exist nonnegative functions p , q , r L 1 [ 0 , 1 ] such that
| ϕ ( x , y , z ) | p ( x ) | y | + q ( x ) | z | + r ( x ) a . e . ( x , y , z ) [ 0 , 1 ] × R × R .
Assume that one of the conditions given below is satisfied
(1) There exists a constant k > 5 such that
p ( s ) + q ( s ) 720 ( 8 + k ) ( 7 + k ) ( 5 + k ) 11 k 2 + 148 k + 495 s k , a . e . 0 s 1 ,
μ s [ 0 , 1 ] : p ( s ) + q ( s ) < 720 ( 8 + k ) ( 7 + k ) ( 5 + k ) 11 k 2 + 148 k + 495 s k > 0
where μ = measure.
(2) There exists a constant k > 1 such that
p ( s ) + q ( s ) 6 i = 1 8 ( k + i ) k 3 + 21 k 2 + 152 k + 594 ( 1 s ) k , a . e . 0 s 1 ,
μ s [ 0 , 1 ] : p ( s ) + q ( s ) < 6 i = 1 8 ( k + i ) k 3 + 21 k 2 + 152 k + 594 ( 1 s ) k > 0
where μ = measure.
(3) There exists a constant a > 1 such that
0 1 [ p ( s ) + q ( s ) ] a d s < 1 1 144 1 7 b + 1 1 b + 1 720 1 6 b + 1 1 b + 1 144 1 4 b + 1 1 b a , 1 a + 1 b = 1 .
Then the boundary value problem (1) has at least one nontrivial solution y * E .
Proof. 
To prove this theorem it is enough to prove A < 1 .
Let
A = 1 720 0 1 [ 5 s 7 + s 6 + 5 s 4 ] [ p ( s ) + q ( s ) ] d s
(1) Consider,
A = 1 720 0 1 [ 5 s 7 + s 6 + 5 s 4 ] [ p ( s ) + q ( s ) ] d s < 720 ( 8 + k ) ( 7 + k ) ( 5 + k ) 11 k 2 + 148 k + 495 1 720 0 1 ( 5 s 7 + s 6 + 5 s 4 ) s k d s = 720 ( 8 + k ) ( 7 + k ) ( 5 + k ) 11 k 2 + 148 k + 495 1 720 0 1 ( 5 s 7 + k + s 6 + k + 5 s 4 + k ) d s = 720 ( 8 + k ) ( 7 + k ) ( 5 + k ) 11 k 2 + 148 k + 495 1 720 5 8 + k + 1 7 + k + 5 5 + k = 720 ( 8 + k ) ( 7 + k ) ( 5 + k ) 11 k 2 + 148 k + 495 11 k 2 + 148 k + 495 720 ( 8 + k ) ( 7 + k ) ( 5 + k )
Thus, A < 1 .
(2) In this case, we have
A = 1 720 0 1 [ 5 s 7 + s 6 + 5 s 4 ] [ p ( s ) + q ( s ) ] d s < 6 i = 1 8 ( k + i ) k 3 + 21 k 2 + 152 k + 594 1 720 0 1 ( 5 s 7 + s 6 + 5 s 4 ) ( 1 s ) k d s < 6 i = 1 8 ( k + i ) k 3 + 21 k 2 + 152 k + 594 1 720 0 1 5 s 7 ( 1 s ) k d s + 0 1 s 6 ( 1 s ) k d s + 0 1 5 s 4 ( 1 s ) k d s < 6 i = 1 8 ( k + i ) k 3 + 21 k 2 + 152 k + 594 1 720 120 i = 1 5 ( k + i ) + 720 i = 1 7 ( k + i ) + 720 × 35 i = 1 8 ( k + i ) = 6 i = 1 8 ( k + i ) k 3 + 21 k 2 + 152 k + 594 k 3 + 21 k 2 + 152 k + 594 6 i = 1 8 ( k + i ) = 1
Therefore, A < 1 .
(3) By Hölder inequality, we have
A 0 1 ( p ( s ) + q ( s ) ) a d s 1 a · 1 144 0 1 ( s 7 ) b d s 1 b + 1 720 0 1 ( s 6 ) b d s 1 b + 1 144 0 1 ( s 4 ) b d s 1 b A 0 1 ( p ( s ) + q ( s ) ) a d s 1 a · 1 144 1 7 b + 1 1 b + 1 720 1 6 b + 1 1 b + 1 144 1 4 b + 1 1 b < 1 1 144 1 7 b + 1 1 b + 1 720 1 6 b + 1 1 b + 1 144 1 4 b + 1 1 b 1 144 1 7 b + 1 1 b + 1 720 1 6 b + 1 1 b + 1 144 1 4 b + 1 1 b = 1 .
 □

4. Examples

Here we have given some examples to verify the above results.
Example 1.
Consider,
y ( 8 ) ( x ) = x 5 2 y sin y + x 3 y cos y 5 + e 2 x , 0 x 1 , y ( 0 ) = y ( 0 ) = y ( 0 ) = y ( 0 ) = 0 , y ( 4 ) ( 1 ) = y ( 5 ) ( 1 ) = y ( 6 ) ( 1 ) = y ( 7 ) ( 1 ) = 0 .
Set
ϕ ( x , y , z ) = x 5 2 y sin y + x 3 z cos z 5 + e 2 x ,
p ( x ) = x 5 2 , q ( x ) = x 3 , r ( x ) = 5 + e 2 x .
One can easily verify that p , q , r L 1 [ 0 , 1 ] are nonnegative functions, and
| ϕ ( x , y , z ) | = x 5 2 y sin y + x 3 z cos z 5 + e 2 x p ( x ) | y | + q ( x ) | z | + r ( x ) , a . e . ( x , y , z ) [ 0 , 1 ] × R × R .
Also,
A = 1 720 0 1 [ 5 s 7 + s 6 + 5 s 4 ] [ p ( s ) + q ( s ) ] d s = 1 720 0 1 [ 5 s 7 + s 6 + 5 s 4 ] s 5 2 + s 1 2 3 d s = 1 720 0 1 5 2 s 12 + 5 3 s 15 2 + s 11 2 + s 13 2 3 + 5 2 s 9 + 5 3 s 9 2 d s = 899251 630115200 < 1 .
Thus, by Theorem 2, the boundary value problem (Equation (1)) has at least one nontrivial solution y * E .
Example 2.
Consider the problem,
y ( 8 ) ( x ) = y 4 ( 5 + 4 y 3 ) x cos y + 4 ( y ) 3 7 x + 2 y x cos x , 0 x 1 , y ( 0 ) = y ( 0 ) = y ( 0 ) = y ( 0 ) = 0 , y ( 4 ) ( 1 ) = y ( 5 ) ( 1 ) = y ( 6 ) ( 1 ) = y ( 7 ) ( 1 ) = 0 .
Set
ϕ ( x , y , z ) = y 4 ( 5 + 4 y 3 ) x cos y + 4 z 3 7 x + 2 z x cos x ,
p ( x ) = 1 5 x , q ( x ) = 4 7 x + 2 x , r ( x ) = cos x .
One can easily verify that p , q , r L 1 [ 0 , 1 ] are nonnegative functions, and
| ϕ ( x , y , z ) | = y 4 ( 5 + 4 y 3 ) x cos y + 4 z 3 7 x + 2 z x cos x p ( x ) | y | + q ( x ) | z | + r ( x ) , a . e . ( x , y , z ) [ 0 , 1 ] × R × R .
Let k = 1 2 > 5 . Then,
720 ( 8 + k ) ( 7 + k ) ( 5 + k ) 11 k 2 + 148 k + 495 = 631800 1695
hence,
p ( s ) + q ( s ) = 1 5 s + 4 7 s + 2 s = 97 35 s 1 2 < 631800 1695 s 1 2
μ s [ 0 , 1 ] : p ( s ) + q ( s ) < 720 ( 8 + k ) ( 7 + k ) ( 5 + k ) 11 k 2 + 148 k + 495 s k > 0
where μ = measure. Thus by the Theorem 3 assumption (1), the boundary value problem (Equation (2)) has at least one nontrivial solution y * E .
Example 3.
Consider the problem,
y ( 8 ) ( x ) = y 3 4 ( 3 + y 4 ) ( 1 x ) 2 3 sin y + ( y ) 2 ( 5 + y ) ( 1 x ) 2 3 + e 2 x + sin 3 x , 0 x 1 , y ( 0 ) = y ( 0 ) = y ( 0 ) = y ( 0 ) = 0 , y ( 4 ) ( 1 ) = y ( 5 ) ( 1 ) = y ( 6 ) ( 1 ) = y ( 7 ) ( 1 ) = 0 .
Set
ϕ ( x , y , z ) = y 3 4 ( 3 + y 4 ) ( 1 x ) 2 3 sin y + z 2 ( 5 + z ) ( 1 x ) 2 3 + e 2 x + sin 3 x
p ( x ) = 1 4 ( 1 x ) 2 3 , q ( x ) = 1 5 ( 1 x ) 2 3 , r ( x ) = e 2 x + sin 3 x .
Here we can easily prove that p , q , r L 1 [ 0 , 1 ] are nonnegative functions, and
| ϕ ( x , y , z ) | = y 3 4 ( 3 + y 4 ) ( 1 x ) 2 3 sin y + z 2 ( 5 + z ) ( 1 x ) 2 3 + e 2 x + sin 3 x p ( x ) | y | + q ( x ) | z | + r ( x ) , a . e . ( x , y , z ) [ 0 , 1 ] × R × R .
Take k = 2 3 > 1 . Then
6 i = 1 8 ( k + i ) k 3 + 21 k 2 + 152 k + 594 = 24344320 548613 .
Therefore,
p ( s ) + q ( s ) = 1 4 ( 1 s ) 2 3 + 1 5 ( 1 s ) 2 3 = 9 20 ( 1 s ) 2 3 < 24344320 548613 ( 1 s ) 2 3
μ s [ 0 , 1 ] : p ( s ) + q ( s ) < 6 i = 1 8 ( k + i ) k 3 + 21 k 2 + 152 k + 594 ( 1 s ) 2 3 > 0
where μ = measure. Therefore, by Theorem 3 assumption (2), the boundary value problem (Equation (3)) has at least one nontrivial solution y * E .
Example 4.
Consider the problem,
y ( 8 ) ( x ) = 2 + x 4 1 + y 2 y e sin x + 3 2 + x 4 ( 5 + ( y ) 2 ) cos y + e x cos x sin 2 x , 0 x 1 , y ( 0 ) = y ( 0 ) = y ( 0 ) = y ( 0 ) = 0 , y ( 4 ) ( 1 ) = y ( 5 ) ( 1 ) = y ( 6 ) ( 1 ) = y ( 7 ) ( 1 ) = 0 .
Set
ϕ ( x , y , z ) = 2 + x 4 1 + y 2 y e sin x + 3 2 + x 4 ( 5 + z 2 ) cos z + e x cos x sin 2 x
p ( x ) = 2 + x 4 , q ( x ) = 3 2 + x 4 , r ( x ) = e x cos x + sin 2 x .
Here we can easily prove that p , q , r L 1 [ 0 , 1 ] are nonnegative functions, and
| ϕ ( x , y , z ) | = 2 + x 4 1 + y 2 y e sin x + 3 2 + x 4 ( 5 + z 2 ) cos z + e x cos x sin 2 x p ( x ) | y | + q ( x ) | z | + r ( x ) , a . e . ( x , y , z ) [ 0 , 1 ] × R × R .
Let a = 4 > b = 4 3 > 1 . We have that 1 a + 1 b = 1 . Then
0 1 p ( s ) + q ( s ) a d s = 0 1 4 2 + s 4 4 d s = 640 .
Also, we have
1 1 144 1 7 b + 1 1 b + 1 720 1 6 b + 1 1 b + 1 144 1 4 b + 1 1 b a = 1 1 144 3 31 3 4 + 1 720 1 9 3 4 + 1 144 3 19 3 4 4 9406732117.3529 .
Therefore,
0 1 p ( s ) + q ( s ) a d s < 9406732117.3529
Further, by Theorem 3 assumption (3), the boundary value problem (Equation (4)) has at least one nontrivial solution y * E .

5. Conclusions

In this paper, we obtain the results to prove the existence of positive solution for the eighth-order boundary value problem with the help of the classical version of Leray–Schauder alternative fixed point theorem. By applying these results, one can easily verify that whether the given boundary value problem is solvable or not.

Author Contributions

Conceptualization, T.S.; methodology, T.S.; review and editing, M.M. and S.R.

Funding

This research received no external funding.

Acknowledgments

The author would like to express their gratitude to the editor and anonymous referees for their valuable comments and suggestions which improved the original version of the manuscript in the present form.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Chandrasekhar, S. Hydrodynamic and Hydromagnetic Stability; Dover: New York, NY, USA, 1961. [Google Scholar]
  2. Agarwal, R.P. Boundary Value Problems for Higher Order Differential Equations; MATSCIENCE: 98; Institute of Mathematical Sciences: Madras, India, July 1979. [Google Scholar]
  3. Reddy, S.M. Numerical Solution of Eighth Order Boundary Value Problems by Petrov-Galerkin Method with Quintic B-splines as basic functions and Septic B-Splines as weight functions. Int. J. Eng. Comput. Sci. 2016, 5, 17902–17908. [Google Scholar]
  4. Porshokouhi, M.G.; Ghanbari, B.; Gholami, M.; Rashidi, M. Numerical Solution of Eighth Order Boundary Value Problems with Variational Iteration Method. Gen. Math. Notes 2011, 2, 128–133. [Google Scholar]
  5. Ballem, S.; Kasi Viswanadham, K.N.S. Numerical Solution of Eighth Order Boundary Value Problems by Galerkin Method with Septic B-splines. Procedia Eng. 2015, 127, 1370–1377. [Google Scholar] [CrossRef]
  6. Graef, J.R.; Henderson, J.; Yang, B. Positive Solutions for a Nonlinear Higher-Order Boundary Value Problems. Electron. J. Diff. Equ. 2007, 45, 1–10. [Google Scholar]
  7. Graef, J.R.; Moussaoui, T. A classof nth-order BVPs with nonlocal conditions. Comput. Math. Appl. 2009, 58, 1662–1671. [Google Scholar] [CrossRef]
  8. Hussin, C.H.C.; Mandangan, A. Solving Eighth-order Boundary Value Problems Using Differential Transformation Method. AIP Conf. Proc. 2014, 1635, 99–106. [Google Scholar]
  9. Kasi Viswanadham, K.N.S.; Ballem, S. Numerical Solution of Eighth Order Boundary Value Problems by Galerkin Method with Quintic B-splines. Int. J. Comput. Appl. 2014, 89, 7–13. [Google Scholar]
  10. Liu, X.; Jiang, W.; Guo, Y. Multi-Point Boundary Value Problems For Higher Order Differential Equations. Appl. Math. E-Notes 2004, 4, 106–113. [Google Scholar]
  11. Napoli, A.; Abd-Elhameed, W.M. Numerical Solution of Eighth-Order Boundary Value Problems by Using Legendre Polynomials. Int. J. Comput. Methods 2017, 14, 19. [Google Scholar] [CrossRef]
  12. Noor, M.A.; Mohyud-Din, S.T. Variational Iteration Decomposition Method for Solving Eighth-Order Boundary Value Problems. Diff. Equ. Nonlinear Mech. 2008. [Google Scholar] [CrossRef]
  13. Xu, X.; Zhou, F. Numerical Solutions for the Eighth-Order Initial and Boundary Value Problems Using the Second Kind Chebyshev Wavelets. Adv. Math. Phys. 2015, 2015, 964623. [Google Scholar] [CrossRef]
  14. Agarwal, R.P.; Karapınar, E.; O’Regan, D.; Roldan-Lopez-de-Hierro, A.F. Fixed Point Theory in Metric Type Spaces; Springer International Publishing: Cham, Switzerland, 2015. [Google Scholar]
  15. Aleksić, S.; Kadelburg, Z.; Mitrović, Z.D.; Radenović, S. A new survey: Cone metric spaces. J. Int. Math. Virtual Inst. 2019, 9, 93–121. [Google Scholar]
  16. Ćirić, L. Some Recent Results in Metrical Fixed Point Theory; University of Belgrade: Belgrade, Serbia, 2003. [Google Scholar]
  17. Kirk, W.; Shahzad, N. Fixed Point Theory in Distance Spaces; Springer International Publishing: Cham, Switzerland, 2014. [Google Scholar]
  18. Deng, G.; Huang, H.; Cvetković, M.; Radenović, S. Cone valued measure of noncompactness and related fixed point theorems. Bull. Int. Math. Virtual Inst. 2018, 8, 233–243. [Google Scholar]
  19. Birgani, O.T.; Chandok, S.; Dedović, N.; Radenović, S. A note on some recent results of the conformable derivative. Adv. Theory Nonlinear Anal. Its Appl. 2019, 3, 11–17. [Google Scholar]
  20. Todorčević, V. Harmonic Quasiconformal Mappings and Hyperbolic Type Metrics; Springer Nature: Cham, Switzerland, 2019. [Google Scholar]
  21. Bekri, Z.; Benaicha, S. Nontrivial solution of a nonlinear sixth-order boundary value problem. Waves Wavelets Fract. 2018, 4, 10–18. [Google Scholar] [CrossRef]
  22. Ma, R. Existence and uniqueness theorems for some fourth-order nonlinear boundary value problems. Int. J. Math. Math. Sci. 2000, 23, 783–788. [Google Scholar] [CrossRef]
  23. Zvyagin, V.G.; Baranovskii, E.S. Topological degree of condensing multi-valued perturbations of the (S) + -class maps and its applications. J. Math. Sci. 2010, 170, 405–421. [Google Scholar] [CrossRef]
  24. Ahmad, B.; Ntouyas, S.K. A study of higher-order nonlinear ordinary differential equations with four-point nonlocal integral boundary conditions. J. Appl. Math. Comput. 2012, 39, 97–108. [Google Scholar] [CrossRef]
  25. Cabrera, B.; López, I.J.; Sadarangani, K.B. Existence of positive solutions for the nonlinear elastic beam equation via a mixed monotone operator. J. Comput. Appl. Math. 2018, 327, 306–313. [Google Scholar] [CrossRef]
  26. Isac, G. Leray–Schauder Type Alternatives, Complementarity Problems and Variational Inequalities; Springer: New York, NY, USA, 2006. [Google Scholar]
  27. Klaus, D. Nonlinear Functional Analysis; Springer: Berlin, Germany, 1985. [Google Scholar]
Back to TopTop