Abstract and Applied Analysis

Volume 2014 (2014), Article ID 518238, 11 pages

http://dx.doi.org/10.1155/2014/518238

## Existence and Monotone Iteration of Positive Pseudosymmetric Solutions for a Third-Order Four-Point BVP

Department of Mathematics, Beihua University, Jilin 132013, China

Received 19 January 2014; Revised 6 March 2014; Accepted 13 March 2014; Published 8 April 2014

Academic Editor: Bashir Ahmad

Copyright © 2014 Xuezhe Lv et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We study the existence and monotone iteration of solutions for a third-order four-point boundary value problem. An existence result of positive, concave, and pseudosymmetric solutions and its monotone iterative scheme are established by using the monotone iterative technique. Meanwhile, as an application of our results, an example is given.

#### 1. Introduction

The third-order equations arise in many areas of applied mathematics and physics, such as the deflection of a curved beam having a constant or varying cross section, three-layer beam, electromagnetic waves, or gravity-driven flows [1], and thus have been studied extensively in the literature; see [1–29] and references therein. Recently, wide attention has been paid to the third-order boundary value problems with nonlocal boundary conditions; see [4, 6–9, 11, 12, 15, 16, 20, 23–30] and references therein.

In 2006, using the monotone iterative technique, Zhou and Ma [30] obtained the existence of positive solutions and established a corresponding iterative scheme for the following third-order -Laplacian problem:

In 2009, Sun et al. [23] studied the existence of positive solutions for the following third-order -Laplacian problem: By applying a monotone iterative method, the authors obtained the existence of positive solutions for the problem and established iterative schemes for approximating the solutions.

In 2011, Zhang [29] considered the following singular third-order three-point boundary value problem: The existence and uniqueness of solutions and corresponding iterative scheme to the problem are obtained by applying the cone theory and the Banach contraction mapping principle.

In 2013, Li et al. [7] studied third-order four-point boundary value problem with -Laplacian of the form By using the monotone iterative technique, the existence result of positive pseudosymmetric solutions and its monotone iterative scheme are established for the problem.

Motivated by above works and [31], in this paper, we consider the existence and monotone iteration of positive pseudosymmetric solutions of the following third-order four-point boundary value problem: subject to boundary conditions where and , . Here we say is positive solution of BVP (5), (6), if is the solution of BVP (5), (6) and satisfies for .

To the best of our knowledge, the pseudosymmetric solutions for the second-order boundary value problem have been studied by some authors, see [31–33]. And [7] is the only one concerned with the third-order boundary value problem. We note that the nonlinearity of in our problem contains explicitly and every derivatives of up to order two.

This work is organized as follows. In Section 2, some notations and preliminaries are introduced. The main results are discussed in Section 3. As an application of our results, an example is given in the last section.

#### 2. Preliminary

In this section, we give a definition and some lemmas which help to simplify the presentation of our main result.

*Definition 1 (see [33]). *Let , . We say is pseudosymmetric about on , if is symmetric on ; that is,
Let the Banach space be endowed with the norm
where , . Define a cone by
and by “” denote the induced partial ordering via cone ; that is, for , , if and only if .

For convenience, we denote the following. is a nonnegative continuous function defined on , on any subinterval of . In addition, and
is continuous,
and, for all ,
is nonincreasing in , nonincreasing in , and nondecreasing in on . on .

Now, we define an operator as follows: for ,
Obviously, under assumptions and , the operator is well defined.

Lemma 2. *Assume that and hold. Then is a solution of BVP (5), (6) if and only if is a fixed point of .*

*Proof. *At first we show the necessity. Suppose is a solution of BVP (5), (6). Then, integrating (5) and using (6) we infer that
For , integrating (14) on and taking into account , we get
Again integrating (16) on one can obtain
But, from (15) and (16), it follows that
Therefore, for , one has
For , integrating (14) on , we get
Again integrating (20) on one obtains
In particular, we have
In (19), we take , and then
From (22) and (23) one has
Hence from (21) it follows that
Notice that from , , and the fact that , we have
Therefore
This together with (19) implies that is fixed point of .

The sufficiency, by direct computation and using the fact that , follows immediately.

The following lemmas are some properties of the operator .

Lemma 3. *Assume that and hold. Then .*

*Proof. *From the definition of , it is easy to check that is nonnegative on and satisfies (6) for all . Furthermore, since
it follows that is concave on .

Next we prove that is pseudosymmetric about on . In fact, if , then ; it follows that
Note that is pseudosymmetric about on ; that is, for , and then
Thus, for all , from and , we have
Hence, for ,
From (29) and (32), it follows that
If , then . From (33), we have
This together with (33) implies
In summary, , and then .

The following lemma can be easily verified by a standard argument.

Lemma 4. *Assume that and hold. Then is completely continuous.*

Lemma 5. *Assume that , , and hold. Then is nondecreasing on ; that is, for , with .*

