1 Introduction and main results

In this paper we discuss the existence of solution for the fully fourth-order boundary value problem (BVP)

$$ \textstyle\begin{cases} u^{(4)}(x)=f(x, u(x), u'(x), u''(x), u'''(x)), \quad x\in [0, 1], \\ u(0)=u'(0)=u''(1)=u'''(1)=0 , \end{cases} $$
(1.1)

where \(f:[0, 1]\times {\mathbb{R}}^{4}\to {\mathbb{R}}\) is continuous. This problem models deformations of an elastic beam in equilibrium state, whose one end-point is fixed and the other one is freed. In mechanics, the problem is called cantilever beam equation, and in the equation, the physical meaning of the derivatives of the deformation function \(u(x)\) is as follows: \(u^{(4)}\) is the load density stiffness, \(u'''\) is the shear force stiffness, \(u''\) is the bending moment stiffness, and \(u'\) is the slope, see [1,2,3,4].

For the special case of BVP (1.1) that f does not contain any derivative terms, namely the boundary value problem

$$ \textstyle\begin{cases} u^{(4)}(t)=f(x, u(x)),\quad x\in [0, 1], \\ u(0)=u'(0)= u''(1)=u'''(1)=0, \end{cases} $$
(1.2)

and f only contains first-order derivative term \(u'\), namely the boundary value problem

$$ \textstyle\begin{cases} u^{(4)}(x)=f(t, u(x), u'(x)),\quad x\in [0, 1], \\ u(0)=u'(0)= u''(1)=u'''(1)=0, \end{cases} $$
(1.3)

the existence of solutions has been discussed by some authors, see [5,6,7,8,9]. In References [5,6,7], BVP (1.2) appears as a special case of the \((p, n-p)\) focal boundary value problems for \(p=2\) and \(n=4\). For the cantilever beam equation with a nonlinear boundary condition of third-order derivative

$$ \textstyle\begin{cases} u^{(4)}(x)=f(x, u(x), u'(x)),\quad x\in [0, 1], \\ u(0)=u'(0)= u''(1)=0,\qquad u'''(1)=g(u(1)), \end{cases} $$
(1.4)

the existence of solution has also been discussed by some authors, see [10,11,12,13]. The boundary condition in (1.4) means that the left end of the beam is fixed and the right end of the beam is attached to an elastic bearing device, see [10]. The methods applied in these works are not applicable to BVP (1.1) since they do not deal with the derivative terms \(u''\) and \(u'''\).

The purpose of this paper is to obtain existence results of solutions to the fully fourth-order BVP (1.1). For fourth-order BVPs with the boundary condition in BVP (1.1) or other boundary conditions, the existence of solutions has been discussed by several authors, see [14,15,16,17,18,19,20,21,22,23,24]. In [14], Kaufmann and Kosmatov considered a symmetric fully fourth-order nonlinear boundary value problem on \([-1, 1]\). They used a triple fixed point theorem of cone mapping to obtain existence results of triple positive symmetric solutions under f satisfying some range conditions dependent upon tree positive parameters a, b, and d. Minhós, Gyulov, and Santos [15] used the method of lower and upper solutions to discuss the existence of a fully fourth-order boundary value problem with a boundary condition different from BVP (1.1) as the discussed problem has a pair of ordered lower and upper solutions. Under the case that \(f(x, y_{0}, y_{1}, y_{2}, y_{3})\) is linear and sublinear growth on \(y_{0}\), \(y_{1}\), \(y_{2}\), \(y_{3}\), Li and Liang [16] discussed the existence of the following fully fourth-order boundary value problem:

$$ \textstyle\begin{cases} u^{(4)}(x)=f(x, u(x), u'(x), u''(x), u'''(x)), \quad x\in [0, 1], \\ u(0)=u(1)=u''(0)=u''(1)=0, \end{cases} $$
(1.5)

which models a statically bending elastic beam whose two ends are simply supported. In this case, using the method in [16], one can obtain existence results for BVP (1.1). Usually the superlinear problems are more difficult to treat than the sublinear problems. In [17], the author discussed the case that \(f(x, y_{0}, y_{1}, y_{2}, y_{3})\) may be superlinear growth on \(y_{0}\), \(y_{1}\), \(y_{2}\), \(y_{3}\), when nonlinearity f is nonnegative by the fixed point index theory in cones. In this paper we shall discuss the general case that f may be superlinear growth and have negative value. Our results are as follows.

Theorem 1.1

Assume that \(f: [0, 1]\times {\mathbb{R}}^{4}\to {\mathbb{R}}\) is continuous and it satisfies the following conditions:

(F1):

There exist constants \(a_{0}, a_{1}, a_{2}, a_{3}\ge 0\) satisfying \(\frac{a_{0}}{8}+\frac{a_{1}}{4}+\frac{a_{2}}{2}+a_{3}<1\) and \(b>0\) such that

$$ -f(x, y_{0}, y_{1}, y_{2}, y_{3}) y_{2}\le a_{0} y_{0}^{2}+a _{1} y_{1}^{2}+a_{2} y_{2}^{2}+a_{3}y_{3}^{2}+b $$

for all \((x, y_{0}, y_{1}, y_{2}, y_{3})\in [0, 1]\times {\mathbb{R}} ^{4}\);

(F2):

Given any \(M>0\), there is a positive continuous function \(\phi _{M}(r)\) defined on \({\mathbb{R}}^{+}\) satisfying

$$ \int _{0}^{+\infty }\frac{r\,\mathrm{d}r}{ \phi _{M}(r)}=+\infty $$
(1.6)

such that

$$ \bigl\vert f(x, y_{0}, y_{1}, y_{2}, y_{3}) \bigr\vert \le \phi _{M}\bigl( \vert y_{3} \vert \bigr) $$
(1.7)

for any \(x\in [0, 1]\), \(|y_{0}|, |y_{1}|, |y_{2}|\le M\), \(y_{3} \in {\mathbb{R}}\).

Then BVP (1.1) has at least one solution.

In Theorem 1.1, Condition (F1) is easy to be verified and it allows \(f(x, y_{0}, y_{1}, y_{2}, y_{3})\) be superlinear growth on \(y_{0}\), \(y_{1}\), \(y_{2}\), \(y_{3}\). Condition (F2) is a Nagumo-type growth condition on \(y_{3}\) which restricts f on \(y_{3}\) to be at most quadric growth. This Nagumo-type condition is different from the one (F0) presented in [17], in which (F0) is a Nagumo-type growth condition on \(y_{2}\) and \(y_{3}\), and (F2) is weaker than (F0). An applied example of Theorem 1.1 will be given at the end of the paper. Strengthening Condition (F1) of Theorem 1.1, we can obtain the following uniqueness result.

Theorem 1.2

Assume that \(f: [0, 1]\times {\mathbb{R}}^{4}\to {\mathbb{R}}\) is continuous and it satisfies (F2) and the following condition:

(F3):

There exist constants \(a_{0}, a_{1}, a_{2}, a_{3}\ge 0\) satisfying \(\frac{a_{0}}{8}+\frac{a_{1}}{4}+\frac{a_{2}}{2}+a_{3}<1\) and \(b>0\) such that

$$ -\bigl[f(x, y_{0}, y_{1}, y_{2}, y_{3})-f(x, z_{0}, z_{1}, z_{2}, z_{3})\bigr] (y_{2}-z_{2})\le \sum _{i=0}^{3} a_{i}(y_{i}-z_{i})^{2} $$

for all \((x, y_{0}, y_{1}, y_{2}, y_{3}), (x, z_{0}, z_{1}, z_{2}, z _{3})\in [0, 1]\times {\mathbb{R}}^{4}\).

Then BVP (1.1) has a unique solution.

In Condition (F3), by choosing \(z_{0}=z_{1}=z_{2}=z_{3}=0\), it follows that (F1) holds, in which \(b=\max_{0\le x\le 1}|f(x, 0, 0, 0, 0)|\). Hence Condition (F3) is the strengthening of (F1) and Theorem 1.2 is an improvement of Theorem 1.1. The proof of Theorem 1.1 and Theorem 1.2 is based on Leray–Schauder fixed point theorem and a prior estimate method, which will be given in the next section.

2 Proof of the main results

Let \(I=[0, 1]\), \(C(I)\) denote the Banach space of all continuous functions \(u(t)\) on I with norm \(\|u\|_{C}=\max_{t\in I}|u(t)|\), \(L^{2}(I)\) be the usual Hilbert space with the inner product \((u, v)=\int _{0}^{1} u(t)v(t)\,dt\) and the norm \(\|u\|_{2}= (\int _{0}^{1}|u(t)|^{2}\,dt )^{1/2}\). Generally, for \(n\in {\mathbb{N}}\), \(C^{n}(I)\) denotes the Banach space of all nth-order continuous differentiable functions on I with the norm \(\|u\|_{C^{n}}=\max \{ \|u\|_{C}, \|u'\|_{C}, \ldots , \|u^{(n)}\|_{C}\}\), \(H^{n}(I)\) is the usual Sobolev space with the norm \(\|u\|_{n,2}= (\sum_{i=0} ^{n}{\|u^{(i)}\|_{2}}^{2} )^{1/2}\). \(u\in H^{n}(I)\) means that \(u\in C^{n-1}(I)\), \(u^{(n-1)}(t)\) is absolutely continuous on I and \(u^{(n)}\in L^{2}(I)\).

To discuss BVP (1.1), we consider the corresponding linear fourth-order boundary value problem (LBVP)

$$ \textstyle\begin{cases} u^{(4)}(x)=h(x) , \quad t\in I, \\ u(0)=u'(0)=u''(1)=u'''(1)=0 \end{cases} $$
(2.1)

with nonhomogeneous term \(h\in L^{2}(I)\).

Lemma 2.1

For every \(h\in L^{2}(I)\), LBVP (2.1) has a unique solution \(u:=S h \in H^{4}(I)\), which satisfies

$$ \bigl\Vert u^{(i-1)} \bigr\Vert _{2}\le \frac{1}{\sqrt{2}} \bigl\Vert u^{(i)} \bigr\Vert _{2}, \quad i=1, 2, 3, 4. $$
(2.2)

Moreover, the solution operator \(S: L^{2}(I)\to H^{4}(I)\) is a linear bounded operator.

Proof

For any given \(h\in L^{2}(I)\), it is easy to verify that

$$ u(x)= \int _{0}^{x}(x-s) \int _{s}^{1}(t-s)h(t)\,\mathrm{d}t \,\mathrm{d}s:= \operatorname{Sh}(x), \quad x\in I, $$
(2.3)

belongs to \(H^{4}(I)\) and it is a unique solution of LBVP (2.1). By the boundary condition in BVP (2.1),

$$ u(x)= \int _{0}^{x} u'(t)\,\mathrm{d}t, \quad x\in I. $$
(2.4)

Hence, by the Hölder inequality,

$$ \bigl\vert u(x) \bigr\vert \le \int _{0}^{x} \bigl\vert u'(t) \bigr\vert \mathrm{d}t\le x^{1/2} \biggl( \int _{0} ^{x} \bigl\vert u'(t) \bigr\vert ^{2}\,\mathrm{d}t \biggr)^{1/2}\le x^{1/2} \bigl\Vert u' \bigr\Vert _{2}, \quad x\in I, $$

so we obtain that \(\|u\|_{2}\le \frac{1}{\sqrt{2}}\|u'\|_{2}\). Similarly, from the equations

$$\begin{aligned} &u'(x)= \int _{0}^{x} u''(t)\, \mathrm{d}t, \quad x\in I, \end{aligned}$$
(2.5)
$$\begin{aligned} &u''(x)=- \int _{x}^{1} u'''(t) \,\mathrm{d}t,\quad x\in I, \end{aligned}$$
(2.6)
$$\begin{aligned} &u'''(x)=- \int _{x}^{1} u^{(4)}(t)\,\mathrm{d}t,\quad x\in I, \end{aligned}$$
(2.7)

we can get that \(\|u'\|_{2}\le \frac{1}{\sqrt{2}} \|u''\|_{2}\), \(\|u''\|_{2}\le \frac{1}{\sqrt{2}} \|u'''\|_{2}\), \(\|u'''\|_{2} \le \frac{1}{\sqrt{2}} \|u^{(4)}\|_{2}\), respectively. Hence, (2.2) holds. From expression (2.3), we easily see that \(S: L^{2}(I)\to H ^{4}(I)\) is a linear bounded operator. □

When \(h\in C(I)\), \(u=\mathrm{Sh}\in C^{4}(I)\) is a classical solution of LBVP (2.1). By the compactness of the Sobolev embedding \(H^{4}(I) \hookrightarrow C^{3}(I)\), the solution operator \(S: C(I)\to C^{3}(I)\) is a completely continuous operator.

Let \(f:[0, 1]\times {\mathbb{R}}^{4}\to {\mathbb{R}}\) be continuous. Define a mapping \(F: C^{3}(I)\to C(I)\) by

$$ F(u) (x):= f\bigl(x, u(x), u'(x), u''(x), u'''(x)\bigr), \quad x\in I. $$
(2.8)

By the continuity of f, \(F: C^{3}(I)\to C(I)\) is continuous. Define a composite mapping by

$$ A=S\circ F. $$
(2.9)

By the complete continuousness of \(S: C(I)\to C^{3}(I)\), \(A: C^{3}(I) \to C^{3}(I)\) is completely continuous. By the definition of the solution operator S of LBVP (2.1), the solution of BVP (1.1) is equivalent to the fixed point of A.

Proof of Theorem 1.1

Let \(A: C^{3}(I)\to C^{3}(I)\) be the completely continuous mapping defined by (2.9). Then the solution of BVP (1.1) is equivalent to the fixed point of A. We use the Leray–Schauder fixed point theorem [25] to show that A has a fixed point. For this, we consider the homotopic family of the operator equations

$$ u=\lambda A u, \quad 0< \lambda < 1. $$
(2.10)

We show that the set of solutions of Eqs. (2.10) is bounded in \(C^{3}(I)\).

Let \(u\in C^{3}(I)\) be a solution of an equation of (2.10) for \(\lambda \in (0, 1)\). Set \(h=\lambda F(u)\), then \(u=\lambda Au= \lambda S(F(u))=S(\lambda F(u))=S h\). By the definition of S, \(u=\mathrm{Sh}\) is the unique solution of LBVP (2.1). Hence \(u_{1}\in C^{4}(I)\) satisfies the differential equation

$$ \textstyle\begin{cases} u^{(4)}(x)=\lambda f(x, u(x), u'(x), u''(x), u'''(x)),\quad x\in I, \\ u(0)=u'(0)=u''(1)=u'''(1)=0. \end{cases} $$
(2.11)

Multiplying this equation by \(-u''(x)\), by Condition (F1), we have

$$\begin{aligned} -u^{(4)}(x) u''(x) =& -\lambda f\bigl(x, u(x), u'(x), u''(x), u'''(x) \bigr) u''(x) \\ \le & \lambda \bigl[a_{0}u^{2}(x)+a_{1}u^{\prime 2}(x)+a_{2}u^{\prime\prime 2}(x)+a_{3}u^{\prime\prime\prime 2}(x)+b \bigr] \\ \le & a_{0}u^{2}(x)+a_{1}u^{\prime 2}(x)+a_{2}u^{\prime\prime 2}(x)+a_{3}u^{\prime\prime\prime 2}(x)+b, \quad x\in I. \end{aligned}$$

Integrating this inequality on I, using integration by parts and the boundary condition of (2.11) for the left side and Lemma 2.1 for the right side, we have

$$\begin{aligned} { \bigl\Vert u''' \bigr\Vert _{2}}^{2} \le & a_{0} { \Vert u \Vert _{2}}^{2}+a_{1} { \bigl\Vert u' \bigr\Vert _{2}} ^{2}+a_{2} { \bigl\Vert u'' \bigr\Vert _{2}}^{2}+a_{3} { \bigl\Vert u''' \bigr\Vert _{2}}^{2}+b \\ \le & \biggl(\frac{a_{0}}{8}+\frac{a_{1}}{4}+\frac{a_{2}}{2}+a_{3} \biggr) { \bigl\Vert u''' \bigr\Vert _{2}}^{2}+b. \end{aligned}$$

From this inequality it follows that

$$ { \bigl\Vert u''' \bigr\Vert _{2}}^{2}\le \frac{b}{1-(\frac{a_{0}}{8}+\frac{a_{1}}{4}+\frac{a _{2}}{2}+a_{3})}:=M_{0}. $$
(2.12)

By this inequality and (2.2) of Lemma 2.1, we have

$$ \Vert u \Vert _{3,2}\le \Biggl(\sum_{i=0}^{3}{ \bigl\Vert u^{(i)} \bigr\Vert _{2}}^{2} \Biggr)^{1/2} \le \biggl(\frac{1}{8}+\frac{1}{4}+ \frac{1}{2}+1 \biggr)^{1/2} \bigl\Vert u''' \bigr\Vert _{2} \le 2M_{0}^{1/2}. $$
(2.13)

Hence, by the boundedness of the Sobolev embedding \(H^{3}(I) \hookrightarrow C^{2}(I)\),

$$ \Vert u \Vert _{C^{2}}\le C \Vert u \Vert _{3,2}\le 2C M_{0}^{1/2}=:M, $$
(2.14)

where C is the constant of the Sobolev embedding \(H^{3}(I) \hookrightarrow C^{2}(I)\).

For this \(M>0\), by Condition (F2), there is a positive continuous function \(\phi _{M}(r)\) on \({\mathbb{R}}^{+}\) satisfying (1.6) such that (1.7) holds. By (2.14),

$$ \bigl\vert u(x) \bigr\vert , \bigl\vert u'(x) \bigr\vert , \bigl\vert u''(x) \bigr\vert \le \Vert u \Vert _{C^{2}}\le M, \quad x\in I. $$

Hence from (1.7) it follows that

$$ \bigl\vert f\bigl(x, u(x), u'(x), u''(x), u'''(x)\bigr) \bigr\vert \le \phi _{M}\bigl( \bigl\vert u'''(x) \bigr\vert \bigr), \quad x\in I. $$
(2.15)

By (1.6), there exists \(M_{1}>M\) such that

$$ \int _{0}^{M_{1}}\frac{r \,\mathrm{d}r}{ \phi _{M}(r)}>2M. $$
(2.16)

We use (2.15) and (2.16) to show that

$$ \bigl\Vert u''' \bigr\Vert _{C}\le M_{1}. $$
(2.17)

Let \(\|u'''\|>0\). Since \(u'''(1)=0\), by the maximum theorem of continuous functions, there exists \(\xi _{0}\in [0, 1)\) such that

$$ \bigl\Vert u''' \bigr\Vert _{C}=\max_{x\in I} \bigl\vert u'''(x) \bigr\vert = \bigl\vert u'''(\xi _{0}) \bigr\vert , $$
(2.18)

and \(u'''(\xi _{0})>0\) or \(u'''(\xi _{0})<0\). We only consider the case of that \(u'''(\xi _{0})>0\), the other case can be dealt with by a similar method. Set

$$ \xi _{1}=\inf \bigl\{ x\in (\xi _{0}, 1]: u'''(x)=0\bigr\} . $$
(2.19)

Then, by the continuousness of \(u'''\), \(\xi _{1}\in (\xi _{0}, 1]\), \(u'''(\xi _{1})=0\) and

$$ u'''(x)>0,\quad x\in [\xi _{0}, \xi _{1}). $$
(2.20)

Hence, by (2.11) and (2.15), we have

$$\begin{aligned} -u^{(4)}(x) &=-\lambda f\bigl(x, u(x), u'(x), u''(x), u'''(x) \bigr) \\ &\le \bigl\vert f\bigl(x, u(x), u'(x), u''(x), u'''(x)\bigr) \bigr\vert \\ &\le \phi _{M}\bigl(u'''(x) \bigr),\quad x\in [\xi _{0}, \xi _{1}]. \end{aligned}$$

From this it follows that

$$ -\frac{ u'''(x) u^{(4)}(x) }{\phi _{M}(u'''(x))}\le u'''(x), \quad x \in [\xi _{0}, \xi _{1}]. $$
(2.21)

Integrating both sides of this inequality on \([\xi _{0}, \xi _{1}]\) and making the variable transformation \(r=u'''(x)\) for the left side, we have

$$ \int _{0}^{u'''(\xi _{0})}\frac{r \,\mathrm{d}r}{ \phi _{M}(r)}\le u''( \xi _{1})-u''( \xi _{0})\le 2 \bigl\Vert u'' \bigr\Vert _{C}\le 2 \Vert u \Vert _{C^{2}}\le 2M. $$
(2.22)

From this inequality and (2.16) it follows that \(u'''(\xi _{0})\le M _{1}\). Hence by (2.18), \(\|u'''\|_{C}=u'''(\xi _{0})\le M_{1}\), namely (2.17) holds.

Now from (2.14) and (2.17), we conclude that

$$ \Vert u \Vert _{C^{3}}=\max \bigl\{ \Vert u \Vert _{C^{2}}, \bigl\Vert u''' \bigr\Vert _{C}\bigr\} \le M_{1}. $$
(2.23)

This means that the set of the solutions of Eqs. (2.10) is bounded in \(C^{3}(I)\). By the Leray–Schauder fixed point theorem [18], A has a fixed point in \(C^{3}(I)\), which is a solution of BVP (1.1).

The proof of Theorem 1.1 is completed. □

Proof of Theorem 1.2

Let \(b=\max \{ |f(x,0,0,0,0)|: x \in I \}+1\). In Condition (F3), choosing \(z_{0}=z_{1}=z_{2}=z_{3}=0\), we conclude that (F1) holds. Hence, by Theorem 1.1, BVP (1.1) has at least one solution.

Let \(u_{1}, u_{2}\in C^{4}(I)\) be two solutions of BVP (1.1). Set \(u=u_{2}-u_{1}\) and \(h=F(u_{2})-F(u_{1})\). Then \(u=u_{2}-u_{1}=Au_{2}-Au _{2}=S(F(u_{2}))-S(F(u_{2}))=\mathrm{Sh}\). Hence u is a solution of LBVP (2.1), and it satisfies the equation

$$ u^{(4)}(x)= F(u_{2}) (x)-F(u_{1}) (x), \quad x\in I. $$
(2.24)

Multiplying this equation by \(-u''(x)=-({u_{2}}''(x)-{u_{1}}''(x))\), by Condition (F3) we obtain that

$$\begin{aligned} -u^{(4)}(x)u''(x) =& -\bigl[F(u_{2}) (x)-F(u_{1}) (x)\bigr]\bigl({u_{2}}''(x)-{u_{1}}''(x) \bigr) \\ \le & \sum_{i=0}^{3} a_{i} \bigl(u_{2}^{(i)}(x)-u_{1}^{(i)}(x) \bigr)^{2} \\ =& \sum_{i=0}^{3} a_{i} \bigl(u^{(i)}(x)\bigr)^{2}, \quad x\in I. \end{aligned}$$

Integrating this inequality on I and using Lemma 2.1, we obtain that

$$\begin{aligned} { \bigl\Vert u''' \bigr\Vert _{2}}^{2} \le & a_{0} { \Vert u \Vert _{2}}^{2}+a_{1} { \bigl\Vert u' \bigr\Vert _{2}} ^{2}+a_{2} { \bigl\Vert u'' \bigr\Vert _{2}}^{2}+a_{3} { \bigl\Vert u''' \bigr\Vert _{2}}^{2} \\ \le & \biggl(\frac{a_{0}}{8}+\frac{a_{1}}{4}+\frac{a_{2}}{2}+a_{3} \biggr) { \bigl\Vert u''' \bigr\Vert _{2}}^{2}. \end{aligned}$$

Since \(\frac{a_{0}}{8}+\frac{a_{1}}{4}+\frac{a_{2}}{2}+a_{3}<1\), this inequality implies that \(\|u'''\|_{2}=0\). By (2.2), \(\|u\|_{2}\le \frac{1}{2 \sqrt{2}}\|u'''\|_{2}\), so we have \(\|u\|_{2}=0\). Hence \(u_{1}=u_{2}\). This means that BVP (1.1) has only one solution.

The proof of Theorem 1.2 is completed. □

Example 2.1

Consider the following superlinear fourth-order boundary value problem:

$$ \textstyle\begin{cases} u^{(4)}=2 u+3u^{\prime 2}u''+5u^{\prime\prime3}u^{\prime\prime\prime2}+x\sin \pi x, \quad x\in I, \\ u(0)=u'(0)=u''(1)=u'''(1)=0. \end{cases} $$
(2.25)

We verify that the corresponding nonlinearity

$$ f(x, y_{0}, y_{1}, y_{2}, y_{3})=2y_{0}+3{y_{1}}^{2}y_{2}+5{y_{2}} ^{3}{y_{3}}^{2}+x\sin \pi x $$
(2.26)

satisfies the conditions of Theorem 1.1. Choose \(a_{0}=1\), \(a_{1}=0\), \(a_{2}=\frac{5}{4}\), \(a_{3}=0\), and \(b=1\), then \(\frac{a_{0}}{8}+\frac{a _{1}}{4}+\frac{a_{2}}{2}+a_{3}=\frac{3}{4}<1\). For every \((x, y_{0}, y _{1}, y_{2}, y_{3})\in [0, 1]\times {\mathbb{R}}^{4}\), we have

$$\begin{aligned} -f(x, y_{0}, y_{1}, y_{2}, y_{3}) y_{2} =& -2y_{0}y_{2}-3{y_{1}}^{2} {y_{2}}^{2}-5{y_{2}}^{4}{y_{3}}^{2}+(x \sin \pi x)y_{2} \\ \le & 2 \vert y_{0} \vert \vert y_{2} \vert + \vert y_{2} \vert \le {y_{0}}^{2}+{y_{2}}^{2}+ \frac{1}{4}{y_{2}}^{2}+1 \\ =& a_{0}{y_{0}}^{2}+a_{1}{y_{1}}^{2}+a_{2}{y_{2}}^{2}+a_{3}{y_{3}} ^{2}+b. \end{aligned}$$

Hence, f satisfies Condition (F1). Since \(f(x, y_{0}, y_{1}, y_{2}, y_{3})\) is quadratic growth on \(y_{2}\) by (2.26), it follows that (F2) holds. Hence, by Theorem 1.1, BVP (2.25) has at least one solution. It should be pointed out that this conclusion cannot be obtained from the known results of References [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17].