Abstract
This paper investigates the existence of concave positive solutions and establishes corresponding iterative schemes for a third-order boundary value problem with Riemann-Stieltjes integral boundary conditions. The main tool is a monotone iterative technique. Meanwhile, an example is worked out to demonstrate the main results.
Similar content being viewed by others
1 Introduction
Third-order differential equation arises from many branches of applied mathematics and physics. For example, in the deflection of a curved beam having a constant or varying cross-section, a three-layer beam, electromagnetic waves or gravity driven flows and so on [1].
In the past ten years or so, many authors also studied some third-order differential equation boundary value problems by different types of techniques. For example, in [2], Sun applied the Krasnosel’skii’s fixed point theorem to obtain the existence of positive solutions for third-order three-point boundary value problem. In [3], authors studied the uniqueness and existence results for a third-order multi-point boundary value problem by the method of upper and lower solutions.
In [4], Zhou and Ma obtained the existence of positive solutions and established a corresponding iterative scheme for the following third-order boundary value problem:
the main tool was the monotone iterative technique.
Boundary value problems with Riemann-Stieltjes integral boundary condition have been considered recently as both multi-point and integral type boundary conditions are treated in a single framework. For more comments on the Riemann-Stieltjes integral boundary condition and its importance, we refer the reader to the papers by Webb and Infante [5–7] and other related works, such as [8, 9].
In the existing literature, very few papers have dealt with third-order differential equations with Riemann-Stieltjes integral boundary conditions. We found that Graef and Webb [10] studied the following problem:
where \(p > \frac{1}{2}\), and \(\alpha[u]\), \(\beta[u]\) and \(\lambda[v]\) are linear functionals on \(C[0, 1]\) given by a Riemann-Stieltjes integral. The existence of multiple positive solutions is obtained by the application of fixed point index theory. Since α, β and λ can include both sums and integrals, this boundary condition is more general setup than in (1.1).
In [11], Zhang and Sun investigated the existence of monotone positive solution for the following third-order nonlocal boundary value problem:
where \(\alpha[u]=\int_{0}^{1}u(t)\, dA(t)\) and \(\beta[u]=\int_{0}^{1}u(t)\, dB(t)\) are linear functionals on \(C[0,1]\) given by Riemann-Stieltjes integrals. The main tool is monotone iterative techniques.
Inspired by [5, 10, 11], in this paper, we apply monotone iterative techniques to obtain the existence and iteration of monotone positive solutions for the following boundary value problem:
where \(p > \frac{1}{2}\), \(\alpha[u] = \int_{0}^{1}u(s)\, dA(s)\), \(\beta[u] = \int_{0}^{1}u(s)\, dB(s)\), \(\lambda[v]=\int_{0}^{1}v(t)\, d\Lambda(t)\), and \(\alpha[u]\), \(\beta[u]\), \(\lambda[\nu]\) are linear functionals on \(C[0,1]\) given by the Riemann-Stieltjes integral, \(A(t)\), \(B(t)\) and \(\Lambda(t)\) are suitable functions of bounded variation.
Compared with (1.1)-(1.3), the difficulty of this paper is that nonlinear term f depends on all the lower derivatives of u, which leads to complexities to prove the properties of the operator T, especially the monotonicity of the operator T. In addition, it is worth stating that the first term of our iterative scheme is a simple function or a constant function. Therefore, the iterative scheme is feasible. Under the appropriate assumptions on nonlinear term, this paper is to establish a new and general result on the existence of positive solution to boundary value problem (1.4). An example is also included to illustrate the main results.
2 Preliminaries
In this section, we give the definitions and some preliminaries.
Definition 2.1
Let E be a real Banach space. A nonempty closed set \(P\subset E\) is said to be a cone provided the following hypotheses are satisfied:
-
(i)
if \(u\in P\), \(\lambda\geq0\), then \(\lambda u \in P\);
-
(ii)
if \(u\in P\) and \(-u\in P\), then \(u=0\).
Definition 2.2
Let the Banach space \(E=C^{2}[0,1]\), \(u\in E\) is said to be concave on \([0,1]\) if
for any \(t_{1},t_{2} \in[0,1]\) and \(\lambda\in[0,1]\).
We consider the Banach space \(E=C^{2}[0,1]\) equipped with the norm
Denote
and define the cone \(P \subset E\) by
Lemma 2.1
For the following boundary value problems,
and
we have \(\gamma(t) \equiv1\), \(\delta(t) = pt-t^{2}/2\), for \(t \in[0,1]\).
Lemma 2.2
[10]
Suppose \(\lambda[1]\neq1\). For any \(y \in C[0,1]\), the unique solution of the boundary value problem
is given by
Lemma 2.3
Suppose that \(1/2\leqslant p\leqslant1\), \(\Lambda(s)\geq0\) and \(\lambda[1]<1\), let \(G(t,s)\) be the Green function
for \(0\leq t \leq1\), \(0\leq s \leq1\), where \(H(x-y) = \bigl\{\scriptsize{ \begin{array}{l@{\quad}l} 0, & x< y,\\ 1,& x\geq y, \end{array}} \bigr. \) we have
Proof
The upper bounds are obtained by finding \(\max_{t \in[0,1]}{G(t,s)}\) for each fixed s. Let \(Q(s) := 1+\frac{\Lambda(s)}{1-\lambda[1]}\). Since \(\Lambda(s) \geq 0\), we can get \(Q(s) \geq1\). From (2.5), we have the following formula:
We first consider fixed \(s \geq p\). The derivative, which is positive for \(t < p\), negative for \(p < t < s\) and \(p \leq s \leq t \). When \(t = p\), the derivative becomes zero. Therefore, under our hypothesis, the maximum of \(G(t,s)\) for this fixed s occurs when \(t = p\). This gives the upper half of the expression for Φ.
When \(s < p\), using the fact that \(\Lambda(s) > 0\), we have, for \(t > s\),
When \(s < p\) and \(t \leq s\), we have
Since \(Q(s) > 1\) and \(p-\frac{t}{2}\geq0\), for \(0\leq t,s\leq1\), we can easily obtain
□
We always suppose that the following assumptions hold:
- (H1):
-
\(g \in L^{1}[0,1]\), \(g \geq0\), and \(\int_{0}^{1}g(s)\, ds >0\);
- (H2):
-
A, B are of bounded variation and \(g_{A}(s), g_{B}(s) \geq0\) for a.e. s, where
$$g_{A}(s) := \int_{0}^{1}G(t,s)\, dA(t) \quad \text{and} \quad g_{B}(s) := \int_{0}^{1}G(t,s) \, dB(t); $$ - (H3):
-
\(\gamma\in C[0,1]\), \(\gamma(t) \geq0\), \(0 \leq\alpha[\gamma] < 1\), \(\beta[\gamma] \geq0\);
- (H4):
-
\(\delta\in C[0,1]\), \(\delta(t) \geq0\), \(0 \leq\beta[\delta] < 1\), \(\alpha[\delta] \geq0\);
- (H5):
-
\(D:=(1-\alpha[\gamma])(1-\beta[\delta])-\alpha[\delta]\beta[\gamma ] > 0\).
Lemma 2.4
[10]
For any \(y \in C[0,1]\), suppose that u is a solution of the following boundary value problem:
then we have
For any \(u \in E_{+}\), \(T :P\to E\) is defined
where \(f_{u}(s) = f(s,u(s),u'(s),u''(s))\), and
Combining the expression of \(\alpha[gf_{u}]\), \(\beta[gf_{u}]\) with (H1)-(H5), we can obtain that
From the definition of T, it is obvious that
Lemma 2.5
If (H1)-(H5) are satisfied, \(T : P \to P\) is completely continuous.
Proof
Since \((Tu)''(t)\leq0\), Tu is concave. From \((Tu)'(t)\geq0\) on \([0, p]\) and \((Tu)'(t)\leq0\) on \([p, 1]\), we obtain that \((Tu)(t)\) is nondecreasing on \([0, p]\) and nonincreasing on \([p, 1]\). Moreover,
then
So, by the concavity of T, then \((Tu)(t)\geq0\), \(0\leq t \leq1\). Hence, \(T : P\to P\).
In what follows, we will prove that \(T : P\to P\) is completely continuous. The continuity of T is obvious. Now, we prove that T is compact. Let \(\Omega\subset P\) be a bounded set. It is easy to prove that \(T(\Omega)\) is bounded and equicontinuous. Then the Arzelà-Ascoli theorem guarantees that \(T(\Omega)\) is relatively compact, which means T is compact. □
3 Main results
For notational convenience, we denote
Remark
From (H1)-(H5), we can easily get that the signs of (3.1) and (3.2) are nonnegative. If \(g_{A}(s)\) is a piecewise function related to t for \(t \in[0,1]\), \(L_{A}\) is an expression of t. In this case, we denote \(L_{A}=\max_{0\leq t\leq1} \{\int_{0}^{1}g_{A}(s)g(s)\,ds \}\). The same condition is satisfied with \(g_{B}(s)\) and \(L_{B}\).
We will prove the following existence result.
Theorem 3.1
Assume that (H1)-(H5) hold, if there are two positive numbers \(a_{1} \), a satisfying \(a=\max\{L_{H} + L_{G}+\frac{p^{2}}{2}(L_{I}+L_{C}+L_{D}), L_{I} + L_{C}+L_{D}\}a_{1}\), and
-
(S1)
\(f(t,u_{1},v_{1},w_{1})\leq f(t,u_{2},v_{2},w_{2})\) for \(0\leq t\leq1\), \(0\leq u_{1}\leq u_{2}\leq a\), \(0\leq|v_{1}|\leq|v_{2}|\leq a\), \(-a \leq w_{2}\leq w_{1} \leq0\);
-
(S2)
\(\max_{0 \leq t \leq1}f(t,a,a,-a) \leq a_{1}\);
-
(S3)
\(f(t,0,0,0)\not\equiv0\) for \(0\leq t \leq1\).
Then the boundary value problem (1.4) has positive, nondecreasing on \([0,p]\) nonincreasing on \([p,1]\) and concave solutions \(\omega^{*}\), \(\nu ^{*}\) such that
where \(\omega_{0}(t)=a_{1}(L_{H} + L_{G})+ a_{1}t(p-\frac {t}{2})(L_{I}+L_{C}+L_{D})\), and
where \(\nu_{0}(t)=0\).
Proof
We denote
Then, in what follows, we first prove that \(T : \bar{P}_{a}\to\bar {P_{a}}\). If \(u \in\bar{P}_{a}\), then \(\|u\|\leq a\), we have
So by (S1), (S2) we have
In fact,
By (2.9), (3.1) and (S2), we have
From (3.4), (3.5) and Lemma 2.3, we have
Thus, we obtain that
Hence, we assert that \(T :\bar{P}_{a}\to\bar{P}_{a}\).
Let \(\omega_{0}= a_{1}L_{H} + a_{1}L_{G} + a_{1}t(p-\frac{t}{2})(L_{I}+L_{C}+L_{D})\), for \(0\leq t \leq1\), then \(\omega_{0}(t)\in\bar{P}_{a}\). Let \(\omega_{1} = T\omega_{0}\), \(\omega_{2} = T^{2}\omega_{0}\), then \(\omega_{1} \in\bar{P}_{a}\) and \(\omega_{2} \in\bar{P}_{a}\). We denote \(\omega_{n+1} = T\omega_{n} = T^{n}\omega_{0}\), \(n = 0, 1, 2,\ldots\) . Since \(T : \bar{P}_{a}\to\bar{P}_{a}\), we have \(\omega_{n} \in T\bar{P}_{a}\subseteq\bar{P}_{a}\), \(n = 0, 1, 2,\ldots\) . Since T is completely continuous, we assert that \(\{\omega_{n}\}_{n=1}^{\infty}\) is a sequentially compact set. We have
So
Hence, by induction, we have
Thus, we assert that \(\omega_{n}\to\omega^{*}\), we get \(T\omega^{*} = \omega ^{*}\) since T is continuous and \(\omega_{n+1} = T\omega_{n}\).
Let \(\nu_{0}=0\), \(0\leq t \leq1\), then \(\nu_{0}(t)\in\bar{P}_{a}\). Let \(\nu_{1} = T\nu_{0}\), \(\nu_{2} = T^{2}\nu_{0}\), then \(\nu_{1} \in\bar{P}_{a}\) and \(\nu_{2} \in \bar{P}_{a}\). We denote \(\nu_{n+1} = T\nu_{n} = T^{n}\nu_{0}\), \(n = 0, 1, 2,\ldots\) . Since \(T : \bar{P}_{a}\to\bar{P}_{a}\), we have \(\nu_{n} \in T\bar{P}_{a}\subseteq\bar{P}_{a}\), \(n = 0, 1, 2,\ldots\) . Since T is completely continuous, we assert that \(\{\nu_{n}\}_{n=1}^{\infty}\) is a sequentially compact set. We have
So
Hence, by induction, we have
Thus, we assert that \(\nu_{n}\to\nu^{*}\), we get \(T\nu^{*} = \nu^{*}\) since T is continuous and \(\nu_{n+1} = T\nu_{n}\).
It is well known that the fixed point of the operator T is the solution of boundary value problem (1.4). Therefore, \(\omega^{*}\) and \(\nu^{*}\) are positive nondecreasing on \([0,p]\), nonincreasing on \([p,1]\) and concave solutions of problem (1.4). □
Example
Let \(p=\frac{2}{3}\) and \(g(s)=1\), we consider the following boundary value problem:
where \(\alpha[u]=\int^{1}_{0}(1-s)u(s)\,ds\) and \(\beta[u]=\int^{1}_{0}su(s)\,ds\) are nonlocal boundary conditions of integral type. For these boundary conditions, we have \(\gamma(t)=1\) and \(\delta(t)=\frac{2}{3}t-\frac{t^{2}}{2}\) corresponding to Lemma 2.1. A simple calculation shows that
and \(a=\max\{L_{H} + L_{G}+\frac{p^{2}}{2}(L_{I}+L_{C}+L_{D}), L_{I} + L_{C}+L_{D}\} a_{1}\approx5.2a_{1}\). Then all the hypotheses of Theorem 3.1 are fulfilled with \(a=52\) and \(a_{1}=10\). It follows from Theorem 3.1 that the boundary value problem (3.6) has two monotone positive solutions \(\omega^{*}\) and \(\nu^{*}\) such that
where \(\omega_{0}(t)=-\frac{433}{27}t^{2}+\frac{1\text{,}732}{81}t+\frac{3\text{,}460}{243}\), and
where \(\nu_{0}(t)=0\).
References
Gregus, M: Third Order Linear Differential Equations. Mathematics and Its Applications. Reidel, Dordrecht (1987)
Sun, Y: Positive solutions of singular third-order three-point boundary value problem. J. Math. Anal. Appl. 306, 589-603 (2005)
Lin, X, Du, Z, Liu, W: Uniqueness and existence results for a third-order nonlinear multi-point boundary value problem. Appl. Math. Comput. 205, 187-196 (2008)
Zhou, C, Ma, D: Existence and iteration of positive solutions for a generalized right-focal boundary value problem with p-Laplacian operator. J. Math. Anal. Appl. 324, 409-424 (2006)
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: Nonlocal boundary value problems of arbitrary order. J. Lond. Math. Soc. (2) 79, 238-258 (2009)
Webb, JRL: Positive solutions of some higher order nonlocal boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2009, 29 (2009)
Graef, JR, Kong, L: Positive solutions for third order semipositone boundary value problems. Appl. Math. Lett. 22, 1154-1160 (2009)
Kong, L: Second order singular boundary value problems with integral boundary conditions. Nonlinear Anal. 72, 2628-2638 (2010)
Graef, JR, Webb, JRL: Third order boundary value problems with nonlocal boundary conditions. Nonlinear Anal. 15, 1542-1551 (2009)
Zhang, H, Sun, J: Existence and iteration of monotone positive solutions for third-order nonlocal BVPs involving integral conditions. Electron. J. Qual. Theory Differ. Equ. 2012, 18 (2012)
Acknowledgements
This work was supported by Beijing Higher Education Young Elite Teacher Project (Project No. YETP0322).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All 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
Pang, H., Xie, W. & Cao, L. Successive iteration and positive solutions for a third-order boundary value problem involving integral conditions. Bound Value Probl 2015, 139 (2015). https://doi.org/10.1186/s13661-015-0402-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0402-9