On the planar integrable differential systems
type: Item
instance of: scholarly article
title: On the planar integrable differential systems
zbMATH Open document ID: 1263.34046
author: Jaume Llibre
author: Jaume Giné
published in: ZAMP. Zeitschrift für angewandte Mathematik und Physik
publication date: 2013-02-04T00:00:00Z
full work available at URL: http://ddd.uab.cat/record/150422
review text: Consider a planar dynamical system, i.e., a system of two autonomous ODEs \[ \dot{x} = P(x,y), \quad \dot{y} = Q (x,y). \tag{*} \] Here, \(P,Q : U \to \mathbb R\) are \(C^k\) functions (with possibly \(k=\infty\) or \(k = \omega\), which means we deal with analytic functions), and \(U \subseteq \mathbb R^2\) an open set. This defines a vector field which we denote by \(X\). Denote by \(\Sigma \subset U\) the set of all separatrices (this is a closed and invariant subset), and by \(U_0 = U \backslash \Sigma\) the complement of \(\Sigma\) in \(U\). If system (*), i.e., the vector field \(X\), admits a non-constant function \(H : U_0 \to \mathbb R\) such that \(X(H) = 0\), then \(H\) is a canonical first integral for \(X\), and \(X\) -- or equivalently system (*) -- is said to be integrable. It is well-known that, if \(X\) is the flow generated by a Hamiltonian \(\mathcal{H}\), then the system admits the first integral \(H = \mathcal{H}\) and is hence (recall we are in \(\mathbb R^2\)) integrable. The paper focuses hence on the case when \(X\) is not Hamiltonian. It turns out that non-Hamiltonian integrable systems have a common structure, i.e., can be mapped to a dilation system; it also follows from this that they have a Lie symmetry. More specifically, if \(X\) is non Hamiltonian and assuming \(P\) and \(Q\) are \(C^2\) on \(U\), one looks for an integrating factor, i.e., a \(C^1\)-function \(\rho : V_\rho \to \mathbb{R}\), with \(V_\rho \subseteq U\), such that \[ Y = \rho X = (\rho P) \partial_x + (\rho Q) \partial_y \] is (divergence-free, and hence) Hamiltonian. If this exists, we have that the (\(C^1\)-) Hamiltonian \(H\) (defined on \(V_H \subseteq U\)) for \(Y\) is identified by \(\rho P = - \partial_y H\), \(\rho Q = \partial_x H\). Denote by \(V = V_\rho \cap V_H\) the set in which both \(\rho\) and \(H\) are defined, and by \(Z \subseteq V\) the set where \(\rho (\rho_x H_y - \rho_y H_x) (P_x + Q_y)=0\). If \(Z\) has zero Lebesgue measure in \(V\), then (T…
reviewed by: Giuseppe Gaeta
Mathematics Subject Classification ID: 34C14
Mathematics Subject Classification ID: 34A05
zbMATH DE Number: 6134347
zbMATH Keywords: integrability
zbMATH Keywords: integrating factors
zbMATH Keywords: Lie symmetries
MaRDI profile type: Publication
OpenAlex ID: W2053702678
cites work: On the integrability of two-dimensional flows
cites work: Darboux integrability and the inverse integrating factor.
cites work: On Lie's symmetries for planar polynomial differential systems
cites work: Q4705076
cites work: Polynomial inverse integrating factors for polynomial vector fields
cites work: On the integrable rational Abel differential equations
cites work: On the differentiability of first integrals of two dimensional flows
cites work: Classification of Continuous Flows on 2-Manifolds
cites work: Q3715336
cites work: Elementary First Integrals of Differential Equations
cites work: Liouvillian First Integrals of Differential Equations
cites work: Q4692893
DOI: 10.1007/S00033-011-0116-5
description: scientific article; zbMATH DE number 6134347