2.5 Nonhomogeneous Nonlinearities 75
where the nonlinearity f satisfies the following assumptions. We recall that we de-
note F(t)=
t
0
f(s)ds.
(f
1
)f:R →R is of class C
1
and is odd.
(f
2
)f
(0) =0 and there exists p ∈(2, 2
∗
) such that lim sup
t→+∞
|f
(t)|
t
p−2
< +∞.
(f
3
) There exists μ>2 such that f(t)t ≥μF (t) for all t ∈R.
(f
4
) For every t ∈(0, +∞) there results f
(t)t > f (t).
Remark 2.5.1 Notice that the power nonlinearity f(u)=|u|
p−2
u, with p ∈(2, 2
∗
),
treated in Sect. 2.3 satisfies all the above assumptions.
Actually, assumptions (f
3
) and (f
4
) imply that the functions
t →
F(t)
t
μ
and t →
f(t)
t
are increasing, as one checks immediately by differentiation. This provides some
bounds at zero and at infinity. For example, comparing with t = 1 one finds that
F(t)≤F(1)t
μ
for t ∈[0, 1] and F(t)≥F(1)t
μ
for t ≥1, and similarly for f .
We will prove the following result.
Theorem 2.5.2 Assume that (h
1
) and (f
1
)–(f
4
) hold. Then Problem (2.39) admits
at least one nontrivial and nonnegative solution.
As usual, the proof will be split in a series of lemmas, in each of which the
assumptions of Theorem 2.5.2 will be taken for granted.
We begin with the description of some properties of f(t) and F(t) that can be
deduced from the assumptions (f
1
)–(f
4
) and that will be used during the proof.
Lemma 2.5.3 We have
(1) lim
t→0
F(t)
t
2
=0.
(2) There exist positive constants M
1
,M
2
such that
|f
(t)|≤M
1
|t|
p−2
for |t|>M
2
.
(3) There exist positive constants M
3
,M
4
such that
|F(t)|+|f(t)t|≤M
3
|t|
p
for |t|>M
4
.
(4) For every ε>0 there exists C
ε
> 0 such that
|F(t)|+|f(t)t|≤εt
2
+C
ε
|t|
p
∀t ∈R. (2.40)
(5) There exists a positive constant D such that for every t ≥1,
f(t)t ≥Dt
μ
and F(t)≥Dt
μ
. (2.41)
Proof The first statement follows by applying twice the de l’Hôpital rule. Point (2)
is a direct consequence of (f
2
) and the oddness of f . Integrating, one obtains (3).