nach oben

Journal of Inequalities and Applications

Erschienen in:

Open Access 01.12.2013 | Research

The existence of solutions of periodic BVP for second order impulsive differential equations

verfasst von: Jingli Xie, Zhiguo Luo

Erschienen in: Journal of Inequalities and Applications | Ausgabe 1/2013

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Patentsuche

Aus

Abstract

In this paper, we study the existence of solutions of periodic boundary value problems for impulsive differential equations depending on a parameter λ. By employing an existing critical point theorem, we find the range of the control parameter in which the boundary value problem admits at least one non-zero weak solution. An example illustrates our results.

MSC:34B15, 34B18, 34B37, 58E30.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

JX drafted the manuscript and joined discussion with ZL. ZL read the draft and provided comments. Both authors read and approved the final version of the manuscript.

1 Introduction

The well-known impulsive differential equations serve as basic models to study the dynamics of processes that are subject to sudden changes in their states, which are often investigated in various fields of science and technology [1‐3]. For example, in the motion of spacecraft, one has to consider instantaneous impulses at a position with jump discontinuities in velocity, but no change in the position [4‐7]. This motivates us to consider the following particular periodic boundary value problems:

{\begin{matrix} - u^{″} (t) + u (t) = λ f (t, u (t)), t \neq t_{j}, t \in [0, 1], \\ Δ u^{'} (t_{j}) = I_{j} (u (t_{j})), j = 1, 2, \dots, m, \\ u (0) - u (1) = u^{'} (0) - u^{'} (1) = 0, \end{matrix}

(1.1)

where

f : [0, 1] \times R \to R

I_{j} \in C (R, R)

0 = t_{0} < t_{1} < t_{2} < \dots < t_{m} < t_{m + 1} = 1

, λ is a positive real parameter and the operator Δ is defined as

Δ u^{'} (t_{j}) = u^{'} (t_{j}^{+}) - u^{'} (t_{j}^{-})

, where

u^{'} (t_{j}^{+}) (u^{'} (t_{j}^{-}))

denotes the right-hand (left-hand) limit of

u^{'}

t_{j}

In the literature, some classical tools have been used to study impulsive differential equations. These classical techniques include some fixed point theorems, the lower and upper solutions and the coincidence degree theory [8‐10]. Moreover, in the last few years, some researchers have gradually paid more attention to applying variational methods to deal with the existence of solutions for impulsive differential equation boundary value problems [11‐16]. The same tool has also already been used for a Neumann nonlinear differential problem in [17] (see also [18, 19] and [20] for two-point and mixed problems). In this paper, we use critical point theory and variational methods to establish the existence of at least one weak solution for problem (1.1).

The rest of this paper is organized as follows. In Section 2 we present several definitions and main tools. In Section 3, under suitable hypotheses, we prove that problem (1.1) possesses at least one non-zero weak solution when λ lies in an exactly determined open interval. Finally, an example is provided to verify our results.

2 Preliminaries

In the following, we first introduce some notations. Take

X : = {u (t) | u (t) \in W^{1, 2} ([0, 1]), u (0) = u (1)}

, in which we consider the inner product

(u, v) = \int_{0}^{1} u^{'} (t) v^{'} (t) d t + \int_{0}^{1} u (t) v (t) d t,

and the norm

{∥ u ∥}_{X} = {(\int_{0}^{1} {| u^{'} (t) |}^{2} d t + \int_{0}^{1} {| u (t) |}^{2} d t)}^{\frac{1}{2}} .

Note that this norm is equivalent to the usual norm

∥ u ∥ = {(\int_{0}^{1} {| u^{'} (t) |}^{2} d t)}^{\frac{1}{2}} .

Definition 2.1

f : [0, 1] \times R \to R

is an

L^{1}

-Carathéodory function if:

(i)

t \mapsto f (t, u)

is measurable for every

u \in R

;

(ii)

u \mapsto f (t, u)

is continuous for almost every

t \in [0, 1]

;

(iii)

for every

s > 0

, there exists a function

l_{s} \in L^{1} ([0, 1])

such that

sup_{| u | \leq s} | f (t, u) | \leq l_{s} (t) for a.e. t \in [0, 1] .

Definition 2.2 The function

u : [0, 1] \to R

is called a weak solution of problem (1.1) if

u \in X

and

\int_{0}^{1} u^{'} (t) v^{'} (t) d t + \int_{0}^{1} u (t) v (t) d t + \sum_{j = 1}^{m} I_{j} (u (t_{j})) v (t_{j}) = λ \int_{0}^{1} f (t, u (t)) v (t) d t

for all

v \in X

Note that if f is continuous, each weak solution is a classical solution of problem (1.1), i.e.,

u \in C^{2} (t_{j - 1}, t_{j})

, satisfies the equation of (1.1) a.e. on

t \in [0, 1]

, the limits

u^{'} (t_{j}^{+})

u^{'} (t_{j}^{-})

j = 1, 2, \dots, m

, exist and

Δ u^{'} (t_{j}) = I_{j} (u (t_{j}))

holds.

We recall the following inequality which will be used later.

Lemma 2.3 If

u \in X

, then

{∥ u ∥}_{\infty} \leq \sqrt{2} {∥ u ∥}_{X},

(2.1)

where

{∥ u ∥}_{\infty} = {max}_{t \in [0, 1]} | u (t) |

Proof The proof follows easily from the mean value theorem and the Hölder inequality, so we omit it here. □

Next we define a functional

φ_{λ}

φ_{λ} (u) = Φ (u) - λ Ψ (u), u \in X,

(2.2)

where

Φ (u) = \frac{1}{2} {∥ u ∥}_{X}^{2} + \sum_{j = 1}^{m} \int_{0}^{u (t_{j})} I_{j} (s) d s

(2.3)

and

Ψ (u) = \int_{0}^{1} F (t, u (t)) d t,

(2.4)

with

F (t, u) = \int_{0}^{u (t)} f (t, s) d s .

Note that

φ_{λ}

is Fréchet differentiable at any

u \in X

and for any

v \in X

, we have

\begin{aligned} φ_{λ}^{'} (u) (v) = & \int_{0}^{1} (u^{'} (t) v^{'} (t) + u (t) v (t)) d t + \sum_{j = 1}^{m} I_{j} (u (t_{j})) v (t_{j}) \\ - λ \int_{0}^{1} f (t, u (t)) v (t) d t . \end{aligned}

(2.5)

Obviously,

φ_{λ}^{'}

is continuous and a critical point of

φ_{λ}

, by (2.5), gives a weak solution of problem (1.1).

For all

r_{1}, r_{2} \in R

, with

r_{1} < r_{2}

, we define

β (r_{1}, r_{2}) = inf_{v \in Φ^{- 1} ((r_{1}, r_{2}))} \frac{{sup}_{u \in Φ^{- 1} ((r_{1}, r_{2}))} Ψ (u) - Ψ (v)}{r_{2} - Φ (v)},

(2.6)

α (r_{1}, r_{2}) = sup_{v \in Φ^{- 1} ((r_{1}, r_{2}))} \frac{Ψ (v) - {sup}_{u \in Φ^{- 1} ((- \infty, r_{1}))} Ψ (u)}{Φ (v) - r_{1}} .

(2.7)

Note that for all

r_{1}, r_{2} \in R

, with

r_{1} < r_{2}

, we have

β (r_{1}, r_{2}) \geq 0

α (r_{1}, r_{2}) \geq 0

To prove our main results, we need the following critical point theorem.

Theorem 2.4 [[21], Theorem 5.1]

Let X be a reflexive real Banach space. Let

Φ : X \to R

be a sequentially weakly lower semicontinuous, coercive and continuously Gâteaux differentiable functional whose Gâteaux derivative admits a continuous inverse on

X^{*}

; let

Ψ : X \to R

be a continuously Gâteaux differentiable functional whose Gáteaux derivative is compact. Put

φ_{λ} = Φ - λ Ψ

and assume that there are

r_{1}, r_{2} \in R

, with

r_{1} < r_{2}

, such that

β (r_{1}, r_{2}) < α (r_{1}, r_{2}),

(2.8)

where β and α are given by (2.6) and (2.7). Then, for each

λ \in (1 / α (r_{1}, r_{2}), 1 / β (r_{1}, r_{2}))

, there is

u_{0, λ} \in Φ^{- 1} ((r_{1}, r_{2}))

such that

φ_{λ} (u_{0, λ}) \leq φ_{λ} (u)

for all

u \in Φ^{- 1} ((r_{1}, r_{2}))

and

φ_{λ}^{'} (u_{0, λ}) = 0

For the sake of convenience, we list the following conditions.

(H1) f is an

L^{1}

-Carathéodory function.

(H2)

0 \leq \int_{0}^{u} I_{j} (s) d s < \frac{{| u |}^{2}}{2 m}

u \in R

j = 1, 2, \dots, m

3 Main results

In this section, we establish existence results for the periodic boundary value problem (1.1).

Given three nonnegative constants

c_{1}

c_{2}

, d, with

c_{1} < \sqrt{2} d < 2 d < c_{2}

, put

a (c_{2}, d) = 4 \frac{\int_{0}^{1} {max}_{| u (t) | \leq c_{2}} F (t, u (t)) d t - \int_{0}^{1} F (t, d) d t}{c_{2}^{2} - 4 d^{2}}

(3.1)

and

b (c_{1}, d) = 4 \frac{\int_{0}^{1} F (t, d) d t - \int_{0}^{1} {max}_{| u (t) | \leq c_{1}} F (t, u (t)) d t}{4 d^{2} - c_{1}^{2}} .

(3.2)

Theorem 3.1 Assume that (H1), (H2) are satisfied and there exist three nonnegative constants

c_{1}

c_{2}

, d, with

c_{1} < \sqrt{2} d < 2 d < c_{2}

, such that

a (c_{2}, d) < b (c_{1}, d) .

(3.3)

Then, for each

λ \in (1 / b (c_{1}, d), 1 / a (c_{2}, d))

, problem (1.1) admits at least one weak solution

u (t)

t \in [0, 1]

, such that

\sqrt{6} c_{1} / 6 < {∥ u ∥}_{X} < \sqrt{2} c_{2} / 2

Proof By (2.3) and (2.4), we have that Φ is a nonnegative Gâteaux differentiable, coercive and sequentially weakly lower semicontinuous functional whose Gâteaux derivative admits a continuous inverse on

X^{*}

, and Ψ is a continuously Gâteaux differentiable functional whose Gâteaux is compact. Let

r_{1} = \frac{c_{1}^{2}}{4}, r_{2} = \frac{c_{2}^{2}}{4}, u_{0} (t) = d, for t \in [0, 1] .

(3.4)

By condition (H2), we have

\begin{aligned} Φ (u_{0}) & = \frac{1}{2} {∥ u_{0} ∥}_{X}^{2} + \sum_{j = 1}^{m} \int_{0}^{u_{0} (t_{j})} I_{j} (s) d s \\ = \frac{1}{2} d^{2} + \sum_{j = 1}^{m} \int_{0}^{d} I_{j} (s) d s \\ \leq d^{2}, \end{aligned}

(3.5)

and

Φ (u_{0}) \geq \frac{d^{2}}{2} .

(3.6)

Combining

c_{1} < \sqrt{2} d < 2 d < c_{2}

, (3.4), (3.5) and (3.6), we have

r_{1} < Φ (u_{0}) < r_{2} .

Clearly, we have

Ψ (u_{0}) = \int_{0}^{1} F (t, u_{0} (t)) d t = \int_{0}^{1} F (t, d) d t

. From Lemma 2.3, the estimate

Φ (u) < r_{2}

u \in X

, implies that

{| u (t) |}^{2} \leq 2 {∥ u ∥}_{X}^{2} \leq 2 \times 2 Φ (u) < 4 r_{2} = c_{2}^{2}, t \in [0, 1],

and

\int_{0}^{1} F (t, u (t)) d t \leq \int_{0}^{1} max_{| u (t) | \leq c_{2}} F (t, u) d t .

Therefore

sup_{u \in Φ^{- 1} ((r_{1}, r_{2}))} Ψ (u) \leq sup_{u \in Φ^{- 1} ((- \infty, r_{2}))} Ψ (u) \leq \int_{0}^{1} max_{| u (t) | \leq c_{2}} F (t, u (t)) d t .

For

u \in X

with

Φ (u) < r_{1}

, one can similarly obtain

sup_{u \in Φ^{- 1} ((- \infty, r_{1}))} Ψ (u) \leq \int_{0}^{1} max_{| u (t) | \leq c_{1}} F (t, u (t)) d t .

Therefore, we have

\begin{array}{rcl} β (r_{1}, r_{2}) & \leq & \frac{{sup}_{u \in Φ^{- 1} ((- \infty, r_{2}))} Ψ (u) - Ψ (u_{0})}{r_{2} - Φ (u_{0})} \\ \leq & 4 \frac{\int_{0}^{1} {max}_{| u (t) | \leq c_{2}} F (t, u (t)) d t - \int_{0}^{1} F (t, d) d t}{c_{2}^{2} - 4 d^{2}} \\ = & a (c_{2}, d) . \end{array}

On the other hand, we have

\begin{array}{rcl} α (r_{1}, r_{2}) & \geq & \frac{Ψ (u_{0}) - {sup}_{u \in Φ^{- 1} ((- \infty, r_{1}))} Ψ (u)}{Φ (u_{0}) - r_{1}} \\ \geq & 4 \frac{\int_{0}^{1} F (t, d) d t - \int_{0}^{1} {max}_{| u (t) | \leq c_{1}} F (t, u (t)) d t}{4 d^{2} - c_{1}^{2}} \\ = & b (c_{1}, d) . \end{array}

So, by (3.3), we induce

β (r_{1}, r_{2}) < α (r_{1}, r_{2}) .

Therefore, by Theorem 2.4, for each

λ \in (1 / b (c_{1}, d), 1 / a (c_{2}, d))

, we have that

Φ - λ Ψ

admits at least one critical point u such that

r_{1} < Φ (u) < r_{2}

. Combining (2.3), we get

\frac{c_{1}^{2}}{4} < \frac{1}{2} {∥ u ∥}_{X}^{2} + \sum_{j = 1}^{m} \int_{0}^{u (t_{j})} I_{j} (s) d s \leq \frac{3}{2} {∥ u ∥}_{X}^{2},

and

\frac{1}{2} {∥ u ∥}_{X}^{2} \leq \frac{1}{2} {∥ u ∥}_{X}^{2} + \sum_{j = 1}^{m} \int_{0}^{u (t_{j})} I_{j} (s) d s < \frac{c_{2}^{2}}{4} .

So, problem (1.1) admits at least one weak solution

u (t)

t \in [0, 1]

, such that

\frac{\sqrt{6}}{6} c_{1} < {∥ u ∥}_{X} < \frac{\sqrt{2}}{2} c_{2}

. □

Theorem 3.2 Assume that (H1), (H2) hold and there exist two positive constants c, d, with

2 d < c

, such that

(\int_{0}^{1} max_{| u (t) | \leq c} F (t, u (t)) d t) / c^{2} < (\int_{0}^{1} F (t, d) d t) / 4 d^{2} .

(3.7)

Then, for each

λ \in (d^{2} / \int_{0}^{1} F (t, d) d t, c^{2} / 4 \int_{0}^{1} {max}_{| u (t) | \leq c} F (t, u (t)) d t)

, problem (1.1) admits at least one nontrivial weak solution

u (t)

t \in [0, 1]

, such that

{∥ u ∥}_{X} < \frac{\sqrt{2}}{2} c

Proof Let

c_{1} = 0

and

c_{2} = c

, then by (3.1) and (3.2) we get

\begin{array}{rcl} a (c_{2}, d) & = & 4 \frac{\int_{0}^{1} {max}_{| u (t) | \leq c_{2}} F (t, u (t)) d t - \int_{0}^{1} F (t, d)}{c_{2}^{2} - 4 d^{2}} \\ \leq & 4 \frac{\int_{0}^{1} {max}_{| u (t) | \leq c} F (t, u (t)) d t - \frac{4 d^{2}}{c^{2}} \int_{0}^{1} {max}_{| u (t) | \leq c} F (t, u (t))}{c^{2} - 4 d^{2}} \\ = & 4 \frac{\int_{0}^{1} {max}_{| u (t) | \leq c} F (t, u (t)) d t}{c^{2}}, \end{array}

and

b (c_{1}, d) = 4 \frac{\int_{0}^{1} F (t, d) d t}{4 d^{2}} .

Therefore, owing to (3.6) we have

a (c, d) < b (0, d)

. Moreover, by Theorem 3.1, we have that for each

λ \in (d^{2} / \int_{0}^{1} F (t, d) d t, c^{2} / 4 \int_{0}^{1} {max}_{| u (t) | \leq c} F (t, u (t)) d t)

, problem (1.1) admits at least one nontrivial weak solution u such that

{∥ u ∥}_{X} < \frac{\sqrt{2}}{2} c

. □

Now, when the nonlinear term of problem (1.1) is with separable variables, we have the following results. To be precise, let

α \in L^{1} ([0, 1])

be such that

α (t) \geq 0

a.e.

t \in [0, 1]

α ≢ 0

, and let

g : R \to R

be a nonnegative continuous function. Consider the boundary value problem

{\begin{matrix} - u^{″} (t) + u (t) = λ α (t) g (u (t)), t \neq t_{j}, t \in [0, 1], \\ Δ u^{'} (t_{j}) = I_{j} (u (t_{j})), j = 1, 2, \dots, m, \\ u (0) - u (1) = u^{'} (0) - u^{'} (1) = 0 . \end{matrix}

(3.8)

Put

G (u) = \int_{0}^{u (t)} g (s) d s for u \in X .

Corollary 3.3 Assume that (H2) is satisfied and there exist three nonnegative constants

c_{1}

c_{2}

, d, with

c_{1} < \sqrt{2} d < 2 d < c_{2}

, such that

\frac{G (c_{2}) - G (d)}{c_{2}^{2} - 4 d^{2}} < \frac{G (d) - G (c_{1})}{4 d^{2} - c_{1}^{2}} .

(3.9)

Then, for each

λ \in ((4 d^{2} - c_{1}^{2}) / 4 {∥ α ∥}_{1} (G (d) - G (c_{1})), (c_{2}^{2} - 4 d^{2}) / 4 {∥ α ∥}_{1} (G (c_{2}) - G (d)))

, where

{∥ α ∥}_{1} = \int_{0}^{1} | α (t) | d t

, problem (3.8) admits at least one weak solution

u (t)

t \in [0, 1]

, such that

\frac{\sqrt{6}}{6} c_{1} < {∥ u ∥}_{X} < \frac{\sqrt{2}}{2} c_{2}

Proof Let

f (t, u) = α (t) g (u)

for all

(t, u) \in [0, 1] \times R

. It is clear that

F (t, u) = α (t) G (u)

for all

(t, u) \in [0, 1] \times X

. Moreover, G is a nondecreasing function about u. So, we have

a (c_{2}, d) = 4 {∥ α ∥}_{1} \frac{G (c_{2}) - G (d)}{c_{2}^{2} - 4 d^{2}} < 4 {∥ α ∥}_{1} \frac{G (d) - G (c_{1})}{4 d^{2} - c_{1}^{2}} = b (c_{1}, d) .

So, for each

λ \in ((4 d^{2} - c_{1}^{2}) / 4 {∥ α ∥}_{1} (G (d) - G (c_{1})), (c_{2}^{2} - 4 d^{2}) / 4 {∥ α ∥}_{1} (G (c_{2}) - G (d)))

, problem (3.8) admits at least one weak solution

u (t)

t \in [0, 1]

, such that

\frac{\sqrt{6}}{6} c_{1} < {∥ u ∥}_{X} < \frac{\sqrt{2}}{2} c_{2}

. □

Corollary 3.4 Assume that (H2) is satisfied and there exist two positive constants c, d, with

c > 2 d

, such that

\frac{G (c)}{c^{2}} < \frac{G (d)}{4 d^{2}} .

(3.10)

Then, for each

λ \in (d^{2} / G (d) {∥ α ∥}_{1}, c^{2} / 4 G (c) {∥ α ∥}_{1})

, problem (3.8) admits at least one weak solution

u (t)

such that

| u (t) | < c

for all

t \in [0, 1]

Proof Let

f (t, u) = α (t) g (u)

for all

(t, u) \in [0, 1] \times R

. It is clear that

F (t, u) = α (t) G (u)

for all

(t, u) \in [0, 1] \times X

. Moreover, G is a nondecreasing function about u. So, we have

\begin{matrix} \frac{\int_{0}^{1} {max}_{| u (t) | \leq c} F (t, u (t)) d t}{c^{2}} = \frac{{∥ α ∥}_{1} G (c)}{c^{2}} < \frac{{∥ α ∥}_{1} G (d)}{4 d^{2}} = \frac{\int_{0}^{1} F (t, d) d t}{4 d^{2}}, \\ \frac{d^{2}}{\int_{0}^{1} F (t, d) d t} = \frac{d^{2}}{G (d) {∥ α ∥}_{1}}, \frac{c^{2}}{4 \int_{0}^{1} {max}_{| u (t) | \leq c} F (t, u (t)) d t} = \frac{c^{2}}{4 G (c) {∥ α ∥}_{1}} . \end{matrix}

Therefore, by Theorem 3.2, for each

λ \in (d^{2} / G (d) {∥ α ∥}_{1}, c^{2} / 4 G (c) {∥ α ∥}_{1})

, problem (3.8) admits at least one weak solution

u (t)

such that

| u (t) | < c

for all

t \in [0, 1]

. □

4 An example

In this section, we give an example to illustrate our main results.

Example 4.1 Consider the boundary value problem

{\begin{matrix} - u^{″} (t) + u = 2 λ t e^{- u}, t \neq t_{1}, t \in [0, 1], \\ Δ u^{'} (t_{1}) = \frac{1}{2} u (t_{1}), t_{1} = \frac{1}{2}, \\ u (0) - u (1) = u^{'} (0) - u^{'} (1) = 0 . \end{matrix}

(4.1)

Compared to problem (3.8),

α (t) = 2 t

g (u) = e^{- u}

I_{j} (u) = \frac{1}{2} u

. Clearly, (H2) is satisfied and

α \in L^{1} ([0, 1])

such that

α (t) \geq 0

a.e.

t \in [0, 1]

α ≢ 0

, and

g : R \to R

is a nonnegative continuous function. Choose

d = 0.5

c = 2

. By simple calculations, we obtain

\begin{matrix} \frac{G (c)}{c^{2}} \approx 0.2162 < \frac{G (d)}{4 d^{2}} \approx 0.3934, \\ \frac{d^{2}}{G (d) {∥ α ∥}_{1}} \approx 0.6355, \frac{c^{2}}{4 G (c) {∥ α ∥}_{1}} \approx 1.1566 . \end{matrix}

Applying Corollary 3.4, when

λ \in (0.6355, 1.1566)

, system (4.1) has at least one weak solution u such that

| u (t) | < 2

for all

t \in [0, 1]

Acknowledgements

The authors thank the referees for their valuable comments and suggestions, which greatly improved the presentation of this paper. This work is supported by Hunan Provincial Natural Science Foundation of China (No: 11JJ3012), Major Project of Science Research Fund of Education Department in Hunan (No: 11A095).

Open AccessThis article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

JX drafted the manuscript and joined discussion with ZL. ZL read the draft and provided comments. Both authors read and approved the final version of the manuscript.

Vorheriger Artikel Zero-free approximants to derivatives of prestarlike functions

Nächster Artikel Direct methods in the calculus of variations for differential forms

Benchohra M, Henderson J, Ntouyas S Contemporary Mathematics and Its Applications 2. In Theory of Impulsive Differential Equations and Inclusions. Hindawi Publishing Corporation, New York; 2006.CrossRef

Bainov DD, Simeonov PS: Systems with Impulse Effect: Stability Theory and Applications. Ellis Horwood, Chichester; 1989.

Jing G, Lu Q: Impulsive state feedback control of a predator-prey model. J. Comput. Appl. Math. 2007, 200: 193–207. 10.1016/j.cam.2005.12.013MathSciNetCrossRef

Agarwal RP, Franco D, Regan DO: Singular boundary value problems for first and second order impulsive differential equations. Aequ. Math. 2005, 69: 83–96. 10.1007/s00010-004-2735-9CrossRef

Carter TE: Necessary and sufficient conditions for optimal impulsive rendezvous with linear equations of motion. Dyn. Control 2000, 10: 219–227. 10.1023/A:1008376427023CrossRef

Carter TE: Optimal impulsive space trajectories based on linear equations. J. Optim. Theory Appl. 1991, 70: 277–297. 10.1007/BF00940627MathSciNetCrossRef

Prado AFBA: Bi-impulsive control to build a satellite constellation. Nonlinear Dyn. Syst. Theory 2005, 5: 169–175.MathSciNet

Agarwal RP, Regan DO: A multiplicity result for second order impulsive differential equations via the Leggett Williams fixed point theorem. Appl. Math. Comput. 2005, 161: 433–439. 10.1016/j.amc.2003.12.096MathSciNetCrossRef

Qin D, Li X: Periodic solutions for ordinary differential equations with sublinear impulsive effects. J. Math. Anal. Appl. 2005, 303: 288–303. 10.1016/j.jmaa.2004.08.034MathSciNetCrossRef

10.

Shen J, Wang B: Impulsive boundary value problems with nonlinear boundary conditions. Nonlinear Anal. 2008, 69: 4055–4062. 10.1016/j.na.2007.10.036MathSciNetCrossRef

11.

Marek G, Szymon G: On the discrete boundary value problem for anisotropic equation. J. Math. Anal. Appl. 2012, 386: 956–965. 10.1016/j.jmaa.2011.08.053MathSciNetCrossRef

12.

Nieto JJ, Regan DO: Variational approach to impulsive differential equations. Nonlinear Anal., Real World Appl. 2009, 10: 680–690. 10.1016/j.nonrwa.2007.10.022MathSciNetCrossRef

13.

Tian Y, Ge W: Applications of variational methods to boundary-value problem for impulsive differential equations. Proc. Edinb. Math. Soc. 2008, 51: 509–527.MathSciNetCrossRef

14.

Zhang H, Li Z: Variational approach to impulsive differential equations with periodic boundary conditions. Nonlinear Anal., Real World Appl. 2010, 11: 67–78. 10.1016/j.nonrwa.2008.10.016MathSciNetCrossRef

15.

Zhang X, Tang X: Subharmonic solutions for a class of non-quadratic second order Hamiltonian systems. Nonlinear Anal., Real World Appl. 2012, 13: 113–130. 10.1016/j.nonrwa.2011.07.013MathSciNetCrossRef

16.

Zhang Z, Yuan R: Applications of variational methods to Dirichlet boundary value problem with impulses. Nonlinear Anal., Real World Appl. 2010, 11: 155–162. 10.1016/j.nonrwa.2008.10.044MathSciNetCrossRef

17.

Bonanno G, Pizzimenti PF: Neumann boundary value problems with not coercive potential. Mediterr. J. Math. 2010, 33: 173–191.

18.

Bonanno G, Sciammetta A: An existence result of one non-trivial solution for two point boundary value problems. Bull. Aust. Math. Soc. 2011, 84: 288–299. 10.1017/S0004972711002255MathSciNetCrossRef

19.

Aguì GD: Existence results for a mixed boundary value problem with Sturm-Liouville equation. Adv. Pure Appl. Math. 2011, 2: 237–248.MathSciNetCrossRef

20.

Aguì GD: Multiplicity results for nonlinear mixed boundary value problem. Bound. Value Probl. 2012., 2012: Article ID 134

21.

Bonanno G: A critical point theorem via the Ekeland variational principle. Nonlinear Anal. 2012, 75: 2992–3007. 10.1016/j.na.2011.12.003MathSciNetCrossRef

Titel: The existence of solutions of periodic BVP for second order impulsive differential equations
verfasst von: Jingli Xie
Zhiguo Luo
Publikationsdatum: 01.12.2013
Verlag: Springer International Publishing
Erschienen in: Journal of Inequalities and Applications / Ausgabe 1/2013
Elektronische ISSN: 1029-242X
DOI: https://doi.org/10.1186/1029-242X-2013-406

Springer Professional

The existence of solutions of periodic BVP for second order impulsive differential equations

Abstract

Competing interests

Authors’ contributions

1 Introduction

2 Preliminaries

3 Main results

4 An example

Acknowledgements

Competing interests

Authors’ contributions

Premium Partner

Springer Professional

Abstract

Competing interests

Authors’ contributions

1 Introduction

2 Preliminaries

3 Main results

4 An example

Acknowledgements

Competing interests

Authors’ contributions

Weitere Artikel der Ausgabe 1/2013

Hausdorff measure of noncompactness in some sequence spaces of a triple band matrix

Refined converses of Jensen’s inequality for operators

Bounds for the ratio of two gamma functions: from Wendel’s asymptotic relation to Elezović-Giordano-Pečarić’s theorem

Some new bounds for the minimum eigenvalue of the Hadamard product of an M-matrix and an inverse M-matrix

Three-step Mann iterations for a general system of variational inequalities and an infinite family of nonexpansive mappings in Banach spaces

Strong and △-convergence theorems for total asymptotically nonexpansive nonself mappings in spaces

Premium Partner