Hybrid ideals in near-subtraction semigroups

1.   Introduction

Consider an $n$-dimensional system of ordinary differential equations

where $F(x)$ is an $n$-dimensional vector-function defined on some domain $\Omega$ of ${\mathbb{R}}^n$ or ${\mathbb{C}}^n$. It is said (see e.g., ^[2,15]) that system (1.1) is time-reversible on $\Omega$ if there exists an involution $\psi$ defined on $\Omega$ such that

We say that system (1.1) is completely analytically integrable on $\Omega$ if it admits $n-1$ functionally independent analytic first integrals on $\Omega$.

A time-reversal symmetry is one of the fundamental symmetries that appears in nature, in particular, important both for classical and quantum mechanics. Various properties of systems exhibiting such symmetries have been studied by many authors, see e.g., ^{[1,2,12,13,15,27,29]} and the references therein.

Our paper is devoted to the investigation of the interconnection of time-reversibility and local integrability in a neighborhood of a singular point of systems of the form

where $A$ is an $n \times n$ matrix with entries in ${\mathbb{R}}$ or ${\mathbb{C}}$ being ${\bf x} = (x_1, \dots, x_n)$, and $X({\bf x})$ is a vector-function without constant and linear terms defined on some domain $\Omega$ of ${\mathbb{R}}^n$ or ${\mathbb{C}}^n$.

One of the first results in such studies is due to Poincaré. It follows from his results that if in the two-dimensional case the eigenvalues of $A$ are pure imaginary and the system has an axis of symmetry passing through the origin, then it admits an analytic first integral in a neighborhood of the origin.

A generalization of this result is presented in ^[3], where it is shown that if system (1.3) is time-reversible with respect to a certain linear involution and two eigenvalues of the matrix $A$ are pure imaginary, then under some assumptions, the system has at least one analytic first integral in a neighborhood of the origin.

A detailed study of the interconnection of time-reversibility and local integrability for systems (1.3) was presented in ^[17]. In ^[17,28] the notion of time-reversibility was generalized to the case when on the right-hand side of (1.2) "$-1$" is replaced by a primitive root of unity.

In this paper, we limit our consideration to the two-dimensional systems (1.3) with non-degenerate matrix $A$. In the case when a two-dimensional system (1.3) is real and the eigenvalues of $A$ are pure imaginary, and the vector field is symmetric with respect to a curve passing through the origin, the origin of (1.3) is a center, and, therefore, has an analytic local integral in a neighborhood of the origin. This geometric argument was used in ^[31] in order to find some integrable systems in the family of real cubic systems (see also ^[2] for recent developments in this direction). The symmetry axis is, in the general case, an analytic curve passing through the origin. However, from the work of Montgomery and Zippin ^[18], any analytic involution $\psi$ associated with a time-reversal symmetry can be linearized in such a way that the symmetry axis becomes a straight line. From this result in ^[1] the normal form theory is used to establish an algorithm to determine if a two-dimensional system (1.3) is orbitally reversible.

A detailed study of real polynomial systems which are time-reversible under reflection with respect to a line was performed by Sibirsky ^[24,25]. In particular, he showed that in the polynomial case the set of such systems in the space of parameters is the variety of a binomial ideal defined by invariants of the rotation group of the system (some similar results were also obtained in ^[5,16]). Later on, the results obtained by Sibirsky were generalized to the case of complex systems (1.3) with a $1:-1$ resonant singular point at the origin in ^[14,19,20].

In this paper, we consider system (1.3) having a $p:-q$ resonant singular point at the origin, which we write in the form

where $p, q\in \mathbb{N}$, $\gcd(p, q) = 1$. Both the vector field (1.4) and the associated differential operator are denoted by $\mathcal{X}$.

Let ${\mathbb{N}}_0$ be the set of non-negative integers, and for a given positive integer $n$ we denote by ${\mathbb{N}}_{-n}$ the set $\{-n, -n+1, \dots, -1\}\cup {\mathbb{N}}_0$. For system (1.4), it is always possible to find a series of the form

for which

