 Research
 Open Access
 Published:
Existence and uniqueness of solutions to complexvalued nonlinear impulsive differential systems
Advances in Difference Equations volume 2012, Article number: 115 (2012)
Abstract
Since the quantum system, a classical example of complexvalued system, is one of the foci of ongoing research, in this paper, the issue of existence and uniqueness of solutions to nonlinear impulsive differential systems defined in complex fields, to be brief, complexvalued nonlinear impulsive differential systems, is addressed. The existence and uniqueness conditions of solutions of such systems are established by fixed point theory.
MSC:34A37, 34A12, 34A34.
1 Introduction
Impulsive differential equations have become more important in recent years in some mathematical models of real processes and phenomena studied in physics, chemical technology, population dynamics, biotechnology and economics. Nowadays, there has been increasing interest in the analysis and synthesis of impulsive systems, or impulsive control systems, due to their theoretical and practical significance, for example [1–7] and the references therein.
As the fundamental issues of modern impulse theory, the existence and uniqueness of solutions to impulsive differential systems have been studied extensively in recent years, especially in the area of impulsive differential equations with fixed moments, see the monographs of Lakshmikantham et al.[7], Samoilenko and Perestyuk [8], the literature [9, 10] and references therein. However, the common setting adopted in the abovementioned works is always in real number fields. In fact, equations of many classical systems such as Schrödinger equation [11], GinzburgLandau equation [12], Riccati equation [13] and OrrSommerfeld equation [14] are considered in the complex number fields. But, there have been few reports about the analysis and synthesis of complex dynamical systems, for example, [15–22] and references therein. More complex than the real system, the study on complex dynamical systems has many potential applications in science and engineering. For example, recently, research on the control theory of quantum systems has attracted considerable attention [17–19]. Quantum systems are a class of complex dynamical systems which take values in a Banach space in a complex field. Another example of complex dynamical systems is complexvalued neural networks. Complexvalued neural networks have been found highly useful in extending the scope of applications in optoelectronics, filtering, imaging, speech synthesis, computer vision, remote sensing, quantum devices, spatiotemporal analysis of physiological neural devices and systems, and artificial neural information processing [20, 21].
Although the controllability and observability of complexvalued differential systems have been discussed in the papers [15] and [16], to the best of our knowledge, there has been no result so far about the existence and uniqueness of solutions to complexvalued nonlinear impulsive differential systems. The issue of the existence and uniqueness of solutions to complexvalued differential system, which is the premise and foundation when discussing this system, is one of the most fundamental ones. So it is very important and necessary to study the existence and uniqueness of solutions to complexvalued nonlinear impulsive differential systems. Due to these reasons, in this paper, we consider the fundamental concepts of solutions of the complexvalued nonlinear impulsive differential systems by an algebraic approach. The main difficulty is to investigate the conditions for existence and uniqueness of solution of complexvalued nonlinear impulsive differential systems in the context of complex fields. Explicit characterization for existence and uniqueness of this kind of system is presented by Banach’s fixed point theorem. This problem is meaningful and challenging.
The paper is organized as follows. In Section 2, the complexvalued nonlinear impulsive differential systems to be dealt with are formulated and several results about the space of the complexvalued continuous functions are presented. The conditions for existence and uniqueness of solution of complexvalued nonlinear impulsive differential systems are also established in Section 2. An example that illustrates the main points of the paper is presented in Section 3. Finally, some conclusions are drawn in Section 4.
2 Existence and uniqueness results
In this section, we will give the existence and uniqueness of solutions to complexvalued nonlinear impulsive differential systems. First, we introduce notations, definitions, and preliminary facts which are used throughout this paper.
By $C(J,\mathbb{R})$ we denote the Banach space of all continuous functions from interval J into $\mathbb{R}$ with the norm
By $C(J,{\mathbb{R}}^{n})$ we denote the Banach space of all continuous functions from interval J into ${\mathbb{R}}^{n}$ with the norm
where ${x}_{i}(t)$ is the i th component of $x(t)$. By $C(J,{\mathbb{C}}^{n})$ we denote the space of all complex functions defined by
where $k=1,2,\dots ,n$, $i=\sqrt{1}$, ${x}_{k}(t)$ denotes the k th component of $x(t)$, $Re({x}_{k}(t))$ and $Im({x}_{k}(t))$ are the real part and imaginary part of ${x}_{k}(t)$, respectively.
By $PC(J,{\mathbb{C}}^{n})$ we denote the space of all complex piecewise functions defined by
where $k=0,1,2,\dots ,m$, $t\in J=[{t}_{0},T]$, ${t}_{0}<{t}_{1}<{t}_{2}<\cdots <{t}_{m}<T$, and ${J}_{0}=[{t}_{0},{t}_{1}]$, ${J}_{l}=({t}_{l},{t}_{l+1}]$, $l=1,2,\dots ,m1$, ${J}_{m}=({t}_{m},T]$.
We are now able to define a complexvalued nonlinear impulsive differential system on the interval $J=[{t}_{0},T]$,
where ${t}_{0}<{t}_{1}<{t}_{2}<\cdots <{t}_{m}<T$, $z(t)\in PC(J,{\mathbb{C}}^{n})$, $f:J\times \mathrm{\Omega}\mapsto {\mathbb{C}}^{n}$ is a given function, $\mathrm{\Omega}\subset {\mathbb{C}}^{n}$ is a closed set. ${I}_{k}\in C({\mathbb{C}}^{n},{\mathbb{C}}^{n})$, $k=1,2,\dots ,m$.
The solution of the complexvalued nonlinear impulsive differential system can be defined as follows.
Definition 2.1 A function $z(t)\in PC([{t}_{0},{t}_{0}+T],{\mathbb{C}}^{n})$ is said to be a solution of (1), if $z(t)$ satisfies
In the sequel we shall need the properties of a complexvalued function space, which we prove for reader’s convenience.
Lemma 2.2 $C(J,{\mathbb{C}}^{n})$ is a Banach space in the field $\mathbb{R}$ with the norm
Proof Let $x(t)$ and $y(t)$ be arbitrary two functions of $C(J,{\mathbb{C}}^{n})$, $\alpha \in \mathbb{R}$.
Step 1 ${\parallel \cdot \parallel}_{JC}$ is a norm of $C(J,{\mathbb{C}}^{n})$.

