Existence and Uniqueness of Smooth Positive Solutions to a Class of Singular -Point Boundary Value Problems

In this paper,we will consider the existence and uniqueness of positive solutions to a class of second-order singular -point boundary value problems of the following differential equation:

(1.1)

with

(1.2)

where are constants, and satisfies the following hypothesis:

is continuous, nondecreasing on , and nonincreasing on for each fixed there exists a real number such that for any ,

(1.3)

there exists a function , and is integrable on such that

(1.4)

Remark 1.1.

(i) Inequality (1.3) implies

(1.5)

Conversely, (1.5) implies (1.3).

(ii) Inequality (1.4) implies

(1.6)

Conversely, (1.6) implies (1.4).

Remark 1.2.

It follows from (1.3), (1.4) that

(1.7)

When is increasing with respect to , singular nonlinear -point boundary value problems have been extensively studied in the literature, see [1–3]. However, when is increasing on , and is decreasing on , the study on it has proceeded very slowly. The purpose of this paper is to fill this gap. In addition, it is valuable to point out that the nonlinearity may be singular at and/or

When referring to singularity we mean that the functions in (1.1) are allowed to be unbounded at the points , and/or . A function is called a (positive) solution to (1.1) and (1.2) if it satisfies (1.1) and (1.2) ( for ). A (positive) solution to (1.1) and (1.2) is called a smooth (positive) solution if and both exist ( for ). Sometimes, we also call a smooth solution a solution. It is worth stating here that a nontrivial nonnegative solution to the problem (1.1), (1.2) must be a positive solution. In fact, it is a nontrivial concave function satisfying (1.2) which, of course, cannot be equal to zero at any point

To seek necessary and sufficient conditions for the existence of solutions to the above problems is important and interesting, but difficult. Thus, researches in this respect are rare up to now. In this paper, we will study the existence and uniqueness of smooth positive solutions to the second-order singular -point boundary value problem (1.1) and (1.2). A necessary and sufficient condition for the existence of smooth positive solutions is given by constructing lower and upper solutions and with the maximal principle. Also, the uniqueness of the smooth positive solutions is studied.

A function is called a lower solution to the problem (1.1), (1.2), if and satisfies

(1.8)

Upper solution is defined by reversing the above inequality signs. If there exist a lower solution and an upper solution to problem (1.1), (1.2) such that , then is called a couple of upper and lower solution to problem (1.1), (1.2).

To prove the main result, we need the following maximal principle.

Lemma 1.3 (maximal principle).

Suppose that , and . If such that then

Proof.

Let

(1.9)

(1.10)

then

By integrating (1.9) twice and noting (1.10), we have

(1.11)

where

(1.12)

In view of (1.11) and the definition of , we can obtain This completes the proof of Lemma 1.3.

Now we state the main results of this paper as follows.

Theorem 1.4.

Suppose that holds, then a necessary and sufficient condition for the problem (1.1) and (1.2) to have smooth positive solution is that

(1.13)

Theorem 1.5.

Suppose that and (1.13) hold, then the smooth positive solution to problem (1.1) and (1.2) is also the unique positive solution.

Suppose that and are positive solutions to (1.1) and (1.2), and at least one of them is a smooth positive solution. If for any without loss of generality, we may assume that for some Let

(3.1)

It follows from (3.1) that

(3.2)

By (1.2), it is easy to check that there exist the following two possible cases:

(1)

(2)

Assume that case holds. By on it is easy to see that exist (finite or ), moreover, one of them must be finite. The same conclusion is also valid for It follows from (3.2) that

(3.3)

consequently

(3.4)

Similarly

(3.5)

From (3.1), (3.4), and (3.5) we have

(3.6)

On the other hand, (3.2), (1.7), and condition yield

(3.7)

that is,

(3.8)

therefore

(3.9)

From this it follows that

(3.10)

If on then, by (3.6) we have and then which imply that there exists a positive number such that on It follows from (3.2) that therefore Substituting into (1.1) and using condition , we have

(3.11)

Noticing (3.11) and we have

(3.12)

which contradicts with the condition that Therefore, and on Thus, , which contradicts with (3.6). So case is impossible.

By analogous methods, we can obtain a contradiction for case . So for any which implies that the result of Theorem 1.5 holds.

Remark 4.1.

The typical function satisfying is where

Remark 4.2.

Condition includes e-concave function (see [6]) as special case. For example, Liu and Yu [7] consider the existence and uniqueness of positive solution to a class of singular boundary value problem under the following condition:

(4.1)

where and is nondecreasing on , nonincreasing on Clearly, condition is weaker than the above condition (4.1).

In fact, for any from (4.1) it follows that

(4.2)

On the other hand, for any from (4.1) it follows that

(4.3)

that is,

In what follows, by using the results obtained in this paper, we study the boundary value problem

(4.4)

where We have the following theorem.

Theorem 4.3.

A necessary and sufficient condition for problem (4.4) to have smooth positive solution is that

(4.5)

Moreover, when the positive solution exists, it is unique.

Remark 4.4.

Consider (1.1) and the following singular -point boundary value conditions:

(4.6)

By analogous methods, we have the following results.

Assume that is a positive solution to (1.1) and (4.6), then can be stated

(4.7)

where is defined in (2.4).

Theorem 4.5.

Suppose that holds, then a necessary and sufficient condition for the problem (1.1) and (4.6) to have smooth positive solution is that

(4.8)

Theorem 4.6.

Suppose and (4.8) hold, then the smooth positive solution to problem (1.1) and (4.6) is also unique positive solution.