Differential-difference Equations
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, delay differential equations (DDEs) are a type of differential equation in which the derivative of the unknown function at a certain time is given in terms of the values of the function at previous times. DDEs are also called time-delay systems, systems with aftereffect or dead-time, hereditary systems, equations with deviating argument, or differential-difference equations. They belong to the class of systems with a functional state, i.e.
partial differential equations In mathematics, a partial differential equation (PDE) is an equation which involves a multivariable function and one or more of its partial derivatives. The function is often thought of as an "unknown" that solves the equation, similar to how ...
(PDEs) which are infinite dimensional, as opposed to
ordinary differential equations In mathematics, an ordinary differential equation (ODE) is a differential equation (DE) dependent on only a single independent variable. As with any other DE, its unknown(s) consists of one (or more) function(s) and involves the derivatives ...
(ODEs) having a finite dimensional state vector. Four points may give a possible explanation of the popularity of DDEs: # Aftereffect is an applied problem: it is well known that, together with the increasing expectations of dynamic performances, engineers need their models to behave more like the real process. Many processes include aftereffect phenomena in their inner dynamics. In addition,
actuator An actuator is a machine element, component of a machine that produces force, torque, or Displacement (geometry), displacement, when an electrical, Pneumatics, pneumatic or Hydraulic fluid, hydraulic input is supplied to it in a system (called an ...
s,
sensor A sensor is often defined as a device that receives and responds to a signal or stimulus. The stimulus is the quantity, property, or condition that is sensed and converted into electrical signal. In the broadest definition, a sensor is a devi ...
s, and communication networks that are now involved in feedback control loops introduce such delays. Finally, besides actual delays, time lags are frequently used to simplify very high order models. Then, the interest for DDEs keeps on growing in all scientific areas and, especially, in control engineering. # Delay systems are still resistant to many ''classical'' controllers: one could think that the simplest approach would consist in replacing them by some finite-dimensional approximations. Unfortunately, ignoring effects which are adequately represented by DDEs is not a general alternative: in the best situation (constant and known delays), it leads to the same degree of complexity in the control design. In worst cases (time-varying delays, for instance), it is potentially disastrous in terms of stability and oscillations. # Voluntary introduction of delays can benefit the
control system A control system manages, commands, directs, or regulates the behavior of other devices or systems using control loops. It can range from a single home heating controller using a thermostat controlling a domestic boiler to large industrial ...
. # In spite of their complexity, DDEs often appear as simple infinite-dimensional models in the very complex area of
partial differential equations In mathematics, a partial differential equation (PDE) is an equation which involves a multivariable function and one or more of its partial derivatives. The function is often thought of as an "unknown" that solves the equation, similar to how ...
(PDEs). A general form of the time-delay differential equation for x(t)\in \R^n is \fracx(t)=f(t,x(t),x_t), where x_t=\ represents the trajectory of the solution in the past. In this equation, f is a functional operator from \R \times \R^n\times C^1(\R, \R^n) to \R^n.


Examples

* Continuous delay \fracx(t)=f\left(t,x(t),\int_^0x(t+\tau)\, d\mu(\tau)\right) * Discrete delay \fracx(t)=f(t,x(t),x(t-\tau_1),\dots,x(t-\tau_m)) for \tau_1 > \dots > \tau_m\geq 0. * Linear with discrete delays \fracx(t)=A_0x(t)+A_1x(t-\tau_1) + \dots + A_mx(t-\tau_m) where A_0,\dotsc,A_m\in \R^. * Pantograph equation \fracx(t) = ax(t) + bx(\lambda t), where ''a'', ''b'' and ''λ'' are constants and 0 < ''λ'' < 1. This equation and some more general forms are named after the
pantograph A pantograph (, from their original use for copying writing) is a Linkage (mechanical), mechanical linkage connected in a manner based on parallelograms so that the movement of one pen, in tracing an image, produces identical movements in a se ...
s on trains.


Solving DDEs

DDEs are mostly solved in a stepwise fashion with a principle called the method of steps. For instance, consider the DDE with a single delay \fracx(t)=f(x(t),x(t-\tau)) with given initial condition \phi\colon \tau,0to \R^n. Then the solution on the interval ,\tau/math> is given by \psi(t) which is the solution to the inhomogeneous
initial value problem In multivariable calculus, an initial value problem (IVP) is an ordinary differential equation together with an initial condition which specifies the value of the unknown function at a given point in the domain. Modeling a system in physics or ...
\frac\psi(t)=f(\psi(t),\phi(t-\tau)), with \psi(0)=\phi(0). This can be continued for the successive intervals by using the solution to the previous interval as inhomogeneous term. In practice, the initial value problem is often solved numerically.


Example

Suppose f(x(t),x(t-\tau))=ax(t-\tau) and \phi(t)=1. Then the initial value problem can be solved with integration, x(t)=x(0)+ \int_^t \fracx(s) \,ds =1+a\int_^t \phi(s-\tau)\,ds, i.e., x(t)=at+1, where the initial condition is given by x(0)=\phi(0)=1. Similarly, for the interval t\in tau,2\tau/math> we integrate and fit the initial condition, \begin x(t) = x(\tau) + \int_^t \fracx(s) \,ds &= (a\tau+1) + a\int_^t \left(a(s-\tau)+1 \right) ds \\ &= (a\tau+1)+a\int_^ \left(as+1\right) ds, \end i.e., x(t)=(a\tau+1)+a(t-\tau)\left(\frac + 1\right).


Reduction to ODE

In some cases, differential equations can be represented in a format that looks like delay differential equations. * Example 1 Consider an equation \fracx(t)=f\left(t,x(t),\int_^0x(t+\tau)e^\,d\tau\right). Introduce y(t)=\int_^0 x(t+\tau)e^\,d\tau to get a system of ODEs \fracx(t)=f(t,x,y),\quad \fracy(t)=x-\lambda y. * Example 2 An equation \fracx(t)=f\left(t,x(t),\int_^0 x(t+\tau)\cos(\alpha\tau+\beta)\,d\tau\right) is equivalent to \fracx(t)=f(t,x,y),\quad \fracy(t)=\cos(\beta)x+\alpha z,\quad \fracz(t)=\sin(\beta) x-\alpha y, where y=\int_^0x(t+\tau)\cos(\alpha\tau+\beta)\, d\tau,\quad z=\int_^0x(t+\tau)\sin(\alpha\tau+\beta)\,d\tau.


The characteristic equation

Similar to
ODE An ode (from ) is a type of lyric poetry, with its origins in Ancient Greece. Odes are elaborately structured poems praising or glorifying an event or individual, describing nature intellectually as well as emotionally. A classic ode is structu ...
s, many properties of linear DDEs can be characterized and analyzed using the characteristic equation. The characteristic equation associated with the linear DDE with discrete delays \fracx(t) = A_0x(t) + A_1x(t-\tau_1) + \dots + A_mx(t-\tau_m)is the exponential polynomial given by\det(-\lambda I+A_0+A_1e^+\dotsb+A_me^)=0. The roots ''λ'' of the characteristic equation are called characteristic roots or eigenvalues and the solution set is often referred to as the
spectrum A spectrum (: spectra or spectrums) is a set of related ideas, objects, or properties whose features overlap such that they blend to form a continuum. The word ''spectrum'' was first used scientifically in optics to describe the rainbow of co ...
. Because of the exponential in the characteristic equation, the DDE has, unlike the ODE case, an infinite number of eigenvalues, making a spectral analysis more involved. The spectrum does however have some properties which can be exploited in the analysis. For instance, even though there are an infinite number of eigenvalues, there are only a finite number of eigenvalues in any vertical strip of the complex plane. This characteristic equation is a nonlinear eigenproblem and there are many methods to compute the spectrum numerically. In some special situations it is possible to solve the characteristic equation explicitly. Consider, for example, the following DDE: \fracx(t)=-x(t-1). The characteristic equation is -\lambda-e^=0. There are an infinite number of solutions to this equation for complex ''λ''. They are given by \lambda=W_k(-1), where ''W''''k'' is the ''k''th branch of the
Lambert W function In mathematics, the Lambert function, also called the omega function or product logarithm, is a multivalued function, namely the Branch point, branches of the converse relation of the function , where is any complex number and is the expone ...
, so: x(t)=x(0)\, e^.


Another example

The following DDE: \fracu(t)=2u(2t+1)-2u(2t-1). Have as solution in \mathbb the function: u(t)=\begin F(t+1),\quad , t, <1 \\ 0, \quad , t, \geq 1 \end with F(t) the Fabius function, known as ''Rvachëv up function''.


Applications

* Dynamics of
diabetes Diabetes mellitus, commonly known as diabetes, is a group of common endocrine diseases characterized by sustained high blood sugar levels. Diabetes is due to either the pancreas not producing enough of the hormone insulin, or the cells of th ...
*
Epidemiology Epidemiology is the study and analysis of the distribution (who, when, and where), patterns and Risk factor (epidemiology), determinants of health and disease conditions in a defined population, and application of this knowledge to prevent dise ...
*
Population dynamics Population dynamics is the type of mathematics used to model and study the size and age composition of populations as dynamical systems. Population dynamics is a branch of mathematical biology, and uses mathematical techniques such as differenti ...
*Classical electrodynamics


See also

* Functional differential equation * Halanay Inequality


References


Further reading

* * * * *


External links

* {{scholarpedia, title=Delay-Differential Equations, urlname=Delay-Differential_Equations, curator=Skip Thompson Control theory Differential equations