Abstract

This paper deals with the existence and uniqueness of periodic solutions for the first-order functional differential equation with periodic coefficients and delays. We choose the mixed monotone operator theory to approach our problem because such methods, besides providing the usual existence results, may also sometimes provide uniqueness as well as additional numerical schemes for the computation of solutions.

1. Introduction

In this paper, we are concerned with the existence and uniqueness of periodic solutions for the first-order functional differential equation (cf., e.g., [15]) where we will assume that and are continuous -periodic functions, that , that and -periodic with respect to the first variable, and that for .

Functional differential equations with periodic delays such as those stated above appear in a number of ecological, economical, control and physiological, and other models. One important question is whether these equations can support periodic solutions, and whether they are unique. The existence question has been studied extensively by many authors (see, e.g., [15]). The uniqueness problem seems to be more difficult, and less studies are known.

We will tackle the existence and uniqueness question by fixed point theorems for mixed monotone operators. We choose this approach because such fixed point methods, besides providing the usual existence and uniqueness results, sometimes may also provide additional numerical schemes for the computation of solutions.

We first recall some useful terminologies (see [6, 7]). Let be a real Banach space with zero element . A nonempty closed convex set is called a cone if it satisfies the following two conditions: (i) and (ii) and

Every cone induces an ordering in given by if and only if A cone is called normal if there is such that and . is said to be solid if the interior of is nonempty.

Assume that and The set is denoted by Assume that Let . Obviously if is a solid cone and then

Definition 1.1. Let be an ordered Banach space, and let . An operator is called mixed monotone on if and for any that satisfy and .Also, is called a fixed point of if

A function is said to be convex in if for any and any . We say that the function is a concave function if is a convex function.

Definition 1.2. Assume and Then, is said to be an -concave or -convex function if or, respectively, for and

Definition 1.3. Let , and let The operator is called (-concave)-(-convex) if there exist functions and such that() for and ,() for any and ,() for any and .
Assume that and Recall that a function is said to be left lower semicontinuous at if for any monotonically increasing sequence that converges to
The proof of the following theorem can be found in [7].

Theorem 1.4. Let be a normal cone of Let such that , and let be a mixed monotone operator. If is a (-concave)-(-convex) operator and satisfies the following three conditions:(A1) there exists such that ;(A2) and (A3) there exists such that for each , and is left lower semicontinuous at any ,then has a unique fixed point , that is, , and for any if we set and for then and

