ThreeDimensionalConfigurations/ChallengesPt6

From jetwiki
Jump to navigation Jump to search

Challenges Constructing Ellipsoidal-Like Configurations (Pt. 6)

This chapter has been created in February 2022, after letting this discussion lie dormant for close to one year. We begin the chapter by grabbing large segments of our earlier derivations found primarily in the "Ramblings" chapter titled, Construction Challenges (Pt. 4).

Intersection Expression

STEP #1

First, we present the mathematical expression that describes the intersection between the surface of an ellipsoid and a plane having the following properties:

  • The plane cuts through the ellipsoid's z-axis at a distance, z0, from the center of the ellipsoid;
  • The line of intersection is parallel to the x-axis of the ellipsoid; and,
  • The line that is perpendicular to the plane and passes through the z-axis at z0 is tipped at an angle, θ, to the z-axis.

As is illustrated in Figure 1, we will use the line referenced in this third property description to serve as the z'-axis of a Cartesian grid that is tipped at the angle, θ, with respect to the body frame; and we will align the x' axis with the x-axis, so it should be clear that the z'-axis lies in the y-z plane of the ellipsoid.

Figure 1

x

=

x,

y

=

ycosθzsinθ,

(zz0)

=

zcosθ+ysinθ.

Primed Coordinates

x

=

x,

y

=

ycosθ+(zz0)sinθ,

z

=

(zz0)cosθysinθ.


As has been shown in our accompanying discussion, we obtain the following,

Intersection Expression

1x2a2

=

y2[c2+b2tan2θb2c2]+y[2z0tanθc2]+z02c2,

as long as z0 lies within the range,

z02

c2+b2tan2θ.

Rewriting this "intersection expression" in terms of the tipped (primed) coordinate frame gives us,

1(x)2a2

=

(ycosθzsinθ)2[c2+b2tan2θb2c2]+(ycosθzsinθ)[2z0tanθc2]+z02c2.

STEP #2

As viewed from the tipped coordinated frame, the curve that is identified by this intersection should be an

Off-Center Ellipse

1

=

[xxmax]2+[yycymax]2

 

=

[xxmax]2+[(y)22yyc+yc2ymax2],

that lies in the x'-y' plane — that is, z=0. Let's see if the intersection expression can be molded into this form.

1z02c2(x)2a2

=

(y)2[c2+b2tan2θb2c2]cos2θ+2y[z0sinθc2]

 

=

[c2+b2tan2θb2c2]cos2θ{(y)22y[z0sinθc2cos2θ][b2c2c2+b2tan2θ]}

 

=

κ2[(y)22y(z0sinθc2κ2)yc],

RESULT 3
(same as Result 1, but different from Result 2, below)

ycz0

=

sinθc2κ2

where,

κ2

c2cos2θ+b2sin2θb2c2.

Dividing through by κ2, then adding yc2 to both sides gives,

(y)22yyc+yc2

=

[1κ2z02c2κ2+yc2]ymax2(x)2a2κ2.

Finally, we have,

1ymax2[(y)22yyc+yc2]

=

1(x)2[1a2κ2ymax2]1/xmax2.

So … the intersection expression can be molded into the form of an off-center ellipse if we make the following associations:

ycz0

=

sinθc2κ2,

MISTAKE! (see below) …      ymax2

=

1κ2[1z02c2z0sinθc2],

MISTAKE! (see below) …      xmax2

=

a2[1z02c2z0sinθc2].

Note as well that,

(xmaxymax)2

=

a2κ2=a2b2c2[c2cos2θ+b2sin2θ].

Lagrangian Trajectory and Velocities

We presume that the off-center ellipse that is defined by the intersection expression identifies the trajectory of a Lagrangian fluid element. If this is the case, there are a couple of ways that the velocity — both the amplitude and its vector orientation — can be derived.

STEP #3

If the intersection expression identifies a Lagrangian trajectory, then the velocity vector must be tangent to the off-center ellipse at every location. At each (x,y) coordinate location, the slope of the above-defined off-center ellipse is,

dydx

=

(ymaxxmax)2x(ycy).

From this expression we deduce that the x'- and y'- components of the velocity vector are, respectively,

ı^u[uu]1/2

=

1u'0(xmaxymax)(ycy),

      and,      

ȷ^u[uu]1/2

=

1u'0(ymaxxmax)x,

where the position-dependent — and, hence also, the time-dependent — length scale,

u'0

{[(xmaxymax)(ycy)]2+[1|u|(ymaxxmax)x]2}1/2

 

=

1xmaxymax[xmax4(ycy)2+ymax4(x)2]1/2.

STEP #4

Skipped this step on purpose.

Riemann Flow

STEP #5

Example Type I
Ellipsoid
(see also)
ba=a2a1 1.25
ca=a3a1 0.4703
Ω2 0.3639
Ω3 0.6633
tan1[Ω3Ω2] 61.25°
ζ2 -2.2794
ζ3 -1.9637
tan1[ζ3ζ2] 40.74°
β+ 1.13449 (1.13332)
γ+ 1.8052

