Construction of orthonormal bases in higher symmetry classes of tensors

We present a method for constructing an orthonormal basis for a symmetry class of tensors from an orthonormal basis of the underlying vector space. The basis so obtained is not composed of decomposable symmetrized tensors. Indeed, we show that, for symmetry classes of tensors whose associated character has degree higher than one, it is impossible to construct an orthogonal basis of decomposable symmetrized tensors from any basis of the underlying vector space. We end with an open problem on the possibility of a symmetry class having an orthonormal basis of decomposable symmetrized tensors.     

Symmetry Classification Using Noncommutative Invariant Differential Operators

Given a class F of differential equations, the symmetry classification problem is to determine for each member f ∈ F the structure of its Lie symmetry group G_f or, equivalently, of its Lie symmetry algebra. The components of the symmetry vector fields of the Lie algebra are solutions of an associated overdetermined "defining system" of differential equations. The usual computer classification method which applies a sequence of total derivative operators and eliminations to this associated system often fails on problems of interest due to the excessive size of expressions generated in intermediate computations. We provide an alternative classification method which exploits the knowledge of an equivalence group G preserving the class. A noncommutative differential elimination procedure due to Lemaire, Reid, and Zhang, where each step of the procedure is invariant under G, can be applied and an existence and uniqueness theorem for the output used to classify the structure of symmetry groups for each f ∈ F. The method is applied to a class of nonlinear diffusion convection equations v_x = u, v_t = B(u) u_x - K(u) which is invariant under a large but easily determined equivalence group G. In this example the complexity of the calculations is much reduced by the use of G-invariant differential operators.     

Reformulations in mathematical programming: automatic symmetry detection and exploitation

If a mathematical program has many symmetric optima, solving it via Branch-and-Bound techniques often yields search trees of disproportionate sizes; thus, finding and exploiting symmetries is an important task. We propose a method for automatically finding the formulation group of any given Mixed-Integer Nonlinear Program, and for reformulating the problem by means of static symmetry breaking constraints. The reformulated problem—which is likely to have fewer symmetric optima—can then be solved via standard Branch-and-Bound codes such as CPLEX (for linear programs) and Couenne (for nonlinear programs). Our computational results include formulation group tables for the MIPLib3, MIPLib2003, GlobalLib and MINLPLib instance libraries and solution tables for some instances in the aforementioned libraries.     

Applications of Symmetry and Group Theory for the Investigation of Molecular Vibrations

The application of symmetry and mathematical group theory is a powerful tool for investigating the vibrations of molecules. In this paper, we present an overview of the methods utilized. First we briefly discuss the quantum mechanical nature of vibrations and the experimental methods used. We then present the principal concepts for applying group theory to molecules. The symmetry operations which are used to comprise groups are described and then used to determine the point groups of molecules. The properties of character tables are presented and the method for obtaining a reducible representation for all the motions of a molecule is detailed. This can then be broken down to obtain the irreducible representation which contains the symmetry species of the individual vibrations. The determination of symmetry adapted linear combinations is outlined and the basis for spectroscopic selection rules is presented. The paper concludes by examining how matrix algebra along with symmetry concepts simplifies calculations with molecular force constants.     

Conditional symmetry and new representations of the Galilean algebra for nonlinear parabolic equations

An efficient method for finding operators of conditional symmetry, which form a basis of the Galilean algebra, is suggested for a class of Galilei noninvariant parabolic equations. Additional conditions, under which the symmetry can be extended, are described. For the nonlinear equation under consideration, the antireduction is realized and some exact solutions are found by using the conditional Galilei invariance of its differential consequences.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 45, No. 10, pp. 1433–1443, October, 1993.     

椭圆方程的变换群与变分恒等式

讨论了椭圆方程的变换群与变分恒等式的关系,利用变分对称群的性质得到一类变分恒等式.通过计算变分对称群得到了寻找非星形区域方法并举例进行了说明.     

