HOME

TheInfoList



OR:

In mathematics, Carleman linearization (or Carleman embedding) is a technique to transform a finite-dimensional nonlinear
dynamical system In mathematics, a dynamical system is a system in which a Function (mathematics), function describes the time dependence of a Point (geometry), point in an ambient space, such as in a parametric curve. Examples include the mathematical models ...
into an infinite-dimensional linear system. It was introduced by the Swedish mathematician Torsten Carleman in 1932. Carleman linearization is related to
composition operator In mathematics, the composition operator C_\phi with symbol \phi is a linear operator defined by the rule C_\phi (f) = f \circ \phi where f \circ \phi denotes function composition. It is also encountered in composition of permutations in permutati ...
and has been widely used in the study of dynamical systems. It also been used in many applied fields, such as in
control theory Control theory is a field of control engineering and applied mathematics that deals with the control system, control of dynamical systems in engineered processes and machines. The objective is to develop a model or algorithm governing the applic ...
and in
quantum computing A quantum computer is a computer that exploits quantum mechanical phenomena. On small scales, physical matter exhibits properties of wave-particle duality, both particles and waves, and quantum computing takes advantage of this behavior using s ...
.


Procedure

Consider the following autonomous nonlinear system: : \dot=f(x)+\sum_^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^ 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 In mathematics, the Taylor series or Taylor expansion of a function is an infinite sum of terms that are expressed in terms of the function's derivatives at a single point. For most common functions, the function and the sum of its Taylor ser ...
: f(x)\simeq f(x_0)+ \sum _^\eta \frac\partial f_\mid _(x-x_0)^ where \partial f_\mid _ is the k^
partial derivative In mathematics, a partial derivative of a function of several variables is its derivative with respect to one of those variables, with the others held constant (as opposed to the total derivative, in which all variables are allowed to vary). P ...
of f(x) with respect to x at x=x_0 and x^ denotes the k^
Kronecker product In mathematics, the Kronecker product, sometimes denoted by ⊗, is an operation on two matrices of arbitrary size resulting in a block matrix. It is a specialization of the tensor product (which is denoted by the same symbol) from vector ...
. Without loss of generality, we assume that x_ is at the origin. Applying Taylor approximation to the system, we obtain : \dot x\simeq \sum _^\eta A_k x^ +\sum_^\sum _^\eta B_ x^d_j where A_k=\frac\partial f_\mid _ and B_=\frac\partial g_\mid _. Consequently, the following linear system for higher orders of the original states are obtained: : \frac\simeq \sum _^ A_ x^ +\sum_^m \sum _^ B_ x^d_j where A_=\sum _^I^_n \otimes A_k \otimes I^_n, and similarly B_=\sum _^I^_n \otimes B_ \otimes I^_n. Employing
Kronecker product In mathematics, the Kronecker product, sometimes denoted by ⊗, is an operation on two matrices of arbitrary size resulting in a block matrix. It is a specialization of the tensor product (which is denoted by the same symbol) from vector ...
operator, the approximated system is presented in the following form : \dot x_\simeq Ax_ +\sum_^m _jx_d_j+B_d_jA_r where x_=\begin x^T &x^ & ... & x^ \end^T, and A, B_j , A_r and B_ matrices are defined in (Hashemian and Armaou 2015).{{cite book , last1=Hashemian , first1=N. , last2=Armaou , first2=A. , title=2015 American Control Conference (ACC) , chapter=Fast Moving Horizon Estimation of nonlinear processes via Carleman linearization , date=2015 , pages=3379–3385 , doi=10.1109/ACC.2015.7171854 , isbn=978-1-4799-8684-2 , s2cid=13251259


See also

*
Carleman matrix In mathematics, a Carleman matrix is a matrix used to convert function composition into matrix multiplication. It is often used in iteration theory to find the continuous iteration of functions which cannot be iterated by pattern recognition alone ...
*
Composition operator In mathematics, the composition operator C_\phi with symbol \phi is a linear operator defined by the rule C_\phi (f) = f \circ \phi where f \circ \phi denotes function composition. It is also encountered in composition of permutations in permutati ...


References


External links


A lecture about Carleman linearization
by Igor Mezić Dynamical systems Functions and mappings Functional analysis Eponyms in mathematics