Abstract

We deal with the existence and uniqueness of positive solutions to a class of nonlinear parabolic partial differential equations, by using some fixed point theorems for mixed monotone operators with perturbation.

1. Introduction

In this paper, we consider a class of nonlinear parabolic partial differential equations of the form where is a bounded smooth domain in and ; we denote .

Problems related to nonlinear parabolic equations arise in many mathematical models of applied science, such as nuclear science, chemical reactions, heat transfer, population dynamics, and biological sciences, and have attracted a great deal of attention in the literature; see [16] and the references therein. In recent years, there are many results about existence, uniqueness, blowing-up, global existence, critical exponent, and other properties of the solution; see [4, 5, 712], among others. Some of the authors who investigated parabolic equations were using the method of upper and lower solutions; see [11], for example. Different from the works mentioned above, in the present paper, we will utilize some fixed point theorems for mixed monotone operators with perturbation to study the existence and uniqueness of positive solutions to the nonlinear parabolic partial differential equation (1).

With this context in mind, the outline of this paper is as follows. In Section 2 we will recall certain results from the theory of notations and results of monotone operators. In Section 3, we will provide some conditions under which problem (1) will have a unique positive solution. Finally, in Section 4, we will provide an example, which explicates the applicability of our result.

2. Preliminaries

In this sequel, we present some basic concepts in ordered Banach spaces and two fixed point theorems which we will use later. For convenience, we suggest that one refers to [1316] for details.

Suppose that is a real Banach space which is partially ordered by a cone ; that is, if and only if . If and , then we denote or . By we denote the zero element of . Recall that a nonempty closed convex set is a cone if it satisfies . is called normal if there exists a constant such that, for all implies that ; in this case is called the normality constant of . We say that an operator is increasing (decreasing) if implies that . For all , the notation means that there exist and such that . Clearly, is an equivalence relation. Given (i.e., and ), we denote by the set . It is easy to see that  .

Definition 1 (see [13, 14]). is said to be a mixed monotone operator if is increasing in and decreasing in ; that is, , , imply that . Element is called a fixed point of if .

Definition 2. An operator is said to be subhomogeneous if it satisfies , , .

Definition 3. Let and let be a real number with . An operator is said to be -concave if it satisfies , , .

Lemma 4 (see Theorem  2.1 in [16]). Let . is a mixed monotone operator and satisfies , , is an increasing subhomogeneous operator. Assume that (i) there is such that and and (ii) there exists a constant such that , . Then we have the following:(1) and ;(2)there exist and such that (3)the operator equation has a unique solution in ;(4)for any initial values , constructing successively the sequences one has and as .

Lemma 5 (see Theorem  2.4 in [16]). Let . is a mixed monotone operator and satisfies , , is an increasing -concave operator. Assume that (i) there is such that and and (ii) there exists a constant such that , . Then we have the following:(1) and ;(2)there exist and such that (3)the operator equation has a unique solution in ;(4)for any initial values , constructing successively the sequences one has and as .

3. Existence and Uniqueness of Positive Solutions

In this section, we will apply Lemmas 4 and 5 to study the problem (1), and we obtain some new results on the existence and uniqueness of positive solutions. The method used here is relatively new to the literature and so are the existence and uniqueness results of the nonlinear parabolic partial differential equations.

In our considerations, we work in the Banach space with the standard norm . Notice that this space can be equipped with a partial order given by Set , as the standard cone. It is clear that is a normal cone in and the normality constant is 1.

The following assumptions on the nonlinear functions and are as follows: is continuous and is continuous; is increasing in , for fixed and , and decreasing in , for fixed and , and is increasing in , for fixed ;, for , , and , and there exists a constant such that , , , ;there exists a constant such that , , ;, , where is the positive solution of the equation that is, for . The existence of follows from Theorem  7 in [17, Chapter 7].

Theorem 6. Assume that ()-() are satisfied. Then the nonlinear parabolic partial differential equation (1) has a unique positive solution in .

Proof. We divide the proof into three steps.
Step 1. By the existence and uniqueness of linear parabolic partial differential equations, we consider the operator as the solution of (8) for given as follows: Indeed, for , we have . From the regularity theory of the heat equation, we conclude that , and there exists some such that , so the operator is well defined as the solution of (8) for given . For , such that for . Let . Then from , for , . By and the above inequalities, we have for , . By the comparison principle for parabolic partial differential equations [18, Lemma , page 108], we know that for , which is satisfied by . So .
Let and ; we get that , for ; that is, . By , we have for , . Also, by the comparison principle for parabolic partial differential equations, we observe that ; that is, is a mixed monotone operator. Moreover, by , we have for , . Also, by the comparison principle for parabolic partial differential equations, we conclude that , for .
Step 2. Similar to Step 1, we can also construct the operator as the solution of (15) for given : and we get the fact that the operator is well defined as the solution of (15) for given . From , we get for , . By and the above inequalities, we have for , . Also, by the comparison principle for parabolic partial differential equations, we know that for , which is satisfied by . So .
Let and ; we get that , where ; that is, . By , we have for , . By the comparison principle for parabolic partial differential equations, we observe that ; that is, is an increasing operator. Moreover, by , we have for . By the comparison principle for parabolic partial differential equations, we conclude that , for .
Step 3. By , we have for , . By the comparison principle for parabolic partial differential equations, we know that , where .
Therefore, the operators and satisfy all the conditions in Lemma 4. Thus, the operator equation has a unique solution in . By we obtain that the nonlinear parabolic partial differential equation (1) has a unique positive solution in . The proof is complete.

Further, we make some other assumptions on the nonlinear functions and :there exists a constant such that , , , , and , for , , ;there exists a constant such that , , .

By using Lemma 5, we can also easily prove the following conclusion.

Theorem 7. Assume that (), (), (), (), and () are satisfied. Then the nonlinear parabolic partial differential equation (1) has a unique positive solution in .

4. An Example

We now present one example to illustrate Theorem 6.

Example 1. Consider the following parabolic partial differential equation: where is a constant, are continuous, and is a bounded smooth domain in ; we denote . Set to be the positive solution of the following: that is, , for . We can conclude that the nonlinear parabolic partial differential equation (23) has a unique positive solution in .

Proof . In this example, we take and let Obviously, , is continuous, and is continuous. And is increasing in , for fixed and , and decreasing in , for fixed and , and is increasing in , for fixed . Besides, for , , and , we have Moreover, if we take , then we obtain Further, and .
Hence, all the conditions of Theorem 6 are satisfied. An application of Theorem 6 implies that the nonlinear parabolic partial differential equation (23) has a unique positive solution in , where , .

Conflict of Interests

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

Authors’ Contribution

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final paper.

Acknowledgments

The authors are grateful to the anonymous referee for his/her valuable suggestions. This paper was supported financially by the Youth Science Foundations of China (11201272) and Shanxi Province (2010021002-1). The second author was partially supported by Shanxi Scholarship Council of China.