New existence and uniqueness results for an elastic beam equation with nonlinear boundary conditions

Abstract

In this article, we study the existence and uniqueness of monotone positive solutions for an elastic beam equation with nonlinear boundary conditions, and some sufficient conditions which guarantee the existence of unique monotone positive solution are established. The methods employed are two fixed point theorems for mixed monotone operators with perturbation. Our results can not only guarantee the existence of unique monotone positive solution, but also be applied to construct an iterative scheme for approximating it. Two examples are given to illustrate our main results.

Introduction

In this article, we are concerned with the existence and uniqueness of monotone positive solutions for the following nonlinear fourth-order two-point boundary value problem for elastic beam equation:

$$ \left \{ \textstyle\begin{array}{@{}l} u^{(4)}(t)=f(t,u(t),u'(t)), \quad 0< t< 1,\\ u(0)=u'(0)=0,\\ u''(1)=0, \qquad u^{(3)}(1)=g(u(1)), \end{array}\displaystyle \displaystyle \displaystyle \right . $$

(1.1)

where $f\in C([0,1]\times\mathbf{R}\times\mathbf{R})$ and $g\in C(\mathbf{R})$ are real functions. Here, monotone positive solutions mean increasing positive solutions. As we know, problem (1.1) models an elastic beam of length 1 subject to a nonlinear foundation given by the function f. The first boundary condition $u(0)=u'(0)=0$ means that the left end of the beam is fixed. The second boundary condition $u''(1)=0$, $u'''(1)=g(u(1))$ means that the right end of the beam is attached to a bearing device, given by the function g. Owing to the importance in engineering, physics and material mechanics, boundary value problems for elastic beam equations have attracted much attention. For a small sample of such work, we refer the reader to the works [1–20] and the references therein. In these papers, most of the authors have investigated the existence of solutions or positive solutions. On the other hand, the uniqueness of positive solutions for nonlinear fourth-order boundary value problems has been studied by some authors, see [16, 17, 19] for example. In [17], the authors utilized a fixed point theorem of generalized concave operators to study problem (1.1) and established the existence and uniqueness of monotone positive solutions. In [19], by using a fixed point theorem of cone expansion and a fixed point theorem of generalized concave operators, the authors considered the existence, nonexistence, and uniqueness of convex monotone positive solutions of an elastic beam equation with a parameter.

Motivated by the work [17, 21], we will discuss the existence and uniqueness of monotone positive solutions for problem (1.1) by using two fixed point theorems for mixed monotone operators with perturbation. As we know, there are still very few works to utilize fixed point theorems of mixed monotone operators to study fourth-order boundary value problems. So it is worthwhile to investigate problem (1.1) and the methods used here are relatively new to the literature. The main features of this article are as follows. First, we consider the monotone positive solutions for fourth-order boundary value problems. Second, comparing with [16, 17, 19], we establish the existence and uniqueness of monotone positive solutions via different methods. Third, our results can not only guarantee the existence of a unique monotone positive solution, but also be applied to construct an iterative scheme for approximating it. In addition, few papers can be found in the literature on the existence and uniqueness of monotone positive solutions for fourth-order boundary value problems. Hence we improve the results of [17] to some degree, and so it is important to study the existence and uniqueness of monotone positive solutions for problem (1.1).

Preliminaries

In the following, for completeness we list some basic concepts in ordered Banach spaces and two fixed point theorems for mixed monotone operators which will be used later. For the convenience of readers, we refer them to [21–23] for details.

Let $(E,\|\cdot\|)$ be a real Banach space which is partially ordered by a cone $P \subset E$, i.e., $x \leq y$ if and only if $y-x \in P$. If $x \leq y$ and $x \neq y$, then we denote $x < y$ or $y > x$. By θ we denote the zero element of E. A non-empty closed convex set $P \subset E$ is a cone if it satisfies (i) $x \in P$, $\lambda\geq0 \Rightarrow\lambda x \in P$; (ii) $x \in P$, $-x \in P \Rightarrow x=\theta$.

P is called normal if there is a constant $N > 0$ such that, for all $x,y \in E$, $\theta\leq x \leq y$ implies $\| x \|\leq N \| y \|$; in this case N is the infimum of such constants, it is called the normality constant of P. If $x_{1},x_{2} \in E$, the set $[x_{1},x_{2}]=\{x \in E \mid x_{1}\leq x \leq x_{2}\}$ is called the order interval between $x_{1}$ and $x_{2}$. We say that an operator $A:E \rightarrow E$ is increasing (decreasing) if $x \leq y$ implies $Ax \leq Ay$ ($Ax \geq Ay$).

For all $x,y \in E$, the notation $x\sim y$ means that there exist $\lambda> 0$ and $\mu> 0$ such that $\lambda x \leq y \leq\mu x$. Clearly, ∼ is an equivalence relation. Given $h > \theta$ (i.e., $h \geq\theta$ and $h \neq\theta$), we denote by $P_{h}$ the set $P_{h}=\{ x \in E \mid x \sim h \}$. It is easy to see that $P_{h} \subset P$.

Definition 2.1

(See [21, 23])

$A: P\times P\rightarrow P$ is said to be a mixed monotone operator if $A(x,y)$ is increasing in x and decreasing in y, i.e., $u_{i},v_{i}\in P$, $i=1,2$, $u_{1} \leq u_{2}$, $v_{1} \geq v_{2}$ imply $A(u_{1},v_{1}) \leq A(u_{2},v_{2})$. Element $x \in P$ is called a fixed point of A if $A(x,x)=x$.

Definition 2.2

An operator $A: P \rightarrow P$ is said to be sub-homogeneous if it satisfies

$$A(tx) \geq tA(x), \quad\forall t \in(0,1), x\in P. $$

Definition 2.3

Let α be a real number with $0\leq\alpha < 1$. An operator $A: P \rightarrow P$ is said to be α-concave if it satisfies

$$A(tx) \geq t^{\alpha}A(x), \quad\forall t \in(0,1), x\in P. $$

To prove our results, we need the following fixed point theorems for mixed monotone operators, which were established in [21].

Lemma 2.4

(See Theorem 2.1 in [21])

Let $h > \theta$ and $\alpha \in(0,1)$. $A: P\times P\rightarrow P$ is a mixed monotone operator and satisfies

$$ A \bigl(tx,t^{-1}y \bigr) \geq t^{\alpha}A(x,y),\quad \forall t \in(0,1), x,y\in P. $$

(2.1)

$B: P \rightarrow P$ is an increasing sub-homogeneous operator. Suppose that

• (i) there is $h_{0} \in P_{h}$ such that $A(h_{0},h_{0}) \in P_{h}$ and $Bh_{0} \in P_{h}$;

• (ii) there exists a constant $\delta_{0} > 0$ such that $A(x,y)\geq \delta_{0} Bx$, $\forall x,y \in P$.

Then:

• (1) $A: P_{h} \times P_{h} \rightarrow P_{h}$ and $B: P_{h} \rightarrow P_{h}$;

• (2) there exist $u_{0},v_{0} \in P_{h}$ and $r \in(0,1)$ such that

  $$rv_{0} \leq u_{0} < v_{0},\qquad u_{0} \leq A(u_{0},v_{0})+Bu_{0} \leq A(v_{0},u_{0})+Bv_{0} \leq v_{0}; $$

• (3) the operator equation $A(x,x)+Bx=x$ has a unique solution $x^{*}$ in $P_{h}$;

• (4) for any initial values $x_{0},y_{0} \in P_{h}$, constructing successively the sequences

  $$x_{n}=A(x_{n-1},y_{n-1})+Bx_{n-1}, \qquad y_{n}=A(y_{n-1},x_{n-1})+By_{n-1}, \quad n=1,2, \ldots, $$

we have $x_{n} \rightarrow x^{*}$ and $y_{n}\rightarrow x^{*}$ as $n \rightarrow\infty$.

Lemma 2.5

(See Theorem 2.4 in [21])

Let $h > \theta$ and $\alpha \in(0,1)$. $A: P\times P\rightarrow P$ is a mixed monotone operator and satisfies

$$ A \bigl(tx,t^{-1}y \bigr) \geq tA(x,y), \quad\forall t \in(0,1), x,y\in P. $$

(2.2)

$B: P \rightarrow P$ is an increasing α-concave operator. Suppose that

• (i) there is $h_{0} \in P_{h}$ such that $A(h_{0},h_{0}) \in P_{h}$ and $Bh_{0} \in P_{h}$;

• (ii) there exists a constant $\delta_{0} > 0$ such that $A(x,y)\leq \delta_{0} Bx$, $\forall x,y \in P$.

Then:

• (1) $A: P_{h} \times P_{h} \rightarrow P_{h}$ and $B: P_{h} \rightarrow P_{h}$;

• (2) there exist $u_{0},v_{0} \in P_{h}$ and $r \in(0,1)$ such that

  $$rv_{0} \leq u_{0} < v_{0},\qquad u_{0} \leq A(u_{0},v_{0})+Bu_{0} \leq A(v_{0},u_{0})+Bv_{0} \leq v_{0}; $$

• (3) the operator equation $A(x,x)+Bx=x$ has a unique solution $x^{*}$ in $P_{h}$;

• (4) for any initial values $x_{0},y_{0} \in P_{h}$, constructing successively the sequences

  $$x_{n}=A(x_{n-1},y_{n-1})+Bx_{n-1}, \qquad y_{n}=A(y_{n-1},x_{n-1})+By_{n-1},\quad n=1,2, \ldots, $$

we have $x_{n} \rightarrow x^{*}$ and $y_{n} \rightarrow x^{*}$ as $n \rightarrow\infty$.

Main results

In this section, we use Lemmas 2.4, 2.5 to study problem (1.1) and present two new results on the existence and uniqueness of monotone positive solutions. The main results obtained here are relatively new in the literature.

In our considerations we shall consider the Banach space $E= C^{1}[0,1]$ equipped with the norm $\|u\|=\max\{\max_{0\leq t\leq1} |u(t)|,\max_{0\leq t\leq1} |u'(t)|\}$. In order to find monotone positive solutions, we consider the closed convex cone of nonnegative increasing functions $P=\{u\in E|u(t)\geq0,u'(t)\geq0,\forall t\in [0,1]\}$. Note that this induces an order relation $\dot{\leq}$ in E by defining $u \dot{\leq} v$ if and only if $v-u\in P$. Clearly, this cone is normal. That is, if $u \dot{\leq} v$, then $u(t)\leq v(t)$, $u'(t)\leq v'(t)$, $t\in[0,1]$. Therefore, $\|u\|\leq\|v\|$ and the normality constant is 1.

Let $G(t,s)$ be the Green function of the linear problem $u^{(4)}(t)=0$ with the boundary conditions in (1.1); from [3] we know that

$$ G(t,s)=\frac{1}{6} \left \{ \textstyle\begin{array}{@{}l@{\quad}l} s^{2}(3t-s),& 0\leq s\leq t\leq1,\\ \ t^{2}(3s-t),& 0\leq t\leq s\leq1. \end{array}\displaystyle \right . $$

(3.1)

Then problem (1.1) is equivalent to the integral equation

$$u(t)=\int_{0}^{1}G(t,s)f \bigl(s,u(s),u'(s) \bigr)\,ds-g \bigl(u(1) \bigr)\phi(t), \quad\mbox{where } \phi (t)= \frac{1}{2} t^{2}-\frac{1}{6} t^{3}, t\in[0,1]. $$

From [17], we give the following properties of the Green function $G(t,s)$ and $\phi(t)$.

Lemma 3.1

For any $t,s\in[0,1]$, we have

$$\begin{aligned}& \frac{1}{3}s^{2}t^{2}\leq G(t,s)\leq \frac{1}{2}st^{2}, \qquad\frac{1}{3}t^{2}\leq \phi(t) \leq\frac{1}{2}t^{2},\\& \frac{1}{2}s^{2}t \leq \frac{\partial G(t,s)}{\partial t}\leq st, \qquad\frac{1}{2}t\leq\phi'(t) \leq2t. \end{aligned}$$

Theorem 3.2

Assume that

(H₁):

$f(t,x,y):[0,1]\times[0,+\infty)\times[0,+\infty)\rightarrow [0,+\infty)$ and $g:[0,+\infty)\rightarrow(-\infty,0]$;

(H₂):

$f(t,x,y)$ is increasing in $x \in[0,+\infty)$ for fixed $t \in [0,1]$ and $y \in[0,+\infty)$, decreasing in $y \in[0,+\infty)$ for fixed $t \in[0,1]$ and $x\in[0,+\infty)$, and $g(x)$ is decreasing in $x \in[0,+\infty)$;

(H₃):

$g(\lambda x) \leq\lambda g(x)$ for $\lambda\in(0,1)$, $x\in [0,+\infty)$, and there exists a constant $\alpha\in(0,1)$ such that $f(t,\lambda x,\lambda^{-1} y) \geq\lambda^{\alpha} f(t,x,y)$, $\forall t\in[0,1]$, $\lambda\in(0,1)$, $x,y\in[0,+\infty)$;

(H₄):

there exists a constant $\sigma> 0$ such that $f(t,x,y) \geq \sigma\geq-g(x)>0$, $t\in[0,1]$, $x,y\geq0$.

Then:

• (1) there exist $u_{0},v_{0} \in P_{h}$ and $r \in(0,1)$ such that $rv_{0} \dot{\leq} u_{0} \dot{<} v_{0}$ and

  $$\begin{aligned}& u_{0}(t) \leq\int^{1}_{0} G(t,s)f \bigl(s,u_{0}(s),v_{0}'(s) \bigr)\,ds-g \bigl(u_{0}(1) \bigr)\phi (t),\quad t\in[0,1], \\& u_{0}'(t) \leq\int^{1}_{0} G_{t}(t,s)f \bigl(s,u_{0}(s),v_{0}'(s) \bigr)\,ds-g \bigl(u_{0}(1) \bigr)\phi'(t),\quad t \in[0,1], \\& v_{0}(t) \geq\int^{1}_{0} G(t,s)f \bigl(s,v_{0}(s),u_{0}'(s) \bigr)\,ds-g \bigl(v_{0}(1) \bigr)\phi (t),\quad t\in[0,1], \\& v_{0}'(t) \geq\int^{1}_{0} G_{t}(t,s)f \bigl(s,v_{0}(s),u_{0}'(s) \bigr)\,ds-g \bigl(v_{0}(1) \bigr)\phi'(t),\quad t \in[0,1], \end{aligned}$$

  where $h(t)=t^{2}$, $t\in[0,1]$ and $G(t,s)$ is given as in (3.1);

• (2) problem (1.1) has a unique monotone positive solution $u^{*}$ in $P_{h}$;

• (3) for any $x_{0},y_{0}\in P_{h}$, constructing successively the sequences

  $$\begin{aligned}& x_{n}(t) = \int^{1}_{0} G(t,s)f \bigl(s,x_{n-1}(s),y_{n-1}'(s) \bigr)\,ds-g \bigl(x_{n-1}(1) \bigr)\phi(t),\quad n=1,2,\ldots, \\& y_{n}(t) = \int^{1}_{0} G(t,s)f \bigl(s,y_{n-1}(s),x_{n-1}'(s) \bigr)\,ds-g \bigl(y_{n-1}(1) \bigr)\phi'(t),\quad n=1,2,\ldots, \end{aligned}$$

we have $\| x_{n}-u^{*} \|\rightarrow0$ and $\| y_{n}-u^{*} \|\rightarrow0$ as $n\rightarrow\infty$.

Proof

Define two operators $A:P\times P\rightarrow E$ and $B:P\rightarrow E$ by

$$A(u,v) (t)=\int^{1}_{0} G(t,s)f \bigl(s,u(s),v'(s) \bigr)\,ds,\qquad Bu(t)=-g \bigl(u(1) \bigr)\phi (t),\quad t \in[0,1]. $$

Then

$$\bigl(A(u,v) \bigr)'(t)=\int_{0}^{1}G_{t}(t,s)f \bigl(s,u(s),v'(s) \bigr)\,ds,\qquad (Bu)'(t)=-g \bigl(u(1) \bigr) \phi '(t),\quad t\in[0,1]. $$

Evidently, u is the solution of problem (1.1) if and only if $u=A(u,u)+Bu$. For $u,v\in P$, we know that $u(t),v(t)\geq0$, $u'(t),v'(t)\geq0$, $t\in [0,1]$. From (H₁) and Lemma 3.1, we have $A(u,v)(t)\geq0$, $Bu(t)\geq0$, $(A(u,v))'(t)\geq0$, $(Bu)'(t)\geq 0$, $t\in[0,1]$. Therefore, $A(u,v)\in P$, $Bu\in P$. That is, $A:P\times P\rightarrow P$ and $B:P\rightarrow P$. In the sequel we check that A, B satisfy all assumptions of Lemma 2.4.

Firstly, we prove that A is a mixed monotone operator. In fact, for $u_{i},v_{i}\in P$, $i=1,2$ with $u_{1}\dot{\geq} u_{2}$, $v_{1}\dot{\leq} v_{2}$, we know that $u_{1}(t)\geq u_{2}(t)$, $v_{1}(t)\leq v_{2}(t)$, $u_{1}'(t)\geq u_{2}'(t)$, $v_{1}'(t)\leq v_{2}'(t)$, $t\in[0,1]$ and by (H₂) and Lemma 3.1, we have

$$\begin{aligned}& A (u_{1},v_{1}) (t)=\int_{0}^{1}G(t,s)f \bigl(s,u_{1}(s),v_{1}'(s) \bigr)\,ds\\& \hphantom{A (u_{1},v_{1}) (t)}\geq\int _{0}^{1}G(t,s)f \bigl(s,u_{2}(s),v_{2}'(s) \bigr)\,ds\\& \hphantom{A (u_{1},v_{1}) (t)}=A (u_{2},v_{2}) (t),\\& \bigl(A(u_{1},v_{1}) \bigr)'(t)=\int _{0}^{1}G_{t}(t,s)f \bigl(s,u_{1}(s),v_{1}'(s) \bigr)\,ds\\& \hphantom{\bigl(A(u_{1},v_{1}) \bigr)'(t)}\geq\int _{0}^{1}G_{t}(t,s)f \bigl(s,u_{2}(s),v_{2}'(s) \bigr)\,ds\\& \hphantom{\bigl(A(u_{1},v_{1}) \bigr)'(t)}=\bigl(A(u_{2},v_{2}) \bigr)'(t). \end{aligned}$$

That is, $A(u_{1},v_{1})\dot{\geq} A (u_{2},v_{2})$.

Further, we show B is increasing. For any $u,v\in P$ with $u\dot{\leq } v$, we know that $u(t)\leq v(t)$, $u'(t)\leq v'(t)$, $t\in [0,1]$. It follows from (H₁), (H₂) and Lemma 3.1 that $Bu(t)\leq Bv(t)$, $(Bu)'(t)\leq(Bv)'(t)$, $t\in[0,1]$. That is, $Bu\dot{\leq} Bv$. Next we show that operator A satisfies the condition (2.1). For any $\lambda\in(0,1)$ and $u,v\in P$, by (H₃) we have

$$\begin{aligned}& A\bigl(\lambda u,\lambda^{-1} v\bigr) (t)=\int ^{1}_{0}G(t,s)f\bigl(s,\lambda u(s), \lambda^{-1} v'(s)\bigr)\,ds \\& \hphantom{ A\bigl(\lambda u,\lambda^{-1} v\bigr) (t)} \geq \lambda^{\alpha} \int^{1}_{0}G(t,s)f \bigl(s,u(s),v'(s)\bigr)\,ds \\& \hphantom{ A\bigl(\lambda u,\lambda^{-1} v\bigr) (t)} =\lambda^{\alpha} A(u,v) (t), \\& \begin{aligned}[b] \bigl(A\bigl(\lambda u,\lambda^{-1} v\bigr) \bigr)'(t)&=\int^{1}_{0}G_{t}(t,s)f \bigl(s,\lambda u(s),\lambda^{-1} v'(s)\bigr)\,ds \\ &\geq \lambda^{\alpha} \int^{1}_{0}G_{t}(t,s)f \bigl(s,u(s),v'(s)\bigr)\,ds \\ &=\bigl(\lambda^{\alpha} A(u,v)\bigr)'(t). \end{aligned} \end{aligned}$$

That is, $A(\lambda u,\lambda^{-1} v) \dot{\geq} \lambda^{\alpha} A(u,v)$ for $\lambda\in(0,1)$, $u,v\in P$. So operator A satisfies (2.1). Also, for any $\lambda\in(0,1)$, $u\in P$, from (H₃) we know that

$$\begin{aligned}& B(\lambda u) (t)=-g \bigl(\lambda u(1) \bigr)\phi(t)\geq\lambda\bigl(-g \bigl(u(1) \bigr) \phi (t)\bigr)=\lambda Bu(t), \\& \bigl(B(\lambda u) \bigr)'(t)=-g \bigl(\lambda u(1) \bigr) \phi'(t)\geq\lambda\bigl(-g \bigl(u(1) \bigr)\phi '(t)\bigr)=( \lambda Bu)'(t), \end{aligned}$$

that is, $B(\lambda u)\dot{\geq} \lambda Bu$ for $\lambda\in (0,1)$, $u\in P$. That is, operator B is sub-homogeneous. Now we show that $A(h,h)\in P_{h}$ and $Bh\in P_{h}$. On the one hand, from (H₁), (H₂) and Lemma 3.1, for any $t\in[0,1]$, we have

$$\begin{aligned}& \begin{aligned}[b] A(h,h) (t)&=\int^{1}_{0} G(t,s)f\bigl(s,h(s),h'(s)\bigr)\,ds \\ &=\int^{1}_{0} G(t,s)f\bigl(s,s^{2},2s \bigr)\,ds \\ & \leq \int^{1}_{0}\frac{1}{2}t^{2}sf \bigl(s,s^{2},2s\bigr)\,ds\leq\frac{1}{2}\int^{1}_{0}s f(s,1,0)\,ds\cdot h(t), \end{aligned} \\& A(h,h) (t)\geq \int^{1}_{0}\frac{1}{3}t^{2}s^{2}f \bigl(s,s^{2},2s\bigr)\,ds \geq\frac{1}{3}\int ^{1}_{0}s^{2} f(s,0,2)\,ds\cdot h(t). \end{aligned}$$

On the other hand, also from (H₁), (H₂) and Lemma 3.1, for any $t\in[0,1]$, we obtain

$$\begin{aligned} \bigl(A(h,h)\bigr)'(t)&=\int^{1}_{0} G_{t}(t,s)f\bigl(s,s^{2},2s\bigr)\,ds \\ &\leq\int^{1}_{0} stf(s,1,0)\,ds= \frac{1}{2} \int^{1}_{0}s f(s,1,0)\,ds\cdot h'(t), \\ \bigl(A(h,h)\bigr)'(t)&\geq \int^{1}_{0} \frac{1}{2}s^{2}t f(s,0,2)\,ds=\frac{1}{4} \int ^{1}_{0}s^{2} f(s,0,2)\,ds\cdot h'(t). \end{aligned}$$

Let

$$c_{1}=\frac{1}{4}\int^{1}_{0}s^{2}f(s,0,2) \,ds,\qquad c_{2}=\frac{1}{2}\int^{1}_{0}sf(s,1,0) \,ds. $$

From (H₂), (H₄), we have

$$c_{2}\geq c_{1}\geq\frac{1}{4}\int ^{1}_{0}s^{2}\sigma \,ds= \frac{1}{12} \sigma>0, $$

and in consequence,

$$\begin{aligned}& c_{1}h(t)\leq A(h,h) (t)\leq c_{2}h(t),\\& (c_{1}h)'(t)=c_{1}h'(t) \leq \bigl(A(h,h) \bigr)'(t)\leq c_{2}h'(t)=(c_{2}h)'(t), \quad t\in[0,1]. \end{aligned}$$

Thus, $c_{1}h\dot{\leq}A(h,h)\dot{\leq}c_{2}h$. That is, $A(h,h)\in P_{h}$. Similarly, from (H₁), (H₂) and Lemma 3.1, for any $t\in[0,1]$, we have

$$\begin{aligned}& -\frac{1}{3}g(1)h(t)=-g(1)\frac{1}{3}t^{2} \leq Bh(t)=-g \bigl(h(1) \bigr)\phi(t)\leq -g(1)\frac{1}{2}t^{2}=- \frac{1}{2}g(1) h(t), \\& -\frac{1}{4}g(1)h'(t)=-g(1)\frac{1}{2}t \leq(Bh)'(t)=-g \bigl(h(1) \bigr)\phi'(t)\leq -g(1)2t=-g(1) h'(t). \end{aligned}$$

Let $c_{3}=-\frac{1}{4}g(1)$, $c_{4}=-g(1)$. Then, from (H₁), (H₄), we have $c_{4}\geq c_{3}>0$ and thus

$$\begin{aligned}& c_{3}h(t)\leq Bh(t)\leq c_{4}h(t),\\& (c_{3}h)'(t)=c_{3}h'(t) \leq(Bh)'(t)\leq c_{4}h'(t)=(c_{4}h)'(t), \quad t\in[0,1]. \end{aligned}$$

Therefore, $c_{3}h\dot{\leq}Bh\dot{\leq}c_{4}h$. That is, $Bh\in P_{h}$. Hence the condition (i) of Lemma 2.4 is satisfied.

In the following we show the condition (ii) of Lemma 2.4 is satisfied. For $u,v \in P$ and any $t\in[0,1]$, from (H₄) and Lemma 3.1,

$$\begin{aligned}& \begin{aligned}[b] A(u,v) (t)&=\int^{1}_{0} G(t,s)f\bigl(s,u(s),v'(s)\bigr)\,ds \\ &\geq \int^{1}_{0}\frac{1}{3}t^{2}s^{2}f \bigl(s,u(s),v'(s)\bigr)\,ds \geq\frac{1}{3}t^{2}\int ^{1}_{0} s^{2}\sigma \,ds \\ &=\frac{1}{9}\sigma t^{2}\geq\frac{1}{9}t^{2} \bigl[-g\bigl(u(1)\bigr)\bigr]=\frac{2}{9}\bigl[-g\bigl(u(1)\bigr)\bigr] \frac{1}{2}t^{2} \\ &\geq\frac{2}{9}\bigl[-g\bigl(u(1)\bigr)\bigr]\phi(t)= \frac{2}{9}Bu(t), \end{aligned} \\& \begin{aligned}[b] \bigl(A(u,v)\bigr)'(t)&=\int ^{1}_{0} G_{t}(t,s)f \bigl(s,u(s),v'(s)\bigr)\,ds \\ &\geq \int^{1}_{0}\frac{1}{2}ts^{2}f \bigl(s,u(s),v'(s)\bigr)\,ds \geq\frac{1}{2}t\int ^{1}_{0} s^{2}\sigma \,ds \\ &=\frac{1}{6}\sigma t\geq\frac{1}{6}t\bigl[-g\bigl(u(1)\bigr)\bigr]= \frac{1}{12}\bigl[-g\bigl(u(1)\bigr)\bigr]2t \\ &\geq \frac{1}{12}\bigl[-g\bigl(u(1)\bigr)\bigr]\phi'(t)= \frac{1}{12}(Bu)'(t). \end{aligned} \end{aligned}$$

Let $\delta_{0}=\frac{1}{12}$. Then

$$A(u,v) (t)\geq\delta_{0}Bu(t),\qquad \bigl(A(u,v) \bigr)'(t) \geq\delta_{0}(Bu)'(t),\quad t\in[0,1]. $$

Therefore, we get $A(u,v) \dot{\geq} \delta_{0}Bu$ for $u,v\in P$. Finally, an application of Lemma 2.4 implies: there exist $u_{0},v_{0} \in P_{h}$ and $r \in(0,1)$ such that $rv_{0}\dot{ \leq} u_{0}\dot{ <} v_{0}$, $u_{0} \dot{\leq} A(u_{0},v_{0})+Bu_{0} \dot{\leq} A(v_{0},u_{0})+Bv_{0} \dot{\leq} v_{0}$; the operator equation $A(u,u)+Bu=u$ has a unique solution $u^{*}$ in $P_{h}$; for any initial values $x_{0},y_{0} \in P_{h}$, constructing successively the sequences

$$x_{n}=A(x_{n-1},y_{n-1})+Bx_{n-1},\qquad y_{n}=A(y_{n-1},x_{n-1})+By_{n-1},\quad n=1,2, \ldots, $$

we have $x_{n} \rightarrow u^{*}$ and $y_{n} \rightarrow u^{*}$ as $n \rightarrow\infty$. That is,

$$\begin{aligned}& u_{0}(t) \leq\int^{1}_{0} G(t,s)f \bigl(s,u_{0}(s),v_{0}'(s) \bigr)\,ds-g \bigl(u_{0}(1) \bigr)\phi (t),\quad t\in[0,1], \\& u_{0}'(t) \leq\int^{1}_{0} G_{t}(t,s)f \bigl(s,u_{0}(s),v_{0}'(s) \bigr)\,ds-g \bigl(u_{0}(1) \bigr)\phi'(t),\quad t \in[0,1], \\& v_{0}(t) \geq\int^{1}_{0} G(t,s)f \bigl(s,v_{0}(s),u_{0}'(s) \bigr)\,ds-g \bigl(v_{0}(1) \bigr)\phi (t),\quad t\in[0,1], \\& v_{0}'(t) \geq\int^{1}_{0} G_{t}(t,s)f \bigl(s,v_{0}(s),u_{0}'(s) \bigr)\,ds-g \bigl(v_{0}(1) \bigr)\phi'(t),\quad t \in[0,1]; \end{aligned}$$

problem (1.1) has a unique positive solution $u^{*}$ in $P_{h}$ and $u^{*}(t)$ is monotone increasing; for any $x_{0},y_{0}\in P_{h}$, constructing successively the sequences

$$\begin{aligned}& x_{n}(t) = \int^{1}_{0}G(t,s)f \bigl(s,x_{n-1}(s),y_{n-1}'(s) \bigr)\,ds-g \bigl(x_{n-1}(1) \bigr)\phi(t),\quad n=1,2,\ldots, \\& y_{n}(t) = \int^{1}_{0} G(t,s)f \bigl(s,y_{n-1}(s),x_{n-1}'(s) \bigr)\,ds-g \bigl(y_{n-1}(1) \bigr)\phi'(t),\quad n=1,2,\ldots, \end{aligned}$$

we have $\| x_{n}-u^{*} \|\rightarrow0$ and $\| y_{n}-u^{*} \|\rightarrow0$ as $n\rightarrow\infty$. □

Theorem 3.3

Assume (H₁), (H₂) and

(H₅):

there exists a constant $\alpha\in(0,1)$ such that $g(\lambda x) \leq\lambda^{\alpha} g(x)$, $\forall \lambda\in(0,1)$, $x\in[0,+\infty)$, and $f(t,\lambda x,\lambda^{-1} y) \geq\lambda f(t,x,y)$ for $\lambda\in(0,1)$, $t \in[0,1]$, $x,y\in [0,+\infty)$;

(H₆):

$f(t,0,2)\not\equiv0$ for $t\in[0,1]$ and there exists a constant $\sigma> 0$ such that $f(t,x,y) \leq\sigma\leq-g(x)$, $t\in [0,1]$, $x,y\geq0$.

Then:

• (1) there exist $u_{0},v_{0} \in P_{h}$ and $r \in(0,1)$ such that $rv_{0}\dot{ \leq} u_{0} \dot{<} v_{0}$ and

  $$\begin{aligned}& u_{0}(t) \leq\int^{1}_{0} G(t,s)f \bigl(s,u_{0}(s),v_{0}'(s) \bigr)\,ds-g \bigl(u_{0}(1) \bigr)\phi (t),\quad t\in[0,1], \\& u_{0}'(t) \leq\int^{1}_{0} G_{t}(t,s)f \bigl(s,u_{0}(s),v_{0}'(s) \bigr)\,ds-g \bigl(u_{0}(1) \bigr)\phi'(t),\quad t \in[0,1], \\& v_{0}(t) \geq\int^{1}_{0} G(t,s)f \bigl(s,v_{0}(s),u_{0}'(s) \bigr)\,ds-g \bigl(v_{0}(1) \bigr)\phi (t),\quad t\in[0,1], \\& v_{0}'(t) \geq\int^{1}_{0} G_{t}(t,s)f \bigl(s,v_{0}(s),u_{0}'(s) \bigr)\,ds-g \bigl(v_{0}(1) \bigr)\phi'(t), \quad t \in[0,1], \end{aligned}$$

  where $h(t)=t^{2}$, $t\in[0,1]$ and $G(t,s)$ is given as in (3.1);

• (2) problem (1.1) has a unique monotone positive solution $u^{*}$ in $P_{h}$;

• (3) for any $x_{0},y_{0}\in P_{h}$, constructing successively the sequences

  $$\begin{aligned}& x_{n}(t) = \int^{1}_{0} G(t,s)f \bigl(s,x_{n-1}(s),y_{n-1}'(s) \bigr)\,ds-g \bigl(x_{n-1}(1) \bigr)\phi(t),\quad n=1,2,\ldots, \\& y_{n}(t) = \int^{1}_{0} G(t,s)f \bigl(s,y_{n-1}(s),x_{n-1}'(s) \bigr)\,ds-g \bigl(y_{n-1}(1) \bigr)\phi'(t), \quad n=1,2,\ldots, \end{aligned}$$

we have $\| x_{n}-u^{*} \|\rightarrow0$ and $\| y_{n}-u^{*} \|\rightarrow0$ as $n\rightarrow\infty$.

Sketch of the proof

Consider two operators A, B defined in the proof of Theorem 3.2. Similarly, from (H₁), (H₂), we obtain that $A:P\times P\rightarrow P$ is a mixed monotone operator and $B:P\rightarrow P$ is increasing. From (H₅), we have

$$A \bigl(\lambda u,\lambda^{-1}v \bigr)\dot{\geq} \lambda A(u,v);\qquad B( \lambda u)\dot {\geq} \lambda^{\alpha}Bu, \quad\mbox{for } \lambda\in(0,1), u,v\in P. $$

Since $f(t,0,2)\not\equiv0$, we get $\int^{1}_{0}s^{2}f(s,0,2)\,ds>0$, and in sequence, $c_{2}\geq c_{1}>0$, here $c_{1}$, $c_{2}$ are defined in the proof of Theorem 3.2. So we can easily prove that $A(h,h)\in P_{h}$. From (H₆), we know that $-g(1)>0$, and from the proof of Theorem 3.2 we get $Bh\in P_{h}$. For $u,v \in P$ and any $t\in[0,1]$, from (H₆),

$$\begin{aligned}& \begin{aligned}[b] A(u,v) (t)&=\int^{1}_{0} G(t,s)f\bigl(s,u(s),v'(s)\bigr)\,ds \\ &\leq \int^{1}_{0}\frac{1}{2}t^{2}sf \bigl(s,u(s),v'(s)\bigr)\,ds \leq\frac{1}{2}t^{2}\int ^{1}_{0} s\sigma \,ds \\ &=\frac{1}{4}\sigma t^{2}\leq\frac{1}{4}t^{2} \bigl[-g\bigl(u(1)\bigr)\bigr]=\frac{3}{4}\bigl[-g\bigl(u(1)\bigr)\bigr] \frac{1}{3}t^{2} \\ &\leq \frac{3}{4}\bigl[-g\bigl(u(1)\bigr)\bigr]\phi(t)= \frac{3}{4}Bu(t), \end{aligned} \\& \begin{aligned}[b] \bigl(A(u,v)\bigr)'(t)&=\int ^{1}_{0} G_{t}(t,s)f \bigl(s,u(s),v'(s)\bigr)\,ds \\ &\leq \int^{1}_{0} tsf\bigl(s,u(s),v'(s) \bigr)\,ds\leq t\int^{1}_{0} s\sigma \,ds \\ &=\frac{1}{2}\sigma t\leq\frac{1}{2}t\bigl[-g\bigl(u(1)\bigr)\bigr] \leq \bigl[-g\bigl(u(1)\bigr)\bigr]\phi'(t)=(Bu)'(t). \end{aligned} \end{aligned}$$

Let $\delta_{0}=1$. Then

$$A(u,v) (t)\leq\delta_{0}Bu(t),\qquad \bigl(A(u,v) \bigr)'(t) \leq\delta_{0}(Bu)'(t),\quad t\in[0,1]. $$

Therefore, we get $A(u,v) \dot{\leq} \delta_{0}Bu$ for $u,v\in P$. Finally, an application of Lemma 2.5 implies: there exist $u_{0},v_{0} \in P_{h}$ and $r \in(0,1)$ such that $rv_{0}\dot{ \leq} u_{0}\dot{ <} v_{0}$, $u_{0} \dot{\leq} A(u_{0},v_{0})+Bu_{0} \dot{\leq} A(v_{0},u_{0})+Bv_{0} \dot{\leq} v_{0}$; the operator equation $A(u,u)+Bu=u$ has a unique solution $u^{*}$ in $P_{h}$; for any initial values $x_{0},y_{0} \in P_{h}$, constructing successively the sequences

$$x_{n}=A(x_{n-1},y_{n-1})+Bx_{n-1},\qquad y_{n}=A(y_{n-1},x_{n-1})+By_{n-1},\quad n=1,2, \ldots, $$

we have $x_{n} \rightarrow u^{*}$ and $y_{n} \rightarrow u^{*}$ as $n \rightarrow\infty$. That is,

$$\begin{aligned}& u_{0}(t) \leq\int^{1}_{0} G(t,s)f \bigl(s,u_{0}(s),v_{0}'(s) \bigr)\,ds-g \bigl(u_{0}(1) \bigr)\phi (t),\quad t\in[0,1], \\& u_{0}'(t) \leq\int^{1}_{0} G_{t}(t,s)f \bigl(s,u_{0}(s),v_{0}'(s) \bigr)\,ds-g \bigl(u_{0}(1) \bigr)\phi'(t), \quad t \in[0,1], \\& v_{0}(t) \geq\int^{1}_{0} G(t,s)f \bigl(s,v_{0}(s),u_{0}'(s) \bigr)\,ds-g \bigl(v_{0}(1) \bigr)\phi (t),\quad t\in[0,1], \\& v_{0}'(t) \geq\int^{1}_{0} G_{t}(t,s)f \bigl(s,v_{0}(s),u_{0}'(s) \bigr)\,ds-g \bigl(v_{0}(1) \bigr)\phi'(t),\quad t \in[0,1]; \end{aligned}$$

problem (1.1) has a unique positive solution $u^{*}$ in $P_{h}$ and $u^{*}(t)$ is monotone increasing; for any $x_{0},y_{0}\in P_{h}$, constructing successively the sequences

$$\begin{aligned}& x_{n}(t) = \int^{1}_{0}G(t,s)f \bigl(s,x_{n-1}(s),y_{n-1}'(s) \bigr)\,ds-g \bigl(x_{n-1}(1) \bigr)\phi(t),\quad n=1,2,\ldots, \\& y_{n}(t) = \int^{1}_{0} G(t,s)f \bigl(s,y_{n-1}(s),x_{n-1}'(s) \bigr)\,ds-g \bigl(y_{n-1}(1) \bigr)\phi'(t),\quad n=1,2,\ldots, \end{aligned}$$

we have $\| x_{n}-u^{*} \|\rightarrow0$ and $\| y_{n}-u^{*} \|\rightarrow0$ as $n\rightarrow\infty$.

Remark 3.4

Comparing Theorems 3.2-3.3 with the main results in [17], we provide some alternative approaches to study the same type of problems under different conditions. Our results can guarantee the existence of a unique monotone positive solution and the existence of upper-lower solutions, which are seldom seen in the literature.

Examples

To illustrate how our main results can be used in practice we present two examples.

Example 4.1

Consider the following fourth-order boundary value problem:

$$ \left \{ \textstyle\begin{array}{@{}l} u^{(4)}(t)=u^{\frac{1}{2}}(t)+[u'(t)+2]^{-\frac{1}{3}}+2,\quad 0< t< 1,\\ u(0)=u'(0)=0,\\ u''(1)=0,\qquad u^{(3)}(1)=-\frac{u(1)}{1+u(1)}-1. \end{array}\displaystyle \displaystyle \displaystyle \right . $$

(4.1)

Obviously, problem (4.1) fits the framework of problem (1.1). In this example, let

$$f(t,x,y)=x^{\frac{1}{2}}+(y+1)^{-\frac{1}{3}}+2,\qquad g(x)=- \frac{x}{1+x}-1,\qquad \alpha=\frac{1}{2},\qquad \sigma=2. $$

Obviously, $f:[0,1]\times[0,+\infty)\times[0,+\infty)\rightarrow [0,+\infty)$ is continuous and $g:[0,+\infty)\rightarrow(-\infty,0]$ is continuous. And $f(t,x,y)$ is increasing in $x \in[0,+\infty)$ for fixed $t \in[0,1]$ and $y \in[0,+\infty)$, decreasing in $y \in[0,+\infty)$ for fixed $t \in[0,1]$ and $x\in [0,+\infty)$, and $g(x)$ is decreasing in $x \in[0,+\infty)$. Besides, for $\lambda\in(0,1)$, $t\in[0,1]$, $x,y\in[0,+\infty)$, we have

$$\begin{aligned}& g(\lambda x)=-\frac{\lambda x}{1+\lambda x}-1\leq-\frac{\lambda x}{1+ x}-\lambda=\lambda g(x), \\& f \bigl(t,\lambda x,\lambda^{-1} y \bigr)=\lambda^{\frac{1}{2}}x^{\frac{1}{2}}+ \lambda ^{\frac{1}{3}}(y+\lambda)^{-\frac{1}{3}}+2 \geq\lambda^{\frac{1}{2}} \bigl[x^{\frac{1}{2}}+(y+1)^{-\frac{1}{3}}+2 \bigr]= \lambda ^{\alpha}f(t,x,y). \end{aligned}$$

Moreover,

$$f(t,x,y)=x^{\frac{1}{2}}+(y+1)^{-\frac{1}{3}}+2\geq\sigma=2\geq \frac{x}{1+x}+1=-g(x)>0. $$

Hence all the conditions of Theorem 3.2 are satisfied. An application of Theorem 3.2 implies that problem (4.1) has a unique monotone positive solution in $P_{h}$, where $P_{h}$ is the same set in Section 3 and $h(t)=t^{2}$, $t\in[0,1]$.

Example 4.2

Consider the following fourth-order boundary value problem:

$$ \left \{ \textstyle\begin{array}{@{}l} u^{(4)}(t)=\cos^{2} t+\frac{u(t)}{1+u(t)}+\frac{1}{2+u'(t)},\quad 0< t< 1,\\ u(0)=u'(0)=0,\\ u''(1)=0, \qquad u^{(3)}(1)=-[u(1)]^{\frac{1}{3}}-3. \end{array}\displaystyle \displaystyle \displaystyle \right . $$

(4.2)

Obviously, problem (4.2) fits the framework of problem (1.1). In this example, let

$$f(t,x,y)=\cos^{2} t+\frac{x}{1+x}+\frac{1}{2+y},\qquad g(x)=-x^{\frac{1}{3}}-3,\qquad \alpha=\frac{1}{3},\qquad\sigma=3. $$

Obviously, $f:[0,1]\times[0,+\infty)\times[0,+\infty)\rightarrow [0,+\infty)$ is continuous and $g:[0,+\infty)\rightarrow(-\infty,0]$ is continuous. And $f(t,x,y)$ is increasing in $x \in[0,+\infty)$ for fixed $t \in[0,1]$ and $y \in[0,+\infty)$, decreasing in $y \in[0,+\infty)$ for fixed $t \in[0,1]$ and $x\in [0,+\infty)$, and $g(x)$ is decreasing in $x \in[0,+\infty)$. Besides, for $\lambda\in(0,1)$, $t\in[0,1]$, $x,y\in[0,+\infty)$, we have

$$\begin{aligned}& g(\lambda x)=-\lambda^{\frac{1}{3}}x^{\frac{1}{3}}-3\leq\lambda^{\frac{1}{3}} \bigl(-x^{\frac{1}{3}}-3 \bigr)=\lambda^{\alpha}g(x), \\& f \bigl(t,\lambda x,\lambda^{-1} y \bigr)=\cos^{2} t+ \frac{\lambda x}{1+\lambda x}+\frac{1}{2+\lambda^{-1} y}\geq \cos^{2} t+\frac{\lambda x}{1+ x}+ \frac{\lambda}{2+ y}\geq\lambda f(t,x,y). \end{aligned}$$

Moreover,

$$f(t,x,y)=\cos^{2} t+\frac{x}{1+x}+\frac{1}{2+y}\leq\sigma=3 \leq x^{\frac{1}{3}}+3=-g(x). $$

Hence all the conditions of Theorem 3.3 are satisfied. An application of Theorem 3.3 implies that problem (4.2) has a unique monotone positive solution in $P_{h}$, where $P_{h}$ is the same set in Section 3 and $h(t)=t^{2}$, $t\in[0,1]$.

Remark 4.3

Examples 4.1, 4.2 imply that there are many functions that satisfy the conditions of Theorems 3.2, 3.3. So the conditions of our results are easy to check.