Namespaces
Variants
Actions

Difference between revisions of "Functional-differential equation"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (AUTOMATIC EDIT (latexlist): Replaced 85 formulas out of 85 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
Line 1: Line 1:
 +
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
 +
 +
Out of 85 formulas, 85 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|done}}
 
Many real systems exhibit the phenomenon of after-effect, which means that future states of the system can depend not only on the present, but also on the past history. After-effect occurs in physics, chemistry, biology, economy, medicine, cybernetics, etc. This wide appearance of after-effect is a reason to consider it as a universal property of the surrounding world. An appropriate mathematical tool to investigate phenomena with after-effect is provided by the theory of functional-differential equations. Historically, the first functional-differential equations were considered by L. Euler, J. Bernoulli, J. Lagrange, P. Laplace, S.D. Poisson and others in the 18th century in connection with geometrical problems. In the 19th century, functional-differential equations were investigated rather occasionally. At the beginning of the 20th century, important applications of functional-differential equations in the mechanics of visco-elasticity and in ecology were found by V. Volterra [[#References|[a5]]], [[#References|[a6]]]. The situation changed radically in the 1930s due to a number of technical and scientific reasons. The basic elements of the modern theory of functional-differential equations were established in [[#References|[a3]]], [[#References|[a4]]]. The years after [[#References|[a3]]] have witnessed an explosive development of the theory of functional-differential equations and their applications (see, e.g. [[#References|[a1]]], [[#References|[a7]]], [[#References|[a8]]], [[#References|[a9]]], [[#References|[a10]]], [[#References|[a11]]], [[#References|[a12]]], [[#References|[a13]]], [[#References|[a14]]], [[#References|[a2]]] and the numerous references therein).
 
Many real systems exhibit the phenomenon of after-effect, which means that future states of the system can depend not only on the present, but also on the past history. After-effect occurs in physics, chemistry, biology, economy, medicine, cybernetics, etc. This wide appearance of after-effect is a reason to consider it as a universal property of the surrounding world. An appropriate mathematical tool to investigate phenomena with after-effect is provided by the theory of functional-differential equations. Historically, the first functional-differential equations were considered by L. Euler, J. Bernoulli, J. Lagrange, P. Laplace, S.D. Poisson and others in the 18th century in connection with geometrical problems. In the 19th century, functional-differential equations were investigated rather occasionally. At the beginning of the 20th century, important applications of functional-differential equations in the mechanics of visco-elasticity and in ecology were found by V. Volterra [[#References|[a5]]], [[#References|[a6]]]. The situation changed radically in the 1930s due to a number of technical and scientific reasons. The basic elements of the modern theory of functional-differential equations were established in [[#References|[a3]]], [[#References|[a4]]]. The years after [[#References|[a3]]] have witnessed an explosive development of the theory of functional-differential equations and their applications (see, e.g. [[#References|[a1]]], [[#References|[a7]]], [[#References|[a8]]], [[#References|[a9]]], [[#References|[a10]]], [[#References|[a11]]], [[#References|[a12]]], [[#References|[a13]]], [[#References|[a14]]], [[#References|[a2]]] and the numerous references therein).
  
 
A functional-differential equation (also called a differential equation with deviating argument, cf. also [[Differential equations, ordinary, with distributed arguments|Differential equations, ordinary, with distributed arguments]]) can be considered as a combination of differential and functional equations. The values of the argument in a functional-differential equation can be discrete, continuous or mixed. Correspondingly, one introduce the notions of a differential-difference equation, an integro-differential equation, etc.
 
A functional-differential equation (also called a differential equation with deviating argument, cf. also [[Differential equations, ordinary, with distributed arguments|Differential equations, ordinary, with distributed arguments]]) can be considered as a combination of differential and functional equations. The values of the argument in a functional-differential equation can be discrete, continuous or mixed. Correspondingly, one introduce the notions of a differential-difference equation, an integro-differential equation, etc.
  
A functional-differential equation is called periodic with period <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f1202401.png" /> (briefly, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f1202402.png" />-periodic) if it is invariant under the change <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f1202403.png" />. This means that if one replaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f1202404.png" /> by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f1202405.png" />, sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f1202406.png" />, and then replaces the letters <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f1202407.png" /> by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f1202408.png" />, then one should obtain the initial equation. A functional-differential equation is called autonomous if it is invariant under the change <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f1202409.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024010.png" />.
+
A functional-differential equation is called periodic with period $T &gt; 0$ (briefly, $T$-periodic) if it is invariant under the change $t \mapsto t + T$. This means that if one replaces $t$ by $s + T$, sets $x ( t ) = y ( s )$, and then replaces the letters $s , y$ by $t , x$, then one should obtain the initial equation. A functional-differential equation is called autonomous if it is invariant under the change $t \mapsto t + T$ for all $T \in \mathbf{R}$.
  
 
The order of a functional-differential equation is the order of the highest derivative of the unknown function entering in the equation. So, a functional equation may be regarded as a functional-differential equation of order zero. Hence, the notion of a functional-differential equation generalizes all equations of mathematical analysis for functions of a continuous argument. A similar assertion holds for functions depending on several arguments.
 
The order of a functional-differential equation is the order of the highest derivative of the unknown function entering in the equation. So, a functional equation may be regarded as a functional-differential equation of order zero. Hence, the notion of a functional-differential equation generalizes all equations of mathematical analysis for functions of a continuous argument. A similar assertion holds for functions depending on several arguments.
Line 11: Line 19:
 
Consider the following functional-differential equation with finitely many argument deviations:
 
Consider the following functional-differential equation with finitely many argument deviations:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024011.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
\begin{equation} \tag{a1} x ^ { ( m ) } ( t ) = \end{equation}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024012.png" /></td> </tr></table>
+
\begin{equation*} = f ( t , x ^ { ( m _ { 1 } ) } ( t - h _ { 1 } ( t ) ) , \ldots , x ^ { ( m _ { k } ) } ( t - h _ { k } ( t ) ) ). \end{equation*}
  
Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024013.png" />, and all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024014.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024015.png" />, i.e. all argument deviations are assumed to be non-negative. This property constitutes the definition of a functional-differential equation with retardations. In (a1), the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024016.png" /> and the delays <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024017.png" /> are given, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024018.png" /> is the unknown function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024019.png" />.
+
Here, $x ( t ) \in \mathbf{R} ^ { n }$, and all $m _ { i } \geq 0$, $h _ { i } \geq 0$, i.e. all argument deviations are assumed to be non-negative. This property constitutes the definition of a functional-differential equation with retardations. In (a1), the function $f$ and the delays $h_i$ are given, and $x$ is the unknown function of $t$.
  
 
Equation (a1) is called:
 
Equation (a1) is called:
  
a functional-differential equation of retarded type, or a retarded functional-differential equation (abbreviated RDE), if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024020.png" />;
+
a functional-differential equation of retarded type, or a retarded functional-differential equation (abbreviated RDE), if $\operatorname { max } \{ m _ { 1 } , \dots , m _ { k } \} &lt; m$;
  
a functional-differential equation of neutral type (abbreviated NDE) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024021.png" />;
+
a functional-differential equation of neutral type (abbreviated NDE) if $\operatorname { max } \{ m _ { 1 } , \dots , m _ { k } \} = m$;
  
a functional-differential equation of advanced type (abbreviated ADE) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024022.png" />. In particular, a retarded functional-differential equation can be characterized as an equation in which the value of the higher derivative for any values of the arguments is defined by the values of the lower derivatives depending on the lesser values of the argument.
+
a functional-differential equation of advanced type (abbreviated ADE) if $\operatorname { max } \{ m _ { 1 } , \dots , m _ { k } \} &gt; m$. In particular, a retarded functional-differential equation can be characterized as an equation in which the value of the higher derivative for any values of the arguments is defined by the values of the lower derivatives depending on the lesser values of the argument.
  
 
Sometimes functional-differential equations with discrete retardations are called equations with time lag, and equations with continuous retardations are called equations with after-effect.
 
Sometimes functional-differential equations with discrete retardations are called equations with time lag, and equations with continuous retardations are called equations with after-effect.
Line 29: Line 37:
 
Experience in mathematical modeling has shown that the evolution equations of actual processes with retardations are almost exclusively retarded or neutral functional-differential equations. On the other hand, the investigation of various problems for these equations has revealed that retarded or neutral functional-differential equations have many  "nice"  mathematical properties (in contrast to functional-differential equations of advanced type).
 
Experience in mathematical modeling has shown that the evolution equations of actual processes with retardations are almost exclusively retarded or neutral functional-differential equations. On the other hand, the investigation of various problems for these equations has revealed that retarded or neutral functional-differential equations have many  "nice"  mathematical properties (in contrast to functional-differential equations of advanced type).
  
Equation (a1) can be transformed to a first-order vector equation of higher dimension by taking as new unknown functions the lower derivatives of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024023.png" />. Preserving the notation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024024.png" /> for the new unknown function and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024025.png" /> for the new right-hand side, one can write an RDE as
+
Equation (a1) can be transformed to a first-order vector equation of higher dimension by taking as new unknown functions the lower derivatives of $x$. Preserving the notation $x$ for the new unknown function and $f$ for the new right-hand side, one can write an RDE as
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024026.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a2)</td></tr></table>
+
\begin{equation} \tag{a2} \dot { x } ( t ) = f ( t , x ( t - h _ { 1 } ( t ) ) , \ldots , x ( t - h _ { k } ( t ) ) ), \end{equation}
  
 
and an NDE as
 
and an NDE as
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024027.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a3)</td></tr></table>
+
\begin{equation} \tag{a3} \dot { x } ( t ) = f ( t , x ( t - h _ { 1 } ( t ) ) , \ldots , x ( t - h _ { k } ( t ) ), \end{equation}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024028.png" /></td> </tr></table>
+
\begin{equation*} \dot { x } ( t - g _ { 1 } ( t ) ) , \ldots , \dot { x } ( t - g_{l} ( t ) ) ). \end{equation*}
  
 
Note that any functional-differential equation is equivalent to a hybrid system of ordinary differential equations and functional equations, in particular, difference equations. For example, (a3) is equivalent to the following hybrid system:
 
Note that any functional-differential equation is equivalent to a hybrid system of ordinary differential equations and functional equations, in particular, difference equations. For example, (a3) is equivalent to the following hybrid system:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024029.png" /></td> </tr></table>
+
\begin{equation*} \dot { x } ( t ) = y ( t ), \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024030.png" /></td> </tr></table>
+
\begin{equation*} y ( t ) = f ( t , x ( t - h _ { 1 } ( t ) ) , \ldots , x ( t - h _ { k } ( t ) ) , y ( t - g _ { 1 } ( t ) ) , \ldots , y ( t - g_l ( t ) ) ). \end{equation*}
  
More complicated types of retardation have also be considered, and also have real applications. For example, the delay may depend on the unknown solution, and have the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024031.png" />. Such delays are sometimes termed auto-regulative.
+
More complicated types of retardation have also be considered, and also have real applications. For example, the delay may depend on the unknown solution, and have the form $h _ { i } ( t , x ( t ) )$. Such delays are sometimes termed auto-regulative.
  
Similarly, functional-differential equations with retardation and continuous and mixed argument deviations may have the form of an integro-differential or functional integro-differential equation of some structure of Volterra type. The latter means that for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024032.png" /> the integrals depend on the values of the unknown function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024033.png" /> on some interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024034.png" />. For example, the continuous analogue of (a2) is the Volterra-type integro-differential equation
+
Similarly, functional-differential equations with retardation and continuous and mixed argument deviations may have the form of an integro-differential or functional integro-differential equation of some structure of Volterra type. The latter means that for any $t$ the integrals depend on the values of the unknown function $x ( . )$ on some interval $( - \infty , t ]$. For example, the continuous analogue of (a2) is the Volterra-type integro-differential equation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024035.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a4)</td></tr></table>
+
\begin{equation} \tag{a4} \dot { x } ( t ) = f \left( t , \int _ { t - h ( t ) } ^ { t } K ( t , s , x ( s ) ) d s \right) , \end{equation}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024036.png" /></td> </tr></table>
+
\begin{equation*} h ( t ) \geq 0. \end{equation*}
  
