Covariance and stochastic mechanics · 927 Covariance and stochastic mechanics M. T. Jaekel...

12
HAL Id: jpa-00210780 https://hal.archives-ouvertes.fr/jpa-00210780 Submitted on 1 Jan 1988 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Covariance and stochastic mechanics M. T. Jaekel To cite this version: M. T. Jaekel. Covariance and stochastic mechanics. Journal de Physique, 1988, 49 (6), pp.927-937. 10.1051/jphys:01988004906092700. jpa-00210780

Transcript of Covariance and stochastic mechanics · 927 Covariance and stochastic mechanics M. T. Jaekel...

Page 1: Covariance and stochastic mechanics · 927 Covariance and stochastic mechanics M. T. Jaekel Laboratoire de Physique Théorique de l Ecole Normale Supérieure, Laboratoire propre du

HAL Id: jpa-00210780https://hal.archives-ouvertes.fr/jpa-00210780

Submitted on 1 Jan 1988

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.

Covariance and stochastic mechanicsM. T. Jaekel

To cite this version:M. T. Jaekel. Covariance and stochastic mechanics. Journal de Physique, 1988, 49 (6), pp.927-937.�10.1051/jphys:01988004906092700�. �jpa-00210780�

Page 2: Covariance and stochastic mechanics · 927 Covariance and stochastic mechanics M. T. Jaekel Laboratoire de Physique Théorique de l Ecole Normale Supérieure, Laboratoire propre du

927

Covariance and stochastic mechanics

M. T. Jaekel

Laboratoire de Physique Théorique de l’Ecole Normale Supérieure, Laboratoire propre du Centre National dela Recherche Scientifique, associé à l’Ecole Normale Supérieure et à l’Université de Paris Sud, 24 rueLhomond, 75231 Paris Cedex 05, France

(Reçu le 4 novembre 1987, accepté le 11 f6vrier 1988)

Résumé. 2014 La covariance de la mécanique stochastique dans les changements de temps et, simultanément,dans les changements de coordonnées dépendant du temps est rendue explicite dans le cadre des processus dediffusion, et étendue à la formulation opératorielle. Des dérivées temporelles covariantes sont définies dans lesdeux représentations et utilisées pour donner aux équations du mouvement une expression manifestementcovariante. Elles servent aussi à fixer des contraintes générales sur la correspondance entre états quantiques etprocessus stochastiques.

Abstract. 2014 Covariance of stochastic mechanics under changes of time and simultaneous time-dependentchanges of coordinates is made explicit in the context of diffusion processes, and extended to the operatorformulation. Covariant time derivatives are defined in both representations and used to express the equationsof motion in a manifestly covariant way. They also provide general constraints on the correspondence betweenquantum states and stochastic processes.

J. Phys. France 49 (1988) 927-937 JUIN 1988,

Classification

Physics Abstracts03.65

1. Introduction.

Both in classical and quantum mechanics (or fieldtheory), the equations of motion are deduced fromthe extremum of a Lagrangian. Such a universalprocedure insures that the dynamical evolution willbe invariant under a group of quite general transfor-mations. In particular, it will contain arbitrarychanges of time and simultaneous time-dependentchanges of coordinates. Then any viable extension ofclassical or quantum mechanics must in particularpreserve this group of symmetry. In the standard

operator representation of quantum mechanics (orfield theory) this is readily obtained by extending theclassical Hamiltonian formalism, which can preservea larger group, that of arbitrary canonical transfor-mations. In particular De Witt [1] developed a

general treatment for any Lagrangian which is

quadratic in the velocities and for an arbitrarynumber of degrees of freedom.As an alternative representation of quantum

mechanics, stochastic mechanics extends classical

mechanics by replacing its kinematics of differenti-able trajectories by those of stochastic processes[2, 3]. The degrees of freedom are promoted torandom variables which describe continuous but not

differentiable trajectories. This representation, interms of probability spaces over fluctuating trajec-tories is covariant under the group mentioned

above, of time dependent changes of coordinates.This appears naturally when stochastic differentialare introduced, which transform according to therules of stochastic calculus [4]. This property did notshow explicitly in the first expression which wasgiven of stochastic dynamics, and which moreovermade contact with quantum mechanics [3] : a

