1: \documentclass[12pt,oneside,english]{article}
2:
3: \usepackage{amsmath}
4: \usepackage{graphicx}
5: \pagestyle{headings}
6: \oddsidemargin 5pt
7: \headheight 10pt
8: \textwidth 470pt
9: \textheight 650pt
10: \usepackage[T1]{fontenc}
11: \usepackage[latin1]{inputenc}
12: \usepackage{babel}
13: \usepackage{setspace}
14: \usepackage{rotating}
15:
16: \doublespacing
17:
18: \makeatletter
19:
20: \pagestyle{myheadings}
21:
22:
23:
24: \begin{document}
25:
26: \centerline{ \bf \large A possible quantum probability increase
27: of the cylindrical gravitational field }
28: \bigskip \bigskip
29:
30:
31: \centerline{\large D. Bar}
32:
33: \bigskip
34:
35: \begin{abstract}
36: {\it As known, the cylindrical gravitational field (wave) have been canonically
37: quantized and its wave function, as the quantum one, interpreted in probability
38: terms. We show in this work, using quantum Zeno methods, that this
39: probability may be substantially increased and even approach unity. For that we
40: first show, in detailed manner, that the cylindrical gravitational field may be
41: discussed in the commutation number representation. We also discuss this field
42: in the transverse-traceless (TT) gauge and calculate the related trapped
43: surface. }
44:
45: \end{abstract}
46:
47: \bigskip \bigskip
48:
49: \underline{Key words}: {\bf Cylindrical gravitational waves, Quantization,
50: Zeno effect}
51:
52: \underline{ Pacs numbers}: 03.70.+k, 04.30.-w, 03.65.Xp
53:
54: \bigskip
55:
56: \markright{INTRODUCTION}
57:
58: \protect \section{\bf INTRODUCTION}
59:
60: The problem of quantizing the general gravitational field (GF) \footnote{ Since
61: the problem of quantization is found in the literature to refer to gravitational
62: field \cite{schwinger1} and also to gravitational wave \cite{kuchar1}
63: we use here these two concepts
64: side by side or
65: interchangably
66: on equal basis. } (gravitational
67: wave (GW) \cite{thorne}) have, theoretically, been
68: tackled by different methods and persons beginning from the earlier works of
69: Rosenfeld \cite{rosenfeld}, Bergmann \cite{bergmann} and Schwinger
70: \cite{schwinger1} to the canonical methods
71: of Dewitt \cite{dewitt}, Adm \cite{adm} and Dirac \cite{dirac}. Among the
72: supposed quantum characteristics of the GF (GW)
73: is the probability interpretation \cite{schiff,merzbacher}
74: which is extended from the quantum regime so that one
75: interprets \cite{kuchar1} the GF (GW) function as a probability
76: amplitude \cite{schiff,merzbacher}.
77: This problem of quantizing and
78: interpreting, in probability terms,
79: the GF entails in turn a second
80: interesting problem of how
81: and in which way to increase the probabilty of some specific GF.
82: Taking the cylindrical GF as an example and assuming
83: that one starts from a hypersurface with a cylindrical geometry
84: ane may ask how to increase its
85: probability so that this same cylindrical geometry may persist upon this
86: hypersurface. \par
87: This problem is also found, under different terms and
88: terminology, in other disciplines of general relativity.
89: Thus, a central issue of quantum gravity \cite{kiefer} is the problem of substantially
90: increasing the probability of some
91: quantum foam \cite{morris}, with a typical
92: order of magnitude
93: of the
94: Planck-Wheeler length ($\frac{G\hbar}{c^3}$) \cite{mtw,hartle}, so that it may be
95: realized in full grown
96: human scale with a unity probability. An example of the latter, which is
97: intensely
98: discussed in the literature \cite{morris,visser}, is that
99: of the theoretical
100: increase of
101: some foam-like probability tissue in the form of wormhole to
102: the realized human-scale (of unity probability) so that it may be used for
103: spacetime and, especially, time travelling \cite{morris,visser}. \par
104: As known,
105: the mentioned first problem of quantizing the GF (GW)
106: finds its solution when one restricts the discussion to limited
107: dynamical regions of geometrodynamics such as the minisuperspace and
108: miniphasespace discussed by Dewitt \cite{dewitt}, Misner \cite{misner} and,
109: especially, by Kuchar \cite{kuchar1} which applied it for quantizing
110: the cylindrical GW. Kuchar did it by extending the extrinsic time idea, which
111: was first introduced \cite{adm,peres,kuchar2} for the linearized theory
112: \cite{mtw,hartle} of general relativity, to the nonlinear theory
113: \cite{kuchar3} and,
114: especially, to the cylindrical spacetime. This extrinsic time variable,
115: which is of the
116: Tomonaga-Schwinger many-fingered time kind
117: \cite{tomonaga,schwinger2}, is
118: canonically conjugate to momentum and not to energy as is
119: the intrinsic time which serves more as a label to distinguish between
120: spacelike hypersurfaces \cite{mtw} in a one-parameter family of them. \par
121: Thus, using the extrinsic time variable
122: one may obtain \cite{kuchar1}, as known from \cite{adm}, a formalism which is
123: identical to that used for discussing the parametrized \cite{kuchar1}
124: cylindrical massless scalar field in a flat Minkowskian background. This
125: suggests, as
126: noted in \cite{kuchar1}, that all the results obtained from the later case may,
127: theoretically,
128: be applied also for the cylindrical GF in a curved
129: spacetime. These applications include also the canonical quantization of the
130: cylindrical GF (GW) and the derivation \cite{kuchar1}
131: of a functional
132: time-independent Schroedinger-type equation for it.
133: Moreover, Kuchar has succeeded \cite{kuchar1}
134: to
135: apply for the cylindrical GF (GW) not only quantum ideas
136: such as the
137: inner product
138: of states \cite{schiff,merzbacher} or path independence of the evolution of
139: them but also their
140: probability interpretation \cite{schiff,merzbacher}. \par
141: In this work we use this successful quantization of the cylindrical
142: GW as a basis for discussing the mentioned second problem
143: of finding the
144: conditions under which the mentioned probability increases and
145: even approaches unity. In the quantum regime, where states change with both
146: time and space \cite{schiff,merzbacher},
147: there exists the known Zeno effect \cite{zeno,aharonov,facchi,bar1}
148: which causes these changing states to
149: become constant and fixed and, therefore, to cause their probability, as in
150: classical physics, to become
151: unity. This effect, which were experimentally validated
152: \cite{itano,kofman}, has three different versions: \\
153: \noindent (1) Repeating a large number of times, in
154: a finite total time, the same experiment of checking
155: the present state of
156: some
157: quantum system that has been prepared in an initial specific state so that in
158: the limit
159: of a very large number of repetitions in the same total time
160: the initial state is preserved in time \cite{zeno,itano}. \\
161: \noindent (2) Performing a large set of different experiments each
162: reducing the system to
163: some state (from a large number of different ones) thereby
164: obtaining a large
165: number of different possible paths of states (Feynman
166: paths \cite{feynman,gert}) so that in the limit of doing these experiments
167: in a ``dense'' manner one may ``realize'' \cite{aharonov,facchi} any specific
168: path of states in the sense that the probability to proceed along all its
169: constituent states tends to unity. \\
170: \noindent (3) Simultaneously performing
171: the same experiment
172: in a large number of non-overlapping spatial subregions all included in
173: a finite total region
174: so that when
175: these subregions infinitesimally shrink, keeping the total region fixed,
176: one avoid any spatial shifting of the state \cite{bar1}.
177: This may be
178: explained by the example of trying to locate a very small
179: particle-like
180: object in the finite total spatial region which become easier when this region
181: is divided into several equal parts each occupying the same small object and
182: the searching for it is done in each of these smaller regions. It is obvious
183: that the smaller become these regions in the finite total region
184: the probability to locate the small object in each of them grows
185: so that in the limit in which they infinitesimaly shrink this probability
186: tends to unity. \\
187: \noindent The first two cases (1)-(2) are, respectively, known
188: \cite{aharonov,facchi} as
189: the static and
190: dynamic Zeno
191: effects while the third (3) is the
192: the space Zeno effect
193: \cite{bar1}. \par
194: We note that whereas the
195: quantum states are related to the ordinary intrinsic time
196: the gravitational
197: cylindrical states are characterized by \cite{kuchar1} an
198: {\it extrinsic time} variable
199: which is related (and actually borrows \cite{kuchar1} its name) to the
200: extrinsic
201: curvature.
202: That is, the
203: gravitational state, represented by the probability that the related
204: hypersurface has cylindrical geometry, changes
205: in spacetime with respect
206: to {\it extrinsic time}.
207: Thus, since this extrinsic time, like the ordinary spatial variable,
208: is \cite{kuchar1} canonically conjugate to
209: momentum (which is connected to extrinsic curvature)
210: the corresponding gravitational Zeno effect should also have spatial
211: characteristics as in the mentioned space Zeno effect. \par
212: We directly show in this work, using space Zeno terms \cite{bar1}, that one may
213: avoid any space
214: shifting of the cylindrical GF (GW) thereby fixing its cylindrical
215: geometry and causing its probability to approach unity.
216: In the following we precede this Zeno demonstration with a discussion
217: wich shows that the cylindrical GF may be represented as
218: a large number
219: of constituent parts in some finite region of space so that it may be discussed
220: in spatial Zeno terms \cite{bar1}. The appropriate representation which
221: enables one to do
222: so is the occupation number one
223: \cite{schiff,merzbacher}. Thus, we discuss
224: here, in
225: detail, this representation
226: \cite{schiff,merzbacher} in relation to the cylindrical GF.
227: We note in this respect that although this
228: representation in the context of cylindrical
229: GF is mentioned in the literature \cite{kuchar1,macrina}
230: no explicit, as far as we know, and detailed
231: expressions of it exists so far \par
232: As known from quantum mechanics in the occupation number representation
233: \cite{schiff,merzbacher,mahan},
234: one may, theoretically, prepare any quantum state by merely
235: applying the relevant creation and destruction operators
236: \cite{schiff,merzbacher} any required
237: number of times upon some
238: initial basis state.
239: One also knows from the canonical formalism \cite{adm,mtw,hartle} of general
240: relativity that it is possible to prepare the geometry of some spacetime
241: hypersurface by controlling
242: the form of the lapse and shift functions \cite{adm,mtw,hartle}. That is, any
243: specific
244: evolution of spacetime should be preceded by determining beforehand
245: these functions so that one can be sure (with a unity probability) that the
246: related spacetime is developed along the specified route. This
247: operation, characterized by
248: the determination of the lapse and shift functions, should be related,
249: when discussing the quantum properties of the GF,
250: to the corresponding operation of the mentioned quantum creation and
251: destruction operators upon some initial basis state. We derive here in detail
252: the appropriate expressions which accordingly relate the cylindrical lapse and shift
253: functions to the creation and destruction operators. \par
254: When the mentioned probability of the cylindrical GW approach unity (also in
255: consequence of the spatial Zeno effect) the related GW
256: produce certain effects upon the neighbouring spacetime through which it
257: proceeds such as implanting its cylindrical geometry upon it and
258: giving rise to some trapped surface \cite{eppley,abrahams,bar2,bar3}. We
259: follow the
260: developement of this cylindrical GW, once its probabilistic chances were greatly
261: increased, and find its properties in the transverse-traceless (TT) gauge
262: and also calculate the geometry of the generated trapped
263: surface \cite{eppley,abrahams,bar2,bar3}. \par
264: In Section II we introduce the principal expressions \cite{kuchar1} related to the
265: Einstein-Rosen cylindrical
266: GW \cite{einstein} as, especially, represented in \cite{kuchar1,macrina}. In Section III we discuss the cylindrical
267: GF (GW) in the
268: commutation number representation \cite{schiff,merzbacher} so that it may be
269: thought of as composed of a very large number of gravitational quanta which,
270: like the quantum ones \cite{schiff,merzbacher}, are
271: created
272: and destroyed by the corresponding gravitational creation and destruction
273: operators. In Section IV we relate the cylindrical lapse and shift functions
274: \cite{adm,mtw,hartle} which determine the geometry of
275: spacetime hypersurfaces to the mentioned gravitational
276: creation and destruction operators which, likewise, determine this geometry
277: through creating or (and) destroying the quantum
278: components of the generating GW.
279: We note that the cylindrical lapse and shift functions were related in
280: \cite{kuchar1} to the Einstein-Rosen parameters
281: (see Eqs (29)-(30) in \cite{kuchar1}). The detailed calculation relating the
282: cylindrical lapse and shift functions to the creation and destruction
283: operators are shown in
284: Appendix $A$. In Section V we show that, beginning
285: from a gravitational cylindrical geometry in some hypersurface, the
286: probability to find the
287: same geometry upon this hypersurface tends to unity in the limit
288: of the space Zeno effect \cite{bar1}. As mentioned, we rather discuss the
289: space
290: Zeno effect and not the (intrinsic) time analogue of it because in the
291: cylindrical
292: geometry one discusses \cite{kuchar1} the extrinsic time variable which
293: is canonicaly conjugate to
294: momentum \cite{kuchar1} just as is any spatial variable. We note that it has
295: been shown \cite{bar4},
296: using the examples of the quantum bubble and open-oyster processes
297: \cite{mahan,mattuck}, that the mentioned static and dynamic quantum Zeno
298: effects
299: are also valid in quantum field theory \cite{mahan,mattuck}. We also note in this
300: respect that the quantum Zeno effect were discussed \cite{camacho} in the
301: framework of gravitomagnetism \cite{mashhoon}. The detailed calculations of the
302: appropriate probability is shown in Appendix $B$. In Section VI we
303: graphically corroborate our
304: theoretical results so that one may
305: see how the probability approach unity in the Zeno limit. In
306: Section VII we discuss the cylindrical GW in the transverse-traceless (TT)
307: gauge
308: which is characterized by a very simplified formalism \cite{mtw} in which, for
309: example, the
310: number of independent components of the related GW is minimal \cite{mtw}.
311: In Section VIII we discuss, using the method in \cite{eppley}, the related
312: trapped surface \cite{mtw,eppley,abrahams,bar2,bar3} resulting from the
313: passing cylindrical GW. In Section IX we summarize our discussion in a
314: Concluding Remarks Section.
315:
316:
317:
318:
319:
320:
321:
322:
323:
324: \markright{THE EINSTEIN-ROSEN CYLINDRICAL GRAVITATIONAL WAVE}
325:
326:
327:
328: \protect \section{ The Einstein-Rosen Cylindrical gravitational wave}
329:
330: A spacetime is considered to be cylindrically symmetric \cite{kuchar1}
331: if and only if one can show that there sxists
332: a coordinate system $(t, \ r, \ \phi, \ z)$, $ -\infty < t < +\infty$,
333: $\infty > r \geq 0$, $ 2\pi > \phi \geq 0$, $ -\infty < z <+\infty$ in which the line
334: element becomes
335: \begin{equation} \label{e1} ds^2 =-(N^2 - e^{(\psi- \gamma)}N_1^2)dt^2+2N_1dtdr+
336: e^{(\gamma- \psi)}dr^2+R^2e^{-\gamma}d\phi^2+e^{\gamma}dz^2, \end{equation}
337: where $ R \geq 0$ and $\gamma, \ \psi, \ N, \ N_1$ are functions of $t$ and $r$.
338: The former dependence of the nonzero metric tensor components $g_{11}, g_{22},
339: g_{33}, g_{00}, g_{01}$ upon the functions $\gamma, \psi, R, N, N_1$ is,
340: especially, designed \cite{kuchar1} to suit the ADM \cite{adm} canonical formulation of general
341: relativity. Thus, the $N$ and $N_1$ are, respectively, the known ADM lapse and
342: radial shift functions \cite{kuchar1,mtw}. The coordinates $\phi$ and $z$ are,
343: essentially, fixed except for a possible trivial transformation of
344: $\bar{\phi}=\pm \phi+\phi_0$ and $\bar{z}=az+z_0$ whereas $t$ and $r$ may be
345: subject, without changing the form of the line element from (\ref{e1}),
346: to the more general transformation
347: \begin{equation}\label{e2} \bar{t}=\bar{t}(t,r), \ \
348: \bar{r}=\bar{r}(t,r) \end{equation}
349: One may show \cite{kuchar1}, using the Killing vector formalism in the $(t, \ r, \
350: \phi, \ z)$ system, that the functions $R$ and $\gamma$ are scalars.
351: Thus, since the metric tensor coefficients depends, as mentioned, only upon $t$
352: and $r$ one may write \cite{kuchar1} the $(t, r)$ part of the line element
353: (\ref{e1}) in the following conformally flat form
354: \begin{equation} \label{e3} ds^2=e^{(\bar{
355: \gamma}-\psi)}(-d\bar{t}^2+d\bar{r}^2)+R^2e^{-\psi}d\phi^2+e^{\psi}dz^2,
356: \end{equation}
357: where the $R$, $\psi$, $\phi$ and $z$ are not barred due to their
358: mentioned essential invariancy. Now, as emphasized in \cite{kuchar1}, if one
359: writes the Einstein field equations for the line element (\ref{e3}) one may
360: realize that $R$ must be a harmonic function which satisfies $\frac{\partial^2
361: R}{\partial \bar{t}^2}- \frac{\partial^2
362: R}{\partial \bar{r}^2}=0$. Thus, one may assume \cite{kuchar1} $R$ to be a new radial
363: coordinate and $T$ the time coordinate corresponding to it. That is, as
364: emphasized in
365: \cite{kuchar1},
366: the Einstein-Rosen coordinates can be uniquely and rigorously defined by
367: invariant prescriptions so that the line element (\ref{e3}) may be written as
368: \begin{equation} \label{e4} ds^2=e^{(
369: \Gamma-\psi)}(-dT^2+dR^2)+R^2e^{-\psi}d\phi^2+e^{\psi}dz^2
370: \end{equation}
371: In such case the Einstein vacuum equations are considerably simplified and
372: reduce to the following three equations
373: \begin{equation} \label{e5} \frac{\partial^2
374: \psi}{\partial T^2}- \frac{\partial^2
375: \psi}{\partial R^2} -R^{-1}\frac{\partial
376: \psi}{\partial R}=0 \end{equation}
377:
378:
379: \begin{equation} \label{e6} \frac{\partial \Gamma}{\partial R}=
380: \frac{1}{2}R\biggl((\frac{\partial
381: \psi}{\partial T})^2 + (\frac{\partial
382: \psi}{\partial R})^2\biggr)
383: \end{equation}
384:
385: \begin{equation} \label{e7} \frac{\partial \Gamma}{\partial T}=
386: R\frac{\partial
387: \psi}{\partial T} \frac{\partial
388: \psi}{\partial R}
389: \end{equation}
390:
391: As emphasized in \cite{kuchar1}, Eq (\ref{e5}) has exactly the same form as the
392: wave equation of the cylindrically symmetric massless scalar field $\psi$
393: advancing in a Minkowskian spacetime whereas Eqs (\ref{e6}) and (\ref{e7})
394: are, respectively, the energy density and the radial momentum density of this
395: field in cylindrical coordinates. The solution of Eq (\ref{e5}) is obtained by
396: using the separation of variables method \cite{macrina} so that the resulting
397: wave function for a particular wave number $k$ is
398: \begin{equation} \label{e8} \psi_k(R,T)=
399: J_0(kR)\bigl(A(k)e^{(ikT)}+A^*(k)e^{-(ikT)}\bigr),
400: \end{equation}
401: where $j_0(kR)$ is the bessel function of order zero \cite{abramowitz} and
402: $A(k), \ A^*(k)$ are the amplitude and its complex conjugate of the solution to
403: the time part of Eq (\ref{e5}). Note that here we assume, as generally done in
404: the relevant literature, that $c=\hbar=1$ so that $w=k=p$ where $w, \ k, \ p$ are
405: respectively the frequency, wave number and momentum of some mode. Since
406: $k$ is a continuous parameter one may obtain
407: the general solution to Eq (\ref{e5}) by integrating over all the modes $k$.
408: Thus, the relevant general wave function is
409: \begin{equation} \label{e9} \psi(R,T)=\int_0^{\infty} dk
410: J_0(kR)\bigl(A(k)e^{(ikT)}+A^*(k)e^{-(ikT)}\bigr)
411: \end{equation}
412: The canonical conjugate momentum $\pi_{\psi}(T,R)$ may be obtained
413: \cite{macrina} by using the
414: Hamilton equation \begin{equation} \label{e10} \frac{\partial \psi}{\partial
415: t}=\{\psi,H\}, \end{equation} where $\psi$ is given by Eq (\ref{e9}), the curly
416: brackets at the right denote the Poisson brackets and the
417: Hamilton function $H$ is \begin{equation} \label{e11} H=\int_0^{\infty}
418: dr\biggl(\tilde{N}\tilde{H}+\tilde{N^1}\tilde{H}_1\biggr) \end{equation}
419: The quantities $\tilde{H}$ and $\tilde{H}_1$ are respectively the rescaled
420: superHamiltonian and supermomentum which where shown in \cite{kuchar1} (see Eqs
421: (93)-(97) and (106)-(108) in \cite{kuchar1}) to be
422: \begin{eqnarray} && \tilde{H}=R_{,r}\Pi_T+T_{,r}\Pi_R+
423: \frac{1}{2}R^{-1}\pi_{\psi}^2+\frac{1}{2}R\psi_{,r}^2 \label{e12} \\
424: && \tilde{H}_1=T_{,r}\Pi_T+R_{,r}\Pi_R+\psi_{,r}\pi_{\psi}, \nonumber
425: \end{eqnarray}
426: where the suffixed apostroph denote differentiation with respect to $r$ and $\Pi_T, \
427: \Pi_R$ are the respective momenta canonically conjugate to $T$ and $R$. The
428: quantities $\tilde{N}$ and $\tilde{N}_1$ respectively denote the rescaled
429: lapse and shift
430: function $N$, $N_1$ (see Eq (96) in \cite{kuchar1}). Thus, $\pi_{\psi}(T,R)$
431: were shown \cite{macrina} to have
432: the form
433: \begin{eqnarray} && \pi_{\psi}(T,R)=iRR_{,r}\int_0^{\infty} dk k
434: J_0(kR)\bigl(A(k)e^{(ikT)}-A^*(k)e^{-(ikT)}\bigr) \label{e13} \\ &&
435: -RT_{,r}\int_0^{\infty} dk kJ_1(kR)\bigl(A(k)e^{(ikT)}+A^*(k)e^{-(ikT)}\bigr),
436: \nonumber
437: \end{eqnarray}
438: where $j_1(kR)$ is the first order Bessel function \cite{abramowitz} which may
439: be obtained by differentiating $j_0(kR)$ with respect to $R$ as
440: $j_0(kR)_{,R}=-kj_1(kR)$. The initial data for $\psi(T,R)$ and $\pi_{\psi}(T,R)$
441: are calculated for $T=0$ and $R=r$ and are, respectively, denoted by $Q(r)$ and
442: $P(r)$ as follows
443: \begin{equation} Q(r)=\psi_0(r)=\psi(T,R)|_{T=0,R=r}=\int_0^{\infty} dk
444: J_0(kr)\bigl(A(k)+A^*(k)\bigr) \label{e14}
445: \end{equation}
446: \begin{equation} P(r)=\pi_{\psi_0}(r)=\pi_{\psi}(T,R)|_{T=0,R=r}=
447: ir\int_0^{\infty} dk
448: kJ_0(kr)\bigl(A(k)-A^*(k)\bigr) \label{e15}
449: \end{equation}
450: Solving the last two equations for $A(k)$ and $A^*(k)$ one obtains
451: \begin{equation} A(k)=\frac{1}{2}\int_0^{\infty} dr
452: J_0(kr)\bigl(krQ(r)-iP(r)\bigr) \label{e16}
453: \end{equation}
454: \begin{equation} A^*(k)=\frac{1}{2}\int_0^{\infty} dr
455: J_0(kr)\bigl(krQ(r)+iP(r)\bigr) \label{e17}
456: \end{equation}
457: One may show, using Eqs (\ref{e16})-(\ref{e17}), that the variables $A(k),\
458: A^*(k)$ satisfy the following
459: Poisson brackets \begin{eqnarray} && \{A(k),A^*(k')\}
460: =\int_0^{\infty}dr\biggl[\frac{\delta(A(k))}{\delta(Q(r))}
461: \frac{\delta(A^*(k'))}{\delta(P(r))}-\frac{\delta(A(k))}{\delta(P(r))}
462: \frac{\delta(A^*(k))}{\delta(Q(r))}\biggr]=
463: \frac{i\delta(k-k')}{2} \nonumber \\ &&
464: \{A(k),A(k')\}=\{A^*(k),A^*(k')\}=0,
465: \label{e18} \end{eqnarray}
466: where use was made of the relation
467: \cite{macrina} $$ \int_0^{\infty}dr r
468: j_n(kr)j_n(k'r)=\frac{1}{k'}\delta(k-k'), \ \ \ n=0, 1, 2, 3....$$
469: In a similar manner, using Eqs (\ref{e14})-(\ref{e15}), it is possible to show
470: that the variables
471: $Q(r)$ and $P(r)$ satisfy the following
472: Poisson brackets
473: \begin{eqnarray} &&
474: \{Q(r),P(r')\}
475: =\int_0^{\infty}dk\biggl[\frac{\delta(Q(r))}{\delta(A(k))}
476: \frac{\delta(P(r'))}{\delta(A^*(k))}-\frac{\delta(Q(r))}{\delta(A^*(k))}
477: \frac{\delta(P(r'))}{\delta(A(k))}\biggr]=
478: -2i\delta(r-r') \nonumber \\
479: && \{Q(r),Q(r')\} =\{P(r),P(r')\} =0,
480: \label{e19}
481: \end{eqnarray}
482: where use was made of the
483: relation \cite{macrina}
484: $$\int_0^{\infty}dkkJ_n(kr)J_n(kr')=\frac{\delta(r-r')}{r'}, \ \ \
485: n=0, \ 1, 2, \ldots$$
486: Using Eqs (\ref{e6}), (\ref{e9}) and the unnumbered relation written just after Eq
487: (\ref{e18})
488: one may obtain the following expression for the energy $\Gamma$
489: \cite{macrina}
490: \begin{equation} \Gamma=2\int_0^{\infty} dk
491: kA(k)A^*(k) \label{e20}
492: \end{equation}
493: As shown in \cite{macrina} the former expression (\ref{e20}) is for $R$ at
494: infinity and it shows that the energy remains finite for this case. We are
495: interested in other expression for the energy in terms of $Q(r)$ and $P(r)$
496: which is derived from the expression (\ref{e20})
497: by using Eqs (\ref{e16})-(\ref{e17}) and the Poisson brackets (\ref{e19})
498: \begin{equation} \Gamma-k=\int_0^{\infty}dr\biggl(\frac{P^2(r)}{2r}+
499: \frac{rk^2Q^2(r)}{2}\biggr), \label{e21} \end{equation}
500: where the $k$ term is obtained by using the relation (\ref{e19})
501: and
502: the unnumbered relation just after it. The term under the integral sign
503: involving $P^2(r)$ and
504: $Q^2(r)$ is obtained by using the following orthogonality expression
505: which is valid for
506: any $n= 0, \ 1, \ 2,\ \ldots$
507: \begin{equation} \label{e22}
508: \int_0^{\infty}dr'r'\int_0^{\infty}dkkJ_n(kr)J_n(kr')f(r')=f(r)
509: \end{equation}
510: Note that the energy at the right hand side of Eq (\ref{e21}) corresponds to the
511: energy of the harmonic oscillator \cite{schiff} $H_{harmonic \
512: oscilltor}=\frac{P^2}{2m}+\frac{1}{2}mw^2r^2$ not only in its form but also in
513: its role in the following commutation relations (\ref{e23})-(\ref{e24}) and in
514: Eqs (\ref{e25})-(\ref{e32}).
515:
516:
517:
518: \markright{THE OCCUPATION NUMBER REPRESENTATION FOR CYLIDRICAL....}
519:
520: \protect \section{The occupation number representation for cylindrical field}
521:
522:
523: In this section we apply the occupation number formalism
524: \cite{schiff,merzbacher} for the cylindrical
525: GW. As known \cite{schiff,merzbacher}, the passage from the
526: classical domain to the quantum one entails regarding the classical variables
527: as operators \cite{schiff,merzbacher} and the change, for any
528: function $f$, of $f^* \rightarrow f^+$ where $f^+$ is the hermitian adjoint of
529: $f$ \cite{schiff,merzbacher}. Also, the known Poisson brackets $\{f,f^*\}$ are
530: replaced by the quantum
531: commutation ones $[f,f^+]$ obtained through $\{f,f^*\} \rightarrow \frac{[f,f^+]}{i\hbar}$ where, as
532: mentioned, we assign the unity value to $\hbar$. In the following
533: we use Eqs
534: (\ref{e18}) for calculating
535: the commutation relations
536: between $Q(r), \ P(r)$
537: from Eq (\ref{e14})-(\ref{e15}) and the energy
538: $\int_0^{\infty}dr\biggl(\frac{P^2(r)}{2r}+
539: \frac{rk^2Q^2(r)}{2}\biggr)$ from Eq
540: (\ref{e21}). Thus, the commutation
541: relation between the
542: observable $Q(r)$ from Eq (\ref{e14}) and
543: the former energy $(\Gamma-k)$ from Eq (\ref{e21} is
544: \begin{eqnarray} && [Q(r),(\Gamma-k)] = \biggl[ \int_0^{\infty} dk
545: J_0(kr)\biggl(A(k)+A^+(k)\biggr),2\int_0^{\infty} dk'
546: k'A(k')A^+(k')-k \biggr]= \nonumber \\ &&=
547: 2\int_0^{\infty}\int_0^{\infty}dkdk'J_0(kr)k'
548: \biggl([A(k),A(k')A^+(k')]+[A^+(k),A(k')A^+(k')]\biggr)= \nonumber \\
549: && =\int_0^{\infty}\int_0^{\infty}dkdk'J_0(kr)k'\biggl(A(k')
550: \delta(k-k')-A^+(k')\delta(k'-k)\biggr)= \label{e23} \\
551: &&=\int_0^{\infty}dk'k'J_0(k'r)\biggl(A(k')
552: -A^+(k')\biggr)=\frac{P(r)}{ir} \nonumber \end{eqnarray}
553: Likewise, using again Eqs (\ref{e18}) and the expression
554: (\ref{e21}) for the
555: relevant energy $(\Gamma-k)$, we calculate the
556: commutation relation
557: between $P(r)$ from Eq (\ref{e15}) and this energy
558: \begin{align}& [P(r),(\Gamma-k)]=\biggl[ir \int_0^{\infty} dk k
559: J_0(kr)\biggl(A(k)-A^+(k)\biggr),2\int_0^{\infty} dk'
560: k'A(k')A^+(k')-k\biggr]= \nonumber \\ &=
561: 2ir\int_0^{\infty}\int_0^{\infty}dkdk'J_0(kr)kk'
562: \biggl([A(k),A(k')A^+(k')]-[A^+(k),A(k')A^+(k')]\biggr)= \nonumber \\
563: & =ir\int_0^{\infty}\int_0^{\infty}dkdk'J_0(kr)kk'\biggl(A(k')
564: \delta(k-k')+A^+(k')\delta(k-k')\biggr)= \label{e24} \\
565: &=-\frac{r}{i}\int_0^{\infty}dkk^2J_0(kr)\biggl(A(k)
566: +A^+(k)\biggr)= -\frac{rk^2Q(r)}{i} \nonumber \end{align}
567: Using the Dirac's ket and bra notation \cite{schiff,merzbacher}
568: for the matrix representation of the obsrvables $Q(r)$, $P(r)$,
569: $(\Gamma-k)$ and taking into account that $|j\!><\!j|$ is unit operator
570: one may obtain from the two ends of the first commutation relation (\ref{e23})
571: \begin{eqnarray} && <\!k|Q|j\!><\!j|(\Gamma-k)|l\!>-
572: <\!k|(\Gamma-k)|j\!><\!j|Q|l\!>= \label{e25} \\ && =
573: (E_l-E_k)<\!k|Q|l\!>=
574: \frac{<\!k|P|l\!>}{ir}, \nonumber \end{eqnarray}
575: where $E_l$ and $E_k$ are the eigenvalues of the energy operator $(\Gamma-k)$
576: which, respectively, correspond to the kets $|l\!>$ and $|k\!>$.
577: In a similar manner one may obtain from the two ends of the
578: second commutation relation (\ref{e24})
579: \begin{eqnarray} && <\!k|P|j\!><\!j|(\Gamma-k)|l\!>-
580: <\!k|(\Gamma-k)|j\!><\!j|P|l\!>= \label{e26} \\ && = (E_l-E_k)<\!k|P|l\!>
581: =ik^2r<\!k|Q|l\!> \nonumber \end{eqnarray}
582: Solving the last equation for $<\!k|Q|l\!>$ and substituting in (\ref{e25})
583: one obtains for $(E_l-E_k)$ \begin{equation} (E_l-E_k)=\pm k
584: \label{e27} \end{equation}
585: Now, multiplying Eq (\ref{e25}) by $-irk$ and adding to (\ref{e26})
586: one obtains
587: \begin{align} & (E_l-E_k-k)<\!k|P|l\!>+irk\biggl(E_l-E_k-k\biggr)<\!k|Q|l\!>=
588: \label{e28} \\ &
589: (E_l-E_k-k)<\!k|(P+irkQ|l\!>=0 \nonumber \end{align}
590: From the last equation one may realize that $<\!k|(P+irkQ)|l\!>$ is
591: different from
592: zero only when $E_k=E_l-k$. That is, operating with the operator
593: $(P+irkQ)$ on the ket $|l\!>$ results in some multiple of the ket $|k\!>$ with
594: an
595: energy lower by $k$ than that of the ket $|l\!>$. If, on the other hand,
596: Eq (\ref{e25}) is multiplied by $irk$ and then added to (\ref{e26})
597: one comes with the result that operating with the hermitian adjoint
598: operator $(P-irkQ)$ on the ket $|l\!>$ results in some multiple of the ket
599: $|k\!>$ with
600: an
601: energy higher by $k$ than that of the ket $|l\!>$. Note that for the harmonic
602: oscillator these two operators change roles so that $(P+irkQ)$ is the energy
603: raising operator whereas $(P-irkQ)$ is the energy lowering one (see Section 25
604: in \cite{schiff}). Now, since the energy must
605: be positive one can not apply indefinitely the lowering operator $(P+irkQ)$ on
606: any ket unless there exists a lowest energy eigenstate $|0\!>$ so that
607: $(P+irkQ)|0\!>=0$ (compare with the analogous discussion in \cite{schiff}
608: regarding the harmonic oscillator). The lowest energy eigenvalue corresponding
609: to the lowest eigenstate may be found by first operating with $(P-irkQ)$ on
610: $(P+irkQ)|0\!>$ and using the quantum version of the relations (\ref{e19})
611: \begin{align} &
612: (P-irkQ)(P+irkQ)|0\!>=
613: \biggl(P^2+r^2k^2Q^2-
614: irk(QP-PQ)\biggr)|0\!>= \label{e29} \\ &=
615: 2r\biggl(\frac{P^2}{2r}+\frac{rk^2Q^2(r)}
616: {2}-k\delta(r-r')\biggr)|0\!>=0 \nonumber \end{align}
617: We, now, divide the last expression by $2r$ and integrate the obtained
618: result with
619: respect to $r$
620: \begin{align} & \biggl\{\int_0^{\infty}dr\biggl(\frac{P^2}{2r}+\frac{rk^2Q^2(r)}
621: {2}-k\delta(r-r)\biggr)\biggr\}|0\!>=
622: \biggl\{\int_0^{\infty}dr\biggl(\frac{P^2}{2r}+\frac{rk^2Q^2(r)}
623: {2}\biggr)- \label{e30} \\ & - k\biggr\}|0\!>=
624: 0 \nonumber
625: \end{align}
626: We, thus, see that the eigenvalue which corresponds to the lowest energy eigenstate
627: $|0\!>$ is $k$.
628: Note that in the harmonic oscillator case one obtains a value of $\frac{k}{2}$
629: for the lowest eigenvalue (see Section 25 in \cite{schiff}) because the value
630: obtained there for the commutation relation $[Q,P]$ is half the value obtained
631: here. As mentioned, application of
632: the raising operator $(P-irkQ)$ on an arbitrary ket results in raising its
633: energy by $k$ and repeated application of it generates a
634: sequence of
635: eigenstates that may appropriately be denoted by $|n\!>$. The energy eigenvalues
636: of this sequence may be expressed by
637: \begin{equation} E_n=(n+1)k, \ \ \ n=0, \ 1, \ 2, \ 3, \ldots
638: \label{e31} \end{equation}
639: Now, if we, respectively, multiply the lowering and raising operators
640: $(P+irkQ)$, $(P-irkQ)$ by $-\frac{iJ_O(kr)}{2}$ and $\frac{iJ_0(kr)}{2}$ and
641: integrating the
642: resulting expressions with respect to $r$ from $r=0$ to $r=\infty$ one,
643: actually,
644: obtains the variables $A(k)$ and $A^+(k)$ as seen from Eqs
645: (\ref{e16})-(\ref{e17}). Thus, one may call the variable $A(k)$,
646: in analogy with
647: the harmonic oscillator case \cite{schiff,merzbacher}, the energy lowering or
648: destruction operator and the variable $A^+(k)$ may, correspondingly,
649: be called the energy raising or creation operator. This may also be seen from
650: Eqs (\ref{e20})-(\ref{e21}) which may be read
651: $$ 2\int_0^{\infty} dk
652: kA(k)A^+(k) =\int_0^{\infty}dr\biggl(\frac{P^2(r)}{2r}+
653: \frac{rk^2Q^2(r)}{2}\biggr)+k, $$ and also to read, when the
654: places of $A(k)$ and
655: $A^+(k)$ are commuted,
656: $$ 2\int_0^{\infty} dk
657: kA^+(k)A(k) =\int_0^{\infty}dr\biggl(\frac{P^2(r)}{2r}+
658: \frac{rk^2Q^2(r)}{2}\biggr)-k $$
659: The last equation may be written as
660: \begin{equation} \biggl(2\int_0^{\infty} dk
661: A^+(k)A(k)+1\biggr)k =\int_0^{\infty}dr\biggl(\frac{P^2(r)}{2r}+
662: \frac{rk^2Q^2(r)}{2}\biggr) \label{e32} \end{equation}
663: Comparing Eqs (\ref{e31}) and (\ref{e32}) one may realize, as done in the
664: corresponding harmonic oscillator case \cite{schiff}, that to the eigenvalues
665: $n$ of Eq (\ref{e31}) there corresponds the number operator $N$
666: \begin{equation} N= 2\int_0^{\infty}dkN_k = 2\int_0^{\infty} dk
667: A^+(k)A(k), \label{e33} \end{equation}
668: so that $N_k=A^+(k)A(k)$. It may be shown, as for the corresponding harmonic
669: oscillator case, that considering the representation in which each $N_k$ is
670: diagonalized, the states of the quantized field may be represented by the kets
671: $|n_1, n_2, n_3, \ldots, n_k, \ldots \!>$ in which each $n_k$ is a positive
672: integer or zero and it is an eigenvalue of $N_k$. Also, since in this
673: representation only the diagonal matrix elements of $A^+(k)A(k)$ are nonzero one
674: may write such an element as
675: \begin{equation} <\!n_k|A^+(k)A(k)|n_k\!>=
676: <\!n_k|A^+(k)|n_k'\!><\!n_k'|A(k)|n_k\!>=|\lambda_{n_k}|^2=n,
677: \label{e34} \end{equation}
678: where a summation over a complete set $n_k'$ is meant and $\lambda_{n_k}$ is
679: equal to $n^{\frac{1}{2}}$. Thus, from the last equation one may obtain the
680: relations
681: \begin{equation} A(k)|n_1, n_2, n_3, \ldots, n_k, \ldots \!>=
682: n_k^{\frac{1}{2}}|n_1, n_2, n_3, \ldots, n_k-1, \ldots \!>
683: \label{e35} \end{equation}
684: \begin{equation} A^+(k)|n_1, n_2, n_3, \ldots, n_k, \ldots \!>=
685: (n_k+1)^{\frac{1}{2}}|n_1, n_2, n_3, \ldots, n_k+1, \ldots \!>
686: \label{e36} \end{equation}
687: The last two equations shows that $A(k)$ and $A^+(k)$ are, respectively,
688: the destruction and creation operators for the state $k$ of the field.
689: We, thus, have shown that the quantized cylindrical GF (GW) may be
690: discussed in the
691: commutation number representation in which it may be thought of as composed
692: of a
693: large number of particle-like components inhabiting a certain finite spacetime
694: region. This special representation enables us, as mentioned, to discuss the
695: cylindrical GF (GW) in space Zeno terminology as we do in the following
696: Sections V-VI.
697:
698:
699: \markright{THE LAPSE AND SHIFT FUNCTIONS CORRESPONDING TO THE....}
700:
701: \protect \section{The lapse and shift function corresponding to the cylindrical
702: gravitational wave}
703:
704: For finding the appropriate lapse and shift functions $N^{\alpha}$ which
705: correspond to the cylindrical GW's in the canonical formalism we begin from the
706: Hamilton equation (\ref{e10}) in its quantum version
707: $ \dot{\psi} = \frac{1}{i}[\psi, \ H ]$
708: where $\psi$ is given by Eq (\ref{e9}) and the square brackets at the right
709: denote the quantum
710: commutation relations. The expression for the energy $H$ which involves
711: the operators
712: $A(k)$ and $A^+(k)$ is given by Eqs (\ref{e20})-(\ref{e21}) so substituting
713: from Eqs
714: (\ref{e9}) and (\ref{e20})-(\ref{e21}) in $ \dot{\psi} = \frac{1}{i}[\psi, \ H ]$
715: one obtains \begin{eqnarray} &&
716: \frac{\partial \biggl(\int_0^{\infty} dk
717: J_0(kR)\bigl(A(k)e^{(ikT)}+A^+(k)e^{-(ikT)}\bigr)\biggr)}{\partial t} =
718: \label{e37} \\ && =
719: \frac{1}{i}\biggl[\int_0^{\infty} dk
720: J_0(kR)\bigl(A(k)e^{(ikT)}+A^+(k)e^{-(ikT)}\bigr), 2\int_0^{\infty} dk
721: kA(k)A^+(k) -k \biggr] \nonumber
722: \end{eqnarray}
723: The time differentiation at the left hand side of the last equation may be
724: performed by using the embedding \cite{macrina}
725: $X^{\alpha}=(T(r), R(r), \phi, z)$ which maps
726: the hypersurface $\Sigma$ at $t=constant$ into the flat spacetime as $X^{\alpha}
727: : \Sigma \rightarrow R^4$. The embeddings $X^{\alpha}=(T(r), R(r), \phi, z)$
728: are cylindrically symmetric slices in spacetime where, due to this symmetry,
729: $T(r)$ and $R(r)$ do not depend on $\phi$ and $z$. Thus, the time
730: differentiation $\frac{\partial \psi(r)}{\partial t}$ may be written as
731: \begin{equation} \frac{\partial \psi(r)}{\partial t}=
732: \frac{\partial \psi(r)}{\partial X^{\alpha}(r)}\frac{dX^{\alpha}(r)}{dt}=
733: N^{\alpha}\frac{\partial \psi(r)}{\partial X^{\alpha}(r)}, \label{e38}
734: \end{equation}
735: where \cite{macrina} $\frac{dX^{\alpha}(r)}{dt}=N^{\alpha}$. Thus,
736: using the last equation, the
737: relation \cite{abramowitz} $\frac{dJ_0(r)}{r}=-J_1(r)$ and
738: the fact that $\psi$ does not depend on $\phi$ and $z$ one
739: may calculate the commutation relation from Eq (\ref{e37}) as
740: \begin{align} &\frac{\partial \psi(r)}{\partial t}=
741: N^{\alpha}\frac{\partial \psi(r)}{\partial X^{\alpha}(r)}=
742: N^0\frac{\partial \psi(r)}{\partial T(r)}+
743: N^1\frac{\partial \psi(r)}{\partial R(r)}=iN^0\int_0^{\infty} dk k
744: J_0(kR)\bigl(A(k)e^{(ikT)}- \nonumber \\ & - A^+(k)e^{-(ikT)}\bigr) -
745: N^1\int_0^{\infty} dk k
746: J_1(kR)\bigl(A(k)e^{(ikT)}+A^+(k)e^{-(ikT)}\bigr)= \nonumber \\ & =
747: \frac{2}{i}\int_0^{\infty}dk
748: \int_0^{\infty}dk'J_0(kr)k'\biggl\{\biggl(e^{(ikT)}A(k)A(k')A^+(k')+
749: e^{-(ikT)}A^+(k) \nonumber \\ & \cdot A(k')A^+(k')\biggr)- \biggl(e^{(ikT)}A(k')A^+(k')A(k)+
750: e^{-(ikT)}A(k')A^+(k')A^+(k)\biggr)\biggr\}= \label{e39} \\ &= 2\int_0^{\infty}dk
751: \int_0^{\infty}dk'J_0(kr)k'\biggl(e^{(ikT)}A(k')\frac{\delta(k-k')}{2}-
752: e^{-(ikT)}A^+(k')\frac{\delta(k'-k)}{2}\biggr)= \nonumber \\ & =
753: \int_0^{\infty}dkkJ_0(kr)\biggl(e^{(ikT)}A(k)-e^{-(ikT)}A^+(k)\biggr)
754: \nonumber
755: \end{align}
756: Since the last equation involves real and imaginary expressions we have to
757: decompose it into two equations one of which relate the real expressions
758: among themselves and the second
759: the imaginary ones. Thus, the equation involving the real expressions is
760: \begin{align} & -N^0\int_0^{\infty} dk k
761: J_0(kR)\sin(kT)\bigl(A(k)+ A^*(k)\bigr) -
762: N^1\int_0^{\infty} dk k
763: J_1(kR)\cos(kT) \nonumber \\ & \cdot \biggl(A(k)+ A^+(k)\biggr) =
764: \int_0^{\infty} dk k
765: J_0(kR)\cos(kT)\biggl(A(k)-A^+(k)\biggr) \label{e40}
766: \end{align}
767: And that involving the imaginary ones is
768: \begin{align} & N^0\int_0^{\infty} dk k
769: J_0(kR)\cos(kT)\bigl(A(k)- A^+(k)\bigr) -
770: N^1\int_0^{\infty} dk k
771: J_1(kR)\sin(kT)\bigl(A(k)- \nonumber \\ & - A^+(k)\bigr) =
772: \int_0^{\infty} dk k
773: J_0(kR)\sin(kT)\bigl(A(k)+A^+(k)\bigr) \label{e41}
774: \end{align}
775: We integrate both sides of the last two equations (\ref{e40})-(\ref{e41})
776: over $r$ from $r=0$ to
777: $r=\infty$ and also for avoiding the intricacy of the resulting expressions and
778: facilitating the following calculation we label these expressions as
779: \begin{eqnarray} && C_1=\int_0^{\infty}dr \int_0^{\infty}dk
780: kJ_0(kr)\sin(kT)\bigl(A(k)+A^+(k)\bigr) \nonumber \\
781: && C_2=\int_0^{\infty}dr \int_0^{\infty}dk
782: kJ_1(kr)\cos(kT)\bigl(A(k)+A^+(k)\bigr) \label{e42} \\
783: && C_3=\int_0^{\infty}dr \int_0^{\infty}dk
784: kJ_0(kr)\cos(kT)\bigl(A(k)-A^+(k)\bigr) \nonumber \\
785: && C_4=\int_0^{\infty}dr \int_0^{\infty}dk
786: kJ_1(kr)\sin(kT)\bigl(A(k)-A^+(k)\bigr) \nonumber
787: \end{eqnarray}
788: Thus, Eqs (\ref{e40})-(\ref{e41}) integrated over $r$, may be
789: compactly written as
790: \begin{equation} -C_1N^0-C_2N^1=C_3, \ \ \ C_3N^0-C_4N^1=C_1 \label{e43}
791: \end{equation}
792: Solving the last two equations for $N^0$ and $N^1$ one obtains
793: \begin{equation} N^0=\frac{(C_1C_2-C_4C_3)}{(C_1C_4+C_2C_3)}, \ \ \
794: N^1=-\frac{(C_1C_1+C_3C_3)}{(C_1C_4+C_2C_3)} \label{e44}
795: \end{equation}
796: The expressions $(C_1C_4+C_2C_3)$, $(C_1C_2-C_4C_3)$, $(C_1C_1+C_3C_3)$ are
797: calculated in Appendix $A$ and are, respectively, given by Eqs
798: (\ref{$A_2$})-(\ref{$A_4$})
799: there. Thus,
800: substituting these results of Appendix $A$
801: in Eqs (\ref{e44})
802: we obtain the following results for $N^0$ and $N^1$.
803: \begin{equation} N^0=\frac{\int_0^{\infty}dkk\sin(2Tk)\biggl(2A(k)A^+(k)-
804: \frac{1}{2}\biggr)}{\int_0^{\infty}dkk\biggl(A(k)A(k)-A^+(k)A^+(k)-\frac{1}{2}\biggr)
805: } \label{e45}
806: \end{equation}
807:
808: \begin{equation}
809: N^1=\frac{2\int_0^{\infty}dkk^2\biggl\{\cos(2Tk)\biggl(A(k)A(k)+A^+(k)A^+(k)\biggr)-\biggl(2A(k)A^+(k)
810: -\frac{1}{2}\biggr)\biggr\} }{r\int_0^{\infty}dkk\biggl(A(k)A(k)-A^+(k)A^+(k)-\frac{1}{2}\biggr)
811: } \label{e46}
812: \end{equation}
813: The last Eqs (\ref{e45})-(\ref{e46}) express the lapse and shift function, which
814: determine the geometry of a space-time hypersurface \cite{mtw}, in terms of the
815: gravitational cylindrical creation and destruction operators $A(k), \ \ A^+(k)$
816: which determine the constituents of the related GF and, therefore, the
817: geometry it imposes upon the neighbouring space-time.
818:
819: \markright{SPACE ZENO EFFECT FOR THE CYLINDRICAL GF}
820:
821: \protect \section{Space Zeno effect for the cylindrical GF}
822:
823: For demonstrating the Zeno effect in the cylindrical GF (GW) we use
824: the Dirac quantization of the cylindrical GW in the half
825: parametrized formalism as represented in \cite{kuchar1}. We may use the
826: ADM
827: quantization \cite{kuchar1} but we prefer to discuss the mentioned Dirac
828: one
829: which is more general \cite{kuchar1} than that of ADM. This quantization
830: in the half
831: parametrized formalism is equivalent, as shown in \cite{kuchar1} (see Section
832: XII there), to the the full parametrized one and so one may discuss the former
833: formalism without losing anything. In this formalism the function $r(R)$ is
834: equated to $R$ so that the two remaining canonical coordinates $T(r(R))$,
835: $\psi(r(R))$ may be written as $T(r(R))=T(R)$ and $\psi(r(R))=\psi(R)$. These
836: variables, as well as their canonically conjugate momenta $\Pi_T(R)$ and
837: $\pi_{\psi}(R)$, are replaced in the quantum theory \cite{schiff,merzbacher}
838: by operators
839: so that one may write, for example, the conjugate momenta as the variational
840: derivatives
841:
842: \begin{equation} \Pi_T(R)=-i\frac{\delta}{\delta T(R)}, \ \ \
843: \pi_{\psi}(R)=-i\frac{\delta}{\delta \psi(R)} \label{e47}
844: \end{equation}
845:
846: In the representation in which the former canonical coordinates $T(R)$ and
847: $\psi(R)$ are diagonal
848: the state functional $\Psi$ depends on these two functions and its behaviour
849: changes according to the following Schroedinger-type equation
850:
851: \begin{equation} i\frac{\delta \Psi(T(R),\psi(R))}{\delta
852: T(R)}={\cal H}(T_{,R}(R),\psi(R),\pi_{\psi}(R))\Psi(T(R),\psi(R)), \label{e48}
853: \end{equation}
854: where in the half parametrized formalism ${\cal H}$ is given by \cite{kuchar1}
855:
856: \begin{eqnarray} && {\cal H}=\frac{1}{2}\bigl(1-T^2_{,R}(R)\bigr)^{-1}
857: \biggl(-iR^{-\frac{1}{2}}\frac{\delta}{\delta \psi(R)}-
858: R^{\frac{1}{2}}T_{,R}(R)\psi_{,R}(R)\biggr)^2+
859: \frac{1}{2}R\psi^2_{,R}(R)= \nonumber \\ && =
860: \frac{1}{2(1-T^2_{,R}(R))}\biggl(R^{-1}\pi^2_{\psi}(R)
861: -2T_{,R}(R)\pi_{\psi}(R)\psi_{,R}(R) +\frac{1}{2}R\psi^2_{,R}(R)\biggr)
862: \label{e49}
863: \end{eqnarray}
864: The last result was obtained by using the second equation of (\ref{e47})
865: for
866: the operator $\pi_{\psi}(R)$ and noting that the commutation relation between
867: $\pi_{\psi}(R)$ and $\psi_{,R}(R)$ is zero at the same point, i.g.,
868: $[\psi_{,R}(R),\pi_{\psi}(R')]=i\frac{\delta(\psi_{,R}(R))}{\delta \psi(R')}=
869: i\frac{d}{dR}(\frac{\delta(\psi(R))}{\delta \psi(R')})=
870: i\frac{d\delta(R-R')}{dR}=0$ because of the antisymmetry of the $\delta$
871: function by which one have $\frac{d\delta(0)}{dR}=0$.
872: Note that the variational derivative at the left is with respect to the
873: extrinsic time $T(R)$ and $T_{,R}(R)$, $\psi_{,R}(R)$ denote derivatives of
874: $T(R)$ and
875: $\psi(R)$ with respect to $R$. The solution to the Schroedinger equation
876: (\ref{e48})
877: is
878: \begin{equation} \Psi(T(R),\psi(R))=
879: exp\bigl(-i{\cal H}(T_{,R}(R),\psi(R))T(R)\bigr)\Psi(0,\psi(R)), \label{e50}
880: \end{equation}
881: where $\Psi(0,\psi(R))$ is the state functional on the hypersurface $T(R)=0$.
882: Note that although Eq (\ref{e48}) is a functional differential equation which
883: is a whole set
884: of equations, one for each value of $R$, these equations are not mutually
885: independent and may be reduced, as shown in \cite{kuchar1}, to a single
886: differential equation as follows.
887: $$ i\frac{\partial(\bar{\Psi}(T(R,t),\psi(R)))}{\partial
888: t}=\bar{ H}_t(\psi(R),\pi_{\psi}(R))\bar{\Psi}(T(R,t),\psi(R)), $$
889: where $$\bar{ H}_t(\psi(R),\pi_{\psi}(R))=\int_0^{\infty}dR
890: {\cal H}(T_{,R}(R,t),\psi(R),\pi_{\psi}(R))\frac{\partial(T(R,t))}{\partial t}$$
891: The $t$ is a labelling parameter from some closed range, for example,
892: $[0,1]$ and \\ ${\cal H}(T_{,R}(R,t),\psi(R),\pi_{\psi}(R))$
893: is the same as that of Eq (\ref{e48})-(\ref{e50}). The solution to the former
894: single differential equation is $$ \bar{\Psi}(T(R),\psi(R))=
895: P\exp(-i\int_0^1dt\bar{ H}_t)\bar{\Psi}_0(\psi(R)),
896: $$
897: where $P$ is a time-ordering operator. As seen, one have to discuss the energy
898: \\
899: ${\cal H}(T(R,t),\psi(R),\pi_{\psi}(R))$ either directly as in Eq (\ref{e50}) or
900: through $\bar{H}_t$ as in the last unnumbered equation.
901: For the purpose of this section, which is the
902: demonstration of the space Zeno effect for the cylindrical GW, we prefer to
903: directly discuss the Hamiltonian density
904: ${\cal H}(T(R),\psi(R),\pi_{\psi}(R))$
905: and Eq (\ref{e48}) with the understanding
906: that all the results obtained may be applied also to the single differential
907: equation. \par
908: We show here that under the influence of space Zeno effect the functional state
909: $\Psi(T(R),\psi(R))$ remain stable in space.
910: For that purpose we have calculated in Appendix II,
911: using the shift operator $e^{iP\rho}$,
912: the probability $Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)$
913: for the state
914: function $\Psi(0,\psi(R))$ from Eq (\ref{e50}) (we also use the Dirac's bra
915: notation \cite{schiff,merzbacher} $|\Psi(0,\psi(R))\!>$)
916: to remain at the same state
917: after shifting it by the
918: small amount $\rho$. This probability, after the single shift, is given in
919: (\ref{$B_{15}$}) in Appendix II as
920: \begin{align} & Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)=
921: \biggl|<\!\Psi(0,\psi(R))|e^{iP\rho}|\Psi(0,\psi(R))\!>\biggr|^2=
922: 1+4\eta^2+ \nonumber \\ & + 6\eta^4+
923: \rho^2\eta^4(\frac{B\pi_{\psi}(R)}{D})^2+
924: \eta^2\frac{\rho^2}{D^2}\biggl(2A\pi_{\psi}(R)+B\biggr)^2+
925: \sin(\frac{\rho}{D}B\pi_{\psi}(R)) \nonumber \\ & \cdot
926: \biggl\{2\eta^3\frac{\rho}{D\pi^2_{\psi}(R)}
927: \biggl(2A\pi_{\psi}(R) + B\biggr)
928: -2\eta^2\frac{\rho B\pi_{\psi}(R)}{D}\bigl(1+2\eta^2\bigr)\biggr\}-
929: \label{e51} \\ & -
930: \cos(\frac{\rho}{D}B\pi_{\psi}(R))
931: \biggl\{2\eta^3\frac{\rho^2B}{D^2\pi_{\psi}(R)}\biggl(2A\pi_{\psi}(R)+B\biggr)
932: + 2\eta^2\bigl(1+2\eta^2\bigr)\biggr\}+ \nonumber \\ & +
933: 2\eta^3\frac{\rho}{D\pi^2_{\psi}(R)}
934: \biggl(2A\pi_{\psi}(R)+ B\biggr) \sin(\frac{\rho}{D}A\pi^2_{\psi}(R))
935: -2\eta^2\bigl(1+2\eta^2\bigr) \nonumber \\ & \cdot
936: \cos(\frac{\rho}{D}A\pi^2_{\psi}(R))-
937: 2\eta^4\frac{\rho B\pi_{\psi}(R)}{D}
938: \sin\biggl(\frac{\rho}{D}\biggl(A\pi^2_{\psi}(R)- B\pi_{\psi}(R)\biggr)\biggr)
939: + \nonumber \\ & + 2\eta^4\cos\biggl(\frac{\rho}{D}\biggl(A\pi^2_{\psi}(R)-
940: B\pi_{\psi}(R)\biggr)\biggr)
941: \nonumber \end{align}
942: where $A$, $B$, $C$, $D$ are given by Eqs (\ref{$B_6$}) in Appendix II.
943: The relevant state which we want to keep fixed
944: represents the cylindrical GF (GW).
945: We, now, wish to generalize this single shift in one region of space to an
946: arbitrary number of identical shiftings simultaneously performed in a large
947: number of independent regions of space. For that we construct an operator,
948: as done in \cite{bar1}, which
949: regulate the simultaneous identical shiftings in separete regions of spacetime in
950: terms of the known quantum projection operator \cite{schiff,merzbacher}
951: ${\cal
952: P}=|\phi\!><\!\phi|$ and its translate in shifts of amount $\rho$ which is
953: denoted here for the single shift as
954: $ {\cal P}^{(1)}_{tr}=
955: e^{-iP\rho}{\cal P}e^{iP\rho}=e^{-iP\rho}<\!\phi|e^{iP\rho}|\phi\!> $.
956: Taking the absolute square of the last expression one obtains
957: \begin{equation} |{\cal P}^{(1)}_{tr}|^2=
958: |e^{-iP\rho}{\cal P}e^{iP\rho}|^2=|<\!\phi|e^{iP\rho}|\phi\!>|^2, \label{e52}
959: \end{equation}
960: which, assuming for $\phi\!\!>$ the state functional $|\Psi(0,\psi(R))\!\!>$,
961: amount
962: to the probability $Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)$ from Eq (\ref{e51}). That is,
963: $Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)= |{\cal P}^{(1)}_{tr}|^2$. For
964: the double
965: identical shifts of the state functional $|\Psi(0,\psi(R))\!>$, each of
966: amount $\rho$,
967: simultaneously performed in two separate regions of space-time
968: one may write for ${\cal P}^{(2)}_{tr}$ and its absolute square
969: $|{\cal P}^{(2)}_{tr}|^2$
970: \begin{align} & {\cal P}^{(2)}_{tr}=
971: e^{-i2P\rho}{\cal P}e^{i2P\rho}
972: e^{-iP\rho}{\cal P}e^{iP\rho}=
973: e^{-i2P\rho}{\cal P}e^{iP\rho}{\cal P}
974: e^{iP\rho} \label{e53} \\ &
975: |{\cal P}^{(2)}_{tr}|^2=\biggl|e^{-i2P\rho}{\cal P}e^{iP\rho}{\cal P}
976: e^{iP\rho}\biggr|^2=\biggl|e^{-i2P\rho}
977: \biggl(<\!\Psi(0,\psi(R))|e^{iP\rho}|\Psi(0,\psi(R))\!>\biggr)^2\biggr|^2= \nonumber \\
978: & =
979: \biggl|\biggl(<\!\Psi(0,\psi(R))|e^{iP\rho}|\Psi(0,\psi(R))\!>\biggr)^2\biggr|^2, \nonumber
980: \end{align}
981: which is identical to the
982: probability to remain at the same state $|\Psi(0,\psi(R))\!>$
983: after these two simultaneous shiftings
984: performed in two separate regions of space-time. That is,
985: $|{\cal P}^{(2)}_{tr}|^2=Pr^{(2)}(|\Psi(0,\psi(R))\!>,\rho)=
986: \biggl( Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)\biggr)^2$. The generalization to $n$
987: arbitrary shiftings of $|\Psi(0,\psi(R))\!>$, each of amount $\rho$,
988: in $n$ separate subregions of space, all included in the finite larger region
989: denoted by $X$,
990: is
991: \begin{align} & {\cal P}^{(n)}_{tr}=
992: e^{-inP\rho}{\cal P}e^{inP\rho}
993: e^{-i(n-1)P\rho}{\cal P}e^{i(n-1)P\rho}\ldots e^{-iP\rho}{\cal P}
994: e^{iP\rho} = \nonumber \\ & =
995: e^{-inP\rho}|\Psi(0,\psi(R))\!>
996: \biggl(<\!\Psi(0,\psi(R))|e^{iP\rho}|\Psi(0,\psi(R))\!>\biggr)^{n-1}
997: \label{e54} \\ &
998: \cdot <\!\Psi(0,\psi(R))|e^{iP\rho}
999: =e^{-inP\rho}\biggl(<\!\Psi(0,\psi(R))|e^{iP\rho}|\Psi(0,\psi(R))\!>\biggr)^n
1000: \nonumber
1001: \end{align}
1002: The absolute square of the last expression is equal to the probability to remain
1003: at the same state after $n$ simultaneous shiftings, each of amount $\rho$,
1004: in $n$ separate independent regions of spacetime. That is, raising the
1005: probability
1006: $Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)$ from Eq (\ref{e51}) to the $n$-th power one obtains
1007: \begin{align} & |{\cal P}^{(n)}_{tr}|^2=
1008: \biggl|e^{-inP\rho}|\Psi(0,\psi(R))\!>\biggl(<\!\Psi(0,\psi(R))|e^{iP\rho}|\Psi(0,\psi(R))\!>)^{n-1}
1009: <\!\Psi(0,\psi(R))|e^{iP\rho}\biggr)\biggr|^2 =\nonumber \\ &
1010: =\biggl|\biggl(<\!\Psi(0,\psi(R))|e^{iP\rho}|\Psi(0,\psi(R))\!>\biggr)^n\biggr|^2=
1011: \biggl(Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)\biggr)^n= \nonumber \\ & =
1012: \biggl\{ 1+4\eta^2+
1013: 6\eta^4+
1014: \rho^2\eta^4(\frac{B\pi_{\psi}(R)}{D})^2+
1015: \eta^2\frac{\rho^2}{D^2}\biggl(2A\pi_{\psi}(R)+B\biggr)^2+\label{e55} \\ & +
1016: \sin(\frac{\rho}{D}B\pi_{\psi}(R))
1017: \biggl\{2\eta^3\frac{\rho}{D\pi^2_{\psi}(R)}\biggl(2A\pi_{\psi}(R) + B\biggr)
1018: -2\eta^2\frac{\rho B\pi_{\psi}(R)}{D}\bigl(1+2\eta^2\bigr)\biggr\}- \nonumber
1019: \\ & -
1020: \cos(\frac{\rho}{D}B\pi_{\psi}(R))
1021: \biggl\{2\eta^3\frac{\rho^2B}{D^2\pi_{\psi}(R)}\biggl(2A\pi_{\psi}(R)+B\biggr)
1022: + 2\eta^2\bigl(1+2\eta^2\bigr)\biggr\}+ \nonumber \\ & +
1023: 2\eta^3\frac{\rho}{D\pi^2_{\psi}(R)}
1024: \biggl(2A\pi_{\psi}(R)+B\biggr)\sin(\frac{\rho}{D}A\pi^2_{\psi}(R))
1025: - 2\eta^2\bigl(1+2\eta^2\bigr)
1026: \cos(\frac{\rho}{D}A\pi^2_{\psi}(R))- \nonumber \\ & -
1027: 2\eta^4\frac{\rho B\pi_{\psi}(R)}{D}
1028: \sin\biggl(\frac{\rho}{D}\biggl(A\pi^2_{\psi}(R)-B\pi_{\psi}(R)\biggr)\biggr)
1029: + 2\eta^4\cos\biggl(\frac{\rho}{D}\biggl(A\pi^2_{\psi}(R)-
1030: B\pi_{\psi}(R)\biggr)\biggr) \biggr\}^{\frac{X}{\rho}},
1031: \nonumber \end{align}
1032: where the $n$, which refers to the $n$ equal shiftings each of amount
1033: $\rho$,
1034: were written as $\frac{X}{\rho}$
1035: in which $X$ is the finite region of
1036: space which includes all the $n$ smaller subregions.
1037: We, now, approach the Zeno limit of
1038: $\lim_{\rho \to 0}$ and note that in this limit one have
1039: \begin{align} & \lim_{\rho \to 0}\biggl( \cos(\frac{\rho}{D}
1040: A\pi^2_{\psi}(R))\biggr)=\lim_{\rho \to 0} \biggl(\cos(\frac{\rho}{D}
1041: B\pi_{\psi}(R))\biggr)= \nonumber \\ & =
1042: \lim_{\rho \to 0}\biggl(\cos\biggl(\frac{\rho}{D}\biggl(A\pi^2_{\psi}(R)-
1043: B\pi_{\psi}(R)\biggr)\biggr)\biggr)=1 \nonumber \\ &
1044: \lim_{\rho \to 0}\biggl( \sin(\frac{\rho}{D}
1045: A\pi^2_{\psi}(R))\biggr)=\lim_{\rho \to 0} \biggl(\sin(\frac{\rho}{D}
1046: B\pi_{\psi}(R))\biggr)= \nonumber \\ & =
1047: \lim_{\rho \to 0}\biggl(\sin\biggl(\frac{\rho}{D}\biggl(A\pi^2_{\psi}(R)-
1048: B\pi_{\psi}(R)\biggr)\biggr)\biggr)=0 \nonumber
1049: \end{align}
1050: Thus, using the last limits, one obtains for
1051: the overall probability $(Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho))^n$ from Eq
1052: (\ref{e55}) in the
1053: limit $\rho \to 0$
1054: \begin{equation} \label{e56} \lim_{\rho \to 0}
1055: \biggl(Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)\biggr)^{\frac{X}{\rho}} =1,
1056: \end{equation}
1057: where we use the mentioned equality $n=\frac{X}{\rho}$. Note that the last
1058: result is obtained for any value of the eigenvalue $\eta$. Thus, it is shown
1059: that in the limit of space Zeno effect the cylindrical GF (GW), which is
1060: interpreted in the framework of quantum mechanics in probability terms, have a
1061: unity probability for being found in some spacetime region and, therefore, if it
1062: is strong enough for implanting its geometry upon this neighbourhoud.
1063:
1064: \markright{GRAPHICAL REPRESENTATION OF THE GRAVITATIONAL SPACE ZENO....}
1065:
1066: \protect \section{ Graphical representation of the gravitational
1067: space Zeno effect}
1068:
1069: We, now, wish to corroborate our former results through numerical and graphical
1070: representation. For that we should note that the idea of the space Zeno
1071: effect, which is to
1072: remain with the same cylindrical geometry across all space, necessitates a
1073: constancy of the function $T(R)$ across all the $n$ subregions of space.
1074: Thus,
1075: one may assume $\frac{dT(R)}{dR} \approx 0$ which entails
1076: $\frac{d^2T(R)}{dR^2} = (\frac{dT(R)}{dR})^2 =0$. In such case the functions
1077: $A$, $B$, $C$, $E$ from Eqs (\ref{$B_6$}) assume a very simple form. That is
1078: \begin{eqnarray} && A_{(T_{,R}=0)}=1, \ \ \ \ \ \ \ \ \ \ \ B_{(T_{,R}=0)}=0
1079: \label{e57} \\ &&
1080: C_{(T_{,R}=0)}=-
1081: \biggl(\frac{R^3}{2}+ R\rho(R+\frac{\rho}{2})\biggr)
1082: \biggl(\rho(\frac{d^2\psi(R)}{dR^2})^2
1083: +2\psi_{,R}(R)\frac{d^2\psi(R)}{dR^2}\biggr) - \nonumber \\ &&
1084: -\frac{R}{2}(R+\rho)\psi^2_{,R}(R) \nonumber \\ &&
1085: D_{(T_{,R}=0)}=2R(R+\rho) \nonumber
1086: \end{eqnarray}
1087: Substituting from the last $A_{(T_{,R}=0)}$, $B_{(T_{,R}=0)}$ and
1088: $D_{(T_{,R}=0)}$ in Eq (\ref{e55}) for the probability one obtains
1089: \begin{eqnarray} &&
1090: \biggl(Pr^{(1)}_{(T_{,R}=0)}(|\Psi(0,\psi(R))\!>,\rho)\biggr)^{\frac{X}{\rho}}=
1091: \biggl(\biggl|<\!\Psi(0,\psi(R))|e^{iP\rho}
1092: |\Psi(0,\psi(R))\!>\biggr|_{(T_{,R}=0)}^2\biggr)^{\frac{X}{\rho}}= \nonumber \\ && =
1093: \biggl(1+4\eta^2+ 6\eta^4+
1094: 4\eta^2\frac{\rho^2}{D^2}\pi^2_{\psi}(R)
1095: - 2\eta^2\bigl(1+2\eta^2\bigr)- \label{e58} \\ && -2\eta^2(1+\eta^2)
1096: \cos(\frac{\rho}{D}A\pi^2_{\psi}(R)) +
1097: 4\eta^3\frac{\rho}{D\pi_{\psi}(R)}
1098: \sin(\frac{\rho}{D}A\pi^2_{\psi}(R))\biggr)^{\frac{X}{\rho}}
1099: \nonumber \end{eqnarray}
1100: For $\psi(R)$ we use the quantum version of Eq (\ref{e8}) for
1101: a specific value of $k$ and
1102: for $\pi_{\psi}(R)$ we
1103: take into account that we discuss here $T_{,R}=0$ so one may write
1104: the quantum
1105: version of
1106: $\pi_{\psi}(R)$ from Eq (\ref{e13}) as
1107: \begin{equation} \label{e59} \pi_{\psi}(R)=iR k
1108: J_0(kR)\bigl(A(k)e^{(ikT)}-A^+(k)e^{-(ikT)}\bigr)R_{,r},
1109: \end{equation}
1110: where $R_{,r}=1$ because $R=r$ here. In
1111: the equality $n=\frac{X}{\rho}$, which relates $\rho$ to the
1112: number of subregions $n$ included in the larger region $X$, we assume
1113: $X=20R$.
1114: We also assume, for avoiding complex expressions and
1115: easing the graphical introduction of our results, that the amplitude
1116: $A(k)$ is equal to its complex conjugate $A^{+}$ so that
1117: multiplying the last equation (\ref{e59}) by its conjugate and taking
1118: the square root of the
1119: resulting product one obtains
1120: \begin{equation} \label{e60}
1121: \pi_{\psi}(R)=RkAJ_0(kR)\biggl(2\bigl(1-cos(2kT)\bigr)\biggr)^{\frac{1}{2}}
1122: \end{equation}
1123: Substituting the last expression for $\pi_{\psi}(R)$ in Eq (\ref{e58}) for the
1124: probability
1125: and graphing the resulting expression for certain values of $T$,
1126: $k$, $A$ and $R$ one may visually see how the probability approach unity as
1127: $\rho$ approach zero. Note that although a probability should be in the range of
1128: $(0, 1)$ we obtain here some graphs which exceed unity because of the
1129: caclculations, such as that for $\pi_{\psi}(R)$ in Eq (\ref{e60}),
1130: used to assign values to the parameters required for these graphs.
1131: One may also realize, for all the Figures and Subfigures shown here,
1132: that the drawn graphs and surfaces are at the neighbourhood of
1133: unity
1134: for the assumed ranges of
1135: $\rho$ and all approach unity as $\rho \to 0$.
1136: We note that although $A(k)$ $A^+(k)$ depend upon $k$ we refer to them,
1137: for the present numerical discussion, as constants and asuume $A=A^+$.
1138: Also, since, as mentioned, $A$ and $A^+$ are thought
1139: in the quantum regime to be creation and destruction operators and
1140: since these, respectively, raise and decrease the relevant energy by no more
1141: than unity the corresponding values assumed for $A$, $A^+$ in the numerical
1142: discussion here should be in the order of magnitude of unity. \par
1143: In Figure 1 we see two Subfigures which show the
1144: probability from Eq (\ref{e58}) as function of $\rho$ in the range $1 \geq \rho
1145: \geq 0$ and for $k=1$, $R=100$, $T=1$
1146: and $a=1$. The left Subfigure $1,a$ is drawn for $\eta=1$ and the right
1147: one for $\eta=9$. One may realize that for small
1148: values of the eigenvalue $\eta$, such as in Subfigure $1,a$, the probability
1149: is linear whereas for relatively larger values of $\eta$, such as in
1150: Subfigure $1,b$, it deviates from linearity. \par
1151: In Figure 2 we
1152: show
1153: three Subfigures which show the
1154: probability from Eq (\ref{e58}) as function of $\rho$ in the range
1155: $0.2 \geq \rho
1156: \geq 0$, for $k=\frac{1}{2}$, $T=6$, $\eta=1$, $A=A^+=1$ and
1157: for certain different
1158: ranges of $R$. Thus, in Subfigure $(1,a)$ we see this probability for
1159: $0.2 \geq \rho \geq 0$, $20 \geq R \geq 10$ and one may
1160: see that as $\rho$ becomes smaller the probability approach unity for all
1161: values of $R$. Also, one may realize that the larger becomes $R$, even for the
1162: larger values of the drawn range of $\rho$, the probability tends to the unity
1163: value. Similar situations are also shown in Subfigures $(2,b)$ and $(2,c)$
1164: which are, respectively, drawn for intermediate $120 \geq R \geq 100$ and
1165: larger values $1020 \geq R \geq 1000$ of $R$ where
1166: it is clearly shown that the surfaces drawn for these $R$'s have, essentially, a
1167: unity value for the whole range of $0.2 \geq \rho \geq 0$ and become proper
1168: unity as $\rho \to 0$. \par In Subfigure $(3,a)$ of Figure 3 we show a
1169: three-dimensional surface of the
1170: probability from Eq (\ref{e58}) as function of $\rho$ in the range
1171: $0.5 \geq \rho \geq 0$, of the eigenvalue $\eta$ in the range
1172: $2 \geq \rho \geq 0$ and for $k=\frac{1}{2}$, $T=6$, $R=150$ and $A=A^+=1$.
1173: As realized from Eqs (\ref{e56}) even the general probability from Eq
1174: (\ref{e55}) tends to
1175: unity as $\rho \to 0$ for any value of $\eta$. We have, nevertheless, show how
1176: the probability
1177: from Eq
1178: (\ref{e58}) approach unity in this limit. As seen in panel $(3,a)$
1179: for a value of $\rho$
1180: which is very close to
1181: zero and for certain values of $\eta$ the probability discontinuously
1182: decreases to zero and immediately as $\rho$ becomes zero it
1183: increases, for the same values of $\eta$, to unity. Subfigure $(3,b)$ shows
1184: again this behaviour of the probability for the comparatively extended
1185: ranges of $1
1186: \geq \rho \geq 0$, $9
1187: \geq \eta \geq
1188: 0$ and for $R=100$ whereas $K$, $T$ and $A=A^+$ remain as for Panel $(3,a)$.
1189: One may again see how for a $\rho$ just before zero the probability
1190: discontinuously fall towards zero and then at $\rho=0$ this probability
1191: discontinuously increases to unity. In Subfigure $(3,c)$ we see
1192: the probability from Eq (\ref{e58}) as function of $\rho$ and $T$ in the
1193: respective ranges of
1194: $1 \geq \rho \geq 0$ and $100 \geq T \geq 0$ and for
1195: $k=\frac{1}{2}$, $R=100$, $\eta=1$ and $A=A^+=1$.
1196:
1197:
1198:
1199:
1200: \begin{figure}
1201: a
1202: \begin{turn}{-90}
1203: \includegraphics[width=5.9cm]{figure1.ps}
1204: \end{turn}
1205: b
1206: \begin{turn}{-90}
1207: \includegraphics[width=5.9cm]{figure2.ps}
1208: \end{turn}
1209:
1210: \caption{The left panel $a$ shows the probability from Eq (\ref{e58}) as function
1211: of $\rho$ in the range $1 \geq \rho \geq 0$ and for
1212: $k=1$, $R=100$, $\eta=1$, $T=1$ and $A=A^+=1$. The right panel $b$ shows this
1213: probability for the same values of the former parameters except for $\eta=9$.
1214: One may see how the graph changes its linear form, which is valid for
1215: small $\eta$, to
1216: the nonlinear one as $\eta$ relatively increases. }
1217:
1218: \end{figure}
1219:
1220: \begin{figure}
1221: a
1222: \begin{turn}{-90}
1223: \includegraphics[width=5.9cm]{figure3.ps}
1224: \end{turn}
1225: b
1226: \begin{turn}{-90}
1227: \includegraphics[width=5.9cm]{figure4.ps}
1228: \end{turn}
1229: c
1230: \begin{turn}{-90}
1231: \includegraphics[width=5.9cm]{figure5.ps}
1232: \end{turn}
1233:
1234: \caption{The three panels of this figure show three-dimensional surfaces of the
1235: probability from Eq (\ref{e58}) as function of $\rho$ in the range
1236: $0.2 \geq \rho \geq 0$, for $k=\frac{1}{2}$, $T=6$, $\eta=1$, $A(k)=A^+=1$ and
1237: for 3 different ranges of $R$. As seen, for all the three panels the relevant
1238: probability tends to unity as $\rho \to 0$. In Panel $a$ the range of $R$ is
1239: $20 \geq R \geq 10$ and those of Panels $b$ and $c$ are respectively
1240: $120 \geq R \geq 100$ and $1020 \geq R \geq 1000$.
1241: Note that the surfaces shown
1242: in these panels and also in Subfigure $3,c$ have, essentially, a unity
1243: value for all their ranges. }
1244:
1245: \end{figure}
1246:
1247: \begin{figure}
1248: a
1249: \begin{turn}{-90}
1250: \includegraphics[width=5.9cm]{figure6.ps}
1251: \end{turn}
1252: b
1253: \begin{turn}{-90}
1254: \includegraphics[width=5.9cm]{figure7.ps}
1255: \end{turn}
1256: c
1257: \begin{turn}{-90}
1258: \includegraphics[width=5.9cm]{figure8.ps}
1259: \end{turn}
1260: \caption{The panel $a$ shows a three-dimensional surface of
1261: the probability from Eq (\ref{e58}) as
1262: function of $\rho$ in the range $0.5 \geq \rho \geq 0$, $\eta$ in the range
1263: $2 \geq \rho \geq 0$ and for $k=\frac{1}{2}$, $T=6$, $R=150$ and $A=A^+=1$ . Note that for a value of $\rho$ which is very close to
1264: zero and for certain values of $\eta$ the probability is practically zero and
1265: discontinuously increases to unity as $\rho$ becomes zero. Panel $b$ shows
1266: again this probability but now for the relatively extended ranges of $1
1267: \geq \rho \geq 0$, $9
1268: \geq \eta \geq
1269: 0$ and for $R=100$ whereas $K$, $T$ and $A$, $A^+$ remain as for Panel $a$. One
1270: may again see the discontinuous jumps in the probability just before and at
1271: $\rho=0$.
1272: Panel $c$
1273: shows a three-dimensional surface of the
1274: probability from Eq (\ref{e58}) as
1275: function of $\rho$ in the range $0.5 \geq \rho \geq 0$ and $T$ in the range
1276: $100 \geq \rho \geq 1$. One may discern the cyclicity and monotony by
1277: which the probability changes with $T$ in the neighbourhood of unity}.
1278: \end{figure}
1279:
1280:
1281:
1282: \markright{THE CYLINDRICAL GRAVITATIONAL WAVE IN THE TT GAUGE}
1283:
1284: \protect \section{The cylindrical GW in the TT gauge}
1285:
1286:
1287:
1288: We discuss here a linearized version of general relativity in which the
1289: cylindrical GW is considered as a small pertubation in the otherwise flat
1290: Minkowskian metric. That is, the appropriate metric tensor may be written as
1291: \begin{equation} g_{\mu\nu}= \label{e61} \epsilon_{\mu\nu}+h_{\mu\nu}, \ \ \
1292: |h|<<1, \end{equation}
1293: where the GW is identified with the small perturbation $h$.
1294: Thus, the exponents in the cylindrical metrics of Eq
1295: (\ref{e4}) may be expanded in a Taylor series in which we retain only the first
1296: two terms as
1297: \begin{equation} \label{e62} ds^2=(1+
1298: \Gamma-\psi)(-dT^2+dR^2)+(1+ln(R^2)-\psi)d\phi^2+(1+\psi)dz^2
1299: \end{equation}
1300: From Eqs (\ref{e61})-(\ref{e62}) one may determine the components $h_{\mu\nu}$
1301: which characterize the cylindrical GW.
1302: \begin{equation} \label{e63} h_{00}=-(\Gamma-\psi), \ \ h_{11}=(\Gamma-\psi),
1303: \ \
1304: h_{22}=(ln(R^2)-\psi), \ \ h_{33}=\psi, \end{equation}
1305: where $\psi$ and $\Gamma$ are respectively given by Eqs (\ref{e9}) and
1306: (\ref{e20})-(\ref{e21}) and the suffixes $(0,\ 1,\ 2,\ 3)$ are $(t, \ r, \ \phi, \ z)$.
1307: Now, since we discuss here pure GW's in which the matter terms in Einstein's
1308: field
1309: equations are zero we may use \cite{mtw} the transverse traceless (TT) gauge
1310: \cite{thorne,mtw} which is characterized with a minimum
1311: number of components \cite{mtw} for
1312: the metric tensor $h_{\mu \nu}$ so that any component of it,
1313: except the spatial ones, vanishes, i.e; $h^{TT}_{\mu 0}=0$.
1314: The TT gauge is also characterized with the following properties \cite{mtw}:
1315: $h^{TT}_{kj,j}=0$, so that these components are
1316: divergence-free and are also trace-free, e.g.,
1317: $h^{TT}_{kk}=0$. Thus, since, as mentioned,
1318: the GW is identified with
1319: $h_{jk}^{TT}$ it, naturally, shares the same properties. In the linearized
1320: version of general relativity the components of the Riemann curvature tensor
1321: are found to be \cite{mtw}
1322: \begin{equation} R_{\alpha\mu\beta\nu}= \frac{1}{2}\biggl(
1323: h_{\alpha\nu,\mu\beta}+h_{\mu\beta,\nu\alpha}-h_{\mu\nu,\alpha\beta}-
1324: h_{\alpha\beta,\mu\nu}\biggr) \label{e64} \end{equation}
1325: Also, it has been shown (see Eq (35.10) in \cite{mtw}) that in the TT gauge the
1326: time-space components of the Riemann curvature tensor
1327: have an especially
1328: simple form (see Eq (35.10) in \cite{mtw})
1329: \begin{equation} \label{e65}
1330: R_{j0k0}=R_{0j0k}=-R_{j00k}=-R_{0jk0}=-\frac{1}{2}h^{TT}_{jk,00}
1331: \end{equation}
1332: Thus, substituting in (\ref{e64}) $\alpha=j$, $\beta=k$, and $\mu=\nu=0$ one
1333: obtains
1334: \begin{equation} \label{e66}
1335: R_{j0k0}=\frac{1}{2}\biggl(h_{j0,0k}+h_{0k,0j}-h_{00,jk}-h_{jk,00}\biggr)
1336: \end{equation}
1337: From the last two equations (\ref{e65})-(\ref{e66}) and the vanishing of
1338: any nondiagonal element
1339: of the metric tensor $h$ (see Eq (\ref{e63})) one may realize that if
1340: $h_{00}=0$ then $h_{jk}=h^{TT}_{jk}$ which means that in the linearized version
1341: of general relativity the cylindrical GW can
1342: be expressed only in the TT gauge. But since, as seen from Eq (\ref{e63}),
1343: $h_{00} \neq 0$ one may use Eqs (\ref{e65})-(\ref{e66}) to find an explicit
1344: expression for $h^{TT}_{jk}$
1345: \begin{equation} \label{e67}
1346: h^{TT}_{jk}=c_1+c_2t+h_{jk}+\int\!dt\int\!dt'h_{00,jk},
1347: \end{equation}
1348: where, as realized from Eq (\ref{e63}), $j=k$ and $c_1$, $c_2$ are constants
1349: of integration. Thus, substituting in Eq
1350: (\ref{e67}) for $h_{jk}$ and $h_{00}$ from Eq (\ref{e63}), taking into
1351: account that these $h$'s depend only upon $t$ and $r$
1352: (through $\psi$, the $\Gamma$ does not depend upon them as seen from Eqs
1353: (\ref{e20})-(\ref{e21})), using Eqs (\ref{e9}) and (\ref{e20})
1354: for $\psi$ and $\Gamma$, performing the double integration over $t$
1355: and using the Bessel's derivatives \cite{abramowitz}
1356: $\frac{dJ_0(x)}{dx}=-J_1(x)$,
1357: $\frac{dJ_1(x)}{dx}=\frac{1}{2}(J_0(x)-J_2(x))$
1358: one may obtain for the components of $h^{TT}_{jk}$
1359: \begin{align} &
1360: h^{TT}_{rr}=\Re\biggl\{\biggl(c_1+c_2t+h_{rr}+\int\!dt\int\!dt'h_{00,rr}\biggr)
1361: \biggr\}=
1362: \Re\biggl\{\biggl(c_1+c_2t+\Gamma-\psi+ \nonumber \\ & +
1363: \int\!dt\int\!dt'(\psi-\Gamma)_{,rr}\biggr)\biggr\} =
1364: \Re\biggl\{c_1+c_2t+\Gamma-\frac{1}{2}\int_0^{\infty}
1365: dk\biggl(J_0(kr)+J_2(kr)\biggr) \cdot \nonumber \\ & \cdot
1366: \biggl(A(k)e^{ikT}+A^+(k)e^{-ikT}\biggr)\biggr\}=
1367: c_1+c_2t-\frac{1}{2}\biggl\{\int_0^{\infty}dk
1368: \biggl[\bigl(J_0(kr)+J_2(kr)\bigr) \cdot \label{e68} \\ & \cdot
1369: \biggl(A(k)+A^+(k)\biggr)\cos(kT)-
1370: 4kA(k)A^+(k)\biggr]\biggr\} \nonumber
1371: \end{align}
1372: \begin{align} &
1373: h^{TT}_{\phi\phi}=\Re\biggl(c_1+c_2t+h_{\phi\phi}\biggr)=\Re\biggl(c_1+c_2t+
1374: \ln(R^2)-\psi\biggr)=
1375: \label{e69} \\ & =
1376: c_1+c_2t+\ln(R^2)-\biggl(\int_0^{\infty}J_0(kr)\cos(kT)(A(k)+A^+(k))\biggr)
1377: \nonumber \end{align}
1378: \begin{equation} \label{e70}
1379: h^{TT}_{zz}=\Re\biggl(c_1+c_2t+h_{zz}\biggr)=
1380: c_1+c_2t+\int_0^{\infty}J_0(kr)\cos(kT)(A(k)+A^+(k)),
1381: \end{equation}
1382: where $\Re$ is the real part of the relevant expressions. These components of the cylidrical GW are,
1383: naturally, polarized along their respective directions just as the
1384: electromagnetic waves are polarized along their spatial axes. We should,
1385: however,
1386: take into account that these GW's are tensors and therefore their polarization
1387: directions have, likewise, tensorial \cite{synge} characters. The corresponding unit
1388: polarization tensors were introduced in \cite{mtw}, with respect to plane GW
1389: propagating along a general $\hat{n}$ axis in an orthogonal
1390: $\hat{n}, \hat{n_1}, \hat{n_2}$
1391: system, as
1392: \begin{align} & {\bf e}_{+_{\hat{{\bf n}}_1\hat{{\bf n}}_1}}=
1393: {\bf e}_{\hat{{\bf n}}_1} \otimes {\bf e}_{\hat{{\bf n}}_1}- {\bf e}_{\hat{{\bf
1394: n}}_2} \otimes {\bf e}_{\hat{{\bf n}}_2}= -\biggl({\bf e}_{\hat{{\bf n}}_2} \otimes
1395: {\bf e}_{\hat{{\bf n}}_2}- {\bf e}_{\hat{{\bf
1396: n}}_1} \otimes {\bf e}_{\hat{{\bf n}}_1}\biggr)=-{\bf e}_{+_{\hat{{\bf n}}_2\hat{{\bf
1397: n}}_2}} \label{e71} \\ &
1398: {\bf e}_{\times_{\hat{{\bf n}}_1\hat{{\bf n}}_2}}=
1399: {\bf e}_{\hat{{\bf n}}_1} \otimes {\bf e}_{\hat{{\bf n}}_2}+ {\bf e}_{\hat{{\bf
1400: n}}_2} \otimes {\bf e}_{\hat{{\bf n}}_1}=
1401: \biggl( {\bf e}_{\hat{{\bf n}}_2} \otimes {\bf e}_{\hat{{\bf n}}_1}+ {\bf e}_{\hat{{\bf
1402: n}}_1} \otimes {\bf e}_{\hat{{\bf n}}_2}\biggr)= {\bf e}_{\times_{\hat{{\bf
1403: n}}_2\hat{{\bf n}}_1}}, \nonumber \end{align}
1404: The unit polarization tensors in the $(\hat{{\bf x}}, \ \hat{{\bf y}}, \
1405: \hat{{\bf z}})$ system may be obtained from Eqs
1406: (\ref{e71}) by substituting , $\hat{{\bf n}}=\hat{{\bf
1407: z}}$, $\hat{{\bf n}}_1=\hat{{\bf
1408: x}}$, $\hat{{\bf n}}_2=\hat{{\bf
1409: y}}$, \cite{mtw}
1410: \begin{eqnarray} && {\bf e}_{+_{\hat{{\bf x}}\hat{{\bf x}}}}=
1411: {\bf e}_{\hat{{\bf x}}} \otimes {\bf e}_{\hat{{\bf x}}}- {\bf e}_{\hat{{\bf
1412: y}}} \otimes {\bf e}_{\hat{{\bf y}}}= -\biggl({\bf e}_{\hat{{\bf y}}} \otimes
1413: {\bf e}_{\hat{{\bf y}}}- {\bf e}_{\hat{{\bf
1414: x}}} \otimes {\bf e}_{\hat{{\bf x}}}\biggr)=-{\bf e}_{+_{\hat{{\bf y}}\hat{{\bf
1415: y}}}} \label{e72} \\ &&
1416: {\bf e}_{\times_{\hat{{\bf x}}\hat{{\bf y}}}}=
1417: {\bf e}_{\hat{{\bf x}}} \otimes {\bf e}_{\hat{{\bf y}}}+ {\bf e}_{\hat{{\bf
1418: y}}} \otimes {\bf e}_{\hat{{\bf x}}}=
1419: \biggl( {\bf e}_{\hat{{\bf y}}} \otimes {\bf e}_{\hat{{\bf x}}}+ {\bf e}_{\hat{{\bf
1420: x}}} \otimes {\bf e}_{\hat{{\bf y}}}\biggr)= {\bf e}_{\times_{\hat{{\bf
1421: y}}\hat{{\bf x}}}}, \nonumber \end{eqnarray}
1422: The corresponding unit polarization tensors in the cylindrical system
1423: $(\hat{{\bf
1424: r}}, \hat{{\bf \phi}},
1425: \hat{{\bf z}})$ for a GW which advances in the $\hat{{\bf z}}$
1426: direction are detaily
1427: derived in \cite{bar2,bar3} from Eqs (\ref{e72}) by
1428: using the transformation equations for ${\bf e}_{\hat{{\bf x}}}$
1429: and ${\bf e}_{\hat{{\bf y}}}$
1430: \cite{spiegel1,spiegel2}
1431: \begin{equation} \label{e73} {\bf e}_{\hat {\bf x}}=\cos(\phi){\bf e}_{\hat {\bf \rho}}-\sin(\phi){\bf
1432: e}_{\hat {\phi}}, \ \ {\bf e}_{\hat {\bf y}}=
1433: \sin(\phi){\bf e}_{\hat {\bf \rho}}+\cos(\phi){\bf
1434: e}_{\hat {\phi}}, \ \ {\bf e}_{\hat {\bf z}}= {\bf e}_{\hat {\bf z}}
1435: \end{equation}
1436: That is, using the last Eqs (\ref{e73}) and the trigonometric identities
1437: $(\cos^2(\phi)-\sin^2(\phi))=\cos(2\phi)$,
1438: $2\cos(\phi)\sin(\phi)=\sin(2\phi)$, one may obtain, as done in
1439: \cite{bar2,bar3}, the corresponding unit
1440: polarization tensors in the
1441: cylindrical system $(\hat{{\bf
1442: r}}, \hat{{\bf \phi}},
1443: \hat{{\bf z}})$, denoted here
1444: as
1445: ${\bf e}^{(z)}_{+_{{\hat {\bf r}}{\hat {\bf r}}}} (=
1446: -{\bf e}^{(z)}_{+_{{\hat {\bf \phi}}{\hat {\bf \phi}}}})$ and
1447: ${\bf e}^{(z)}_{\times_{{\hat {\bf r}}{\hat {\bf \phi}}}} (=
1448: {\bf e}^{(z)}_{\times_{{\hat {\bf \phi}}{\hat {\bf r}}}})$,
1449: \begin{align} & {\bf e}^{(z)}_{+_{{\hat {\bf r}}{\hat {\bf r}}}}=
1450: \cos(2\phi)\biggl( {\bf e}_{\hat {\bf r}}\otimes
1451: {\bf e}_{\hat {\bf r}}-{\bf e}_{\hat {\bf \phi}}\otimes
1452: {\bf e}_{\hat {\bf \phi}}\biggr)-
1453: \sin(2\phi)\biggl( {\bf e}_{\hat {\bf r}}\otimes
1454: {\bf e}_{\hat {\bf \phi}}+{\bf e}_{\hat {\bf \phi}}\otimes
1455: {\bf e}_{\hat {\bf r}}\biggr) =-
1456: {\bf e}^{(z)}_{+_{{\hat {\bf \phi}}{\hat {\bf \phi}}}} \label{e74} \\
1457: & {\bf e}^{(z)}_{\times_{{\hat {\bf r}}{\hat {\bf \phi}}}}=
1458: \sin(2\phi)\biggl( {\bf e}_{\hat {\bf r}}\otimes
1459: {\bf e}_{\hat {\bf r}}-{\bf e}_{\hat {\bf \phi}}\otimes
1460: {\bf e}_{\hat {\bf \phi}}\biggr)+\cos(2\phi)\biggl( {\bf e}_{\hat {\bf r}}\otimes
1461: {\bf e}_{\hat {\bf \phi}}+{\bf e}_{\hat {\bf \phi}}\otimes
1462: {\bf e}_{\hat {\bf r}}\biggr)={\bf e}^{(z)}_{\times_{{\hat {\bf \phi}}{\hat {\bf
1463: r}}}}
1464: \nonumber \end{align}
1465: Note that since the two systems $(\hat{{\bf
1466: r}}, \hat{{\bf \phi}},
1467: \hat{{\bf z}})$ and $(\hat{{\bf
1468: x}}, \hat{{\bf y}},
1469: \hat{{\bf z}})$
1470: are orthogonal the former unit polarization tensors
1471: ${\bf e}^{(z)}_{+_{{\hat {\bf r}}{\hat {\bf r}}}}$,
1472: ${\bf e}^{(z)}_{+_{{\hat {\bf \phi}}{\hat {\bf \phi}}}}$,
1473: ${\bf e}^{(z)}_{\times_{{\hat {\bf r}}{\hat {\bf \phi}}}}$,
1474: ${\bf e}^{(z)}_{\times_{{\hat {\bf \phi}}{\hat {\bf r}}}}$
1475: for a GW advancing in the ${\bf z}$ direction of
1476: the $(\hat{{\bf
1477: r}}, \hat{{\bf \phi}},
1478: \hat{{\bf z}})$ system are derived here, as mentioned, from the corresponding
1479: unit polarization tensors
1480: ${\bf e}_{+_{\hat{{\bf x}}\hat{{\bf x}}}}$,
1481: ${\bf e}_{+_{\hat{{\bf y}}\hat{{\bf y}}}}$,
1482: ${\bf e}_{+_{\hat{{\bf x}}\hat{{\bf y}}}}$,
1483: ${\bf e}_{+_{\hat{{\bf y}}\hat{{\bf x}}}}$ of a GW
1484: advancing in the ${\bf z}$ direction of
1485: the $(\hat{{\bf
1486: x}}, \hat{{\bf y}},
1487: \hat{{\bf z}})$ system. \par
1488: We discuss here a cylindrical GW advancing in a general direction which may be
1489: decomposed along the $(\hat{{\bf z}}, \ \hat{{\bf r}}, \hat{{\bf \phi}})$
1490: axes so
1491: that each of these components may contribute its polarizing
1492: part to its respective perpendicular plane. Thus, the contribution to the unit
1493: polarization tensors in the $(\hat{{\bf r}}, \ \hat{{ \bf \phi}})$ plane
1494: resulting from the component along the
1495: $\hat{{\bf z}}$ axis are given by Eqs (\ref{e74}). The contribution to the unit
1496: polarization tensors in the $(\hat{{\bf r}}, \ \hat{{ \bf z}})$ plane
1497: resulting
1498: from the component along the
1499: $\hat{{\bf \phi}}$ axis may be calculated in a similar manner, using Eqs
1500: (\ref{e73}), as
1501: \begin{align} & {\bf e}^{(\phi)}_{+_{{\hat {\bf r}}{\hat {\bf r}}}}=
1502: \cos^2(\phi)({\bf e}_{\hat {\bf r}}\otimes
1503: {\bf e}_{\hat {\bf r}})+\sin^2(\phi)({\bf e}_{\hat {\bf \phi}}\otimes
1504: {\bf e}_{\hat {\bf \phi}})-
1505: \frac{1}{2}\sin(2\phi)\biggl( {\bf e}_{\hat {\bf r}}\otimes
1506: {\bf e}_{\hat {\bf \phi}}+{\bf e}_{\hat {\bf \phi}}\otimes
1507: {\bf e}_{\hat {\bf r}}\biggr)- \nonumber \\ & -
1508: ({\bf e}_{\hat
1509: {\bf z}}\otimes
1510: {\bf e}_{\hat {\bf z}}) =
1511: - {\bf e}^{(\phi)}_{+_{{\hat {\bf z}}{\hat {\bf z}}}} \label{e75} \\
1512: & {\bf e}^{(\phi)}_{\times_{{\hat {\bf r}}{\hat {\bf z}}}}=
1513: \cos(\phi)\biggl( {\bf e}_{\hat {\bf r}}\otimes
1514: {\bf e}_{\hat {\bf z}}+{\bf e}_{\hat {\bf z}}\otimes
1515: {\bf e}_{\hat {\bf r}}\biggr)-\sin(\phi)\biggl( {\bf e}_{\hat {\bf \phi}}\otimes
1516: {\bf e}_{\hat {\bf z}}+{\bf e}_{\hat {\bf z}}\otimes
1517: {\bf e}_{\hat {\bf \phi}}\biggr)=
1518: {\bf e}^{(\phi)}_{\times_{{\hat {\bf z}}{\hat {\bf r}}}}
1519: \nonumber \end{align}
1520: And the corresponding contribution to the unit
1521: polarization tensors in the $(\hat{{\bf \phi}}, \ \hat{{ \bf z}})$ plane
1522: resulting
1523: from the component along the
1524: $\hat{{\bf r}}$ axis is
1525: \begin{align} & {\bf e}^{(r)}_{+_{{\hat {\bf \phi}}{\hat {\bf \phi}}}}=
1526: \cos^2(\phi)({\bf e}_{\hat {\bf \phi}}\otimes
1527: {\bf e}_{\hat {\bf \phi}})+\sin^2(\phi)({\bf e}_{\hat {\bf r}}\otimes
1528: {\bf e}_{\hat {\bf r}})+
1529: \frac{1}{2}\sin(2\phi)\biggl( {\bf e}_{\hat {\bf r}}\otimes
1530: {\bf e}_{\hat {\bf \phi}}+{\bf e}_{\hat {\bf \phi}}\otimes
1531: {\bf e}_{\hat {\bf r}}\biggr)- \nonumber \\ & -
1532: ({\bf e}_{\hat
1533: {\bf z}}\otimes
1534: {\bf e}_{\hat {\bf z}})= -
1535: {\bf e}^{(r)}_{+_{{\hat {\bf z}}{\hat {\bf z}}}}
1536: \label{e76} \\
1537: & {\bf e}^{(r)}_{\times_{{\hat {\bf \phi}}{\hat {\bf z}}}}=
1538: \cos(\phi)\biggl( {\bf e}_{\hat {\bf \phi}}\otimes
1539: {\bf e}_{\hat {\bf z}}+{\bf e}_{\hat {\bf z}}\otimes
1540: {\bf e}_{\hat {\bf \phi}}\biggr)+\sin(\phi)\biggl( {\bf e}_{\hat {\bf r}}\otimes
1541: {\bf e}_{\hat {\bf z}}+{\bf e}_{\hat {\bf z}} \otimes
1542: {\bf e}_{\hat {\bf r}}\biggr)=
1543: {\bf e}^{(r)}_{\times_{{\hat {\bf z}}{\hat {\bf \phi}}}}
1544: \nonumber \end{align}
1545: Thus, the total unit polarization tensor in the $\hat{{\bf r}}\hat{{\bf r}}$
1546: direction may
1547: be found from Eqs (\ref{e74})-(\ref{e75}) as
1548: \begin{align} & {\bf e}^{(total)}_{+_{{\hat {\bf r}}{\hat {\bf r}}}}=
1549: {\bf e}^{(z)}_{+_{{\hat {\bf r}}{\hat {\bf r}}}}+
1550: {\bf e}^{(\phi)}_{+_{{\hat {\bf r}}{\hat {\bf r}}}}=
1551: \biggl(\cos(2\phi)+\cos^2(\phi)\biggr)({\bf e}_{\hat {\bf r}}\otimes
1552: {\bf e}_{\hat {\bf r}})
1553: +\biggl(\sin^2(\phi)-\cos(2\phi)\biggr) \cdot \nonumber \\ & \cdot
1554: ({\bf e}_{\hat {\bf \phi}}\otimes
1555: {\bf e}_{\hat {\bf \phi}}) -\frac{3}{2}\sin(2\phi)\biggl( {\bf e}_{\hat {\bf r}}\otimes
1556: {\bf e}_{\hat {\bf \phi}}+{\bf e}_{\hat {\bf \phi}}\otimes
1557: {\bf e}_{\hat {\bf r}}\biggr)-
1558: ({\bf e}_{\hat
1559: {\bf z}}\otimes
1560: {\bf e}_{\hat {\bf z}})
1561: \label{e77} \end{align}
1562: And the total unit polarization tensor in the $\hat{{\bf \phi}}\hat{{\bf \phi}}$
1563: direction may, analogously, be found from Eqs (\ref{e74}) and (\ref{e76}) as
1564: \begin{align} & {\bf e}^{(total)}_{+_{{\hat {\bf \phi}}{\hat {\bf \phi}}}}=
1565: {\bf e}^{(z)}_{+_{{\hat {\bf \phi}}{\hat {\bf \phi}}}}+
1566: {\bf e}^{(r)}_{+_{{\hat {\bf \phi}}{\hat {\bf \phi}}}}=
1567: \biggl(\sin^2(\phi)-\cos(2\phi)\biggr)({\bf e}_{\hat {\bf r}}\otimes
1568: {\bf e}_{\hat {\bf r}})
1569: +\biggl(\cos^2(\phi)+\cos(2\phi)\biggr) \cdot \nonumber \\ & \cdot
1570: ({\bf e}_{\hat {\bf \phi}}\otimes
1571: {\bf e}_{\hat {\bf \phi}}) +\frac{3}{2}\sin(2\phi)\biggl( {\bf e}_{\hat
1572: {\bf \rho}}\otimes
1573: {\bf e}_{\hat {\bf \phi}}+{\bf e}_{\hat {\bf \phi}}\otimes
1574: {\bf e}_{\hat {\bf r}}\biggr)-
1575: ({\bf e}_{\hat
1576: {\bf z}}\otimes
1577: {\bf e}_{\hat {\bf z}})
1578: \label{e78} \end{align}
1579: Likewise, the total unit polarization tensor in the $\hat{{\bf z}}\hat{{\bf
1580: z}}$
1581: direction may be found from Eqs (\ref{e75})-(\ref{e76}) as
1582: \begin{equation} \label{e79}
1583: {\bf e}^{(total)}_{+_{{\hat {\bf z}}{\hat {\bf z}}}}=
1584: {\bf e}^{(r)}_{+_{{\hat {\bf z}}{\hat {\bf z}}}}+
1585: {\bf e}^{(\phi)}_{+_{{\hat {\bf z}}{\hat {\bf z}}}}=
1586: 2({\bf e}_{\hat
1587: {\bf z}}\otimes
1588: {\bf e}_{\hat {\bf z}})-\biggl({\bf e}_{\hat
1589: {\bf r}}\otimes
1590: {\bf e}_{\hat {\bf r}}+{\bf e}_{\hat {\bf \phi}}\otimes
1591: {\bf e}_{\hat {\bf \phi}}\biggr) \end{equation}
1592: As for the polarization tensors in the directions $\hat{{\bf j}}\hat{{\bf
1593: k}}$ where $\hat{{\bf j}} \neq \hat{{\bf k}}$ these should certainly
1594: be
1595: generated by the mixed GW's $h^{TT}_{jk_{j\neq k}}$ but as seen from Eqs
1596: (\ref{e63}) and (\ref{e68})-(\ref{e70}) no such cylindrical GW's exist in
1597: either the TT gauge or in the linearized version introduced by Eqs
1598: (\ref{e61})-(\ref{e64}).
1599: Thus, the general cylindrical GW, denoted here $h^{TT}_{(+,\times)_{jk}}$,
1600: may be simplified as
1601: \begin{equation} h^{TT}_{(+,\times)_{jk}}= h^{TT}_{+_{jk}}+
1602: h^{TT}_{\times_{jk}}= \label{e80}
1603: A_{+_{jk}}{\bf e}^{(total)}_{+_{\hat{{\bf jk}}}}h^{TT}_{jk_{j=k}}+
1604: A_{\times_{jk}}{\bf e}^{(total)}_{\times_{\hat{{\bf jk}}}}h^{TT}_{jk_{j\neq k}}=
1605: A_{+_{jk}}{\bf e}^{(total)}_{+_{\hat{{\bf jk}}}}h^{TT}_{jk_{j=k}},
1606: \end{equation}
1607: where $A_{+_{jk}}$ and $A_{\times_{jk}}$ are constants \cite{mtw,bar2,bar3}
1608: related, respectively,
1609: to $h^{TT}_{jk_{j=k}}$ and $h^{TT}_{jk_{j\neq k}}$ and
1610: ${\bf e}^{(total)}_{+_{\hat{{\bf jk}}}}$ are given by Eqs
1611: (\ref{e77})-(\ref{e79}). Substituting
1612: in Eq (\ref{e80})
1613: from Eqs (\ref{e68})-(\ref{e70}) for $h^{TT}_{jk_{j=k}}$ and from
1614: Eqs (\ref{e77})-(\ref{e79}) for ${\bf e}^{(total)}_{+_{\hat{{\bf jk}}}}$ one obtains
1615: \begin{align} & h^{TT}_{+_{rr}}=
1616: A_{+_{rr}}{\bf e}^{(total)}_{+_{\hat{{\bf rr}}}}h^{TT}_{rr}=A_{+_{rr}}\biggl\{\biggl(\cos(2\phi)+
1617: \cos^2(\phi)\biggr)({\bf e}_{\hat {\bf \rho}}\otimes
1618: {\bf e}_{\hat {\bf r}})
1619: +\biggl(\sin^2(\phi)- \nonumber \\ & - \cos(2\phi)\biggr)
1620: ({\bf e}_{\hat {\bf \phi}}\otimes
1621: {\bf e}_{\hat {\bf \phi}}) -\frac{3}{2}\sin(2\phi)\biggl( {\bf e}_{\hat {\bf r}}\otimes
1622: {\bf e}_{\hat {\bf \phi}}+{\bf e}_{\hat {\bf \phi}}\otimes
1623: {\bf e}_{\hat {\bf r}}\biggr)-
1624: ({\bf e}_{\hat
1625: {\bf z}}\otimes
1626: {\bf e}_{\hat {\bf z}})\biggr\}\cdot \label{e81} \\ & \cdot
1627: \biggl\{c_1+c_2t-\frac{1}{2}\biggl[\int_0^{\infty}dk
1628: \biggl(\bigl(J_0(kr)+J_2(kr)\bigr) \cdot
1629: \cos(kT)\bigl(A(k)+A^+(k)\bigr)- \nonumber \\ & -
1630: 4kA(k)A^+(k)\biggr)\biggr] \biggr\}
1631: \nonumber \end{align}
1632: \begin{align} & h^{TT}_{+_{\phi\phi}}=
1633: A_{+_{\phi\phi}}{\bf e}^{(total)}_{+_{\hat{{\bf \phi\phi}}}}h^{TT}_{\phi\phi}=
1634: A_{+_{\phi\phi}}\biggl\{
1635: \biggl(\sin^2(\phi)-\cos(2\phi)\biggr)({\bf e}_{\hat {\bf r}}\otimes
1636: {\bf e}_{\hat {\bf r}})
1637: +\biggl(\cos^2(\phi)+ \nonumber \\ & +
1638: \cos(2\phi)\biggr)
1639: ({\bf e}_{\hat {\bf \phi}}\otimes
1640: {\bf e}_{\hat {\bf \phi}}) +\frac{3}{2}\sin(2\phi)\biggl( {\bf e}_{\hat
1641: {\bf r}}\otimes
1642: {\bf e}_{\hat {\bf \phi}}+{\bf e}_{\hat {\bf \phi}}\otimes
1643: {\bf e}_{\hat {\bf r}}\biggr)-
1644: ({\bf e}_{\hat
1645: {\bf z}}\otimes
1646: {\bf e}_{\hat {\bf z}})\biggr\} \cdot \label{e82} \\ &
1647: \cdot \biggl\{c_1+c_2t+\ln(R^2)-
1648: \biggl(\int_0^{\infty}J_0(kr)\cos(kT)(A(k)+A^+(k))\biggr)\biggr\}
1649: \nonumber \end{align}
1650: \begin{align} & h^{TT}_{+_{zz}}= A_{+_{zz}}{\bf e}^{(total)}_{+_{\hat{{\bf
1651: zz}}}}h^{TT}_{zz}= A_{+_{zz}}\biggl\{2({\bf e}_{\hat
1652: {\bf z}}\otimes
1653: {\bf e}_{\hat {\bf z}})-\biggl({\bf e}_{\hat
1654: {\bf r}}\otimes
1655: {\bf e}_{\hat {\bf r}}+{\bf e}_{\hat {\bf \phi}}\otimes
1656: {\bf e}_{\hat {\bf \phi}}\biggr)\biggr\} \cdot \label{e83} \\ & \cdot
1657: \biggl\{c_1+c_2t+\int_0^{\infty}J_0(kr)\cos(kT)(A(k)+A^+(k)) \biggr\}
1658: \nonumber \end{align}
1659: The corresponding cylindrical metric in the TT gauge may, now, be written as
1660: \begin{equation} \label{e84}
1661: (ds^{TT})_{({\hat{\bf r}},{\hat{\bf \phi}},
1662: {\hat{\bf z}})}^2=
1663: h^{TT}_{+_{rr}}dr^2+
1664: h^{TT}_{+_{\phi\phi}}d\phi^2+
1665: h^{TT}_{+_{zz}}dz^2, \end{equation}
1666: where $h^{TT}_{+_{rr}}$, $h^{TT}_{+_{\phi\phi}}$ and $h^{TT}_{+_{zz}}$ are,
1667: respectively, given by Eqs (\ref{e81})-(\ref{e83}).
1668:
1669: \markright{THE TRAPPED SURFACE GENERATED BY THE CYLINDRICAL....}
1670:
1671:
1672: \protect \section{The trapped surface generated by the cylindrical gravitational
1673: wave}
1674:
1675: We first note in the context of trapped surfaces that they are, generaly,
1676: generated by very strong gravitational waves \cite{mtw,eppley} and not by the
1677: weak ones discussed in the former sections. But, as emphasized in
1678: \cite{bar2,bar3}, if these weak GF's (GW's) persist somehow in some spacetime
1679: region for a long time then these GF's (GW's) are added and aggregated \cite{mtw}
1680: upon each other
1681: in such a way that they may influence a spacetime region as if a very
1682: strong GF (GW) passes this region in a short time. Thus, we discuss here,
1683: as in
1684: \cite{bar2,bar3}, Gf (GW) which dwell in some spacetime region enough time
1685: to generate trapped surface. \par
1686: We, now, calculate and find the embedded trapped surface generated by the
1687: cylindrical GW. We note that since it is difficult to embed the whole trapped
1688: surface \cite{eppley} one resorts to the simpler task of embedding the
1689: equatorial plane due to its rotational symmetry. We use for that the method
1690: in \cite{eppley} and begin by requiring the metric on the equator to be equal to
1691: that of a surface of rotation $z(x,y)$ in Euclidean space.
1692: \begin{equation} x=F(r)\cos(\phi), \ \ y=F(r)\sin(\phi), \ \ z=G(r)
1693: \label{e85} \end{equation}
1694: Thus, taking into account that on the equator $d^2z=0$ we obtain for the
1695: metrics
1696: \begin{align} &
1697: ds^2=dx^2+dy^2+dz^2=\biggl(F_{,\rho}(r)^2+G_{,\rho}(r)^2\biggr)dr^2+
1698: F^2(r)d\phi^2= \nonumber \\ & =
1699: h^{TT}_{+_{rr}}dr^2 +
1700: h^{TT}_{+_{\phi\phi}}d^2\phi =
1701: A_{+_{rr}}{\bf e}^{(total)}_{+_{\hat{{\bf rr}}}}h^{TT}_{rr}d^2r+
1702: A_{+_{\phi\phi}}{\bf e}^{(total)}_{+_{\hat{{\bf
1703: \phi\phi}}}}h^{TT}_{\phi\phi}d^2\phi= \nonumber \\ & =
1704: A_{+_{rr}}\biggl\{\biggl(\cos(2\phi)+
1705: \cos^2(\phi)\biggr)({\bf e}_{\hat {\bf \rho}}\otimes
1706: {\bf e}_{\hat {\bf r}})
1707: +\biggl(\sin^2(\phi)- \cos(2\phi)\biggr) \cdot \nonumber \\ & \cdot
1708: ({\bf e}_{\hat {\bf \phi}}\otimes
1709: {\bf e}_{\hat {\bf \phi}}) -\frac{3}{2}\sin(2\phi)\biggl( {\bf e}_{\hat {\bf r}}\otimes
1710: {\bf e}_{\hat {\bf \phi}}+{\bf e}_{\hat {\bf \phi}}\otimes
1711: {\bf e}_{\hat {\bf r}}\biggr)-
1712: ({\bf e}_{\hat
1713: {\bf z}}\otimes
1714: {\bf e}_{\hat {\bf z}})\biggr\}\cdot \label{e86} \\ &
1715: \cdot \biggl\{c_1+c_2t-\frac{1}{2}\biggl[\int_0^{\infty}dk
1716: \biggl(\bigl(J_0(kr)+J_2(kr)\bigr) \cdot
1717: \cos(kT)\bigl(A(k)+A^+(k)\bigr)- \nonumber \\ & -
1718: 4kA(k)A^+(k)\biggr)\biggr] \biggr\}d^2r+
1719: A_{+_{\phi\phi}}\biggl\{
1720: \biggl(\sin^2(\phi)-\cos(2\phi)\biggr)({\bf e}_{\hat {\bf r}}\otimes
1721: {\bf e}_{\hat {\bf r}})
1722: +\nonumber \\ & +\biggl(\cos^2(\phi)+
1723: \cos(2\phi)\biggr)
1724: ({\bf e}_{\hat {\bf \phi}}\otimes
1725: {\bf e}_{\hat {\bf \phi}}) +\frac{3}{2}\sin(2\phi)\biggl( {\bf e}_{\hat
1726: {\bf r}}\otimes
1727: {\bf e}_{\hat {\bf \phi}}+{\bf e}_{\hat {\bf \phi}}\otimes
1728: {\bf e}_{\hat {\bf r}}\biggr)- \nonumber \\ & -
1729: ({\bf e}_{\hat
1730: {\bf z}}\otimes
1731: {\bf e}_{\hat {\bf z}})\biggr\}
1732: \biggl\{c_1+c_2t+\ln(R^2)-
1733: \biggl(\int_0^{\infty}dkJ_0(kr)\cos(kT)(A(k)+A^+(k))\biggr)\biggr\}d^2\phi
1734: \nonumber
1735: \end{align}
1736: From the last equation one obtains for the quantities $F(r)$, $F_{,r}(r)$ and
1737: $G(r)$
1738: \begin{align} & F(r)= A_{+_{\phi\phi}}\biggl\{
1739: \biggl(\sin^2(\phi)-\cos(2\phi)\biggr)({\bf e}_{\hat {\bf r}}\otimes
1740: {\bf e}_{\hat {\bf r}})
1741: +\biggl(\cos^2(\phi)+
1742: \cos(2\phi)\biggr) \cdot \nonumber \\ & \cdot
1743: ({\bf e}_{\hat {\bf \phi}}\otimes
1744: {\bf e}_{\hat {\bf \phi}}) +\frac{3}{2}\sin(2\phi)\biggl( {\bf e}_{\hat
1745: {\bf r}}\otimes
1746: {\bf e}_{\hat {\bf \phi}}+{\bf e}_{\hat {\bf \phi}}\otimes
1747: {\bf e}_{\hat {\bf r}}\biggr) -
1748: ({\bf e}_{\hat
1749: {\bf z}}\otimes
1750: {\bf e}_{\hat {\bf z}})\biggr\} \cdot \label{e87} \\ & \cdot
1751: \biggl\{c_1+c_2t+\ln(R^2)-
1752: \biggl(\int_0^{\infty}dkJ_0(kr)\cos(kT)(A(k)+A^+(k))\biggr)\biggr\}
1753: \nonumber \end{align}
1754: \begin{align} & F_{,r}(r)=A_{+_{\phi\phi}} \biggl(\frac{2}{R}+
1755: \biggl(\int_0^{\infty}dkkJ_1(kr)\cos(kT)(A(k)+A^+(k))\biggr)\biggr)
1756: \cdot \nonumber \\ & \cdot
1757: \biggl\{
1758: \biggl(\sin^2(\phi)-
1759: \cos(2\phi)\biggr)({\bf e}_{\hat {\bf r}}\otimes
1760: {\bf e}_{\hat {\bf r}})
1761: +\biggl(\cos^2(\phi)+
1762: \cos(2\phi)\biggr) \cdot \label{e88} \\ & \cdot
1763: ({\bf e}_{\hat {\bf \phi}}\otimes
1764: {\bf e}_{\hat {\bf \phi}}) +\frac{3}{2}\sin(2\phi)\biggl( {\bf e}_{\hat
1765: {\bf r}}\otimes
1766: {\bf e}_{\hat {\bf \phi}}+{\bf e}_{\hat {\bf \phi}}\otimes
1767: {\bf e}_{\hat {\bf r}}\biggr) -
1768: ({\bf e}_{\hat
1769: {\bf z}}\otimes
1770: {\bf e}_{\hat {\bf z}})\biggr\},
1771: \nonumber \end{align}
1772: where the Bessel's derivative $\frac{dJ_0(r)}{dr}=-J_1(r)$ is used.
1773: \begin{align} & G(r)=\int dr\biggl\{A_{+_{rr}}\biggl\{\biggl(\cos(2\phi)+
1774: \cos^2(\phi)\biggr)({\bf e}_{\hat {\bf \rho}}\otimes
1775: {\bf e}_{\hat {\bf r}})
1776: +\biggl(\sin^2(\phi)- \cos(2\phi)\biggr) \cdot \nonumber \\ & \cdot
1777: ({\bf e}_{\hat {\bf \phi}}\otimes
1778: {\bf e}_{\hat {\bf \phi}}) -\frac{3}{2}\sin(2\phi)\biggl( {\bf e}_{\hat {\bf r}}\otimes
1779: {\bf e}_{\hat {\bf \phi}}+{\bf e}_{\hat {\bf \phi}}\otimes
1780: {\bf e}_{\hat {\bf r}}\biggr)-
1781: ({\bf e}_{\hat
1782: {\bf z}}\otimes
1783: {\bf e}_{\hat {\bf z}})\biggr\}\cdot \label{e89} \\ &
1784: \cdot \biggl\{c_1+c_2t-\frac{1}{2}\biggl[\int_0^{\infty}dk
1785: \biggl(\bigl(J_0(kr)+J_2(kr)\bigr) \cdot
1786: \cos(kT)\bigl(A(k)+A^+(k)\bigr)- \nonumber \\ & -
1787: 4kA(k)A^+(k)\biggr)\biggr] \biggr\}-F_{,r}^2(r)\biggr\}^{\frac{1}{2}},
1788: \nonumber \end{align}
1789: where $F_{,r}(r)$ is given by Eq (\ref{e88}). The expressions $F(r)$,
1790: $F_{,r}(r)$ and
1791: $G(r)$ determine the geometry of the cylindrical trapped surface.
1792:
1793: \markright{CONCLUDING REMARKS}
1794:
1795: \protect \section{Concluding Remarks}
1796:
1797: We have discussed quantum aspects of the cylindrical GF (GW) and, especially, the
1798: theoretical possibility of increasing its quantum probability.
1799: We use for that the spatial version \cite{bar1} of the Zeno effect
1800: \cite{zeno,aharonov,facchi} which is affected
1801: by performing the same experiment in a large number of
1802: nonoverlapping separate regions of space all included in a finite total region
1803: so that in the limit in which these subregions become infinitesimal, keeping the
1804: total region fixed, the quantum
1805: state becomes constant in space.
1806: The last spatial method of the Zeno effect is more appropriate for
1807: the cylindrical GF (GW) since it is related \cite{kuchar1} to the
1808: extrinsic time variable which
1809: is canonically conjugate to momentum just as the
1810: spatial coordinate is canonicaly conjugate to it. Thus, we have shown that,
1811: beginning with some cylindrical GF (GW) in some certain subregion of space-time
1812: included in a larger one and if the measurement of this field is similarly done
1813: in other neighbouring space-time subregions then at
1814: the limit in which these subregions become infinitesimally small, keeping the
1815: including larger one fixed, one obtains the
1816: Zeno result in which the cylindrical GF (GW) is fixed in all these subregions.
1817: For that we have first detaily shown that the cylindrical GF (GW) may be
1818: appropriately discussed in the
1819: commutation number representation \cite{schiff,merzbacher}.
1820: In this representation the cylindrical GF (GW) is shown to be
1821: composed from a
1822: large ensemble of particle-like components each one inhabits some
1823: space-time point so that it may be discussed in terms of space Zeno
1824: effect which also requires a large number of similar components
1825: to dwell in similar points all confined in some
1826: finite region of space-time. \par
1827: As known \cite{mtw}, in the canonical formulation of general relativity
1828: the lapse and
1829: shift functions, which are fixed (by observer)
1830: upon some space-time hypersurface, determine \cite{mtw} the later
1831: evolution and geometry
1832: of space-time. This is reminiscent
1833: of the similar role of the creation and destruction operators in the
1834: commutation number representation which also determine space-time geometry
1835: through controlling the number of gravitational constituents of the GF (GW)
1836: which impose its geometry upon space-time. In Section IV and Appendix
1837: $A$ we have
1838: expressed these lapse and shift functions in terms of the creation and
1839: destruction operators. Moreover, we were not contented in only finding
1840: the conditions through which the probability of the GF (GW) increases but
1841: also follow the "realized" (with unity-value probability) GF (GW)
1842: in its passage through space-time. We have, thus,
1843: discussed its properties in the (TT) gauge and have calculated
1844: the trapped surface
1845: generated by it. \par
1846: It must be noted that although the time version of the
1847: quantum Zeno effect
1848: was experimentally validated \cite{itano,kofman} no such corroboration
1849: exists, for
1850: now,
1851: for its spatial version \cite{bar1} and less for the gravitational
1852: application
1853: of it that we use here. This is because the GF (GW) itself were
1854: not experimentally, up to now, detected.
1855: One hope that
1856: some future technology will detect not only GF (GW) but also a possible Zeno
1857: effect for them. That is, one may hope that as this effect proves itself so
1858: efficiently in the quantum regime it may, likewise, also be efficient in
1859: fixing and classicalizing GF (GW) and by that fixing
1860: its imposed geometry upon the surrounding spacetime.
1861:
1862: \markright{APPENDIX A}
1863:
1864: \appendix
1865:
1866: \appendix
1867:
1868: \section{Appendix A: \\ Calculation of the expressions $(C_1C_4+C_2C_3)$,
1869: $(C_1C_2-C_4C_3)$, $(C_1C_1+C_3C_3)$ from Eq (\ref{e44})}
1870:
1871: We, now, calculate and simplify the expressions $(C_1C_4+C_2C_3)$,
1872: $(C_1C_2-C_4C_3)$, $(C_1C_1+C_3C_3)$. We begin with $(C_1C_4+C_2C_3)$ and
1873: use the commutation relations (\ref{e18}) for $A(k)$, the trigonometric
1874: identities: $\sin(a)\sin(b)=\frac{1}{2}\bigl(\cos(a-b)-\cos(a+b)\bigr)$,
1875: $\cos(a)\cos(b)=\frac{1}{2}\bigl(\cos(a-b)+\cos(a+b)\bigr)$ and the
1876: expression (see integral 11.4.42 in P. 487 in \cite{abramowitz})
1877: \begin{equation} \int_0^{\infty}J_{\mu}(ar)J_{\mu-1}(br)dr= \tag{$A_1$}
1878: \label{$A_1$}
1879: \left\{ \begin{array}{ll} \frac{b^{(\mu-1)}}{a^{\mu}} & {\rm for (0 < b < a) \
1880: and \ \Re(\mu) > 0}
1881: \\ \frac{1}{2b} &
1882: {\rm for (0 < b = a) \ and \ \Re(\mu) > 0 } \\ 0 &
1883: {\rm for (b > a > 0 \ and \ \Re(\mu) > 0} \end{array} \right.
1884: \end{equation}
1885: Thus, the expression $(C_1C_4+C_2C_3)$ is
1886: \begin{align} &
1887: C_1C_4+C_2C_3=\int_0^{\infty}dr\int_0^{\infty}dk\int_0^{\infty}dk'
1888: kk'J_0(kr)J_1(k'r)\biggl\{\sin(kT)\sin(k'T) \cdot \nonumber \\ &
1889: \cdot \biggl(A(k)A(k')-A(k)A^+(k')+A^+(k)A(k')-A^+(k)A^+(k')\biggr)+
1890: \cos(kT)\cos(k'T) \cdot \nonumber \\ & \cdot
1891: \biggl(A(k')A(k)-A(k')A^+(k)+A^+(k')A(k)-A^+(k')A^+(k)\biggr)\biggr\}= \nonumber
1892: \\ & = \tag{$A_2$} \label{$A_2$}
1893: \int_0^{\infty}dr\int_0^{\infty}dk\int_0^{\infty}dk'
1894: kk'J_0(kr)J_1(k'r)\biggl\{\frac{\cos(T(k-k'))}{2}
1895: \biggl(2A(k)A(k')- \nonumber \\ & - 2A^+(k)A^+(k')
1896: -\frac{\delta(k-k')}{2}-\frac{\delta(k'-k)}{2}\biggr)
1897: +\frac{1}{2}\cos(T(k+k'))
1898: \biggl(A^+(k')A(k)+ \nonumber \\ & + A(k)A^+(k')-A^+(k)A(k')-
1899: A(k')A^+(k)\biggr)\biggr\}=\int_0^{\infty}dr\int_0^{\infty}dk\int_0^{\infty}dk'
1900: kk' \nonumber \\ & \cdot J_0(kr)J_1(k'r)
1901: \biggl\{\frac{\cos(T(k-k'))}{2}
1902: \biggl(2A(k)A(k')-
1903: 2A^+(k)A^+(k') -1 \biggr) + \nonumber \\ & +
1904: \frac{\cos(T(k+k'))}{2}\biggl(2A(k)A^+(k')-2A(k')A^+(k)-
1905: \frac{\delta(k-k')}{2}+
1906: \frac{\delta(k'-k)}{2} \biggr\}= \nonumber \\ & =
1907: \frac{1}{2}\int_0^{\infty}dkk\biggl(A(k)A(k)-A^+(k)A^+(k)-\frac{1}{2}\biggr)
1908: \nonumber \end{align}
1909: Note that in the last result we have equated $k$ to $k'$ and use the middle
1910: relation from Eqs (\ref{$A_1$}) otherwise if we assume $k \neq k'$ we would get
1911: either an imaginary result for
1912: $(C_1C_4+C_2C_3)$ if we use the first relation of (\ref{$A_1$}) or
1913: $(C_1C_4+C_2C_3)=0$ if we use the third relation of it. These outcomes
1914: would make $N^0$ and $N^1$ from Eqs (\ref{e44}) either imaginary because of
1915: the first of (\ref{$A_1$}) or undefined because of the third of it.
1916: . \par
1917: In a similar manner, using
1918: the commutation relations (\ref{e18}) for $A(k)$, the trigonometric
1919: identities $\sin(a)\cos(b)=\frac{1}{2}\bigl(\sin(a-b)+\sin(a+b)\bigr)$,
1920: $\sin(a-b)=-\sin(b-a)$
1921: and the integral (\ref{$A_1$}), the expression $C_1C_2-C_4C_3$ may be
1922: calculated as \begin{align} & C_1C_2-C_4C_3=\int_0^{\infty}dr\int_0^{\infty}dk\int_0^{\infty}dk'
1923: kk'J_0(kr)J_1(k'r)\biggl\{\sin(kT)\cos(k'T) \cdot \nonumber \\ &
1924: \cdot \biggl(A(k)A(k')+A(k)A^+(k')+A^+(k)A(k')+A^+(k)A^+(k')\biggr)-
1925: \sin(k'T)\cos(kT) \cdot \nonumber \\ & \cdot
1926: \biggl(A(k')A(k)-A(k')A^+(k)-A^+(k')A(k)+A^+(k')A^+(k)\biggr)\biggr\}=
1927: \tag{$A_3$} \label{$A_3$}
1928: \\ & = \int_0^{\infty}dr\int_0^{\infty}dk\int_0^{\infty}dk'
1929: kk'J_0(kr)J_1(k'r)\biggl\{\frac{\sin(T(k+k'))}{2}\biggl(A(k)A^+(k')+ \nonumber
1930: \\ & +
1931: A^+(k)A(k')+A(k')A^+(k)+A^+(k')A(k)\biggr)
1932: +\frac{\sin(T(k-k'))}{2}\biggl(2A(k)A(k')+ \nonumber \\ & +2A^+(k)A^+(k')
1933: +A(k)A^+(k')+A^+(k)A(k')-A(k')A^+(k)-A^+(k')A(k) \biggr)\biggr\}= \nonumber \\
1934: & =
1935: \int_0^{\infty}dr\int_0^{\infty}dk\int_0^{\infty}dk'
1936: kk'J_0(kr)J_1(k'r)\biggl\{\frac{\sin(T(k+k'))}{2}
1937: \biggl(2A(k)A^+(k')+ \nonumber \\ & + 2A(k')A^+(k)
1938: -\frac{\delta(k-k')}{2}-\frac{\delta(k'-k)}{2}\biggr)+\frac{\sin(T(k-k'))}{2}
1939: \biggl(2A(k)A(k')+ \nonumber \\ & + 2A^+(k)A^+(k')
1940: +\frac{\delta(k-k')}{2}-\frac{\delta(k'-k)}{2}\biggr)\biggr\}=
1941: \frac{1}{2}\int_0^{\infty}dkk\sin(2Tk)\biggl(2A(k)A^+(k')-\frac{1}{2}\biggr)
1942: \nonumber
1943: \end{align}
1944: As realized from the last result we have assumed $k=k'$ otherwise, as noted
1945: after Eq (\ref{$A_2$}), we would obtain either an imaginary or zero value for
1946: $(C_1C_4+C_2C_3)$.
1947: These would make $N^0$ and $N^1$, as noted
1948: after Eq (\ref{$A_2$}), either imaginary or undefined.
1949: \par
1950: The remaining expression $C_1C_1+C_3C_3$ is calculated by using the former
1951: product trigonometric identities and the
1952: orthogonality relation (see the unnumbered expression after Eq (\ref{e19}))
1953: $\int_0^{\infty}dkkJ_n(kr)J_n(kr')=\frac{\delta(r-r')}{r'}$
1954: \begin{align} & C_1C_1+C_3C_3=\int_0^{\infty}dr\int_0^{\infty}dk\int_0^{\infty}dk'
1955: kk'J_0(kr)J_0(k'r)\biggl\{\sin(kT)\sin(k'T) \cdot \nonumber \\ &
1956: \cdot \biggl(A(k)A(k')+A(k)A^+(k')+A^+(k)A(k')+A^+(k)A^+(k')\biggr)+
1957: \cos(kT)\cos(k'T) \cdot \nonumber \\ & \cdot
1958: \biggl(A(k')A(k)-A(k')A^+(k)-A^+(k')A(k)+A^+(k')A^+(k)\biggr)\biggr\}=
1959: \tag{$A_4$} \label{$A_4$}
1960: \\ & =
1961: \int_0^{\infty}dr\int_0^{\infty}dk\int_0^{\infty}dk'
1962: kk'J_0(kr)J_0(k'r)\biggl\{\frac{\cos(T(k-k'))}{2}
1963: \biggl(2A(k)A^+(k')- \nonumber \\ & + 2A(k')A^+(k)
1964: -\frac{\delta(k-k')}{2}-\frac{\delta(k'-k)}{2}\biggr)
1965: -\frac{1}{2}\cos(T(k+k'))
1966: \biggl(2A(k)A(k')+ \nonumber \\ & + 2A^+(k)A^+(k')
1967: +\frac{\delta(k-k')}{2}-\frac{\delta(k'-k)}{2}\biggr)
1968: \biggr)\biggr\}=\nonumber \\ & = \int_0^{\infty}dr\int_0^{\infty}dk\frac{\delta(r-r)}{r}
1969: kk \biggl\{\frac{1}{2}
1970: \bigl(4A(k)A(k) -1 \bigr) -
1971: \cos(2Tk)\biggl(A(k)A(k)+ \nonumber \\ & +A^+(k)A^+(k)
1972: \biggr\}=
1973: \int_0^{\infty}dk\frac{k^2}{r}\biggl\{\biggl(2A(k)A^+(k)-\frac{1}{2}\biggr)
1974: -\cos(2Tk)\biggl(A(k)A(k)+A^+(k)A^+(k)\biggr)\biggr\}
1975: \nonumber \end{align}
1976:
1977: \markright{APPENDIX B}
1978:
1979:
1980: \appendix
1981:
1982: \protect\section{Appendix B: \\ Derivation of the probability
1983: $Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)$ from Eq (\ref{e51})}
1984: We use
1985: the shift operator \cite{schiff,merzbacher} $ e^{\frac{i\rho P}{\hbar}}$
1986: where $P$ denote the momentum
1987: and $\rho$ is, as mentioned, a very small amount by which the state
1988: functional shifts
1989: \cite{schiff,merzbacher}. Note, as mentioned, that the extrinsic time variable
1990: related to the cylindrical GF (GW) is, like any spatial variable, canonically
1991: conjugate \cite{kuchar1} to momentum. Thus,
1992: one may write for this
1993: probability $Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)$
1994:
1995: \begin{align} & Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)=
1996: \biggl|<\!\Psi(T(R),\psi(R))\biggl|e^{\frac{i\rho
1997: P}{\hbar}}\biggr|\Psi(T(R),\psi(R))\!>\biggr|^2 =\biggl| <\!\Psi(0,\psi(R))|
1998: \cdot \nonumber \\ & \cdot
1999: \exp\biggl\{i\biggl[\frac{T(R)}{2(1-T^2_{,R}(R))} \biggl(R^{-1}\pi^2_{\psi}(R)
2000: -2T_{,R}(R)\pi_{\psi}(R)\psi_{,R}(R) +
2001: \frac{1}{2}R\psi^2_{,R}(R)\biggr) \biggr] \biggr\} \cdot \nonumber \\ & \cdot
2002: \biggl|e^{\frac{i\rho
2003: P}{\hbar}}\biggr|
2004: \exp\biggl\{-i\biggr[\frac{T(R)}{2(1-T^2_{,R}(R))}\biggl(R^{-1}\pi^2_{\psi}(R)
2005: -2T_{,R}(R)\pi_{\psi}(R)\psi_{,R}(R) + \nonumber \\ & + \frac{1}{2}R\psi^2_{,R}(R)
2006: \biggr)\biggr]\biggr\} |\Psi(0,\psi(R))\!>\biggr|^2
2007: =\biggl| <\!\Psi(0,\psi(R))|
2008: \exp\biggl\{i\biggl[\frac{T(R)}{2R(1-T^2_{,R}(R))}
2009: \tag{$B_1$} \label{$B_1$} \\ & \cdot \biggl(\pi^2_{\psi}(R)
2010: -2RT_{,R}(R)\pi_{\psi}(R)\psi_{,R}(R) +
2011: \frac{1}{2}R^2\psi^2_{,R}(R)\biggr) \biggr] \biggr\}
2012: \exp\biggl\{-i \nonumber \\ & \cdot
2013: \biggr[\frac{T(R+\rho)}{2(R+\rho)\biggl(1-T^2_{,R}(R+\rho)\biggr)}
2014: \biggl(
2015: \pi^2_{\psi}(R+\rho)
2016: -2(R+\rho)T_{,R}(R+\rho) \nonumber \\ & \cdot \pi_{\psi}(R+\rho)
2017: \psi_{,R}(R+\rho) +
2018: \frac{1}{2}(R+\rho)^2\psi^2_{,R}(R+\rho)
2019: \biggr)\biggr]\biggr\}|\Psi(0,\psi(R+ \rho))\!>\biggr|^2 \nonumber
2020: \end{align}
2021: Taking common denominator for the exponential expressions one obtains from the
2022: last result
2023: \begin{align} & Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)=
2024: \biggl| <\!\Psi(0,\psi(R))|\exp\biggl\{i\biggl[\frac{1}{2R(R+\rho)
2025: (1-T^2_{,R}(R))\biggl(1-T^2_{,R}(R+\rho)\biggr)} \nonumber \\ & \cdot
2026: \biggl\{T(R)\biggl[(R+\rho)\biggl(1-T^2_{,R}(R+\rho)\biggr)
2027: \pi^2_{\psi}(R)
2028: -2R(R+\rho)\biggl(1-T^2_{,R}(R+\rho)\biggr)\cdot \nonumber \\ & \cdot
2029: T_{,R}(R)\pi_{\psi}(R)\psi_{,R}(R)
2030: +\frac{1}{2}R^2(R+\rho)\biggl(1-T^2_{,R}(R+\rho)\biggr) \psi^2_{,R}(R)\biggr]-
2031: \tag{$B_2$} \label{$B_2$} \\ &
2032: - T(R+\rho)\biggl[R\biggl(1-T^2_{,R}(R)\biggr)\pi^2_{\psi}(R+\rho)
2033: -2(R+\rho)R\biggl(1-T^2_{,R}(R)\biggr) \cdot \nonumber \\ & \cdot
2034: T_{,R}(R+\rho)\pi_{\psi}(R+\rho)
2035: \psi_{,R}(R+\rho) +\frac{1}{2}(R+\rho)^2R
2036: \biggl(1-T^2_{,R}(R)\biggr)\cdot \nonumber \\ & \cdot
2037: \psi^2_{,R}(R+\rho)\biggr]\biggr\}\biggr]
2038: \biggr\} |\Psi(0,\psi(R+\rho))\!>\biggr|^2
2039: \nonumber
2040: \end{align}
2041: In order to be able to calculate the last expression we exploit the fact that
2042: the shift $\rho$ is very small so one may expand $\psi(R+\rho)$,
2043: $T(R+\rho)$, $\psi^2_{,R}(R+\rho)$, $T^2_{,R}(R+\rho)$ in a Taylor series
2044: and keeping the first two terms as follows
2045:
2046: \begin{align} & \psi(R+\rho)=
2047: \psi(R)+\rho\frac{d\psi(R)}{dR} \nonumber \\ &
2048: T(R+\rho)=T(R)+\rho\frac{dT(R)}{dR} \tag{$B_3$} \label{$B_3$} \\ &
2049: \psi^2_{,R}(R+\rho)=\bigl(\psi_{,R}(R)+\rho(\frac{d\psi(R)}{dR})_{,R}\bigr)^2
2050: =(\psi_{,R}(R))^2+ \nonumber \\ & + \rho^2(\frac{d^2\psi(R)}{d^2R})^2+
2051: 2
2052: \rho\psi(R)_{,R}\frac{d^2\psi(R)}{dR^2}
2053: \nonumber \\ &
2054: T^2_{,R}(R+\rho)=\bigl(T_{,R}(R)+\rho(\frac{dT(R)}{dR})_{,R}\bigr)^2
2055: =(T_{,R}(R))^2+\nonumber \\ & + \rho^2(\frac{d^2T(R)}{dR^2})^2+ 2
2056: \rho T(R)_{,R}\frac{d^2T(R)}{dR^2}
2057: \nonumber \end{align}
2058:
2059: Note that $\pi_{\psi}(R+\rho)$ and its square $\pi^2_{\psi}(R+\rho)$,
2060: given by the second of Eqs (\ref{e47}), are
2061: variational derivatives operators
2062: that operate upon an arbitrary function
2063: of the shifted state
2064: $\psi(R+\rho)$, i.e., $f(\psi(R+\rho))$ so it is obvious
2065: that operating with either
2066: $\pi_{\psi}(R+\rho)$ or $\pi^2_{\psi}(R+\rho)$ upon
2067: $f(\psi(R+\rho))$ is
2068: identical with respectively operating with either $\pi_{\psi}(R)$ or
2069: $\pi^2_{\psi}(R)$ upon it. That is, using the second of Eq (\ref{e47}),
2070: one have
2071: \begin{align} & \pi_{\psi}(R+\rho)f(\psi(R+\rho))
2072: =-i\frac{\delta (f(\psi(R+\rho)))}{\delta (\psi(R+\rho))}= \nonumber \\ & =
2073: -i\frac{\delta (f(\psi(R+\rho)))}{\delta (\psi(R))}
2074: =\pi_{\psi}(R)f(\psi(R+\rho)) \tag{$B_4$} \label{$B_4$} \\ &
2075: \pi^2_{\psi}(R+\rho)f(\psi(R+\rho))
2076: =-\frac{\delta^2 (f(\psi(R+\rho)))}{\delta^2 (\psi(R+\rho))}= \nonumber \\ & =
2077: -\frac{\delta^2 (f(\psi(R+\rho)))}{\delta^2 (\psi(R))} =
2078: \pi^2_{\psi}(R)f(\psi(R+\rho)) \nonumber
2079: \end{align}
2080:
2081: Using Eqs (\ref{$B_3$})-(\ref{$B_4$}) one may write the probability from Eq
2082: (\ref{$B_2$}) as
2083: \begin{align} & Pr^{(1)}(|\Psi(0,\psi(R)|\!>,\rho)= \biggl|
2084: <\!\Psi(0,\psi(R))|
2085: \exp\biggl\{\rho\biggl[
2086: \frac{i\biggl(A\pi^2_{\psi}(R)+B\pi_{\psi}(R)+C\biggr)}{D}\biggr]\biggr\}
2087: \nonumber \\ &
2088: |\Psi(0,\psi(R+\rho)|\!>\biggr|^2, \tag{$B_5$} \label{$B_5$}
2089: \end{align}
2090: where $A$, $B$, $C$ and $D$ are given by
2091:
2092: \begin{align} &
2093: A=\bigl(1-T^2_{,R}(R)\bigr)\bigl(T(R)-\frac{dT(R)}{dR}\bigr)-
2094: T(R)(R+\rho)\biggl(\rho(\frac{d^2T(R)}{dR^2})^2+ \nonumber \\ & + 2
2095: T_{,R}(R)\frac{d^2T(R)}{dR^2}\biggr)
2096: \nonumber \\ &
2097: B=2R(R+\rho)\biggl\{T_{,R}(R)\psi_{,R}(R)T(R)
2098: \biggl(\rho(\frac{d^2T(R)}{dR^2})^2+2
2099: T_{,R}(R)\frac{d^2T(R)}{dR^2}\biggr)
2100: + \nonumber \\ & +
2101: \biggl(1-T^2_{,R}(R)\biggr)\biggl\{\biggl(T(R)+\rho\frac{dT(R)}{dR}\biggr)
2102: \biggl[\frac{d^2T(R)}{dR^2}
2103: \biggl(\psi_{,R}(R)+\rho\frac{d^2\psi(R)}{dR^2}\biggr)+ \nonumber \\ &
2104: +T_{,R}(R)\frac{d^2\psi(R)}{dR^2}\biggr]+
2105: \rho T_{,R}(R)\frac{dT(R)}{dR}\frac{d^2\psi(R)}{dR^2}\biggr\}\biggr\}
2106: \tag{$B_6$}
2107: \label{$B_6$} \\
2108: &
2109: C=-\frac{R^2}{2}(R+\rho)\psi^2_{,R}(R)T(R)
2110: \biggl(\rho(\frac{d^2T(R)}{dR^2})^2+2
2111: T_{,R}(R)\frac{d^2T(R)}{dR^2}\biggr) - \nonumber \\ &
2112: -\frac{R}{2}(R+\rho)^2\biggl(1-T^2_{,R}(R)\biggr)
2113: \biggl(T(R)+\rho\frac{dT(R)}{dR}\biggr)
2114: \biggl(\rho(\frac{d^2\psi(R)}{dR^2})^2 +\nonumber \\ &
2115: +2\psi_{,R}(R)\frac{d^2\psi(R)}{dR^2}\biggr)
2116: -
2117: \frac{R}{2}(R+\rho)\biggl(1-T^2_{,R}(R)\biggr)
2118: \psi^2_{,R}(R)\biggl(T(R)+ \nonumber \\ & + (R+\rho)\frac{dT(R)}{dR}\biggr)
2119: \nonumber \\ &
2120: D=2R(R+\rho)
2121: \biggl(1-T^2_{,R}(R)\biggr)\biggl(1-T^2_{,R}(R+\rho)\biggr) \nonumber
2122: \end{align}
2123:
2124: In order to continue we must overcome the commutation problem resulting from the
2125: presence of $\pi_{\psi}(R)$, $\pi^2_{\psi}(R)$, $<\!\Psi(0,\psi(R))|$ and
2126: $|\Psi(0,\psi(R+\rho))\!>$ in Eq (\ref{$B_5$}) (see the second of
2127: Eqs (\ref{e47})). For this purpose one may begin from expanding the exponential
2128: functions of the probability expression Eq (\ref{$B_5$}) in Taylor series and
2129: then
2130: use the commutation relations between the resulting
2131: integral powers of $\pi_{\psi}$ and $|\Psi(0,\psi(R))\!>$ which may be derived
2132: by using the second of Eqs (\ref{e47}). Thus, one may, for example, see that the following
2133: respective
2134: commutation relations between $|\Psi(0,\psi(R))\!>$ and $\pi_{\psi}(R)$,
2135: $\pi^2_{\psi}(R)$,
2136: $\pi^3_{\psi}(R)$
2137: hold
2138:
2139: \begin{align} & [|\Psi(0,\psi(R))\!>,\pi_{\psi}(R)]=
2140: i\frac{d(|\Psi(0,\psi(R))\!>)}{d(\psi(R))} \nonumber \\ &
2141: [|\Psi(0,\psi(R))\!>,\pi^2_{\psi}(R)]=
2142: 2i\frac{d(|\Psi(0,\psi(R))\!>)}{d(\psi(R))}\pi_{\psi}+
2143: \frac{d^2(|\Psi(0,\psi(R))\!>)}{d^2(\psi(R))} \tag{$B_7$} \label{$B_7$} \\ &
2144: [|\Psi(0,\psi(R))\!>,\pi^3_{\psi}(R)]=
2145: 3i\frac{d(|\Psi(0,\psi(R))\!>)}{d(\psi(R))}\pi^2_{\psi}+
2146: \frac{d^2(|\Psi(0,\psi(R))\!>)}{d^2(\psi(R))}\pi_{\psi}(R) \nonumber
2147: \end{align}
2148: Also, it may easily be seen using mathematical induction and the last relations
2149: that for any integral value $n$ one may obtain the following
2150: commutation relation
2151: \begin{align} & [|\Psi(0,\psi(R))\!>,\pi^n_{\psi}(R)]=
2152: ni\frac{d(|\Psi(0,\psi(R))\!>)}{d(\psi(R))}\pi^{(n-1)}_{\psi}(R)+
2153: \tag{$B_8$} \label{$B_8$} \\ & +
2154: \frac{d^2(|\Psi(0,\psi(R))\!>)}{d^2(\psi(R))}\pi^{(n-2)}_{\psi}(R) \nonumber
2155: \end{align}
2156: Note that the commutation relations in Eqs (\ref{$B_7$})-(\ref{$B_8$}) hold for
2157: any general function of $\psi(R)$ and not only for $|\Psi(0,\psi(R))\!>$.
2158: Using the last equations one may find the appropriate expressions for
2159: operating with the operators
2160: $\exp(i\rho\frac{A\pi^2_{\psi}(R)}{E})$ and
2161: $\exp(i\rho\frac{B\pi_{\psi}(R)}{E})$ upon $|\Psi(0,\psi(R))\!>$
2162: as
2163: \begin{align} &
2164: \exp(i\rho\frac{A}{E}\pi^2_{\psi}(R))|\Psi(0,\psi(R))\!>=
2165: \biggl(1+i\rho\frac{A}{E}\pi^2_{\psi}(R)-\rho^2\frac{A^2}{2!E^2}\pi^4_{\psi}(R)
2166: - \nonumber \\ & - i\rho^3\frac{A^3}{3!E^3}\pi^6_{\psi}(R)+\ldots\biggr)
2167: |\Psi(0,\psi(R))\!>=
2168: |\Psi(0,\psi(R)\!>+i\rho\frac{A}{E}
2169: \biggl(|\Psi(0,\psi(R)|\!>\pi^2_{\psi}- \nonumber \\ & -
2170: 2i\frac{d(|\Psi(0,\psi(R)|\!>)}{d(\psi(R))}\pi_{\psi}(R)-
2171: \frac{d^2(|\Psi(0,\psi(R)|\!>)}{d^2(\psi(R))}\biggr) -
2172: \rho^2\frac{A^2}{2!E^2}\biggl(|\Psi(0,\psi(R))|\!> \nonumber \\ & \cdot
2173: \pi^4_{\psi}(R) -
2174: 4i\frac{d(|\Psi(0,\psi(R)|\!>)}{d(\psi(R))}\pi^3_{\psi}(R)-
2175: \frac{d^2(|\Psi(0,\psi(R)|\!>)}{d^2(\psi(R))}\pi^2_{\psi}\biggr)+
2176: \ldots = \tag{$B_9$} \label{$B_9$} \\ & =
2177: |\Psi(0,\psi(R)|\!>\exp(i\rho\frac{A}{E}\pi^2_{\psi}(R))-
2178: \frac{1}{\pi^2_{\psi}(R)}\frac{\delta^2(|\Psi(0,\psi(R)|\!>)}{\delta^2(\psi(R)}
2179: \exp(i\rho\frac{A}{E}\pi^2_{\psi}(R))+ \nonumber \\ & +
2180: \frac{1}{\pi^2_{\psi}(R)}\frac{\delta^2(|\Psi(0,\psi(R)|\!>)}{\delta^2(\psi(R)}+
2181: 2\rho\frac{A}{E}\pi_{\psi}(R)\frac{\delta(|\Psi(0,\psi(R))\!>)}{\delta(\psi(R))}
2182: \exp(i\rho\frac{A}{E}\pi^2_{\psi}(R))
2183: \nonumber \end{align}
2184:
2185: \begin{align} &
2186: \exp(i\rho\frac{B}{E}\pi_{\psi}(R))|\Psi(0,\psi(R))\!>=
2187: \biggl(1+i\rho\frac{B}{E}\pi_{\psi}(R)-\rho^2\frac{B^2}{2!E^2}\pi^2_{\psi}(R)
2188: - \nonumber \\ & -
2189: i\rho^3\frac{B^3}{3!E^3}\pi^3_{\psi}(R)+\ldots\biggr) |\Psi(0,\psi(R))\!>=
2190: |\Psi(0,\psi(R)\!>+i\rho\frac{B}{E}
2191: \biggl(|\Psi(0,\psi(R)\!>\pi_{\psi}- \nonumber \\ & -
2192: i\frac{d(|\Psi(0,\psi(R))\!>)}{d(\psi(R))}\biggr) -
2193: \rho^2\frac{B^2}{2!E^2}\biggl(|\Psi(0,\psi(R))\!>\pi^2_{\psi}(R)-
2194: 2i\frac{d(|\Psi(0,\psi(R))\!>)}{d(\psi(R))}\pi_{\psi}- \nonumber \\ & -
2195: \frac{d^2(|\Psi(0,\psi(R))\!>)}{d^2(\psi(R))}\biggr)+
2196: \ldots =
2197: |\Psi(0,\psi(R)\!>\exp\biggl(i\rho\frac{B}{E}\pi_{\psi}(R)\biggr)-
2198: \tag{$B_{10}$}
2199: \label{$B_{10}$} \\
2200: & -
2201: \frac{1}{\pi^2_{\psi}(R)}\frac{\delta^2(|\Psi(0,\psi(R))\!>)}{\delta^2(\psi(R)}
2202: \cdot \exp(i\rho\frac{B}{E}\pi_{\psi}(R))+
2203: \frac{1}{\pi^2_{\psi}(R)}\frac{\delta^2(|\Psi(0,\psi(R))\!>)}{\delta^2(\psi(R)}+
2204: \nonumber \\ & + i\rho\frac{B}{E\pi_{\psi}}\frac{\delta^2(|\Psi(0,\psi(R))\!>)}{\delta^2(\psi(R)}+ \rho\frac{B}{E}\frac{\delta(|\Psi(0,\psi(R))\!>)}{\delta(\psi(R))}
2205: \exp(i\rho\frac{B}{E}\pi_{\psi}(R))
2206: \nonumber \end{align}
2207:
2208: Using Eqs (\ref{$B_9$})-(\ref{$B_{10}$}) one may obtain for the
2209: combined operation \\
2210: $\exp\biggl(i\rho\frac{A}{E}\pi^2_{\psi}(R)\biggr)
2211: \exp\biggl(i\rho\frac{B}{E}\pi_{\psi}(R)\biggr)$ upon $|\Psi(0,\psi(R))\!>$
2212: \begin{align} & \exp\biggl(i\rho\frac{A}{E}\pi^2_{\psi}(R)\biggr)
2213: \exp\biggl(i\rho\frac{B}{E}\pi_{\psi}(R)\biggr)|\Psi(0,\psi(R)\!>=
2214: \exp\biggl(i\rho\frac{A\pi^2_{\psi}(R)}{E}\biggr)
2215: \biggl\{|\Psi(0,\psi(R)\!> \cdot \nonumber \\ & \cdot
2216: \exp\biggl(i\rho\frac{B}{E}\pi_{\psi}(R)\biggr)-
2217: \frac{1}{\pi^2_{\psi}(R)}\frac{\delta^2(|\Psi(0,\psi(R))\!>)}{\delta^2(\psi(R)}
2218: \cdot \exp\biggl(i\rho\frac{B}{E}\pi_{\psi}(R)\biggr)+ \nonumber \\ & +
2219: \frac{1}{\pi^2_{\psi}(R)}\frac{\delta^2(|\Psi(0,\psi(R))\!>)}
2220: {\delta^2(\psi(R)}+
2221: i\rho\frac{B}{E\pi_{\psi}}\frac{\delta^2(\Psi(0,\psi(R))|\!>)}{\delta^2(\psi(R))}+
2222: \rho\frac{B}{E}\frac{\delta(|\Psi(0,\psi(R))\!>)}{\delta(\psi(R))} \cdot
2223: \nonumber \\ & \cdot
2224: \exp(i\rho\frac{B}{E}\pi_{\psi}(R))\biggr\}=
2225: |\Psi(0,\psi(R))\!>\exp\biggl(i\rho\frac{A}{E}\pi^2_{\psi}(R)\biggr)
2226: \exp\biggl(i\rho\frac{B}{E}\pi_{\psi}(R)\biggr)+ \nonumber \\ & +
2227: \frac{1}{\pi^2_{\psi}(R)}\frac{\delta^2(\Psi(0,\psi(R))|\!>)}
2228: {\delta^2(\psi(R))}
2229: \biggl[\exp\biggl(i\rho
2230: \frac{B}{E}\pi_{\psi}(R)\biggr)
2231: +\exp\biggl(i\rho\frac{A}{E}\pi^2_{\psi}(R)\biggr)
2232: - \tag{$B_{11}$} \label{$B_{11}$} \\ & -
2233: 2\exp\biggl(i\rho\frac{A}{E}\pi^2_{\psi}(R)\biggr)
2234: \exp\biggl(i\rho\frac{B}{E}\pi_{\psi}(R)\biggr) \biggr]+
2235: \rho\frac{\biggl(2A\pi_{\psi}(R)+B\biggr)}{E}\frac{\delta(|\Psi(0,\psi(R))\!>)}
2236: {\delta(\psi(R))} \cdot \nonumber \\ & \cdot
2237: \exp\biggl(i\rho\frac{A}{E}\pi^2_{\psi}(R)\biggr)
2238: \exp\biggl(i\rho\frac{B}{E}\pi_{\psi}(R)\biggr)+
2239: i\rho\frac{B}{E\pi_{\psi}}\frac{\delta^2(|\Psi(0,\psi(R))\!>)}
2240: {\delta^2(\psi(R)}\exp\biggl(i\rho\frac{A}{E}\pi^2_{\psi}(R)\biggr)
2241: \nonumber \end{align}
2242:
2243: Substituting from the last equations (\ref{$B_9$})-(\ref{$B_{11}$}) into
2244: Eq (\ref{$B_5$}) for
2245: the probability one obtains
2246:
2247: \begin{align} & Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)=\biggl| <\!\Psi(0,\psi(R)|)
2248: \exp\biggl\{\rho\biggl[
2249: \frac{i\biggl(A\pi^2_{\psi}(R)+B\pi_{\psi}(R)+C\biggr)}{D}\biggr]\biggr\}
2250: \cdot \nonumber \\ & \cdot |\Psi(0,\psi(R+\rho)\!>\biggr|^2=
2251: \biggl|<\!\Psi(0,\psi(R)|)
2252: \exp\biggl(i\rho\frac{C}{D}\biggr) \cdot
2253: \exp\biggl(i\rho\frac{A}{D}\pi^2_{\psi}(R)\biggr)\cdot \nonumber \\ & \cdot
2254: \exp\biggl(i\rho\frac{B}{D}\pi_{\psi}(R)\biggr)
2255: |\Psi(0,\psi(R+\rho)\!>\biggr|^2
2256: =\biggl| <\!\Psi(0,\psi(R))\exp\biggl(i\rho\frac{C}{D}\biggr)\cdot
2257: \tag{$B_{12}$}
2258: \label{$B_{12}$} \\ & \cdot
2259: \biggl\{|\Psi(0,\psi(R+\rho))\!>
2260: \exp\biggl(i\rho\frac{A}{D}\pi^2_{\psi}(R)\biggr)
2261: \exp\biggl(i\rho\frac{B}{D}\pi_{\psi}(R)\biggr)+
2262: \frac{1}{\pi^2_{\psi}(R)} \nonumber \\ &
2263: \cdot \frac{\delta^2(|\Psi(0,\psi(R+\rho))\!>)}
2264: {\delta^2(\psi(R))}
2265: \biggl[\exp\biggl(i\rho
2266: \frac{B}{E}\pi_{\psi}(R)\biggr)
2267: +\exp\biggl(i\rho\frac{A}{D}\pi^2_{\psi}(R)\biggr) - \nonumber \\ &
2268: -2\exp\biggl(i\rho\frac{A}{D}\pi^2_{\psi}(R)\biggr)
2269: \exp\biggl(i\rho\frac{B}{D}\pi_{\psi}(R)\biggr) \biggr]+
2270: \rho\frac{\biggl(2A\pi_{\psi}(R)+B\biggr)}{D} \nonumber \\ & \cdot
2271: \frac{\delta(|\Psi(0,\psi(R+\rho))\!>)}
2272: {\delta(\psi(R))}
2273: \exp\biggl(i\rho\frac{A}{D}\pi^2_{\psi}(R)\biggr)
2274: \exp\biggl(i\rho\frac{B}{D}\pi_{\psi}(R)\biggr)+ \nonumber \\ & +
2275: i\rho\frac{B}{E\pi_{\psi}}\frac{\delta^2(|\Psi(0,\psi(R+\rho))\!>)}
2276: {\delta^2(\psi(R)}\exp\biggl(i\rho\frac{A}{D}\pi^2_{\psi}(R)\biggr)\biggr\}
2277: \biggr|^2
2278: \nonumber
2279: \end{align}
2280: In order to simplify the following calculation we
2281: denote the two complex
2282: factors in Eq (\ref{$B_{12}$}) which respectively multiply
2283: $\frac{\delta^2(\Psi(0,\psi(R+\rho))|\!>)}
2284: {\delta^2(\psi(R))}$ and $\frac{\delta(\Psi(0,\psi(R+\rho))|\!>)}
2285: {\delta(\psi(R))}$ by $F(\rho)$ and $G(\rho)$ and use the second of Eqs
2286: (\ref{e47})
2287: to write these variational
2288: derivatives as $\frac{\delta(|\Psi(0,\psi(R+\rho))\!>)}
2289: {\delta(\psi(R))}=i\pi_{\psi}(R)\Psi(0,\psi(R+\rho))\!>$ and
2290: $\frac{\delta^2(|\Psi(0,\psi(R+\rho))\!>)}
2291: {\delta^2(\psi(R))}=-\pi^2_{\psi}(R)\Psi(0,\psi(R+\rho))\!>$.
2292: Thus, one may write
2293: the two expression in Eq (\ref{$B_{12}$}) related to these variational derivatives as
2294: \begin{align} &
2295: \frac{1}{\pi^2_{\psi}(R)}\frac{\delta^2(|\Psi(0,\psi(R+\rho))\!>)}
2296: {\delta^2(\psi(R))}
2297: \biggl[\exp\biggl(i\rho\frac{B}{D}\pi_{\psi}(R)\biggr) +
2298: \exp\biggl(i\rho
2299: \frac{A}{D}\pi^2_{\psi}(R)\biggr)\biggl(1
2300: +i\rho\frac{B}{D}\pi_{\psi}(R)\biggr) - \nonumber \\ &
2301: - 2\exp\biggl(i\rho\frac{A}{D}\pi^2_{\psi}(R)\biggr)
2302: \exp\biggl(i\rho\frac{B}{D}\pi_{\psi}(R)\biggr)\biggr] =
2303: -\pi^2_{\psi}(R)|\Psi(0,\psi(R+\rho))\!>F(\rho)
2304: \tag{$B_{13}$} \label{$B_{13}$} \\ &
2305: \rho\frac{\biggl(2A\pi_{\psi}(R)+B\biggr)}{D}\frac{\delta(|\Psi(0,\psi(R+\rho))\!>)}
2306: {\delta(\psi(R))}
2307: \exp\biggl(i\rho\frac{A}{D}\pi^2_{\psi}(R)\biggr)
2308: \exp\biggl(i\rho\frac{B}{D}\pi_{\psi}(R)\biggr)= \nonumber \\ & =
2309: i\pi_{\psi}(R)|\Psi(0,\psi(R+\rho))\!>G(\rho)
2310: \nonumber \end{align}
2311: Note that we discuss here a half-parametrized formalism and
2312: a representation in which the canonical coordinates
2313: $T(R)$ and $\psi(R)$ are diagonal (see discussion after Eq (\ref{e47})) so the
2314: state functional depends only upon these two cordinates i.e.,
2315: $\Psi(T(R),\psi(R))$. This representation enables one to introduces the Dirac
2316: constraint as the Schroedinger-type form of Eq (\ref{e48}) and also to write the
2317: coresponding eigenvalue constraint $\pi_{\psi}(R)|\Psi(0,\psi(R+\rho))\!>=
2318: \eta|\Psi(0,\psi(R+\rho))\!> $ where $\eta$ is an eigenvalue related to the
2319: operator $\pi_{\psi}(R)$. Thus, using the last eigenvalue relation, the
2320: normalization \cite{kuchar1} of the state functionals $\Psi(T(R),\psi(R))$ and
2321: the complex character of the expressions $F(\rho)$ and $G(\rho)$ from Eq
2322: (\ref{$B_{13}$}) which enables one to represent them in terms of their real and
2323: imaginary parts
2324: one may write the former probability from Eq (\ref{$B_{12}$}) as
2325: \begin{align} & Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)=
2326: \biggl| \exp(i\rho\frac{C}{D})<\!\Psi(0,\psi(R))|
2327: \biggl\{|\Psi(0,\psi(R+\rho))\!> \cdot \nonumber \\ & \cdot
2328: \exp\biggl(i\frac{\rho}{D}
2329: \biggl(A\pi^2_{\psi}(R) + B\pi_{\psi}(R)\biggr)\biggr)+
2330: i
2331: \pi_{\psi}(R)|\Psi(0,\psi(R+\rho\!>G(\rho)- \tag{$B_{14}$}
2332: \label{$B_{14}$} \\ & - \pi^2_{\psi}(R)
2333: |\Psi(0,\psi(R+\rho))\!>F(\rho) \biggr\}\biggr|^2=
2334: \biggl|<\!\Psi(0,\psi(R))|\Psi(0,\psi(R+\rho))\!>
2335: \exp(i\rho\frac{C}{D})\biggr|^2 \cdot \nonumber \\ &
2336: \cdot \biggl|\biggr\{\exp\biggl[i\frac{\rho}{D}
2337: \biggl(A\pi^2_{\psi}(R)
2338: + B\pi_{\psi}(R)\biggr)\biggr]+
2339: i\eta \biggl(\Re G(\rho)+i\Im G(\rho)\biggr)-\eta^2\biggl( \Re F(\rho)+
2340: i\Im F(\rho)\biggr)\biggr\}\biggr|^2
2341: \nonumber
2342: \end{align}
2343: The real and imaginary parts of $G(\rho)$ and $F(\rho)$
2344: denoted, respectively, by $\Re G(\rho)$,
2345: $\Re F(\rho)$, $\Im G(\rho)$ and $\Im F(\rho)$, are given by Eq
2346: (\ref{$B_{13}$}). Thus, substituting from Eq (\ref{$B_{13}$}) into
2347: Eq (\ref{$B_{14}$}) and using the following product trigonometric identities;
2348: $\sin(x)\sin(y)=\frac{1}{2}\biggl(\cos(x-y)-\cos(x+y)\biggr)$,
2349: $\cos(x)\cos(y)=\frac{1}{2}\biggl(\cos(x-y)+\cos(x+y)\biggr)$,
2350: $\sin(x)\cos(y)=\frac{1}{2}\biggl(\sin(x-y)+\sin(x+y)\biggr)$
2351: and $\sin^2(x)+\cos^2(y)=1$ one obtains for
2352: the probability $Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)$
2353: \begin{align} &
2354: Pr^{(1)}(|\Psi(0,\psi(R))\!>,\rho)=1+4\eta^2+6\eta^4+
2355: \rho^2\eta^4(\frac{B\pi_{\psi}(R)}{D})^2+
2356: \eta^2\frac{\rho^2}{D^2}\biggl(2A\pi_{\psi}(R)+ \nonumber \\ & +
2357: B\biggr)^2+
2358: \sin(\frac{\rho}{D}B\pi_{\psi}(R))
2359: \biggl\{2\eta^3\frac{\rho}{D\pi^2_{\psi}(R)}\biggl(2A\pi_{\psi}(R)+B\biggr)
2360: -2\eta^2\frac{\rho B\pi_{\psi}(R)}{D}\bigl(1+ \nonumber \\ & +
2361: 2\eta^2\bigr)\biggr\}-\cos(\frac{\rho}{D}B\pi_{\psi}(R))
2362: \biggl\{2\eta^3\frac{\rho^2B}{D^2\pi_{\psi}(R)}\biggl(2A\pi_{\psi}(R)+B\biggr)
2363: +2\eta^2\bigl(1+2\eta^2\bigr)\biggr\}+ \tag{$B_{15}$} \label{$B_{15}$} \\ & +
2364: 2\eta^3\frac{\rho}{D\pi^2_{\psi}(R)}
2365: \biggl(2A\pi_{\psi}(R)+B\biggr) \sin(\frac{\rho}{D}A\pi^2_{\psi}(R))
2366: -2\eta^2\bigl(1+2\eta^2\bigr)\cos(\frac{\rho}{D}A\pi^2_{\psi}(R))- \nonumber \\
2367: & -
2368: 2\eta^4\frac{\rho B\pi_{\psi}(R)}{D}
2369: \sin\biggl(\frac{\rho}{D}\biggl(A\pi^2_{\psi}(R)-B\pi_{\psi}(R)\biggr)\biggr)
2370: +2\eta^4\cos\biggl(\frac{\rho}{D}\biggl(A\pi^2_{\psi}(R)-
2371: B\pi_{\psi}(R)\biggr)\biggr)
2372: \nonumber \end{align}
2373:
2374:
2375:
2376:
2377:
2378:
2379:
2380:
2381:
2382:
2383:
2384:
2385: \markright{REFERENCES}
2386:
2387: \bigskip \bibliographystyle{plain}
2388:
2389: \begin{thebibliography}{99}
2390:
2391: \bigskip \parindent 1 in
2392:
2393: \bibitem{thorne} K. S. Thorne, {\rm ``Multipole expansions of gravitational
2394: radiation''}, Rev. Mod. Phys {\bf 52}, 299 (1980); K. S. Thorne,
2395: {\rm ``Gravitational wave research: Current
2396: status and future prospect''}, Rev. Mod. Phys {\bf 52}, 285 (1980)
2397: \bibitem{rosenfeld} L. Rosenfeld, Ann. Phys, {\bf 5}, 113 (1930); Z. Phys, {\bf
2398: 65}, 589 (1930)
2399: \bibitem{bergmann} See a bibliography of the early works of Bergmann in P.
2400: Bergmann, Helv. Phys. Acta Suppl, {\bf 4}, 79 (1956); P. B. Bergmann, {\rm ``
2401: Non-linear field theories II: Canonical equations and quantization''}, Rev. Mod.
2402: Phys, {\bf 21} (1949)
2403: \bibitem{schwinger1} J. Schwinger, {\rm ``Quantized gravitational field''},
2404: Phys. Rev, {\bf 130}, 1253-1258 (1963)
2405: \bibitem{dewitt} B. S. DeWitt, {\rm ``Quantum theory of gravity I, The canonical
2406: theory''}, Phys. Rev, {\bf 160}, 1113 (1967); {\rm ``Quantum theory of gravity II,
2407: The manifestly covariant
2408: theory''}, Phys. Rev, {\bf 162}, 1195 (1967); {\rm ``Quantum theory of gravity III,
2409: Applications of the covariant
2410: theory''}, Phys. Rev, {\bf 162}, 1239 (1967)
2411: \bibitem{adm} R. Arnowitt, S. Desser and C. W. Misner, {\rm ``The dynamics of General
2412: Relativity''} In {\rm ``Gravitation: An Introduction to current research''}, ed.
2413: L. Witten, Wiley, New-York (1962)
2414: \bibitem{dirac} P. A. M. Dirac, Can. J. Math, {\bf 2}, 129 (1950); {\rm
2415: ``Generalized Hamoltonian dynamics''}, Pro. Roy.
2416: Soc (London), {\bf A246}, 326-332 (1958); {\rm ``The theory of gravitation in
2417: Hamiltonian form''}, Pro. Roy.
2418: Soc (London), {\bf A246}, 333-343 (1958); {\rm ``Fixation of coordinates in the
2419: Hamiltonian theory of gravitation''}, Phys. Rev, {\bf 114}, 924 (1959)
2420: \bibitem{schiff} L. I. Schiff, {\rm ``Quantum Mechanics''}, 3-rd Edition, McGraw-Hill
2421: (1968)
2422: \bibitem{merzbacher} E. Merzbacher, {\rm ``Quantum Mechanics"}, Second edition, by
2423: John Wiley, New York, 1961; Claude Cohen Tannoudji,
2424: Bernard Diu and Franck Laloe,
2425: {\rm ``Quantum Mechanics''}, John Wiley, (1977)
2426: \bibitem{kuchar1} K. Kuchar, {\rm ``Canonical quantization of cylindrical
2427: gravitational waves''}, Phys. Rev D , {\bf 4}, 955 (1971)
2428: \bibitem{kiefer} C. Kiefer, {\rm `` Quantum Gravity''}, Oxford: Clarendon Press
2429: (2003); C. Rovelli, {\rm `` Quantum Gravity''}, Cambridge: Cambridge University
2430: Press (2004)
2431: \bibitem{morris} M. S. Morris, K. S. Thorne and U. Yurtsever, {\rm
2432: ``Wormholes, time machines and the weak energy conditions''}, {\bf 61},
2433: 1445-1449 (1988); M. S. Morris and K. S. Thorne, {\rm ``Wormholes in spacetime
2434: and their use for interstellar travel: A tool for teaching general
2435: relativity''}, Am. J. Phys, {\bf 56}, 395-412 (1988)
2436: \bibitem{mtw} C. W. Misner, K. S. Thorne and J. A.
2437: Wheeler, {\rm "Gravitation"}, Freeman, San Francisco (1973)
2438: \bibitem{hartle} J. B. Hartle, {\rm ``Gravity: An introduction to Einstein's
2439: general relativity''}, Addison-Wesley, San Fracisco (2003)
2440: \bibitem{visser} M. Visser, {\rm ``Lorentzian wormholes-from Einstein to
2441: Hawking''}, AIP Press, New York (1995)
2442: \bibitem{misner} C. W. Misner, {\rm ``Mixmaster universe''}, Phys. Rev. Lett,
2443: {\bf 22}, 1071 (1969); {\rm `` Quantum cosmology I''}, Phys. Rev, {\bf 186},
2444: 1319-1327 (1969); {\rm `` Absolute zero of time''}, {\bf 186}, 1328-1333
2445: (1969)
2446:
2447: \bibitem{peres} A. Peres, {\rm ``Canonical quantization of gravitational
2448: field''}, Phys. Rev, {\bf 171}, 1335 (1968)
2449: \bibitem{kuchar2} K. Kuchar, {\rm ``Ground state functional of the linearized
2450: gravitational field''}, J. Math. Phys, {\bf 11}, 3322-3334 (1970)
2451: \bibitem{kuchar3} K. Kuchar, {\rm ``A bubble-time canonical formalism for
2452: geometrodynamics''}, J. Math. Phys, {\bf 13}, 768-781 (1972)
2453: \bibitem{tomonaga} S. Tomonaga, {\rm ``On a relativistically invariant
2454: formulation of the quantum theory of wave fields''}, Prog. Theor. Phys, {\bf 1},
2455: 27-42 (1946)
2456: \bibitem{schwinger2} J. Schwinger., ed, {\rm ``Selected papers on quantum
2457: electrodynamics''}, Dover, New-York (1958)
2458: \bibitem{zeno} C. B. Chiu, E. C. G. Sudarshan and B. Misra, {\rm ``Time
2459: evolution of unstable quantum states and a resolution of Zeno's paradox''},
2460: Phys. Rev D, {\bf 16},
2461: 520-529, (1977);
2462: B. Misra and E. C. Sudarshan, {\rm The Zeno's paradox in
2463: quantum theory''}, J. Math. Phys,{\bf 18}, 756-763,
2464: (1977);
2465: Saverio Pascazio and Mikio Namiki, {\rm ``Dynamical
2466: quantum Zeno effect''},
2467: Phys. Rev A
2468: {\bf 50}, 6, 4582, (1994);
2469: M. Bixon, {\rm ``Medium stabilization of localized
2470: Born-Oppenheimer states''}, Chem. Phys, {\bf 70}, 199-206,
2471: (1982),
2472: M. Simonius, {\rm ``Spontaneous symmetry breaking and
2473: blocking of metastable states''},
2474: Phys. Rev. Lett, {\bf 40}, 15, 980-983, (1978); R. J. Cook, {\rm ``What are quantum jumps ?''}, Physica
2475: Scripta, T21, 49-51 (1988)
2476: \bibitem{aharonov} Y. Aharonov and M. Vardi, {\rm `` Meaning of an individual
2477: Feynman path''}, Phys. Rev D, {\bf 21}, 2235,
2478: (1980);
2479: \bibitem{facchi} P. Facchi, A. G. Klein, S. Pascazio and L. Schulman,
2480: Phys. Lett A, {\rm ``Berry phase from a quantum Zeno effect''},
2481: {\bf 257}, 232-240, (1999).
2482: \bibitem{bar1} D. Bar and L. P. Horwitz, {\rm `` Space Zeno
2483: effect''}, Inter. J. Theor. Phys, {\bf 40}, 1697-1713 (2001)
2484:
2485: \bibitem{itano} W. M. Itano, D. J. Heinzen, J. J.
2486: Bollinger, and
2487: D. J. Wineland, {\rm `` Quantum Zeno effect''},
2488: Phys. Rev A, {\bf 41}, 2295-2300, (1990);
2489: \bibitem{kofman} A. G. Kofman and G.
2490: Kurizki. {\rm ``Quantum Zeno effect on atomic excitation in
2491: resonators''}, Phys. Rev A, {\bf 54}, 3750-3753 (1996); G.
2492: Kurizki, A. G. Kofman and V. Yudson, {\rm `` Resonant photon
2493: exchange by atom pairs in high-Q cavities''},
2494: Phys. Rev A, {\bf 53}, R35-R38
2495: (1995), S. R. Wilkinson, S. R. Bharucha, M. C. Fischer, K. W.
2496: Madison, P. R. Morrow, Q. Niu, B. Sundaram and M. G. Raizen, {\rm ``
2497: Experimental evidence for non-exponential decay in quantum
2498: tunnelling''}, Nature,
2499: {\bf 387}, 575-577 (1997)
2500: \bibitem{feynman} R. P. Feynman, {\rm ``Spacetime approach to non
2501: relativistic quantum mechanics''}, Rev. Mod. Phys,{\bf 20}, 2, 367 (1948);
2502: {\rm ``Quantum Mechanics and path integrals''}, Richard. P. Feynman and A. R.
2503: Hibbs, McGraw-Hill Book Company (1965).
2504: \bibitem{gert} G. Roepstorff,
2505: {\rm ``Path integral approach to quantum physics''}, Springer-Verlag, (1994); L. S. Schulman,
2506: {\rm Techniques and applications of path
2507: intergrations''}, Wiley,
2508: (1981).
2509: \bibitem{macrina} Andrea Macrina, {\rm ``Towards a gauge invariant scattering
2510: theory of cylindrical gravitational waves''}, Diploma thesis, (2002);
2511: C. Torre, {\rm }, Class. Quantum Grav, 8, 1895 (1991);
2512: \bibitem{mahan} G. Mahan, {\rm ``Many particle physics''}, 2{\it nd}, Plenum
2513: Press, New-York (1993)
2514: \bibitem{eppley} K. Eppley, {\rm ``Evolution of time-symmetric gravitational
2515: waves: Initial data and apparent horizons''}, Phys. Rev D, {\bf 16}, 1609-1614
2516: (1977)
2517: \bibitem{abrahams} A. M. Abrahams and C. R. Evans, {\rm ``Trapping a geon: Black
2518: hole formation by an imploding gravitational wave''}, Phys. Rev D, {\bf 46}, R4117-R4121
2519: (1992); D. R. Brill and R. W. Lindquist, {\rm `` Interaction energy in
2520: Geometrostatics''}, Phys. Rev, {\bf 131}, 471-476 (1963); R. Beig and N. O. Murchadha, {\rm
2521: ``Trapped surfaces due to concentration of gravitational radiation''}, Phys. Rev
2522: Lett, {\bf 66},
2523: 2421-2424 (1991); M. Alcubierre, G. Allen, B. Brugmann, G. Lanfermann, E.
2524: Seidel, W. Suen and M. Tobias, {\rm `` Gravitational collapse of gravitational
2525: waves in 3D numerical relativity''}, Phys. Rev D, {\bf 61}, 041501-041505 (2000)
2526: \bibitem{bar2} D. Bar, {``Gravitational holography and trapped surfaces''},
2527: to be published in IJTP
2528: \bibitem{bar3} D. Bar, {``Double-slit interference pattern from single slit
2529: screen and its gravitational analogues''}, to be published in IJTP
2530: \bibitem{einstein} A. Einstein and N. Rosen, {\rm ``On gravitational waves''},
2531: J. Franklin Inst, {\bf 223}, 43 (1937)
2532:
2533: \bibitem{bar4} D. Bar, {\rm ``Quantum field theory and dense measurement''},
2534: Inter. J. Theor. Phys, {\bf 42}, 443-463 (2003)
2535: \bibitem{mattuck} R. D. Mattuck, {\rm ``A guide to Feynman diagrams in the many body
2536: problem''}, 2{\it nd} edition, McGraw-hill, New-York (1976)
2537: \bibitem{camacho} A. Camacho, {\rm ``Quantum Zeno effect and the detection of
2538: gravitomagnetism''}, Int. J. Mod. Phys, {\bf D10}, 9-14 (2001)
2539: \bibitem{mashhoon} B. Mashhoon, F. Gronwald and H. I. M. Lichtenegger, {\rm
2540: ``Gravitomagnetism and the clock effect''}, Lect. Notes Phys, {\bf 562}, 83
2541: (2001); A. Tartaglia and M. L.Ruggiero, {\rm ``Gravitoelectromagnetism versus
2542: electromagnetism''}, Eur. J. Phys, {\bf 25}, 203-210 (2004)
2543: \bibitem{abramowitz} M. Abramowitz and I. A. Stegen, eds, {\rm ``Handbook of
2544: mathematical functions''}, Dover, New York (1972)
2545: \bibitem{spiegel1} M. R. Spiegel, {\rm ``Fourier analysis''}, Schaum's
2546: Outline
2547: Series, McGraw-hill, New-York (1974).
2548: \bibitem{spiegel2} M. R. Spiegel, {\rm ``Vector analysis''}, Schaum's Outline
2549: Series, McGraw-hill, New-York (1959).
2550: \bibitem{synge} J. L. Synge and A. Schild, {\rm "Tensor Calculus"}, Dover
2551: (1978)
2552:
2553:
2554:
2555:
2556:
2557: \end{thebibliography}
2558:
2559: \end{document}
2560: