Professional Documents
Culture Documents
Research Article
Existence and Uniqueness Results for a Smooth Model of
Periodic Infectious Diseases
Guy Degla1,2
1
International Centre for Theoretical Physics (ICTP), Strada Costiera 11, 34151 Trieste, Italy
2
Institut de Mathématiques et de Sciences Physiques (IMSP), 01 BP 613 Porto-Novo, Benin
Copyright © 2016 Guy Degla. 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 prove the existence of a curve (with respect to the scalar delay) of periodic positive solutions for a smooth model of Cooke-
Kaplan’s integral equation by using the implicit function theorem under suitable conditions. We also show a situation in which any
bounded solution with a sufficiently small delay is isolated, clearing an asymptotic stability result of Cooke and Kaplan.
unique curve of periodic positive solutions when 𝑓 is of Given a function of two variables 𝑢 : (𝜏, 𝑡) → 𝑢(𝜏, 𝑡), we shall
separable variables; say 𝑓(𝑡, 𝑥) ≡ 𝑞(𝑡)𝑔(𝑥) with 𝑞 : R → set
[0, +∞) continuous and 𝜔-periodic, and 𝑔 : [0, +∞) →
[0, +∞) is of class C1 . Furthermore we show a uniqueness 𝑢𝜏 (𝑡) fl 𝑢 (𝜏, 𝑡) . (4)
2 Abstract and Applied Analysis
𝑥0 − 𝜔𝑞𝑔 (𝑥0 ) = 0, Thus for (𝜏, 𝑢) ∈ (0, +∞) × Ω, 𝐹(𝜏, 𝑢) = 0 if and only if 𝑢 is a
positive solution of (1) with 𝑓(𝑡, 𝑥) ≡ 𝑞(𝑡)𝑔(𝑥).
1 (18)
𝜔𝑞 𝑔 (𝑥0 ) = < 1.
2 Step 2. Now one can see that 𝐹 is of class C1 by the properties
of the parameter dependent integrals and those of Nemytskii
The result follows from part (iii) of Remarks 2. operators [5].
It is not hard to check that, for every 𝜏 > 0 and every
Proof of Theorem 1. Suppose that the assumptions of 𝑢 ∈ C𝜔 (R), we have for all ℎ ∈ C𝜔 (R),
Theorem 1 are satisfied.
𝐷1 𝐹 (𝜏, 𝑢) : 𝑡 → −𝑞 (𝑡 − 𝜏) 𝑔 (𝑢 (𝑡 − 𝜏)) ,
̃ be a real-valued C1 -extension of 𝑔 to R; for
Step 1. Let 𝑔
instance, [𝐷2 𝐹 (𝜏, 𝑢)] (ℎ) : 𝑡 → ℎ (𝑡)
(27)
𝑡
{𝑔 (𝑥) if 𝑥 ≥ 0, −∫ 𝑞 (𝑠) 𝑔 (𝑢 (𝑠)) ℎ (𝑠) 𝑑𝑠.
̃ (𝑥) = {
𝑔 (19) 𝑡−𝜏
𝑔 𝑥 + 𝑔 (0) if 𝑥 < 0,
{ 𝑟 (0)
In particular 𝐷1 𝐹(𝜔, 𝑥0 ) is the function −𝑔(𝑥0 )𝑞 since 𝑞 is 𝜔-
̃ is defined from R
which may change sign; in other words 𝑔 periodic, while 𝐷2 𝐹(𝜔, 𝑥0 ) is the endomorphism of C𝜔 (R);
into R. ℎ → 𝐷2 𝐹(𝜔, 𝑥0 )(ℎ), such that
Although
[𝐷2 𝐹 (𝜔, 𝑥0 ) (ℎ)] (𝑡) = ℎ (𝑡)
𝑔 ([0, +∞)) ⊂ [0, +∞) , (20)
𝑡
we shall need just a positive real number 𝑥1 > 𝑥0 such that − 𝑔 (𝑥0 ) ∫ 𝑞 (𝑠) ℎ (𝑠) 𝑑𝑠, (28)
𝑡−𝜔
So that
𝑡 𝜕𝑓
𝐺 (𝑢) − 𝐼 ≤ sup ∫ (𝑠, 𝑢 (𝑠)) 𝑑𝑠 < 1 (37)
𝑡∈R 𝑡−𝜏 𝜕𝑥
International
Journal of Journal of
Mathematics and
Mathematical
Discrete Mathematics
Sciences