Parameter-dependent periodic problems for non-autonomous Duffing equations with sign-changing forcing term
Abstract
We study the existence, exact multiplicity, and structure of the set of positive solutions to the periodic problem u" = p(t)u + h(t)|u|(lambda) sgn u + mu f (t); u(0) = u(omega), u0(0) = u'(omega), where mu is an element of R is a parameter. We assume that p, h, f is an element of L([0, omega]), lambda > 1, and the function h is non-negative. The results obtained extend the results known in the existing literature. We do not require that the Green's function of the corresponding linear problem be positive and we allow the forcing term f to change its sign.
Full text
Elec onic Jou nal o Di e en ial Equa ions, Vol. 2023 (2023), No. 65, pp. 1–23.
ISSN: 1072-6691. URL: h ps://ejde.ma h. xs a e.edu, h ps://ejde.ma h.un .edu
DOI: 10.58997/ejde.2023.65
PARAMETER-DEPENDENT PERIODIC PROBLEMS FOR
NON-AUTONOMOUS DUFFING EQUATIONS WITH
SIGN-CHANGING FORCING TERM
JIˇ
R´
Iˇ
SREMR
Abs ac . We s udy he exis ence, exac mul iplici y, and s uc u e o he
se o posi i e solu ions o he pe iodic p oblem
u00 =p( )u+h( )|u|λsgn u+µ ( ); u(0) = u(ω), u0(0) = u0(ω),
whe e µ∈Ris a pa ame e . We assume ha p, h, ∈L([0, ω]), λ > 1, and
he unc ion his non-nega i e. The esul s ob ained ex end he esul s known
in he exis ing li e a u e. We do no equi e ha he G een’s unc ion o he
co esponding linea p oblem be posi i e and we allow he o cing e m o
change i s sign.
1. S a emen o he p oblem
We conside he pe iodic p oblem
u00 =p( )u+h( )|u|λsgn u+µ ( ); u(0) = u(ω), u0(0) = u0(ω),(1.1)
whe e p, h, ∈L([0, ω]), h≥0 a.e. on [0, ω], λ > 1, and µ∈Ris a pa ame e .
By a solu ion o p oblem (1.1), as usual, we unde s and a unc ion u: [0, ω]→R
which is absolu ely con inuous oge he wi h i s i s de i a i e, sa is ies he gi en
equa ion almos e e ywhe e, and mee s he pe iodic condi ions.
In [11], we conside ed p oblem (1.1) wi h µ= 0 and we showed, among o he
hings, ha o he exis ence o a posi i e solu ion i is necessa y ha p6∈ V−(ω)∪
V0(ω). Using a echnique de eloped in [11], we p o ided in [15] e ec i e condi ions
o he exis ence and exac mul iplici y o posi i e solu ions o he pe iodic p oblem
o a non-au onomous Du ing equa ion wi h a sign-changing o cing e m, i.e.,
p oblem (1.1) wi h µ= 1. In he p esen pape , we conclude ou s udies and show,
in he case o p6∈ V−(ω)∪V0(ω), he exis ence/non-exis ence as well as he exac
mul iplici y o sign-cons an solu ions o p oblem (1.1) depending on he choice o
he pa ame e µ. The esul s ob ained a e compa ed wi h he esul s known o
he au onomous case and he esul s a ailable in he exis ing li e a u e.
Fo he esul s co e ing he mul iplici y and local/global bi u ca ions o pe iodic
solu ions o supe -linea equa ions (and hei sys ems), we e e he eade s, o
ins ance, o [1, 2, 3, 4, 6, 8, 12, 13] (see also he e e ences he ein). We s udied
2020 Ma hema ics Subjec Classi ica ion. 34B08, 34C23, 34C25, 34B18.
Key wo ds and ph ases. Pe iodic solu ion; second-o de di e en ial equa ion; exis ence;
Du ing equa ion; mul iplici y; bi u ca ion; posi i e solu ion.
©2023. This wo k is licensed unde a CC BY 4.0 license.
Submi ed No embe 22, 2022. Published Oc obe 5, 2023.
1
2 J. ˇ
SREMR EJDE-2023/65
a bi u ca ion o posi i e solu ions o p oblem (1.1), wi h he non-posi i e unc ion
h, in [14].
In [2], he au ho s s udy he pa ame e -dependen p oblem
x00 +cx0+a( )x−b( )x3=λd( ); x(0) = x(T), x0(0) = x0(T),(1.2)
whe e c > 0, λ∈Ris a pa ame e , and a, b, d: [0, T ]→Ra e con inuous unc ions
such ha
a( )≤π2
T2+c2
4 o ∈[0, T],ZT
0
a(s) ds > 0,(1.3)
and
b( )>0, d( )>0 o ∈[0, T].(1.4)
Theo em 1.1 ([2, Theo em 1.1]).Assume ha (1.3) and (1.4) hold. Then, all
solu ions o (1.2) a e o one sign and he e is λ0>0such ha
(1) p oblem (1.2) has a unique solu ion which is nega i e (posi i e) and uns able
o λ>λ0(λ < −λ0),
(2) p oblem (1.2) has exac ly h ee o de ed solu ions o |λ|<|λ0|. Mo eo e ,
he middle solu ion is asymp o ically s able and he emaining wo a e un-
s able. When −λ0< λ < 0, he maximal solu ion is posi i e and he o he
wo a e nega i e. When λ= 0, p oblem (1.2) has one posi i e, one 0, and
one nega i e solu ion. When 0< λ < λ0, he minimal solu ion is nega i e
and he o he wo a e posi i e.
(3) p oblem (1.2) has exac ly wo one-signed solu ions o λ=±λ0; bo h o
hem a e uns able.
Recen ly, Liang [8] p o ed he conclusion o Theo em 1.1 unde he posi i i y
o a, b, d and he hypo hesis kakp≤(1 + c2)K(2p∗) wi h some p≥1. I seems
om he p oo o Theo em 1.1 ha i s conclusions, which conce n he exis ence
and mul iplici y o solu ions, emain ue e en in he case o c= 0.
In Sec ion 3, we ex end he conclusions o Theo em 1.1 o he case o undamped
Du ing equa ion (i.e., o c= 0). Mo eo e , we weaken hypo heses (1.3) and
(1.4). In pa icula , (1.3) is eplaced by a weake assump ion −a∈ V+(T) (see
De ini ion 2.1), bmay be equal o ze o on a se o posi i e measu e, and dmay
change i s sign so ha (−a, d)∈ U(T) (see De ini ion 2.7). Fu he mo e, we p o e
he exis ence/non-exis ence o solu ions o p oblem (1.2), wi h c= 0, depending on
he choice o he pa ame e λin he case o a( )>π2
T2on a se o posi i e measu e.
A he end o his sec ion, we show, as a mo i a ion, wha happens in he au-
onomous case o (1.1). I p( ) := −a, hen p6∈ V−(ω)∪V0(ω) i and only i a > 0
(see Rema k 2.4). The e o e, we conside he equa ion
x00 =−ax +b|x|λsgn x+µ, (1.5)
whe e a > 0 and b, µ ∈R. In his pape , we a e in e es ed in he equa ion in
(1.1) wi h a non-nega i e hand, hus, we assume ha b > 0 in (1.5). By di ec
calcula ion, he phase po ai s o his equa ion can be elabo a ed depending on
he choice o he pa ame e µand, hus, one can p o e he ollowing p oposi ion
conce ning pe iodic solu ions o equa ion (1.5).
P oposi ion 1.2. Le λ > 1and a, b > 0. Then, he ollowing conclusions hold:
(i) I µ > (λ−1)a
λa
λb 1
λ−1, hen equa ion (1.5) has a unique nega i e equilib-
ium (saddle) and no o he pe iodic solu ions occu .
EJDE-2023/65 PARAMETER-DEPENDENT PERIODIC PROBLEMS 3
(ii) I µ=(λ−1)a
λa
λb 1
λ−1, hen equa ion (1.5) has a unique posi i e equilib-
ium (cusp), a unique nega i e equilib ium (saddle), and no o he pe iodic
solu ions occu .
(iii) I 0< µ < (λ−1)a
λa
λb 1
λ−1, hen equa ion (1.5) possesses exac ly wo posi-
i e equilib ia x1> x2(x1is a saddle and x2is a cen e ), a unique nega i e
equilib ium x3(saddle), and non-cons an (bo h posi i e and sign-changing)
pe iodic solu ions wi h di e en pe iods. Mo eo e , all non-cons an pe i-
odic solu ions oscilla e a ound x2be ween x3and x1.
(i ) I µ= 0, hen equa ion (1.5) possesses a unique posi i e equilib ium x0
(saddle), a i ial equilib ium (cen e ), a unique nega i e equilib ium −x0,
and non-cons an sign-changing pe iodic solu ions wi h di e en pe iods.
Mo eo e , all non-cons an pe iodic solu ions oscilla e a ound 0be ween
−x0and x0.
( ) I −(λ−1)a
λa
λb 1
λ−1< µ < 0, hen equa ion (1.5) possesses exac ly wo neg-
a i e equilib ia x1< x2(x1is a saddle and x2is a cen e ), a unique posi i e
equilib ium x3(saddle), and non-cons an (bo h posi i e and sign-changing)
pe iodic solu ions wi h di e en pe iods. Mo eo e , all non-cons an pe i-
odic solu ions oscilla e a ound x2be ween x1and x3.
( i) I µ=−(λ−1)a
λa
λb 1
λ−1, hen equa ion (1.5) has a unique nega i e equilib-
ium (cusp), a unique posi i e equilib ium (saddle), and no o he pe iodic
solu ions occu .
( ii) I µ < −(λ−1)a
λa
λb 1
λ−1, hen equa ion (1.5) has a unique posi i e equilib-
ium (saddle) and no o he pe iodic solu ions occu .
2. No a ion and de ini ions
The ollowing no a ion is used h oughou his a icle:
•Ris he se o eal numbe s. Fo x∈R, we pu [x]+=1
2(|x|+x) and
[x]−=1
2(|x|−x).
•C(I) deno es he se o con inuous eal unc ions de ined on he in e al
I⊆R. Fo u∈C([a, b]), we pu kukC= max{|u( )|: ∈[a, b]}.
•AC1([a, b]) is he se o unc ions u: [a, b]→Rwhich a e absolu ely con-
inuous oge he wi h hei i s de i a i es.
•AC`([a, b]) ( esp. ACu([a, b])) is he se o absolu ely con inuous unc ions
u: [a, b]→Rsuch ha u0admi s he ep esen a ion u0( ) = γ( ) + σ( ) o
a. e. ∈[a, b], whe e γ: [a, b]→Ris absolu ely con inuous and σ: [a, b]→R
is a non-dec easing ( esp. non-inc easing) unc ion whose de i a i e is equal
o ze o almos e e ywhe e on [a, b].
•L([a, b]) is he Banach space o Lebesgue in eg able unc ions p: [a, b]→R
equipped wi h he no m kpkL=Rb
a|p(s)|ds. The symbol In As ands o
he in e io o he se A⊂L([a, b]).
De ini ion 2.1 ([10, De ini ion 0.1]).We say ha a unc ion p∈L([0, ω]) belongs
o he se V+(ω) ( esp. V−(ω)) i , o any unc ion u∈AC1([0, ω]) sa is ying
u00( )≥p( )u( ) o a.e. ∈[0, ω], u(0) = u(ω), u0(0) = u0(ω),
he inequali y
u( )≥0 o ∈[0, ω] esp. u( )≤0 o ∈[0, ω]
4 J. ˇ
SREMR EJDE-2023/65
holds.
Rema k 2.2. In an al e na i e e minology, p∈ V−(ω) ( esp. p∈ V+(ω)) means
ha he maximum p inciple ( esp. he an i-maximum p inciple) holds o he linea
pe iodic p oblem
u00 =p( )u;u(0) = u(ω), u0(0) = u0(ω).(2.1)
De ini ion 2.3 ([10, De ini ion 0.2]).We say ha a unc ion p∈L([0, ω]) belongs
o he se V0(ω)i p oblem (2.1) has a posi i e solu ion.
Rema k 2.4. Le ω > 0. I p( ) := p0 o ∈[0, ω], hen one can show by di ec
calcula ion ha :
Bp∈ V−(ω)i and only i p0>0,
Bp∈ V0(ω)i and only i p0= 0,
Bp∈ V+(ω)i and only i p0∈−π2
ω2,0,
Bp∈In V+(ω)i and only i p0∈−π2
ω2,0.
When he unc ion p∈L([0, ω]) is no cons an , e icien condi ions o p o belong
o each o he se s V+(ω)and V−(ω)a e p o ided in [10] (see also [1, 16]).
Rema k 2.5. I is well known ha , i he homogeneous p oblem (2.1) has only
he i ial solu ion, hen, o any ∈L([0, ω]), he p oblem
u00 =p( )u+ ( ); u(0) = u(ω), u0(0) = u0(ω) (2.2)
possesses a unique solu ion uand his solu ion sa is ies
|u( )| ≤ ∆(p)Zω
0| (s)|ds o ∈[0, ω],
whe e ∆(p), depending only on p, deno es a no m o he G een’s ope a o o p oblem
(2.1). Clea ly, ∆(p)>0.
Assuming ha p∈In V+(ω), we ex end he unc ion ppe iodically o he whole
eal axis deno ing i by he same symbol. I is p o ed in [10, Sec ion 6] ha , o
any a∈R, he p oblem
u00 =p( )u;u(a)=1, u(a+ω)=1
has a unique solu ion uaand ua( )>0 o ∈[0, ω]. We pu
Γ(p) := sup kuakC:a∈[0, ω]eRω
0[p(s)]+ds.(2.3)
I is clea ha Γ(p)≥1.
Rema k 2.6. I p∈ V+(ω), hen he numbe ∆(p) de ined in Rema k 2.5 can be
es ima ed, o example, by he a maximal alue o he G een’s unc ion o p oblem
(2.1) (see, e.g., [16]). On he o he hand, assuming p∈In V+(ω), some es ima es
o he numbe Γ(p) a e p o ided in [10, Sec ion 6].
Fo ins ance, i p( ) := p0 o ∈[0, ω] and p0∈[−π2
ω2,0[ , esp. p0∈−π2
ω2,0,
hen
∆(p)≤2p|p0|sin ωp|p0|
2−1
, esp. Γ(p) = cos ωp|p0|
2−1
.
De ini ion 2.7 ([10, De ini ion 16.1]).Le p, ∈L([0, ω]). We say ha a pai
(p, ) belongs o he se U(ω), i p oblem (2.1) has a unique solu ion which is
posi i e.
EJDE-2023/65 PARAMETER-DEPENDENT PERIODIC PROBLEMS 5
3. Main esul s
This sec ion con ains o mula ions o all he main esul s o he pape . Thei
p oo s a e p esen ed in de ail in Sec ion 5.
We s a wi h he mos gene al s a emen o he pape , which p o ides he
exis ence/non-exis ence esul s in he case o p6∈ V−(ω)∪V0(ω). This condi ion is
sa is ied, o ins ance, i
Zω
0
p(s) ds≤0, p( )6≡ 0
(see Lemma 4.15). No e also ha , o he Du ing equa ion wi h he cons an
coe icien s
x00 +ax −bx3=µ ( ),
he abo e-men ioned condi ion is sa is ied i and only i a > 0.
Theo em 3.1. Le λ > 1,p6∈ V−(ω)∪V0(ω), ( )6≡ 0, and
h( )>0 o a.e. ∈[0, ω].(3.1)
Then, he e exis −∞ ≤ µ∗<0and 0< µ∗≤+∞such ha he ollowing conclu-
sions hold:
(1) Fo any µ∈]µ∗, µ∗[, p oblem (1.1) has a posi i e solu ion u∗such ha
e e y solu ion u o p oblem (1.1) sa is ies
ei he u( )< u∗( ) o ∈[0, ω],o u( )≡u∗( ).(3.2)
Mo eo e , o any couple o dis inc posi i e solu ions u1,u2 o (1.1) sa -
is ying
u1( )6≡ u∗( ), u2( )6≡ u∗( ),(3.3)
he condi ions
min{u1( )−u2( ) : ∈[0, ω]}<0,
max{u1( )−u2( ) : ∈[0, ω]}>0(3.4)
hold.
(2) I µ∗<+∞, hen
(a) o µ>µ∗, p oblem (1.1) has no posi i e solu ion,
(b) o µ=µ∗, p oblem (1.1) has a unique non-nega i e solu ion u∗and
e e y solu ion u o (1.1) sa is ies (3.2).
(3) I µ∗>−∞, hen
(a) o µ<µ∗, p oblem (1.1) has no posi i e solu ion,
(b) o µ=µ∗, p oblem (1.1) has a unique non-nega i e solu ion u∗and
e e y solu ion u o (1.1) sa is ies (3.2).
(4) I Rω
0 (s) ds > 0( esp. Rω
0 (s) ds < 0), hen µ∗<+∞( esp. µ∗>−∞).
Co olla y 3.2. Le λ > 1,p6∈ V−(ω)∪V0(ω), ( )6≡ 0, and condi ion (3.1) hold.
Then, he e exis s 0< µ0<+∞such ha , o any µ∈]−µ0, µ0[, p oblem (1.1)
has a nega i e solu ion u∗and a posi i e solu ion u∗such ha e e y solu ion u o
p oblem (1.1) di e en om u∗,u∗sa is ies
u∗( )< u( )< u∗( ) o ∈[0, ω].(3.5)
6 J. ˇ
SREMR EJDE-2023/65
Rema k 3.3. The conclusions o Theo em 3.1 and Co olla y 3.2 ex end he conclu-
sions o P oposi ion 1.2 o non-au onomous Du ing equa ions wi h a sign-changing
o cing e m. Indeed, le ω > 0 and
p( ) := −a, h( ) := b, ( ) := 1 o ∈[0, ω],
whe e a, b > 0. Then, condi ion (3.1) holds and, by Rema k 2.4, we ob ain p6∈
V−(ω)∪V0(ω). We emphasize, in pa icula , he conclusion o Co olla y 3.2 which
claims ha he e exis s 0 < µ0<+∞such ha , o any µ∈]−µ0, µ0[ , equa ion
(1.5) has a maximal ( esp. a minimal) ω-pe iodic solu ion which is posi i e ( esp.
nega i e); compa e i wi h conclusions (iii), (i ), ( ) o P oposi ion 1.2.
We now p o ide a lowe ( esp. an uppe ) es ima e o he numbe µ∗( esp. µ∗)
appea ing in he conclusion o Theo em 3.1.
P oposi ion 3.4. Le λ > 1,p6∈ V−(ω)∪V0(ω), ( )6≡ 0,hsa is y (3.1), and µ∗,
µ∗be he numbe s appea ing in he conclusion o Theo em 3.1. I [ ( )]+6≡ 0, hen
µ∗≥1
Rω
0[ (s)]+dssup n
∆p+ λ−1h: > 0, p + λ−1h∈ V+(ω)o,(3.6)
and, i [ ( )]−6≡ 0, hen
µ∗≤ − 1
Rω
0[ (s)]−dssup n
∆p+ λ−1h: > 0, p + λ−1h∈ V+(ω)o,(3.7)
whe e ∆is de ined in Rema k 2.5.
Rema k 3.5. Le λ > 1, ω > 0, and
p( ) := −a, h( ) := b o ∈[0, ω],(3.8)
whe e a, b > 0, and
Φ(a, b, λ, ω) := (2ω
π
(λ−1)a
λ(a
λb )1
λ−1i a < λ
λ−1π
ω2,
2π
ω[1
b(a−π2
ω2)] 1
λ−1i a≥λ
λ−1(π
ω)2.
I ollows om he p oo o [15, Co olla y 3.19] ha , i [ ( )]+6≡ 0 and [ ( )]−6≡ 0,
hen
µ∗≥Φ(a, b, λ, ω)
Rω
0[ (s)]+ds, µ∗≤ − Φ(a, b, λ, ω)
Rω
0[ (s)]−ds.
I
( )≥0 o ∈[0, ω], ( )6≡ 0,(3.9)
hen i ollows om [15, Theo em 3.15(3)] ha , o any µ > 0, p oblem (1.1) has a
unique nega i e solu ion. The e o e, he conclusions o Theo em 3.1 can be e ined
as ollows.
Theo em 3.6. Le λ > 1,p6∈ V−(ω)∪ V0(ω)and condi ions (3.1) and (3.9) be
ul illed. Then, he e exis s 0< µ0<+∞such ha he ollowing conclusions hold:
(1) Fo any µ>µ0, p oblem (1.1) has a unique nega i e solu ion u∗and no
posi i e solu ion. Mo eo e , e e y solu ion u o (1.1) sa is ies
ei he u( )> u∗( ) o ∈[0, ω],o u( )≡u∗( ).(3.10)
(2) Fo µ=µ0, p oblem (1.1) has a unique nega i e solu ion u∗and a unique
non-nega i e solu ion u∗. Mo eo e , e e y solu ion u o p oblem (1.1) di -
e en om u∗,u∗sa is ies (3.5).
EJDE-2023/65 PARAMETER-DEPENDENT PERIODIC PROBLEMS 7
(3) Fo µ∈]0, µ0[, p oblem (1.1) has a unique nega i e solu ion u∗and a
posi i e solu ion u∗such ha e e y solu ion u o p oblem (1.1) di e en
om u∗,u∗sa is ies (3.5).
(4) Fo µ= 0, p oblem (1.1) has a unique posi i e solu ion u0, he i ial
solu ion, and a unique nega i e solu ion −u0. Mo eo e , e e y solu ion u
o p oblem (1.1) di e en om u∗,u∗changes i s sign and sa is ies (3.5).
(5) Fo µ∈]−µ0,0[ , p oblem (1.1) has a unique nega i e solu ion u∗and a
posi i e solu ion u∗such ha e e y solu ion u o p oblem (1.1) di e en
om u∗,u∗sa is ies (3.5).
(6) Fo µ=−µ0, p oblem (1.1) has a unique non-posi i e solu ion u∗and a
unique posi i e solu ion u∗. Mo eo e , e e y solu ion u o p oblem (1.1)
di e en om u∗,u∗sa is ies (3.5).
(7) Fo any µ < −µ0, p oblem (1.1) has a unique posi i e solu ion u∗an no
nega i e solu ion. Mo eo e , e e y solu ion u o (1.1) sa is ies (3.2).
Rema k 3.7. I ollows om Theo em 3.1(1) ha , in Theo em 3.6(3,5), i u1,u2
a e dis inc posi i e ( esp. nega i e) solu ions o p oblem (1.1) di e en om u∗
( esp. u∗), hen condi ions (3.4) hold.
Rema k 3.8. Le ω > 0 and
p( ) := −a, h( ) := b, ( ) := 1 o ∈[0, ω],
whe e a, b > 0. Then, condi ions (3.1) and (3.9) hold, p6∈ V−(ω)∪ V0(ω) (see
Rema k 2.4), and all he conclusions o Theo em 3.6 a e in compliance wi h hose
in P oposi ion 1.2.
We showed in [11, Example 2.8] ha assuming p6∈ V−(ω)∪ V0(ω), hypo hesis
(3.1) in Theo ems 3.1 and 3.6 (i.e. he posi i i y o ha. e. on [0, ω]) is essen ial
o he exis ence o a posi i e solu ion o p oblem (1.1) wi h µ= 0 and canno be
weakened o he non-nega i i y o h. Howe e , unde a s onge assump ion on he
coe icien p, namely, p∈ V+(ω), hypo hesis (3.1) o Theo ems 3.1 and 3.6 can be
elaxed o
h( )≥0 o a.e. ∈[0, ω], h( )6≡ 0.(3.11)
Theo em 3.9. Le λ > 1,p∈ V+(ω),hsa is y (3.11), and
(p, )∈ U(ω),Zω
0
(s) ds > 0.(3.12)
Then, he e exis −∞ ≤ µ∗<0and 0< µ∗<+∞such ha he ollowing conclu-
sions hold:
(1) Fo any µ > µ∗, p oblem (1.1) has no posi i e solu ion.
(2) Fo µ=µ∗, p oblem (1.1) has a unique posi i e solu ion u∗and, mo eo e ,
e e y solu ion u o p oblem (1.1) sa is ies (3.2).
(3) Fo µ∈]0, µ∗[, p oblem (1.1) has exac ly wo posi i e solu ions u1,u2and
hese solu ions sa is y
u1( )> u2( )>0 o ∈[0, ω].(3.13)
Mo eo e , e e y solu ion u o p oblem (1.1) di e en om u1is such ha
u( )< u1( ) o ∈[0, ω].(3.14)
(4) Fo µ= 0, p oblem (1.1) has exac ly h ee solu ions: a posi i e solu ion u0,
he i ial solu ion, a nega i e solu ion −u0.
8 J. ˇ
SREMR EJDE-2023/65
(5) Fo µ∈]µ∗,0[ , p oblem (1.1) has ei he one o wo posi i e solu ions.
Mo eo e , (1.1) has a posi i e solu ion u∗such ha e e y solu ion o p ob-
lem (1.1) sa is ies (3.2).
(6) I µ∗>−∞, hen, o any µ<µ∗, p oblem (1.1) has no posi i e solu ion.
Rema k 3.10. Assume ha hypo heses o Theo em 3.9 hold and µ∗>−∞. I ,
mo eo e , h( )>0 o a. e. ∈[0, ω], hen i ollows om Theo em 3.1(3b) ha
p oblem (1.1) wi h µ=µ∗has a unique non-nega i e solu ion u∗and, mo eo e ,
e e y solu ion o (1.1) wi h µ=µ∗sa is ies (3.2).
Open ques ions. The ollowing wo ques ions emain open in Theo em 3.9:
(1) Does he inequali y µ∗>−∞ hold wi hou any addi ional assump ion?
(2) Wha happens in he case o µ=µ∗, i µ∗>−∞ and h( ) = 0 on a se o
posi i e measu e?
Rema k 3.11. I is p o ed in [10, Theo em 16.4] ha , i p∈In V+(ω), hen he
inclusion (p, )∈ U(ω) holds o e e y unc ion ∈L([0, ω]) sa is ying ( )6≡ 0
and
Zω
0
[ (s)]+ds≥Γ(p)Zω
0
[ (s)]−ds,
whe e Γ is gi en by (2.3).
On he o he hand, i p∈ V+(ω) and sa is ies (3.9), hen (p, )∈ U(ω) as well
(see [10, Rema k 9.2]).
Rema k 3.12. In [1], o show a possible use o he main esul s, he au ho s
conside he pa ame e -dependen pe iodic p oblem o he o ced Ma hieu-Du ing
equa ion
z00 =−(e+bcos( ))z+νz3+c( ); z(0) = z(2π), z0(0) = z0(2π),(3.15)
whe e e≥0 and b∈Ra e such ha e+|b|>0 and
k[e+bcos(·)]+kLα≤max K(2α∗,2π) : α≥1,
Kis he so-called bes Sobole cons an , csa is ies −(e+bcos(·)), c∈ U(2π), and
ν∈Ris a pa ame e . I is p o ed in [1, Co olla y 45] ha he e exi s ν0>0such
ha p oblem (3.15) has a leas wo posi i e solu ions p o ided ha 0< ν < ν0.
Pu ing u( ) := √ν z( ), p oblem (3.15) is equi alen , in some sense, wi h p oblem
(1.1) in which p( ) := −(e+bcos( )), h( ) := 1, ( ) := c( ), λ:= 3, and µ:= √ν.
Since −(e+bcos(·)) ∈ V+(ω) in he case conside ed, Theo em 3.9 complemen s
he conclusion o [1, Co olla y 45] as ollows: The e exis s ν0>0such ha p oblem
(3.15) has exac ly wo posi i e solu ions p o ided ha 0< ν < ν0, a unique posi i e
solu ion p o ided ha ν=ν0, and no posi i e solu ion p o ided ha ν > ν0.
Theo em 3.9 gua an ees he exis ence o ce ain “c i ical” alues µ∗,µ∗o he
pa ame e µsuch ha c ossing hese alues, a bi u ca ion o posi i e solu ions o
p oblem (1.1) occu s. F om an applica ion poin o iew, he es ima es o hese
numbe s a e also needed.
P oposi ion 3.13. Le λ > 1,p∈In V+(ω),hsa is y (3.11), and
Zω
0
[ (s)]+ds > Γ(p)Zω
0
[ (s)]−ds > 0,(3.16)
EJDE-2023/65 PARAMETER-DEPENDENT PERIODIC PROBLEMS 9
whe e Γis gi en by (2.3). Then, he numbe s µ∗,µ∗appea ing in he conclusion
o Theo em 3.9 sa is y
µ∗≤ − (λ−1) [∆(p)]−λ
λ−1
λλRω
0h(s) ds1
λ−1Rω
0[ (s)]−ds
,(3.17)
µ∗≥(λ−1) [∆(p)]−λ
λ−1
λλRω
0h(s) ds1
λ−1Rω
0[ (s)]+ds
,(3.18)
whe e ∆is de ined in Rema k 2.5, and
µ∗<(λ−1)[Γ(p)Rω
0[p(s)]−ds−Rω
0[p(s)]+ds]λ
λ−1
λ[λRω
0h(s) ds]1
λ−1Rω
0[ (s)]+ds−Γ(p)Rω
0[ (s)]−ds.(3.19)
I he o cing e m is non-nega i e, hen, simila ly as in Theo em 3.6, he
conclusions o Theo em 3.9 can be ex ended as ollows.
Theo em 3.14. Le λ > 1,p∈ V+(ω), and condi ions (3.9) and (3.11) be ul illed.
Then, he e exis s 0< µ0<+∞such ha he ollowing conclusions hold:
(1) Fo any µ > µ0, p oblem (1.1) has a unique solu ion which is nega i e.
(2) Fo µ=µ0, p oblem (1.1) has exac ly wo solu ions: one posi i e and one
nega i e.
(3) Fo µ∈]0, µ0[, p oblem (1.1) has exac ly h ee solu ions u1,u2,u3and
hese solu ions sa is y
u1( )> u2( )>0, u3( )<0 o ∈[0, ω].
(4) Fo µ= 0, p oblem (1.1) has exac ly h ee solu ions: a posi i e solu ion u0,
he i ial solu ion, a nega i e solu ion −u0.
(5) Fo µ∈]−µ0,0[ , p oblem (1.1) has exac ly h ee solu ions u1,u2,u3and
hese solu ions sa is y
u1( )< u2( )<0, u3( )>0 o ∈[0, ω].
(6) Fo µ=−µ0, p oblem (1.1) has exac ly wo solu ions: one posi i e and one
nega i e.
(7) Fo any µ < −µ0, p oblem (1.1) has a unique solu ion which is posi i e.
Rema k 3.15. Theo em 3.14 ex ends he conclusions o Theo em 1.1 o he case
o c= 0 and con i ms a conjec u e o mula ed in [2, Rema k 3, p. 2502] because,
a leas in case o c= 0, he conclusions o Theo em 1.1 (excep o he asymp o ic
s abili y) a e s ill ue o dwhich changes i s sign (and belongs o a ce ain class
o unc ions).
We inally p o ide he uppe and lowe es ima es o he numbe µ0appea ing in
Theo em 3.14, which ollow immedia ely om P oposi ion 3.13.
P oposi ion 3.16. Le λ > 1,p∈In V+(ω), and condi ions (3.9) and (3.11)
hold. Then, he numbe µ0appea ing in he conclusion o Theo em 3.14 sa is ies
µ0≥(λ−1) [∆(p)]−λ
λ−1
λλRω
0h(s) ds1
λ−1Rω
0 (s) ds
,
16 J. ˇ
SREMR EJDE-2023/65
α2(0) = α2(ω), α0
2(0) = α0
2(ω),(4.33)
α00
2( ) = p( )α2( ) + µ∗
µλ−1h( )αλ
2( ) + µ ( )
≥p( )α2( ) + h( )αλ
2( ) + µ ( ) o a.e. ∈[0, ω],
(4.34)
meas ∈[0, ω] : α00
2( )> p( )α2( ) + h( )αλ
2( ) + µ ( )>0,(4.35)
because 0 < µ < µ∗and hsa is ies (3.11).
The e o e, Lemma 4.3(2) (wi h α( ) := α2( )), p oblem (1.1) has a solu ion α1
such ha
α1( )≥α2( ) o ∈[0, ω].(4.36)
Consequen ly, he unc ions α1,α2sa is y condi ions (4.5) and (4.6). We inally
show ha (4.4) is ul illed as well. Suppose on he con a y ha (4.4) does no
hold. Ex end he unc ions p,h, ,α1,α2pe iodically o he whole eal axis
deno ing hem by he same symbols. Then, in iew o (4.32) and (4.36), he e
exis s a∈[0, ω[ such ha
α1(a) = α2(a), α0
1(a) = α0
2(a).(4.37)
Pu
w( ) := α1( )−α2( ) o ∈[a, a +ω],
ϕ( ) := gα1( ), α2( ) o ∈[a, a +ω],
whe e
g(x, y) := (xλ−yλ
x−y o x, y ∈R, x 6=y,
λ|x|λ−1sgn x o x, y ∈R, x =y.
I is no di icul o e i y ha g:R2→Ris a con inuous unc ion and, hus, he
unc ion ϕis con inuous and non-nega i e on [a, a +ω]. By (4.36) and (4.37), w
sa is ies (4.31) wi h b=a+ω. Since α1is a solu ion o p oblem (1.1) and α2
sa is ies (4.34), we ha e
w00( )≤p( )w( ) + h( )αλ
1( )−αλ
2( )
≤|p( )|+h( )ϕ( )w( ) o a.e. ∈[a, a +ω].
The e o e, Lemma 4.11 (wi h `( ) := |p( )|+h( )ϕ( ) and b:= a+ω) yields w( )≡0,
i., e., α1( )≡α2( ). Howe e , his con adic s condi ion (4.35), because α1is a
solu ion o p oblem (1.1).
Lemma 4.13. Le λ > 1,µ∗>0,p, h, ∈L([0, ω]),hsa is y (3.11), and he e
exis unc ions α1, α2∈AC1([0, ω]) such ha (4.5) wi h µ=µ∗and (4.6) hold and
0≤α2( )< α1( ) o ∈[0, ω].(4.38)
Then, he e exis µ>µ∗and a posi i e unc ion α∈AC1([0, ω]) sa is ying (4.1)
wi h µ=µ∗and (4.2).
The p oo o he abo e lemma is simila o he p oo o [14, Lemma 4.9] and
hus, i is omi ed.
Lemma 4.14. Le λ > 1,µ∗∈R,p6∈ V−(ω)∪V0(ω), and hsa is y (3.1). Then,
o any c > 0, he e exis s a unc ion β∈AC 1([0, ω]) such ha
β00( )≤p( )β( ) + h( )βλ( ) + µ∗ ( ) o a.e. ∈[0, ω],(4.39)
EJDE-2023/65 PARAMETER-DEPENDENT PERIODIC PROBLEMS 17
β(0) = β(ω), β0(0) = β0(ω),(4.40)
β( )≥c o ∈[0, ω].(4.41)
P oo . Pu
q0( , x) := h( )|x|λ−1 o a.e. ∈[0, ω] and all x∈R.
Since limx→+∞xλ−1REh(s) ds= +∞ o e e y E⊆[0, ω], meas E > 0, i ollows
om [15, Lemma 4.15] ha he e exis s R > 0 such ha p+q0(·, R)∈ V−(ω).
The e o e, he conclusion o he lemma ollows om [15, P oposi ion 4.21] (wi h
q( , x) := q0( , x) and x0:= 0).
Lemma 4.15 ([10, P oposi ion 10.8, Rema k 0.7]).I p∈ V−(ω)∪ V0(ω), hen
ei he Rω
0p(s) ds > 0o p( )≡0.
5. P oo s o main esul s
P oo o Theo em 3.1. Pu
A:= µ∈R: p oblem (1.1) has a posi i e solu ion.(5.1)
In iew o Lemmas 4.1(1) and 4.2, he e exis s ε > 0 such ha ]−ε, ε[∩A 6=∅. Le
µ∗:= in A, µ∗:= sup A.(5.2)
Then, −∞ ≤ µ∗<0 and 0 < µ∗≤+∞.
Conclusion (1):Le µ0∈ A {0}be a bi a y and µ∈Rbe such ha 0 <|µ| ≤ |µ0|
and sgn µ= sgn µ0. Le , mo eo e , u0be a posi i e solu ion o p oblem (1.1) wi h
µ=µ0. Pu
α( ) := µ
µ0
u0( ) o ∈[0, ω].(5.3)
Clea ly, α( )>0 o ∈[0, ω]. I ollows om (1.1) wi h µ=µ0 ha αsa is ies
(4.2) and
α00( ) = p( )α( ) + µ0
µλ−1h( )αλ( ) + µ ( )
≥p( )α( ) + h( )αλ( ) + µ ( ) o a.e. ∈[0, ω],
(5.4)
because |µ0|≥|µ|>0 and (3.1) holds. The e o e, Lemma 4.1(1) yields µ∈ A.
Consequen ly, ]µ∗, µ∗[⊆ A and, hus, conclusion (1) o he heo em ollows om
Lemma 4.1(1).
Conclusion (2):Assume ha µ∗<+∞. Then, i ollows immedia ely om (5.1)
and (5.2) ha conclusion (2a) o he heo em holds.
Le {µn}∞
n=1 be a sequence o posi i e numbe s such ha
µn∈ A o n∈N,lim
n→+∞µn=µ∗(5.5)
and, o any n∈N, le unbe a solu ion o p oblem (1.1) wi h µ=µn. Lemma 4.10
yields (4.13). By he s anda d a gumen s using in he p oo o a well-possedness
o he pe iodic p oblems o second-o de ODEs, one can show ha he e exis s a
subsequence {unk}∞
k=1 o {un}∞
n=1 such ha
lim
k→+∞u(i)
nk( ) = (u∗)(i)( ) uni o mly on [0, ω], i = 0,1,(5.6)
18 J. ˇ
SREMR EJDE-2023/65
whe e u∗∈AC1([0, ω]) is a solu ion o p oblem (1.1) wi h µ=µ∗. All he unc ions
unka e posi i e and, hus, i is clea ha
u∗( )≥0 o ∈[0, ω].
We now p o e ha u∗is a unique non-nega i e solu ion o p oblem (1.1) wi h
µ=µ∗. Suppose on he con a y ha u∗is a non-nega i e solu ion o (1.1) wi h
µ=µ∗such ha
u∗(ξ)6=u∗(ξ) o some ξ∈[0, ω].(5.7)
Pu
α( ) := max u∗( ), u∗( ) o ∈[0, ω].
I is no di icul o e i y ha α∈AC`([0, ω]), condi ion (4.2) wi h µ=µ∗holds,
and
α(a) = α(ω), α0(a)≥α0(ω).(5.8)
Le us show ha
α( )>0 o ∈[0, ω].(5.9)
I his condi ion does no hold, hen, in iew o he non-nega i i y o u∗,u∗, he e
exis s 0∈[0, ω] such ha
u∗( 0)=0, u∗( 0)=0.(5.10)
Ex end he unc ions p,h, ,u∗,u∗pe iodically o he whole eal axis deno ing
hem by he same symbols. Then, using (5.10) and he non-nega i i y o u∗,u∗,
we ob ain
u0
∗( 0)=0,(u∗)0( 0)=0.(5.11)
Since he unc ion x7→ |x|λsgn xis Lipschi z on e e y compac in e al, o any
c1, c2∈R, he Cauchy p oblem
u00 =p( )u+h( )|u|λsgn u+µ∗ ( ); u( 0) = c1, u0( 0) = c2(5.12)
is uniquely sol able. The e o e, (5.10) and (5.11) yield u∗( )≡u∗( ), which con-
adic s (5.7). Hence, (5.9) holds. Now, in iew o (4.2) wi h µ=µ∗, (5.8), and
(5.9), i ollows om Lemma 4.1(1) ha p oblem (1.1) wi h µ=µ∗has a posi i e
solu ion ˜u∗such ha
0≤u∗( )<˜u∗( ) o ∈[0, ω] o 0 ≤u∗( )<˜u∗( ) o ∈[0, ω].
The e o e, Lemma 4.13 gua an ees ha he e exis ˜µ > µ∗and a posi i e unc ion
˜α∈AC1([0, ω]) sa is ying
˜α00( )≥p( )˜α( ) + h( )˜αλ( ) + ˜µ ( ) o a.e. ∈[0, ω],(5.13)
˜α(0) = ˜α(ω),˜α0(0) = ˜α0(ω).(5.14)
Consequen ly, i ollows om Lemma 4.1 (wi h α( ) := ˜α( ) and µ:= ˜µ) ha
p oblem (1.1) wi h µ= ˜µhas a leas one posi i e solu ion, which con adic s
he abo e-p o ed conclusion (2a). The con adic ion ob ained p o es ha u∗is a
unique non-nega i e solu ion o p oblem (1.1) wi h µ=µ∗.
I emains o show ha e e y solu ion u o p oblem (1.1) wi h µ=µ∗sa is ies
(3.2). Indeed, suppose on he con a y ha uis a solu ion o p oblem (1.1) wi h
µ=µ∗such ha (3.2) does no hold. We ha e men ioned abo e ha , o any
0∈[0, ω] and c1, c2∈R, he Cauchy p oblem (5.12) is uniquely sol able and, hus,
he solu ion usa is ies
max u( )−u∗( ) : ∈[0, ω]>0.(5.15)
EJDE-2023/65 PARAMETER-DEPENDENT PERIODIC PROBLEMS 19
Pu
α( ) := max u( ), u∗( ) o ∈[0, ω].(5.16)
I is no di icul o e i y ha α∈AC`([0, ω]) and condi ions (4.2) wi h µ=µ∗and
(5.8) hold. Mo eo e , i ollows om Lemma 4.14 ha he e exis s β∈AC 1([0, ω])
sa is ying (4.39), (4.40), and
β( )≥α( ) o ∈[0, ω].(5.17)
The e o e, by (4.2) wi h µ=µ∗, (4.39), (4.40), (5.8), and (5.17), we conclude
ha αand β o m a well-o de ed pai o lowe and uppe unc ions and, hus,
p oblem (1.1) wi h µ=µ∗has a solu ion ˆusuch ha
α( )≤ˆu( )≤β( ) o ∈[0, ω].
Howe e , his condi ion, oge he wi h (5.15) and (5.16), implies ha ˆuis a non-
nega i e solu ion o p oblem (1.1) wi h µ=µ∗di e en om u∗, which con adic s
he abo e-p o ed ac conce ning he uniqueness o he non-nega i e solu ion u∗.
Conclusion (3):I can be p o ed in much he same way as conclusion (2) consid-
e ing −µand − ins ead o µand .
Conclusion (4):I ollows immedia ely om Lemma 4.9.
P oo o Co olla y 3.2. I is clea ha uis a solu ion o p oblem (1.1) i and only
i −uis a solu ion o p oblem (4.10). The e o e, he conclusion o he co olla y
ollows om Theo em 3.1(1).
P oo o P oposi ion 3.4. Le µ∗,µ∗be he numbe s appea ing in he conclusion o
Theo em 3.1.
Assume ha [ ( )]+6≡ 0 and suppose on he con a y ha (3.6) does no hold,
i.e.,
µ∗<1
Rω
0[ (s)]+dssup
∆p+ λ−1h: > 0, p + λ−1h∈ V+(ω),
whe e ∆ is de ined by Rema k 2.5. Then, µ∗∈]0,+∞[ and he e exis s ε > 1 such
ha
Zω
0
[εµ∗ (s)]+ds < sup
∆p+ λ−1h: > 0, p + λ−1h∈ V+(ω).
The e o e, om Lemmas 4.2 and 4.1(1) ha p oblem (1.1) wi h µ=εµ∗has a
leas one posi i e solu ion, which con adic s conclusion (2a) o Theo em 3.1.
Assuming [ ( )]−6≡ 0, es ima e (3.7) can be p o ed analogously o (3.6).
P oo o Theo em 3.6. I ollows om Theo em 3.1 and Lemmas 4.6 and 4.9 ha
he e exis s µ0∈]0,∞[ such ha conclusions (1), (2), and (3) o he heo em hold.
Since uis a solu ion o p oblem (1.1) i and only i −uis a solu ion o p oblem (4.10),
conclusions (5), (6), and (7) o he heo em hold as well. Finally, conclusion (4) o
he heo em ollows om Lemma 4.6 and he abo e-men ioned equi alence.
P oo o Theo em 3.9. Le he se Abe gi en by o mula (5.1). In iew o Lem-
mas 4.3(2,3) and 4.4(1), he e exis s ε > 0 such ha ] −ε, ε[∩A 6=∅. De ine he
numbe s µ∗and µ∗by (5.2). Then, −∞ ≤ µ∗<0, µ∗>0, and Lemma 4.8 implies
ha µ∗<+∞.
Conclusion (1):I ollows om (5.1), (5.2), and he condi ion µ∗∈]0,+∞[ .
20 J. ˇ
SREMR EJDE-2023/65
Conclusion (2):We i s show ha
µ∗∈ A.(5.18)
Indeed, le {µn}∞
n=1 be a non-dec easing sequence o posi i e numbe s such ha
µn∈ A o n∈N,lim
n→+∞µn=µ∗.
Mo eo e , o any n∈N, le unbe a posi i e solu ion o p oblem (1.1) wi h µ=µn.
I ollows om Lemma 4.8 ha condi ion (4.13) holds. By he s anda d a gumen s
using in he p oo o a well-possedness o he pe iodic p oblems o second-o de
ODEs, one can show ha he e exis s a subsequence {unk}∞
k=1 o {un}∞
n=1 such
ha (5.6) is sa is ied, whe e u∗∈AC1([0, ω]) is a solu ion o p oblem (1.1) wi h
µ=µ∗. Since he unc ions unk,k∈N, a e posi i e, i is clea ha
u∗( )≥0 o ∈[0, ω].(5.19)
In iew o he hypo hesis (p, )∈ U(ω) and he posi i i y o µ∗, p oblem (4.23) has
a unique solu ion , which is posi i e. By (1.1) wi h µ=µ∗, (3.11), (4.23), and
(5.19), we ob ain
z00( )≥p( )z( ) o a.e. ∈[0, ω], z(0) = z(ω), z0(0) = z0(ω),
whe e z( ) := u∗( )−µ∗ ( ) o ∈[0, ω]. The e o e, he hypo hesis p∈ V+(ω)
yields z( )≥0 o ∈[0, ω]. Hence, we ha e
u∗( )≥µ∗ ( )>0 o ∈[0, ω]
and, hus condi ion (5.18) holds.
Since u∗is a posi i e solu ion o p oblem (1.1) wi h µ=µ∗, in iew o Lemma
4.3(2), o p o e conclusion (2) o he heo em, i is su icien o show ha p oblem
(1.1) wi h µ=µ∗does no ha e mo e han one posi i e solu ion. Suppose on he
con a y ha p oblem (1.1) wi h µ=µ∗has a posi i e solu ion di e en om u∗.
Then, i ollows om Lemma 4.3(2) (wi h α( ) := u∗( ) and µ:= µ∗) ha p oblem
(1.1) wi h µ=µ∗possesses solu ions ˜u∗, ˜u∗such ha
˜u∗( )>˜u∗( )>0 o ∈[0, ω].
The e o e, Lemma 4.13 (wi h α1( ) := ˜u∗( ) and α2( ) := ˜u∗( )) gua an ees ha
he e exis ˜µ > µ∗and a posi i e unc ion ˜α∈AC1([0, ω]) sa is ying (5.13) and
(5.14). Consequen ly, by Lemma 4.1(1) (wi h α( ) := ˜α( ) and µ:= ˜µ), we conclude
ha p oblem (1.1) wi h µ= ˜µhas a leas one posi i e solu ion, which con adic s
he abo e-p o ed conclusion (1).
Conclusions (3):Ha ing a posi i e solu ion u∗ o p oblem (1.1) wi h µ=µ∗, i
is clea ha all he hypo heses o Lemma 4.12 (wi h α( ) := u∗( )) a e ul illed.
Consequen ly, o any µ∈]0, µ∗[ , (p, µ )∈ U(ω) and he e exis unc ions α1, α2∈
AC1([0, ω]) sa is ying condi ions (4.4), (4.5), and (4.6) and, he e o e, conclusion
(3) o he heo em ollows om Lemma 4.3(3).
Conclusion (4):I ollows immedia ely om [11, Co olla y 2.31(2)].
Conclusion (5):Le µ0∈ A∩]−∞,0[ and µ∈[µ0,0[ be a bi a y and le u0be
a posi i e solu ion o p oblem (1.1) wig h µ=µ0. De ine he unc ion αby (5.3).
Clea ly, α( )>0 o ∈[0, ω]. I ollows om (1.1) wi h µ=µ0 ha αsa is ies
(4.2) and (5.4), because µ0≤µ < 0 and (3.11) holds. The e o e, Lemma 4.3(2)
yields µ∈ A. Consequen ly, ]µ∗,0[ ⊆ A and, hus, conclusion (5) o he heo em
ollows om Lemma 4.3(1,2).
EJDE-2023/65 PARAMETER-DEPENDENT PERIODIC PROBLEMS 21
Conclusion (6):Assume ha µ∗>−∞. Then, i ollows immedia ely om (5.1)
and (5.2) ha , o any µ < µ∗, p oblem (1.1) has no posi i e solu ion.
P oo o P oposi ion 3.13. By Rema k 3.11, i ollows om (3.16) ha condi ion
(3.12) holds. Le µ∗,µ∗be he numbe s appea ing in he conclusion o Theo em 3.9.
We i s show ha µ∗sa is ies (3.17), whe e ∆ is de ined in Rema k 2.5. Suppose
on he con a y ha (3.17) does no hold, i.e.,
µ∗>−(λ−1) [∆(p)]−λ
λ−1
λλRω
0h(s) ds1
λ−1Rω
0[ (s)]−ds
.
Then, µ∗∈]−∞,0[ and he e exis s ε > 1 such ha
0<Zω
0
[εµ∗ (s)]+ds=−εµ∗Zω
0
[ (s)]−ds≤(λ−1) [∆(p)]−λ
λ−1
λλRω
0h(s) ds1
λ−1
.
The e o e, i ollows om Lemmas 4.4(1) and 4.3(2) ha p oblem (1.1) wi h
µ=εµ∗has a posi i e solu ion, which con adic s conclusion (6) o Theo em 3.9.
Now we show ha µ∗sa is ies (3.18), whe e ∆ is de ined in Rema k 2.5. Suppose
on he con a y ha (3.18) does no hold, i.e.,
µ∗<(λ−1) [∆(p)]−λ
λ−1
λλRω
0h(s) ds1
λ−1Rω
0[ (s)]+ds
.(5.20)
By he condi ions (p, )∈ U(ω) and µ∗>0, we ob ain (p, µ∗ )∈ U(ω). The e o e,
in iew o (5.20), i ollows om Lemmas 4.4(2) and 4.3(3) ha p oblem (1.1)
wi h µ=µ∗has exac ly wo posi i e solu ions, which con adic s conclusion (2) o
Theo em 3.9.
We inally show ha µ∗sa is ies (3.19), whe e Γ is gi en by (2.3). Suppose on
he con a y ha (3.19) does no hold, i.e.,
µ∗≥(λ−1)[Γ(p)Rω
0[p(s)]−ds−Rω
0[p(s)]+ds]λ
λ−1
λλRω
0h(s) ds1
λ−1[Rω
0[ (s)]+ds−Γ(p)Rω
0[ (s)]−ds]
.
Then, i ollows om Lemma 4.5 ha p oblem (1.1) wi h µ=µ∗has no posi i e
solu ion, which con adic s conclusion (2) o Theo em 3.9.
P oo o Theo em 3.14. We i s no e ha , by Rema k 3.11, condi ion (3.12) holds.
The e o e, i ollows om Theo em 3.9(1,2,3) and Lemmas 4.6 and 4.7 ha he e
exis s µ0∈]0,+∞[ such ha conclusions (1), (2), and (3) o he heo em hold.
Since uis a solu ion o p oblem (1.1) i and only i −uis a solu ion o p oblem
(4.10), conclusions (5), (6), and (7) o he heo em hold as well. Finally, he alidi y
o conclusion (4) o he heo em ollows immedia ely om Theo em 3.9(4).
6. Conclusions
The exis ence and exac mul iplici y o solu ions o p oblem (1.1) was s udied
depending on he choice o he pa ame e µ. We ex ended he conclusions s a ed in
[2, Theo em 1.1] o he case o undamped Du ing equa ion (1.2) wi h c:= 0 and
weakened hypo heses (1.3) and (1.4). Ou esul s con i m a conjec u e o mula ed
in [2, Rema k 3, p. 2502] because, a leas in he case o c= 0, he conclusions o
Theo em 1.1 (excep o he asymp o ic s abili y) a e s ill ue o dwhich changes
i s sign (and belongs o a ce ain class o unc ions). We also p o ided bo h lowe
22 J. ˇ
SREMR EJDE-2023/65
and uppe es ima es o he “c i ical” alues µ∗,µ∗( esp. µ0) o he pa ame e µ
appea ing in he conclusions o Theo ems 3.1 and 3.9 ( esp. Theo ems 3.6 and 3.14).
The app oach used in [2] employs iden i ying he old poin on bi u ca ion cu es
and he con inua ion me hod combined wi h he S u m’s compa ison heo em, opo-
logical deg ee, and he maximum p inciple. We used a sligh ly di e en app oach;
we p o ed ou esul s by using he me hod o lowe and uppe unc ions only, which
was combined wi h he he maximum and an i-maximum p inciples. The esul s
ob ained subs an ially gene alize he esul s a ailable in he li e a u e because hey
a e no only speci ic su icien condi ions. Ou gene al esul s hold o all he equa-
ions o he ype s udied whose coe icien in he linea pa belongs o a ce ain
su icien ly wide class o unc ions. Such a class is desc ibed in e ms o he beha -
io o he co esponding linea pe iodic p oblem and does no exclude he so-called
esonan cases.
Finally, i is wo h men ioning ha i he esul s conce ning he maximum and
an i-maximum p inciples a e known o he pe iodic linea p oblem
u00 =p( )u+g( )u0;u(0) = u(ω), u0(0) = u0(ω)
wi h p, g ∈L([0, ω]), he pa ame e -dependen p oblem
u00 =p( )u+g( )u0+h( )|u|λsgn u+µ ( ); u(0) = u(ω), u0(0) = u0(ω)
migh be also s udied in a simila way as (1.1). The i s s eps a e al eady done o
he Du ing equa ion wi h a cons an damping coe icien g(see, e. g., [2, 8]).
Acknowledgmen s. This esea ch was suppo ed by he in e nal g an FSI-S-20-
6187 o FME BUT.
Re e ences
[1] A. Cabada. J. ´
A. Cid, L. L´opez-Somoza; Maximum p inciples o he Hill’s equa ion, Aca-
demic P ess, London, 2018.
[2] H. Chen, Y. Li; Bi u ca ion and s abili y o pe iodic solu ions o Du ing equa ions, Nonlin-
ea i y,21 (2008), No. 11, 2485–2503.
[3] C. Fab y, J. Mawhin, M. N. Nkashama; A mul iplici y esul o pe iodic solu ions o o ced
nonlinea second o de o dina y di e en ial equa ions, Bull. London Ma h. Soc.,18 (1986),
No. 2, 173–180.
[4] S. Gae e, R. F. Man´ase ich; Exis ence o a pai o pe iodic solu ions o an O.D.E. gene alizing
a p oblem in nonlinea elas ici y, ia a ia ional me hods, J. Ma h. Anal. Appl.,134 (1988),
No. 2, 257–271.
[5] P. Habe s, C. De Cos e ; Two-poin bounda y alue p oblems: lowe and uppe solu ions,
Ma hema ics in Science and Enginee ing, 205, Else ie B.V., Ams e dam, 2006.
[6] X. Han, Y. He, H. Wei; Exis ence o posi i e pe iodic solu ions o a nonlinea sys em o
second-o de o dina y di e en ial equa ions, Elec on. J. Di e en ial Equa ions,2022 (2022),
No. 83, 1–11.
[7] I. Kigu adze; Ini ial and bounda y alue p oblems o sys ems o o dina y di e en ial equa-
ions. Vol. I. Linea heo y, Me snie eba, Tbilisi, 1997, in Russian.
[8] S. Liang; Exac mul iplici y and s abili y o pe iodic solu ions o Du ing equa ion wi h
bi u ca ion me hod, Qual. Theo y Dyn. Sys .,18 (2019), No. 2, 477–493.
[9] A. Lom a idze; On pe iodic bounda y alue p oblem o second o de o dina y di e en ial
equa ions, Commun. Con emp. Ma h.,22 (2020), No. 6, 1950049.
[10] A. Lom a idze; Theo ems on di e en ial inequali ies and pe iodic bounda y alue p oblem
o second-o de o dina y di e en ial equa ions, Mem. Di e en ial Equa ions Ma h. Phys.,
67 (2016), 1–129.
[11] A. Lom a idze, J. ˇ
S em ; On pe iodic solu ions o second-o de Du ing ype equa ions, Non-
linea Anal. Real Wo ld Appl.,40 (2018), 215–242.
EJDE-2023/65 PARAMETER-DEPENDENT PERIODIC PROBLEMS 23
[12] F. I. Njoku, P. Oma i; S abili y p ope ies o pe iodic solu ions o a Du ing equa ion in he
p esence o lowe and uppe solu ions, Appl. Ma h. Compu .,135 (2003), Nos. 2–3, 471–490.
[13] R. O ega; S abili y and index o pe iodic solu ions o an equa ion o Du ing ype, Boll. Un.
Ma . I al. B (7),3(1989), No. 3, 533–546.
[14] J. ˇ
S em ; Bi u ca ion o posi i e pe iodic solu ions o non-au onomous undamped du ing
equa ions, Ma h. Appl. 10 (2021), No. 1, 79–92.
[15] J. ˇ
S em ; Exis ence and exac mul iplici y o posi i e pe iodic solu ions o o ced non-
au onmous Du ing ype di e en ial equa ions, Elec on. J. Qual. Theo y Di e . Equ.,2021
(2021), No. 62, 1–33.
[16] P. J. To es; Exis ence o one-signed pe iodic solu ions o some second-o de di e en ial
equa ions ia a K asnoselskii ixed poin heo em, J. Di e en ial Equa ions,190 (2003),
643–662.
[17] T. Wa˙zewski; Sys `emes des ´equa ions e des in´egali ´es di ´e en ielles o dinai es aux deuxi`emes
memb es mono ones e leu s applica ions, Ann. Soc. Polon. Ma h.,23 (1950), 112–166, in
F ench.
Jiˇ
´
ıˇ
S em
Ins i u e o Ma hema ics, Facul y o Mechanical Enginee ing, B no Uni e si y o
Technology, Technick´
a 2, 616 69 B no, Czech Republic
Email add ess:[email p o ec ed]