Abstract
We present covariant quantization rules for nonsingular finite-dimensional classical theories with flat and curved configuration spaces. In the beginning, we construct a family of covariant quantizations in flat spaces and Cartesian coordinates. This family is parametrized by a function \(\omega (\theta )\), \(\theta \in (1,0)\), which describes an ambiguity of the quantization. We generalize this construction presenting covariant quantizations of theories with flat configuration spaces but already with arbitrary curvilinear coordinates. Then we construct a so-called minimal family of covariant quantizations for theories with curved configuration spaces. This family of quantizations is parametrized by the same function \(\omega (\theta ).\) Finally, we describe a more wide family of covariant quantizations in curved spaces. This family is already parametrized by two functions, the previous one \(\omega (\theta )\) and by an additional function \(\varTheta (x,\xi )\). The above mentioned minimal family is a part at \(\varTheta =1\) of the wide family of quantizations. We study constructed quantizations in detail, proving their consistency and covariance. As a physical application, we consider a quantization of a non-relativistic particle moving in a curved space, discussing the problem of a quantum potential. Applying the covariant quantizations in flat spaces to an old problem of constructing quantum Hamiltonian in polar coordinates, we directly obtain a correct result.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Quantization
In general, for a physicist, quantization means constructing a quantum theory (QT) of a given physical system. In the case when a classical Hamiltonian theory of the physical system does exist, quantization means constructing a QT of the physical system on the basis of such already existing classical theory. Here, one may speak of a quantum deformation of the classical theory. Such a quantization must obey a correspondence principle, which means that the QT has to reproduce predictions of the classical theory in a classical limit (big masses, macroscopic scales, smooth potentials, and so on). The quantization problem usually does not have an unique solution. The only criterion whether an adequate QT is constructed remains the coincidence of its predictions with the experiment. Even if a classical theory of a physical system does exist, it is difficult to formulate quantization rules in the general case. However, an experience in the quantization of simple systems as a free particle, a harmonic oscillator, and a non-relativistic particle in potential fields, was used to formulate a consistent scheme of operator quantization of classical Hamiltonian systems with finite degrees of freedom, without constraints, and with a flat phase space [1]. Such a scheme is called the operator canonical quantization. If points in the phase space of the classical theory are labeled by coordinates \(x=\left( x^{a}\right) \) and momenta \(p=(p_{a}),\ a=1,2,\ldots ,D,\) then the operator canonical quantization is often formulated as some rules of constructing quantum operators \(\hat{F}\) that correspond to classical functions F(x, p) describing physical functions of the system.Footnote 1 All such operators \(\hat{F}\) act in a Hilbert space \( \mathfrak {H}\) of vectors that represent possible quantum states of the physical system under consideration. The above mentioned correspondence \( F(x,p) \rightarrow \hat{F}\) is denoted as the Q-operation, \(\hat{F}=Q(F) \), and is often called simply quantization. The quantization Q(F) should obey some properties listed here [4,5,6,7]:
-
(i)
The operation Q(F) is linear and injective,
$$\begin{aligned}&Q(\alpha F_{1}+\beta F_{2})=\alpha Q(F_{1}) +\beta Q(F_{2}),\nonumber \\&\quad F_{1}\ne F_{2}\Rightarrow Q( F_{1})\ne Q(F_{2}),\quad \alpha ,\beta \in \mathbb {C}. \end{aligned}$$(1) -
(ii)
If F(x, p) is a real function then
$$\begin{aligned} (Q(F))^{\dagger }=Q(F),\quad F^{*}=F, \end{aligned}$$(2)which implies that any quantization Q(F) assigns a self-adjoint operator to a real function F(x, p). If F(x, p) is a complex function and property, (1) holds then \(\left( Q(F) \right) ^{\dagger }=Q\left( F^{*}\right) \). Quantizations that satisfy condition (2) are called hermitian quantizationsFootnote 2 in what follows.
-
(iii)
A quantization Q(F) that obeys the correspondence principle, must satisfy the following relationsFootnote 3
$$\begin{aligned}{}[Q(F),Q(G)]=i\hbar Q(\{F,G\} ) +O( \hbar ^{2}), \end{aligned}$$(3)for any two physical functions F and G, where \(\left\{ F,G\right\} \) are Poisson brackets,Footnote 4
$$\begin{aligned} \{F,G\}=\frac{\partial F}{\partial x^{a}}\frac{\partial G}{\partial p_{a}}-\frac{\partial F}{\partial p_{a}}\frac{\partial G}{\partial x^{a}}. \end{aligned}$$(4)
It is convenient to formulate the correspondence principle in terms of operator symbols and their star products. We recall that a function \( F_{( Q) }\) is called a symbol of the operator \(\hat{F}\) with respect to a quantization Q if \(Q( F_{( Q) }) =\hat{F },\)
Let Q(F) and \(Q^{\prime }(F)\) be two different quantizations, and let \(F_{(Q)}\) and \(F_{(Q^{\prime })}\) be Q-symbol and \(Q^{\prime }\)-symbol of the same operator \(\hat{F}\), then we have a trivial, in a sense, equality
Let \(F_{( Q) }\) and \(G_{( Q) }\) be Q-symbols of operators \(\hat{F}\) and \(\hat{G}\). Then the star product \(F_{( Q) }*G_{( Q) }\) is the Q-symbol of the operator \(\hat{F}\hat{G} \), namely, \(Q( F_{( Q) }*G_{( Q) }) = \hat{F}\hat{G}\), for detail see e.g. [7, 9]. A quantization Q(F) satisfies the correspondence principle if
Quantizations that satisfy properties (i)–(iii), we call conditionally consistent quantizations.
If state vectors in the Hilbert space \(\mathfrak {H}\) are chosen in the coordinate representation (as functions \(\psi ( x) \)) then we have to find a coordinate realization or representation for all possible operators \(\hat{F}=Q( F) \) that satisfy the above listed properties. First of all, we have to fix the right hand side of Eq. (3) (to fix in a way the term \(O(\hbar ^{2})\)) and then to find a quantization that satisfies these equations and the above listed properties.
Which difficulties can be met in the course of the realization of the above program? One of these difficulties is known as the ordering problem. It can easily be seen in the case when the phase space is flat and coordinates of the configuration space are Cartesian. In such a case, usually, for basic operators \(\hat{x}^{a},\hat{p}_{a}\), and for constant numbers \(\hat{\alpha } =Q(\alpha ),\) commutation relations (3) are chosen as
and their corresponding realization as
Then one has to find a realization for all the operators \(\hat{F}=Q(F)\). A naive rule (ordering rule) \(\hat{F}=Q(F)=F( \hat{x},\hat{p})\) formally obeys Eq. (3) but contains an ambiguity since the operators \(\hat{x}\) and \(\hat{p}\) do not commute. For example, one can consider, xp or px orderings, the Weyl ordering, and so on [7, 10]. In spite of the fact that there exist some natural mathematical and physical restrictions on possible forms of quantum operators \(\hat{F}=Q( F)=F(\hat{x},\hat{p})\) (such as the operator boundedness from above, self-adjointness, the absence of anomalies, and so on), they do not remove completely the above mentioned ambiguity in the general case. In fact, such ambiguities reflect the above mentioned possibility to exist distinct quantum theories having one and the same classical limit. One cannot a priori advocate a given operator ordering, in principle, only an experiment as a final arbitrator may help in choosing an adequate quantum version of a given classical theory, and, thus, to provide arguments in favor of a certain operator ordering.
Quantization of a non-relativistic particle Hamiltonian
in a curved space has a long story. A direct construction of a quantum operator that corresponds to classical function (10) in the general case meets an ordering problem, which creates ambiguities in the final result. These ambiguities affect the energy spectrum of the particle, which explains attempts to remove or to reduce these ambiguities applying different theoretical considerations. The first important work in this direction was done by DeWitt [11] who derived a covariantFootnote 5 quantum Hamiltonian (using a path-integral approach) in the following form:
where the kinetic operator is proportional to the Laplace–Beltrami operator and an additional term proportional to the scalar curvature R(x) appeared. In subsequent works that used the same path-integral approach the same [12] or slightly different forms for \(\hat{H}\) were obtained, they differ by values of the dimensionless constant \(\varkappa ,\) e.g. \(\varkappa =\frac{1}{8}\) in Ref. [13] and \( \varkappa =\frac{1}{6}\) in Refs. [14, 15]. One has to mention attempts to quantize the particle motion in curved space canonically considering it as a motion on a hypersurface embedded in an Euclidean space [16,17,18]. To this end, they used a machinery elaborated for quantizing constraint systems [2, 3]. In such a way, the authors of Refs. [16, 17] derived the operator (11) with \(\varkappa =\frac{1}{8},\) whereas according to the conclusion of the work [18] the constrained systems theory does not contribute to an unambiguous description of the quantum dynamics of non-relativistic particles in curved spaces.
Covariant canonical quantization of relativistic particles in flat and curved spaces meets additional difficulties due to the gauge nature of the corresponding actions and already discussed ambiguities related to ordering problems; see Refs. [19,20,21,22,23].
One ought to say that quantization in arbitrary (curvilinear) coordinates in flat spaces or in general coordinates in curved spaces reveals more problems, in particular, the problem of fixing the right hand side of Eq. (3), the problem of a realization of the commutation relations for the operators \(\hat{x}\) and \(\hat{p}\) and the above mentioned ordering problem. The quantization in arbitrary coordinate system in a configuration space attracted attention already in early days of quantum mechanics [10, 24] and until present is regularly discussed in the literature; see e.g. Refs. [25,26,27,28,29,30,31,32,33,34].
To illustrate the problem, the case of a massive particle moving in a spherically symmetric field is usually considered. The corresponding classical and quantum Hamiltonians written in Cartesian coordinates are
However, taking into account the field symmetry, the use of polar coordinates is preferable. Being transformed to these coordinates \((x^{\prime 1},x^{\prime 2},x^{\prime 3})=( r,\theta ,\varphi ),\) the quantum Hamiltonian (12) takes the form
where \(g^{\mu ^{\prime }\nu ^{\prime }}\) and \(g^{\prime }=\vert \det g^{\mu ^{\prime }\nu ^{\prime }}\vert \) are the metric tensor and its determinant in polar coordinates. Its kinetic part is proportional to the Laplace–Beltrami operator. On the other side, we could start with the classical Hamiltonian, written from the beginning in polar coordinates,
Then there appears the first question: how do we transform the classical function \(H^{\mathrm {P}}(r,\theta ,\varphi ),\) given by Eq. (14), into the corresponding quantum operator? If we make the naive replacement \(r,\theta ,\varphi \rightarrow r,\theta ,\varphi ,\) and \( p_{r}\rightarrow -i\hbar \partial _{r},\ p_{\theta }\rightarrow -i\hbar \partial _{\theta },\) \(p_{\varphi }\rightarrow -i\hbar \partial _{\varphi },\) in this, we obtain an operator, which obviously differs from \(\hat{H}^{\mathrm {P}}\) given by Eq. (13). Moreover, since the classical Hamiltonian \(H(r,\theta ,\varphi )\) is an essentially nontrivial function of noncommuting operators in polar coordinates and their momenta, an ordering problem appears real. Historically, Schrödinger [35, 36] and Eckart [37] chose the Hamiltonian for the hydrogen atom in the Cartesian coordinates in the form (12) and then obtained (13) as done above. Then Dirac [38] in agreement with Pauli [39] derived Hamiltonian (13) quantizing classical function (14) under special assumptions. Afterwards, the same result was obtained in different ways in many publications; see e.g. [24].
Quantizations in curved spaces meet additional difficulties in the realization of the above program and impose additional restrictions on the ordering rules. Namely, the general covariance has to be maintained on the quantum level. And here one meets a serious problem with all the known orderings that were formulated in plane spaces and in Cartesian coordinates.
Our article represents an attempt to treat all the above mentioned problems from a unique point of view.Footnote 6 It is supposed that a Hamiltonian formulation of the classical theory of the physical system under consideration does exist and there are no constraints in the phase space. To start with, we construct a family of covariant quantizations in flat spaces and Cartesian coordinates. This family is parametrized by a function \(\omega (\theta )\), \(\theta \in (1,0).\) Then we represent a minimal covariant generalization of the quantizations in flat spaces to curved spaces. This generalization is parametrized by the same function \(\omega (\theta ).\) Then we construct an extended family of covariant quantizations in curved space. This family is already parametrized by two functions, the previous one \(\omega (\theta )\) and by an additional function \(\varTheta (x,\xi )\). The minimal generalization represents a part of the extended family of quantizations and corresponds to the extended quantizations with \(\varTheta =1.\) We study constructed quantizations in detail, proving their consistency, covariance and classical limit. As physical applications, we consider the above mentioned old problem of constructing a quantum Hamiltonian in polar coordinates and a quantization of a non-relativistic particle moving in a curved space.
1.2 Covariance of a quantization
Let a physical system in a reference frame \(K_{x}\) is described by coordinates \(x=(x^{a},\ a=1,\ldots ,D)\) and its classical theory be given by a nonsingular LagrangianFootnote 7 \(L(x,\dot{x},t).\) Then the corresponding momenta are \(p=(p_{a}=\partial L/\partial \dot{x}^{a})\). In a reference frame \(K_{x^{\prime }}\) with coordinates \(x^{\prime }=(x^{\prime b},\ b=1,\ldots ,D),\) related to the coordinates x by an arbitrary invertible time-independent coordinate transformation \(x^{\prime b}=\varphi ^{b}(x),\) the same system is described classically by the Lagrangian \(L^{\prime }( x^{\prime },\dot{x}^{\prime },t),\) which is related to the Lagrangian \(L(x,\dot{x},t)\) as a scalar,
The momenta \(p_{b}^{\prime }=\partial L^{\prime }/\partial \dot{x}^{\prime b}\) are related to the momenta \(p_{a}\) as \(p_{b}^{\prime }=p_{\alpha }\partial x^{\alpha }/\partial x^{\prime b}.\)
Transformations
are called point-like canonical transformations, they form a subgroup of all time-independent canonical transformations [25]. Classical functions \(F^{\prime }(x^{\prime },p^{\prime }),\) which describe physical quantities in \(K_{x^{\prime }},\) are related to classical functions F(x, p), which describe the same physical quantities in \(K_{x},\) as scalars, \(F^{\prime }(x^{\prime },p^{\prime })=F(x,p).\)
Let, in an arbitrary reference frame \(K_{x},\) a quantization Q be constructed and a transformation law be given, which allows one to restore a quantization \(Q^{\prime }\) in any other (different from \(K_{x}\)) arbitrary reference frame \(K_{x^{\prime }}.\) Let \(\mathfrak {H}\) and \(\mathfrak {H} ^{\prime }\) be Hilbert spaces corresponding to the quantizations Q and \( Q^{\prime }\). Then if vectors \(\vert \psi ^{\prime }\rangle \in \mathfrak {H}^{\prime }\) and vectors \(\vert \psi \rangle \in \mathfrak {H}\) that represent the same physical states are related by a unitary operator U, i.e., \(\vert \psi ^{\prime }\rangle =U\vert \psi \rangle \) and quantizations Q and \(Q^{\prime }\) of the same physical quantities F and \(F^{\prime }\) are related as
then the quantum theories generated by the quantizations Q and \(Q^{\prime } \) are equivalent and we say that the quantizationQ is covariant under transformations (16).
It follows from Eq. (16) that a quantization Q from a covariant set and a unitary operator U from Eq. (17) are related by the conditions
Moreover, Eq. (18) determines the operator U uniquely up to a phase factor. Indeed, let us suppose that there exists another unitary operator \(V:\mathfrak {H}\rightarrow \mathfrak {H}^{\prime }\) which also satisfies Eq. (18). Multiplying the first equation of (18) by \(UV^{\dagger }\) from the right and inserting an identity \(V^{\dagger }V\), we obtain \(\hat{x}^{\prime a}UV^{\dagger }=UV^{\dagger }VQ(\varphi ^{a}(x))V^{\dagger }=UV^{\dagger }\hat{x}^{\prime a},\) and therefore \([UV^{\dagger },\hat{x}^{\prime a}]=0.\) In the same manner, we can derive \([UV^{\dagger },\hat{p}_{a}^{\prime }]=0\) from the second Eq. (18). But the Hilbert space \(\mathfrak {H} ^{\prime }\) must be irreducible with respect to the canonical operators \(\hat{x}^{\prime a}\) and \(\hat{p}_{a}^{\prime }.\) Therefore, \(UV^{\dagger }=\lambda \hat{I}\), or \(U=\lambda V\). As both operators are unitary, \( V=\mathrm{e}^{i\phi }U\).
Let, the configuration space of a physical system is a plane D-dimensional pseudo-Euclidean space, which allows one to introduce a Cartesian coordinate systemFootnote 8 \(K_{x}^{\mathrm {C}},\) where the metric tensor \( g_{\mu \nu }\) takes the form,
There exist an infinite number of Cartesian coordinates \(x^{\prime }\) (coordinate systems \(K_{x^{\prime }}^{\mathrm {C}}\)), and the corresponding coordinate transformations between them \(x^{\prime \alpha }=M^{\alpha }{}_{b}x^{b}\) form orthogonal (\(s=0\)) or pseudo-orthogonal (\(s\ne 0\)) group O(r, s), \(K_{x}^{\mathrm {C}}\overset{O(r,s)}{ \longrightarrow }K_{x^{\prime }}^{\mathrm {C}}.\) Matrix elements \(M_{b}^{a}\) satisfy the well-known conditions \(M^{\alpha }{}_{a}g_{\alpha \beta }M^{\beta }{}_{b}=g_{ab}\), which means invariance of the metric tensor (19) under the transformations from the group O(r, s). In a coordinate system \(K_{x^{\prime }}^{\mathrm {C}},\) the same system is described by the Lagrangian \(L^{\prime }(x^{\prime },\dot{x}^{\prime })\) which is related to the Lagrangian in \(K_{x}^{\mathrm {C}}\) as a scalar,
Momenta \(p_{a}^{\prime }=\partial L^{\prime }/\partial \dot{x}^{\prime a}\) in \(K_{x^{\prime }}^{\mathrm {C}}\) are related to momenta \(p_{b}=\partial L/\partial \dot{x}^{b}\) in \(K_{x}\) as \(p_{a}^{\prime }=p_{b}(M^{-1})_{a}^{b}.\) The transformations
of the phase-space variables form a subgroup of the group of the point-like canonical transformations (16).
2 Covariant quantizations in flat spaces and Cartesian coordinates
2.1 Covariant \(Q_{\varOmega }\) quantizations
In this section, it is supposed that a classical theory, which we are going to quantize, is described by coordinates x generated by a Cartesian coordinate system \(K_{x}^{\mathrm {C}}\) in a flat space. Here and in what follows, the upper script C means that the corresponding quantity belongs to a Cartesian coordinate system.
Let a function F(x, p) describing a physical quantity that can be presented by the Fourier integral,
where \(\tau =(\tau _{a}),\;s=(s^{a}),\ \tau x=\tau _{a}x^{a},\;ps=p_{a}s^{a}, \) and \(\widetilde{\tilde{F}}(\tau ,s)\) is a double Fourier transform of F(x, p) with respect to x and p.
In this case, defining a quantization \(Q^{\mathrm {c}}(\mathrm{e}^{i(\eta x+p\xi )})\), we, due to the linearity of \(Q^{\mathrm {c}},\) define the quantization \(Q^{\mathrm {c}}\) for all the functions F(x, p) of the form (22),
In the general case, there are an infinite number of different quantizations \( Q^{\mathrm {c}}(\mathrm{e}^{i( \eta x+p\xi )})\). Let us consider a family of quantizations \(Q_{\varvec{\varOmega }}^{\mathrm {c}}\) that are parametrized by a weight function \(\varvec{\varOmega }(\eta ,\xi ,\alpha ,\beta )\) of real variables \(\eta ,\xi ,\alpha ,\) and \( \beta \) as follows:
Then
However, the correspondence principle imposes restrictions on possible weight functions \(\varvec{\varOmega }(\eta ,\xi ,\alpha ,\beta )\). It must have the form, see Sect. 2.1.1,
Additional restrictions follow from covariance considerations; see Sect. 2.1.2. Namely, functions \(\mathbf {\varOmega }(\eta ,\xi )\) must depend on their arguments \(\eta \) and \(\xi \) via the scalar product \( \alpha =\eta \xi =\eta _{a}\xi ^{a}\) only, namely, \({\varvec{\varOmega }}(\eta ,\xi )=\varOmega (k),\) \(k=\hbar \eta \xi ,\) and satisfy the initial condition \(\varOmega (0)=1.\) Thus, any quantization
satisfies the correspondence principle and is covariant with respect to the group O(r, s).
2.1.1 Restrictions form the correspondence principle
I. Let us consider quantization (25). One can easily verify that conditions (we call them Heisenberg conditions)
provide the classical limit of the Heisenberg equations with the Hamiltonian \( \hat{H}=Q_{\varvec{\varOmega }}^{\mathrm {c}}(H) \),
Using the fact that the Fourier transform (22) satisfies the relation
we can write the first equation of (29) as follows:
On the other side, it follows from the first equation of (28) that
Since F is, in a sense, an arbitrary function, we obtain \(\left( \beta ^{a}-\xi ^{a}\right) \varvec{\varOmega }\left( \eta ,\xi ,\alpha ,\beta \right) =0\). In the same manner, we obtain \(\left( \alpha _{a}-\eta _{a}\right) \varvec{\varOmega }\left( \eta ,\xi ,\alpha ,\beta \right) =0\). These equations imply that \(\varvec{\varOmega }\left( \eta ,\xi ,\alpha ,\beta \right) =\varvec{\varOmega }(\eta ,\xi ) \delta \left( \beta -\xi \right) \delta \left( \alpha -\eta \right) ,\) justifying Eq. (26).
Usually the following initial conditions for the weight function \( \varvec{\varOmega }(\eta ,\xi ) \) are assumed
Their fulfillment guarantees the so-called von Neumann properties of a quantization [1],
and, in particular, conditions (9). To be more precise, the operators \(F\left( \hat{x}\right) \) and \(G\left( \hat{p}\right) \) in Eq. (34) are understood as follows:Footnote 9
where partial Fourier transforms \(\tilde{F}(\eta )\) and \(\tilde{G}(\xi )\) are denoted by only one tilde above.
It should be noted that here exist more general conditions than von Neumann ones (34), which have to be fulfilled for any quantization \(Q_{ \varvec{\varOmega }}^{\mathrm {c}}.\) Indeed, let for a given index a the classical Hamiltonian H(x, p) does not depend on both canonical variables \(x^{a}\) and \(p_{a},\) i.e., \(\partial H/\partial x^{a}=\partial H/\partial p_{a}=0.\) Then it is natural to suppose that the quantization \(Q_{\varvec{\varOmega }}^{\mathrm {c}}\) must satisfy the following generalized conditions (we call them the generalized von Neumann conditions):
It is easily to see that the latter conditions, together with the property \( Q_{\varvec{\varOmega }}^{\mathrm {c}}\left( 1\right) =\hat{I}\), imply Eq. (34).
However, the initial conditions (33) on weight functions \( \varvec{\varOmega }(\eta ,\xi ) \) are already not sufficient to provide Eq. (36). The adequate generalization of conditions (33) reads
2.1.2 Restrictions from the covariance
Let us consider a function \(E(x,p) =\mathrm{e}^{i\left( \eta x+p\xi \right) }\). In terms of transformed by (21) phase-space variables \( x^{\prime }\) and \(p^{\prime },\) this function reads \(E(x,p) =E^{\prime }\left( x^{\prime },p^{\prime }\right) =\mathrm{e}^{i\left( \eta ^{\prime }x^{\prime }+p^{\prime }\xi ^{\prime }\right) }\), where \(\eta _{\alpha }^{\prime }=\eta _{\mu }\left( M^{-1}\right) ^{\mu }{}_{\alpha }\) and \(\xi ^{\prime \alpha }=M^{\alpha }{}_{\mu }\xi ^{\mu }\). According to Eqs. (24) and (26),
On the other side, see definition (17), quantizations \(Q_{ \varvec{\varOmega }}^{\mathrm {c}}\) and \(Q_{\varvec{\varOmega }}^{\mathrm {c} \prime }\) are equivalent if \(\varvec{\varOmega }( \eta M^{-1},M\xi ) =\varvec{\varOmega }( \eta ,\xi ).\) Because \(\xi \), \( \eta \) and \(M\in O( r,s) \) are arbitrary, the function \( \varvec{\varOmega }\) must depend on the invariants \(I_{1}\left( \xi \right) =g_{ab}\xi ^{a}\xi ^{b}\), \(I_{2}\left( \eta \right) =g^{ab}\eta _{a}\eta _{b} \) and \(I_{3}(\eta ,\xi ) =\eta _{a}\xi ^{a}=\eta \xi \) only,
For functions of the form (38), two first conditions (37) imply
Thus, for \(Q_{\varvec{\varOmega }}^{\mathrm {c}}\) to be covariant with respect to the group transformations \(O\left( r,s\right) \), \(\varvec{ \varOmega }(\eta ,\xi ) \) must be a function of the invariant combination \(I_{3}(\eta ,\xi ) =\eta _{a}\xi ^{a}=\eta \xi \) only,
One can easily verify that initial condition (37) for the function \( \varvec{\varOmega }(\eta ,\xi )\) holds when the initial condition \(\varOmega (0)=1\) holds for the function \(\varOmega (k)\).
Thus, the final statement of Sect. 2.1 is proved.
2.2 Basic quantizations
Let a weight function \(\varOmega (k)\) have the form
It defines a covariant quantization \(Q_{\varOmega _{(\theta ) }}^{ \mathrm {c}}\equiv Q_{(\theta ) }^{\mathrm {c}},\)
In what follows, we call (41) the basic quantizations.
The basic quantization \(Q_{(\theta ) }^{\mathrm {c}}\) can be written in a more symmetric form. To this end, we use the relation
which can be obtained from the Baker–Campbell–Hausdorff formula \(\mathrm{e}^{\hat{A}+ \hat{B}}=\mathrm{e}^{-\frac{1}{2}\left[ \hat{A},\hat{B}\right] }\mathrm{e}^{\hat{A}}\mathrm{e}^{\hat{B} }.\) Thus,
The basic quantizations \(Q_{(\theta ) }^{\mathrm {c}}(F)\) are covariant for any \(\theta \).
However, the basic quantizations are hermitian only for \(\theta =0\). Indeed, using the formal hermiticity of the operators \(\hat{x}\) and \(\hat{p}\) and the property \(( \widetilde{\tilde{F}}( \eta ,\xi ) ) ^{*}= \overset{\thickapprox }{F^{*}}( -\eta ,-\xi ) \) of the double Fourier transforms, we obtain the relation
which proves the above assertion.
The importance of the basic quantizations is stressed by the following assertion: Any covariant with respect to a group \(O\left( r,s\right) \) quantization \(Q_{\varOmega }^{\mathrm {c}}(F) \) can be presented as an integral over basic quantizations.
To demonstrate this fact, we introduce the Fourier transform \(\omega (\theta ),\) \(\theta \in \mathbb {R}\) of a weight function \(\varOmega (k) \),
Weight functions that define covariant quantizations satisfy initial condition (41). As a consequence, Fourier transforms of such weight functions are normalized,
In other words, Fourier transforms of weight functions that define covariant quantizations can be treated as complex measures \(\omega (\theta ) \) of the total weight 1 on the real line.
Substituting \(\varOmega (k) \) from Eq. (45) into Eq. (27), we obtain
Thus, any covariant quantization with a weight function \(\varOmega (k),\) can be represented either by Eq. (27) or by Eqs. (47) and (46) via the Fourier transform of the weight function \( \varOmega (k) \). In the latter case, we denote the corresponding quantization as \(Q_{[\omega ] }^{\mathrm {c}}(F).\)
If \(\omega (\theta ) \) is the Fourier transform of a weight function \(\varOmega (k),\) then there is the following correspondence between the introduced notation, \(Q_{[\omega ] }^{ \mathrm {c}}(F) =Q_{\varOmega }^{\mathrm {c}}(F).\)
It follows from Eq. (47) that any quantization \( Q_{[\omega ] }^{\mathrm {c}}(F) \) with \(\omega ^{*}\left( -\theta \right) =\omega (\theta ) \) is hermitian,
It follows from Eq. (47) that
2.3 Quantizations of homogeneous polynomials
Consider functions F(x, p) of the phase-space variables that have the following form:
where x-dependent coefficients \(T^{a_{1}\cdots a_{n}}(x) \) are symmetric under any change of the indices \(a_{1}\cdots a_{n}\). We call such functions homogeneous polynomials in what follows. One can see that the Fourier transform \(\widetilde{\tilde{F}}(\eta ,\xi ) \) of a homogeneous polynomial (50) can be written as
Substituting the latter representation for \(\widetilde{\tilde{F}}\left( \xi ,\eta \right) \) into Eq. (43), we obtain the basic quantization of F(x, p) in the following form:
Using a generalization of the Leibnitz formula (see Appendix A.2), we can write
Then it follows from (52) that the basic quantization \(Q_{(\theta ) }^{\mathrm {c}}\) of a homogeneous polynomial has the form
where
According to Eq. (47) the quantization \(Q_{[\omega ] }^{ \mathrm {c}}\) of the homogeneous polynomial reads
where
The sum \(\sum _{k=0}^{n}C_{k}^{n}(\theta ) \) is reduced to a unit according to the binomial theorem,
Together with the normalization (46) this implies that
For a hermitian quantization \(Q_{[\omega ] }^{\mathrm {c}}\) (see Eq. (48)) the coefficients \(\omega _{k}^{n}\) have the properties
2.4 Factorization property of covariant quantizations
In the previous sections, we have considered Heisenberg conditions (28), the generalized von Neumann conditions (36), and conditions that provide the covariance and self-adjointness of a quantization. However, it is possible to require some additional properties for a quantization and derive corresponding formal conditions that provide these properties. Let us consider some of them.
Let a function F(x, p) be represented as a product of two functions \(G( x^{1},p_{1},\ldots ,x^{k},p_{k}) \) and \(H( x^{k+1},p_{k+1},\ldots x^{D},p_{D}) \),
It is easily to verify that any quantization \(Q_{[\omega ] }^{ \mathrm {c}}(F) \) given by the rules (47) produces, in this case, commuting operators \(Q_{[\omega ] }^{\mathrm {c} }(G) \) and \(Q_{[\omega ] }^{\mathrm {c}}(H) \). Then we ask the question: which quantizations satisfies the following property:
which we call the factorization property in what follows.
Let us derive the corresponding formal conditions on functions \(\omega \left( \theta \right) \) that provide the latter property.
First, taking the structure of the functions G, H, and F into account, we find that their Fourier transforms have the forms
Then we consider the basic quantization \(Q_{(\theta ) }^{\mathrm { c}}\) of functions (61). It is easily to verify that it satisfies the property
Thus, any basic quantization \(Q_{(\theta )}^{\mathrm {c}}\) satisfies the factorization property.
Moreover, one can see that among quantizations \(Q_{\varOmega }^{\mathrm {c}},\) which can be represented by Eq. (47) as \(Q_{[\omega ] }^{ \mathrm {c}}(F),\) only basic quantization \(Q_{(\theta ) }^{\mathrm {c}}\) satisfies the factorization property. Indeed, due to property (62) the quantization \(Q_{[\omega ] }^{\mathrm { c}}(F) \) of functions F given by Eq. (61) can be represented as
On the other side,
Equation (54) implies that functions G and H can be chosen in such a way that the operator \(Q_{( \theta _{1}) }^{\mathrm {c} }(G) Q_{( \theta _{2}) }^{\mathrm {c}}(H) \) turns out to be a polynomial (with operator coefficients) in \(\theta _{1}\) and \(\theta _{2}\) of any given degree. Thus, condition (62) can be satisfied only if \(\omega ( \theta _{1}) \omega ( \theta _{2}) =\omega ( \theta _{1}) \delta ( \theta _{2}-\theta _{1}).\) Then, since the relation \(f( \theta _{1}) \delta ( \theta _{2}-\theta _{1}) =f( \theta _{2}) \delta ( \theta _{2}-\theta _{1}) \) holds true for any function \(f(\theta ) \), we obtain
Integrating this relation in \(\theta _{2}\) and taking into account Eq. (46), we obtain
The latter equality holds for any \(f(\theta ) \) only if \(\omega (\theta ) =\delta ( \theta -\lambda ) .\) Then \( k=f( \lambda ) \) and \(Q_{[\omega ] }^{\mathrm {c} }(F) =Q_{( \lambda ) }^{\mathrm {c}}(F) \), which proves the statement.
2.5 Commonly discussed quantizations
-
I.
The basic quantizations \(Q_{\left( \pm \frac{1}{2}\right) }^{\mathrm {c} }(F) \) with \(\theta =\pm \frac{1}{2}\) are, in fact, the well-known px and xp quantizations, in other words they produce px and xp ordered operators; see e.g. [7]. Indeed, using Eq. (43), in particular, Eq. (54), one can see that the quantization \( Q_{\left( \frac{1}{2}\right) }^{\mathrm {c}}(F) =Q^{\mathrm {px} }(F) \) acting on classical functions F(x, p) substitutes all x by the operators \(\hat{x}\), and all p by the operators \(\hat{p},\) placing at the same time all \(\hat{p}\) on the left of all \(\hat{x}.\) The quantization \(Q_{\left( -\frac{1}{2}\right) }^{\mathrm {c}}(F) =Q^{\mathrm {xp}}(F) \) acts similarly, placing all \(\hat{ x}\) on the left of all \(\hat{p}\). Using Eq. (43), we obtain
$$\begin{aligned} \begin{aligned}&Q_{\left( \frac{1}{2}\right) }^{\mathrm {c}}(F) =Q^{\mathrm {px} }(F) =\int \widetilde{\tilde{F}}(\eta ,\xi ) \mathrm{e}^{i \hat{p}\xi }\mathrm{e}^{i\eta \hat{x}}\mathrm{d}\eta \mathrm{d}\xi , \\&Q_{\left( -\frac{1}{2}\right) }^{\mathrm {c}}(F) =Q^{\mathrm {xp} }(F) =\int \widetilde{\tilde{F}}(\eta ,\xi ) \mathrm{e}^{i\eta \hat{x}}\mathrm{e}^{i\hat{p}\xi }\mathrm{d}\eta \mathrm{d}\xi . \end{aligned} \end{aligned}$$(65)These quantizations are covariant and satisfy the factorization property. However, using Eq. (44), one can see that \(( Q^{{\mathrm {xp}}}(F))^{\dagger }=Q^{\mathrm {px}}(F) \), which means that the quantizations \(Q^{\mathrm {xp}}\) and \(Q^{\mathrm {px}}\) are not hermitian in the general case.
-
II.
The basic quantization with \(\theta =0\Longleftrightarrow \varOmega =1\Longleftrightarrow \omega (\theta ) =\delta (\theta ) \) is, in fact, the Weyl quantization [41], which is here denoted by \(Q^{\mathrm {w}}(F),\)
$$\begin{aligned} Q^{\mathrm {w}}(F)= & {} Q_{( 0) }^{\mathrm {c}}(F) =Q_{1}^{\mathrm {c}}(F) =\int \widetilde{\tilde{F}} (\eta ,\xi ) \mathrm{e}^{i( \eta \hat{x}+\xi \hat{p}) }\mathrm{d}\eta \mathrm{d}\xi . \nonumber \\ \end{aligned}$$(66)As follows from the above consideration, the Weyl quantization is covariant, satisfies the factorization property, is hermitian and produces symmetric in \(\hat{x}\) and \(\hat{p}\) operators. As follows from Eqs. (43) and (54) the Weyl quantization of homogeneous polynomials reads
$$\begin{aligned}&Q^{\mathrm {w}}\left( T^{a_{1}\cdots a_{n}}(x) p_{a_{1}}\cdots p_{a_{n}}\right) \nonumber \\&\quad =\frac{1}{2^{n}}\sum _{k=0}^{n}\left( {\begin{array}{c}n\\ k\end{array}}\right) \hat{p} _{a_{1}}\cdots \hat{p}_{a_{k}} T^{a_{1}\cdots a_{n}}(\hat{x}) \hat{p}_{a_{k+1}}\cdots \hat{p}_{a_{n}}.\nonumber \\ \end{aligned}$$(67)It should be noted that the Weyl quantization (the Weyl ordering) plays an important role in quantum mechanical applications. There is a convenient formula for the Weyl quantization,
$$\begin{aligned} Q^{\mathrm {w}}(F) =\left. \mathrm{e}^{\hat{x}\frac{\partial }{\partial t}+ \hat{p}\frac{\partial }{\partial s}}F\left( t,s\right) \right| _{t=s=0}\,. \end{aligned}$$(68) -
III.
In the article [10], Born and Jordan introduce a specific ordering, which is now called the Born–Jordan ordering or the Born–Jordan quantization. In terms of the introduced above constructions, the many-dimensional generalization of the Born–Jordan quantization \(Q^{\mathrm {BJ} }(F) \) can be written as
$$\begin{aligned}&Q^{\mathrm {BJ}}(F) =\int _{-\frac{1}{2}}^{+\frac{1}{2} }Q_{(\theta )}^{\mathrm {c}}(F) \mathrm{d}\theta =\int _{-\infty }^{+\infty }Q_{(\theta )}^{\mathrm {c}}(F) \omega (\theta ) \mathrm{d}\theta \nonumber \\&\quad \Longrightarrow \omega (\theta ) =\left\{ \begin{array}{ll} 1,&{}\quad \left| \theta \right| <\frac{1}{2} \\ 0,&{}\quad \left| \theta \right| \ge \frac{1}{2} \end{array} \right. \Longrightarrow \varOmega (k)\nonumber \\&\quad =\int _{-\infty }^{+\infty }\omega (\theta ) \mathrm{e}^{ik\theta }\mathrm{d}\theta =\frac{2}{k}\sin \left( \frac{k}{2}\right) \nonumber \\&\quad \Longrightarrow Q^{\mathrm {BJ}}(F) =\int \widetilde{\tilde{F} }(\eta ,\xi ) \frac{2}{\hbar \eta \xi }\sin \left( \frac{\hbar \eta \xi }{2}\right) \nonumber \\&\qquad \times \, \mathrm{e}^{i(\eta \hat{x}+\hat{p}\xi ) }\mathrm{d}\eta \mathrm{d}\xi . \end{aligned}$$(69)The Born–Jordan quantization is covariant and hermitian but does not satisfy the factorization property. However, for two functions of the form \(F=F(x) \) and \(G=G(p)\) the following exact result holds:
$$\begin{aligned}&[Q^{\mathrm {BJ}}(F),Q^{\mathrm {BJ}}(G)]=i\hbar Q^{\mathrm {BJ}}(\{F,G\})\nonumber \\&\quad \equiv i\hbar Q^{ \mathrm {BJ}}\left( \frac{\partial F}{\partial x^{a}}\frac{\partial G}{\partial p_{a}}\right) . \end{aligned}$$(70)
To verify Eq. (23), we use a relation, which holds for the double Fourier transform of the product FG,
Here and in what follows, we often use the following notation for the double Fourier transform \(\overset{\thickapprox }{\left( A\right) }\ \left( \eta ,\xi \right) \) of a function A(x, p):
Then, taking into account the definition of the basic quantization, we can write
Using Eq. (72) in (70), we obtain
which proves the validity of Eq. (70).
The Born–Jordan quantization of homogeneous polynomials is given by Eq. (56) where
Thus,
2.6 Operator symbols and classical limit
For the Weyl ordering, we have \(\varOmega =1,\) such that the corresponding quantization is given by Eq. (66). Comparing it with the general formula (27), we see that
One can see from definition (22) that
where
Thus, we have
We note that if F(x, p) is a polynomial in x or in p, there exists a number \(n<\infty \) such that \(\varDelta ^{n}F=0\), and \(\varOmega \left( -\hbar \varPi \right) F\) always exist for such functions F(x, p) .
The operator \(\varOmega \left( -\hbar \varPi \right) \) has an inverse one. Indeed, it follows from the relation \(\tilde{\tilde{F}}\left( \eta ,\xi \right) = \left[ \varOmega \left( \hbar \eta \xi \right) \right] ^{-1}\widetilde{\tilde{G} }(\eta ,\xi ) \) that \(F=\left[ \varOmega \left( -\hbar \varPi \right) \right] ^{-1}G\).
Now we turn to operator symbols. Their notion in the general case was defined in Sect. 1.1. Here we slightly change the notation introduced there, namely, \(F_{\left( Q_{\varOmega }\right) }(x,p) \Longrightarrow F_{\varOmega }(x,p).\) A function \(F_{\varOmega }(x,p) \) will be called an \(\varOmega \)-symbol of an operator \(\hat{ F}\) if \(\hat{F}=Q_{\varOmega }\left( F_{\varOmega }\right) \). Then the star product \(F_{\varOmega }*G_{\varOmega }\) is the \(\varOmega \)-symbol of the operator \(\hat{F}\hat{G}\), namely,
Similarly, we define \(\mathrm {w}\)-symbols (Weyl-symbols) \(F^{\mathrm {w}}\) by the relation \(\hat{F}=Q^{\mathrm {w}}\left( F^{\mathrm {w}}\right) \), and the star product \(\left( F^{\mathrm {w}}*G^{\mathrm {w}}\right) \) with respect to the Weyl quantization as follows \(\hat{F}\hat{G}=Q^{\mathrm {w}}\left( F^{ \mathrm {w}}*G^{\mathrm {w}}\right) .\)
The star product of \(\mathrm {w}\)-symbols can be expressed via the corresponding \(\mathrm {w}\)-symbols as follows:
Expressing the quantization \(Q_{\varOmega }^{\mathrm {c}}(F) \) in terms of the Weyl quantization \(Q^{\mathrm {w}}(F) \) with account taken (66) and (78), we obtain
The equality (80) of operators implies the equality of the corresponding symbols,
According to initial condition (27), we have
where \(a=\mathrm{d}\varOmega (k) /\mathrm{d}k\vert _{k=0}\).
Then, using expansion (79), we obtain
which implies the relation
The two last equations are just conditions (7) that justify the fulfillment of the correspondence principle for the quantization \(Q_{\varOmega }^{\mathrm {c}}(F).\)
3 Covariant quantizations in flat spaces in general coordinates
Our aim here is to generalize quantizations \(Q_{(\theta ) }^{ \mathrm {c}}(F) \) (43), and \(Q_{\varOmega }^{\mathrm {c} }(F) \) (27) or \(Q_{[\omega ] }^{\mathrm {c} }(F) \) (47), formulated in flat spaces in Cartesian coordinate systems and covariant with respect to the group \( O\left( r,s\right) \) transformations, to quantizations formulated also in flat spaces but already in arbitrary coordinate systems and covariant under arbitrary coordinate transformations.
3.1 Alternative forms of covariant quantizations in flat spaces in Cartesian coordinates
To construct the above mentioned generalizations of quantizations in flat spaces in Cartesian coordinates, we first are going to avoid using expansions of coordinate parts of classical functions in Fourier integrals. The reason is simple, not all the coordinate systems allow such expansions. Thus, we consider now a partial Fourier transform \(\tilde{F}(x,\xi ) \) of a function F(x, p) with respect to the momenta p only,Footnote 10
To express the basic quantization \(Q_{(\theta ) }^{\mathrm {c} }(F) \) in terms of the partial transform \(\tilde{F}(x,\xi ),\) we can start with Eq. (43), written as
Then we have express the integral in brackets containing \(\tilde{\tilde{F}} (\eta ,\xi ) \) in terms of \(\tilde{F}(x,\xi ) \). To this end, we write
In what follows, we will use a supposition that there exist eigenvectorsFootnote 11 \(\left| x\right\rangle \) of the operators \(\hat{x}^{\mu }\) with the following properties:
This allows us to rewrite Eq. (85) as
Substituting spectral decomposition (87) into representation (84), we obtain
Using in (88) coordinate representation (86) of the momentum operators and relations
we finally obtain
Representation (90) for the basic quantization \(Q_{(\theta ) }^{\mathrm {c}}(F) \) does not contain a Fourier transform of the function F(x, p) with respect to the coordinates x, it is expressed via the partial Fourier transform of the function F(x, p) with respect to the momenta only. Equation (90) can be interpreted as a spectral decomposition of the operator \(Q_{(\theta ) }^{\mathrm {c}}(F) \) into the operators
which are operators of a projection with a subsequent rotation.
Using Eq. (90) in Eq. (47), we construct the following representation for the quantization \(Q_{[\omega ] }^{\mathrm {c} }(F) \):
where
In the case, when F(x, p) is a polynomial in p, the partial Fourier transform \(\tilde{F}(x,\xi ) \) can be written as
such that
3.2 Spectral representations of covariant quantizations in flat spaces in arbitrary coordinate systems
3.2.1 General construction
We start with a covariant consistent (hermitian in particular) quantization \( Q_{[\omega ] }^{\mathrm {c}}(F) \) which is formulated in a Cartesian coordinate system \(K_{x}^{\mathrm {C}}\) with coordinates x and produces a quantum theory in a Hilbert space \(\mathfrak {H}\). Let us try to construct a quantization \(Q_{[\omega ] }^{\prime }\left( F^{\prime }\right) \) in the same flat space but in an arbitrary coordinate system \(K_{x^{\prime }}\) with coordinates \(x^{\prime }=\varphi (x) \). Quantization \(Q_{[\omega ] }^{\prime }\left( F^{\prime }\right) \) must produce an equivalent quantum theory in a Hilbert space \(\mathfrak {H}^{\prime },\) in particular, \(Q_{[\omega ] }^{\prime }\left( F^{\prime }\right) \) must also be a consistent quantization. We suppose that both quantum theories are related by a unitary operator \(U:\mathfrak {H}\overset{U}{\rightarrow }\mathfrak {H}^{\prime }\) in the spirit of Sect. 1.2. Equation (18) define this unitary operator, which depends, in the general case, on \(\omega \). Thus, the quantization \(Q_{[\omega ] }^{\prime }\) in \(K_{x^{\prime }}\) is related to the quantization \(Q_{[\omega ] }\) in \(K_{x}^{\mathrm {C }}\) as
which coincides by the construction with quantization (47) if coordinates \(x^{\prime }\) are Cartesian.
One can demonstrate that the quantization \(Q_{[\omega ] }^{\prime }\) can be formulated in terms of intrinsic elements inherent to the coordinate system \(K_{x^{\prime }}\), and, thus, is independent on the quantization \(Q_{[\omega ] }^{\mathrm {c}}(F) \) formulated in the Cartesian coordinate system \(K_{x}^{\mathrm {C}}\).
Using Eq. (34), we obtain
On the other side, using Eqs. (54), (55), and (57), we obtain
Therefore,
The commutator in the right hand side of Eq. (99) can be found from Heisenberg conditions (28),
On the other side, taking into account the relation
where \(\varGamma _{\alpha \mu }^{\prime \nu }\) are Christoffel symbols, we obtain
such that finally
Obviously the left hand side of Eq. (102) can be considered as a self-adjoint operator if \(\varpi \) is real, which, in turn, provides the hermiticity of the quantization \(Q_{[\omega ]}^{\prime }\). At the same time, real \(\varpi \) provides the hermiticity of the quantization \(Q_{[\omega ] }^{\mathrm {c}}\). In what follows, we suppose that quantizations \(Q_{ [\omega ] }^{\mathrm {c}}\) are hermitian.
It follows from Eq. (101) that
Then, taking into account Eq. (97), we obtain
Thus, Eq. (18) takes the form
Equations (97) and (105) determine the unitary transformation U up to a global phase.
Let \(\left| x\right\rangle \) are eigenvectors defined by Eq. (86). They are generalized states related to the Hilbert space \(\mathfrak {H}\). Then the generalized states
are related to the Hilbert space \(\mathfrak {H}^{\prime }\). Taking into account Eq. (97), one can see that \(\left| x^{\prime }\right\rangle ^{\prime }\) are eigenvectors of the operators \(\hat{x} ^{\prime \mu }\). Indeed,
These vectors satisfy the orthonormalization and completeness relations
Here \(\left\langle x^{\prime }\right| ^{\prime }\) are bra-vectors associated to the ket-vectors \(\left| x^{\prime }\right\rangle ^{\prime },\) \(g^{\prime }=|\det g_{\mu \nu }^{\prime }\left( x^{\prime }\right) |,\) and we have used the well-known property \(\delta \left( f\left( x^{\prime }\right) \right) =\delta (x^{\prime }-y^{\prime })\left| \partial f/\partial x^{\prime }\right| ^{-1}\) of the \(\delta \)-function, where \( f\left( x^{\prime }\right) =\varphi ^{-1}\left( x^{\prime }\right) -\varphi ^{-1}\left( y^{\prime }\right) \) (the equation \(f\left( x^{\prime }\right) =0 \) has only one root since \(\varphi (x) \) is a bijection).
Using Eq. (105) and the relations
we derive a coordinate representation of the momentum operator \(\hat{p}_{\mu }^{\prime },\)
The state \(\left| \psi \right\rangle ^{\prime }=U\left| \psi \right\rangle \) in \(\mathfrak {H}^{\prime }\) corresponds to any given state \( \left| \psi \right\rangle \in \mathfrak {H}\). Using Eq. (106), we see that wave functions are scalars under the coordinate transformations \( x^{\prime }=\varphi (x),\)
Now we can construct a quantization \(Q_{[\omega ] }^{\prime }\) in an arbitrary reference frame \(K_{x^{\prime }}\) according to definition (96), using representation (92) for the quantization \(Q_{[\omega ] }^{\mathrm {c}}\) in a Cartesian reference frame \(K_{x}^{ \mathrm {C}},\)
In the integral in the right side of Eq. (112), we perform a variable change,
We note that \(g=\left| \det \left( g_{\mu \nu }\right) \right| =1\) since \(K_{x}^{\mathrm {C}}\) is a Cartesian reference frame. Next, we need a transformation law for \(\tilde{F}(x,\xi ) \). Using the relations
already discussed in Sect. 1.2, and definition (83) of \( \tilde{F}(x,\xi ),\) we obtain
Next, we have to calculate the operator \(U\hat{D}\left( x,\xi ,\omega \right) U^{\dagger },\) which we denote by \(\hat{D}^{\prime }\left( x^{\prime },\xi ^{\prime },\omega \right) .\) Using Eqs. (93) and (106), we derive for it the following representation:
Using the definition of the exponential function in the general coordinate system \(K_{x^{\prime }}\), its transformation law and its form in the Cartesian reference frame \(K_{x}^{\mathrm {C}},\) see Eqs. (269), and (272) in Appendix A.3, we obtain
Thus, the quantization \(Q_{[\omega ]}^{\prime }\left( F^{\prime }\right) \) has the following form:
It follows from (117) that the quantization \(Q_{[\omega ] }^{\prime }\left( F^{\prime }\right) ,\) defined originally by Eq. (96), is, in fact, formulated in terms of the intrinsic characteristics (\( g_{\mu \nu }^{\prime }\) and \(\varGamma _{\alpha \beta }^{\prime \mu }\)) of the coordinate system \(K_{x^{\prime }},\) and does not depend on the Cartesian reference frame \(K_{x}^{\mathrm {C}}\) at all.
Now we are going to formulate once again the quantizations \(Q_{[\omega ] }(F) \) in arbitrary coordinate systems \(K_{x}\) with coordinates x (in contrast to the previous consideration now by x we denote already arbitrary coordinates) without any reference to a quantization in a Cartesian reference frame.
In the coordinate system \(K_{x},\) the metric tensor is \(g_{\mu \nu }(x),\) and Christoffel symbols \(\varGamma _{\alpha \beta }^{\mu }(x) \) are expressed via \(g_{\mu \nu }(x) \) according to Eq. (252), the exponential function \(\gamma (x,\xi ) \) is defined via \(\varGamma _{\alpha \beta }^{\mu }(x)\); see Appendix A.3. Canonical variables x and p are represented in quantum theory by operators \(\hat{x}^{\mu }\) and \(\hat{p}_{\mu }\) that act in the corresponding Hilbert space \(\mathfrak {H}.\) We define a complete set \( \left| x\right\rangle _{\varpi }\) in \(\mathfrak {H}\) of generalized eigenvectors of the operators \(\hat{x}^{\mu },\) which satisfy the following relations:
The vectors \(\left| x\right\rangle _{\varpi }\) are related to the vectors \(\left| x\right\rangle _{0}\) as
which can be checked (taking into account Eq. (257)) by the following calculations:
In terms of vectors \(\left| x\right\rangle _{\varpi }\), we construct an operator \(\hat{D}\left( x,\xi ,\omega \right) \) by analogy with (115), and we define the quantization \(Q_{[\omega ] }(F) \) in \(K_{x}\) by the equations
If F(x, p) are homogeneous polynomials in p, we use Eq. (121) to obtain an analog of representation (95),
3.2.2 Covariance and correspondence principle
-
I.
One can demonstrate that, in an arbitrary coordinate system \(K_{x^{\prime \prime }}\) (different from \(K_{x}\) and \(K_{x^{\prime }}\)), the quantization \( Q_{[\omega ] }^{\prime \prime }\left( F^{\prime \prime }\right) =VQ_{[\omega ] }(F) V^{\dagger },\) where the unitary operator V relates Hilbert spaces \(\mathfrak {H}\) and \(\mathfrak {H}^{\prime \prime },\) and the quantization \(Q_{[\omega ] }^{\prime }\left( F^{\prime }\right) \) are related as \(Q_{[\omega ] }^{\prime \prime }\left( F^{\prime \prime }\right) =WQ_{[\omega ] }^{\prime }\left( F^{\prime }\right) W^{\dagger }\) with a unitary operator \( W=VU^{\dagger }\). Since coordinate systems \(K_{x^{\prime }}\) and \( K_{x^{\prime \prime }}\) are arbitrary and there exists a unitary equivalence between the corresponding quantum theories, the quantization \(Q_{[\omega ] }(F) \) given by Eq. (121) is covariant according to the definition formulated in Sect. 1.2.
-
II.
In an arbitrary coordinate system \(K_{x^{\prime }}\) the quantization \(Q_{ [\omega ] }^{\prime }\left( F^{\prime }\right) \) given by Eq. (96) or Eq. (117) satisfies the correspondence principle. To prove this statement, we can write, see Eq. (5),
$$\begin{aligned}&Q_{[\omega ] }^{\prime }\left( F_{[\omega ] }^{\prime }*G_{[\omega ] }^{\prime }\right) =Q_{[\omega ] }^{\prime }\left( F_{[\omega ] }^{\prime }\right) Q_{[\omega ] }^{\prime }\left( G_{[\omega ] }^{\prime }\right) \nonumber \\&\quad =U^{\dagger }Q_{[\omega ] }\left( F_{[\omega ] }\right) Q_{[\omega ] }\left( G_{[\omega ] }\right) U \nonumber \\&\quad =U^{\dagger }Q_{[\omega ] }\left( F_{[\omega ] }*G_{[\omega ] }\right) U\nonumber \\&\quad =Q_{[\omega ] }^{\prime }\left( \left( F_{[\omega ] }*G_{[\omega ] }\right) ^{\prime }\right) , \end{aligned}$$(123)where \(F_{[\omega ] }\) is \([\omega ] \)-symbol of the operator \(\hat{F}\), i.e., \(\hat{F}=Q_{[\omega ] }\left( F_{[\omega ] }\right) \) and so on. It follows from Eq. (123) that
$$\begin{aligned}&F_{[\omega ] }^{\prime }*G_{[\omega ] }^{\prime }=\left( F_{[\omega ] }*G_{[\omega ] }\right) ^{\prime }=\left[ F_{[\omega ] }G_{[\omega ] }+O(\hbar ) \right] ^{\prime }\nonumber \\&\quad =F_{[\omega ] }^{\prime }G_{[\omega ] }^{\prime }+O(\hbar ), \nonumber \\&F_{[\omega ] }^{\prime }*G_{[\omega ] }^{\prime }-G_{[\omega ] }^{\prime }*F_{[\omega ] }^{\prime }\nonumber \\&\quad =\left( F_{[\omega ] }*G_{[\omega ] }\right) ^{\prime }-\left( G_{[\omega ] }*F_{[\omega ] }\right) ^{\prime }\nonumber \\&\quad =\left[ i\hbar \left\{ F_{[\omega ] },G_{[\omega ] }\right\} +O(\hbar ^{2}) \right] ^{\prime }\nonumber \\&\quad =i\hbar \left\{ F_{[\omega ] }^{\prime },G_{[\omega ] }^{\prime }\right\} ^{\prime }+O(\hbar ^{2}), \end{aligned}$$(124)where \(\left\{ ,\right\} \) and \(\left\{ ,\right\} ^{\prime }\) are Poisson brackets in coordinates (x, p) and \(\left( x^{\prime },p^{\prime }\right) \), respectively. The fact that the equality \(\left\{ F,G\right\} =\left\{ F^{\prime },G^{\prime }\right\} ^{\prime }\) holds true for any functions F and G was also used, since the phase-space variables (x, p) and \(\left( x^{\prime },p^{\prime }\right) \) are related by a time-independent point canonical transformation.
Equation (124) proves that the quantization \(Q_{[\omega ] }(F) \) satisfies the correspondence principle.
3.3 Coordinate representation
Let a covariant quantization \(Q_{[\omega ] }(F) \) be formulated in arbitrary coordinate systems \(K_{x}\) with coordinates x. This quantization defines a quantum theory in a Hilbert space \(\mathfrak {H}\). Canonical variables x and p are represented in the quantum theory by operators \(\hat{x}^{\mu }\) and \(\hat{p}_{\mu }.\) And let \(\left| x\right\rangle _{\varpi }\) be a complete set in \(\mathfrak {H}\) of generalized eigenvectors of the operators \(\hat{x}^{\mu }\) with properties (118). These eigenvectors define a coordinate representation of state vectors \(\left| \psi \right\rangle \) (wave functions \(\psi (x) \)) in the Hilbert space \(\mathfrak {H}\) as follows:
One can easily verify, by the analogy with the derivation of Eq. (111) that the wave functions \(\psi (x) \) are scalars under the general coordinate transformation \(x^{\prime }=\varphi (x) \).
If we define a coordinate representation \(\hat{A}_{x}\) of an operator \(\hat{A }\) as \(\hat{A}_{x}\psi (x) =\left\langle x\right| \hat{A} \left| \psi \right\rangle ,\) then we can derive a transformation law for the operators \(\left[ Q_{[\omega ] }(F) \right] _{x}\) as
Namely in this sense, we interpret operators \(\left[ Q_{[\omega ] }(F) \right] _{x}\) as scalars.
This fact can be used in calculating the coordinate representation for the quantization \(Q_{[\omega ] }(F) \) of homogeneous polynomials (50). Namely, we calculate first \(Q_{[\omega ] }^{\mathrm {C}}(F) \) in a Cartesian coordinate systems \( K_{x}^{\mathrm {C}}\) with coordinates x, where \(\varGamma _{\alpha \beta }^{\mu }=0\) and \(\left( \hat{p}_{\mu }\right) _{x}=-i\hbar \partial _{\mu }\). Using the latter operators in Eq. (56), we obtain
In an arbitrary coordinate system \(K_{x}\) with coordinates x, the corresponding scalar operator can be obtained from Eq. (127) by substituting ordinary derivatives by covariant ones (253), \(\partial _{\mu }\rightarrow \nabla _{\mu }\). Thus,
Now, using the obtained results, we present quantizations of some frequently encountered functions in arbitrary curvilinear coordinates:
-
I.
Let \(F(x,p) =F(x) \). In this case \(\tilde{F}(x,\xi ) =F(x) \delta \left( \xi \right) \). It follows from the second equation (121), with account taken of the property \(\gamma \left( x,0\right) =x\), that \(\hat{D} \left( x,0,\omega \right) =\left| x\right\rangle \left\langle x\right| .\) Using these facts in the first equation of (121), we obtain
$$\begin{aligned} Q_{[\omega ] }\left( F(x) \right) =\int F(x) \left| x\right\rangle \left\langle x\right| \sqrt{g(x) }\mathrm{d}x=F\left( \hat{x}\right) . \nonumber \\ \end{aligned}$$(129)In the coordinate representation, this quantization reads
$$\begin{aligned} \left[ Q_{[\omega ] }\left( F(x) \right) \right] _{x}=F(x). \end{aligned}$$(130) -
II.
Let \(F(x,p) =T^{\alpha }(x) p_{\alpha }\). In this case, using Eq. (98) in Eq. (128) we obtain
$$\begin{aligned}&\ \left[ Q_{[\omega ] }\left( T^{\alpha }(x) p_{\alpha }\right) \right] _{x}=-i\hbar \left[ \omega _{\left( -\right) }T^{\alpha }\nabla _{\alpha }+\omega _{\left( +\right) }\nabla _{\alpha }T^{\alpha }\right] \nonumber \\&\quad =-i\hbar \left[ \omega _{\left( -\right) }T^{\alpha }\partial _{\alpha }+\omega _{\left( +\right) }\left( \partial _{\alpha }+\varGamma _{\alpha }\right) T^{\alpha }\right] \nonumber \\&\quad =-i\hbar \left[ \frac{1}{2}\left( T^{\alpha }\partial _{\alpha }+\partial _{\alpha }T^{\alpha }+\varGamma _{\alpha }T^{\alpha }\right) \right. \nonumber \\&\qquad \left. -\,i\varpi \left( \partial _{\alpha }T^{\alpha }+\varGamma _{\alpha }T^{\alpha }\right) \right] . \end{aligned}$$(131) -
III.
A coordinate representation for the momentum operator follows from (131) when \(T^{\alpha }=\delta _{\mu }^{\alpha }\),
$$\begin{aligned} \left[ Q_{[\omega ] }\left( p_{\mu }\right) \right] _{x}=\left( \hat{p}_{\mu }\right) _{x}=-i\hbar \left[ \partial _{\mu }+\left( \frac{1}{2} -i\varpi \right) \varGamma _{\mu }\right] ,\nonumber \\ \end{aligned}$$(132)which is consistent with Eq. (118). Using the substitution
$$\begin{aligned} \frac{\partial }{\partial x^{\mu }}\rightarrow \frac{i}{\hbar }\hat{p}_{\mu }-\left( \frac{1}{2}-i\varpi \right) \varGamma _{\mu }\left( \hat{x}\right) ,\quad x^{\mu }\rightarrow \hat{x}^{\mu },\nonumber \\ \end{aligned}$$(133)we always can pass from the coordinate representation to a representation in terms of abstract operators \(\hat{x}\) and \(\hat{p}_{\alpha }\). Doing this in Eq. (131), we obtain
$$\begin{aligned} Q_{[\omega ] }\left( T^{\alpha }(x) p_{\alpha }\right)= & {} \frac{1}{2}\left[ T^{\alpha }\left( \hat{x}\right) \hat{p}_{\alpha }+\hat{p}_{\alpha }T^{\alpha }\left( \hat{x}\right) \right] \nonumber \\&-\,\hbar \varpi \partial _{\alpha }T^{\alpha }\left( \hat{x}\right) . \end{aligned}$$(134) -
IV.
Let \(F(x,p) =g^{\mu \nu }(x) p_{\mu }p_{\nu }=p^{2}\). In fact, we deal here with a free particle Hamiltonian written in arbitrary coordinates. We can use Eq. (128) to find a coordinate representation,
$$\begin{aligned}&\left[ Q_{[\omega ] }\left( g^{\mu \nu }(x) p_{\mu }p_{\nu }\right) \right] _{x}=-\hbar ^{2}\left( \omega _{0}^{2}g^{\mu _{1}\mu _{2}}\nabla _{\mu _{1}}\nabla _{\mu _{2}}\right. \nonumber \\&\qquad \left. +\,\omega _{1}^{2}\nabla _{\mu _{1}}g^{\mu _{1}\mu _{2}}\nabla _{\mu _{2}}+\omega _{2}^{2}\nabla _{\mu _{1}}\nabla _{\mu _{2}}g^{\mu _{1}\mu _{2}}\right) \\&\quad =-\hbar ^{2}\left( \omega _{0}^{2}+\omega _{1}^{2}+\omega _{2}^{2}\right) g^{-1/2}\partial _{\mu }g^{1/2}g^{\mu \nu }\partial _{\nu }. \end{aligned}$$Since the covariant derivative of the metric tensor is zero, we obtain
$$\begin{aligned}&g^{\mu \nu }\nabla _{\mu }\nabla _{\nu }=\nabla _{\mu }\nabla _{\nu }g^{\mu \nu }\nonumber \\&\quad \quad =\nabla _{\mu }g^{\mu \nu }\nabla _{\nu }=g^{-1/2}\partial _{\mu }g^{1/2}g^{\mu \nu }\partial _{\nu }, \end{aligned}$$(135)where, in the rhs of Eq. (135), we recognize the Laplace–Beltrami operator. Then, taking into account property (59) of the coefficients \(\omega _{k}^{n}\), we finally obtain the following result:
$$\begin{aligned} \left[ Q_{[\omega ] }\left( g^{\mu \nu }(x) p_{\mu }p_{\nu }\right) \right] _{x}=-\hbar ^{2}g^{-1/2}\partial _{\mu }g^{1/2}g^{\mu \nu }\partial _{\nu },\nonumber \\ \end{aligned}$$(136)which is independent of the function \(\omega (\theta )\). Thus, the covariant quantization of the free particle Hamiltonian in the coordinate representation is unique and, therefore, is also unique in the abstract representation. Using the relation \(\varGamma _{\mu }=\partial _{\mu }\ln \left( \sqrt{g} \right) ,\) see (252), Eq. (132) can be rewritten as
$$\begin{aligned} \left( \hat{p}_{\mu }\right) _{x}=-i\hbar g^{-1/4}\mathrm{e}^{i\varpi g^{1/2}}\partial _{\mu }g^{1/4}\mathrm{e}^{-i\varpi g^{1/2}}, \end{aligned}$$(137)which implies the inverse relation
$$\begin{aligned} \partial _{\mu }=\frac{i}{\hbar }g^{1/4}\mathrm{e}^{-i\varpi g^{1/2}}\left( \hat{p} _{\mu }\right) _{x}g^{-1/4}\mathrm{e}^{i\varpi g^{1/2}}. \end{aligned}$$(138)Substituting this relation into (136) together with the trivial substitution \(x^{\mu }\rightarrow \hat{x}\), we obtain a quantization of the function \(g^{\mu \nu }(x) p_{\mu }p_{\nu }\) in terms of abstract operators \(\hat{x}\) and \(\hat{p}_{\alpha }\),
$$\begin{aligned}&Q_{[\omega ] }\left( g^{\mu \nu }(x) p_{\mu }p_{\nu }\right) \nonumber \\&\quad =\mathrm{e}^{-i\varpi g^{1/2}}g^{-1/4} \hat{p}_{\mu }g^{1/2}g^{\mu \nu }\hat{p }_{\nu }g^{-1/4}\mathrm{e}^{i\varpi g^{1/2}}. \end{aligned}$$(139) -
V.
Let \(F(x,p) =T^{\mu \nu }p_{\mu }p_{\nu }\) with \(T^{\mu \nu }= \frac{1}{2}\left( \delta _{\alpha }^{\mu }\delta _{\beta }^{\nu }+\delta _{\beta }^{\mu }\delta _{\alpha }^{\nu }\right) ,\) i.e., \(F=p_{\alpha }p_{\beta }\). Let us consider cases when functions \(\omega (\theta ) \) are real. In particular, the Weyl and Born–Jordan orderings belong to such cases. For real \(\omega (\theta ),\) coefficients \(\omega _{k}^{n}\) (57) satisfy the relation \(\omega _{k}^{n}=\omega _{n-k}^{n}\). Thus,
$$\begin{aligned}&\left[ Q_{[\omega ] }\left( p_{\alpha }p_{\beta }\right) \right] _{x}=\left( -i\hbar \right) ^{2}\left( \omega _{0}^{2}T^{\mu \nu }\nabla _{\mu }\nabla _{\nu }\right. \nonumber \\&\qquad +\,\omega _{1}^{2}\nabla _{\mu }T^{\mu \nu }\nabla _{\nu } \left. +\omega _{2}^{2}\nabla _{\mu }\nabla _{\nu }T^{\mu \nu }\right) \nonumber \\&\quad =\left( -i\hbar \right) ^{2}\left[ \omega _{0}^{2}\left( T^{\mu \nu }\nabla _{\mu }\nabla _{\nu }+\nabla _{\mu }\nabla _{\nu }T^{\mu \nu }\right) \right. \nonumber \\&\qquad \left. +\,\omega _{1}^{2}\nabla _{\mu }T^{\mu \nu }\nabla _{\nu }\right] ,\quad 2\omega _{0}^{2}+\omega _{1}^{2}=1. \end{aligned}$$(140)Operators that contain covariant derivatives are calculated separately here:
$$\begin{aligned}&T^{\mu \nu }\nabla _{\mu }\nabla _{\nu }=\partial _{\alpha }\partial _{\beta }-\varGamma _{\alpha \beta }^{\rho }\partial _{\rho },\nonumber \\&\quad \nabla _{\mu }T^{\mu \nu }\nabla _{\nu }=\partial _{\alpha }\partial _{\beta }+\frac{1}{2}\left( \varGamma _{\alpha }\partial _{\beta }+\varGamma _{\beta }\partial _{\alpha }\right) , \nonumber \\&\nabla _{\mu }\nabla _{\nu }T^{\mu \nu }=\partial _{\alpha }\partial _{\beta }+\partial _{\rho }\varGamma _{\alpha \beta }^{\rho }+\varGamma _{\rho }\varGamma _{\alpha \beta }^{\rho }+\varGamma _{\alpha }\varGamma _{\beta }\nonumber \\&\qquad +\,\partial _{\beta }\varGamma _{\alpha } +\left( \varGamma _{\alpha }\partial _{\beta }+\varGamma _{\beta }\partial _{\alpha }\right) . \end{aligned}$$(141)Here we have taken into account that \(\partial _{\alpha }\varGamma _{\beta }=\partial _{\beta }\varGamma _{\alpha }\). Substituting (141) into (140), we obtain
$$\begin{aligned}&\left[ Q_{[\omega ] }\left( p_{\alpha }p_{\beta }\right) \right] _{x}=-\hbar ^{2}\left[ \partial _{\alpha }\partial _{\beta }+\frac{1}{2} \left( \varGamma _{\alpha }\partial _{\beta }+\varGamma _{\beta }\partial _{\alpha }\right) \right. \nonumber \\&\quad +\left. \omega _{0}^{2}\left( \partial _{\beta }\varGamma _{\alpha }+\partial _{\rho }\varGamma _{\alpha \beta }^{\rho }+\varGamma _{\rho }\varGamma _{\alpha \beta }^{\rho }+\varGamma _{\alpha }\varGamma _{\beta }\right) \right] . \end{aligned}$$(142)
To obtain a representation for \(Q_{[\omega ] }\left( p_{\alpha }p_{\beta }\right) \) in terms of abstract operators \(\hat{x}\) and \(\hat{p} _{\alpha }\), we have to use substitutions (133) into (142), taking into account that \(\varpi =0\) since \(\omega (\theta ) \) is real in the case under consideration. Thus,
For the Weyl quantization, \(\omega _{0}^{2}=\frac{1}{4}\), and the latter expression takes a simple form:
where the Ricci tensor \(R_{\alpha \beta }=\partial _{\rho }\varGamma _{\alpha \beta }^{\rho }-\partial _{\beta }\varGamma _{\alpha }+\varGamma _{\rho }\varGamma _{\alpha \beta }^{\rho }-\varGamma _{\alpha \sigma }^{\rho }\varGamma _{\beta \rho }^{\sigma }\) was set to zero since the configuration space is a plane in the case under consideration.
4 Covariant quantizations in curved spaces
4.1 A minimal generalization of quantizations in flat spaces to curved spaces
In this section, we construct a class of covariant quantizations already in curved spaces. For simplicity we consider Riemannian spaces which can be covered by a unique coordinate systems \(K_{x}\) that generate coordinate x with metric tensors \(g_{\mu \nu }(x).\) First, in this section, we construct a class of quantizations \({\mathbf {Q}}_{[\omega ] }(F),\) which is, in fact, a direct generalization of the quantizations \(Q_{[\omega ] }(F) \) to the curved space case. Such a generalization can be called minimal and is parametrized by the same function \(\omega (\theta ).\) We prove its consistency and covariance under general coordinate transformations. Then in Sect. 4, we construct an extended class \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }(F) \) of quantizations in a curved space, which is already parametrized by the function \(\omega (\theta ) \) and a new function \(\varTheta (x,\xi ).\) This class is a generalization of the quantizations \({\mathbf {Q}}_{[\omega ] }(F) \) and incudes these quantizations as a particular case at \( \varTheta =1\). We present a rather nontrivial prove of the consistency and covariance of this class of quantizations under general coordinate transformations.
We note that consideration and definitions of Sect. 1.2 are fully applicable to the case under consideration. We use also definitions (118) and (121) literally in the case of a curved space with corresponding connections \(\varGamma _{\alpha \beta }^{\mu }(x) \).
One can easily verify the construction (121) is consistently defined for arbitrary metric even for any curved space metric. In particular, the important ingredient part of this construction, is the exponential function, which is defined in Appendix A.3 in arbitrary Riemannian space. Thus, we may suppose that a covariant quantization in any curved space is given by Eq. (121) with the metric tensor and all the ingredient constructions corresponding to such a space. To justify this supposition, we have to verify the consistency and the covariance of such a quantization. For definiteness, we write this quantization explicitly,
where \(\hat{D}\left( x,\xi ,\omega \right) \) is given by Eq. (121). In fact, as in the plane space case, Eq. (145) represents a family of operators parametrized by a normalized function \(\omega (\theta ) \) (see Eq. (46)), introduced in Sect. 2.2.
Similar to the plane space case, one can verify that quantization (145) is hermitian if \(\omega (\theta ) =\omega ^{*}\left( -\theta \right) .\)
In the same manner as in the plane space case (see Sect. 2.1.1), one can verify that quantization (145) satisfies the properties
Let us consider the quantization \({\mathbf {Q}}_{[\omega ] }(F(x,p)),\) where \(F(x,p) =T^{\mu _{1}\cdots \mu _{n}}(x) p_{\mu _{1}}\cdots p_{\mu _{n}}\) is homogeneous polynomial. We assume that the quantization (145) satisfies Eq. (122). Therefore, we have to calculate derivatives in \(\xi \) of the quantity \( \hat{D}\left( x,\xi ,\omega \right) ,\)
Using Eqs. (247) and (276) from Appendix A.3, we obtain
Then, taking into account the properties of coefficients (55), and the total symmetry of \(T^{\mu _{1}\cdots \mu _{n}}\) in the upper indices, we represent the quantity (147) as follows:
Using definition (57) of coefficients \(\omega _{k}^{n}\), we find
The above results allow us to write
In the coordinate representation, we have
The quantity \(I\left( x,y\right) \) can be written as
The first term in the right hand side of (153) is a covariant divergence which vanishes at infinity due to the presence of a delta function. Thus, the integral in the right hand side of Eq. (152) is zero. Similarly, we can transform the second term in the right hand side of (153) and so on. Finally, we obtain
A coordinate representation for the momentum operator follows from (154) when \(T^{\alpha }=\delta _{b}^{\alpha }\),
This result is similar to the one (132) in the case of a flat space.
Comparing (155) with Eq. (118), which, as was mentioned above, holds true in any curved space, we obtain
where \(\hat{p}_{a}\) is the momentum operator in the abstract representation.
4.1.1 Verification of the covariance
Let us consider a coordinate change \(x^{\prime }=\varphi (x) \). Due to the property \({\mathbf {Q}}_{[\omega ] }\left( F(x) \right) =F\left( \hat{x}\right) ,\) first equation of (18) remains equal to Eq. (97),
Equation (134) follows only from Eq. (154) and definition (118), which still holds true in curved spaces. Taking into account the commutation relations between \(\hat{x}^{\mu }\) and \(\hat{p}_{\mu }\), it can be written as
Setting \(T^{\alpha }=\frac{\partial x^{\alpha }}{\partial x^{\prime \mu }} \left( \varphi (x) \right) \), we obtain
Thus, taking into account (97), the second equation (18) takes the form
Let us suppose that vectors \(\left| x\right\rangle \in \mathfrak {H}\) satisfy conditions (118), which are necessary for the definition of the quantity \(\hat{D}\left( x,\xi ,\omega \right) \) by (121), and the consider vectors \(\left| x^{\prime }\right\rangle ^{\prime }=U\left| x\right\rangle \in \mathfrak {H}^{\prime }\). Following the same method as used in Eqs. (107) and (108), one can demonstrate that Eq. (97) and the unitarity of U guarantee that Eq. (118) holds true for \(\left| x^{\prime }\right\rangle ^{\prime }\). Indeed, one can write
Using (160), we may write
where \(\varGamma _{\mu }^{\prime }\left( x^{\prime }\right) =\varGamma _{\rho \mu }^{\prime \rho }\) is the contraction of the Levi-Civita connections in the reference frame \(K_{x^{\prime }}\).
Thus, vectors \(\left| x^{\prime }\right\rangle ^{\prime }=U\left| x\right\rangle \in \mathfrak {H}^{\prime }\) satisfy Eq. (118), which define these vectors up to a global phase and, therefore, define the operator \(\hat{D}^{\prime }\left( x^{\prime },\xi ^{\prime },\omega \right) \) in \(\mathfrak {H}^{\prime }\) as follows:
According to property (269) of the exponential function (see Appendix A.3), we have
Using definition (145), the variable changes \(x^{\prime }=\varphi (x) \) and \(\xi ^{\prime }=\frac{\partial x^{\prime }}{\partial x} \xi \), and the transformation law for the Fourier transform (114), we can calculate the operator \(U{\mathbf {Q}}_{[\omega ] }(F) U^{\dagger }\) to be
The latter formula demonstrates the covariance of the quantization \(\mathbf {Q }_{[\omega ] }(F).\)
4.1.2 Matrix elements and symbols of operators
Results of this section will be used in proving the validity of the correspondence principle for general class of quantizations in curved space constructed in Sect. 5. Since the quantizations \({\mathbf {Q}}_{[\omega ] }(F) \) represent a part of this general class, the correspondence principle will be proved for the quantization \({\mathbf {Q}} _{[\omega ] }(F) \) as well.
First we calculate matrix elements of operators \({\mathbf {Q}}_{[\omega ] }(F) \) with respect to the basis \(\left| x\right\rangle _{\varpi }\) which is defined by Eq. (118). To this end, we have to calculate matrix elements of the operator \(\hat{D}\left( x,\xi ,\omega \right) \) given by Eq. (121),
The product of delta functions under the integral sign in the right hand side of (163) can be written as
where \(\left( y,z\right) \in \mathbb {R}^{2D}\) and the function \(\varPhi _{\theta }:\mathbb {R}^{2D}\rightarrow \mathbb {R}^{2D}\) reads
Using composition law (267), we find
Function (165) can be expressed via the geodesic flux \(T_{-\theta }(x,\xi ) \) (265) as follows:
This allows one to represent matrix elements (163) of the operator \( \hat{D}\left( x,\xi ,\omega \right) \) in the form
Let us use a well-known property of the delta function,
where \(r_{k}\) are roots of the equation \(f(x) =0\), in the case under consideration, we need to find roots of the equation \(\varPhi \left( T_{-\theta }(x,\xi ) \right) =\left( y,z\right) \). We note that the latter equation is equivalent to the set
Due to the property (266), the second equation of this set has immediate solution \((x,\xi ) =T_{\theta }\left( \bar{x},\bar{\xi } \right) \) (Fig. 1). Solutions of the first equation are in one-to-one correspondence with geodesic lines which relate points y and z. Indeed, let \(K\left( \tau \right) \) be a geodesic line with \(K\left( 0\right) =y\) and \(K\left( 1\right) =z\). Therefore \(\gamma \left( y,\zeta \right) =z\) with \(\zeta =\dot{ K}\left( 0\right) \), and the length of the vector \(\zeta \) is equal to the length (255) of the line K i.e., \(g_{\mu \nu }\left( y\right) \zeta ^{\mu }\zeta ^{\nu }=S\left[ K\right] \). If we choose \(\bar{x} =\gamma \left( y,\zeta /2\right) \) and \(\bar{\xi }=2\beta \left( y,\zeta /2\right) \), then, according to the composition law (267), we obtain
Thus, \(\bar{x}\) is the middle point of the geodesic line K, and \(\bar{\xi }\) is a tangent vector to K in the point \(\bar{x}\) in the z-direction (see Fig. 2 in Appendix A.3).
According to Eq. (261), \(g_{\mu \nu }\left( \bar{x}\right) \bar{\xi } ^{\mu }\bar{\xi }^{\nu }=S\left[ K\right] \). On the other side, if \(\varPhi \left( \bar{x},\bar{\xi }\right) =\left( y,z\right) \), we define \(\zeta =-2\beta \left( \bar{x},\frac{-1}{2}\bar{\xi }\right) \). For the geodesic line \(K\left( \tau \right) =\gamma \left( y,\tau \zeta \right) ,\) we have \( K\left( 0\right) =\gamma \left( y,0\right) =y\) and according to the composition law (267),
which means that the geodesic line \(K\left( \tau \right) \) relates points y and z. Thus, if there exist n geodesic lines \(K_{\left( 1\right) },\ldots , K_{\left( n\right) }\) (with middle points \(\bar{x}_{\left( 1\right) },\ldots ,\bar{x}_{\left( n\right) }\) and tangent vectors \(\bar{\xi }_{\left( 1\right) },\ldots , \bar{\xi }_{\left( n\right) })\) that relate points y and z, then there exist n solutions \(T_{\theta }\left( \bar{x}_{\left( 1\right) },\bar{\xi }_{\left( 1\right) }\right) ,\ldots , T_{\theta }\left( \bar{x}_{\left( n\right) },\bar{\xi }_{\left( n\right) }\right) \) of the equation \(\varPhi \left( T_{-\theta }(x,\xi ) \right) =\left( y,z\right) \).
Then we need to calculate a Jacobian of the composed function \(\varPhi \left( T_{-\theta }(x,\xi ) \right) -\left( y,z\right) \). Since \(\left( y,z\right) \) is constant, the determinant reads
In these calculations, we have used a Jacobian of the geodesic flux found in Appendix A.5. Thus, taking into account the relations
we obtain
where a function \(\mathscr {M}(x,\xi ) \) is introduced,
We recall that
Using (170) in Eq. (168), we obtain
According to definition (145), we calculate matrix elements of \( {\mathbf {Q}}_{[\omega ] }(F) \) taking into account Eq. (172) and the relation
Finally, we obtain
4.1.3 Polynomial functions
The general formula (173), which is valid for any function F(x, p) , turns out to be simple enough if F(x, p) is a polynomial in p. In this case,
is a distribution with the support \(\xi =0\). Then
is always zero unless the equation
is possible. Between all the geodesic lines that relate y and z, the only minimal geodesic line \(C_{yz}\) satisfies this property (see Sect. A.4) when \(y\rightarrow z\). Thus, if F is a polynomial, the sum in (173) is reduced to one unique term, which corresponds to the minimal geodesic line, and we obtain
where \(\bar{x}=\bar{x}\left( y,z\right) \) and \(\bar{\xi }=\bar{\xi }\left( y,z\right) \) are a middle point and a tangent vector of the minimal geodesic line \(C_{yz}\).
Let us consider only functions that are polynomials in p. Taking into account that the Fourier transformation \(F\rightarrow \tilde{F}\) acts on the variable p only, Eq. (174) can be written as
Here, and in what follows, we often use the following notation for the partial Fourier transform \(\tilde{A}(x,\xi ) \) of a function A(x, p):
If we set \(\omega (\theta ) =\delta (\theta ) \) in \( {\mathbf {Q}}_{[\omega ] }(F) \), we obtain a minimal generalization of the Weyl quantization to the curved space case,
In this case \(\varpi =0\), according to Eq. (98). Then, taking into account that for the geodesic flux the relation \(T_{0}\left( \bar{x},\bar{\xi }\right) =\left( \bar{x},\bar{\xi }\right) \) holds true, the matrix elements of the minimal generalization of the Weyl quantization to the curved space case has the form
According to Sect. 2.6, a function \(F_{\varOmega }(x,p) \) is the \(\varOmega \)-symbol of the operator \(\hat{F}\) if \(\hat{F}=Q_{\varOmega }\left( F_{{\varOmega }}\right) ,\) see Eq. (5). Following this notational logic, the function \(F_{[\omega ] }(x,p) \) is \([\omega ] \)-symbol of the operator is \(\hat{F}\), if \(\hat{F}= {\mathbf {Q}}_{[\omega ] }\left( F_{[\omega ] }\right) \). Equations (175) and (177) relate matrix elements of an operator \(\hat{F}\) with its \([\omega ] \)-symbols and its \( \mathrm {w}\)-symbols \(F^{\mathrm {w}}\) as
where \(\bar{x}=\bar{x}\left( y,z\right) \) and \(\bar{\xi }=\bar{\xi }\left( y,z\right) \) are a middle point and a tangent vector of the minimal geodesic line that connects y and z. It follows from Eq. (119) that
Taking into account that \(y=\gamma \left( \bar{x},\frac{-1}{2}\bar{\xi } \right) \) and \(z=\gamma \left( \bar{x},\frac{1}{2}\bar{\xi }\right) \), we obtain a relation between \([\omega ] \)-symbols and \(\mathrm {w}\)-symbols,
where
and the expansion of \(\ln \sqrt{g\left( \gamma \left( x,\pm \frac{1}{2}\xi \right) \right) }\) was derived with the help of Eq. (278).
Below, we decompose the latter quantity (181) in a power series with respect to the Planck constant \(\hbar \). To this end, we consider a partial Fourier transform \(\tilde{A}(x,\xi ) \) (given by Eq. (83)) of a function A(x, p). Using Eq. (264), we calculate the derivative
According to Eq. (83), the multiplication of \(\tilde{A}\) by \(\xi ^{\mu }\) is equivalent to the action of the derivative \(-i\hbar \frac{\partial }{\partial p_{\mu }}\). Taking this into account, we can represent the term \(\partial _{\mu }\tilde{A}\left( x_{\theta },\xi _{\theta }\right) \xi _{\theta }^{\mu }\) as follows:
Similarly, the action of the derivative \(\frac{\partial }{\partial \xi ^{\mu }}\) on \(\tilde{A}\) corresponds to a multiplication \(\tilde{A}\) by \(-\frac{i}{ \hbar }p_{\mu }\). Therefore, the next term can be written as
Thus, the derivative (182) can be rewritten as
where the operator \(\varPi ^{\prime }\) is defined as follows:
Since the derivative in Eq. (183) is a function of \(T_{\theta }(x,\xi ) \), we obtain
Now we study the \({\mathbf {Q}}_{\left( \mathrm {w}\right) }\)-symbols (180). To this end, using the relation \(\partial _{\mu }g^{-1/2}=-g^{-1/2}\varGamma _{\mu }(x),\) which follows from Eq. (252), we write
where
With the help of Eq. (185), we derive the expansion
which allows one to obtain a power series with respect to the Planck constant \(\hbar \) for the \(\mathrm {w}\)-symbols (180),
where
see Eq. (45). Due to the fact that the partial Fourier transform is invertible, Eq. (187) implies
We note that the exponent (181) is an even function because an analytical extension of \(\varLambda _{\varpi }\) to imaginary argument \(\xi \) is real. Thus, Eq. (189) can be written as follows:
The normalization condition \(\omega ^{0}=1\) implies that \(\varOmega \left( 0\right) =1\), similarly to the plane space case. The operator \(\varvec{ \varPi }\) is a generalization of the operator (76) to the plane space.
4.2 An extended family of covariant quantizations in curved space
4.2.1 Definition of the general quantization
It follows from Eq. (175) and from the fact that \( \mathscr {M}(x,\xi ) =1\) in the plane space case, that in such a case
Thus, we can suppose that a possible generalization of the quantization \( {\mathbf {Q}}_{[\omega ] }\) (and of the quantization \(Q_{[\omega ] }\) as well) to a curved space case is a correspondence \( F(x,p) \rightarrow \hat{F}\) which has the same property (191) of its matrix elements. As a candidate for such a correspondence, we offer the one \({\mathbf {Q}}_{\left[ \omega ,\mathscr {\varTheta }\right] }(F),\) which is already parametrized not only by the previously introduced function \(\omega (\theta ),\) but by a new function \( \varTheta (x,\xi ).\) We define this correspondence by its matrix elements as
where the function \(\varTheta (x,\xi ) \) must have the following properties:
-
1.
\(\varTheta (x,\xi ) =1\) in the plane space case;
-
2.
\(\varTheta \) is transformed as a scalar under transformations (291);
-
3.
\(\varTheta \left( x,0\right) =1\);
-
4.
\(\varTheta (x,\xi ) \) is real and even with respect to the variable \(\xi \) (\(\varTheta (x,\xi ) =\varTheta \left( x,-\xi \right) \)).
Property 1. provides the first equality (191), which means that the quantization \({\mathbf {Q}}_{\left[ \omega ,\mathscr {\varTheta }\right] }(F) \) is a generalization of the quantization \(Q_{[\omega ] }(F) \). Property 2. is necessary to guarantee the covariance of \( {\mathbf {Q}}_{\left[ \omega ,\mathscr {\varTheta }\right] }(F) \) under general coordinate transformations. Properties 3. and 4. provide the consistency (in particular, the correct classical limit (the correspondence principle)) of the quantization \({\mathbf {Q}}_{\left[ \omega ,\mathscr {\varTheta } \right] }(F).\)
Using Eq. (118), we can restore an operator \({\mathbf {Q}}_{\left[ \omega ,\mathscr {\varTheta }\right] }(F) \) which corresponds to matrix elements (192),
In what follows, we call the quantization (193) the general covariant quantization.
One can see that the quantization \({\mathbf {Q}}_{[\omega ] }(F) \) is a particular case of the general covariant quantization \( {\mathbf {Q}}_{\left[ \omega ,\mathscr {\varTheta }\right] }(F) \) for \( \varTheta (x,\xi ) =1,\)
We define Weyl versions of the general covariant quantization, setting \( \omega (\theta ) =\delta (\theta ) \), similarly to Eq. (177), \({\mathbf {Q}}_{\left[ \delta (\theta ),\mathscr { \varTheta }\right] }={\mathbf {Q}}_{\left[ \mathscr {\varTheta }\right] }^{\mathrm {w}}\),
Thus, the general covariant quantization creates already a family (parametrized by the function \(\varTheta \)) of the corresponding Weyl quantizations.
Similar to the definitions introduced before, we say that \(F_{\left[ \omega ,\varTheta \right] }(x,p) \) is the \(\left[ \omega ,\varTheta \right] \)-symbol of the operator is \(\hat{F}\), if \(\hat{F}={\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }\left( F_{\left[ \omega ,\varTheta \right] }\right) \), and \(F_{ [\omega ] }^{\mathrm {w}}(x,p) \) is the \(\left[ \mathrm {w},\varTheta \right] \)-symbol of the operator is \(\hat{F}\), if \(\hat{F}={\mathbf {Q}} _{\left[ \mathscr {\varTheta }\right] }^{\mathrm {w}}\left( F_{\left[ \varTheta \right] }^{\mathrm {w}}\right) .\)
Comparing Eqs. (192) and (195) with (175) and (177), we see that a relation between the symbols \(F_{\left[ \omega ,\varTheta \right] }\) and \(F_{\left[ \varTheta \right] }^{\mathrm {w}}\) is the same as a relation between the symbols \(F_{[\omega ] }\) and \( F^{\mathrm {w}}\), i.e.,
Moreover, Eqs. (177) and (195) imply the following relations:
Thus, the symbol \(F^{\mathrm {w}}\) can be expressed via the symbol \(F_{\left[ \omega ,\varTheta \right] }\) as follows:
Equation (190) allows us to express the symbol \(F_{[\omega ] }\) via the symbol \(F_{\left[ \omega ,\varTheta \right] },\)
According to Eq. (6), we have the equality \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }\left( F_{\left[ \omega ,\varTheta \right] }\right) = {\mathbf {Q}}_{[\omega ] }\left( F_{[\omega ] }\right) , \) which allows us to relate the quantizations \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }\) and \({\mathbf {Q}}_{[\omega ] }\) as
We use this relation to verify the basic properties of the quantization \( {\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }(F).\)
The operator \(\varOmega \left( -\hbar \varvec{\varPi }\right) \) is real, therefore \(\varvec{\varPi }\) is real as well. Then Eqs. (48) and (45) imply that the function \(\varOmega (k) \) is real. Since \(\varTheta (x,\xi ) \) is even in the variable \(\xi \), the operator \( \varTheta ( x,-i\hbar \frac{\partial }{\partial p})\) is real as well. Moreover, if F is real then the function \([ \varOmega (-\hbar \varvec{\varPi })]^{-1}\varTheta (x,-i\hbar \frac{ \partial }{\partial p})\varOmega (-\hbar \varvec{\varPi })F \) is also real. Then it follows from Eq. (200) and from the hermiticity of the quantization \({\mathbf {Q}}_{[\omega ] }\) that the operator \({\mathbf {Q}}_{[\omega ,\varTheta ]}(F) \) is self-adjoint which means, in our terminology, that the quantization \({\mathbf {Q}}_{[\omega ,\varTheta ]}(F) \) is hermitian.
Let us consider a function \(F=F(x).\) Then \(\varvec{\varPi } F=0,\) according to definition (186). Taking into account that \(\varOmega \left( 0\right) =1\), see Eq. (46), and the property \(\varTheta \left( x,0\right) =1\), we have
Then, as follows from Eq. (200),
Let us consider a polynomial \(T^{\mu }(x) p_{\mu }\). Then it follows from Eq. (186) that \(\varOmega \left( -\hbar \varvec{\varPi } \right) \left( T^{\mu }(x) p_{\mu }\right) \) is a polynomial of the same structure. Due to the properties of the function \(\varTheta (x,\xi ),\) it has the form \(\varTheta (x,\xi ) =1+O\left( \xi ^{2}\right) \), which implies the relation
Then it follows from Eq. (200) that
In particular,
4.2.2 Verification of the covariance
Taking into account definition (192) of the quantization \({\mathbf {Q}}_{ \left[ \omega ,\varTheta \right] }(F) \) and definition (265 ) of the geodesic flux, we can write
where \(\bar{x}=\bar{x}\left( y,z\right) \) and \(\bar{\xi }=\bar{\xi }\left( y,z\right) \) are a middle point and a tangent vector of the minimal geodesic line that connects y and z. Using the transformation (114), we can write
Then taking into account transformation properties (269) and (270) of the exponential function, and the fact that \(\varTheta \) is a scalar, we obtain
where \(\bar{x}^{\prime }=\varphi \left( \bar{x}\right) \) and \(\bar{\xi } ^{\prime }=\frac{\partial x^{\prime }}{\partial x}\left( \bar{x}\right) \xi \). According to (269),
and, therefore, \(\bar{x}^{\prime }\) and \(\bar{\xi }^{\prime }\) are a middle point and a tangent vector of the minimal geodesic line that connects \( y^{\prime }\) and \(z^{\prime }\) in the reference frame \(K_{x^{\prime }}\). One can see that the last term in Eq. (205) is the matrix element (192) in such a reference frame. Thus, we have the equality
Now we have to determine which form Eq. (18) takes for the general quantization \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }\). We recall that these equations define a linear transformation \(U:\mathfrak {H}\rightarrow \mathfrak {H}^{\prime }\). The property \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }\left( F(x) \right) =F\left( \hat{x}\right) ,\) derived in the previous section, shows that the first equation of (18) has the same form as (157). It follows from Eq. (203) that (160) holds true for the second equation of (18). As in Sect. 4.2, this fact means that if vectors \(\left| x\right\rangle \in \mathfrak {H}\) satisfy Eq. (118), then vectors \(\left| x^{\prime }\right\rangle ^{\prime }=\left| \varphi (x) \right\rangle ^{\prime }=U\left| x\right\rangle \in \mathfrak {H}^{\prime }\) will satisfy similar equations in the reference frame \(K_{x^{\prime }}\).
Now we calculate the operator \(U{\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }(F) U^{\dagger }\) using Eq. (193) and the relation \( U\left| x\right\rangle =\left| \varphi (x) \right\rangle ^{\prime }\),
In the course of this calculation, we have used the variable change \(y^{\prime }=\varphi \left( y\right) \) and \(z^{\prime }=\varphi \left( z^{\prime }\right) \) and the equality \(\sqrt{g}\mathrm{d}x=\sqrt{g^{\prime }} \mathrm{d}x^{\prime }\). Equation (206) justifies the covariance of the general quantization \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }(F).\)
4.2.3 Correspondence principle
According to definition (195), a matrix element of an operator \(\hat{F} ={\mathbf {Q}}_{\left[ \mathrm {w},\mathscr {M}\right] }\left( F_{\left[ \mathscr { M}\right] }^{\mathrm {w}}\right) \) is related to his \(\left[ \mathrm {w}, \mathscr {M}\right] \)-symbol \(F_{\left[ \mathscr {M}\right] }^{\mathrm {w}}\) as
The \(\left[ \mathrm {w},\mathscr {M}\right] \)-star product satisfies the relation
\({\mathbf {Q}}_{\left[ \mathrm {w},\mathscr {M}\right] }\left( F_{\left[ \mathscr {M}\right] }^{\mathrm {w}}*G_{\left[ \mathscr {M}\right] }^{ \mathrm {w}}\right) =\hat{F}\hat{G},\) which implies
It follows from the completeness of the states \(\left| x\right\rangle ,\) see (118), that
Therefore, we can obtain the following relation:
Let us find an expansion of the \(\left[ \mathrm {w},\varTheta \right] \)-star product in powers of \(\hbar \). If \(x=\bar{x}\left( y,z\right) \) and \(\xi = \bar{\xi }\left( y,z\right) ,\) then \(y=\gamma \left( x,\frac{-1}{2}\xi \right) \) and \(z=\gamma \left( x,\frac{1}{2}\xi \right) \). According to expansion (278), we have
If A(x, p) is an arbitrary function, then it follows from Eq. (208) that
Equation (209) between \(l^{\mu }\) and \(\xi ^{\mu }\) can be inverted,
and used in Eq. (210),
Thus, we obtain
Taking into account definitions (208) and (209), we rewrite Eq. (207) as
In terms of new variables \(\eta =w-y\), \(\zeta =z-w\), the integrand in (211) can be written as
Then using the equalities
and the equation \(\partial _{\mu }(g^{-1/2}F) =g^{-1/2}(\partial _{\mu }F-\varGamma _{\mu }F),\) which can be derived from Eq. (252), we transform the l.h.s. of Eq. (212) to the following form:
Thus, integral (211) can be represented as a sum of three integrals,
One can see that all integrals in (213) have the same structure,
Now we calculate the first terms of the expansion of the typical integral (214) in powers of \(\hbar \). For simplicity, let us suppose that we deal with polynomial functions in their arguments. Then one can write
such that
From Eq. (252) one can derive the following relations:
which, being used in Eq. (215), result in the representation
Decompositions of operators in the r.h.s. of (216) in a power series with respect to \(\hbar \) have the form
Then, taking into account that
we obtain
Using this result, we obtain decompositions of integrals (213) in powers of \(\hbar \) up to second power terms,
Finally, we get
Equation (220) implies that the \(\left[ \mathrm {w},\varTheta \right] \) -star product satisfies two conditions,
which means that for the quantization \({\mathbf {Q}}_{\left[ \mathrm {w},\varTheta \right] }\) the correspondence principle holds true; see Eq. (7).
It follows from Eqs. (197) that
Therefore,
with \(\mathscr {G}_{\alpha \beta }(x) =\mathscr {G}_{\beta \alpha }(x) \). The form of the decomposition of the function \(\mathscr {G }(x,\xi ) \) stems from the fact that \(\mathscr {M}\) and \(\varTheta \) have the same structure. The latter relation is useful to transform the \(\left[ \mathrm {w},\varTheta \right] \)-star products.
Let \(F_{\left[ \varTheta \right] }^{\mathrm {w}},\) \(F_{\left[ \mathscr {M}\right] }^{\mathrm {w}},\) \(G_{\left[ \varTheta \right] }^{\mathrm {w}},\) and \(G_{\left[ \mathscr {M}\right] }^{\mathrm {w}}\) be the corresponding symbols of \(\hat{F}\) and \(\hat{G}\) operators, then
We have the inverse relations
allowing us to find
Using expansion (222) for \(\mathscr {G}(x,\xi ),\) we obtain
Substituting approximation (220) in this equation, we obtain
Therefore,
Thus, the \(\left[ \mathrm {w},\varTheta \right] \)-star product satisfies properties (221), which means that the correspondence principle holds true for the quantization \({\mathbf {Q}}_{\left[ \mathrm {w},\varTheta \right] }(F).\)
Equation (196) can be written as
As follows from Eq. (188), the function \(\varOmega (k) \) has the expansion \(\varOmega (k) =1+\varpi k+O\left( k^{2}\right) \). Then Eqs. (186) and (181) imply
Now we can relate \(\left[ \mathrm {w},\varTheta \right] \)- and \(\left[ \omega ,\varTheta \right] \)-star product in the same manner as the related w -star product and \(\left[ \mathrm {w},\varTheta \right] \)-star product,
With the help of representations (223), we rewrite (224) as
In this formula, we use the approximation
to obtain
The quantity in the square brackets in the r.h.s. of Eq. (225) is symmetric with respect to the permutation of F e G. Therefore \(\left[ \omega ,\varTheta \right] \)-star products of \(\left[ \omega ,\varTheta \right] \) -symbols satisfy conditions (7), which proves the correspondence principle for all the family of quantizations \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }(F),\) in particular, for the quantizations \( {\mathbf {Q}}_{[\omega ] }(F) ={\mathbf {Q}}_{\left[ \omega ,1\right] }(F).\)
5 Some physical applications
5.1 Quantization of a particle in a spherically symmetric field
Let us start with the classical Hamiltonian of a particle moving in a spherically symmetric field, written from the beginning in polar coordinates \(\left( x^{\prime 1},x^{\prime 2},x^{\prime 3}\right) =\left( r,\theta ,\varphi \right) \),
According to Eq. (136), the quantization \(Q_{[\omega ] }\) of the homogeneous polynomial \(H^{\mathrm {P}}\left( r,\theta ,\varphi \right) \) does not contain any ambiguity and reads
This is just Hamiltonian (13). As was already said, its kinetic part is proportional to the Laplace–Beltrami operator, \(g^{-1/2}\partial _{\mu }g^{1/2}g^{\mu \nu }\partial _{\nu }.\)
5.2 Quantization of a non-relativistic particle in curved space
Consider here a quantization \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }(H) \) of the non-relativistic particle Hamiltonian H
in a curved space with a metric tensor \(g^{\mu \nu }(x) \) – see the discussion in Sect. 1.
This quantization can be done according to Eq. (200). We now present the corresponding calculations.
It turns out that the operator \(\varvec{\varPi }\) (186) annihilates the classical function H,
In these calculations, we have used Eq. (252) for the Christoffel symbols. Thus, taking into account initial condition (27), we obtain
According to properties assumed for the function \(\varTheta (x,\xi ) \) (see Sect. 4.2), its expansion in powers of \(\xi \) has the form
This expansion implies the following exact result:
where R(x) is the scalar curvature.
Taking into account that \(\varvec{\varPi }\left( \varTheta _{\alpha \beta }(x) g^{\alpha \beta }(x) \right) =0\), since \(\varTheta _{\alpha \beta }(x) g^{\alpha \beta }(x) \) does not depend on p, we finally calculate \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }(H) \) via \({\mathbf {Q}}_{[\omega ] }(H)\) using definition (200):
Since \({\mathbf {Q}}_{[\omega ] }\left( F(x) \right) =F\left( \hat{x}\right) \), we finally obtain
Thus, applying the general covariant quantization (200) to the non-relativistic particle Hamiltonian, we obtain the Laplace–Beltrami operator as the kinetic part of the quantum Hamiltonian and the quantum potential term
which is as arbitrary as the tensor \(\varTheta _{\alpha \beta }(x) \). Equation (234) represents possible ambiguities in the quantization of the non-relativistic particle Hamiltonian.
If we choose \(\varTheta =\mathscr {M}\), where the function \(\mathscr {M}\) is given by its expansion (304), we obtain the quantum potential in one of its particular forms
where R(x) is the scalar curvature.
One can demonstrate that for any quantum potential of the form
where the function \(f\left( R\right) \) is almost arbitrary, there exists a covariant quantization \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }(H),\) which produces this potential, i.e.,
Indeed, the result (236) of the quantization corresponds to any \( \varTheta \) of the form
The only natural restriction of the function f(R) reads
We interpret the existence of the above ambiguity in the following way: The mathematical analysis shows that in principle there exist infinite possibilities to quantize a classical theory without violating the correspondence principle. The choice of a concrete quantization has to be made by a physicist on the basis of experimental observations.
6 Summary
-
1.
We have constructed a class \(Q_{[\omega ] }^{\mathrm {c} }(F) \) of quantizations in flat spaces and Cartesian coordinates parametrized by a function \(\omega (\theta ),\) \(\theta \in \mathbb {R}\). We have proved their consistence (which includes, in particular, verification of the correct classical limit-correspondence principle) and a covariance under coordinate transformations from the group \(O\left( r,s\right) \). We have demonstrated that commonly discussed quantizations, such that px and xp quantizations, the Weyl quantization and the Born–Jordan quantization, are particular cases of the constructed class for a specific choice of the function \(\omega (\theta ).\)
-
2.
Then we have generalized quantizations \(Q_{[\omega ] }^{ \mathrm {c}}(F) \) formulated in flat spaces in Cartesian coordinate systems to quantizations \(Q_{[\omega ] }(F) \) formulated also in flat spaces but already in arbitrary coordinate systems. We have proved that the latter quantizations are consistent and covariant under arbitrary coordinate transformations. Applying this quantization to the old problem of constructing quantum Hamiltonian in polar coordinates, we directly obtain a correct result.
-
3.
We have derived a coordinate representation for the quantization \(Q_{ [\omega ] }(F) \). Noteworthy are the following applications of these quantizations:
-
(i)
Quantization of the coordinate \(x^{\mu }\):
$$\begin{aligned} \left[ Q_{[\omega ] }\left( x^{\mu }\right) \right] _{x}=\left( \hat{x}^{\mu }\right) _{x}=x^{\mu }. \end{aligned}$$(239) -
(ii)
Quantization of the momentum \(p_{\mu }\):
$$\begin{aligned}&\left[ Q_{[\omega ] }\left( p_{\mu }\right) \right] _{x}=\left( \hat{p}_{\mu }\right) _{x}=-i\hbar \left[ \partial _{\mu }+\phi \varGamma _{\mu }\right] ,\ \nonumber \\&\quad \phi =\int _{-\infty }^{+\infty }\left( \theta +1/2\right) \omega (\theta ) \mathrm{d}\theta . \end{aligned}$$(240) -
(iii)
Quantization of the free non-relativistic particle Hamiltonian \(H=\frac{1 }{2m}g^{\mu \nu }(x) p_{\mu }p_{\nu }\) in a flat space:
$$\begin{aligned} \left[ Q_{[\omega ] }(H) \right] _{x}=-\frac{\hbar ^{2}}{2m}g^{-1/2}\partial _{\mu }g^{1/2}g^{\mu \nu }\partial _{\nu }. \end{aligned}$$(241)The latter result, (241), is independent of the function \(\omega (\theta ) \) and is therefore unique in any flat space.
-
(i)
-
4.
We have constructed a class of quantizations \({\mathbf {Q}}_{[\omega ] }(F) \), which is, in fact, a direct generalization of the quantizations \(Q_{[\omega ] }(F) \) to the curved space case. Such a generalization can be called minimal and is parametrized by the same function \(\omega (\theta ) \). We have proved its consistency and covariance under general coordinate transformations.
-
5.
Then we have constructed an extended class \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }(F) \) of quantizations in a curved space, which is already parametrized by the function \(\omega (\theta ) \) and a new function \(\varTheta (x,\xi ) \). This class is a generalization of the quantizations \({\mathbf {Q}}_{[\omega ] }(F) \) and includes the latter quantizations as a particular case at \(\varTheta =1\). We have presented a rather nontrivial proof of their consistency and their covariance under general coordinate transformations.
-
6.
In particular, it was interesting to apply the quantizations \({\mathbf {Q}}_{ \left[ \omega ,\varTheta \right] }(F) \) to the coordinate \(x^{\mu },\) to the momentum \(p_{\mu },\) and to a free non-relativistic particle Hamiltonian \(H=\frac{1}{2m}g^{\mu \nu }(x) p_{\mu }p_{\nu }\) in a curved space in order to find a difference with the quantizations of the same physical quantities in a flat space; see item 3. It turns out that the quantizations \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }\left( x^{\mu }\right) _{x}\) and \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }\left( p_{\mu }\right) _{x}\) lead to the same results (239) and (240),
$$\begin{aligned}&\left[ {\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }\left( x^{\mu }\right) \right] _{x}=\left( \hat{x}^{\mu }\right) _{x}=x^{\mu },\\&\left[ {\mathbf {Q}}_{ \left[ \omega ,\varTheta \right] }\left( p_{\mu }\right) \right] _{x}=-i\hbar \left[ \partial _{\mu }+\phi \varGamma _{\mu }\right] ,\\&\phi =\int _{-\infty }^{+\infty }\left( \theta +1/2\right) \omega (\theta ) \mathrm{d}\theta , \end{aligned}$$whereas the course of the quantization of the free non-relativistic particle Hamiltonian \(H=\frac{1}{2m}g^{\mu \nu }(x) p_{\mu }p_{\nu }\) in a curved space contains an ambiguity. A quantum potential U appears in a sum with the Laplace–Beltrami operator,
$$\begin{aligned}&\left[ {\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }(H) \right] _{x}=-\frac{\hbar ^{2}}{2m}g^{-1/2}\partial _{\mu }\sqrt{g}g^{\mu \nu }\partial _{\nu }+U(x), \\&U(x) {=}-\frac{\hbar ^{2}}{2m}\varTheta _{\alpha \beta }(x) g^{\alpha \beta }(x),\,\varTheta _{\alpha \beta }(x){=}\left. \frac{\partial ^{2}\varTheta }{\partial \xi ^{\alpha }\partial \xi ^{\beta }}\right| _{\xi =0}. \end{aligned}$$The ambiguity of U is due to the ambiguity of the tensor \(\varTheta _{\alpha \beta }(x) \). One can demonstrate that, for any quantum potential of the form
$$\begin{aligned} U(x) =\frac{\hbar ^{2}}{m}f\left( R(x) \right) , \end{aligned}$$where the function \(f\left( R\right) \) is almost arbitrary, there exists a covariant quantization \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }(H),\) which produces this potential.
-
7.
In subsequent publications, we plan to generalize the obtained results to quantize classical theories with constraints and consider a covariant path-integral quantization.
Notes
We do not discuss here peculiarities connected to the difference between hermiticity and self-adjointness; see [8].
If there are constraints in the classical Hamiltonian formulation of the system under consideration, then these commutation relations are modified as follows:
$$\begin{aligned}{}[Q(F),Q(G)]=i\hbar Q(\{F,G\}\vert _{D( \varPhi ) }) +O( \hbar ^{2}), \end{aligned}$$where \(\left. \left\{ F,G\right\} \right| _{D\left( \varPhi \right) }\) are Dirac brackets and \(\varPhi (x,p) =0\) is a complete set of second-class constraints, including gauge-fixing complementary conditions; see [3].
The summation convention over repeated sub- and superscripts is assumed throughout, unless otherwise explicitly stated.
We do not mention work in which noncovariant quantum Hamiltonians were derived.
It should be noted that a part of the results presented below are a compilation of the contents of the Ph.D. dissertation [40], written by J. L. M. Assirati under D. Gitman’s supervision.
In particular, systems with nonsingular Lagrangians do not have constraints in Hamiltonian formulation; see [3].
Here and in what follows, we denote a Cartesian coordinate system by an superscript C.
When F and G are polynomials this definition is reduced to a simple substitution \(x\rightarrow \hat{x}\) and \(p\rightarrow \hat{p}\) in F(x) and \(G\left( p\right) \), respectively.
To minimize occurrences of \(\hbar \) in the following formulas, we introduce this constant in the complex exponential.
Of course they are generalized vectors which do not belong to the Hilbert space.
The many-dimensional Leibnitz formula has the following form:
$$\begin{aligned} \frac{\mathrm{d}^{n}}{\mathrm{d}x^{n}}\left( fg\right) =\sum _{k=0}^{n}\left( {\begin{array}{c}n\\ k\end{array}}\right) \frac{\mathrm{d}^{k}f }{\mathrm{d}x^{k}}\frac{\mathrm{d}^{n-k}g}{\mathrm{d}x^{n-k}},\ \left( {\begin{array}{c}n\\ k\end{array}}\right) =\frac{n!}{k!\left( n-k\right) !}. \end{aligned}$$
References
J. von Neumann, Mathematische Grundlagen der Quantenmechanik (Springer, Berlin, 1932)
P.A.M. Dirac, Lectures on Quantum Mechanics (Belfer Graduate School of Science, Yeshiva University, New York, 1964)
D.M. Gitman, I.V. Tyutin, Quantization of Fields with Constraints (Springer, Berlin, 1990)
F.A. Berezin, The Method of Second Quantization (Academic Press, New York, 1966)
F.A. Berezin, Quantization. Izv. AN SSSR Ser. Math. 38(5), 1116–1175 (1974)
F.A. Berezin, General concept of quantization. Commun. Math. Phys. 40(2), 153–174 (1975)
F.A. Berezin, M.A. Shubin, The Schrödinger Equation (Kluwer Academic Publishers, Boston, 1991)
D.M. Gitman, I.V. Tyutin, B.L. Voronov, Self-adjoint Extensions in Quantum Mechanics (Birkhäuser, Springer, Berlin, 2012)
F.A. Berezin, Non-Wiener functional integrals. Theor. Math. Phys. 6(2), 194–211 (1971)
M. Born, P. Jordan, On quantum mechanics. Zs. fü r Phys. 34, 858–888 (1925)
B.S. DeWitt, Dynamical theory in curved spaces. I. A review of the classical and quantum action principles. Rev. Mod. Phys. 29(3), 377–396 (1957)
G.A. Ringwood, Canonical and Feynman quantization in Riemannian spaces. J. Phys. A 9(8), 1253–1256 (1976)
H. Dekker, On the path integral for diffusion in curved spaces. Physica 103A, 586–596 (1980)
K.S. Cheng, Quantization of a general dynamical system by Feynman’s path integration formulation. J. Math. Phys. 13, 1723–1726 (1972)
G.M. Gavazzi, Covariant functional quantization of a particle in general metric. IL Nuovo Cimento 101A(2), 241–248 (1989)
N. Ogawa, K. Fujii, A. Kobushukin, Quantum mechanics in Riemannian manifold. Prog. Theor. Phys. 83(5), 894–905 (1990)
A. Foerster, H.O. Girotti, P.S. Kuhn, Nonrelativistic quantum particle in a curved space as a constrained system. Phys. Lett. A 195, 301–306 (1994)
A. Saa, Quantum dynamics of non-relativistic particles and isometric embeddings. Class. Quantum Gravity 14, 385–390 (1997)
D.M. Gitman, I.V. Tyutin, Canonical quantization of the relativistic particle. JETP Lett. 51(4), 214 (1990)
D.M. Gitman, I.V. Tyutin, Classical and quantum mechanics of the relativistic particle. Class. Quantum Gravity 7, 2131–2144 (1990)
S.P. Gavrilov, D.M. Gitman, Quantization of point-like particles and consistent relativistic quantum mechanics. Int. J. Mod. Phys. A 15, 4499–4538 (2000)
S.P. Gavrilov, D.M. Gitman, Quantization of the relativistic particle. Class. Quantum Gravity 17, 133–139 (2000)
S.P. Gavrilov, D.M. Gitman, Quantization of a spinning particle in an arbitrary background. Class. Quantum Gravity 18, 2989–2998 (2001)
B. Podolsky, Quantum-mechanically correct form of Hamiltonian function for conservative systems. Phys. Rev. 32, 812–816 (1928)
B. DeWitt, Point transformations in quantum mechanics. Phys. Rev. 85, 653–661 (1952)
J.-L. Gervais, A. Jevicki, Point canonical transformations in the path integral. Nucl. Phys. B 110, 93–112 (1976)
B. Carter, Killing tensor quantum numbers and conserved currents in curved space. Phys. Rev. D 16, 3395–3414 (1977)
K. Simon, Quantization in curvilinear coordinates. Am. J. Phys. 33, 60–61 (1965)
H. Essén, Quantization and independent coordinates. Am. J. Phys. 46, 983–988 (1978)
Z.J. Liu, M. Quian, Gauge invariant quantization on Riemannian manifolds. Trans. Am. Math. Soc. 331, 321–333 (1992)
C. Duval, V. Ovsienko, Conformally equivariant quantum Hamiltonians. Sel. Math. New Ser. 7, 291–320 (2001)
S.E. Loubon Djounga, Conformally invariant quantization at order three. Lett. Math. Phys. 64, 203–212 (2003)
C. Duval, G. Valent, Quantum integrability of quadratic Killing tensors. J. Math. Phys. 46, 053516 (2005)
M. Blaszak, Z. Domański, Canonical quantization of classical mechanics in curvilinear coordinates. Invariant quantization procedure. Ann. Phys. 339, 89–108 (2013)
E. Schrödinger, Quantisierung als Eigenwertproblem. Ann. d. Physik 384(79), 361–376 (1926)
E. Schrödinger, Quantisierung als Eigenwertproblem. Ann. Phys. 384(79), 489–527 (1926)
C. Eckart, Operator calculus and the solution of the equations of quantum dynamics. Phys. Rev. 28, 711–726 (1926)
P.A.M. Dirac, Quantum mechanics and a preliminary investigation of the hydrogen atom. Proc. R. Soc. A 110, 561–579 (1926)
W. Pauli, Über das Wasserstoffspektrum vom Standpunkt tier neuen Quantenmechanik. Zeits. f. Physik 36, 336–363 (1926)
J.L.M. Assirati, Quantização Covariante de Sistemas Mecânicos Tese de doutorado (Instituto de Fisica USP, Brazil, 2010)
H. Weyl, The Theory of Groups and Quantum Mechanics (Dover Publications, New York, 1931)
S. Kobayashi, K. Nomizu, Foundations of differential geometry, I, II (Wiley-Interscience, New York, 1963, 1969)
R.C. Tolman, The Principles of Statistical Mechanics (Dover, New York, 1979)
Acknowledgements
D.M.G. is grateful to the Brazilian foundation FAPESP, grant 2016/03319-6, Sã o Paulo Research Foundation (FAPESP), and to the CNPq for their permanent support. His work is also partially supported by Tomsk State University Competitiveness Improvement Program and by RFBR, research project No. 15-02-00293a. Both authors are grateful to Dr. Geraldo for friendly support during their work.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix
1.1 The operator \(\mathrm{e}^{i\left( \eta \hat{x}+\hat{p}\xi \right) }\) and its matrix elements
-
I.
Using the Baker–Campbell–Hausdorff formula \(\mathrm{e}^{\hat{A}+\hat{B}}=\mathrm{e}^{-\frac{ 1}{2}\left[ \hat{A},\hat{B}\right] }\mathrm{e}^{\hat{A}}\mathrm{e}^{\hat{B}},\) we can obtain
$$\begin{aligned} \mathrm{e}^{i\left( \eta \hat{x}+\hat{p}\xi \right) }=\mathrm{e}^{-\frac{i\hbar }{2}\eta \xi }\mathrm{e}^{i\hat{p}\xi }\mathrm{e}^{i\eta \hat{x}}. \end{aligned}$$(242) -
II.
Representation (242) allows us to calculate commutation relations between \(\mathrm{e}^{i\left( \eta \hat{x}+\hat{p}\xi \right) }\) and canonical operators \(\hat{x}^{\mu }\) and \(\hat{p}_{\mu }\),
$$\begin{aligned} \left[ \hat{x}^{\mu },\mathrm{e}^{i\left( \eta \hat{x}+\hat{p}\xi \right) }\right]= & {} \mathrm{e}^{-\frac{i\hbar }{2}\eta \xi }\left[ \hat{x}^{\mu },\mathrm{e}^{i\hat{p}\xi }\right] \mathrm{e}^{i\eta \hat{x}}\nonumber \\= & {} -\hbar \xi ^{\mu }\mathrm{e}^{i\left( \eta \hat{x}+\hat{p}\xi \right) }, \nonumber \\ \left[ \hat{p}_{\mu },\mathrm{e}^{i\left( \eta \hat{x}+\hat{p}\xi \right) }\right]= & {} \mathrm{e}^{-\frac{i\hbar }{2}\eta \xi }\mathrm{e}^{i\hat{p}\xi }\left[ \hat{p}_{\mu },\mathrm{e}^{i\eta \hat{x}}\right] \nonumber \\= & {} \hbar \eta _{\mu }\mathrm{e}^{i\left( \eta \hat{x}+\hat{p} \xi \right) }. \end{aligned}$$(243) -
III.
Using successively the Baker–Campbell–Hausdorff formula, we obtain a generalization of Eq. (242)
$$\begin{aligned} \mathrm{e}^{i\left( \eta \hat{x}+\hat{p}\xi \right) }= & {} \mathrm{e}^{i\left[ \left( \eta \hat{x} +\alpha \hat{p}\xi \right) +\left( 1-\alpha \right) \hat{p}\xi \right] }\nonumber \\= & {} \mathrm{e}^{i\hbar \frac{1-\alpha }{2}\eta \xi }\mathrm{e}^{i\left( \eta \hat{x}+\alpha \hat{p} \xi \right) }\mathrm{e}^{i\left( 1-\alpha \right) \hat{p}\xi } \nonumber \\= & {} \mathrm{e}^{-i\hbar \left( \alpha -\frac{1}{2}\right) \eta \xi }\mathrm{e}^{i\alpha \hat{p} \xi }\mathrm{e}^{i\eta \hat{x}}\mathrm{e}^{i\left( 1-\alpha \right) \hat{p}\xi }. \end{aligned}$$(244) -
IV.
Using representation (242) and a complete set of generalized eigenvectors \(\left\{ \left| x\right\rangle \right\} \) of the operator \( \hat{x},\) with properties (86), we calculate the matrix element \( \left\langle x\right| \mathrm{e}^{i\left( \eta \hat{x}+\hat{p}\xi \right) }\left| y\right\rangle \) as follows:
$$\begin{aligned} \left\langle x\right| \mathrm{e}^{i\left( \eta \hat{x}+\hat{p}\xi \right) }\left| y\right\rangle= & {} \mathrm{e}^{i\eta \left( y-\frac{\hbar }{2}\xi \right) }\left\langle x\right| \mathrm{e}^{i\hat{p}\xi }\left| y\right\rangle \nonumber \\= & {} \mathrm{e}^{i\eta \left( y-\frac{\hbar }{2}\xi \right) }\delta \left( x+\hbar \xi -y\right) \nonumber \\= & {} \mathrm{e}^{i\eta \frac{x+y}{2}}\delta \left( x+\hbar \xi -y\right) \nonumber \\= & {} \hbar ^{-D}\mathrm{e}^{i\eta \frac{x+y}{2}}\delta \left( \xi -\frac{y-x}{\hbar }\right) . \end{aligned}$$(245) -
V.
Any operator \(\hat{F}\) defined in the Hilbert space \(\mathfrak {H}\) can be represented as an integral over operators \(\mathrm{e}^{i\left( \eta \hat{x}+\hat{p} \xi \right) }\) as follows:
$$\begin{aligned}&\hat{F}=\int c(\eta ,\xi ) \mathrm{e}^{i\left( \eta \hat{x}+\hat{p}\xi \right) }\mathrm{d}\eta \mathrm{d}\xi , \nonumber \\&c(\eta ,\xi ) =\left( \frac{\hbar }{2\pi }\right) ^{D}\int \left\langle x-\frac{\hbar }{2}\xi \right| \hat{A}\left| x+\frac{ \hbar }{2}\xi \right\rangle \mathrm{e}^{-i\eta x}\mathrm{d}x.\nonumber \\ \end{aligned}$$(246)The validity of Eq. (246) can be justified as follows:
$$\begin{aligned}&\left\langle x\right| \int c(\eta ,\xi ) \mathrm{e}^{i\left( \eta \hat{x}+\hat{p}\xi \right) }\mathrm{d}\eta \mathrm{d}\xi \left| y\right\rangle \\&\quad =\hbar ^{-D}\int c(\eta ,\xi ) \mathrm{e}^{i\eta \frac{x+y}{2}}\delta \left( \xi -\frac{y-x}{\hbar }\right) \mathrm{d}\eta \mathrm{d}\xi \\&\quad =\left( \frac{1}{2\pi }\right) ^{D}\int \left\langle z-\frac{1}{2}\left( y-x\right) \right| \hat{F}\left| z+\frac{1}{2}\left( y-x\right) \right\rangle \mathrm{e}^{i\eta \left( \frac{x+y}{2}-z\right) }\mathrm{d}z\mathrm{d}\eta \\&\quad =\int \left\langle z-\frac{1}{2}\left( y-x\right) \right| \hat{F} \left| z+\frac{1}{2}\left( y-x\right) \right\rangle \\&\qquad \times \,\delta \left( \frac{ x+y}{2}-z\right) \mathrm{d}z=\left\langle x\right| \hat{F}\left| y\right\rangle . \end{aligned}$$
1.2 A generalization of the Leibnitz formula
Let f(x) and g(x) be two x-dependent functions (\(x=\left( x^{1},x^{2},\ldots x^{D}\right) \)) and \(T^{\mu _{1}\cdots \mu _{n}}(x) \) are x-dependent coefficients completely antisymmetric in the indices \(\mu _{1}\cdots \mu _{n}\). One can prove that the following generalization of the well-known Leibnitz formulaFootnote 12 holds true:
The above statement can be proved by induction. It is obviously true for \( n=1.\) Under the supposition that (247) holds true for n, we then will prove that it holds true for \(n+1\) as well.
Let us consider the left hand side of (247) at \(n+1,\)
Since \(T^{\mu _{1}\cdots \mu _{n}\mu _{n+1}}\) is symmetric in all the indices, it is also symmetric in the subgroup \(\mu _{1}\cdots \mu _{n}\) of all the indices. Then we can use Eq. (247) to calculate the terms in the curled brackets. Thus, we obtain
Due to the complete symmetry of \(T^{\mu _{1}\cdots \mu _{n}\mu _{n+1}}\), the first term in the RHS of Eq. (249) can be written as
Thus,
Then, using properties of the binomial coefficients,
we justify Eq. (247) for \(n+1.\)
1.3 Exponential function
In constructions of the present article, an exponential function (exponential map) in a Riemannian space is used. Now we recall its definition and some properties [42].
Let M be a Riemannian space and \(x\in M\). An affine connection on M allows one to define the notion of a geodesic through the point x. In the case considered in the present article, we have Christoffel symbols \(\varGamma _{\alpha \beta }^{\mu }(x) \) as the connection, they and their contraction \(\varGamma _{\alpha }(x) =\varGamma _{\alpha \mu }^{\mu }(x) \) are expressed via the metric tensor,
Christoffel symbols define covariant derivatives \(\nabla _{\alpha }\) of a tensor \(T_{\nu _{1}\cdots \nu _{r}}^{\mu _{1}\cdots \mu _{s}}\) as follows:
Then curved lines \(x^{\mu }\left( \tau \right) =C^{\mu }\left( \tau \right) \) (parametrized by the proper time \(\tau \)), satisfying the equations
are geodesic lines. The geodesic lines provide the minimum (extremum) of the action
under the gauge condition
which fixes the nature of the parameter \(\tau .\)
There exists a unique geodesic \(C_{\xi }\left( \tau \right) \) satisfying the initial conditions
where \(\xi \) is the tangent vector to the geodesic at \(\tau =0\), \(\xi \in T_{x}M.\)
Using the introduced geodesic \(C_{\xi }\left( \tau \right) ,\) we can define two vector functions
The corresponding exponential map \(\xi \longrightarrow M\) is defined by the vector function \(\gamma ^{\mu }(x,\xi ),\) which is called the exponential function, as follows: \(\exp _{x}\left( \xi \right) =\gamma (x,\xi ).\)
The point \(\gamma ^{\mu }(x,\xi ) \) is a translation of the point x along a geodesic from \(\tau =0\) to \(\tau =1\) with an initial velocity \(\xi \); and \(\beta (x,\xi ) \) is a result of the parallel translation of \(\xi \) from the initial point x to the final point \(\gamma (x,\xi ) \) (from \(\tau =0\) to \(\tau =1\)) (see Fig. 2).
The exponential function satisfies the condition
which follows from the fact that the constant function \(C\left( \tau \right) =x\) is a solution of Eq. (254) with the initial conditions
The second equation of (254) implies that vectors \(\dot{C}(1)=\beta (x,\xi ) \) and \(\dot{C}(0)=\xi \) have the same length,
Let \(C_{\xi }\left( \tau \right) \) be a solution of Eq. (254) with initial conditions (257), then one can easily verify that \(C_{\xi }\left( \lambda \tau \right) =C_{\lambda \xi }\left( \tau \right) \). Thus, the solution \(C_{\xi }\left( \tau \right) \) can be expressed via the function \(\gamma (x,\xi ).\) Indeed,
Then
Let us consider the differential equation (254) in a noncanonical phase space \((x,\xi ) \in \mathbb {R}^{2D}\). It describes a propagation of initial data (257) by the geodesic flux \(T_{\tau }(x,\xi ) =\left( C\left( \tau \right) ,\dot{C}\left( \tau \right) \right) .\) Coordinates of the geodesic flux \(T_{\tau }(x,\xi ) =\left( x_{\tau }(x,\xi ),\xi _{\tau }(x,\xi ) \right) \) satisfy first order equations
Equation (262) represents an explicit form for \(x_{\tau }^{\mu },\) namely, \(x_{\tau }(x,\xi ) =\gamma \left( x,\tau \xi \right) \). It follows from Eqs. (264), (262) and (263) that \(\xi _{\tau }(x,\xi ) =\frac{1}{\tau }\beta \left( x,\tau \xi \right) \). Thus, the geodesic flux \(T_{\tau }:\mathbb {R}^{2D}\rightarrow \mathbb {R}^{2D}\) is
The geodesic flux as a flux of any differential equation represents a diffeomorphism, which has the commutative group property
where \(T_{\tau }^{-1}(x,\xi ) \) is an inverse function to the one \(T_{\tau }(x,\xi ) \). Setting \(\lambda =1\) in the latter equations and considering the first component only, we find the composition law
The set of Eqs. (255) and (256) is equivalent to Eq. (254) and is invariant under a general coordinate transformation \(x^{\prime }=\varphi (x) \), where \(\varphi \) is an arbitrary diffeomorphism. Therefore, if \(C\left( \tau \right) \) is a solution of Eq. ( 254) in a coordinate system \(K_{x}\) with coordinates x with the initial conditions (260), then \(C^{\prime }\left( \tau \right) =\varphi \left( C\left( \tau \right) \right) \) is a solution of Eq. (254) in a new coordinate system \(K_{x^{\prime }}\) with coordinates \( x^{\prime }\) (with new connections \(\varGamma _{\alpha \beta }^{^{\prime }\mu }\) ) and with the initial conditions
In a coordinate system \(K_{x^{\prime }}\) the exponential function \(\gamma ^{\prime }\left( x^{\prime },\xi ^{\prime }\right) \) is defined by the connections \(\varGamma _{\alpha \beta }^{^{\prime }\mu }\). One can find relations between \(\gamma ^{\prime }\left( x^{\prime },\xi ^{\prime }\right) \) and \(\gamma (x,\xi ) \) as follows:
Velocities related to a geodesic line in coordinate systems \(K_{x^{\prime }}\) and \(K_{x}\) are related as \(\dot{C}^{\prime \mu }=\partial _{a}\varphi ^{\mu }\left( C\right) \dot{C}^{\alpha }.\) At \(\tau =1\), we obtain a transformation law for \(\beta ,\)
It follows that \(\beta ^{\alpha }(x,\xi ) \) is not a vector field, since the transformation matrix \(\frac{\partial x^{\prime \mu }}{ \partial x^{\alpha }}\) is taken in the point \(\gamma (x,\xi ) \) but not in the point x. With the help of Eqs. (269) and (270), we find a transformation law of the geodesic flux \(T_{\tau }(x,\xi ) =\left( x_{\tau }(x,\xi ) ,\xi _{\tau }(x,\xi ) \right) ,\)
We note that in the case of a flat space with Cartesian coordinates all the connections are zero, such that Eq. (254) reads \(\ddot{C}^{\mu }=0\). Its solutions with initial conditions (257) are \(C\left( \tau \right) =x+\tau \xi \) such that \(\gamma (x,\xi ) =x+\xi \) and \( \beta (x,\xi ) =\xi \). Then the exponential function in an arbitrary coordinate system \(K_{x^{\prime }}\) is represented by Cartesian coordinates x as follows:
With the help of the exponential function, one can write a covariant Taylor formula,
where indices inside the brackets are totally symmetrized. Equation (273) is a generalization of the well-known formula \(F\left( x+\xi \right) =\exp \left( \xi ^{\mu }\partial _{\mu }\right) \cdot F(x) \) in a flat space.
To prove Eq. (273), we calculate successively derivatives of \( F\left( C\right) \), reducing all the higher derivatives to the first one, using Eq. (254). By induction, we can prove that
Using the initial condition (257), we obtain
This result allows us to decompose a function \(F\left( C\left( \tau \right) \right) \) in a power series with respect to \(\tau .\) Setting \(\tau =1\) in such a series, we obtain Eq. (273).
All the derivatives in \(\xi \) have a simple representation,
We list three first nonsymmetrized products of the operators \(\nabla _{\mu }\):
Setting \(F(x) =x^{\mu }\) in Eq. (273), we obtain a decomposition of the exponential function \(\gamma ^{\mu }\) in powers of \(\xi ,\)
Using Eq. (263), we derive a similar decomposition for \(\beta ^{\mu }(x,\xi ) \),
1.4 Normal coordinates and minimal geodesic line
Equation (278) implies
This matrix is invertible; therefore, the function \(\xi \longmapsto \gamma \left( x_{0},\xi \right) \) for any \(x_{0}\) represents a diffeomorphism in the vicinity of the point \(\xi =0\). New coordinates \(x^{\prime }\) given by the equation \(x=\varphi ^{-1}\left( x^{\prime }\right) =\gamma \left( x_{0},x^{\prime }\right) \) are called normal coordinates around the point \( x_{0}\). It follows from Eq. (259) that the point \(x=x_{0}\) corresponds to the point \(x^{\prime }=0\). Property (280) implies that \(\frac{\partial x^{\mu }}{\partial x^{\prime }\nu }\left( 0\right) =\delta _{\nu }^{\mu }\), and, therefore, a transition to normal coordinates does not change tensors in the point \( x=x_{0}\Longleftrightarrow x^{\prime }=0\).
The curves \(C^{\prime \mu }\left( \tau \right) =\tau \xi ^{\mu }\) in normal coordinates \(x^{\prime }\) correspond to the curves \(C^{\mu }\left( \tau \right) =\gamma ^{\mu }\left( x_{0},\tau \xi \right) \) in the coordinates x. The latter curves are geodesic lines which pass through the point \(x_{0}\), according to Eq. (262). This means that in the reference frame \( K_{x^{\prime }}\) geodesic lines which pass through the point \(x^{\prime }=0\) are straight lines \(C^{\prime \mu }\left( \tau \right) =\tau \xi ^{\mu }\). Thus, as follows from the same Eq. (262), the exponent function in the reference frame \(K_{x^{\prime }}\) has the property
As follows from the quadratic term of expansion (278), we have
in normal coordinates. From the cubic term of expansion (278), we have
Contracting indices \(\mu \) and \(\mu _{3}\) and using a symmetry of connections in lower indices, we obtain the identity
Using Eq. (252), we obtain \(\varGamma _{\mu _{1},\mu _{2}}^{\prime }=\varGamma _{\mu _{2},\mu _{1}}^{\prime }\), which implies an identity that holds true in the normal coordinates,
With the help of Eqs. (282) and (283), we can express the Ricci tensor as follows:
If a point x is in the region where \(\gamma \left( x_{0},\xi \right) \) represents a diffeomorphism, then points \(x_{0}\) and x, can be related by a geodesic line \(C(\tau ).\) In this case, \(C\left( 0\right) =x_{0} \) and \(C\left( 1\right) =x\) and \(C\left( \tau \right) =\gamma \left( x_{0},\tau \xi \right) \); see Eq. (262). In the general case, there exist more than one geodesic line which relates two given points. Now, we define the so-called minimal geodesic line.
Let us consider a vicinity of the point \(x_{0}\) where the correspondence \( \xi \longmapsto \gamma \left( x_{0},\xi \right) \) is a diffeomorphism. In addition, we define a diffeomorphism \(\xi =\varphi (x) \), where \( \varphi ^{-1}\left( \xi \right) =\gamma \left( x_{0},\xi \right) \) in this vicinity. Let us consider a D-dimensional sphere \(E^{\prime }=\left\{ \xi \in \mathbb {R}^{D}|\xi ^{2}=g_{\mu \nu }\left( x_{0}\right) \xi ^{\mu }\xi ^{\nu }<r^{2}\right\} \) which is completely embedded in the above mentioned vicinity (such a sphere exists with \(r>0\) because the vicinity is an open manifold). Then we define the correspondence \(E=\varphi ^{-1}\left( E^{\prime }\right) \), which is also open since \(\varphi \) is a diffeomorphism. The function \(\xi \longmapsto \gamma \left( x_{0},\xi \right) \) is a diffeomorphism in \(E^{\prime }\), if for any point \(x\in E\) there exists one unique point \(\xi \in E^{\prime }\) such that \(x=\gamma \left( x_{0},\xi \right) \). Consider a geodesic line \(C_{x_{0}x}\left( \tau \right) =\gamma \left( x_{0},\tau \xi \right) \) which relates \(x_{0}\) with x. This geodesic line is called a minimal geodesic line only if \(x\in E,\) as was constructed above. Its length is \(S\left[ C_{x_{0},x}\right] =\sqrt{ g_{\mu \nu }\left( x_{0}\right) \xi ^{\mu }\xi ^{\nu }}<r\). Let us suppose that there exists another geodesic line \( K\left( \tau \right) \) (different from \(C_{x_{0}x}\)), which relates \(x_{0}\) with x, i.e., \(K\left( 0\right) =x_{0}\) and \(K\left( 1\right) =x\). According to the definition of the exponential line \(x=\gamma \left( x_{0},\xi _{K}\right) \) with \(\xi _{K}=\dot{K}\left( 0\right) \). Since the function \(\xi \longmapsto \gamma \left( x_{0},\xi \right) \) is a diffeomorphism, which represents a bijection in \(E^{\prime }\), we see that \(\xi _{K}\notin E^{\prime }\) as \(S\left[ K \right] \ge r\). Thus, a minimal geodesic line is a geodesic line of a minimal length which relates \(x_{0}\) with x. The argument
is restricted, \(0<\tau _{f}\le 1\), because \(K\left( \tau _{f}\right) =\gamma \left( x_{0},\tau _{f}\xi _{K}\right) \) is a point on the geodesic line. We have
if \(\tau _{f}\xi _{K}\notin E^{\prime }\) and \(\tau _{f}\xi _{K}\in \overline{ E^{\prime }}\), where \(\bar{A}\) is a closure (in the topological sense) of the set A. Since \(\xi \longmapsto \gamma \left( x_{0},\xi \right) \) is a diffeomorphism, \(K\left( \tau _{f}\right) =\gamma \left( x_{0},\tau _{f}\xi _{K}\right) \notin E\) and \(K\left( \tau _{f}\right) \in \overline{E}\). Thus, a minimal geodesic line is a unique geodesic line which is entirely contained in E. Because \(\varphi \) is a diffeomorphism, \( \lim _{x\rightarrow x_{0}}\xi =0\) and, therefore,
Therefore, a minimal geodesic line is a unique geodesic line between \(x_{0}\) and x, which has the property (285).
1.5 Jacobian of the geodesic flux
The differential equation (254) is the Euler–Lagrange equation for the following nonsingular Lagrangian:
Let us define a function \(G:\mathbb {R}^{2D}\rightarrow \mathbb {R}^{2D},\)
which transforms a point \((x,\xi ) \) in a noncanonical phase space into a point \(\left( x,p=\partial L/\partial \dot{x}^{\mu }=g_{\mu \nu }(x) \dot{x}^{\nu }\right) \) of a canonical phase space. The inverse function has the form
Using the introduced function, we can transform a trajectory \(\left( C\left( \tau \right) ,P\left( \tau \right) \right) ,\) given in the canonical phase space, into a trajectory \(\left( C\left( \tau \right) ,P\left( \tau \right) \right) =G\left( C\left( \tau \right) ,\dot{C}\left( \tau \right) \right) \) in the noncanonical phase space. With the help of geodesic flux (264), we can write \(\left( C\left( \tau \right) ,P\left( \tau \right) \right) =G\left( T_{\tau }(x,\xi ) \right) \), where \(x=C\left( 0\right) \) and \(\xi =\dot{C}\left( 0\right) \) are initial conditions in the noncanonical phase space. These initial conditions can be, in turn, reformulated as initial conditions in the canonical phase space with the help of the \((x,p) =G^{-1}(x,\xi ) \), and choosing \( p=\dot{P}\left( 0\right) \) as an initial condition for the momentum. Thus, we have the relation \(\left( C\left( \tau \right) ,P\left( \tau \right) \right) =G\left( T_{\tau }\left( G^{-1}(x,p) \right) \right) \), which defines the canonical geodesic flux
According to the Liouville theorem [43] the Jacobian of the canonical geodesic flux is equal to 1. This fact implies
The Jacobians involved can easily be calculated,
Finally we obtain
1.6 Properties of the function \(\mathscr {M}\)
Above we have expressed matrix elements of the operators \({\mathbf {Q}}_{[\omega ] }(F) \) via the function \(\mathscr {M}(x,\xi ) \) defined by Eqs. (171) and (167). Here we study this function in more detail. First, we represent it as follows:
where
From this representation, we see that \(\mathscr {M}(x,\xi ) \) is a function even in \(\xi \) since \(\sqrt{g\left( \gamma _{-1/2}(x,\xi ) \right) g\left( \gamma _{1/2}(x,\xi ) \right) }\) and \( f(x,\xi ) \) are even in \(\xi \),
In a new coordinate system \(K_{x^{\prime }},\) we have
such that
where
according to transformation law (269). In addition we have
Defining matrices
we express \(f^{\prime }\) (292) as a modulus of the determinant of the following matrix:
Taking into account the transformation law \(\sqrt{g^{\prime }}=\sqrt{g} \left| \det \left( \partial x/\partial x^{\prime }\right) \right| \), we calculate some of the determinants from (293),
Thus, the quantity \(f^{\prime }\) from Eq. (292) is related to f from Eq. (290) as
From Eqs. (290) and (292) one can see that \(\mathscr {M}\) is a scalar under transformations (291),
If the space is a plane, there exists a reference \(K_{x}\) where \(g_{\mu \nu } \) has the form (19) and \(\varGamma _{\alpha \beta }^{\mu }\equiv 0\). In such a reference frame, \(g(x) =1\) and \(\gamma (x,\xi ) =x+\xi \), such that
According to Eq. (295) \(\mathscr {M}(x,\xi ) =1\) in any coordinate system.
Let us consider the decompositions
Comparing them, taking into account the transformation laws (291) and (295), we obtain
which means that coefficients \(m_{\mu _{1}\cdots \mu _{n}}(x) \) are tensors. This allows one to calculate the first terms of decompositions (296) in a most simple coordinate system. To this aim, it is most convenient to use the normal coordinates discussed in Appendix A.4. Let x are normal coordinates. Then it follows from Eq. (281) that
In turn, this relation implies
One can see that, in the normal coordinates, we have the following result:
Using expansion (278), we obtain
Then with the help of equation \(\det \left( I+A\right) =1+\text {tr}A+O\left( A^{2}\right) \), we obtain from (299) and (300)
It follows from Eq. (298) that
Taking unto account Eq. (252) and the fact that the Levi-Civita connections are zero in normal coordinates, we obtain
Thus, the following expansion holds true:
With the help of results (301) and (302), we find
Equation (284) allows one to simplify the latter expression,
Since coefficients \(m_{\mu _{1}\cdots \mu _{n}}(x) \) are tensors, see Eq. (297), the above equation holds true in any reference frame. The point 0, in normal coordinates, corresponds to any point of the space. That is why the formula below is valid in any reference frame and at any point x,
Appendix B: Notation
-
By \(\mathbb {R}=\left( -\infty ,\infty \right) \) the set of all real numbers is denoted.
-
Derivatives in \(x^{\mu }\) of a function A(x) are commonly denoted as
$$\begin{aligned} \partial A/\partial x^{\mu }=\partial _{\mu }A,\;\partial /\partial \theta =\partial _{\theta },\;{\text {and so on.}} \end{aligned}$$ -
Greek and Latin vector and tensor indices take on the values \(1,\ldots ,D\) unless otherwise specified; the convention about summation over repeated indices is adopted unless otherwise specified.
-
By \(\mathfrak {H}\) a Hilbert space is denoted.
-
By \(\hat{I}\) an identical operator is denoted.
-
By \(K_{x}\) a reference frame that generates coordinates \(x=1,\ldots ,D\) is denoted; by \(K_{x}^{\mathrm {C}}\) a Cartesian reference frame in a flat space that generates coordinates \(x=1,\ldots ,D\) is denoted
-
By \(\widetilde{\tilde{F}}(\eta ,\xi )=[F(x,p)] ^{\thickapprox }(\eta ,\xi ) \) a double Fourier transform of a function F(x, p) is denoted; see Eq. (22).
-
By \(\tilde{F}(x,\xi ) =[F(x,p)] ^{\sim }(x,\xi ) \) a partial Fourier transform of a function F(x, p) with respect to momenta is denoted; see Eq. (83).
-
By \(Q_{\varOmega }(F(x,p)) =Q_{[\omega ] }(F(x,p)) \) we denote a family of covariant quantizations in a flat space, which are parametrized by a weight function \( \varOmega (k) \) or by its Fourier transform \(\omega (\theta ) =\frac{1}{2\pi }\int _{-\infty }^{+\infty }\varOmega (k) \mathrm{e}^{-i\theta k}dk.\)
-
By \(Q_{(\theta ) }(F(x,p)) \) we denote the so-called basic quantization, which is the quantization \(Q_{[\omega ] }(F) \) with \(\omega \left( \theta ^{\prime }\right) =\delta \left( \theta ^{\prime }-\theta \right) \) or the quantization\(\ Q_{\varOmega }(F(x,p)) \) with \(\varOmega (k) =\varOmega _{(\theta ) }(k) =\mathrm{e}^{i\theta k},\ k=\eta \xi \); see Eq. (49).
-
By \({\mathbf {Q}}_{\left[ \omega ,\varTheta \right] }(F(x,p)) \) we denote an a family of covariant quantizations in a curved space parametrized by two functions \(\omega (\theta ) \) and \(\varTheta (x,\xi ).\) The corresponding \(\left[ \omega ,\varTheta \right] \)-symbols are denoted by \(F_{\left[ \omega ,\varTheta \right] }\).
-
By \({\mathbf {Q}}_{[\omega ] }(F(x,p)) ={\mathbf {Q}}_{\left[ \omega ,1\right] }(F(x,p)) \) we denote a family of covariant quantizations in a curved space parametrized by a function \(\omega (\theta ).\) The corresponding \([\omega ] \)-symbols are denoted by \(F_{[\omega ] }\).
-
By \({\mathbf {Q}}_{\left[ \varTheta \right] }^{\mathrm {w}}\) we denote a family of Weyl quantizations in a curved space, parametrized by a function \( \varTheta (x,\xi ).\) The corresponding \(\left[ \mathrm {w},\varTheta \right] \)-symbols are denoted by \(F_{\left[ \varTheta \right] }^{\mathrm {w}}\).
-
By \({\mathbf {Q}}^{\mathrm {w}}(F) \)=\({\mathbf {Q}}_{\left[ 1 \right] }^{\mathrm {w}}\) we denote a Weyl quantizations in a curved space. The corresponding w-symbols are denoted by \(F^{\mathrm {w}}\).
-
By \(\varGamma _{\alpha \beta }^{\mu }(x)\) Christoffel symbols are denoted.
-
By a vector function \(\gamma ^{\mu }(x,\xi ) \), \(x\in M\), \(\xi \in T_{x}M\) an exponential map \(\xi \longrightarrow M\) (exponential function) is denoted. Here M is a Riemannian space, and \(T_{x}M\) is a tangent space to M.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Assirati, J.L.M., Gitman, D.M. Covariant quantizations in plane and curved spaces. Eur. Phys. J. C 77, 476 (2017). https://doi.org/10.1140/epjc/s10052-017-5041-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-017-5041-0