Multiple solutions of boundary value problems with ϕ -Laplacian operators and under a Wintner-Nagumo growth condition

Noha El Khattabi; Marlene Frigon; Nourredine Ayyadi

doi:10.1186/1687-2770-2013-236

Research
Open Access

Multiple solutions of boundary value problems with ϕ-Laplacian operators and under a Wintner-Nagumo growth condition

Noha El Khattabi¹,
Marlene Frigon²Email author and
Nourredine Ayyadi¹

Boundary Value Problems20132013:236

https://doi.org/10.1186/1687-2770-2013-236

Received: 23 May 2013
Accepted: 4 October 2013
Published: 8 November 2013

Abstract

In this paper, we establish the existence of multiple solutions to second-order differential equations with ϕ-Laplacian satisfying periodic, Dirichlet or Neumann boundary conditions. The right-hand side is a Carathéodory function satisfying a growth condition of Wintner-Nagumo type. The existence of upper and lower solutions is assumed. The proofs rely on the fixed point index theory.

MSC: 34B15, 34C25, 47H10, 37C25, 47H11.

Keywords

boundary value problem
second-order differential equation
multiple solutions
ϕ-Laplacian
upper and lower solutions
Wintner-Nagumo growth condition
fixed point index

1 Introduction

In this paper, we consider boundary value problems for second-order nonlinear differential equations with ϕ-Laplacian of the form:

\begin{aligned} {(ϕ (u^{'} (t)))}^{'} = f (t, u (t), u^{'} (t)) a.e. t \in [0, T], \\ u \in B, \end{aligned}

(1.1)

where ℬ denotes the Dirichlet, periodic, or Neumann boundary conditions:

u (0) = μ, u (T) = ν;

(1.2)

u (0) = u (T), ϕ (u^{'} (0)) = ϕ (u^{'} (T));

(1.3)

ϕ (u^{'} (0)) = μ, ϕ (u^{'} (T)) = ν .

(1.4)

Here, $f : [0, T] \times R^{2} \to R$ is a Carathéodory function, and $ϕ : R \to R$ is a bijective increasing homeomorphism.

Such problems have been studied by many authors. The method of upper and lower solutions was widely used to obtain existence results; see, for instance, [1–16] and the references therein.

Many multiplicity results were obtained with the method of strict lower and upper solutions and for problems with the right member being a Carathéodory map not depending on the derivative, $f (t, u)$ . To our knowledge, De Coster [7] was the first to obtain multiplicity results for this problem with the Dirichlet boundary condition. Ben-Naoum and De Coster [1] considered the case where ϕ is the p-Laplacian with Sturm-Liouville boundary condition. Bereanu and Mawhin [2] established the existence of multiple periodic solutions in the case where $f (t, u) = e (t) - g (u) + c$ and ϕ can have a bounded domain or a bounded range. Zhang et al. [16] considered the periodic problem with the right member being a continuous map depending also on the derivative $f (t, u, u^{'})$ . A Nagumo growth condition was imposed on f. The case where $f (t, u, u^{'})$ is a Carathéodory map and $ϕ (u^{'}) = u^{'}$ was studied by El Khattabi [8] under a linear growth condition, and by Goudreau [11] under a Wintner-Nagumo growth condition.

Existence results were established for problem (1.1) under a growth condition of Nagumo type of the form:

| f (t, x, y) | \leq θ (| y |) k (t),

(1.5)

with

min {\int_{ϕ (d)}^{\infty} \frac{ϕ^{- 1} {(s)}^{(p - 1) / p}}{θ (ϕ^{- 1} (s))} d s, \int_{- \infty}^{ϕ (- d)} \frac{ϕ^{- 1} {(s)}^{(p - 1) / p}}{θ (ϕ^{- 1} (s))} d s} > c,

for c, d suitable constants. In particular, the existence of a solution was obtained by O’Regan [13] when the right member has the form $q (t) f (t, u, u^{'})$ with f continuous, and with either Dirichlet or mixed boundary conditions. His result was extended in [14] and in [15] for a Carathéodory function f. Cabada and Pouso [3] considered also a Carathéodory map f, and they established the existence of a solution to the problem with Neumann or periodic boundary conditions. More general boundary conditions or more general operators ϕ were considered in [4–6, 9, 12]. All those results rely on the Schauder fixed point theorem.

In this paper, we consider a Carathéodory map f satisfying a growth condition different from (1.5). Namely, we impose the growth condition of Wintner-Nagumo type

| f (t, x, y) | \leq ψ (| y |) (l (t) + c (t) | y |^{(p - 1) / p}) .

Using the method of upper and lower solutions and the fixed point index theory, we establish existence and multiplicity results for problem (1.1) with Dirichlet, Neumann or periodic boundary value conditions. Our proofs rely on the fixed point index theory. This theory is particularly convenient for the Neumann problem where we use the contraction property of the fixed point index to reduce the computation of the fixed point index in an affine space.

2 Preliminaries

In what follows, we denote

I = [0, T]

. The space of continuous functions

C (I)

, and the space of continuously derivable functions

C^{1} (I)

are equipped with the usual norms

{∥ \cdot ∥}_{0}

and

{∥ u ∥}_{1} = max {{∥ u ∥}_{0}, {∥ u^{'} ∥}_{0}}

, respectively. We denote the usual norm in

L^{p} (I)

by

{∥ u ∥}_{L^{p}}

, where

1 \leq p \leq \infty

. We set

W (I) = {u \in C^{1} (I) : ϕ (u^{'}) is absolutely continuous and {(ϕ (u^{'}))}^{'} \in L^{1} (I)} .

Definition 2.1 A map

f : I \times R^{2} \to R

is a Carathéodory function if

(i)

$f (t, \cdot, \cdot)$ is continuous for almost every $t \in I$ ;
(ii)

$f (\cdot, x, y)$ is measurable for all $(x, y) \in R^{2}$ ;
(iii)

for all $R > 0$ , there exists $h_{R} \in L^{1} (I)$ such that $| f (t, x, y) | \leq h_{R} (t)$ for all $(x, y) \in R^{2}$ such that $| x | \leq R$ , $| y | \leq R$ , and for almost every $t \in I$ .

Definition 2.2 We say that

α \in W (I)

is a lower solution of (1.1) if

{(ϕ (α^{'} (t)))}^{'} \geq f (t, α (t), α^{'} (t)), a.e. t \in I;

(2.1)

and, in addition,

(i)

if ℬ denotes Dirichlet boundary condition (1.2), it satisfies
$α (0) \leq μ and α (T) \leq ν;$
(ii)

if ℬ denotes periodic boundary condition (1.3), it satisfies
$α (0) = α (T) and ϕ (α^{'} (0)) \geq ϕ (α^{'} (T));$
(iii)

if ℬ denotes Neumann boundary condition (1.4), it satisfies
$ϕ (α^{'} (0)) \geq μ and ϕ (α^{'} (T)) \leq ν .$

Similarly, we define an upper solution of (1.1) if the previous conditions are satisfied with the reversed inequalities.

Definition 2.3 We say that

α \in W (I)

is a strict lower solution of (1.1) if for any

t_{0} \in] 0, T [

, there exist

ε > 0

and

U_{t_{0}}

, a neighborhood of

t_{0}

in I, such that for almost every

t \in U_{t_{0}}

and all

(x, y) \in [α (t), α (t) + ε] \times [α^{'} (t) - ε, α^{'} (t) + ε]

,

{(ϕ (α^{'} (t)))}^{'} \geq f (t, x, y);

(2.2)

and, in addition,

(i)

if ℬ denotes Dirichlet boundary condition (1.2), it satisfies
$α (0) < μ and α (T) < ν;$
(ii)

if ℬ denotes periodic boundary condition (1.3), it satisfies
$α (0) = α (T) and ϕ (α^{'} (0)) > ϕ (α^{'} (T));$
(iii)

if ℬ denotes Neumann boundary condition (1.4), it satisfies
$ϕ (α^{'} (0)) > μ and ϕ (α^{'} (T)) < ν .$

Similarly, we define a strict upper solution of (1.1) if the previous conditions are satisfied with the reversed inequalities.

We will use the following general assumptions.

(H_ϕ) The map $ϕ : R \to R$ is a bijective increasing homeomorphism.

(H_f) The map $f : I \times R^{2} \to R$ is Carathéodory.

( $H_{B}$ ) There exist $α, β \in W (I)$ , respectively lower and upper solutions of (1.1), such that $α (t) \leq β (t)$ for all $t \in I$ .

(WN) There exist

k > 0

,

p \in] 1, \infty]

,

c \in L^{p} (I, [0, \infty [)

,

l \in L^{1} (I, [0, \infty [)

and

ψ : [0, \infty [\to [k, \infty [

such that

\frac{1}{ψ \circ ϕ^{- 1}} \in L_{l o c}^{1} (R), \int_{- \infty}^{\infty} \frac{d s}{ψ (| ϕ^{- 1} (s) |)} = \infty,

and

\begin{aligned} | f (t, x, y) | \leq ψ (| y |) (l (t) + c (t) | y |^{(p - 1) / p}) \\ \forall x \in [α (t), β (t)], y \in R, and a.e. t \in I, \end{aligned}

with $(p - 1) / p = 1$ if $p = \infty$ .

In what follows, ( $H_{B}$ ) will be replaced by (H_D), (H_N) or (H_P) if ℬ denotes (1.2), (1.3) or (1.4), the Dirichlet, periodic or Neumann boundary conditions, respectively.

We present some properties of operators that will be used later. Here is a particular case of Lemmas 2.3 and 2.6 in [10].

Lemma 2.4 Let

f : I \times R^{2} \to R

be a Carathéodory function and

σ : I \times R^{2} \to R

such that

(i)

for any $u \in C^{1} (I)$ , the map $t \mapsto σ (t, u (t), u^{'} (t))$ is measurable;
(ii)

for any sequence ${u_{n}}$ converging to $u_{0}$ in $C^{1} (I)$ , there exists $c > 0$ such that
$∥ σ (t, u_{n} (t), u_{n}^{'} (t)) ∥ \leq c a.e. t \in I and \forall n \geq 0;$

and

σ (t, u_{n} (t), u_{n}^{'} (t)) \to σ (t, u_{0} (t), u_{0}^{'} (t)) a.e. t \in I .

Then the operator

N_{g} : C^{1} (I) \to C (I)

defined by

N_{g} (t) = \int_{0}^{t} g (s, u (s), u^{'} (s)) d s,

with

g (t, u (t), u^{'} (t)) = f (t, σ (t, u (t), u^{'} (t))),

is continuous and completely continuous. Moreover, for every

u \in C^{1} (I)

,

N_{g} (u)

is absolutely continuous and

\frac{d}{d t} N_{g} (u) (t) = g (t, u (t), u^{'} (t)) a.e. t \in I .

Observe that the previous lemma holds with $σ (t, x, y) = (x, y)$ . In this case, $N_{g} = N_{f}$ .

Now, we present some results related to the homeomorphism ϕ. The first one is a lemma due to Manásevich and Mawhin [17].

Lemma 2.5 Let

ϕ : R \to R

satisfy (H_ϕ), and let

G : R \times C (I) \to R

be defined by

G (a, h) = \int_{0}^{T} ϕ^{- 1} (a + h (t)) d t .

Then the following statements hold:

(1)

For any $c \in R$ and any $h \in C (I)$ , the equation
$G (a, h) = c$

has a unique solution

{\bar{a}}_{c} (h)

.

(2)

For any $c \in R$ , the function ${\bar{a}}_{c} : C (I) \to R$ defined in (1) is continuous, and it sends bounded sets into bounded sets.

It is easy to show the following result.

Lemma 2.6 Assume that

ϕ : R \to R

satisfies (H_ϕ). Let

Φ : R \times C (I) \to C^{1} (I)

be defined by

Φ (r, h) (t) = r + \int_{0}^{t} ϕ^{- 1} (h (s)) d s .

Then Φ is continuous.

We will use the following maximum principle type result.

Lemma 2.7 Assume that (H_ϕ) is satisfied. Let

v, w \in W (I)

be such that

{(ϕ (v^{'} (t)))}^{'} \leq {(ϕ (w^{'} (t)))}^{'} a.e. on {t \in I : v (t) < w (t)} .

Assume that one of the following conditions holds:

(i)

$v (0) \geq w (0)$ , $v (T) \geq w (T)$ ;
(ii)

$ϕ (v^{'} (0)) \leq ϕ (w^{'} (0))$ , $ϕ (v^{'} (T)) \geq ϕ (w^{'} (T))$ ;
(iii)

$v (0) = v (T)$ , $w (0) = w (T)$ , $ϕ (v^{'} (0)) - ϕ (v^{'} (T)) \leq ϕ (w^{'} (0)) - ϕ (w^{'} (T))$ .

Then $v (t) \geq w (t)$ for all $t \in I$ , or there exists $c > 0$ such that $v (t) = w (t) - c$ for all $t \in I$ .

Proof Assume that

A = {t \in I : v (t) < w (t)} \neq \emptyset .

Condition (i) (resp. (ii) or (iii)) implies that one of the following statements holds:

\begin{aligned} there exists [t_{0}, t_{1}] \subset A such that \\ v (t_{0}) - w (t_{0}) < v (t_{1}) - w (t_{1}) and ϕ (v^{'} (t_{0})) \leq ϕ (w^{'} (t_{0})); \end{aligned}

(2.3)

\begin{aligned} there exists [t_{0}, t_{1}] \subset A such that \\ v (t_{0}) - w (t_{0}) > v (t_{1}) - w (t_{1}) and ϕ (v^{'} (t_{1})) \geq ϕ (w^{'} (t_{1})); \end{aligned}

(2.4)

or

there exists c > 0 such that v (t) = w (t) - c \forall t \in I .

(2.5)

Indeed, if (2.5) does not hold, let

τ, ρ \in I

be such that

v (τ) - w (τ) = min {v (t) - w (t) : t \in I} < v (ρ) - w (ρ),

and

v (t) - w (t) < 0 for all t between τ and ρ .

If $τ \in] 0, T [$ , then $ϕ (v^{'} (τ)) = ϕ (w^{'} (τ))$ and (2.3) or (2.4) hold.

If

τ \in {0, T}

, then (i) does not hold. If (ii) holds, then

ϕ (v^{'} (0)) \leq ϕ (w^{'} (0)) and ϕ (v^{'} (T)) \geq ϕ (w^{'} (T)) .

Similarly, if (iii) holds, since

v (0) - w (0) = v (T) - w (T) = v (τ) - w (τ),

one has

v^{'} (0) \geq w^{'} (0)

and

v^{'} (T) \leq w^{'} (T)

. Using (iii) and the fact that ϕ is increasing, we get

ϕ (v^{'} (0)) - ϕ (w^{'} (0)) \geq 0 \geq ϕ (v^{'} (T)) - ϕ (w^{'} (T)) \geq ϕ (v^{'} (0)) - ϕ (w^{'} (0)) .

Hence, (2.3) or (2.4) are satisfied.

Therefore, by assumption,

{(ϕ (v^{'} (t)))}^{'} \leq {(ϕ (w^{'} (t)))}^{'} a.e. t \in [t_{0}, t_{1}] .

(2.6)

If (2.3) holds, for every

t \in] t_{0}, t_{1}]

,

\begin{aligned} ϕ (v^{'} (t)) - ϕ (v^{'} (t_{0})) & = \int_{t_{0}}^{t} {(ϕ (v^{'} (s)))}^{'} d s \leq \int_{t_{0}}^{t} {(ϕ (w^{'} (s)))}^{'} d s \\ = ϕ (w^{'} (t)) - ϕ (w^{'} (t_{0})) \leq ϕ (w^{'} (t)) - ϕ (v^{'} (t_{0})) . \end{aligned}

Since ϕ is increasing, we deduce that $v - w$ is nonincreasing in $[t_{0}, t_{1}]$ . This is a contradiction. Similarly, we obtain a contradiction if (2.4) holds.

Therefore, $v (t) \geq w (t)$ for all $t \in I$ , or (2.5) is satisfied. □

Lemma 2.8 Assume (H_ϕ) and (H_f). Let $α, β \in W (I)$ be respectively strict lower and upper solutions of (1.1) such that $α (t) < β (t)$ for all $t \in I$ . If $u \in W (I)$ is a solution of (1.1) such that $α (t) \leq u (t) \leq β (t)$ for all $t \in I$ , then $α (t) < u (t) < β (t)$ for all $t \in I$ .

Proof Let

u \in W (I)

be a solution of (1.1) such that

α (t) \leq u (t) \leq β (t)

for all

t \in I

. Assume that

A = {t \in I : α (t) = u (t)} \neq \emptyset .

First, we claim that

0, T \notin A

. This is obviously the case if ℬ denotes Dirichlet boundary condition (1.2). If ℬ denotes periodic boundary condition (1.3), then

u - α

attains a minimum at 0 and T. So, by (H_ϕ) and Definition 2.3(ii),

ϕ (u^{'} (T)) - ϕ (α^{'} (T)) \leq 0 \leq ϕ (u^{'} (0)) - ϕ (α^{'} (0)) < ϕ (u^{'} (T)) - ϕ (α^{'} (T)),

a contradiction. If ℬ denotes Neumann boundary condition (1.4), then

u - α

attains a minimum at 0 or at T. So, by (H_ϕ) and Definition 2.3(iii),

0 \leq ϕ (u^{'} (0)) - ϕ (α^{'} (0)) < μ - μ or 0 \geq ϕ (u^{'} (T)) - ϕ (α^{'} (T)) > ν - ν,

a contradiction.

Let

t_{0} = max A \in] 0, T [

. So,

ϕ (u^{'} (t_{0})) = ϕ (α^{'} (t_{0}))

. By Definition 2.3, there exist

ε > 0

and

U_{t_{0}}

, a neighborhood of

t_{0}

, such that

{(ϕ (α^{'} (t)))}^{'} \geq f (t, x, y)

a.e.

t \in U_{t_{0}}

and all x, y such that

α (t) \leq x \leq α (t) + ε

and

| y - α^{'} (t) | \leq ε

. Since

u \in C^{1} (I)

, there exists

t_{1} \in] t_{0}, T [

such that

u (t) \in] α (t), α (t) + ε]

and

| u^{'} (t) - α^{'} (t) | \leq ε

for all

t \in] t_{0}, t_{1}]

. Since

t_{0} = max A

, there exists

t \in] t_{0}, t_{1}]

such that

u^{'} (t) > α^{'} (t)

. Using the fact that ϕ is increasing, we deduce that

\begin{aligned} ϕ (α^{'} (t)) - ϕ (α^{'} (t_{0})) & < ϕ (u^{'} (t)) - ϕ (u^{'} (t_{0})) = \int_{t_{0}}^{t} f (s, u (s), u^{'} (s)) d s \\ \leq \int_{t_{0}}^{t} {(ϕ (α^{'} (s)))}^{'} d s = ϕ (α^{'} (t)) - ϕ (α^{'} (t_{0})) . \end{aligned}

This is a contradiction. Therefore, $α (t) < u (t)$ for all $t \in I$ .

Similarly, we show that $β (t) > u (t)$ for all $t \in I$ . □

The following result establishes the existence of an a priori bound on the derivative of functions satisfying a suitable inequality.

Lemma 2.9 Assume that (H_ϕ) is satisfied. Let

k > 0

and

ψ : [0, \infty [\to [k, \infty [

be such that

\frac{1}{ψ \circ ϕ^{- 1}} \in L_{l o c}^{1} (R) and \int_{0}^{\pm \infty} \frac{d s}{ψ (| ϕ^{- 1} (s) |)} = \pm \infty .

(2.7)

Then, for every

d_{0} \geq 0

,

p \in] 1, \infty]

,

c_{0} \in L^{p} (I, [0, \infty [)

,

l_{0} \in L^{1} (I, [0, \infty [)

, and

B \subset C (I)

bounded, there exists

M_{0} > d_{0}

such that for every

u \in {u \in W (I) : u \in B, min {| u^{'} (t) | : t \in I} \leq d_{0}}

satisfying

| {(ϕ (u^{'} (t)))}^{'} | \leq ψ (| u^{'} (t) |) (l_{0} (t) + c_{0} (t) | u^{'} (t) |^{(p - 1) / p}) a.e. t \in I,

one has ${∥ u^{'} ∥}_{0} < M_{0}$ .

Proof Let

m = max {u (t_{1}) - u (t_{2}) : t_{1}, t_{2} \in I, u \in B} .

Assumptions (H_ϕ) and (2.7) imply that there exists

M_{0} > d_{0}

such that

ϕ (M_{0}) > ϕ (d_{0}) \geq ϕ (- d_{0}) > ϕ (- M_{0}),

and

\begin{aligned} max {\int_{ϕ (d_{0})}^{ϕ (M_{0})} \frac{d s}{ψ (| ϕ^{- 1} (s) |)}, \int_{ϕ (- M_{0})}^{ϕ (- d_{0})} \frac{d s}{ψ (| ϕ^{- 1} (s) |)}} \\ > {∥ l_{0} ∥}_{L^{1}} + m^{(p - 1) / p} {∥ c_{0} ∥}_{L^{p}} . \end{aligned}

(2.8)

Assume that there exists

\begin{aligned} u \in {u \in W (I) : u \in B, min {| u^{'} (t) | : t \in I} \leq d_{0}, \\ and | {(ϕ (u^{'} (t)))}^{'} | \leq ψ (| u^{'} (t) |) (l_{0} (t) + c_{0} (t) | u^{'} (t) |^{(p - 1) / p}) a.e. t \in I} \end{aligned}

such that

{∥ u^{'} ∥}_{0} \geq M_{0}

. If

max {u^{'} (t) : t \in I} \geq M_{0}

, there exist

t_{0}, t_{1} \in I

such that

ϕ (u^{'} (t_{0})) = ϕ (d_{0})

,

ϕ (u^{'} (t_{1})) = ϕ (M_{0})

,

ϕ (u^{'} (t)) \in] ϕ (d_{0}), ϕ (M_{0}) [

and

u^{'} (t) > 0

for all t between

t_{0}

and

t_{1}

. Without loss of generality, we assume that

t_{0} < t_{1}

. Then, by assumption,

\frac{{(ϕ (u^{'} (t)))}^{'}}{ψ (u^{'} (t))} \leq l_{0} (t) + c_{0} (t) {(u^{'} (t))}^{(p - 1) / p} a.e. t \in [t_{0}, t_{1}] .

Integrating from

t_{0}

to

t_{1}

and using the Hölder inequality and the change of variable formula in an integral give us

\begin{aligned} \int_{ϕ (d_{0})}^{ϕ (M_{0})} \frac{d s}{ψ (| ϕ^{- 1} (s) |)} & = \int_{t_{0}}^{t_{1}} \frac{{(ϕ (u^{'} (t)))}^{'}}{ψ (u^{'} (t))} d t \\ \leq \int_{t_{0}}^{t_{1}} l_{0} (t) + c_{0} (t) {(u^{'} (t))}^{(p - 1) / p} d t \\ \leq {∥ l_{0} ∥}_{L^{1}} + {∥ c_{0} ∥}_{L^{p}} {(u (t_{1}) - u (t_{0}))}^{(p - 1) / p} \\ \leq {∥ l_{0} ∥}_{L^{1}} + m^{(p - 1) / p} {∥ c_{0} ∥}_{L^{p}} . \end{aligned}

This contradicts (2.8).

Similarly, if $min {u^{'} (t) : t \in I} \leq - M_{0}$ , there exist $t_{0}, t_{1} \in I$ such that $ϕ (u^{'} (t_{0})) = ϕ (- d_{0})$ , $ϕ (u^{'} (t_{1})) = ϕ (- M_{0})$ , $ϕ (u^{'} (t)) \in] ϕ (- M_{0}), ϕ (- d_{0}) [$ and $u^{'} (t) < 0$ for all t between $t_{0}$ and $t_{1}$ . Arguing as above leads to a contradiction. □

3 The Dirichlet problem

In this section, we consider problem (1.1) with the Dirichlet boundary condition. In order to establish the existence of a solution to (1.1), (1.2), we consider the following family of problems defined for

λ \in [0, 1]

:

(3.1λ)

where

\hat{f} : [0, 1] \times R^{2} \to R

is defined by

\hat{f} (t, x, y) = {\begin{matrix} f (t, β (t), β^{'} (t)) - \hat{h} (t) (x - β (t)) & if x > β (t), \\ f (t, x, y) & if α (t) \leq x \leq β (t), \\ f (t, α (t), α^{'} (t)) + \hat{g} (t) (x - α (t)) & if x < α (t); \end{matrix}

(3.2)

with

\hat{g}, \hat{h} \in L^{1} (I)

chosen such that

\hat{g} (t) > max {0, f (t, α (t), α^{'} (t))} and \hat{h} (t) < min {0, f (t, β (t), β^{'} (t))} .

(3.3)

We show that the solutions to these problems are a priori bounded.

Proposition 3.1 Assume that (H_ϕ), (H_f), (H_D) and (WN) hold. Then there exists $M > max {{∥ α ∥}_{0}, {∥ β ∥}_{0}}$ such that any solution u of (3.1_λ) satisfies ${∥ u ∥}_{1} < M$ .

Proof Fix

M_{1} > 0

such that

- M_{1} \leq min_{t \in I} α (t) - 1 and M_{1} \geq max_{t \in I} β (t) + 1 .

We claim that any solution u of (3.1_λ) is such that

{∥ u ∥}_{0} \leq M_{1}

. Indeed, by (H_D),

- M_{1} < u (0) = μ < M_{1} and - M_{1} < u (T) = ν < M_{1} .

From the definition of

\hat{f}

, one has, almost everywhere on

{t \in I : u (t) < - M_{1}}

,

\begin{aligned} {(ϕ (u^{'} (t)))}^{'} & = λ (f (t, α (t), α^{'} (t)) + \hat{g} (t) (u (t) - α (t))) \\ \leq λ (f (t, α (t), α^{'} (t)) - \hat{g} (t)) \\ \leq 0 . \end{aligned}

Similarly,

{(ϕ (u^{'} (t)))}^{'} \geq 0 a.e. on {t \in I : u (t) > M_{1}} .

It follows from Lemma 2.7 that $- M_{1} \leq u (t) \leq M_{1}$ for all $t \in I$ .

We look for an a priori bound on the derivative of any solution u of (3.1_λ). Let

l_{1} (t) = max {| f (t, α (t), α^{'} (t)) | + 2 M_{1} | \hat{g} (t) |, | f (t, β (t), β^{'} (t)) | + 2 M_{1} | \hat{h} (t) |} .

Observe that, by (WN),

\begin{aligned} | {(ϕ (u^{'} (t)))}^{'} | & \leq max {l_{1} (t), ψ (| u^{'} (t) |) (l (t) + c (t) | u^{'} (t) |^{(p - 1) / p})} \\ \leq ψ (| u^{'} (t) |) (l_{0} (t) + c (t) | u^{'} (t) |^{(p - 1) / p}) a.e. t \in I, \end{aligned}

with

l_{0} (t) = max {l (t), \frac{l_{1} (t)}{k}} .

(3.4)

It follows from Lemma 2.9 applied with $d_{0} = (ν - μ) / T$ that there exists $M_{0}$ such that any solution u of (3.1_λ) satisfies ${∥ u^{'} ∥}_{0} < M_{0}$ .

Finally, set $M = max {M_{0}, 1 + M_{1}}$ . We have that ${∥ u ∥}_{1} < M$ for any solution u of (3.1_λ). □

Proposition 3.2 Assume that (H_ϕ), (H_f), (H_D) and (WN) hold. Then, for every $λ \in [0, 1]$ , problem (3.1_λ) has at least one solution.

Proof Let us define

N_{\hat{f}} : C^{1} (I) \to C (I)

and

S_{D} : [0, 1] \times C^{1} (I) \to R \times C (I)

by

N_{\hat{f}} (u) (t) = \int_{0}^{t} \hat{f} (s, u (s), u^{'} (s)) d s,

(3.5)

and

S_{D} (λ, u) = (μ, {\bar{a}}_{ν - μ} (λ N_{\hat{f}} (u)) + λ N_{\hat{f}} (u)),

(3.6)

where

{\bar{a}}_{ν - μ}

is obtained in Lemma 2.5. Now, we define

D : [0, 1] \times C^{1} (I) \to C^{1} (I)

by

D = Φ \circ S_{D},

(3.7)

where Φ is defined in Lemma 2.6. We deduce that

S_{D}

is continuous and completely continuous from Lemma 2.5 and from Lemma 2.4 applied with

σ (t, x, y) = {\begin{matrix} (β (t), β^{'} (t)) & if x > β (t), \\ (x, y) & if α (t) \leq x \leq β (t), \\ (α (t), α^{'} (t)) & if x < α (t) . \end{matrix}

This combined with Lemma 2.6 implies that $D$ is continuous and completely continuous.

Now, we study the fixed points of

D

. Let

u \in C^{1} (I)

and

λ \in [0, 1]

be such that

u = D (λ, u)

. One has, by Lemma 2.5,

u (0) = μ, u (T) = μ + G ({\bar{a}}_{ν - μ} (λ N_{\hat{f}} (u)), λ N_{\hat{f}} (u)) = μ + (ν - μ) = ν .

Also,

ϕ (u^{'}) = {\bar{a}}_{ν - μ} (λ N_{\hat{f}} (u)) + λ N_{\hat{f}} (u)

. Hence, by Lemma 2.4, it is absolutely continuous and

{(ϕ (u^{'} (t)))}^{'} = λ \hat{f} (t, u (t), u^{'} (t)) a.e. t \in I .

So, fixed points of $D$ are solutions of (3.1_λ).

Let

M > max {{∥ α ∥}_{0}, {∥ β ∥}_{0}} \geq max {μ, ν}

be the constant obtained in Proposition 3.1 and set

U = {u \in C^{1} (I) : {∥ u ∥}_{1} < M} .

(3.8)

Proposition 3.1 implies that

u \neq D (λ, u)

for all

(λ, u) \in [0, 1] \times \partial U

. Observe that

D (0, u) = Φ (μ, {\bar{a}}_{ν - μ} (0)) = u_{0}

with

u_{0} (t) = μ + (ν - μ) t / T

. One has

u_{0} \in U

. By the properties of the fixed point index (see [18] for more details),

index (D (λ, \cdot), U) = index (D (0, \cdot), U) = index (u_{0}, U) = 1 \forall λ \in [0, 1] .

(3.9)

Therefore, for every $λ \in [0, 1]$ , $D (λ, \cdot)$ has a fixed point, and hence (3.1_λ) has a solution. □

Now, we can establish the existence of a solution to (1.1), (1.2).

Theorem 3.3 Assume that (H_ϕ), (H_f), (H_D) and (WN) hold. Then Dirichlet problem (1.1), (1.2) has a solution $u \in W (I)$ such that $α (t) \leq u (t) \leq β (t)$ for every $t \in I$ .

Proof Proposition 3.2 insures the existence of $u \in W (I)$ , a solution of (3.1_λ) for $λ = 1$ . To conclude, we have to show that $α (t) \leq u (t) \leq β (t)$ for all $t \in I$ since $\hat{f} (t, x, y) = f (t, x, y)$ for $x \in [α (t), β (t)]$ .

By (H_D),

\begin{aligned} {(ϕ (u^{'} (t)))}^{'} = f (t, α (t), α^{'} (t)) + \hat{g} (t) (x (t) - α (t)) \leq f (t, α (t), α^{'} (t)) \\ \leq {(ϕ (α^{'} (t)))}^{'} a.e. t \in {t \in I : u (t) < α (t)}, \\ u (0) = μ \geq α (0) and u (T) = ν \geq α (T) . \end{aligned}

It follows from Lemma 2.7 that $u (t) \geq α (t)$ for all $t \in I$ .

A similar argument yields $u (t) \leq β (t)$ for all $t \in I$ . □

Remark 3.4 The hypothesis (WN) can be generalized by

min {\int_{ϕ (d_{0})}^{\infty} \frac{d s}{ψ (| ϕ^{- 1} (s) |)}, \int_{- \infty}^{ϕ (- d_{0})} \frac{d s}{ψ (| ϕ^{- 1} (s) |)}} > c,

with $d_{0} = (ν - μ) / T$ and c, a suitable constant which can be deduced from the proof of Lemma 2.9.

Example 3.5 Let us consider the following problem:

\begin{aligned} {(ϕ (u^{'} (t)))}^{'} = ({(u^{'} (t))}^{3} + 1) (h (t) (u (t) + a (t)) + g (u (t)) u^{'} (t)) a.e. t \in [0, T], \\ u (0) = 0, u (T) = 0, \end{aligned}

(3.10)

where

ϕ (s) = s^{3}

,

a \in C [0, T]

,

g \in C (R)

and

h \in L^{1} [0, T]

with

h (t) \geq 0

a.e.

t \in [0, T]

. Let

m > 0

be such that

| a (t) | \leq m

for all

t \in T

. Then

α = - m

and

β = m

are respectively lower and upper solutions of (3.10). Let

ψ (s) = (| s |^{3} + 1)

,

c \geq max {| g (x) | : | x | \leq m}

and

l = 2 m h

. One has

| f (t, x, y) | \leq ψ (| y |) (l (t) + c | y |) \forall x \in [- m, m], y \in R, and a.e. t \in [0, T],

and

\int_{- \infty}^{\infty} \frac{d s}{ψ (| ϕ^{- 1} (s) |)} = \int_{- \infty}^{\infty} \frac{d s}{| s | + 1} = \infty .

By Theorem 3.3, (3.10) has a solution u such that $| u (t) | \leq m$ for all $t \in [0, T]$ . Notice that f does not satisfy a growth condition of Nagumo type.

4 The periodic problem

In this section, we consider problem (1.1) with the periodic boundary condition. In order to establish the existence of a solution to (1.1), (1.3), we consider the following family of problems defined for

λ \in [0, 1]

:

where $\hat{f}$ is defined in (3.2).

We show that the solutions to these problems are a priori bounded.

Proposition 4.1 Assume that (H_ϕ), (H_f), (H_P) and (WN) hold. Then there exists $M > max {{∥ α ∥}_{0}, {∥ β ∥}_{0}}$ such that any solution u of (4.1_λ) satisfies ${∥ u ∥}_{1} < M$ .

Proof Fix

M_{1} > 0

such that

- M_{1} \leq min_{t \in I} α (t) - 1 and M_{1} \geq max_{t \in I} β (t) + 1 .

We claim that any solution u of (4.1_λ) is such that

{∥ u ∥}_{0} \leq M_{1}

. Observe that a solution of (4.1_λ) satisfies

\begin{aligned} 0 & = ϕ (u^{'} (T)) - ϕ (u^{'} (0)) = λ \int_{0}^{T} \hat{f} (t, u (t), u^{'} (t)) d t + (1 - λ) \int_{0}^{T} \hat{f} (t, u (t), u^{'} (t)) d t \\ = \int_{0}^{T} \hat{f} (t, u (t), u^{'} (t)) d t . \end{aligned}

So, it satisfies

{(ϕ (u^{'} (t)))}^{'} = λ \hat{f} (t, u (t), u^{'} (t)) a.e. t \in I,

with periodic boundary condition (1.3). Arguing as in the proof of Proposition 3.1, we obtain that

\begin{aligned} {(ϕ (u^{'} (t)))}^{'} \leq 0 a.e. on {t \in I : u (t) < - M_{1}}, \\ {(ϕ (u^{'} (t)))}^{'} \geq 0 a.e. on {t \in I : u (t) > M_{1}} . \end{aligned}

It follows from Lemma 2.7 that

{∥ u ∥}_{0} \leq M_{1}

, or there exists

c > 0

such that

| u (t) | = M_{1} + c

for all

t \in I

. If

u \equiv M_{1} + c

,

0 = \int_{0}^{T} \hat{f} (t, u (t), u^{'} (t)) d t = \int_{0}^{T} f (t, β (t), β^{'} (t)) - \hat{h} (t) (M_{1} + c - β (t)) d t > 0,

a contradiction. Similarly, one cannot have $u \equiv - (M_{1} + c)$ . Hence, ${∥ u ∥}_{0} \leq M_{1}$ .

As in the proof of Proposition 3.1, one has that any solution u of (4.1_λ) satisfies

| {(ϕ (u^{'} (t)))}^{'} | \leq ψ (| u^{'} (t) |) (l_{0} (t) + c (t) | u^{'} (t) |^{(p - 1) / p}) a.e. t \in I,

where $l_{0}$ is defined in (3.4). It follows from Lemma 2.9 applied with $d_{0} = 0$ that there exists $M_{0}$ such that any solution u of (4.1_λ) satisfies ${∥ u^{'} ∥}_{0} < M_{0}$ .

Finally, set $M = max {M_{0}, 1 + M_{1}}$ . We have that ${∥ u ∥}_{1} < M$ for any solution u of (4.1_λ). □

Proposition 4.2 Assume that (H_ϕ), (H_f), (H_P) and (WN) hold. Then, for every $λ \in [0, 1]$ , problem (4.1_λ) has at least one solution.

Proof Let

N_{\hat{f}} : C^{1} (I) \to C (I)

be defined in (3.5). Let us consider the operators

\hat{L} : C^{1} (I) \to C (I)

and

S_{P} : [0, 1] \times C^{1} (I) \to R \times C (I)

defined by

\hat{L} (u) (t) = \frac{t}{T} N_{\hat{f}} (u) (T),

(4.2)

and

S_{P} (λ, u) = (u (0) + \frac{1}{T} N_{\hat{f}} (u) (T), {\bar{a}}_{0} (λ (N_{\hat{f}} (u) - \hat{L} (u))) + λ (N_{\hat{f}} (u) - \hat{L} (u))),

(4.3)

where

{\bar{a}}_{0}

is obtained in Lemma 2.5. Now, we define

P : [0, 1] \times C^{1} (I) \to C^{1} (I)

by

P = Φ \circ S_{P} .

(4.4)

Again, we deduce from Lemmas 2.4, 2.5 and 2.6 that $S_{P}$ and $P$ are continuous and completely continuous.

Now, we study the fixed points of

P

. Let

u \in C^{1} (I)

and

λ \in [0, 1]

be such that

u = P (λ, u)

. One has, by Lemma 2.5,

\begin{aligned} u (0) = u (0) + \frac{1}{T} N_{\hat{f}} (u) (T), \\ u (T) = u (0) + \frac{1}{T} N_{\hat{f}} (u) (T) + G ({\bar{a}}_{0} (λ (N_{\hat{f}} (u) - \hat{L} (u))), λ (N_{\hat{f}} (u) - \hat{L} (u))) \\ = u (0) . \end{aligned}

Notice that

(N_{\hat{f}} (u) (T)) / T = 0

. Also,

ϕ (u^{'}) = {\bar{a}}_{0} (λ (N_{\hat{f}} (u) - \hat{L} (u))) + λ (N_{\hat{f}} (u) - \hat{L} (u)) .

Hence, by Lemma 2.4, it is absolutely continuous and

\begin{aligned} {(ϕ (u^{'} (t)))}^{'} & = λ (\hat{f} (t, u (t), u^{'} (t)) - \frac{1}{T} N_{\hat{f}} (u) (T)) \\ = λ \hat{f} (t, u (t), u^{'} (t)) + \frac{(1 - λ)}{T} \int_{0}^{T} \hat{f} (t, u (t), u^{'} (t)) d t a.e. t \in I . \end{aligned}

Moreover,

\begin{aligned} ϕ (u^{'} (0)) = {\bar{a}}_{0} (λ (N_{\hat{f}} (u) - \hat{L} (u))) + λ (N_{\hat{f}} (u) (0) - \hat{L} (u) (0)), \\ ϕ (u^{'} (T)) = {\bar{a}}_{0} (λ (N_{\hat{f}} (u) - \hat{L} (u))) + λ (N_{\hat{f}} (u) (T) - \hat{L} (u) (T)) \\ = ϕ (u^{'} (0)) . \end{aligned}

So, fixed points of $P$ are solutions of (4.1_λ).

Let

M > max {{∥ α ∥}_{0}, {∥ β ∥}_{0}}

be the constant obtained in Proposition 4.1 and set

U = {u \in C^{1} (I) : {∥ u ∥}_{1} < M} .

(4.5)

Proposition 4.1 implies that

u \neq P (λ, u)

for all

(λ, u) \in [0, 1] \times \partial U

. By the homotopy property of the fixed point index,

index (P (λ, \cdot), U) = index (P (0, \cdot), U) \forall λ \in [0, 1] .

Observe that

P (0, u) = Φ (u (0) + \frac{1}{T} N_{\hat{f}} (u) (T), {\bar{a}}_{0} (0)) = u (0) + \frac{1}{T} N_{\hat{f}} (u) (T) \in R .

One has

\partial (U \cap R) = {- M, M}

, and

\begin{aligned} P (0, M) & = M + \frac{1}{T} \int_{0}^{T} \hat{f} (t, M, 0) d t \\ = M + \frac{1}{T} \int_{0}^{T} f (t, β (t), β^{'} (t)) - \hat{h} (t) (M - β (t)) d t \\ > M, \end{aligned}

since

M > {∥ β ∥}_{0}

and

\hat{h} (t) < min {0, f (t, β (t), β^{'} (t))}

. Similarly,

P (0, - M) < - M .

By the contraction property of the fixed point index (see [18, Chapter 4, Section 12, Theorem 6.2]),

index (P (0, \cdot), U) = index (P (0, \cdot), (U \cap R)) = - 1 .

Therefore, for every

λ \in [0, 1]

,

index (P (λ, \cdot), U) = - 1 .

(4.6)

Thus, $P (λ, \cdot)$ has a fixed point, and hence (4.1_λ) has a solution. □

Now, we can establish the existence of a solution to (1.1), (1.3).

Theorem 4.3 Assume that (H_ϕ), (H_f), (H_P) and (WN) hold. Then periodic problem (1.1), (1.3) has a solution $u \in W (I)$ such that $α (t) \leq u (t) \leq β (t)$ for every $t \in I$ .

Proof Proposition 4.2 insures the existence of $u \in W (I)$ , a solution of (4.1_λ) for $λ = 1$ . To conclude, we have to show that $α (t) \leq u (t) \leq β (t)$ for every $t \in I$ , since $\hat{f} (t, x, y) = f (t, x, y)$ for $x \in [α (t), β (t)]$ .

Using (H_P), we obtain that

\begin{aligned} {(ϕ (u^{'} (t)))}^{'} < {(ϕ (α^{'} (t)))}^{'} a.e. t \in {t \in I : u (t) < α (t)}, \\ {(ϕ (u^{'} (t)))}^{'} > {(ϕ (β^{'} (t)))}^{'} a.e. t \in {t \in I : u (t) > β (t)} . \end{aligned}

It follows from Lemma 2.7 that $α (t) \leq u (t) \leq β (t)$ for all $t \in I$ . □

5 The Neumann problem

In this section, we consider problem (1.1) with the Neumann boundary condition. In order to establish the existence of a solution to (1.1), (1.3), we consider the following family of problems defined for

λ \in [0, 1]

:

where

\tilde{f} : [0, 1] \times R^{2} \to R

is defined by

\tilde{f} (t, x, y) = {\begin{matrix} f (t, β (t), β^{'} (t)) - \tilde{h} (t) (x - β (t)) & if x > β (t), \\ f (t, x, y) & if α (t) \leq x \leq β (t), \\ f (t, α (t), α^{'} (t)) + \tilde{g} (t) (x - α (t)) & if x < α (t); \end{matrix}

(5.2)

with

\tilde{g}, \tilde{h} \in L^{1} (I)

chosen such that

\begin{aligned} \tilde{g} (t) > max {0, f (t, α (t), α^{'} (t)) - \frac{1}{T} (ν - μ)}, \\ \tilde{h} (t) < min {0, f (t, β (t), β^{'} (t)) - \frac{1}{T} (ν - μ)} . \end{aligned}

(5.3)

We show that the solutions to these problems are a priori bounded. Let

w \in C^{1} (I)

and

v \in W (I)

be defined by

w (t) = μ + \frac{t}{T} (ν - μ) and v = Φ (0, w) .

(5.4)

Observe that

ϕ (v^{'}) = w .

Proposition 5.1 Assume that (H_ϕ), (H_f), (H_N) and (WN) hold. Then there exists

M > {∥ v^{'} ∥}_{0}

such that any solution u of (5.1_λ) satisfies

{∥ u - v ∥}_{0} < M

and

{∥ u^{'} ∥}_{0} < M

. Moreover,

{u \in C^{1} (I) : α (t) \leq u (t) \leq β (t) \forall t \in I} \subset {u \in C^{1} (I) : {∥ u - v ∥}_{0} < M} .

Proof Fix

M_{1} > 0

such that

- M_{1} + v (t) \leq min_{t \in I} α (t) - 1 and M_{1} + v (t) \geq max_{t \in I} β (t) + 1 \forall t \in I .

We claim that any solution u of (5.1_λ) is such that

{∥ u - v ∥}_{0} \leq M_{1}

. For every

u \in W (I)

, one has almost everywhere on

{t \in I : u (t) < - M_{1} + v (t)}

,

\begin{aligned} \tilde{f} (t, u (t), u^{'} (t)) & = f (t, α (t), α^{'} (t)) + \tilde{g} (t) (u (t) - α (t)) \\ < f (t, α (t), α^{'} (t)) - \tilde{g} (t) \\ \leq \frac{1}{T} (ν - μ) . \end{aligned}

(5.5)

Similarly,

\tilde{f} (t, u (t), u^{'} (t)) > \frac{1}{T} (ν - μ) a.e. on {t \in I : u (t) > M_{1} + v (t)} .

(5.6)

Let u be a solution of (5.1_λ). One has

ν - μ = \int_{0}^{T} {(ϕ (u^{'} (t)))}^{'} d t = \int_{0}^{T} \tilde{f} (t, u (t), u^{'} (t)) d t .

(5.7)

Combining (5.5), (5.6) and (5.7), we deduce that almost everywhere on

{t \in I : u (t) < - M_{1} + v (t)}

,

\begin{aligned} {(ϕ (u^{'} (t)))}^{'} & = λ \tilde{f} (t, u (t), u^{'} (t)) + \frac{(1 - λ)}{T} (ν - μ) \\ \leq \frac{1}{T} (ν - μ) \\ = {(ϕ (v^{'} (t)))}^{'} . \end{aligned}

Similarly,

{(ϕ (u^{'} (t)))}^{'} \geq {(ϕ (v^{'} (t)))}^{'} a.e. on {t \in I : u (t) > M_{1} + v (t)} .

Moreover,

ϕ (u^{'} (0)) = μ = ϕ (v^{'} (0)) and ϕ (u^{'} (T)) = ν = ϕ (v^{'} (T)) .

It follows from Lemma 2.7 that

{∥ u - v ∥}_{0} \leq M_{1}

, or there exists

c > 0

such that

| u (t) - v (t) | = M_{1} + c

for all

t \in I

. If

u (t) = v (t) + M_{1} + c

for all

t \in I

, then

\begin{aligned} ν - μ & = \int_{0}^{T} \tilde{f} (t, u (t), u^{'} (t)) d t \\ = \int_{0}^{T} f (t, β (t), β^{'} (t)) - \tilde{h} (t) (v (t) + M_{1} + c - β (t)) d t \\ > \int_{0}^{T} {(ϕ (β^{'} (t)))}^{'} d t \\ = ϕ (β^{'} (T)) - ϕ (β^{'} (0)) \\ \geq ν - μ, \end{aligned}

a contradiction. Similarly, one cannot have $u (t) = v (t) - M_{1} - c$ for all $t \in I$ . Hence, ${∥ u - v ∥}_{0} \leq M_{1}$ .

Let

{\tilde{l}}_{1} (t) = max {| f (t, α (t), α^{'} (t)) | + 2 M_{1} | \tilde{g} (t) |, | f (t, β (t), β^{'} (t)) | + 2 M_{1} | \tilde{h} (t) |} .

Observe that, by (WN), one has that for any u solution of (5.1_λ),

\begin{aligned} | {(ϕ (u^{'} (t)))}^{'} | & \leq max {{\tilde{l}}_{1} (t), ψ (| u^{'} (t) |) (l (t) + c (t) | u^{'} (t) |^{(p - 1) / p})} \\ \leq ψ (| u^{'} (t) |) ({\tilde{l}}_{0} (t) + c (t) | u^{'} (t) |^{(p - 1) / p}) a.e. t \in I, \end{aligned}

with

{\tilde{l}}_{0} (t) = max {l (t), \frac{{\tilde{l}}_{1} (t)}{k}} .

(5.8)

It follows from Lemma 2.9 applied with $d_{0} = ϕ^{- 1} (μ)$ that there exists $M_{0}$ such that any solution u of (5.1_λ) satisfies ${∥ u^{'} ∥}_{0} < M_{0}$ .

Finally, set $M = max {M_{0}, 1 + M_{1}, 1 + {∥ v^{'} ∥}_{0}}$ , we get the conclusion. □

Proposition 5.2 Assume that (H_ϕ), (H_f), (H_N) and (WN) hold. Then, for every $λ \in [0, 1]$ , problem (5.1_λ) has at least one solution.

Proof Let

N_{\tilde{f}} : C^{1} (I) \to C (I)

,

\tilde{L} : C^{1} (I) \to C (I)

and

S_{N} : [0, 1] \times C^{1} (I) \to R \times C (I)

be defined respectively by

\begin{aligned} N_{\tilde{f}} (u) (t) = \int_{0}^{t} \tilde{f} (s, u (s), u^{'} (s)) d s, \\ \tilde{L} (u) (t) = \frac{t}{T} N_{\tilde{f}} (u) (T), \\ S_{N} (λ, u) = (u (0) + \frac{1}{T} (μ - ν + N_{\tilde{f}} (u) (T)), w + λ (N_{\tilde{f}} (u) - \tilde{L} (u))), \end{aligned}

with

w \in C^{1} (I)

defined in (5.4). Now, we define

N : [0, 1] \times C^{1} (I) \to C^{1} (I)

by

N = Φ \circ S_{N} .

(5.9)

Again, we deduce from Lemmas 2.4, 2.5 and 2.6 that $S_{N}$ and $N$ are continuous and completely continuous.

Now, we study the fixed points of

N

. Let

u \in C^{1} (I)

and

λ \in [0, 1]

be such that

u = N (λ, u)

. One has

u (0) = u (0) + \frac{1}{T} (μ - ν + N_{\tilde{f}} (u) (T)) .

So,

ν - μ = N_{\tilde{f}} (u) (T) .

Also,

ϕ (u^{'}) = w + λ (N_{\tilde{f}} (u) - \tilde{L} (u))

. Hence, by Lemma 2.4, it is absolutely continuous and

\begin{aligned} {(ϕ (u^{'} (t)))}^{'} & = λ (\tilde{f} (t, u (t), u^{'} (t)) - \frac{1}{T} N_{\tilde{f}} (u) (T)) + \frac{1}{T} (ν - μ) \\ = λ \tilde{f} (t, u (t), u^{'} (t)) + \frac{(1 - λ)}{T} \int_{0}^{T} \tilde{f} (t, u (t), u^{'} (t)) d t a.e. t \in I . \end{aligned}

Moreover,

\begin{aligned} ϕ (u^{'} (0)) = w (0) + λ (N_{\tilde{f}} (u) (0) - \tilde{L} (u) (0)) = μ, \\ ϕ (u^{'} (T)) = w (T) + λ (N_{\tilde{f}} (u) (T) - \tilde{L} (u) (T)) = ν . \end{aligned}

So, fixed points of $N$ are solutions of (5.1_λ).

Let

M > 0

be the constant obtained in Proposition 5.1 and

v = Φ (0, w)

. We set

U = {u \in C^{1} (I) : {∥ u - v ∥}_{0} < M, {∥ u^{'} ∥}_{0} < M} .

(5.10)

Proposition 5.1 implies that

u \neq N (λ, u)

for all

(λ, u) \in [0, 1] \times \partial U

. By the homotopy property of the fixed point index,

index (N (λ, \cdot), U) = index (N (0, \cdot), U) \forall λ \in [0, 1] .

(5.11)

Observe that

N (0, u) = u (0) + \frac{1}{T} (μ - ν + N_{\tilde{f}} (u) (T)) + Φ (0, w) \in R + v .

Let

X = {u = r + v : r \in R} \subset C^{1} (I)

. Notice that X is not a normed vectorial space if

v \neq 0

. Nevertheless, if

v \neq 0

, X is an affine space and hence it is an ANR. By the contraction property of the fixed point index (see [18, Chapter 4, Section 12, Theorem 6.2]),

index (N (0, \cdot), U) = index (N (0, \cdot), U \cap X) .

(5.12)

One has

\partial (U \cap X) = {- M + v, M + v}

. Consider

H : [- M, M] \to R

defined by

H (r) = N (0, r + v) - v .

By (5.6),

H (M) = N (0, M + v) - v = M + \frac{1}{T} (μ - ν + \int_{0}^{T} \tilde{f} (t, M + v (t), v^{'} (t)) d t) > M,

since

M + v (t) > β (t)

for every

t \in I

. Similarly,

H (- M) < - M .

By the commutativity property of the fixed point index (see [18, Chapter 4, Section 12, Theorem 6.2]),

index (N (0, \cdot), U \cap X) = index (H,] - M, M [) = - 1 .

(5.13)

Combining (5.11), (5.12) and (5.13), we deduce that for every

λ \in [0, 1]

,

index (N (λ, \cdot), U) = - 1 .

(5.14)

Thus, $N (λ, \cdot)$ has a fixed point, and hence (5.1_λ) has a solution. □

Now, we can establish the existence of a solution to (1.1), (1.4).

Theorem 5.3 Assume that (H_ϕ), (H_f), (H_N) and (WN) hold. Then Neumann problem (1.1), (1.4) has a solution $u \in W (I)$ such that $α (t) \leq u (t) \leq β (t)$ for every $t \in I$ .

Proof Proposition 5.2 insures the existence of $u \in W (I)$ , a solution of (5.1_λ) for $λ = 1$ . To conclude, we have to show that $α (t) \leq u (t) \leq β (t)$ for every $t \in I$ , since $\tilde{f} (t, x, y) = f (t, x, y)$ for $x \in [α (t), β (t)]$ .

Using (H_N), we obtain that

\begin{aligned} {(ϕ (u^{'} (t)))}^{'} < {(ϕ (α^{'} (t)))}^{'} a.e. t \in {t \in I : u (t) < α (t)}, \\ {(ϕ (u^{'} (t)))}^{'} > {(ϕ (β^{'} (t)))}^{'} a.e. t \in {t \in I : u (t) > β (t)} . \end{aligned}

It follows from Lemma 2.7 that $α (t) \leq u (t) \leq β (t)$ for all $t \in I$ . □

6 Multiplicity result

In this section, we establish the existence of at least three solutions to problem (1.1).

Theorem 6.1 Assume that (H_ϕ), (H_f) and the following conditions are satisfied:

( $H_{B}$ )′ For $i = 1, 2$ , there exist $α_{i}, β_{i} \in W (I)$ , respectively strict lower and upper solutions of (1.1), such that $α_{i} (t) < β_{i} (t)$ , $α_{1} (t) \leq α_{2} (t)$ , $β_{1} (t) \leq β_{2} (t)$ for all $t \in I$ , and ${t \in I : α_{2} (t) > β_{1} (t)} \neq \emptyset$ .

(WN)′ There exist

k > 0

,

p \in] 1, \infty]

,

c \in L^{p} (I, [0, \infty [)

,

l \in L^{1} (I, [0, \infty [)

and

ψ : [0, \infty [\to [k, \infty [

such that

\frac{1}{ψ \circ ϕ^{- 1}} \in L_{l o c}^{1} (R), \int_{0}^{\pm \infty} \frac{d s}{ψ (| ϕ^{- 1} (s) |)} = \pm \infty,

and

\begin{aligned} | f (t, x, y) | \leq ψ (| y |) (l (t) + c (t) | y |^{(p - 1) / p}) \\ \forall x \in [α_{1} (t), β_{2} (t)], y \in R, and a.e. t \in I, \end{aligned}

with $(p - 1) / p = 1$ if $p = \infty$ .

Then problem (1.1) has at least three solutions

u_{1}

,

u_{2}

,

u_{3}

such that

α_{1} (t) < u_{3} (t) < β_{2} (t), α_{i} (t) < u_{i} (t) < β_{i} (t) \forall t \in I, and i = 1, 2,

and ${t \in I : β_{1} (t) \leq u_{3} (t) \leq α_{2} (t)} \neq \emptyset$ .

Proof Let ℬ denote Dirichlet boundary condition (1.2). Consider

D_{1}

,

D_{2}

and

D_{3}

, the operators defined as in (3.7) and associated to the pairs of lower and upper solutions

(α_{1}, β_{1})

,

(α_{2}, β_{2})

and

(α_{1}, β_{2})

, respectively. Let

U_{i} \subset C^{1} (I)

be the open set defined as in (3.8) and associated to the operator

D_{i}

for

i = 1, 2, 3

. From equation (3.9), one has

index (D_{i} (1, \cdot), U_{i}) = 1 for i = 1, 2, 3 .

From the proof of Theorem 3.3, we deduce that any fixed point u of

D_{i} (1, \cdot)

is a solution of (1.1), (1.2) and is such that

α_{i} (t) \leq u (t) \leq β_{i} (t)

for all

t \in I

if

i = 1, 2

, and such that

α_{1} (t) \leq u (t) \leq β_{2} (t)

for all

t \in I

if

i = 3

. Using the fact that

α_{i}

and

β_{i}

are respectively strict lower and upper solutions of (1.1), it follows from Lemma 2.8 that

D_{i} (1, \cdot)

has no fixed points in

U_{i} ∖ \bar{V_{i}}

, with

\begin{aligned} V_{i} = {u \in C^{1} (I) : α_{i} (t) < u (t) < β_{i} (t) \forall t \in I} for i = 1, 2, \\ V_{3} = {u \in C^{1} (I) : α_{1} (t) < u (t) < β_{2} (t) \forall t \in I} . \end{aligned}

Hence, by the excision property of the fixed point index,

index (D_{i} (1, \cdot), V_{i}) = 1 for i = 1, 2, 3 .

Since

α_{1} (t) \leq β_{1} (t) \leq β_{2} (t)

,

α_{1} (t) \leq α_{2} (t) \leq β_{2} (t)

for all

t \in I

and

{t \in I : α_{2} (t) > β_{1} (t)} \neq \emptyset

, one has

V_{1} \cup V_{2} \subset V_{3}, and V_{3} ∖ (\bar{V_{1} \cup V_{2}}) \neq \emptyset,

and

D_{i} (1, u) = D_{3} (1, u) \forall u \in V_{i}, i = 1, 2 .

This combined with the additivity of the fixed point index implies that

\begin{aligned} index (D_{3} (1, \cdot), V_{3} ∖ (\bar{V_{1} \cup V_{2}})) = & index (D_{3} (1, \cdot), V_{3}) \\ - index (D_{3} (1, \cdot), V_{1}) - index (D_{3} (1, \cdot), V_{2}) \\ = & - 1 . \end{aligned}

Therefore, problem (1.1) has at least three solutions $u_{1} \in V_{1}$ , $u_{2} \in V_{2}$ and $u_{3} \in V_{3} ∖ (\bar{V_{1} \cup V_{2}})$ .

We argue similarly if ℬ denotes periodic boundary condition (1.3) (resp. Neumann boundary condition (1.4)) by using the results of Section 4 (resp. Section 5). □

Declarations

Authors’ Affiliations

(1)

Département de mathématiques, Faculté des sciences de Rabat, Université Mohammed V, Agdal, Rabat, Marocco

(2)

Département de mathématiques et de statistique, Université de Montréal, succ. Centre-Ville, C.P. 6128 Montréal, H3C 3J7, Canada

References

Ben-Naoum AK, De Coster C: On the existence and multiplicity of positive solutions of the p -Laplacian separated boundary value problem. Differ. Integral Equ. 1997, 10: 1093-1112.MathSciNetMATHGoogle Scholar
Bereanu C, Mawhin J: Multiple periodic solutions of ordinary differential equations with bounded nonlinearities and ϕ -Laplacian. NoDEA Nonlinear Differ. Equ. Appl. 2008, 15: 159-168. 10.1007/s00030-007-7004-xMathSciNetView ArticleMATHGoogle Scholar
Cabada A, Pouso RL:Existence result for the problem ${(ϕ (u^{'}))}^{'} = f (t, u, u^{'})$ with periodic and Neumann boundary conditions. Nonlinear Anal. 1997, 30: 1733-1742. 10.1016/S0362-546X(97)00249-6MathSciNetView ArticleMATHGoogle Scholar
Cabada A, Pouso RL:Existence results for the problem ${(ϕ (u^{'}))}^{'} = f (t, u, u^{'})$ with nonlinear boundary conditions. Nonlinear Anal. 1999, 35: 221-231. 10.1016/S0362-546X(98)00009-1MathSciNetView ArticleMATHGoogle Scholar
Cabada A, Pouso RL: Existence theory for functional p -Laplacian equations with variable exponents. Nonlinear Anal. 2003, 52: 557-572. 10.1016/S0362-546X(02)00122-0MathSciNetView ArticleMATHGoogle Scholar
Cabada A, O’Regan D, Pouso RL: Second order problems with functional conditions including Sturm-Liouville and multipoint conditions. Math. Nachr. 2008, 281: 1254-1263. 10.1002/mana.200510675MathSciNetView ArticleMATHGoogle Scholar
De Coster C: On pairs of positive solutions for the one dimensional p -Laplacian. Nonlinear Anal. 1994, 23: 669-681. 10.1016/0362-546X(94)90245-3MathSciNetView ArticleMATHGoogle Scholar
El Khattabi N: Problèmes périodiques du second ordre à croissance au plus linéaire. Topol. Methods Nonlinear Anal. 1995, 5: 365-383.MathSciNetMATHGoogle Scholar
Ferracuti L, Papalini F: Boundary-value problems for strongly non-linear multivalued equations involving different ϕ -Laplacians. Adv. Differ. Equ. 2009, 14: 541-566.MathSciNetMATHGoogle Scholar
Frigon M: Théorèmes d’existence de solutions d’inclusions différentielles. NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 472. In Topological Methods in Differential Equations and Inclusions. Kluwer Academic, Dordrecht; 1995:51-87. Montreal 1994View ArticleGoogle Scholar
Goudreau K: A multiplicity result for a nonlinear boundary value problem. J. Math. Anal. Appl. 1998, 218: 395-408. 10.1006/jmaa.1997.5799MathSciNetView ArticleMATHGoogle Scholar
Mawhin J, Thompson HB: Nagumo conditions and second-order quasilinear equations with compatible nonlinear functional boundary conditions. Rocky Mt. J. Math. 2011, 41: 573-596. 10.1216/RMJ-2011-41-2-573MathSciNetView ArticleMATHGoogle Scholar
O’Regan D:Some general existence principles and results for ${(ϕ (y^{'}))}^{'} = q (t) f (t, y, y^{'})$ , $0 < t < 1$ . SIAM J. Math. Anal. 1993, 24: 648-668. 10.1137/0524040MathSciNetView ArticleMATHGoogle Scholar
Wang J, Gao W, Lin Z: Boundary value problems for general second order equations and similarity solutions to the Rayleigh problem. Tohoku Math. J. 1995, 45: 327-344.MathSciNetView ArticleMATHGoogle Scholar
Wang J, Gao W: Existence of solutions to boundary value problems for a nonlinear second order equation with weak Carathéodory functions. Differ. Equ. Dyn. Syst. 1997, 5: 175-185.MATHGoogle Scholar
Zhang JJ, Liu WB, Ni JB, Chen TY: Multiple periodic solutions of p -Laplacian equation with one-side Nagumo condition. J. Korean Math. Soc. 2008, 45: 1549-1559. 10.4134/JKMS.2008.45.6.1549MathSciNetView ArticleMATHGoogle Scholar
Manásevich R, Mawhin J: Periodic solutions for nonlinear systems with p -Laplacian-like operators. J. Differ. Equ. 1998, 145: 367-393. 10.1006/jdeq.1998.3425View ArticleMathSciNetMATHGoogle Scholar
Granas A, Dugundji J Springer Monographs in Mathematics. In Fixed Point Theory. Springer, New York; 2003.View ArticleGoogle Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.