Geometry of the Kahan discretizations of planar quadratic Hamiltonian systems. II: Systems with a linear Poisson tensor (Q2297882)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Geometry of the Kahan discretizations of planar quadratic Hamiltonian systems. II: Systems with a linear Poisson tensor
scientific article

    Statements

    Geometry of the Kahan discretizations of planar quadratic Hamiltonian systems. II: Systems with a linear Poisson tensor (English)
    0 references
    0 references
    0 references
    20 February 2020
    0 references
    In unpublished lecture notes, W. Kahan introduced a method of discretization applicable to any system of ordinary differential equations in \(\mathbb{R}^n\) that has a quadratic vector field. Such equations have the form \[\dot{x} = f(x) = Q(x) + Bx + c,\] where each component of \(Q : \mathbb{R}^n \rightarrow \mathbb{R}^n\) is a quadratic form, \(B\) is an \(n \times n\) real matrix and \(c \in \mathbb{R}^n\). The discretization that Kahan uses has the following form: \[\frac{\tilde{x} - x}{2 \epsilon} = Q(x, \tilde{x}) + \frac{1}{2} B(x + \tilde{x}) + c,\] where \[Q(x, \tilde{x}) = \frac{1}{2} ((Q(x + \tilde{x}) - Q(x) - Q(\tilde{x}))\] is the symmetric bilinear form that corresponds to the quadratic form \(Q\). The discretization is linear with respect to \(\tilde{x}\) and so defines a rational map \(\tilde{x} = \Phi_f(x, \epsilon)\). This can be written explicitly as \(\tilde{x} = \Phi_f (x, \epsilon) = x + 2 \epsilon (I - \epsilon f'(x))^{-1} f(x) \), where \(f'(x)\) represents the Jacobian of \(f\). This mapping approximates a time \(\epsilon\) shift along solutions of the original differential equation. Since the discretization is invariant with respect to interchange of \(x\) and \(\tilde{x}\), a reversibility property holds: \(\Phi^{-1}_f (x, \epsilon) = \Phi_f (x, -\epsilon)\). In their prior work the authors studied properties of Kahan's method when applied to integrable systems. They determined that in a number of cases Kahan's approach preserves integrability in the sense that the mapping \(\Phi_f(x, \epsilon)\) has as many independent integrals of motion as the original system. In [J. Phys. A, Math. Theor. 52, No. 4, Article ID 045204, 10 p. (2019; Zbl 1422.70012)] \textit{P. H. van der Kamp} et al. show that the Kahan map \(\Phi_f\) can be represented as a composition of two involutions on a pencil of conics in \(\mathbb{C}^2\). The current paper shows that the reverse is also true: a Kahan discretization can be reconstructed from a linear form and a pencil of conics. For Part I, see [the authors et al., Proc. R. Soc. Lond., A, Math. Phys. Eng. Sci. 475, No. 2223, Article ID 20180761, 13 p. (2019; Zbl 1501.37068)].
    0 references
    integrable map
    0 references
    Hamiltonian systems
    0 references
    birational maps
    0 references
    Kahan's discretization
    0 references
    pencil of conics
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references