On the solvability of a cantilever-type boundary value problem by using the mixed monotone operator

In the present paper, by using the mixed monotone operator method we prove the existence and uniqueness of positive solution to the following cantilever-type boundary value problem u(4)(t)=f(t,u(t),u(αt))+g(t,u(t)),0<t<1,α∈(0,1),u(0)=u′(0)=u′′(1)=u′′′(1)=0.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} \displaystyle \left\{ \begin{array}{l} u^{(4)}(t)=f(t,u(t),u(\alpha t))+g(t,u(t)),\quad 0<t<1, \quad \alpha \in (0,1),\\ u(0)=u'(0)=u''(1)=u'''(1)=0. \end{array}\right. \end{aligned}$$\end{document}Moreover, in order to illustrate the results we present an example.


Introduction and preliminaries
The fourth order differential equations can be used to model the steady states of deflections of elastic beams as, for example, u (4) under the boundary conditions The boundary value problem ( 1)-( 2) describes a bar of length 1 which is clamped on the left end and is free to move at the right end with vanishing bending moment and shearing force (see, for example [1][2][3]).
The main tool used in the proof to the results of [1][2][3] are the measure chains [2], the fixed point index theory in cones [2] and the monotonically iterative technique [3].
In this paper, we investigate the existence and uniqueness of positive solutions to the following cantilever-type boundary value problem u (4) (t) = f (t, u(t), u(αt)) + g(t, u(t)), 0 < t < 1, α ∈ (0, 1), where The main tool used in the proof of the results of the paper is the mixed monotone operator method.
The technique of the mixed monotone operators was introduced by Guo and Lakshmikantham in [4] in order to obtain results about coupled fixed points and its applications to the theory of existence of solutions of nonlinear operators.Since then, a great number of papers using this technique has appeared in the literature (see [4][5][6][7][8][9][10][11][12][13][14][15]), among others).
Next, we present some basic facts and results about the mixed monotone operator method which will be the main tool used in the proof of the results of the paper.Suppose that (E, • ) is a real Banach space.
A cone in E is a nonempty closed convex set K ⊂ E satisfying the following two conditions: (Here θ E denotes the zero element of the Banach space E).
Let K be a cone in the Banach space (E, • ) then K induces a partial order in E defined by, for any x, y ∈ E, x ≤ y ⇐⇒ y − x ∈ K .By x < y we denote x ≤ y and x = y.
If K denotes the interior of K and K is nonempty then we say that the cone K is solid.When there exists a constant C > 0 such that, for any x, y ∈ E with θ E ≤ x ≤ y, we have x ≤ C y , we say that the cone K is normal.In this case, the smallest constant C satisfying the above mentioned inequality is called the normality constant of K .
In this context, for any x, y ∈ E, by x ∼ y we denote the existence of constants λ, μ > 0 satisfying λy ≤ x ≤ μy.
It is easily seen that ∼ is an equivalence relation.
Finally, for θ E < h with h ∈ E, K h denotes the following set Next, we need some definitions in order to present the mixed monotone operator method used in our study.This material appears in [10].
Definition 1 An operator T : E → E is increasing (resp.decreasing) if, for any x, y ∈ E with x ≤ y, then T x ≤ T y (resp.T x ≥ T y).
Definition 2 An operator A : K × K → K is said to be mixed monotone when A(x, y) is increasing in x and decreasing in y, that is, for any (x, y), (u, v) Definition 3 A mapping B : K −→ K is called subhomogeneous if, for any t ∈ (0, 1) and x ∈ K , the inequality holds.Now, we are ready to present the mixed monotone operator method appearing in [10].
Theorem 1 Suppose that K is a normal cone in the Banach space (E, • ), γ ∈ (0, 1) and h ∈ E with θ E < h.
Let A : K × K −→ K be a mixed monotone operator satisfying for any t ∈ (0, 1) and x, y ∈ K , and B : K −→ K an increasing subhomogeneous operator.
Under the following assumptions: (i) there exists h 0 ∈ K h such that A(h 0 , h 0 ) ∈ K h and Bh 0 ∈ K h , (ii) there exists a constant δ 0 > 0 satisfying A(x, y) ≥ δ 0 Bx, for any x, y ∈ K , we have that (2) there exists u 0 , v 0 ∈ K h and r ∈ (0, 1) such that r v 0 ≤ u 0 ≤ v 0 and (3) there exists a unique x * ∈ K h such that for any initial values x 0 , y 0 ∈ K h , the sequences defined by

