We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SC

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Symbolic Computation

Title: Exact and optimal quadratization of nonlinear finite-dimensional non-autonomous dynamical systems

Abstract: Quadratization of polynomial and nonpolynomial systems of ordinary differential equations is advantageous in a variety of disciplines, such as systems theory, fluid mechanics, chemical reaction modeling and mathematical analysis. A quadratization reveals new variables and structures of a model, which may be easier to analyze, simulate, control, and provides a convenient parametrization for learning. This paper presents novel theory, algorithms and software capabilities for quadratization of non-autonomous ODEs. We provide existence results, depending on the regularity of the input function, for cases when a quadratic-bilinear system can be obtained through quadratization. We further develop existence results and an algorithm that generalizes the process of quadratization for systems with arbitrary dimension that retain the nonlinear structure when the dimension grows. For such systems, we provide dimension-agnostic quadratization. An example is semi-discretized PDEs, where the nonlinear terms remain symbolically identical when the discretization size increases. As an important aspect for practical adoption of this research, we extended the capabilities of the QBee software towards both non-autonomous systems of ODEs and ODEs with arbitrary dimension. We present several examples of ODEs that were previously reported in the literature, and where our new algorithms find quadratized ODE systems with lower dimension than the previously reported lifting transformations. We further highlight an important area of quadratization: reduced-order model learning. This area can benefit significantly from working in the optimal lifting variables, where quadratic models provide a direct parametrization of the model that also avoids additional hyperreduction for the nonlinear terms. A solar wind example highlights these advantages.
Subjects: Symbolic Computation (cs.SC); Dynamical Systems (math.DS); Numerical Analysis (math.NA)
Cite as: arXiv:2303.10285 [cs.SC]
  (or arXiv:2303.10285v4 [cs.SC] for this version)

Submission history

From: Gleb Pogudin [view email]
[v1] Fri, 17 Mar 2023 23:52:35 GMT (5514kb,D)
[v2] Fri, 24 Mar 2023 20:30:06 GMT (5400kb,D)
[v3] Fri, 8 Sep 2023 19:06:08 GMT (2315kb,D)
[v4] Tue, 5 Dec 2023 21:18:27 GMT (10680kb,D)

Link back to: arXiv, form interface, contact.