 Research
 Open Access
 Published:
New results for positive solutions of singular fourthorder fourpoint pLaplacian problem
Boundary Value Problems volume 2016, Article number: 92 (2016)
Abstract
The existence and uniqueness of positive solutions are obtained for singular fourthorder fourpoint boundary value problem with pLaplace operator \([\varphi_{p}(u''(t))]''=f(t,u(t))\), \(0< t<1\), \(u(0)=0\), \(u(1)=au(\xi)\), \(u''(0)=0\), \(u''(1)=bu''(\eta)\), where \(f(t,u)\) is singular at \(t=0,1\) and \(u=0\). A fixed point theorem for mappings that are decreasing with respect to a cone in a Banach space plays a key role in the proof.
1 Introduction
In this paper, we investigate the existence and uniqueness of positive solutions for the singular fourthorder differential equation involving the pLaplace operator
with the fourpoint boundary conditions
where \(\varphi_{p}(t)=t^{p2}t\), \(p>1\), \(0<\xi, \eta<1\), \(0\leq a<1/\xi\), \(0\leq b^{p1}<1/\eta\), and \(f(t,x)\) is singular at \(t=0, 1\) and \(x=0\). Here by a positive solution u of SBVP (1.1)(1.2) we mean a solution \(u\in C^{2}[0,1]\) with \(\varphi_{p}(u'')\in C^{2}(0,1)\cap C[0,1]\) satisfying \(u(t)>0\) on \((0,1)\).
It is well known that the bending of elastic beam can be described by some fourthorder boundary value problems. There are extensive studies on fourthorder boundary value problems with diverse boundary conditions by using different methods, for instance, [1–28] and the references therein.
Recently, in the case \(0\leq a<1\), \(0\leq b<1\), using the lower and upper solution method and the Schauder fixedpoint theorem, Zhang and Liu [25] proved that the SBVP (1.1)(1.2) has at least one positive solution under the following assumptions:
 (H_{1}):

\(f\in C((0,1)\times(0,\infty),[0,\infty))\), and \(f(t,x)\) is nonincreasing in x;
 (H_{2}):

For any constant \(\lambda>0\), \(0<\int_{0}^{1}H(s,s)f(s,\lambda s(1s))\,\mathrm{d}s<\infty\);
 (H_{3}):

There exist a continuous function \(a(t)\) in \([0,1]\) and a fixed positive number k such that \(a(t)\geq kt(1t)\), \(t \in [0,1]\), and
$$\begin{aligned}& \int_{0}^{1}G(t,r)\varphi_{p}^{1} \biggl( \int_{0}^{1}H(r,s)f\bigl(s,a(s)\bigr)\,\mathrm{d}s \biggr)\,\mathrm{d}r:=b(t)\geq a(t), \quad t\in[0,1], \\& \int_{0}^{1}G(t,r)\varphi_{p}^{1} \biggl( \int_{0}^{1}H(r,s)f\bigl(s,b(s)\bigr)\,\mathrm{d}s \biggr)\,\mathrm{d}r\geq a(t),\quad t\in[0,1], \end{aligned}$$where \(G(t,s)\), \(H(t,s)\) will be given in Section 2.
The purpose of this paper is to improve the existence results of [25]. Using a fixed point theorem for mappings that are decreasing with respect to a cone in a Banach space, we obtain the existence and uniqueness of positive solutions of SBVP (1.1)(1.2). We note that, in our proofs, we just assume that (H_{1}) and (H_{2}) of [25] with (H_{3}) of [25] removed. Our study is motivated by the papers [11, 29].
In addition, we note that we also obtained the uniqueness of a positive solution for SBVP (1.1)(1.2).
The rest of the paper is organized as follows. The fixed point theorem of Gatica et al. [29] and some definitions and lemmas are given in Section 2. The main results on the existence of positive solutions for SBVP (1.1)(1.2) are presented in Section 3.
2 Preliminary
Let B be a Banach space. A nonempty closed set \(K\subset B\) is called a cone if the following conditions are satisfied:

(i)
\(a u+b v \in K\) for all \(u,v\in K\) and all \(a, b \geq0\);

