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

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.


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.

Preliminaries
We consider the following eighth-order boundary value problem under the assumption that |y(x)| for any y ∈ E.
The following Lemma is used to prove our main theorem.
Then the following eighth-order boundary value problem has the integral formulation is the Green's function given by G(x, s) = 1 5040 Proof. Consider y (8) so that the Green's function is of the form where α i and β i are continuous functions for i = 1, ....., 8.
From the boundary conditions we have, i.e., We deduce the Green's function for the problem is, G(x, s) = 1 5040 Since G satisfied continuity conditions up to the sixth-order and jump discontinuity at the seventh-order by −1, we get, By solving the above system, we can find the coefficients β 1 , β 2 , β 3 , β 4 , α 5 , α 6 , α 7 , α 8 , And finally, substituting these coefficients in Equation (5) we arrive to the expression of a Green's function Proof. The proof is obvious, so we leave it.
Define the integral operator T : 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).

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 Then the boundary value problem (Equation (1)) has at least one nontrivial solution y * ∈ C([0, 1]). Let L = B(1 − A) −1 and U = {y ∈ E : y < L}. Assume that y ∈ ∂U and λ > 1 are such that Ty = λy.
Assume that one of the conditions given below is satisfied (1) There exists a constant k > −5 such that where µ = measure. (2) There exists a constant k > −1 such that where µ = measure.
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 (1) Consider, Thus, A < 1.

Examples
Here we have given some examples to verify the above results.