Table of Contents Author Guidelines Submit a Manuscript
Abstract and Applied Analysis
Volume 2012, Article ID 352159, 23 pages
http://dx.doi.org/10.1155/2012/352159
Research Article

Multiple Bounded Positive Solutions to Integral Type BVPs for Singular Second Order ODEs on the Whole Line

Department of Mathematics, Guangdong University of Business Studies, Guangzhou 510320, China

Received 3 June 2012; Accepted 6 August 2012

Academic Editor: Ziemowit Popowicz

Copyright © 2012 Yuji Liu. 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

This paper is concerned with the integral type boundary value problems of the second order differential equations with one-dimensional p-Laplacian on the whole line. By constructing a suitable Banach space and a operator equation, sufficient conditions to guarantee the existence of at least three positive solutions of the BVPs are established. An example is presented to illustrate the main results. The emphasis is put on the one-dimensional p-Laplacian term involved with the function ρ, which makes the solutions un-concave.

1. Introduction

The multipoint boundary-value problems for linear second order ordinary differential equations (ODEs for short) was initiated by Il'in and Moiseev [1]. Since then, more general nonlinear multi-point boundary-value problems (BVPs for short) were studied by several authors, see the text books [24] and the references cited therein.

Differential equations governed by nonlinear differential operators have been widely studied. In this setting the most investigated operator is the classical one-dimensional -Laplacian, that is, with . This operator is involved in some models, for example, in non-Newtonian fluid theory, diffusion of flows in porous media, nonlinear elasticity, and theory of capillary surfaces. The related nonlinear differential equation has the form where with is a one dimensional -Laplacian. For a comprehensive bibliography on this subject, see, for example [59].

In this paper, we consider the more generalized BVP for second order differential equation on the whole line with -Laplacian coupled with the integral type BCs, that is the BVP where is a nonnegative Caratheodory function, satisfy , the integrals in mentioned equations are meant in the sense of Riemann-Stieljes, with is called a one dimensional -Laplacian, whose inverse function is denoted by .

The purpose is to establish sufficient conditions for the existence of at least three positive solutions of BVP(1.2). The result in this paper generalizes and improves some known ones since the one-dimensional -Laplacian term involved with the function , which makes the solutions unconcave and there exists no paper concerned with the existence of at least three positive solutions of this kind of integral BVPs on the whole lines. This paper fills the gap.

The remainder of this paper is organized as follows: the main result (Theorem 2.8) is presented in Section 2, and the example to show the main result is given in Section 3.

2. Main Results

In this section, we first present some background definitions in Banach spaces and state an important three fixed point theorem. Then the main results are given and proved.

Definition 2.1. Let be a real Banach space. The nonempty convex closed subset of is called a cone in if for all and and and imply .

Definition 2.2. A map is a nonnegative continuous concave or convex functional map provided is nonnegative, continuous, and satisfies , or , for all and .

Definition 2.3. An operator is completely continuous if it is continuous and maps bounded sets into precompact sets.

Definition 2.4. Let be positive constants, be two nonnegative continuous concave functionals on the cone , be three nonnegative continuous convex functionals on the cone . Define the convex sets as follows:

Lemma 2.5 (see [10]). Let be a real Banach space, be a cone in , be two nonnegative continuous concave functionals on the cone be three nonnegative continuous convex functionals on the cone . Assume that there exists a constant such that Furthermore, suppose that are constants with . Let be a completely continuous operator. If(C1) and ;(C2) and ;(C3) for with ;(C4) for each with ,then has at least three fixed points , and such that .

Let us list the assumptions(H1) satisfy , and (H2) for with .(H3) on any finite subinterval of for each , is a Carathédory function, that is,(i) is measurable for any ,(ii) is continuous for a.e. ,(iii) for each , there exists nonnegative function such that implies

Choose For , define the norm of by One can prove that is a Banach space with the norm for .

Let . Consider the following auxiliary BVP

Lemma 2.6. Suppose that (H1)–(H3) hold. If such that is a solution of BVP(2.7), then(i) is bounded and nonnegative on ;(ii) is concave with respect to ;(iii)for , it holds that with ;(iv)there exists a unique constant such that