where $g_{kq, kp}$, for $k = 1, 2, \dots$, are polynomials in the parameters $a_{jk}, b_{kj}$ of system (1.4). Polynomials $g_{kq, kp}$ are called the saddle quantities of system (1.4) (sometimes also the focus quantities). System (1.4) corresponding to some fixed values $a_{jk}^*, b_{kj}^*$ of the parameters has a local analytical first integral in a neighborhood of the origin if and only if $g_{kq, kp}(a^*, b^*) = 0$ for all $k\in {\mathbb{N}}$ (see e.g., ^[20,22]).

Unless $p = q = 1$, this system is not time-reversible under a linear transformation. Our study deals with the time-reversibility of system (1.4) with respect to the involution

We first prove that if system (1.4) is time-reversible with respect to (1.7), then it admits an analytic first integral on a neighborhood of the origin. It can be done by reducing the system to the $1:-1$ resonant case and applying known results (e.g., ^[3,17,28]), but we will give a different proof. In Section 2, properties of functions (1.5) satisfying (1.6) are studied. In Section 3 we present our main result, Theorem 3.1, which describes the set of time-reversible systems and their Zariski closure as an algebraic variety in the space of parameters (it extends the results of ^[24,25] and their generalizations obtained in ^[14,19,20]) and give an algorithm for computing this variety. Our study shows that, in fact, the theory developed in ^[23,24,25] for the $1:-1$ resonant case can be extended to system (1.4), however not to the whole family, but only to a certain subfamily of (1.4).

2.   Integrability of time-reversible systems

We first show that if system (1.4) is time-reversible with respect to (1.7), then it has an analytic first integral of the form (1.5). Observe that if $p = q = 1$ then map (1.7) is just a permutation of the variables, so the statement presents a generalization of known results of ^[3,17,19] to the case of $p:-q$ resonant systems.

Theorem 1. Assume that system (1.4) is time-reversible with respect to the involution (1.7), that is,

Then it admits an analytic first integral of the form (1.5) in a neighborhood of the origin.

To prove the above theorem we will need the following results.

Lemma 2. System (1.4) with $p$ or $q$ different from 1 is time-reversible with respect to (2.1) if and only if

where $u, v = 0, 1, 2, \dots$ and the other coefficients in (1.4) are equal to zero.

Proof. Using involution (1.7), that is, performing the substitution

after straightforward calculations we obtain

In view of (2.1) it should hold that

where the exponents on the right-hand side should be non-negative integers or

However, the latter equality is impossible unless $p = q = 1$. Thus, (2.4) can take place if we set $j_1 = p u, \ k_1 = q v$, where $u, v = 0, 1, 2, \dots.$ This yields formula (2.2). □

One possibility to prove Theorem 1 is to use the substitution $x\to x^{q}, \ y\to y^{p}$. Then, in view of (2.2), we obtain a $1:-1$ resonant vector field which is time-reversible with respect to the involution $x\to y, y\to x$, and then by the results of ^[3,17,28] it has a first integral of the form (1.5). The proofs of ^[3,17,28] are obtained using the normal form theory. The main step in these proofs is to show that time-reversibility is preserved by certain transformations into a normal form.

We will present another proof, which does not rely on the normal form theory. For our proof we will use some properties of series (1.5) satisfying (1.6).

Formula (2.2) and the results obtained below also remain valid in the case of $1:-1$ resonant singular points. But, since the results in the $1:-1$ resonant case are known, below we work under the assumption $p/q\ne 1$, taking advantage of the fact that in such case the subscripts of the parameters $a_{jk}, \ b_{kj}$ of (1.4) are non-negative.

Observe that we can write function (1.5) in the form

where

By [23, p. 117], the coefficients $v_{k_1, k_2}$ of the series (1.5) can be computed recursively using the formula

(in ^[23] formula (2.7) was obtained for the case of polynomial system (1.4), but, obviously, it also remains valid in the case when the right-hand sides of (1.4) are series). Using (2.7), the computation of coefficients $v_{k_1, k_2}$ is performed recursively with the recursion on $k_1 + k_2$. For the initial step $k_1+k_2 = 0$, the values of $v_{k_1, k_2}$ are set accordingly to (2.6).

We order the index set of parameters $a_{jk}$ in the first equation of (1.4) in some manner, say by degree lexicographic order from least to greatest, and write the ordered set as

