- Research Article
- Open access
- Published:
Solutions of Linear Impulsive Differential Systems Bounded on the Entire Real Axis
Advances in Difference Equations volume 2010, Article number: 494379 (2010)
Abstract
We consider the problem of existence and structure of solutions bounded on the entire real axis of nonhomogeneous linear impulsive differential systems. Under assumption that the corresponding homogeneous system is exponentially dichotomous on the semiaxes and
and by using the theory of pseudoinverse matrices, we establish necessary and sufficient conditions for the indicated problem.
The research in the theory of differential systems with impulsive action was originated by Myshkis and Samoilenko [1], Samoilenko and Perestyuk [2], Halanay and Wexler [3], and Schwabik et al. [4]. The ideas proposed in these works were developed and generalized in numerous other publications [5]. The aim of this contribution is, using the theory of impulsive differential equations, using the well-known results on the splitting index by Sacker [6] and by Palmer [7] on the Fredholm property of the problem of bounded solutions and using the theory of pseudoinverse matrices [5, 8], to investigate, in a relevant space, the existence of solutions bounded on the entire real axis of linear differential systems with impulsive action.
We consider the problem of existence and construction of solutions bounded on the entire real axis of linear systems of ordinary differential equations with impulsive action at fixed points of time

where is an
matrix of functions;
is an
vector function;
is the Banach space of real vector functions continuous for
with discontinuities of the first kind at
;
are
-dimensional column constant vectors;
.
The solution of the problem (1) is sought in the Banach space of
-dimensional piecewise continuously differentiable vector functions with discontinuities of the first kind at
:
.
Parallel with the nonhomogeneous impulsive system (1) we consider the homogeneous system

which is the homogeneous system without impulses.
Assume that the homogeneous system (2) is exponentially dichotomous (e-dichotomous) on semiaxes and
; i.e. there exist projectors
and
and constants
such that the following inequalities are satisfied:

where is the normal fundamental matrix of system (2).
By using the results developed in [5] for problems without impulses, the general solution of the problem (1) bounded on the semiaxes has the form

For getting the solution bounded on the entire axis, we assume that it has continuity in
:

or

Thus, the solution (4) will be bounded on if and only if the constant vector
is the solution of the algebraic system:

where is an
matrix,
. The algebraic system (7) is solvable if and only if the condition

is satisfied, where is the
matrix-orthoprojector;
.
Therefore, the constant in the expression (4) has the form

where is the
matrix-orthoprojector;
;
is a Moore-Penrose pseudoinverse matrix to
. Since
, we have
. Let

Then we denote by a
matrix composed of a complete system of
linearly independent rows of the matrix
and by
a
matrix.
Thus, the necessary and sufficient condition for the existence of the solution of problem (1) has the form

and consists of linearly independent conditions.
If we substitute the constant given by relation (9) into (4), we get the general solution of problem (1) in the form

Since , we have
. Let

Then we denote by an
matrix composed of a complete system of
linearly independent columns of the matrix
.
Thus, we have proved the following statement.
Theorem 1.
Assume that the linear nonhomogeneous impulsive differential system (1) has the corresponding homogeneous system (2) e-dichotomous on the semiaxes and
with projectors
and
, respectively. Then the homogeneous system (2) has exactly
linearly independent solutions bounded on the entire real axis. If nonhomogenities
and
satisfy
linearly independent conditions (11), then the nonhomogeneous system (1) possesses an
-parameter family of linearly independent solutions bounded on the entire real axis
in the form

where

is an matrix formed by a complete system of
linearly independent solutions of homogeneous problem (2) and
is the generalized Green operator of the problem of finding solutions of the impulsive problem (1) bounded on
, acting upon
and
, defined by the formula

The generalized Green operator (16) has the following property:

where .
We can also formulate the following corollaries.
Corollary 2.
Assume that the homogeneous system (2) is e-dichotomous on and
with projectors
and
, respectively, and such that
. In this case, the system (2) has r-parameter set of solutions bounded on
in the form (14). The nonhomogeneous impulsive system (1) has for arbitrary
and
an r-parameter set of solutions bounded on
in the form

where is the generalized Green operator (16) of the problem of finding bounded solutions of the impulsive system (1) with the property

Proof.
Since and
, we have
. Thus condition (11) for the existence of bounded solution of system (1) is satisfied for all
and
.
Corollary 3.
Assume that the homogenous system (2) is e-dichotomous on and
with projectors
and
, respectively, and such that
. In this case, the system (2) has only trivial solution bounded on
. If condition (11) is satisfied, then the nonhomogeneous impulsive system (1) possesses a unique solution bounded on
in the form

where is the generalized Green operator (16) of the problem of finding bounded solutions of the impulsive system (1).
Proof.
Since and
, we have
. By virtue of Theorem 1, we have
and thus the homogenous system (2) has only trivial solution bounded on
. Moreover, the nonhomogeneous impulsive system (1) possesses a unique solution bounded on
for
and
satisfying the condition (11).
Corollary 4.
Assume that the homogenous system (2) is e-dichotomous on and
with projectors
and
, respectively, and such that
. Then the system (2) is e-dichotomous on
and has only trivial solution bounded on
. The nonhomogeneous impulsive system (1) has for arbitrary
and
a unique solution bounded on
in the form