As we have summarized in an accompanying discussion of Riemann Type 1 ellipsoids — see also our separate discussion[EFE] provides an expression for the velocity vector of each fluid element, given its instantaneous body-coordinate position (x, y, z) = (x1, x2, x3) — see his Eq. (154), Chapter 7, §51 (p. 156). As viewed from the rotating body coordinate frame, the three component expressions are,

x˙=u1=ı^u

=

(ab)2γΩ3y(ac)2βΩ2z

=

[a2a2+b2]ζ3y+[a2a2+c2]ζ2z,

y˙=u2=ȷ^u

=

γΩ3x

=

+[b2a2+b2]ζ3x,

z˙=u3=k^u

=

+βΩ2x

=

[c2a2+c2]ζ2x,

where,

β

=

[c2a2+c2]ζ2Ω2

      and,      

γ

=

[b2a2+b2]ζ3Ω3.


In order to transform Riemann's velocity vector from the body frame (unprimed) to the "tipped orbit" frame (primed coordinates), we use the following mappings of the three unit vectors:

ı^

ı^,

ȷ^

ȷ^cosθk^sinθ,

k^

ȷ^sinθ+k^cosθ.

x

x,

y

ycosθzsinθ,

zz0

ysinθ+zcosθ.

In the tipped frame, we find,

uEFE

=

ı^[(ab)2γΩ3(ycosθzsinθ)(ac)2βΩ2(z0+ysinθ+zcosθ)]+[k^sinθȷ^cosθ][γΩ3x]+[ȷ^sinθ+k^cosθ][βΩ2x]

 

=

ı^[(ab)2γΩ3(ycosθzsinθ)(ac)2βΩ2(z0+ysinθ+zcosθ)]+ȷ^[βΩ2xsinθγΩ3xcosθ]+k^[βΩ2xcosθ+γΩ3xsinθ].

In order for the k component to be zero in the tipped plane, we must choose the tipping angle such that,

tanθ

=

βΩ2γΩ3=0.344793θ=19.0238.

NO!!! This is wrong!

And if we examine the flow only in the tipped x'-y' plane, then we should set z=z0/cosθ. These two constraints lead to the velocity expression,

uEFE

=

ı^[(ab)2γΩ3(ycosθ+z0tanθ)(ac)2βΩ2(ysinθ)]+ȷ^[βΩ2sinθγΩ3cosθ]x.

And if we examine the flow only in the tipped x'-y' plane, then we should set z=0. These two constraints lead to the velocity expression,

uEFE

=

ı^[(ab)2γΩ3(ycosθ)(ac)2βΩ2(z0+ysinθ)]+ȷ^[βΩ2sinθγΩ3cosθ]x.

Graphically Compare Velocities

Using Excel, choose a particular elliptical orbit trajectory in the tipped plane, and plot the ratio of the Cartesian components of the fluid velocity as specified: (a) by EFE; and (b) by the tangent to the elliptical trajectory.