Certain classes of equations of the type (a4) can be naturally extended to other functional-differential equations. For example, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024037.png" /> takes finite values only, then (a4) has finite after-effect; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024038.png" />, it has infinite after-effect. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024039.png" />, then it has bounded after-effect, and it has unbounded after-effect in the opposite case. Sometimes the after-effect time is interpreted as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024040.png" />; then finiteness, and infiniteness, of after-effect means boundedness, respectively unboundedness, of it.
+
Certain classes of equations of the type (a4) can be naturally extended to other functional-differential equations. For example, if $h ( t )$ takes finite values only, then (a4) has finite after-effect; if $h ( t ) \equiv \infty$, it has infinite after-effect. If $\operatorname{sup} h ( t ) &lt; \infty$, then it has bounded after-effect, and it has unbounded after-effect in the opposite case. Sometimes the after-effect time is interpreted as $\operatorname{sup} h( t )$; then finiteness, and infiniteness, of after-effect means boundedness, respectively unboundedness, of it.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024041.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024042.png" />, then (a4) is said to have the property of completely forgetting the past. This means that the values of the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024043.png" /> on any finite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024044.png" />-interval do not influence the right-hand side of the equation for sufficiently large <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024045.png" />. In other words, the rate of change of the state at any moment is determined by the states of the process at preceding moments which are not too remote. Sometimes such equations are said to have fading memory. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024046.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024047.png" />, then either the past is not forgotten (residual phenomena), or is asymptotically forgotten.
+
If $t - h ( t ) \rightarrow \infty$ as $t \rightarrow \infty$, then (a4) is said to have the property of completely forgetting the past. This means that the values of the solution $x$ on any finite $t$-interval do not influence the right-hand side of the equation for sufficiently large $t$. In other words, the rate of change of the state at any moment is determined by the states of the process at preceding moments which are not too remote. Sometimes such equations are said to have fading memory. If $t - h ( t ) \not\to \infty$ as $t \rightarrow \infty$, then either the past is not forgotten (residual phenomena), or is asymptotically forgotten.
  
 
Sometimes, Volterra-type integro-differential equations can be reduced to an (in some sense) equivalent system of ordinary differential equations. Delays and equations with after-effect may have a more complicated structure, but they all have the Volterra property: the rate of evolution of the process depends on the past and the present, but not on the future. Keeping this property in mind, one can write the general retarded functional -differential equation in the form
 
