arXiv subjects
Publications and source records attributed to Roman O. Popovych.
We introduce matrix coupled (local and nonlocal) dispersionless equations, construct wide classes of explicit multipole solutions, give explicit expressions for the corresponding Darboux and wave matrix valued functions and consider their asymptotics in some interesting cases. We consider the scalar cases of coupled, complex coupled and nonlocal dispersionless equations as well.
We carry out enhanced symmetry analysis of a two-dimensional Burgers system. The complete point symmetry group of this system is found using an enhanced version of the algebraic method. Lie reductions of the Burgers system are comprehensively studied in the optimal way and new Lie invariant solutions are constructed. We prove that this system admits no local conservation laws and then study hidden conservation laws, including potential ones. Various kinds of hidden symmetries (continuous, discrete and potential ones) are considered for this system as well. We exhaustively describe the solution subsets of the Burgers system that are its common solutions with its inviscid counterpart and with the two-dimensional Navier-Stokes equations. Using the method of differential constraints, which is particularly efficient for the Burgers system, we construct a number of wide families of solutions of this system that are expressed in terms of solutions of the (1+1)-dimensional linear heat equation although they are not related to the well-known linearizable solution subset of the Burgers system.
The invariants of solvable Lie algebras with nilradicals isomorphic to the algebra of strongly upper triangular matrices and diagonal nilindependent elements are studied exhaustively. Bases of the invariant sets of all such algebras are constructed by an original purely algebraic algorithm based on Cartan's method of moving frames.
The invariants of solvable triangular Lie algebras with one nilindependent diagonal element are studied exhaustively. Bases of the invariant sets of all such algebras are constructed using an original algebraic algorithm based on Cartan's method of moving frames and the special technique developed for triangular and related algebras in [J. Phys. A: Math. Theor. 40 (2007), 7557-7572]. The conjecture of Tremblay and Winternitz [J. Phys. A: Math. Gen. 34 (2001), 9085-9099] on the number and form of elements in the bases is completed and proved.
We carry out the complete group classification of the class of (1+1)-dimensional linear Schrödinger equations with complex-valued potentials. After introducing the notion of uniformly semi-normalized classes of differential equations, we compute the equivalence groupoid of the class under study and show that it is uniformly semi-normalized. More specifically, each admissible transformation in the class is the composition of a linear superposition transformation of the corresponding initial equation and an equivalence transformation of this class. This allows us to apply the new version of the algebraic method based on uniform semi-normalization and reduce the group classification of the class under study to the classification of low-dimensional appropriate subalgebras of the associated equivalence algebra. The partition into classification cases involves two integers that characterize Lie symmetry extensions and are invariant with respect to equivalence transformations.
The notion of singular reduction modules, i.e., of singular modules of nonclassical (conditional) symmetry, of differential equations is introduced. It is shown that the derivation of nonclassical symmetries for differential equations can be improved by an in-depth prior study of the associated singular modules of vector fields. The form of differential functions and differential equations possessing parameterized families of singular modules is described up to point transformations. Singular cases of finding reduction modules are related to lowering the order of the corresponding reduced equations. As examples, singular reduction modules of evolution equations and second-order quasi-linear equations are studied. Reductions of differential equations to algebraic equations and to first-order ordinary differential equations are considered in detail within the framework proposed and are related to previous no-go results on nonclassical symmetries.
Using advanced classification techniques, we carry out the extended symmetry analysis of the class of generalized Burgers equations of the form $u_t+uu_x+f(t,x)u_{xx}=0$. This enhances all the previous results on symmetries of these equations and includes the description of admissible transformations, Lie symmetries, Lie and nonclassical reductions, conservation laws, potential admissible transformations and potential symmetries. The study is based on the fact that the class is normalized, and its equivalence group is finite-dimensional.
The complete group classification problem for the class of (1+1)-dimensional $r$th order general variable-coefficient Burgers-Korteweg-de Vries equations is solved for arbitrary values of $r$ greater than or equal to two. We find the equivalence groupoids of this class and its various subclasses obtained by gauging equation coefficients with equivalence transformations. Showing that this class and certain gauged subclasses are normalized in the usual sense, we reduce the complete group classification problem for the entire class to that for the selected maximally gauged subclass, and it is the latter problem that is solved efficiently using the algebraic method of group classification. Similar studies are carried out for the two subclasses of equations with coefficients depending at most on the time or space variable, respectively. Applying an original technique, we classify Lie reductions of equations from the class under consideration with respect to its equivalence group. Studying of alternative gauges for equation coefficients with equivalence transformations allows us not only to justify the choice of the most appropriate gauge for the group classification but also to construct for the first time classes of differential equations with nontrivial generalized equivalence group such that equivalence-transformation components corresponding to equation variables locally depend on nonconstant arbitrary elements of the class. For the subclass of equations with coefficients depending at most on the time variable, which is normalized in the extended generalized sense, we explicitly construct its extended generalized equivalence group in a rigorous way. The new notion of effective generalized equivalence group is introduced.
The group classification problem for the class of (1+1)-dimensional linear $r$th order evolution equations is solved for arbitrary values of $r>2$. It is shown that a related maximally gauged class of homogeneous linear evolution equations is uniformly semi-normalized with respect to linear superposition of solutions and hence the complete group classification can be obtained using the algebraic method. We also compute exact solutions for equations from the class under consideration using Lie reduction and its specific generalizations for linear equations.
Admissible point transformations of classes of $r$th order linear ordinary differential equations (in particular, the whole class of such equations and its subclasses of equations in the rational form, the Laguerre-Forsyth form, the first and second Arnold forms) are exhaustively described. Using these results, the group classification of such equations is revisited within the algebraic approach in three different ways.
The algebraic method for computing the complete point symmetry group of a system of differential equations is extended to finding the complete equivalence group of a class of such systems. The extended method uses the knowledge of the corresponding equivalence algebra. Two versions of the method are presented, where the first involves the automorphism group of this algebra and the second is based on a list of its megaideals. We illustrate the megaideal-based version of the method with the computation of the complete equivalence group of a class of nonlinear wave equations with applications in nonlinear elasticity.
The complete point symmetry group of the barotropic vorticity equation on the sphere is determined. The method we use relies on the invariance of megaideals of the maximal Lie invariance algebra of a system of differential equations under automorphisms generated by the associated group. A convenient set of megaideals is found for the maximal Lie invariance algebra of the spherical vorticity equation. We prove that there are only two independent (up to composition with continuous point symmetry transformations) discrete symmetries for this equation.
Admissible point transformations between Burgers equations with linear damping and time-dependent coefficients are described and used in order to exhaustively classify Lie symmetries of these equations. Optimal systems of one- and two-dimensional subalgebras of the Lie invariance algebras obtained are constructed. The corresponding Lie reductions to ODEs and to algebraic equations are carried out. Exact solutions to particular equations are found. Some generalized Burgers equations are linearized to the heat equation by composing equivalence transformations with the Hopf-Cole transformation.
Lie symmetries of systems of second-order linear ordinary differential equations with constant coefficients are exhaustively described over both the complex and real fields. The exact lower and upper bounds for the dimensions of the maximal Lie invariance algebras possessed by such systems are obtained using an effective algebraic approach.
Invariant parameterization schemes for the eddy-vorticity flux in the barotropic vorticity equation on the beta-plane are constructed and then applied to turbulence modeling. This construction is realized by the exhaustive description of differential invariants for the maximal Lie invariance pseudogroup of this equation using the method of moving frames, which includes finding functional bases of differential invariants of arbitrary order, a minimal generating set of differential invariants and a basis of operators of invariant differentiation in an explicit form. Special attention is paid to the problem of two-dimensional turbulence on the beta-plane. It is shown that classical hyperdiffusion as used to initiate the energy-enstrophy cascades violates the symmetries of the vorticity equation. Invariant but nonlinear hyperdiffusion-like terms of new types are introduced and then used in the course of numerically integrating the vorticity equation and carrying out freely decaying turbulence tests. It is found that the invariant hyperdiffusion scheme is close to but not exactly reproducing the 1/k shape of energy spectrum in the enstrophy inertial range. By presenting conservative invariant hyperdiffusion terms, we also demonstrate that the concepts of invariant and conservative parameterizations are consistent.
We discuss how point transformations can be used for the study of integrability, in particular, for deriving classes of integrable variable-coefficient differential equations. The procedure of finding the equivalence groupoid of a class of differential equations is described and then specified for the case of evolution equations. A class of fifth-order variable-coefficient KdV-like equations is studied within the framework suggested.
Methods for the design of physical parameterization schemes that possess certain invariance properties are discussed. These methods are based on different techniques of group classification and provide means to determine expressions for unclosed terms arising in the course of averaging of nonlinear differential equations. The demand that the averaged equation is invariant with respect to a subalgebra of the maximal Lie invariance algebra of the unaveraged equation leads to a problem of inverse group classification which is solved by the description of differential invariants of the selected subalgebra. Given no prescribed symmetry group, the direct group classification problem is relevant. Within this framework, the algebraic method or direct integration of determining equations for Lie symmetries can be applied. For cumbersome parameterizations, a preliminary group classification can be carried out. The methods presented are exemplified by parameterizing the eddy vorticity flux in the averaged vorticity equation. In particular, differential invariants of (infinite dimensional) subalgebras of the maximal Lie invariance algebra of the unaveraged vorticity equation are computed. A hierarchy of normalized subclasses of generalized vorticity equations is constructed. Invariant parameterizations possessing minimal symmetry extensions are described and a restricted class of invariant parameterization is exhaustively classified. The physical importance of the parameterizations designed is discussed.
Invariant discretization schemes are derived for the one- and two-dimensional shallow-water equations with periodic boundary conditions. While originally designed for constructing invariant finite difference schemes, we extend the usage of difference invariants to allow constructing of invariant finite volume methods as well. It is found that the classical invariant schemes converge to the Lagrangian formulation of the shallow-water equations. These schemes require to redistribute the grid points according to the physical fluid velocity, i.e., the mesh cannot remain fixed in the course of the numerical integration. Invariant Eulerian discretization schemes are proposed for the shallow-water equations in computational coordinates. Instead of using the fluid velocity as the grid velocity, an invariant moving mesh generator is invoked in order to determine the location of the grid points at the subsequent time level. The numerical conservation of energy, mass and momentum is evaluated for both the invariant and non-invariant schemes.