(ii)
\(u, u \in K\) imply \(u=0\).
Given a cone K, a partial order ⪯ is induced on B as follows; \(u\preceq v\) for \(u,v\in B\) iff \(vu\in K\) (for clarity, we sometimes write \(u \preceq v\) (w.r.t. K)). For \(u,v\in B\) with \(u\preceq v\), we denote by \(\langle u,v\rangle\) the closed order interval between u and v, that is, \(\langle u,v\rangle=\{w\in B: u\preceq w \preceq v\}\). A cone K is normal in B if there exists \(\delta>0\) such that \(\e_{1}+e_{2}\\geq\delta\) for all \(e_{1}, e_{2} \in K\) with \(\e_{1}\=\e_{2}\=1\).
Lemma 2.1
Let B be a Banach space, K a normal cone in B, D a subset of K such that if \(u,v\in D\) with \(u\preceq v\), then \(\langle u,v\rangle\subset D\), and let \(T: D\rightarrow K\) be a continuous mapping that is compact on any closed order interval contained in D. Suppose that there exists \(u_{0}\in D\) such that \(T^{2}u_{0}\) is defined and \(Tu_{0}\) and \(T^{2}u_{0}\) are ordercomparable to \(u_{0}\). Then T has a fixed point in D, provided that either

(I)
\(Tu_{0}\preceq u_{0}\) and \(T^{2}u_{0}\preceq u_{0}\) or \(u_{0}\preceq Tu_{0}\) and \(u_{0}\preceq T^{2}u_{0}\), or