Sometimes, Volterra-type integro-differential equations can be reduced to an (in some sense) equivalent system of ordinary differential equations. Delays and equations with after-effect may have a more complicated structure, but they all have the Volterra property: the rate of evolution of the process depends on the past and the present, but not on the future. Keeping this property in mind, one can write the general retarded functional -differential equation in the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024048.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a5)</td></tr></table>
+
\begin{equation} \tag{a5} \dot { x } ( t ) = f ( t , x _ { t } ). \end{equation}
  
Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024049.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024050.png" /> (for a given <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024051.png" />) is the function defined by
+
Here, $x ( t ) \in \mathbf{R} ^ { n }$ and $x _ { t }$ (for a given $t$) is the function defined by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024052.png" /></td> </tr></table>
+
\begin{equation*} x _ { t } ( \theta ) = x ( t + \theta ) , \theta \in J _ { t } \subseteq ( - \infty , 0 ], \end{equation*}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024053.png" /> is a given interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024054.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024055.png" />. Note that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024056.png" /> may be treated as the fragment of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024057.png" /> at the left to the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024058.png" />, observed from this point. The right-hand side of (a5) is a function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024059.png" /> and a function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024060.png" />, i.e. to any function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024061.png" /> in some class of functions there corresponds a vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024062.png" />.
+
where $J _ { t }$ is a given interval $[ - h ( t ) , - g ( t ) ]$ or $( - \infty , - g ( t ) ]$. Note that $x _ { t }$ may be treated as the fragment of the function $x$ at the left to the point $t$, observed from this point. The right-hand side of (a5) is a function of $t$ and a function of $x _ { t }$, i.e. to any function $\psi : J _ { t } \rightarrow \mathbf{R} ^ { n }$ in some class of functions there corresponds a vector $f ( t , \psi ) \in \mathbf{R} ^ { n }$.
  
 
Equations (a2) and (a4) are particular cases of (a5). Similarly, the general neutral functional-differential equation can be written as
 
