Abstract
This paper studies the boundary value problem for a fourth-order difference equation with three quasidifferences. The new existence criterion of at least one solution to the issues considered is obtained using the theory of variational methods. The main result is illustrated in some examples.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \({{\mathbb {N}}}\), \({{\mathbb {Z}}}\), \({{\mathbb {R}}}\) denote the set of positive integers, all integers, and real numbers, respectively. We consider the existence of solutions to the following boundary value problem (BVP) for the fourth-order difference equation with quasidifferences of the form
where
and \(t \in [1,T]_{{{\mathbb {Z}}}}\), with the following boundary value conditions
Here T is a natural number greater or equal to 2. We denote the forward difference operator defined in a standard way
Moreover, we assume that functions \(p_{1}, p_{2}, q, r, f: [1, T]_{{\mathbb {Z}}}\rightarrow {{\mathbb {R}}}\) satisfy
and
Our interests are focused on the widespread problem related to fourth-order equations, namely the existence of a solution to the boundary problem for a fourth-order equation. Those kinds of problems are generally of considerable practical importance. Such equations arise in many areas of science and technology, such as boundary value problems for the deflection of a horizontal beam. The beam equation is widely used in engineering, primarily civil and mechanical engineering, to determine the deflection or strength of a bending beam. Notice that various beam theories can be used to describe the motion of the beam.
Fourth-order ordinary differential equation (ODE) is a tool to predict the deflection for a beam problem, bending moment, modeling of viscoelastic flows, and soil settlement. For this reason, vast literature deals with the existence and the multiplicity of solutions for such a problem.
Yao [1] established several local existence theorems concerned with positive solutions for a fourth-order two-point boundary value problem, where the nonlinear term may be singular. The problem describes the deflection of an elastic beam rigidly fastened on the left and supported on the right. Khanfer and Bougoffa [2] established an existence and uniqueness theorem for the nonlocal fourth-order nonlinear beam differential equations with a parameter.
Galewski et al. [3, 4] investigated a fourth-order Dirichlet problem connected with the elastic beam equation with supported ends via a direct variational approach. Bonanno and Bella [5] presented multiplicity results for a fourth-order nonlinear boundary value problem. The existence of at least one nontrivial solution to a boundary value problem for fourth-order elastic beam equations is established by Bonanno et al. [6] based on a local minimum theorem for differentiable functionals. Grossinhoa et al. [7] considered the existence and multiplicity of nontrivial periodic solutions for a semilinear fourth-order equation arising in studying spatial patterns for bistable systems using variational tools such as the Brezis-Nirenberg Theorem and Clark Theorem. Moghadam [8] established the existence of a nontrivial solution for a class of fourth-order elastic beam equations involving Lipschitz non-linearity with Navier boundary value condition using variational methods. The author ensured the exact collections of the parameters in which the problem possesses at least a nontrivial solution. Drábek and Holubová [9] showed that the usual limitations on the coefficient in the linear problem with Navier boundary conditions are not necessary to get the existence of positive or negative solutions whenever the coefficient is a nonconstant function.
In our considerations, we deal with the fourth-order discrete equation, which could describe the case where the beam is fixed at both ends, it means the boundary conditions for a cantilevered beam are given. However, more is needed to know about the existence of solutions to such boundary value problems. He and Yu [10] considered the existence of positive solutions of fourth-order difference equation
satisfying the boundary conditions
Using a symmetric Green’s function approach, Anderson and Minhós [11] presented various existence, multiplicity, and nonexistence results for nontrivial solutions to a nonlinear discrete fourth-order Lidstone boundary value problem
with dependence on two parameters.
Ma et al. [12] investigated the existence of positive solutions to the nonlinear boundary value problem of fourth-order difference equation
The authors’ approaches are based on the Krein-Rutman Theorem and Global Bifurcation Theorem.
In [13], Sang et al. presented sufficient conditions for the existence and uniqueness of positive solutions for a discrete fourth-order beam equation under Lidstone boundary conditions of the form
By using the critical point theory, Huang and Zhou [14] established various sets of sufficient conditions on the nonexistence and existence of solutions for the boundary value problem
In 2019, Heidarkhani et al. [15] obtained the multiplicity results for discrete fourth-order boundary value problem with four parameters
By employing two critical point theorems, one due to Averna and Bonanno, and another one due to Bonanno, the authors guarantee the existence of two and three solutions for the problem.
Ousbika and El Allali [16] proved the existence of three solutions for the discrete nonlinear fourth-order boundary value problem
with four parameters. The methods used in the proofs are based on the critical point theory.
In 2022, Dhar and Kong, in [17], by using variational methods and critical point theory, obtained criteria for the existence of at least three solutions for a generalized fourth-order nonlinear difference equation together with periodic boundary conditions of the form
Long and Zhang [18], by combining the method of the invariant sets of descending flow with variational technique, gave a series of criteria in terms of different values of \(\lambda \) to ensure that a discrete fourth-order Lidstone problem with three parameters
possesses at least four solutions. It is further shown that these four solutions consist of one sign-changing solution, one positive solution, one negative solution and one trivial solution.
For the background of the higher-order difference equations, see [19,20,21]. For the theory of variational methods, see [22, 23] and the references therein.
Compared to the previous results, our results concern a more general equation than in the earlier studied boundary problems since a second sequence was introduced to the quasidifference of the fourth-order, while earlier studies dealt with boundary problems with one sequence in this quasidifference.
The remainder of the paper is organized as follows. In Sect. 2, we describe the variational structure. In Sect. 3, we state and prove the existence and uniqueness of a solution to the problem. Several examples are provided in Sect. 4 to demonstrate our main results. The last section is a conclusion.
2 Variational Structure
The variational method will be applied to show the existence of solutions to BVP (1), (2). That is why we should introduce a suitable variational structure.
Let H be a vector space defined by
Rewriting the conditions given by (2) as follows
we obtain that H is isomorphic to \({{\mathbb {R}}}^T\) and can be equipped with the scalar product and norm defined in the standard way, i.e., for \(x,y\in H\)
and
Let us define the functional on H in the following way
If g is a locally integrable function on \({{\mathbb {R}}}\), then \(F\in C^{1}(H, {{\mathbb {R}}})\) and it is easy to check that
It means that \( \frac{\partial F}{\partial x(t)} =0\) if and only if the Eq. (1) holds. In other words, function \(x\in H\) is a solution of the BVP given by (1), (2) if and only if x is a critical point of the functional F on H.
We can rewrite the functional F using the matrix notation. Let A and B be square matrices of the size T defined as follows. For \(T = 2\), let
and
For \(T = 3\), let
where
For \(T= 4\), let
where
For \(T\ge 5\), let
where
\(k=1,2,\ldots , T\).
For \(T\ge 3\), let
Introducing \(M:=A+B\), we are in a position to rewrite the functional F as follows
whereby \(x^{*}\) we denote the transpose of a vector x. One can easily check the following property of matrices A and M.
Notice 1
For each row of the matrix A, its elements’ sum equals zero.
Proof
For \(T=2\), the thesis is obvious. Let us now consider the case \(T\ge 5\). Since, by assumption (3), the following equalities hold
then from the definition of matrix A, we obtain that
for \(k= 0,1, \ldots , T-1\). Here \(\sum _{j=1}^{T} a_{T+1,j}\) denotes \(\sum _{j=1}^{T} a_{1j}\). Let us rewrite the above sum as follows
where
which ends the proof in this case.
For \(T=3,4\), we can show the thesis by similar direct calculations. To illustrate that, let us consider the first row of the matrix A when \(T=3\). The sum of its elements can be written as follows
where
\(\square \)
Having the above fact, we immediately conclude that the same property is also valid for matrix M.
Notice 2
For each row of the matrix M, the elements’ sum equals 0.
Lemma 1
Assume that \(p_{1}(t) \ge 0, p_{2}(t) \ge 0, q(t)\ge 0\) for any \(t\in [1,T]_{{{\mathbb {Z}}}}\). Then M is positive semidefinite matrix.
Proof
Let \(x \in {\mathbb {R}}^T\) and let \(x^*\) denote its transpose.
For \(T =2,3,4\), it is easy to check that A and B are positive semidefinite matrices by direct calculations.
For \(T\ge 5\), we have
2
and
The sum of any two positive semidefinite matrices of the same size is positive semidefinite. Hence, M is the positive semidefinite matrix for any T. \(\square \)
In 2009, Stehlík in Lemma 1 [24] showed that matrix A is positive semidefinite, but his proof is based not on the definition but Gerschgorin Circle Theorem.
3 Main Results
As we mentioned, the critical point of the functional F is a solution of BVP given by (1), (2). Therefore, let us recall the following suitable result.
Theorem 1
Let H be a Hilbert space. Let \(F:H \rightarrow {{\mathbb {R}}}\) be a weakly sequentially lower semi-continuous and weakly coercive functional. Then F is bounded from below on H and there exists \(x_{0}\in H\) such that \(F(x_{0})=\min F(x)\). Moreover, if the Frechet derivative exists, then
Theorem 2
Assume that the following conditions hold
- (A0):
-
\(p_{1}(t)> 0, p_{2}(t)> 0, q(t)\ge 0\) for \([1,T]_{{{\mathbb {Z}}}}\),
- (A1):
-
r is a positive function on \([1,T]_{{{\mathbb {Z}}}}\),
- (A2):
-
\(g\in L^{1}_{loc}({{\mathbb {R}}})\) and there exists constant \(\alpha > 0\) such that for any \(w\in {{\mathbb {R}}} \) the function g satisfies
$$\begin{aligned} \int \nolimits _{0}^{w}g(s)ds \ge \alpha w^{2}. \end{aligned}$$
Proof
As we observe, the integrability of function g yields that the functional F is continuous. That is why it only remains to show the weak coercivity of the functional F. Since matrix M is positive semidefinite, we have that for any \(x\in H\) we have \(x^{*}M x \ge 0\), then
where
The Hölder inequality gives us
Applying the above and the assumption (A2) with \(\alpha >0\), we get
Finally, by assumption (A1) we know that \(r_{min}>0\) and it implies that the functional F is weakly coercive, which by Theorem 1 ends the proof. \(\square \)
To obtain the uniqueness of the solution, let us recall the following theorem.
Theorem 3
If, in addition to assumptions of Theorem 1, the functional F is continuous and strictly convex, then \(x_{0}\) satisfying (7) is uniquely determined.
The above theorem will be crucial in proving the uniqueness of the solution to the BVP.
Theorem 4
If assumptions (A0)-(A2) hold and (A3) g is strictly increasing function, then there exists a unique solution to the BVP (1), (2).
Proof
To apply Theorem 3, we have to prove that the functional F given by (6) is strictly convex. Since M is positive semidefinite, we can conclude that \( x^{*}M x\) is convex. Obviously, the sum \(\sum _{t=1}^{T} f(t) x(t)\) is linear function of x, so in particular is convex. Note that the functional F is strictly convex if the functional
is strictly convex. And that is what is only left to show. Now let us introduce notation \({\widetilde{g}}(w)=\int _{0}^{w}g(s)ds\). The assumption (A3) implies that \({\widetilde{g}}\) is strictly convex. Hence, for any \(x,y\in H\) and \(u\in (0,1)\) we have
\(\square \)
Corollary 1
Assume that \(p_{1}(t) \ge 0, p_{2}(t) \ge 0, q(t)\ge 0\) for any \(t\in [1,T]_{{{\mathbb {Z}}}}\). If for any \(t\in [1,T]_{{{\mathbb {Z}}}}\) there exists \(g^{-1}(f(t))\) and conditions (A1)-(A3) hold, then the thesis of Theorem 4 is satisfied.
Remark 1
If in Theorem 4 condition (A0) is replaced by
the thesis of Theorem 4 holds.
Remark 2
If in Theorem 4 condition (A0) and (A1) are replaced by
and
respectively, the thesis of Theorem 4 also holds.
Notice that presented here Theorems 3 and 4 improved and generalized the results published by Liu, Zhou and Shi [25] in 2018. Taking \(p_1 \equiv 1\), \(p_2(t)= p(t)\) for \(t \in [1,T]_{{\mathbb {Z}}}\), and \(g(t)\equiv t\) for \(t \in {{\mathbb {R}}}\) we obtain Theorem 3 from that paper. So more, condition (M) from Theorem 3 [25] is always satisfied as a particular case of our Notice 2, and condition (27) is redundant.
4 Examples
In the last section, we present six examples.
Example 1
Consider the difference equation
where
with \(T=4\). One can check that all assumptions of the Theorem 4 hold (with \(p_1 \equiv 1\), \(p_2 \equiv 1\), \(q \equiv 1\) and \(r \equiv 1\)). It is easy to verify that \(x(1)=0,\,x(2)=0,\,x(3)=1,\,x(4)=0\) is a solution of equation (8). Here function \(g(x)=2x+\root 3 \of {x}\) is a strictly increasing function, thus the given solution is the unique solution of the considered BVP.
Example 2
For \(T=5\) consider Eq. (1) with coefficients
satisfying assumptions (A0), and
We have
and positive semidefinite matrix
Note that all assumptions of Theorem 2 hold. Moreover, one can check that one of the solutions of the boundary value problem (1), (2) is \(x(1)=3, x(2)=4, x(3)=5, x(4)=1, x(5)=2\).
Example 3
Let \(T=7\), and assume the following coefficients of equation (1)
and
Then
and
All assumptions of Theorem 2 hold (for \(\alpha =\frac{1}{2}\)). The solution of considered BVP is \(x(1)=4\), \(x(2)=2\), \(x(3)=1\), \(x(4)=2\), \(x(5)=1\), \(x(6)=3\), \(x(7)=2\). Since function g is strictly increasing function, thus the solution is unique.
Example 4
Consider Eq. (1) for \(T=100\), taking \(p_1(t)=2+\sin {\frac{2\pi t}{100}}\), \(p_2(t)=2+\cos {\frac{2\pi t}{100}}\), \(q(t)=1-2t(t-100)\), \(g(t)=4t^3+t\), \(r(t)=t^2\), \(f(t)=-34t^2\).
The elements of matrices A and B are given by
It is easy to verify that the assumptions of Theorem 4 hold and \(x(t)=2\) is the unique solution to BVP.
Example 5
Consider Eq. (1) for \(T=1000\), where \(p_1(t)=5+(-1)^t\), \(p_2(t)=2+(-1)^t\), \(q(t)\equiv 0\), \(g(t)=t\), \(r(t)=320\), \(f(t)=640 \cos (t \pi )-1600\). Here
for \(k=1,2,\ldots , 1000\). The assumptions of Theorem 4 hold and \(x(t)=5+(-1)^{t+1}\) is the unique solution to the considered equation.
Example 6
Consider Eq. (1) where \(T=10,000\), \(p_1(t)=p_2(t)=q(t)=r(t)\equiv 1\), \(g(t)=t^{10001}+t\), \(f(t)=22\cos ((t+1)\pi )\). Here \( m(k) = 6, n(k)= -4, p(k) = 1\) for \(k=1,2,\ldots , 10,000.\) It is easy to verify that the assumptions of Theorem 4 hold and \(x(t)=(-1)^t\) is the unique solution to the considered problem.
5 Conclusion
This paper studies the boundary value problem (1), (2). We obtain sufficient conditions for the existence and uniqueness of a solution to consider BVP using variational methods. Our results concern a more general equation than in the earlier studied boundary problems since we introduce a second sequence to the quasidifference of the fourth-order. At the same time, earlier studies dealt with boundary problems with one sequence in this quasidifference. The examples illustrate the presented results.
An interesting topic is a possibility of generalizing the presented results to equations of higher-orders with one or more quasidifferences. The issues of providing sufficient conditions for the existence of the BVP solution with the imposition of other assumptions on nonlinear functions than those assumed in this work also require further research.
References
Yao, Q.: Positive solutions of a nonlinear elastic beam equation rigidly fastened on the left and simply supported on the right. Nonlinear Anal. 69, 1570–1580 (2008)
Khanfer, A., Bougoffa, L.: On the fourth-order nonlinear beam equation of a small deflection with nonlocal conditions. AIMS Math. 6, 9899–9910 (2021)
Galewski, M.: On the nonlinear elastic simply supported beam equation. An. Ştiinţ Univ. Ovidius Constanţa Ser. Mat. 19, 109–120 (2011)
Galewski, M., Smejda, J.: A note on a fourth order discrete boundary value problem. Opuscula Math. 32, 115–123 (2012)
Bonanno, G., Di Bella, B.: A boundary value problem for fourth-order elastic beam equations. J. Math. Anal. Appl. 343, 1166–1176 (2008)
Bonanno, G., Di Bella, B., O’Regan, D.: Non-trivial solutions for nonlinear fourth-order elastic beam equations. Comput. Math. Appl. 62, 1862–1869 (2011)
Grossinho, M.R., Sanchez, L., Tersian, S.A.: On the solvability of a boundary value problem for a fourth-order ordinary differential equation. Appl. Math. Lett. 18, 439–444 (2005)
Moghadam, K.: Existence of a non-trivial solution for fourth-order elastic beam equations involving Lipschitz non-linearity. Cogent Math. 3, 1–12 (2016)
Drábek, P., Holubová, G.: Positive and negative solutions of one-dimensional beam equation. Appl. Math. Lett. 51, 1–7 (2016)
He, Z., Yu, J.: On the existence of positive solutions of fourth-order difference equations. Appl. Math. Comput. 161, 139–148 (2005)
Anderson, D.R., Minhós, F.: A discrete fourth-order Lidstone problem with parameters. Appl. Math. Comput. 214, 523–533 (2009)
Ma, R., Li, J., Gao, C.: Existence of positive solutions of a discrete elastic beam equation. Discrete Dyn. Nat. Soc. (2010). https://doi.org/10.1155/2010/582919
Sang, Y., Wei, Z., Dong, W.: Existence and uniqueness of positive solutions for discrete fourth-order Lidstone problem with a parameter. Adv. Diff. Equ. (2010). https://doi.org/10.1155/2010/971540
Huang, S., Zhou, Z.: On the Nonexistence and existence of solutions for a fourth-order discrete boundary value problem. Adv. Diff. Equ. (2009). https://doi.org/10.1155/2009/389624
Heidarkhani, S., Afrouzi, G., Salari, A., Caristi, G.: Discrete fourth-order boundary value problems with four parameters. Appl. Math. Comput. 346, 167–182 (2019)
Ousbika, M., El Allali, Z.: Existence of three solutions to the discrete fourth-order boundary value problem with four parameters. Bol. Soc. Paran. Mat. 38, 177–189 (2020). https://doi.org/10.5269/bspm.v38i2.34832
Dhar, S., Kong, L.: Existence of multiple solutions to a discrete fourth order periodic boundary value problem via variational method. Diff. Equ. Dyn. Syst. 30, 861–872 (2022). https://doi.org/10.1007/s12591-018-0432-8
Long, Y., Zhang, Q.: Sign-changing solutions of a discrete fourth-order Lidstone problem with three parameters. J. Appl. Anal. Comput. 12, 1118–1140 (2022). https://doi.org/10.11948/20220148
Agarwal, R.P., Bohner, M., Grace, S.R., O’Regan, D.: Discrete Oscillation Theory. Hindawi Publ. Corp, New York (2005)
Agarwal, R.P., Grace, S.R., O’Regan, D.: Oscillation Theory for Difference and Functional Differential Equations. Kluwer Academic Publishers, Dordrecht (2000)
Agarwal, R.P., Wong, P.J.Y.: Advanced Topics in Difference Equations, vol. 404 of Mathematics and Its Applications, Kluwer Academic Publishers, Dordrecht, The Netherlands (1997)
Rabinowitz, P.H.: Minimax Methods in Critical Point Theory with Applications to Differential Equations, vol. 65. American Mathematical Society, Providence, RI, USA (1986)
Drábek, P., Milota, J.: Methods of Nonlinear Analysis. Applications to Differential Equations, Vydavatelský Servis, Plzen (2004)
Stehlík, P.: On variational methods for second order discrete periodic problems. Adv. Stud. Pure Math. 53, 339–346 (2009)
Liu, X., Zhou, T., Shi, H.: Existence of solutions to boundary value problems for a fourth-order difference equation. Discrete Dyn. Nat. Soc. (2018). https://doi.org/10.1155/2018/5278095
Acknowledgements
This research did not receive any specific grant from funding agencies in the public, commercial, or not-for-profit sectors.
Author information
Authors and Affiliations
Contributions
ES gives the main idea of this work. UO, ES, and MZ obtained the presented results’ proof in close collaboration. UO and MZ wrote the main manuscript text and ES introduction and examples. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
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 licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ostaszewska, U., Schmeidel, E. & Zdanowicz, M. Existence of Solutions to Nonlinear Fourth-Order Beam Equation. Qual. Theory Dyn. Syst. 22, 92 (2023). https://doi.org/10.1007/s12346-023-00789-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12346-023-00789-w