Abstract
The aim of this paper is to explore the method of lower and upper solutions in order to give some existence results for equations of the form
with the Navier condition
under the condition \(k_{1}<0<k_{2}<\pi^{2}\). The main tool is the Schauder fixed point theorem.
Similar content being viewed by others
1 Introduction
The aim of this paper is to explore the method of lower and upper solutions in order to give some existence of solutions for equations of the form
with the Navier condition
Such boundary value problems appear, as it is well known [1–3], in the theory of hinged beams.
Recently, Vrabel [4] studied problem (1.1), (1.2) under the assumption
- (H1):
-
\(k_{1}\) and \(k_{2}\) are two constants with
$$ k_{2}< k_{1}< 0. $$(1.3)
He constructed the Green function for the linear problem
and proved its non-negativity and established the method of lower and upper solutions for (1.1), (1.2).
Definition 1.1
([4])
The function \(\alpha\in C^{4} [0, 1]\) is said to be a lower solution for (1.1), (1.2) if
and
An upper solution \(\beta\in C^{4}[0, 1]\) is defined analogously by reversing the inequalities in (1.5), (1.6).
Theorem A
([4, Theorem 7])
Let (H1) hold. Suppose that for problem (1.1), (1.2) there exist a lower solution α and an upper solution β such that
If \(f : [0, 1]\times\mathbb{R}\to\mathbb{R}\) is continuous and satisfies
then there exists a solution \(y(x)\) for (1.1), (1.2) satisfying \(\alpha(x) \leq y(x)\leq\beta(x)\) for \(0\leq x \leq1\).
Of course the natural question is what would happen if (H1) is replaced with the condition
- (H2):
-
\(k_{1}<0<k_{2}\).
Roughly speaking, for some kind of second order boundary value problems, it is well known that the existence of a lower solution α and an upper solution β, which are well ordered, that is, \(\alpha\leq\beta\), implies the existence of a solution between them (see [5]). However, the use of lower and upper solutions in boundary value problems of the fourth order, even for the simple boundary conditions (1.2), is heavily dependent on the positiveness properties for the corresponding linear operators, see the counterexample in [5, Remark 3.1].
It is the purpose of this paper to establish the method of lower and upper solutions for fourth order problem (1.1), (1.2) under condition (H2). To do that, we study the positiveness properties of the solutions of the nonhomogeneous linear problems
and
Since the general solution of \(Ly=0\) under (H2) is different from that under (H1), we determine the sign of solution of (1.10) via its equivalent second order systems.
In [5], Cabada et al. have extensively studied the positiveness properties of the operator
with the homogeneous boundary value conditions (1.2) as well as the more general nonhomogeneous boundary value conditions, and then applied the positiveness properties in a systematic way to obtain existence theorems in the presence of lower and upper solutions allowing the case where they are not ordered. Obviously, Cabada et al. [5] only dealt with the case that
For the related results on the existence and multiplicity of positive solutions or sign-changing solutions for fourth order problems, see Bai and Wang [6], Chu and O’Regan [7], Cid et al. [8], Drábek and Holubová [9, 10], Hernandez and Manasevich [11], Korman [12], Liu and Li [13], Ma et al. [14–18], Rynne [19, 20], Schröder [3], Webb et al. [21], Yang [22] and Yao [23] and the references therein.
The rest of the paper is arranged as follows. In Section 2, we show that the Green function of (1.4) possesses the positiveness properties under the condition \(k_{1}<0<k_{2}<\pi^{2}\). Finally, in Section 3, we develop the method of lower and upper solutions for (1.1), (1.2) under some monotonic condition on the nonlinearity f, and give some applications of our main results.
2 Green function in the case \(k_{1}<0<k_{2}\)
Let \(E=C[0,1]\) be the Banach space of continuous functions defined on \([0,1]\) with its usual normal \(\Vert \cdot \Vert \). Denote
with some \(r>0\) and \(m>0\). Let us consider
Define a linear operator \(L:D(L)\to E\)
with the domain
Firstly, we construct the Green function \(G(x,s)\) for \(Ly=0\).
Define a linear operator
The Green function of \(L_{1}y=0\) is
Define a linear operator
The Green function of \(L_{2}y=0\) is
Obviously,
and the Green function of \(Ly=0\) is
which can be explicitly given by
Theorem 2.1
Let \(m\in(0, \pi)\) and \(r\in(0, \infty)\). Then
Proof
It is an immediate consequence of the facts that for \(m\in (0, \pi)\),
and for \(r\in(0, \infty)\),
□
3 Method of lower and upper solutions
In this section, we will establish the method of lower and upper solutions for (1.1), (1.2) in the case \(k_{1}<0<k_{2}\).
Denote
Then
Now let \(v_{\alpha}(x)\) be the solution of
Then \(v_{\alpha}(x)\) is uniquely determined as
where \(w(x)\) is the unique solution of the nonhomogeneous problem
and it can be explicitly given by
\(\chi(x)\) is the unique solution of the nonhomogeneous problem
and it can be explicitly given by
Let \(v_{\beta}(x)\) be the solution of
Then \(v_{\beta}(x)\) is uniquely determined as
Lemma 3.1
-
(1)
Let \(0 < r < \infty\) and \(0< m<\pi\). Then \(w(x)> 0\) for \(x\in(0,1)\).
-
(2)
Let \(0 < r < \infty\) and \(0< m<\pi\). Then \(\chi(x)< 0\) for \(x\in(0,1)\).
Proof
(1) Since \(r(1-x)>0\) and \(-\infty< m(1-x)<\pi\) for \(x\in (0,1)\), it follows from (3.6) that \(w(x)> 0\) for \(x\in(0,1)\).
(2) Obviously, (3.7) is equivalent to the system
It is easy to see from (3.9) and the fact \(G_{1}(t,s)>0\) for \((t,s)\in (0,1)\times(0,1)\) that
Combining this with (3.8) and using the fact \(G_{2}(t,s)>0\) for \((t,s)\in (0,1)\times(0,1)\), we deduce that \(\chi(x)<0\) in \((0, 1)\). □
From Lemma 3.1 and the definitions of \(v_{\alpha}\) and \(v_{\beta}\), it follows that
Now, for a lower solution α of (1.1), (1.2), we have the following implications:
and, by a similar way, we obtain \(\beta(x)\geq T\beta(x)\) on \([0, 1]\), where \(T: C[0, 1]\to C^{4}[0, 1]\) is the operator defined by
where the Green function G is as in (2.2). It is easy to check that (1.1), (1.2) is equivalent to the operator equation
As a direct consequence of the Schauder fixed point theorem [4, Theorem 5], we have the following lemma.
Lemma 3.2
Let there exist a constant M such that
for \((x, y)\in[0, 1]\times\mathbb{R}\). Then (1.1), (1.2) has a solution.
Theorem 3.1
Let \(k_{1}<0<k_{2}<\pi^{2}\). Suppose that for problem (1.1), (1.2) there exist a lower solution α and an upper solution β such that
If \(f: [0, 1]\times\mathbb{R}\to\mathbb{R}\) is continuous and satisfies
then there exists a solution \(y(x)\) for (1.1), (1.2) satisfying
Proof
Define the function F on \([0, 1] \times\mathbb{R}\) by setting
Since F is continuous and bounded on \([0, 1]\times\mathbb{R}\), by Lemma 3.2, there exists a solution y of the problem
We now show that inequality (3.14) is true. We have
Thus \(L (y(x)-\beta(x) )=h_{1}(x)\leq0\) for \(x\in[0,1]\), that is, from Theorem 2.1 and (3.10)
By a similar way,
Thus \(L (y(x)-\alpha(x) )=h_{2}(x)\geq0\) for \(x\in[0,1]\), that is, from Theorem 2.1 and (3.10)
Therefore, \(\alpha(x)\leq y(x)\leq\beta(x)\) for \(x\in[0,1]\), and accordingly, y is a solution of (1.1), (1.2). □
Remark 3.1
It is worth remarking that if (3.13) is not valid, then the existence of a lower solution α and an upper solution β with \(\alpha (x)\leq\beta(x)\) in \([0,1]\) cannot guarantee the existence of solutions in the order interval \([\alpha(x), \beta(x)]\). Let us see the counterexample in Cabada et al. [5, Remark 3.1].
Remark 3.2
In the case \(\vert k_{1} \vert > k_{2}\), the assertions of Theorem 3.1 can be deduced from Habets and Sanchez [24, Theorem 4.1].
Remark 3.3
Let us consider the problem
It is easy to verify that \(f(x,u)=u^{3}+\sin x\), \(k_{1}=-1\) and \(k_{2}=4\), and
satisfy all of the conditions in Theorem 3.1. Therefore, (3.15) has a solution u satisfying
References
Gupta, CP: Existence and uniqueness theorems for the bending of an elastic beam equation. Appl. Anal. 26(4), 289-304 (1988)
Lazer, AC, McKenna, PJ: Large-amplitude periodic oscillations in suspension bridges: some new connections with nonlinear analysis. SIAM Rev. 32, 537-578 (1990)
Schröder, J: Operator Inequalities. Mathematics in Science and Engineering, vol. 147. Academic Press, New York (1980)
Vrabel, R: On the lower and upper solutions method for the problem of elastic beam with hinged ends. J. Math. Anal. Appl. 421(2), 1455-1468 (2015)
Cabada, A, Cid, J, Sanchez, L: Positivity and lower and upper solutions for fourth order boundary value problems. Nonlinear Anal. 67(5), 1599-1612 (2007)
Bai, Z, Wang, H: On positive solutions of some nonlinear fourth order beam equations. J. Math. Anal. Appl. 270, 357-368 (2002)
Chu, J, O’Regan, D: Positive solutions for regular and singular fourth-order boundary value problems. Commun. Appl. Anal. 10, 185-199 (2006)
Cid, JA, Franco, D, Minhós, F: Positive fixed points and fourth-order equations. Bull. Lond. Math. Soc. 41, 72-78 (2009)
Drábek, P, Holubová, G: Positive and negative solutions of one-dimensional beam equation. Appl. Math. Lett. 51, 1-7 (2016)
Drábek, P, Holubová, G: On the maximum and antimaximum principles for the beam equation. Appl. Math. Lett. 56, 29-33 (2016)
Hernandez, GE, Manasevich, R: Existence and multiplicity of solutions of a fourth order equation. Appl. Anal. 54, 237-250 (1994)
Korman, P: Uniqueness and exact multiplicity of solutions for a class of fourth-order semilinear problems. Proc. R. Soc. Edinb., Sect. A 134(1), 179-190 (2004)
Liu, X, Li, W: Existence and multiplicity of solutions for fourth-order boundary value problems with parameters. J. Math. Anal. Appl. 327, 362-375 (2007)
Ma, R: Existence of positive solutions of a fourth-order boundary value problem. Appl. Math. Comput. 168, 1219-1231 (2005)
Ma, R, Wang, H: On the existence of positive solutions of fourth-order ordinary differential equations. Appl. Anal. 59, 225-231 (1995)
Ma, R: Nodal solutions for a fourth-order two-point boundary value problem. J. Math. Anal. Appl. 314(1), 254-265 (2006)
Ma, R: Nodal solutions of boundary value problems of fourth-order ordinary differential equations. J. Math. Anal. Appl. 319(2), 424-434 (2006)
Ma, R, Xu, J: Bifurcation from interval and positive solutions of a nonlinear fourth-order boundary value problem. Nonlinear Anal. TMA 72(1), 113-122 (2010)
Rynne, BP: Infinitely many solutions of superlinear fourth order boundary value problems. Topol. Methods Nonlinear Anal. 19(2), 303-312 (2002)
Rynne, BP: Global bifurcation for 2mth-order boundary value problems and infinitely many solutions of superlinear problems. J. Differ. Equ. 188, 461-472 (2003)
Webb, JRL, Infante, G, Franco, D: Positive solutions of nonlinear fourth-order boundary value problems with local and non-local boundary conditions. Proc. R. Soc. Edinb., Sect. A 138(2), 427-446 (2008)
Yang, Z: Existence and uniqueness of positive solutions for higher order boundary value problem. Comput. Math. Appl. 54(2), 220-228 (2007)
Yao, Q: Positive solutions for eigenvalue problems of fourth-order elastic beam equations. Appl. Math. Lett. 17(2), 237-243 (2004)
Habets, P, Sanchez, L: A monotone method for fourth order boundary value problems involving a factorizable linear operator. Port. Math. 64(3), 255-279 (2007)
Acknowledgements
This work was supported by NSFC (No. 11671322) and NSFC (No. 11361054). The authors are very grateful to the anonymous referees for their valuable suggestions.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
RM and JW completed the main study together. RM wrote the manuscript, DY checked the proofs process and verified the calculation. Moreover, all the authors read and approved the last version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
All of the authors of this article claim that together they have no competing interests.
Additional information
Abbreviations
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ma, R., Wang, J. & Yan, D. The method of lower and upper solutions for fourth order equations with the Navier condition. Bound Value Probl 2017, 152 (2017). https://doi.org/10.1186/s13661-017-0887-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-017-0887-5