stochastic extension of the classical acceleration isused to express a generalised Newton law which isshown to be equivalent to the Schrodinger equation.One way to insure the previous general covarianceinside this representation, is to make the equationsof motion result from a stochastic Lagrangian prin-ciple [5], or an equivalent stochastic Hamiltonianformalism, as that provided by stochastic controltheory [6]. However, one would like to possess adescription which makes explicit the role of the

previous general covariance in the derivation of thedynamics, and also in the correspondence betweenquantum states and stochastic processes. Another

approach was to define stochastic processes, withkinematics and dynamics, on a Riemannian manifold[7, 8,11]. However this only provides direct

Article published online by EDP Sciences and available at http://dx.doi.org/10.1051/jphys:01988004906092700

Page 3: Covariance and stochastic mechanics · 927 Covariance and stochastic mechanics M. T. Jaekel Laboratoire de Physique Théorique de l Ecole Normale Supérieure, Laboratoire propre du

928

covariance under time-independent changes of coor-dinates, and for time-dependent ones, one mustcome back to the previous approaches.Another central question concerning the relation

between quantum and stochastic mechanics, is aboutthe correspondence between quantum states andstochastic processes. The requirement that both

representations should give the same predictions forobservable variables leads to the identification of the

probability densities at all times (that of the processwith 2, where 1/1 is the wave function). This stillleaves the diffusion coefficient of the process unde-termined [9, 10]. In the conventional approach[8, 11], the latter is identified with the metrics

entering the Schr6dinger equation, that is the Lag-rangian. This is an intriguing prescription, as itdetermines a kinematical characteristic of the processfrom dynamical considerations.

This paper is devoted to these questions : makeexplicit the covariance of stochastic mechanics undertime-dependent changes of coordinates, and alsotranslate it into the operator representation. Indeed,this natural symmetry of stochastic differentials willpersist when an operator formulation is given. Thiswill be exhibited by the definition, in both represen-tations, of covariant time derivatives which will beused to rewrite the equations of motion. Making alsouse of them for the definition of stochastic acceler-

ation, will allow one to clarify the role of the

previous general covariance in the choice of stochas-tic dynamics. This will also give a general frame forthe constraints that limit the correspondence be-tween quantum states and stochastic processes.

2. Covariance ’of diffusion processes.

This first part will exhibit the natural covariance

which is inherent in diffusion processes. By conven-tion, this purpose will be realised from Ito stochasticdifferentials, but Stratonovich differentials could beused as well [4], as only the transformation proper-ties of the drift and diffusion coefficients will be

required (an example of the alternative point of viewis developed in [12]). Indeed, the underlying struc-ture will be an extension, so that to include time-dependent changes of coordinates, of the Rieman-nian structure which appears naturally with diffusionprocesses [7, 8, 11]. Also, the number of degrees offreedom N will be arbitrary, so that our main topicwill be field theory, to be recovered by an appropri-ate limit of infinite N, rather than the mechanics ofthe point particle.On a given probability space, a general diffusion

process is defined by a collection of measurable

