On algebraic integrals of a differential equation Текст научной статьи по специальности «Математика»

#

Discrete & Continuous Models

2019, 27 (2) 105-123

Computational modeling and simulation

Research article

UDC 512, 519.6

DOI: 10.22363/2658-4670-2019-27-2-105-123

On algebraic integrals of a differential equation

Mikhail D. Malykh1, Leonid A. Sevastianov1, Yu Ying1,2

1 Department of Applied Probability and Informatics Peoples' Friendship University of Russia (RUDN University) 6, Miklukho-Maklaya St., Moscow, 117198, Russian Federation 2 Department of Algebra and Geometry

Kaili University 3, Kaiyuan Road, Kaili, 556011, China

(received: October 24, 2019; accepted: November 14, 2019)

We consider the problem of integrating a given differential equation in algebraic functions, which arose together with the integral calculus, but still is not completely resolved in finite form. The difficulties that modern systems of computer algebra face in solving it are examined using Maple as an example. Its solution according to the method of Lagutinski's determinants and its implementation in the form of a Sagemath package are presented.

Necessary conditions for the existence of an integral of contracting derivation are given. A derivation D of the ring A will be called contracting, if such basis B = [m1,m2,... } exists in which = qm^ + o(mi). We prove that a contracting derivation of a polynomial ring R admits a general integral only if among the indices c1, C2,... there are equal ones. This theorem is convenient for applying to the problem of finding an algebraic integral of Briot-Bouquet equation and differential equations with symbolic parameters. A number of necessary criteria for the existence of an integral are obtained, including those for differential equations of the Briot and Bouquet. New necessary conditions for the existence of a rational integral concerning a fixed singular point are given and realized in Sage.

Key words and phrases: Darboux polynomials; algebraic integrals of differential equations; finite solution; Sage; Sagemath; Maple

In the theory of differential equations, it is common from the very beginning to choose a class of functions in which solutions of differential equations are sought so wide that the initial problem has solutions for almost all initial

© Malykh M.D., Sevastianov L.A., YingYu., 2019

1. De Beaune problem

© ®

This work is licensed under a Creative Commons Attribution 4.0 International License http://creativecommons.org/licenses/by/4-0/

data. In the case of symbolic integration, or finding the solution in finite form, on the contrary, this class is constricted to make it possible in a finite number of operations, first, to find out whether the given differential equation has a general solution in this class, and second, to write out this solution explicitly. The simplest class, which could be expected to possess the above two properties, is the set of algebraic functions.

The problem of integrating differential equations in algebraic functions arose as early as the 1630s, when Forimond de Beaune proposed to Descartes several "inverse tangent problems" [1, Pp. 510-518]. We formulate this purely algebraic problem as follows.

Problem 1 (de Beaune). Clarify whether a given differential equation

has an integral r in the field k(x, y); in the case of a positive answer, write out this integral.

Here k is the field of constants, commonly represented by Q, C or Q[a, b,... ], where a,b,... are the parameters that enter the differential equation. There is no reason to consider these cases separately, so we assume that k is an infinite field of characteristic zero.

The interest to the De Beaune problem sometimes faded away, sometimes arose again. At the turn of the XIX-XX centuries, it was due to successes in proving the nonexistence of algebraic integrals of dynamical systems; among the papers of this period worth particular attention are the Poincare memoir [2, Pp. 35-95] and a series of articles by M.N. Lagutinski [3,4]; the biographical data were published by J.-M. Strelcyn [5,6].

Recently, the classical problem of finding an algebraic integral has again become relevant in connection with the development of algorithms for the symbolic solution of differential equations suitable for implementation in modern computer algebra systems [7,8]. First of all, it should be noted that popular computer algebra systems cannot efficiently recognize differential equations having algebraic integrals.

Example 1. To confirm this statement the following test was used. Let u,v — be arbitrary polynomials, then w — u/v is an integral of the differential equation

An attempt to apply standard methods of solving differential equations to this differential equation in the Maple computer algebra system reduces the differential equation to a quadrature of the form

occupying many screens, moreover, Maple cannot take the written integrals.

p(x,y)dx + q(x,y)dy = 0, p,qek[x,y]

(1)

Taking randomly u and v, we get the differential equation

p(x,y)dx + q(x,y)dy— 0, p,qeQ[x,y].

J rdx + sdy — C , r,seQ{x,v)

It is worth noting that for the symbolic solution of differential equations in Maple the package DETools [9] is used. Within the second algorithm of DETools the search for integrating factors in the ring C[x, y] is executed. The equation generated in the test has several such integrating factors, namely, u and v, so that Maple would have to cope with the test. However, the following occurs:

— symgen returns two integrating factors, whose ratio yields the rational desired integral,

— dsolve ignores the second factor and write out a quadrature which it cannot calculate in elementary functions, although the full implementation of Ostrogradski algorithm would cope with this difficulty.

Thus, usually Maple cannot recognize an algebraic integral, however, the user can do it himself, looking at the result of applying the function symgen.

Insurmountable difficulties arise when p and q have common factors. The methods implemented by Maple, first of all, relieve the ordinary differential equation to be solved from common factors. The reduced equation may not have integrating factors in the ring C[x,y], and finding factors from C(x,y) leads to nonlinear equations for the coefficients and requires completely different computational costs for which the developers of symgen did not go. As a result, e.g., when

u=(x2 + y)5(x -y6 + 1) + 1, v = (13xy8 + y5 + 3xy + 2)(x2 + y)4, symgen finds one factor from Q[x,y] and nothing else.

Despite the antiquity of the de Beaune problem, we do not have an algorithm to solve it in a finite number of operations. The de Beaune problem is equivalent to the problem of integrating a partial differential equation

dr dr

Pa--= 0

ay ox

in the field k(x, y); we will further briefly write it as Dr = 0. By the method of uncertain coefficients, we can substitute into the equation Dr = 0 the expression

a+-----+ byn

T = 1 + - + cyn

and obtain a system of nonlinear algebraic equations for finding the coefficient a,b,c,.... The solvability of this system can be determined in a finite number of steps and in a purely algebraic way. Therefore, in a finite number of operations one can find out whether a given differential equation has rational integrals whose degree does not exceed a given number n.

The problem of finding the upper bound for the degree of the sought integral was noted by Descartes, and in some cases was resolved by Poincare [2], pp. 35-95. The idea of the Poincare method is as follows. If a differential equation admits a rational integral, then its integral curves form a linear sheaf of algebraic curves of some order n, this immediately follows from a comparison of the Cauchy theorem from the analytic theory of differential equations [10] and Bertini's theorem from the theory of algebraic curves [11]. Two arbitrary curves of the sheaf intersect at n2 fixed points. On the other hand, according

to the Cauchy theorem, these curves can intersect only at those points at which the polynomials p and q vanish simultaneously; in the analytical theory of differential equations, such singular points are called fixed points. If the orders of the curves p(x, y) — 0 and q(x, y) — 0 do not exceed m, then n < m. However, it is impossible to bring this idea to a rigorous statement: among the intersection points of the integral curves there may be multiple and infinitely distant ones, as well as at fixed singular points of the differential equation, the solutions may have various kinds of "degeneracies". That is why M.N. Lagutinski carefully notes that the "French scientist in the work just referred deduces a number of equalities and inequalities that in some cases achieve the goal of indicating the upper bound of the order n" [3, P. 181]. Taking into account that "the difficulties of this way for solving this problem have stopped even H. Poincare" [3], it is not hard to understand why in all modern implementations of algorithms for finding integrals, the order of the integral is assumed to be given [12].

The de Beaune problem, in which a bound for the orders of considered integrals is given, will be referred to as a bounded problem.

Problem 2 (The bounded de Beaune problem). Clarify whether a given differential equation

admits an integral r in the field k(x, y) whose order does not exceed a given number N, and in case of positive answer, write out this integral.

Practically the described solution of a system of nonlinear algebraic equations requires considerable computation resources even at N = 3. Therefore, the authors of algorithms for solving this problem try to avoid the solution of nonlinear systems. Among the implemented algorithms, worth special attention are the Lagutinski's method of determinants and the method proposed by Jacques-Arthur Weil in 1985 based on power series expansion [12].

2. The bounded de Beaune problem and Lagutinski's method of determinants

Lagutinski's method allows searching for particular and general integrals of ring derivations of sufficiently general form. An up-to-date presentation of this method for the case of the C[x, y] ring is given in [13,14], and the general case is considered in [15]. For convenience of reference we present here a brief description of the method.

Let R be a ring with derivation D and field of constants k. Consider k to be an arbitrary field of characteristic zero and Q G k. Let us call a general integral of this derivation a pair of elements i[)1, ip2 linearly independent over the field , satisfying the equality

If the ring R is integral, then the derivation is naturally continued on its field of quotients, and the fraction ijj1 /tjj2 satisfies the equation

p(x,y)d x + q( x,y)dy = 0, p,qGk[x,y]

(2)

i>1D ^2 = i>2 D .

(3)

D( ^ / ip2 ) = 0.

We will deal with rings where a basis can be introduced in the following sense.

Definition 1. A countable ordered set B of elements mrj of a ring R will be called a basis of the ring if

1) any element of the ring R can be presented as a linear combination of a finite number of elements of the set B with constant coefficients;

2) a product of any two elements of the set B belongs to B, and follows strictly after both efficients, i.e., mimj = mn and n is strictly greater than i and j.

Let us introduce the ordering relationship in the basis, i.e., the inequality mi < mj means that i < j and assume that the notation u = o(mi) means that the representation of the element u of the ring R in the form of a linear combination of basis elements contains the basis elements whose numbers are strictly larger than i. If u = ami + o(mi), a ^ 0, then the addend ami will be called the lowest term in u.

In contrast to the common agreement, we call the number of the greatest basis term entering the decomposition of an element u in the basis an order of this element.

Example 2. In the ring R = Qt[x,y] a system of various monomials may be taken to be a basis by accepting the glex-ordering:

l,y,x,y2, xy, x2, y3, y2x, yx2, x3, ... Below this basis will be referred to as glex-basis. In this case, for example,

y2 + xy + 3x3 = y2 + o(y2), and the order of this element equals 10.

The calculations of integrals is closely related to Lagutinski's determinants. Definition 2. Compose an infinite matrix with the first row

mi,m2,...,

the second row being the first derivative of the first one,

Dm1, Dm2,..., the third row being the second derivative of the first one,

D2m1 ,D2m2,...,

and so on to infinity. A determinant of the corner minor of the n-th order of this matrix, i.e.,

det

i m1 m2 ... m._ \

Dm1 Dm2 ... Dm

"n

(4)

\Dn-1m1 Dn-im2 ..., Dn-imnJ

will be denoted by An and called Lagutinski's determinant of the n-th order.

The following theorem provides a complete solution of the bounded de Beaune problem.

Theorem 1 (by M.N. Lagutinski). Let R be a ring of polynomials.

1. A general integral exists then and only then, when all Lagutinski's determinants of sufficiently high order are equal to zero.

2. A general integral of the order N exists then and only then, when AN = 0; in this case the integral can be calculated as a ratio of the corresponding minors of this determinant.

The proof of Lagutinski's theorem and the rule of choosing minors to construct integrals is given in [15].

Remark 1. From this theorem, in particular, it follows that finding a rational integral does not require the field extension. If p and q belong to Q[x,y] and there is an integral in C( x,y), then applying this theorem at k = C, we see that for a certain N AN = 0. The calculation of Lagutinski's determinants does not lead beyond the field Q. Therefor, applying this theorem at k = Q, we arrive at the existence of an integral in the field Q(x,y). For this reason, below we mean the integral of an equation with integer coefficients to be an element of Q(x,y).

Lagutinski's method agrees well with the concept of operating with rings, accepted in Sage [16]. We have written a package Lagutinski [17] in Sage, which allows calculation of Lagutinski's determinants and integrals in this environment. The package was presented in 2016 at a number of conferences on computer algebra [18-20]. Here we restrict ourselves to one example illustrating the application of this package. In more detail the technique of its application is described in [21].

Example 3. Let the Bernoulli differential equation be given,

y( x + l)cly — (y2 + x + 2)dx = 0,

which for certain possesses an algebraic integral. Let us find it using Lagutinski's method. For this purpose we specify in a usual manner the corresponding differential ring and its basis: sage: R.<x,y> = PolynomialRing(QQ, 2)

sage: D=lambdaphi: y*(x+1)*diff(phi,x)+(y~2+x+2)*diff(phi,y)

sage: B= sorted(((1+x+y)~5).monomials(),reverse=0)

and load our package

sage: load("lagutinski.sage")

None

Now we can calculate Lagutinski's determinants, e.g., sage: lagutinski_det(2,B) y~2 + x + 2

sage: lagutinski_det(3,B)

x~3 + x*y~2 + 5*x~2 + y~2 + 8*x + 4

Let us find that of the determinants, which equals zero:

sage: lagutinski_det(5,B)==0 False

sage: lagutinski_det(6,B)==0 True

Since A5 ^ 0, and A6 = 0, the integral will be:

sage: lagutinski_integral(6,B)

(-54*x~2 + 18*y~2 - 72*x)/(-18*y~2 - 36*x - 54)

Since the calculations are cumbersome, the first argument of this function should coincide with the smallest number of zero determinant.

The theory and its implementation are illustrated by Yu Ying by the examples taken from the book of problems by A. F. Filippov, the report is published in [22]. The numerical experiments carried out show that Lagutinski's method practically allows fast and resource-saving detection of the presence of a rational integral. However, the method requires considerable computational costs for the calculation of this integral. Note that the problem of determining the boundary for the integral order, always discussed in theory, appeared insignificant in practice, since there were no differential equations in the book of problems, whose integral curves had the order of 10 or higher.

3. Necessary conditions for the existence of an integral

of contracting derivation

In application to a non-bounded de Beaune problem the Lagutinski method yields a sequence of determinants A1 ,A2,....

According to the theorem 1 this sequence is finite then and only then when an integral in k(x, y) exists. However, its condition cannot be checked constructively, moreover, the calculation of determinants of the order of 20^30 already requires considerable computational costs. Therefore, it is important to transform this statement into a necessary condition of the integral existence, at least for some classes of derivations.

Definition 3. A derivation D of the ring A will be called contracting, if such basis B = {m1, m2,... } exists in which

Dmi = CiW,i + o(mi). (5)

Any basis, in which the differentiation operation satisfies the conditions 5, will be called a contracted derivation of D, ci will be called indices of contraction in the basis B.

Generally, there can be several contracting bases, and the indices of contraction n then can be different. The possibility of applying the integral existence criteria presented below essentially depend on the possibility to choose a basis that contracts a given derivation.

Remark 2. The proposed name refers to the theory of contracting operators in Banach spaces. In the present case, of course, there is no norm, but the basis specifies a certain "topology", and the condition contained in the definition

indicates the fact that the derivation D transforms the basis element mi into the element Dmi, which is a linear combination of basis elements whose numbers are greater than i.

Example 4. In the ring R = Q[x,y] the derivation

D = (ay + cx + .)— — (bx + (6)

is contracting with respect to glex-basis B = {1, y, x, y2, yx, x2,... }. Indeed,

D(ynxm) = n(ay + cx + ...)yn-1xm — m(bx + ...)ynxm-1 =

= (an — mb) ynxm + o(y nxm).

The numbers an — mb that appeared here are indices of contraction.

Theorem 2 (necessary criterion for existence of general integrals).

A contracting derivation of a polynomial ring R admits a general integral only if among the indices of contraction there are equal ones.

This simple criterion follows from theorem 1 using the following lemma.

Lemma 1. Let the derivation D be contracting, then in a suitable basis

An = W(ci, C2mi + o ( ^

n

i I ,

i=1 \i=1

where W is a Vandermonde determinant. Proof. In a suitable basis

Dmi = cimi + o(m i),

from where

Do( mi) = o(rrii)

and further

Dmmi = cinmi + o( mi).

The Lagutinski determinant An is formed by linear combinations of the products

Dii m1Di2 m 2 ••• = (4142 .. + ° (H

and, therefore, is a sum of the expression

n

i

i=1 i=1

^ (—rfM^,-)cl1 ci2 .nmi + o (n™

n / n

rn i

i=1 \i=1

and higher-order terms. In the expression written out it is easy to recognize a Vandermonde determinant

/ 1

W(c1,..., cn) = det

1

\cn

n-1 „n-1

1

cn-1 /

On /

Example 5. The derivation

D = (x + x4 y)— + (x + y) —

of the ring Q[x,y] is contracting, since in the glex-basis

B = [1,y,x,y2 ,xy,x2,...}

is true

D(xn ym) = nxn ym + (x + y)mxn ym-1 + o(xn ym) = (n + m)xnym + o(xnym).

The indices of contraction form a sequence 0,1,1,2,..., in which equal elements are present. Therefore

A2 = W(0,r)y + o(y) = y + o(y),

and then we obtain only

n \ / n

mi

i=1 \i=1/ \i=1

An =W(0,1,1,.)H^i + o(Hmi ) = ° (n

For small orders n the validity of this formula is easily checked by direct calculation:

sage: D=lambda phi: (x+x~4*y)*diff(phi,x)+(x+y)*diff(phi,y)

sage: prod(B[:2])

y

sage: sorted(lagutinski_det(2,B).monomialsO,reverse=0) [y. x]

sage: prod(B[:3]) x*y

sage: sorted(lagutinski_det(3,B).monomialsO,reverse=0) [x~2, x"4*y"2, x~5*y, x~6, x~7*y~3, x~8*y~2] sage: prod(B[:4]) x*y~3

sage: sorted(lagutinski_det(4,B).monomials(),reverse=0) [x~2*y~2, x~3*y, x~4, x~4*y~4, x~5*y~3, x~6*y~2, x~7*y, x~8, x~7*y~5, x~8*y~4, x~9*y~3, x~10*y~2, x~11*y, x~10*y~6, x~11*y~5, x~12*y~4, x~13*y~3]

4. Necessary conditions for the existence of a rational integral of the Briot—Bouquet equation

The theorem 2 is convenient for applying to the problem of finding an algebraic integral of the differential equation

(ay + cx + ... )dx + (bx + ... )dy = 0, (7)

which we, following E. Ains [23, n. 12.6], will refer to as the Briot-Bouquet equation.

Remark 3. Equation (7) possesses a number of unexpected analytical properties and for a long time attracts the attention of researchers. The initial problem

(ay + cx + ... )dx + (bx + ... )dy = 0, Mx=0 = 0

does not satisfy the conditions of the Cauchy theorem. Nevertheless, in 1856 Briot and Bouquet [23, n. 12.6], has proved that at a/b £ Z this problem admits a unique solutions holomorphic in the vicinity of zero. The question of whether the initial problem admits other solutions having a singularity at zero, was the subject of research by Briot and Bouquet, Picard and Poincare [24, n. 426].

An integral of the equation (7) is also an integral of the derivation

D = (ay + cx + .)^y-(bx + .)^ (8)

which as it has been shown in the example 4, contracts the glex-basis

B = {1,y,x,y2,xy,x2,... }. From here, as a consequence of theorem 2, immediately follows:

Theorem 3 (about the Briot—Bouquet equation). The differential Briot-Bouquet equation (7) can have a rational integral in k(x, y) only if a and b are linearly dependent over the field Q.

Proof. Applying the derivation (8) to a monomial, we get

Dxn ym = (ay + cx + ...)- (bx + ...)ux y

dy dx

= (ma — nb)xn ym + o(xn ym).

If there are no integer relations between a and b, then among the indices of contraction ma — nb there are no equal ones, so that according to theorem 2 this derivation does not admit general integrals. □

Example 6. The general solution of the linear equation

(ay + cx)dx + bxdy = 0

is easy to write out

where C is the integration constant. Whether the written integral is algebraic or not, depends on whether the ratio a/b is a rational number or not, which completely agrees with the proved lemma.

Example 7. According to the proved theorem the equation

has no algebraic integral at arbitrary and .

5. Necessary conditions for the existence of a rational integral concerning a fixed singular point

It is easily seen that the point (0,0) is a fixed singular point of the differential equation (7). Recall that the Cauchy theorem is applicable to all points of the xy-plane except those in which the polynomials p and q from C[x,y] simultaneously turn into zero. These points are called fixed singular points of the differential equation [10]. If we put the origin of the coordinate system

into a fixed singular point, then

+ = ( 11 + 12 + . ) + ( 21 + 22 + . ) ,

where ... denote the terms of the order higher than the first one. The coefficient a22 prevents the application of theorem 3, however, it is easy to get rid of it by a linear change of variables.

Theorem 4. Let neither p, nor q be reducible to a constant and the field of constants k is algebraically closed. Then to any fixed singular point (x0, y0) of the differential equation we can relate a new system of coordinates

in which this differential equation takes the form of Briot-Bouquet equation, i.e.,

where ... denotes the higher-order terms.

Proof. Since the field k is algebraically closed, the curves p(x, y) = 0 and ( , ) = 0 intersect at some points of the -plane. Let us denote one on these points as (x0, y0) and put the origin of coordinates into this point. Then

(ay + c x)dx + (b x + x y)dy = 0.

x = x 0 + + a rj, a £ k

y = V0 + rl,

(9)

( a v + c£+...)d£+( bi + ...)drt,

+ = ( 11 + 12 + . ) + ( 21 + 22 + . ) ,

where ... denotes higher-order terms. The differential equation pdx+qdy = 0 corresponds to the derivation

D = (anx + aV2y + ...)^ — ^x + a22y + ...

If a22 ^ 0, then it can be eliminated by a linear transformation

x = ^ + arj, a £ k,

.y = v.

Under this transformation the form changes as follows:

pdx + qdy = (...)d£ + [(an (£ + arj) + a^a + 0,21 (£, +arj)+ 0,22 V + .]drj. Equating the coefficient at r/d^ to zero, we arrive at the quadratic equation

a11 a2 + (a 12 + a21 )a + a22 = 0

for finding the parameter a. Since the field k is algebraically closed, this quadratic equation has roots in k, and for such a choice of the parameter the expression will get the desired form

pdx + qdy = (a~q + + ... )d£ + (b£ + ... )drj.

Collecting the results of theorems 3 and 4 together, we get the following algorithm that allows clarifying whether the given differential equation (1) has a rational integral in the field k(x, y):

1) find the fixed singular point (x0,y0);

2) execute a linear transformation, containing the parameter a, in the form

pdx + qdy = (an £ + a^ ^ +...)d£+ ^ £ + a22 V +. )dri;

3) determine the value of the parameter a from the quadratic equation

a>22 = 0;

4) check whether for such value of a the coefficients a12 and a21 are linearly dependent over Q.

If yes, they are linearly dependent, then the differential equation can admit a rational integral, otherwise it does not exist. It is worth noting that the formulated criterion is necessary, but not sufficient.

Our Lagutinski package includes the function lagutinski_ab, which for specified p and q returns true, if at the first fixed singular point the above quantities are linearly dependent.

Example 8. For checking, let us begin with the linear equation

(x + y)dx + xdy = 0,

the general solution of which is expressed as

, > x C y(x) = —2 + x.

We have: sage: x,y=var('x,y') sage: lagutinski_ab(x+y,x) True

Example 9. Maple cannot make any definite conclusion about the equation

(2 — x2 — y2 )dx + (x — y)dy = 0.

The application of our criterion yields sage: x,y=var('x,y') sage: lagutinski_ab(2-x~2-y~2,x-y) False

Therefore, this equation does not admit a rational integral in the field

C(x,y).

It is well known that an arbitrary differential equation (1) cannot be integrated in elementary functions. The proposed algorithm specifies the "degeneracies" that should occur with the coefficients p and q of the differential equation considered to make it integrable in such functions. If the polynomials p,q belong to Q[ x,y], then the application of the described algorithm introduces algebraic numbers twice: first, in finding the fixed singular points and, second, in searching for the parameter a. Therefore, generally the ratio of the coefficients a12 and a21 appears to be an algebraic number, so that the equation does not admit an algebraic integral even in C(x,y).

Remark 4. It is natural to draw an analogy here with the integration of rational functions: in the general case, the denominator of a rational function has simple zeros, and the integral of such a function consists of logarithmic terms; the integral will be rational only in the exotic case when all the singularities are multiple.

6. Differential equations with symbolic parameters

The theorem 3 is seen useless in the case, when the coefficients of Briot-Bouquet equation belong to the field Q. Actually, theorem 2 provides a convenient criterion of unsolvability when the considered equation contains indefinite parameters a,b,..., in other words, when as the field k we consider the field Q(a,b,... ), generated by the variables a,b,... algebraically independent over Q. With their appearance the problem of finding an algebraic integral is separated into two problems:

— to clarify whether the differential equation admits a rational integral in the field k(x,y), i.e., "in the general case";

— to find particular values of the parameters a,b,... in C, for which the differential equation admits a rational integral in the field C(x,y).

The first problem for the equation (7) was completely solved by theorem 3: this equation has no rational integral in the general case.

Now let us proceed to the second problem. Without loss of generality, we can assume that and are polynomials with respect to , and all

parameters a,b,...; for clarity let us consider the set of complex values of the parameters a,b,... as a point in a finite-dimensional affine space A over the field C. Accepting this agreement and using common notations of algebraic geometry [25], the theorem 1 for the field R = Q[x,y,a,b,...] can be reformulated in the following way.

Theorem 5. Let the coefficients An of monomials xnym generate an ideal Jn of the ring Q[a, b,... ]. The set of points (a,b,...) of the affine space A, for which the differential equation

pdx + qdy = 0, p,q £ Q[x, y, a, b,... ],

admits a rational integral from Q(x,y), whose order does not exceed, is an algebraic affine set Z(Jn) in A.

Proof. If the point (a,b,...) belongs to Z(Jn), then An(x,y,a,b,...) at such values of parameters a,b,... indentically turns into zero, and due to the Lagutinski theorem 1 the differential equation admits a rational integral. Conversely, if for some values of the parameters a,b,... the differential equation admits a rational integral of the order n, then the Lagutinski determinant of the same order turns into zero identically and, therefore, (a,b,...) belongs to Z(Jn). □

Generally, the set Z(Jn) can be empty or reducible.

Example 10. Consider again the linear equation

(ay + cx)dx + bxdy = 0.

Let us specify the appropriate ring, derivation, and basis: sage: R.<x,y,a,b,c> = PolynomialRing(QQ, 5) sage: D=lambda phi: (a*y+c*x)*diff(phi,y) -b*x*diff(phi,x) sage: B= sorted(((1+x+y)~30).monomials(),reverse=0)

Calculate the Lagutinski determinants: sage: lagutinski_det(2,B).factor() y*a + x*c

sage: lagutinski_det(3,B).factor() b * a * x * (y*a + y*b + x*c) sage: lagutinski_det(4,B).factor()

(-2) * b * a * x * (y*a + x*c) * (y*a + y*b + x*c) * (-2*y*a~2 - y*a*b - 2*x*a*c + 2*x*b*c)

In the three-dimensional affine space A the set Z(J2) represents a straight line {a = 0, c = 0}, the sets Z(J3),Z(J4) represent a union of two planes {a = 0} U {b = 0}, and so on.

According to the theorem 5 the values of the parameters a,b,..., for which the differential equation

pdx + qdy = 0, p,q £ Q[x, y, a, b,... ]

admits a rational integral of any order in C(x, y) for the set UZ( Jn). It could be expected that this set is also algebraic, as it usually happens in algebraic problems. However, this is not true.

Example 11. The differential equation from the example 6 has a rational integral then and only then, when the ratio a/b is a rational number or when b = 0. Therefore U Z( Jn) represents a union of various planes

na + mb = 0, n,m £ Z in the three-dimensional affine space A.

Now let us reformulate the theorem 3 in these terms.

Theorem 6. The projection onto the plane ab of a set of all values of the parameters a,b,..., at which the differential equation (7) admits a rational integral in C(x, y), is a union of a certain number of straight lines of the form

na + mb = 0, n,m £ Z

and points.

Proof. According to the theorem 5 the set of all points of affine space A, at which the differential equation admits an integral from C(x,y), is a sum of algebraic affine sets and, therefore, represents a union of irreducible affine manifolds. And according to the theorem 3 a projection of this set onto the plane ab is formed by points that are linearly dependent over Q.

This projection cannot coincide with the entire plane, therefore, it can be decomposed into irreducible lines and points. Assume, in contradiction to the theorem, that among these lines there is an irreducible line C of the order r, different from straight lines

na + mb = 0, n,m £ Z.

According to the theorem 3 for any point (a, b) £ C of this curve it is possible to specify one and only one such pair of mutually simple integer numbers ( , ) that

na + mb = 0, m^ 0.

From a geometric point of view this means that any point (a, b) £ C corresponds to the point (n,m) of a projective straight line P^, i.e., we get a mapping

f- c^ P1,

The prototype of the point ( , ) is the set of points ( , ) of the line at which the equality

+ = 0,

i.e., the points of intersection of the straight line + = 0 and the line C in the plane Af.. By Bezout's theorem, there are exactly r such points, therefore, there is a (1, ^-correspondence between the affine line C over C and the projective straight line P1 over Q. As soon as the set Q is countable and the set of points of the algebraic line over C is uncountable, the above is impossible. Hence, the projection is a union of straight lines

+ = 0, , £ Z. and points. □

As shown by example 11, the projection of a set of parameter sets a,b,..., at which the differential equation admits an algebraic integral can be a union of countable sets of affine manifolds, projected into a family of straight lines

na + mb = 0, n,m £ Z.

If, as Lagutinski hoped for, it would be possible to replace an infinite sequence of determinants A2(x, y, a, b,...), A3(x, y, a, b,...),... with a finite set of conditions, then this set would be an affine set. Thus, the appearance of the infinite sequence is not a defect of the Lagutinski method, it indicates the non-algebraic component of the theory of integration of differential equations in algebraic functions. Thus, the bounded de Beaune problem is completely solved by the Lagutinski method, and the unbounded de Beaune problem with parameters inevitably introduces non-algebraic sets and therefore, it does not admit a purely algebraic method of solution.

Conclusion

To summarize, let us list the main results of our consideration:

— Lagutinski's method allows solving the bounded de Beaune problem 2 using a finite number of operations, its implementation in Sage faces but one difficulty: with the growth of the boundary N the calculation of determinants requires more and more computer resources. The calculations can be made faster by choosing a suitable basis; in contracted bases the calculations are considerably more rapid (see lemma 1).

— For the unbounded problem 1 it appears possible to derive from Lagutinski theorem the necessary and easily checked conditions of existence of a rational integral. These criteria are applicable also in the cases, when the standard approaches implemented in Maple yield no definite information, see example 9.

— The above criterion appears to be rather useful for that problems with parameters, when for a given differential equation, containing indefinite parameters, one has to choose their values in a way providing the particular differential equation to admit an algebraic integral. This case clearly demonstrates the reasons why the full solution of an unbounded de Beaune problem is impossible: the desired set of the parameter values is not always an algebraic set.

Acknowledgments

The Lagutinski package was developed by M.D. Malykh and Yu Ying within the frameworks of a project, supported by the Russian Foundation for basic Research (grant No. 18-51-18005). The studies of necessary conditions for the existence of a contracting derivation integral were carried out by Yu Ying under the guidance of L. A. Sevastianov and supported by the Program RUDN 5-100. The calculations presented in the paper were performed in the computer algebra system Sage [16].

References

1. R. Descartes, Œuvres, Vol. 2, Léopold Cerf, Paris, 1898.

2. H. Poincaré, Œuvres, Vol. 3, Gautier, Paris, 1934.

3. M. N. Lagutinski, Applying polar operations to the integration of ordinary differential equations in finite form [Prilozhenie poljarnyh operacij k integrirovaniju obyknovennyh differencial'nyh uravnenij v konechnom vide], Soobshh. Har'kov. matem. obshh. Vtoraja serija 12 (1911) 111-243, in Russian.

URL http://mi.mathnet.ru/khmo117

4. M. N. Lagutinski, On some polynomials and their relationship to algebraic integration of ordinary differential algebraic equations [O nekotoryh polinomah i svjazi ih s algebraicheskim integrirovaniem obyknovennyh differencial'nyh algebraicheskih uravnenij], Soobshh. Har'kov. matem. obshh. Vtoraja serija 13 (1912) 200-224, in Russian.

URL http://mi.mathnet.ru/khmo104

5. V. A. Dobrovol'skij, N. V. Lokot', S. J.-M., Mikhail Nikolaevich Lagutin-skii (1871-1915): un mathématicien méconnu, Historia Mathematica 25 (1998) 245-64.

6. A. J. Maciejewski, J.-M. Strelcyn, On the algebraic non-integrability of the Halphen system, Physics Letters A 201 (1995). doi:10.1016/0375-9601(95)00285-B.

7. Ngoc Thieu Vo, F. Winkler, Algebraic general solutions of first order algebraic ODEs, Vol. 9301, Springer, Cham, 2015, pp. 479-492. doi:10.1007/978-3-319-24021-3_35.

8. M. D. Malykh, On integration of the first order differential equations in finite terms, IOP Conf. Series: Journal of Physics: Conf. Series 788, article number 012026 (2017). doi:10.1088/1742-6596/788/1/012026.

9. E. S. Cheb-Terrab, Computer algebra solving of first order ODEs, Computer physics communications 101 (1997) 254-268. doi:10.1016/S0010-4655(97)00018-0.

10. W. W. Golubew, Vorlesungen über Differentialgleichungen im Komplexen, Deutscher Verlag der Wissenschaften, Berlin, 1958.

11. Fr. Severi, Lezioni di geometria algebrica, Angelo Graghi, Padova, 1908.

12. A. Bostan, G. Chéze, T. Cluzeau, J.-A. Weil, Efficient Algorithms for Computing Rational First Integrals and Darboux Polynomials of Planar Polynomial Vector Fields, Mathematics of Computation 85 (2016) 1393-1425. doi:10.1090/mcom/3007.

13. C. Christopher, J. Llibre, J. Vitorio Pereira, Multiplicity of invariant algebraic curves in polynomial vector fields, Pacific Journal of Mathematics 229 (1) (2007) 63-117. doi:10.2140/pjm.2007.229.63.

14. G. Chèze, Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time, Journal of Complexity 27 (2) (2011) 246-262. doi:10.1016/j.jco.2010.10.004.

15. M. D. Malykh, On the computation of the rational integrals of systems of ordinary differential equations by Lagutinski's method [Ob otyskanii ratsional'nykh integralov sistem obyknovennykh differentsial'nykh urav-neniy po metodu M.N. Lagutinskogo], Bulletin of NRNU MEPhI [Vestnik Natsional'nogo issledovatel'skogo yadernogo universiteta "MIFI"] 5 (24) (2016) 327-336, in Russian. doi:10.1134/S2304487X16030068.

16. The Sage Developers, SageMath, the Sage Mathematics Software System (Version 7.4) (2016).

URL https://www.sagemath.org

17. M. D. Malykh, Lagutinski.sage, ver. 1.5., RUDN University (2016). URL http://malykhmd.neocities.org

18. M. D. Malykh, On M.N. Lagutinski method for integration of ordinary differential equations, in: International conference "Polynomial Computer Algebra'2016", 2016, pp. 57-58.

URL http://pca.pdmi.ras.ru/2016/pca2016book.pdf

19. M. D. Malykh, On the integration of ordinary differential equations [Ob integrirovanii obyknovennyh differencial'nyh uravnenij], in: Computer algebra. Proceedings of the international conference, June 29 - July 2, 2016, Moscow, Russia, 2016, pp. 25-29, in Russian.

20. M. D. Malykh, On the integration of first-order differential equations in finite form [Ob integrirovanii differencial'nyh uravnenij pervogo por-jadka v konechnom vide], in: Fifth International Conference on Problems of Mathematical and Theoretical Physics and Mathematical Modelling. Moscow, April 5-7, 2016. Collection of reports, 2016, pp. 81-82, in Russian.

21. M. D. Malykh, On application of M. N. Lagutinski method to integration of differential equations in symbolic form. Part 1 [O yavnom atribute M.N. Lagutinskogo k integrirovaniyu differentsial'nykh uravneniy 1-go poryadka. Chast' 1. Otyskaniye algebraicheskikh integralov], RUDN Journal of Mathematics, Information Sciences and Physics 25 (2) (2017) 103-112, in Russian. doi:10.22363/2312-9735-2017-25-2-103-112.

22. M. D. Malykh, Yu Ying, The Method of finding algebraic integral for first-order differential equations [Metodika otyskaniya algebraicheskikh integralov differentsial'nykh uravneniy pervogo poryadka], RUDN Journal of Mathematics, Information Sciences and Physics 26 (3) (2018) 285-291, in Russian. doi:10.22363/2312-9735-2018-26-3-285-291.

23. E. L. Ince, Ordinary differential equations, Courier Corporation, 1956.

24. É. Goursat, Cours d'analyse mathématique, Vol. 2, Gauthier-Villars, Paris, 1925.

25. R. Hartshorne, Algebraic geometry, Springer, 1977. For citation:

M. D. Malykh, L. A. Sevastianov, Yu. Ying, On algebraic integrals of a differential equation, Discrete and Continuous Models and Applied Computational Science 27 (2) (2019) 105-123. DOI: 10.22363/2658-4670-2019-27-2-105-123.

Information about the authors:

Mikhail D. Malykh (Russian Federation) — Candidate of Physical and Mathematical Sciences, assistant professor of Department of Applied Probability and Informatics of Peoples' Friendship University of Russia (RUDN University) (e-mail: malykh-md@rudn.ru, phone: +7(495)9550927, ORCID: https://orcid.org/0000-0001-6541-6603, ResearcherID: P-8123-2016, Scopus Author ID: 6602318510)

Yu Ying (China) — postgraduate student of Department of Applied Probability and Informatics of Peoples' Friendship University

of Russia (RUDN University); assistant professor of Department of Algebra and Geometry, Kaili University (e-mail: yingy6165@gmail.com, phone: +7(495)9550927, ORCID: https://orcid.org/0000-0002-4105-2566, ResearcherlD: AAC-8344-2019, Scopus Author ID: 57208127921)

Leonid A. Sevastianov (Russian Federation) — professor, Doctor of Physical and Mathematical Sciences, professor of Department of Applied Probability and Informatics of Peoples' Friendship University of Russia (RUDN University) (e-mail: sevastianov-la@rudn.ru, phone: +7(495)955-07-83, ORCID: https://orcid.org/0000-0002-1856-4643, ResearcherID: B-8497-2016, Scopus Author ID: 8783969400)