ARGUMENT ON

ON A CLASS OF THIRD ORDER NEUTRAL DELAY DIFFERENTIAL

EQUATIONS WITH PIECEWlSE CONSTANT ARGUMENT

GARYFALOS PAPASCHINOPOULOS

Democritus University of Thrace School of Engineering

67100 >anthi, Greece

(Received October 26, 1990 and in revised form

May

15, 1991)

ABSTRACT. In this paper we study existence, uniqueness and asymptotic stability of the solutions of a class of third order neutral delay differential equations with piecewise constant argument.

KEY

WORDS AND PHRASES. Neutral delay dfferential equations with piecewise constant argument, difference equation, existence and uniqueness of solutions, asymptotic stability.

1980 AMS SUBJECT CLASSIFICATION CODE.

34K05,

34K15.

I.

INTRODUCTION

Recently there has been an increase in interest in the study of differential equations with piecewise constant argument. See Aftabizadeh, Wiener and

Xu [i],

Cooke and Wiener

[2], [3],

^Huang

[.4], ^Lamas,

Partheniadis and Schinas

[5],eartheni-

In

this paper we study the third order neutral delay differential equations with piecewise constant argument of the form

d3

dt

³

(y(t) + py(t I)) --qy([t l)

where

te[0,),

^{p,q are real constants and}

E.]

^denotes the greatest-integer func- tion.

It

is worthwile to study equations of the form

(I)

because they include both constant and piecewise constant delays.

A function

y;[-l,oo)/R

^is a solution of

(I)

if the following conditions are satisfied:

(1)

y is continuous on the set

[-I,),

d2

(ii)

(y(t) + py(t I)) g(t)

exists on

[0,)

^{and g}

dt2

(iii)

---(y(t)

d 3

+ py(t I))

exists on

[0,o)

^{except possibly at the points t=n}

dt3

n

6{0,I,...}

^where one-sided third derivatives exist,

(iv) y satisfies

(I)

on each interval

[n,n+l), ne{0,1 }.

In

Proposition of this paper we prove that ^for every initial function

Yo: ^[-I’0]-R

continuous on

[-I,0]

and for every

al,a2eR

there exists a unique solu- is continuous on

[0,oo),

114 G.

PAPASCHINOPOULOS

tion

y(t)

^of

(I)

such that

y(t) Yo(t), ^{te[-l,O], y(1)}

^{a and}

^y(2)

^a

2.

^We prove also that equation (i) is not asymptotically stable (see Proposition 2

below).

We note that similar results for the first and the second order differential equations of the form

(I)

are included in

[6].

2.

MAIN

RESULTS.

We prove now our main results.

PROPOSITION

I.

Equation

(I)

has a unique solution

y(t)

such that

Yo(t) ^t6E-I,0]

^{for p}

^#

⁰

a_l

^t

^-I

^{for p 0}

y(t)

a t 0 for p 0

(2)

o

a t=

a2 t--2

where

Yo:[-I’O+R

^is a continuous function on

[-I,0], _{a_l,a o, al,a}

₂ ^{are real}

constants and

ao Yo ^(0)’ a-I Yo ^(-I)

^{if p}

^{# O.}

The solution

y(t)

is defined by

y(t) (_p)n+l _yo(

l)

+k--O ^{(_p)n-k (0}

2

2-0) ak+2 ⁺

+ ^2)_ + ⁰⁽⁴

2

^p) ak+l + (.

6 2p

+ I) + 0(2p-I-2- ) ⁺

^ak

where a satisfies the difference equation n

an+4 ^{+ (P-} 3)an+3 ⁺ (q6

^3p

⁺ 3)an+

2

+ (2-3 ⁺

^3p

l)an+l ⁺ (6 ^p)a

n

O. (4)

PROOF. Consider a solution

y(t)

of

(I)

which satisf.ies

(2).

For

