Abstract
The weakly perturbed linear nonhomogeneous impulsive systems in the form , and are considered. Under the assumption that the generating system (for ) does not have solutions bounded on the entire real axis for some nonhomogeneities and using the Vishik-Lyusternik method, we establish conditions for the existence of solutions of these systems bounded on the entire real axis in the form of a Laurent series in powers of small parameter with finitely many terms with negative powers of , and we suggest an algorithm of construction of these solutions.
1. Introduction
In this contribution we study the problem of existence and construction of solutions of weakly perturbed linear differential systems with impulsive action bounded on the entire real axis. The application of the theory of differential systems with impulsive action (developed in [1β3]), the well-known results on the splitting index by Sacker [4] and by Palmer [5] on the Fredholm property of bounded solutions of linear systems of ordinary differential equations [6β9], the theory of pseudoinverse matrices [10] and results obtained in analyzing boundary-value problems for ordinary differential equations (see [10β12]), enables us to obtain existence conditions and to propose an algorithm for the construction of solutions bounded on the entire real axis of weakly perturbed linear impulsive differential systems.
2. Initial Problem
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 bounded on and left-continuous for with discontinuities of the first kind at with the norm: , are -dimensional column constant vectors: ; , and .
The solution of the system (2.1) is sought in the Banach space of -dimensional bounded on and piecewise continuously differentiable vector functions with discontinuities of the first kind at .
Parallel with the nonhomogeneous impulsive system (2.1), we consider the corresponding homogeneous system which is the homogeneous system without impulses, and let be the fundamental matrix of (2.2) such that .
Assume that the homogeneous system (2.2) is exponentially dichotomous (e-dichotomous) [5, 10] on semiaxes and , that is, there exist projectors and and constants , such that the following inequalities are satisfied:
For getting the solution bounded on the entire axis, we assume that , that is, .
We use the following notation: ; is a Moore-Penrose pseudoinverse matrix to ; and are matrices (orthoprojectors) projecting onto and onto , respectively, that is, , , and , ; ;ββ and .
The existence conditions and the structure of solutions of system (2.1) bounded on the entire real axis was analyzed in [13]. Here the following theorem was formulated and proved.
Theorem 2.1. Assume that the linear nonhomogeneous impulsive differential system (2.1) has the corresponding homogeneous system (2.2) e-dichotomous on the semiaxes and with projectors and , respectively. Then the homogeneous system (2.2) has exactly linearly independent solutions bounded on the entire real axis. If nonhomogeneities and satisfy linearly independent conditions then the nonhomogeneous system (2.1) possesses an -parameter family of linearly independent solutions bounded on in the form
Here, is a matrix formed by a complete system of linearly independent rows of matrix ,
is an matrix formed by a complete system of linearly independent solutions bounded on of homogeneous system (2.2), and is the generalized Green operator of the problem of finding bounded solutions of the nonhomogeneous impulsive system (2.1), acting upon and , defined by the formula with the following property
These results are required to establish new conditions for the existence of solutions of weakly perturbed linear impulsive systems bounded on the entire real axis.
3. Perturbed Problems
Consider a weakly perturbed nonhomogeneous linear impulsive system in the form where is an matrix of functions, are constant matrices.
Assume that the condition of solvability (2.4) of the generating system (2.1) (obtained from system (3.1) for ) is not satisfied for all nonhomogeneities and , that is, system (2.1) does not have solutions bounded on the entire real axis. Therefore, we analyze whether the system (2.1) can be made solvable by introducing linear perturbations to the differential system and to the pulsed conditions. Also it is important to determine perturbations and required to make the problem (3.1) solvable in the space of functions bounded on the entire real axis, that is, it is necessary to specify pertubations for which the corresponding homogeneous system turns into a system e-trichotomous or e-dichotomous on the entire real axis [10].
We show that this problem can be solved using the matrix
constructed with the coefficients of the system (3.1). The Vishik-Lyusternik method developed in [14] enables us to establish conditions under which a solution of impulsive system (3.1) can be represented by a function bounded on the entire real axis in the form of a Laurent series in powers of the small fixed parameter with finitely many terms with negative powers of .
We use the following notation: is the unique matrix pseudoinverse to in the Moore-Penrose sense, is the matrix (orthoprojector) projecting the space to the null space of the matrix , that is, , and is the matrix (orthoprojector) projecting the space to the null space of the matrix (), that is, .
Now we formulate and prove a theorem that enables us to solve indicated problem.
Theorem 3.1. Suppose that the system (3.1) satisfies the conditions imposed above, and the homogeneous system (2.2) is e-dichotomous on and with projectors P and Q, respectively. Let nonhomogeneities and be given such that the condition (2.4) is not satisfied and the generating system (2.1) does not have solutions bounded on the entire real axis. If then the system (3.2) is e-trichotomous on and, for all nonhomogeneities and , the system (3.1) possesses at least one solution bounded on in the form of a series uniformly convergent for sufficiently small fixed .
Here, is a proper constant characterizing the range of convergence of the series (3.5) and the coefficients of the series (3.5) are determined from the corresponding impulsive systems as
Proof. We suppose that the problem (3.1) has a solution in the form of a Laurent series (3.5). We substitute this solution into the system (3.1) and equate the coefficients at the same powers of . The problem of determination of the coefficient of the term with in series (3.5) is reduced to the problem of finding solutions of homogeneous system without impulses
bounded on the entire real axis. According to the Theorem 2.1, the homogeneous system (3.7) possesses -parameter family of solutions
bounded on the entire real axis, where is an -dimensional vector column and is determined from the condition of solvability of the problem used for determining the coefficient of the series (3.5).
For , the problem of determination of the coefficient of series (3.5) reduces to the problem of finding solutions of the following nonhomogeneous system:
bounded on the entire real axis. According to the Theorem 2.1, the condition of solvability of this problem takes the form
Using the matrix , we get the following algebraic system for :
which is solvable if and only if the condition
is satisfied, that is, if
In this case, this algebraic system is solvable with respect to within an arbitrary vector constant from the null space of the matrix , and one of its solutions has the form
Therefore, under condition (3.4), the nonhomogeneous system (3.9) possesses an -parameter set of solution bounded on in the form
where is the generalized Green operator (2.7) of the problem of finding bounded solutions of system (3.9), and is an -dimensional constant vector determined in the next step of the process from the condition of solvability of the impulsive problem for coefficient .
We continue this process by problem of determination of the coefficient of the term with in the series (3.5). It reduces to the problem of finding solutions of the system
bounded on the entire real axis. If the condition (3.4) is satisfied and by using the condition of solvability of this problem, that is,
we determine the vector (within an arbitrary vector constant , ) as
Thus, under the condition (3.4), system (3.16) possesses an -parameter set of solutions bounded on in the form
where is the generalized Green operator (2.7) of the problem of finding bounded solutions of system (3.16), and is an -dimensional constant vector determined in the next stage of the process from the condition of solvability of the problem for .
If we continue this process, we prove (by induction) that the problem of determination of the coefficient in the series (3.5) is reduced to the problem of finding solutions of the system
bounded on the entire real axis. If the condition (3.4) is satisfied, then a solution of this problem bounded on has the form
where is the generalized Green operator of the problem of finding bounded solutions of impulsive system (3.20) and the constant vector is given by the formula
(within an arbitrary vector constant , ).
The fact that the series (3.5) is convergent can be proved by using the procedure of majorization.
In the case where the number of linear independent solutions of system (2.2) bounded on is equal to the number , Theorem 3.1 yields the following assertion.
Corollary 3.2. Suppose that the system (3.1) satisfies the conditions imposed above, and the homogeneous system (2.2) is e-dichotomous on and with projectors and , respectively. Let nonhomogeneities and be given such that the condition (2.4) is not satisfied, and the generating system (2.1) does not have solutions bounded on the entire real axis. If condition is satisfied, then the system (3.1) possesses a unique solution bounded on in the form of series (3.5) uniformly convergent for sufficiently small fixed .
Proof. If , then is a square matrix. Therefore, it follows from condition (3.4) that , which is equivalent to the condition (3.23). In this case, the constant vectors are uniquely determined from (3.22). The coefficients of the series (3.5) are also uniquely determined by (3.21), and, for all and , the system (3.1) possesses a unique solution bounded on , which means that system (3.2) is e-dichotomous.
We now illustrate the assertions proved above.
Example 3.3. Consider the impulsive system where The generating homogenous system (for ) has the form and is e-dichotomous (as shown in [6]) on the semiaxes and with projectors and . The normal fundamental matrix of this system is Thus, we have ββIn order that the generating impulsive system (2.1) with the matrix specified above has solutions bounded on the entire real axis, the nonhomogeneities and must satisfy condition (2.4). In this analyzed impulsive problem, this condition takes the form Let and be given such that the condition (3.30) is not satisfied and the corresponding generating system (2.1) does not have solutions bounded on the entire real axis. The system (3.24) will be an e-trichotomous on if the coefficients of the perturbing matrix and the coefficients of the perturbing matrix satisfy condition (3.4), that is, , where the matrix has the form Therefore, if and are such that at least one of the following inequalities is satisfied, then either the condition (3.4) or the equivalent condition from Theorem 3.1 is satisfied and the system (3.2) is e-trichotomous on . In this case, the coefficients ,β,β,β are arbitrary functions from the space , and ,β,β are arbitrary constants from . Moreover, for any a solution of the system (3.24) bounded on is given by the series (3.5) (within a constant from the null space , ).
Another Perturbed Problem
In this part, we show that the problem of finding bounded solutions of nonhomogeneous system (2.1), in the case if the condition (2.4) is not satisfied, can be made solvable by introducing linear perturbations only to the pulsed conditions.
Therefore, we consider the weakly perturbed nonhomogeneous linear impulsive system in the form
where are constant matrices. For , we obtain the generating system (2.1). We assume that this generating system does not have solutions bounded on the entire real axis, which means that the condition of solvability (2.4) is not satisfied (for some nonhomogeneities and ). Let us show that it is possible to make this problem solvable by adding linear perturbation only to the pulsed conditions. In the case, if this is possible, it is necessary to determine perturbations for which the corresponding homogeneous system
turns into the system e-trichotomous or e-dichotomous on the entire real axis.
This problem can be solved with help of the matrix
constructed with the coefficients from the impulsive system (3.34).
By using Theorem 3.1, we seek a solution in the form of the series (3.5). Thus, we have the following corollary.
Corollary 3.4. Suppose that the system (3.34) satisfies the conditions imposed above and the generating homogeneous system (2.2) is e-dichotomous on and with projectors and , respectively. Let nonhomogeneities and be given such that the condition (2.4) is not satisfied, and the generating system (2.1) does not have solutions bounded on the entire real axis. If the condition (3.4) is satisfied, then the system (3.35) is e-trichotomous on , and the system (3.34) possesses at least one solution bounded on in the form of series (3.5) uniformly convergent for sufficiently small fixed .
Acknowledgments
This research was supported by Grants 1/0771/08 of the Grant Agency of Slovak Republic (VEGA) and project APVV-0700-07 of Slovak Research and Development Agency.