- Research
- Open Access

# Systems of singular differential equations with pulse action

- Alexandr Boichuk
^{1}, - Martina Langerová
^{2}, - Miroslava Růžičková
^{2}Email author and - Evgenij Voitushenko
^{3}

**2013**:186

https://doi.org/10.1186/1687-1847-2013-186

© Boichuk et al.; licensee Springer 2013

**Received: **19 February 2013

**Accepted: **30 May 2013

**Published: **26 June 2013

## Abstract

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.

**MSC:**34A09, 34A37.

## Keywords

- singular systems
- impulsive action
- central canonical form
- existence of solutions
- Moore-Penrose pseudo-inverse matrix

## 1 Introduction

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 [1] 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 [4].

The existence of solutions of problems with singular matrix, mainly initial-value and periodic problems, was studied in [5]. This paper deals with the most complicated and the least studied resonance problems [6] 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 [7], later also in the work by Samoilenko and Perestyuk [8]. The theory was also developed by Halanay and Wexler [9], Schwabik *et al.* [10] 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 [6]. 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 $A(t)$, $B(t)$ are $n\times n$ matrices, $detB(t)=0$, $\mathrm{\forall}t\in [a,b]$; $f(t)$ is an *n*-dimensional column vector function; ${E}_{i}$, ${S}_{i}$ are ${m}_{i}\times n$ real constant matrices; ${\gamma}_{i}$, $i=1,\dots ,p$, are ${m}_{i}$-dimensional real constant column vectors, *i.e.*, ${\gamma}_{i}\in {\mathbb{R}}^{{m}_{i}}$, and $\mathrm{\Delta}{E}_{i}x{|}_{t={\tau}_{i}}:={E}_{i}(x({\tau}_{i}+)-x({\tau}_{i}-))$.

We suppose that the components of the matrices $A(t),B(t)$ and the vector $f(t)$ are real sufficiently many times continuously differentiable functions on the interval $[a,b]$. The property ‘sufficiently many times’ depends on the rank of the matrix $B(t)$, as will be seen below.

The solution $x(t)$ is being sought in the space of *n*-dimensional piecewise continuously differentiable vector functions, $x(t)\in {C}^{1}([a,b]\setminus \{{\tau}_{1},\dots ,{\tau}_{p}\})$.

The norms in the spaces $C([a,b]\setminus \{{\tau}_{1},\dots ,{\tau}_{p}\})$, ${C}^{1}([a,b]\setminus \{{\tau}_{1},\dots ,{\tau}_{p}\})$ are introduced in the standard manner, by analogy with [8, 9].

- 1.$\mathrm{\forall}i=1,\dots ,p$ are ${E}_{i}:=E$ $n\times n$ identity matrices, ${S}_{i}$ $n\times n$ matrices and hence ${\gamma}_{i}$
*n*-dimensional column vectors, then the conditions (2) take the form of the standard impulsive conditions (see in [8]):$\mathrm{\Delta}x{|}_{t={\tau}_{i}}:=x({\tau}_{i}+)-x({\tau}_{i}-)={S}_{i}x({\tau}_{i}-)+{\gamma}_{i},\phantom{\rule{1em}{0ex}}i=1,\dots ,p.$ - 2.${E}_{1}:=(1,0,\dots ,0),\dots ,{E}_{i}:=(0,\dots ,0,1,0,\dots ,0),\dots $, $i=1,\dots ,p$, $p\le n$ and ${S}_{i}$ are $1\times n$ vectors, then the conditions (2) take the form of impulsive conditions only on the corresponding components of the vectors $x(t)=col({x}_{1}(t),\dots ,{x}_{i}(t),\dots ,{x}_{n}(t))$:$\mathrm{\Delta}{E}_{i}x{|}_{t={\tau}_{i}}:={x}_{i}({\tau}_{i}+)-{x}_{i}({\tau}_{i}-),\phantom{\rule{1em}{0ex}}i=1,\dots ,p.$

## 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 [5]. 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 ${X}_{n-s}(t)$ be an $n\times (n-s)$ matrix formed by $n-s$ linearly independent solutions of system (3) and let ${Y}_{n-s}(t)$ be an $n\times (n-s)$ matrix formed by $n-s$ linearly independent solutions of adjoint system (4).

**Lemma 1**

*Let us assume that the following conditions are satisfied*:

- (i)
$rankB(t)=n-{r}_{1}$