(II)
the complete sequence of iterates \(\{T^{n}u_{0}\} _{n=0}^{\infty}\) is defined and there exists \(v_{0}\in D\) such that \(Tv_{0}\in D\) and \(v_{0}\preceq T^{n}u_{0}\) for all \(n\geq0\).
Let \(G(t,s)\) denote the Green function for
Then by [18] the Green function \(G(t,s)\) can be expressed as follows:
Lemma 2.2
([25])
The Green function \(G(t,s)\) has the following properties:
Let \(B=C[0,1]\) denote the Banach space of continuous functions with norm
and let \(K=\{u\in B: u(t)\geq0 \mbox{ on } [0,1]\} \) be the cone of nonnegative functions in B. It is easy to see that K is a normal cone in B. Now we define the subset \(D\subset K\) as
Moreover, define \(T:D\rightarrow K\) by
where
Then T is well defined. In fact, from Lemma 2.2 we have
It can be easily verified that
It follows from conditions (H_{1}) and (H_{2}) that, for each \(u\in K\),
By the Fubini theorem and (H_{2}) it is easy to show that \(v(\tau)\in L^{1}[0,1]\), and hence \(\int_{0}^{1}H(\tau,s)f(s,u(s))\,\mathrm{d}s\in C[0,1]\). Thus, T is well defined, and also from Lemma 2.2 we have that, for all \(u\in D\) and \(t\in[0,1]\),
Hence,
On the other hand, by Lemma 2.2, for all \(u\in D\) and \(t\in [0,1]\), we have
Thus,
This implies that \(Tu\in D\), that is, \(T:D\rightarrow D\), and hence, it can be verified that \(u\in D\) is a positive solution of SBVP (1.1)(1.2) iff \(Tu=u\).
3 Main results
In this section, we first establish an existence theorem of positive solutions for SBVP (1.1)(1.2) by applying Lemma 2.1.
Before proceeding with our existence result for SBVP (1.1)(1.2), we will define a sequence of functions that are modifications of f and have none of the singularities of f at \(u=0\). To this end, we define a sequence of functions \(f_{n}: (0,1)\times[0,\infty)\rightarrow[0,\infty)\) by
Note that, for \(n=1,2,\ldots\) , \(f_{n}\) satisfies (H_{1}). Also, for \(n=1,2,\ldots\) ,
We now state and prove our existence result for SBVP (1.1)(1.2).
Theorem 3.1
Assume that conditions (H_{1}) and (H_{2}) are satisfied. Then SBVP (1.1)(1.2) has at least one positive solution \(u^{*}\in D\).
Proof
We define the sequence of mappings \(T_{n}: K\rightarrow K\) by
Then by (3.2) and condition (H_{2}), \(T_{n}\) is well defined and bounded. We note that \(T_{n}\) is a continuous mapping by Lebesgue’s dominated convergence theorem. Also, it is easy to show by (H_{2}) and the continuity of \(G(t,s)\) that \(\{(T_{n}u)(t):u\in K\}\) is equicontinuous, and hence \(T_{n}\) is a compact mapping by the ArzelàAscoli theorem.
In addition, observe that for all n and \(u\in K\), \(T_{n}u\) satisfies the boundary conditions (1.2). Furthermore, for each n, since \(T_{n}\) satisfies (H_{1}), it follows that \(T_{n}\) is nonincreasing relative to the cone K. Also, it is clear that \(0\preceq T_{n}(0)\) and \(0\preceq T_{n}^{2}(0)\) for each n. Thus, by Lemma 2.1, for each n, there exists \(u_{n}\in K\) such that \(T_{n}u_{n}=u_{n}\). Hence, for each n, \(u_{n}(t)\) satisfies the boundary conditions (1.2).
Now we claim that there exist \(R>r>0\) such that
Firstly, we shall prove the righthand side inequality. Assume to the contrary that the inequality is false. Then by passing to a subsequence and relabeling, without loss of generality, we may assume that
Similarly to the proof of (2.1), we can easily show that, for any \(u\in K\),
Since \(T_{n}u_{n}=u_{n}\) for each n, it follows that
Then assumptions (H_{1}) and (H_{2}) and inequality (3.1) yield that, for any \(0\leq t\leq1\) and n,
Thus, \(\u_{n}\\leq M\) for all n. This is a contradiction to \(\lim_{n\rightarrow\infty}\u_{n}\=\infty\).
Next, we prove the lefthand side inequality. Assume to the contrary that the inequality is false. By passing to a subsequence and relabeling we may assume without loss of generality that \(\lim_{n\rightarrow\infty}\u_{n}\=0\). Then we have
Since \(f(t,u)\) is singular at \(u=0\), by the finite covering theorem there exists \(\delta>0\) such that, for \(t\in[\xi/2,\xi]\) and \(0< x<\delta\), we have
By (3.4) there exists \(n_{0}\geq1\) such that, for any \(n\geq n_{0}\),
Hence, for any \(n\geq n_{0}\), we have
which implies \(\u_{n}\\geq\frac{3\xi^{2}(1\xi)}{8(1a\xi)}\). This is a contradiction to \(\lim_{n\rightarrow\infty}\u_{n}\=0\).
In summary, we conclude our claim. Furthermore, from (3.3) we have
This implies that the sequence \(\{u_{n}\}\) belongs to the closed order interval \(\langle rt(1t), R\rangle\subset D\). It is easy to see that the restriction of T to \(\langle rt(1t), R\rangle\) is a compact mapping. Hence, there exists a subsequence of \(\{Tu_{n}\}\) that converges to some \(u^{*}\in K\). Relabel the subsequence as the original sequence so that \(\lim_{n\rightarrow \infty}\Tu_{n}u^{*}\=0\).
Also, by (3.5) there exists \(n_{0}\) such that, for all \(n\geq n_{0}\),
For all \(n\geq n_{0}\) and \(t\in[0,1]\), we have
This implies \(\lim_{n\rightarrow\infty}\Tu_{n}u_{n}\=0\). It follows, in turn, that \(\lim_{n\rightarrow\infty}\u_{n}u^{*}\=0\), and thus \(u^{*}\in\langle rt(1t), R\rangle\subset D\) and
In summary, we have \(u^{*}\in D\) and \(Tu^{*}=u^{*}\). This completes the proof of the theorem. □
Theorem 3.2
Assume that conditions (H_{1}) and (H_{2}) are satisfied. Then SBVP (1.1)(1.2) has exactly one positive solution \(u^{*}\in D\).
Proof
The existence of positive solution to SBVP (1.1)(1.2) immediately follows from Theorem 3.1. Thus, we only need to show the uniqueness.
Suppose that \(u_{1}(t)\) and \(u_{2}(t)\) are two positive solutions of SBVP (1.1)(1.2). Then, by (H_{1}) and (H_{2}), \(u_{1}(t)\) and \(u_{2}(t)\) are both the solutions of the following boundary value problem:
Let \(w(t)=u_{1}(t)u_{2}(t)\) on \([0,1]\). Without loss of generality, we may assume that \(w(1)\geq0\). Now we show that \(w(t)\equiv0\) on \([0,1]\). There are two cases to consider.
Case 1. \(w(1)>0\). In this case, we have \(w(t)\geq0\) on \([0,1]\). Assume by contradiction that there exists \(t_{0} \in(0,1)\) such that \(w(t_{0})<0\). Since \(w(0)=0\) and \(w(1)>0\), there exist \(t_{1}, t_{2}\in[0,1)\) with \(t_{1}< t_{0}< t_{2}\) such that
It follows that, for each \(t\in(t_{1}, t_{2})\),
Hence, \(w(t)\geq0\) on \([t_{1}, t_{2}]\), which is a contradiction to \(w(t)<0\) on \((t_{1},t_{2})\). Therefore, \(w(t)\geq0\) on \([0,1]\). Consequently, for each \(t\in(0,1)\),
Thus, \(w(t)\) is concave upward on \([0,1]\). Since \(w(1)>0\) and \(w(1)=\alpha w(\xi)\), we have \(w(\xi)>0\), and hence since \(0<\alpha<1/\xi\), we have
which is a contradiction to the upward concavity of \(w(t)\) on \([0,1]\).
Case 2. \(w(1)=0\). In this case, we have \(w(t)\equiv0\) on \([0,1]\). Assume to the contrary that the conclusion is false. Then, there exists \(t_{0} \in(0,1)\) such that \(w(t_{0})\neq0\). Without loss of generality, we may assume that \(w(t_{0})>0\). Since \(w(0)=w(1)=0\), there exist \(t_{1}, t_{2}\in[0,1]\) with \(t_{1}< t_{0}< t_{2}\) such that
It follows that, for each \(t\in(t_{1}, t_{2})\),
Since \(w(t_{1})=w(t_{2})=0\), we have that
which is a contradiction to \(w(t)>0\) on \((t_{1},t_{2})\).
In summary, \(w(t)\equiv0\) on \([0,1]\). This completes the proof of the theorem. □
References
Aftabizadeh, AR: Existence and uniqueness theorems for fourthorder boundary value problems. J. Math. Anal. Appl. 116, 415426 (1986)
Agawal, RP: On the fourthorder boundary value problems arising in bean analysis. Differ. Integral Equ. 2, 91110 (1989)
Bai, ZB, Huang, BJ, Ge, WG: The iterative solutions for some fourthorder pLaplace equation boundary value problems. Appl. Math. Lett. 19, 814 (2006)
Bonanno, G, Di Bella, B: A fourthorder boundary value problem for a SturmLiouville type equation. Appl. Math. Comput. 217, 36353640 (2010)
Cabada, A, Ángel Cid, J, Sanchez, L: Positivity and lower and upper solutions for fourth order boundary value problems. Nonlinear Anal. 67, 15991612 (2007)
Cabada, A, Minhós, FM: Fully nonlinear fourthorder equations with functional boundary conditions. J. Math. Anal. Appl. 340, 239251 (2008)
Cabada, A, Tersian, S: Multiplicity of solutions of a two point boundary value problem for a fourthorder equation. Appl. Math. Comput. 219, 52615267 (2013)
Chen, SH, Ni, W, Wang, CP: Positive solution of fourthorder ordinary differential equation with fourpoint boundary conditions. Appl. Math. Lett. 19, 161168 (2006)
Davis, JM, Henderson, J, Wong, PJY: General Lidstone problems: multiplicity and symmetry of solutions. J. Math. Anal. Appl. 251, 527548 (2000)
Ding, Y, Xu, J, Zhang, X: Positive solutions for a 2nth order ppositive solutions for a 2nthorder pLaplacian boundary value problem involving all derivatives. Electron. J. Differ. Equ. 2013, 36 (2013)
Eloe, PW, Henderson, J: Singular nonlinear boundary value problems for higher order ordinary differential equations. Nonlinear Anal. 17, 110 (1991)
Franco, D, O’Regan, D, Perán, J: Fourthorder problems with nonlinear boundary conditions. J. Comput. Appl. Math. 174, 315327 (2005)
Graef, JR, Kong, L: Necessary and sufficient conditions for the existence of symmetric positive solutions of multipoint boundary value problems. Nonlinear Anal. 68, 15291552 (2008)
Gupta, CP: Existence and uniqueness results for the bending of an elastic beam equation at resonance. J. Math. Anal. Appl. 135, 208225 (1988)
Korman, P: A maximum principle for fourthorder ordinary differential equations. Appl. Anal. 33, 267273 (1989)
Lu, S, Jin, S: Existence of periodic solutions for a fourthorder pLaplacian equation with a deviating argument. J. Comput. Appl. Math. 230, 513520 (2009)
Ma, RY, Zhang, JH, Fu, SM: The method of lower and upper solutions for fourthorder twopoint boundary value problems. J. Math. Anal. Appl. 215, 415422 (1997)
O’Regan, D: Solvability of some fourth (and higher) order singular boundary value problems. J. Math. Anal. Appl. 161, 78116 (1991)
Ren, T, Chen, X: Positive solutions of fractional differential equation with pLaplacian operator. Abstr. Appl. Anal. 2013, Article ID 789836 (2013)
Schroder, J: Fourthorder twopoint boundary value problems; estimates by two side bounds. Nonlinear Anal. 8, 107114 (1984)
Usmani, RA: A uniqueness theorem for a boundary value problem. Proc. Am. Math. Soc. 77, 327335 (1979)
Wang, Y, Liu, L, Wu, Y: Extremal solutions for pLaplacian fractional integrodifferential equation with integral conditions on infinite intervals via iterative computation. Adv. Differ. Equ. 2015, Article ID 24 (2015)
Wu, J, Zhang, X, Liu, L, Wu, Y: Positive solution of singular fractional differential system with nonlocal boundary conditions. Adv. Differ. Equ. 2014, Article ID 323 (2014)
Xu, J, Yang, Z: Positive solutions for a fourth order pLaplacian boundary value problem. Nonlinear Anal. 74, 26122623 (2011)
Zhang, X, Liu, L: Positive solutions of fourthorder fourpoint boundary value problems with pLaplacian operator. J. Math. Anal. Appl. 336, 14141423 (2007)
Zhang, X, Liu, L, Wiwatanapataphee, B, Wu, Y: Positive solutions of eigenvalue problems for a class of fractional differential equations with derivatives. Abstr. Appl. Anal. 2012, Article ID 512127 (2012)
Zhang, X, Liu, L, Wiwatanapataphee, B, Wu, Y: The eigenvalue for a class of singular pLaplacian fractional differential equations involving the RiemannStieltjes integral boundary condition. Appl. Math. Comput. 235, 412422 (2014)
Zhao, J, Wang, L, Ge, W: Necessary and sufficient conditions for the existence of positive solutions of fourth order multipoint boundary value problems. Nonlinear Anal. 72, 822835 (2010)
Gatica, JA, Oliker, V, Waltman, P: Singular nonlinear boundary value problems for secondorder ordinary differential equations. J. Differ. Equ. 79, 6278 (1989)
Acknowledgements
The authors thank the referee for valuable suggestions, which led to improvement of the original manuscript. This work was supported by the National Natural Science Foundation of China (11201008) and the Education Department of JiLin Province ([2016]45).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors contributed equally to the writing of this paper. Both authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Pei, M., Wang, L. New results for positive solutions of singular fourthorder fourpoint pLaplacian problem. Bound Value Probl 2016, 92 (2016). https://doi.org/10.1186/s1366101606000
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366101606000
MSC
 34B15
 34B16
 34B18
Keywords
 pLaplace operator
 singular
 fourthorder fourpoint boundary value problem
 positive solution
 cone