Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2011, Article ID 843292, 11 pages doi:10.1155/2011/843292 Research Article One-Signed Periodic Solutions of First-Order Functional Differential Equations with a Parameter Ruyun Ma and Yanqiong Lu Department of Mathematics, Northwest Normal University, Lanzhou 730070, China Correspondence should be addressed to Ruyun Ma, ruyun ma@126.com Received 8 June 2011; Accepted 29 August 2011 Academic Editor: Ferhan M. Atici Copyright q 2011 R. Ma and Y. Lu. 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. We study one-signed periodic solutions of the first-order functional differential equation u t −atut λbtfut − τt, t ∈ R by using global ω bifurcation techniques. Where a, b ∈ ω CR, 0, ∞ are ω−periodic functions with 0 atdt > 0, 0 btdt > 0, τ is a continuous ω-periodic function, and λ > 0 is a parameter. f ∈ CR,R and there exist two constants s2 < 0 < s1 such that fs2 f0 fs1 0, fs > 0 for s ∈ 0, s1 ∪ s1 , ∞ and fs < 0 for s ∈ −∞, s2 ∪ s2 , 0. 1. Introduction In recent years, there has been considerable interest in the existence of periodic solutions of the following equation: u t −atut λbtfut − τt, 1.1 ω ω where a, b ∈ CR, 0, ∞ are ω-periodic functions, and 0 atdt > 0, 0 btdt > 0, τ is a continuous ω-periodic function, λ > 0 is a parameter. 1.1 has been proposed as a model for a variety of physiological processes and conditions including production of blood cells, respiration, and cardiac arrhythmias; see, for example, 1–12 and the references therein. Roughly speaking, ut represents the number of adult sexually mature members in a population at time t, at is the per capita death rate, and fut−τt is the rate at which new members are recruited into the population at time t τ is the age at which members mature, and it is assumed that the birth rate at a given time depends only on the adult population size. The most famous models of this type are 2 Abstract and Applied Analysis i the Nicholson’s blowflies equation proposed in 1 to explain the oscillatory population fluctuations observed by A. J. Nicholson in 1957 in his studies of the sheep blowfly Lucilia cuprina: u t −aut p · ut − he−γut−h , 1.2 a, p, γ, h > 0; ii the model for blood cell populations proposed by Mackey and Glass in 2 u t −aut p ut − h , 1 ut − hn 1.3 a, p, γ, h > 0, n > 1; iii the model for the survival of red blood cells in an animal proposed by WazewskaCzyzewska and Lasota in 3 u t −aut p · e−γut−h , 1.4 a, p, γ, h > 0. Recently, Cheng and Zhang 7 studied the existence of positive ω-periodic solutions of the functional equation 1.1 under the assumptions: H1 f ∈ C0, ∞, 0, ∞, and fs > 0 for s > 0; H2 a, b ∈ CR, 0, ∞ are ω−periodic functions, CR, R is a ω-periodic function; ω 0 atdt > 0, ω 0 btdt > 0, τ ∈ H3 there exist f0 , f∞ ∈ 0, ∞ such that fs , |s| → 0 s fs . |s| → ∞ s f0 lim 1.5 f∞ lim They proved the following. Theorem A. Assume H1–H3hold. Then for each λ satisfying 1 1 <λ< , σBf∞ Af0 or 1 1 <λ< , σAf0 Bf∞ 1.6 equation 1.1 has a positive periodic solution, where A max t∈0,ω ω Gt, sbsds, 0 B min t∈0,ω ω Gt, sbsds, ω σe0 atdt . 1.7 0 However, the condition used in 7 is not sharp, and the main results in 7 give no any information about the global structure of the set of positive periodic solutions. Moreover, f satisfied H1 in 7, so a natural question is what would happen if f is allowed to have some zeros in R? The purpose of this work is to study the global behavior of the components of one-signed solutions of 1.1 under the condition Abstract and Applied Analysis 3 H4 f ∈ CR, R; there exist two constants s2 < 0 < s1 such that fs2 f0 fs1 0, fs > 0 for s ∈ 0, s1 ∪ s1 , ∞, and fs < 0 for s ∈ −∞, s2 ∪ s2 , 0. The rest of this paper is organized as follows. In Section 2, we give some notations and the main results. Section 3 is devoted to proving the main results. 2. Statement of the Main Results Let Y {u ∈ CR, R : ut ut ω} with the norm u∞ max |ut|. 2.1 t∈0,ω Then Y, · ∞ is a Banach space. Let E u ∈ C1 R, R : ut ut ω 2.2 be the Banach space with the norm u max{u∞ , u ∞ }. It is well known that 1.1 is equivalent to ut λ tω Gt, sbsfus − τsds : Aut, 2.3 t where s Gt, s Notice that w 0 e t aθdθ ω e0 aθdθ −1 , s ∈ t, t ω. 2.4 atdt > 0, we have 1 σ ≤ Gt, s ≤ , σ−1 σ−1 2.5 ω where σ e 0 atdt , and 0 < 1/σ < 1. Define that K is a cone in Y by K 1 u ∈ Y : ut ≥ 0, ut ≥ u . σ 2.6 It is not difficult to prove that AK ⊂ K and A : K → K is completely continuous. Let us consider the spectrum of the linear eigenvalue problem u t −atut λbtut − τt, t ∈ R. 2.7 Lemma 2.1. Assume that H2 holds. Then the linear problem 2.7 has a unique eigenvalue λ1 , which is positive and simple, and the corresponding eigenfunction ϕ is of one sign. 4 Abstract and Applied Analysis Proof. It is a direct consequence of the Krein-Rutman Theorem 13, Theorem 19.3. In the rest of the paper, we always assume that ϕ 1, ϕt > 0, t ∈ R. 2.8 Define L : E → Y by setting Lu : u t atut, u ∈ E. 2.9 Then L−1 : Y → E is completely continuous. Let ζ, ξ ∈ CR, R be such that fs f0 s ζs, fs f∞ s ξs. 2.10 ξs 0. |s| → ∞ s 2.11 Clearly, ζs 0, |s| → 0 s lim lim Let us consider Lut − λbtf0 ut − τt λbtζut − τt 2.12 as a bifurcation problem from the trivial solution u ≡ 0 and Lut − λbtf∞ ut − τt λbtξut − τt 2.13 as a bifurcation problem from infinity. We note that 2.12 and 2.13 are the same and each of them is equivalent to 1.1. Let E R × E under the product topology. We add the points {λ, ∞ | λ ∈ R} to our space E. Let S denote the set of positive functions in E and S− −S , and S S− ∪ S . They are disjoint and open in E. Finally, let Φ± R × S± and Φ R × S. Remark 2.2. It is worth remaking that if u is a nontrivial solution of 1.1 and a, b, and f satisfy H2–H4, then u ∈ Sν for some ν {, −}. To see this, define ⎧ ⎪ ⎨ fut , ut / 0, ut qt ⎪ ⎩f0 , ut 0. 2.14 Thus 1.1 is equivalent to u t −atut λbtqt − τtut − τt, t ∈ R. 2.15 Abstract and Applied Analysis 5 Obviously, b·q· − τ· satisfies H2. From Lemma 2.1, the nontrivial solution u ∈ Sν for some ν ∈ {, −}. The result of Rabinowitz 14 for 2.12 can be stated as follows: for each ν ∈ {, −}, there exists a continuum Cν of solutions of 2.12 joining λ1 /f0 , 0 to infinity, and Cν \ {λ1 /f0 , 0} ⊂ Φν . The result of Rabinowitz 15 for 2.13 can be stated as follows: for each ν ∈ {, −}, there exists a continuum Dν of solutions of 2.13 meeting λ1 /f∞ , ∞, and Dν \ {λ1 /f∞ , ∞} ⊂ Φν . Our main result is the following. Theorem 2.3. Assume H2–H4 hold. Moreover, suppose that H5 f satisfies the Lipschitz condition in s2 , s1 . Then i for λ, u ∈ C ∪ C− , s2 < ut < s1 , t ∈ 0, ω; 2.16 ii for λ, u ∈ D ∪ D− , we have that either max ut > s1 2.17 min ut < s2 . 2.18 t∈0,ω or t∈0,ω Corollary 2.4. Let H2–H5 hold. Then i if λ ∈ λ1 /f∞ , λ1 /f0 , then 1.1 has at least two solutions u∞ and u−∞ , such that u∞ is positive on 0, ω and u−∞ is negative on 0, ω; ii if λ ∈ λ1 /f0 , ∞, then 1.1 has at least four solutions u∞ , u−∞ , u0 , and u−0 , such that u∞ , u0 are positive on 0, ω and u−∞ , u−0 are negative on 0, ω. Corollary 2.5. Let H2–H5 hold. Then i if λ ∈ λ1 /f0 , λ1 /f∞ , then 1.1 has at least two solutions u0 and u−0 , such that u0 is positive on 0, ω and u−0 is negative on 0, ω; ii if λ ∈ λ1 /f∞ , ∞, then 1.1 has at least four solutions u∞ , u−∞ , u0 , and u−0 , such that u∞ , u0 are positive on 0, ω and u−∞ , u−0 are negative on 0, ω. 6 Abstract and Applied Analysis 3. Proof of the Main Results To prove Theorem 2.3, we give a Proposition. Proposition 3.1. i The first-order boundary value problem u t atut ht, u0 uω 3.1 ω has a unique solution for all h ∈ L1 0, ω if and only if 0 asds / 0. ii Assume that u is a solution of 3.1. If h ≥ 0 and h· / ≡ 0 on any subinterval of 0, ω, ω then ut 0 asds > 0 on 0, ω. t Proof. i The equation u t atut 0 has a solution ut Ce − 0 asds , where C is a ω If ut is a nontrivial solution, then by u0 C, uω Ce− 0 asds , we can get that constant. ω asds 0. 0 ω On the other hand, from 0 asds 0, we can get that u t atut 0 has a t nontrivial solution ut Ce− 0 asds , where C ∈ R \ {0}. ii We claim that ut / 0, t ∈ 0, ω. Suppose on the contrary that there exists t0 ∈ 0, ω, such that ut0 0; it is not difficult to compute that u t atut ht, ut0 u0 3.2 has a solution ut t s hse t aτdτ ds. 3.3 t0 Since h ≥ 0, we have u0 ≤ ut0 ≤ uω. 3.4 exists a neighborhood Ut ⊂ 0, t0 of t, such that If ht > 0, t ∈ 0, t0 , then there s 0 aτdτ ds < 0; this contradicts with u0 uω. ht > 0 on Ut. Thus, u0 t0 hse 0 If ht > 0, t ∈ t0 , ω, then there exists a neighborhood Ut ⊂ t0 , ω of t, such that ht > 0 on Ut. By using a similar way, we can prove that uω > 0, which also contradicts with u0 uω. Hence ut / 0 on 0, ω. Moreover, it follows that ω 0 u t dt ut ω 0 atdt ω 0 ht dt, ut 3.5 Abstract and Applied Analysis 7 that is, ln ut|ω 0 Thus ω 0 atdt ω 0 ω atdt ω 0 ht/utdt, that is u ω 0 0 ht dt. ut 3.6 asds > 0. Next, we prove Theorem 2.3 and Corollaries 2.4 and 2.5. Proof of Theorem 2.3. Suppose on the contrary that there exists λ, u ∈ C ∪ C− ∪ D ∪ D− such that either max{ut | t ∈ 0, ω} s1 3.7 min{ut | t ∈ 0, ω} s2 . 3.8 or We divide the proof into two cases. Case 1 max{ut | t ∈ 0, ω} s1 . In this case, we know that 0 ≤ ut ≤ s1 , 0 ≤ ut − τt ≤ s1 , t ∈ 0, ω. 3.9 t ∈ R. 3.10 Let us consider the functional differential equation u t atut λbtfut − τt, By H2, H4 and H5, there exists m ≥ 0 such that btfs ms is strictly increasing on s for s ∈ s2 , s1 . Then 3.10 can be rewritten to the form Lu λmut − τt λ btfut − τt mut − τt , 3.11 and since Ls1 − ats1 0 fs1 , Ls1 − ats1 λms1 λ btfs1 ms1 . 3.12 Ls1 − u λms1 − ut − τt − ats1 ≥ 0. 3.13 Subtracting, we get That is, Ls1 − u λms1 ≥ 0, t ∈ 0, ω, s1 − u0 s1 − uω > 0. 3.14 8 Abstract and Applied Analysis From Proposition 3.1, we deduce that s1 > ut, t ∈ 0, ω, which contradicts with that max{ut | t ∈ 0, ω} s1 . Hence, ut < s1 , t ∈ 0, ω. 3.15 Case 2 min{ut | t ∈ 0, ω} s2 . In this case, we know that s2 ≤ ut ≤ 0, s2 ≤ ut − τt ≤ 0, t ∈ 0, ω. 3.16 Let us consider 3.10; by H2, H4, and H5, there exists m ≥ 0 such that btfs ms is strictly increasing in s for s ∈ s2 , s1 . Then Lu λmut − τt λ btfut − τt mut − τt 3.17 and since Ls2 − ats2 0 fs2 , Ls2 − ats2 λms2 λ btfs2 ms2 . 3.18 Ls2 − u λms2 − ut − τt − ats2 ≤ 0. 3.19 Subtracting, we get That is Ls2 − u λms2 ≤ 0, t ∈ 0, ω, s2 − u0 s2 − uω < 0. 3.20 From Proposition 3.1, we deduce that s2 − ut < 0, t ∈ 0, ω, this contradicts with that min{ut | t ∈ 0, ω} s2 . Therefore, s2 < ut, t ∈ 0, ω. 3.21 Proof of Corollaries 2.4 and 2.5. Since boundary value problem u t atut 0, u0 uω 3.22 has a unique solution u ≡ 0, we get C ∪ C− ∪ D ∪ D− ⊂ {λ, u ∈ R × E | λ ≥ 0}. 3.23 Abstract and Applied Analysis 9 Take Λ ∈ R as an interval such that Λ ∩ {λ1 /f∞ } {λ1 /f∞ } and M as a neighborhood of λ1 /f∞ , ∞ whose projection on R lies in Λ and whose projection on E is bounded away from 0. Then by 15, Theorem 1.6, and Corollary 1.8, we have that for each ν ∈ {, −}, either 1 Dν \ M is bounded in R × E in which case Dν \ M meets {λ, 0 | λ ∈ R}, or 2 Dν \ M is unbounded. Moreover, if 1 occurs and Dν \ M has a bounded projection on R, then Dν \ M meets λ1 is another eigenvalue of 2.7. λk /f∞ , ∞, where λk / Obviously, Theorem 2.3 ii implies that 1 does not occur. So D \ M is unbounded. Remark 2.2 guarantees that D is a component of solutions of 2.12 in S which meets λ1 /f∞ , ∞, and consequently ProjR D \ M is unbounded. Thus ProjR D ⊃ λ1 , ∞ . f∞ 3.24 λ1 , ∞ . f∞ 3.25 Similarly, we get ProjR D − ⊃ By Theorem 2.3, for any λ, u ∈ C ∪ C− , u∞ < max{s1 , |s2 |} : s∗ . 3.26 u < max s , a∞ s λb∞ max∗ fs , 3.27 3.26 and 2.12 imply that ∗ ∗ |s|≤s which means that the sets {λ, u ∈ C | λ ∈ 0, d} and {λ, u ∈ C− | λ ∈ 0, d} are bounded for any fixed d ∈ 0, ∞. This together with the fact that C and C− join λ1 /f0 , 0 to infinity yields, respectively, that λ1 , ∞ , ProjR C ⊃ f0 − λ1 ProjR C ⊃ , ∞ . f0 3.28 Combining 3.24, 3.25, and 3.28, we conclude the desired results. Remark 3.2. The methods used in the proof of Theorem 2.3, Corollaries 2.4, and 2.5 have been used in the study of other kinds of boundary value problems; see 16–18 and the references therein. 10 Abstract and Applied Analysis Remark 3.3. The conditions in Corollaries 2.4 and 2.5 are sharp. Let us take at ≡ a > 0, λ a, bt 1, fs s hs, τt ≡ 0. 3.29 Let ⎧ 2s ⎪ ⎪ , ⎨− 2 s 1 hs 3 ⎪ 2s ⎪ ⎩− , 2 s 1 s ∈ −∞, −1 ∪ 1, ∞, s ∈ −1, 1, 3.30 and consider problem u t −atut aut hut, t ∈ 0, ω, u0 uω. 3.31 It is easy to see that λ1 a, f0 f∞ 1. Since λ1 λ1 a , f∞ f0 3.32 the conditions of Corollaries 2.4 and 2.5 are not valid. In this case, 3.31 has no nontrivial solution. In fact, if u is a nontrivial solution of 3.31, then 0 ω 0 u tdt a ω 0 hutdt / 0, 3.33 which is a contradiction. Acknowledgment The paper is supported by the NSFC no. 11061030, the Fundamental Research Funds for the Gansu Universities. References 1 W. S. Gurney, S. P. Blythe, and R. N. Nisbet, “Nicholsons blowflies revisited,” Nature, vol. 287, pp. 17–21, 1980. 2 M. C. Mackey and L. Glass, “Oscillation and chaos in physiological control systems,” Science, vol. 197, no. 4300, pp. 287–289, 1977. 3 M. Wazewska-Czyzewska and A. Lasota, “Mathematical problems of the dynamics of a system of red blood cells,” Matematyka Stosowana, vol. 6, pp. 23–40, 1976. 4 S. N. Chow, “Existence of periodic solutions of autonomous functional differential equations,” Journal of Differential Equations, vol. 15, pp. 350–378, 1974. 5 H. I. Freedman and J. Wu, “Periodic solutions of single-species models with periodic delay,” SIAM Journal on Mathematical Analysis, vol. 23, no. 3, pp. 689–701, 1992. 6 J. Wu and Z. Wang, “Positive periodic solutions of second-order nonlinear differential systems with two parameters,” Computers & Mathematics with Applications, vol. 56, no. 1, pp. 43–54, 2008. Abstract and Applied Analysis 11 7 S. Cheng and G. Zhang, “Existence of positive periodic solutions for non-autonomous functional differential equations,” Electronic Journal of Differential Equations, vol. 59, pp. 1–8, 2001. 8 D. Jiang and J. Wei, “Existence of positive periodic solutions for nonautonomous delay differential equations,” Chinese Annals of Mathematics, vol. 20, no. 6, pp. 715–720, 1999 Chinese. 9 D. Ye, M. Fan, and H. Wang, “Periodic solutions for scalar functional differential equations,” Nonlinear Analysis, vol. 62, no. 7, pp. 1157–1181, 2005. 10 Y. Li, X. Fan, and L. Zhao, “Positive periodic solutions of functional differential equations with impulses and a parameter,” Computers & Mathematics with Applications, vol. 56, no. 10, pp. 2556–2560, 2008. 11 H. Wang, “Positive periodic solutions of functional differential equations,” Journal of Differential Equations, vol. 202, no. 2, pp. 354–366, 2004. 12 Z. Jin and H. Wang, “A note on positive periodic solutions of delayed differential equations,” Applied Mathematics Letters, vol. 23, no. 5, pp. 581–584, 2010. 13 K. Deimling, Nonlinear Functional Analysis, Springer, Berlin, Germany, 1985. 14 P. H. Rabinowitz, “On bifurcation from infinity,” Journal of Differential Equations, vol. 14, pp. 462–475, 1973. 15 P. H. Rabinowitz, “Some global results for nonlinear eigenvalue problems,” Journal of Functional Analysis, vol. 7, pp. 487–513, 1971. 16 A. Ambrosetti and P. Hess, “Positive solutions of asymptotically linear elliptic eigenvalue problems,” Journal of Mathematical Analysis and Applications, vol. 73, no. 2, pp. 411–422, 1980. 17 R. Ma, “Global behavior of the components of nodal solutions of asymptotically linear eigenvalue problems,” Applied Mathematics Letters, vol. 21, no. 7, pp. 754–760, 2008. 18 Y. An and R. Ma, “Global behavior of the components for the second order m-point boundary value problems,” Boundary Value Problems, vol. 2008, Article ID 254593, 10 pages, 2008. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014