functions x = (Xi(t»i = 1,N’ and t E ] - oo, + oo [ [such that :

where ) x denotes the expectation value, con-ditional in x (t), i labels the different degrees offreedom (with N arbitrary) and t is the time par-ameter. These properties are summarised in a

stochastic differential equation, in the sense of Ito :

The diffusion process is then characterised by twofields, bi(x ) the drift field and v ij (x) the diffusionfield, which in general for an inhomogeneous processdepend on the random variables x’. In the following,we shall keep such general dependences for bothfields bi and v ij. In fact, this is rendered necessary byallowing arbitrary changes of variables.

Indeed, the changes of the drift and diffusionfields under arbitrary time-dependent changes of

variables are easily deduced from the stochasticdifferential equation. Making the following trans-formation :

changes the time parameter, and simultaneouslyreplaces the random variables x by equivalent onesx which also satisfy a diffusion process [4] on thesame probability space. Then, developing (3) to

order dt and recalling (1), so that dxi dxi is of orderdt and dxi dxj ... dxk of higher order, one transforms(2) into :

with :

The diffusion field transforms like a metrics, whilethe drift field almost transforms like a velocity. Thuswe shall use v ij like a metrics, for rising and loweringindices, and introduce the corresponding Christoffelsymbols :

Page 4: Covariance and stochastic mechanics · 927 Covariance and stochastic mechanics M. T. Jaekel Laboratoire de Physique Théorique de l Ecole Normale Supérieure, Laboratoire propre du

929

Let us note the covariant drift, which actuallytransforms like a velocity :

Thus, inhomogeneous diffusion fields become

necessary as soon as one requires that the descriptionbe covariant under changes of the coordinates repre-senting the degrees of freedom. As will become

quite clear in the following, we are dealing in

particular with diffusion processes on a Riemannianmanifold, but moreover with local coordinates whichhave arbitrary time dependence.

Conversely, the covariant changes of the drift anddiffusion fields bi and v ij being fixed by (4), intrinsicobjects related to the process should have covariantexpressions, whose dependence in b and v will befixed by (4). For instance, P the conditional (or thejoint as well) probability density transforms like adensity, like the probability density p :

They satisfy the Fokker-Planck equation :

which can be seen to be invariant under generaltime-dependent changes of coordinates. The lattercan also be written :

where v’ is a velocity field, transforming according to(6).As an example showing how the transformation

properties strongly constrain different characteristicsof the process, let us consider a construction that will

apply to the particular case of Markovian diffusionprocesses. The general infinitesimal length, with

singularity of at most order dt, is of the followingform, up to order dt :

By requiring that it be invariant under (3), oneobtains the transformations of all the coefficients,which lead to the following solution (up to an

arbitrary factor) :

(up to a term proportional to R dt, where R is thecurvature relative to v). Similarly, the generalinfinitesimal volume has the form, up to orderdt :

and is invariant when :

From them one constructs the obviously invariantmeasure :

The conditional probability density P of a Markovianprocess will have a singular behavior of the followingform :

and it can easily be shown that the solution of theFokker-Planck equation (7), whose singular behavior is of that form, is precisely given by (8)-(12). Thelatter then identifies with the conditional probabilitydensity of the Markovian diffusion process having

Page 5: Covariance and stochastic mechanics · 927 Covariance and stochastic mechanics M. T. Jaekel Laboratoire de Physique Théorique de l Ecole Normale Supérieure, Laboratoire propre du

930

bi and v ij as drift and diffusion fields. Let us notice,among various other ways of deriving the expressionof P, the one which takes P as the kernel of the pathintegrals, equal to :

where S is the action, h Planck constant, andD the Van Vleck determinant [1, 13]. These can bedeveloped up to order dt, while taking into account

the fact that dx’ dxj is of order dt, and provide forP an expression identical to (8)-(12).For general diffusion processes (not necessarily

Markovian), the drift and diffusion fields bi andvij, and the probability density p, allow one to

construct covariant time derivatives which will exhi-bit remarkable properties. Let us first consider anarbitrary scalar function cp of the random variables,that is a function which transforms into q5 such that :

Define the action of D and D * by :

and :

Di i is the covariant gradient relative to v.

D cp and D * cp are easily" seen to transform also as scalar functions of the random variables. Consideringnow vector functions A or Ai, that is :

one can then define the action of D and D * by :

where b *i + ui transforms like a velocity field (6), and Ri is the Ricci tensor relative to v :

These are easily seen to transform again as vectorsunder time-dependent changes of coordinates. Dand D * so defined can also be seen as generalisationsof the forward and backward time derivatives intro-

duced by Dohrn and Guerra [8], where covariance isextended to include time-dependent changes.Moreover, it is straightforward to show that thesetime derivatives now commute with the covariant

gradient :

for any scalar function ’P. In fact, D and D * are

particular cases of more general covariant time

derivatives : let us consider any velocity field, i.e. afield ai which transforms according to (6) :

and define Da and Da by the following action onscalars and vectors :

Page 6: Covariance and stochastic mechanics · 927 Covariance and stochastic mechanics M. T. Jaekel Laboratoire de Physique Théorique de l Ecole Normale Supérieure, Laboratoire propre du

931

These covariant time derivatives also show the

following properties :

The latter allow one to unify the notation :

Now, a diffusion process supports velocity fields

generated by b and b * so that, with properties (13),the covariant derivatives form an affine set generatedby :

Every one of these time derivatives is easily seen tocommute with the covariant gradient. Their symme-try properties will play a central role in the expres-sion of a dynamical equation for the diffusion

processes, as will be seen in part 4.

3. Covariance of the operator representation.

Markovian diffusion processes can also be given anoperator representation very similar to that of quan-tum mechanics [9,14], which also allows one tocharacterise the correlation functions of the processby differential equations. Covariance under time-dependent changes of coordinates will be first ex-tended to this operator representation of Markoviandiffusion processes, and then shown to hold also forthe standard operator representation of quantummechanics.

3.1 MARKOVIAN DIFFUSION PROCESSES. - Thetransition probability P (x’, t’ I x, t ) of the process

determines all the time correlation functions

through:

Let us first introduce a further symmetry (gaugetransformations) which the correlation functions

satisfy besides covariance under changes of variables.For a Markov process, expression (14) of the timecorrelations of the random variables is equal to anysimilar one, where the transition probability P hasbeen replaced by any kernel K such that :

P (x’, t’lx, t) = e-q(x’, t’) K(x’, t’lx, tl eq(x, t)

with q an arbitrary function. K has then the samesingular behavior as P, and satisfies the modifiedFokker-Planck equation :

with h, the Hamiltonian defined by :

The correlation functions then take the similar

expression :

where :

Recalling the time evolution of p, Q and Q * are seento satisfy :

One can also rewrite the correlation functions as :

Operators xi and Vi are then naturally introducedsuch that [14] :

Page 7: Covariance and stochastic mechanics · 927 Covariance and stochastic mechanics M. T. Jaekel Laboratoire de Physique Théorique de l Ecole Normale Supérieure, Laboratoire propre du

932

Using, for convenience a Dirac notation :

a Heisenberg representation can be introduced,where the evolution is transferred to the operators :

0(t) = - h h 0 any function of xi andvj, (t ) = e 0 e 0 function of

being invariants, the correlation functions take theform :

where T is the time-ordered product.In this representation, the operators are character-

ised by their commutation relations :

and their time evolution :

which gives :

These operatorial equations of motion are invariantunder time-dependent changes of variables and

under gauge transformations, as can be directlyverified (see the appendix). But this property canalso be derived in another more illustrative way. Letus introduce creation and annihilation operators :

such that :

The Hamiltonian can be rewritten :

so that the equations of motion result immediately :

But ai and ai are just particular cases of right andleft vectors, as defined by :

Then, as in part 2 for random scalars and vectors,one can introduce covariant time derivatives for

operators which extend the ordinary time derivative,for any velocity field a :

It is straightforward to show, using the transform-ation properties of xi and of functions of x’ (as in theappendix) together with the commutation rules, thatthese transform as scalars, right and left vectors,under time-dependent changes of variables, mixedwith gauge transformations. Moreover, for operatorswhich are functions of xi only (then vectors are bothright and left), these operatorial covariant timederivatives extend the stochastic ones :

Then, the equations of motion (18) are obviouslyinvariant :

Page 8: Covariance and stochastic mechanics · 927 Covariance and stochastic mechanics M. T. Jaekel Laboratoire de Physique Théorique de l Ecole Normale Supérieure, Laboratoire propre du

933

Finally, the operator version of the stochastic diffe-rentials :

can be used to relate different correlation functions :

which also remain valid when 0 and D(*) 0 arereplaced by x and b (*) i.

3.2 QUANTUM MECHANICS. - As the previousdevelopments only rely on the transformation

properties of the operators, they are applied in astraightforward way to quantum operators. In thatcase, the correlation functions are still given byexpressions like (16), although they may not beinterpreted as those of a Markov process.The transformation rules will result from the

invariance of the classical Lagrangian :

The latter defines a metrics a ij, a velocity field

f3 i, and a scalar V, which also transform undergauge (q ) changes :

A quantum state will be determined by a probabilitydensity p and a scalar function S (which transformsas : S + q = 9 + t7) :

obeying the Schrodinger equation :

where Di is the covariant gradient relative to themetrics a (5). This equation is invariant under all theprevious transformations [1]. A Heisenberg repre-sentation for operators will provide a time evolutionand equations of motion which are also invariant:

This invariance can also be derived from the follow-

ing considerations. Using creation and annihilationoperators defined by :

so that the Hamiltonian reads :

provides the following equations of motion :

These are obviously invariant, as they express theaction on the right and left vectors ai and ai, of thefollowing covariant time derivatives :

Page 9: Covariance and stochastic mechanics · 927 Covariance and stochastic mechanics M. T. Jaekel Laboratoire de Physique Théorique de l Ecole Normale Supérieure, Laboratoire propre du

934

The latter also lead to other covariant derivatives,restricted to functions of x only :

with :

Equations (22) are rewritten :

Let us remark that the case of quantum mechanicsis formally obtained from that of Markov processesby letting v ij = iha’j in all equivalent expressions,so that in this limit the time correlations of therandom variables x (t ) just become the usual quan-tum mechanical correlations (mean values of time-ordered products or Green functions) [15].

4. Covariance of stochastic dynamics.

The stochastic representation of quantum mechanicsrelies on stochastic processes to give an equivalentdescription of quantum objects. Quantum states arereplaced by stochastic processes, and the basiccondition which constrains the correspondence isthat both should lead to the same predictions, thatis, to the same probabilities for measurable quan-tities. In particular, this results in a necessaryidentification of the probability density of the pro-cess, and of its time evolution, with those of thequantum state :

or else, the state fixes the probability densityp of the process, and a velocity field v’ such that :

(v’ transforming like a velocity, this equation is

invariant). Thus, if one restricts the processes todiffusion ones, the quantum state fixes the prob-ability density, and, because of the Fokker-Planckequation (7), the relation between the drift and

diffusion fields :

These are just kinematical constraints, and a further(dynamical) equation is still needed to complete thetime evolution of the state. Moreover the correspon-dence is not achieved, as the diffusion field remainsarbitrary.Let us first not fix the diffusion field and consider

an arbitrary diffusion process thus associated with agiven quantum state. Considering that the systemhas dynamics which are linked to the classical

Lagrangian (19), the velocity field can equally bereplaced by a scalar function S such that :

let us remark that, under gauge transformations,S transforms as : S + q = S + q. Then, the covarianttime derivatives defined in part 2, allow one to

construct general scalar functions which will com-plete the description of the time evolution of

p and S :

1

when acting on In (p I vi 2) and S will give scalars,under time-dependent changes of coordinates.

Moreover, because of their commutation propertywith the covariant gradient, and of definitions (25)and (25)’, the gradients of these scalars will providevarious time derivatives of velocities, that is, variouscovariant accelerations. But, if one further requiresinvariance under time reversal:

(a general property of classical and quantum mech-anics, which should also be satisfied by stochasticmechanics), this set reduces to :

These scalar functions should be associated with V (19), in a completely invariant dynamical equation.Invariance under gauge transformations constrains the equation to the following form :

(and S has to be fixed equal to - q) where X and A’ have the dimension of an action.

Page 10: Covariance and stochastic mechanics · 927 Covariance and stochastic mechanics M. T. Jaekel Laboratoire de Physique Théorique de l Ecole Normale Supérieure, Laboratoire propre du

935

Let us remark that only the last two derivative terms of this expression can, and do, depend on thediffusion field. In fact, one can replace the latter by the metrics of the Lagrangian (19), which has exactly thesame transformation properties, and thus express the dynamics independently of the choice of the diffusionfield. But then, the covariant time derivative thus defined is not a pure kinematical object, characterised bythe diffusion process only, but also refers to dynamics, through the Lagrangian. The fact is that this lastchoice is precisely the one which shows the desired remarkable properties. Indeed in that case, using (25)’,the kinematical equation (24) can be rewritten :

with :

A (t ) an arbitrary function of time and for :

the two equations (26), (28) and (27) can be decoupled :

with :

and then linearised, by introducing (20), under the form of the Schr6dinger equation (21).Thus, and for simplicity, the conventional approach [8,11] fixes the diffusion field to be proportional to

the metrics of the Lagrangian, with a proportion constant which has the dimension of an action, and which isfixed in a universal way to be equal to Planck constant h. But this convention does not evade the intriguingfixing of a kinematical object on dynamical grounds. Moreover, as can easily be seen from (29), theSchr6dinger equation is equally obtained with any proportion constant [9], and even any time-dependentone [10], the parameters X, X’ adjusting in consequence. (Indeed, the same arbitrariness lies in the choice ofthe stochastic Lagrangian which [16], through stochastic variational methods as described for instance in[11], provides the dynamical Eq. (26).) Furthermore, taking the gradient of (26), (28), and using thecommutation properties, transforms (26) into a stochastic Newton law which has all the desired invarianceproperties :

Indeed, one can even adopt a more drastic point ofview, leave the diffusion field completely arbitrary,and impose (26) and the Schrodinger equation asdynamics, by letting the parameters A, X’ depend onthe variables x and adjust in consequence. Of

course, X, X’ will now be functions which vary withthe diffusion field, the metrics, and the quantumstate, but such dependences can be excluded only apriori. Thus, in any case, requiring both the correctdynamics, through the Schrodinger equation, andthat the latter be expressed by a stochastic acceler-

ation, defined on the process by itself, necessitates anew principle, capable to relate objects of differentnature and to rise the arbitrariness (if only time-dependent) which remains between the diffusionfield and the metrics of the Lagrangian.On another hand, as has already been noted

, [9,10], the destructive nature of measurement (thequantum state is modified between two successive

measurements) renders impossible any identificationof correlations between successively measured valuesof the variables with the correlations of the process,

Page 11: Covariance and stochastic mechanics · 927 Covariance and stochastic mechanics M. T. Jaekel Laboratoire de Physique Théorique de l Ecole Normale Supérieure, Laboratoire propre du

936

and prohibits a direct measurement of the diffusionfield. Moreover, there actually exists an exact identi-fication of the correlations of the diffusion process,with time-ordered correlations of quantum mech-anics : when the diffusion field is taken to be

ilía ij, with a ij the metrics. But then, imaginarydiffusion fields make it quite difficult to endow thestochastic process with other than formal existence.

Let us end with a connection between the three

previous parts. Making use of the dynamicalequation satisfied by the quantum state, as (29), onecan rewrite the operatorial equations of motion (23),in a form which does not depend on the state anymore, but only on the fields defining the Lagrangian.Using the following property of the covariant timederivatives :

for any velocity field a and any scalar cp, one gets :

5. Conclusion.

It is already puzzling that the use of stochastic

processes in the representation of quantum mech-anics naturally introduces, at the kinematical level, aRiemannian metrics. Usually, in classical and quan-tum mechanics (or field theory), such a geometricstructure only appears at the dynamical level, whencharacterising the correct time evolution among allthe possible ones. Instead, in the conventionalstochastic representation of quantum mechanics (orequivalently, in the path integral approach), theclassical trajectories are not replaced by a summation.over any (even continuous) ones, but over a subclassselected by the metrics entering the Lagrangian.Moreover, it appears that the geometrical struc-

ture induced is even a larger one, as changes of local

maps along the trajectory do not affect the ex-

pression of kinematics and dynamics. Thus, if as

usual, quantisation introduces a necessary asym-metry between time and the degrees of freedom,stochastic processes reestablish part of the symmetry,at least that which is implicit in the Lagrangian. Thisproperty is enlarged by the time-dependent arbitrari-ness which still subsists in the identification of thediffusion field with the metrics of the Lagrangian,when interpreting the Schrodinger equation as a

stochastic Newton law. Invariance under arbitrarychanges of time parametrisation seems to be anessential character of stochastic quantisation.

Interesting developments reside in further exten-sions of the previous covariance. In relativistic fieldtheory, the degrees of freedom are in fact paramet-rised by a set of four parameters, which span thespace-time manifold. Defining diffusion processeswhich exhibit a natural covariance under space-timedependent changes of coordinates, by for instancedefining covariant space-time derivatives, might be adecisive step in formulating a relativistic stochasticquantisation [17]. In particular, this would provide astochastic insight into the problems of quantisationin accelerated frames and in curved space [18]. Alsoin the relativistic context, it has been noted [19] thatthe identification of the diffusion field with themetrics can be replaced by a weaker condition

which, while still leading to the Schrodingerequation, allows one to relate positive definitediffusion fields with non positive definite metrics.

Finally, to promote stochastic quantisation to thesame status as that of the operatorial quantisation,one would also like to treat canonical variables onthe same footing. For that purpose, the definition ofmomentum variables on the same probability space[20], although not yet accomplished in a quitesatisfactory way [21] could be a preliminary step forrealising covariance under general canonical trans-formations [22], and maybe for rising the ambiguitiesof the operatorial quantisation [23].

Appendix.

The definition of the changes of coordinates (3),together with the gauge transformations, lead to thefollowing action on the operators :

so that, using (4) :

Page 12: Covariance and stochastic mechanics · 927 Covariance and stochastic mechanics M. T. Jaekel Laboratoire de Physique Théorique de l Ecole Normale Supérieure, Laboratoire propre du

937

where h is defined according to (15). Now, taking forany operator o :

which amounts to say that the evolution is that of the

variables x, translated to time t, one has for scalars(o=o)

In particular for xi one gets :

in agreement with (A.1) and (17). This also implies(A.2) and :

For right and left vectors, there follows invariantevolutions :

Let us remark that (A.1) implies :

which makes consistent the relation :

When applied to xi - bi and t’ - b *i, (A.3) identifywith the equations of motion. Obviously, the samearguments apply in the quantum case, replacingidentically a, - h with at +iH - 1 at ln I a 1 h 4

References

[1] DE WITT, B. S., Rev. Mod. Phys. 29 (1957) 377.[2] FÉNYES, I., Z. Phys. 132 (1952) 81.[3] NELSON, E., Phys. Rev. 150 (1966) 1079.[4] SCHUSS, Z., Theory and Applications of Stochastic

Differential Equations (John Wiley & Sons,New York) 1980.

[5] YASUE, K., J. Funct. Anal. 41 (1981) 327.

[6] GUERRA, F. and MORATO, L. M., Phys. Rev. D 27(1983) 1774.

[7] ITÔ, K., Lect. Notes Math. (Springer) 451 (1975) 1.

[8] DOHRN, D. and GUERRA, F., Lett. Nuovo Cimento22 (1978) 121.

[9] DAVIDSON, M., Physica 96A (1979) 465.[10] JAEKEL, M. T. and PIGNON, D., Int. J. Theor. Phys.

24 (1985) 557.[11] NELSON, E., Quantum Fluctuations (Princeton Uni-

versity Press, Princeton) 1985.[12] GRAHAM, R., Phys. Lett. A 109 (1985) 209.

[13] MAC LAUGHLIN, D. W. and SCHULMAN, L. S., J.Math. Phys. 12 (1971) 2520.

[14] DAVIDSON, M., J. Math. Phys. 19 (1978) 1975.[15] GUERRA, F., Phys. Rep. 77 (1981) 263.[16] JAEKEL, M. T., to be published.[17] GUERRA, F. and RUGGIERO, P., Lett. Nuovo Cimen-

to 23 (1978) 529.[18] BIRREL, N. D. and DAVIES, P. C. W., Quantum

Fields in Curved Space (Cambridge UniversityPress, Cambridge) 1982.

[19] DOHRN, D. and GUERRA, F., Phys. Rev. D 31 (1985)2521.

[20] SHUCKER, D. S., J. Funct. Anal. 38 (1980) 146.[21] GOLIN, S., J. Math. Phys. 27 (1986) 1549.[22] MISAWA, T. and YASUE, K., J. Math. Phys. 28 (1987)

2569.

[23] DUNNE, G. V., Quantum canonical invariance 2014 a

Moyal approach (London Imperial College) pre-print TP/87-88/3.