*for all*$t\in [a,b]$; - (ii)
*there exists a complete Jordan set of vectors*${\phi}_{i}^{j}(t)$, $j=1,\dots ,{s}_{i}$, $i=1,\dots ,{r}_{1}$,*of the matrix*$B(t)$*on the given interval*$[a,b]$*with respect to the operator*$L(t)=A(t)-B(t)\frac{d}{dt}$,*which is determined by the relations*$\begin{array}{c}B(t){\phi}_{i}^{1}(t)=o,\hfill \\ B(t){\phi}_{i}^{j}(t)=L(t){\phi}_{i}^{j-1}(t),\phantom{\rule{1em}{0ex}}j=2,\dots ,{s}_{i},i=1,\dots ,{r}_{1};\hfill \end{array}$ - (iii)
$A(t),B(t)\in {C}^{3q-2}[a,b]$; $f(t)\in {C}^{q-1}[a,b]$, $q={max}_{i}{s}_{i}$.

*Then*

- (1)
*there exist matrices*$P(t),{Q}_{1}(t)\in {C}^{q-1}[a,b]$*which are nonsingular for all*$t\in [a,b]$*and such that the multiplication by*$P(t)$*and the substitution*$x={Q}_{1}(t)y$*reduce system*(1)*to the central canonical form*$\left(\begin{array}{cc}{E}_{n-s}& 0\\ 0& I\end{array}\right)\frac{dy}{dt}=\left(\begin{array}{cc}M(t)& 0\\ 0& {E}_{s}\end{array}\right)y+P(t)f(t),$(5)

*where*${E}_{s}$, ${E}_{n-s}$, $s={s}_{1}+{s}_{2}+\cdots +{s}_{{r}_{1}}$,

*are the*$s\times s$

*or*$(n-s)\times (n-s)$

*respectively identity matrices*, $I=diag({I}_{1},\dots ,{I}_{{r}_{1}})$

*is the quasi*-

*diagonal matrix consisting of nilpotent Jordan blocks*${I}_{i}$, $i=1,\dots ,{r}_{1}$,

*of orders*${s}_{i}$.

- (2)
*there exists the general solution of system*(1)*in the form*$x(t,c)={X}_{n-s}(t)c+\tilde{x}(t)$(6)

*on the interval* $[a,b]$.

*c*in (6) is an arbitrary $(n-s)$-dimensional constant vector and $\tilde{x}(t)$ is a partial solution of the nonhomogeneous system (1) of the form

Note, it follows from condition (ii) that there exists a similar Jordan set of vectors ${\psi}_{i}^{j}(t)$, $j=1,\dots ,{s}_{i}$, $i=1,\dots ,{r}_{1}$, of the adjoint matrix ${B}^{\ast}(t)$ with respect to the operator ${L}^{\ast}(t)={A}^{\ast}(t)+\frac{d}{dt}{B}^{\ast}(t)$. The vectors that form these sets are linearly independent for all $t\in [a,b]$, and the completeness condition implies that the determinant consisting of inner products of the vectors $L{\phi}_{i}^{({s}_{i})}(t)$ by basis elements of the null space of the matrix ${B}^{\ast}(t)$ is nonzero, *i.e.*, $det{\parallel (L(t){\phi}_{i}^{({s}_{i})}(t),{\psi}_{i}^{j}(t))\parallel}_{i,j=1,\dots ,{r}_{1}}\ne 0$.

## 3 Main results

In the first part of this section, the relationship of the considered problem (1), (2) with an interface (see in [14]) 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 $\gamma :=col({\gamma}_{1},\dots ,{\gamma}_{{m}_{p}})\in {\mathbb{R}}^{m}$, $m:={m}_{1}+\cdots +{m}_{p}$; *ℓ* is an *m*-dimensional linear vector functional $\ell :=col({\ell}_{1},{\ell}_{2},\dots ,{\ell}_{p}):{C}^{1}([a,b]\setminus \{{\tau}_{1},\dots ,{\tau}_{p}\})\to {\mathbb{R}}^{m}$; ${\ell}_{i}:{C}^{1}([a,b]\setminus \{{\tau}_{i},\dots ,{\tau}_{p}\})\to {\mathbb{R}}^{{m}_{i}}$, $i=1,2,\dots ,p$.

*n*-dimensional piecewise continuously differentiable vector functions with discontinuities of the first kind at $t={\tau}_{i}$. We use the general solution (6),

*Q*is an $m\times (n-s)$ constant matrix,

*i.e.*, if the following condition is satisfied:

*d*linearly independent rows of the $m\times m$ matrix ${P}_{{Q}^{\ast}}$; ${Q}^{+}$ is the unique $(n-s)\times m$ Moore-Penrose pseudoinverse matrix of the matrix