Consistent with this we then order the parameters as $(a_{10}, a_{01}, a_{-1, 2}, a_{20}, \dots, b_{02}, b_{2, -1}, b_{10}, b_{01})$ so that any monomial appearing in $v_{ij}$ has the form $a_{10}^{\nu_1} a_{01}^{\nu_2} \cdots a_{s, t}^{\nu_\ell} b_{t, s}^{\nu_{\ell+1}} \cdots b_{10}^{\nu_{2\ell-1}} b_{01}^{\nu_{2\ell}}$ for some $\nu = (\nu_1, \dots, \nu_{2\ell})$ and $\ell = 1, 2, \dots.$ To simplify the notation, for $\nu \in \mathbb{N}_0^{2\ell}$ we write

so if the $k$-th variable in the product is $a_{pq},$ then the $2\ell -k+1$-st variable is $b_{qp}$.

For each $m \in \mathbb{N}$ we consider the finite subset $S_m$ of the set $S$ which corresponds to the case when system (1.4) is a polynomial system of degree $m$, so

Denote by $\ell(m)$ the number of elements in $S_m$ and let $L^m : \mathbb{N}_0^{2\ell(m)} \to {\mathbb{Z}}^2$ be the linear map defined by

Let $\mathbb{K}[a, b]$ be the ring of polynomials in parameters $a_{jk}, b_{jk}$ of system (1.4) over the field $\mathbb{K}$ and for $f \in \mathbb{K}[a, b]$ we write $f = \sum_{\nu \in {\rm{Supp}}(f)}f^{(\nu)}[\nu]$, where ${\rm{Supp}}(f)$ denotes those { $\nu \in \mathbb{N}_0^{2\ell(m)}$, $m = 1, 2, \dots,$ for which the coefficient $f^{(\nu)}\in \mathbb{K}$ } of $[\nu]$ in the polynomial $f$ is nonzero.

Definition 3. For $(j, k) \in {\mathbb{N}}_{-q} \times {\mathbb{N}}_{-p}$, a polynomial

in the polynomial ring ${\mathbb{C}}[a, b]$ is a $(j, k)$-polynomial if, for every $\nu \in {\rm{Supp}}(f)$, $L^\ell(\nu) = (j, k)$ for all sufficiently large $\ell$.

The reader can consult [23, Section 3.4] for more details about $(j, k)$-polynomials in the case of polynomial system (1.4).

From now on, we will limit our consideration to systems of the form

By Lemma 2, in the case when $p/q\ne 1$, systems (1.4), which are time-reversible with respect to involution (1.7), form a subfamily of systems (2.10), so we do not lose generality working with family (2.10) if we are interested in time-reversibility with respect to (1.7).

Lemma 4. For system (2.10), if $v_{k_1, k_2}$ is a nonzero coefficient of series (1.5) computed by (2.7), then

for some non-negative integers $\tau_1, \tau_2$. Moreover, under involution (1.7) the term

of (1.5) is changed to the term

and vice versa.

Proof. For system (2.10) the linear map (2.9) can be written in the form

where $(L_1^m(\nu), L_2^m(\nu))$ is defined by (2.9) and $L^{q m-q+1 }(\nu) = \dots = L^{q m-1 }(\nu) = L^{q m }(\nu)$. By Theorem 4 of ^[21], $v_{k_1k_2}$ is a $(k_1, k_2)$-polynomial. Therefore for each monomial $[\nu]$ of $v_{k_1k_2}$ it holds that

for all sufficiently large $m$. It means that $q$ divides $k_1$ and $p$ divides $k_2$, that is, (2.11) holds.

Performing in (2.12) substitution (2.3) we see that (2.13) holds. □

Remark 5. Theorem 4 of ^[21] mentioned above was formulated in ^[21] for the case of polynomial systems (1.4), but it also remains correct in the case when the right-hand sides of (1.4) are series.

Theorem 6. The formal series (1.5) computed according to (2.7) is unchanged under involution (1.7), that is, in view of Lemma 4,

Proof. We prove the claim using induction on $\tau_1+\tau_2$. When $\tau_1 = \tau_2 = 0$, we have by definition $v_{00} = 1$, so the claim holds.

Using Lemma 4 we can write formula (2.7) as