Equations (a2) and (a4) are particular cases of (a5). Similarly, the general neutral functional-differential equation can be written as
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024063.png" /></td> </tr></table>
+
\begin{equation*} \dot { x } ( t ) = f ( t , x _ { t } , \dot { x } _ { t } ). \end{equation*}
  
Various problems can be stated for functional-differential equations, e.g. the initial value problem (Cauchy problem), the boundary value problem, the existence of periodic solutions, stability, control, etc. For example, the Cauchy problem (also called the initial problem or basic initial problem) is to find the solution of the equation subjected to a given initial function and initial value. Consider the retarded functional-differential equation (a5) with finite after-effect, and let, for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024064.png" />, the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024065.png" /> be defined for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024066.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024067.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024068.png" />. The point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024069.png" /> is called the initial point for the solution. Assume that
+
Various problems can be stated for functional-differential equations, e.g. the initial value problem (Cauchy problem), the boundary value problem, the existence of periodic solutions, stability, control, etc. For example, the Cauchy problem (also called the initial problem or basic initial problem) is to find the solution of the equation subjected to a given initial function and initial value. Consider the retarded functional-differential equation (a5) with finite after-effect, and let, for some $t_0 \in \mathbf{R}$, the function $( t , u ) \mapsto f ( t , u )$ be defined for all $t \in [ t _{0} , \infty )$, $u \in C ( J _ { t } )$, where $J _ { t } = [ - h ( t ) , - g ( t ) ] \subset ( - \infty , 0 ]$. The point $t_0$ is called the initial point for the solution. Assume that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024070.png" /></td> </tr></table>
+
\begin{equation*} \overline { t } _ { 0 } : = \operatorname { inf } _ { t \geq t _ { 0 } } [ t - h ( t ) ] &gt; - \infty. \end{equation*}
  