(i)
${\parallel x(t)\parallel}_{JC}\ge 0,\text{and}{\parallel x(t)\parallel}_{JC}=0\u27fa{\parallel Re(x(t))\parallel}_{JR}={\parallel Im(x(t))\parallel}_{JR}=0\u27faRe(x(t))=Im(x(t))=0\u27fax(t)=0$.

(ii)
${\parallel \alpha x(t)\parallel}_{JC}={({\parallel Re(\alpha x(t))\parallel}_{JR}^{2}+{\parallel Im(\alpha x(t))\parallel}_{JR}^{2})}^{1/2}={({\parallel \alpha Re(x(t))\parallel}_{JR}^{2}+{\parallel \alpha Im(x(t))\parallel}_{JR}^{2})}^{1/2}=\alpha {\parallel x(t)\parallel}_{JC}$.(iii)
$$\begin{array}{rcl}{\parallel x(t)+y(t)\parallel}_{JC}& =& {({\parallel Re(x(t)+y(t))\parallel}_{JR}^{2}+{\parallel Im(x(t)+y(t))\parallel}_{JR}^{2})}^{1/2}\\ =& {({\parallel Re(x(t))+Re(y(t))\parallel}_{JR}^{2}+{\parallel Im(x(t))+Im(y(t))\parallel}_{JR}^{2})}^{1/2}\\ \le & [{({\parallel Re(x(t))\parallel}_{JR}+{\parallel Re(y(t))\parallel}_{JR})}^{2}\\ +{({\parallel Im(x(t))\parallel}_{JR}+{\parallel Im(y(t))\parallel}_{JR})}^{2}{]}^{1/2}\\ \le & {({\parallel Re(x(t))\parallel}_{JR}^{2}+{\parallel Im(x(t))\parallel}_{JR}^{2})}^{1/2}\\ +{({\parallel Re(y(t))\parallel}_{JR}^{2}+{\parallel Im(y(t))\parallel}_{JR}^{2})}^{1/2}\\ =& {\parallel x(t)\parallel}_{JC}+{\parallel y(t)\parallel}_{JC}.\end{array}$$
So ${\parallel \cdot \parallel}_{JC}$ is a norm of $C(J,{\mathbb{C}}^{n})$.
Step 2 $(C(J,{\mathbb{C}}^{n}),{\parallel \cdot \parallel}_{JC})$ is a complete space.
Let $\{{x}^{(s)}\}$ be an arbitrary Cauchy series, then for arbitrary $\epsilon >0$, exists $N>0$, when $s,l>N$,
namely
So
the inequality (3) shows that $Re(\{{x}^{(s)}\})$ and $Im(\{{x}^{(s)}\})$ are the Cauchy series of $C(J,{\mathbb{R}}^{n})$, since $C(J,{\mathbb{R}}^{n})$ is a Banach space, $Re(\{{x}^{(s)}\})$ and $Im(\{{x}^{(s)}\})$ must be convergent. Hence $\{{x}^{(s)}\}$ is convergent. The proof is completed. □
Lemma 2.3 $PC(J,{\mathbb{C}}^{n})$ is a Banach space in the field $\mathbb{R}$ with the norm
where${\parallel x(t)\parallel}_{{J}_{k}C}$is the norm of$x(t)$which is restricted in${J}_{k}$.
Proof Let $x(t)$ and $y(t)$ be arbitrary two functions of $PC(J,{\mathbb{C}}^{n})$, $\alpha \in \mathbb{R}$.
Step 1 ${\parallel \cdot \parallel}_{PC}$ is a norm of $PC(J,{\mathbb{C}}^{n})$.

(i)
${\parallel x(t)\parallel}_{PC}\ge 0,\text{and}{\parallel x(t)\parallel}_{PC}=0\u27fa{\parallel x(t)\parallel}_{{J}_{k}C}=0,k=0,1,\dots ,m\u27fax(t)=0$.

(ii)
${\parallel \alpha x(t)\parallel}_{PC}=max\{{\parallel \alpha x(t)\parallel}_{{J}_{k}C}\}=max\{\alpha {\parallel x(t)\parallel}_{{J}_{k}C}\}=\alpha max\{{\parallel x(t)\parallel}_{{J}_{k}C}\}=\alpha {\parallel x(t)\parallel}_{PC}$.(iii)
$$\begin{array}{rcl}{\parallel x(t)+y(t)\parallel}_{PC}& =& max\left\{{\parallel x(t)+y(t)\parallel}_{{J}_{k}C}\right\}\le max\{{\parallel x(t)\parallel}_{{J}_{k}C}+{\parallel y(t)\parallel}_{{J}_{k}C}\}\\ \le & max\left\{{\parallel x(t)\parallel}_{{J}_{k}C}\right\}+max\left\{{\parallel y(t)\parallel}_{{J}_{k}C}\right\}\\ =& {\parallel x(t)\parallel}_{PC}+{\parallel y(t)\parallel}_{PC}.\end{array}$$
So ${\parallel \cdot \parallel}_{PC}$ is a norm of $PC(J,{\mathbb{C}}^{n})$.
Step 2 $(PC(J,{\mathbb{C}}^{n}),{\parallel \cdot \parallel}_{PC})$ is a complete space.
Let $\{{x}^{(s)}\}$ be an arbitrary Cauchy series in $PC(J,{\mathbb{C}}^{n})$, then for arbitrary $\epsilon >0$, exists $N>0$, when $s,l>N$,
namely
So, for every k, we have
the inequality (4) shows that the restriction functions of ${x}^{(s)}$ in ${J}_{k}$ are the Cauchy series of $C(J,{\mathbb{C}}^{n})$. By Lemma 2.2, $C(J,{\mathbb{C}}^{n})$ is a Banach space, the restriction functions of ${x}^{(s)}$ in ${J}_{k}$ must be convergent. Hence $\{{x}^{(s)}\}$ is convergent. The proof is completed. □
Theorem 2.4 Let$f:J\times \mathrm{\Omega}\to {\mathbb{C}}^{n}$be a continuous function. Then$z(t)$is the unique solution of the initial value problem (1) if and only if$z(t)$is a solution of impulsive integral equation
Proof Let $z(t)$ be a possible solution of the complex impulsive system (1), then $z(t)$ is a solution to
for $t\in J:=[{t}_{0},T]$, $t\ne {t}_{k}$. Assume that ${t}_{k}<t<{t}_{k+1}$, $k=1,2,\dots ,m$. The integration of above equality yields
Adding these together, we get
The above equality shows that $z(t)$ is a solution to (5).
Assume that $z(t)$ satisfies the integration equation (5), obviously
for $t\in J:=[{t}_{0},T]$, $t\ne {t}_{k}$.
When $t={t}_{2}$, by (5)
Thus $z({t}_{1}^{+})z({t}_{1}^{})={I}_{1}(z({t}_{1}^{}))$. By the same way, we can easily prove that $z({t}_{k}^{+})z({t}_{k})={I}_{k}(z({t}_{k}^{}))$, $k=1,2,\dots ,m$. The proof is completed. □
We are now in a position to state and prove the existence and uniqueness result of the complex impulsive system (1).
Theorem 2.5 Assume that the following hypotheses hold:

(i)
There exists $m(t)\in {L}^{1}([{t}_{0},T],{R}^{+})$ such that
$$f(t,{z}_{1})f(t,{z}_{2})\le m(t){z}_{1}{z}_{2},$$
for all$t\in [{t}_{0},{t}_{0}+T]$, ${z}_{1},{z}_{2}\in \mathrm{\Omega}\subset {\mathbb{C}}^{n}$.

(ii)
There exist constants ${c}_{k}\ge 0$, $k=1,2,\dots ,m$, such that
$${I}_{k}({z}_{1}){I}_{k}({z}_{2})\le {c}_{k}{z}_{1}{z}_{2},$$
for each${z}_{1},{z}_{2}\in \mathrm{\Omega}\subset {\mathbb{C}}^{n}$, and${\sum}_{k=1}^{m}{c}_{k}<1$,
where$\cdot $is the Euclid norm of${\mathbb{C}}^{n}$. Then the complex impulsive system (1) has a unique solution in$[{t}_{0},{t}_{0}+T]$.
Proof Transform the problem (1) into a fixed point problem. Consider the map $H:PC(J,{\mathbb{C}}^{n})\to PC(J,{\mathbb{C}}^{n})$ defined by
We shall show that H is a contraction. For arbitrary ${z}_{1}(t),{z}_{2}(t)\in PC(J,{\mathbb{C}}^{n})$, then we have for each $t\in J$
Thus
where $M(t)={\int}_{{t}_{0}}^{t}m(s)\phantom{\rule{0.2em}{0ex}}ds$ and τ is sufficiently large and ${\parallel \cdot \parallel}_{BPC}$ is the norm on $PC(J,{\mathbb{C}}^{n})$ defined by
Therefore,
We can always choose τ, such that $1/\tau +{\sum}_{{t}_{0}<{t}_{k}<t}{c}_{k}<1$, so H is a contraction. By the Lemma 2.3, Theorem 2.4 and the Banach contraction principle, H has a unique fixed point which is a solution to (1). The proof is completed. □
3 Example
Example 3.1 Let $W=\{zz\le \rho \}$, $\rho >0$, ${J}_{1}=[0,\pi /2]$, ${J}_{2}=(\pi /2,\pi ]$, $J={J}_{1}\cup {J}_{2}$, the existence and uniqueness of complexvalued nonlinear impulsive system
are considered on $J\times W$.
Obviously the condition (ii) of Theorem 2.4 is satisfied. Moreover, for arbitrary $z,w\in W$
so the hypothesis of the Theorem 2.5 holds. By Theorem 2.5, the complexvalued impulsive system (6) has a unique solution. In fact, the solution of the system (6) is
4 Conclusion
In this paper, the issue on the existence and uniqueness of the complexvalued nonlinear impulsive system has been addressed for the first time. Taking advantage of the differential equation theory in complex fields, the existence and uniqueness conditions for such systems have been established without imposing extra conditions.
References
 1.
Lisena B: Dynamical behavior of impulsive and periodic Cohen Grossberg neural networks. Nonlinear Anal. 2011, 74: 4511–4519. 10.1016/j.na.2011.04.015
 2.
Chen WH, Zheng WX: Inputtostate stability for networked control systems via an improved impulsive system approach. Automatica 2011, 47(4):789–796. 10.1016/j.automatica.2011.01.050
 3.