*Proof. *Let , with . Then . By the definition of , is nonnegative, concave, and pseudosymmetric about on . Therefore
From and the definition of it follows that
We now prove that (37) and (38) hold for . In fact, if , then , and hence, from the fact that and are pseudosymmetric about on , it follows that, for ,
So
and is concave on .

Finally, we show that is pseudosymmetric about on . To do this we let . We note that , , and are pseudosymmetric about on , and thus
In summary, ; that is, .

#### 3. Main Result

Now we establish existence result of positive, concave, and pseudosymmetric solutions and its monotone iterative scheme for BVP (5), (6).

Theorem 6. *Assume that , , , and hold. Suppose also that there exist two positive numbers and with such that
**
where satisfy
**
Then BVP (5), (6) has positive, concave, and pseudosymmetric solutions , with
*

*Proof. *We denote . In what follows, we first show that . To do this, let ; then obviously
Also since is concave and pseudosymmetric about on , then is nonincreasing on , , and for . Hence for and achieve the maximum at . Consequently
From , , and (42), it follows that
This together with Lemma 3 implies
Hence , and thus .

Let . Then , and thus . Let ; then . Define iterative sequence as follows:
Since , we have , . From Lemma 4, has a convergent subsequence and there exists such that
From the definition of and (42), for , we have
and, for , we have
Thus , .

On the other hand, since, for , we have
and, for , we have
it follows that on . Hence is concave on .

Also, since, for ,
then is pseudosymmetric about on . So , and hence from Lemma 5 it follows that ; that is, . By induction, we can show without any difficulty that
that is,
Thus is concave on and pseudosymmetric about on ; consequently
From (50)–(60), it follows that
that is, . Let in (49) to obtain
Also, from , we have . This together with the concavity of implies that
Again using the fact that is pseudosymmetric about on , we have
Hence on . Therefore, from Lemma 2, is a concave pseudosymmetric positive solution of BVP (5), (6).

Let on ; then . Set
Then, from Lemma 3, the sequence is well defined. Since , we have , and thus from Lemma 5 it follows that
By induction we can show that
Similarly to , we can show that there exists such that . Taking limit in (65), we get . Obviously, on . Therefore, from Lemma 2, is a concave pseudosymmetric positive solution of BVP (5), (6). This completes the proof of the theorem.

*4. An Example*

*Consider the following third-order four-point boundary value problem:
Let
Then . It is easy to see that BVP (68) corresponds to BVP (5), (6) when , , , and .*

*Next we verify that all conditions of Theorem 6 are satisfied. In fact, obviously the conditions , , and hold. In addition, by the definition of , we have
Hence the condition is also satisfied.*

*Now, we take , . Then
and thus
On the other hand, we also have
In summary, all conditions of Theorem 6 are satisfied. Hence, from Theorem 6, BVP (68) has concave pseudosymmetric positive solution , with
*

*Conflict of Interests*

*The authors declare that there is no conflict of interests regarding the publication of this paper.*

*Acknowledgments*

*The authors are grateful to the anonymous referee for his or her constructive comments and suggestions which led to improvement of the original paper. This work was supported by NSFC (11201008).*

*References*

