1: \documentclass[showpacs,superscriptaddress,amsmath,amssymb]{revtex4}
2: %\documentclass[twocolumn,showpacs,superscriptaddress,amsmath,amssymb]{revtex4}
3: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4: \usepackage{epsfig}
5:
6: %\usepackage{graphicx}% Include figure files
7: %\usepackage{dcolumn}% Align table columns on decimal point
8: %\usepackage{bm}% bold math
9:
10: \usepackage{dsfont}
11: %\usepackage{amsthm}
12: %\usepackage{amsfont}
13: %\usepackage[matrix,curve,arrow]{xy}
14: %\usepackage{amscd}
15: %\usepackage{hyperref}
16:
17: \newcommand{\real}{\relax{\rm Re}}
18: \newcommand{\integer}{\relax{\rm I\kern-.18em N}}
19: \newcommand{\Tr}{{\rm Tar}}
20: \renewcommand{\baselinestretch}{1.7}
21: \renewcommand{\theequation}{\thesection.\arabic{equation}}
22:
23: \newcommand{\addrMOSKAU}{Institute for Theoretical and Experimental Physics, B.
24: Cheremushkinskaya 25, 117259 Moscow, Russia}
25: \newcommand{\addrTUEBINGEN}{Institut f\"{u}r Theoretische Physik, T\"{u}bingen
26: Universit\"{a}t, Auf der Morgenstelle 14, D-72076 T\"{u}bingen, Germany}
27: \hyphenation{CODATA}
28:
29: \begin{document}
30:
31: \title{Weyl's symbols of Heisenberg operators \\of canonical coordinates
32: and momenta as quantum characteristics }
33:
34: \author{M. I. Krivoruchenko}
35: \affiliation{\addrMOSKAU}
36: \affiliation{\addrTUEBINGEN}
37:
38: \author{Amand Faessler}
39: \affiliation{\addrTUEBINGEN}
40:
41: \begin{abstract}
42:
43: The knowledge of quantum phase flow induced under the Weyl's association rule by the
44: evolution of Heisenberg operators of canonical coordinates and momenta allows to find
45: the evolution of symbols of generic Heisenberg operators.
46: The quantum phase flow curves obey the quantum Hamilton's
47: equations and play the role of characteristics. At any fixed level of accuracy of semiclassical
48: expansion, quantum characteristics can be constructed by solving a coupled system of
49: first-order ordinary differential equations for quantum trajectories and generalized
50: Jacobi fields. Classical and quantum constraint systems are discussed.
51: The phase-space analytic geometry based on the star-product operation can hardly be visualized.
52: The statement "quantum trajectory belongs to a constraint submanifold"
53: can be changed e.g. to the opposite by a unitary transformation.
54: Some of relations among quantum objects in phase space are, however,
55: left invariant by unitary transformations
56: and support partly geometric relations of belonging and intersection.
57: Quantum phase flow satisfies the star-composition law and preserves hamiltonian and
58: constraint star-functions.
59:
60: \end{abstract}
61:
62: \pacs{03.65.-w, 03.65.Ca, 05.30.-d,03.65.Fd, 03.65.Ca, 03.65.Yz, 02.40.Gh, 05.30.-d, 11.10.Ef}
63:
64: \maketitle
65:
66: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
67: \section{Introduction}
68: \setcounter{equation}{0}
69: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
70:
71: The star-product operation introduced by Groenewold for phase-space functions \cite{GROE} permits formulation
72: of quantum mechanics in phase space. It uses the Weyl's association rule \cite{WEYL1,WEYL2} to establish
73: one-to-one correspondence between phase-space functions and operators in the Hilbert space. The Wigner function
74: \cite{WIGNER} appears as the Weyl's symbol of the density matrix. The skew-symmetric part of the star-product,
75: known as the Moyal bracket \cite{MOYAL,BARLE}, governs the evolution of symbols of Heisenberg operators.
76: Refined formulation of the Weyl's association rule is proposed by Stratonovich \cite{STRA}.
77: The Weyl's association rule, star-product technique, star-functions, and some applications are reviewed
78: in Refs. \cite{VOROS,BAYEN,CARRU,BALAZ,FEDO,HILL,KRF,MIKR}.
79:
80: A one-parameter group of unitary transformations in the Hilbert space
81: \begin{equation}
82: \mathfrak{U} = \exp(-\frac{i}{\hbar} \mathfrak{H}\tau),
83: \label{U7}
84: \end{equation}
85: with $\mathfrak{H}$ being Hamiltonian, corresponds to a one-parameter group of canonical transformations
86: in the classical theory \cite{DIRAC,SOWUN,WEYL2}, although canonical transformations provide a broader
87: framework \cite{BLEAF2,ANDER}.
88:
89: Weyl's symbols of time dependent Heisenberg operators of canonical coordinates and momenta induce
90: quantum phase flow. Osborn and Molzahn \cite{OSBOR} construct quantum Hamilton's equations
91: which determine quantum phase flow and analyze the semiclassical expansion for unconstrained
92: quantum-mechanical systems.
93: An earlier attempt to approach these problems is undertaken in Ref. \cite{BLEAF1}.
94:
95: The infinitesimal transformations induced by the evolution operator (\ref{U7}) in phase space
96: coincide with the infinitesimal canonical transformations induced by the corresponding Hamiltonian
97: function \cite{DIRAC,SOWUN,WEYL2}. The quantum and classical finite transformations are, however,
98: distinct in general, since the star- and dot-products
99: \footnote{The dot-product is the usual multiplication operation for numbers, variables and functions. It should not be mixed with scalar product of vectors.}
100: as multiplication operations of group
101: elements in quantum and classical theories do not coincide. The quantum phase flow curves are distinct from the classical phase-space trajectories. This fact is not well understood
102: (see e.g. Refs. \cite{BLEAF1,TCURT}).
103:
104: Osborn and Molzahn \cite{OSBOR} made important observation that quantum trajectories in unconstrained systems can be viewed as a "basis" to represent the evolution of quantum observables.
105:
106: Such a property is usually assigned to characteristics appearing in a standard technique for solving first-order partial differential equations (PDE). The well known example is the classical Liouville equation
107: \begin{equation}
108: \frac{\partial}{\partial \tau} f(\xi,\tau) = \{f(\xi,\tau),\mathcal{H}(\xi)\}.
109: \label{class}
110: \end{equation}
111: This equation is solved in terms of characteristic lines which are solutions
112: of classical Hamilton's equations
113: \begin{equation}
114: \frac{\partial}{\partial \tau} c^{i}(\xi,\tau) = \{\zeta^{i}, \mathcal{H}(\zeta)\}|_{\zeta = c(\xi,\tau)}
115: \label{classham3}
116: \end{equation}
117: with initial conditions $c^{i}(\xi,0) = \xi^{i}$.
118: Equations (\ref{classham3}) are characteristic equations. They represent a system of first-order ordinary differential equations (ODE) for canonical variables.
119: Physical observables $f(\xi,\tau)$ evolve according to
120: \begin{equation}
121: f(\xi,\tau) = f(c(\xi ,\tau ),0). \label{charac}
122: \end{equation}
123:
124: It is remarkable that despite quantum Liouville equation is an infinite-order PDE its solutions are expressed in terms of solutions of the quantum Hamilton's equations which are infinite-order PDE also.
125:
126: A technical advantage in using the method of characteristics in quantum mechanics stems from the fact that to any fixed order of the semiclassical expansion the quantum Hamilton's equations can be viewed as a coupled system of first-order ODE for quantum trajectories and generalized Jacobi fields obeying certain initial conditions. The evolution can be considered, respectively, as going along a trajectory in an extended phase space endowed with auxiliary degrees of freedom ascribed to generalized Jacobi fields. The evolution problem can be solved e.g. numerically applying efficient ODE integrators.
127:
128: Quantum characteristics can be useful, in particular, for solving numerically many-body potential scattering problems by semiclassical expansion of star-functions around their classical values with subsequent integration over the initial-state Wigner function. Among possible applications are
129: transport models in quantum chemistry and heavy-ion collisions \cite{AICHE,TUEB1,TUEB2} where particle
130: trajectories remain striking but an intuitive feature.
131:
132: A covariant extensions of quantum molecular dynamics (QMD) transport models \cite{SORGE,MARIA} is based on the Poincar\'e invariant constrained Hamiltonian dynamics \cite{DIRAC2}.
133:
134: We show, in particular, that quantum trajectories exist and make physical sense in the constraint quantum systems also and play an important role similar to that in the quantum unconstrained systems.
135:
136: The paper is organized as follows: In Sects. II and III, characteristics of unconstraint classical
137: and quantum systems are discussed. Sects. IV and V are devoted to properties of characteristics of constraint classical and quantum systems. Quantum phase flows are analyzed using the star-product technique which we believe to be the most adequate tool for studying the subject.
138:
139: We give definitions and recall basic features of the method of characteristics in Sect. II.
140:
141: In Sect. III, fundamental properties of quantum characteristics are derived. The Weyl's association rule, the star-product technique, and
142: the star-functions are reviewed based on the method proposed by Stratonovich \cite{STRA}.
143: We show, firstly, that quantum phase flow preserves the Moyal bracket and does not preserve the Poisson bracket in general. Secondly, we show that the star-product is invariant with respect
144: to transformations of the coordinate system, which preserve the Moyal bracket. Thirdly, non-local laws of composition for quantum trajectories and the energy conservation along quantum trajectories are found in Sect. III-D. Applying the invariance of the star-product with respect
145: to change of the coordinate system (\ref{BRINVA}) and the energy conservation, we derive new equivalent representations of the quantum Hamilton's equations Eq.(\ref{QF2}) - (\ref{QF4}).
146: In Sect. III-E, we derive using the star-product technique the semiclassical reduction of the quantum Hamilton's equations to a system of first-order ODE involving along with quantum trajectories their partial derivatives with respect to initial canonical variables.
147: Finally, we express the phase-space Green
148: function \cite{BLEAF1,MARI} in terms of quantum characteristics and reformulate
149: relation between quantum and classical time-dependent observables \cite{BRAU} using the method of characteristics.
150:
151: The possibility of finding quantum trajectories and generalized Jacobi fields by solving a system of ODE gives practical advantages because of the existence of efficient numerical ODE integrators. It would be tempting to extend method of characteristics to constraint systems such as gauge theories, relativistic QMD transport models, etc.
152:
153: The skew-gradient projection method is found to be useful to formulate classical and quantum constraint dynamics \cite{NAKA84,NAKA93,NAKA01,KRF,KRFF,MIKR}.
154: In Sect. IV, we show that in classical constraint systems characteristic lines exist and the method of characteristics is efficient. The proof we provide does not presuppose that constraint equations can be solved. The phase flow is commutative with the phase flows generated by
155: constraint functions. Characteristic lines, if belong to the constraint submanifold at $\tau = 0$, belong to the constraint submanifold at $\tau > 0$ also.
156:
157: Sect. V gives description of quantum characteristics in constraint systems.
158: Although the formalism is complete, we encounter unexpected difficulty to formulate
159: simple geometric idea that quantum trajectory belongs to a constraint submanifold. Using tools
160: of the analytic geometry, any idea like that requires the use of composition of functions.
161: In quantum mechanics, one has to use the star-composition.
162: This calls for a modification of usual geometric relations "belong", "intersect", and others.
163: In a specific quantum-mechanical sense, the Hamiltonian and constraint functions can be said to remain constant along quantum trajectories, while in the usual geometric sense they obviously don't. The problem of visualization of relations among quantum objects in phase space is discussed in Sects. III-D and V-B.
164:
165: Conclusion summarizes results.
166:
167: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
168: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
169:
170: \section{Characteristics in classical unconstrained systems}
171: \setcounter{equation}{0}
172:
173: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
174: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
175: The phase space of system with $n$ degrees of freedom is parameterized
176: by $2n$ canonical coordinates and momenta $\xi^{i}=(q^{1},...,q^{n},p_{1},...,p_{n})$ which satisfy the Poisson bracket relations
177: \begin{equation}
178: \{\xi^{k},\xi^{l} \} = - I^{kl}
179: \end{equation}
180: with
181: \[
182: \left\| I \right\| =\left\|
183: \begin{array}{ll}
184: 0 & -E_{n} \\
185: E_{n} & 0
186: \end{array}
187: \right\|,
188: \]
189: where $E_{n}$ is the identity $n\times n$ matrix.
190: The phase space appears as the cotangent bundle $T_{*}\mathbb{R}^{n}$ of $n$-dimensional configuration space $\mathbb{R}^{n}$.
191: The matrix $E_{n}$ imparts to $T_{*}\mathbb{R}^{n} = \mathbb{R}^{2n}$ a skew-symmetric bilinear form. The phase space acquires thereby structure of symplectic space.
192:
193: In what follows, physical observables are time dependent, whereas density distributions remain constant. Such a picture constitutes the classical analogue of the quantum-mechanical Heisenberg picture.
194:
195: In the classical unconstrained systems, phase flow: $\xi \to \zeta = c(\xi,\tau)$, is canonical and preserves the Poisson bracket.
196: The classical Hamilton's equations (\ref{classham3}) are first-order ODE. The energy is conserved along classical trajectories
197: \begin{equation}
198: \mathcal{H}(\xi) = \mathcal{H}(c(\xi,\tau)). \label{clco}
199: \end{equation}
200: The classical Hamilton's equations (\ref{classham3}) can be rewritten as first-order PDE:
201: \begin{eqnarray}
202: \frac{\partial}{\partial \tau} c^{i}(\xi,\tau) &=& \{c^{i}(\xi,\tau),\mathcal{H}(\xi)\} \label{classham2} \\
203: &=& \{c^{i}(\xi,\tau), \mathcal{H}(c(\xi,\tau))\}. \label{classham}
204: \end{eqnarray}
205:
206: The phase-space trajectories can be used to solve the Liouville equation (\ref{class}) which is the first-order PDE. Any observable $f(\xi,\tau)$ is expressed in terms of $c(\xi ,\tau )$, as indicated in Eq.(\ref{charac}).
207:
208: Classical trajectories obey the dot-composition law:
209: \begin{equation}
210: c^{i}(\xi ,\tau_1 + \tau_2 ) = c^{i}(c(\xi ,\tau_1 ),\tau_2).
211: \label{compcl}
212: \end{equation}
213:
214: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
215: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
216: \section{Characteristics in quantum unconstrained systems}
217: \setcounter{equation}{0}
218: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
219: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
220:
221: The Stratonovich version of the Weyl's quantization and dequantization
222: \cite{STRA} is discussed in the next subsection and in more details in
223: Refs. \cite{BALAZ,GRAC-1,GRAC-2,KRF,MIKR}.
224:
225: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
226: \subsection{Weyl's association rule and the star-product}
227: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
228:
229: The phase-space variables $\xi^{i}$ correspond
230: to operators $\mathfrak{x}^{k} = (\mathfrak{q}^{1},...,\mathfrak{q}^{n},\mathfrak{p}_{1},...,\mathfrak{p}_{n})$
231: acting in the Hilbert space, which obey commutation rules
232: \begin{equation}
233: [ \mathfrak{x}^{k},\mathfrak{x}^{l} ] = -i\hbar I^{kl}.
234: \label{987897}
235: \end{equation}
236:
237: Operators $\mathfrak{f}$ acting in the Hilbert space admit multiplications by $c$-numbers and summations. The set of all operators constitutes a vector space. The basis of such a space can be labelled by $\xi^{i}$. The Weyl's basis
238: looks like
239: \[
240: \mathfrak{B}(\xi )= \int \frac{d^{2n}\eta}{(2\pi \hbar )^{n} }
241: \exp (-\frac{i}{\hbar }\eta _{k}(\xi - \mathfrak{x})^{k}).
242: \]
243: The association rule for a function $f(\xi )$ and an operator $\mathfrak{f}$ has the form \cite{STRA}
244: \begin{equation}
245: f(\xi ) = Tr[\mathfrak{B}(\xi )\mathfrak{f}], \;\;\; \mathfrak{f} = \int \frac{d^{2n}\xi }{(2\pi \hbar )^{n}}f(\xi )\mathfrak{B}(\xi ).
246: \label{INV}
247: \end{equation}
248: The value of $f(\xi)$ can be treated as the $\xi$-coordinate of $\mathfrak{f}$
249: in the basis $\mathfrak{B}(\xi )$, while $Tr[\mathfrak{B}(\xi )\mathfrak{f}]$
250: as the scalar product of
251: $\mathfrak{B}(\xi )$ and $\mathfrak{f}$.
252:
253: Using Eqs.(\ref{INV}) one gets an equivalent association rule
254: \begin{equation}
255: \mathfrak{f} = f(-i\hbar \frac{\partial}{\partial \eta_k}) \exp(\frac{i}{\hbar}
256: \eta_k \mathfrak{x}^k)|_{\eta = 0}.
257: \label{ASSC}
258: \end{equation}
259: The half-Fourier transform,
260: \begin{equation}
261: f(\xi ) = \int d^{n}\theta \exp \left(-\frac{i}{\hbar}\sum_{a=1}^{n} \theta^{a} p_{a}\right)
262: <q + \frac{\theta }{2}|\mathfrak{f}|q - \frac{\theta }{2}>,
263: \label{WEYL2}
264: \end{equation}
265: provides the inverse relation. The Weyl-symmetrized functions of operators of canonical variables have representation \cite{KAMA91}
266: \begin{equation}
267: \mathfrak{f} = f(\frac{ \mathfrak{q}_{(1)}^i + \mathfrak{q}_{(3)}^i}{2}, \mathfrak{p}_{(2)}^i),
268: \label{WEYL3}
269: \end{equation}
270: where the subscripts indicate the order in which the operators act on the right.
271:
272: Given two functions
273: $f(\xi ) = Tr[\mathfrak{B}(\xi )\mathfrak{f}]$ and $g(\xi ) =Tr[\mathfrak{B}(\xi )\mathfrak{g}]$,
274: one can construct a third function,
275: \[
276: f(\xi )\star g(\xi )=Tr[\mathfrak{B}(\xi )\mathfrak{fg}],
277: \]
278: called star-product. In terms of the Poisson operator
279: \begin{equation}
280: \mathcal{P} = - {I}^{kl}\overleftarrow{\frac{%
281: \partial }{\partial \xi ^{k}}}\overrightarrow{\frac{\partial }{\partial \xi^{l}}},
282: \label{POIS}
283: \end{equation}
284: one has
285: \[
286: f(\xi )\star g(\xi )=f(\xi )\exp (\frac{i\hbar }{2}\mathcal{P})g(\xi ).
287: \]
288: The star-product splits into symmetric and skew-symmetric parts,
289: \[
290: f\star g = f\circ g+\frac{i\hbar}{2} f\wedge g.
291: \]
292: The skew-symmetric part is known under the name of Moyal bracket.
293:
294: The Wigner function is the Weyl's symbol of the density matrix. In the Heisenberg
295: picture, the Wigner function remains constant $W(\xi ,\tau ) =W(\xi ,0 )$,
296: whereas functions representing physical observables evolve with time in agreement with
297: equation
298: \begin{eqnarray}
299: \frac{\partial }{\partial \tau }f(\xi ,\tau ) = f(\xi ,\tau )\wedge H(\xi ). \label{EVOL}
300: \end{eqnarray}
301: This equation is the Weyl's transform of equation of motion for operators in the Heisenberg picture. It is the infinite-order partial differential equation (PDE).
302:
303: The series expansions of $f(\xi ,\tau )$ over $\tau $ is given by
304: \begin{equation}
305: f(\xi ,\tau ) = \sum_{s=0}^{\infty }\frac{\tau ^{s}}{s!}\underbrace{(...((}_{s}f(\xi
306: )\wedge H(\xi ))\wedge H(\xi ))\wedge ...H(\xi )), \label{EXPA}
307: \end{equation}
308: where $f(\xi)=f(\xi ,\tau = 0 )$ is the initial data function.
309:
310: Using the $\star$-adjoint notations of Ref. \cite{HAKI}, equation (\ref{EVOL})
311: can be represented in the form
312: \begin{eqnarray}
313: \frac{\partial }{\partial \tau }f(\xi , \tau ) = - Ad_{\star} H[f(\eta ,\tau )](\xi ). \label{HAKI}
314: \end{eqnarray}
315: Its formal solution,
316: \begin{eqnarray}
317: f(\xi , \tau ) = \exp( - \tau Ad_{\star} H) f(\xi ,0 ), \label{HAKI2}
318: \end{eqnarray}
319: is equivalent to Eq.(\ref{EXPA}). If the target symbol $f(\xi ,0 )$ is
320: semiclassically admissible, the evolution operator has asymptotic expansion \cite{OSBOR}
321: \begin{eqnarray}
322: \exp( - \tau Ad_{\star} H) = \sum_{s=0}^{\infty} \hbar^{2s} \gamma^{(2s)}(\tau). \label{HAKI3}
323: \end{eqnarray}
324:
325: The power series expansion in $\hbar$ is valid for
326: semiclassically admissible symbols $H$ and $f$. If, however, $f$ is a
327: rapidly oscillating symbol, then (\ref{HAKI3}) fails and the solution of the evolution
328: equation becomes of the WKB type whose exponential phase is a symplectic area
329: (see for details Ref. \cite{OSCO}).
330:
331: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
332: \subsection{Quantum phase flow preserves the Moyal bracket}
333: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
334:
335: Active transformations modify operators $\mathfrak{f}$ and
336: commute with $\mathfrak{B}(\xi)$. Passive transformations change the basis and keep
337: operators fixed. These views are equivalent. We choose the former. Consider transformations depicted by the diagram
338: \begin{eqnarray}
339: \xi &\stackrel{u}\longrightarrow& \acute{\xi} \nonumber \\
340: \updownarrow && \updownarrow \nonumber \\
341: \mathfrak{x} &\stackrel{\mathfrak{U}}\longrightarrow& \acute{\mathfrak{x}} \nonumber
342: \end{eqnarray}
343: where $\mathfrak{U}$ is given by Eq.(\ref{U7}).
344:
345: The operators of canonical variables are transformed as
346: $
347: \mathfrak{x}^{i} \rightarrow \acute{\mathfrak{x}}^{i}=\mathfrak{U}^{+}\mathfrak{x}^{i}\mathfrak{U}.
348: $
349: The coordinates $\acute{\xi}^{i}$ of new operators $\acute{\mathfrak{x}}^{i}$ in the old basis $\mathfrak{B}(\xi)$ are given by
350: \begin{equation}
351: \xi^{i} \rightarrow \acute{\xi}^{i} = u^{i}(\xi,\tau) = Tr[\mathfrak{B}(\xi ) \mathfrak{U}^{+} \mathfrak{x}^{i} \mathfrak{U}].
352: \label{UXIT}
353: \end{equation}
354: Since $\mathfrak{U}$ is the evolution operator, functions $u^{i}(\xi,\tau)$ can be treated as the Weyl's symbols of operators of canonical coordinates and momenta in the Heisenberg picture.
355: For $\tau = 0$, we have $u^{i}(\xi ,0 ) = \xi^{i}. $
356:
357: The set of operators of canonical variables is complete in the sense that any operator acting in the Hilbert space
358: can be represented as a function of operators $\mathfrak{x}^{i}$. One can indicate it as follows: $\mathfrak{f} = f(\mathfrak{x})$.
359: The Taylor expansion of $f(\mathfrak{x})$ permits the equivalent formulation of the Weyl's association rule.
360: Transformations $\mathfrak{f} \rightarrow \acute{\mathfrak{f}}=\mathfrak{U}^{+}\mathfrak{f}\mathfrak{U}$
361: generate transformations of the associated phase-space functions:
362: \begin{eqnarray}
363: f(\xi ) \rightarrow \acute{f}(\xi ) &=& f(\xi,\tau) = Tr[\mathfrak{B}(\xi )\mathfrak{U^{+}fU}] \nonumber \\
364: &=&\sum_{s=0}^{\infty }\frac{1}{s!}\frac{\partial ^{s}f(0)}{\partial \xi^{i_{1}}...\partial \xi ^{i_{s}}}
365: Tr[\mathfrak{B}(\xi )\mathfrak{U}^{+}\mathfrak{x}^{i_{1}}...\mathfrak{x}^{i_{s}}\mathfrak{U}] \nonumber \\
366: &=&\sum_{s=0}^{\infty }\frac{1}{s!}\frac{\partial ^{s}f(0)}{\partial \xi
367: ^{i_{1}}...\partial \xi ^{i_{s}}}Tr[\mathfrak{B}(\xi )\acute{\mathfrak{x}}^{i_{1}} ... \acute{\mathfrak{x}}^{i_{s}}] \nonumber \\
368: &=&\sum_{s=0}^{\infty }\frac{1}{s!}\frac{\partial ^{s}f(0)}{\partial \xi
369: ^{i_{1}}...\partial \xi ^{i_{s}}}u^{i_{1}}(\xi ,\tau)\star ...\star u^{i_{s}}(\xi,\tau) \nonumber \\
370: &=&\sum_{s=0}^{\infty }\frac{1}{s!}\frac{\partial ^{s}f(0)}{\partial \xi
371: ^{i_{1}}...\partial \xi ^{i_{s}}}u^{i_{1}}(\xi ,\tau)\circ ...\circ u^{i_{s}}(\xi,\tau) \nonumber \\
372: &\equiv &f(\star u(\xi,\tau)). \label{TF}
373: \end{eqnarray}
374: Last two lines define the star-composition. The star-function $f(\star u(\xi,\tau))$
375: is a functional of $u(\xi,\tau)$. The $\circ$-product is not associative in general. However,
376: the indices $i_{s}$ for $s=1,...,2n$ are symmetrized, so the order in which the $\circ$-product is calculated is not important.
377:
378: The antisymmetrized products $\mathfrak{x}^{[i_{1}}...\mathfrak{x}^{i_{2s}]}$
379: of even number of operators of canonical variables are $c$-numbers as a consequence of the commutation relations. These products are left invariant
380: by unitary transformations:
381: $\mathfrak{U}^{+}\mathfrak{x}^{[i_{1}}...\mathfrak{x}^{i_{2s}]}\mathfrak{U}=\mathfrak{x}^{[i_{1}}...\mathfrak{x}^{i_{2s}]}$.
382: In phase space, we get
383: $u^{[i_{1}}(\xi,\tau)\star ...\star u^{i_{2s}]}(\xi,\tau) = \xi ^{[i_{1}}\star
384: ...\star \xi ^{i_{2s}]}
385: $
386: and, in particular,
387: \begin{equation}
388: u^{i}(\xi,\tau)\wedge u^{j}(\xi,\tau)=\xi ^{i}\wedge \xi ^{j}=- {I}^{ij}.
389: \label{AREA}
390: \end{equation}
391:
392: Phase-space transformations induced by $\mathfrak{U}$ preserve the Moyal bracket and do not preserve the Poisson bracket, so the evolution map $\xi \rightarrow \acute{\xi} = u(\xi,\tau)$, is not canonical.
393: Using Eq.(\ref{TEU}),
394: one can check e.g. that for $H(\xi) = (\delta_{ij}\xi^{i}\xi^{j})^2$ where $\delta_{ij}$ is
395: the Kronecker symbol functions $u^{i}(\xi,\epsilon)$
396: do not satisfy the Poisson bracket condition for canonicity to order $O(\epsilon^2 \hbar^2)$.
397:
398: For real functions $u^{i}(\xi,\tau)$ satisfying Eqs.(\ref{AREA}) one may associate Hermitian operators $\acute{\mathfrak{x}}^{i}$ which obey commutation rules for operators of canonical coordinates and momenta.
399: As a result, functions $u^{i}(\xi,\tau)$ appear in the coincidence with a unitary transformation relating
400: $\mathfrak{x}^{i}$ and $\acute{\mathfrak{x}}^{i}$. The conservation of the Moyal bracket for a one-parameter
401: set of continuous phase-space transformations is the necessary and sufficient condition for unitary character of the associated continuous transformations in the Hilbert space.
402:
403: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
404: \subsection{Change of variables which leaves the star-product invariant}
405: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
406:
407: Applying Eq.(\ref{TF}) to product $\mathfrak{fg}$ of two operators, we obtain function
408: $f(\zeta) \star g(\zeta)|_{\zeta = \star u(\xi,\tau)}$ associated to operator
409: $\mathfrak{U}^{+}(\mathfrak{fg})\mathfrak{U}$ and function $f(\star u(\xi ,\tau)) \star g(\star u(\xi ,\tau))$
410: associated to operator $(\mathfrak{U}^{+}\mathfrak{f}\mathfrak{U})(\mathfrak{U}^{+}\mathfrak{g}\mathfrak{U})$.
411: These operators coincide, so do their symbols:
412: \begin{equation}
413: f(\zeta) \star g(\zeta)|_{\zeta = \star u(\xi,\tau)} = f(\star u(\xi ,\tau)) \star g(\star u(\xi ,\tau)).
414: \label{BRINVA}
415: \end{equation}
416: The star-product is calculated with respect to $\zeta$ and $\xi$ in the left- and right-hand sides, respectively. Equation
417: (\ref{BRINVA}) is valid separately for symmetric and skew-symmetric parts of the star-product of the functions.
418:
419: The substantial content of Eq.(\ref{BRINVA}) is that one can compute the star-product in the initial coordinate system
420: and change variables $\xi \rightarrow \zeta = \star u(\xi,\tau)$, or equivalently, change variables
421: $\xi \rightarrow \zeta = \star u(\xi,\tau)$ and compute the star-product, provided Eq.(\ref{AREA}) is fulfilled.
422:
423: The functions $u^{i}(\xi,\tau )$ define quantum phase flow which represents quantum deformation of classical phase flow.
424:
425: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
426: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
427: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
428: \vspace{3mm}
429: \begin{figure}[!htb]
430: \begin{center}
431: \includegraphics[angle=0,width=2.618 cm]{dia.eps}
432: \end{center}
433: \caption{Schematic presentation of the star-composition law (\ref{comp}). The solid line stands for a quantum trajectory $u^{i}(\xi ,\tau) = u^{i}(\star u(\xi ,s),\tau - s)$ at $0<\tau <t$. The dashed line is assigned to a trajectory $u^{i}(u(\xi ,s),\tau - s)$ which we would have at $s<\tau <t$ for the classical dot-composition law. The distance between the solid and dashed trajectories is of order of $\hbar^2$.
434: }
435: \label{fig10}
436: \end{figure}
437: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
438: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
439: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
440:
441: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
442: \subsection{Composition law for quantum trajectories and energy conservation law}
443: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
444:
445: In the usual geometric sense, quantum characteristics $u(\xi,\tau )$ cannot be
446: considered as trajectories along which physical particles move. The reason lies, in particular, in the star-composition law
447: \begin{equation}
448: u(\xi ,\tau_1 + \tau_2 ) = u(\star u(\xi ,\tau_1 ),\tau_2)
449: \label{comp}
450: \end{equation}
451: which is distinct from $u(\xi ,\tau_1 + \tau_2 ) = u(u(\xi ,\tau_1 ),\tau_2)$, see Fig. \ref{fig10}.
452: In classical mechanics, the composition law has the form of Eq.(\ref{compcl}).
453:
454: The energy conservation in the course of quantum evolution implies
455: \begin{equation}
456: H(\xi )=H(\star u(\xi ,\tau )) \label{EC}
457: \end{equation}
458: where $H(\xi )=Tr[\mathfrak{B}(\xi )\mathfrak{H}]$ is Hamiltonian function.
459: $H(\xi )$ is, however, not conserved along quantum trajectories in the usual geometric sense, so $H(\xi ) \neq H(u(\xi ,\tau ))$. In classical mechanics,
460: the conservation law has the form (\ref{clco}).
461:
462: To express the idea that a point particle moves
463: continuously along a phase-space trajectory, one has to use the star-composition
464: (\ref{comp}). The dot-composition is not defined in quantum mechanics.
465:
466: Similarly, $H(u(\xi ,\tau ))$ does not make any quantum-mechanical sense. One has to
467: work with $H(\star u(\xi ,\tau ))$. If so, the only way to express quantitatively
468: the fact of the energy conservation along a phase-space trajectory is to use Eq.(\ref{EC}).
469:
470: The similar problem arises in constraint systems when we want to decide if quantum trajectories belong to a constraint submanifold.
471:
472: The analytic geometry provides tools to formulate relations among geometric objects. Those relations which are expressed through composition of functions are modified. We discuss if possible to assign a geometric sense to formulas involving the star-composition in Sect. V-B.
473:
474: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
475: \subsection{Reduction of quantum Hamilton's equations to a coupled system
476: of ODE for quantum trajectories and generalized Jacobi fields}
477: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
478:
479: Quantum Hamilton's equations can be obtained
480: applying the Weyl's transform to evolution equations for Heisenberg operators of canonical coordinates and momenta
481: \begin{eqnarray}
482: \frac{\partial }{\partial \tau }u^{i}(\xi ,\tau ) &=& u^{i}(\xi ,\tau )\wedge H(\xi ) \label{QF} \\
483: &=& u^{i}(\xi ,\tau )\wedge H(\star u(\xi ,\tau )) \label{QF2} \\
484: &=& \zeta ^{i}\wedge H(\zeta )|_{\zeta =\star u(\xi ,\tau )} \label{QF3} \\
485: &=& \{\zeta ^{i},H(\zeta )\}|_{\zeta =\star u(\xi ,\tau )}. \label{QF4}
486: \end{eqnarray}
487:
488: To reach the step 2, the energy conservation (\ref{EC}) is used. Going from (\ref{QF2}) to (\ref{QF3}), the change of
489: variables (\ref{BRINVA}) is performed. To achieve (\ref{QF4}), we exploit
490: $\xi^{i} \wedge f(\xi) = \{\xi^{i},f(\xi)\}$. The time derivative of $u^{i}(\xi ,\tau )$ can be computed classically using the Poisson bracket. The substitution $\zeta =\star u(\xi ,\tau )$ leads, however, to deformation of classical trajectories. Equations (\ref{QF3}) and (\ref{QF4}) are
491: the quantum analogues of Eq.(\ref{classham3}), Eq.(\ref{QF}) is the quantum analogue of Eq.(\ref{classham2}),
492: and Eq.(\ref{QF2}) is the quantum analogue of Eq.(\ref{classham}).
493:
494: As distinct from the de Broglie-Bohm trajectories (see e.g. \cite{DBB}),
495: $u^{i}(\xi ,\tau )$ are not related to specific states in the Hilbert space.
496:
497: The functional form of quantum Hamilton's equations (\ref{QF}) is left invariant by the change of variables
498: $\xi \rightarrow \upsilon =\star v_{-}(\xi)$ provided the map $v_{-}$: $\upsilon = v_{-}(\xi)$, preserves the Moyal bracket.
499:
500: Equations (\ref{QF}) are not invariant under canonical transformations. Consider e.g. canonical map: $(q,p) \rightarrow (Q,P)$, with generating function $S_{2}(q,P) = qP + q^3 + qP^2$ such that $p = \partial S_{2}(q,P)/\partial q $ and $Q = \partial S_{2}(q,P)/\partial P$.
501: One can compare $f \circ g$ and $f \wedge g$ in the coordinate systems $(q,p)$ and $(Q,P)$. For functions $f = q$ and $g = p$,
502: one gets, respectively, $f\circ g|_{(q,p)} = qp \neq f\circ g|_{(Q,P)} = qp + 6\hbar^2 Q/(1 + 2P)^5 + O(\hbar^4)$ and $f \wedge g|_{(q,p)} = 1 \neq f \wedge g|_{(Q,P)} = 1 + 24 \hbar^2/(1 + 2P)^6 + O(\hbar^4) $. The symmetric and skew-symmetric parts of the star-product are both not invariant under canonical transformations. Coordinate systems in phase space if related by a canonical transformation provide non-equivalent quantum dynamics. This ambiguity is better known as the operator ordering problem.
503:
504: The quantum deformation of classical phase flow can be found by expanding
505: \[
506: u^{i}(\xi,\tau) = \sum_{s=0}^{\infty}\hbar^{2s}u^{i}_{s}(\xi,\tau).
507: \]
508: The right-hand side
509: of Eqs.(\ref{QF}) $F^{i}(\zeta) \equiv \{ \zeta^{i},H(\zeta)\}$ is a function of
510: $\zeta = \star u(\xi,\tau)$ (i.e. functional of $u(\xi,\tau)$), so we have to expand
511: \[
512: F^{i}(\star u(\xi,\tau)) = \sum_{s=0}^{\infty}\hbar^{2s}F^{i}_{s}[u(\xi,\tau)]
513: \]
514: using e.g. the cluster-graph method \cite{OSBOR,GRACIA}. Classical trajectories $u^{i}_{0}(\xi,\tau)$ satisfy
515: classical Hamilton's equations
516: \[
517: \frac{\partial }{\partial \tau } u^{i}_{0} = F^{i}_{0}(u_{0})
518: \]
519: and initial conditions
520: $u^{i}_{0}(\xi,0) = \xi^{i}$. Given $u^{i}_{0}(\xi,\tau)$, the lowest-order quantum correction $u^{i}_{1}(\xi,\tau)$ can
521: be found by solving first-order ordinary differential equations (ODE)
522: \begin{eqnarray}
523: \frac{\partial }{\partial \tau }u^{i}_{1}
524: &=& u^{k}_{1} \frac{\partial F^{i}_{0}(u_{0})}{\partial u_{0}^{k}} \label{QHE} \\
525: &-& \frac{1}{16}I^{k_{1}l_{1}} I^{k_{2}l_{2}}
526: J^{i_1}_{0,k_{1}k_{2}}
527: J^{i_2}_{0,l_{1}l_{2}}
528: \frac{\partial^2 F^{i}_{0}(u_{0})}{\partial u^{i_1}_{0} \partial u^{i_2}_{0}}\nonumber \\
529: &-&\frac{1}{24} I^{k_{1}l_{1}} I^{k_{2}l_{2}}
530: J^{i_1}_{0,k_{1}}
531: J^{i_2}_{0,k_{2}}
532: J^{i_3}_{0,l_{1}l_{2}}
533: \frac{\partial^3 F^{i}_{0}(u_{0})}{\partial u^{i_1}_{0} \partial u^{i_2}_{0} \partial u^{i_3}_{0}} \nonumber
534: \end{eqnarray}
535: with initial conditions $u^{i}_{1}(\xi,0) = 0$. The functions $J^{i}_{0,k}$ and $J^{i}_{0,kl}$
536: entering Eq.(\ref{QHE}) is a particular case of generalized Jacobi fields
537: \begin{equation}
538: J^{i}_{r,k_{1}...k_{t}}(\xi, \tau) = \frac{\partial u^{i}_{r}(\xi,\tau)}{\partial \xi^{k_{1}} ... \partial \xi^{k_{t}}}.
539: \label{GJ}
540: \end{equation}
541: Given $u^{i}_{r}(\xi,\tau)$ and $J^{i}_{r,k_{1}...k_{t}}(\tau,\xi)$ for $0 \leq r \leq s$,
542: the next corrections $u^{i}_{s + 1}(\xi,\tau)$ can be found from first-order ODE involving
543: generalized Jacobi fields (\ref{GJ}) with $0 \leq r \leq s$. For a harmonic oscillator,
544: $u^{i}_{s}(\xi,\tau) = 0$ for $s \geq 1$, in which case quantum phase flow is both canonical and unitary.
545:
546: The generalized Jacobi fields (\ref{GJ}) satisfy ODE also. The lowest order equations have
547: the form:
548: \begin{eqnarray}
549: \frac{\partial }{\partial \tau } J^{i}_{0,k} &=&
550: \frac{\partial F^{i}_{0}(u_{0})}{\partial u_{0}^{m}} J^{m}_{0,k}, \label{GRADI1} \\
551: \frac{\partial }{\partial \tau } J^{i}_{0,kl} &=&
552: \frac{\partial^2 F^{i}_{0}(u_{0})}{\partial u_{0}^{m} \partial u_{0}^{n}} J^{m}_{0,k} J^{n}_{0,l} +
553: \frac{\partial F^{i}_{0}(u_{0})}{\partial u_{0}^{m}} J^{m}_{0,kl}. \nonumber
554: \end{eqnarray}
555:
556: The first of these equations describes the evolution of small perturbations along the classical trajectories. Being projected onto a submanifold of constant energy it becomes the Jacobi-Levi-Civita equation \cite{ARNO}. In stochastic systems, $J^{i}_{0,k}$ grow exponentially with time.
557:
558: At any fixed level of accuracy of the semiclassical expansion, we have a coupled system of
559: ODE for $u^{i}_{r}(\tau,\xi)$ and $J^{i}_{r,k_{1}...k_{t}}(\tau,\xi)$
560: subjected to initial conditions
561: \begin{eqnarray}
562: u^{i}_{0}(\xi,0) = \xi^{i}, ~~~~&~& J^{i}_{0,k}(\xi,0) = \delta^{i}_{k}, \label{J1} \\
563: u^{i}_{r}(\xi,0) = 0, ~~~~~&~& J^{i}_{r,k_{1}...k_{t}}(\xi,0) = 0, \label{J2}
564: \end{eqnarray}
565: where $r \ge 1$ and $r \ge 1$ or $t \ge 2$, respectively. The evolution problem can be solved e.g. numerically applying efficient ODE integrators.
566:
567: A numerical computation of the semiclassical expansion of the quantum phase flow in the elastic scattering of atomic systems is performed in Ref. \cite{MCQUA}.
568:
569: An alternative approach allowing to reduce the semiclassical quantum dynamics to a closed system of ODE is proposed by Bagrov with co-workers \cite{BAGR3,BAGR0,BAGR1,BAGR2}. The phase-space trajectories appearing in \cite{BAGR3,BAGR0,BAGR1,BAGR2} are connected to specific quantum states like in the de Broglie - Bohm theory.
570:
571: Properties of quantum paths, localization of quantum systems, and a coherent-type representation of the quantum flow are discussed in Ref. \cite{MIKA04}.
572:
573: The series expansions of $u^{i}(\xi ,\tau )$ and $f(\xi ,\tau ) = f(\star u(\xi ,\tau ))$ over
574: $\tau $ are given by
575: \begin{eqnarray}
576: &&u^{i}(\xi ,\tau ) = \label{TEU} \\
577: &&\sum_{s=0}^{\infty }\frac{\tau ^{s}}{s!}\underbrace{(...((}
578: _{s}\xi^{i} \wedge H(\xi ))\wedge H(\xi ))\wedge...H(\xi )), \nonumber \\
579: &&f(\star u(\xi ,\tau )) = \label{TEW} \\
580: &&\sum_{s=0}^{\infty }\frac{\tau ^{s}}{s!}\underbrace{(...((}_{s}f(\xi
581: )\wedge H(\xi ))\wedge H(\xi ))\wedge \nonumber ...H(\xi )). \nonumber
582: \end{eqnarray}
583:
584: In general, quantum phase flow is distinct from classical phase flow.
585: This feature holds in integrable systems also, as discussed in Appendix A.
586:
587: The lowest order operators $\gamma^{(s)}$ entering Eq.(\ref{HAKI3}) can be found to be \cite{OSBOR,MCQUA,GRACIA,KADP}
588: \begin{eqnarray}
589: &&\gamma^{(0)}(\tau)f(\xi) = f(u_{0}(\xi,\tau)), \label{FINA2} \\
590: &&\gamma^{(2)}(\tau)f(\xi) = u_{1}^{i}(\xi,\tau) f(u_{0}(\xi,\tau))_{,i} \label{FINA3} \\
591: && ~~~~- \frac{1}{16}J^{i}_{0,kl}(\xi,\tau) J^{j,kl}_0(\xi,\tau)f(u_{0}(\xi,\tau))_{,ij} \nonumber \\
592: && ~~~~- \frac{1}{24}J^{i}_{0,l}(\xi,\tau)J^{j}_{0,m}(\xi,\tau)J^{k,lm}_{0}(\xi,\tau)f(u_{0}(\xi,\tau))_{,ijk}. \nonumber
593: \end{eqnarray}
594: Here, the derivatives of $f(u_0(\xi,\tau))$ are calculated with respect to $u^{i}_0$:
595: \begin{equation}
596: f(u_0(\xi,\tau))_{,i_{1}...i_{s}} = \frac{\partial^{s}f(u_0(\xi,\tau))}{\partial u^{i_{1}}_0...\partial u^{i_{s}}_0}.
597: \end{equation}
598: The Jacobi fields with the upper indices are defined by
599: \begin{equation}
600: J^{i,k_{1}...k_{t}}_{r}(\xi,\tau) = I^{k_1 j_1} ...I^{k_s j_s}J^{i}_{r,j_{1}...j_{t}}(\xi,\tau).
601: \label{GJUP}
602: \end{equation}
603:
604: According to Eq.(\ref{FINA2}), time dependence of the zero order term $\gamma ^{(0)}(\tau )f(\xi )$ is determined by time dependence of the classical phase-space trajectory and form of the function
605: $f(\xi )$. The similar conclusion holds for $\gamma ^{(2)}(\tau )f(\xi )$: Eq.(\ref{FINA3}) tells that
606: time dependence enters through the classical trajectory, the first quantum correction to the classical trajectory, and the classical Jacobi fields. The problem of convergence of a formal power series expansion is always a difficult subject. The convergence rate of the time series depends obviously on the system. Generally, the series
607: expansion in $\tau$ has a finite convergence radius. However, in the itegrable systems one has a truncated series expansion (cf. Eq.(III.27) and Eq.(A.3)).
608:
609: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
610: \subsection{Green function in phase space and quantum characteristics}
611: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
612:
613: Using orthogonality condition
614: \[
615: Tr[\mathfrak{B}(\xi)\mathfrak{B}(\zeta)] = (2\pi \hbar)^{n}\delta^{2n}(\xi - \zeta)
616: \]
617: and Eq.(\ref{TF}), we express Green function for the Weyl's symbols \cite{BLEAF1,MARI} in terms of the quantum characteristics:
618: \begin{eqnarray}
619: D(\xi,\zeta,\tau) &=& Tr[\mathfrak{B}(\xi)\mathfrak{U}^{+} \mathfrak{B}(\zeta)\mathfrak{U}] \nonumber \\
620: &=& (2\pi \hbar)^{n}\delta^{2n}(\star u(\xi,\tau) - \zeta)
621: \nonumber \\
622: &=& (2\pi \hbar)^{n}\delta^{2n}(\xi - \star u(\zeta,-\tau)).
623: \label{GF}
624: \end{eqnarray}
625:
626: A compact operator relation between the classical and quantum time-dependent observables is established in Ref. \cite{BRAU}. Solutions of the quantum and classical
627: Liouville equations, $f(\xi,\tau)$ and $f_{c}(\xi,\tau)$,
628: with initial conditions $f(\xi,0)=f_{c}(\xi,0)$ are
629: related through the product $DD_{c}^{-1}$ where $D_{c}$ is the classical Green function
630: \begin{equation}
631: D_{c}(\xi,\zeta,\tau) = (2\pi \hbar)^{n}\delta^{2n}(c(\xi,\tau) - \zeta).
632: \label{2987423897}
633: \end{equation}
634: In terms of the characteristics, we obtain
635: \begin{equation}
636: f(\xi,\tau) = f_{c}(c(\star u(\xi,\tau),-\tau),\tau).
637: \label{987987}
638: \end{equation}
639: It is assumed that classical and quantum hamiltonian functions coincide i.e.
640: ${\mathcal H}(\xi) = H(\xi)$.
641:
642: Given the Green function is known, the quantum trajectories can be found from equation
643: \begin{equation}
644: u^{i}(\zeta,\tau) = \int \frac{d^{2n}\xi}{(2\pi \hbar)^{n}}\xi^{i}D(\xi,\zeta,-\tau).
645: \end{equation}
646:
647: For $\mathfrak{U} = 1 - \frac{i}{\hbar}\mathfrak{H}\epsilon$
648: where $\epsilon$ is an infinitesimal parameter, the associated transformations of
649: canonical variables and phase-space functions are given by $
650: \delta \xi^{i}= \xi^{i} \wedge \epsilon H(\xi ) = \{\xi^{i} ,\epsilon H(\xi )\}$ and $
651: \delta f(\xi )= f(\xi ) \wedge \epsilon H(\xi )$.
652: The transformations of canonical variables are canonical to order $O(\epsilon)$ only.
653: The infinitesimal transformations of symbols of operators are not canonical. Any function $H(\xi)$
654: can be used to generate classical phase flow or quantum phase flow, according as
655: the dot-product or the star-product stands for multiplication operation in the set of phase-space functions.
656:
657: The analogue between unitary and canonical transformations is illustrated by Dirac \cite{SOWUN} in terms of the generating
658: function $S(q^{\prime},q)$ defined by $\exp(\frac{i}{\hbar}S(q^{\prime},q)) = <q^{\prime}|\mathfrak{U}|q>$. The evolution map $(q,p) \rightarrow (q^{\prime},p^{\prime})$, is canonical for $p = - \partial S(q^{\prime},q)/\partial q$ and
659: $p^{\prime} = \partial S(q^{\prime},q)/\partial q^{\prime}$. The parallelism of the transformations
660: is manifest, but trajectories are complex. The generating function defined by the phase of $<q^{\prime}|\mathfrak{U}|q>$ yields real trajectories. It is not clear, however, if time-dependent symbols of operators are entirely determined by such trajectories.
661:
662: The Weyl's symbols of operators of canonical variables $ u^{i}(\xi,\tau)$ are
663: the genuine characteristics in the sense that they allow by equation
664: $f(\xi,\tau) = f(\star u(\xi,\tau),0)$ the entire determination of the evolution of observables. The quantum dynamics is totally contained in $ u^{i}(\xi,\tau)$, whereas the deformation of symbols of the operators calculated at $\star u(\xi,\tau)$ has a kinematical meaning.
665:
666: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
667: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
668: \section{Characteristics in classical constraint systems}
669: \setcounter{equation}{0}
670: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
671: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
672:
673: We give first description of second-class constraints systems and of the skew-gradient projection formalism. The details are found elsewhere
674: \cite{NAKA84,NAKA93,NAKA01,KRF,KRFF,MIKR}.
675:
676: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
677: \subsection{Classical constraint systems in phase space}
678: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
679:
680: Second-class constraints $\mathcal{G}_{a}(\xi) = 0$ with $a = 1,...,2m$ and $m<n$
681: have the Poisson bracket relations which form a non-degenerate $2m \times 2m$
682: matrix
683: \begin{equation}
684: \det\{\mathcal{G}_{a}(\xi),\mathcal{G}_{b}(\xi)\} \ne 0. \label{NONGEN}
685: \end{equation}
686: If this would not be the case, it could mean that gauge degrees of freedom appear in the system. After imposing gauge-fixing conditions, we could arrive at the inequality (\ref{NONGEN}). Alternatively, breaking the condition
687: (\ref{NONGEN}) could mean that constraint functions are dependent. After
688: removing redundant constraints, we arrive at the inequality (\ref{NONGEN}).
689:
690: Constraint functions are equivalent if they describe the same constraint
691: submanifold. Within this class one can make transformations without changing dynamics.
692:
693: For arbitrary point $\xi$ of the constraint submanifold
694: $\Gamma^{*} = \{\xi: \mathcal{G}_{a}(\xi) = 0 \}$,
695: there is a neighbourhood where one may find equivalent constraint functions in terms of which the Poisson bracket relations look like
696: \begin{equation}
697: \{\mathcal{G}_{a}(\xi),\mathcal{G}_{b}(\xi)\}=\mathcal{I}_{ab} \label{SB}
698: \end{equation}
699: where
700: \begin{equation}
701: \mathcal{I}_{ab}=\left\|
702: \begin{array}{ll}
703: 0 & E_{m} \\
704: -E_{m} & 0
705: \end{array}
706: \right\|. \label{SMAT}
707: \end{equation}
708: Here, $E_{m}$ is the identity $m\times m$ matrix, $\mathcal{I}_{ab}\mathcal{I%
709: }_{bc}=-\delta _{ac}$. The matrix $\mathcal{I}^{ab} = - \mathcal{I}_{ab}$ is used to lift indices $a,b,\ldots$ up.
710:
711: The basis (\ref{SB}) always exists locally, i.e., in a finite neighbourhood of any point of the constraint submanifold. This is on the line with the Darboux's theorem (see e.g. \cite{ARNO}). All symplectic spaces are locally indistinguishable.
712:
713: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
714: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
715: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
716: %\vspace{2mm}
717: \begin{figure}[!htb]
718: \begin{center}
719: \includegraphics[angle=0,width=5.5 cm]{project.eps}
720: \end{center}
721: \caption{Schematic presentation of skew-gradient projection onto constraint
722: submanifold along commuting phase flows generated by constraint functions.}
723: \label{fig1}
724: \end{figure}
725: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
726: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
727: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
728:
729: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
730: \subsection{Skew-gradient projection formalism}
731: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
732:
733: The concept of the skew-gradient projection $\xi _{s}(\xi )$ of canonical variables $\xi$ onto a constraint submanifold plays important role in the Moyal quantization of constraint systems.
734: Geometrically, the skew-gradient projection acts along phase flows
735: $Id \mathcal{G}^{a}(\xi)$ generated by constraint functions.
736: These flows are commutative in virtue of Eqs.(\ref{SB}): Using
737: Eqs.(\ref{SB}) and the Jacobi identity, one gets
738: $\{\mathcal{G}^{a},\{\mathcal{G}^{b},f\}\} = \{\mathcal{G}^{b},\{\mathcal{G}^{a},f\}\}$
739: for any function $f$, so the intersection point with
740: $\Gamma^{*}$ is unique.
741:
742: To construct the skew-gradient projections, we start from equations
743: \begin{equation}
744: \{\xi _{s}(\xi ),\mathcal{G}_{a}(\xi )\}=0 \label{CG}
745: \end{equation}
746: which say that point $\xi _{s}(\xi ) \in \Gamma^{*}$ is left invariant by phase flows generated by $\mathcal{G}_{a}(\xi )$. Using the symplectic basis (\ref{SB}) for the constraints and expanding
747: \begin{equation}
748: \xi _{s}(\xi )=\xi +X^{a}\mathcal{G}_{a}+\frac{1}{2}X^{ab}\mathcal{G}_{a}%
749: \mathcal{G}_{b}+...
750: \end{equation}
751: in the power series of $\mathcal{G}_{a}$, one gets
752: \begin{eqnarray}
753: \xi _{s}(\xi )=\sum_{k=0}^{\infty }\frac{1}{k!}\{...\{\{\xi ,\mathcal{G}%
754: ^{a_{1}}\},\mathcal{G}^{a_{2}}\},...\mathcal{G}^{a_{k}}\} \nonumber \\
755: \times \mathcal{G}_{a_{1}}\mathcal{G}_{a_{2}}...\mathcal{G}_{a_{k}}.
756: \label{SGRAD}
757: \end{eqnarray}
758: Similar projection can be made for function $f(\xi )$:
759: \begin{eqnarray}
760: f_{s}(\xi )=\sum_{k=0}^{\infty }\frac{1}{k!}\{...\{\{f(\xi ),\mathcal{G}%
761: ^{a_{1}}\},\mathcal{G}^{a_{2}}\},...\mathcal{G}^{a_{k}}\} \nonumber \\
762: \times \mathcal{G}_{a_{1}}\mathcal{G}_{a_{2}}...\mathcal{G}_{a_{k}}.
763: \label{FSG}
764: \end{eqnarray}
765: One has
766: \begin{equation}
767: f_{s}(\xi )=f(\xi _{s}(\xi )). \label{FSSF}
768: \end{equation}
769: The projected functions are in involution with the constraint functions:
770: \begin{equation}
771: \{ f_{s}(\xi ), \mathcal{G}_{a}(\xi) \}=0. \label{involution}
772: \end{equation}
773: Consequently, $f_{s}(\xi )$ does not vary along $Id\mathcal{G}_{a}(\xi)$, since
774: \[
775: \{ f(\xi ), g(\xi) \} \equiv \frac{\partial f(\xi)}{\partial \xi^{i}} (Idg(\xi))^{i}.
776: \]
777:
778: The skew-gradient projection is depicted schematically in Fig. \ref{fig1}.
779:
780: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
781: \subsection{Evolution and skew-gradient projection}
782: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
783:
784: In the classical second-class constraints systems, one has to start from
785: constructing $\mathcal{H}_{s}(\xi )$ from $\mathcal{H}(\xi )$. The evolution equation for phase-space
786: functions can be converted then to the classical Liouville equation:
787: \begin{equation}
788: \frac{\partial }{\partial \tau }f(\xi ,\tau )=\{f(\xi ,\tau ),\mathcal{H}%
789: _{s}(\xi )\} \label{LIOUCON}
790: \end{equation}
791:
792: Similarly, the canonical variables obey the classical
793: Hamilton's equations:
794: \begin{equation}
795: \frac{\partial }{\partial \tau }c^{i}(\xi ,\tau )=\{c^{i}(\xi ,\tau ),%
796: \mathcal{H}_{s}(\xi )\} \label{HAMICON}
797: \end{equation}
798: with initial conditions
799: \begin{equation}
800: c^{i}(\xi ,0)=\xi^{i}. \label{INICON}
801: \end{equation}
802:
803: Equation
804: \begin{equation}
805: \{\mathcal{G}_{a}(\xi),\mathcal{H}_{s}(\xi )\} = 0
806: \label{INVO}
807: \end{equation}
808: tells that $\mathcal{G}_{a}(\xi)$ remain constant along $c^{i}(\xi ,\tau )$:
809: \begin{equation}
810: \mathcal{G}_{a}(\xi) = \mathcal{G}_{a}(c(\xi ,\tau )).
811: \label{INVO-2}
812: \end{equation}
813:
814: Equations (\ref{INVO-2}) show that trajectories do not leave level sets $\{\xi :%
815: \mathcal{G}_{a}(\xi )=\mathrm{constant}\}$ and therefore do not leave the
816: constraint submanifold $\Gamma ^{*}=\{\xi :\mathcal{G}_{a}(\xi )=0\}.$
817:
818: Given $\mathcal{H}_{s}(\xi )$ is constructed, it becomes possible to extend standard theorems of the Hamiltonian formalism to second-class constraints systems without modifications. The novel element is the interplay between the evolution and the skew-gradient projection.
819:
820: Let the coordinate system $\{\eta^{i}\}$ is obtained from the coordinate system $\{\xi^{i}\}$ by the canonical transformation
821: $\xi \rightarrow \eta = c(\xi ,\tau )$.
822:
823: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
824: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
825: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
826: %\vspace{10mm}
827: \begin{figure}[tbh]
828: \begin{center}
829: \includegraphics[angle=0,width=7.5 cm]{cflow.eps}
830: \end{center}
831: \caption{Classical phase flow $c(\xi,\tau)$ is commutative with classical projection
832: $\xi_{s}(\xi)$ onto constraint submanifold $\Gamma^{*}$. }
833: \label{fig4}
834: \end{figure}
835: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
836: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
837: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
838:
839: Eq.(\ref{FSG}) may be applied for $c^{i}(\xi ,\tau )$. Using Eq.(\ref{INVO-2}),
840: we replace the arguments of the constraint functions to $c^{i}(\xi ,\tau )$
841: and replace everywhere $c^{i}(\xi ,\tau )$ with $\eta^{i}$, as long as the
842: Poisson brackets are invariant and the constraint functions are scalars.
843: We arrive at
844: \begin{eqnarray}
845: c_{s}(\xi ,\tau ) &=&c(\xi _{s}(\xi ),\tau ) \nonumber \\
846: &=&\xi _{s}(c(\xi ,\tau )). \label{ABBA}
847: \end{eqnarray}
848: The first line is a consequence of Eq.(\ref{FSSF}). The evolution is commutative with the skew-gradient projection. Equation (\ref{ABBA}) is illustrated on Fig. \ref{fig4}.
849:
850: The Liouville equation can be solved provided phase-space trajectories $%
851: c(\xi ,\tau )$ are known. In general,
852: \begin{equation}
853: f(\xi ,\tau )=f(c(\xi ,\tau ),0). \label{1234}
854: \end{equation}
855: Applying projection (\ref{FSG}), one gets
856: \begin{eqnarray}
857: f_{s}(\xi ,\tau ) &=&f(c(\xi _{s}(\xi ),\tau ),0) \nonumber \\
858: &=&f(c_{s}(\xi ,\tau ),0). \label{23456}
859: \end{eqnarray}
860: The first line follows from Eq.(\ref{FSSF}). Equation (\ref{23456}) shows how to use characteristics in order to solve evolution equations in the classical second-class constraint systems.
861:
862: The evolution depends on choice of the constraint functions up to a canonical transformation. Suppose we found two sets of the constraint functions $\mathcal{G}_{a}(\xi )$ and $\tilde{\mathcal{G}}_{a}(\xi )$
863: describing the same constraint submanifold. Each set can be transformed to the standard basis (\ref{SB}). Such bases are related by canonical
864: transformations, so one can find a canonical map: $\xi \to \upsilon = v_{-}(\xi)$,
865: such that $\tilde{\mathcal{G}}_{a}(\upsilon) = \mathcal{G}_{a}(v_{-}(\xi))$.
866: The inverse transform is $\upsilon \to \xi = v_{+}(\upsilon)$.
867: The skew-gradient projections $\xi_{s}(\xi)$ and $\upsilon_{s}(\upsilon)$ are related by:
868: \begin{equation}
869: \upsilon_{s}(v_{-}(\xi)) = v_{-}(\xi_{s}(\xi)).
870: \label{ohoho}
871: \end{equation}
872: The skew-gradient projection depends on choice of the constraint functions up to a canonical transformation. The same is true for projected Hamiltonian functions:
873: \begin{equation}
874: \mathcal{H}_{s}(\xi) = \mathcal{H}_{s}^{\prime}(\upsilon)
875: \end{equation}
876: where $\mathcal{H}^{\prime}(\upsilon) = \mathcal{H}(v_{+}(\upsilon))$.
877: Two sets of the constraint functions
878: $\mathcal{G}_{a}(\xi )$ and $\tilde{\mathcal{G}}_{a}(\xi )$ lead to the
879: canonically equivalent Hamiltonian phase flows.
880:
881: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
882: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
883: \section{Characteristics in quantum constraint systems}
884: \setcounter{equation}{0}
885: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
886: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
887:
888: The constraint systems represent high interest since all fundamental interactions
889: in the elementary particle physics are based on the principles of gauge invariance.
890: Gauge fixing turns gauge-invariant systems into constraint systems.
891:
892: In the classical mechanics, the constraint systems can be treated as a
893: limiting case $\lambda \to \infty$ of systems in a potential $V_{\lambda}(q)$
894: which rapidly increases when the coordinates $q$ go away from the constraint submanifold.
895: In the limit of $\lambda \to \infty$, $V_{\lambda}(q) = 0$ if $q$ belongs
896: to the constraint submanifold and $V_{\lambda}(q) = + \infty$ when $q$ does
897: not belong to the constraint submanifold. The classical systems
898: obtained by imposing the constraints and by the limiting procedure have equivalent dynamic properties \cite{ARNO}.
899:
900: In the quantum mechanics, this is not the case.
901: The limiting procedure applied to a particular system of Ref. \cite{COST} to model holonomic constraints, results to
902: the quantum dynamics which depends on the way the constraint submanifold is embedded into the configuration space. From other hand, the quantization of
903: constraint holonomic systems leads to the conclusion that the dynamics is determined by the induced metric tensor only \cite{KFRF,KRFF}. The limiting procedure
904: and imposing the constraints are not equivalent schemes of the quantization.
905: In what follows, we discuss the constraint dynamics as it appears in the gauge theories.
906:
907: The Groenewold-Moyal constraint dynamics has many features in common with the classical constraint dynamics. The projection formalism developed for
908: constraint systems allows, from other hand, to treat unconstrained and constraint systems essentially on the same footing.
909:
910: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
911: \subsection{Skew-gradient projection in quantum mechanics}
912: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
913:
914: We recall that classical Hamiltonian function $\mathcal{H}(\xi)$ and constraint
915: functions $\mathcal{G}_{a}(\xi)$ are distinct in general from their quantum
916: analogues ${H}(\xi)$ and ${G}_{a}(\xi)$. These dissimilarities are connected to ambiguities in quantization of classical systems. It is required only
917: \begin{equation}
918: \lim_{\hbar \rightarrow 0}{H}(\xi) = \mathcal{H}(\xi), ~~~\lim_{\hbar \rightarrow 0}{G}_{a}(\xi) = \mathcal{G}_{a}(\xi). \nonumber
919: \end{equation}
920: In what follows
921: \begin{equation}
922: \Gamma^{*} = \{\xi: {G}_{a}(\xi) = 0 \}.
923: \label{COMA}
924: \end{equation}
925:
926: The quantum constraint functions ${G}_{a}(\xi)$ satisfy
927: \begin{equation}
928: {G}_{a}(\xi )\wedge {G}_{b}(\xi )=\mathcal{I}_{ab}. \label{SBAS}
929: \end{equation}
930:
931: The quantum-mechanical version of the skew-gradient projections is defined
932: with the use of the Moyal bracket
933: \begin{equation}
934: \xi _{t}(\xi )\wedge {G}_{a}(\xi )=0. \label{CG3}
935: \end{equation}
936:
937: The projected canonical variables have the form
938: \begin{eqnarray}
939: \xi _{t}(\xi )&=&\sum_{k=0}^{\infty }\frac{1}{k!}(...((\xi \wedge {G}%
940: ^{a_{1}}) \wedge {G}^{a_{2}})...\wedge {G}^{a_{k}}) \nonumber \\
941: &&\circ {G}_{a_{1}}\circ {G}_{a_{2}}...\circ {G}_{a_{k}}. \label{SGRAD3}
942: \end{eqnarray}
943: The quantum analogue of Eq.(\ref{FSG}) is
944: \begin{eqnarray}
945: f_{t}(\xi )&=&\sum_{k=0}^{\infty }\frac{1}{k!}(...((f(\xi )\wedge {G}%
946: ^{a_{1}})\wedge {G}^{a_{2}})...\wedge {G}^{a_{k}}) \nonumber \\
947: &&\circ {G}_{a_{1}}\circ {G}_{a_{2}}...\circ {G}_{a_{k}}. \label{SGRAD4}
948: \end{eqnarray}
949: The function $f_{t}(\xi)$ obeys equation
950: \begin{equation}
951: f_{t}(\xi ) \wedge {G}_{a}(\xi) = 0.
952: \label{LAB}
953: \end{equation}
954:
955: The evolution equation which is the analogue of Eq.(\ref{EVOL}) takes the
956: form
957: \begin{equation}
958: \frac{\partial}{\partial t}f(\xi) = f(\xi) \wedge {H}_{t}(\xi) \label{PEV2}
959: \end{equation}
960: where ${H}_{t}(\xi)$ is the Hamiltonian function projected onto the
961: constraint submanifold as prescribed by Eq.(\ref{SGRAD4}).
962:
963: Any function projected quantum-mechanically onto the constraint submanifold
964: can be represented in the form \cite{MIKR}
965: \begin{equation}
966: f_{t}(\xi) = \varphi(\star \xi_{t}(\xi)).
967: \label{GREAT}
968: \end{equation}
969: In the space of projected functions, the set of projected canonical variables $\xi_{t}(\xi)$ is therefore complete.
970:
971: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
972: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
973: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
974: \vspace{4mm}
975: \begin{figure}[!htb]
976: \begin{center}
977: \includegraphics[angle=0,width=7.5 cm]{qproj.eps}
978: \end{center}
979: \caption{Quantum projection $\xi_{t}(\xi)$ defined by Eq.(4.21). The
980: submanifold $\Gamma_{\star} = \{\xi _{t}(\xi ) : \xi \in T_{*}\mathbb{R}^{n}\}$
981: does not coincide with the constraint submanifold
982: $\Gamma^{*} = \{\xi : {G}_{a}(\xi ) = 0 \}$.
983: The variance is of order $\sim \hbar^2$. The constraint submanifold $\Gamma^{*}$
984: can be parameterized by classical projection
985: $\Gamma^{*} = \{\xi _{s}(\xi ) : \xi \in T_{*}\mathbb{R}^{n}\}$ constructed
986: with the use of the quantum constraint functions ${G}_{a}(\xi )$.
987: }
988: \label{fig5}
989: \end{figure}
990: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
991: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
992: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
993:
994: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
995: \subsection{Coordinate star-transformations do not keep geometric relations
996: among quantum objects}
997: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
998:
999: The evolution equation in the quantum constraint systems has the
1000: form of Eq.(\ref{PEV2}) which is essentially the same as in the quantum unconstrained systems. Replacing $H(\xi )$ by $H_{t}(\xi )$, one can work
1001: further with solutions $u(\xi ,\tau )$ of quantum Hamilton's equations (\ref
1002: {QF}). It is not required for points $\xi $ to belong to the constraint
1003: submanifold, so phase-space trajectories $u(\xi ,\tau )$ occupy the whole
1004: phase space.
1005:
1006: The quantum phase flow preserves the constraint functions in the following sense:
1007: \begin{equation}
1008: G_{a}(\xi )=G_{a}(\star u(\xi ,\tau )). \label{CONCON}
1009: \end{equation}
1010:
1011: The alternative equation $G_{a}(\xi )=G_{a}(u(\xi,\tau ))$ which would carry the
1012: conventional geometric meaning uses pre-conditionally the dot-composition law which is not allowed quantum-mechanically. It is obviously violated, so in the
1013: usual sense $u(\xi,\tau ) \notin \Gamma^{*}$ for $\tau > 0$ even if $u(\xi,\tau =0) = \xi \in \Gamma^{*}$
1014: (see Fig. \ref{fig12}).
1015:
1016: Any attempt to decide if $u(\xi,\tau ) \in \Gamma^{*}$ involves the dot-composition e.g.
1017: \begin{equation}
1018: u(\xi,\tau )~{\in}~\Gamma^{*} ~ \leftrightarrow ~ \forall a ~ G_{a}(u(\xi,\tau )) = 0.
1019: \label{cbelong}
1020: \end{equation}
1021: Statements involving the dot-composition are, however, forbidden.
1022:
1023: Surprisingly, expressive means of the star-product formalism are not enough
1024: to formulate the simple geometric idea that a trajectory belongs to a submanifold.
1025:
1026: We wish to find statements admissible quantum-mechanically and from other hand which would
1027: support relations of belonging and intersection inherent for geometric objects.
1028:
1029: It is tempting to interpret Eqs.(\ref{CONCON}) as the evidence that quantum trajectories $u(\xi,\tau )$ do not leave, in a specific quantum-mechanical sense, level sets of
1030: constraint functions $\{\xi : G_{a}(\xi ) = \textrm{constant} \}$.
1031:
1032: Such a statement has the invariant meaning with respect to unitary transformations:
1033: Suppose the map $v_{+}$: $\upsilon \rightarrow \xi = v_{+}(\upsilon)$, corresponds to a unitary transformation in the Hilbert space. The inverse unitary transformation generates
1034: the inverse map $v_{-}$: $\xi \rightarrow \upsilon = v_{-}(\xi)$, such that $v_{-}(\star v_{+}(\upsilon)) = \upsilon$
1035: and, by virtue of Eq.(\ref{BRINVA}), $v_{+}(\star v_{-}(\xi)) = \xi$.
1036: In the coordinate system $\{\upsilon^{i}\}$, the constraint functions become
1037: \begin{equation}
1038: G_{a}^{\prime}(\upsilon) = G_{a}(\star v_{+}(\upsilon)).
1039: \end{equation}
1040: Equation (\ref{BRINVA}) allows to change the variables $\xi \to \star v_{+}(\upsilon)$ in Eq.(\ref{CONCON}) to give
1041: \begin{equation}
1042: G_{a}^{\prime}(\upsilon) = G_{a}^{\prime}(\star u^{\prime}(\upsilon,\tau)) \label{CONCON-2}
1043: \end{equation}
1044: where
1045: \begin{equation}
1046: u^{\prime}(\upsilon,\tau) = v_{-}(\star u( \star v_{+}(\upsilon),\tau))
1047: \label{nonloc}
1048: \end{equation}
1049: represents the quantum phase flow in the coordinate system $\{\upsilon^{i}\}$. Equations (\ref{CONCON}) and (\ref{CONCON-2}) are therefore equivalent. They show that "do not leave" represents a predicate invariant under unitary transformations.
1050:
1051: The non-local character of relations between the quantum phase flows is displayed in Eq.(\ref{nonloc}) explicitly. One can conclude that quantum trajectories do not transform under unitary transformations as geometric objects.
1052:
1053: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1054: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1055: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1056: %\vspace{7mm}
1057: \begin{figure}[!htb]
1058: \begin{center}
1059: \includegraphics[angle=0,width=2.5 cm]{dia-3.eps}
1060: \end{center}
1061: \caption{Constraint submanifolds $\Gamma^{*}$ and $\Gamma^{* \prime}$
1062: (solid lines) and quantum trajectories $u(\xi,\tau)$ and $u^{\prime}(\upsilon,\tau)$
1063: (dashed lines) in unitary equivalent coordinate systems $\{\xi^{i}\}$ and $\{\upsilon^{i}\}$, respectively.
1064: As shown, $u(\xi,\tau)$ crosses $\Gamma^{*}$ twice, whereas
1065: its image $u^{\prime}(\upsilon,\tau)$ crosses $\Gamma^{* \prime}$ once.
1066: Any counting of the intersections rests on an implicit use of the dot-composition, an operation which is forbidden quantum-mechanically.
1067: The property of the statements $u(\xi,\tau) \in \Gamma^{*}$ and
1068: $u^{\prime}(\upsilon,\tau) \in \Gamma^{* \prime}$ be true or false depends on unitary transformations.
1069: From the viewpoints of Eqs.(\ref{CONCON}) and (\ref{CONCON-2}),
1070: $u(\xi,\tau)$ and $u^{\prime}(\upsilon,\tau)$ belong to the level sets of $G_{a}(\xi)$
1071: and $G^{\prime}_{a}(\upsilon)$, respectively. However, from condition $G_{a}(\star u(\xi,\tau)) = 0$
1072: it does not follow that $G_{a}^{\prime}(\star u^{\prime}(\upsilon,\tau)) = 0$ and \textit{vice versa}.
1073: Geometric relations among quantum objects, which use the dot-composition, do not have objective meaning.
1074: }
1075: \label{fig12}
1076: \end{figure}
1077: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1078: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1079: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1080:
1081: The coordinate transformation $v_{-}$: $\xi \rightarrow \upsilon = v_{-}(\xi)$ does not
1082: superpose $\Gamma ^{*}$ and
1083: \begin{equation}
1084: \Gamma ^{*\prime } = \{\upsilon: G_{a}^{\prime}(\upsilon) =0\}.
1085: \end{equation}
1086: Assuming $\xi \in \Gamma^{*}$, we obtain
1087: $G_{a}^{\prime}(v_{-}(\xi)) \neq G_{a}^{\prime}(\star v_{-}(\xi)) =
1088: G_{a}(\xi) = 0$ and therefore $v_{-}(\xi) \notin \Gamma^{*\prime}$ in general.
1089: The constraint submanifold does not transform under unitary transformations as a geometric object also.
1090:
1091: We see that points of $\Gamma^{*}$ transform differently from $\Gamma^{*}$. They
1092: are "not attached to $\Gamma^{*}$". In new coordinate system, $\Gamma^{*}$ represents a set of new points. To put it precisely,
1093: \begin{equation}
1094: \xi \in \Gamma^{*} \nrightarrow \upsilon = v_{-}(\xi) \in \Gamma^{*\prime} = v_{-}(\Gamma^{*}).
1095: \end{equation}
1096:
1097: Unitary transformations affect the visualization of trajectories and
1098: submanifolds. The relation "do not leave" supports, however, some features inherent to the usual
1099: geometric relations "belong" and "intersect". One can show e.g. that
1100: if quantum trajectories do not leave the level sets of $G_{a}(\xi)$ and each
1101: level set of $G_{a}(\xi)$ is a subset of one of the level sets of $F_{a}(\xi)$
1102: then quantum trajectories do not leave the level sets of $F_{a}(\xi)$.
1103:
1104: One cannot assign to quantum trajectories definite values of energy and constraint functions. In the coordinate system
1105: $\{\xi^{i}\}$ one has $E_{\xi} = H(\star u(\xi,\tau))$, whereas in the coordinate system
1106: $\{\upsilon^{i}\}$ one has
1107: $E_{\upsilon} = H^{\prime}(\star u^{\prime}(\upsilon,\tau))$ where $H^{\prime}(\upsilon)$ is defined by Eq.(\ref{hprime}). The constants $E_{\xi}$ and $E_{\upsilon}$ do not depend on time.
1108: However, $E_{\xi} \neq E_{\upsilon}$ in general even if trajectories are related by a unitary transformation.
1109: The same conclusion holds for constraint functions, as shown on Fig. \ref{fig12}.
1110:
1111: Finally, the syntax of the star-product formalism is not rich enough to express the
1112: simple geometric idea that trajectory belongs to a submanifold.
1113:
1114: The star-product geometry admits the statement that quantum trajectories
1115: do not leave level sets of the constraint functions. The validity of
1116: this statement is not affected by unitary transformations and has the objective meaning. The quantum-mechanical relation "do not leave" is the remnant of usual relations of belonging and intersection inherent to geometric objects. It cannot be completely visualized, however.
1117:
1118: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1119: \subsection{Evolution and skew-gradient projection}
1120: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1121:
1122: The classical phase flow commutes with the classical skew-gradient projection,
1123: as discussed in Sect. IV. We want to clarify if
1124: such a property holds for quantum systems.
1125:
1126: Given the quantum trajectories $u(\xi ,\tau)$ are constructed, the evolution of arbitrary function
1127: can be found with the help of Eq.(\ref{TF}) and its projection can be computed using Eq.(\ref{SGRAD4}).
1128:
1129: The quantum projection applied to arbitrary function cannot be expressed in terms of the
1130: same function of the projected arguments Eq.(\ref{GREAT}), basically because the
1131: classical relation $(fg)_{s} = f_{s}{g}_{s}$ turns to the quantum inequality
1132: $(f \star g)_{t} \neq {f}_{t} \star {g}_{t}$. In terms of a function $\varphi(\xi)$ defined for $f(\xi) \equiv f(\xi,0)$
1133: in Eq.(\ref{GREAT}), the quantum analogue for Eqs.(\ref{23456}) reads
1134: \begin{equation}
1135: f_{t}(\xi,\tau) = \varphi(\star u_{t}(\xi,\tau)).
1136: \label{0000}
1137: \end{equation}
1138: The construction of $\varphi(\xi)$ from $f(\xi)$ is a complicated task, so
1139: practical advantages of this equation are not seen immediately.
1140:
1141: Equation (\ref{0000}) accomplishes solution of the evolution problem for observable $f(\xi,\tau)$ in terms of quantum characteristics.
1142:
1143: It remains to prove
1144: \begin{eqnarray}
1145: u_{t}(\xi ,\tau ) &=& u(\star \xi _{t}(\xi ),\tau ) \nonumber \\
1146: &=& \xi _{t}(\star u(\xi ,\tau )). \label{QABBA}
1147: \end{eqnarray}
1148:
1149: The first line is a consequence of the fact that the constraint functions $G_{a}(\xi)$
1150: are Moyal commutative with the projected Hamiltonian function $H_{t}(\xi)$. To arrive at the second line,
1151: it is sufficient to use Eq.(\ref{CONCON}) to replace arguments of the constraint functions entering the skew-gradient projection.
1152:
1153: The quantum phase flow commutes with the quantum projection, as illustrated on Fig. \ref{fig6}.
1154:
1155: The composition law (\ref{comp}) for quantum phase flow holds for the constraint systems. It holds for projected quantum trajectories also:
1156: \begin{equation}
1157: u_{t}(\xi,\tau_{1} + \tau_{2}) = u_{t}(\star u_{t}(\xi,\tau_{1}),\tau_{2}), \label{concomp}
1158: \end{equation}
1159: as a consequence of Eqs.(\ref{QABBA}).
1160:
1161: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1162: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1163: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1164: %\vspace{8mm}
1165: \begin{figure}[tbh]
1166: \begin{center}
1167: \includegraphics[angle=0,width=8.5 cm]{qflow-kopie.eps}
1168: \end{center}
1169: \caption{Quantum phase flow is commutative with quantum projection
1170: operation: $u(\star \xi _{t}(\xi ),\tau ))=\xi _{t}(\star u(\xi ,\tau ))$.
1171: The phase-space trajectory $u_{t}(\xi ,\tau )$ does not belong
1172: to the submanifold $\Gamma_{\star} = \{\xi _{t}(\xi ) : \xi \in T_{*}\mathbb{R}^{n}\}$
1173: except for $\tau = 0$, so the white planes on
1174: Figs. \ref{fig5} and \ref{fig6} are distinct.}
1175: \label{fig6}
1176: \end{figure}
1177: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1178: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1179: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1180:
1181: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1182: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1183: \section{Conclusions}
1184: \setcounter{equation}{0}
1185: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1186: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1187:
1188: The method of characteristics for solving evolution equations in classical and quantum, unconstrained and constrained systems has been discussed.
1189: The analysis rests on the Groenewold-Moyal star-product technique.
1190:
1191: The classical method of characteristics applies to first-order PDE and consists in finding characteristics which
1192: are solutions of first-order ODE. For the classical Liouville equation, the corresponding first-order ODE are the
1193: Hamilton's equations and the characteristics of interest are the classical phase-space trajectories.
1194:
1195: The quantum Liouville equation is the infinite-order PDE. Nevertheless, it can be solved in terms
1196: of quantum characteristics which are solutions of the quantum Hamilton's equations. These equations
1197: represent infinite-order PDE also.
1198:
1199: Using the star-product formalism, we showed that to any fixed order in the Planck's constant,
1200: quantum characteristics can be constructed by solving a
1201: closed system of ODE for quantum trajectories and generalized Jacobi fields.
1202: The quantum evolution becomes local in an extended phase space with new dimensions ascribed to generalized Jacobi fields. This statement holds for constraint systems also.
1203:
1204: One-parameter continuous groups of unitary transformations in quantum theory represent the quantum deformation of one-parameter continuous groups of canonical transformations in classical theory.
1205: Quantum phase flow, induced by the evolution in the Hilbert space, does not satisfy the condition for
1206: canonicity and preserves the Moyal bracket rather than the Poisson bracket. The knowledge of quantum phase flow allows to reconstruct quantum dynamics.
1207:
1208: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1209: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1210:
1211: %%%%%%%%%
1212: \begin{table}[tbp]
1213: \caption{Solutions of evolution equations for functions (second column) and
1214: projected functions (third column) of classical systems (first row) and
1215: quantum systems (second row) in terms of characteristics.
1216: $c(\xi,\tau)$ are solutions of classical Hamilton's equations with
1217: hamiltonian function $\mathcal{H}(\xi)$ (second column) and projected
1218: hamiltonian function $\mathcal{H}_{s}(\xi)$ (third column).
1219: $c_{s}(\xi,\tau)$ are classical projections of $c(\xi,\tau)$.
1220: $u(\xi,\tau)$ are solutions of quantum Hamilton's equations with
1221: Hamiltonian function ${H}(\xi)$ (second column) and projected Hamiltonian
1222: function ${H}_{t}(\xi)$ (third column). $u_{t}(\xi,\tau)$ are quantum projections
1223: of $u(\xi,\tau)$. $\varphi(\xi,0)$ is defined in terms of $f_{t}(\xi,0)$
1224: by Eq.(\ref{0000}). Classical and quantum projections are defined by Eqs.(\ref{FSG}) and (\ref{SGRAD4}), respectively.
1225: }
1226: \label{lab3}
1227: \begin{center}
1228: \begin{tabular}{|l|c|c|}
1229: \hline
1230: Systems: & unconstrained & constrained \\ \hline
1231: classical & $f(c(\xi,\tau),0)$ & $f(c_{s}(\xi,\tau),0)$ \\ \hline
1232: quantum & $f(\star u(\xi,\tau),0)$ & $\varphi(\star u_{t}(\xi,\tau),0)$ \\ \hline
1233: \end{tabular}
1234: \end{center}
1235: \par
1236: \vspace{-2mm}
1237: \end{table}
1238: %%%%%%%%%%%
1239:
1240: The results reported in this work are valid for semiclassically
1241: admissible functions, i.e. for functions regular in $\hbar$ at
1242: $\hbar = 0$. Physical observables are normally associated with classical
1243: devices and expressed as classical functions of classical variables.
1244: The quantum evolution turns, however, the set of classical functions into the set of semiclassically admissible functions.
1245:
1246: The use of the skew-gradient projection formalism allows to treat unconstrained and constraint systems essentially on the same footing. We showed that the skew-gradient projections of
1247: solutions of the quantum Hamilton's equations onto the constraint submanifold comprise the complete information on quantum dynamics of constraint systems.
1248:
1249: The formalism we developed applies in particular to the dynamics of gauge-invariant systems which become second class upon gauge fixing. The quantum
1250: dynamics of charged particles in external gauge fields on flat and curved manifolds is discussed within the star-product formalism in a gauge-invariant manner in Refs. \cite{OSKA04,OSKA05}.
1251:
1252: The evolution equations for semiclassically admissible functions admit solutions in terms of characteristics
1253: in all physical systems, as summarized in Table \ref{lab3}.
1254:
1255: The analytic geometry uses the dot-product and rests on classical ideas how to arrange composition of functions. It is well known that all theorems of geometry can be reformulated using tools of the analytic geometry.
1256:
1257: Given the dot-product is replaced with the star-product, we arrive at the star-product
1258: geometry with well defined coordinate systems, transformations of the coordinates and equations for functions of the coordinates. However, objects of the star-product geometry, defined
1259: algebraically, can hardly be visualized:
1260:
1261: We found that quantum trajectories and constraint submanifolds do not transform
1262: as geometric objects. The statement "quantum trajectory belongs to a constraint submanifold" can be
1263: changed to the opposite by a unitary transformation. The star-composition law
1264: (\ref{comp}) shows also that the quantum evolution cannot be treated literally as moving
1265: along a quantum trajectory.
1266:
1267: We attempted to find statements whose validity cannot be reverted by
1268: transformations of the coordinate system and which, from other hand,
1269: express relations similar to "belong", "intersect", etc.
1270: A weak but consistent geometric meaning can be attributed to the statement "quantum
1271: trajectories do not leave level sets of constraint functions".
1272:
1273: The dot-product composition of linear functions coincides with the star-product composition
1274: of linear functions, so under linear transformations straight lines and hyperplanes
1275: turn to straight lines and hyperplanes. Relations of the linear algebra, imbedded into the star-product geometry, preserve the consistent geometric meaning.
1276:
1277: Finally, this work extended the method of characteristics to quantum unconstrained and constraint systems. From the point of view of applications, it is motivated by the fact of
1278: using classical phase-space trajectories in transport models and by the appearance of constraints in relativistic versions of
1279: QMD transport models. The method of quantum characteristics represents the promising tool for solving
1280: numerically many-body potential scattering problems.
1281:
1282: \begin{acknowledgments}
1283: %The authors are grateful to anonymous referee for calling their attention to Refs. \cite{OSBOR,MCQUA}.
1284: This work is supported by DFG grant No. 436 RUS 113/721/0-2, RFBR grant No. 06-02-04004,
1285: and European Graduiertenkolleg GR683.
1286: \end{acknowledgments}
1287:
1288: \begin{appendix}
1289:
1290: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1291: \section{Quantum phase flow in integrable systems}
1292: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1293:
1294: A completely integrable classical system admits a canonical transformation which
1295: makes the Hamiltonian function depending on half of the canonical variables only
1296: (see e.g. \cite{ARNO}). Such variables if exist can be taken to be canonical
1297: momenta which usually referred to as actions. The canonically conjugate coordinates are referred to as angles.
1298:
1299: In quantum mechanics, we search for a unitary transformation (or a half-unitary transformation
1300: \cite{BLEAF2}) allowing to express the Hamiltonian as an operator function of operators of canonical momenta. If such a transformation exists,
1301: the Hamiltonian commutes with the operators of canonical momenta, so that the canonical momenta are integrals of motion, whereas the operators of canonical coordinates depend linearly on time.
1302:
1303: The quantum integrable systems admit an equivalent treatment in the
1304: framework of the Groenewold-Moyal dynamics \cite{KAMA}.
1305: Given the Hamiltonian function $H(\xi)$ is known,
1306: one has to search for a map $v_{+}$:
1307: \begin{equation}
1308: \upsilon \rightarrow \xi = v_{+}(\upsilon),
1309: \label{UNITA}
1310: \end{equation}
1311: preserving the Moyal bracket, for which the system admits a Hamiltonian function
1312: \begin{equation}
1313: H^{\prime}(\upsilon) = H(\star v_{+}(\upsilon))
1314: \label{hprime}
1315: \end{equation}
1316: depending on actions $\upsilon^{n+1},\ldots,\upsilon^{2n}$, i.e., canonical momenta only.
1317: We restrict the discussion by
1318: unitary transformations (\ref{UNITA}), leaving aside more involved cases described in Refs. \cite{BLEAF2,ANDER}.
1319:
1320: Let $u^{i}(\xi,\tau)$ and
1321: $a^{i}(\upsilon,\tau)$ be solutions of Eq.(\ref{QF}) with Hamiltonian functions
1322: $H(\xi)$ and $H^{\prime}(\upsilon)$, respectively.
1323: In the coordinate system $\{\upsilon^{i}\}$,
1324: the series expansion (\ref{TEU}) is truncated at $s=1$. The quantum Hamilton's equations
1325: give a 'motion by inertia':
1326: \begin{equation}
1327: a^{i}(\upsilon,\tau) = \upsilon^{i} + \{\upsilon^{i},H^{\prime}(\upsilon)\}\tau.
1328: \label{INER}
1329: \end{equation}
1330: The actions ($i=n+1,...,2n$) remain constant, whereas the angles
1331: ($i=1,...,n$) evolve linearly with time.
1332: Equations (\ref{INER}) can be derived as the Weyl's transform of the equations of motion for the Heisenberg operators of the canonical coordinates and momenta
1333: obtained by a unitary transformation from the initial set of operators the canonical coordinates and momenta.
1334:
1335: The Poisson bracket $\{\upsilon^{i},H^{\prime}(\upsilon)\}$ depends for any $i$ on the actions only, so one has
1336: \begin{eqnarray}
1337: a^{i}(\upsilon,\tau) \circ a^{j}(\upsilon,\tau) &=& a^{i}(\upsilon,\tau)a^{j}(\upsilon,\tau), \nonumber \\
1338: a^{i}(\upsilon,\tau) \wedge a^{j}(\upsilon,\tau) &=& \{a^{i}(\upsilon,\tau),a^{j}(\upsilon,\tau)\}. \nonumber
1339: \end{eqnarray}
1340: The map $a$:
1341: \begin{equation}
1342: \upsilon \rightarrow \acute{\upsilon} = a(\upsilon,\tau),
1343: \end{equation}
1344: showing the evolution in the coordinate system $\{\upsilon^{i}\}$ is both canonical and unitary, as
1345: the left-hand side of Eq.(\ref{INER}) is a first-order polynomial with respect to the angles.
1346:
1347: The actions $\upsilon^{n+1},\ldots,\upsilon^{2n}$ Poisson and Moyal commute with $H^{\prime}(\upsilon)$.
1348: Composite functions $v_{-}^{i}(\star u(\star v_{+}(\upsilon),\tau))$, where $v_{-}$ is the inverse
1349: unitary map:
1350: \begin{equation}
1351: \xi \rightarrow \upsilon = v_{-}(\xi),
1352: \end{equation}
1353: such that $v_{-}^{i}(\star v_{+}(\upsilon)) = \upsilon^{i}$, obey Eqs.(\ref{QF}) and proper initial conditions and coincide with $a^{i}(\upsilon,\tau)$. It can be expressed as follows:
1354: \begin{equation}
1355: u^{i}(\xi,\tau) = v_{+}^{i}(\star a(\star v_{-}(\xi),\tau)).
1356: \label{COMBI}
1357: \end{equation}
1358: The functions $v_{\pm}$ are defined using
1359: the star-product and depend on $\hbar$ accordingly.
1360:
1361: We thus conclude that quantum phase flow is distinct from classical phase flow
1362: for integrable systems also. For a one-dimensional system $H = \frac{1}{2}p^2 + V(q)$, which is a classical integrable sysem for any potential $V(q)$, the first quantum
1363: correction to the phase-space trajectories appears to order $O(\hbar^2 \tau^5)$.
1364:
1365: In general case, Eq.(\ref{COMBI}) shows the connection between quantum phase flows $u^{i}(\xi,\tau)$ and $a^{i}(\upsilon,\tau)$ in two unitary equivalent coordinate systems $\{\xi^{i}\}$ and $\{\upsilon^{i}\}$.
1366:
1367: \end{appendix}
1368:
1369: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1370: \begin{thebibliography}{99}
1371: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1372:
1373: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1374:
1375: \bibitem{GROE} H. Groenewold, Physica \textbf{12}, 405 (1946).
1376: \bibitem{WEYL1} H. Weyl, Z. Phys. \textbf{46}, 1 (1927).
1377: \bibitem{WEYL2} H. Weyl, \textit{The Theory of Groups and Quantum Mechanics}, Dover Publications, New York Inc. (1931).
1378: \bibitem{WIGNER} E. P. Wigner, Phys. Rev. \textbf{40}, 749 (1932).
1379: \bibitem{MOYAL} J. E. Moyal, Proc. Cambridge Phil. Soc. \textbf{45}, 99 (1949).
1380: \bibitem{BARLE} M. S. Bartlett and J. E. Moyal, Proc. Camb. Phil. Soc. {\bf 45}, 545 (1949).
1381:
1382: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1383:
1384: \bibitem{STRA} R. L. Stratonovich, Sov. Phys. JETP {\bf 4}, 891 (1957).
1385: \bibitem{VOROS} A. Voros, Ann. Inst. Henri Poincar\'e {\bf 24}, 31 (1976); {\bf 26}, 343 (1977).
1386: \bibitem{BAYEN} F. Bayen, M. Flato, C. Fronsdal, A. Lichnerowicz, D. Sternheimer, Ann. Phys. {\bf 111}, 61 (1978); Ann. Phys. {\bf 111}, 111 (1978).
1387: \bibitem{CARRU} P. Carruthers, F. Zachariasen, Rev. Mod. Phys. \textbf{55}, 245 (1983).
1388: \bibitem{HILL} M. Hillery, R.F. O'Connell, M.O. Scully, E. P. Wigner, Phys. Rep. \textbf{106}, 121 (1984).
1389: \bibitem{BALAZ} N. L. Balazs and B. K. Jennings, Phys. Rep. \textbf{104}, 347 (1989).
1390: \bibitem{FEDO} B. Fedosov, \textit{Deformation Quantization}, Akademie Verlag, Berlin (1996).
1391: \bibitem{KRF} M. I. Krivoruchenko, A. A. Raduta, A. Faessler, Phys. Rev. {\bf D73}, 025008 (2006).
1392: \bibitem{MIKR} M.~I.~Krivoruchenko, Talk given at the XIII Annual Seminar "Nonlinear Phenomena in Complex Systems: Chaos, Fractals, Phase Transitions, Self-organization", Minsk, Belarus, May 16-19, 2006; e-Print Archive: hep-th/0610074.
1393:
1394: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1395:
1396: \bibitem{DIRAC} P. A. M. Dirac, \textit{The Principles of Quantum Mechanics}, 3-rd ed., Claredon Press, Oxford (1947).
1397: \bibitem{SOWUN} P. A. M. Dirac, Phys. Zeits. Sowjetunion \textbf{3}, 64 (1933).
1398: \bibitem{BLEAF2} B. Leaf, J. Math. Phys. \textbf{10}, 1971 (1969); \textbf{10}, 1980 (1969).
1399: \bibitem{ANDER} A. Anderson, Phys. Lett. \textbf{B305}, 67 (1993); Phys. Lett. \textbf{B319}, 157 (1993); Ann. Phys. \textbf{232}, 292 (1994).
1400:
1401: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1402:
1403: \bibitem{OSBOR} T. A. Osborn, F. H. Molzahn, Ann. Phys. {\bf 241}, 79 (1995).
1404: \bibitem{BLEAF1} B. Leaf, J. Math. Phys. {\bf 9}, 769 (1968).
1405: \bibitem{TCURT} T. Curtright and C. Zachos, J. Phys. {\bf A32}, 771 (1999).
1406:
1407: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1408:
1409: %\bibitem{WONG} C. Y. Wong, Phys. Rev. {\bf C25}, 1460 (1982); J. Opt. {\bf B5}, S420 (2003).
1410:
1411: \bibitem{AICHE} J. Aichelin, Phys. Rep. \textbf{202}, 233 (1991).
1412: \bibitem{TUEB1} S. W. Huang, A. Faessler, Guo-Qiang Li {\it et al.}, Prog. Part. Nucl. Phys. \textbf{30}, 105 (1993).
1413: \bibitem{TUEB2} E. Lehmann, R. K. Puri, A. Faessler {\it et al.}, Prog. Part. Nucl. Phys. \textbf{30}, 219 (1993).
1414:
1415: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1416:
1417: \bibitem{SORGE} H. Sorge, H. St\"ocker and W. Greiner, Ann. Phys. \textbf{192}, 266 (1989).
1418: \bibitem{MARIA} T. Maruyama \textit{et al.}, Nucl. Phys. {\bf A534}, 720 (1991).
1419: \bibitem{DIRAC2} P. A. M. Dirac, Rev. Mod. Phys. \textbf{21}, 392 (1949); Proc. Roy. Soc. \textbf{A246}, 326 (1958).
1420:
1421: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1422:
1423: \bibitem{MCQUA} B. R. McQuarrie, T. A. Osborn, and G. C. Tabisz, Phys. Rev. {\bf A58}, 2944 (1998).
1424: \bibitem{BAGR0} V. G. Bagrov, V. V. Belov and M. F. Kondrat'eva, Teor. Mat. Fiz. {\bf 98}, 48 (1994) [Theor. Math. Phys. {\bf 98}, 34 (1994)].
1425: \bibitem{BAGR3} V. G. Bagrov, V. V. Belov, M. F. Kondrat'eva, A. M. Rogova, and A. Yu. Trifonov, J. Moscow Phys. Soc.{\bf 3}, 1 (1993).
1426: \bibitem{BAGR1} V. G. Bagrov, V. V. Belov, A. M. Rogova, and A. Yu. Trifonov, Mod. Phys. Lett. {\bf B7}, 1667 (1993).
1427: \bibitem{BAGR2} V. G. Bagrov, V. V. Belov, A. Yu. Trifonov, Ann. Phys. {\bf 246}, 231 (1996).
1428: \bibitem{MIKA04} M. Karasev, Russ. J. Mat. Phys. \textbf{11}, 157 (2004).
1429: \bibitem{MARI} M. S. Marinov, Phys. Lett. A153, 5 (1991).
1430: \bibitem{BRAU} G. Braunss and D. Rompf, J. Phys. {\bf A26}, 4107 (1993).
1431:
1432: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1433:
1434: \bibitem{NAKA84} M. Nakamura and N. Mishima, Nuovo Cim. \textbf{79B}, 287
1435: (1984); Prog. Theor. Phys. \textbf{81}, 451 (1989).
1436: \bibitem{NAKA93} M. Nakamura and H. Minowa, J. Math. Phys. \textbf{34}, 50
1437: (1993).
1438: \bibitem{NAKA01} M. Nakamura and K. Kojima, Nuovo Cim. \textbf{116B}, 287
1439: (2001).
1440: \bibitem{KRFF} M.~I.~Krivoruchenko, A.~Faessler, A.~A.~Raduta and C.~Fuchs,
1441: Int. J. Mod. Phys. \textbf{A} {22}, 787 (2007).
1442:
1443: \bibitem{ARNO} V. I. Arnold, {\it Mathematical Methods of Classical Mechanics}, 2-nd ed., Springer-Verlag, New York Inc. 1989.
1444: \bibitem{COST} R. C. T. da Costa, Phys. Rev. \textbf{A} 23, 1982 (1981).
1445: \bibitem{KFRF} M. I. Krivoruchenko, Amand Faessler, A. A. Raduta, C. Fuchs, Phys. Lett. \textbf{B608}, 164 (2005).
1446:
1447: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1448:
1449: \bibitem{GRAC-1} J. M. Gracia-Bondia, Contemporary Math. {\bf 134}, 93 (1992).
1450: \bibitem{GRAC-2} J. F. Carinena, J. Clemente-Gallardo, E. Follana, J. M. Gracia-Bondia, A. Rivero and J. C. Varilly, J. Geom. Phys. {\bf 32}, 79 (1999).
1451:
1452: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1453:
1454: \bibitem{GRACIA} A. Gracia-Saz, arXiv: math.QA/0411163.
1455: \bibitem{DBB} P. R. Holland, \textit{The Quantum Theory of Motion}, Cambridge Uni. Press, Cambridge (1993).
1456:
1457: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1458:
1459: \bibitem{HAKI} T. Hakioglu and A. J. Dragt, J. Phys. \textbf{A34}, 6603 (2001).
1460: \bibitem{OSCO} T. A. Osborn and M. F. Kondratieva, J. Phys. \textbf{A35}, 5279 (2002).
1461: \bibitem{KADP} M. I. Krivoruchenko, C. Fuchs, Amand Faessler, nucl-th/0605015.
1462: %\bibitem{BLEAF1} B. Leaf, J. Math. Phys. \textbf{10}, 1971 (1969); \textbf{10}, 1980 (1969).
1463: \bibitem{KAMA91} M. V. Karasev and V. P Maslov, \textit{Nonlinear Poisson Brackets}, Nauka, Moscow (1991).
1464: %\bibitem{ANDER} A. Anderson, Phys. Lett. \textbf{B305}, 67 (1993); \textbf{B319}, 157 (1993); Ann. Phys. \textbf{232}, 292 (1994).
1465: \bibitem{KARA01} M. Karasev, Lett. Math. Phys. \textbf{59}, 229 (2001).
1466: \bibitem{OSKA04} M. V. Karasev and T. A. Osborn, J. Phys. \textbf{A} 37, 2345 (2004).
1467: \bibitem{OSKA05} M. V. Karasev and T. A. Osborn, J. Phys. \textbf{A} 38, 8549 (2005).
1468: \bibitem{KAMA} M. V. Karasev and V. P. Maslov, Rus. Math. Surv. \textbf{39}, 5279 (1984).
1469:
1470:
1471: \end{thebibliography}
1472:
1473: \end{document}
1474:
1475: