Articulo de referencia

Linealización de Carleman

En matemáticas, la linealización de Carleman (o incrustación de Carleman ) es una técnica para transformar un sistema dinámico no lineal de dimensión finita en un sistema lineal...

En matemáticas, la linealización de Carleman (o incrustación de Carleman ) es una técnica para transformar un sistema dinámico no lineal de dimensión finita en un sistema lineal de dimensión infinita. Fue introducida por el matemático sueco Torsten Carleman en 1932. [1] La linealización de Carleman está relacionada con el operador de composición y se ha utilizado ampliamente en el estudio de sistemas dinámicos. También se ha utilizado en muchos campos aplicados, como en la teoría de control [2] [3] y en la computación cuántica . [4] [5]

Procedimiento

Consideremos el siguiente sistema autónomo no lineal:

incógnita ˙ = F ( incógnita ) + yo = 1 metro gramo yo ( incógnita ) d yo ( a ) {\displaystyle {\dot {x}}=f(x)+\sum _{j=1}^{m}g_{j}(x)d_{j}(t)}

donde denota el vector de estado del sistema. Además, y son funciones vectoriales analíticas conocidas, y es el elemento de una perturbación desconocida del sistema. incógnita R norte {\displaystyle x\en R^{n}} F {\estilo de visualización f} gramo i estilo de visualización g_{i}} d yo estilo de visualización d_ {j}} yo a yo {\displaystyle j^{ésimo}}

En el punto nominal deseado, las funciones no lineales en el sistema anterior se pueden aproximar mediante la expansión de Taylor.

F ( incógnita ) F ( incógnita 0 ) + a = 1 η 1 a ! F [ a ] incógnita = incógnita 0 ( incógnita incógnita 0 ) [ a ] {\displaystyle f(x)\simeq f(x_{0})+\sum _{k=1}^{\eta }{\frac {1}{k!}}\partial f_{[k]}\mid _{x=x_{0}}(x-x_{0})^{[k]}}

donde es la derivada parcial de con respecto a en y denota el producto de Kronecker. F [ a ] incógnita = incógnita 0 {\displaystyle \parcial f_{[k]}\mid _{x=x_{0}}} a a yo {\displaystyle k^{ésimo}} F ( incógnita ) {\estilo de visualización f(x)} incógnita {\estilo de visualización x} incógnita = incógnita 0 {\displaystyle x=x_{0}} incógnita [ a ] {\displaystyle x^{[k]}} a a yo {\displaystyle k^{ésimo}}

Sin pérdida de generalidad, asumimos que está en el origen. incógnita 0 estilo de visualización x_{0}}

Aplicando la aproximación de Taylor al sistema, obtenemos

incógnita ˙ a = 0 η A a incógnita [ a ] + yo = 1 metro a = 0 η B yo a incógnita [ a ] d yo {\displaystyle {\dot {x}}\simeq \suma _{k=0}^{\eta }A_{k}x^{[k]}+\suma _{j=1}^{m}\suma _{k=0}^{\eta }B_{jk}x^{[k]}d_{j}}

donde y . A a = 1 a ! F [ a ] incógnita = 0 {\displaystyle A_{k}={\frac {1}{k!}}\parcial f_{[k]}\mid _{x=0}} B yo a = 1 a ! gramo yo [ a ] incógnita = 0 {\displaystyle B_{jk}={\frac {1}{k!}}\partial g_{j[k]}\mid _{x=0}}

En consecuencia, se obtiene el siguiente sistema lineal para órdenes superiores de los estados originales:

d ( incógnita [ i ] ) d a a = 0 η i + 1 A i , a incógnita [ a + i 1 ] + yo = 1 metro a = 0 η i + 1 B yo , i , a incógnita [ a + i 1 ] d yo {\displaystyle {\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}}

donde , y de manera similar . A i , k = l = 0 i 1 I n [ l ] A k I n [ i 1 l ] {\displaystyle A_{i,k}=\sum _{l=0}^{i-1}I_{n}^{[l]}\otimes A_{k}\otimes I_{n}^{[i-1-l]}} B j , i , κ = l = 0 i 1 I n [ l ] B j , κ I n [ i 1 l ] {\displaystyle B_{j,i,\kappa }=\sum _{l=0}^{i-1}I_{n}^{[l]}\otimes B_{j,\kappa }\otimes I_{n}^{[i-1-l]}}

Utilizando el operador de producto Kronecker, el sistema aproximado se presenta en la siguiente forma

x ˙ A x + j = 1 m [ B j x d j + B j 0 d j ] + A r {\displaystyle {\dot {x}}_{\otimes }\simeq Ax_{\otimes }+\sum _{j=1}^{m}[B_{j}x_{\otimes }d_{j}+B_{j0}d_{j}]+A_{r}}

donde las matrices , y y se definen en (Hashemian y Armaou 2015). [6] x = [ x T x [ 2 ] T . . . x [ η ] T ] T {\displaystyle x_{\otimes }={\begin{bmatrix}x^{T}&x^{{[2]}^{T}}&...&x^{{[\eta ]}^{T}}\end{bmatrix}}^{T}} A , B j , A r {\displaystyle A,B_{j},A_{r}} B j , 0 {\displaystyle B_{j,0}}

Véase también

Referencias

  1. ^ Carleman, Torsten (1932). "Aplicación de la teoría de ecuaciones integrales lineales a los sistemas de ecuaciones diferenciales no lineales". Acta Matemática . 59 : 63–87. doi : 10.1007/BF02546499 . ISSN  0001-5962. S2CID  120263424.
  2. ^ Salazar-Caceres, Fabian; Tellez-Castro, Duvan; Mojica-Nava, Eduardo (2017). "Consenso para sistemas no lineales multiagente: un enfoque de aproximación de Carleman". 2017 IEEE 3rd Colombian Conference on Automatic Control (CCAC) . Cartagena: IEEE. pp. 1–5. doi :10.1109/CCAC.2017.8276388. ISBN 978-1-5386-0398-7.S2CID 44019245  .
  3. ^ Amini, Arash; Sun, Qiyu; Motee, Nader (2020). "Diseño de control óptimo aproximado para una clase de sistemas no lineales mediante la ecuación de Hamilton-Jacobi-Bellman de elevación". Conferencia de Control Estadounidense (ACC) de 2020. Denver, Colorado, EE. UU.: IEEE. págs. 2717–2722. doi :10.23919/ACC45564.2020.9147576. ISBN . 978-1-5386-8266-1. Número de identificación del sujeto  220889153.
  4. ^ Liu, Jin-Peng; Kolden, Herman Øie; Krovi, Hari K.; Loureiro, Nuno F.; Trivisa, Konstantina; Childs, Andrew M. (31 de agosto de 2021). "Algoritmo cuántico eficiente para ecuaciones diferenciales no lineales disipativas". Actas de la Academia Nacional de Ciencias . 118 (35): e2026805118. arXiv : 2011.03185 . Bibcode :2021PNAS..11826805L. doi : 10.1073/pnas.2026805118 . ISSN:  0027-8424. PMC : 8536387. PMID:  34446548. 
  5. ^ Levy, Max G. (5 de enero de 2021). «Los nuevos algoritmos cuánticos finalmente resuelven ecuaciones no lineales». Revista Quanta . Consultado el 31 de diciembre de 2022 .
  6. ^ Hashemian, N.; Armaou, A. (2015). "Estimación de procesos no lineales mediante horizonte de rápido movimiento a través de la linealización de Carleman". Conferencia Americana de Control (ACC) de 2015. págs. 3379–3385. doi :10.1109/ACC.2015.7171854. ISBN 978-1-4799-8684-2.S2CID13251259  .
  • Conferencia sobre la linealización de Carleman a cargo de Igor Mezić
Retrieved from "https://en.wikipedia.org/w/index.php?title=Carleman_linearization&oldid=1235680422"