Abstract
In this paper we investigate the existence of solutions to a kind of fourth-order impulsive differential equations with integral boundary value conditions. By employing the Schauder fixed point theorem, we obtain sufficient conditions which ensure the system has at lease one solution. Also by using the contraction mapping theorem we get the uniqueness result. Finally an example is given to illustrate the effectiveness of our results.
Similar content being viewed by others
1 Introduction
Fourth-order boundary value problems have attached much attention from many authors; for example, see Sun and Wang [1], Yao [2], O’Regan [3], Yang [4], Zhang [5], Gupta [6], Agarwal [7], Bonanno and Bella [8], and Han and Xu [9]. In particular, we would like to mention some results as follows. In [10], Zhang and Liu studied the following fourth-order four-point boundary value problem:
where \(0<\xi, \eta<1\), \(0\leq a< b<1\). By using the upper and lower solutions method, fixed point theorems, and the properties of the Green’s functions \(G(t,s)\) and \(H(t,s)\), the authors gave sufficient conditions for the existence of one positive solution.
Zhou and Zhang [11] employed a new existence theory to study the fourth-order p-Laplacian elasticity problems:
where \(a,b> 0\), \(J=[0,1]\), \(\phi_{m}(s)\) is an m-Laplace operator, i.e. \(\phi_{m}(s)=|s|^{m-2}s\), \(m>1\), \((\phi_{m})^{-1}=\phi_{m^{*}}\), \(\frac{1}{m}+\frac {1}{m^{*}}=1\), \(F:[0,1]\times R \times R \rightarrow R\) is continuous. In their paper, a new technique for dealing with the bending term of the fourth-order p-Laplacian elasticity problems was introduced and several new and more general results were obtained for the existence of at least single, double, or triple positive solutions.
Feng [12] studied a fourth-order boundary value problem with impulses and integral boundary conditions,
By using a suitably constructed cone and fixed point theory for cones, the existence of multiple positive solutions was established. Some papers considered the existence, multiplicity, and nonexistence of positive solutions for fourth-order impulsive differential equations with one-dimensional m-Laplacian; for example, see [13–17]. Most recently Feng and Qiu [18], studied a fourth-order impulse integral boundary value problem with one-dimensional m-Laplacian and deviating arguments:
We see that in the above system the right-hand side function f has nothing to do with the term \(y'\), the jumping function \(I_{k}\) does not contain the term \(y'(t_{k})\). What is more, there is no restriction on the impulses for state function, i.e. \(\Delta y|_{t=t_{k}}\) does not appear. Definitely for more extensive applications, we would better consider the following boundary value problem:
where \(a,b> 0\), \(J=[0,1]\), \(\phi_{m}(s)\) is an m-Laplace operator, i.e. \(\phi_{m}(s)=|s|^{m-2}s\), \(m>1\), \((\phi_{m})^{-1}=\phi_{m^{*}}\), \(\frac{1}{m}+\frac {1}{m^{*}}=1\), \(0=t_{0}< t_{1}< t_{2}<\cdots<t_{k}<\cdots<t_{m}<t_{m+1}=1\), \(f\in {C[J\times R^{n}\times R^{n},R^{n}]}\), \(I_{k}\in{C[R^{n},R^{n}]}\), \(\bar{I}_{k}\in{C[R^{n}\times R^{n},R^{n}]}\), \(\Delta y|_{t=t_{k}}=y(t^{+}_{k})-y(t^{-}_{k})\), here \(y(t^{+}_{k})\) and \(y(t^{-}_{k})\) represent the right-hand limit and left-hand limit of \(y(t)\) at \(t=t_{k}\), respectively. \(\Delta y'|_{t=t_{k}}\) has a similar meaning for \(y'(t)\). In addition, f, g, and h satisfy the following conditions.
-
(H1)
\(f\in{C[J\times R^{n}\times R^{n},R^{n}]}\), \(\Delta y|_{t=t_{k}}=y(t^{+}_{k})-y(t^{-}_{k})\), where \(y(t^{+}_{k})\) and \(y(t^{-}_{k})\) represent the right-hand limit and left-hand limit of \(y(t)\) at \(t=t_{k}\), respectively;
-
(H2)
\(I_{k}\in{C[R^{n},R^{n}]}\), \(\bar{I}_{k}\in{C[R^{n}\times R^{n},R^{n}]}\);
-
(H3)
\(g,h\in{L^{1}[0,1]}\) are nonnegative and \(\xi\in[0,a)\), \(\upsilon\in [0,1)\) where
$$ \xi= \int^{1}_{0}g(t)\,dt, \qquad \upsilon= \int^{1}_{0}h(t)\,dt. $$(1.2)
The remainder of the paper is organized as below. In Section 2, we give the expression of the solution to BVP (1.2). For this purpose, we do some computation and estimation of the Green’s function. In Section 3, we show the existence and uniqueness of solutions to BVP (1.2) by the Schauder fixed point theorem and contraction mapping theorem. Section 4 gives an example to illustrate our main result.
2 Preliminaries and lemmas
We shall reduce problem (1.1) to an integral equation. To this aim, first, by means of the transformation
we convert problem (1.1) into
and
Lemma 2.1
If (H1), (H2), and (H3) hold, then problem (2.1) has a unique solution \(x(t)\), which is given by
where
Proof
Integrating (2.1) from 0 to t we get
Integrating it again, we have
From (2.1) we know that \(x(0)=x(1)=\int^{1}_{0}h(t)x(t)\,dt\). Letting \(t=1\) we then obtain
Hence
Thus we get
In order to get the expression of \(x(t)\), different from [3], we multiply both sides of (2.5) with function \(h(t)\) and then integrating it from 0 to 1, we have
and
Hence,
Finally, we obtain
Thus
where
This completes the proof. □
Let \(e(t)=t(1-t)\). Then from (2.3) and (2.4) we can prove that \(H(t,s)\) and \(G(t,s)\) have the following properties.
Lemma 2.2
Let \(G(t,s)\) and \(H(t,s)\) be given as in Lemma 2.1. Assume that (H3) holds. Then we have
where
Lemma 2.3
If (H1), (H2), and (H3) hold, then problem (2.2) has a unique solution \(y(t)\) expressed in the form
where
and \(d=a(a+2b)\).
Proof
First, we assume that \(t\in I_{i}\), \(I_{i}=(t_{i},t_{i+1})\) (\(i=0,1,2,\ldots,m\)). Integrating both sides of (2.2) from \(t_{i}\) to \(t^{-}_{i+1}\), we get
Adding the above equations, we find
Similarly, we can get
Let \(t=1\) in (2.10) and (2.11). We obtain
It is easy to get
which implies
Then we have the following equations:
Obviously,
Substituting (2.10), (2.11) in (2.9), we have
In a similar way as the proof of (2.6) in Lemma 2.1, we get
Hence, we finally get
Hence
where
Then the proof is completed. □
It follows from (2.7), (2.8), and (2.9) that \(H_{1}(t,s)\), \(G_{1}(t,s)\), and \(H_{2}(t)\) have the following properties.
Lemma 2.4
Suppose (H3) holds and assume that \(G_{1}(t,s)\) and \(H_{1}(t,s)\) are given as in Lemma 2.3. Then we have
where
Proof
Clearly, it follows from the definition of \(G_{1}(t,s)\) that (2.12) holds. Now we show that (2.13) and (2.14) are true.
In fact, for \(t\in[\zeta,1]\) and \(s\in J\), we have
Consequently,
This completes the proof. □
Combining Lemma 2.1 with Lemma 2.3, we can get directly the following result.
Lemma 2.5
Assume that (H1)-(H3) hold. Then \(y(t)\) has the following form:
Proof
The conclusion is so straightforward that we omit it here. □
We next give some notations and a fixed point theorem which will be used to prove our main results. Let
Clearly, \(\mathit{PC}^{1}[J,R^{n}]\) is a Banach space with the norm \(\|y\|_{\mathit{PC}^{1}}=\max\{\|y\|_{\mathit{PC}^{1}},\|y'\|_{\mathit{PC}^{1}}\}\).
Lemma 2.6
[19]
\(H\subset \mathit{PC}^{1}[J,R^{n}]\) is a relatively compact set if and only if \(\forall y\in H\), y and \(y'\) are uniformly bounded in J and equi-continuous on \(J_{k}\) (\(k=0, 1, 2, \ldots, m\)).
Definition 2.1
A function \(y\in \mathit{PC}^{1}\) is said to be a solution of (1.1) if it satisfies every equation in system (1.1).
Lemma 2.7
(Schauder fixed point theorem)
If K is a nonempty convex subset of a Banach space V and T is a continuous mapping of K into itself such that \(T(K)\) is contained in a compact subset of K, then T has a fixed point.
Definition 2.2
Define an operator \(A:\mathit{PC}^{1}[J,R^{n}]\rightarrow \mathit{PC}^{1}[J,R^{n}]\) by
Lemma 2.8
Assume that (H1)-(H3) hold. Then \(y(t)\in{J}\) is a fixed point of A if and only if \(y(t)\) is a solution of problem (1.1).
Lemma 2.9
The operator \(A: \mathit{PC}^{1}[J,R^{n}]\rightarrow \mathit{PC}^{1}[J,R^{n}]\) is completely continuous.
Proof
According to (2.16) we have
From (2.16) and (2.17) we know that \(A:\mathit{PC}^{1}[J,R^{n}]\rightarrow \mathit{PC}^{1}[J,R^{n}]\) is continuous. For any bounded set \(S\in \mathit{PC}^{1}[J,R^{n}]\), and any function \(y(t)\in S\), we see that \((Ay)(t)\) and \((Ay)'(t)\) are uniformly bounded and equi-continuous on \(J_{k}\) (\(k=0,1,2,\ldots,m\)). Hence, according to Lemma 2.6 we see that \(A(S)\) is a relatively compact set, therefore A is a completely continuous operator. □
3 Main results
Let
Theorem 3.1
Assume that (H1)-(H3) hold. Let \(\eta= \max \{\eta _{1},\eta_{2}\}<1\), then (1.1) has at least one solution, where
Proof
From the definition of β, there exists \(N>0\), s.t.
Similarly, we get
This together with (2.14), (2.15) implies that
where \(\eta_{1}=2\rho_{2}\phi_{m^{*}}(\frac{\gamma\beta}{4})+2m\rho _{2}\bar{\beta}_{k}+m\rho_{2}\beta_{k}\).
From (2.7), (2.8), and (2.9), we have
and
which together with (2.17) imply
where \(\eta_{2}=2\rho_{3}\phi_{m^{*}}(\frac{\gamma\beta}{4})+2m\rho _{3}\bar{\beta}_{k}+m\rho_{2}\beta_{k}\).
On the other hand, according to Lemma 2.9, we know operator A is a completely continuous operator. Together with Lemma 2.6 (Schauder fixed point theorem), we know A has a fixed point in \(\mathit{PC}^{1}[J,R^{n}]\). □
Theorem 3.2
Assume that (H1)-(H3) hold. If there exist nonnegative real numbers α, \(\alpha_{k}\), \(\bar{\alpha}_{k}\), s.t.
and \(\xi= \max\{\xi_{1},\xi_{2}\}<1\), then (1.1) has a unique solution, where
Proof
From (2.16) and (2.17), similar to the proof of Theorem 3.1, we get
Computing straightforwardly we have
Also we obtain
It follows from \(\xi<1\) that A has a unique fixed point and therefore (1.1) has a unique solution. □
4 Example
In this section, we will illustrate the main results by a simple example.
Let \(n=1\), \(t_{1}=\frac{1}{2}\), \(a=b=1\), \(I_{1}(y(t_{1}))=\bar{I}_{1}(y(t_{1}, y'(t_{1})))=\frac{1}{2}\), \(f(t,y,y')=\sqrt[3]{t-y+y'}-\frac {1}{42}y'-3\ln(1+y^{2})\), and \(g(s)=\frac{1}{3}\), \(h(t)=\frac{1}{2}\), \(m=3\) in \(\phi_{m}\). Then equation (1.1) turns to the following equation:
Following Theorem 3.1, we have the following result.
Theorem 4.1
The problem (4.1) has at least one positive solution.
Proof
Obviously, \(f(t,y,y')\in{C[J\times R^{n}\times R^{n}, R^{n}]}\), \(I_{1}(y(t_{1}))\in {C[R^{n}, R^{n}]}\), \(\bar{I}_{1}(y(t_{1}, y'(t_{1})))\in C[R^{n}\times R^{n},R^{n}]\). From (4.1), we get
so we get \(\beta\leq\frac{1}{41}\), \(\beta_{1}=0\), \(\bar{\beta}_{1}=0\), \(\rho _{2}=2\), \(\rho_{3}=\frac{2}{3}\), \(\gamma=2\), \(\phi_{m^{*}}(\frac{\gamma\beta }{4})\leq\sqrt{\frac{1}{82}}\).
Hence, \(\eta_{1}\leq\sqrt{\frac{8}{41}}\leq1\), \(\eta_{2}\leq\sqrt{\frac {8}{369}}\leq1\), \(\eta\leq\sqrt{\frac{8}{41}}\leq1\). From Theorem 3.1, we get the result.
This completes the proof. □
References
Sun, JP, Wang, XQ: Monotone positive solution of nonlinear beam equations with nonlinear boundary conditions. Math. Probl. Eng. 2011, Article ID 609189 (2011)
Yao, QL: Positive solutions of nonlinear beam equations with time and space singularities. J. Math. Anal. Appl. 374, 681-692 (2011)
O’Regan, D: Solvability of some fourth (and higher)order singular boundary value problems. J. Math. Anal. Appl. 161, 78-116 (1991)
Yang, B: Positive solutions for the beam equations under certain boundary conditions. Electron. J. Differ. Equ. 2005, 78 (2005)
Zhang, XG: Existence and iteration of monotone positive solutions for an elastic beam equation with a comer. Nonlinear Anal., Real World Appl. 10, 2097-2103 (2009)
Gupta, GP: Existence and uniqueness theorems for the bending of an elastic beam equation. Appl. Anal. 26, 289-304 (1988)
Agarwal, RP: On fourth-order boundary value problems arising in beam analysis. Differ. Integral Equ. 2, 91-110 (1989)
Bonanno, G, Bella, BD: A boundary value problem for fourth-order elastic beam equations. J. Math. Anal. Appl. 343, 1166-1176 (2008)
Han, GD, Xu, ZB: Multiple solutions of some nonlinear fourth-order beam equations. Nonlinear Anal. TMA 68, 3646-3656 (2008)
Zhang, XG, Liu, LS: Positive solutions of fourth-order four-point boundary value problems with p-Laplacian operator. J. Math. Anal. Appl. 336, 1414-1423 (2007)
Zhou, YL, Zhang, XM: New existence theory of positive solutions to fourth order p-Laplacian elasticity problems. Bound. Value Probl. 2015, 205 (2015)
Feng, MQ: Multiple positive solutions for fourth-order impulsive differential equations with integral boundary conditions and one-dimensional p-Laplacian. Bound. Value Probl. 2011, Article ID 654871 (2011)
Afrouzi, GA, Hadjian, A, Radulescu, VD: Variational approach to fourth-order impulsive differential equations with two control parameters. Results Math. 65, 371-384 (2014)
Cabada, A, Tersian, S: Existence and multiplicity of solutions to boundary value problems for fourth-order impulsive differential equations. Bound. Value Probl. 2014, 105 (2014)
Sun, JT, Chen, HB, Yang, L: Variational methods to fourth-order impulsive differential equations. J. Appl. Math. Comput. 35, 323-340 (2011)
Xie, JL, Luo, ZG: Solutions to a boundary value problem of a fourth-order impulsive differential equations. Bound. Value Probl. 2013, 154 (2013)
Zhang, XM, Feng, MQ: Positive solutions for classes of multi-parameter fourth-order impulsive differential equations with one-dimensional singular p-Laplacian. Bound. Value Probl. 2014, 112 (2014)
Feng, MQ, Qiu, JL: Multi-parameter fourth order impulsive integral boundary value problems with one-dimensional m-Laplacian and deviating arguments. J. Inequal. Appl. 2015, 64 (2015)
Guo, DJ, Sun, JX, Liu, ZL: Functional Analysis Method of Nonlinear Ordinary Differential Equations. Shandong Science and Technology Press, Jinan (2005). ISBN:7-5331-1497-3
Acknowledgements
The authors express their sincere thanks to the anonymous reviews for their valuable suggestions and corrections for improving the quality of the paper. This work was supported by NNSF of China No. 11431008 and NNSF of China No. 11271261.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
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
Sun, M., Xing, Y. Existence results for a kind of fourth-order impulsive integral boundary value problems. Bound Value Probl 2016, 81 (2016). https://doi.org/10.1186/s13661-016-0580-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0580-0