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 describes the time dependence of a point in an ambient space. Examples include the mathematical models that describe the swinging of a clock pendulum, the flow of water i ...
into an infinite-dimensional linear system. It was introduced by the Swedish mathematician
Torsten Carleman
Torsten Carleman (8 July 1892, Visseltofta, Osby Municipality – 11 January 1949, Stockholm), born Tage Gillis Torsten Carleman, was a Swedish mathematician, known for his results in classical analysis and its applications. As the director of ...
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.
The study of composition operators is covered bAMS category 47B3 ...
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 mathematics that deals with the control of dynamical systems in engineered processes and machines. The objective is to develop a model or algorithm governing the application of system inputs to drive the system to a ...
and in
quantum computing
Quantum computing is a type of computation whose operations can harness the phenomena of quantum mechanics, such as superposition, interference, and entanglement. Devices that perform quantum computations are known as quantum computers. Thou ...
.
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
:
where
is the
partial derivative of
with respect to
at
and
denotes the
Kronecker product.
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 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.
The study of composition operators is covered bAMS category 47B3 ...
References
External links
A lecture about Carleman linearizationby
Igor Mezić
Igor Mezić is a mechanical engineer, mathematician, and Distinguished Professor of mechanical engineering and mathematics at the University of California, Santa Barbara. He is best known for his contributions to operator theoretic, data driven ap ...
Dynamical systems
Functions and mappings
Functional analysis