- Research Article
- Open access
- Published:
Properties of solutions of fourth-order differential equations with boundary conditions
Journal of Inequalities and Applications volume 2013, Article number: 278 (2013)
Abstract
In this paper, we establish some sufficient conditions for -disconjugacy and study the distribution of zeros of nontrivial solutions of fourth-order differential equations. The results are extended to cover some boundary value problems in bending of beams. The main results are proved by making use of a generalization of Hardy’s inequality and some Opial-type inequalities. Some examples are considered to illustrate the main results.
MSC:34K11, 34C10.
1 Introduction
Linear differential equations subject to some boundary conditions arise in the mathematical description of some physical systems. For example, mathematical models of deflection of beams. These beams, which appear in many structures, deflect under their own weight or under the influence of some external forces. For example, if a load is applied to the beam in a vertical plane containing the axis of symmetry, the beam undergoes a distortion, and the curve connecting the centroids of all cross sections is called the deflection curve or elastic curve. In elasticity it is shown that the deflection of the curve, say measured from the x-axis, approximates the shape of the beam and satisfies the linear fourth-order differential equation
on an interval, say , with some boundary conditions. Boundary conditions associated with these types of differential equations depend on how the ends of the beams are supported (see [1, 2]). For example, the boundary conditions correspond to a beam clamped at each end, the boundary conditions correspond to a beam clamped at and free at , the boundary conditions correspond to a beam clamped at and free at , and the boundary conditions correspond to a beam hinged or supported at both ends. In this paper, we consider the fourth-order differential equation
where are continuous measurable functions such that , and I is a nontrivial interval of reals. By a solution of (1.2) on the interval , we mean a nontrivial real-valued function , which has the property that and satisfies equation (1.2) on J. We assume that (1.2) possesses such a nontrivial solution on I. Equation (1.2) is said to be -disconjugate if i and j are positive integers such that , and no solution of (1.2) has an -distribution of zeros, i.e., no nontrivial solution has a pair of zeros of multiplicities i and j respectively. If no nontrivial solution of (1.2) has more than three zeros, the equation is termed disconjugate. Equation (1.2) and its generalization were studied in [3–17]. Most of the results in these papers dealt with obtaining sufficient conditions for oscillation, nonoscillation and the types of zeros of solutions, i.e., the solutions that have at least four zeros, two or more of which are distinct zeros and one can determine the disconjugacy type of the equations. To the best of the authors knowledge, there are a few papers [18–20] which studied the distributions (gaps between zeros) of zeros of a special case of (1.2), when . Our paper is a continuation of these papers. In particular, we establish some sufficient conditions for -disconjugacy and establish lower bounds on the distance between zeros of nontrivial solutions and also lower bounds on the distance between zeros of a solution and/or its derivatives. The results in [18, 19] extended a result in the literature for disconjugacy of differential equations due to de la Vallée Poussin [21]. This result was established for the linear n th-order differential equation
with real continuous coefficients . In [21] de la Vallée Poussin asserted that equation (1.3) is disconjugate on any interval sufficiently short with respect to the magnitude of the coefficients of the equation. More precisely, he proved that if on and the inequality
holds, then (1.3) is disconjugate.
In [18] the authors studied a special case of (1.2) and considered the equation
and proved that if is a nontrivial solution of (1.5) which satisfies
then
In [19] the authors established some sufficient conditions for -disconjugacy of (1.5) and also proved some results on bending of beams. In particular in [19] the authors established: if is a nontrivial solution of (1.5) which satisfies (1.6), then
Our aim in this paper is to employ some new inequalities of Hardy’s type and some Opial-type inequalities with weighted functions to establish some new results for the general equation (1.2).
In particular, in this paper, we are concerned with the following problems for the general equation (1.2):
-
(i)
obtain lower bounds for the spacing , where y is a solution of (1.2) satisfying for and ,
-
(ii)
obtain lower bounds for the spacing , where y is a solution of (1.2) satisfying for and ,
-
(iii)
obtain lower bounds for the spacing , where y is a solution of (1.2) satisfying for .
We also establish some new results related to some boundary value problems in bending of beams. In particular, we consider the boundary conditions (1.6) which correspond to a beam clamped at each end. The case of the boundary conditions
which correspond to a beam clamped at and free at and the boundary conditions which correspond to a beam clamped at and free at , and the boundary conditions which correspond to a beam hinged or supported at both ends will be left to the interested reader.
The rest of the paper is divided into two sections. In Section 2, we prove several results related to the problems (i)-(iii) and also prove some results related to the boundary value problems of the bending of beams with the boundary conditions (1.6) and (1.9). In Section 3, we give some illustrative examples. The results in this paper yield sufficient conditions for disconjugacy.
2 Main results
In this section, we prove the main results by using some generalizations of Hardy’s inequality and Opial’s inequality.
Theorem 2.1 [[22], Theorem 3.9.1]
Assume that the functionsϑandϕare non-negative and measurable on the interval, m, nare real numbers such thatandbut fixed. Letbe such thatabsolutely continuous onand, (), then
where
If we replaceby, then (2.1) holds whereis replaced bywhich is given by
where
From Theorem 2.1, we note that if , then we have an inequality of the form
where in this case is determined from the equation
In the following, we present a Hardy-type inequality [23, 24] that will be used to prove some new results related to the boundary value problems of the bending of beams. If y is absolutely continuous on with or , then the following inequality holds:
where q, r the weighted functions are measurable positive functions in the interval and m, n are real parameters satisfying and . The constant C satisfies
where and and
An inequality of type (2.6) also holds when . In this case, we see that (2.6) is satisfied if , where
For simplicity, we let
Now, we are ready to state and prove the main results. For simplicity, we introduce the following notations:
and
Theorem 2.2Suppose thatyis a nontrivial solution of (1.2). Ifforand, then
whereand. Ifforand, then
whereand.
Proof We prove (2.12). Multiplying (1.2) by and integrating by parts yield
This with and yields
Integrating by parts the term , we see that
Using the assumption , we have
Integrating by parts the term yields
Using the assumption , we obtain
Substituting (2.17) and (2.16) into (2.15) yields
Applying the inequality (2.1) on the integral , with , , , , , and , we get (note that for ) that
where is defined as in (2.10). Applying the inequality (2.1) again on the integral
with , , , , and , we see that
where is defined as in (2.10). Applying the inequality (2.6) on the integral (note ), we see that
Substituting (2.21) into (2.20), we have
Applying the inequality (2.1) on the integral , with , , , , , and , we get (note that for ) that
where is defined as in (2.10). Applying the inequality (2.1) again on the integral
with , , , , and , we see that
where is defined as in (2.10). Substituting (2.19), (2.22), (2.23) and (2.24) into (2.18) and canceling the term , we have
which is the desired inequality (2.12). The proof of (2.13) is similar to the proof of (2.12) by using integration by parts, is replaced by and , , and which are defined in (2.11) instead of the constants , , and . The proof is complete. □
In the following, we apply a special case of an inequality with two functions proved by Agarwal and Pang [25]. In this case and will be replaced by and defined below. This inequality is given in the following theorem.
Theorem 2.3 [25]
Let, be non-negative measurable functions onand () but fixed. Ifsuch that, , is absolutely continuous on, then
where
Ifsuch that, , is absolutely continuous on, then (2.25) holds withis replaced bywhere
Now we apply the inequality (2.25). Suppose that the solution of (1.2) satisfies . Applying the inequality (2.25) with , and on the term , we obtain
where
If instead , then (2.26) holds where is replaced by
Using and instead of and in the proof of Theorem 2.2, we obtain the following result.
Theorem 2.4Suppose thatyis a nontrivial solution of (1.2). Ifforand, then
where. Ifforand, then
where.
If the function is non-increasing on , then
and
Substituting these last two inequalities into Theorem 2.4, we have the following result.
Theorem 2.5Assume thatis a non-increasing function. Ifyis a nontrivial solution of (1.2) which satisfiesforand, then
If insteadforand, then
In the following, we apply an inequality due to Boyd [26] to obtain new results. The Boyd inequality states that if with (or ), then
where , , ,
and
Note that an inequality of type (2.27) also holds when . Choose and apply (2.27) to and and then add to obtain
where is defined as in (2.28). An inequality of type (2.27) holds when when (or ). In this case, equation (2.27) becomes
where
and Γ is the gamma function. To apply (2.30) on the term
we first apply the Schwarz inequality
to get that
Now, we apply the inequality (2.30) on the integral with (note that ). This gives us that
where we assumed that is a non-increasing function. Substituting (2.34) into (2.33), we have
Applying the inequality (2.6) on the integral , where , we see that
This implies that
where . If we replace by , then (2.35) becomes
where .
Using the inequalities (2.34) and (2.36) and proceeding as in the proof of Theorem 2.4, we obtain the following result.
Theorem 2.6Assume thatis a non-increasing function. Ifyis a nontrivial solution of (1.2) such thatforand, then
where. If insteadforand, then
where.
Remark 1 In Theorem 2.6, if , then the term changes to . We note also that the inequalities in Theorem 2.6 hold for any antiderivative Q. Note
the minimum being attained at . Now, one can use this in Theorem 2.6 to obtain the following.
Corollary 2.1Assume that the hypotheses of Theorem 2.6 hold. Ifforand, then
If insteadforand, then
Theorem 2.7Suppose thatyis a nontrivial solution of (1.2) andis the antiderivative ofq. If
then
whereAis defined as in (2.9).
Proof Multiplying (1.2) by and integrating by parts the left-hand side twice and using (2.37), we have
Using the assumption , we get that
Integrating by parts the term , we see that
Using the assumption , we see that
Integrating by parts the term , we see that
Using the assumption , we see that
Substituting (2.41) and (2.42) into (2.40), we have
Applying the inequality (2.25) on the integral
with , and , we see that
where . Applying the inequality (2.6), we see that
Substituting (2.44) and (2.45) into (2.43), we have
which is the desired inequality (2.38). The proof is complete. □
Remark 2 One could consider the condition instead of in the proof of Theorem 2.8. In this case, the term is replaced by , and also the term is replaced by .
By using instead of in the proof of Theorem 2.7, we have the following result.
Theorem 2.8Suppose thatyis a nontrivial solution of (1.2) andis the antiderivative of. If, then
whereAis defined as in (2.9).
Remark 3 The contrapositive of the results in Theorems 2.7 and 2.8 yields sufficient conditions for -disconjugacy of equation (1.2).
Remark 4 One can consider the boundary conditions , which correspond to a beam hinged or supported at both ends. The proof is similar to the proof of Theorem 2.7. The details are left to the interested reader.
3 Examples
The following examples illustrate the results.
Example 1 Consider the equation
where A and γ are positive constants. If is a solution of (3.1) with for , then the condition (2.46) of Theorem 2.8 reads
i.e.
Example 2 Consider the equation
where λ and α are positive constants, with , for and . Then Theorem 2.2 gives us that
so
i.e.
From this we conclude that the interval of disconjugacy is bounded below by constant times for , i.e., if is the interval of disconjugacy, then .
References
Courant R, Hilbert D I. In Methods of Mathematical Physics. Wiley, New York; 1989.
Zill DG, Wright WS, Cullen MR: Advanced Engineering Mathematics. 4th edition. Jones & Bartlett, Boston; 2011.
Ahmad S: Asymptotic properties of linear fourth order differential equations. Proc. Am. Math. Soc. 1976, 59: 45–51. 10.1090/S0002-9939-1976-0409974-2
Amara J, Vladimirov AA: On oscillation of eigenfunctions of fourth order problem with spectral parameters in the boundary conditions. J. Math. Sci. 2008, 150: 2317–2325. 10.1007/s10958-008-0131-z
Amara J: Oscillation for fourth-order differential equations with middle term. Math. Nachr. 2012, 285: 42–46. 10.1002/mana.200910082
Hou C, Cheng SS: Asymptotic dichotomy in a class of fourth-order nonlinear delay differential equations with damping. Abstr. Appl. Anal. 2009., 2009: Article ID 484158
Jaroš J: Comparison theorems for half-linear differential equations of fourth order. Acta Math. Univ. Comen. 2011, LXXX: 279–284.
Kreith K: Nonselfadjoint fourth order differential equations with conjugate points. Bull. Am. Math. Soc. 1974, 80: 1190–1192. 10.1090/S0002-9904-1974-13671-2
Peterson A: The distribution of zeros of extremal solutions of a fourth order differential equation for the n -th conjugate point. J. Differ. Equ. 1970, 8: 502–511. 10.1016/0022-0396(70)90022-7
Peterson A: Distribution of zeros of fourth order differential equations. Pac. J. Math. 1969, 30: 751–764. 10.2140/pjm.1969.30.751
Schneider LJ:Oscillation properties of the disconjugate fourth order selfadjoint differential equation. Proc. Am. Math. Soc. 1971, 28: 545–550.
Sobalová M: On oscillatory solutions of the fourth order differential equations with the middle term. Nonlinear Anal. 2001, 47: 3573–3578. 10.1016/S0362-546X(01)00477-1
Taylor WE Jr.: Asymptotic behavior of solutions of a fourth order nonlinear differential equation. Proc. Am. Math. Soc. 1977, 65: 70–72. 10.1090/S0002-9939-1977-0445063-X
Taylor WE Jr.: Qualitative properties of solutions of certain fourth order linear differential equations. Int. J. Math. Math. Sci. 1981, 4: 763–774. 10.1155/S0161171281000598
Taylor WE Jr.: On the oscillatory and asymptotic behavior of solutions of a certain fourth order linear differential equation. Hiroshima Math. J. 1977, 7: 667–674.
Taylor WE Jr.: Oscillation criteria for certain nonlinear fourth order equations. Int. J. Math. Math. Sci. 1983, 6(3):551–557. 10.1155/S0161171283000502
Zhang M, Sun J, Ao J: Oscillation criteria of a class of fourth order differential equations. Math. Methods Appl. Sci. 2012. doi:10.1002/mma.1583
Brown R, Hinton D: Lyapunov inequalities and their applications. In Survey on Classical Inequalities. Edited by: Rassias T. Kluwer Academic, Dordrecht; 2000:1–25.
Clark S, Hinton D: Some disconjugacy criteria for differential equations with oscillatory coefficients. Math. Nachr. 2005, 278: 1476–1489. 10.1002/mana.200410316
Saker SH: Lyapunov’s type inequalities for fourth order differential equations. Abstr. Appl. Anal. 2012., 2012: Article ID 795825. doi:10.1155/2012/795825
de la Valle Poussin C: Sur l ’equation differentielle du second ordre. J. Math. Pures Appl. 1929, 9: 125–144.
Agarwal RP, Pang PYH: Opial Inequalities with Applications in Differential and Difference Equations. Kluwer Academic, Dordrecht; 1995.
Kufner A, Persson L-E: Weighted Inequalities of Hardy Type. World Scientific, River Edge; 2003.
Kufner A, Maligranda L, Persson L-E: The Hardy Inequalities: About Its History and Some Related Results. Vydavatelský Servis, Pilsen; 2007.
Agarwal RP, Pang PYH: Sharp Opial-type inequalities involving higher order derivatives of two functions. Math. Nachr. 1995, 174: 5–20. 10.1002/mana.19951740102
Boyd D: Best constants in class of integral inequalities. Pac. J. Math. 1969, 30: 367–383. 10.2140/pjm.1969.30.367
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interest.
Authors’ contributions
Each author contributed equally to the paper. All authors read and approved the final version.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Saker, S.H., Agarwal, R.P. & O’Regan, D. Properties of solutions of fourth-order differential equations with boundary conditions. J Inequal Appl 2013, 278 (2013). https://doi.org/10.1186/1029-242X-2013-278
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2013-278