*Q*. As a result, the criterion (12) consists of

*d*linearly independent conditions,

*r*-parametric family of linearly independent solutions

*Q*. Since $rank{P}_{Q}=r=(n-s)-{n}_{1}$, by ${P}_{{Q}_{r}}$ we denote an $(n-s)\times r$ matrix consisting of

*r*linearly independent columns of the matrix ${P}_{Q}$. Substituting solutions (14) in expression (6), we get that the singular linear nonhomogeneous boundary value problem (8), (9) has an

*r*-parametric family

of linearly independent solutions if and only if the condition (13) is satisfied. Thus, we have proved the following statement.

**Theorem 1**

*The interface singular boundary value problem*(8), (9)

*and hence the problem*(1), (2)

*are solvable if and only if the nonhomogenities*$f(t)\in {C}^{q-1}([a,b])$

*and*${\gamma}_{i}\in {\mathbb{R}}^{{m}_{i}}$

*satisfy*

*d*

*linearly independent conditions*:

*Moreover*,

*then there exist exactly*

*r*

*linearly independent solutions of the corresponding homogeneous system*(3)

*in the form*$x(t,{c}_{r})={X}_{r}(t){c}_{r}$

*and the nonhomogeneous system*(1), (2)

*possesses an*

*r*-

*parametric family of linearly independent solutions in the form*

The operator $(G[f,\gamma ])(t)$ is usually called the generalized Green operator of the singular boundary value problem (8), (9) which acts on a vector function $f(t)\in {C}^{q-1}([a,b])$ and $\gamma \in {\mathbb{R}}^{m}$.

where $f(t)\in {C}^{q-1}[a,b]$ and $\alpha \in {\mathbb{R}}^{n}$. It is well known that such kind of the initial Cauchy problems with a singular matrix of the system are not solvable for arbitrary $f(t)$ 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.

**Corollary 1**

*The initial Cauchy problem*(18), (19)

*for singular linear systems of ordinary differential equations is solvable if and only if the nonhomogenities*$f(t)\in {C}^{q-1}([a,b])$

*and*$\alpha \in {\mathbb{R}}^{n}$

*satisfy*

*d*

*linearly independent conditions*,

*and possesses a unique solution in the form*

*where* $D:={X}_{n-s}(a)$ *is an* $n\times (n-s)$ *constant matrix*, $rank{P}_{{D}^{\ast}}=d=n-rankD$, ${P}_{{D}_{d}^{\ast}}$ *is a* $d\times n$ *matrix consisting of* *d* *linearly independent rows of the* $n\times n$ *matrix* ${P}_{{D}^{\ast}}:={E}_{n}-D{D}^{+}$ (*an orthogonal projection*) *projecting the space* ${\mathbb{R}}^{n}$ *onto the* coker*D*.

### 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 $A(t),{A}_{1}(t),B(t)\in {C}^{3q-2}[a,b]$, $detB(t)=0$, ${\gamma}_{i}\in {\mathbb{R}}^{{m}_{i}}$, $i=1,\dots ,p$, $\epsilon >0$ 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 ${A}_{1}(t)\in {C}^{3q-2}[a,b]$ should be to make the boundary value problem (22), (23) solvable for all nonhomogeneities $f\in {C}^{q-1}[a,b]$, $\gamma :=col({\gamma}_{1},\dots ,{\gamma}_{p})\in {\mathbb{R}}^{m}$.

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.

where $\ell :{C}^{1}([a,b]\setminus \{{\tau}_{1},\dots ,{\tau}_{p}\})\to {R}^{m}$.

We can formulate the following statement.

**Theorem 2**

*Let us suppose that there exists no solution of the singular generating boundary value problem*(1), (2)

*for some nonhomogeneities*$f(t)\in {C}^{q-1}[a,b]$, $\gamma \in {R}^{m}$.

*If*

*then there exists a*

*ρ*-

*parametric*($\rho :=r-d=n-s-m$)

*family of linearly independent solutions of the perturbed singular boundary value problem*(22), (23)

*in the form of a part of the Laurent series in powers of a parameter*

*ε*:

*convergent for fixed* $\epsilon \in (0,{\epsilon}_{\ast}]$, *where* ${\epsilon}_{\ast}$ *is an appropriate constant characterizing the domain of the convergence of the series* (26), *and the coefficients* ${x}_{i}(t,{c}_{\rho})$ *are determined from the corresponding problems*.

The proof of these results can be done in a similar way as in the works [6, 15–17] and we omit it.

## Declarations

### Acknowledgements

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.

## Authors’ Affiliations

## References

- 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

## Copyright

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.