Abstract:Our goal is to highlight some of the deep links between numerical splitting methods and control theory. We consider evolution equations of the form $\dot{x} = f_0(x) + f_1(x)$, where $f_0$ encodes a non-reversible dynamic, so that one is interested in schemes only involving forward flows of $f_0$. In this context, a splitting method can be interpreted as a trajectory of the control-affine system $\dot{x}(t)=f_0(x(t))+u(t)f_1(x(t))$, associated with a control~$u$ which is a finite sum of Dirac masses. The general goal is then to find a control such that the flow of $f_0 + u(t) f_1$ is as close as possible to the flow of $f_0+f_1$. Using this interpretation and classical tools from control theory, we revisit well-known results concerning numerical splitting methods, and we prove a handful of new ones, with an emphasis on splittings with additional positivity conditions on the coefficients. First, we show that there exist numerical schemes of any arbitrary order involving only forward flows of $f_0$ if one allows complex coefficients for the flows of $f_1$. Equivalently, for complex-valued controls, we prove that the Lie algebra rank condition is equivalent to the small-time local controllability of a system. Second, for real-valued coefficients, we show that the well-known order restrictions are linked with so-called "bad" Lie brackets from control theory, which are known to yield obstructions to small-time local controllability. We use our recent basis of the free Lie algebra to precisely identify the conditions under which high-order methods exist.

Splitting differential equations using Galois theory

Vanishing Theorems for Sheaves of Logarithmic Differential Forms on Compact Kähler Manifolds

Solutions of algebraic linear ordinary differential equations

Internality of autonomous algebraic differential equations

Differential Galoisian approach to Jacobi integrability of general analytic dynamical systems and its application

Geometry of logarithmic forms and deformations of complex structures

Splitting methods with complex coefficients for linear and nonlinear evolution equations

Control theory and splitting methods

An elliptic proof of the splitting theorems from Lorentzian geometry

An almost symmetric Strang splitting scheme for nonlinear evolution equations

Liouvillian Solutions of Third Order Differential Equations

Arithmetic differential equations on $GL_n$, I: differential cocycles

Right Splitting, Galois Correspondence, Galois Representations and Inverse Galois Problem

An axiomatic approach to the non-linear theory of generalized functions and consistency of Laplace transforms

Canonical Differential Equations Beyond Genus One

How to split Dyson's transference inequality with the help of Wolfgang Schmidt's parametric geometry of numbers

A note on the inverse problem for finite differential Galois groups

Second-order exponential splittings in the presence of unbounded and time-dependent operators: construction and convergence

Splitting Methods for differential equations

Galois Theory of Parameterized Differential Equations and Linear Differential Algebraic Groups

Hyperelliptic Gorenstein curves and logarithmic differentials