Resonance and Nonresonance Periodic Value Problems of First-Order Differential Systems
Resonance and nonresonance periodic value problems of first-order differential systems are studied. Several new existence and uniqueness of solutions for the above problems are obtained. To establish such results sufficient conditions of limit forms are given. A necessary and sufficient condition for existence of nontrivial solution is also proved.
This paper is concerned with the existence and uniqueness of solutions of the nonresonance periodic boundary value problems (BVP) for the first-order differential system:
The paper is also concerned with the existence and uniqueness of the resonance periodic boundary value problem of first-order:
BVPs (1.1)-(1.2) and particularly important because of numerous applications have been used in science and technology. By a solution of BVPs (1.1)-(1.2) we mean that a function satisfies (1.1)-(1.2). Throughout this paper if , then denotes the Euclidean norm of on . If , then denotes the usual inner product.
Clearly , that is, does not satisfy (1.2). In fact, from fault of Lemma 1.1, the integral operator on (1.1)-(1.2) is not appropriate in . Hence we are not sure that the above Theorem 1.2 and the other results in  are correct.
The purpose of this paper is to establish several new existence and unique theorem for BVP (1.1)-(1.2). For the existence results, we give limit form conditions. The fixed point theorems are also applied. A new priori estimation on possible solutions of a family of BVP(1.1)-(1.2) is obtained and some ideas are from . For recent development on BVP(1.1)-(1.2), except , we are referred to the papers [2–9] and references cited therein.
In the proof of the existence theorem below, we will use the following fixed point theorem.
Theorem (Shaeffer's theorem [10, Theorem 4.4.12]). Let be a normed space and be a completely continuous map. If the set is bounded, then has at least one fixed point.
Let denote the set of all continuous functions defined on  and
Then is a Banach space endowed with norm .
Obviously, from (2.4) there is a constant such that
Theorem. Assume that (1.3) and one of the following conditions hold.(i) is bounded on .(ii)There exist function and bounded function such that for and , uniformly, Then BVP(1.1)-(1.2) has at least one solution.
Proof. From Lemma 2.2 we see that BVP(1.1)-(1.2) is equivalent to the integral equation (2.3).
Define the map by
By a standard argument, it is easy to prove that is continuous and completely continuous.
Now we apply Shaeffer's theorem to prove that BVP (1.1)-(1.2) has at least one solution. Hence we need to prove that the set
is a bounded set with the bound being independent of . Then we can conclude existence of at least one fixed point of . In consequence, from Lemma 2.2, BVP (1.1)-(1.2) has at least one solution .
From Lemma 2.2 and (2.7), it is easy to see that is equivalent to BVP:
In view of (2.5), (2.7), and (2.9), we have If (i) holds, then there exists a constant such that . This implies that is bounded and is independent of . By using Theorem 2.1, we know that BVP (1.1)-(1.2) has at least one solution. If (ii) holds, suppose that , then ; if , assume, for the sake of contradiction, that is unbounded. Thus there exists such that and . Hence from (2.6) there exists constant satisfying that for and , uniformly, where is independent of . Taking into account (2.5), (2.9), and (2.11), we have that for and , which contradicts that is bounded on . Therefore is bounded with the bound being independent of . This proves that BVP (1.1)-(1.2) has at least one solution. The proof of Theorem 2.3 is complete.
In particular, choose, respectively, , and ; from Theorem 2.3, the following results can be obtained.
Proof. Sufficiency. Suppose that (2.16) holds. From Lemma 2.2 we have which implies that on is a solution of BVP (1.1)-(1.2).Necessity. Suppose that BVP (1.1)-(1.2) has solution . Noting (1.1)-(1.2), it is obvious that (2.16) holds. The proof is complete.
Theorem. Assume that (2.18) and (2.20) hold and one of the following conditions is satisfied.is bounded on .There exist functions and as in Theorem 2.3 such that for and , uniformly, Then BVP(2.19)-(2.15) has at least one solution.
Proof. BVP (2.19) is in the form (1.1)-(1.2) with . It is not difficult to see that and reduce, respectively, to and for these special cases. Hence the result follows from Theorem 2.3. The proof of Theorem 2.6 is complete.
Similarly, we have the following result.
Consider the Banach space defined in Section 2. Assume that satisfies Lipschitz condition with respect to ; that is, there exists constant such that
holds for any and .
Theorem. Assume that (1.3) and (3.1) hold and where is defined by (2.5). Then BVP (1.1)-(1.2) has exactly one solution. Moreover, if (2.16) holds, BVP (1.1)-(1.2) has only unique trivial solution; if (2.23) holds, BVP (1.1)-(1.2) has only unique nontrivial solution.
Proof. First, to show that (1.1)-(1.2) has uniqueness of the solution, by Lemma 2.2 we need only to prove that (2.3) has exactly one solution.
Let and . Consider the maps
Thus In view of (2.5) and (3.1), we have which implies that is contractive mapping. By the fixed point theorem of Banach, the map has unique fixed point. In view of Lemma 2.2, BVP (1.1)-(1.2) has exactly one solution.
Next, if (2.16) holds, from Theorem 2.5, (1.1)-(1.2) has only unique trivial solution; if (2.23) holds, (1.1)-(1.2) has only unique nontrivial solution. The proof of Theorem 3.1 is complete.
Similarly, the following result may be obtained.
Theorem. Assume that (3.5) and (2.18) hold and there exists function satisfying (2.20) such that . Then BVP (2.19) has exactly one trivial solution if (2.22) holds; BVP (2.19) has only unique nontrivial solution if (2.24) holds.
To provide an exact estimations of in (2.4), we have the estimations as follows:
In particular, for ,
and for ,
Corollary. Assume that (1.3) and (3.1) hold with , where . Then (1.1)-(1.2) has exactly one solution. In particular, if and , (1.1)-(1.2) has exactly one solution; if and , (1.1)-(1.2) has exactly one solution.
4. Examples and Remarks
In this section, we will present examples which highlight the theory of this paper. We also compare our results with known ones.
Example 4.1. Consider BVP (1.1)-(1.2) with and , where and . Let . We have Note that is equivalent to . Therefore, in view of (2.6), By Theorems 2.3 and 2.5, (1.1)-(1.2) has at least one solution and all the solutions are nontrivial if ; the solutions include nontrivial solution if . The results of [1–5] do not apply to the example.
Example 4.2. Consider BVP of scalar differential equation: where satisfies (1.3) and with , defined in (2.5). It is easy to see that the map corresponding to BVP (4.3) is and it is contractive. By Theorem 3.1, (4.3) has only unique nontrivial solution. The known results in the literature are unable to obtain the conclusion.
Remark. The results obtained in the previous sections are new even for functions and in (1.1)-(1.2) and to be scalar. The conditions given in Theorem 2.3 and Corollary 2.4 are limit forms. In general, it is easy to verify those than the inequality forms for higher-dimensional space particularly.
Remark. From the results of this paper, one easily sees that for both cases of nonresonance (1.1)-(1.2) and resonance their results have not almost difference, that is, under the sense that for any results of (1.1)-(1.2) one can establish correspondingly those of .
This work is supported by the Fund of the Doctoral Program Research of the Education Ministry of China (20040108003), the Sciences Foundation of Shanxi (2009011005-3), and the Major Subject Foundation of Shanxi.
N. G. Lloyd, Degree Theory, Cambridge Tracts in Mathematics, vol. 73, Cambridge University Press, Cambridge, UK, 1978.View at: MathSciNet