\magnification=1200
\font\tafont = cmbx10 scaled\magstep2
\font\tbfont = cmbx10 scaled\magstep1
\def\titlea#1#2{{~ \vskip 3 truecm \tafont {\centerline {#1}}
{\centerline {#2}} }
\vskip 3 truecm }
\def\titleb#1{ \bigskip \bigskip {\tbfont {#1} } \bigskip}
\def\La{\Lambda}
\def\la{\lambda}
\def\D{\Delta}
\def\J{{\cal J}}
\def\Ga{\Gamma}
\def\B{{\cal B}}
\def\pa{\partial}
\def\eps{\varepsilon}
\def\phi{\varphi}
\def\section#1{\bigskip \bigskip {\bf #1} \bigskip}
\def\remark#1{{\it Remark #1.}}
\parindent=0pt
\parskip=10pt
{\nopagenumbers
\titlea{On discrete symmetries of differential equations}{}
\centerline{Giuseppe Gaeta}
\bigskip
\centerline{\it Department of Mathematical Sciences}
\centerline{\it Loughborough University of Technology}
\centerline{\it Loughborough LE11 3TU (United Kingdom)}
\centerline{\tt G.Gaeta@lut.ac.uk}
\bigskip\bigskip
\centerline{Miguel A. Rodr\'{\i}guez}
\bigskip
\centerline{\it Departamento de F\'{\i}sica Te\'orica}
\centerline{\it Facultad de F\'{\i}sicas, Universidad Complutense}
\centerline{\it E-28040 Madrid (Spain)}
\centerline{\tt Rodriguez@fis.usm.es}
\footnote{}{Work partially supported by C.N.R. (Italy) under grant
203-01-62 and DGICYT (Spain) under project PB92-0197}
\vskip 1 truecm
{\bf Summary} We propose a method to determine a special class of
discrete symmetries - which we call quantized - of differential
equations, based on solution of a linear functional equation. By the
same method, we can determine differential equations possessing a
given quantized symmetry by solving a linear (standard, i.e. non
functional) PDE. Geometrical motivation and interpretation are also
given, together with simple but physically significant examples.
\vfill \eject}
\pageno=1
\section{1. Introduction}
It is well known [1-6] that knowledge of
continuous symmetries of differential equations can be of great use in
finding particular or general solutions of the equations, or in
simplifying them.
In the determination of {\it continuous} symmetries of DEs, we proceed
by identifying the DE $\D$ with a manifold $S_\D$ in the appropriate
{\it jet space} $\J$; we then look for a vector field
$\eta$ such that its prolongation $\eta_*$ is tangent to $S_\D$. In
this way we are reduced to considerations on the {\it tangent space} to
$S_\D$, i.e. to a {\it linear} problem. Indeed, the condition $\eta_* :
S_\D \to T S_\D$ gives a system of linear PDEs, the {\it determining
equations} [1-6].
Knowledge of {\it discrete} symmetries would also be of great use in
the study of DEs; unfortunately, in the determination of general
discrete symmetries we cannot reduce to study the infinitesimal action
of vector fields, and we end up in general with a nonlinear problem.
In the present note, we point out that for some class of discrete
symmetries, which we will call {\it quantized} or {\it stroboscopic}
for reasons to be clear in the following, we can still reduce to a
linear problem, although considerably more difficult than the one to be
solved for continuous symmetries. The method we propose has a clear
geometric interpretation, and indeed we will present it geometrically,
starting from the identification of $\D$ with the solution manifold
$S_\D$.
The class of discrete transformations we will study is that of
transformations obtained by finite action of vector fields; i.e., if
$\eta$ is a vector field, we will consider transformations of the form
$T_\la = e^{\la \eta}$, where $\la \in R$ is a {\it finite} parameter;
we are interested in the case $\eta$ is {\it not} a symmetry of $\D$,
but there exist values $\la_0$ such that
$T_{\la_0} : S_\D \to S_\D$ (and $T_{\la_0} \not= I $). An example of
this would be an equation which is invariant under a lattice of discrete
traslation, but not under continuous traslations, see below.
It should be anticipated that the determining equation we obtain by the
method proposed here is a {\it functional} equation, so that in general
we cannot hope to find the most general solution, i.e. the complete set
of discrete symmetries to a given DE. It should also be remarked that
the problem is unavoidably underdetermined: indeed, two different
vector fields $\eta$ and
$\eta '$ such that $e^{\la_0 \eta} = e^{\la_0 \eta '}$ give raise to
the same discrete transformation; we will further comment on this in
the following.
It should also be mentioned that the problem of finding continuous
symmetries for discrete equations, which is in some sense dual to the
present one (see below), has been considered by several authors
(see e.g. [7-12] and references therein); the method proposed here is
however not related to methods used in such a problem.
In the following, we will proceed as follows. We will first consider
the geometric problem of quantized transformations leaving invariant a
manifold in $R^{n+1}$, and we will write explicitely the determining
equations for these.
We will then pause to shortly discuss the geometrical interpretation of
our method from a rather abstract point of view; this could be helpful in
establishing relations with differential geometric properties of the
manifold considered. Indeed, in this language we have to determine
connections for a certain fiber bundle.
Coming back to our main idea, we will then specialize to the case of
manifold in a jet space corresponding to a DE: in this case some extra
structure is present, and this results in some simplification of the
determining equation. Even with this, we are not able to give the
complete solution to the determining equations, but we will show that
by restricting the form of the vector field to be quantized we can give
explicit solutions. We will then consider the inverse problem: that is,
given a quantized symmetry, determine the most general DE (for assigned
order and number of variables) invariant under that symmetry.
Finally, we will consider in detail some explicit examples, focusing in
particular on simple discrete symmetries of wide use, such as
traslations, rotations and scale transformations.
We will suppose the reader is familiar with the problem and language of
determining continuous symmetries of differential equations, and in
general with the symmetry theory of differential equations [1-6].
In this note we will just present the main ideas underlying the
approach we propose, and give some simple examples; a more thorough
discussion will be presented elsewhere [13].
\section{2. Quantized symmetries for manifolds}
Let us consider $X = R^n$, $Y = R^1$. Let us consider a manifold
$\Ga$ in
$M = X \times Y = R^{n+1}$ defined by the equation
$$ y = f ( x ) \eqno(1) $$ with $f: X \to Y$ a smooth function.
Let us further consider a vector field in $M$,
$$ \eta = \phi^i (x , y) \pa_i + \psi (x , y) \pa_y \eqno(2) $$ Here and
in the following
$$ \pa_i \equiv {\pa \over \pa x^i } \eqno(3) $$ and summation over
repeated indices is understood.
The infinitesimal action $e^{\eps \eta}$ of $\eta$ in $M$ maps
$(x ,y)$ to a new point $(x ' , y')$, where
$$ x ' = x + \eps \phi (x ,y) \kern1cm ; \kern 1 cm y' = y + \eps
\psi (x ,y) \eqno(4) $$ so that the graph of $f$, $\Ga = \{ (x, f(x ) )
\}$ is tranformed into a new curve
$\Ga_\eps = \{ (x , f_\eps (x ) ) \}$ which is the graph of the function
$$ f_\eps (x ) = f(x ) + \eps [\psi (x ,y) - (\phi^i (x ,y)
\pa_i ) f(x ) ] \eqno(5) $$
Let us now introduce the function $F : R \times X \to R$ such that
$F( \la ,x ) = f_\la (x) $ is the transform of $f(x )$ under $e^{\la
\eta}$. Clearly, the infinitesimal transformation (5) yields that this
$F$ satisfies the {\it determining equation}
$$ {\pa F(\la ,x) \over \pa \la} + \phi^i (x,F(\la ,x)) {\pa F(\la ,x)
\over \pa x^i} = \psi (x, F(\la ,x) ) \eqno(6) $$ with initial condition
$$ F(0,x) = f(x) \eqno(7) $$
If $\eta$ is a continuous symmetry of $f$, then $\Ga$ must be invariant
under $\eta$, i.e. $f_\eps (x) = f(x)$, or equivalently
$( \pa F / \pa \la ) = 0$. Indeed in this case (6) gives just the usual
determining equations for symmetries of (1).
As mentioned in the introduction, we are interested in the case
$\eta$ is not a symmetry of (1), but there is a special value
$\la_0$ such that $f_{\la_0} = f$, i.e. such that
$$ F( \la_0 ,x ) = F (0,x) \eqno(8) $$
In other words, we are interested in determining $\eta$ such that the
solution to (6) with the initial condition (7) is {\it periodic} in
$\la$ (excluding the trivial case $\pa F / \pa \la = 0$). In this case,
$\La = e^{\la \eta} : M \to M$ maps $\Ga$ into itself and therefore
qualifies as a discrete symmetry of (1), or equivalently of $\Ga$.
It is now clear why we call such a symmetry, given by finite
action of a vector field which is not a continuous symmetry of (1)
itself, a quantized or stroboscopic symmetry, as anticipated in the
Introduction. It should be stressed that we should also require that
$\La \vert_{\Ga}$ is not the identity, or we would have a trivial
discrete symmetry.
Notice that, multiplying $\eta$ by a numerical constant, we can
always set $\la_0 = 1$, or $\la_0 = 2 \pi$. Thus, in the following we
will in general consider $\la_0$ as fixed. The ($2 \pi$) periodicity
requirement in $\la$ would suggest to expand $F(\la ,x)$ as a Fourier
series in $\la$. This is indeed possible, but is concretely useful only
if (6) is linear, as it will be discussed in detail in [13].
We stress that in (6) we have to determine not only
$F$, but $\phi$ and $\psi$ as well. Thus, we are not dealing with a
normal PDE, but with a functional PDE. The only data are the initial
condition (7) and the (arbitrary) $\la_0
\not= 0$ appearing in (8). We could - and will - consider the inverse
problem of determining the manifolds $\Ga$ which are invariant under
the action of a given prescribed symmetry. In this case $\phi , \psi$
are given, and (6) is a regular PDE, not a functional one. It is not
surprising that this inverse problem is much easier than the direct
one, as we will see in the following.
Although we have considered quite special $X,Y,M$ and
$\Ga$ for ease of notation, it is simple to generalize the above
discussion to the case $X$ and $Y$ are smooth submanifolds in real
spaces; for our purposes we will not need to consider the case
$\Ga$ is a generic smooth submanifold in $M = X \times Y$, and only need
to consider $\Ga$ as the graph of a function $f$ in an appropriate space.
It should be stressed that in introducing the function $F(\la ,x)$ we
are implicitely also passing to consider a vector field $\eta '$
associated to $\eta$ and acting in $M' = R \times M$, given explicitely
by
$$ \eta ' = \eta + \pa_\la \equiv \phi^i \pa_i + \psi \pa_y +
\pa_\la \eqno(9) $$
Then the graph $\Theta = {(x,y,\la ) : y = F(\la , x) } \subset M'$ of
$F(\la ,x )$ is by construction an invariant submanifold of
$M'$ under $\eta '$. We are therefore reconducted to the problem of
determining tangent vector field to a manifold, but now the manifold is
not given a priori, but depends itself on the vector field.
\section{3. A geometrical interpretation}
We would like to stress that $M'$ can be naturally seen as the total
space of a fiber bundle $B$ with base $R$ (corresponding to the $\la$),
fiber $M$ and projection $\pi :(\la, x,y) \to \la$;
$\eta '$ is then a connection on $B$. When we are looking for solutions
to (6), (7) which moreover satisfy the periodicity condition (8) - i.e.
we are looking for quantized symmetries - we can consider the analogous
bundle $\B$ with $S^1$ as base space,
$M$ as fiber and the same projection $\pi$.
Our problem can then be described in differential geometric language as
the search for a connection $\nabla$ on $\B$ such that there is a
section $\Theta$ invariant under this connection and such that the
restriction of $\Theta$ to $\pi^{-1} (0)$ is the prescribed $\Ga$.
In the above language, the determination of manifolds invariant under a
given quantized symmetry (the "inverse" problem, to be discussed below)
amounts to the determination of sections of $\B$ invariant under a given
connection
$\nabla$. Again, it is obvious that this is much easier than the
"direct" problem, although in general it is not trivial at all.
It should be stressed that although $\Theta$ is an invariant
manifold under the connection $\nabla$, this does not imply that
transporting a point $(x,f(x))$ around the base space
$S^1$ by $\nabla$ we get the same point. In general, we get a point $(x'
,f (x' ))$ with $x' \not= x$, and the discrete transformation $\La : \Ga
\to \Ga$ is related to the holonomy of the connection $\nabla$.
\vfill\eject
\section{4. Quantized symmetries of differential equations}
As already recalled, a DE $\D$ is naturally identified with a manifold
$S_\D$ in an appropriate jet space $\J$ [1,5]. Therefore, if $\Ga$ is
$S_\D$ and $M$ is $\J$, the theory developed in the previous section can
be applied to differential equations as well.
However, the fact that we are dealing with jet spaces makes that an
extra structure (the contact structure) is now present. Due to this, we
have some extra constraint on the functions appearing in (6): e.g.,
$\eta$ should now be the prolongation to $\J$ of an underlying Lie-point
vector field $\eta_0$ acting in the space
$M_0$ of independent and dependent variables; due to this the
$\phi^i$ and
$\psi$ are not arbitrary smooth functions, but must satisfy some
relations, as we are now going to discuss.
Let us first consider the case of an autonomous ODE
$$ u_t = f(u) \eqno(10) $$ and time-independent Lie-point vector field
$$ \eta_0 = \phi (u) \pa_u \eqno(11) $$
Now $M_0 = R^2 = \{ (t,u)\}$, and (10) is identified with a manifold in
$\J = M = R^3 = \{ t , u , u_t \}$. The prolongation of $\eta_0 : M_0
\to T M_0$ to $M$ is given by
$$ \eta = \phi (u) \pa_u + \Phi (u,u_t ) \pa_{u_t} \eqno(12') $$ where
$\Phi = \phi_u u_t$ by the prolongation formula [1-6], so that on $\Ga$
we have
$$ \Phi = \phi_u f(u) \eqno(12'') $$
Now $u_t$ plays the role that was of $y$ in section 2, and $\Phi$
corresponds to $\Psi$; we get (6) in the form
$$ {\pa F(\la , u) \over \pa \la} + \phi (u) {\pa F(\la , u) \over
\pa u} = \Psi = \phi_u F(\la , u) \eqno(13) $$
(we have taken into account $t$-independence). Thus, $\Psi$ is now
determined by $\phi$, and we have only one arbitrary function in
$\eta$. Notice also that while the $\phi$ in the case of section 2 could
depend on $y$, now the request that $\eta_0$ be a Lie-point vector field
ensures that $\phi$ does not depend on $u_t$, and we end up with a
determining equation linear in $F$.
Thus, dealing with differential equations rather than algebraic
manifolds gives indeed a somewhat simpler problem !
It is worth considering also the case of nonautonomous ODEs and time
dependent vecor fields, i.e.
$$ u_t = f(t,u) \eqno(14) $$
$$ \eta_0 = \tau (t,u) \pa_t + \phi (t,u) \pa_u \eqno(15) $$
In this
case $\eta$ is still given by (12'), but the prolongation formula yields
$\Phi = \phi_u u_t - \tau_t u_t - \tau_u (u_t )^2$, and on $\Ga$ we have
$$ \Phi = \phi_t + [ \phi_u - \tau_t ] f(t,u) - \tau_u [f(t,u)]^2
\eqno(16) $$
so that we end up with the determining equation
$$ {\pa F \over \pa \la} + \tau (t,u) {\pa F \over \pa t} + \phi (t,u)
{\pa F \over \pa u} = \Psi = \phi_t + [ \phi_u - \tau_t ] F -
\tau_u F^2 \eqno(17) $$
It should be stressed that for higher order ODEs the right hand side
will not contain terms of order higher than one in $F$. This follows at
once from the recursive structure of prolongation coefficients, i.e. by
the general prolongation formula [1-6].
In the same way it is also easy to see, again by the prolongation
formula [1-6], that for general DEs - ordinary or partial - of order
$n$ we will have on the left hand side a differential operator whose
coefficients do not depend on
$F$ (while in the case of algebraic manifolds, see section 2, they could
depend on $F$), applied to $F$, and on the right hand side an expression
which contains terms of order not higher than one in
$F$ if $n \not= 1$, and not higher than two in $F$ if $n=1$.
We would like to point out that in the study of continuous Lie-point
symmetries of first order ODEs such as (10), the determining equation
is just $\phi f_u - f \phi_u = 0$. In the case of discrete equations (see
13), we get an equation of this form, but with $\pa F / \pa \la$ on the
right hand side. Notice that indeed if $\pa F / \pa \la = 0$, then
$\eta_0$ is a continuous symmetry of (10).
The fact that first order differential equations lead to
more difficult determining equations than higher order ones, should not
be a surprise. Indeed, the same happens also in the case of determining
equations for continuous Lie-point symmetries [1,4,5].
The general procedure for writing the determining equations for
discrete symmetries of higher order ODEs or evolution PDEs should by now
be clear; it amounts to repeat the procedure illustrated in section 2
for manifolds and taking into account that $\eta : M \to T M$ is now
the prolongation of an $\eta_0 : M_0 \to T M_0$. We stress that this
only requires to apply the general prolongation formula [1-6].
\vfill\eject
\section{5. Some special cases}
We will now consider shortly, but explicitely, the case of second order
ODEs and of evolution PDEs of order one or two in the spatial
derivatives.
{\it Autonomous second order ODEs}
For an autonomous second order ODE
$$ u_{tt} = f(u,u_t ) \eqno(18) $$
and time independent $\eta_0$ we have
$\eta_0$ as in (11), but now
$\eta$ is the second prolongation of $\eta_0$, i.e.
$$ \eta = \phi \pa_u + \phi_u u_t \pa_{u_t} + [ \phi_{uu} (u_t )^2 +
\phi_u u_{tt} ] \pa_{u_{tt}} \eqno(19) $$
and the determining equation is therefore
$$ { \pa F \over \pa \la } + \phi { \pa F \over \pa u} + {\pa \phi
\over \pa u} u_t { \pa F \over \pa u_t } = {\pa^2 \phi \over \pa u^2}
(u_t )^2 + {\pa \phi \over \pa u} F \eqno(20) $$
where $\phi = \phi (u)$ and $F = F(\la , u, u_t )$.
{\it First order PDEs}
For a first order PDE
$$ u_t = f(t,x,u,u_x ) \eqno(21) $$
with $x \in R^q$, we write
$$ \eta_0 = \tau (t,x,u) \pa_t + \xi^j (t,x,u) \pa_j + \phi (t,x,u)
\pa_u \eqno(22) $$
where $j$ runs from $1$ to $q$, sum over repeated
indices is understood, and $\pa_j = \pa / \pa x^j$. The first
prolongation of this yields
$$\eqalign{
\eta = \tau (t,x,u) \partial_t + \xi^j (t,x,u) \partial_j + \phi
(t,x,u) \partial_u & \cr + ( \phi_t + \phi_u u_t - \tau_t u_t - \tau_u
(u_t )^2 - \xi^j_t u_j - \xi^j_u u_j u_t ) \partial_{u_t} & \cr + (
\phi_j + \phi_u u_j - \tau_j u_t - \tau_u u_t u_j - \xi^i_j u_i -
\xi^i_u u_i u_j ) \partial_{u_j}} \eqno(23) $$
and therefore the determining equation is
$$\eqalign{ {\partial F \over \partial \lambda} + \tau {\partial F \over
\partial t} + \xi^j {\partial F \over \partial x^j} + \phi {\partial F
\over \partial u} + ( \phi_j + \phi_u u_j - (\tau_j + \tau_u u_j ) F -
\xi^i_j u_i - \xi^i_u u_i u_j ) {\partial F \over \partial u_j} & \cr =
\phi_t - \xi^j_t u_j + ( \phi_u - \tau_t - \xi^j_u u_j) F - \tau_u F^2 }
\eqno(24) $$
Notice that now $F$ appears also in the coefficients of
$F$ derivatives in the left hand side of the determining equation,
contrary to what happens in the case of ODEs.
{\it Autonomous first order PDEs}
For autonomous first order PDEs
$$ u_t = f (u,u_x) \eqno(21') $$
and $\eta_0$ independent of $x$ and $t$,
$$ \eta_0 = \phi (u) \pa_u \eqno(22') $$ we get
$$ \eta = \phi (u) \pa_u + (\phi_u u_x ) \pa_{u_x} + (\phi_u u_t )
\pa_{u_t} \eqno(23') $$ and the determining equation is
$$ {\pa F \over \pa \la} + \phi {\pa F \over \pa u} + (\phi_u u_x ) {\pa
F \over \pa u_x} = \phi_u F \eqno(24') $$
We stress that in this case the coefficient of $F$ derivatives in the
l.h.s. of the determining equation do not depend on $F$, and the
determining equation is {\it linear}. By looking at the prolongation
formula, we see at once that this is a general fact; i.e., for
autonomous PDEs and $\eta_0$ of the form (22'), we always get linear
determining equations.
{\it Autonomous second order evolution PDEs}
In the case of autonomous second order evolution PDEs,
$$ u_t = f(u,u_x,u_{xx}) \eqno(25) $$
and $\eta_0$ independent of $x,t$,
i.e. as in (24'). In this case we get
$$ \eta = \phi \pa_u + \phi_u u_x \pa_{u_x} + ( \phi_{uu} (u_x )^2 +
\phi_u u_{xx} ) \pa_{u_{xx}} + \phi_u u_t \pa_{u_t}
\eqno(23'') $$ and the determining equation is therefore
$$ {\pa F \over \pa \la} + \phi {\pa F \over \pa u} + (\phi_u u_x ) {\pa
F \over \pa u_x} + ( \phi_{uu} (u_x )^2 + \phi_u u_{xx} ) {\pa F \over
\pa u_{xx} } = \phi_u F \eqno(24'') $$
{\it A general remark}
We stress that if we have an autonomous evolution equation, the general
form of $\eta_0$ transforming it into autonomous evolution equations is
just $\eta_0 = \tau (t) \pa_t + \xi^j (x) \pa_j +
\phi(t,x,u) \pa_u$ [5,14]. Notice that for autonomous equations, the
time and space traslations correspond to continuous symmetries, so are
not interesting in the present setting. Notice also that the above
statement about linearity of the determining equations for autonomous
PDEs does also apply to $\eta_0 = \phi (t,x,u) \pa_u$.
\vfill \eject
\section{6. Differential equations with prescribed discrete symmetries}
As already stressed, our main equation (13) (or (6) in the case of
general manifolds) yielding the condition to be satisfied to have a
quantized symmetry, is a {\it functional} equation, as it requires to
determine both the $F(\la , x)$ which is the "transported" of $f$
under the vector field, {\it and} the $\phi$ describing the vector
field (12) to be quantized to give a symmetry.
Our task is considerably simpler if we consider the ``inverse
problem'', i.e. if we assign a priori a vector field, namely the
$\phi$, and we ask to determine the differential equations which admit
this as a quantized symmetry.
In this case we have to determine the $f$ such that there exist a $F
(\la , u)$ periodic (in $\la$) solution of (13) with initial datum
$F(0,u) = f(u)$, namely the ``initial data'' in the space of
differential equation which lead to periodic evolution under the vector
field $\pa_\la + \phi (u) \pa_u$. Although this is not a completely
standard problem, it is nevertheless more tractable than the ``direct
problem'', as it will be concretely shown also by the examples in the
following section.
Indeed, if $\phi$ are given, then (13) - as an equation for $F$ - is a
quasilinear first order PDE, which can be solved in a standard way by
the method of characteristics. Notice that for the ``direct problem'',
eq.(13) can still be formally solved by characteristics, but now we
should have also to determine the characteristic vector field (hence,
the $\phi$) at the same time as $F$.
\section{7. Examples}
We will present here some simple examples, dealing with symmetries of
direct relevance in Physics; we will consider the case of
(discrete) traslations, (discrete) scale transformations, and
(discrete) conformal transformations.
{\it A) Traslations}
Let us consider as a first and simple example the following ODE:
$$u_t=f(u)\eqno (26)$$
and try to find the function $f$ such that it admits a discrete
nontrivial translation in $u$ as a symmetry. The determining
equation is now (13):
$$ {\pa F \over \pa \la} + \varphi (u) {\pa F \over
\pa u} = \varphi_u F \eqno(27) $$
where, if the vector field is $\eta_0=\pa_u$, then $\varphi=1$, and the
equation is:
$$ {\pa F \over \pa \la} + {\pa F \over\pa u} = 0 \eqno(28) $$
The general solution of this equation can be easily obtained by the
corresponding characteristic system:
$${d\la}={du } \eqno(29)$$
and is:
$$F(\la,u)=F(u-\la) \eqno(30) $$
which should be periodic in $\la$. For instance, we can take:
$$F(\la,u)=\sin (\la-u) \eqno(31)$$
and obtain from equation (7):
$$f(u)=-\sin u \eqno(32)$$
\bigskip
{\it B) Dilations}
The second example concerning (26) will consider a dilation as
symmetry. The vector field is $\eta_0=u\pa_u$, then $\varphi(u)=u$, and
the equation is:
$$ {\pa F \over \pa \la} + u{\pa F \over
\pa u} = F(\la,u) \eqno(33) $$
We can get the general solution:
$${d\la }={du \over u}={d F
\over F} \eqno(34)$$
which yields
$$F(\la,u)=h(ue^{-\la})u \eqno(35) $$
which again should be periodic in $\la$. The most obvious
solution is simply $h=\hbox{constant}$. But, in this case, we get a
continuous symmetry (for the equation $u_t=u$), and this is not our
goal. However, we can take:
$$F(\la,u)=u\sin (2\pi-\log u) \eqno(36)$$
and, setting $\la=0$:
$$f(u)=-u\sin (\log u) \eqno(37)$$
which admits a nontrivial discrete dilation as a symmetry.
\bigskip
{\it C) Conformal Transformations}
The third example will use a nonlinear vector
field, $\eta_0=u^2\pa_u$, then $\varphi(u)=u^2$. The equation is:
$${\pa F \over \pa \la} + u^2{\pa F \over \pa u} = 2uF(\la,u)
\eqno(38)$$
The characteristic equations are:
$${d\la }={du \over u^2}={d F\over 2uF} \eqno(39)$$ and the
solution is:
$$F(\la,u)=h\left(\la+{1\over u}\right)u^2 \eqno(40) $$
which again should be periodic in $\la$. As in the previous
example, choosing $h$ constant, we get an equation with a
continuous symmetry:
$$u_1={u_0 \over 1-\la u_0}\eqno(41)$$
If we impose:
$$h\left({1\over u}\right)= h\left({1\over u}+2\pi\right)
\eqno(42)$$
we will have, for instance:
$$F(\la,u)=u^2\sin \left(\la+{1\over u}\right)\eqno
(43)$$
and, with $\la=0$:
$$f(u)=u^2\sin \left({1\over u}\right)\eqno(44)$$
%\vfill \eject
\section{8. Conclusions}
We have discussed "quantized" symmetries of manifolds in $R^n$, and
found the equations these have to satisfy. On the basis of this
discussion we have considered the case of the manifolds identifying a
differential equation in the appropriate jet space, and found the
equations these have to satisfy; these are the determining equations
for discrete (quantized) symmetries of a differential equation.
Such equations are functional ones; they can also be used to determine
the differential equations possessinga given discrete (quantized)
symmetry, in which case they are standard, i.e. non functional, linear
PDEs.
We have considered some simple cases, discussing quantized
traslations, dilations, and conformal transformations; these examples
show that our method is concretely viable.
The computation of discrete symmetries of differential equations is a
very interesting problem from the point of view of explicit solutions
and properties of these equations. The method we present here allows a
systematic approach to this problem using well known techniques from
the computation of continuos symmetries. Although the determining
equations are very undetermined and not very easy to solve, they can be
used to find explicit discrete symmtries or particular equations having
these symmetries and provides insights into the structure of
differential equations with these properties.
In a future work [13] we will present a more complete analysis
together with some further results and applications to integrable
models.
\section{Acknowledgements} The work of M.A.R. was supported in part by
DGICYT (Spain) under project PB92-0197. The research decribed in this
work was performed during a six months visit of G.G. at the Departamento
de Fisica Teorica of the Universidad Complutense in Madrid, made
possible by the italian C.N.R. through grant 203-01-62. G.G. would like
to thank the researchers and the personnel of the Departamento de Fisica
Teorica for the warm hospitality extended to him in this occasion.
\vfill\eject
\section{References}
[1] P.J. Olver, {\it Applications of Lie groups to differential
equations}; Springer, Berlin, 1986
[2] G.W. Bluman and S. Kumei, {\it Symmetries and differential
equations}; Springer, Berlin, 1989
[3] L.V. Ovsijannikov, {\it Group analysis of differential equations};
Academic Press, London, 1982
[4] H. Stephani, {\it Differential equations: their solution using
symmetry}; Cambridge University Press, Cambridge, 1989
[5] G. Gaeta, {\it Nonlinear symmetries and nonlinear equations};
Kluwer, Dordrecht, 1994
[6] P. Winternitz, ``Lie groups and solutions of nonlinear partial
differential equations''; in {\it Integrable systems, quantum groups,
and quantum field theories}, L.A. Ibort and M.A. Rodriguez eds. (NATO
ASI C vol.409), Kluwer, Dordrecht, 1993
[7] D. Levi and P. Winternitz, {\it Phys. Lett. A} {\bf 152} (1991),
335; {\it J. Math. Phys.} {\bf 34} (1993), 3713
[8] D. Levi and M.A. Rodriguez, {\it J. Phys. A} {\bf 25} (1992), L975
[9] G. Quispel, H.W. Capel and R. Sahadevan, {\it Phys. Lett. A} {\bf
170} (1992), 379
[10] G. Gaeta, {\it Phys. Lett. A} {\bf 178} (1993), 376
[11] S. Maeda, {\it Math. Jap.} {\bf 23} (1979), 587; {\bf 25} (1980),
405; {\it IMA J. Appl. Math.} {\bf 38} (1987), 129; {\it Electr. Comm.
Jap.} {\bf 73} (1990), 107; {\bf 74} (1991), 98
[12] Y.A. Dorodnitsyn, {\it J. Sov. Math.} {\bf 55} (1991), 1490
[13] G. Gaeta and M.A. Rodriguez in preparation
[14] G. Gaeta, {\it Acta Appl. Math.} {\bf 28} (1992), 43
\bye