Systems of singular differential equations with pulse action
© Boichuk et al.; licensee Springer 2013
Received: 19 February 2013
Accepted: 30 May 2013
Published: 26 June 2013
The paper deals with the singular systems of ordinary differential equations with impulsive action under the assumption that the considered systems can be reduced into the central canonical form. An approach which combines the theory of impulsive differential equations and known results from the theory of singular Fredholm boundary value problems is used. Necessary and sufficient conditions for the existence of solutions of the singular boundary value problems with impulsive action are derived. Moreover, an algorithm for the construction of the family of linearly independent solutions is shown.
It is known that some of the problems of the control theory, radio physics, mathematical economics, linear programming and others can be modeled by systems of differential equations with a singular matrix. Such systems, which are the so-called singular or differential-algebraic systems of ordinary differential equations, are studied in many works; in addition to other contributions, for example, in [1–3]. Campbell and Petzold have introduced in  the so-called central canonical form of singular linear systems which plays a very important role in the study of such problems. The reduction to the central canonical form is already the classical condition for this type of singular or differential-algebraic problems .
The existence of solutions of problems with singular matrix, mainly initial-value and periodic problems, was studied in . This paper deals with the most complicated and the least studied resonance problems  for singular differential systems with impulsive action. The origin of the theory of differential systems with impulsive action can be found in the work by Myshkis and Samoilenko , later also in the work by Samoilenko and Perestyuk . The theory was also developed by Halanay and Wexler , Schwabik et al.  and others. The ideas proposed in these works have been further developed and generalized in numerous other publications; for example, in [11–13].
The main aim of this contribution is to establish necessary and sufficient conditions for the existence of solutions of the singular systems of ordinary differential equations with impulsive action in a relevant space. In order to do so, we will use the theory of impulsive differential equations and known results from the theory of singular Fredholm boundary value problems . Moreover, an algorithm for finding solutions of such problems in the general case under the assumption that the unperturbed singular differential systems can be reduced into the central canonical form is suggested in the paper.
where , are matrices, , ; is an n-dimensional column vector function; , are real constant matrices; , , are -dimensional real constant column vectors, i.e., , and .
We suppose that the components of the matrices and the vector are real sufficiently many times continuously differentiable functions on the interval . The property ‘sufficiently many times’ depends on the rank of the matrix , as will be seen below.
The solution is being sought in the space of n-dimensional piecewise continuously differentiable vector functions, .
- 1.are identity matrices, matrices and hence n-dimensional column vectors, then the conditions (2) take the form of the standard impulsive conditions (see in ):
- 2., , and are vectors, then the conditions (2) take the form of impulsive conditions only on the corresponding components of the vectors :
2 Auxiliary results
We have already mentioned that the reducibility of singular linear systems to the central canonical form is the key issue in the study of singular problems. Some useful results related to these problems are proved in . Here these results are formulated into an auxiliary statement in the form of Lemma 1, and they will be further used to solve the problem (1), (2).
to system (3).
Let be an matrix formed by linearly independent solutions of system (3) and let be an matrix formed by linearly independent solutions of adjoint system (4).
for all ;
- (ii)there exists a complete Jordan set of vectors , , , of the matrix on the given interval with respect to the operator , which is determined by the relations
; , .
- (1)there exist matrices which are nonsingular for all and such that the multiplication by and the substitution reduce system (1) to the central canonical form(5)
- (2)there exists the general solution of system (1) in the form(6)
on the interval .
Note, it follows from condition (ii) that there exists a similar Jordan set of vectors , , , of the adjoint matrix with respect to the operator . The vectors that form these sets are linearly independent for all , and the completeness condition implies that the determinant consisting of inner products of the vectors by basis elements of the null space of the matrix is nonzero, i.e., .
3 Main results
In the first part of this section, the relationship of the considered problem (1), (2) with an interface (see in ) boundary value problem is shown and the solvability conditions of these problems are derived. Then, in the second part, the case when the solvability conditions are not satisfied is discussed.
3.1 Connection with the interface boundary value problem
where , ; ℓ is an m-dimensional linear vector functional ; , .
of linearly independent solutions if and only if the condition (13) is satisfied. Thus, we have proved the following statement.
The operator is usually called the generalized Green operator of the singular boundary value problem (8), (9) which acts on a vector function and .
where and . It is well known that such kind of the initial Cauchy problems with a singular matrix of the system are not solvable for arbitrary and α.
The necessary and sufficient conditions for the existence of solutions of the singular initial Cauchy problem (18), (19) and also the form of the unique solution of this problem directly follow from Theorem 1 as a corollary.
where is an constant matrix, , is a matrix consisting of d linearly independent rows of the matrix (an orthogonal projection) projecting the space onto the cokerD.
3.2 Bifurcation conditions
Our purpose in this part is to determine sufficient conditions for the bifurcation of solutions of the linear singular Fredholm differential system with the impulsive action with a small parameter. It will also be assumed that the unperturbed singular differential system can be reduced to the central canonical form.
where , , , , is a small parameter, will be solvable for any nonhomogeneities. Therefore, it is analyzed whether the problem (1), (2) can be made solvable by introducing linear perturbations and, if this is possible, then of what kind the perturbations should be to make the boundary value problem (22), (23) solvable for all nonhomogeneities , .
Using the Vishik-Lyusternik method and the technique of Moore-Penrose pseudoinverse matrices, an algorithm for finding a family of linearly independent solutions of such problems for the general case can be suggested.
We can formulate the following statement.
convergent for fixed , where is an appropriate constant characterizing the domain of the convergence of the series (26), and the coefficients are determined from the corresponding problems.
This research was supported by the Grant No 1/0682/13 of the Grant Agency of the Slovak Republic (VEGA). The authors would like to thank the referees and the editor for helpful suggestions incorporated into this paper.
- Campbell SL, Petzold LR: Canonical forms and solvable singular systems of differential equations. SIAM J. Algebr. Discrete Methods 1983, 4: 517-521. 10.1137/0604051MathSciNetView ArticleGoogle Scholar
- Rheinboldt WC: Differential-algebraic systems as differential equations on manifolds. Math. Comput. 1984, 43(168):473-482. 10.1090/S0025-5718-1984-0758195-5MathSciNetView ArticleGoogle Scholar
- Chistyakov VF, Shcheglova AA: Izbrannye glavy teorii algebro-differentsialnykh sistem. Nauka, Novosibirsk; 2003. (Selected chapters in the Theory of Differential-Algebraic Systems).Google Scholar
- Brenan KE, Campbell SL, Petzold LR Classics in Applied Mathematics 14. In Numerical Solution of Initial-Boundary Problems in Differential-Algebraic Equations. SIAM, Philadelphia; 1996.Google Scholar
- Samoilenko AM, Shkil’ MI, Yakovets VP: Linear Systems of Differential Equations with Singularities. Vyshcha Shkola, Kiev; 2000.Google Scholar
- Boichuk AA, Shegda LM: Bifurcation of solutions of singular Fredholm boundary value problems. Differ. Equ. 2011, 47(4):453-461. 10.1134/S001226611104001XMathSciNetView ArticleGoogle Scholar
- Myshkis AD, Samoilenko AM: Systems with shocks at given moments of time. Mat. Sb. 1967, 74(2):202-208. (in Russian)MathSciNetGoogle Scholar
- Samoilenko AM, Perestyuk NA: Impulsive Differential Equations. Vyshcha Shkola, Kiev; 1974. (in Russian)Google Scholar
- Halanay A, Wexler D: Qualitative Theory of Impulsive Systems. Mir, Moscow; 1971. (Russian translation)Google Scholar
- Schwabik S, Tvrdý M, Vejvoda O: Differential and Integral Equations: Boundary Value Problems and Adjoints. Academia and Reidel, Prague; 1979.Google Scholar
- Boichuk AA, Samoilenko AM: Generalized Inverse Operators and Fredholm Boundary-Value Problems. Brill, Utrecht; 2004.View ArticleGoogle Scholar
- Samoilenko AM, Boichuk AA, Boichuk AA: Solutions of weakly perturbed linear systems bounded on the entire axis. Ukr. Mat. Zh. 2002, 54: 1517-1530.MathSciNetGoogle Scholar
- Boichuk AA, Diblík J, Khusainov DY, Růžičková M: Fredholm’s boundary-value problems for differential systems with a single delay. Nonlinear Anal. 2010, 72: 2251-2258. 10.1016/j.na.2009.10.025MathSciNetView ArticleGoogle Scholar
- Zettl A: Adjoint and self-adjoint boundary value problems with interface conditions. SIAM J. Appl. Math. 1968, 16(4):851-859. 10.1137/0116069MathSciNetView ArticleGoogle Scholar
- Boichuk A, Pokutnij A: Bounded solutions of linear perturbed differential equations in a Banach space. Tatra Mt. Math. Publ. 2007, 39: 1-12.Google Scholar
- Boichuk A, Langerová M, Škoríková J: Solutions of linear impulsive differential equations bounded on the whole line. Adv. Differ. Equ. 2010., 2010: Article ID 494379 10.1155/2010/494379Google Scholar
- Boichuk A, Langerová M, Škoríková J: Existence conditions for bounded solutions of weakly perturbed linear impulsive systems. Abstr. Appl. Anal. 2011., 2011: Article ID 792689 10.1155/2011/792689Google Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.