Carleman linearization

Template:Short description In mathematics, Carleman linearization (or Carleman embedding) is a technique to transform a finite-dimensional nonlinear dynamical system into an infinite-dimensional linear system. It was introduced by the Swedish mathematician Torsten Carleman in 1932. Carleman linearization is related to composition operator and has been widely used in the study of dynamical systems. It also been used in many applied fields, such as in control theory and in quantum computing.

Procedure

Consider the following autonomous nonlinear system:

$\dot{x}=f(x)+\sum _{j=1}^m{g}_j(x)d_j(t)$

where $x\in R^n$ denotes the system state vector. Also, $f$ and $g_i$'s are known analytic vector functions, and $d_j$ is the $j^{th}$ element of an unknown disturbance to the system.

At the desired nominal point, the nonlinear functions in the above system can be approximated by Taylor expansion

$f(x)\simeq f(x_0)+\sum _{k=1}^{\eta }\frac{1}{k!}\partial f_{[k]}{\mid }_{x=x_0}(x-x_0{)}^{[k]}$

where $\partial f_{[k]}{\mid }_{x=x_0}$ is the $k^{th}$ partial derivative of $f(x)$ with respect to $x$ at $x=x_0$ and $x^{[k]}$ denotes the $k^{th}$ Kronecker product.

Without loss of generality, we assume that $x_0$ is at the origin.

Applying Taylor approximation to the system, we obtain

$\dot{x}\simeq \sum _{k=0}^{\eta }{A}_k{x}^{[k]}+\sum _{j=1}^m\sum _{k=0}^{\eta }{B}_{jk}{x}^{[k]}{d}_j$

where $A_k=\frac{1}{k!}\partial f_{[k]}{\mid }_{x=0}$ and $B_{jk}=\frac{1}{k!}\partial g_{j[k]}{\mid }_{x=0}$.

Consequently, the following linear system for higher orders of the original states are obtained:

$\frac{d(x^{[i]})}{dt}\simeq \sum _{k=0}^{\eta -i+1}{A}_{i,k}{x}^{[k+i-1]}+\sum _{j=1}^m\sum _{k=0}^{\eta -i+1}{B}_{j,i,k}{x}^{[k+i-1]}{d}_j$

where $A_{i,k}=\sum _{l=0}^{i-1}{I}_n^{[l]}\otimes A_k\otimes I_n^{[i-1-l]}$, and similarly $B_{j,i,\kappa }=\sum _{l=0}^{i-1}{I}_n^{[l]}\otimes B_{j,\kappa }\otimes I_n^{[i-1-l]}$.

Employing Kronecker product operator, the approximated system is presented in the following form

${\dot{x}}_{\otimes }\simeq A{x}_{\otimes }+\sum _{j=1}^m[B_j{x}_{\otimes }{d}_j+B_{j0}{d}_j]+A_r$

where $x_{\otimes }={\left[\begin{array}{cccc}{x}^T& x^{{[2]}^T}& ...& x^{{[\eta ]}^T}\end{array}\right]}^T$, and $A,B_j,A_r$ and $B_{j,0}$ matrices are defined in (Hashemian and Armaou 2015).

See also

• Carleman matrix
• Composition operator

External links

• A lecture about Carleman linearization by Igor Mezić