t[-l, ⁾

^{there exists a}

^n-l,O

^{such that n <t < n+l. We set}

n(-I 0,...}.

y(n)

a

n,

Then from

(I)

for t >

O, t[n,n+l), n{O,l

^{it holds}

each

If

d3

(y(t) + py(t I)) -qan_ _I.

dt3

d2

Bn--

_dt²

^(y(t)

^/

^{py(t I))}

^{at t n,}

^{ne{O,l ...}}

then by integrating

(6)

from n to

t[n,n+l), ^ne(O,l

^{we take}

(6)

(7)

d2

(y(t) + py(t I)) Bn ^{q(t n)an_ I.}

dt2 Moreover if

(8)

c

n=

d

(y(t) + ^PY (t I))

at t n

ne{0, ⁽⁹⁾

by integrating

(8)

from n to t,

te[n,n+l), ne{0,1

we have

(y(t) + py(t I))

c

+ (t

n)B

n

(t

n,

2

n a

n-I (10)

Finally by integrating

(I0)

from n to t,

te[n,n+1), n@{0,1

and using

(5)

we obtain

y(t) +

py(t

1) an ⁺ Pan-1 ^{+ (t} n)Cn ^{+ (t} -2 ⁿ⁾² Bn

⁶

^{(t n)3 an_}

Applying now Lemma 3

[6,p.96]

to

(II)

we get

(11)

y(t) (_p)n+l _yo(0- I) +

ⁿ

(_p)n-k _(ak+ eCk+ ⁰

2

k=0

Pak-I ⁺ - ^k-

⁶

^{83 ak-l) (12)}

where t n

+ 8,

0 <

8

<

I, n6(O,l,...}.

Since

y(t)

is continuous in

[-1,o0

by taking the limit as tn+l in

(11)

and using

(5)

we get for

n6{0,1 }

an+

1

+

pan an

+ (p ) an-1 ⁺

^cn

⁺ n" ⁽¹³⁾

If we take the llmlt as t+n+l in

(8)

and since the

functlon g(t) d2 _{(y(t) +}

dt2

+ py(t

i)) is continuous, using

(7)

we have for

n{0,1

Bn+l n- ^{qan-l" (14)}

Obviously the functlon

h(t)

d

(y(t) + py(t I))

^is continuous on

[0,oo).

Then if we take the limit as t/n+l in

(I0)

and using

(9)

we obtain for

n{0,1

c

J3

_n

+ R

2

(15)

n -n+l

an-I

By eliminating

b c from

(13), (14), (15)

we can easily get

-+ n+l ^{Cn+ an+ + (P l)a}

ⁿ

^{+ (R}

⁶

^{P)an_ I. (16)}

If we eliminate

bn+l, Cn+

^from

^{(14), (16)}

^{and the}

^relatlo

^{which is derived from}

(13)

by setting n+l instead of n, then it holds

n ^{art+2 + (p 2)} an+ ⁺ (6- ^{2p + I)}

^an

+ (p + 5-6 ^{an_ I.}

Using

(13)

and

(17)

for

n6{0,1 }

we can easily take

%+2

(17)

+ (2-

)

2

an+

¹

^{+ (2p}

12^q

)

³

an (3_

₂

⁺ )

4

an_ _I. ⁽¹⁸⁾

Therefore from

(12), (17)

and

(18)

we can easily show that

y(t)

satlsfles

(3).

Now from relatlons

(14)

and

(17)

it is easy to prove that a satlsfles the dlf-

ference

equatlon

(4).

n

p 6 there exists a unique solution a of

(4)

with initial Obviously if

6 ⁿ 6

values

a_l, ao, al,

^a2 and if p p

,

^q

^(resp.

^p

,

^q

there exists a unique solution of

(4)

with initial values a a a

2

(resp.

a

0

a2).

^{Therefore we proved that if}

^y(t)

^{is a solution of (i) which satisfies}

⁽²⁾

then is defined by

(3)

and

(4)

and is uniquely determined by

Yo’ al’ a2

^{if p}

^#

⁰

116 G. PAPASCHINOPOULOS

and

a_l ao, al,

^a₂ ^{if p- 0.}

Conversely we can easily show that the function

y(t)

defined by

(3)

and

(4)

is a solution of

(I)

which satisfies

(2).

Thus the proof of the proposition is completed.

Using

(3)

and the same argument as in the proof of the Corollary 4

[6,pl10-111]

we can easily prove the following corollary.

COROLLARY

I.

Let

y(t)

be the solution of

(I)

which satisfies

(2).

Then it holds

an+

2

+

where t n

+ 8,

0

<_ 8 <_ I, ne{0,1 }.

In

Proposition 2 of this paper we prove that

(I)

is not asymptotically stable.

We need the following lemma.

LEMMA I.

Consider the difference equation

arr+4 ⁺ Nlan+3 ⁺ N2an+2 ⁺ N3arrbl ⁺ N4 an

⁰

(19)

where

n{-l,0,1,...}

and

Ni,

ⁱ

^1,2,3,4

^are real constants. Then

(19)

is asymptotically stable if and only if the following conditions are satisfied:

A2 A3 A5

0,

0,

0,

A A

where

AI ⁺ NI ⁺ N2 ⁺ N3 ⁺ N4’ A2

⁴

^{+ 2N 2N}

³

^4N

^4,

3

⁶

2N2 ⁺ 6N4’ 4-4-2N ⁺ 2t/3 4N4’ A5 ^{I +} N2 N3 ⁺ N4"

(21)

PROOF. It is known that

(19)

is asymptotically stable if and only if root v of the characteristic equation

every

4

v3 + /2 v2 + 3

^v

⁺ 4

⁰

⁽²²⁾

v

+I

satisfies

Ivl

^<

^I.

^{Then it is clear that}

I ^#

^{0. Therefore using the Mobius}

transformation

v= z+l

z_

to (22) we can take the equation

E2

³

3

²

4 %5 ₍₂₃₎

where the constants

.,

i

1,2,3,4,5

are defined in

(21).

1

It is easy to show that every root v of (22) satisfies

Ivl

^{< if and only}

if Rez <

0,

where Rez is the real part of z and z is the root of

(23).

Using Routh-Hurwitz criteria

[7,p.158]

we have Rez < 0 if and only if all the condi- tions

(20)

are satisfied. This completes the proof of the lemma.

PROPOSITION

2. Equation (i) is not asymptotically stable.

PROOF.

Suppose

that

(I)

is asymptotically stable. Then the difference equation

(4)

is also asymptotically stable. We apply Lemma to

(4).

It is easy to show that

i

^{q and}

2

^-2q.

Then

2

1

^{-2 < 0} which contradicts the second condition of

(20).

Therefore (I) is not asymptotically stable.

ACKNOWLEDGMENT. I would like to thank the referee for his valuable suggestions which led to the presentation of this paper.

REFERENCES

I. AFTABIZADEH, A.R., WIENER, J.

and

XU, .JM.

Oscillatory and periodic solutions of delay differential equations with piecewlse constant argument,

Proc.

Amer.

Math. Soc. 99

(1987),

673-679.

2.

COOKE, K.L.

and

WIENER,

J. Retarded differential equations with piecewise con- stant delays, J.Math. Anal. Appl. 99

(1984),

265-297.

3.

COOKE,

K.L. and

WIENER,

J.

An

equation alternately of retarded and advanced type,

Proc. Amer.

Math. Soc. 99

(1987),

726-732.

4. HUANG,

Y.K. Oscillations and asymptotic stability of solutions of first order neutral differential equations with piecewise constant argument, J. Math.

Anal. Appl. 149

(1990),

70-85.

5.

LADAS, G., PARTHENIADIS,

E.C. and

SCHINAS,

J. Existence theorems for second order differential equations with piecewise constant argument, Differential Equations,

(Xanthi, 1987), 389-395,

Lecture Notes in

Pure

and Appl. Math.,

118,

Dekker, New

York, 1989.

6.

PARTHENIADIS,

E.C. Oscillations and asymptotic behavior of solutions of delay and neutral delay differential equations, Ph.D. Thesis, University of Rhode Island

(1988).

7. COPPEL, W.A.

Stability

n.d_.asymp_toticbehavior

of differential Heath.

Boston,

1965.

equations,

Mathematical Problems in Engineering

Special Issue on Space Dynamics

Call for Papers

Space dynamics is a very general title that can accommodate a long list of activities. This kind of research started with the study of the motion of the stars and the planets back to the origin of astronomy, and nowadays it has a large list of topics. It is possible to make a division in two main categories: astronomy and astrodynamics. By astronomy, we can relate topics that deal with the motion of the planets, natural satellites, comets, and so forth. Many important topics of research nowadays are related to those subjects.

By astrodynamics, we mean topics related to spaceflight dynamics.

It means topics where a satellite, a rocket, or any kind of man-made object is travelling in space governed by the grav- itational forces of celestial bodies and/or forces generated by propulsion systems that are available in those objects. Many topics are related to orbit determination, propagation, and orbital maneuvers related to those spacecrafts. Several other topics that are related to this subject are numerical methods, nonlinear dynamics, chaos, and control.

The main objective of this Special Issue is to publish topics that are under study in one of those lines. The idea is to get the most recent researches and published them in a very short time, so we can give a step in order to help scientists and engineers that work in this field to be aware of actual research. All the published papers have to be peer reviewed, but in a fast and accurate way so that the topics are not outdated by the large speed that the information flows nowadays.

Before submission authors should carefully read over the journal’s Author Guidelines, which are located at http://www .hindawi.com/journals/mpe/guidelines.html. Prospective au- thors should submit an electronic copy of their complete manuscript through the journal Manuscript Tracking Sy- stem at http://mts.hindawi.com/ according to the following timetable:

Manuscript Due July 1, 2009 First Round of Reviews October 1, 2009 Publication Date January 1, 2010

Lead Guest Editor

Antonio F. Bertachini A. Prado, Instituto Nacional de Pesquisas Espaciais (INPE), São José dos Campos, 12227-010 São Paulo, Brazil; [email protected]

Guest Editors

Maria Cecilia Zanardi, São Paulo State University (UNESP), Guaratinguetá, 12516-410 São Paulo, Brazil;

[email protected]

Tadashi Yokoyama, Universidade Estadual Paulista (UNESP), Rio Claro, 13506-900 São Paulo, Brazil;

[email protected]

Silvia Maria Giuliatti Winter, São Paulo State University (UNESP), Guaratinguetá, 12516-410 São Paulo, Brazil;

[email protected]

Hindawi Publishing Corporation http://www.hindawi.com