The initial function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024071.png" /> for (a5) with a prescribed initial point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024072.png" /> is given on the initial interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024073.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024074.png" /> then the initial interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024075.png" /> is empty and the initial function should not be prescribed. This is a Cauchy problem without previous history. Also the initial value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024076.png" /> of the solution must be given.
+
The initial function $\phi$ for (a5) with a prescribed initial point $t_0$ is given on the initial interval $[ \overline { t_0 } , t _ { 0 } )$. If $\overline { t _ { 0 } } = t _ { 0 }$ then the initial interval $[ \overline { t_0 } , t _ { 0 } )$ is empty and the initial function should not be prescribed. This is a Cauchy problem without previous history. Also the initial value $x ( t_0 )$ of the solution must be given.
  
It is essential that the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024077.png" /> must be constructed in the direction of increasing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024078.png" />, i.e. on some interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024079.png" /> with left end <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024080.png" />. Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024081.png" /> is considered as a prolongation of the initial function, that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024082.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024083.png" />. Usually, the initial value of the solution is included in the initial function, i.e. the latter is assumed to be prescribed on the interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024084.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120240/f12024085.png" />.
+
It is essential that the solution $x ( t )$ must be constructed in the direction of increasing $t$, i.e. on some interval $J _ { x }$ with left end $t _ { 0 } \in J _ { x }$. Here, $x$ is considered as a prolongation of the initial function, that is, $x ( t + \theta ) : = \phi ( t + \theta )$ for $t + \theta &lt; t_0$. Usually, the initial value of the solution is included in the initial function, i.e. the latter is assumed to be prescribed on the interval $[ \overline { t } _0 , t _ { 0 } ]$ and $\phi ( t _ { 0 } ) = x ( t _ { 0 } )$.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  R. Bellman,  K.L. Cooke,  "Differential-difference equation" , Acad. Press  (1963)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  Y. Kuang,  "Delay differential equations with applications in population dynamics" , Acad. Press  (1993)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  A.D. Myshkis,  "General theory of differential equations with delay"  ''Uspekhi Mat. Nauk'' , '''4''' :  5  (1949)  pp. 99–141</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  A.D. Myshkis,  "Lineare Differentialgleichungen mit nacheilendem Argument" , VEB  (1955)  (In Russian)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  V. Volterra,  "Sulle equazioni integrodifferenziali della teorie dell' elasticita"  ''Atti Accad. Lincei'' , '''18'''  (1909)  pp. 295</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  V. Volterra,  "Théorie mathématique de la lutte pour la vie" , Gauthier-Villars  (1931)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  C. Corduneanu,  V. Lakshmikantham,  "Equations with unbounded delay"  ''Nonlinear Analysis Theory Methods Appl.'' , '''4''' :  5  (1980)  pp. 831–878</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  K. Gopalsamy,  "Equations of mathematical ecology" , Kluwer Acad. Publ.  (1992)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  J. Hale,  "Functional differential equations" , Springer  (1971)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  J. Hale,  S.M. Verduyn Lunel,  "Introduction to functional differential equations" , Springer  (1993)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  V.B. Kolmanovskii,  V.R. Nosov,  "Stability of functional differential equations" , Acad. Press  (1986)</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  V.B. Kolmanovskii,  A.D. Myshkis,  "Applied theory of functional differential equations" , Kluwer Acad. Publ.  (1992)</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  V.B. Kolmanovskii,  L.E. Shaikhet,  "Control of systems with aftereffect" , '''157''' , Amer. Math. Soc.  (1997)</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  V.B. Kolmanovskii,  A.D. Myshkis,  "Introduction to the theory and applications of functional differential equations" , Kluwer Acad. Publ.  (1999)</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  R. Bellman,  K.L. Cooke,  "Differential-difference equation" , Acad. Press  (1963)</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  Y. Kuang,  "Delay differential equations with applications in population dynamics" , Acad. Press  (1993)</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  A.D. Myshkis,  "General theory of differential equations with delay"  ''Uspekhi Mat. Nauk'' , '''4''' :  5  (1949)  pp. 99–141</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  A.D. Myshkis,  "Lineare Differentialgleichungen mit nacheilendem Argument" , VEB  (1955)  (In Russian)</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  V. Volterra,  "Sulle equazioni integrodifferenziali della teorie dell' elasticita"  ''Atti Accad. Lincei'' , '''18'''  (1909)  pp. 295</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  V. Volterra,  "Théorie mathématique de la lutte pour la vie" , Gauthier-Villars  (1931)</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  C. Corduneanu,  V. Lakshmikantham,  "Equations with unbounded delay"  ''Nonlinear Analysis Theory Methods Appl.'' , '''4''' :  5  (1980)  pp. 831–878</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  K. Gopalsamy,  "Equations of mathematical ecology" , Kluwer Acad. Publ.  (1992)</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  J. Hale,  "Functional differential equations" , Springer  (1971)</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  J. Hale,  S.M. Verduyn Lunel,  "Introduction to functional differential equations" , Springer  (1993)</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  V.B. Kolmanovskii,  V.R. Nosov,  "Stability of functional differential equations" , Acad. Press  (1986)</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  V.B. Kolmanovskii,  A.D. Myshkis,  "Applied theory of functional differential equations" , Kluwer Acad. Publ.  (1992)</td></tr><tr><td valign="top">[a13]</td> <td valign="top">  V.B. Kolmanovskii,  L.E. Shaikhet,  "Control of systems with aftereffect" , '''157''' , Amer. Math. Soc.  (1997)</td></tr><tr><td valign="top">[a14]</td> <td valign="top">  V.B. Kolmanovskii,  A.D. Myshkis,  "Introduction to the theory and applications of functional differential equations" , Kluwer Acad. Publ.  (1999)</td></tr></table>