Proof. Since , we get Then there exists a nonnegative function such that Then
(i) We know there exist the limits and . We claim that there exists such that . In fact, if for all , we get for all . It follows that Then (H1) implies , which contradicts to for all . Similarly we can prove that does not hold. Then there exists such that .
Since , we know that is decreasing on . Then for all and for all . Hence One sees that Since and , we see that Then we get that This tells us that is bounded on .
It follows from (2.7) and (2.16) that Then Hence
Since we get from (2.19) that and . Hence (2.16) implies that
(ii) We prove that is concave with respect to on . It is easy to see that and Thus It follows that Hence So Since and , we get that . Hence is concave with respect to on .
(iii) Now, we prove that Since for all , there exists the inverse function of . Denote the inverse function of by .
It follows from (2.13) that . One sees If , note , then for , one has Noting that and is concave with respect to , then, for , Similarly, if , note , for , one has Hence (2.27) holds.
(iv) Finally, we prove the uniqueness of . Define Then (H1) implies that is increasing on and . Let then . By mean value theorem, there exists an unique satisfying . Then (iv) holds. This completes the proof of the lemma.

Choose and Define the cone by It is easy to see that is a cone in .

Define the operator by where satisfies It follows from Lemma 2.6(iv) that is well defined and . It is easy to show that It follows from Lemma 2.6(i) and (iii) that for all . Then is well defined.

Lemma 2.7. Suppose (H1)–(H3) hold. Then is completely continuous.

Proof. First, we prove that is continuous.
We claim that the function is continuous in .
Let with as in . Let be the constants determined by Since in as , there exists an such that . The fact is a Carathédory function means that there exists a nonnegative function such that Then So which means that is uniformly bounded.
Suppose that does not converge to . By the bounded property, we know that there exist two subsequences and of with and and .
By the construction of , , we have Let , using Lebesgue's dominated convergence theorem, the above equality implies By Lemma 2.6 (iv), we get . Similarly, . Thus , a contradiction. So, for any , one has , which means is continuous.
Since is continuous, together with the continuity of , we get that is continuous.
Second, we show that is maps bounded subsets into bounded sets.
Let be bounded. Then, there exists such that . Hence Then there exists a nonnegative function such that Then Thus for all . Therefore, On the other hand, we have Then So, is bounded.
Third, given a bounded set , we prove that both and are equicontinuous on each finite subinterval on .
Then, there exists such that . Hence Then there exists a nonnegative function such that Then
For any , since is uniformly continuous on , there exists such that For any and with , we have Then there exists such that Hence imply that It follows that is equicontinuous on each finite subinterval on .
On the other hand, we have Then is equicontinuous on each finite subinterval on .
At last given a bounded set , we show that both and are equiconvergent at , respectively.
Then, there exists such that . Hence Then there exists a nonnegative function such that Then
For any , since is uniformly continuous on , there exists such that Since uniformly as , we get that there exists such that Hence implies that Furthermore, we get Hence and are equiconvergent at .
Similarly we can how that and are equiconvergent at . We omit the details.
Therefore, is equiconvergent at . So the operator is completely continuous.
Define the functionals on by It is easy to see that are two nonnegative continuous concave functionals on the cone , are three nonnegative continuous convex functionals on the cone and for all .
For and , define

Theorem 2.8. Suppose that (H1)–(H3) hold. Given positive constants and , let , and be as above. If and(A1)  for all   ;(A2)  for all  ;(A3)  for all  ;
then BVP(1.2) has at least three positive solutions such that

Proof. We prove that all conditions in Lemma 2.5 are satisfied.
(i) By the definitions, it is easy to show that are two nonnegative continuous concave functionals on the cone , are three nonnegative continuous convex functionals on the cone and for all . One sees is a positive solution of BVP (1.2) if and only if is a solution of the operator equation .
(ii) For , we have It follows that Then Hence It follows that for all .
(iii) Corresponding to Lemma 2.5, Now, we prove that all other conditions of Lemma 2.5 hold. One sees that . The remainder is divided into five steps.
Step 1. Prove that .
For , we have . Then and for all . So (A1) implies that We have Similarly to (ii), we can show that </