PACS: 03.65.Ca; 45.20.Jj

1. Introduction

Usually, the wavefunction, employed in the non-relativistic quantum mechanics, and the Hamilton principal function, appearing in the Hamilton-Jacobi equation of classical mechanics, behave as scalar fields. For instance, if one starts with the Schrödinger equation written in Cartesian coordinates, its expression in any other coordinate system is obtained by replacing the partial derivatives of the wavefunction with respect to the Cartesian coordinates by its derivatives with respect to the new coordinates. However, in the case of certain transformations, such as the Galilean transformations, the wavefunction acquires an extra phase factor and, similarly, the Hamilton principal function requires an additional term.

One way of finding the transformation law for a wavefunction under a change of reference frame, applicable to the cases where the transformations of interest form a continuous group, consists in finding first the infinitesimal generators of the action of the group on the wavefunctions; then, with the aid of the exponential map, the elements of the group can be constructed and, making use of the BCH formula, the desired transformations can be expressed in a convenient manner (see, *e.g.*, Refs. ^{1}^{,}^{2}^{,}^{3}^{,}^{4}).

Another approach consists in assuming that the Hamiltonian transforms into some specific operator under the change of frame being considered, and then looking for a transformation of the wavefunction such that a solution of the Schrödinger equation in the initial frame is mapped into a solution of the Schrödinger equation in the second frame (see, *e.g.*, Refs. ^{5}^{,}^{6}). In this approach, it is not necessary to consider a continuous group of transformations, but one has to postulate the form of the new Hamiltonian.

In this paper we apply a simple method to find the operator that represents the effect of a change of frame on the state vectors (or on the wavefunctions), without having to impose from the start some specific form for the transformed Hamiltonian. Furthermore, this method is applicable to transformations that do not belong to a continuous group, and we do not have to deal with “infinitesimal” transformations.

In Sec. 2 we show how one can readily obtain the operator that represents a change of frame on the state vectors, presenting several examples. In Sec. 3 we show that the phase factors appearing in the transformations of the wavefunctions, obtained in Sec. 2, are given by *F*
_{1} is the term that has to be added to the Hamilton principal function in the change of frame under consideration.

2. Transformation of the wavefunctions

In the context of the non-relativistic quantum mechanics we consider a transformation given by a *unitary* operator, *U*, defined by the conditions

where the *x*
_{
i
} and *p*
_{
i
} are Hermitian operators representing the Cartesian coordinates and momenta, the *X*
_{
i
} are given functions of *x*
_{
j
} and *t*, and the *P*
_{
i
} are given functions of *p*
_{
j
} and *t*. For example, for a Galilean transformation

where *m* is the mass of the particle being considered, and **V** is a constant vector, corresponding to the velocity of the boost. (In order to facilitate the comparison with the results of previous works, we consider *active* transformations.)

It should be noticed that Eqs. (1) define *U* up to a phase factor that depends on *t* only (see the examples below).

The state of the system is transformed according to

and a straightforward computation shows that *U* maps any solution of the Schrödinger equation

into a solution of

if

This last equation shows that if *U* depends explicitly on the time, then the Hamiltonian does not transform following the simple rule *cf.* Ref. ^{7}). (Note that we are working in the Schrödinger picture.) If the arbitrary phase factor contained in *U* can be chosen in such a way that *K* = *H*, then we say that *H* is invariant under *U*^{3}.

