This worksheet is designed to determine the connections, and curvatures for the flat Minkowski metric

          expressed in oblate spheroidal coordinates

 

>    S:=sqrt(sigma^2+a^2*(cos(theta))^2);

S := (sigma^2+a^2*cos(theta)^2)^(1/2)

>    Delta:=sqrt(sigma^2+a^2);

Delta := (sigma^2+a^2)^(1/2)

>    grtw();

`GRTensorII Version 1.79 (R4)`

`6 February 2001`

`Developed by Peter Musgrave, Denis Pollney and Kayll Lake`

`Copyright 1994-2001 by the authors.`

`Latest version available from: http://grtensor.phy.queensu.ca/`

`C:/Grtii(6)/Metrics`

>    makeg(OblSpher);

 

Makeg 2.0: GRTensor metric/basis entry utility

 

To quit makeg, type 'exit' at any prompt.

 

Do you wish to enter a 1) metric [g(dn,dn)],

                       2) line element [ds],

                       3) non-holonomic basis [e(1)...e(n)], or

                       4) NP tetrad [l,n,m,mbar]?

makeg>   3;

Enter coordinates as a LIST (eg. [t,r,theta,phi]):

makeg>   [sigma,theta,phi,t];

Would you like to enter 1) covariant components,

                        2) contravariant components, or

                        3) both.

makeg>   1;

Enter the covariant components of basis vector '1' as a LIST (eg. [1,0,0,0]) or differential (eg. d[x] + d[y]):

makeg>   (S/Delta)*d[sigma];

Enter the covariant components of basis vector '2' as a LIST (eg. [1,0,0,0]) or differential (eg. d[x] + d[y]):

makeg>   S*d[theta];

Enter the covariant components of basis vector '3' as a LIST (eg. [1,0,0,0]) or differential (eg. d[x] + d[y]):

makeg>   Delta*sin(theta)*d[phi];

Enter the covariant components of basis vector '4' as a LIST (eg. [1,0,0,0]) or differential (eg. d[x] + d[y]):

makeg>   d[t];

Is the basis inner product  1) Diagonal, or

                            2) Symmetric?

makeg>   1;

Enter eta[1,1]:

makeg>   1;

Enter eta[2,2]:

makeg>   1;

Enter eta[3,3]:

makeg>   1;

Enter eta[4,4]:

makeg>   -1;

If there are any complex valued coordinates, constants or functions

for this spacetime, please enter them as a SET ( eg. { z, psi } ).

Complex quantities [default={}]: 

makeg>   ;

{}

 

`The values you have entered are:`

Coordinates = [sigma, theta, phi, t]

`Basis 1-forms:`

omega[1] = vector([(sigma^2+a^2*cos(theta)^2)^(1/2)/(sigma^2+a^2)^(1/2), 0, 0, 0])

omega[2] = vector([0, (sigma^2+a^2*cos(theta)^2)^(1/2), 0, 0])

omega[3] = vector([0, 0, (sigma^2+a^2)^(1/2)*sin(theta), 0])

omega[4] = vector([0, 0, 0, 1])

`Inner product of basis vectors:`

eta = matrix([[1, 0, 0, 0], [0, 1, 0, 0], [0, 0, 1, 0], [0, 0, 0, -1]])

You may choose to 0) Use the metric WITHOUT saving it,

                  1) Save the metric as it is,

                  2) Re-enter a basis vector,

                  3) Re-enter the inner product,

                  4) Add/change constraints,

                   5) Add a text description, or

                  6) Abandon this metric and return to Maple.

makeg>   1;

Information written to: `C:/Grtii(6)/Metrics/OblSpher.mpl`

Do you wish to use this spacetime in the current session?

(1=yes [default], other=no): 

makeg>   1;

Initializing: OblSpher

`Default spacetime` = OblSpher

`For the OblSpher spacetime:`

Coordinates

x(up)

`x `^a = vector([sigma, theta, phi, t])

`Basis inner product`

eta(bup,bup)

eta^`(a)`*``^`(b)` = matrix([[1, 0, 0, 0], [0, 1, 0, 0], [0, 0, 1, 0], [0, 0, 0, -1]])

`Basis (covariant components)`

w1(dn)

omega1[a] = vector([(sigma^2+a^2*cos(theta)^2)^(1/2)/(sigma^2+a^2)^(1/2), 0, 0, 0])

w2(dn)

omega2[a] = vector([0, (sigma^2+a^2*cos(theta)^2)^(1/2), 0, 0])

w3(dn)

omega3[a] = vector([0, 0, (sigma^2+a^2)^(1/2)*sin(theta), 0])

w4(dn)

omega4[a] = vector([0, 0, 0, 1])

makeg() completed.

>    grcalc(rot(bdn,bdn,bdn));

Created a definition for e(bdn,dn,pdn)

`CPU Time ` = .170

>    grdisplay(rot(bdn,bdn,bdn));

`For the OblSpher spacetime:`

`Rotation Coefficients`

gamma[``(`1`)*``(`2`)*``(`1`)] = -1/(sigma^2+a^2*cos(theta)^2)^(3/2)*a^2*cos(theta)*sin(theta)

gamma[``(`1`)*``(`2`)*``(`2`)] = -1/(sigma^2+a^2*cos(theta)^2)^(3/2)*sigma*(sigma^2+a^2)^(1/2)

gamma[``(`1`)*``(`3`)*``(`3`)] = -1/(sigma^2+a^2*cos(theta)^2)^(1/2)/(sigma^2+a^2)^(1/2)*sigma

gamma[``(`2`)*``(`3`)*``(`3`)] = -cos(theta)/(sigma^2+a^2*cos(theta)^2)^(1/2)/sin(theta)

>    grcalc(R(bdn,bdn,bdn,bdn));

Created definition for rot(bdn,bup,bdn) 

`CPU Time ` = .100

>    grdisplay(R(bdn,bdn,bdn,bdn));

R[``(`1`)*``(`2`)*``(`1`)*``(`2`)] = a^2*(a^2*cos(theta)^4+a^2*cos(theta)^2*sin(theta)^2-a^2*cos(theta)^2-sigma^2*cos(theta)^2-sin(theta)^2*sigma^2+sigma^2)/(sigma^2+a^2*cos(theta)^2)^3

R[``(`1`)*``(`3`)*``(`2`)*``(`3`)] = -sigma*cos(theta)*a^2*(cos(theta)^2+sin(theta)^2-1)/(sigma^2+a^2*cos(theta)^2)^2/(sigma^2+a^2)^(1/2)/sin(theta)

>    gralter(R(bdn,bdn,bdn,bdn),simplify,trig);

Component simplification of a GRTensorII object:

Applying routine simplify to object R(bdn,bdn,bdn,bdn)

Applying routine `simplify[trig]` to object R(bdn,bdn,bdn,bdn)

`CPU Time ` = .561

>    grdisplay(R(bdn,bdn,bdn,bdn));

`R(bdn,bdn,bdn,bdn)` = `All components are zero`

The plots just below first show graphs of curves, in the y,z-plane, for instance, of rho versus z (in cylindrical coordinates), for various fixed values of sigma:  a, 2a, 3a, 4a, and 5a, where everything is measured in units of a.  

              The 2-dimensional ones are ellipses, with foci at +1 and -1.  

If we had also plotted the situation for sigma = 0, we would have just the horizontal axis between  +1 and -1.

Then they show a 3-dimensional plot for a given, single value of sigma; in this case sigma=1.  It is of course an oblate spheroid.

>    Rho:=sqrt(sigma^2+a^2)*sin(theta); Z:=sigma*cos(theta);

Rho := (sigma^2+a^2)^(1/2)*sin(theta)

Z := sigma*cos(theta)

>    plot([seq([subs(a=1,sigma=n,Rho),subs(sigma=n,Z),theta=0..Pi],n=1..5),seq([subs(a=1,sigma=n,-Rho),subs(sigma=n,Z),theta=0..Pi],n=1..5)],scaling=`constrained`,color=[red,green,yellow,blue,cyan,red,green,yellow,blue,cyan], title=`y,z-plane; constant sigma`);

[Maple Plot]

>    plot3d([subs(a=1,sigma=1,Rho*cos(phi)),subs(a=1,sigma=1,Rho*sin(phi)),subs(a=1,sigma=1,Z)],theta=0..Pi,phi=0..2*Pi,scaling=`constrained`,title=`constant sigma = 1; oblate spheroid`);

[Maple Plot]

The graphs below show graphs for constant values of theta.

 You can see, on the 2-dimensional one below, in the y,z-plane, that they are pairs of hyperbolae.

>    plot([seq([subs(a=1,theta=2*n,Rho),subs(theta=2*n,Z),sigma=-5..5],n=1..5),seq([subs(a=1,theta=2*n,-Rho),subs(theta=2*n,Z),sigma=-5..5],n=1..5)],scaling=`constrained`,color=[red,green,yellow,blue,cyan,red,green,yellow,blue,cyan],title=`constant theta; y,z-plane`);

[Maple Plot]

Below I also give two different perspectives of the surfaces of constant theta, which are hyperboloids of one sheet; the generalization of

    the pair of cones that one would have gotten for such surfaces if theta had been a member of a set of spherical coordinates.

>    plot3d([subs(a=1,theta=5,Rho*cos(phi)),subs(a=1,theta=5,Rho*sin(phi)),subs(a=1,theta=1.5*Pi,Z)],sigma=-5..5,phi=0..2*Pi,title=`constant theta; hyperboloids of one sheet`);

[Maple Plot]

>    plot3d([subs(a=1,theta=1.5*Pi,Rho*cos(phi)),subs(a=1,theta=1.5*Pi,Rho*sin(phi)),subs(a=1,theta=1.5*Pi,Z)],sigma=-5..5,phi=0..2*Pi,title=`constant theta; hyperboloids of one sheet`);

[Maple Plot]

>