In view of (2.2) and taking into account that $v_{j, k}$ are $(j, k)$-polynomials for $\tau_1\neq \tau_2$, we can change the rule of summation obtaining from (2.15)

where $s_1 = q \tilde s_1,$ $s_2 = p \tilde s_2.$

Performing similar computations we have

where $s_1 = q \tilde s_2,$ $s_2 = p \tilde s_1.$

Using (2.2) we further obtain from (2.17)

where we have changed $v_{q \tilde s_2, p \tilde s_1}$ to $v_{q \tilde s_1, p \tilde s_2}$ using the induction hypothesis. Comparing the expressions for (2.16) and (2.18), we conclude that (2.14) holds, that is, the series $\Psi(x, y)$ computed by (2.7) is unchanged under the involution (1.7). □

Using the obtained results we prove Theorem 1 as follows.

Proof of Theorem 1. Denote by $\mathfrak{X}$ the vector field of system (2.10). By Theorem 6 the series $\Psi(x, y)$ computed by (2.7) is unchanged under involution (1.7).

Assume that

Since, by our assumption, the system is time-reversible, it also holds that

yielding $\alpha(x, y)\equiv 0$. That means, $\Psi(x, y)$ is a formal first integral of (1.4). Then, there also exists an analytic first integral of the form (1.5) (see e.g., ^[21,30]). □

Remark 7. Our proof of Theorem 1 is based on the fact that series (1.5) has property (2.14). We emphasize that this property is true for general systems (1.4), but for time-reversible systems it yields that, in the reasoning above, $\alpha(x, y)\equiv 0$.

Corollary 8. If system (1.4) is time-reversible with respect to involution (1.7), then the system in the distinguished Poincaré-Dulac normal form is also time-reversible with respect to the same involution.

Proof. Since by Theorem 1 any time-reversible system (1.4) is locally analytically integrable, its distinguished normal form can be written as

where $g_k$ are numbers (see e.g., ^[21,30]). Clearly, the latter system is time-reversible with respect to (1.7). □

The normal form of any locally analytically integrable system (1.4) is given by (2.19). System (2.19) is time-reversible with respect to the involution (1.7). Therefore, any locally analytically integrable system (1.4) is conjugate to a time-reversible system, in the sense that there exists a change of variables $\phi$ that transforms the original system to the normal form (2.19), and consequently the original system is time-reversible with respect to the involution $\tilde{\psi} = \phi^{-1} \circ \psi \circ \phi$, where $\psi$ is the involution (1.7). Hence, the analytical integrability of system (1.4) is always associated with a time-reversal symmetry. In fact, all nondegenerate centers are conjugate to a time-reversible system, and all the nilpotent centers are orbitally time-reversible. This does not happen for systems with the null linear part, see ^[12].

The problem with the map $\tilde {\psi}$ is that we have no idea about the form of $\tilde {\psi}$, not even the leading terms of such involution. Therefore, from the found results, we cannot deduce an algorithm based on the computation of the involution of the original system. However, several methods to compute the saddle or focus quantities are known, see for instance ^[8,10,11,23] and references therein.

Nevertheless, there always exists a change $\phi$ such that any differential system (1.4) is transformed to its normal form

(where $Y_1(w) = \sum_{k = 1}^\infty Y_1^{(k)} w^k, \ Y_2(w) = \sum_{k = 1}^\infty Y_2^{(k)} w^k$ are formal or convergent series of variable $w$) and the results known for such resonance can be applied to the $p:-q$ resonance but only in the normal form. The change $z_1 = x^q, \ z_2 = y^p$ does not work for the original system (1.4), but it is possible to apply it to system (2.10), reducing the study to the $1:-1$ resonant case. However, we have chosen to work with system (2.10), directly obtaining the important property of series (1.5) given in Theorem 2.4, which is related to the results of the next section.

3.   Conditions of time-reversibility and the Sibirsky ideal

In this section we propose an algorithmic approach which allows for a given polynomial family (2.10) to find the set of systems which are time-reversible with respect to (1.7). We also give a description of the set using the so-called Sibirsky ideal, obtaining some generalizations of the results of ^[14,19].

We will limit our consideration to polynomial systems of the form (2.10), that is, systems of the form

assuming that $p/q \neq 1$.

Denote by $\ell$ the number of parameters in the first equation of (3.1). For $k = 1, \dots, \ell$, let

and consider the ideal

where $w$ is a new variable, so $H$ is an ideal in the ring ${\mathbb{C}}[w, a, b]$.

Theorem 9. The following statements hold:

(a) The Zariski closure of the set of systems in family (3.1), which are time-reversible with respect to involution (1.7) after the transformation

with $\alpha \in {\mathbb{C}}\setminus\{0\}$, is the variety ${\bf V}(\mathcal{I})$ of the ideal

(b) If the parameters $a_{qu, pv}, \ b_{qv, pu}$ of system (3.1) belong to the variety ${\bf V}(\mathcal{I})$, then the system admits a local analytic first integral of the form (1.5).

Proof. (a) Performing in system (3.1) transformation (3.4) we obtain the system of the same shape with the parameters $a_{qu, pv}, b_{qv, pu}$ changed according to the rule

where $u+v = 1, \dots, n$.

By Lemma 2, the system obtained after transformation (3.4) is time-reversible with respect to involution (1.7) if and only if for some $\alpha\ne 0$,

where $u+v = 1, \dots, n$. Equivalently, we can rewrite (3.6) as

where ${\gamma} = \alpha^{-(p+q)}$, $k = 1, \dots, \ell$ and $\zeta_k$ are defined by (3.2).

From (3.7), using the Implicitization Theorem (see e.g., ^[7]), we conclude that the first statement holds.

(b) By construction, ${\bf V}(\mathcal{I})$ is the Zariski closure of systems which are time-reversible with respect to (1.7) after a linear transformation (3.4), so, in view of Theorem 1, it is the Zariski closure of systems which admit a first integral of the form (1.5). However, the set of systems in the space of parameters of (3.1) having an analytic first integral integral of the form (1.5) is an algebraic set (see e.g., Theorem 3.2.5 of ^[23]). Therefore, all systems from ${\bf V}(\mathcal{I})$ admit an analytic first integral of the form (1.5). □

Remark 10. Obviously, generically the set of time-reversible systems is a proper subset of ${\bf V}(\mathcal{I})$.

As an example we consider the $1:-2$ resonant system of the form (3.1) of degree five:

Proposition 11. System (3.8) admits an analytic first integral of the form (1.5) if the 10-tuple $(a_{01}, \dots, a_{40}, b_{40}, \dots, b_{01})$ of its coefficients belong to the variety of the ideal

Proof. In the case of system (3.8) the ideal $H$ used in Theorem 9 is

Computing the reduced Gröbner basis of this ideal with respect to the lexicographic ordering with ${\gamma} > w > t_1 > t_2 > t_3 > t_4 > a_{01} > a_{02} > a_{20} > a_{21} > a_{40} > b_{01} > b_{02} > b_{20} > b_{21} > b_{40}$ we obtain the set of polynomials

where the dots stand for the polynomials which depend on ${\gamma}, w, t_1, t_2, t_3, t_4, t_5$.

The polynomials of the Gröbner basis which do not depend on ${\gamma}, w, t_1, t_2, t_3, t_4$ form a basis of the ideal $\mathcal{I}$ of Theorem 9 and they are exactly the polynomials defining the ideal in the statement of the present proposition. □

Remark 12. By (a) of Theorem 9, the variety ${\bf V}(\tilde {\mathcal{I}})$ is the Zariski closure of the set of time-reversible systems in family (3.8).

We denote by $S$ the ordered set of subscripts of the coefficients of the nonlinear terms of the first equation in (3.1). Letting $\ell$ denote the number of elements of $S,$ $S$ can be written as

For $\bar\imath_s = (q u_s, p v_s)$, let $\bar\jmath_s = (q v_s, p u_s).$ We call $\bar\imath_s$ and $\bar\jmath_s$ conjugate vectors (or conjugate indices). Any monomial appearing in the coefficient $v_{k_1 k_2}$ of (1.5) has the form $a_{ \bar\imath_1}^{\nu_1} \cdots a_{ \bar\imath_\ell}^{\nu_\ell} b_{ \bar\jmath_\ell}^{\nu_{\ell+1}} \cdots b_{ \bar\jmath_1}^{\nu_{2\ell}}$ for some $\nu = (\nu_1, \dots, \nu_{2\ell})$. We use notation (2.8) adapted to the case of system (3.1), so now

For a given field $\mathbb{K}$ we will write just $\mathbb{K}[a, b]$ in place of $\mathbb{K}[a_{ \bar\imath_1}, \dots, a_{ \bar\imath_\ell}, b_{ \bar\jmath_\ell}, \dots, b_{ \bar\jmath_1}]$, and for $f \in \mathbb{K}[a, b]$ write $f = \sum_{\nu \in {\rm{Supp}}(f)}f^{(\nu)}[\nu]$, where ${\rm{Supp}}(f)$ denotes those $\nu \in \mathbb{N}_0^{2\ell}$ such that the coefficient of $[\nu]$ in the polynomial $f$ is nonzero.

Definition 13. Let

The conjugate $\widehat f$ of $f$ is the polynomial obtained from $f$ by the involution

that is,

Since $[\nu] = a_{q u_1, p v_1}^{\nu_1} \cdots a_{ q u_\ell, p v_\ell}^{\nu_\ell} b_{q v_\ell, p u_\ell}^{\nu_{\ell+1}} \cdots b_{q v_1, p u_1}^{\nu_{2\ell}}$, we have

so that

For this reason we will also write, for $\nu = (\nu_1, \dots, \nu_{2\ell})$, $\widehat \nu = (\nu_{2\ell}, \dots, \nu_1)$.

Once the $\ell$-element set $S$ has been specified and ordered we let $L : \mathbb{N}_0^{2\ell} \to \mathbb{N}_0^2$ be the map defined by

which is similar to the map (2.9).

Let

Clearly, $\mathcal{M}$ is an Abelian monoid.

Let $\mathfrak{X}$ be the vector field of system (3.1). The following result was obtained in ^[21] (where speaking about $(s, t)$-polynomials we mean $(s, t)$-polynomials with respect to map (3.9)).

Theorem 14. Let family (3.1) be given. There exists a formal series $\Psi(x, y)$ of the form (1.5) and polynomials $g_{q, p}, g_{2q, 2p}, \ldots$ in ${\mathbb{Q}}[a, b]$ such that

(a)

(b) for every pair $(i, j) \in {\mathbb{N}}_{-q}\times {\mathbb{N}}_{-p}$, $i + j \ge 0$, $v_{ij} \in {\mathbb{Q}}[a, b]$, and $v_{ij}$ is an $(i, j)$-polynomial;

(c) for every $k \ge 1$, $v_{qk, pk} = 0$; and

(d) for every $k \ge 1$, $g_{qk, pk} \in {\mathbb{Q}}[a, b]$, and $g_{qk, pk}$ is a $(qk, pk)$-polynomial.

For a given family (3.1) and ordered set $S$ of indices for any $\nu \in \mathbb{N}_0^{2\ell}$, define $V(\nu) \in {\mathbb{Q}}$ recursively, with respect to $|\nu| = \nu_1 + \cdots + \nu_{2\ell}$, as follows:

for $\nu \ne (0, \dots, 0)$

and when $p L_1(\nu) \ne q L_2(\nu)$ ,

where $L(\nu)$ is defined by (3.9).

Theorem 15. For a family of systems of the form (3.1) let $\Psi$ be the formal series of the form (1.5) computed by (2.7), $\{ g_{q k, p k} : k \in {\mathbb{N}} \}$ be the polynomials in ${\mathbb{C}}[a, b]$ satisfying (3.10). Then,

(a) for $\nu \in {\rm{Supp}}(v_{k_1, k_2})$, the coefficient $v_{k_1, k_2}^{(\nu)}$ of $[\nu]$ in $v_{k_1, k_2}$ is $V(\nu)$,

(b) for $\nu \in {\rm{Supp}}(g_{qk, pk})$, the coefficient $g_{qk, pk}^{(\nu)}$ of $[\nu]$ in $g_{qk, pk}$ is

and

(c) the following identities hold:

Statements (a) and (b) of the theorem are proved in ^[21], statement (c) can be proved similarly as statement 3) of Theorem 3.4.5 of ^[23].

The next statements follows immediately from c) of Theorem 15.

Corollary 16. The saddle quantities $g_{qk, pk}$ of system (3.1) have the form

By the analogy with the $1:-1$ resonant case, we call the ideal

the Sibirsky ideal of system (3.1). Obviously, transformations (3.4) form a group. It is easy to see that any $\nu\in \mathcal{M}$ $[\nu]$ is an invariant of group (3.4). Sibirsky studied such invariants for the case of the $1:-1$ resonant system (1.4) and used the ideal (3.13) to describe the basis of the invariants and the number of symmetry axis of the corresponding real systems ^[24,25].

Theorem 17. If the $2 \ell$-tuple of parameters of (3.1) belong to ${\bf V} (I_{Sib})$, then the corresponding system admits an analytic first integral of the form (1.5).

Proof. The conclusion follows from formula (3.12). □

The following statement is similar to the one of ^[14] and shows that the variety of the Sibirsky ideal is the Zariski closure of the set of systems, which are time-reversible with respect to (1.7). The proof is based on an adaption of the ideas of ^[6,26].

Theorem 18. Let $\mathcal{I}$ be the ideal defined by (3.5). Then

Proof. For $k = 1, \dots, \ell$ let, as above, $\zeta_k = u_k-v_k$ and consider the ring homomorphism

defined by

Let $H$ be the ideal (3.3). Clearly,

A reduced Gröbner basis $G$ of ${\mathbb{Q}}[a, b]\cap H$ can be found computing a reduced Gröbner basis of $H$ using an elimination ordering with $\{a_{qu_j, p v_j}, \ b_{q v_j, p u_j}\} < \{w, {\gamma}, t_j\}$ for all $j = 1, \dots, \ell$, and then intersecting it with ${\mathbb{Q}}[a, b]$. Since $H$ is binomial, any reduced Gröbner basis $G$ of $H$ also consists of binomials. This means that $\mathcal{I} = H\cap {\mathbb{Q}}[a, b]$ is a binomial ideal.

We show that $I_{Sib}\subset \mathcal{I}.$ Taking into account that $\zeta_k = - \zeta_{2\ell -k}$ by (3.15) for any $\alpha = (\alpha_1, \dots, \alpha_{2\ell}) \in \mathcal{M}$ we have

and

Since

we obtain $\theta(\kappa [\alpha]- [\hat \alpha]) = 0.$ Thus, $\kappa [\alpha]- [\hat \alpha]\in \ker(\theta)$ yielding $\kappa [\alpha]- [\hat \alpha]\in \mathcal{I}$.

The proof of the inclusion $\mathcal{I}\subset I_{Sib}$ is similar as the proof in Theorem 5.2.2 of ^[23]. □

As an immediate consequence of Theorem 3.14 and Theorem 9, we have the next result.

Theorem 19. The variety of the Sibirsky ideal $I_{Sib}$ is the Zariski closure of the set $\mathcal{R}$ of all time-reversible systems in family (3.1).

4.   Conclusions

The above studies show that the theory regarding the computation and the structure of the saddle quantities for $1:-1$ resonant systems also has a counterpart in the family of $p:-q$ resonant systems, however not in the whole family, but just in subfamilies of the form (2.10) and (3.1). It is in agreement with the known fact that the study of local integrability of $p:-q$ resonant systems is much more difficult than the studies in the $1:-1$ case, which can be observed already in the quadratic and the cubic case ^[4,9].

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgements

This work has been realized thanks to the Spanish Ministerio de Ciencia, Innovación y Universidades, Agencia Estatal de Investigación PID2019-104658GB-I00 and PID2020-113758GB-I00 grants; an AGAUR (Generalitat de Catalunya) grants number 2021SGR01618 and number 2021SGR00113; the Slovenian Research Agency (core research program P1-0306) and the European Community H2020-MSCA-RISE-2017-777911 grant.

Conflict of interest

Prof. Jaume Giné and Prof. Valery G. Romanovski are the Guest Editors of special issue "Advances in Qualitative Theory of Differential Equations" for AIMS Mathematics. Prof. Jaume Giné and Prof. Valery G. Romanovski were not involved in the editorial review and the decision to publish this article. The authors declare no conflicts of interest.