Revision as of 16:55, 1 July 2020

Many real systems exhibit the phenomenon of after-effect, which means that future states of the system can depend not only on the present, but also on the past history. After-effect occurs in physics, chemistry, biology, economy, medicine, cybernetics, etc. This wide appearance of after-effect is a reason to consider it as a universal property of the surrounding world. An appropriate mathematical tool to investigate phenomena with after-effect is provided by the theory of functional-differential equations. Historically, the first functional-differential equations were considered by L. Euler, J. Bernoulli, J. Lagrange, P. Laplace, S.D. Poisson and others in the 18th century in connection with geometrical problems. In the 19th century, functional-differential equations were investigated rather occasionally. At the beginning of the 20th century, important applications of functional-differential equations in the mechanics of visco-elasticity and in ecology were found by V. Volterra [a5], [a6]. The situation changed radically in the 1930s due to a number of technical and scientific reasons. The basic elements of the modern theory of functional-differential equations were established in [a3], [a4]. The years after [a3] have witnessed an explosive development of the theory of functional-differential equations and their applications (see, e.g. [a1], [a7], [a8], [a9], [a10], [a11], [a12], [a13], [a14], [a2] and the numerous references therein).

A functional-differential equation (also called a differential equation with deviating argument, cf. also Differential equations, ordinary, with distributed arguments) can be considered as a combination of differential and functional equations. The values of the argument in a functional-differential equation can be discrete, continuous or mixed. Correspondingly, one introduce the notions of a differential-difference equation, an integro-differential equation, etc.

A functional-differential equation is called periodic with period $T > 0$ (briefly, $T$-periodic) if it is invariant under the change $t \mapsto t + T$. This means that if one replaces $t$ by $s + T$, sets $x ( t ) = y ( s )$, and then replaces the letters $s , y$ by $t , x$, then one should obtain the initial equation. A functional-differential equation is called autonomous if it is invariant under the change $t \mapsto t + T$ for all $T \in \mathbf{R}$.

The order of a functional-differential equation is the order of the highest derivative of the unknown function entering in the equation. So, a functional equation may be regarded as a functional-differential equation of order zero. Hence, the notion of a functional-differential equation generalizes all equations of mathematical analysis for functions of a continuous argument. A similar assertion holds for functions depending on several arguments.

One can naturally define the notions of a functional-differential inequality or inclusion and of a stochastic functional-differential equation, which are similar to the definition of a functional-differential equation.

Consider the following functional-differential equation with finitely many argument deviations:

\begin{equation} \tag{a1} x ^ { ( m ) } ( t ) = \end{equation}

\begin{equation*} = f ( t , x ^ { ( m _ { 1 } ) } ( t - h _ { 1 } ( t ) ) , \ldots , x ^ { ( m _ { k } ) } ( t - h _ { k } ( t ) ) ). \end{equation*}

Here, $x ( t ) \in \mathbf{R} ^ { n }$, and all $m _ { i } \geq 0$, $h _ { i } \geq 0$, i.e. all argument deviations are assumed to be non-negative. This property constitutes the definition of a functional-differential equation with retardations. In (a1), the function $f$ and the delays $h_i$ are given, and $x$ is the unknown function of $t$.

Equation (a1) is called:

a functional-differential equation of retarded type, or a retarded functional-differential equation (abbreviated RDE), if $\operatorname { max } \{ m _ { 1 } , \dots , m _ { k } \} < m$;

a functional-differential equation of neutral type (abbreviated NDE) if $\operatorname { max } \{ m _ { 1 } , \dots , m _ { k } \} = m$;

a functional-differential equation of advanced type (abbreviated ADE) if $\operatorname { max } \{ m _ { 1 } , \dots , m _ { k } \} > m$. In particular, a retarded functional-differential equation can be characterized as an equation in which the value of the higher derivative for any values of the arguments is defined by the values of the lower derivatives depending on the lesser values of the argument.

