Abstract
By using the cone theory and the Banach contraction mapping principle, we study the existence and uniqueness of an iterative solution to the singular nth-order nonlocal boundary value problems.
Similar content being viewed by others
1 Introduction
The boundary value problems (BVPs for short) for nonlinear differential equations arise in a variety of areas of applied mathematics, physics, and variational problems of control theory. The nonlocal BVPs have been studied extensively. The methods used therein mainly depend on the fixed-point theorems, degree theory, upper and lower techniques, and monotone iteration. Many existence, uniqueness, and multiplicity results have been obtained. For instance, see [1–19] and the references therein.
The purpose of this paper is to investigate the existence and uniqueness of iterative solution to the following nth-order nonlocal BVP:
where \(f\in C((0,1)\times R^{n-1}, R)\), \(\Gamma:=\int_{0}^{1}t\, dA(t)\neq 1\). \(\int_{0}^{1}x^{(n-2)}(s)\, dA(s)\) denotes the Riemann-Stieltjes integral, where A is of bounded variation.
In BVP (1.1), \(\int_{0}^{1}x^{(n-2)}(s)\, dA(s)\) denotes the Riemann-Stieltjes integral with a signed measure. This includes as special cases the two-point, three-point, multi-point problems and integral problems. Let us remark that the idea of using a Riemann-Stieltjes integral in the boundary conditions is quite old, see for example the review by Whyburn in [1]. The BVP (1.1) used to model various nonlinear phenomena in physics, chemistry and biology. Over the past decades, great efforts have been devoted to nonlinear nth-order nonlocal BVP (1.1) and its particular and related cases, and many results of the existence of solutions have been obtained by several authors; see [8, 9, 11, 14, 16–19] and references therein. For example, when \(n=2\), \(A(t)\equiv0\), the BVP (1.1) becomes the second-order two-point BVP
BVP (1.2) is the well-known second-order Dirichlet BVP, which has been extensively studied and has important applications in physical sciences. When \(n=2\), \(\int_{0}^{1}x(s)\, dA(s)=\alpha x(\eta)\), the BVP (1.1) reduces to the second-order three-point BVP
When \(n=4\), the BVP (1.1) reduces to the fourth-order nonlocal BVP
In material mechanics, the BVP (1.3) describes the deflection or deformation of an elastic beam whose the ends are controlled.
Motivated by the works mentioned above, in this paper, we consider the nth-order nonlocal BVP (1.1). The existence and uniqueness of iterative solution is established by applying the cone theory and the Banach contraction mapping principle. In comparison with previous works, this paper has several new features. Firstly, the nonlinearity f is allowed to depend on higher derivatives of unknown function \(x(t)\) up to \(n-2\) order, and we allow f to be singular at \(t=0,1\). The second new feature is that the nonlinearity f is not monotone or convex, the conclusions and the proof used in this paper are different from the known papers. Thirdly, the scope of Γ is not limited to \(0\leq\Gamma<1\), therefore, we do not need to suppose that the Green function \(G(t,s)\) is nonnegative.
2 The preliminary lemmas
Lemma 2.1
([3])
For any \(y\in L[0,1]\), the BVP
has a unique solution \(x(t)=\int_{0}^{1}G(t,s)y(s)\, ds\), where
Denote \(I=[0,1]\), \(J=(0,1)\), and for any \(x\in C(I)\), \(t\in I\), define
and
By Lemma 2.1 and routine calculations, we have the following lemma.
Lemma 2.2
-
(i)
If \(x\in C^{n-2}(I)\) is a solution of BVP (1.1), then \(y(t)=x^{(n-2)}(t)\in C(I)\) is a fixed point of the operator F.
-
(ii)
If \(x\in C(I)\) is a fixed point of the operator F, then \(y(t)=(I_{n-2}x)(t)=\int_{0}^{t}\frac{(t-s)^{n-3}}{(n-3)!}x(s)\, ds\in C^{n-2}(I)\) is a solution of BVP (1.1).
Let
It is easy to see that \(\overline{G}>0\).
Lemma 2.3
([20])
P is a generating cone in the Banach space \((E,\|\cdot\|)\) if and only if there exists a constant \(\tau>0\) such that every element \(x\in E\) can be represented in the form \(x=y-z\), where \(y,z\in P\) and \(\|y\| \leq\tau\|x\|\), \(\|z\| \leq\tau\|x\|\).
3 Main results
Consider the Banach space \(C(I)\) of the usual real-valued continuous functions \(u(t)\) defined on I with the norm \(\|u\|=\sup_{t\in I}|u(t)|\) for all \(u\in C(I)\). Let \(P=\{u\in C(I) \mid u(t)\geq0,\forall t\in I\}\). Obviously, P is a normal solid cone of \(C(I)\), by Lemma 2.1.2 in [21], we see that P is a generating cone in \(C(I)\).
Theorem 3.1
Suppose that \(f(t,x_{0},x_{1},\ldots,x_{n-2})=g(t,x_{0},x_{0},x_{1},x_{1},\ldots,x_{n-2},x_{n-2})\), and there exist positive constants \(B_{0},C_{0},B_{1},C_{1},\ldots,B_{n-2},C_{n-2}\) with \(B_{0}+C_{0}+B_{1}+C_{1}+B_{2}+C_{2}+\cdots+\frac {B_{n-2}+C_{n-2}}{({n-3})!}<\overline{G}\), such that for any \(t\in J\), \(a_{10}, b_{10}, a_{20}, b_{20}, a_{11}, b_{11}, a_{21}, b_{21}, \ldots, a_{1,n-2}, b_{1,n-2}, a_{2,n-2}, b_{2,n-2} \in R\) with \(a_{10}\leq b_{10}, a_{20}\geq b_{20}, a_{11}\leq b_{11}, a_{21}\geq b_{21}, \ldots, a_{1,n-2}\leq b_{1,n-2}, a_{2,n-2}\geq b_{2,n-2}\),
and there exist \(x_{0},y_{0}\in C^{n-2}(I)\) such that
Then BVP (1.1) has a unique solution \(I_{n-2}x^{*}\) in \(C^{n-2}(I)\). Moreover, for any \(\overline{x}_{0}\in C(I)\), the iterative sequence
converges to \(x^{*}\) in \(C(I)\).
Proof
By \(t(1-t)g (t,x_{0}(t),y_{0}(t),x_{0}'(t),y_{0}'(t),\ldots, x_{0}^{(n-2)}(t),y_{0}^{(n-2)}(t) )\in L^{1}[0,1]\), it is easy to see that for any \(t\in J\),
is well defined. Set \(p(t)=x_{0}^{(n-2)}(t)\), \(q(t)=y_{0}^{(n-2)}(t)\), then
For any \(x,y\in C(I)\), let \(u(t)=|p(t)|+|x(t)|\), \(v(t)=-|q(t)|-|y(t)|\), then \(u\geq p\), \(v\leq q\). By (3.1), we have
then
Following the former inequality, we can easily get
is convergent, and then
is convergent. Similarly, by \(u\geq x\), \(v\leq y\), we get
Define the operator \(A: C(I)\times C(I)\to C(I)\) by
Then \(I_{n-2}x\) is the solution of BVP (1.1) if and only if \(x=A(x, x)\). Let
By (3.1), for any \(x_{1}, x_{2}, y_{1}, y_{2}\in C(I)\), \(x_{1}\geq x_{2}\), \(y_{1}\leq y_{2}\), we have
and
By the method of mathematical induction, for any positive integer m and \(t\in J\),
Then
and
Hence, we can choose a \(\beta>0\) such that
So, there exists a positive integer \(m_{0}\) such that
Since P is a generating cone in \(C(I)\), from Lemma 2.3, there exists \(\tau>0\) such that every element \(x\in C(I)\) can be represented in the form
which implies
Let
by (3.5) we know that \(\|x\|_{0}\) is well defined for any \(x\in C(I)\). It is easy to verify that \(\|\cdot\|_{0}\) is a norm in \(C(I)\). By (3.4)-(3.6), we get
On the other hand, for any \(u\in P\) which satisfies \(-u\leq x\leq u\), we have \(\theta\leq x+u \leq2u\), then \(\|x\| \leq \|x+u\|+\|-u\| \leq(2N+1)\|u\|\), where N denotes the normal constant of P. Since u is arbitrary, we have
It follows from (3.7) and (3.8) that the norms \(\|\cdot\|_{0}\) and \(\| \cdot\|\) are equivalent.
Now, for any \(x,y\in C(I)\) and \(u\in P\) which satisfies \(-u\leq x-y\leq u\), we set
then \(x\geq u_{1}\), \(y\geq u_{1}\), and \(x-u_{1}=u_{2}\), \(y-u_{1}=u_{3}\), \(u_{2}+u_{3}=u\). It follows from (3.2) that
Let \(\widetilde{A}(x)=A(x,x)\), then we obtain
As K and M are both positive linear bounded operators, so \(K+M\) is a positive linear bounded operator, and therefore \((K+M)u\in P\). Hence, by mathematical induction, it is easy to see that for the natural number \(m_{0}\) in (3.3), we have
Since \((K+M)^{m_{0}}u\in P\), we see that
which implies by virtue of the arbitrariness of u that
By \(0<\beta<1\), we have \(0 < \beta^{m_{0}}<1\). Thus the Banach contraction mapping principle implies that \(\widetilde{A}^{m_{0}}\) has a unique fixed point \(x^{*}\) in \(C(I)\), and so \(\widetilde{A}\) has a unique fixed point \(x^{*}\) in \(C(I)\). By the definition of \(\widetilde{A}\), A has a unique fixed point \(x^{*}\) in \(C(I)\), then by Lemma 2.2, \(I_{n-2}x^{*}\) is the unique solution of BVP (1.1). And, for any \(\overline{x}_{0}\in C(I)\), let \(x_{1}=A(\overline {x}_{0},\overline{x}_{0})\), \(x_{m}=A(x_{m-1},x_{m-1})\) (\(m=2,3,\ldots\)), we have \(\|x_{m}-x^{*}\|_{0}\to0\) (\(m\to\infty\)). By the equivalence of \(\|\cdot\|_{0}\) and \(\|\cdot\|\) again, we get \(\|x_{m}-x^{*}\|\to0\) (\(m\to\infty\)). This completes the proof. □
Remark 3.1
For the case \(n=3\),
if \(f(t,x,y)=f(t,x)\), Theorem 3.1 is reduced to Theorem 3.1 in [19], if \(1<\alpha<\frac{1}{\eta}\) and \(f(t,x,y)=h(t)f(t,x)\), the existence results of nontrivial solutions are given by means of the topological degree theory in [11]. So our results extend the corresponding results of [11, 19] to some degree.
Example 3.1
To illustrate the applicability of our results, we consider the BVP (1.1) with \(n=3\) and
where \(n_{1}\), \(n_{2}\), \(n_{3}\), \(n_{4}\) are positive integral numbers. Then \(\Gamma=\int_{0}^{1}t\, dA(t)=2\times\frac{1}{4}=\frac{1}{2}\), and BVP (1.1) becomes the singular third-order three-point BVP
Let
where χ is the characteristic function, i.e.
and
By Lemma 2.2, if \(x\in C(I)\) is a fixed point of the operator F, then \(y(t)=(I_{1}x)(t)=\int_{0}^{t}x(s)\, ds\in C^{1}(I)\) is a solution of BVP (3.12). Let \(f(t,x,y)=g(t,x,x,y,y)\), then for any \(t\in J\), \(a_{10}, b_{10}, a_{20}, b_{20}, a_{11}, b_{11}, a_{21}, b_{21}\in R\) with \(a_{10}\leq b_{10}\), \(a_{20}\geq b_{20}\), \(a_{11}\leq b_{11}\), \(a_{21}\geq b_{21}\), we have
By Theorem 3.1, BVP (3.12) has a unique solution \(I_{1}x^{*}\in C^{1}(I)\) provided \(\frac{1}{n_{1}}+\frac{1}{n_{2}}+\frac{1}{n_{3}}+ \frac{1}{n_{4}}<\overline{G}\). Moreover, for any \(x_{0}\in C(I)\), the iterative sequence
converges to \(x^{*}\) (\(m\to\infty\)).
References
Whyburn, WM: Differential equations with general boundary conditions. Bull. Am. Math. Soc. 48, 692-704 (1942)
Webb, JRL, Infante, G: Positive solutions of nonlocal boundary value problems: a unified approach. J. Lond. Math. Soc. 74, 673-693 (2006)
Webb, JRL, Infante, G: Positive solutions of nonlocal boundary value problems involving integral conditions. Nonlinear Differ. Equ. Appl. 15, 45-67 (2008)
Webb, JRL: Nonlocal conjugate type boundary value problems of higher order. Nonlinear Anal. 71, 1933-1940 (2009)
Eloe, PW, Ahmad, B: Positive solutions of a nonlinear nth order boundary value problem with nonlocal conditions. Appl. Math. Lett. 18, 521-527 (2005)
Goodrich, CS: Positive solutions to boundary value problems with nonlinear boundary conditions. Nonlinear Anal. 75, 417-432 (2012)
Hao, X, Liu, L, Wu, Y, Sun, Q: Positive solutions for nonlinear nth-order singular eigenvalue problem with nonlocal conditions. Nonlinear Anal. 73, 1653-1662 (2010)
Hao, X, Liu, L, Wu, Y, Xu, N: Multiple positive solutions for singular nth-order nonlocal boundary value problem in Banach spaces. Comput. Math. Appl. 61, 1880-1890 (2011)
Graef, JR, Yang, B: Positive solutions to a multi-point higher order boundary value problem. J. Math. Anal. Appl. 316, 409-421 (2006)
Henderson, J: Existence and uniqueness of solutions of \((k+2)\)-point nonlocal boundary value problems for ordinary differential equations. Nonlinear Anal. 74, 2576-2584 (2011)
Wang, F, Cui, Y: On the existence of solutions for singular boundary value problem of third-order differential equations. Math. Slovaca 60, 485-494 (2010)
Zhang, X, Feng, M, Ge, W: Existence of solutions of boundary value problems with integral boundary conditions for second-order impulsive integro-differential equations in Banach spaces. J. Comput. Appl. Math. 233, 1915-1926 (2010)
Kong, L, Kong, Q: Higher order boundary value problems with nonhomogeneous boundary conditions. Nonlinear Anal. 72, 240-261 (2010)
Sun, Y, Liu, L, Zhang, J, Agarwal, RP: Positive solutions of singular three-point boundary value problems for second-order differential equations. J. Comput. Appl. Math. 230, 738-750 (2009)
Kwong, MK, Wong, JSW: Solvability of second-order nonlinear three-point boundary value problems. Nonlinear Anal. 73, 2343-2352 (2010)
Li, F, Sun, J, Jia, M: Monotone iterative method for the second-order three-point boundary value problem with upper and lower solutions in the reversed order. Appl. Math. Comput. 217, 4840-4847 (2011)
Ma, R: Positive solutions for a nonlinear three-point boundary value problem. Electron. J. Differ. Equ. 1999, 34 (1999)
Yao, Q: Successive iteration and positive solution for nonlinear second-order three-point boundary value problems. Comput. Math. Appl. 50, 433-444 (2005)
Zhang, P: Iterative solutions of singular boundary value problems of third-order differential equation. Bound. Value Probl. 2011, Article ID 483057 (2011)
Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, New York (1988)
Guo, D, Lakshmikantham, V, Liu, X: Nonlinear Integral Equations in Abstract Spaces. Kluwer Academic, Dordrecht (1996)
Acknowledgements
The authors would like to thank the referees for their pertinent comments and valuable suggestions. This work is supported by the National Natural Science Foundation of China (11371221, 11201260), the Natural Science Foundation of Shandong Province of China (ZR2015AM022, ZR2013AQ014), the Specialized Research Fund for the Doctoral Program of Higher Education (20123705120004, 20123705110001) and Foundation of Qufu Normal University (BSQD20100103).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors wrote, 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
Hao, X., Liu, L. & Wu, Y. Iterative solution to singular nth-order nonlocal boundary value problems. Bound Value Probl 2015, 125 (2015). https://doi.org/10.1186/s13661-015-0393-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0393-6