Adopting the axis-ratios, b/a=1.25 and c/a=0.4703, we can refer to the table labeled "Example Type I Ellipsoid" immediately above (under STEP #5) to obtain and/or check values of Ω2,Ω3,ζ2,ζ3,β+,γ+. From these tabulated values, we determine that the tip angle, tanθ=0.344793θ=0.33203.

We then know that z0 lies within the range,

z02

c2+b2tan2θ=0.40694

0.63792z0+0.63792.

As our hand-determined example, let's choose, z0=0.4310, which corresponds to the solid green ellipse that is displayed in Figure 3c of an accompanying discussion of this problem. NOTE:   Just above the referenced "Figure 3," we have stated that the limits are, z0 = ± 0.650165; not sure why that is!

Next, we find that,

κ2

c2cos2θ+b2sin2θb2c2=1.05238.

So we can evaluate a number of terms that define the relevant elliptical orbit.

CORRECTION:

ymax2 =

1κ2z02c2κ2+yc2

  =

1κ2[1z02c2+z02sin2θc4κ2]

  =

1c4κ4[c4κ2z02c2κ2+z02sin2θ]=0.51646

ymax =

0.71865.

ycz0

=

sinθc2κ2=+1.40038yc=0.60356,

Note as well that,

(xmaxymax)2

=

a2κ2=a2b2c2[c2cos2θ+b2sin2θ]=1.05238,

xmaxymax

=

1.02585,

xmax

=

0.73723.

Select points along the elliptical orbit by first specifying various values of y over the range,

(ycymax)y(yc+ymax)1.32221y0.11509

Then, for each specified value of y, calculate the corresponding value(s) of x via the relation,

[xxmax]2

=

1[yycymax]2

x

=

±xmax{1[yycymax]2}1/2.

Orthogonality Check

Let's see if the velocity vectors associated with the Riemann steady-state flow are orthogonal to the vector that is normal to the surface of the ellipsoid, at all points.

EFE Rotating Frame

The relevant "surface" is,

P(x,y,z)

=

(xa)2+(yb)2+(zc)2,

where the constant, 0P(x,y,z)1. And, from above, the relevant EFE flow field is,

x˙=u1=ı^u

=

(ab)2γΩ3y(ac)2βΩ2z

=

[a2a2+b2]ζ3y+[a2a2+c2]ζ2z,

y˙=u2=ȷ^u

=

γΩ3x

=

+[b2a2+b2]ζ3x,

z˙=u3=k^u

=

+βΩ2x

=

[c2a2+c2]ζ2x,

where,

β

=

[c2a2+c2]ζ2Ω2

      and,      

γ

=

[b2a2+b2]ζ3Ω3.

We want to determine wether the,

Orthogonality Condition

𝐮P

=

0.

is satisfied everywhere inside, and on the surface, of the ellipsoid. First, what is the expression for P?

P

=

ı^(2xa2)+ȷ^(2yb2)+k^(2zc2).

Hence,

𝐮P

=

(2xa2){[a2a2+b2]ζ3y+[a2a2+c2]ζ2z}+(2yb2){+[b2a2+b2]ζ3x}+(2zc2){[c2a2+c2]ζ2x}

 

=

(2xa2)[a2a2+c2]ζ2z(2xa2)[a2a2+b2]ζ3y+(2yb2)[b2a2+b2]ζ3x(2zc2)[c2a2+c2]ζ2x

 

=

[2ζ2xza2+c2][2ζ3xya2+b2]+[2ζ3xya2+b2][2ζ2xza2+c2]

 

=

0.

Tipped Frame

For Arbitrary Tip Angles

Given that,

x

=

x,

y

=

ycosθzsinθ,

(zz0)

=

zcosθ+ysinθ,

the constraint becomes,

P(x,y,z)

=

[ycosθzsinθb]2+[z0+zcosθ+ysinθc]2+(xa)2.

Hence,

P(x,y,z)

=

ı^(2xa2)+ȷ^{[2(ycosθzsinθ)cosθb2]+[2(z0+zcosθ+ysinθ)sinθc2]}+k^{[2(ycosθzsinθ)sinθb2]+[2(z0+zcosθ+ysinθ)cosθc2]}.

And, in the tipped frame we find,

uEFE

=

ı^{[a2a2+b2]ζ3(ycosθzsinθ)+[a2a2+c2]ζ2(z0+ysinθ+zcosθ)}

 

 

+[ȷ^cosθk^sinθ]{[b2a2+b2]ζ3x}+[ȷ^sinθ+k^cosθ]{[c2a2+c2]ζ2x}.

As a result, we find,

𝐮EFEP

=

(2xa2){[a2a2+b2]ζ3(ycosθzsinθ)+[a2a2+c2]ζ2(z0+ysinθ+zcosθ)}

 

 

+{[b2a2+b2]ζ3cosθx[c2a2+c2]ζ2sinθx}{[2(ycosθzsinθ)cosθb2]+[2(z0+zcosθ+ysinθ)sinθc2]}

 

 

{[b2a2+b2]ζ3sinθx+[c2a2+c2]ζ2cosθx}{[2(ycosθzsinθ)sinθb2]+[2(z0+zcosθ+ysinθ)cosθc2]}

[12x]𝐮EFEP

=

[1a2+b2]ζ3(ycosθzsinθ)+[1a2+c2]ζ2(z0+ysinθ+zcosθ)

 

 

+[b2a2+b2]ζ3{[(ycosθzsinθ)cos2θb2]+[(z0+zcosθ+ysinθ)sinθcosθc2]}[c2a2+c2]ζ2{[(ycosθzsinθ)sinθcosθb2]+[(z0+zcosθ+ysinθ)sin2θc2]}

 

 

+[b2a2+b2]ζ3{[(ycosθzsinθ)sin2θb2][(z0+zcosθ+ysinθ)sinθcosθc2]}+[c2a2+c2]ζ2{[(ycosθzsinθ)sinθcosθb2][(z0+zcosθ+ysinθ)cos2θc2]}

 

=

[1a2+b2]ζ3(ycosθzsinθ)+[1a2+c2]ζ2(z0+ysinθ+zcosθ)

 

 

+[b2a2+b2]ζ3[(ycosθzsinθ)b2][c2a2+c2]ζ2[(z0+zcosθ+ysinθ)c2]

 

=

[(ycosθzsinθ)a2+b2]ζ3[1a2+b2]ζ3(ycosθzsinθ)+[1a2+c2]ζ2(z0+ysinθ+zcosθ)[(z0+zcosθ+ysinθ)a2+c2]ζ2

 

=

0.

Q. E. D.

For Specific Tip Angle

So … we have demonstrated that the velocity vectors are everywhere orthogonal to the normal to the ellipsoid for all values of the "tip" angle, θ. So why have we been unable to demonstrate the same result in the case where,

tanθ

=

βΩ2γΩ3=[c2(a2+b2)b2(a2+c2)]ζ2ζ3.

Remember that,

1+tan2θ

=

sin2θ+cos2θcos2θ=1cos2θ

cos2θ=11+tan2θ

      and,      

sin2θ=tan2θ1+tan2θ.

Rearranging terms in the expression for the "tipped plane" Riemann flow velocity, we have,

uEFE

=

ı^{cosθ[a2a2+b2]ζ3(yztanθ)+cosθ[a2a2+c2]ζ2(ytanθ+z)+[a2a2+c2]ζ2z0}

 

 

+ȷ^{[b2a2+b2]ζ3tanθ[c2a2+c2]ζ2}xcosθk^{tanθ[b2a2+b2]ζ3+[c2a2+c2]ζ2}xcosθ

 

=

ı^{cosθ[a2a2+b2]ζ3(yztanθ)+cosθ[a2a2+c2]ζ2(ytanθ+z)+[a2a2+c2]ζ2z0}

 

 

+ȷ^{1tanθ[c2a2+c2]ζ2[a2+b2b2]1ζ3}xcosθ[b2a2+b2]ζ3k^{tanθ+[c2a2+c2]ζ2[a2+b2b2]1ζ3}xcosθ[b2a2+b2]ζ3


Then, for this specific tip angle, the Riemann flow velocity is,

uEFE

=

ı^{[a2a2+c2]ζ2z0}+ı^{ζ3(ztanθy)cosθ+cosθ[a2+b2a2+c2]ζ2(ytanθ+z)}[a2a2+b2]

 

 

+ȷ^{1+tan2θ}xcosθ[b2a2+b2]ζ3k^{0}

 

=

ı^{[a2a2+c2]ζ2z0}+ı^{ζ3(ztanθy)cosθcosθ[b2ζ3tanθc2ζ2]ζ2(ytanθ+z)}[a2a2+b2]+ȷ^[b2a2+b2]ζ3xcosθ

 

=

ı^{[a2a2+c2]ζ2z0}+ı^{c2(ztanθy)cosθb2sinθ(ytanθ+z)}ζ3c2[a2a2+b2]+ȷ^[b2a2+b2]ζ3xcosθ

 

=

ı^{[a2a2+c2]ζ2z0}+ı^{z(c2b2)tanθy[c2+b2tan2θ]}ζ3cosθc2[a2a2+b2]+ȷ^[b2a2+b2]ζ3xcosθ

As we have already stated,

P(x,y,z)

=

ı^(2xa2)+ȷ^{[2(ycosθzsinθ)cosθb2]+[2(z0+zcosθ+ysinθ)sinθc2]}+k^{[2(ycosθzsinθ)sinθb2]+[2(z0+zcosθ+ysinθ)cosθc2]}.

Hence,

(12x)uEFEP

=

(1a2){[a2a2+c2]ζ2z0}+(1a2){z(c2b2)tanθy[c2+b2tan2θ]}ζ3cosθc2[a2a2+b2]

 

 

+[b2a2+b2]ζ3cosθ{[(ycosθzsinθ)cosθb2]+[(z0+zcosθ+ysinθ)sinθc2]}

 

=

[ζ3c2(a2+b2)]b2z0tanθ+{z(c2b2)tanθy[c2+b2tan2θ]}cosθ[ζ3c2(a2+b2)]

 

 

+[ζ3c2(a2+b2)]1cosθ{[c2(ycosθzsinθ)cosθ]+[b2(z0+zcosθ+ysinθ)sinθ]}

[c2(a2+b2)ζ3](12x)uEFEP

=

b2z0tanθ+{z(c2b2)tanθy[c2+b2tan2θ]}cosθ+[c2(ycosθzsinθ)]+[b2(z0+zcosθ+ysinθ)tanθ]

 

=

{z(c2b2)tanθy[c2+b2tan2θ]}cosθ+[c2(ycosθzsinθ)]+[b2(zcosθ+ysinθ)tanθ]

 

=

ycosθ[c2b2tan2θ+c2+b2tan2θ]+z[(c2b2)sinθc2sinθ+b2sinθ]

 

=

0.

With Help From Excel Spreadsheet

file = Dropbox/3Dviewers/RiemannModels/RiemannCalculations.xlsx --- worksheet = TypeI_1d
file = Dropbox/3Dviewers/RiemannModels/RiemannCalculations.xlsx --- worksheet = TypeI_1d

Here, as an example, we consider the properties of a Riemann Type I ellipsoid whose semi-axes are

(a,b,c)=(1.0000,1.2500,0.4703)

. Many properties of this particular model have been stored in the Dropbox location identified by scrolling your cursor over the yellow "Data Files" icon shown here, on the left.

Body Frame of Riemann Type I Ellipsoid

We recognize that, in the body frame of a Riemann ellipsoid, the surface of the configuration is defined by the following expression:

1

=

(xa)2+(yb)2+(zc)2

Blue (x = 0) Ellipse

By setting x=z=0, we find the point where the y-axis intersects the surface of the ellipsoid, namely,

1

=

(yb)2y=ymax=b.

Similarly, by setting x=y=0, we find the point where the z-axis intersects the surface of the ellipsoid, namely,

1

=

(zc)2z=zmax=c.

If we only set, x=0, this expression generates an ellipse in the y-z plane whose semi-axes are (ymax,zmax)=(1.25,0.4703). The (y,z) coordinates of individual points along the ellipse can be determined by choosing values of y in the range,

ymaxy+ymax,

then determining the corresponding pair of values of z via the expression,

z±

=

±zmax[1y2ymax2]1/2.

This ellipse is identified in Figure 2 by the dotted-blue curve.

Figure 2:   Y-Z plane(s) of Riemann Type I Ellipsoid
file = Dropbox/3Dviewers/RiemannModels/RiemannCalculations.xlsx --- worksheet = Feb22
file = Dropbox/3Dviewers/RiemannModels/RiemannCalculations.xlsx --- worksheet = Feb22
x = +0.70 x = -0.85
Blue ellipse (x/a = 0.0); Green ellipse (x/a = + 0.70) Blue ellipse (x/a = 0.0); Green ellipse (x/a = - 0.85)

Green (x/a = 0.7) Ellipse

Next, let's examine the surface-intersection-ellipse that results from a y-z plane that slices through the ellipsoid at x/a=0.7. By setting z=0, we find the point where the y-axis intersects the surface of the ellipsoid, namely,

1(0.7)2

=

(yb)2y=ymax=b[1(0.7)2]1/2=0.89268.

Similarly, by setting y=0, we find,

1(0.7)2

=

(zc)2z=zmax=c[1(0.7)2]1/2=0.33586.

The (y,z) coordinates of individual points along this ellipse can be determined, as before, by choosing values of y in the range,

ymaxy+ymax,

then determining the corresponding pair of values of z via the expression,

z±

=

±zmax[1(0.7)2y2ymax2]1/2.

This ellipse is identified in Figure 2 by the dotted-green curve. All four of the red arrows (velocity vectors, as explained below) that are displayed in Figure 2 are anchored on this dotted-green curve; the (x,y,z)base coordinates of these anchor positions are listed in the yellow-colored elements of the following Table titled, "Red Arrows." (There is nothing special about these four chosen anchor positions other than they lie on the dotted-green ellipse.)

Red Arrows
(Velocity Components in an y-z Plane)
Number Base of each Arrow   Velocity   Arrow Tips
x y z (xa)2+(yb)2+(zc)2 y˙=u2 z˙=u3 x y z
1 0.7 -0.89268 0.00000 1.00000 -1.19738 x +0.41285 x 0.7 -1.10222 +0.07225
2 0.7 -0.16396 +0.33015 1.00001 0.7 -0.37350 +0.40240
3 0.7 +0.81981 +0.13291 1.00000 0.7 +0.61027 +0.20516
4 0.7 +0.38258 -0.30345 0.99999 0.7 +0.17304 -0.23121

As a check, we have also included in the "Red Arrows" table a column that tallies,

[(xa)2+(yb)2+(zc)2]base,

which in every case totals 1.000, as it should.

Velocity Components

In steady-state, the velocity that is associated with each coordinate location can be ascertained from our above STEP #5 discussion of the Riemann Flow. Here we are especially interested in the velocity components that are in an x = constant, y-z plane, that is,

y˙=u2

=

+[b2a2+b2]ζ3x=+[(1.25)21+(1.25)2](1.9637)x=1.19738x,

z˙=u3

=

[c2a2+c2]ζ2x=[(0.4703)21+(0.4703)2](2.2794)x=+0.41285x.

Given that all of the points along the black-dotted ellipse in our Red Arrows figure are positioned in the x=0, y-z plane, we appreciate that u2=u3=0 at all points along this black ellipse. But along the green-dotted ellipse, for which x/a=0.7, each fluid element exhibits a nonzero component of motion in the relevant y-z plane; specifically, for all points along the green ellipse,

u2|x=0.7

=

0.83816,

u3|x=0.7

=

+0.28899.

The pointed tip of each of the four red arrows in our figure is located at a coordinate position, (ytip,ztip), determined from the following pair of expressions:

ytip = ybase+14u2|x=0.7=ybase14(0.83817),
ztip = zbase+14u2|x=0.7=zbase+14(0.28899).

That is, each arrow illustrates how far a fluid element would travel away from its base location if it moved at the prescribed velocity for a time, Δt=14×[πGρ]1/2. The four red arrows serve to illustrate that, at every point along the dotted-green ellipse, the component of the velocity that lies in the y-z plane is precisely the same, in both magnitude and direction.

Primed Coordinates
Primed Coordinates

Now, if we were to examine in a similar manner the component of the fluid motion in any other x = constant, y-z plane, we would find that the red velocity vectors arising from every base point along the relevant ellipse in this new y-z plane would be the same — in both magnitude and direction — around the entire ellipse. Relative to the (dotted green) ellipse that lies in the x = 0.7, y-z plane, the magnitudes would be different — larger for larger values of

x

and smaller for smaller values of

x

— however, all of the red arrows in the new y-z plane would point in the same direction as the red arrows displayed in Figure 2.

All of the "red arrow" flow-components are tipped up, out of the x-y plane by an angle that is given by the ratio of the pair of velocity components, (u2,u3). Specifically,

tanθ = u3u2=+0.41285x1.19738x=0.34479,
θ = 0.33203 radians =19.024.

Borrowing from Figure 1, above, and appreciating that θ is negative in the example being used here, we would find that all of the red arrows, in all of the x = constant, y-z planes would lie parallel to the y axis. In our Figure 2, above, the black, dashed line serves to illustrate one such y axis; it has been drawn using the expression,

z = ytanθ+z0,

where we have set tanθ=0.34479 and z0=0.12758 for 1.25y+1.25.

Tipped Frame

Let's continue to examine the x' = x = constant, y'-z' plane, and set tanθ=0.34479 and z0=0.12758.

Draw Tilted Ellipse

So, for a fixed value of x and over this range in z, the value of y is obtained from the expression,

1

=

(xa)2+(yb)2+(zc)2.

Given that,

x

=

x,

y

=

ycosθzsinθ,

(zz0)

=

zcosθ+ysinθ,

the constraint becomes,

0

=

[ycosθzsinθb]2+[z0+zcosθ+ysinθc]2+(xa)21

0

=

c2[ycosθzsinθ]2+b2[z0+zcosθ+ysinθ]2+b2c2[(xa)21]

 

=

c2[(y)2cos2θ2yzsinθcosθ+(z)2sin2θ]+b2[(z0+zcosθ)2+2ysinθ(z0+zcosθ)+(y)2sin2θ]+b2c2[(xa)21]

 

=

(y)2[c2cos2θ+b2sin2θ]+y[2b2sinθ(z0+zcosθ)2c2zsinθcosθ]+b2(z0+zcosθ)2+c2(z)2sin2θ+b2c2[(xa)21]

 

=

A(y)2+By+C,

where,

A

c2cos2θ+b2sin2θ,

B

2b2sinθ(z0+zcosθ)2c2zsinθcosθ,

C

b2(z0+zcosθ)2+c2(z)2sin2θ+b2c2[(xa)21].

In which case,

y

=

B2A{1±[14ACB2]1/2}.

At what value(s) of z do we find that, B2=4AC?

B2

=

4AC

0

=

[b2sinθ(z0+zcosθ)c2zsinθcosθ]2[c2cos2θ+b2sin2θ][b2(z0+zcosθ)2+c2(z)2sin2θb2c2ϵ2]

 

=

[b2sinθ(z0+zcosθ)]22[b2sinθ(z0+zcosθ)c2zsinθcosθ]+[c2zsinθcosθ]2

 

 

[c2cos2θ+b2sin2θ][b2(z0+zcosθ)2][c2cos2θ+b2sin2θ][c2(z)2sin2θb2c2ϵ2]

 

=

b4sin2θ(z0+zcosθ)22b2c2(z)sin2θcosθ(z0+zcosθ)+c4(z)2sin2θcos2θ

 

 

b2c2cos2θ(z0+zcosθ)2b4sin2θ(z0+zcosθ)2c4(z)2sin2θcos2θb2c2(z)2sin4θ+b2c2ϵ2(c2cos2θ+b2sin2θ)

 

=

2b2c2z0(z)sin2θcosθ2b2c2(z)2sin2θcos2θ+c4(z)2sin2θcos2θ

 

 

b2c2cos2θ[z02+2z0(z)cosθ+(z)2cos2θ]c4(z)2sin2θcos2θb2c2(z)2sin4θ+b2c2ϵ2(c2cos2θ+b2sin2θ)

 

=

[c4sin2θcos2θ2b2c2sin2θcos2θb2c2cos4θc4sin2θcos2θb2c2sin4θ](z)2

 

 

2z0b2c2cosθ[cos2θ+sin2θ](z)+b2c2ϵ2(c2cos2θ+b2sin2θ)z02b2c2cos2θ

 

=

b2c2[2sin2θcos2θ+cos4θ+sin4θ](z)22z0b2c2cosθ(z)+b2c2ϵ2(c2cos2θ+b2sin2θ)z02b2c2cos2θ.

Hence, after dividing through by (b2c2),

0

=

(z)2+2z0cosθ(z)+z02cos2θϵ2(c2cos2θ+b2sin2θ)

zz0cosθ

=

±{1z02cos2θϵ2(c2cos2θ+b2sin2θ)z02cos2θ}1/21

 

=

±{ϵ2(c2cos2θ+b2sin2θ)z02cos2θ}1/21

z

=

±ϵ(c2cos2θ+b2sin2θ)1/2z0cosθ=0.12061±0.60307=(0.48246,0.72369)

Limits on z'

The limits on z will occur where we find that dz/dy=0. We will figure out where, along the tilted ellipse, this happens by differentiating both sides of this last expression. First, note that,

dB

=

[2b2sinθcosθ2c2sinθcosθ]dz=2sinθcosθ(b2c2)dz,

dC

b2[2z0cosθ+2(z)cos2θ]dz+2c2zsin2θdz

 

[2b2z0cosθ+2z(b2cos2θ+c2sin2θ)]dz.

Hence,

2Ady

=

dB±d[B24AC]1/2

 

=

dB±12[B24AC]1/2[2BdB]12[B24AC]1/2[4AdC]

2A(B24AC)1/2dy

=

[±B(B24AC)1/2]dB2AdC

 

=

{[±B(B24AC)1/2]2sinθcosθ(b2c2)2A[2b2z0cosθ+2z(b2cos2θ+c2sin2θ)]}dz.

The derivative, dz/dy, will go to zero when the coefficient on the LHS goes to zero, that is, when,

B2

=

4AC.

From the boxed-in derivation, above, we know that this occurs when,

z

=

±ϵ(c2cos2θ+b2sin2θ)1/2z0cosθ.

And the corresponding value(s) of y comes from the relation,

y

=

B2A{1±[14ACB2]1/20}

 

=

b2sinθ(z0+zcosθ)c2zsinθcosθc2cos2θ+b2sin2θ.

A numerical evaluation for our sample problem gives:

(z'min,y) = (0.72369,0.64380)
(z'max,y) = (+0.48246,+0.72697)
Figure 3:   Tipped Y'-Z' plane(s) of Riemann Type I Ellipsoid
file = Dropbox/3Dviewers/RiemannModels/RiemannCalculations.xlsx --- worksheet = Feb22tip
file = Dropbox/3Dviewers/RiemannModels/RiemannCalculations.xlsx --- worksheet = Feb22tip
x = +0.70 x = -0.85
Blue ellipse (x/a = 0.0); Green ellipse (x/a = + 0.70) Blue ellipse (x/a = 0.0); Green ellipse (x/a = - 0.85)

Lagrangian Trajectories in x'-y' Plane

Initial Determination

For a given choice of z0, let's map out the Lagrangian trajectory in the x'-y' "equatorial" (i.e., z' = 0) plane. The y'(x') relation is,

(y)z0

=

{B2A[1±(14ACB2)1/2]}z=0,

where,

Az0=A

c2cos2θ+b2sin2θ,

Bz0

=

[2b2sinθ(z0+zcosθ)2c2zsinθcosθ]z=0=2b2sinθ(z0),

Cz0

=

[b2(z0+zcosθ)2+c2(z)2sin2θb2c2ϵ2]z=0=b2(z0)2b2c2ϵ2.

That is to say,

2(c2cos2θ+b2sin2θ)(y)z0

=

Bz0±[Bz024ACz0]1/2

 

=

2z0b2sinθ±[4b4z02sin2θ4(c2cos2θ+b2sin2θ)(b2z02b2c2ϵ2)]1/2

(c2cos2θ+b2sin2θ)(y)z0

=

z0b2sinθ±[(c2cos2θ)(b2c2ϵ2b2z02)+(b2sin2θ)(b2c2ϵ2)]1/2

 

=

z0b2sinθ±bc[ϵ2(c2cos2θ+b2sin2θ)z02cos2θ]1/2.

For a given choice of z0, the limits on x' are given by when the argument of the square root is set to zero, that is,

ϵ2

=

z02cos2θ(c2cos2θ+b2sin2θ)

1(xa)2

=

z02cos2θ(c2cos2θ+b2sin2θ)

xa

=

±[1z02cos2θ(c2cos2θ+b2sin2θ)]1/2.

Various z_0 Slices
Various z_0 Slices

Are Orbits Exact Circles

After plotting (y)z0 as a function of x (between the just-derived limits) for several different values of z0, we noticed that each Lagrangian trajectory appears to be a circle. If this is exactly the case …

1.) RADIUS OF CIRCLE, MEASURED PERPENDICULAR TO x'-AXIS:   Given simply by this last expression, namely,

[xa]radius

=

[1z02cos2θ(c2cos2θ+b2sin2θ)]1/2

(c2cos2θ+b2sin2θ)1/2[xa]radius

=

[(c2cos2θ+b2sin2θ)z02cos2θ]1/2


2.) CENTER OF CIRCLE:   The y'-coordinate of the center of the circle is the value of (y)z0 obtained when the argument of the square root goes to zero. That is,

(c2cos2θ+b2sin2θ)[(y)z0]0

=

z0b2sinθ±bc[ϵ2(c2cos2θ+b2sin2θ)z02cos2θ]1/20

[(y)z0]0

=

z0b2sinθ(c2cos2θ+b2sin2θ).

And, along the x-axis, the inner and outer edges of the circle are identified by the positions at which x/a=0ϵ=1. That is,

(c2cos2θ+b2sin2θ)[(y)z0]limits

=

z0b2sinθ±bc[ϵ21(c2cos2θ+b2sin2θ)z02cos2θ]1/2

[(y)z0]limits

=

{z0b2sinθbc[(c2cos2θ+b2sin2θ)z02cos2θ]1/2}(c2cos2θ+b2sin2θ)1.

3.) RADIUS OF CIRCLE, MEASURED PERPENDICULAR TO x'-AXIS:   The radius of the "circle" along the x-axis is,