where is the Green operator (16)
of the problem of finding bounded solutions of the impulsive system (1).
Proof.
Since and
, we have
. By virtue of Theorem 1, we have
and thus the homogenous system (2) has only trivial solution bounded on
. Moreover, the nonhomogeneous impulsive system (1) possesses a unique solution bounded on
for all
and
.
Regularization of Linear Problem
The condition of solvability (11) of impulsive problem (1) for solutions bounded on enables us to analyze the problem of regularization of linear problem that is not solvable everywhere by adding an impulsive action.
Consider the problem of finding solutions bounded on the entire real axis of the system

the corresponding homogeneous problem of which is e-dichotomous on the semiaxes and
. Assume that this problem has no solution bounded on
for some
; i.e. the solvability condition of (22) is not satisfied. This means that

In this problem, we introduce an impulsive action for as follows:

and we consider the existence of solution of the impulsive problem (22)-(24) from the space bounded on the entire real axis. The parameter
is chosen from a condition similar to (11) guaranteeing that the impulsive problem (22)-(24) is solvable for any
and some
:

where is a
matrix,
is an
matrix pseudoinverse to the matrix
,
is a
matrix (othoprojector),
, and
is an
matrix (othoprojector),
. The algebraic system (25) is solvable if and only if the condition

is satisfied. Thus, Theorem 1 yields the following statement.
Corollary 5.
By adding an impulsive action, the problem of finding solutions bounded on of linear system (22), that is solvable not everywhere, can be made solvable for any
if and only if

The indicated additional (regularizing) impulse should be chosen as follows:

So the impulsive action can be regarded as a control parameter which guarantees the solvability of not everywhere solvable problems.
Example 6.
In this example we illustrate the assertions proved above.
Consider the impulsive system

where ,
. The normal fundamental matrix of the corresponding homogenous system

is

and this system is e-dichotomous (as shown in [9]) on the semiaxes and
with projectors
and
, respectively. Thus, we have

In order that the impulsive system (29) with the matrix specified above has solutions bounded on the entire real axis, the nonhomogenities
and
must satisfy condition (11). In the analyzed impulsive problem, this condition takes the following form:

If we consider the system (29) only with one point of discontinuity of the first kind with impulse

then we rewrite the condition (33) in the form

It is easy to see that (35) is always solvable and, according to Corollary 5, the analyzed impulsive problem has bounded solution for arbitrary if the pulse parameter
should be chosen as follows:

Remark 7.
It seems that a possible generalization to systems with delay will be possible. In a particular case when the matrix of linear terms is constant, a representation of the fundamental matrix given by a special matrix function (so-called delayed matrix exponential, etc.), for example, in [10, 11] (for a continuous case) and in [12, 13] (for a discrete case), can give concrete formulas expressing solution of the considered problem in analytical form.
References
Myshkis AD, Samoilenko AM: Systems with impulses at given instants of time. Mathematics Sbornik 1967,74(2):202-208.
Samoilenko AM, Perestyuk NA: Impulsive Differential Equations. Vyshcha Shkola, Kiev, Russia; 1974.
Halanay A, Wexler D: Qualitative Theory of Impulsive Systems. Volume 309. Mir, Moscow, Russia; 1971.
Schwabik Š, Tvrdy M, Vejvoda O: Differential and Integral Equations, Boundary Value Problems and Adjoints. , Academia, Prague; 1979.
Boichuk AA, Samoilenko AM: Generalized Inverse Operators and Fredholm Boundary-Value Problems. Koninklijke Brill NV, Utrecht, The Netherlands; 2004.
Sacker RJ: The splitting index for linear differential systems. Journal of Differential Equations 1979,33(3):368-405. 10.1016/0022-0396(79)90072-X
Palmer KJ: Exponential dichotomies and transversal homoclinic points. Journal of Differential Equations 1984,55(2):225-256. 10.1016/0022-0396(84)90082-2
Boichuk AA: Solutions of weakly nonlinear differential equations bounded on the whole line. Nonlinear Oscillations 1999,2(1):3-10.
Samoilenko AM, Boichuk AA, Boichuk AnA: Solutions, bounded on the whole axis, of linear weakly perturbed systems. Ukrainian Mathematical Zhurnal 2002,54(11):1517-1530.
Diblík J, Khusainov DYa, Lukáčová J, Růžičková M: Control of oscillating systems with a single delay. Advances in Difference Equations 2010, 2010:-15.
Boichuk A, Diblík J, Khusainov DYa, Růžičková M: Boundary-value problems for delay differential systems. Advances in Difference Equations. In press
Diblík J, Khusainov DYa: Representation of solutions of linear discrete systems with constant coefficients and pure delay. Advances in Difference Equations 2006, 2006:-13.
Diblík J, Khusainov DYa, Růžičková M: Controllability of linear discrete systems with constant coefficients and pure delay. SIAM Journal on Control and Optimization 2008,47(3):1140-1149. 10.1137/070689085
Acknowledgments
This research was supported by the Grants 1/0771/08 and 1/0090/09 of the Grant Agency of Slovak Republic (VEGA) and project APVV-0700-07 of Slovak Research and Development Agency.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This 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.
About this article
Cite this article
Boichuk, A., Langerová, M. & Škoríková, J. Solutions of Linear Impulsive Differential Systems Bounded on the Entire Real Axis. Adv Differ Equ 2010, 494379 (2010). https://doi.org/10.1155/2010/494379
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/494379