A NNALES DE L ’I. H. P., SECTION A
I. I. T UGOV
Conformal covariance and invariant formulation of scalar wave equations
Annales de l’I. H. P., section A, tome 11, n
o2 (1969), p. 207-220
<http://www.numdam.org/item?id=AIHPA_1969__11_2_207_0>
© Gauthier-Villars, 1969, tous droits réservés.
L’accès aux archives de la revue « Annales de l’I. H. P., section A » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.
org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
207
Conformal covariance and invariant formulation of scalar
waveequations
I. I. TUGOV
(P. N. Lebedev Physical Institute, Moscow, U. S. S. R.).
Vol. XI, n° 2, 1969, Physique théorique.
ABSTRACT. - A new formulation of the scalar field
equation
or the Klein-Gordon
equation
in the presence of external tensor vectorAi(x)
andscalar
c(x)
field isgiven,
which is covariant withrespect
to gauge transfor- mationsAi(x)
-A;(x)
+V iV(X)
and conformal transformations of the tensor fieldgi’(x)
- exp[- 0(x)]g", v(x)
and8(x)
arearbitrary
functionsof x =
(xl, x2, ... , x").
In this case the rest mass squarem2(x)
definedas the
function
ofgiven
fieldsrn2 x - c 2014 .-20142014-. R - 1
ViAi,
transforms as follows :
m2(x)
- exp[- 0(:B’)]~(jc).
Here R is the scalar curvature,17 ;-covariant
derivatives in the Riemann spaceV"
with metric tensor thereciprocal
ofA~
= It is shown that inconsidering
the class of the scalar waveequations
with a constant massone deals with the metrics
gij(x)
= whichdepend implicitly
on
given tensor,
vector and scalar fields. For apotential
vector field~iAj
=~jAi
one has the waveequation
obtained earlier in ref.[1]
which describes the free motion
[2]
in the Riemann spaceVn
and possesses correct groupproperties (contrary
to theequation
+~~ =
0considered
usually
in extension of the relativistic quantum mechanics and quantum fieldtheory
for the case ofspace-time
withnonvanishing
curvature).
As anexample,
the scalar fieldgeometrization problem
is considered for the relativisticspinless particle
waveequation.
I . INTRODUCTION
In the
present
paper a new formulation of theequation
of scalarfield 4>
or the Klein-Gordon
equation
is considered in the presence of external tensor vectorAi(x)
and scalarc(x) fields,
x =(xl, x2,
...,jc"),
n > 2.Assuming
the total covariance andhomogeneity
of the waveequations,
we consider the linear
homogeneous partial
differentialequations
of secondorder
where p ~ are the covariant derivatives in the Riemann space
Vn
with metric(under
theassumption
ofnondegeneracy
of the metric tensorEq. (1)
may be written in the gauge invariant form(see
Sec.2)
putting
the rest mass square of theparticle m2{x)
as the function ofgiven
tensor, vector and scalar fields :
The mass vs the scalar curvature R of the Riemann space
V~ provides
covariance
of Eq. (1 )
under the groupC9
of all conformal transformations of the metric tensor - =(Sec. 3),
withm2(x)
trans-forming
asm2(x)
-m2(x)
=e-6(x)m2(x).
Themapping
gives
the waveequation
with a constant massm2(x)
= const= mo
where
02 _
is theLaplace-Beltrami
operator and R is the scalarcurvature
[3]
determinedby
the metricgij
=m2(x)gij
of the Riemann spaceV"
conformal toV,~,
V i are the covariant derivatives inVn.
Theform
(2)
is called the canonical form ofEq. (1). Thus, considering
the classof wave
equations
with constant mass one deals with the metrics gij whichdepend implicitly
ongiven
tensor vectorAI(x)
and scalarc(x)
fields.As a
particular
case in Sec. 6 the scalar fieldgeometrization problem
isconsidered
by
anexample
of the relativisticspinless particle
waveequation.
For a
potential
vector fieldAlx)
= form(2) provides
thewave
equation
obtained earlier in ref.[1]
which
corresponds [2]
to the free motion in the Riemann spaceVn
withmetric tensor gij =
(Eq. (3)
is invariant under the group of motion ofVn [1],
see Sec.4).
In the case ofconformally
flatspace-time V4
for theclassical
problem corresponding
to the waveequation (3)
one obtains thegeodesic equation
of motion inV4 (Sec. 6). Eq. (3)
differs from the equa- tionA24>
+ = 0(commonly
used on the flatspace-time analogy
as the Klein-Gordon
equation
in thespace-time
with anonvanishing
curvature
R) by
the term(n - 2)R/4(n - 1).
Infact,
from the mathema- ticalpoint
of view theonly
natural extension of theLaplace-Beltrami operator A2
for the case of anarbitrary
Riemann space should be the inva- riantLaplace operator
defined as follows[1]
The
equation
of scalar field with zero massm2(x) =
0(e.
g. theequation
describing
thelight propagation
in agravitational
field =4)
is considered in Sec. 5.
Eq. (4)
is covariant withrespect
to the groupC~
of conformal coordinate transformations and covariant under the group
C9
of conformal transformations of the metric tensor
(Maxwell’s equations
are known to be
Cc-invariant
andCg-covariant,
see Ref.[4]).
Our treatment of scalar wave
equations (*)
ismathematically
based onthe
simple
structure of finite transformations ofsymmetry
groups allowedby Eq. (1) [5],
which will bebriefly
outlined in what follows.(*) The results of this work were previously presented in Ref. [6].
2. THE CANONICAL FORM OF
Eq. ( 1 )
Let us consider the
equations equivalent
toequation (1) (see
Ref.[2] [SJ)
Here
A2
is theLaplace-Beltrami operator
and R is the scalar curvature determinedby
the metricof the Riemann space
V~
conformal toVn.
andi,(x)
arearbitrary
differentiable functions of x,
The function
m2(x)
isgiven by
the tensor, vector and scalar fields associated with initialEq. (1)
where R is the scalar curvature of
Vn,
and are the covariant derivatives inVn
andVn, respectively.
Thus the formassociated with
Eq. (1)
transforms intoGeometrically
this means a one-to-onemapping
ofVn
ontoVn. According
to
(5)
and(8)
the functioncharacterizing
theequivalent Eq. (5)
will beIf
Vn
remains the samem2(x)
does notchange
either.Thus,
contrary to scalarc(x)
the functionm2(x) (obtained
fromc(x) by substracting
the scalars constructedby given
tensor and vectorfields)
behaves as a scalar function not
only
under transformationsx’ = jc M
which
evidently
preserveVn.
The mostgeneral
transformationpreserving linearity, homogeneity
and the Riemann spaceVn,
associatedwith
Eq. (1),
does not also affectm2(x)
either(gauge invariance).
It enables us to suppose that
m2(x)
may bethought
as a rest mass square andgeneral Eq. (1)
may be considered as theequation
of scalar field withmass
m(x)
or the Klein-Gordonequation
in the Riemann spaceVn
withmetric tensor in the presence of vector field with
vector-poten- (h =
c = e =1)
In
particular
the Klein-Gordonequation
for acharged particle
in agravi-
tational field g;
(that
is in a Riemann spaceV~.
withsignature
+2)
will bewhere D is the d’Alembert operator in a four-dimensional Riemann space
V4.
Providing m2(x)
is anonvanishing
function of x, transformation(5)
at 03B8 =
log leads
to theform,
which will be referred to as a cano-nical form of
Eq. ( 1 )
given by
tensor field and vector fieldA~(x),
the latter is defined(7)
with an accuracy to a
gradient
of anarbitrary
differentiable functionv(x) (gauge transformation).
From
(7)
it follows that ifA r’N. INST. POINCARE, A X! 2 14
transformation
(5)
atleads to an
equation
with 0. In this case the form(14)
coincideswith
Eq. (3).
Thus if the vector fieldA;(x)
is apotential
one,Eq. (1)
isreduced to the invariant Klein-Gordon
equation (3) given entirely by
thetensor field
m2(x)gij(X) [1] [2].
At
m(x)
= 0 we shall obtain form(14)
with theright-hand part equal
to zero in an
arbitrary
conformal tovn
Riemann spaceV~
with metricg ij
= is anarbitrary
differentiable function of x. In aparticular
case
F ij
= 0 one has thefollowing property
of the invariantLaplace
ope- rator A EEA~
+(n - 2)R/4(n - 1 ).
If the Riemann spaces
Vn
andvn
areconformal,
that isgij
=eO(x)gij,
than
where A and A are invariant
Laplace operators
inV~
andVn, respectively.
As we shall see in what
follows,
thisproperty
isdirectly
related to the factthat the
equation
= 0 is invariant under the group of conformal coordi- nate transformations of a Riemann spaceVn.
3. CONFORMAL COVARIANCE OF
EQUATION ( 1)
Let us show that
Eq. (1) given by
a tensor field vector fieldAi(x)
and scalar field
c(x)
is covariant(form-invariant)
under the groupC9
ofconformal transformations of the metric tensor
This
question
is of interest in view of the conformal covariance of the basicequations
of classicalphysics [4].
The groupC9 gives
a one-to-onemapping
of
V~
with metric(9)
ontoVn
with metric(10).
Now let us condier a one-to-one
correspondance
between themapping (17)
and the
equivalence
transformation(5)
with the same function at(n - 2)~)/4,
thatis,
Then
according
to(7)
for the contravariant and covariantcomponents
of the vector field A we havei. e., one of the two
possible
ways[4]
of the vector field transformation under the groupC9
of conformal transformations(17).
Scalarm2(x)
transformslike
(11)
This result has its full
counterpart
in classical mechanics. Schouten andHaantjes [7]
have shown that the Lorentzequation
of motion ofcharged particle
is covariant under conformaltransformations, providing
the restmass is not invariant but transforms as
(20).
In thequantum theory
thisassumption
leads to conformal covariance(18)
of fundamentalEq. (1) (since
conformal covariance isintimately
connected withrelativity,
we havein mind here relativistic
quantum
mechanics and relativisticquantum
fieldtheory).
On the otherhand,
the set ofEq. (1)
on thetotality
of spacesVn
conformal to
Vn
and with the same tensorF ij
is a set ofequivalent equations.
The evidence of this theorem follows from
(5), (7)
and(20).
From thispoint
of view reductionof Eq. ( 1 )
to the canonical form( 14)
can be consideredas a conformal
point mapping
ofVn
onto such aVn
where the massm(x)
becomes constant. The
physical meaning
of thismapping
will be discussed in sec. 6.4. INVARIANCE GROUPS OF
EQUATIONS (1)
DEFINITION. - The invariance group
G/T
of anequation (1) F(x, 4»
= 0is the set of those substitutions of
independent
anddependent
variables~’ == x’(x)
that does not affect the appearance of the equa- tion under consideration with an accuracy to somenonvanishing
multi-plier ~(jc),
say Thatis,
theequation F(x, 4»
= 0 written innew variables
x’, 4>’
must beF’(x’, 4>’) = ~ ).
Such a definition is
obviously equivalent
to therequirement
thatEq. (1)
written in new
independent variables x’ = x’(x)
coincide with one ofEq. (5) (on replacing
xby x’
in thelatter).
Onsubstitution x’ = x’(x) Eq. (1 )
written as
Eq. (5)
at 03B8 = v = 0 will beHere
02
andR’
are definedby
theV~-space
metrictransformed to new variables
x’ = x’(x). Comparison
of the coefficients at the second-order derivatives inEq. (21)
and(5) gives
Thus the substitution
x’ = x’(x) belonging
toG/T
must be conformal coordinate transformation(*),
i. e.Thus
Eq. (21)
in the coordinatesystem (x’)
of the Riemann spaceVn
with metric
(22)
can beformally
treated asEq. (5)
associated with the Rie-mann space
Vn
conformal toVn
with metricds2
=(one
shouldonly
substitutex’
for x inEq. (5).
Thencomparison
of the coefficients ofEq. (21)
and(5) gives
the theorem[2] [5] :
The invariance group
G/T
ofEq. (1)
isisomorphic
to asubgroup
of thegroup
C~
of conformal coordinatetransformations x’ = x’(x)
of the Rie-mann space
Vn
with metric associated withEq. (1),
for whichand
that is
Providing ~(;c) 7~ 0,
the set of those transformationsx’ = x’(x)
thatleave tensor invariant is
automatically
a set of conformal transformations.Therefore,
in this case the invariance group ofEq. (1)
is the group of
isometry
of a Riemann spaceV"
with metric tensorm2gij.
The case
m2
= 0 will be discussed in thefollowing
section.(*) The connection of group
C~
of conformal coordinate transformations x’ = x’(x)in V and group
Cg
of conformal transformations (17) of the metric tensor is considered in Ref. M. The customary notations used in physics are employed here; x and x’ refer to the same point seen by different coordinates (observers) S and S’. Note that the maxi-mum number of parameters of group
C~
at n a 3 in not in excess of (n-f-1)(n+2)/2 and achieved only for conformally flat spacesV~.
5. THE
EQUATION
OF SCALAR FIELD WITH ZERO MASS If
m2
=0 Eq. (5)
has the formIn what follows we shall limit ourselves to the case of
potential
vectorfields
Fij
= 0. ThenEq. (23)
isequivalent
to theequation
which will be termed as the invariant
Laplace equation
in the Riemann spaceVn. Equation
= 0commonly thought [8]
to be the wave equa- tion inVn,
will be further referred to as theLaplace-Beltrami equation.
Replacing
= 0by Eq. (4)
for a waveequation
inVn
is founded on theequivalence property (16)
ofEq. (4)
on a set of conformal spaces. Thus in aparticular
case ofconformally
flat spacesVn
thenecessity
to useEq. (4)
instead of the
Laplace-Beltrami equation
inVn
isapparent
and related to the fact that usualLaplace-Beltrami equation
in a flat spaceSn
proves to beequivalent
toEq. (4)
in any spaceVn
conformal toS~.
With an arbi-trary space
Vm
thenecessity
to useEq. (4)
is accounted forby
its invariance under the groupC~
of all conformal coordinate transformations inVn.
Indeed,
onsubstitution x’ = x’(x) belonging
toC~, Eq. (4)
constructed from the metricds2 - gijdxidxj
ofVn
transforms to anequation,
whichcan be considered to be the invariant
Laplace equation
in a Riemannspace
Vn
with metricds2 - e8ds2. By
the definition of the conformal coordinate transformationsC~,
in aprimed
coordinatesystem (x’)V"
hasthe metric
- ,, ",__,~ ~~~*~~* _
According
to(16)
thisequation
isequivalent
to theoriginal Eq. (4)
inVn
(one
shouldonly substitute x’
forx).
Thus under the conformal coordinatetransformation x’ = x’(x) (24) accompanied by
the substitutionEq.
4 retains its appearance to within the factorexp [- (n
+2)~(jc)/4],
i. e.is invariant under Cc.
Consequently,
the linearhomogeneous equation (4)
is the natural extension of the
equation
= 0given
in flat spacesSn
for an
arbitrary
Riemann spaceVn,
which retains the total covariance and invariance under the groupC~
of conformal coordinate transformations.Note,
thatequation
= 0 in spaceVn
with metric g;~ is invariantonly
under the group of motions of the Riemann space
Vn
with metric(providing
that scalar curvature R ofVn
is notzero).
This note followsfrom the theorem of Sec. 4. Such transformations are
evidently
includedin the transformations
corresponding
to(24).
With R = const # 0 the invariance groups of the invariantLaplace equation (4)
and theLaplace-
Beltrami
equation
= 0 in the same Riemann spaceVn
arereadily intercompared
because in this case the latter is invariant under the group of motions of the Riemann spaceVn.
Note that while the
suggested
invariantLaplace equation (4)
in anyarbitrary
Riemann spaceVn
is covariant under the groupC9
of the confor- mal transformations of the metric tensor gij, theLaplace-Beltrami equation,
say, in a Minkowski space
(R
=0),
is covariantonly
under15-parameter
Lie group of the restricted conformal transformations considered
by Cunningham
and Bateman[9] [10].
These transformations transform flat space into flat space. Therefore the term(n - 2)R/4(n - 1) appearing
under the
equivalence
transformations(16) (the only
onestransforming equation
0 into02 ~
+ = 0[2])
may be omitted. Notefinally
that in the casebeing
considered(m
=0)
covariance ofEq. (4)
under
C9
is not related to anyappropriate
mass transformation(20).
6. THE KLEIN-GORDON
EQUATION
IN A RIEMANN SPACE
Vn
On the
analogy
with the flatspace-time
case the Klein-Gordonequation
in the Riemann space
V4
iscommonly
assumed to bec = h =
1;
mo = const(see,
e. g., Ref.[4] [11] [12]).
We do suggest[2] [5]
that the canonical form
should be used as the
equation
of scalar field or the Klein-Gordonequation
in a Riemann space
Vn
with metric tensorgin.
In thefollowing Eq. (3)
will be referred to as the invariant Klein-Gordon
equation.
Ingravitational fields,
i. e., in Rieman spacesV4
withsignature
+2,
the invariant Klein- Gordonequation (3)
isThis
suggestion
is based on the groupproperties
ofEq. (3)
which is invariant under the group of motionsofVn
and covariant under groupC9
of conformal transformations of the metric tensor gij.Generally speaking,
thecommonly
used
Eq. (26)
does not possess either the first or thesecond,
contrary tosome claims
[4], property.
Besides,
the statement[2]
thatEq. (3)
is that of motion for a freeparticle
in a Rieman space
Vn
agrees(as
well as therequirement
that the Klein- Gordonequation
beconformally covariant)
with the character of a classicalparticle
motion in the scalar field. As a matter offact,
the relativisticwave
equation
for aparticle
with massmo in a
scalar field0(x)
is(see
Ref.
[13])
where D is the d’Alembert
operator
in the Minkowski spaceS4
withmetric h = c =
1, ~,
is thecoupling
constant or thecharge
of aparticle.
The
corresponding
classicalparticle
moves on ageodesic
of the geometryV4
with metric
[14]
On the other
hand,
reduction(18)
ofEq. (27)
to the canonical formgives
theinvariant Klein-Gordon
equation
in the same Riemann spaceV4.
This
example
enables us togive
somephysical interpretation
of scalar(8)
which we
identify
with the rest mass square of aparticle.
1. The rest mass
relating
toEq. (27)
isby Eq. (8) equal
toi. e., is the function of the scalar field
0(x).
2.
Any
scalar fieldO(x) changes
thespace-time
metric. This statement can bedeveloped by
reduction ofEq. (27)
to the canonical form(in V4
with metric tensor - exp
2014 8 x
forwhich, by definition, m(x)
= mo = const.According
to(28)
this means that the scalar field vanishes and that theoriginal
Minkowskispace-time S4 conformally
transforms to
V4.
3. The
physical
reason of such a behaviour of the rest mass of aparticle
may be clarified in a
particular
case of the restricted conformal groupCo transforming
flat space into flat space. The groupCo
contains the accele- ration transformationswhere x2 = xkxk, a2 =
the parameters,corresponding
to the tran-sitions from an inertial frame of reference to a
uniformly accelerating
frame of reference. Let us consider the Klein-Gordon
equation
in theMinkowski space
S4
On substitution
(29)
the metric tensor ofS4
transforms as follows(see,
e. g., Ref
[15])
In the
primed
frame of referenceS’ Eq (30)
due to conformal covariance isequivalent
toThen
considering S’
as an inertial frame of reference one obtains the follow-ing interesting application
of theequivalence principle.
An acceleration transformation(29)
isequivalent
toswitching
of some scalar field8(x) (see Eq. (28)).
Let us limit ourselves to aspecial
choiceof ak
in(29)), namely : ak
=(0; 0, 0, g/2).
ThenProviding
thatgz’
»(~~/4)(z ~ 2014 t’2),
we havew(z ) ~ mo(1
+gz’).
Thus,
a conformal transformation(29) corresponds
to achange
of the apparent force fieldacting
on theparticle
and the mass transformation represent thecorresponding change
in the rest energy which takes account of thechange
inpotential
energy(cf.
Ref.[4]).
7. CONCLUSION
The invariant Klein-Gordon
equation (3)
wasoriginally
obtained[I]
as a canonical form of the
generalized Schrcedinger equation
in
Vn.
Transformation of theequation
to the canonical form isessentially equivalent
to somereplacement
of thedependent
variable. It enablesus to
investigate
theequation properties irrespective
of the coordinate system, as theequation
has the same form in all of them. In this case tostudy
the Riemann spaceV~ properties
becomes veryimportant.
Knowledge
ofV" geometry
allows usby substituting independent
variables(along
with thedependent
variable transformationaccomplished
inreducing
the
equation
to the canonicalform)
to transform theequation
to a moreconvenient form. This
approach
proves to be effective insolving
concreteproblems.
Some solutions of the invariant Klein-Gordonequation
havebeen
investigated
in multidimensional spaces of constant curvature(by
anexample
of the discretespectrum
and the continuousspectrum
of the multidimensional Coulombproblem [16])
and in thesubprojective
Riemannspace
V4 (an
exact solution of the « ladderapproximation » Bethe-Salpeter equation
for two scalarparticles interacting by
a massless scalar field[77]).
Transformation to the canonical form can be also
helpful
insolving
someother
problems dealing
with linearhomogeneous partial
differential equa- tions of second order.The above
analysis
of the groupproperties
ofgeneral Eq. (1)
enablesus to state that the scalar wave
equations usually
introduced in extension of the relativistic quantum mechanics andquantum
fieldtheory
for the caseof an
arbitrary
space are not correct[18].
Suchgeneralization
should betreated in the
light
of theconcept
that realspace-time
geometry somehow affects theproperties
ofelementary
processes[19]. Suggested equations (3)
and
(4)
possess the desiredsymmetry
groups and areconformally
covariant.The
physical
consequences of theseproperties
agree, as far as weknow,
with the well-known results of the classical
theory.
REFERENCES
[1] I. I. TUGOV, Symmetry and Schroedinger’s equation, Dissertation, Moscow, 1966.
Preprint JINR P-2532, Dubna, 1965 (in Russian).
[2] I. I. TUGOV, Mat. Zametki, t. 2, 1967, p. 657. Preprint PhIAN N-127, 1967.
[3] L. P. EISENHART. Riemannian geometry. Princeton Univ. Press, Princeton, 1966.
[4] T. FULTON, F. ROHRLICH and L. WITTEN, Rev. Mod. Phys., t. 34, 1962, p. 442.
[5] I. I. TUGOV, Dokl. Akad. Nauk SSSR, t. 181, 1968, p. 1073 (in Russian). Soviet
Math. Dokl., t. 9, 1968, p. 1001.
[6] I. I. TUGOV, Preprint PhIAN N-200, 1968.
[7] I. A. SCHOUTEN and J. HAANTJES, Proc. Ned. Akad. Wet., t. 39, 1936, p. 1063.
[8] V. A. FOCK, Theory of space, time and gravity, Moscow, 1961 (in Russian).
[9] E. CUNNINGHAM, Proc. London Math. Soc., t. 8, 1909, p. 77.
[10] H. BATEMAN, ibid., t. 8, 1910, p. 223.
[11] O. NACHTMANN, Comm. Math. Phys., t. 6, 1967, p. 1.
[12] E. A. TAGIROV, E. D. FEDYUN’KIN and N. A. CHERNIKOV, Preprint JINR P2-3392, Dubna, 1967 (in Russian).
[13] Luis BEL, Annales de l’Inst. H. Poincaré, t. 8, 1968, p. 205.
[14] M. UHLIR, Preprint JINR P-1443, 1963, Dubna (in Russian).
[15] T. FULTON, F. ROHRLICH and L. WITTEN, Nuovo Cim., t. 26, 1962, p. 652.
[16] I. I. TUGOV, Jadernaja Fiz., t. 5, 1967, p. 613. Preprint JINR P-2638, Dubna, 1966
(in Russian).
[17] I. I. TUGOV, Jadernaja Fiz., t. 9, 1969, p. 193. Preprint PhIAN N-156, 1967 (in Russian).
[18] A. S. SCHWARTZ, private communication, 1967.
[19] P. ROMAN, Nuovo Cim., t. 37, 1965, p. 396.
(Manuscrit reçu le 8 mai 1969 ) .