[(y)z0]radius

=

bc[(c2cos2θ+b2sin2θ)z02cos2θ]1/2(c2cos2θ+b2sin2θ)1

(c2cos2θ+b2sin2θ)1/2[(y)z0]radius

=

bc[1z02cos2θ(c2cos2θ+b2sin2θ)]1/2.

z0zmax (x)radius (y)0 (y)radius [yx]radius
0.000 1.000 0.000 0.974797 0.974797
- 0.700 0.714143 - 0.625325 0.696144 0.974797
- 0.975 0.222205 - 0.870989 0.216605 0.974797

How do the two radii compare? As the (immediately above) table illustrates, each trajectory's x'-radius is slightly larger than that trajectory's y'-radius. Hence, the orbits are not circular! However, as the last column (bgcolor="yellow") tabulates, the degree of flattening is very slight and, surprisingly, the ratio of radii is identical in every case.

Let's examine the analytic expression for the ratio of radii:

[x/a[(y)z0]]radius

=

[1z02cos2θ(c2cos2θ+b2sin2θ)]1/2(bc)1[(c2cos2θ+b2sin2θ)z02cos2θ]1/2(c2cos2θ+b2sin2θ)

 

=

(c2cos2θ+b2sin2θ)1/2bc.

From this last expression, we see that the two radii will be the same — thereby making the LHS unity — only if,