Main result
We start this section presenting the space and the cone where the solutions to our Problem (3) live.By E = C[0, 1] we denote the classical space of the continuous functions x : [0, 1] −→ R equipped with the supremum standard norm given by x = max{|x(t)| : t ∈ [0, 1]}.
In C[0, 1], we consider the cone K defined by It is well known that K is a normal cone with normality constant C = 1.In this case, the partial order in Before to present our main result, we need some lemmas.
The following lemma appears in [2].
Then the following boundary value problem u (4) The following lemma gives us upper and lower bounds of G(t, s).
Lemma 2 For any t, s ∈ [0, 1], we have that Proof In order to prove the lower bound, we consider the following two cases i) and ii).
In this case, we have This proves the left inequality in (4).
For the upper bound, following a similar argument, we consider that 0 ≤ s ≤ t ≤ 1 and we have In the case 0 ≤ t ≤ s ≤ 1, it follows that and this proves the right inequality in (4).This completes the proof.
In the sequel, we present the main result of the paper.
(3) For any x 0 , y 0 ∈ K h , the sequences inductively defined by Proof Taking into account Lemma 1, our question about the existence of solutions to Problem (3) would be to find solutions to the following integral equation Next, we consider the two following operators

G(t, s)g(s, u(s))ds,
for any t ∈ [0, 1] and u, v ∈ K .By using assumption (i) and Remark 1 about the continuity and the nonnegative character of G(t, s), it follows that A : It is clear that x satisfies Eq. ( 5) if and only if x = A(x, x) + Bx.
In the sequel, we check that assumptions of Theorem 1 are satisfied.Taking into account assumption (ii), we infer that A is a mixed monotone operator and B is increasing.
In order to prove that B is a subhomogeneous operator, we take λ ∈ (0, 1) and x ∈ K .
By using assumption (iii), we deduce that this is, B is a subhomogeneous operator.Next, we take the function given by h(t) = t 2 for t ∈ [0, 1].Note that 0 ≤ h(t) ≤ 1 for t ∈ [0, 1].It is clear that h ∈ P and θ E < h.Moreover, Lemma 2 and assumption (ii) gives us that, for any t ∈ [0, 1], On the other hand, by Lemma 2 and assumption (ii), it follows that If we put then, from ( 6) and ( 7), we get Now, we need to prove that α i > 0 for i = 1, 2.
By using assumption (v), we deduce f (s, 0, 1) ≥ δ 0 g(s, 0) ≥ 0, and we get where in the last inequality we have used the fact that Therefore, α 1 and α 2 are positive numbers and, consequently, by (8), A(h, h) ∈ K h .
In the sequel, we prove that Bh ∈ K h .Taking into account Lemma 2 and our assumption (ii), it follows that, for any t ∈ [0, 1], we have Similarly, by Lemma 2 and assumption (ii), we get Putting we have that Next, we prove that Bh ∈ K h .Using a similar argument to the one used above, we need to prove that ρ 1 > 0. In fact, Therefore, Bh ∈ K h .Finally, we need to prove that, for any u, v ∈ K , there exists ε > 0 such that A(u, v) ≥ ε Bu.
In order to do this, we take u, v ∈ K and t ∈ [0, 1] and, by using our assumption (v), it follows This says us that A(u, v) ≥ δ 0 Bu and, therefore, we can take ε = δ 0 .
This proves that assumptions of Theorem 1 are satisfied and, thus, we obtain our result.
Notice that the solution x * to our Problem (3) is positive since x * ∈ K h and 0 < h(t) = t 2 for t ∈ (0, 1).
This completes the proof.
Next, we present an example illustrating the result obtained.
Example 1 Consider the following nonlinear boundary value problem Notice that Problem ( 9) is a particular case of Problem (3), where Moreover, both functions f and g are clearly continuous functions, and, for example, g( 13 , 0) = 1 > 0. This says us that assumption (i) of Theorem 2 is satisfied.It is clear that f and g satisfy assumption (ii) of Theorem 2. In order to check assumption (iii) of Theorem 2, we take t ∈ [0, 1], x ∈ [0, ∞) and λ ∈ (0, 1) and it follows Assumption (iv) of Theorem 2 is satisfied because for t ∈ [0, 1], x, y ∈ [0, ∞) and λ ∈ (0, 1), we have and this says us that assumption (iv) of Theorem 2 is satisfied with β = 1 3 .Finally, for t ∈ [0, 1] and u, v ∈ [0, ∞), we deduce and this proves that assumption (v) of Theorem 2 is satisfied with δ 0 = 1.Now, by Theorem 2, we infer that Problem (9) has a unique positive solution Next, we compare our result with the one appearing in [2].In [2], the author studied the following fourth order boundary value problem u (4) He proved the existence of positive solutions to Problem (10) under certain growths of the nonlinearity f .Particularly, if by f 0 and f ∞ we denote the following quantities Funding Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.This paper is partially supported by Grant PID2019-106093GB-I00 from the Spanish Government.