1: \resetcounters
2:
3: \chapter[Derivation of the PS system from the EKG system]
4: {} \label{ap8}
5: \vspace{-0.45in}
6: {\bf {\huge
7: Weak Field Limit: Derivation of the Poisson-Schr\"{o}dinger system from
8: the Einstein-Klein-Gordon System
9: }}
10: \vspace{0.52in}
11:
12: \noi
13: In this appendix we will consider the weak field limit (Newtonian limit) of the
14: Einstein-Klein-Gordon (EKG) system---thereby deriving the Poisson-Schr\"{o}dinger (PS) system, which
15: represents {\em non-relativistic} Newtonian boson stars---with
16: all approximations explicitly stated. The main purpose of this derivation is to provide the
17: background for checking whether the stationary Newtonian solutions obtained by solving the
18: PS system provide good initial estimates for the algorithm used to determine
19: the stationary general relativistic solutions~(see Sec.~\ref{numstr}).
20: The assumptions made in deriving the Newtonian limit that need to be checked
21: on a solution-by-solution basis
22: will be summarized at the end of the appendix.
23:
24: Note that here we write the equations for the EKG system as:
25:
26: \beq \lab{eineq}
27: G_{\al \bt} = \ka T_{\al \bt} \,,\\
28: \eeq
29: \beq
30: \na^\al \na_\al \ph - m^2 \ph = 0 \,,
31: \eeq
32: \noi
33: where $\ka$ is a constant which is conventionally chosen to be $8 \pi$.
34:
35: \section{Poisson Equation}
36: The derivation of the Poisson equation for the Newtonian gravitational
37: potential from the Einstein field equation is quite standard \cite{schutz,wald},
38: although the right
39: hand side of the equation (matter coupling) is usually not worked out
40: in detail, and the order of truncation is often not clearly
41: stated.
42: We suppose that spacetime is nearly flat. The metric can then be written as
43:
44: \beq
45: g_{\al \bt} = \et_{\al \bt} + h_{\al \bt} \,,
46: \eeq
47:
48: \noi
49: where
50: \beq \lab{appr1}
51: |h_{\al \bt}| = O(\ep) \ll 1\,,
52: \eeq
53: \noi
54: and $\et_{\al \bt}$ is the flat metric in Cartesian coordinates $\et =
55: \mathrm{diag}\left(-1,1,1,1\right)$.~\footnote{
56: This simply means that $h$ is a small number when compared to $\et$. In the
57: context of numerical computation this has a well-defined meaning. Also note that
58: we restrict attention to Cartesian coordinates, since in other coordinate systems
59: the components, $g_{\al \bt}$, of the Minkowski metric can be arbitrarily small. For instance, in
60: spherical coordinates, $g_{\te \te} = r^2\to 0$ as $r\to 0$.}
61: There are two classes of coordinate transformations
62: which preserve the above form: the \emph{background Lorentz
63: transformations} and \emph{gauge transformations} \cite{schutz}.
64: Gauge transformations can be written in the form
65:
66: \beq
67: \label{gauge}
68: x^{\bal}=x^{\al} + \xi^{\al}(x^{\bt})\,,
69: \eeq
70: where
71: \beq \lab{appr2}
72: |\xi^\al\,_{,\bt}| = O(\ep)\,.
73: \eeq
74: \noi
75: The Jacobian matrix associated with~(\ref{gauge}) can be written as
76: \beq
77: \La^{\bal}\,_{\bt} = \de^{\al}\,_{\bt} + \xi^{\al}\,_{,\bt}\,,
78: \eeq
79: \noi
80: with an inverse given by
81: \beq
82: \La^{\al}\,_{\bbt} = \de^{\al}\,_{\bt} - \xi^{\al}\,_{,\bt} + O(\ep^2)\,,
83: \eeq
84: \noi
85: as is established by the following:
86: \bea \nn
87: \La^{\bal}\,_{\bt}\,\La^{\bt}\,_{\bga} &=& ( \de^{\al}\,_{\bt} + \xi^{\al}\,_{,\bt} )
88: ( \de^{\bt}\,_{\ga} - \xi^{\bt}\,_{,\ga}) \\ \nn
89: &=& \de^{\al}\,_{\ga} + \xi^\al\,_{,\ga}- \xi^\al\,_{,\ga} + \xi^{\al}\,_{,\bt}\,
90: \xi^{\bt}\,_{,\ga} \\
91: &=& \de^{\al}\,_{\ga} + O(\ep^2)\,.
92: \eea
93: \noi
94: Now
95: \bea
96: \nn
97: g_{\bal\bbt} &=& \La^{\mu}\,_{\bal} \La^{\nu}\,_{\bbt} \,g_{\mu \nu} \\ \nn
98: &=& \La^{\mu}\,_{\bal} \La^{\nu}\,_{\bbt}\, \et_{\mu \nu} + \La^{\mu}\,_{\bal}
99: \La^{\nu}\,_{\bbt} \,h_{\mu \nu} \\ \nn
100: &=& (\de^{\mu}\,_{\al} - \xi^{\mu}\,_{,\al})
101: (\de^{\nu}\,_{\bt} - \xi^{\nu}\,_{,\bt}) \,\et_{\mu \nu} +
102: (\de^{\mu}\,_{\al} - \xi^{\mu}\,_{,\al})
103: (\de^{\nu}\,_{\bt} - \xi^{\nu}\,_{,\bt}) \,h_{\mu \nu} +O(\ep^2)\\ \nn
104: &=& \et_{\al \bt} - \xi^{\mu}\,_{,\al}\,\et_{\mu \bt}
105: - \xi^{\nu}\,_{,\bt}\,\et_{\al \nu} + h_{\al \bt} + O(\ep^2) \\
106: &=& \et_{\al \bt} + h_{\al \bt} - \xi_{\al,\bt} - \xi_{\bt,\al} + O(\ep^2)\,,
107: \eea
108: \noi
109: or
110: \beq \lab{gauge_transf}
111: h_{\bal\bbt} = h_{\al \bt} - \xi_{\al,\bt} - \xi_{\bt,\al} + O(\ep^2)\,,
112: \eeq
113: \noi
114: where in the last step we have adopted the {\em notational convention} that we
115: lower and raise tensor indices using $\et_{\al \bt}$. That is, $h^{\al \bt}$ is,
116: {\em by definition}, $\et^{\al \mu} \et^{\bt \nu} h_{\mu \nu}$. (Note that using this
117: convention we also have $g^{\al \bt} = \et^{\al \bt} - h^{\al \bt} + O(\ep^2)$.
118: In other words, for all quantities of order $O(\ep)$, raising and lowering of indices
119: using $\et$ rather than $g$ will lead to deviations of order $O(\ep^2)$. )
120:
121:
122: \noi
123: By definition, we have
124:
125: \beq
126: -R^{\al}\,_{\bt \mu \nu} = \Ga^\al\,_{\bt \mu,\nu} -
127: \Ga^\al\,_{\bt \nu,\mu} +
128: \Ga^\al\,_{\si \nu}\,\Ga^{\si}\,_{\bt \mu}
129: -\Ga^\al\,_{\si \mu}\,\Ga^{\si}\,_{\bt \nu}\,,
130: \eeq
131:
132: \noi
133: where
134:
135: \beq
136: \Ga^{\la}\,_{\mu \nu} = \ha \et^{\la \rh}
137: \left( h_{\rh \nu,\mu} + h_{\mu \rh,\nu}- h_{\mu \nu,\rh}\right) + O(\ep^2)\,.
138: \eeq
139: Note that we have used the fact that we work in Cartesian coordinates
140: (and hence that the derivatives of $\et$ vanish), and that we assume that derivatives of
141: small numbers are also small
142: \beq \lab{appr3}
143: h_{\al \bt, \ga} = O(\ep)\,
144: \eeq
145: (so that we can drop terms such as $h^{\al \bt} h_{\bt
146: \ga, \de}$).
147:
148: \noi
149: Now we have
150: \beq
151: R^{\al}\,_{\bt \mu \nu} =
152: -\ha \et^{\al \rh} \left( h_{\rh\mu,\bt\nu}
153: + h_{\bt \rh, \mu \nu} - h_{\bt \mu, \rh \nu} \right)
154: -\left( \mu \leftrightarrow \nu \right)
155: +O(\ep^2)\,.
156: \eeq
157:
158: \noi
159: The second terms within parentheses in the above cancel, so that we have
160:
161: \beq
162: R_{\al \bt \mu \nu} = \ha \left(
163: h_{\al \nu, \bt \mu} - h_{\bt \nu,\al \mu}
164: -h_{\al \mu, \bt \nu} + h_{\bt \mu,\al \nu}
165: \right) + O(\ep^2)\,,
166: \eeq
167:
168: \noi
169: and
170:
171: \bea \nn
172: R_{\bt\nu} &=& \ha \left(
173: h^{\mu}\,_{\nu, \bt \mu} - h_{\bt \nu,\mu}\,^{\mu}
174: -h^{\mu}\,_{\mu, \bt \nu} + h_{\bt \mu,}\,^{\mu}\,_{\nu}
175: \right) + O(\ep^2)\\
176: &=& \ha \left(
177: h^{\mu}\,_{\nu, \bt \mu} - \Box h_{\bt \nu}
178: -h\,_{,\bt \nu} + h_{\bt \mu,}\,^{\mu}\,_{\nu}
179: \right)+ O(\ep^2)\,,
180: \eea
181: \noi
182: and
183: \beq
184: R = \left( h_{\mu \nu,}\,^{\mu \nu} - \Box h \right) + O(\ep^2)\,,
185: \eeq
186:
187: \noi
188: where we have defined $h \eq h^\mu\,_{\mu}$ and $\Box h \eq h_{,\mu}\,^{\mu}$.
189:
190: Constructing the Einstein tensor, we then have
191: \beq
192: R_{\bt \nu} - \ha \et_{\bt \nu} R =
193: \ha \left(
194: h^{\mu}\,_{\nu, \bt \mu} - \Box h_{\bt \nu}
195: -h\,_{,\bt \nu} + h_{\bt \mu,}\,^{\mu}\,_{\nu}
196: -\et_{\bt \nu} h_{\ga \de,}\,^{\ga \de} + \et_{\bt \nu}\Box h
197: \right) + O(\ep^2)\,.
198: \eeq
199:
200: \noi
201: If we define
202: \beq
203: \bar{h}^{\al \bt} \eq h^{\al \bt} - \ha \et^{\al \bt} h \,,
204: \eeq
205: \noi
206: then
207: \beq
208: \bar{h}= -h\,,
209: \eeq
210: \noi
211: and
212: \beq
213: h^{\al \bt} = \bar{h}^{\al \bt} - \ha \et^{\al \bt} \bar{h}\,.
214: \eeq
215: \noi
216: Now
217: \bea \nn
218: G_{\bt \nu} &=&
219: \ha \left(
220: \bh^{\mu}\,_{\nu,\bt \mu} - \ha \bh_{,\bt \nu}
221: -\Box \bh_{\bt \nu} + \ha \et_{\bt \nu} \Box \bh
222: + \bh_{,\bt \nu}
223: + \bh_{\bt \mu,}\,^{\mu}\,_{\nu} - \ha \bh_{,\bt \nu}
224: -\et_{\bt \nu} \bh_{\ga \de,}\,^{\ga \de}
225: \right.\\ \nn
226: && \left.
227: + \ha \et_{\bt \nu } \Box \bh
228: - \et_{\bt \nu}\Box \bh
229: \right) +O(\ep^2)\\
230: &=& \ha \left( - \Box \bh_{\bt \nu}
231: + \bh^{\mu}\,_{\nu,\bt \mu}
232: + \bh_{\bt \mu,}\,^{\mu}\,_{\nu}
233: -\et_{\bt \nu} \bh_{\ga \de,}\,^{\ga \de}
234: \right) + O(\ep^2)\,.
235: \eea
236:
237: \noi
238:
239: \noi
240: If we now impose the {\em Lorentz} (or harmonic) {\em gauge condition}
241: \beq
242: \bh^{\mu \nu}\,_{,\nu} = 0 \,,
243: \eeq
244: we have
245: \beq
246: G_{\al \bt} = -\ha \Box \bh_{\al \bt} + O(\ep^2)\,,
247: \eeq
248: \noi
249: and hence
250: \beq \lab{lineq}
251: \Box \bh_{\al \bt} = -2 \ka T_{\al \bt} +O(\ep^2)\,.
252: \eeq
253:
254: \noi
255: The existence of the Lorentz gauge can be shown as follows. From
256: (\ref{gauge_transf}) it follows that
257: \beq
258: h^{\bal}\,_{\bal} = h - 2\xi^{\al},_{\al}+O(\ep^2)\,.
259: \eeq
260: \noi
261: Also, we have
262: \bea \nn
263: \bh_{\bal \bbt} &=& h_{\bal\bbt} - \ha \et_{\bal\bbt} h^{\bga}\,_{\bga} \\
264: &=& h_{\al \bt} - \xi_{\al,\bt} - \xi_{\bt,\al} - \ha \et_{\al \bt} (h - 2
265: \xi^{\ga}\,_{,\ga}) +O(\ep^2) \\
266: &=& \bh_{\al \bt}- \xi_{\al,\bt} - \xi_{\bt,\al} + \et_{\al \bt}
267: \xi^{\ga}\,_{,\ga} + O(\ep^2)\,.
268: \eea
269: \noi
270: Hence
271: \beq
272: \bh^{\bal\bbt}\,_{,\bbt} = \bh^{\al \bt}\,_{,\bt} - \Box \xi^{\al} + O(\ep^2)\,,
273: \eeq
274: which leads to the inhomogeneous wave equation
275:
276: \beq \lab{iwe}
277: \Box \xi^{\al} = \bh^{\al \bt}\,_{,\bt}\,.
278: \eeq
279:
280: \noi
281: Thus the existence of solutions to (\ref{iwe}) implies the viability of the
282: Lorentz gauge condition for the ``barred" coordinate system, to order $O(\ep^2)$.
283: (Note that the solutions allow a homogeneous term. Hence the Lorentz gauge is in
284: fact a class of gauges. )
285:
286: Since we expect the Newtonian potential $V \sim h_{00}$,
287: \noi
288: we assume
289: \beq \lab{appr8}
290: |V| = O(\ep)\,.
291: \eeq
292: Dimensional analysis shows
293: $ v^2 \sim GM/r = V \Rightarrow |v| = O(\ep^{1/2})$. We would expect $|T^{ij}| \sim
294: v |T^{0i}| \sim v^2 |T^{00}|$, or $|T^{00}| \gg |T^{0i}| \gg |T^{ij}|$.
295: This roughly gives $|\bh^{00}| \gg |\bh^{0i}| \gg |\bh^{ij}|$. Therefore
296: we further assume
297:
298: \bea \lab{appr4}
299: \fr{T^{0i}}{T^{00}} &=& O(\ep^{1/2}) \,, \\ \lab{appr5}
300: \fr{T^{ij}}{T^{00}} &=& O(\ep) \,, \\ \lab{appr6}
301: \fr{\bh^{0i}}{\bh^{00}} &=& O(\ep^{1/2}) \,, \\ \lab{appr7}
302: \fr{\bh^{ij}}{\bh^{00}} &=& O(\ep) \,.
303: \eea
304:
305: \noi
306: Suppose we can ignore all components of $h^{\mu\nu}$ other than $h^{00}$;
307: then from (\ref{lineq}) we have
308:
309: \beq
310: \Box \bh^{00} = - 2 \ka \rh + O(\ep^2)\,,
311: \eeq
312:
313: \noi
314: where we have defined $\rh \eq T^{00}$. Since we are looking for
315: stationary solutions we have
316:
317: \beq \lab{appr9}
318: \Box \bh^{\al \bt} = \na^2 \bh^{\al \bt} + O(\ep^2)\,.
319: \eeq
320: \noi
321: which will also be true for a slowly changing
322: gravitational field such that $h^{00}{}_{,00} /h^{00}{}_{,ij} = O(\epsilon)$.
323: Thus we have
324: \beq
325: \na^2 \bh^{00} = - 2 \ka \rh + O(\ep^2)\,.
326: \eeq
327: \noi
328: Comparing with Newton's law of gravity
329: \beq
330: \na^2 V = \fr{\ka}{2} \rh\,,
331: \eeq
332: \noi
333: we get
334: \beq
335: \bh^{00} = -4V + O(\ep^2)\,.
336: \eeq
337: \noi
338:
339: \noi
340:
341:
342: \noi
343: Moreover,
344: \noi
345: \bea \nn
346: h = - \bh &=& -\et_{00}\bh^{00} + O(\ep^{2}) \\
347: &=& \bh^{00}+ O(\ep^{2}) \,,
348: \eea
349: \bea \nn
350: h^{00} &=& \bh^{00} + \ha \et^{00} h \\ \nn
351: &=& \bh^{00} - \ha \bh^{00}+ O(\ep^{2}) \\ \nn
352: &=& \ha \bh^{00}+ O(\ep^{2} ) \,,
353: \eea
354: \noi
355: and
356: \bea \nn
357: \et_{00} h^{00}+\et_{ii} h^{ii} &=& h \\
358: -\ha \bh^{00} + 3h^{11} &=& \bh^{00} + O(\ep^2)\,,
359: \eea
360: \noi
361: or
362: \beq
363: h^{11} = h^{22} = h^{33} = \ha \bh^{00}+ O(\ep^2)\,.
364: \eeq
365: \noi
366: That is
367: \beq
368: h_{00} = h_{11} = h_{22} = h_{33} = -2V + O(\ep^2)\,,
369: \eeq
370: \noi
371: or
372: \beq
373: h_{\mu \nu} = -2 \de_{\mu \nu} V + O(\ep^2)\,.
374: \eeq
375:
376:
377: \noi
378: The metric then becomes~\footnote{Note that if the original metric is written as
379: \[
380: ds^2=-\al^2 dt^2+\ps^4 (dx^2 + dy^2 + dz^2) \,,
381: \]
382: then
383: $\al^2=1+2V$ or $\al\approx 1+V$, and $\ps^4=1-2V$ or $\ps\approx1-V/2$.
384: }
385: \beq \lab{linmetric}
386: ds^2 = -(1+2V) dt^2 + (1-2V)(dx^2+dy^2+dz^2)+ O(\ep^2) dx^\mu dx^\nu\,.
387: \eeq
388:
389: \noi
390: The harmonic gauge implies
391:
392: \beq
393: \bh^{\mu \nu}\,_{,\nu} = h^{\mu \nu}\,_{,\nu} - \ha \et^{\mu \nu} h_{,\nu}
394: = 0 + O(\ep^2)\,,
395: \eeq
396:
397: \noi
398: or
399: \beq
400: -2 \de^{\mu \nu} V_{,\nu} = \ha \et^{\mu\nu} ( -4V_{,\nu}) + O(\ep^2)\,,
401: \eeq
402:
403: \noi
404: i.e.,
405:
406: \beq \lab{appr16}
407: V_{,0} = 0 + O(\ep^2)\,,
408: \eeq
409:
410: \noi
411: which is consistent with our assumption of a (near)-stationary solution.
412: In other words, the harmonic gauge condition will be satisfied as long as the
413: solutions are (near)-stationary. Also note
414: that (\ref{appr3}) becomes
415:
416: \beq \lab{appr17}
417: V_{,\al} = O(\ep)\,.
418: \eeq
419: \noi
420: Moreover,
421: \beq
422: \et_{00}\bh^{00} + \et_{ii}\bh^{ii} = \bh = -\bh^{00} + O(\ep^2)\,,
423: \eeq
424: \noi
425: which implies
426: \beq
427: \bh^{ii} = O(\ep^2)\,,
428: \eeq
429: and justifies our assumption~(\ref{appr7}). (Equation (\ref{appr6}) is
430: satisfied for the diagonal metric (\ref{linmetric}), which implies
431: $\bh^{0i} = O(\ep^2)$. )
432: \noi
433:
434: To evaluate the right hand side of the Einstein equation we consider
435:
436: \beq
437: T_{\mu \nu} =
438: \ha \left[ \left( \na_{\mu} \ph \na_{\nu} \ph^\ast + \na_{\nu} \ph
439: \na_{\mu} \ph^\ast \right)
440: - g_{\mu \nu} \left( \ \na^\al \ph \na_\al \ph^\ast + m^2 |\ph|^2
441: \right)\right] \,.
442: \eeq
443: \noi
444: (Note that here $\na$ denotes the 4-dimensional covariant derivative operator. )
445: Since $\ph \sim e^{-i \om t}$, we have $\ph_{,0} \sim \om \ph \sim m
446: \ph$, where we have assumed
447: \beq \lab{appr10}
448: \fr{\om}{m} = 1 + O(\ep^{1/2})\,.
449: \eeq
450: \noi
451: Now
452: \bea \nn
453: T^{00} &=& \ha g^{00} \left[2 g^{00} \ph^*_{,0}\ph_{,0}
454: - \left( g^{\al \bt} \ph^*_{,\al} \ph_{,\bt} +m^2 \ph^*\ph \right)
455: \right] + O(|\ep \ph|^2)\\ \nn
456: &=& \ha g^{00} \left[ g^{00}\ph^*_{,0} \ph_{,0} - \sum_{i=1}^3 g^{ii}
457: \ph^*_{,i} \ph_{,i}
458: -m^2 \ph^* \ph
459: \right] + O(|\ep \ph|^2) \\ \nn
460: &=& \ha \left[ (1-2V)^2 \ph^*_{,0} \ph_{,0} +(1-2V)(1+2V) \sum_{i=1}^3 \ph^*_{,i} \ph_{,i}
461: +m^2 (1-2V)\ph^* \ph \right] +O(|\ep \ph|^2)\\ \nn
462: &=& \ha \left[ (1-4V) \ph^*_{,0} \ph_{,0} + \sum_{i=1}^3 \ph^*_{,i} \ph_{,i}
463: +m^2 (1-2V)\ph^* \ph \right] + O(|\ep \ph|^2)\,,
464: \eea
465: \noi
466: and
467:
468: \bea \nn
469: T^{11} &=&
470: \ha g^{11} \left[ 2g^{11} \ph^*_{,1}\ph_{,1}
471: - \left( g^{\al \bt} \ph^*_{,\al} \ph_{,\bt} +m^2 \ph^*\ph \right)
472: \right] +O(|\ep \ph|^2)\\ \nn
473: &=& \ha g^{11} \left[ g^{11} \ph^*_{,1}\ph_{,1}
474: - \sum_{\al=0,2,3} g^{\al \al} \ph^*_{,\al} \ph_{,\al} -m^2 \ph^*\ph
475: \right]+O(|\ep \ph|^2)\,.
476: \eea
477:
478: \noi
479: Assumptions (\ref{appr4}), (\ref{appr5}) can be satisfied if
480: \beq \lab{appr18}
481: \fr{\ph_{,i}}{ m \ph} = O(\ep^{1/2})\,,
482: \eeq
483: \noi
484: or $\ph_{,i}/\ph_{,0} = O(\ep^{1/2})$, since $\ph_{,0} \sim m \ph$.
485: \noi
486: Then
487: \bea
488: T^{00} &=& \ha \left( \om^2 + m^2\right) \ph^* \ph + O(\ep \ph^2)\\
489: &=& m^2 \ph^{\ast} \ph + O(\ep \ph^2)\,,
490: \eea
491: \noi
492: and the Poisson equation becomes
493:
494: \beq \lab{possion}
495: \na^2 V = \fr{\ka}{2} m^2 \ph^* \ph + O(\ep \ph^2)\,.
496: \eeq
497: \noi
498: Also note that $T^{ii} = O(\ep \ph^2)$ and $T^{0i} = O(\ep^{1/2} \ph^2)$,
499: and hence the $00$-component of $T^{\mu\nu}$ is dominant.
500:
501: \section{Schr\"{o}dinger Equation}
502: To derive the Schr\"{o}dinger equation for the complex scalar field,
503: we first note that the Klein Gordon equation can be written as
504:
505: \beq
506: \fr{1}{\sr{-g}} \left( \sr{-g} g^{\mu \nu} \ph_{,\mu}\right)_{,\nu} - m^2
507: \ph = 0 \,.
508: \eeq
509:
510: \noi
511: Now
512: \bea \nn
513: \sr{-g} &=& \sr{(1+2V)(1-2V)^3} + O(\ep^2)\\
514: &=& 1-2V+O(\ep^2)\,.
515: \eea
516:
517: \noi
518: The Klein Gordon Equation becomes:
519:
520: \beq
521: \fr{1}{1-2V}\left[-\left( \fr{1-2V}{1+2V} \ph_{,0}\right)_{,0} +
522: \sum_{i=1}^3 \left( \fr{1-2V}{1-2V} \ph_{,i}\right)_{,i}
523: \right]-m^2 \ph + O(\ep^2 \ph) = 0\,.
524: \eeq
525:
526: \noi
527: Thus
528: \beq
529: -\fr{1-4V}{1-2V} \ph_{,00} - \fr{4V_{,0} \ph_{,0}}{1-2V}
530: + (1+2V) \na^2 \ph - m^2 \ph + O(\ep^2 \ph)= 0\,,
531: \eeq
532:
533: \noi
534: or
535: \beq
536: -(1-2V) \ph_{,00}
537: + (1+2V) \na^2 \ph - m^2 \ph = O(\ep^2 \ph)\,.
538: \eeq
539:
540: \noi
541: Now let
542: \beq
543: \ph(t,{\bf x}) \eq \Ph(t,{\bf x}) e^{-imt}\,,
544: \eeq
545: \noi
546: where $\Phi(t,{\bf x})$ is to be a slowly varying function of time.
547: Then
548:
549: \beq
550: \left[ -(1-2V) (\Ph_{tt} -m^2 \Ph -2im \Ph_{,t})
551: +(1+2V)\na^2 \Ph - m^2 \Ph
552: \right] e^{-imt} = O(\ep^2 \Ph)\,,
553: \eeq
554:
555: \noi
556: or
557: \beq
558: -(1-2V) (\Ph_{tt} -2im \Ph_{,t})
559: +(1+2V)\na^2 \Ph - 2m^2 V \Ph
560: = O(\ep^2 \Ph)\,.
561: \eeq
562:
563: \noi
564: Let us assume
565: \bea \lab{appr11}
566: \fr{\na^2 \Ph }{m^2 \Ph} &=& O(\ep)\,, \\ \lab{appr12}
567: \fr{\Ph_{,t}}{m \Ph} &=& O(\ep)\,, \\ \lab{appr13}
568: \fr{\Ph_{,tt}}{m^2 \Ph} &=& O(\ep^2)\,.
569: \eea
570: \noi
571: Then keeping track of terms up to $O(\epsilon)$, we have
572:
573: \beq
574: 2im \Ph_{,t}+\na^2 \Ph - 2m^2 V \Ph = O(\ep^2)\,,
575: \eeq
576: \noi
577: or
578: \beq
579: i \Ph_{,t} = -\fr{1}{2m} \na^2 \Ph + mV \Ph + O(\ep^2)\,.
580: \eeq
581:
582: \noi
583: We now assume
584: \beq \lab{PheqPhe}
585: \Ph(t,{\bf x}) = \Ph_0({\bf x}) e^{-iEt}\,,
586: \eeq
587:
588: \noi
589: so that the full scalar field is
590:
591: \beq
592: \ph = \Ph e^{-imt} = \Ph_0 e^{-imt-iEt} = \Ph_0 e^{-iwt}\,,
593: \eeq
594:
595: \noi
596: where $w=m+E$.
597: We then have
598:
599: \beq
600: E \Ph_0 = - \fr{1}{2m} \na^2 \Ph_0 + mV \Ph_0 + O(\ep^2 \Ph)\,.
601: \,
602: \eeq
603: \noi
604: Note that from (\ref{PheqPhe}) we have $\Ph_t \sim E \Ph$.
605: Therefore (\ref{appr12}) and (\ref{appr13}) will be satisfied if
606: \beq \lab{appr14}
607: E = O(\ep)\,,
608: \eeq
609: \noi
610: or
611: \beq
612: \fr{\om}{m} = 1+O(\ep)\,.
613: \eeq
614: \noi
615: Note that (\ref{appr10}) is then automatically satisfied. Also
616: (\ref{appr11}) will be satisfied if
617: \beq \lab{appr15}
618: \fr{\na^2 \Ph_0}{m^2 \Ph_0} = O(\ep)\,.
619: \eeq
620:
621: \section{Summary}
622: The above derivation is lengthy and hence we present a summary of the
623: development.
624: For our purposes stated at the beginning of this appendix,
625: we first solve the PS system
626:
627: \bea
628: \na^2 V &=& \fr{\ka}{2} m^2 \Ph_0^{\ast} \Ph_0 \,,\\
629: E \Ph_0 &=& - \fr{1}{2m} \na^2 \Ph_0 + mV \Ph_0 \,.
630: \eea
631: for $\Ph_0$ and $V$.
632:
633: \noi
634: Then, ignoring $\Oeps$ terms, we have
635: \beq
636: \bh_{ \mu \nu} =
637: \bh^{ \mu \nu} =
638: \left[
639: \ba{cccc}
640: -4V & 0& 0 & 0 \\
641: 0& 0 & 0 & 0 \\
642: 0 & 0 & 0 & 0 \\
643: 0 & 0 & 0 & 0
644: \ea
645: \right] \,,
646: \eeq
647: \noi
648: or
649: \beq
650: h_{ \mu \nu} =
651: h^{ \mu \nu} =
652: \left[
653: \ba{cccc}
654: -2V & 0& 0 & 0 \\
655: 0& -2V & 0 & 0 \\
656: 0 & 0 & -2V & 0 \\
657: 0 & 0 & 0 & -2V
658: \ea
659: \right] \,.
660: \eeq
661:
662: \noi
663: The approximate metric for the EKG system is then
664: \beq
665: ds^2 = -(1+2V) dt^2 + (1-2V)(dx^2+dy^2+dz^2)\,,
666: \eeq
667: \noi
668: or
669: \bea
670: \al &=& 1+V \,, \\
671: \ps &=& 1-\fr{V}{2} \,,\\
672: \bt &=& 0\,, \\
673: \si &=& 0\,.
674: \eea
675:
676: \noi
677: For the scalar field we have
678: \bea
679: \ph_0 &=& \Ph_0 \,,\\
680: \om &=& m + E\,.
681: \eea
682: Note that we have assumed
683: (\ref{appr1}), (\ref{appr2}), (\ref{appr3}), (\ref{appr8}),
684: (\ref{appr4})-(\ref{appr7}), (\ref{appr9}), (\ref{appr16}),
685: (\ref{appr17}), (\ref{appr10}), (\ref{appr18}),
686: (\ref{appr11})-(\ref{appr13}), (\ref{appr14}) and (\ref{appr15}).
687: In
688: other words, solutions to the PS equations do {\em not} necessarily give good
689: initial guesses for the EKG system unless the approximations are satisfied.
690: Note that
691: for our purpose of
692: finding {\em stationary} solutions,
693: not all of the assumptions are independent. Specifically,
694: the assumptions that we need to check on a case-by-case basis are
695: (\ref{appr8}), (\ref{appr17}), (\ref{appr18}), (\ref{appr14}) and
696: (\ref{appr15}):
697: \bea
698: V &=& O(\ep)\,, \\
699: V_{,\al} &=& O(\ep)\,, \\
700: E &=& O(\ep)\,,\\
701: \fr{\Ph_{0,i}}{m \Ph_0} &=& O(\ep^{1/2})\,, \\
702: \fr{\na^2 \Ph_0}{m^2 \Ph_0} &=& O(\ep)\,.
703: \eea
704:
705: \noi
706: Also
707: note that this check is, in general, nontrivial to carry out since in~(\ref{appr1}) the
708: flat metric is expressed in Cartesian coordinates. Thus, we have to transform our
709: solutions---which are computed in polar coordinates---to Cartesian coordinates in
710: order to verify the validity of the above approximations.
711: