It is known that many equations of interest in Mathematical Physics display solutions which are only asymptotically invariant under transformations (e.g. scaling and/or translations) which are not symmetries of the considered equation. In this note we extend the approach to asymptotic symmetries for the analysis of PDEs, to the case of difference equations.
In some cases, solutions to nonlinear PDEs happen to be asymptotically (for large $x$ and/or $t$) invariant under a group $G$ which is not a symmetry of the equation. After recalling the geometrical meaning of symmetries of differential equations -- and solution-preserving maps -- we provide a precise definition of asymptotic symmetries of PDEs; we deal in particular, for ease of discussion and physical relevance, with scaling and translation symmetries of scalar equations. We apply the general discussion to a class of ``Richardson-like'' anomalous diffusion and reaction-diffusion equations, w…
A method is presented for finding the Lie point symmetry transformations acting simultaneously on difference equations and lattices, while leaving the solution set of the corresponding difference scheme invariant. The method is applied to several examples. The found symmetry groups are used to obtain particular solutions of differential-difference equations.
A method is presented for calculating the Lie point symmetries of a scalar difference equation on a two-dimensional lattice. The symmetry transformations act on the equations and on the lattice. They take solutions into solutions and can be used to perform symmetry reduction. The method generalizes one presented in a recent publication for the case of ordinary difference equations. In turn, it can easily be generalized to difference systems involving an arbitrary number of dependent and independent variables.
It was recently remarked by Lutz [{\it Phys. Rev. A} {\bf 67} (2003), 051402(R)] that the equation for the marginal Wigner distribution in an optical lattice admits a scale-free distribution corresponding to Tsallis statistics. Here we show that this distribution is invariant under an asymptotic symmetry of the equation, hence that this scale-free behavior can be understood in terms of symmetry analysis.
The first part of this paper develops a geometric setting for differential-difference equations that resolves an open question about the extent to which continuous symmetries can depend on discrete independent variables. For general mappings, differentiation and differencing fail to commute. We prove that there is no such failure for structure-preserving mappings, and identify a class of equations that allow greater freedom than is typical. For variational symmetries, the above results lead to a simple proof of the differential-difference version of Noether's Theorem. We state and prove the di…
We first obtain the master symmetry of the differential-difference KP equation.Then we show how this master symmetry, through sl(2;C)-representation of the equation, can construct generators of time dependent symmetries.
The one-dimensional shallow water equations in Eulerian and Lagrangian coordinates are considered. It is shown the relationship between symmetries and conservation laws in Lagrangian (potential) coordinates and symmetries and conservation laws in mass Lagrangian variables. For equations in Lagrangian coordinates with a flat bottom an invariant difference scheme is constructed which possesses all the difference analogues of the conservation laws: mass, momentum, energy, the law of center of mass motion. Some exact invariant solutions are constructed for the invariant scheme, while the scheme ad…
In this note we present some ideas on when Lie symmetries, both point and generalized, can depend on arbitrary functions. We show on a few examples, both in partial differential and partial difference equations when this happens. Moreover we show that the infinitesimal generators of generalized symmetries depending on arbitrary functions, both for continuous and discrete equations, effectively play the role of master symmetries.
Symmetry preserving difference schemes approximating second and third order ordinary differential equations are presented. They have the same three or four-dimensional symmetry groups as the original differential equations. The new difference schemes are tested as numerical methods. The obtained numerical solutions are shown to be much more accurate than those obtained by standard methods without an increase in cost. For an example involving a solution with a singularity in the integration region the symmetry preserving scheme, contrary to standard ones, provides solutions valid beyond the sin…
Classification of differential-difference equation of the form $\ddot{u}_{nm}=F_{nm}\big(t, \{u_{pq}\}|_{(p,q)\in Γ}\big)$ are considered according to their Lie point symmetry groups. The set $Γ$ represents the point $(n,m)$ and its six nearest neighbors in a two-dimensional triangular lattice. It is shown that the symmetry group can be at most 12-dimensional for abelian symmetry algebras and 13-dimensional for nonsolvable symmetry algebras.
We present an algorithm for determining the Lie point symmetries of differential equations on fixed non transforming lattices, i.e. equations involving both continuous and discrete independent variables. The symmetries of a specific integrable discretization of the Krichever-Novikov equation, the Toda lattice and Toda field theory are presented as examples of the general method.
We consider a class of systems of difference equations defined on an elementary quadrilateral of the ${\mathbb{Z}}^2$ lattice, define their eliminable and dynamical variables, and demonstrate their use. Using the existence of infinite hierarchies of symmetries as integrability criterion, we derive necessary integrability conditions and employ them in the construction of the lowest order symmetries of a given system. These considerations are demonstrated with the help of three systems from the class of systems under consideration.
We show that any first order ordinary differential equation with a known Lie point symmetry group can be discretized into a difference scheme with the same symmetry group. In general, the lattices are not regular ones, but must be adapted to the symmetries considered. The invariant difference schemes can be so chosen that their solutions coincide exactly with those of the original differential equation.
Euler-Darboux-Backlund and Laplace transformations are considered for the one- and two-dimensional Schrodinger operators. Their discrete analogs are constructed and generalized for the multidimensional lattices and two-manifolds with special "black-white" triangulations. Nonstandard generalizations of the connections and curvature are constructed for the simplicial complexes. Exactly solvable 2D Schrodinger operators with nonstandard spectral properties are constructed in the continuous and discrete cases using Laplace chains with different restrictions.
In this paper we construct the autonomous quad-equations which admit as symmetries the five-point differential-difference equations belonging to known lists found by Garifullin, Yamilov and Levi. The obtained equations are classified up to autonomous point transformations and some simple non-autonomous transformations. We discuss our results in the framework of the known literature. There are among them a few new examples of both sine-Gordon and Liouville type equations.
The common intrinsic geometry shared by all the null hypersurfaces gives rise to the asymptotic symmetries found on the null infinities $\mathscr I^\pm$ and the isolated horizons $Δ$. In this work, the properties of a null hypersurface are reviewed and the invariance of its intrinsic geometry ($n^an^bh_{ab}$) is revealed under the spacetime conformal transformation. The generators, i.e., infinitesimal symmetries, of the conformal transformation tangent to the null hypersurface are defined and classified by their effects on the induced metric and the normal vector field. Two particular examples…
In this paper we extend the umbral calculus, developed to deal with difference equations on uniform lattices, to q-difference equations. We show that many of the properties considered for shift invariant difference operators satisfying the umbral calculus can be implemented to the case of the q-difference operators. This q-umbral calculus can be used to provide solutions to linear q-difference equations and q-differential delay equations. To illustrate the method, we will apply the obtained results to the construction of symmetry solutions for the q-heat equation and to solve a linear ordinary…
We show how to derive asymptotic charges for field theories on manifolds with "asymptotic" boundary, using the BV-BFV formalism. We also prove that the conservation of said charges follows naturally from the vanishing of the BFV boundary action, and show how this construction generalises Noether's procedure. Using the BV-BFV viewpoint, we resolve the controversy present in the literature, regarding the status of large gauge transformation as symmetries of the asymptotic structure. We show that even though the symplectic structure at the asymptotic boundary is not preserved under these transfor…
In this work we obtain known and new supersymmetric extensions of diverse asymptotic symmetries defined in three spacetime dimensions by considering the semigroup expansion method. The super-$BMS_3$, the superconformal algebra and new infinite-dimensional superalgebras are obtained by expanding the super-Virasoro algebra. The new superalgebras obtained are supersymmetric extensions of the asymptotic algebras of the Maxwell and the $\mathfrak{so}(2,2)\oplus\mathfrak{so}(2,1)$ gravity theories. We extend our results to the $\mathcal{N}=2$ and $\mathcal{N}=4$ cases and find that R-symmetry genera…
We investigate the asymptotic symmetry group of a scalar field minimally-coupled to an abelian gauge field using the Hamiltonian formulation. This extends previous work by Henneaux and Troessaert on the pure electromagnetic case. We deal with minimally coupled massive and massless scalar fields and find that they behave differently insofar as the latter do not allow for canonically implemented asymptotic boost symmetries. We also consider the abelian Higgs model and show that its asymptotic canonical symmetries reduce to the Poincaré group in an unproblematic fashion.
We analyze the asymptotic symmetries and their associated charges at spatial infinity in $4$-dimensional asymptotically-flat spacetimes. We use the covariant formalism of Ashtekar and Hansen where the asymptotic fields and symmetries live on the $3$-manifold of spatial directions at spatial infinity, represented by a timelike unit-hyperboloid (or de Sitter space). Using the covariant phase space formalism, we derive formulae for the charges corresponding to asymptotic supertranslations and Lorentz symmetries at spatial infinity. With the motivation of, eventually, proving that these charges ma…
Asymptotic symmetries at future null infinity (I+) of Minkowski space for electrodynamics with massless charged fields, as well as non-Abelian gauge theories with gauge group G, are considered at the semiclassical level. The possibility of charge/color flux through I+ suggests the symmetry group is infinite-dimensional. It is conjectured that the symmetries include a G Kac-Moody symmetry whose generators are "large" gauge transformations which approach locally holomorphic functions on the conformal two-sphere at I+ and are invariant under null translations. The Kac-Moody currents are construct…
Lie group theory was originally created more than 100 years ago as a tool for solving ordinary and partial differential equations. In this article we review the results of a much more recent program: the use of Lie groups to study difference equations. We show that the mismatch between continuous symmetries and discrete equations can be resolved in at least two manners. One is to use generalized symmetries acting on solutions of difference equations, but leaving the lattice invariant. The other is to restrict to point symmetries, but to allow them to also transform the lattice.
We extend two of the methods previously introduced to find discrete symmetries of differential equations to the case of difference and differential-difference equations. As an example of the application of the methods, we construct the discrete symmetries of the discrete Painlevé I equation and of the Toda lattice equation.
Different symmetry formalisms for difference equations on lattices are reviewed and applied to perform symmetry reduction for both linear and nonlinear partial difference equations. Both Lie point symmetries and generalized symmetries are considered and applied to the discrete heat equation and to the integrable discrete time Toda lattice.
This thesis is devoted to the study of Lie bialgebra and Hopf algebra structures related to certain versions of non-commutative geometry constructed on infinite-dimensional Lie algebras that arise in the context of asymptotic symmetries of spacetime. We prove a number of theorems about cohomology groups that aid the classification of the Lie bialgebras and explicitly construct and analyze selected Hopf algebras. Particularly interesting behavior was found by studying the contraction limit of spacetimes with cosmological constant and the inclusion of central charges on the level of Lie bialgebr…
A closed form expression for multiplicity-free quantum 6-j symbols (MFS) was proposed in arXiv:1302.5143 for symmetric representations of $U_q(sl_N)$, which are the simplest class of multiplicity-free representations. In this paper we rewrite this expression in terms of q-hypergeometric series ${}_4Φ_3$. We claim that it is possible to express any MFS through the 6-j symbol for $U_q(sl_2)$ with a certain factor. It gives us a universal tool for the extension of various properties of the quantum 6-j symbols for $U_q(sl_2)$ to the MFS. We demonstrate this idea by deriving the asymptotics of the …
One of the difficulties encountered when studying physical theories in discrete space-time is that of describing the underlying continuous symmetries (like Lorentz, or Galilei invariance). One of the ways of addressing this difficulty is to consider point transformations acting simultaneously on difference equations and lattices. In a previous article we have classified ordinary difference schemes invariant under Lie groups of point transformations. The present article is devoted to an invariant Lagrangian formalism for scalar single-variable difference schemes. The formalism is used to obtain…
The aim of this work is to further study the fractional bosonic string theory. In particular, we wrote the energy-momentum tensor in the fractional conformal gauge and study their symmetries. We introduced the Virasoro operators of all orders. In fact, we found the same $L_0 (\widetilde{L}_0)$ operator originally defined in the work of fractional bosonic string up to a shift transformation. Also, we compute the algebra of our Fractional Virasoro Operators, finding that the satifies the $Witt$ algebra. Lastly, we showed that in the boundary of our theory we recover the lost conservation law ass…
Following the usual definition of $λ$-symmetries of differential equations, we introduce the analogous concept for difference equations and apply it to some examples.
Algorithms for the symbolic computation of polynomial conservation laws, generalized symmetries, and recursion operators for systems of nonlinear differential-difference equations (DDEs) are presented. The algorithms can be used to test the complete integrability of nonlinear DDEs. The ubiquitous Toda lattice illustrates the steps of the algorithms, which have been implemented in {\em Mathematica}. The codes {\sc InvariantsSymmetries.m} and {\sc DDERecursionOperator.m} can aid researchers interested in properties of nonlinear DDEs.
We study the Lie group structure of asymptotic symmetry groups in General Relativity from the viewpoint of infinite-dimensional geometry. To this end, we review the geometric definition of asymptotic simplicity and emptiness due to Penrose and the coordinate-wise definition of asymptotic flatness due to Bondi et al. Then we construct the Lie group structure of the Bondi--Metzner--Sachs (BMS) group and discuss its Lie theoretic properties. We find that the BMS group is regular in the sense of Milnor, but not real analytic. This motivates us to conjecture that it is not locally exponential. Fina…
A procedure for obtaining a "minimal" discretization of a partial differential equation, preserving all of its Lie point symmetries is presented. "Minimal" in this case means that the differential equation is replaced by a partial difference scheme involving N difference equations, where N is the number of independent and dependent variable. We restrict to one scalar function of two independent variables. As examples, invariant discretizations of the heat, Burgers and Korteweg-de Vries equations are presented. Some exact solutions of the discrete schemes are obtained.
We investigate the asymptotic symmetry group of the free SU(N)-Yang-Mills theory using the Hamiltonian formalism. We closely follow the strategy of Henneaux and Troessaert who successfully applied the Hamiltonian formalism to the case of gravity and electrodynamics, thereby deriving the respective asymptotic symmetry groups of these theories from clear-cut first principles. These principles include the minimal assumptions that are necessary to ensure the existence of Hamiltonian structures (phase space, symplectic form, differentiable Hamiltonian) and, in case of Poincaré invariant theories, a…
We describe a novel twistorial construction of the asymptotic BMS symmetries at null infinity for asymptotically flat spacetimes. We define BMS twistors as spinor solutions to some set of components of the usual spacetime twistor equation restricted to null infinity. The space of BMS twistors is infinite-dimensional. We show that given two BMS twistors their symmetric tensor product can be used to generate (complex) vector fields which are the infinitesimal BMS symmetries of null infinity. In this sense BMS twistors are "square roots" of BMS symmetries. We also show that these BMS twistor equa…