Napoles2001 PDF
Napoles2001 PDF
Napoles2001 PDF
Quaestiones Mathematicae
Publication details, including instructions for authors and subscription information:
http://www.tandfonline.com/loi/tqma20
To cite this article: Juan Napoles Valdes (2001) A NOTE ON THE BOUNDEDNESS OF AN INTEGRO-DIFFERENTIAL EQUATION,
Quaestiones Mathematicae, 24:2, 213-216, DOI: 10.1080/16073606.2001.9639209
To link to this article: http://dx.doi.org/10.1080/16073606.2001.9639209
Universidad de la Cuenca del Plata, Lavalle 50, (3400) Corrientes, Argentina and
Universidad Tecnol
ogica Nacional, French 414, (3500) Resistencia, Chaco, Argentina.
E-Mail [email protected] and [email protected]
Abstract. In this paper we study the prolongability and certain properties of the
integro-differential equation
Z t
(1)
x00 + a(t)f (t, x, x0 )x0 + g(t, x0 ) + h(x) =
C(t, s)x0 (s)ds.
0
1.
(2)
Introduction.
poles Valde
s
J.E. Na
214
The definitions used here, are natural extensions of stability definitions for
ordinary differential equations, they have been used in integro-differential equations
as well as in delay-differential equations; see Driver [3], Miller [6] and Yoshizawa
[8].
2. Results. As the problem of continuability of solutions is of paramount importance in the qualitative theory, it has received a considerable amount of attention in the last three decades. So, we now state our first result related to
continuability (global existence) of the solutions of equation (2).
Making y = x0 in (2) we obtain:
(4)
x0 = y,
Z t
y0 =
C(t, s)y(s)ds a(t)f (t, x, y)y g(t, y) h(x).
The system (4) is equivalent to equation (2) and therefore any result for (4) is also
a result for (2).
Researchers from the early 1950s to the present day have studied stability
properties of integro-differential equations by using Lyapunovs functionals denoted
by V (t, x(t), y(t)) (see [8]).
Let
Z tZ
y 2 (t)
+ H(x) +
(5)
V (t, x(t), y(t)) =
|C(u, s)| duy 2 (s)ds,
2
0
t
Rx
where H(x) is defined as H(x) = 0 h(s)ds. The functional V (t, x, y) plays a
central role in the derivation of the results in this section.
Theorem. Under the following assumptions:
Rt
R
i) there exists a constant R0 such that 0 |C(t, s)| ds + t |C(u, t)| du R,
ii) [R a(t)f (t, x, y)] 0 for all t [0, ) and all x, y R,
iii) H(x) as x ,
all solutions of the system (4) are continuable to the future, that is, are defined for
all tt0 0.
0
Proof. The derivative V(2)
(t, x(t), y(t)) of the function V defined by (5) along any
solution of system (4) satisfies:
(6)
0
V(2)
(t, x(t), y(t))
=y
t
0
Thus,
0
V(2)
(t, x(t), y(t))
t
0
Hence,
0
V(2)
(t, x(t), y(t)) a(t)f (t, x, y)y 2 g(t, y)y+
Z t
Z
|C(t, s)| ds +
+
0
|C(u, t)| du y 2 .
t
(7)
Lim x2 (t) + y 2 (t) = +,
tT
holds. Let (x(t), y(t)) be such a solution with initial condition (x0 , y0 ). Since V is
positive definite and decreasing function on the trajectories of system (4), we have:
y 2 (T )
+ H(x(T )) + k V0 V (0, x0 , y0 ),
2
(8)
where k =
RT R
0
From this inequality and by the condition v) we have that there exists a positive
constant N such that |x(t)| N and |y(t)| N for all T > t0 0.
This shows that (7) is not possible. From this analysis we obtain the boundedness of all solutions of system (4) and therefore, of all solutions x(t) of equation
(2).
2
poles Valde
s
J.E. Na
216
Proof.
implying
R
0
y 2 (s)ds,
0
y (s)ds < .
Remark 1. As pointed out before, the equation (1) can be considered as a perturbation of equation (3). If in (1) we make C0, a(t)f (t, x, x0 )0, g(t, x0 ) = g(x0 )x0
with g(x0) > 0 for all x0 R, we have:
(9)
In [7] Utz established sufficient conditions for the existence of periodic solutions
for equations of type (7), which are similar to our theorem, see also [4].
Remark 2. Our results are also consistent with several earlier results on asymptotic
behaviour of solutions of simple cases of equation (1). We refer the reader to [1, 2,
5, 9] for some interesting examples.
References
1. T.A. Burton, Liapunov functions and boundedness for differential and delay equations, Hiroshima Math. J. 18 (1988), 341350.
2.
g(x),
Universidade
de
Sao
Paulo,
RT-Mat
9510,
April
1995.
i
i=1 i