Let **x** and **p**, respectively (with

which means that **x** with eigenvalue

where _{0}, *t*, and the parameters contained in *U*. This last equation, together with (3), imply that a wavefunction transforms according to

As we shall see in the examples below, in some cases

In a similar manner, from Eqs. (1) it follows that

where **p**
_{0}, *t*, and the parameters contained in *U*. In order to determine the values of *U*, must coincide with

Hence,

In the following subsections we consider several applications of the basic formula (8).

2.1. Spatial translations

A relatively simple and common example of a change of frame corresponds to translations. We include it because it serves to illustrate the method and because some results will be employed below.

A spatial translation by a constant vector **a** can be defined by Eqs. (1) with

Then, from Eq. (8) we obtain *i.e*.,

Hence, taking into account that **x**
_{0}, and **p**
_{0}, we conclude that

where *t* only. Substituting the expression for

which amounts to

Substituting (11) and the first Eq. (9) into (5) we obtain the well-known relation

(note that the phase factor

On the other hand, from Eqs. (4) and (11) we find that, in the present case,

so that, if, for example,

where **F** is a constant vector, corresponding to a particle subject to a constant force **F**, then [see (1) and (9)]

*If* we demand that *K* = *H* (which is reasonable, since the particle is in a uniform field of force, and *U* represents a translation), we have to choose

(Note that with this choice for **p** - **F**
*t*^{3}.)

2.2. Translations in the momentum

Even though it is not a change of frame, we shall consider a “translation” in the momentum, defined by **b** is a constant vector. In this case Eq. (8) gives

where *t* only. Then, from Eq. (5) we obtain

which means that

and from Eq. (7) we have *i.e.*,

Another useful formula follows from the second equation in (1):

It may be noticed that Eqs. (18) and (19) do not contain the function

2.3. Galilean transformations

In the case of the Galilean transformations the functions **X**(**x**, *t*) and **P**(**p**, *t*) are given by **X**(**x**, *t*) = x - **V**
*t*, **P** (**p**, *t*) = **p** - *m*
**V** [see Eqs. (2). Then, Eq. (8) becomes

that is

which implies that

where *t* only. Hence, according to (5), we have

which can also be expressed as [see Eq. (12)]

or, equivalently,

and, therefore,

As in Sec. 2.1, we can determine the function *H* and *K* [see Eq. (4)]. Substituting (22) into (4), with the aid of (19), we find

(*cf.* Ref. ^{8}). Thus, if we take *H* = **p**
^{2}/2*m*, then

which coincides with *H* if ^{3}.

If one does not allow for the presence of a phase factor *U*
^{-1} one arrives at the wrong conclusion that only the Hamiltonian of a free particle is invariant under the Galilean transformations ^{9}.

2.4. Constant acceleration

Now we consider the effect of a constant acceleration, **a**, which corresponds to

Substituting these expressions into Eq. (8) we have

which implies that

where

The expression of the operator *U*
^{-1} can be obtained by calculating *U*
^{-1} on

hence

Thus, from Eq. (4), making use of (19), we obtain

If we take

Choosing *K* corresponds to a particle in a uniform force field of intensity *m*
**a** [*cf.* Eq. (14)], and Eqs. (6) and (24) reproduce the result of Ref. ^{6}.

3. Connection with classical mechanics

In this section we shall show that the function *F*
_{1} defined by

Where *H* = *H* (*X*
_{
i
} , *P*
_{
i
} , *t*) and *K* (*x*
_{
i
} , *p*
_{
i
} , *t*) are the Hamiltonian *functions* for the canonical coordinates (*X*
_{
i
} , *P*
_{
i
} ) and (*x*
_{
i
} , *p*
_{
i
} ), respectively. As is well known, the transformation that relates the coordinates (*X*
_{
i
} , *P*
_{
i
} , *t*) and (*x*
_{
i
} , *p*
_{
i
} , *t*) of the extended phase space is canonical if and only if there exists a function *F*
_{1} such that Eq. (26) holds. (Very often, the function *F*
_{1} is called a generating function of the transformation, but that name is not always adequate, as in all the cases considered here, see, *e.g.*, Refs. ^{10} and ^{11}.)

In the case considered in Sec. 2.1, Eq. (26) takes the form

*i.e.*, (*K* - *H*)d*t* = d*F*
_{1}, which is equivalent to saying that *K* - *H* is some function of *t* only; hence, *F*
_{1} is some function, *cf.* Eq. (10)], and

[*cf.* Eq. (13)]. If *H* is given by Eq. (14), then

which reduces to *cf.* Sec. 2.1).

In the case of the translations in the momentum (Sec. 2.2), Eq. (26) yields

or

which is equivalent to the existence of a function

For the Galilean transformations, considered in Sec. 2.3, from Eq. (26) we have

*i.e.*,

which can be written in the form

Thus, there exists a function

[*cf.* Eq. (20)] and

[*cf.* Eq. (23)]. If

which coincides with *H*(x, **p**, *t*) if

In the case of uniform acceleration considered in Sec. 2.4, from Eq. (26) we have

or, equivalently,

Hence, there exists a function

[*cf.* Eq. (24)] and

[*cf.* Eq. (25)]. Taking *H*(**X**, **P**, *t*) = **P**
^{2}/2*m*, corresponding to a free particle, setting

It may be noticed that, in the derivations presented so far in this section, only the function

which shows that *F*
_{4} generating function” (though, in the examples considered here, it is not really a generating function owing to the fact that the variables **p** and **P** are not functionally independent).

As shown in Ref. ^{12} (see also Ref. ^{11}), under a canonical transformation relating the coordinates (*X*
_{
i
} , *P*
_{
i
} , *t*) and (*x*
_{
i
} , *p*
_{
i
} , *t*), the principal function transforms according to

in the sense that if the function *S* is a solution of the Hamilton-Jacobi (HJ) equation for *H*, then *K*, with *H* and *K* related as in (26). Thus, at least in the examples considered here, the transformation law for the wavefunctions is related in a simple manner with the transformation law for the Hamilton principal function. This behavior is not totally surprising if we take into account the relationship between the solutions of the Schrödinger equation and *S* is a solution of the corresponding HJ equation.

By contrast with the assertion in Ref. ^{6}, we see that the function ^{6}) is not a Hamilton’s principal function, but the difference between two of such functions. In fact, the assertion in Ref. ^{6} (suggested by one of the referees of that paper) simply makes no sense because there are two Hamiltonians (or Lagrangians) involved, one of them corresponding to a free particle and the other to a particle in a uniform force, while a Hamilton’s principal function is associated with just one Hamiltonian (or Lagrangian).

4. Concluding remarks

The examples presented in this paper explicitly show that the representation on the state vectors of a transformation is not completely specified by its action on the coordinates and momenta. The remaining phase factor in the operator *U* determines (or is determined by) the difference between the Hamiltonians *H* and *K*.

The method employed here should be applicable also to nonlinear transformations, and it would be interesting to analyze some explicit examples of such transformations, even if they are not related to changes of reference frame.