Remark 1.5. Condition (A3) in Theorem 1.4 can be replaced by (A3') is monotone in and left lower semicontinuous at any

2. Main Results

A real -periodic continuous function is said to be a -periodic solution of (1.1) if substitution of it into (1.1) yields an identity for all

It is well known (see, e.g., [1, 2]) that (1.1) has a -periodic solution if, and only if, is a -periodic solution of the equation where and (1.2) has a -periodic solution if, and only if, is a -periodic solution of the equation where Furthermore, the Cauchy function satisfies

Now let be the Banach space of all real -periodic continuous functions endowed with the usual linear structure as well as the norm Then is a normal cone of

Definition 2.1. The functions are said to form a pair of lower and upper quasisolutions of (1.1) if and as well as
We remark that the term quasi is used in the above definition to remind us that they are different from the traditional concept of lower and upper solutions (cf. (2.7) with ).
Let be defined by
We need two basic assumptions in the main results:() for any is an increasing function of , and is a decreasing function of () there exist such that and form a respective pair of lower and upper quasisolutions for (1.1).

Theorem 2.2. Suppose that conditions () and () hold, and(C1) for any is an -concave function, is a convex function;(C2) there exist such that Then (1.1) has a unique solution and for any if we set and then and

Proof. The mapping is a mixed monotone operator in view of (B1). Let Then Set . Then Next, we will prove that Suppose to the contrary that there exists such that Then which is a contradiction since Thus Similarly, we can prove Then we have From condition (C2), we know that Since we must have
We will prove that is a (-concave)-(-convex) operator, where In fact, for any , and we have thus so that Further we can prove for any and Indeed, since hence, we only need to prove From we know that for any therefore On the other hand, the function satisfies and From we have Then for Thus that is, Therefore, for any Finally, Therefore, is a (-concave)-(-convex) operator. From (2.20), is monotone in and is left lower semicontinuous at . By Theorem 1.4, we know that has a unique fixed point Hence (1.1) has a unique solution and for any if we set and then and The proof is complete.

Theorem 2.3. Suppose that conditions () and () hold, and(D1) there exist such that (D2) for any is an -concave function and for any and where satisfies the following conditions:() is monotone in and left lower semicontinuous in () for any Then (1.1) has a unique solution and for any if we set for then and

Proof. We assert that is a (-concave)-(-convex) mixed monotone operator, where In fact, for any and From (2.25), we know that Thus is a (-concave)-(-convex) mixed monotone operator. We may now complete our proof by Theorem 1.4.

Theorem 2.4. Suppose that conditions () and () hold, and(E1) for any is a concave function; for any and and satisfies the following conditions:() there exists such that () for any Then (1.1) has unique solution and for any if we set for then and

Proof. Set and for Then we know that From () we have Next we will prove that is a (-concave)-(-convex) operator, where In fact, for any and From (2.28), we know that Thus is a (-concave)-(-convex) mixed monotone operator. We may now complete our proof by Theorem 1.4.

Theorem 2.5. Suppose that conditions () and () hold, and(F1) there exists such that (F2) and for any and there exist for any and where such that for any and satisfies the following conditions:() is monotone in and left lower semicontinuous in () for any Then (1.1) has a unique solution and for any if we set for then and

Proof. We may easily prove that is a (-concave)-(-convex) mixed monotone operator, where And from () we know that for any and Now the proof can be completed by means of Theorem 1.4.

Theorem 2.6. Suppose that conditions () and () hold, and(G1) if there exists such that ;(G2) and for any there exist and such that for any and where such that for any , is a -convex function, and satisfies the following conditions:() is monotone in and left lower semicontinuous in () for any Then (1.1) has a unique solution and for any if we set for then and

Proof. It is easily seen that is a (-concave)-(-convex) mixed monotone operator, where From (), we know that Then is a (-concave)-(-convex) mixed monotone operator. The proof may now be completed by means of Theorem 1.4.

Theorem 2.7. Suppose that conditions () and () hold, and(J1) and for any for any and where such that for any is a convex function; satisfies the following conditions:() is monotone in and left lower semicontinuous in () there exists such that and for any
Then (1.1) has unique solution and for any if we set for then and

Proof. Set and for Then we have , and From () we can see that
Next we will prove that is a (-concave)-(-convex) operator. We need only to verify that is a (-concave)-(-convex) operator, where In fact, for any and we have From (), we have Then is a (-concave)-(-convex) mixed monotone operator. The rest of the proof follows from Theorem 1.4.

Theorem 2.8. Suppose that conditions () and () hold, and(K1) for any is an -concave function is a -convex function; where (K2) there exist such that Then (1.1) has unique solution and for any if we set for then and

Indeed, it is easily seen that is a (-concave)-(-convex) mixed monotone operator, where The rest of the proof now follows from Theorem 1.4.

If is a solid cone, we have the following result.

Theorem 2.9. Suppose that is a solid cone of that condition () holds, and that(L1) for any is a -concave function, is a -convex function, where (L2) there exist such that and form a pair of lower and upper quasisolutions for (1.1).Then (1.1) has unique solution and for any if we set then ()

Indeed, from we know that there exists such that The rest of the proof is similar to that of Theorem 2.7.

3. An Example

As an example, consider the equation where and are nonnegative continuous -periodic functions; and are continuous -periodic functions and satisfy where ,  ,  ,  , and . Then (3.1) will have a unique solution that satisfies . Furthermore, if we set , then and converge uniformly to .

Indeed, let be the Banach space of all real -periodic continuous functions defined on and endowed with the usual linear structure as well as the norm The set is a normal cone of Equation (3.1) has a -periodic solution , if and only if, is a -periodic solution of the equation where Set , and Then and form a pair of lower and upper quasisolutions for (3.1). By Theorem 2.8, we know that (3.1) has a unique solution and if we set for then and

Other examples can be constructed to illustrate the other results in the previous section.

Acknowledgment

The first author is supported by Natural Science Foundation of Shanxi Province (2008011002-1) and Shanxi Datong University, by Development Foundation of Higher Education Department of Shanxi Province, and by Science and Technology Bureau of Datong City. The second author is supported by the National Science Council of R. O. China and also by the Natural Science Foundation of Guang Dong of P. R. China under Grant number (951063301000008).