Reduction and Equivariant Branching Lemma: Dynamical systems,evolution PDEs,and gauge theories

We review and recast the Equivariant Branching Lemma-which has proved a remarkable tool in linearly equivariant bifurcation theory-and consider its extension to the case of nonlinear (Lie-point) symmetries. This is then applied to gauge theories and gauge theoretic problems, and to nonlinear evolution PDE's; the paper also contains an original setting of Lie-point symmetries for evolution PDEs, modelled on the dynamical systems setting.     

Conditional Lie–Bäcklund Symmetries and Invariant Subspaces to Nonlinear Diffusion Equations with Convection and Source

The conditional Lie–Bäcklund symmetry method is used to study the invariant subspace of the nonlinear diffusion equations with convection and source terms. We obtain a complete list of canonical forms for such equations which admit higher order conditional Lie–Bäcklund symmetries and multidimensional invariant subspaces. The functionally generalized separable solutions to the resulting equations are constructed due to the corresponding symmetry reductions. For most of the cases, they are reduced to solving finite‐dimensional dynamical systems.     

Feedback Integrators

A new method is proposed to numerically integrate a dynamical system on a manifold such that the trajectory stably remains on the manifold and preserves the first integrals of the system. The idea is that given an initial point in the manifold we extend the dynamics from the manifold to its ambient Euclidean space and then modify the dynamics outside the intersection of the manifold and the level sets of the first integrals containing the initial point such that the intersection becomes a unique local attractor of the resultant dynamics. While the modified dynamics theoretically produces the same trajectory as the original dynamics, it yields a numerical trajectory that stably remains on the manifold and preserves the first integrals. The big merit of our method is that the modified dynamics can be integrated with any ordinary numerical integrator such as Euler or Runge–Kutta. We illustrate this method by applying it to three famous problems: the free rigid body, the Kepler problem and a perturbed Kepler problem with rotational symmetry. We also carry out simulation studies to demonstrate the excellence of our method and make comparisons with the standard projection method, a splitting method and Störmer–Verlet schemes.     

Complete symmetry group and nonlocal symmetries for some two-dimensional evolution equations

The complete symmetry group of an 1+1 evolution equation of maximal symmetry has been demonstrated to be represented by the six-dimensional Lie algebra of point symmetries sl(2,R)s_⊕W, where W is the three-dimensional Heisenberg-Weyl algebra. We construct a complete symmetry group of a 1+2 evolution equation ut=(Fy(u)ux) for some functions F using the point symmetries admitted by the equation. The 1+2 equation is not completely specifiable by point symmetries alone for some specific functions F. We make use of Ansätze already reported by Myeni and Leach [S.M. Myeni, P.G.L. Leach, Nonlocal symmetries and complete symmetry groups of evolution equations, J. Nonlinear Math. Phys. 13 (2006) 377-392] which provide a route to the determination of the required generic nonlocal symmetries necessary to supplement the point symmetries for the complete specification of these 1+2 evolution equations. Further we find that taking some suitable linear combination of Lie point symmetries helps to optimise the procedure of specifying the equation. A general result concerning the number of symmetries required to form a complete symmetry group of evolution is presented in the Conclusion.     

Noncommutative geometry and spacetime gauge symmetries of string theory

We illustrate the various ways in which the algebraic framework of noncommutative geometry naturally captures the short-distance spacetime properties of string theory. We describe the noncommutative spacetime constructed from a vertex operator algebra and show that its algebraic properties bear a striking resemblence to some structures appearing in M Theory, such as the noncommutative torus. We classify the inner automorphisms of the space and show how they naturally imply the conventional duality symmetries of the quantum geometry of spacetime. We examine the problem of constructing a universal gauge group which overlies all of the dynamical symmetries of the string spacetime. We also describe some aspects of toroidal compactifications with a light-like coordinate and show how certain generalized Kac—Moody symmetries, such as the Monster sporadic group, arise as gauge symmetries of the resulting spacetime and of superstring theories.     

Classification of generalized symmetries of the Yang-Mills fields with a semi-simple structure group

A complete classification of generalized (or local) symmetries of the Yang-Mills equations on four dimensional Minkowski space with a semi-simple structure group is carried out. It is shown that any generalized symmetry, up to a generalized gauge symmetry, agrees with a first order symmetry on solutions of the Yang-Mills equations. Let be the decomposition of the Lie algebra of the structure group into simple ideals. First order symmetries for -valued Yang-Mills fields are found to consist of gauge symmetries, conformal symmetries for -valued Yang-Mills fields, 1?m?n, and their images under a complex structure of .     

Reduction of continuous symmetries of chaotic flows by the method of slices

We study continuous symmetry reduction of dynamical systems by the method of slices (method of moving frames) and show that a ‘slice’ defined by minimizing the distance to a single generic ‘template’ intersects the group orbit of every point in the full state space. Global symmetry reduction by a single slice is, however, not natural for a chaotic/ turbulent flow; it is better to cover the reduced state space by a set of slices, one for each dynamically prominent unstable pattern. Judiciously chosen, such tessellation eliminates the singular traversals of the inflection hyperplane that comes along with each slice, an artifact of using the templates local group linearization globally. We compute the jump in the reduced state space induced by crossing the inflection hyperplane. As an illustration of the method, we reduce the SO (2) symmetry of the complex Lorenz equations.     

On the connections between symmetries and conservation rules of dynamical systems

The strict connection between Lie point‐symmetries of a dynamical system and its constants of motion is discussed and emphasized through old and new results. It is shown in particular how the knowledge of the symmetry of a dynamical system can allow us to obtain conserved quantities that are invariant under the symmetry. In the case of Hamiltonian dynamical systems, it is shown that if the system admits a symmetry of a ‘weaker’ type (specifically, a λ or a Λ‐symmetry), then the generating function of the symmetry is not a conserved quantity, but the deviation from the exact conservation is ‘controlled’ in a well‐defined way. Several examples illustrate the various aspects. Copyright © 2012 John Wiley & Sons, Ltd.     

Involution and symmetry reductions

After reviewing some notions of the formal theory of differential equations, we discuss the completion of a given system to an involutive one. As applications to symmetry theory, we study the effects of local solvability and of gauge symmetries, respectively. We consider nonclassical symmetry reductions and more general reductions using differential constraints.     

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).     

Remarks on gauge invariance and first-class constraints

Gauge symmetries lead to first-class constraints. This assertion is, of course, true only for non-trivial gauge symmetries, i.e., gauge symmetries that act non-trivially on-shell on the dynamical variables. We illustrate this well-appreciated fact for time reparametrization invariance in the context of modifications of gravity-suggested in a recent proposal by Hořava-in which the Hamiltonian constraint is deformed by arbitrary spatial diffeomorphism invariant terms, where some subtleties are found to arise.     

Nonlinear symmetries on spaces admitting Killing tensors

Nonlinear symmetries corresponding to Killing tensors are investigated. The intimate relation between Killing–Yano tensors and non-standard supersymmetries is pointed out. The gravitational anomalies are absent if the hidden symmetry is associated with a Killing–Yano tensor. In the case of the nonlinear symmetries the dynamical algebras of the Dirac-type operators is more involved and could be organized as infinite dimensional algebras or superalgebras. The general results are applied to some concrete spaces involved in theories of modern physics. As a first example it is considered the 4-dimensional Euclidean Taub-NUT space and its generalizations introduced by Iwai and Katayama. One presents the infinite dimensional superalgebra of Dirac type operators on Taub-NUT space that could be seen as a graded loop superalgebra of the Kac-Moody type. The axial anomaly, interpreted as the index of the Dirac operator, is computed for the generalized Taub-NUT metrics. Finally the existence of the conformal Killing–Yano tensors is investigated for some spaces with mixed Sasakian structures.     

Solving Optimal Control Problems by Exploiting Inherent Dynamical Systems Structures

Computing globally efficient solutions is a major challenge in optimal control of nonlinear dynamical systems. This work proposes a method combining local optimization and motion planning techniques based on exploiting inherent dynamical systems structures, such as symmetries and invariant manifolds. Prior to the optimal control, the dynamical system is analyzed for structural properties that can be used to compute pieces of trajectories that are stored in a motion planning library. In the context of mechanical systems, these motion planning candidates, termed primitives, are given by relative equilibria induced by symmetries and motions on stable or unstable manifolds of e.g. fixed points in the natural dynamics. The existence of controlled relative equilibria is studied through Lagrangian mechanics and symmetry reduction techniques. The proposed framework can be used to solve boundary value problems by performing a search in the space of sequences of motion primitives connected using optimized maneuvers. The optimal sequence can be used as an admissible initial guess for a post-optimization. The approach is illustrated by two numerical examples, the single and the double spherical pendula, which demonstrates its benefit compared to standard local optimization techniques.     

A Method to Generate First Integrals from Infinitesimal Symmetries

We propose a method to construct first integrals of a dynamical system, starting with a given set of linearly independent infinitesimal symmetries. In the case of two infinitesimal symmetries, a rank two Poisson structure on the ambient space it is found, such that the vector field that generates the dynamical system, becomes a Poisson vector field. Moreover, the symplectic leaves and the Casimir functions of the associated Poisson manifold are characterized. Explicit conditions that guarantee Hamilton–Poisson realizations of the dynamical system are also given.     

Conservation laws for one-layer shallow water wave systems

The problem of correspondence between symmetries and conservation laws for one-layer shallow water wave systems in the plane flow, axisymmetric flow and dispersive waves is investigated from the composite variational principle of view in the development of the study [N.H. Ibragimov, A new conservation theorem, Journal of Mathematical Analysis and Applications, 333(1) (2007) 311–328]. This method is devoted to construction of conservation laws of non-Lagrangian systems. Composite principle means that in addition to original variables of a given system, one should introduce a set of adjoint variables in order to obtain a system of Euler–Lagrange equations for some variational functional. After studying Lie point and Lie–Bäcklund symmetries, we obtain new local and nonlocal conservation laws. Nonlocal conservation laws comprise nonlocal variables defined by the adjoint equations to shallow water wave systems. In particular, we obtain infinite local conservation laws and potential symmetries for the plane flow case.     

Symmetry analysis of the charged squashed Kaluza–Klein black hole metric

In this research article, a complete analysis of symmetries and conservation laws for the charged squashed Kaluza–Klein black hole space‐time in a Riemannian space is discussed. First, a comprehensive group analysis of the underlying space‐time metric using Lie point symmetries is presented, and then the n‐dimensional optimal system of this space‐time metric, for n = 1,…,4, are computed. It is shown that there is no any n‐dimensional optimal system of Lie symmetry subalgebra associated to the system of geodesic for n≥5. Then the point symmetries of the one‐parameter Lie groups of transformations that leave invariant the action integral corresponding to the Lagrangian that means Noether symmetries are found, and then the conservation laws associated to the system of geodesic equations are calculated via Noether's theorem. Copyright © 2015 John Wiley & Sons, Ltd.     

Nonclassical symmetries as special solutions of heir-equations

In Phys. D 78 (1994) 124, we have found that iterations of the nonclassical symmetries method give rise to new nonlinear equations, which inherit the Lie point symmetry algebra of the given equation. In the present paper, we show that special solutions of the right-order heir-equation correspond to classical and nonclassical symmetries of the original equations. An infinite number of nonlinear equations which possess nonclassical symmetries are derived.     

Dynamical symmetry breaking in hyperbolic 4D spacetime and in extra dimensions

We study the dynamical symmetry breaking in quark matter within two different models. First, we consider the effect of gravitational catalysis of chiral and color symmetries breaking in strong gravitational field of ultrastatic hyperbolic spacetime ℝ ⊗ H ³ in the framework of an extended Nambu-Jona-Lasinio model. Second, we discuss the dynamical fermion mass generation in the flat 4-dimensional brane situated in the 5D spacetime with one extra dimension compactified on a circle. In the model, bulk fermions interact with fermions on the brane in the presence of a constant abelian gauge field A ₅ in the bulk. The influence of the A ₅-gauge field on the symmetry breaking is considered both when this field is a background parameter and a dynamical variable.     

Ground ring of <Emphasis Type="Italic">α</Emphasis>-generators and a sequence of Ramond-Neveu-Schwarz string theories

We construct a sequence of new nilpotent BRST charges in the Ramond-Neveu-Schwarz superstring theory based on the hierarchy of found local gauge symmetries. These gauge symmetries are in turn related to global α-symmetries in the space-time forming a noncommutative ring. The constructed BRST charges are presumably connected with the superstring dynamics in a curved space-time with an AdS-type geometry.