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 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: : \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 : f(x)\simeq f(x_0)+ \sum _^\eta \frac\partial f_\mid _(x-x_0)^ where \partial f_\mid _ is the k^ partial derivative of f(x) with respect to x at x=x_0 and x^ denotes the k^ Kronecker product. 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 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. The study of composition operators is covered bAMS category 47B3 ...


References


External links


A lecture about Carleman linearization
by
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