b2c2

=

c2cos2θ+b2sin2θ

 

=

c2cos2θ+b2(1cos2θ)

b2(c21)

=

(c2b2)cos2θ

cos2θ

=

b2(c21)(c2b2)=0.907244

θ

=

±0.30948.

This is not the case for our example model; its tilt angle is, instead, θ=0.332029.

Plot Off-Center, Slightly Flattened Ellipse

[yy'0y'radius]2

=

1(xx'radius)2

yy'0y'radius

=

±[1(xx'radius)2]1/2

This seems to work perfectly! We used Excel to generate trajectories using this expression and the results matched earlier determinations of these trajectories to machine precision.

Let's now examine the normal to the surface that is obtained from this compact trajectory expression. Given that y'0, y'radius, and x'radius are all constants, we have,

G

[yy'0y'radius]2+(xx'radius)21

12G

=

ı^[x(x)radius2]+ȷ^[yy'0(y)radius2]

 

=

ı^[xa2][(c2cos2θ+b2sin2θ)(c2z02)cos2θ+b2sin2θ]+ȷ^[yb2c2][(c2cos2θ+b2sin2θ)2(c2z02)cos2θ+b2sin2θ]ȷ^[y'0b2c2][(c2cos2θ+b2sin2θ)2(c2z02)cos2θ+b2sin2θ]

[(c2z02)cos2θ+b2sin2θ(c2cos2θ+b2sin2θ)]12G

=

ı^[xa2]+ȷ^[yb2c2][(c2cos2θ+b2sin2θ)]ȷ^[y'0b2c2][(c2cos2θ+b2sin2θ)]

 

=

ı^[xa2]+ȷ^[yb2c2][(c2cos2θ+b2sin2θ)]+ȷ^[1b2c2][z0b2sinθ]

 

=

ı^[xa2]+ȷ^[1b2c2]{y(c2cos2θ+b2sin2θ)+z0b2sinθ}

 

=

ı^[xa2]+ȷ^{ycos2θb2+(ysinθ+z0)sinθc2}.

As we have already stated — but setting z=0 and ignoring the k^ component because there is no motion in that direction —

12P(x,y,z)

ı^(xa2)+ȷ^{[(ycosθzsinθ0)cosθb2]+[(z0+zcosθ0+ysinθ)sinθc2]}+k^{[(ycosθzsinθ)sinθb2]+[(z0+zcosθ+ysinθ)cosθc2]}0.

 

=

ı^(xa2)+ȷ^{[(ycosθ)cosθb2]+[(z0+ysinθ)sinθc2]}.

Since, properly normalized, G is identical to P, and since we have already shown that 𝐮EFE is everywhere orthogonal to P, it must be true that G is everywhere orthogonal to 𝐮EFE.

Hooray!!

See Also

  • Related discussions of models viewed from a rotating reference frame:


Tiled Menu

Appendices: | VisTrailsEquations | VisTrailsVariables | References | Ramblings | VisTrailsImages | myphys.lsu | ADS |