Li DS, Long SJ: Attracting and quasiinvariant sets for a class of impulsive stochastic difference equations. Adv. Differ. Equ. 2011., 2011:
 4.
Li CX, Sun JT, Sun RY: Stability analysis of a class of stochastic differential delay equations with nonlinear impulsive effects. J. Franklin Inst. 2010, 347(7):1186–1198. 10.1016/j.jfranklin.2010.04.017
 5.
Wang JR, Xiang X, Wei W: Bounded and periodic solutions of semilinear impulsive periodic system on Banach spaces. Fixed Point Theory Appl. 2008., 2008:
 6.
Zhang Y, Sun JT: Stability of impulsive delay differential equations with impulses at variable times. Dyn. Syst. 2005, 20: 323–331. 10.1080/14689360500137515
 7.
Lakshmikantham V, Bainov DD, Simeonov PS: Theory of Impulsive Differential Equations. World Scientific, Singapore; 1989.
 8.
Samoilenko AM, Perestyuk NA: Impulsive Differential Equations. World Scientific, Singapore; 1995.
 9.
Ouahab A: Local and global existence and uniqueness results for impulsive functional differential equations with multiple delay. J. Math. Anal. Appl. 2006, 323: 456–472. 10.1016/j.jmaa.2005.10.015
 10.
Ahmad B, Alsaedi A: Existence and uniqueness of solutions for coupled systems of higherorder nonlinear fractional differential equations. Fixed Point Theory Appl. 2010., 2010:
 11.
Kato T: On nonlinear Schrödinger equations. Ann. Inst. Henri Poincaré, a Phys. Théor. 1987, 46(1):113–129.
 12.
Doering C, Gibbon J, Holm D, Nicolaenko B: Lowdimensional behaviour in the complex GinzburgLandau equation. Nonlinearity 1988, 1(2):279–309. 10.1088/09517715/1/2/001
 13.
Ráb M: Geometrical approach to the study of the Riccati differential equation with complexvalued coefficients. J. Differ. Equ. 1977, 25(1):108–114. 10.1016/00220396(77)901838
 14.
Orszag SA: Accurate solution of the OrrSommerfeld stability equation. J. Fluid Mech. 1971, 50(4):659–703.
 15.
Zhao SW, Sun JT: Controllability and observability for impulsive systems in complex fields. Nonlinear Anal. 2010, 11: 1513–1521. 10.1016/j.nonrwa.2009.03.009
 16.
Fu XY: Null controllability for the parabolic equation with a complex principal part. J. Funct. Anal. 2009, 257: 1333–1354. 10.1016/j.jfa.2009.05.024
 17.
Barreiro JT, Müller M, Schindler P, Nigg D, Monz T, Chwalla M, Hennrich M, Roos CF, Zoller P, Blatt R: An opensystem quantum simulator with trapped ions. Nature 2011, 470: 486–491. 10.1038/nature09801
 18.
Schoelkopf RJ, Girvin SM: Wiring up quantum systems. Nature 2008, 451: 664–669. 10.1038/451664a
 19.
Nielsen MA, Chuang IL: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge; 2000.
 20.
Rahime C, Murat C, Yuksel O: Fuzzy clustering complexvalued neural network to diagnose cirrhosis disease. Expert Syst. Appl. 2011, 38(8):9744–9751. 10.1016/j.eswa.2011.02.025
 21.
Hirose A: ComplexValued Neural Networks: Theories and Applications. World Scientific, Singapore; 2003.
 22.
Everitt WN, Markus L: Controllability of [ r ]matrix quasidifferential equations. J. Differ. Equ. 1991, 89: 95–109. 10.1016/00220396(91)90113N
Acknowledgements
The authors would like to thank the editor and the reviewers for their constructive comments and suggestions which improved the quality of the paper. This work is supported by the NNSF of China under Grant 61174039, and by the Fundamental Research Funds for the Central Universities of China.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
TF completed the proof and wrote the initial draft. JS provided the problem and gave some suggestions on the amendment. TF then finalized the manuscript. Correspondence was mainly done by JS. Both authors read and approved the final manuscript.
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
Received
Accepted
Published
DOI
Keywords
 nonlinear system
 impulsive system
 existence and uniqueness
 solution
 complex