- M. Greguš,
*Third Order Linear Differential Equations*, Mathematics and Its Applications, Reidel, Dordrecht, The Netherlands, 1987. View at MathSciNet - A. R. Aftabizadeh, C. P. Gupta, and J.-M. Xu, “Existence and uniqueness theorems for three-point boundary value problems,”
*SIAM Journal on Mathematical Analysis*, vol. 20, no. 3, pp. 716–726, 1989. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. P. Agarwal, “Existence-uniqueness and iterative methods for third-order boundary value problems,”
*Journal of Computational and Applied Mathematics*, vol. 17, no. 3, pp. 271–289, 1987. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - A. Boucherif and N. Al-Malki, “Nonlinear three-point third-order boundary value problems,”
*Applied Mathematics and Computation*, vol. 190, no. 2, pp. 1168–1177, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - A. Cabada, M. R. Grossinho, and F. Minhós, “Extremal solutions for third-order nonlinear problems with upper and lower solutions in reversed order,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 62, no. 6, pp. 1109–1121, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - P. W. Eloe and B. Ahmad, “Positive solutions of a nonlinear
*n*th order boundary value problem with nonlocal conditions,”*Applied Mathematics Letters*, vol. 18, no. 5, pp. 521–527, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - D. Li, L. Wang, and M. Pei, “Existence and monotone iteration of positive pseudosymmetric solutions for a third-order four-point BVP with
*p*-Laplacian,”*Abstract and Applied Analysis*, vol. 2013, Article ID 192509, 12 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - J. R. Graef and J. R. L. Webb, “Third order boundary value problems with nonlocal boundary conditions,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 71, no. 5-6, pp. 1542–1551, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - L.-J. Guo, J.-P. Sun, and Y.-H. Zhao, “Existence of positive solutions for nonlinear third-order three-point boundary value problems,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 68, no. 10, pp. 3151–3158, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - M. R. Grossinho, F. M. Minhós, and A. I. Santos, “Existence result for a third-order ODE with nonlinear boundary conditions in presence of a sign-type Nagumo control,”
*Journal of Mathematical Analysis and Applications*, vol. 309, no. 1, pp. 271–283, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - C. P. Gupta and V. Lakshmikantham, “Existence and uniqueness theorems for a third-order three-point boundary value problem,”
*Nonlinear Analysis*, vol. 16, no. 11, pp. 949–957, 1991. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - J. Henderson, “Best interval lengths for boundary value problems for third order Lipschitz equations,”
*SIAM Journal on Mathematical Analysis*, vol. 18, no. 2, pp. 293–305, 1987. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - G. Infante and P. Pietramala, “A third order boundary value problem subject to nonlinear boundary conditions,”
*Mathematica Bohemica*, vol. 135, no. 2, pp. 113–121, 2010. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. Jiang and R. P. Agarwal, “A uniqueness and existence theorem for a singular third-order boundary value problem on [0, $\infty $),”
*Applied Mathematics Letters*, vol. 15, no. 4, pp. 445–451, 2002. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - S. Jin and S. Lu, “Existence of solutions for a third-order multipoint boundary value problem with
*p*-Laplacian,”*Journal of the Franklin Institute*, vol. 347, no. 3, pp. 599–606, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - X. Lin, Z. Du, and W. Liu, “Uniqueness and existence results for a third-order nonlinear multi-point boundary value problem,”
*Applied Mathematics and Computation*, vol. 205, no. 1, pp. 187–196, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - R. Ma, “Multiplicity results for a third order boundary value problem at resonance,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 32, no. 4, pp. 493–499, 1998. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - F. M. Minhós, “On some third order nonlinear boundary value problems: existence, location and multiplicity results,”
*Journal of Mathematical Analysis and Applications*, vol. 339, no. 2, pp. 1342–1353, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - J. J. Nieto, “Periodic solutions for third order ordinary differential equations,”
*Commentationes Mathematicae Universitatis Carolinae*, vol. 32, no. 3, pp. 495–499, 1991. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. O'Regan, “Topological transversality: applications to third order boundary value problems,”
*SIAM Journal on Mathematical Analysis*, vol. 18, no. 3, pp. 630–641, 1987. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Pei and S. K. Chang, “Existence and uniqueness of solutions for third-order nonlinear boundary value problems,”
*Journal of Mathematical Analysis and Applications*, vol. 327, no. 1, pp. 23–35, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - I. Rachůnková, “Periodic boundary value problems for third-order differential equations,”
*Mathematica Slovaca*, vol. 41, no. 3, pp. 241–248, 1991. View at Google Scholar · View at MathSciNet - B. Sun, J. Zhao, P. Yang, and W. Ge, “Successive iteration and positive solutions for a third-order multipoint generalized right-focal boundary value problem with
*p*-Laplacian,”*Nonlinear Analysis: Theory, Methods & Applications*, vol. 70, no. 1, pp. 220–230, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - Y. Sun, “Positive solutions for third-order three-point nonhomogeneous boundary value problems,”
*Applied Mathematics Letters*, vol. 22, no. 1, pp. 45–51, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - F. Wang and Y. Cui, “On the existence of solutions for singular boundary value problem of third-order differential equations,”
*Mathematica Slovaca*, vol. 60, no. 4, pp. 485–494, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - Y. Wang and W. Ge, “Existence of solutions for a third order differential equation with integral boundary conditions,”
*Computers and Mathematics with Applications*, vol. 53, no. 1, pp. 144–154, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - P. J. Y. Wong, “Constant-sign solutions for a system of third-order generalized right focal problems,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 63, no. 5–7, pp. e2153–e2163, 2005. View at Publisher · View at Google Scholar · View at Scopus - Q. Yao, “Positive solutions of singular third-order three-point boundary value problems,”
*Journal of Mathematical Analysis and Applications*, vol. 354, no. 1, pp. 207–212, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - P. Zhang, “Iterative solutions of singular boundary value problems of third-order differential equation,”
*Boundary Value Problems*, vol. 2011, Article ID 483057, 10 pages, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - C. Zhou and D. Ma, “Existence and iteration of positive solutions for a generalized right-focal boundary value problem with
*p*-Laplacian operator,”*Journal of Mathematical Analysis and Applications*, vol. 324, no. 1, pp. 409–424, 2006. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - H. Pang, M. Feng, and W. Ge, “Existence and monotone iteration of positive solutions for a three-point boundary value problem,”
*Applied Mathematics Letters*, vol. 21, no. 7, pp. 656–661, 2008. View at Publisher · View at Google Scholar · View at Scopus - B. Sun and W. Ge, “Successive iteration and positive pseudo-symmetric solutions for a three-point second-order
*p*-Laplacian boundary value problems,”*Applied Mathematics and Computation*, vol. 188, no. 2, pp. 1772–1779, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - R. Avery and J. Henderson, “Existence of three positive pseudo-symmetric solutions for a one dimensional
*p*-Laplacian,”*Journal of Mathematical Analysis and Applications*, vol. 277, no. 2, pp. 395–404, 2003. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus

*
*