Some results of the implementation of the “podmodeli” program for the gas dynamics equations

The results of investigations using the PODMODELI (SUBMODELS) program, which is aimed at the exhaustive use of the symmetry of the gas dynamics equations to construct classes of exact solutions (submodels) of these equations, are summarized. The starting point is the fact that any Lie group of transformations of the basis space (of all independent and dependent variables) which is admitted by the gas dynamics equations can generate certain submodels. In order to describe the infinite set of submodels which arises from this in a compact manner, a number of techniques for ordering them is proposed: with respect to the equation of state of a gas, using a similarity criterion, according to their types (rank, defect), with respect to the property of evolutionarity and according to the criterion of regularity. Examples of new submodels are presented. The most significant work carried out using the PODMODELI program up to the present time is indicated in a list of references.     

Lie group analysis of two-dimensional variable-coefficient Burgers equation

The modern group analysis of differential equations is used to study a class of two-dimensional variable coefficient Burgers equations. The group classification of this class is performed. Equivalence transformations are also found that allow us to simplify the results of classification and to construct the basis of differential invariants and operators of invariant differentiation. Using equivalence transformations, reductions with respect to Lie symmetry operators and certain non-Lie ansätze, we construct exact analytical solutions for specific forms of the arbitrary elements. Finally, we classify the local conservation laws.     

Symmetry of minimizers for some nonlocal variational problems

We present a new approach to study the symmetry of minimizers for a large class of nonlocal variational problems. This approach which generalizes the Reflection method is based on the existence of some integral identities. We study the identities that lead to symmetry results, the functionals that can be considered and the function spaces that can be used. Then we use our method to prove the symmetry of minimizers for a class of variational problems involving the fractional powers of Laplacian, for the generalized Choquard functional and for the standing waves of the Davey-Stewartson equation.     

Lie group analysis of two-dimensional variable-coefficient Burgers equation

The modern group analysis of differential equations is used to study a class of two-dimensional variable coefficient Burgers equations. The group classification of this class is performed. Equivalence transformations are also found that allow us to simplify the results of classification and to construct the basis of differential invariants and operators of invariant differentiation. Using equivalence transformations, reductions with respect to Lie symmetry operators and certain non-Lie ans?tze, we construct exact analytical solutions for specific forms of the arbitrary elements. Finally, we classify the local conservation laws.     

Master partial differential equations for a Type II hidden symmetry

An approach for determining a class of master partial differential equations from which Type II hidden point symmetries are inherited is presented. As an example a model nonlinear partial differential equation (PDE) reduced to a target PDE by a Lie symmetry gains a Lie point symmetry that is not inherited (hidden) from the original PDE. On the other hand this Type II hidden symmetry is inherited from one or more of the class of master PDEs. The class of master PDEs is determined by the hidden symmetry reverse method. The reverse method is extended to determine symmetries of the master PDEs that are not inherited. We indicate why such methods are necessary to determine the genesis of Type II symmetries of PDEs as opposed to those that arise in ordinary differential equations (ODEs).     

On the orthogonal basis of the symmetry classes of tensors associated with the dicyclic group

A necessary and sufficient condition for the existence of orthogonal basis of decomposable symmetrized tensors for the symmetry classes of tensors associated with the dicyclic group is given. In particular we apply these conditions to the generalized quaternion group, for which the dimensions of the symmetry classes of tensors are computed.     

On the orthogonal basis of the symmetry classes of tensors associated with the dicyclic group

A necessary and sufficient condition for the existence of orthogonal basis of decomposable symmetrized tensors for the symmetry classes of tensors associated with the dicyclic group is given. In particular we apply these conditions to the generalized quaternion group, for which the dimensions of the symmetry classes of tensors are computed.     

The choice of spectral element basis functions in domains with an axis of symmetry

New spectral element basis functions are constructed for problems possessing an axis of symmetry. In problems defined in domains with an axis of symmetry there is a potential problem of degeneracy of the system of discrete equations corresponding to nodes located on the axis of symmetry. The standard spectral element basis functions are modified so that the axial conditions are satisfied identically. The modified basis is employed only in spectral elements that are adjacent to the axis of symmetry. This modification of the spectral element method ensures that the nodes are the same in each element, which is not the case in other methods that have been proposed to tackle the problem along the axis of symmetry, and that there are no nodes along the axis of symmetry. The problems of Stokes flow past a confined cylinder and sphere are considered and the performance of the original and modified basis functions are compared.     

Lie symmetries and form-preserving transformations of reaction-diffusion-convection equations

New Lie symmetry classification of the known class of reaction-diffusion-convection equations is presented. The classification method is based on combining the standard group classification method and the form-preserving transformation approach.     

具有高消失矩的3-进双正交对称小波的构造

本文用矩阵对称扩充来构造了具有高消失矩的3带对称双正交小波.利用矩阵扩充,获得了3维矩阵对称扩充方法和小波构造的算法,并且,该算法便于计算机程序化实现;利用两个实例验证了相关的结论.     

Symmetry in abstract elementary classes with amalgamation

This paper is part of a program initiated by Saharon Shelah to extend the model theory of first order logic to the non-elementary setting of abstract elementary classes (AECs). An abstract elementary class is a semantic generalization of the class of models of a complete first order theory with the elementary substructure relation. We examine the symmetry property of splitting (previously isolated by the first author) in AECs with amalgamation that satisfy a local definition of superstability. The key results are a downward transfer of symmetry and a deduction of symmetry from failure of the order property. These results are then used to prove several structural properties in categorical AECs, improving classical results of Shelah who focused on the special case of categoricity in a successor cardinal. We also study the interaction of symmetry with tameness, a locality property for Galois (orbital) types. We show that superstability and tameness together imply symmetry. This sharpens previous work of Boney and the second author.     

Group-Theoretical Analysis of Variable Coefficient Nonlinear Telegraph Equations

Given a class \(\mathcal{F(\theta)}\) of differential equations with arbitrary element θ, the problems of symmetry group, nonclassical symmetry and conservation law classifications are to determine for each member \(f\in\mathcal{F(\theta)}\) the structure of its Lie symmetry group G _f , conditional symmetry Q _f and conservation law \(\mathop {\rm CL}\nolimits _{f}\) under some proper equivalence transformations groups.In this paper, an extensive investigation of these three aspects is carried out for the class of variable coefficient (1+1)-dimensional nonlinear telegraph equations with coefficients depending on the space variable f(x)u _tt =(g(x)H(u)u _x ) _x +h(x)K(u)u _x . The usual equivalence group and the extended one including transformations which are nonlocal with respect to arbitrary elements are first constructed. Then using the technique of variable gauges of arbitrary elements under equivalence transformations, we restrict ourselves to the symmetry group classifications for the equations with two different gauges g=1 and g=h. In order to get the ultimate classification, the method of furcate split is also used and consequently a number of new interesting nonlinear invariant models which have non-trivial invariance algebra are obtained. As an application, exact solutions for some equations which are singled out from the classification results are constructed by the classical method of Lie reduction.The classification of nonclassical symmetries for the classes of differential equations with gauge g=1 is discussed within the framework of singular reduction operator. This enabled to obtain some exact solutions of the nonlinear telegraph equation which are invariant under certain conditional symmetries.Using the direct method, we also carry out two classifications of local conservation laws up to equivalence relations generated by both usual and extended equivalence groups. Equivalence with respect to these groups and correct choice of gauge coefficients of equations play the major role for simple and clear formulation of the final results.     

使用对称性计算一类有限元基函数的二重积分

本文使用对称性计算一类有限元基函数在非规则区域的二重积分.通过两个算例验证对称性技巧在重积分计算上所带来的极大便利性.本文的内容进一步说明了使用对称性进行重积分计算在其他学科的应用价值.