Sometimes functional-differential equations with discrete retardations are called equations with time lag, and equations with continuous retardations are called equations with after-effect.

Experience in mathematical modeling has shown that the evolution equations of actual processes with retardations are almost exclusively retarded or neutral functional-differential equations. On the other hand, the investigation of various problems for these equations has revealed that retarded or neutral functional-differential equations have many "nice" mathematical properties (in contrast to functional-differential equations of advanced type).

Equation (a1) can be transformed to a first-order vector equation of higher dimension by taking as new unknown functions the lower derivatives of $x$. Preserving the notation $x$ for the new unknown function and $f$ for the new right-hand side, one can write an RDE as

\begin{equation} \tag{a2} \dot { x } ( t ) = f ( t , x ( t - h _ { 1 } ( t ) ) , \ldots , x ( t - h _ { k } ( t ) ) ), \end{equation}

and an NDE as

\begin{equation} \tag{a3} \dot { x } ( t ) = f ( t , x ( t - h _ { 1 } ( t ) ) , \ldots , x ( t - h _ { k } ( t ) ), \end{equation}

\begin{equation*} \dot { x } ( t - g _ { 1 } ( t ) ) , \ldots , \dot { x } ( t - g_{l} ( t ) ) ). \end{equation*}

Note that any functional-differential equation is equivalent to a hybrid system of ordinary differential equations and functional equations, in particular, difference equations. For example, (a3) is equivalent to the following hybrid system:

\begin{equation*} \dot { x } ( t ) = y ( t ), \end{equation*}

\begin{equation*} y ( t ) = f ( t , x ( t - h _ { 1 } ( t ) ) , \ldots , x ( t - h _ { k } ( t ) ) , y ( t - g _ { 1 } ( t ) ) , \ldots , y ( t - g_l ( t ) ) ). \end{equation*}

More complicated types of retardation have also be considered, and also have real applications. For example, the delay may depend on the unknown solution, and have the form $h _ { i } ( t , x ( t ) )$. Such delays are sometimes termed auto-regulative.

Similarly, functional-differential equations with retardation and continuous and mixed argument deviations may have the form of an integro-differential or functional integro-differential equation of some structure of Volterra type. The latter means that for any $t$ the integrals depend on the values of the unknown function $x ( . )$ on some interval $( - \infty , t ]$. For example, the continuous analogue of (a2) is the Volterra-type integro-differential equation

\begin{equation} \tag{a4} \dot { x } ( t ) = f \left( t , \int _ { t - h ( t ) } ^ { t } K ( t , s , x ( s ) ) d s \right) , \end{equation}

\begin{equation*} h ( t ) \geq 0. \end{equation*}

Certain classes of equations of the type (a4) can be naturally extended to other functional-differential equations. For example, if $h ( t )$ takes finite values only, then (a4) has finite after-effect; if $h ( t ) \equiv \infty$, it has infinite after-effect. If $\operatorname{sup} h ( t ) < \infty$, then it has bounded after-effect, and it has unbounded after-effect in the opposite case. Sometimes the after-effect time is interpreted as $\operatorname{sup} h( t )$; then finiteness, and infiniteness, of after-effect means boundedness, respectively unboundedness, of it.

If $t - h ( t ) \rightarrow \infty$ as $t \rightarrow \infty$, then (a4) is said to have the property of completely forgetting the past. This means that the values of the solution $x$ on any finite $t$-interval do not influence the right-hand side of the equation for sufficiently large $t$. In other words, the rate of change of the state at any moment is determined by the states of the process at preceding moments which are not too remote. Sometimes such equations are said to have fading memory. If $t - h ( t ) \not\to \infty$ as $t \rightarrow \infty$, then either the past is not forgotten (residual phenomena), or is asymptotically forgotten.

Sometimes, Volterra-type integro-differential equations can be reduced to an (in some sense) equivalent system of ordinary differential equations. Delays and equations with after-effect may have a more complicated structure, but they all have the Volterra property: the rate of evolution of the process depends on the past and the present, but not on the future. Keeping this property in mind, one can write the general retarded functional -differential equation in the form

\begin{equation} \tag{a5} \dot { x } ( t ) = f ( t , x _ { t } ). \end{equation}

Here, $x ( t ) \in \mathbf{R} ^ { n }$ and $x _ { t }$ (for a given $t$) is the function defined by

\begin{equation*} x _ { t } ( \theta ) = x ( t + \theta ) , \theta \in J _ { t } \subseteq ( - \infty , 0 ], \end{equation*}

