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:
:
where
denotes the system state vector. Also,
and
's are known analytic vector functions, and
is the
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 ...
:
where
is the
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
with respect to
at
and
denotes the
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
is at the origin.
Applying Taylor approximation to the system, we obtain
:
where
and
.
Consequently, the following linear system for higher orders of the original states are obtained:
:
where
, and similarly
.
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
:
where
, and
and
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 linearizationby
Igor Mezić
Dynamical systems
Functions and mappings
Functional analysis
Eponyms in mathematics