1: \documentclass[aps,floatfix]{revtex4}
2: \usepackage{graphics,epsfig}
3: \usepackage{graphicx}
4:
5: \begin{document}
6:
7: \title{A tool for teaching General Relativity}
8: \author{Kayll Lake \cite{email}}
9: \affiliation{Department of Physics and Department of Mathematics
10: and Statistics, Queen's University, Kingston, Ontario, Canada, K7L
11: 3N6 }
12: \date{\today}
13:
14:
15: \begin{abstract}
16: GRTensorJ - Books is an active interface to a small part of the
17: computer algebra systems GRTensorII (for Maple) and GRTensorM (for
18: Mathematica) with the specific intent of providing students of
19: General Relativity with an advanced programmable calculator-style
20: tool. All standard functions associated with a classical tensor
21: approach to the subject are available thus reducing these to
22: ``elementary functions". This is not a traditional database. The
23: database entries are spacetimes and calculations are done in real
24: time. All spacetimes are referenced directly by equation number in
25: ten current (and classic) texts in notation as close as possible
26: to the original text. The tool is now available free of charge
27: from \texttt{grtensor.org/teaching} .
28: \end{abstract}
29: \maketitle
30:
31:
32:
33: \section{Motivation}
34:
35:
36:
37: Recently Hartle \cite{hartle} has emphasized the increasing
38: importance of General Relativity on the frontiers of both the very
39: largest and the very smallest distance scales, a fact reflected by
40: the increasing number of undergraduate physics majors being
41: introduced to the subject. Of course, one can only learn physics
42: by doing it, but many of the standard functions of General
43: Relativity, when taught through classical tensor methods, involve
44: only partial differentiation and summation. I believe that little
45: is to be gained by repetitive routine calculations of this nature.
46: For this reason, I would like to introduce here a tool that will
47: be of use for all students starting their study of General
48: Relativity. The purpose of the tool is to turn all standard
49: (tensor based) functions into ``elementary functions" - those
50: immediately available with the click of a button - so that the
51: inner beauty of General Relativity shines through.
52:
53:
54:
55: \section{Background}
56:
57:
58:
59: The tool described here involves and update \cite{update} to the
60: Java \cite{java} interface GRTensorJ \cite{grtj}. The workings of
61: the interface have been described in detail previously
62: \cite{ishak}. The version of GRTensorJ described here cannot be
63: run over the internet but rather is a local application. The
64: interface currently covers every spacetime (referenced by equation
65: number and in notation as close to the original as possible) in
66: the following texts:
67:
68: \bigskip
69:
70: \begin{itemize}
71: \item Carroll, Sean. \textit{Spacetime and Geometry: An Introduction to General
72: Relativity}, Addison Wesley (San Francisco), 2004. ISBN
73: 0-8053-8732-3
74: \item d'Inverno, Ray. \textit{Introducing Einstein's Relativity}, Clarendon Press (Oxford), 1992. ISBN
75: 0-19-859686-3
76: \item Hartle, James. \textit{Gravity: An Introduction to Einstein's General Relativity} , Addison Wesley (San Francisco), 2003.
77: ISBN 0-8053-8662-9
78: \item Hawking, Stephen, and G.F.R. Ellis. \textit{The Large Scale Structure of
79: Spacetime }, Cambridge University Press (Cambridge), 1973. ISBN
80: 0-521-09906-4
81: \item Misner, Charles, Kip Thorne and John Wheeler. \textit{Gravitation} , W.H. Freeman and Co. (San Francisco), 1973.
82: ISBN 0-7167-0344-0
83: \item Poisson, Eric. \textit{A Relativist's Toolkit: The Mathematics of Black-Hole Mechanics} , Cambridge University
84: Press (Cambridge), 2004. ISBN 0-521-83091-5
85: \item Rindler, Wolfgang. \textit{Relativity: Special, General and Cosmological} , Oxford University Press (Oxford), 2001.
86: ISBN 0-19-850836-0
87: \item Schutz, Bernard. \textit{A First Course in General Relativity} , Cambridge University Press (Cambridge), 1990.
88: ISBN 0-521-27703-5
89: \item Wald, Robert. \textit{General Relativity }, University of Chicago Press (Chicago), 1984. ISBN
90: 0-226-87033-2
91: \item Weinberg, Steven. \textit{Gravitation and Cosmology: Principles and Applications of the General Theory of
92: Relativity}, John Wiley and Sons (New York), 1972. ISBN
93: 0-471-92567-5
94: \end{itemize}
95:
96:
97:
98: \section{Preprogrammed Calculations}
99:
100:
101:
102: In addition to a complete help system, the initial set of preprogrammed objects available for coordinate
103: calculations is shown in TABLE 1. Note that the table is condensed
104: as, for example, all index configurations are immediately
105: available. Note also that context - sensitive mathematical
106: information is embedded as explained below. The introduction of
107: further objects is also described below.
108:
109:
110: \begin{table}
111: \begin{tabular}{lll}
112:
113: \textbf{GRTensorJ menu item} & \textbf{GRTensorJ sub-menu
114: command} & \textbf{Object(s)}\\ \\
115:
116:
117: Metric & Metric & $g_{ab}$\\
118:
119: & Signature & $Sig$\\
120:
121: & Line Element & $ds^{2}$\\
122:
123: & Constraints \\
124:
125: & Determinant of Metric & $det(g)$\\
126:
127: & Inverse Metric & $g^{ab}$\\
128:
129: & Partial Derivative of Metric & $g_{ab,c}$\\
130:
131: Christoffel Symbols & Chr(dn,dn,dn) & $\Gamma_{abc}$\\
132:
133: & Chr(dn,dn,up) & $\Gamma^{c}_{ab}$\\
134:
135: Geodesic & &Writes out the geodesic equations \\
136:
137: Riemann & R(dn,dn,dn,dn) & $R_{abcd}$\\
138:
139: & R(up,dn,dn,dn) & $R^a\,_{bcd}$\\
140:
141: & R(up,up,dn,dn) & $R^{ab}\,_{cd}$\\
142:
143: & R(up,up,up,up) & $R^{abcd}$\\
144:
145: & Kretschmann & $R_{abcd}R^{abcd}$\\
146:
147: Weyl & C(dn,dn,dn,dn) ... & $C_{abcd}$\\
148:
149: & Dual CStar(dn,dn,dn,dn)
150:
151: ... & $C^{*}_{abcd}\equiv\frac{1}{2}\epsilon_{abef}C^{ef}\,_{cd}$ \\
152:
153: Ricci & R(dn,dn) ... & $R_{ab}\equiv R^c\,_{acb}$\\
154:
155: Trace-free Ricci & S(dn,dn) ... & $S_{ab}\equiv R_{ab}-\frac{1}{N}g_{ab}R$\\
156:
157: Einstein & G(dn,dn) ... & $G_{ab}\equiv R_{ab}-\frac{1}{2}g_{ab}R$\\
158:
159: Invariants & Invariants-Ricci & $R\equiv R^{a}\,_{a},\, R1\equiv\frac{1}{4}S^{a}\,_{b}S^{b}\,_{a}, \; R2\equiv\frac{-1}{8}S^{a}\,_{b}S^{b}\,_{c}S^{c}\,_{a}$ \\
160:
161: & & $R3\equiv\frac{1}{16}S^{a}\,_{b}S^{b}\,_{c}S^{c}\,_{d}S^{d}\,_{a}$ \\
162:
163: & Invariants-Weyl & $W1R\equiv\frac{1}{8}C_{abcd}C^{abcd}, \; W1I\equiv\frac{1}{8}C^{*}\,_{abcd}C^{abcd}$ \\
164:
165: & & $W2R\equiv\frac{-1}{16}C_{ab}\,^{cd}C_{cd}\,^{ef}C_{ef}\,^{ab}$ \\
166:
167: & & $W2I\equiv\frac{-1}{16}C^{*}\,_{ab}\,^{cd}C_{cd}\,^{ef}C_{ef}\,^{ab}$ \\
168:
169: & Invariants-Mixed & $M1R \equiv \frac{1}{8}S^{ab}S^{cd}C_{abcd},\, M1I\equiv
170:
171: \frac{1}{8}S^{ab}S^{cd}C^{*}\,_{abcd}$ \\
172:
173: & & $M2R \equiv \frac{1}{16}S^{cd}S_{ef}(C_{acdb}C^{aefb}-C^{*}_{acdb}C_{*}^{aefb})$ \\
174:
175: & & $M2I \equiv \frac{1}{8}S^{bc}S_{ef}(C^{*}_{abcd}C^{aefd})$ \\
176:
177: & & $M3 \equiv \frac{1}{16}S^{cd}S_{ef}(C_{acdb}C^{aefb}+C^{*}_{acdb}C_{*}^{aefb})$ \\
178:
179: & & $M4 \equiv \frac{-1}{32}S^{cg}S^{ef}S^{c}\,_{d}(C_{ac}\,^{db}C_{befg}+C^{*}_{ac}\,^{db}C^{*}_{befg})$ \\
180:
181: & & $M5R \equiv \frac{1}{32}S^{cd}S^{ef}C^{aghb}(C_{acdb}C_{gefh}+C^{*}_{acdb}C^{*}_{gefh})$\\
182:
183: & & $M5I \equiv \frac{1}{32}S^{cd}S^{ef}C_{*}\,^{aghb}(C_{acdb}C_{gefh}+C^{*}_{acdb}C^{*}_{gefh})$\\
184:
185: & & $M6R \equiv \frac{1}{32} S_a{}^e S_e{}^c S_b{}^f
186:
187: S_f{}^d C^{ab}{}_{cd}$ \\
188:
189: & & $ M6I \equiv \frac{1}{32} S_a{}^e S_e{}^c S_b{}^f
190:
191: S_f{}^d C^{*ab}{}_{cd}$ \\
192:
193: Differential Invariants& diRicci & $R_{ab;c}R^{ab;c}$\\
194:
195: & diRiem & $R_{abcd;e}R^{abcd;e}$\\
196:
197: & diS & $S_{ab;c}S^{ab;c}$\\
198:
199: & diWeyl & $C_{abcd;e}C^{abcd;e}$\\
200:
201: Bel-Robinson & T(dn,dn,dn,dn) ... &
202:
203: $T_{cdef}\equiv C_{acdb}C^{a}\,_{ef}\,^{b}+C^{*}\,_{acdb}C^{*}\,^{a}\,_{ef}\,^{b}$ \\
204:
205: Weyl-Schouten & Weyl-Schouten ... &
206:
207: $WS_{abc}\equiv R_{ab;c}-R_{ac;b}-( g_{ab}R^{e}\,_{e;c}-g_{ac}R^{f}\,_{f;b} )/4$ \\
208:
209: Bach & B(dn,dn) ... & $B_{ac}\equiv
210:
211: C_{abcd}\,^{;bd}+\frac{1}{2}R^{bd}C_{abcd}$\\
212:
213:
214:
215: \end{tabular}
216: \caption{Initial set of preprogrammed objects available for
217: coordinate calculations (condensed). Note: ``..." means that all
218: index combinations are immediately available as with Riemann.}
219: \end{table}
220:
221:
222: \section{Loading a Spacetime and Working with it}
223:
224: FIG.~\ref{book2a} shows a screen shot of the interface running
225: Maple 10 \cite{maple} under Windows XP \cite{micro} and samples
226: the coverage associated with the classic text by Misner, Thorne
227: and Wheeler. Assuming you have the text, you simply click on the
228: equation number to load the spacetime.
229:
230: \bigskip
231:
232: FIG.~\ref{book1} shows loading of the Kruskal - Szekeres covering
233: of the Schwarzschild vacuum as discussed by Poisson. We use this
234: example here because the coordinates are implicitly defined and
235: therefore involve constraints which can be seen in the figure.
236: Without these constraints the spacetime is not defined.
237: FIG.~\ref{book2} shows the result of applying constraints to the
238: calculation of the Kretschmann scalar (see TABLE 1).
239:
240: \bigskip
241:
242: As mentioned above, the interface contains context - sensitive
243: embeded mathematical information. An example is shown in
244: FIG.~\ref{book3} where one notices that there are only four Ricci
245: invariants available for calculation. The reason for this is given
246: in the explanation as shown in FIG.~\ref{book4} \cite{ricci}.
247:
248:
249:
250:
251: \section{Interface Expansion}
252:
253:
254:
255: At the time of writing, virtually any calculation one encounters
256: in classical tensor analysis is already programmed into the
257: interface. Further routines can be easily added through the
258: GRTensorII \texttt{grdef} and GRTensorM \texttt{grdefine}
259: facilities. This includes tetrad calculations which we do not
260: discuss here. To see how to program the interface, let us look at
261: the construction of the Weyl-Schouten tensor (equivalently, the
262: Cotton-York tensor which is also available). This is a three index
263: tensor which in three dimensions is zero if and only if the space
264: is conformally flat. As can be see from TABLE 1, it is defined by
265: \begin{eqnarray}
266: WS_{abc}\equiv R_{ab;c}-R_{ac;b}-(
267: g_{ab}R^{e}\,_{e;c}-g_{ac}R^{f}\,_{f;b} )/4, \nonumber
268: \end{eqnarray}
269: where the terms are defined in the table. This relation is
270: programmed into the interface by including a plain text file
271: (Weyl-Scouten.ts) the entire contents of which are:
272:
273: \begin{verbatim}
274:
275: grdef(`WS{a [ b c ] }:=R{a b ; c}-R{a c ; b}-(g{a b}*R{^e e;c}-g{a c}*R{^f f ; b})/4`);
276:
277: grcalc(WS(dn,dn,dn));
278:
279: *grdisplay(_);
280:
281: \end{verbatim}
282:
283: \section{System Requirements}
284:
285:
286:
287: To run GRTensorJ - Books you need Java \cite{java} installed on
288: your computer and a version of Maple or Mathematica. (You do not
289: need to have GRTensorII or GRTensorM already installed.) The
290: Maple version (tested on Maple 7, 8, 9, 9.5.2, 10 and student 10)
291: for Windows (tested on 2000 and XP) is available now from
292: \texttt{grtensor.org/teaching}. Versions for other platforms, and
293: updates, will be announced at the web site as they are available.
294:
295:
296: \bigskip
297:
298: \begin{acknowledgments}
299: James Atkinson, Alex Johnstone and Reuble Mathew helped with the
300: metric files but all errors are my responsibility. This work was
301: supported in part by a grant from the Natural Sciences and
302: Engineering Research Council of Canada.
303: \end{acknowledgments}
304:
305:
306: \begin{thebibliography}{}\label{sec:TeXbooks}
307: \bibitem[*]{email}{Electronic Address: lake@astro.queensu.ca}
308: \bibitem{hartle} James B. Hartle, ``General Relativity in the Undergraduate
309: Physics Curriculum" {\tt arXiv:gr-qc/0506075 }.
310: \bibitem{update} The update to the interface was written by Kamen
311: Angelov.
312: \bibitem{java} Java is \copyright Sun Microsystems.
313: \bibitem{grtj} Mustapha Ishak, Peter Musgrave, John Mourra, Jonathan Stern and Kayll
314: Lake, ``GRLite and GRTensorJ: Graphical user interfaces to the
315: computer algebra system GRTensorII", AIP Conference Proceedings
316: \textbf{493}, Edited by C. P. Burgess and R. C. Myers {\tt
317: arXiv:gr-qc/9911012 }.
318: \bibitem{ishak} Mustapha Ishak and Kayll Lake, Class. Quant. Grav. \textbf{19} 505-514 (2002) {\tt arXiv:gr-qc/0111008 }.
319: \bibitem{maple} Maple is \copyright Maplesoft.
320: \bibitem{micro} Windows is \copyright Microsoft.
321: \bibitem{ricci} Kevin Santosuosso, Denis Pollney, Nicos Pelavas, Peter Musgrave and Kayll
322: Lake, Comput. Phys. Commun. \textbf{115 } 381-394 (1998) {\tt
323: arXiv:gr-qc/9809012 }.
324: \bibitem{math} Mathematica is \copyright Wolfram Research.
325:
326: \end{thebibliography}
327:
328: \bigskip
329:
330: \bigskip
331:
332: \begin{appendix}
333:
334: \begin{figure}[ht]
335: \epsfig{file=book2a.eps,height=4in,width=5in,angle=0}
336: \caption{\label{book2a} A look at the middle section of the
337: classic text by Misner, Thorne and Wheeler.}
338: \end{figure}
339:
340: \begin{figure}[ht]
341: \epsfig{file=book1.eps,height=4in,width=5in,angle=0}
342: \caption{\label{book1} Loading of the Kruskal - Szekeres covering
343: of the Schwarzschild vacuum as discussed by Poisson.}
344: \end{figure}
345:
346: \begin{figure}[ht]
347: \epsfig{file=book2.eps,height=4in,width=5in,angle=0}
348: \caption{\label{book2} Applying constraints to the calculation of
349: the Kretschmann scalar (see Table 1).}
350: \end{figure}
351:
352: \begin{figure}[ht]
353: \epsfig{file=book3.eps,height=4in,width=5in,angle=0}
354: \caption{\label{book3} Calculation of Ricci invariants.}
355: \end{figure}
356:
357: \begin{figure}[ht]
358: \epsfig{file=book4.eps,height=4in,width=5in,angle=0}
359: \caption{\label{book4} Explanation for the choice of Ricci
360: invariants. }
361: \end{figure}
362: \end{appendix}
363: \end{document}
364: