# Positive solutions of singular beam equations with the bending term

## Abstract

Using a new technique for dealing with the bending term of beam equations, we consider the existence and multiplicity of positive solutions for a beam equation. Besides achieving new results, upper and lower bounds for these positive solutions will also be provided. The results are shown by using a novel technique and fixed point theories.

## 1 Introduction

In this paper, we shall investigate the existence and multiplicity of positive solutions for the fourth order differential equation with integral boundary conditions

$$\left \{ \begin{array}{@{}l} y^{(4)}(t)=\omega(t)F(t,y(t),y^{\prime\prime}(t)), \quad 0< t< 1, \\ y(0)= y(1)=\int_{0}^{1}h(s)y(s)\,ds,\\ ay^{\prime\prime}(0)-by^{\prime\prime\prime}(0) =\int_{0}^{1}g(s)y^{\prime\prime}(s)\,ds,\\ ay^{\prime\prime}(1)+by^{\prime\prime\prime}(1) =\int_{0}^{1}g(s)y^{\prime\prime}(s)\,ds, \end{array} \right .$$
(1.1)

where $$a,b>0$$, $$F:[0,1]\times R\times R\rightarrow R$$ is continuous, and the $$y''$$ in F is the bending moment term which represents bending effect. Problem (1.1) is often referred to as the deformation of an elastic beam under a variety of boundary conditions; for details, see [118]. Most research papers on beam equations consider nonlinear terms that F in (1.1) involves y only, and derivative-dependent nonlinearities are seldom tackled; see [37, 911] to name a few.

Some classical tools such as fixed point theorems in cones [5, 811, 17, 18], the method of lower and upper solutions [8, 16], and the monotone iterative method [9, 12] and the theory of critical point theory and variational methods [6, 13, 14] have been widely used to study beam equations.

Some new techniques via appropriate transformation are proved to be very effective in studying the solvability of differential equations. Such techniques have attracted the attention of Zhang et al. [19] and Wong [20], etc. In [19], Zhang et al. considered the existence of positive solutions of the following problems:

$$\left \{ \begin{array}{@{}l} x^{(n)}(t)+f(t,x(t),x'(t),\ldots,x^{(n-2)}(t))=\theta, \quad t\in J, t\neq t_{k}, k=1,2,\ldots,m, \\ \Delta x^{(n-1)}|_{t=t_{k}}=-I_{k}(x^{(n-2)}(t_{k})), \quad k=1,2,\dots ,m, \\ x^{(i)}(0)=\theta, \quad i=0,1,\ldots,n-3,\\ x^{(n-2)}(0)=x^{(n-2)}(1)=\int_{0}^{1}g(t)x^{(n-2)}(t)\,dt, \end{array} \right .$$
(1.2)

where $$J=[0,1]$$.

Firstly, by means of the transformation

$$x^{(n-2)}(t)=y(t),$$

the authors converted (1.2) into

$$\left \{ \begin{array}{@{}l} x^{(n-2)}(t)=y(t), \quad t\in J,\\ x^{(i)}(0)=\theta, \quad i=1,2,\ldots,n-3, \end{array} \right .$$

and

$$\left \{ \begin{array}{@{}l} -y''(t)=f(t,x(t),x'(t),\ldots,x^{(n-2)}(t)), \quad t\in J, t\neq t_{k},\\ \Delta y'|_{t=t_{k}}=-I_{k}(y(t_{k})), \quad k=1,2,\dots,m,\\ y(0)=y(1)=\int_{0}^{1}g(t)y(t)\,dt. \end{array} \right .$$
(1.3)

Then it follows from Lemma 2.3 in [19] that they converted the results obtained for problem (1.2) to the counterpart for problem (1.3).

In [20], Wong transformed the following problems:

$$\left \{ \begin{array}{@{}l} (-1)^{m}y^{(2m+1)}(t)=F(t,y(t),y^{\prime}(t)),\quad 0< t< 1, \\ y(0)=0, \qquad y^{(2k-1)}(0)=y^{(2k-1)}(1)=0, \quad 0\leq k\leq m, \end{array} \right .$$
(1.4)

into

$$\left \{ \begin{array}{@{}l} y^{\prime}(t)=x(t),\quad t\in J,\\ y(0)=0, \end{array} \right .$$

and

$$\left \{ \begin{array}{@{}l} (-1)^{m}x^{(2m)}(t)=F(t,y(t),y^{\prime}(t)), \quad 0< t< 1, \\ x^{(2k-2)}(0)=x^{(2k-2)}(1)=0, \quad 1\leq k\leq m \end{array} \right .$$
(1.5)

by using $$y^{\prime}(t)=x(t)$$. So the existence of a solution of the complementary Lidstone boundary value problem (1.4) follows from the existence of a solution of the Lidstone boundary value problem (1.5). We notice that the above paper requires that F satisfies some assumptions of monotonicity which are essential for the technique used.

Being directly inspired by [19, 20], in the present paper, by using transformation techniques and fixed point theories, the authors shall prove some new and more general results of the existence of at least one or two positive solutions for problem (1.1). The main features of this paper are as follows. Firstly, comparing with [118], besides achieving new results, estimates on the norms of these solutions will also be provided. Secondly, we transform problem (1.1) into a differential system without bending term, i.e., the technique to deal with bending term is completely different from that of [8, 1618]. Finally, it is pointed out that we do not need any monotone assumption on F, which is weaker than the corresponding assumptions on F in [20].

On the other hand, boundary value problems with integral boundary conditions arise naturally in thermal conduction problems [21], semiconductor problems [22], hydrodynamic problems [23] and so on. It is interesting to point out that such problems include two, three, multi-point and nonlocal boundary value problems as special cases and have been extensively studied in the last ten years (see, for example, [2430]). Therefore, it is important to study fourth order elasticity problems with integral boundary conditions.

The rest of the paper is organized as follows. In Section 2, we provide some preliminaries and lemmas. In particular, we transform problem (1.1) into a differential system without the bending moment term. In Section 3, the main results will be stated and proved.

## 2 Preliminaries

To establish the existence of positive solutions for problem (1.1), let us list the following assumptions, which will hold throughout this paper:

(H1):

$$\omega\in C((0,1), [0,+\infty))$$ with $$0<\int_{0}^{1}\omega (s)\,ds<\infty$$ and ω does not vanish on any subinterval of $$(0,1)$$;

(H2):

$$F\in C([0,1]\times[0,+\infty)\times(-\infty,0],[0,+\infty ))$$;

(H3):

$$g, h\in L^{1}[0,1]$$ are nonnegative and $$\mu\in[0,a)$$, $$\nu\in[0,1)$$, where

$$\mu=\int_{0}^{1}g(s)\,ds,\qquad \nu=\int _{0}^{1}h(s)\,ds.$$
(2.1)

### Lemma 2.1

[11]

Assume that (H3) holds. Then, for any $$x\in C[0,1]$$, the boundary value problem

$$\left \{ \begin{array}{@{}l} -y^{\prime\prime}(t)=x(t), \quad 0< t< 1, \\ y(0)=y(1)=\int_{0}^{1}h(s)y(s)\,ds \end{array} \right .$$
(2.2)

has a unique solution y given by

$$y(t)=\int_{0}^{1}H_{1}(t,s)x(s) \,ds,$$
(2.3)

where

\begin{aligned}& H_{1}(t,s)=G(t,s)+\frac{1}{1-\nu}\int_{0}^{1}G_{1}(s, \tau)h(\tau)\,d\tau, \end{aligned}
(2.4)
\begin{aligned}& G_{1}(t,s)= \left \{ \begin{array}{@{}l@{\quad}l} t(1-s), & 0\leq t\leq s\leq1,\\ s(1-t), & 0\leq s\leq t\leq1. \end{array} \right . \end{aligned}
(2.5)

Taking into account (2.2) and (2.3), problem (1.1) reduces to the following problem:

$$\left \{ \begin{array}{@{}l} x^{\prime\prime}(t)=-\omega(t)F(t,\int_{0}^{1}H_{1}(t,s)x(s)\,ds,-x(t)),\quad 0< t< 1,\\ ax(0)-bx^{\prime}(0)=\int_{0}^{1}g(s)x(s)\,ds,\qquad ax(1)+bx^{\prime}(1)=\int_{0}^{1}g(s)x(s)\,ds. \end{array} \right .$$
(2.6)

### Lemma 2.2

[11]

Assume that (H1)-(H3) hold. Then boundary value problem (2.6) has a unique solution x given by

$$x(t)=\int_{0}^{1}H_{2}(t,s)\omega(s)F \biggl(s,\int_{0}^{1}H_{1}(s,\tau)x(\tau )\,d\tau,-x(s)\biggr)\,ds,$$
(2.7)

where

\begin{aligned}& H_{2}(t,s)=G_{2}(t,s)+\frac{1}{a-\mu}\int _{0}^{1}G_{2}(s,\tau)g(\tau )\,d \tau, \end{aligned}
(2.8)
\begin{aligned}& G_{2}(t,s) =\frac{1}{d}\left \{ \begin{array}{@{}l@{\quad}l} (b+as)(b+a(1-t)) & \textit{if } 0\leq s \leq t \leq1,\\ (b+at)(b+a(1-s)) & \textit{if } 0\leq t \leq s \leq1, \end{array} \right . \\& d=a(2b+a). \end{aligned}
(2.9)

If problem (2.6) has a solution $$x^{*}$$, then by (2.3) problem (1.1) has a solution given by

$$y^{*}(t)=\int_{0}^{1}H_{1}(t,s)x^{*}(s) \,ds.$$

So the existence of a solution of problem (1.1) follows from the existence of a solution of problem (2.6).

### Lemma 2.3

[11]

For $$t,s\in J$$, we have the following results:

\begin{aligned}& G_{1}(t,t)G_{1}(s,s)\leq G_{1}(t,s)\leq G_{1}(s,s)\leq\frac{1}{4}, \end{aligned}
(2.10)
\begin{aligned}& \frac{1}{d}b^{2}\leq G_{2}(t,s)\leq G_{2}(s,s)\leq\frac {1}{d}(b+a)^{2}. \end{aligned}
(2.11)

### Lemma 2.4

[11]

Let (H3) hold. Then we obtain the following results:

\begin{aligned}& \rho G_{1}(s,s)\leq H_{1}(t,s)\leq\gamma G_{1}(s,s)\leq\frac {1}{4}\gamma, \quad\forall t,s\in J, \end{aligned}
(2.12)
\begin{aligned}& \rho_{1}\leq H_{2}(t,s)\leq H_{2}(s,s) \leq \rho_{2},\quad \forall t,s\in J, \end{aligned}
(2.13)

where

\begin{aligned}& \gamma=\frac{1}{1-\nu},\qquad \rho=\frac{\int_{0}^{1}G(\tau,\tau)h(\tau )\,d\tau}{1-\nu}, \qquad \rho_{1}=\frac{b^{2}\gamma_{1}}{a+2b}, \\& \rho _{2}= \frac{\gamma_{1} (b+a)^{2}}{a+2b}, \qquad\gamma_{1}=\frac{1}{a-\mu}. \end{aligned}

It is clear from (2.3) that $$\|y^{*}\|\leq\frac{\gamma}{4}\|x^{*}\|$$; moreover, if $$x^{*}$$ is positive, so is $$y^{*}$$.

Let $$E=C[0,1]$$. It is well known that E is a real Banach space with the norm $$\|\cdot\|$$ defined by $$\|x\|=\max_{t\in J}|x(t)|$$.

Define an operator $$T:E\rightarrow E$$ as follows:

$$(Tx) (t)=\int_{0}^{1}H_{2}(t,s) \omega(s)F\biggl(s,\int_{0}^{1}H_{1}(s, \tau )x(\tau)\,d\tau,-x(s)\biggr)\,ds.$$
(2.14)

Let C be a cone in E which is defined as

$$C=\bigl\{ x\in E: x\geq0, x(t)\geq\delta\|x\|, t\in J\bigr\} ,$$

where

$$\delta=\frac{\rho_{1}}{\rho_{2}}.$$
(2.15)

It is easy to see that E is a closed convex cone of E.

### Lemma 2.5

Let (H1)-(H3) hold. Then we have $$T(C)\subset C$$, and $$T:C\rightarrow C$$ is completely continuous.

### Proof

In view of condition (2.13), we see that

\begin{aligned} \|Tx\|&=\max_{t\in J}\int_{0}^{1}H_{2}(t,s) \omega(s)F\biggl(s,\int_{0}^{1}H_{1}(s, \tau)x(\tau)\,d\tau,-x(s)\biggr)\,ds \\ &\leq\rho_{2}\int_{0}^{1}\omega(s)F \biggl(s,\int_{0}^{1}H_{1}(s,\tau)x(\tau) \,d\tau,-x(s)\biggr)\,ds. \end{aligned}

Moreover, it follows from (2.13) and (2.14) that

\begin{aligned} (Tx) (t)&= \int_{0}^{1}H_{2}(t,s) \omega(s)F\biggl(s,\int_{0}^{1}H_{1}(s, \tau)x(\tau)\,d\tau ,-x(s)\biggr)\,ds \\ &\geq\rho_{1}\int_{0}^{1}\omega(s)F \biggl(s,\int_{0}^{1}H_{1}(s,\tau)x(\tau) \,d\tau,-x(s)\biggr)\,ds \\ &\geq\frac{\rho_{1}}{\rho_{2}}\rho_{2}\int_{0}^{1} \omega(s)F\biggl(s,\int_{0}^{1}H_{1}(s, \tau)x(\tau)\,d\tau,-x(s)\biggr)\,ds \\ &\geq\delta\|Tx\|,\quad t\in J. \end{aligned}
(2.16)

This proves that $$T(C)\subset C$$.

Next, by standard methods and the Ascoli-Arzelà theorem, one can prove that $$T:C\rightarrow C$$ is completely continuous. □

To obtain positive solutions of problem (1.1), the following fixed point theorem in cones, which can be found in [31], p.94, is fundamental.

### Lemma 2.6

Let P be a cone in a real Banach space E. Assume $$\Omega_{1}$$, $$\Omega_{2}$$ are bounded open sets in E with $$0 \in\Omega_{1}$$, $$\bar{\Omega}_{1}\subset\Omega_{2}$$. If

$$A:P\cap(\bar{\Omega}_{2}\backslash\Omega_{1})\rightarrow P$$

is completely continuous such that either

1. (a)

$$\|Ax\|\leq\|x\|$$, $$\forall x\in P\cap\partial \Omega_{1}$$ and $$\|Ax\|\geq\|x\|$$, $$\forall x\in P\cap\partial\Omega_{2}$$, or

2. (b)

$$\|Ax\|\geq\|x\|$$, $$\forall x\in P\cap\partial \Omega_{1}$$ and $$\|Ax\|\leq\|x\|$$, $$\forall x\in P\cap\partial\Omega_{2}$$,

then A has at least one fixed point in $$P\cap(\bar{\Omega}_{2}\backslash\Omega_{1})$$.

## 3 Main results

In this section, we apply Lemma 2.6 to establish the existence of positive solutions for problem (1.1). We begin by introducing the following conditions on $$F(t,u,v)$$:

(H4):

There exist two positive constants r, R with $$(\frac{\gamma }{4}+1)r<(\sigma+\delta)R$$ such that:

\begin{aligned}& F(t,u,v)\leq\frac{1}{\rho_{2}\eta}r,\quad \forall t\in J, |u|+|v|\leq\biggl( \frac{\gamma}{4}+1\biggr)r, \end{aligned}
(3.1)
\begin{aligned}& F(t,u,v)\geq\frac{1}{\rho_{1}\eta\delta} R,\quad \forall t\in J, |u|+|v|\geq(\sigma+ \delta)R, \end{aligned}
(3.2)

where

$$\eta=\int_{0}^{1}\omega(s)\,ds,\qquad \sigma=\rho \delta\beta,\qquad \beta=\int_{0}^{1}s(1-s)\,ds= \frac{1}{6}.$$

### Theorem 3.1

Assume that (H1)-(H4) hold. Then we have the following conclusions:

1. (i)

Problem (2.6) has (at least) one positive solution $$x\in C$$ such that

$$\delta r\leq x(t)\leq\frac{1}{\delta} R, \quad t\in J.$$
(3.3)
2. (ii)

Problem (1.1) has (at least) one positive solution y such that

$$\left \{ \begin{array}{@{}l} y(t)=\int_{0}^{1}H_{1}(t,s)x(s)\,ds, \quad t\in J;\\ \|y\|\leq\frac{\gamma}{4}\|x\|;\\ y(t)\geq\sigma\|x\|,\quad t\in J. \end{array} \right .$$
(3.4)

We further have

$$\sigma\delta r\leq y(t) \leq\frac{\gamma}{4\delta}R, \quad t\in J.$$
(3.5)

### Proof

Let T be the cone preserving, completely continuous operator that was defined by (2.14).

Let $$x\in C$$ with $$\|x\|=r$$. Then $$0\leq x(t)\leq r$$, $$t\in J$$, and $$0\leq\int_{0}^{1}H_{1}(s,\tau)x(\tau)\,d\tau\leq\frac{\gamma}{4}r$$. And hence, for $$x\in C$$ with $$\|x\|=r$$, we have

$$\biggl|\int_{0}^{1}H_{1}(s,\tau)x(\tau)\,d \tau\biggr|+\bigl|-x(t)\bigr|\leq\biggl(\frac{\gamma}{4}+1\biggr)r.$$

Then it follows from (3.1) that

\begin{aligned} \|Tx\|&=\max_{t\in J}\int_{0}^{1}H_{2}(t,s) \omega(s)F\biggl(s,\int_{0}^{1}H_{1}(s, \tau)x(\tau)\,d\tau,-x(s)\biggr)\,ds \\ &\leq\rho_{2}\eta\frac{1}{\rho_{2}\eta}r=r. \end{aligned}
(3.6)

Now if we let $$\Omega_{1}=\{x\in C:\|x\|< r\}$$, then (3.6) shows that

$$\|Tx\|\leq\|x\|,\quad x\in\partial\Omega_{1}.$$
(3.7)

Further, let

$$R_{1}=\frac{1}{\delta}R,$$
(3.8)

and

$$\Omega_{2}=\bigl\{ x\in C:\|x\|< R_{1}\bigr\} .$$

Then $$x\in C$$ and $$\|x\|=R_{1}$$ imply

$$x(t)\geq\delta x(s),\quad t,s\in J,$$

that is,

$$x(t)\geq\delta R_{1}=R, \quad t\in J.$$

Hence, $$x(t)\geq R$$ for all $$t\in J$$, and

\begin{aligned} \int_{0}^{1}H_{1}(s,\tau)x(\tau)\,d \tau\geq\rho\int_{0}^{1}G(\tau,\tau )x(\tau)\,d \tau \geq\rho\beta\delta\|x\| =\sigma\|x\|. \end{aligned}

So

$$\biggl|\int_{0}^{1}H_{1}(s,\tau)x(\tau)\,d \tau\biggr|+\bigl|-x(t)\bigr|\geq(\sigma+\delta)R.$$

Using condition (3.2), it follows from $$x\in C$$ and $$\|x\|=R_{1}$$ that

\begin{aligned} \|Tx\|&=\max_{t\in J}\int_{0}^{1}H_{2}(t,s) \omega(s)F\biggl(s,\int_{0}^{1}H_{1}(s, \tau)x(\tau)\,d\tau,-x(s)\biggr)\,ds \geq\rho_{1}\eta\frac{1}{\rho_{1}\eta\delta}R=\frac {R}{\delta}=R_{1}, \end{aligned}

that is, $$x\in\partial\Omega_{2}$$ implies

$$\|Tx\|\geq \|x\|.$$
(3.9)

It now follows from Lemma 2.6 that problem (2.6) has (at least) one positive solution $$x\in\bar{\Omega}_{2}\setminus\Omega_{1}$$ satisfying (3.3).

It is observed from (2.3) that problem (1.1) has (at least) one positive solution y such that

$$y=\int_{0}^{1}H_{1}(t,s)x_{1}(s) \,ds, \quad t\in J \mbox{ and } \|y\|\leq \frac{\gamma}{4}\|x\|.$$

Moreover, since $$x\in C$$, we get for $$t\in J$$

\begin{aligned} y(t)&=\int_{0}^{1}H_{1}(t,s)x(s)\,ds \\ &\geq\rho\int_{0}^{1}G(s,s)x(s)\,ds \\ &\geq\rho\beta\delta\|x\| \\ &=\sigma\|x\|. \end{aligned}

Then we get (3.4).

Further, it follows from (3.3) and (3.4) that (3.5) holds. □

In Theorem 3.2 we assume the following condition on $$f(t,u,v)$$:

(H5):

There exist two positive constants r, R with $$(\frac{\gamma }{4}+1)r< R$$ such that:

\begin{aligned}& F(t,u,v)\geq\frac{1}{\rho_{1}\eta(\sigma+\delta)}\bigl(|u|+|v|\bigr),\quad \forall t\in J, |u|+|v|\leq\biggl( \frac{\gamma}{4}+1\biggr)r, \end{aligned}
(3.10)
\begin{aligned}& F(t,u,v)\leq\frac{1}{2\rho_{2}\eta(\frac{\gamma}{4}+1)} \bigl(|u|+|v|\bigr),\quad \forall t\in J, |u|+|v|\geq R, \end{aligned}
(3.11)

and write

$$M=\max_{\forall t\in J, |u|+|v|\leq R}F(t,u,v).$$
(3.12)

### Theorem 3.2

Assume that (H1)-(H3) and (H5) hold. Then we have the following conclusions:

1. (i)

Problem (2.6) has (at least) one positive solution $$x\in C$$ such that

$$\delta r\leq x(t)\leq\max\{2R,2\rho_{2}\eta M\}, \quad t\in J.$$
(3.13)
2. (ii)

Problem (1.1) has (at least) one positive solution y such that (3.4) holds. We further have

$$\sigma\delta r\leq y(t) \leq\max\biggl\{ \frac{\gamma R}{4(\sigma+\delta )},\frac{\rho_{2}\eta M\gamma}{2} \biggr\} , \quad t\in J.$$
(3.14)

### Proof

Let $$x\in C$$ with $$\|x\|=r$$. Then $$0\leq x(t)\leq r$$, $$t\in J$$, and $$0\leq\int_{0}^{1}H_{1}(s,\tau)x(\tau)\,d\tau\leq\frac{\gamma }{4}r$$. And hence for $$x\in C$$ with $$\|x\|=r$$, we have

$$(\sigma+\delta)r\leq\biggl|\int_{0}^{1}H_{1}(s, \tau)x(\tau)\,d\tau\biggr|+\bigl|-x(t)\bigr|\leq \biggl(\frac{\gamma}{4}+1\biggr)r,$$

and it follows from condition (H5) that

\begin{aligned} \|Tx\|&=\max_{t\in J}\int_{0}^{1}H_{2}(t,s) \omega(s)F\biggl(s,\int_{0}^{1}H_{1}(s, \tau)x(\tau)\,d\tau,-x(s)\biggr)\,ds \\ &\geq\rho_{1}\eta\frac{1}{\rho_{1}\eta(\sigma+\delta )}(\sigma+\delta)r=r, \end{aligned}
(3.15)

that is, $$x\in\partial\Omega_{1}$$ implies that

$$\|Tx\|\geq\|x\|.$$
(3.16)

Next, we turn to (3.11) and (3.12). From (3.11) and (3.12), we have

$$F(t,u,v)\leq M+\frac{1}{2\rho_{2}\eta(\frac{\gamma}{4}+1)} \bigl(|u|+|v|\bigr), \quad (t,u,v)\in J\times[0, \infty)\times(-\infty, 0].$$
(3.17)

Further, let

$$R_{2}>\max\biggl\{ 2\rho_{2}\eta M, \frac{R}{\sigma+\delta} \biggr\} ,$$
(3.18)

and

$$\Omega_{3}=\bigl\{ x\in C:\|x\|< R_{2}\bigr\} .$$

Notice that for $$x\in\partial\Omega_{3}$$ we have

$$R< (\sigma+\delta)R_{2}\leq\biggl|\int_{0}^{1}H_{1}(s, \tau)x(\tau)\,d\tau \biggr|+\bigl|-x(t)\bigr|\leq\biggl(\frac{1}{4}\gamma+1 \biggr)R_{2}.$$

Thus, for $$x\in\partial\Omega_{3}$$, it follows from (3.17) that

\begin{aligned} \|Tx\|&=\max_{t\in J}\int_{0}^{1}H_{2}(t,s) \omega(s)F\biggl(s,\int_{0}^{1}H_{1}(s, \tau)x(\tau)\,d\tau,-x(s)\biggr)\,ds \\ &\leq\rho_{2}\int_{0}^{1}\omega(s) \biggl(M+\frac{1}{2\rho _{2}\eta}R_{2} \biggr)\,ds \\ &\leq\rho_{2}\eta \biggl(M+\frac{1}{2\rho_{2}\eta }R_{2} \biggr) \\ &< R_{2}, \end{aligned}

that is, $$x\in\partial\Omega_{3}$$ implies

$$\|Tx\|< \|x\|.$$
(3.19)

It now follows from Lemma 2.6 that problem (2.6) has (at least) one positive solution $$x\in\bar{\Omega}_{3}\setminus\Omega_{1}$$ satisfying (3.13).

It follows from (2.3) that problem (1.1) has (at least) one positive solution y. Similar to the proof of (3.5), one can show that y satisfies (3.14). □

### Theorem 3.3

Assume that (H1)-(H3), (3.2) of (H4) and (3.10) of (H5) hold. In addition, letting f satisfies the following condition:

(H6):

Let l, ζ and L satisfy

$$0< l< \biggl(\frac{\gamma}{4}+1\biggr)l< \zeta< \biggl(\frac{\gamma}{4}+1\biggr) \zeta< \delta L< L.$$

If

$$\max_{\forall t\in J, \zeta\leq|u|+|v|\leq(\frac{\gamma }{4}+1)\zeta}F(t,u,v)< \frac{1}{\rho_{2}\eta}\zeta,$$

then we have the following conclusions:

1. (i)

Problem (2.6) has (at least) two positive solutions $$x_{1},x_{2}\in C$$ such that

$$\delta l\leq x_{1}(t)< \zeta< \biggl(\frac{\gamma}{4}+1\biggr) \zeta< x_{2}(t)\leq L,\quad t\in J.$$
(3.20)
2. (ii)

Problem (1.1) has (at least) two positive solutions $$y_{1}$$, $$y_{2}$$ such that for $$i=1,2$$,

$$\left \{ \begin{array}{@{}l} y_{i}(t)=\int_{0}^{1}H_{1}(t,s)x_{i}(s)\,ds, \quad t\in J;\\ \|y_{i}\|\leq\frac{\gamma}{4}\|x_{i}\|;\\ y_{i}(t)\geq\sigma\|x_{i}\|, \quad t\in J. \end{array} \right .$$
(3.21)

We further have

$$\left \{ \begin{array}{@{}l} y_{1}(t)> \sigma\delta l, \quad t\in J;\\ \|y_{2}\|\leq\frac{\gamma}{4} L. \end{array} \right .$$
(3.22)

### Proof

If (3.10) of (H5) holds, similar to the proof of (3.16), we can prove that

$$\|Tx\|\geq\|x\|, \quad x\in C, \|x\|=l.$$
(3.23)

If (3.2) of (H4) holds, similar to the proof of (3.9), we have

$$\|Tx\|\geq\|x\|, \quad x\in C, \|x\|=L.$$
(3.24)

Finally, we show that

$$\|Tx\|< \|x\|,\quad x\in C, \|x\|=\zeta.$$
(3.25)

In fact, for $$x\in C$$ with $$\|x\|=\zeta$$, we have

$$x(t)\leq\|x\|= \zeta,$$

and

$$\sigma\zeta\leq\int_{0}^{1}H_{1}(s, \tau)x(\tau)\,d\tau\leq\frac{\gamma }{4}\zeta.$$

Therefore,

$$\zeta< (\sigma+1)\zeta\leq\biggl|\int_{0}^{1}H_{1}(s, \tau)x(\tau)\,d\tau \biggr|+\bigl|-x(s)\bigr|\leq\biggl(\frac{\gamma}{4}+1\biggr)\zeta,$$

and hence it follows from (H6) that

\begin{aligned} \|Tx\|&=\max_{t\in J}\int_{0}^{1}H_{2}(t,s) \omega(s)F\biggl(s,\int_{0}^{1}H_{1}(s, \tau)x(\tau)\,d\tau,-x(s)\biggr)\,ds \\ & < \rho_{2}\eta\frac{1}{\rho_{2}\eta}\zeta=\zeta, \end{aligned}

which shows that (3.25) holds.

Applying Lemma 2.6 to (3.23), (3.24) and (3.25) yields that problem (2.6) has (at least) two positive solutions $$x_{1}$$, $$x_{2}$$ with $$x_{1}\in C_{\bar{l},\zeta}=\{x \in C, l \leq\|x\| < \zeta\}$$, $$x_{2}\in C_{\zeta,\bar{L}}=\{x \in C, (\frac{\gamma}{4}+1)\zeta< \| x\| \leq L \}$$. Hence, since for $$x_{1}\in C$$ we have $$x_{1}(t)\geq \delta\|x_{1}\|$$, $$t \in J$$, it follows that (3.20) holds.

Similar to the proof of (3.4) and (3.5), one can show that (3.21) and (3.22) hold. □

### Remark 3.1

In Theorems 3.1-3.3, we generalize the results of [8, 1618] in three main directions as follows:

1. (1)

Upper and lower bounds for these positive solutions are given.

2. (2)

Estimates on the norms of positive solutions are considered.

3. (3)

The method to deal with the bending term of beam equations in this paper is completely different from that of [8, 1618], which opens a new technique to study the beam equations with the bending term.

## References

1. Gupta, CP: Existence and uniqueness theorems for a bending of an elastic beam equation. Appl. Anal. 26, 289-304 (1988)

2. Agarwal, RP: Boundary Value Problems for Higher Order Differential Equations. World Scientific, Singapore (1986)

3. Liu, LS, Zhang, XG, Wu, YH: Positive solutions of fourth-order nonlinear singular Sturm-Liouville eigenvalue problems. J. Math. Anal. Appl. 326, 1212-1224 (2007)

4. Graef, JR, Qian, C, Yang, B: A three point boundary value problem for nonlinear fourth order differential equations. J. Math. Anal. Appl. 287, 217-233 (2003)

5. Anderson, DR, Avery, RI: A fourth-order four-point right focal boundary value problem. Rocky Mt. J. Math. 36(2), 367-380 (2006)

6. Ma, TF: Positive solutions for a beam equation on a nonlinear elastic foundation. Math. Comput. Model. 39, 1195-1201 (2004)

7. Yao, QL: 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)

8. Bai, ZB: The method of lower and upper solutions for a bending of an elastic beam equation. J. Math. Anal. Appl. 248, 95-202 (2000)

9. 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)

10. Zhang, XM, Feng, MQ, Ge, WG: Existence results for nonlinear boundary-value problems with integral boundary conditions in Banach spaces. Nonlinear Anal. 69, 3310-3321 (2008)

11. Zhang, XM, Ge, WG: Symmetric positive solutions of boundary value problems with integral boundary conditions. Appl. Math. Comput. 219, 3553-3564 (2012)

12. Sun, J, Wang, X: Monotone positive solutions for an elastic beam equation with nonlinear boundary conditions. Math. Probl. Eng. (2011). doi:10.1155/2011/609189

13. Yang, L, Chen, H, Yang, X: The multiplicity of solutions for fourth-order equations generated from a boundary condition. Appl. Math. Lett. 24, 1599-1603 (2011)

14. Cabada, A, Tersian, S: Multiplicity of solutions of a two point boundary value problem for a fourth-order equation. Appl. Math. Comput. 219, 5261-5267 (2013)

15. Han, G, Xu, Z: Multiple solutions of some nonlinear fourth-order beam equations. Nonlinear Anal. 68, 3646-3656 (2008)

16. Ma, R, Zhang, J, Fu, S: The method of lower and upper solutions for fourth-order two-point boundary value problems. J. Math. Anal. Appl. 215, 415-422 (1997)

17. Li, Y: On the existence of positive solutions for the bending elastic beam equations. Appl. Math. Comput. 189, 821-827 (2007)

18. Zhang, XM, Ge, WG: Positive solutions for a class of boundary-value problems with integral boundary conditions. Comput. Math. Appl. 58, 203-215 (2009)

19. Zhang, XM, Yang, XZ, Ge, WG: Positive solutions of nth-order impulsive boundary value problems with integral boundary conditions in Banach spaces. Nonlinear Anal. 71, 5930-5945 (2009)

20. Wong, PJY: Triple solutions of complementary Lidstone boundary value problems via fixed point theorems. Bound. Value Probl. 2014, 125 (2014)

21. Cannon, JR: The solution of the heat equation subject to the specification of energy. Q. Appl. Math. 21, 155-160 (1963)

22. Ionkin, NI: Solution of a boundary value problem in heat conduction theory with nonlocal boundary conditions. Differ. Equ. 13, 294-304 (1977)

23. Chegis, RY: Numerical solution of a heat conduction problem with an integral boundary condition. Liet. Mat. Rink. 24, 209-215 (1984)

24. Boucherif, A: Second-order boundary value problems with integral boundary conditions. Nonlinear Anal. 70, 364-371 (2009)

25. Wang, YQ, Liu, LS, Wu, YH: Positive solutions for a nonlocal fractional differential equation. Nonlinear Anal. 74, 3599-3605 (2011)

26. Ahmad, B, Alsaedi, A, Alghamdi, BS: Analytic approximation of solutions of the forced Duffing equation with integral boundary conditions. Nonlinear Anal., Real World Appl. 9, 1727-1740 (2008)

27. Webb, JRL: Positive solutions of some three point boundary value problems via fixed point index theory. Nonlinear Anal. 47, 4319-4332 (2001)

28. Jiang, JQ, Liu, LS, Wu, YH: Second-order nonlinear singular Sturm-Liouville problems with integral boundary conditions. Appl. Math. Comput. 215, 1573-1582 (2009)

29. Liu, LS, Hao, XA, Wu, YH: Positive solutions for singular second order differential equations with integral boundary conditions. Math. Comput. Model. 57, 836-847 (2013)

30. Liu, LS, Liu, BM, Wu, YH: Nontrivial solutions for higher-order m-point boundary value problem with a sign-changing nonlinear term. Appl. Math. Comput. 217, 3792-3800 (2010)

31. Guo, DJ, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, New York (1988)

## Acknowledgements

This work is sponsored by the project NSFC (11301178), the Fundamental Research Funds for the Central Universities (2014ZZD10, 2014MS58) and the Scientific Research Common Program of Beijing Municipal Commission of Education (KM201511232018). The authors are grateful to anonymous referees for their constructive comments and suggestions, which has greatly improved this paper.

## Author information

Authors

### Corresponding author

Correspondence to Xuemei Zhang.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

XZ completed the main study and carried out the results of this article. MF checked the proofs and verified the calculation. All the authors read and approved the final manuscript.

## Rights and permissions

Reprints and permissions

Zhang, X., Feng, M. Positive solutions of singular beam equations with the bending term. Bound Value Probl 2015, 84 (2015). https://doi.org/10.1186/s13661-015-0348-y