Group Analysis of the Plane Steady Vortex Submodel of Ideal Gas with Varying Entropy

: The submodel of ideal gas motion being invariant with respect to the time translation and the space translation by one direct has 4 integrals in the case of vortex ﬂows with the varying entropy. The system of nonlinear differential equations of the third order with one arbitrary element was obtained for a stream function and a speciﬁc volume. This element contains from the state equation and arbitrary functions of the integrals. The equivalent transformations were found for arbitrary element. The problem of the group classiﬁcation was solved when admitted algebra was expanded for 8 cases of arbitrary element. The optimal systems of dissimilar subalgebras were obtained for the Lie algebras from the group classiﬁcation. The example of the invariant vortex motion from the point source or sink was done. The regular partial invariant submodel was considered for the 2-dimensional subalgebra. It describes the turn of a vortex ﬂow in the strip and on the plane with asymptotes for the stream line.


Introduction
The model of ideal gas dynamics is studed very good [1][2][3]. The numerical and analytical methods for solving of the boundary value problems were developed [4,5]. The methods of symmetry (group) analysis were developed for the testing of calculations and detecting new singularities of gas motions [6,7]. The classical results for the plane steady potential flows [2,3,8] were generalized on the vortex isentropic motions [9,10].
As a rule it is not proved the existence and uniqueness of the classical smooth solution as the whole for nonlinear space boundary value problems of the mechanic medium. For the numerical and asymptotic solutions the same it is not proved convergence to the classical solutions of the boundary value problems. Therefore it is value to know possibly more the exact solutions in the enough big domain of space-time continuum. For the classes of exact solutions it is possible more simple submodels. The group analysis makes the classification of these submodels.
In the present paper we consider the mathematical submodel of plane steady vortex flows of the ideal gas with verying entropy for an arbitrary state equation, arbitrary values of the Bernoulli, entropy, vorticity integrals that combined into one arbitrary element. The equivalent transformations of the submodel was obtained by the group analysis methods [1,[11][12][13]. They change only arbitrary element. It was proved the existence of 8 types of the group classification models with differing symmetries. The optimal systems of dissimilar subalgebras admitted by models were constructed. In the fact its give the classification of submodels. The subalgebras produce invariant, partial invariant and differential invariant solutions. The invariant solutions show singularities in the submodel solutions. So it is proved the existence of the plane point source or the sink for vortex entropy steady invariant gas motions in contrast to the plane isentropic potential invariant solution. The example of a regular partial invariant solution was considered on the 2-dimension subalgebra.

Steady 2-Dimension Submodel and Equivalent Transformations
We consider the gas dynamics equations [8] u t + ( u · ∇) u + ρ −1 ∇p = 0, ρ t + ( u · ∇)ρ + ρ∇ · u = 0, where u is a velocity, ε = ε(V, S) is a state equation, p is a pressure, ρ is a density, ε is a inner energy, S is an entropy, T is a temperature, V is a specific volume are invariant with respect to the translations by time t, by space x, Galilean translations (motion of the origin of coordinates with a constant velocity), the rotations and the proportional dilatation by t and x. These transformations form 11-parameter group [1]. We consider the invariant motions with respect to the translations by t and z in the Cartesian coordinate system x = (x, y, z), u = (u, v, w). The invariant steady plane submodel is [2,3,8].
The stream function ψ(x, y) is introduced by the last equation of the system (1) With the enthalpy i = ε + pV, i V = −Vε VV = Vg V the system (1) has 3 integrals (Bernoulli, entropy and the third component of the velocity) One equation remains from the system (1) which with the help of (2) may be written in the form From this it follows the 4th integral which together with the Bernoulli integral form the submodel equations where is an arbitrary element expressing through the state equation and arbitrary functions of the integrals B(ψ), S(ψ), P 1 (ψ). The velocity curl of the invariant submodel with the help of (2) is equal to The value ω by virtue of (3) is equal to and from (1) and (2) satisfy the equation From here we obtain the vorticity integral Two expressions for K differ on the linear summand by V −1 : For isentropic flow the vortex motions was considered in [9,10]. Then the vortex motions with varying entropy will be considered.
For an abitrary element the equations are realized The transformations of variables x, y, V, ψ no changing the form of the Equations (3), (5) but changing only the function K(V, ψ) are named the equivalent transformations. These transformations form a group with Lie algebra given by the operators prolonged on the derivatives in Equations (3), (5) [1,12]: where η(ψ), ζ(ψ) are arbitrary functions.
Proof. The conditions of invariance for the Equation (5) are We assume that the values K V , K ψ are arbitrary. Hence it follows The condition of invariance for the first equation of the system (3) may be written in the form The value K ψ is proportional a value ψ which may be arbitrary. The equating to zero of the coefficient under K ψ in (6) gives The equating to zero of the coefficients under the powers of values ψ x , ψ y (the splitting at ψ x and ψ y ) leads to the equations The residuals of (6) are the polynomial of 4th power by ψ x and ψ y . The splitting gives From here it follows the presentation for the coordinates of operator Y where E, E 1 , E 2 , D are constant. The condition of invariance for the second equation of the system (3) has the form The splitting by ψ and ψ 2 x + ψ 2 y gives and (8) is fulfilled identically. The coordinates of operator Y in (7) are corrected Here and in (7) ζ(ψ), η(ψ) are arbitrary functions, E, E 1 , E 2 , C, D, M are arbitrary constants. The basis from Theorem 1 is obtained to the equating zero all arbitrary elements except one.

Remark 1.
The transformations no changing the function K(ψ, V) form the kernel of admitting groups {X 1 , X 2 , X 3 }.

Remark 2.
The transformations changing the function K have the form: where ζ(ψ), µ(ψ) and η(ψ) are arbitrary functions; a, b and c are constant group parameters. If η = A is a constant then the transformation (d) is the translation by ψ Remark 3. The reflection ψ → −ψ is admitted also.

The Group Classification of Submodel
The problem of the group classification consist to find arbitrary elements of the system (3) to within the equivalent transformations for which the admitted group is more than the kernel. The operators of Lie algebra of the point transformations is written in the form prolonged on the derivatives from the Equation (3) [1] The splitting by the value V x ψ x + V y ψ y gives The change ψ 2 y = −ψ 2 x − K V and the splitting by ψ 2 x and ψ x ψ y leads to the equations The equating to zero of the coefficients at the linear summands under ψ x and ψ y leads to the determining relations The determining relations are an overdetermined system of equations for an arbitrary element. It was arbitrary if the relations are fulfilled identically for the kernel of the admitted operators. The kernel may be extended for the special functions K(V, ψ). The equivalent transformations may be changed for special classes of arbitrary elements. Here we do not consider of the full classification.
The invariance condition for the second equation of the system (3) with regard for the received relations has the form Reduction of the underline summands and the equating to zero of the coefficients at ψ xy , ψ, ψ 2 x + ψ 2 y gives From here it follows n x = n y = 0 = n ψ ⇒ n = N is a constant, where E, E 1 , E 2 are constants, and 2 determining relations The last equation is integrable by V and the system (9) has the form Here χ(ψ) is arbitrary function. The determining relations for the function K(ψ, V) give the overdetermined system with some functions b(ψ), µ(ψ) and a constant C. We must find the general solution of the system (11) to within the equivalent transformations for different b(ψ). If b = 0 then from the second equation of (11) follows Here the equivalent transformations (a) and (d) from subsection 1 act. From the system (11) it is follow to within the equivalent transformation Substitution K into (10) determines functions χ(ψ), η ψ (ψ) and η V : where N is an arbitrary constant, η(ψ) is an arbitrary function. Next we consider the case b = Bψ + B 0 . From (11) it is follow µ = M is a constant, If B = 0 then the equivalent transformations make B 0 = M = 0. General solution of the Equation (12) with the notation CB −1 = m is for any m and k = 0. From corrected Equation (10) At ψη ψ ψ = η ψ ⇒ χ = 0, k(I) is an arbitrary function, At B 0 = 0 the equivalent transformations make Case B = 0. The Equation (12) has the form To within the equivalent transformations we may consider K = k(I), I = Ve mψ , k < 0 at B 0 = 0 and K = − ln V at B 0 = 0.
Substitution into (10) gives Here we may consider that the variables I, ψ are independent. At m = 0 it follows Hence it was possible to formulate the following statement.
Theorem 2. The system (3) with arbitrary function K(ψ, V) admits the kernel {X 1 , X 2 , X 3 } from the Theorem 1. For the special functions there are the following extensions

Optimal Systems
The Lie algebras of extensions from the Theorem 2 have different dimensions and structures. For the cases 1 • , 5 • , 4 • the algebra decompose into the semi-direct sum of the Abelian subalgebra {X 3 , X 4 } and the Abelian ideal {X 1 , X 2 } according to the commutators of the basic operators The inner automorphisms in L 4 are calculated by the rule: for each basic operator X k the linear transformation is the solution of the following task For the operator X k the automorphism A k is given by transformation of the operator coordinates (it is not written invariable coordinates) The Abelian subalgebra of the decomposition (13) has the following subalgebras 0, X 3 + αX 4 , X 4 , {X 3 , X 4 }.
For each of these subalgebras we add the linear combination from the elements of the Abelian ideal. Some arbitrary coefficients we equate to zero by automorphisms and verify the condition of subalgebra.
We list one-dimension subalgebras to within the automorphisms. To trivial subalgebra we add the linear combination x 1 X 1 + x 2 X 2 , the automorphism A 3 leads to the similar subalgebra X 1 . Arbitrary subalgebra with the projection X 3 + αX 4 is reduced to the projection by the superposition A 1 A 2 . Similarly the subalgebra X 4 + x 1 X 1 + x 2 X 2 is reduced to X 4 by A 1 and A 2 . For 2-dimensional subalgebra one from the basic operators may be reduced to one of the listed 1-dimensional subalgebras. For a different basic operator must be realized the condition of the subalgebra: the commutator of them is the linear combination of the basic operators. For example, [X 3 , From here it follows x 1 = x 2 = 0 and we obtain the Abelian subalgebra {X 3 , X 4 }. The subalgebra {X 4 , x 1 X 1 + x 2 X 2 } is reduced to {X 4 , X 1 } by the automorphism A 3 . The condition of the subalgebra for operators X 3 + αX 4 , x 1 X 1 + x 2 X 2 has the form There is no such 2-dimensional subalgebras. There is subalgebra {X 1 , X 2 } with null projection into subspace {X 3 , X 4 }. There are no 3-dimensional subalgebras of the type {X 3 , X 4 , x 1 X 1 + x 2 X 2 } as the condition of the subalgebra is not realized. There are subalgebras {X 4 , X 1 , X 2 }, {X 3 + αX 4 , X 1 , X 2 }. Hence the optimal system consists of the following dissimilar subalgebras (k.i is number of subalgebra, k is subalgebra dimension, i is the ordinal number in given dimension) For the case 2 • of the Theorem 2 admitted algebra is infinite. There are the inner automorphisms A 1 , A 2 , A 3 . The algebra decompose into the direct sum of 2 ideals The inner automorphisms of 3-dimensional ideal A 1 , A 2 , A 3 calculate subalgebras 0, X 3 , X 1 , {X 1 , X 2 , X 3 }.

The commutator of operators from infinite ideal is equal to
The inner automorphism for the operator < ζ(ψ) > satisfies the problem The solution of this problem has the form The automorphism is given by formulā where µ(ψ) = (ζ(ψ)) −1 dψ, λ(µ) is inverse function to µ(ψ). Within this transformation we calculate finite subalgebras in the infinite ideal. The condition for 2-dimensional subalgebras is From this it is follow the equation If β = 0 then η 1 = −αβ −1 η + C 0 η exp(β η −1 dψ) and change of the basis leads to the subalgebra {< η >, < ηe η −1 dψ >}.
If β = 0 then η 1 = C 0 η + αη η −1 dψ and change of the basis leads to the subalgebra We will obtain the 3-dimensional subalgebras using Bianchi classification of the structure over the real field [14]. The structures must not have null commutator. From 2 unsolvable subalgebras is suitable only one with the commutator table of basic elements If X i =< η i (ψ) > then this structure gives the equation system The general solution of 2 equations have the form The substitution in third equation leads to the relation CD = 1.
Thus we obtain the 3-dimensional subalgebra The sum of the projections on the ideals gives the subalgebras (14), (15), (16).
For the case 6 • of the Theorem 2 admitted subalgebra decompose into semi-direct sum of ideal and subalgebra {X 1 , X 2 , X 3 }⊕{X 4 , X 5 }.
The center X 4 is added to the kernel for the case 3 • of the Theorem 2. The optimal system is obtained from the optimal system of the kernel The optimal system may be presented as the graph of the embedded subalgebras, for example, for the algebra L 4 of the case 1 • , 4 • , 5 • (Figure 1). The system of embedded subalgebras may be constructed with the help of the graph [15]. The constructed optimal systems classify the group submodels of the system (3) in fact. The 1-dimensional subalgebras give the invariant submodels. The 2-dimensional subalgebras give the partial invariant submodels as the simple waves. The subalgebras of big dimensions give the differential invariant submodels with the invariant differential connections.

The Examples of the Group Solutions
The subalgebra 1.3 of the case 4 • of the Theorem 2 (K = ψk(I), I = Vψ 1−m ) determines the invariant solution. It is convenient to use the polar system of coordinates x = r cos ϕ, y = r sin ϕ. The operator of the subalgebra is The invariants of the subalgebra give the solution representation The substitution into (17) give the system of the odinary differential equations We differentiate the first equation and exclude Ψ ΨI 8m −2 Ψ m + (Ik) + Ψ (Ik) = 0.
From here we obtain the integral The submodel (18) is integrated in quadratures. On the simple example we consider a behavior of stream lines. Let C = 0, k = DI n , Dn < 0. Then k 1 = D(n + 1)I n and the integral has the form The first Equation (18) is where the inequality is reached by the choice of m and n. Hence the stream function is determined by the equation where C is constant and the stream line ϕ = ϕ 0 is the logarithmic spiral At mγ > 0, ϕ → ∞ ⇒ r → 0. The solution describe the gas motion from the point source or the point sink.
The subalgebra {X 1 , X 4 } for the case 3 • of the Theorem 2 K = ψk(Vψ): The invariants y, I = Vψ determine the representation of the regular partial invariant solution of rank 1 and defect 1: The substitution in (3) gives the overdetermined system where a function c(y) is determined within a constant summand. The change satisfies the second equation of (19). The first equation is satisfied by the substitution The compatibility of Equations (20), (21) gives From here the derivatives are determined The compatibility leads to the relation From here it follows: either ϑ x = 0 or all coefficients at the powers sin ϑ are equal to zero. At the last case we have the integrals where C, D are constants and the equation which is integrated with the constants G 0 and F 0 From here we find The definition c(y) from (19) gives the compatibility condition The substitution the expression k and equating to zero of the coefficients at the power of I gives D = G 0 = K 0 = 0. Consequently We obtain the compatible system ϑ x = −y −1 cos 2 ϑ, ϑ y = −y −1 sin ϑ cos ϑ ⇒ tan ϑ = −xy −1 .
Later we solve the system (20) The stream lines ψ = ψ 0 are the rays x = k 0 y. Along a stream line the density ρ = V −1 = ψ(F 0 y) −1 is infinite at the origin and it is vacuum at infinity.
The stream line ψ = ψ 0 is determined by the equations cos y = e −x (n > 1), cosh y = e −x (n < 1) within the translation on x and dilatation on x and on y. It is even with respect to y and by translation on x cover the flow domain. At n > 1 the stream lines give the turn back of the flow in the strip |y| < π/2 (Figure 2a). At n < 1 we obtain the turn of the flow on the plane with the asymptotes y = ±x + β, cosh β = 5/4 for the stream lines (Figure 2b).

Conclusions and Discussion
In the present paper we made the symmetry analysis of the steady plane vortex submodel for the ideal gas flow with varying entropy. With the help of 4 integrals the submodel is given by nonlinear system of the third order differential equations for the stream function and the specific volume. In this system there is one arbitrary function on 2 variables which is expressed through the state equation and arbitrary functions of the integrals. We found all equivalent transformations, listed arbitrary elements for which the admitted group is extended. We constructed the optimal systems of subgroups for the each of these extensions. The optimal systems classify group submodels. The examples of the invariant and regular partial invariant solutions were done.
Classification of the group solutions is not completed. There are only several solutions for which the gas particles motion was investigated. The gas motion has its specific for each subalgebra. The determination of these specific characters is not solved problem.