Normal forms of second-order ordinary differential equations y_xx=J(x,y,y_x) under fibre-preserving maps

DOI10.1007/S40627-023-00121-XMaRDI QIDQ6084423zbMATH OpenOpenAlexFDO

Authors Wei-Guo Foo, Julien Heyd, Joël Merker

Publication date 6 November 2023

Published in Complex Analysis and its Synergies (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2109.02107

Mathematics Subject Classification ID

Functions of a complex variable (30-XX)

Abstract: We study the equivalence problem of classifying second order ordinary differential equations $y_{xx}=J(x,y,y_x)$ modulo fibre-preserving point transformations $xlongmapstovarphi(x)$, $ylongmapstopsi(x,y)$ by using Moser's method of normal forms. We first compute a basis of the Lie algebra ${frakg}_{y_{xx}=0}$ of fibre-preserving symmetries of $y_{xx}=0$. In the formal theory of Moser's method, this Lie algebra is used to give an explicit description of the set of normal forms $mathcalN$, and we show that the set is an ideal in the space of formal power series. We then show the existence of the normal forms by studying flows of suitable vector fields with appropriate corrections by the Cauchy-Kovalevskaya theorem. As an application, we show how normal forms can be used to prove that the identical vanishing of Hsu-Kamran primary invariants directly imply that the second order differential equation is fibre-preserving point equivalent to $y_{xx}=0$.

Recommendations

• Normal form for second order differential equations
• On Lie's problem and differential invariants of ODEs \(y = F(x,y)\)
• Classification of Second-Order Ordinary Differential Equations Admitting Lie Groups of Fibre-Preserving Point Symmetries
• On differential invariants and classification of ordinary differential equations of the form \(y = A(x, y)y' + B(x, y)\)
• Differential invariants of second order ODEs. I

Cites work

• Classification of Second-Order Ordinary Differential Equations Admitting Lie Groups of Fibre-Preserving Point Symmetries
• Holomorphic extension of CR functions, envelopes of holomorphy, and removable singularities
• scientific article; zbMATH DE number 802623 (Why is no real title available?)
• Lie symmetries and CR geometry
• Moving Frames for Lie Pseudo–Groups
• Normal form for second order differential equations
• Normal forms for submanifolds under group actions
• Normal forms of para-CR hypersurfaces
• Real hypersurfaces in complex manifolds
• Recursive moving frames for Lie pseudo-groups
• The equivalence theory for infinite type hypersurfaces in \(\mathbb{C}^2 \)
• The gap phenomenon in parabolic geometries
• Theory of Transformation Groups I
• Third-order ODEs and four-dimensional split signature Einstein metrics
• Three-dimensional Cauchy–Riemann structures and second-order ordinary differential equations

Cited in

(1)

• Homogeneous CR and Para-CR structures in dimensions 5 and 3

This page was built for publication: Normal forms of second-order ordinary differential equations \(y_{xx}=J(x,y,y_x)\) under fibre-preserving maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6084423)