where $J _ { t }$ is a given interval $[ - h ( t ) , - g ( t ) ]$ or $( - \infty , - g ( t ) ]$. Note that $x _ { t }$ may be treated as the fragment of the function $x$ at the left to the point $t$, observed from this point. The right-hand side of (a5) is a function of $t$ and a function of $x _ { t }$, i.e. to any function $\psi : J _ { t } \rightarrow \mathbf{R} ^ { n }$ in some class of functions there corresponds a vector $f ( t , \psi ) \in \mathbf{R} ^ { n }$.

Equations (a2) and (a4) are particular cases of (a5). Similarly, the general neutral functional-differential equation can be written as

\begin{equation*} \dot { x } ( t ) = f ( t , x _ { t } , \dot { x } _ { t } ). \end{equation*}

Various problems can be stated for functional-differential equations, e.g. the initial value problem (Cauchy problem), the boundary value problem, the existence of periodic solutions, stability, control, etc. For example, the Cauchy problem (also called the initial problem or basic initial problem) is to find the solution of the equation subjected to a given initial function and initial value. Consider the retarded functional-differential equation (a5) with finite after-effect, and let, for some $t_0 \in \mathbf{R}$, the function $( t , u ) \mapsto f ( t , u )$ be defined for all $t \in [ t _{0} , \infty )$, $u \in C ( J _ { t } )$, where $J _ { t } = [ - h ( t ) , - g ( t ) ] \subset ( - \infty , 0 ]$. The point $t_0$ is called the initial point for the solution. Assume that

\begin{equation*} \overline { t } _ { 0 } : = \operatorname { inf } _ { t \geq t _ { 0 } } [ t - h ( t ) ] > - \infty. \end{equation*}

The initial function $\phi$ for (a5) with a prescribed initial point $t_0$ is given on the initial interval $[ \overline { t_0 } , t _ { 0 } )$. If $\overline { t _ { 0 } } = t _ { 0 }$ then the initial interval $[ \overline { t_0 } , t _ { 0 } )$ is empty and the initial function should not be prescribed. This is a Cauchy problem without previous history. Also the initial value $x ( t_0 )$ of the solution must be given.

It is essential that the solution $x ( t )$ must be constructed in the direction of increasing $t$, i.e. on some interval $J _ { x }$ with left end $t _ { 0 } \in J _ { x }$. Here, $x$ is considered as a prolongation of the initial function, that is, $x ( t + \theta ) : = \phi ( t + \theta )$ for $t + \theta < t_0$. Usually, the initial value of the solution is included in the initial function, i.e. the latter is assumed to be prescribed on the interval $[ \overline { t } _0 , t _ { 0 } ]$ and $\phi ( t _ { 0 } ) = x ( t _ { 0 } )$.

References

[a1] R. Bellman, K.L. Cooke, "Differential-difference equation" , Acad. Press (1963)
[a2] Y. Kuang, "Delay differential equations with applications in population dynamics" , Acad. Press (1993)
[a3] A.D. Myshkis, "General theory of differential equations with delay" Uspekhi Mat. Nauk , 4 : 5 (1949) pp. 99–141
[a4] A.D. Myshkis, "Lineare Differentialgleichungen mit nacheilendem Argument" , VEB (1955) (In Russian)
[a5] V. Volterra, "Sulle equazioni integrodifferenziali della teorie dell' elasticita" Atti Accad. Lincei , 18 (1909) pp. 295
[a6] V. Volterra, "Théorie mathématique de la lutte pour la vie" , Gauthier-Villars (1931)
[a7] C. Corduneanu, V. Lakshmikantham, "Equations with unbounded delay" Nonlinear Analysis Theory Methods Appl. , 4 : 5 (1980) pp. 831–878
[a8] K. Gopalsamy, "Equations of mathematical ecology" , Kluwer Acad. Publ. (1992)
[a9] J. Hale, "Functional differential equations" , Springer (1971)
[a10] J. Hale, S.M. Verduyn Lunel, "Introduction to functional differential equations" , Springer (1993)
[a11] V.B. Kolmanovskii, V.R. Nosov, "Stability of functional differential equations" , Acad. Press (1986)
[a12] V.B. Kolmanovskii, A.D. Myshkis, "Applied theory of functional differential equations" , Kluwer Acad. Publ. (1992)
[a13] V.B. Kolmanovskii, L.E. Shaikhet, "Control of systems with aftereffect" , 157 , Amer. Math. Soc. (1997)
[a14] V.B. Kolmanovskii, A.D. Myshkis, "Introduction to the theory and applications of functional differential equations" , Kluwer Acad. Publ. (1999)
How to Cite This Entry:
Functional-differential equation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Functional-differential_equation&oldid=50071
This article was adapted from an original article by V. Kolmanovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article