Научная статья на тему 'Symmetries of Differential Ideals and Differential Equations'

Symmetries of Differential Ideals and Differential Equations Текст научной статьи по специальности «Математика»

CC BY
103
45
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
differential rings / symmetry / partial differential equations. / дифференциальные кольца и идеалы / инвариантность / уравнения с частными производными.

Аннотация научной статьи по математике, автор научной работы — Oleg V. Kaptsov

The paper deals with differential rings and partial differential equations with coefficients in some algebra. We introduce symmetries and the conservation laws to the differential ideal of an arbitrary differential ring. We prove that a set of symmetries of an ideal forms a Lie ring and give a precise criterion when a differentiation is a symmetry of an ideal. These concepts are applied to partial differential equations.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Симметрии дифференциальных идеалов и дифференциальных уравнений

В работе рассматриваются дифференциальные кольца и уравнения с частными производными с коэффициентами в некотором кольце. Вводятся симметрии и законы сохранения дифференциального идеала произвольного дифференциального кольца. Доказано, что множество симметрий идеала образуют кольцо Ли. Получен критерий того, что дифференцирование является симметрией идеала. Эти построения применяются к уравнениям в частных производных.

Текст научной работы на тему «Symmetries of Differential Ideals and Differential Equations»

УДК 519.21

Symmetries of Differential Ideals and Differential Equations

Oleg V. Kaptsov*

Institute of Computational Modelling SD RAS Academgorodok, 50/44, Krasnoyarsk, 660036

Russia

Received 28.12.2018, received in revised form 11.01.2019, accepted 06.02.2019 The paper deals with differential rings and partial differential equations with coefficients in some algebra. We introduce symmetries and the conservation laws to the differential ideal of an arbitrary differential ring. We prove that a set of symmetries of an ideal forms a Lie ring and give a precise criterion when a differentiation is a symmetry of an ideal. These concepts are applied to partial differential equations.

Keywords: differential rings, symmetry, partial differential equations. DOI: 10.17516/1997-1397-2018-12-2-185-190.

Introduction

Symmetries of various mathematical structures have been actively studied since the 19th century. A powerful impetus to this was given by the works of Evariste Galois, Felix Klein and Sophus Lie. The Lie's researches [1], devoted to the symmetries of differential equations, was developed in the works of Ovsyannikov [2] and his followers [3,4]. More than 40 years ago, there was great interest in higher symmetries or Lie-Backlund symmetries [3,5,6]. Higher symmetries, apparently, first appeared in the famous work of Noether about the conservation laws [7], and then reappeared among different authors. These symmetries are used to classify nonlinear evolutionary and wave equations [3]. However, the notion of higher symmetries is introduced either not quite strictly or too difficult and long. At the same time, using simple language of differential algebra, this can be done very briefly.

In this paper, we introduce the concepts of symmetries and conservation laws for the differential ideals of commutative rings with several differentiations. The definition of a symmetry includes conditions of contact and invariance. A criterion is obtained when a differentiation of a ring is a symmetry of an ideal. It is shown that the set of symmetries of an ideal forms a Lie ring. We consider polynomial systems of partial differential equations with coefficients in a certain ring, define symmetries of these systems using the previous constructions and derive condition that a differentiation is contact.

1. Symmetries of Differential Ideals

We assume throughout that all rings are commutative unless otherwise specified. Recall that an operator d on a ring A is called a derivation operator (or differentiation) if d(a+b) = d(a)+d(b) and d(ab) = d(a)b + ad(b) for all a,b £ A.

Definition. A ring A with a finite set A = {d\,... ,dn} of mutually commuting derivation operators on A is called a differential ring, and denoted by {A, A).

* kaptsov@icm.krasn.ru © Siberian Federal University. All rights reserved

Obviously, any linear combination of derivation operators on A

a\d\ +-----+ andn, di G A, a g A

is a differentiation of A. These linear combinations form a left A-module, which will be denoted by Ma.

Example. Let A = COT(M") be a ring of infinitely differentiable functions of n real variables xi,..,xn. Then A can be considered as a differential ring with the set of derivation operators

A=i -d- -M

(_ dxi ' ' dxn )

In the ring {A, A) there can exist differentiations not belonging to Ma. The set of all derivation operators on A is denoted by Der(A). Recall that the bracket operation D1D2 — D2D1 of differentiations Di,D2 G Der(A) is denoted by [D1,D2].

It is known [8] that Der(A) is a Lie ring, that is, the following conditions hold

[Di,D2] = — [D2,Di], [[Di,D2],D3] + [[D2,D3],Di] + [[D3,Di],D2]=0 (1)

for all D1,D2,D3 g Der(A). The second formula in (1) is the famous Jacobi identity. Any differentiation D G Der(A) defines the adjoint action adD : Der(A) —> Der(A) by the formula adD(D) = [D, D]. It follows from the Jacobi identity that the adjoint action adD is a differentiation of the Lie ring Der(A). Recall that an ideal I of {A, A) is differential if d (I) C I for all d G A.

Definition. A differentiation D G Der(A) of a ring {A, A) is called a symmetry of differential ideal I if

adD (Ma) C Ma , D(I) C I. (2)

The set of symmetries of the ideal I is denoted by Sym(I).

The first condition of our definition generalizes the well known notion of the contact transformation [3,6], and so we call it the contact condition. The second condition is called the invariance condition, it means that the ideal I is invariant under action of the operator D.

Denote by da the multiplication di"1 ... dan. Say that a set F C I generates a differential ideal I if any element of I is a sum of terms gda(f) with g G A, f G F. The elements of F are called the generators of I.

Lemma 1. Let F generate a differential ideal I of {A, A). A differentiation D G Der(A) is a symmetry of the ideal I if and only if

adD(di) G Ma Vdi G A, and D(f) G I Wf G F. (3)

Proof. Suppose the first condition in (3) is satisfied. For any b G A and for any d G A evidently

adD(bd) = b[D,d]+ D(b)d.

If we take any element d = J2n=i aidi in Ma, then it follows from the definition of derivation operator that

(n \ n n

^aidA =^2 aiadD(di) + ^2 D(ai)di.

i=i J i=i i=i

Each term on the right-hand side of the last equality lies in Ma by the condition of our Lemma.

Now we have to verify that the second condition in (3) leads to the second property in (2). Assume that h is in the differential ideal I generated by the set F. Then h is a sum of terms gdaf, where g G A, f G F. Since the equality holds

D(gda(f )) = D(g)d a(f) + gDda(f),

it suffices to prove that Dda(f) £ I. Because of D £ Sym(I), there exist elements aj £ A such that

n

Ddi = diD + ajdj, Vdi £ A. j=i

Multiplying both sides by dk yields

Ddidk = diDdk + ^ aj dj dk.

j=i

It follows that

Ddidk = didkD + d, I ^ ajkdj I + ^ ajdjdk.

\j=i J j=i

Then it is easy to see that for any a £ Nn there exist elements ba £ A such that

Dda = daD + Y^ bad3.

WK\a\

Obviously each term on the right-hand side of the last formula belongs to the ideal I. The converse is trivial. □

Lemma 2. Let I be a differential ideal of a differential ring A. Then Sym(I) is a Lie ring and Ma is its ideal.

Proof. As noted above, Der(A) is a Lie ring. It is necessary to show that if D1,D2 is in Sym(I), then [D1,D2] is also in Sym(I), that is, [[D1, D2],di] £ Ma. From (1) it follows that

[[Di, D2], di] = [di, D2], Di] - [[di, Di],D2], (4)

We have ^, D2], [di, D1] £ Ma by the condition of this Lemma. Therefore

nn

[di, D2] = Y^ bjdj, [di, D1 ] =Y^ cjdj, bj, cj £ A.

j=1 j=1

For any j = 1,... ,n and a £ A, the following formula holds

[adj, Di] = a[dj,Di] - Di(a)dj £ Ma, i = 1, 2.

Hence each term on the right-hand side of (4) is in Ma.

Since D1,D2 are symmetries, D1(D2(I)) and D2(D1(I)) are subsets of I. Thus, [D1,D1](I) c I. It follows from the contact condition that

[D, d] £ M(A) VD £ Sym(I) Vd £ Ma,

and Ma is a ideal of Sym(I). □

In applications to differential equations, the ring {A, A) is a commutative algebra over some field F with S(a) = 0 VS £ A and Vc £ F. In this case, F is called the field of constants.

Corollary. Let I be a differential ideal of a commutative algebra over a field of constants F. Then Sym(I) is a Lie algebra over F.

Remark. The ring Sym(I) in the general case is not a left A-module. Assume that a G A, D G Sym(I), di G A. Then we have

[aD,di] = a[D, di] — di(a)D.

Strictly speaking, di(a) = 0 h di(a)D G Ma. If di(a) = 0, then [aD,di] G Ma.

Any derivative operator d G Ma is a symmetry of every differential ideal of a ring {A, A). We will call such symmetry trivial. The factor ring Sym(I)/Ma are called the canonical symmetry ring.

Similarly we define a conservation law of an ideal. Definition. Let I be a differential ideal of a ring {A, A). We say that a sum

a = di(ai)+-----+ dn(an), ai G A, di G A, i = l,...,n

is a conservation law of an ideal I if a G I.

2. Partial differential equations

We introduce a ring which is important for partial differential equations. Consider a ring {A, A) and a denumerable set U of indeterminates uia, where a G Nn, 1 ^ i ^ m. Let A[U] be the commutative ring of polynomials over A generated by U.

We extend differentiations di G A to the ring A[U] by the following formulas

Di(uja) = uPa+u, Di(a) = di(a), a G A,

Di (ukauf) = ukaDi(ujfj) + uf Di(uka), Di(auja) = Di(a)uja + au{+u,

where li is a n-tuple of zeros and unit in the i place; a, 3 G Nn, 1 ^ k ^ m, 1 ^ j ^ m.

Following Kolchin [9], we call elements of A[u\ differential polynomials over A, and A[u] itself the differential polynomial algebra over A. An expression of the form

fi =0, f2 =0,...,fr =0, fi G A[U],i = l,...,r. (5)

is a polynomial system of partial differential equations. For example, we can rewrite the 3-D Laplace's equation

Wxx + Wyy + wzz = 0

as u(2ioio) + u(oi2,o) + u(oioi2) = 0.

Definition. A differential ring {B, AB) is called an extension of {A, A a) if A is a subring of B and any d G A a is a restriction of some differentiation in AB.

For example, the ring of smooth functions on Rn is an extension of the ring A of analytic functions

id d i on Rn with A^ = — .

I dxi dxn )

Definition. Let B be an extension of the ring A and fj G A[U] with j = 1,... ,r. We call a m-tuple (v1 ,...,vm) G Bm a solution of the system (5) if the polynomials fj vanish when we replace elements Da(vi) by uia (i = 1,... ,m and a G Nn) into these polynomials.

The differentiations Di G A of the ring A[U] can be written in the form of series

d

a+1z duja

Di = di + uja+1 -- i = 1,... ,n.

a£N"

The left-hand side of a system of partial differential equations (5) generates a differential ideal, denoted by ((/1,..., fr}}. The symmetries of this system will be called the symmetries of this ideal. The question then arises: how to find symmetries of this ideal?

First of all, we have to use the contact condition. We will look for symmetry operators of the form

n d X = £^di + £ j-¿J, G A

i=1 i^j^m a

aENn

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

One can rewrite the contact condition

n

[X,Di] = Y, akDk

k=1

as follows:

nn

E X j 1TJ ^ mk )dk - £ Di(j T-J = ak dk + £ ak j++ik —.

i^j^m OUa k = 1 K.j<m OUa k=1 i^k^n OUa

a£N" a£N"

a£Nn

Collecting coefficients of dl,... ,dn, we find

af = -Difo),..., akn = -Di(&).

d

Then we can collect coefficients of —- and get the standard formulas for n? [2,3]. If we take

duja

the canonical symmetry ring Sym(I)/Ma, we then obtain simple formulas

na = Da(n°), j = l,...,m, a £ Nn, 0 G Zn

with = ■ ■ ■ = = 0. When we wish to find the functions n0, we must use the invariance condition of the ideal ((fi,... ,fr)).

To apply these constructions to the equations of mathematical physics, you need to specify the ring A. In applications, one usually considers an algebra of smooth or analytic functions on an open set V C Rn. The numerous examples of symmetries Lie algebras of partial differential equations are in [2,10].

The work was supported by the Russian Foundation for Basic Research (grant 17-01-00332-a).

References

[1] S.Lie, Theory of Transformation Groups I: General Properties of Continuous Transformation Groups. A Contemporary Approach and Translation, Springer-Verlag, Berlin, Heidelberg, 2015.

[2] L.V.Ovsyannikov, Group Analysis of Differential Equations, English transl., W.F. Ames (Ed.), Academic Press, New York, 1982.

[3] N.H.Ibragimov, Transformation Groups Applied to Mathematical Physics, Reidel, Boston, 1985.

[4] V.K Andreev, O.V.Kaptsov V.V.Pukhnachev, A.A.Rodionov, Applications of Group-Theoretical Methods in Hydrodynamics, Springer, Netherlands, 2010.

[5] P.Olver, Applications of Lie Groups to Differential Equations, NY, Springer-Verlag, 1986.

[6] G.Bluman, S.Kumei, Symmetries and Differential Equations, NY, Springer, 1989.

[7] E.Noether, Invariante Variationsprobleme, Nachr Konig, Gesell Wissen, Gottingen, Math.-Phys. Kl., 1918, 235-257.

[8] I.Kaplansky, Lie Algebras and Locally Compact Groups, University Chicago Press, 1971.

[9] E.R.Kolchin, Differential Algebra and Algebraic Groups, NY, Academic Press, 1973.

[10] CRC Handbook of Lie Group Analysis of Differential Equations, Volume I: Symmetries, Exact Solutions, and Conservation Laws,. N.H. Ibragimov (Ed.), CRC Press Published, 1993.

Симметрии дифференциальных идеалов и дифференциальных уравнений

Олег В. Капцов

Институт вычислительного моделирования СО РАН Академгородок, 50/44, Красноярск, 660036

Россия

В работе 'рассматриваются дифференциальные кольца и уравнения с частными производными с коэффициентами в некотором кольце. Вводятся симметрии и законы сохранения дифференциального идеала произвольного дифференциального кольца. Доказано, что множество симметрии, идеала образуют кольцо Ли. Получен критерий того, что дифференцирование является симметрией идеала. Эти построения применяются к уравнениям в частных производных.

Ключевые слова: дифференциальные кольца и идеалы, инвариантность, уравнения с частными производными.

i Надоели баннеры? Вы всегда можете отключить рекламу.