Rotating Frames of Reference

1 Rotating Frames of Reference Phil Lucht Rimrock Digital Technology, Salt Lake City, Utah 84103 last update: October 24, 2012 Maple code is available upon request. Comments and errata are welcome. The material in this document is copyrighted by the author. The graphics look ratty in Windows Adobe PDF viewers wh en not scaled up, but look just fine in this excellent freeware viewer: http://www.tracker-software.com/pdf-xchange-products-co mparison-chart . The table of contents has live links, and u se of a wide Bookmarks pane is recommended. Overview .................................................................................................................................................. 4 Summary.................................................................................................................................................. 5 1. Notation, important role of the Prime Symbol, and other Preliminaries ...................................... 7 (a) The basis vectors e n and e'n and two ways in which they are related .............................................. 7 (b) Expansions of a vector and use of primes and parentheses............................................................. 7 (c) Special case where a' i is unambiguous............................................................................................ 8 (d) When are Two Vectors Equal?...................................................................................................... 10 (e) The Small Rotation of a vector about an axis............................................................................... .11 (f) The time rate of change of a rotating vector ............................................................................... ...13 (g) Rate of change of the basis vectors ........................................................................................ ....... 14 (h) Notations for the many time derivatives of vectors r, r', b and L .................................................. 15 (i) No frame label is needed for d/dt of a scalar function ................................................................... 19 (j) When do operations d/dt and taking a component "commute" ? ................................................... 20 2. The G Rule for arbitrary vector a and its derivation .................................................................... 22 3. The Apparatus and its Observ er at Rest in Frame S'.................................................................... 26 4. The Relationship between the Two Frames S and S'..................................................................... 28 (a) Explanation of Fig 4.1: Frame S in the plane of paper................................................................. 28 (b) Explanation of Fig 4.2: Vector ω pointing directly out of paper.................................................. 29 (c) Comments on b• S and b• S'............................................................................................................. 29 (d) Special Case #1 : ω axis through Frame S origin......................................................................... 30 (e) Special Case #2 : ω axis through Frame S' origin ........................................................................ 31 (f) The Turntable.............................................................................................................. ................... 32 (g) The earth.................................................................................................................. ...................... 33 (h) The Flying Camera Platform................................................................................................. ........ 34 5. The Goal of the next two sections ........................................................................................... ......... 35 6. Determination of velocities................................................................................................. .............. 36 (a) Velocity v S'................................................................................................................................... 36 (b) Velocity v ≡ vS.............................................................................................................................. 36 (c) Velocity v' S.................................................................................................................................... 37 (d) Velocity Summary........................................................................................................... .............. 37 2 (e) Velocities for Special Cases ............................................................................................... ........... 37 (f) Comments ................................................................................................................... ................... 38 7. Determination of accelerations ........................................................................................................ 39 (a) Acceleration a' S.............................................................................................................................. 39 (b) Acceleration a ≡ aS........................................................................................................................ 40 (c) Acceleration a S'............................................................................................................................. 41 (d) Accelerati on Summary.................................................................................................................. 41 (e) Relation between b•• S and b•• S'........................................................................................................ 41 8. The Fictitious Forces....................................................................................................... .................. 43 (a) Development of th e Fictitious Forces....................................................................................... .....43 (b) Interpretation of the Centrif ugal and Euler Fictitious Forces........................................................ 44 (c) Interpretations of the Coriolis Fictitious Force........................................................................... ...47 (d) Special Case #1 Problems ................................................................................................... .......... 51 (e) Problems on the surface of the earth ....................................................................................... ......51 (f) Tethered satellites and Tidal Forces....................................................................................... ........ 53 (g) Tides on the earth ......................................................................................................... ................. 57 9. Comparison with Marion (1970), Thornton & Marion (2003) and Taylor (2005).................... 69 10. Comparison with Goldstein (1950) and Goldstein, Poole and Safko (2001) ............................. 71 (a) The meaning of r ........................................................................................................... ................ 71 (b) The meaning of Goldstein's a s and ar (and of v s and vr)............................................................. 71 (c) A hidden approximation is located.......................................................................................... ......72 11. Angular Momentum and Fictitious Torques; the Reynolds Transport Theorem..................... 74 (a) Introduction ................................................................................................................................... 74 (b) Expression of L(c) and L•(c) in terms of Frame S' objects ............................................................ 76 (c) Fictitious Torques and Newton's Ro tational Law in a non-inertial frame..................................... 78 (d) Application: Fictitious Torques in Fluid Dynamics ..................................................................... 79 (e) Application: Fictitious Forces in Fluid Dynamics........................................................................ 81 (f) Comments on the Reynol ds Transport Theorem ........................................................................... 82 12. Summary of the Forward Problem Solution ................................................................................ 86 (a) Summary of the Forward Problem equations (non-swap notation).............................................. 86 (b) Summary of the Forward Problem equations (swap notation)...................................................... 88 13. The Inverse Problem........................................................................................................ ............... 90 (a) Brute Fo rce Method......................................................................................................... .............. 90 (b) Swap Rules Method .......................................................................................................... ............ 91 (c) Summary of the Inverse Problem Equations (non-swap notation)................................................ 93 (d) Summary of the Inverse Probl em Equations (swap notation) ....................................................... 94 (e) Why the Swap Rules (13.6) Work................................................................................................. 95 14. Rotating Frames in Curvilinear Coordinates............................................................................... 98 15. Ant on Turntable Problems .................................................................................................. ....... 101 (a) Kinematics common to all Ant Problems.................................................................................... 101 (b) Problem 1: Ant crawls at constant speed V to the Origin of Frame S'....................................... 105 (c) Problem 2: Ant spirals in at constant V and Ω to the Origin of Frame S' .................................. 113 3 (d) Problem 3: Inverse Problem: Ant flies in Frame S at constant velocity V................................ 119 (e) The Projectile Problem of Section 8 (c) .................................................................................... ..128 Appendix A: Derivation of R( ξ) for Spherical Coordinates........................................................... 134 Appendix B: Relation to Notation used in Tensor Analysis Ref [6] ............................................... 138 Appendix C: The G Rule for a Tensor of Rank n. .......................................................................... 141 Appendix D: The Foucault Pendulum............................................................................................. .147 (a) Drawings, Notation, and Coordinates........................................................................................ ..147 (b) Qualitative Solution....................................................................................................... .............. 150 (c) The Equations of Motion for a Foucault Pendulum .................................................................... 150 (d) The Spheri cal Pendulum ..................................................................................................... ........ 153 (e) The Fou cault Pendulum...................................................................................................... ......... 158 References............................................................................................................................................ 161 Overview 4 Overview Our general context is an Apparatus containing a Par ticle observed from two fram es of reference called S and S'. Frame S' is rotating and translating in some arbitrary manner with respect to Frame S as indicated in this drawing, Fig 1 A Particle is located at position r relative to the Frame S origin, and at position r' relative to the Frame S' origin. These vectors are related by r = r' + b where b is a vector connecting the frame origins. Rotation is about some possibly moving axis with some angular velocity ω which might be changing in both direction and magnitude. This document describes the relationship between the properties of the Particle as measured in these two frames of reference. The entire discussion takes pl ace in a non-relativistic framework where time is the same in the two frames. Even in this li mited context, things are fairly complicated. An important subtopic of the rotating frames di scussion might be called "Newtonian mechanics in non-inertial frames" where one considers the fate of F = m a in a non-inertial frame. This is where the famous fictitious forces appear. Most mechanics textbooks which treat rotating frames, having a multitude of other topics to address, spend 10-20 pages on the subject with the following itinerary: state the G Rule (see below), use it to derive an inter-frame velocity and/or acceleration relation, discuss fictitious forces in a rotating frame with emphasis on the Coriolis force, do a few basic problems, and end up treating the Foucault pendulum. A notable exception is the book of Taylor [1] which devotes 40 pages to the subject including a nice discussion of the tides. (In his book, our frames S and S' are called S 0 and S.) In this document, having the luxury of no space limitations, we try to probe more deeply into the technical nuts and bolts of rotating frames analysis. Almo st all calculations are done in line for the reader to see. The "papal we" mode of presentation is often used below, as if this paper had multiple authors who seem to own the equations, drawings and experiments as their personal possessions. The approved mode of course is to use passive or impersonal sentence constructions as if the author did not exist. Interestingly, Taylor [1] uses the "I mode" which is perhaps more honest and is certainly refreshing. Overview 5 Summary Section 1 sets up the notation used through out the document. As shown in Fig 1, a decision was made that Frame S' is the rotating frame, even though this conflicts with the choice made by many textbook authors. We refer to this notation as our "non-swap" no tation and all our developmen t work is done in this notation. One can imagine another version of Fig 1 which has S ↔ S', which is then our "swap" notation. Often it is more convenient to have Frame S be the rotating frame to a void an avalanche of primes in the equations of interest, and in that case the "swap" nota tion is more useful. All key results are summaried in Sections 12 and 13 in both "non- swap" and "swap" notations. Unit basis vectors are ei and e 'i for Frame S and Frame S'. A generic vector a can be expanded on either basis. The presence of two frames of reference associates with every vector a another vector a' which leads to the need for a compact no tation which distinguishes the components (a') i and (a)' i which are often different. The prime symbol ' plays a central role in the notation and is never used to indicate time differentiation (overdots are used for that purpose). After considering the meaning of equality for two vectors, we develop the notion of "conical rotational motion" according to a• = ω x a and then apply that notion to the basis vectors. The need for putting a frame label on the time derivative of a vector (but not a scalar) is demonstr ated. It is then shown that the Particle in Fig 1 has four distinct velociti es and eight distinct accelerations, reinforcing the need for a precise notation. Finally, it is noted that the operations of computing a time derivative and taking a component generally do not commute. Section 2 derives and discusses what we call "the G Rule", namely, (d a/dt) S = (da/dt)S'+ ω x a where Frame S' rotates at rate ω relative to Frame S and a is an arbitrary vector. Section 3 describes an Observer and an Apparatus containing a Particle, all of which are in the rotating Frame S'. Section 4 explains the relationship between Frames S and S' for a general placemen t of the instantaneous rotation axis about which Frame S' rotates at vector angular frequency ω. Two special cases are identified for the location of this axis, and then three applications are roughly outlined. Section 5 (which is a single paragraph) states the goal of subsequent sections which is basically to determine how, given Particle proper ties in Frame S', one may compute these properties in Frame S. The results are eventually summarized in Section 12. Section 6 derives the relationships among the four velocities mentioned above. Section 7 derives the relationship among three of the eight accelerations. This and the preceding section are as dry as dust (mud's thirsty sister), but the results are of key importance, so everything is done step by step. Section 8 addresses the traditional subject of fictitious for ces and interprets them. This of course includes the Coriolis force. An arm-waving interpretation of this force is provided for a simple four-projectile problem (on a turntable), and an exact solution to this problem later appears in Section 15. Three applications involving fictitious forces are then cons idered, but not fully analyzed: problems with moving objects near the surface of the earth, te thered satellites, and ocean tides. Overview 6 Section 9 relates our notation to th at of the texts by Marion[2] (1970), Thornton & Marion[3] [T&M] (2003) and Taylor[1] (2005). It is found that the Marion texts are very close to our "swap" notation. Section 10 then relates our notation to that of the texts by Goldstein [4] (1950) and Goldstein, Poole and Safko[5][GPS] (2001). It turns out that Goldstein/G PS and Marion/T&M use different velocities and different accelerations in their presentations, a fact that can be somewhat confusing. Furthermore, Goldstein/GPS make an unstated approximation which is declared by Marion. Section 11 comments on the angular momentum vector L and its time derivative, and establishes how these vectors are related in the two frames. The no tion of fictitious torques is introduced. It is demonstrated how both fictitious forces and torques are applied in fluid dynamics. Brief comments are made concerning fluid material and control volumes and the Reynolds Transport Theorem. Section 12 summarizes the set of equations which fulfill the goal stated in Section 5: given properties in Frame S', what are they in Frame S? The results are given in both "non-swap" and "swap" notation. Section 13 then considers the Inverse Problem: given proper ties in Frame S, what are they in Frame S'? The inverse equations are first obtaine d by laboriously inverting those pr esented in Section 12 (a), and are then obtained by a simple symmetry operation. The Inverse Problem equations are then summarized in both "non-swap" and "swap" notation. Section 14 briefly adds the complication of having a differe nt orthogonal curvilinear coordinate system in each of the frames S and S'. Up to this point, only Cartesian coordinates have been used. Section 15 treats three "ant on turntable" problems in so me detail. In the first two problems, the ant crawls in a certain manner on the turntable as it rota tes (Frame S') and the ant's position, velocity and acceleration are computed in inertial Frame S. In the third problem, the ant flies in a straight line in Frame S just over the turntable surface, and the ant's positi on, velocity and acceleration are computed in Frame S'. Many (hopefully entertaining) Maple trajectory plots are presented, along with the very simple code for these plots. In the final section, the projectile problem of Section 8 (c) is solved as a special case of the third problem, and it is noted that there are hard ways to solve rotation problems that can be avoided. Appendix A computes a certain matrix R( ξ) which relates spherical unit vectors to Cartesian ones and provides other information relate d to spherical coordinates. Appendix B shows how the present document is related to the author's Ref. [6]. For what is called Application 1, the two documents dovetail perfectly, but for Applications 2 and 3 they have a head-on collision. One repair is to call the reference frames A and B instead of S and S', which then results in some rather heavy-handed notation. Appendix C derives the G Rule for a general tensor of rank-n, leaning on the notation of Ref. [6]. Appendix D discusses the Foucault Pendulum as a limiting case of a Spherical Pendulum. References are then given for all works mentioned. Section 1: Preliminaries 7 1. Notation, important role of the Prime Symbol, and other Preli minaries (a) The basis vectors e n and e'n and two ways in which they are related Frame S has Cartesian basis unit vectors en, while Frame S' has Cartesian basis unit vectors e'n . The two sets of basis vectors are related by some rotation we shall call R (repeated indices have implied sums), e n = R e'n n = 1,2,3 or ( en)i = Rij(e'n)j (1.1) The above relation between e n and e'n can also be written in this manner (a little theorem) e n = (R-1)nm e'm , or e'n = Rnm em , (1.2) which we prove below in a short series of steps. Noti ce that the right equation in (1.1) involves a sum of basis vector components, whereas the equations in (1.2) involve a sum of basis vectors. Step 1: The Cartesian basis vectors have these properties δ n,k = en • ek = e'n • e'k and ( en)k = δn,k . (1.3) where ( en)k denotes the components of en in Frame S. Both bases are orthonormal bases. Step 2: Note that em • e'n = em • [R-1en] = ( em)i (R)-1 ij(en)j = δm,i (R)-1 ij δn,j = (R-1)mn . (1.4) Step 3: Our theorem makes this claim: en = Re'n => en = (R-1)nm e'm . Dot both sides of the claimed equation into e' k (a complete basis) and use Steps 1 and 2, en • e'k = (R-1)nm e'm • e'k => (R-1)nk = (R-1)nm δm,k = (R-1)nk . Since the claimed equation is true in each component k, it must be true as a vector equation. (b) Expansions of a vector and use of primes and parentheses Any vector a can be expanded on either set of basis vectors so that, with implied summation on i, a = ai ei = a'i e'i . a i = a • ei a' i = a • e'i (1.5) If some other vector named a' is lurking in the wings, one might want to be more careful labeling components. A safe method would be this: Section 1: Preliminaries 8 a = (a)i ei = (a)'i e'i (a)i = a • ei (a)' i = a • e'i a' = (a')i ei = (a')'i e'i (a')i = a' • ei (a')' i = a' • e'i (1.6) Here, a prime inside a parentheses is part of the vector name, whereas a prime outside a parentheses denotes a vector component in Frame S' (whereas no prime outside means a component in Frame S). Unless the relationship between vectors a and a' has a certain simple form, it is very likely that (a') i ≠ (a)'i . In this case the notation a' i would be ambiguous since one doesn 't know whether it refers to (a') i or (a)'i. It is true that the notation a i could be unambiguously identified with (a) i, but we shall maintain the parentheses just to be uniform. Example 1. As an example of the four expansions above, let us consider a = en : e n = (en)i ei => ( en)i = δn,i // by inspection e' n = (e'n)'i e'i => ( e'n)'i = δn,i // by inspection e n = (en)'i e'i => ( en)'i = (R-1)ni // using (1.2) that en = (R-1)nm e'm e' n = (e'n)i ei => ( e'n)i = Rni // using (1.2) that e'n = Rnm em We can now restate these results showing the dot pr oducts which represent each expansion coefficient, and in this way we obtain expr essions for all the dot products, en = (en)i ei => ( en)i = en • ei = δn,i e'n = (e'n)'i e'i => ( e'n)'i = e'n • e'i = δn,i en = (en)'i e'i => ( en)'i = en • e'i = (R-1)ni = RT ni = Rin e' n = (e'n)i ei => ( e'n)i = e'n • ei = Rni (1.7) Notice that all these results are consistent with claims made earlier (c) Special case where a' i is unambiguous. We shall now examine the type of relationship between a' and a in which (a') i = (a)'i and therefore we can use the notation a' i without ambiguity. First of all, if R is any rotation, meaning R TR = 1, we know that a • b = [R a] • [Rb] ( 1 . 8 ) One line proof : Section 1: Preliminaries 9 [Ra] • [Rb] = [R a]k[Rb]k = RkiaiRkjbj = (RT)jk Rkiaibj = (RTR)jiaibj = δj,iaibj = aibi = a • b Now, we are going to find the relationship between (a)' i and (a)i in the following manner. (a)'n = a • e'n = [R a] • [R e'n] // valid for any rotation R as shown above = [ R a] • en // used the specific rotation appearing in en = R e'n = [ R (a)m em] • en // inserted expansion a = (a)m em = ( a ) m (Rem) • en // extracted number (a) m from [...] = ( a ) m (Rem)k(en)k // wrote out dot product = ( a ) m Rki(em)i(en)k // wrote out (Re m)k = ( a ) m Rkiδm,iδn,k // used ( em)i = δm,i twice = R nm (a)m Therefore we have shown that the (a)' n and (a)n are always related in this manner (a)' n = Rnm (a)m ( 1 . 9 ) Now suppose we define a new vector a' in this way, a' ≡ Ra ( 1 . 1 0 ) If a vector a transforms into a' according to (1.10), we say it is a "vector under rotations" which means it "transforms as a vector under rotations". When written in Frame S components this says (a') n = Rnm(a)m ( 1 . 1 1 ) Comparison of (1.9) and (1.11) shows that (a)' n = (a')n ( 1 . 1 2 ) and therefore in this case we can use a' n ≡ (a)'n = (a')n ( 1 . 1 3 ) Thus, if the vectors a and a' are related by a' = R a where R is the rotation appearing in e n = R e'n , then we can dispense with the parentheses as shown in (12). We still have (a')' i which requires parentheses. Example 2: Consider equation (1.1) , en = R e'n Since this is not of the form a ' ≡ Ra, we may not dispense with the parent heses. In fact from (1.7) we have Section 1: Preliminaries 10 ( en)'i = Rin (e'n)i = Rni ( 1 . 1 4 ) and these are not the same because rotation matrices are not symmetric. Example 3: Soon we shall be dealing with an equation r' = r - b. Since this is not of the form r' ≡ Rr , we may not dispense with the parentheses, and we expect that (r') i and (r)'i will be different. Footnote :[6] More generally, if R is the linearized version of some general transformation x' = F (x) at a point x, so that d x' = R( x) dx, then (1.10) says that a "transforms as a contravariant vector with respect to the underlying transformation F ". In general R( x) is not a rotation and is a function of location. In this document we deal only with R(x) = R = a rotation that is the same at all points in space. It turns out that the notation a' i is unambiguous in this general case as well. Th e proof of this fact is just as shown above, except the • symbol represents the covariant dot product a • b = g¯ijaibj where g ¯ is the covariant metric tensor. In this document we always have g ¯ij = δi,j. (d) When are Two Vectors Equal? This topic will probabl y seem strange and unnecessary, but it has been a constant annoyance to the author so here are some words on the subject. When we say two vectors A and B are the same or are equal, we mean that the two vectors have the same components in the same coordinate system and we write A = B. This does not require that vectors A and B coincide. It might be that B is a translated copy of A. To be really fussy, we could define a stronger equality A =• B to mean that not only do the vectors ha ve the same components in the sense of A = B, but the vectors actually coincide with each other. We shall have no use for A =• B in this document. For us, two vectors are "the same" even if translated from one another. In light of this interpretation of vectors bein g equal, we can examine the meaning of certain statements. For example, we normally say "a particle is located at r in Frame S ". This really means the particle is at point r in Frame S which has coordinates (x,y,z). What this means in terms of the graphic vector r is that if the vector r is translated so that its tail is at the origin of Frame S, then its tip will be at the particle location. The vector r can be drawn anywhere in a picture. It describes the displacement of a particle in Frame S from the origin in Frame S. Example 4: When we say e n = R e 'n as in (1) above, it is understood that the tails of all vectors involved (the en and the e'n) are at a common location, as in this picture Fig 1.1 Section 1: Preliminaries 11 even though in our application, the en are drawn with their tails at the origin of Frame S while the e'n are drawn with their tails at the origin of Frame S'. Example 5: In the expansion r = (r)iei we normally think of vector r having its tail at the origin of Frame S, while in the expansion r = (r')'ie'i one would be inclined to think of vector r as having its tail at the origin of Frame S'. In our stricter sense of coincidence noted above, we might say (r) i ei =•/ (r')'i e'i but this is not of interest. What we care about is that (r) i ei = (r')'i e'i in the sense A = B above and we don't care if the vectors A and B are translated relative to one another. What we care about is that the vectors have the same components in any given Frame. (e) The Small Rotation of a vector about an axis We do this first algebraically and second geometrically. In the algebrai c (linear algebra) approach, the reader must accept a few facts about rotation matric es. The 3x3 matrix which rotates a vector by angle φ about rotation axis n^ according to the right hand rule is given by Rn^(φ) = exp(-i φ n^ • J) , ( 1 . 1 5 ) where the (J) k are 3x3 matrices known as the rotation generator matrices: J1 = ⎟⎟⎟ ⎠⎞ ⎜⎜⎜ ⎝⎛ − 0 i 0i 0 00 0 0 J 2 = ⎟⎟⎟ ⎠⎞ ⎜⎜⎜ ⎝⎛ − 0 0 i0 0 0i 0 0 J 3 = ⎟⎟⎟ ⎠⎞ ⎜⎜⎜ ⎝⎛− 0 0 00 0 i0 i 0 . The numbers in these three matrices can be summarized in this single statement, (Jk)ij = - i εkij ( 1 . 1 6 ) where ε is the totally antisymmetric permutation tens or defined by εabc = +1 if abc is an obtained from 123 by an even number of pairwise swaps (such as 312) εabc = -1 if abc is an obtained from 123 by an odd number of pairwise swaps (such as 213) εabc = 0 otherwise (ie, when two or more indices have the same value such as 122 or 333) (1.17) For example, ε abc = - εbac regardless of index value. A cross product component can be expressed in terms of the permutation tensor as [ a x b]i = εijkajbk with implied sums on j and k. It is convenient to define a vector rotation angle in this manner φ ≡ φ n^ ( 1 . 1 8 ) and then the rotation (1.15) may be written in these new ways, Section 1: Preliminaries 12 Rn^(φ) = R(φ) = exp(-i φ • J) . ( 1 . 1 9 ) For a small rotation d φ = dφ n^, this may be approximated as (using ex = 1 + x + ... but applied to x = matrix) R(dφ) = exp(-i d φ • J) ≈ 1 - i dφ • J . ( 1 . 2 0 ) With these preliminary remarks out of the way, we can consider the rotation of a vector a by a small amount as we move from time t to time t + dt , a(t+dt) = R(d φ) a( t ) ( 1 . 2 1 ) where dφ ≡ dφ n^ is in some arbitrary direction n^ which is unrelated to the direction of the vector a(t) . The change in vector a is given by d a = a(t+dt) - a(t) = R(d φ) a(t) - a(t) ≈ [1 - i dφ • J] a(t) - a(t) = - i d φ • J a(t) = - i d φk Jka(t) Taking the ith component of the above equation we get dai = - i dφk[Jka]i = - i dφ k(Jk)ijaj = - i dφ k( -i εkij ) aj = - εkij dφk aj = + εikj dφk aj and going back to vector notation we find that d a = dφ x a ( 1 . 2 2 ) which is our main result. It tells us the change in a vector a under a small rotation d φ. Here then is a graphical derivation of this same fact for a limited geometry. Consider this picture F i g 1 . 2 where the small rotation vector d φ points out of the plane of paper, and where a(t) happens to lie in the plane of paper (hence this picture does not cover th e most general case). Using the right hand rule for cross products, we can see that d a (shown on the right) lies in the direction of d φ x a, so we can write that da = C dφ x a where C is some constant. We can determine C from the equation |d a| = C |dφ x a| . Since dφ and a are at right angles, we know that |d φ x a| = |dφ| |a| = dφ a. But from the picture on the right it seems quite clear that |d a| ≈ a dφ. Therefore Section 1: Preliminaries 13 |d a| = C |dφ x a| => d φ a = C dφ a => C = 1 so we end up with d a = dφ x a which agrees with (1.22). In the case that a does not lie in the plane of paper, the geometric derivation takes more work, and in this case we just rely on the algebraic result. We have made free use of the notion that translated vectors are "equal". Notice the fact that d a = dφ x a does not depend on the distance D between the rotation axis and the tail of vector a! The result is true even if this dist ance is 0 so that the tail of vector a lies right on the rotation axis. In this case the pair of arrows in the left picture coincides with the pair of arrows in the right picture. Footnote: The equation R( φ) = exp(-i φ • J) can be interpreted as a rotation in N dimensions with a set of three appropriate NxN generator matrices (J k)ij. Only when N = 3 is (1.16) valid or even meaningful. In group theoretic language, these NxN matrices J k form an N-dimensional irre ducible representation of the Lie Algebra so(N) which is [J a, Jb] = iεabcJc. When J is exponentiated as shown in (1.19), the rotations R(φ) are then elements of the Lie Group known as the Rotation Group SO(N). The meaning is Special (det = +1), Orthogonal ( as in RTR= 1), and N dimensions. The vector φ then has N components. For N = 2, the generators are J k = σk/2 where σ k are the so-called 2x2 Pauli matrices associated with "spin 1/2". (f) The time rate of change of a rotating vector Note : When an equation is quoted from earlier in the document, the equation number is italicized. In the previous section we found that, d a = dφ x a (1.22) Dividing by dt gives (d a/dt) = ω x a where ω ≡ dφ/dt . (1.23) This equation is a fundamental importance in this document. It describes the rotation of vector a at rate ω about an axis parallel to ω. The equation can be represented by e ither of these "cone pictures" : Fig 1.3 (a) (b) Section 1: Preliminaries 14 Comments: 1. In (b), the tip of vector a traverses a circular path and so does the tail. The tail is always distance D from the rotation axis. One usually sees the simple r picture (a) where D = 0. Recall from above that distance D of the tail from the rotation axis is irrelevant. The motion of the vector a is exactly the same in both these cone pictures. ( Recall the comments in s ection (d) about "when are two vectors equal". ) 2. It is probably best to describe the rotating motion of vector a as a "conical motion" rather than a "circular motion", even though the tip of vector a travels in a circular motion. In the special case that ψ = π/2, meaning the tip of the cone has moved to the center of its circular end face (and ω • a = 0), then vector a would swing around in a true "circular motion". 3. Note that one might have ω = ω(t) so the vector ω could be changing in both direction and magnitude as time progresses. But at time t we have a definite ω^(t), and this is sometimes referred to as the instantaneous direction of rotation at time t, and ω(t) the instantaneous angular velocity. In everything below, we always think of ω in this instantaneous sense, even though we might draw guide circles and cones to show the instantaneous motion at some instant of time t. 4. Knowledge of vector ω does not in fact say where the rotation axis is located. Again we invoke the comments of section (d) above. There are two translati onal degrees of freedom in that the rotation axis can be translated parallel to itself in two dimensi ons. Comparing (a) and (b) above, one sees an example of the same ω but two different rotation axes, one translated re lative to the other. In (b) the red and black ω vectors are the same vector. One normally draws the vector ω on the rotation axis as done in red. 5. As noted, in (a) and (b) the conical motion of vector a is the same and is independent of the placement of the rotation axis as long as it is parallel to ω. However , in Figure 1 there is a large change in the physical relationship between Frame S and Frame S' if the rotation axis is translated and ω stays the same. 6. In the case that ω = constant, a simple solution to (1.23) can be obtained. This equation is a system of three coupled first-order linear ordi nary differential equations. Writing a = axx^ + ayy^ + azz^ and ω = ωz^, the three equations become a •x = -ωay, a•y = ωax, and a •z = 0. Thus a••x = -ω2ax and we end up with this general solution, a x(t) = A cos( ωt) – Bsin( ωt) a x(0) = A ay(t) = A sin( ωt) + Bcos( ωt) a y(0) = B az(t) = az(0) = C = constant a z(0) = C (1.24) The vector a starts out at some a(0) = (A,B,C) and does the conical mo tion drawn above, not just in the instantaneous sense, but in the full sense so that a really goes around the entire cone. (g) Rate of change of the basis vectors We can apply our rate of change rule (1.23) to the basis vectors e'n to obtain (d e'n/dt ) = ω x e'n . Section 1: Preliminaries 15 We are implicitly computing this derivative while "standing" in Frame S. That is to say, looking at Fig 1 in the Introduction above, we can regard Frame S as being fixed to the paper and Frame S' is rotating and its basis vectors e'n are changing as stated above. It is extrem ely important to make this fact explicit, so we now add a label S showing this fact, (d e'n/dt)S = ω x e'n . ( 1 . 2 5 ) Were we to compute this same deriva tive standing in Frame S', we would get (d e'n/dt)S' = 0 ( 1 . 2 6 ) because in Frame S' the basis vectors e'n are not rotating at ω, but are just sitting there frozen. By the same argument, we know that (d en/dt)S = 0 . ( 1 . 2 7 ) What about the fourth possible derivative (d en/dt )S' ? We will show in (2.9) below that in fact (d en/dt)S' = – ω x en . ( 1 . 2 8 ) It seems at least reasonable that if the e'n are rotating relative to the en by ω, then the en are rotating relative to the e'n by -ω. Main Conclusion : We thus arrive at the notion that, when dealing with multiple frames of reference and vectors represented in terms of their respective basis v ectors, we absolutely must indicate with a label the frame in which a time derivative is being calculated. (h) Notations for the many time d eri vatives of vectors r, r', b and L In the Introduction we described r and r' as the position vectors of a Particle with respect to Frames S and S' . We can associate with these two vectors four different time derivatives. (d r/dt)S (d r/dt)S' ( d r'/dt)S (d r'/dt)S' (1.29) In the usual manner, we represent a time derivativ e of a vector by an over-dot, and a second time derivative by an over-double-dot. The first time derivative of position r is velocity v, and the second is acceleration a. The same for r', v' and a' , so v = r• v' = r•' a = v• = r•• a' = v•' = r••' ( 1 . 3 0 ) In order to save space, we can define these two operators ∂S ≡ (d/dt)S ∂S' ≡ (d/dt)S' ( 1 . 3 1 ) Section 1: Preliminaries 16 Although the ∂ symbol is used in partial differentiation, our use here is exactly as defined above and so our ∂ is not a partial derivative (except in a very abstract sense). The list of derivatives above can be written now in several ways. In each column below, all objects are exactly the same thing, just written in different notations: Table of first derivatives of r Table of first derivatives of r' (d r/dt)S (d r/dt)S' ( d r'/dt)S (d r'/dt)S' r•S ≡ r• r•S' r•'S r•'S' ≡ r•' vS ≡ v vS' v'S v'S' ≡ v' ∂Sr ∂S'r ∂ Sr' ∂S'r' (1.32) For further clutter reduction, we have added the four new notations shown in red according to the following rule: When a vector and all its derivatives (here only one) are all in (or associated with) the same frame, we suppress the frame subscript and just let the prime or lack of it "do the talking", and refer to such as object as being "natural". There is no notational ambiguity in so doing. The velocities shown in th e center two columns above, vS' = (dr/dt)S' and v'S = (dr'/dt)S, shall be referred to as "cross velocities", as dis tinct from the two "natural velocities". What about second derivatives? Things ar e more complicated now because vector r can have four distinct second derivatives, and so can vector r'. Just as done above, we construct a table for each , and in each column of each table, all objects are the same object : Table of second derivatives of r ∂S∂Sr ∂S∂S'r ∂S'∂Sr ∂S'∂S'r r••SS ≡ r••S ≡ r•• r••SS' r••S'S r••S'S' ≡ r••S' v•SS ≡ v•S ≡ v• v•SS' v•S'S v•S'S' ≡ v•S' aSS ≡ aS ≡ a aSS' aS'S aS'S' ≡ aS' Table of second derivatives of r' ∂S∂Sr' ∂S∂S'r' ∂S'∂Sr' ∂S'∂S'r' r••'SS ≡ r••'S r••'SS' r••'S'S r••'S'S' ≡ r••'S' ≡ r••' v•'SS ≡ v•'S v•'SS' v•'S'S v•'S'S' ≡ v•'S' ≡ v•' a 'SS ≡ a'S a'SS' a'S'S a'S'S' ≡ a'S' ≡ a' (1.33) Here we again use the rule mentioned above that when a vector and all its derivatives are in the same frame, we let the overall prime or lack of it do the ta lking. We have introduced a second rule as well, which says that whenever both frame subscripts are the same, we suppress one of them to save space. In the table above we then have two "natural" accelerations a and a', and six "cross accelerations". Section 1: Preliminaries 17 So now we have the following "natural" vectors havi ng minimal (that is, no) frame subscript clutter: r• v r•• v• a natural in Frame S r•' v' r••' v•' a ' natural in Frame S' Recall from the Introduction that the vector b connects the origins of two frames. We can make a table of first and second derivatives for this vector as well. Although b• is a velocity and b•• is an acceleration, we shall not make up separate symbol names for these objects (though some authors do). Also, note that there is no vector in Fig 1 called b', we just have r = r' + b. Here are the corresponding tables for first and second derivatives of b, where we use only the second rule above that when two frame subscripts are the same we suppress one of them. Table of first derivatives of b (d b/dt)S (d b/dt)S' b• S b• S' ∂Sb ∂S'b Table of second derivatives of b ∂S∂Sb ∂S∂S'b ∂S'∂Sb ∂S'∂S'b b•• SS ≡ b•• S b•• SS' b•• S'S b•• S'S' ≡ b•• S' (1.34) Comment: Just as a reminder, any derivative in the above section can be expanded onto either Frame S or Frame S' basis vectors, so any derivative has Frame S and Frame S' components. This statement would be true for any vector and we just remind the reader that the notation like (d r/dt)S does not mean the components are evaluated only in Frame S. Just as an example, this first derivative has these two expansions where the expansion coefficien ts (components) are shown on the right, (d r/dt)S = [(d r/dt)S]i ei [(d r/dt)S]i = (d r/dt)S • ei (d r/dt)S = [(d r/dt)S]'i e'i [(d r/dt)S]'i = (d r/dt)S • e'i . Section 1: Preliminaries 18 Angular momentum . We set mass m = 1, so momentum p = mv = v. One can then think of all L objects below as really being L/m and use that fact to reinsert m's at the end. The drawing of interest is Fig 2, to which we have added an arbitrary points c and c', Fig 1.4 Whereas the linear momentum p of a particle does not require a reference point, angular momentum L does require such a reference point (see Section 11). For example, the Particle in the above figure has many different values of L in Frame S, some of which we might denote as follows, L(0) = r x v / / L in Frame S with respect to Frame S origin L(c) = (r-c) x v / / L in Frame S with respect to Frame S point c L(b) = (r-b) x v / / L in Frame S with respect to Frame S point b L(b) = r' x v / / L in Frame S with respect to Frame S' origin where the last two lines are exactly the same since b is a vector between the two origins. Using the general form L(c), we may identify the following two "natural" angular momenta in Frames S and S', L(c) S ≡ (r-c) x vS = ( r-c) x v ≡ L(c) L'(c') S' ≡ (r'-c') x v'S' = (r'-c') x v' ≡ L'(c') ( 1 . 3 5 ) The time derivative of the first of these objects is given by L•(c) = L•(c) S = ∂S L(c) S = ∂S [(r-c) x vS] = (vS - c•S) x vS + (r-c) x ∂S vS = – c•S x vS + (r-c) x aS = – c•S x v + (r-c) x a . A similar result is obtained by priming everything on the above line, so we end up with these four equations: Section 1: Preliminaries 19 L(c) = ( r-c) x v L•(c) = ( r-c) x a – c•S x v L'(c') = (r'-c') x v' L•'(c') = (r'-c') x a' – c•'S' x v' ( 1 . 3 6 ) These "natural" pairs of objects co rrespond to each other just the way v and v' correspond, but each observer ( one in each frame) is free to select her refe rence point arbitrarily. If they both find it convenient to select the same point in space as reference point, then b+c' = c, but in general this condition does not apply. A common choice would be for the Frame S obs erver to choose the Frame S origin as reference point so c = 0, and for the Frame 'S observer to choose the Frame S' origin as reference point so c'= 0. In this simplest of all cases, we find L(0) = r x v L•(0) = r x a L'(0) = r' x v' L•'(0) = r' x a' ( 1 . 3 6 a ) The discussion of angular momentum continues in Section 11. (i) No frame label is needed for d/dt of a scalar function If one is differentiating a specific component of a vector, such as a i(t) = 3t2, there is no need to add the frame label since the derivative of this function is 6t no matter what frame it is computed in. This is true when differentiating any component of any tensor. That is to say, if T ij..(t) is a component of a tensor, then (dTij..(t)/dt)S = (dTij..( (t)/dt)S' = (dTij..(t)/dt) . (1.37) We would like simply to say that the d/dt derivative of any scalar function does not need a label S or S', but the word "scalar" has multiple meanings. In one meaning, any single function f(t) is a scalar function since it is a 1-tuple of functions, but in another mean ing (tensorial scalar), only a function which is a rotational scalar is a scalar function, and this would rule out the component of a vector as being a scalar function. We refer to the first meani ng in the title of this subsection. Section 1: Preliminaries 20 (j) When do operations d/dt and taking a component "commute" ? Using (1.25) → (1.28), (1.7), and the following other facts, ( eix ej)k = εijk // since ( ei)n= δi,n (ω)'i = Rijωj // (1.9) for ω ( eix e'j)k = εkibRjb (ω)'k // from (1.7) εkabRiaRjb = εsijRsk // obscure fact about rotation matrices, related to cof(R ij) = Rij one can compute the following set of time derivative components: 1 [(d a/dt )S]j = (d (a)j/dt) // a = (a)iei 2 [(d a/dt )S]'j = (d (a)i/dt) Rji 3 [(d a/dt )S']j = (d (a)j/dt) – ω k εkij (a)i 4 [(d a/dt )S']'j = (d (a)i/dt) Rji – ωk εkim Rjm (a)i 5 [(d a/dt )S']'j = (d (a)'j/dt) // a = (a)'ie'i 6 [(d a/dt )S']j = (d (a)'i/dt) Rij 7 [(d a/dt )S]'j = (d (a)'j/dt) + (ω)'k εkij (a)'i 8 [(d a/dt )S]j = (d (a)'i/dt) Rij + (ω )'k εkim Rmj(a)'i ( 1 . 3 8 ) The first four are found by expanding a = aiei and the second four by expanding a = (ai)'e'i. The second group can be obtained from the first by doing S ↔ S' (on frame labels a nd all components), negating ω, and taking R → R-1 = RT. The details are not so important here as the i ssue of "commutation". Consider lines 1 and 5, [(d a/dt )S]j = (d (a)j/dt) [(d a/dt )S']'j = (d (a)'j/ d t ) . ( 1 . 3 9 ) In these two cases (only!) we find that th ese two operations commute with each other Operation 1: compute (d/dt) X Operation 2: take the jth Frame X component. Consider the first line in (1.39). On the left side we first compute the vector (d a/dt)S, and second we take the jth Frame S component of the result. On the right side we first take the jth Frame S component of a, and second we compute the derivative. The result is th e same either way, so the operations "commute". Recall from section (i) above that the time de rivative of a scalar needs no frame label. For the other six derivatives shown above this is not true because there are extra factors and/or extra terms. We are led to the following theorem: Section 1: Preliminaries 21 Commutation Theorem: (1) In general, the operations of taking a time de rivative and taking a component do not commute. (2) The exception is that the operations do commute if th e frame in which the time derivative is computed is the same as the frame associated with the components which appear on both sides of the equation. In the first line in (1.39) the time derivative is taken in Frame S, and the components on both sides are Frame S components. In the second line in (1.39) the time derivative is taken in Frame S', and the components on both sides are Frame S' components. These components are [...] ' j and (a) 'j. Goldstein[4] makes this point about non-commutation as a "word of caution" on the bottom of page 133 with an example on the top of page 134. In GPS[5] the caution is stated on page 173, but the example has been removed. Section 2: The G Rule 22 2. The G Rule for arbitrary vector a and its derivation In this section, a is a generic vector -- it could be any vector. The "G Rule for vector a" is this (written three equivalent ways) ∂Sa = ∂S'a + ω x a (d a/dt)S = (da/dt)S' + ω x a a•S = a•S' + ω x a ( 2 . 1 ) where in the first line we use the abbreviations ∂ X = (d/dt) X where X is a frame of reference. G is in honor of Herbert Goldstein since the Rule a ppears on page 133 of his classic 1950 book Classical Mechanics[4] (and he used the vector G instead of our a). Perhaps another name for this rule would be "the rule which relates the time derivatives of a vector taken in two frames of reference S and S' where Frame S is fixed and Frame S' is rotating at instan taneous vector angular velocity ω about some unspecified rotation axis which is parallel to the vector ω". Equation (2.1) goes by a few obscure names, some people calling it a "transport theorem" or a "basic kinematic equation", but most authors who use it give it no name. The content of (2.1) must have been known to Coriolis [7] in 1835, but the cross product notation was not in use at that time. According to Crowe[8,9], the cross product idea arose gradually from the work of Hamilton (quaternions) and Grassmann (vector areas) as early as the 1840's, and later from work of Gibbs in the 1880's, with the possible involvement of a certain Reverend O'Brien in 1852. In any event, the cross product notation (and bolded vector notation in general) was first introdu ced to the textbook-reading public when Gibbs gave his student Wilson the task of publishing and improving his notes. Their book Vector Analysis[10], published in 1901, was reprinted 7 times and was then made a Dover book in 1960. It happens, however, that this book makes no mention of the G Rule or even "frames of reference". Since the G Rule applies to any vector a, sometimes the vector is left out and one writes this operator equation, (d/dt) S = (d/dt) S' + ω x . (2.2) In Goldstein's books [4,5] these equations appear as (space = Frame S = s, body = Frame S' = rotating = r) (d G/dt)space = (dG/dt)body + ω x G // Goldstein p 133 (4-100) // GPS p 172 (4.82) (d/dt)space = (d/dt) body + ω x . // Goldstein p 133 (4-102) (d/dt) s = (d/dt) r + ω x // GPS p 173 (4.86) Derivation of the G Rule When one deals with a single specific Cartesian frame of reference, the "facts" quoted below are all obvious, taken for granted, and are easily proven. Nevertheless, we state these facts explicitly. Section 2: The G Rule 23 For any vector v and scalar u, here is Leibniz's Rule when one object is a vector and the other a scalar : (d[u v]/dt)S = (du/dt) v + u (d v/dt)S S (d[u v]/dt)S' = (du/dt) v + u (d v/dt)S' S' . (2.3) The above can be extended to a sum (implied on i) where v(i) is some arbitrary set of labeled vectors, (d[u iv(i)]/dt)S = (dui/dt) v(i) + ui (dv(i)/dt)S S (d[u iv(i)]/dt)S' = (dui/dt) v(i) + ui (dv(i)/dt)S' S' . (2.4) Setting u i = (a)'i and v(i) = e'i we can differentiate a = (a)'ie'i , (d[(a)' ie'i]/dt)S = (d(a)' i/dt) e'i + (a)'i (de'i/dt)S S (d[(a)' ie'i]/dt)S' = (d(a)'i/dt) e'i + (a)'i (de'i/dt)S' S' . (2.5) Then using the fact (1.25) that (d e'i/dt)S = ω x e'i and (1.26) that (d e'i/dt)S' = 0, this becomes (d a/dt)S = (d(a)' i/dt) e'i + (a)'i ω x e'i S (d a/dt)S' = (d(a)'i/dt) e'i S' . (2.6) Insertion of the second line into the first gives (d a/dt)S = (d a/dt)S' + (a)'i ω x e'i . ( 2 . 7 ) But (a)' i ω x e'i = ω x [(a)'i e'i] = ω x a so the above becomes (d a/dt)S = (d a/dt)S' + ω x a (2.8) and our derivation of the G Rule (2.1) is complete . This simple derivation was loosely based on Hunt [11]. Example 1: Suppose a = e'i . Then our rule (2.1) says (d e'i/dt)S = (d e'i/dt)S' + ω x e'i But we noted in (1.26) the obvious fact that (d e'i/dt)S' = 0, so the above becomes (d e'i/dt)S = ω x e'i which agrees with (1.25). Example 2: Suppose a = ei . Then rule (2.1) says (d ei/dt)S = (d ei/dt)S' + ω x ei . Section 2: The G Rule 24 But we noted in (1.27) the obvious fact that (d ei/dt)S = 0, so the above becomes (d ei/dt)S' = – ω x ei ( 2 . 9 ) and we have now derived the claim made in (1.28). Example 3: Suppose a = ω. Then rule (2.1) says (dω/dt)S = (dω/dt)S' + ω x ω = (dω/dt)S' so for this one vector ω both derivatives are the same and we write (dω/dt)S = (dω/dt)S' ≡ dω/dt = ω• . ( 2 . 1 0 ) Example 4. Using the dot notation of (1.30), and assuming there are two related vectors a and a', the G Rule states a•S = a•S' + ω x a that is ∂Sa• = ∂S'a• + ω x a a•'S = a•'S' + ω x a' that is ∂Sa•' = ∂S'a•' + ω x a' (2.11) Example 5. We can apply this rule to any of the vectors lis ted in Section 1 (h). Here are a few examples: b• S = b• S' + ω x b ( 2 . 1 2 ) r•S = r•S' + ω x r or vS = vS' + ω x r r•'S = r•'S' + ω x r' o r v'S = v'S' + ω x r' v•S = v•S' + ω x vS o r aS = aS' + ω x vS v•'S = v•'S' + ω x v'S or a'S = a'S' + ω x v'S (2.13) Question : Are there any restrictions on the vector a for which the G Rule applies? The only fact used above about a is that a can be expanded on Cartesian basis vectors as a = a'i e'i and that the component fields a'i(t) are differentiable. If the tail of vector a does not lie at the origin of Frame S', we just translate a such that this is the case, as per Section 1 (d). Significance of the G Rule: In all the computations below, basically the only operations done are these: • Apply the G Rule to some vector • Apply ∂S to both sides of some equation • Apply ∂S' to both sides of some equation Section 2: The G Rule 25 Question: What happens if we instead expand a = aiei? Then similar to (2.5) we have (d[(a) iei]/dt)S = (d(a) i/dt) ei + (a)i (dei/dt)S S (d[(a) iei]/dt)S' = (d(a)i/dt) ei + (a)i (dei/dt)S' S' . (2.14) But using the fact (1.27) that (d ei/dt)S = 0 and (2.9) that (d ei/dt)S' = – ω x ei we get (d a/dt)S = (d(a) i/dt) ei S (d a/dt)S' = (d(a)i/dt) ei – (a)i ω x ei S ' . ( 2 . 1 5 ) Inserting the first line into the second and setting (a) i ω x ei = ω x [(a)i ei] = ω x a then gives (d a/dt)S' = (da/dt)S – ω x a ( 2 . 1 6 ) which is again the G Rule (2.1) or (2.8). Finally, the first line of (2.15) can be written as [(d a/dt)S]i = (d(a)i/ d t ) ( 2 . 1 7 ) and the second line of (2.6) can be written as [(d a/dt)S']'i = (d(a)' i/ d t ) . ( 2 . 1 8 ) These are recognized as the two commutating cases in the Commutation Theorem of Section 1 (j). In these cases we can do operations "compute d/dt in Frame X" and "take the ith Frame X component " in either order. Note: In Appendix C we generalize the G Rule to tensors of arbitrary rank, so the G Rule of this Section is the general case applied to rank 1 tensors (vectors). Section 3: Rotating Observer 26 3. The Apparatus and its Observer at Rest in Frame S' In our general "experiment" to be de scribed below, Frame S' is rotating with respect to Frame S. This does not necessarily imply that Frame S is "at rest", but Frame S is at rest with respect to the paper on which we draw Fig 1. If Frame S is truly at rest with respect to the stars, then Frame S is called an inertial frame, and in such a frame Newton's 2nd Law F = m a is valid. We do not in general assume that S is such an inertial frame. Imagine now that we have some Apparatus sitti ng in Frame S' which contains a Particle which undergoes some motion. The Particle might be a mass on one or more springs, or it might be Particle in ballistic flight, or it might be a Particle of matter in a gear wheel which is turning in some complicated machine, or it might be a Particle of a fluid or of an elastic solid. An Observer also sitting in Frame S' has some m easurement equipment, can see the axes of Frame S' of course, and does certain measurements on the Particle while Frame S' is rotating with respect to Frame S. The Particle is located at position r in Frame S and position r' in Frame S'. The Observer can see Frame S and is aware of both r and r' and can make measurements of them both. For example, although r is the position vector of the Particle relative to the Frame S origin, our Observer measures its components in Frame S' this way r = (r)'ie'i (r)' i = r • e'i while his measurement of r' reveals these components r' = (r')'ie'i (r')' i = r' • e'i . However, the Observer can only measure frame-S' deri vatives. From our list we then select these items vS' = r•S' = (d r/dt)S' v'S' = r•'S' = (d r'/dt)S' ≡ v' (1.32) aS' = v•S' = (d vS'/dt)S' = (d2r/dt2)S' a'S' = v•'S' = (d v'S'/dt)S' = (d2r'/dt2)S' ≡ a' (1.33) b• S' = (d b/dt)S' rate of change of b as viewed from Frame S' above (1.34) For example, he might measure the frame-S Particle location r(t) at time t as, wait one time tick dt, then measure it again to get r(t+dt). Then vS'(t) = [ r(t+dt) – r(t)]/(dt) or vS'(t) = (d r/dt)S' . Alternatively, he could measure r'(t) and r'(t+dt) and get v'S'(t) = [ r'(t+dt) – r'(t)]/(dt) or v'S'(t) = (d r'/dt)S' = v' . Section 3: Rotating Observer 27 Waiting another dt tick, he could measure r(t+2dt) and r'(t+2dt) and then deduce vS'(t+dt) and v'S'(t+dt). From these in turn he could determine aS'(t) = [ vS'(t+dt) - vS'(t)]/(dt) or aS'(t) = (d vS'/dt)S' a'S'(t) = [ v'S'(t+dt) - v'S'(t)]/(dt) or a'S'(t) = (d v'S'/dt)S' = a' . At this point he also knows these two angular momentum vectors LS' = r x mvS' L'S' = r' x mv'S' (1.35) and then using the method just outlined he could measure L• S' = (d LS'/dt)S' L•'S' = (d L'S'/dt)S' . (1.36) Section 4: Relationship between S and S' 28 4. The Relationship between the Two Frames S and S' (a) Explanation of Fig 4.1: Frame S in the plane of paper The relation between the two frames is shown in this picture, a snapshot at some time t : F i g 4 . 1 There is a lot to be said about this picture (w hich is the same as Fig 1 in the Overview) The axes e2 and e3 of Frame S are in the plane of paper and ar e "aligned with paper" as shown and remain fixed relative to paper, so the Frame S origin lies in th e plane of paper. The origin of Frame S' is displaced by amount b from the origin of Frame S, and this S' origin does not lie in the plane of paper. The location of the Particle does not lie in the plane of paper, so vectors r, r' and b , although coplanar with each other, are each not in the plane of paper. Similarly, the ω rotation axis does not lie in the plane of paper nor is it parallel to it. Frame S' is instantaneously rotating about some axis indicated by ω(t). Each of the basis vectors e'n is rotating according to (1.25), (d e'n/dt)S = ω x e'n, as the Frame S' moves rigidly in rotation about the ω rotation axis. The origin of Frame S' is instantaneously rotating along the green circle of some instantaneous radius r ω which has its center on the rotation axis at a green dot. This green dot, meanwhile, is moving at some velocity vωpar in the plane of the green circle re lative to Frame S. This indicates the motion of the rotation axis parallel to itself. Suppose Frame S' contains a rigid object fixed relative to the Frame S' axes. If we were to select some point P in that rigid object, that point P would be instantaneously rotating about the ω(t) axis along a circle similar to the one shown a bove, but which has a different radius and a different center point along the same rotation axis. If ω^ were constant in time and if vωpar were 0, the origin of S' really would move along the full green circle shown, but we have in mind that ω = ω(t) and this varies in time, both in magnitude and direction. Thus, the green circle is itself tilting to stay in a plane perpendicular to ω(t). Viewed from Frame S, the unit vectors of Frame S' are oriented and move according to several equations we have already dealt with Section 4: Relationship between S and S' 29 e'n(t) = R-1(t) en (1.1) e'n(t) = Rnm(t) em (1.2) (d e'n/dt)S = ω(t) x e'n( t ) . (1.25) (b) Explanation of Fig 4.2: Vector ω pointing directly out of paper We now draw Fig 4.1 from a different perspective. The reader will hopefully forg ive the "artist" for not attempting to draw Fig 4.2 as a prec ision 3D rotated version of Fig 4.1, but hopefully the general features of the drawing are sufficient for our purposes below. F i g 4 . 2 Frame S remains fixed as time varies, but is now rotate d relative to Fig 4.1 and the S origin no longer lies in the plane of paper. At time t for which the picture is drawn, the origin of Frame S' and the green circle and its center do lie in the plane of paper. The ω vector points straight out at the viewer as indicated by the circled dot. Vectors r, r' b do not lie in the plane of paper. Fig 4.1 is meant to give the general lay of the land, but Fig 4.2 is the one we will work with below. (c) Comments on b• S and b• S' The quantity b• S = (d b/dt)S describes the instantaneous velocity of the Frame S' origin relative to that of Frame S. When ω = 0, Frame S' merely translates relative to Frame S with position b, velocity b• S and acceleration b•• S . When ω ≠ 0, however, for a general placement of the rotation axis one can regard b, b• S and b•• S as quantities derived from the location and move ment of that axis and from the value of ω, all of which one imagines are controlled by some mechan ical outside agency. An exception is Special Case #2 below where the rotation axis passes through the Frame S' origin. Section 4: Relationship between S and S' 30 The quantity b• S' = (d b/dt)S' is a "cross velocity" in the sense of Sec tion 1 (h) and is difficult to interpret. In Special Case #1 below, however, the vector b is effectively glued to the Frame S' axes and b• S' = 0, causing simplification of several equati ons which will be obtained below. The connection between b• S and b• S' is provided by the G Rule for vector b, b• S = b• S' + ω x b . ( 4 . 1 ) In Section 7 (e) we derive the relationship between accelerations b•• S = ∂Sb• S and b•• S' = ∂S'b• S' . (d) Special Case #1 : ω axis through Frame S origin The rotation axis always passes through the origin of Frame S, so Fig 4.2 appears as follows, Special Case #1 F i g 4 . 3 The Frame S' origin and the green circle are still in the plane of paper, but the Frame S origin is in general not, so vector b is not in the plane of paper. In this situation, the vector b and the vectors e'n all rotate together as if they were thin metal rods soldered t ogether. This has the immediate implication that, just as (de'n/dt)S' = 0 in (1.26), so we have Section 4: Relationship between S and S' 31 b• S' ≡ (db/dt)S' = 0 ( 4 . 2 ) and therefore, from (4.1), we ha ve instantaneous conical motion for b, b• S ≡ (db/dt)S = ω x b . ( 4 . 3 ) Fig 4.4 This says that, as seen in Frame S, the change in b is always perpendicular to b, so the length of b does not change. We still allow ω = ω(t) and, as ω^(t) changes, the tip of vector b (which is the origin of Frame S') describes some path on the surface of a sphe re of radius b in Frame S. Here we allow ω^(t) to change, but the rotation axis must always touch the Frame S origin. (e) Special Case #2 : ω axis through Frame S' origin Here the rotation axis always passes through the origin of Frame S' : Special Case #2 F i g 4 . 5 In this case our Fig 4.2 green circle has shrunk around the Frame S' origin. In this situation, we can think of the "driving parameters" being the three parameters of b and the three parameters of ω giving the 6 independent (Galilean) parameters defining the instan taneous relationship between the frames. Think of Frame S' as a camera platform which is supported on a boom b(t) and which independently controls its own orientation and rotation ω(t). Then b• S and b•• S are determined by b(t), and b• S' is given by (4.1) as b• S' = b• S – ω x b . ( 4 . 4 ) Section 4: Relationship between S and S' 32 We now look at three sample applications. The first two fall into the Special Case #1 category, while the third is an example of Special Case #2. (f) The Turntable Although obsolete, the phonograph turntable continues to provide an excellent visualization of rotating frames. It turns slowly enough for one to actually see it turn, it is fairly large, and the surface is not shiny and completely featureless. It is believed that throughout history such turntables normally rotated clockwise in both hemispheres of the earth, but in ou r drawings below we shall think of our turntable as turning counterclockwise. Fig 4.6 An ant (Particle) is crawling around on such a turntable which is rotating with some ω(t). The Frame S' is set up some distance b = | b(t)| from the spindle, and has its e'1 axis pointing "to the right" and its e'2 axis pointing to the spindle. That is to say, e'1 = θ^ and e'2 = -r^ if we think of r,θ as polar coordinates for fixed Frame S. In this application, ω(t) = ω(t)e3 and the rotation axis passes though the origin of Frame S, so this is a Special Case #1 situation with ω^(t) = e3 being constant. Conversely, vector b(t) maintains its magnitude b, but b^(t) rotates about the spindle at angular rate ω(t) as seen from Frame S which is at rest. Fig 4.7 Section 4: Relationship between S and S' 33 This type of Frame S' designation would be familiar to merry-go-round riders hanging on and facing the center. While once in Sydney, the author rode "The Roto r" for which Frame S' can be regarded as being at the cylindrical wall to which the rider is glued by centrifugal force (the circular floor then drops away). ( w i k i ) F i g 4 . 8 In Section 15 we shall solve three "ant on turntable" problems using the above geometry. (g) The earth The non-rotating Cartesian Frame S is located at earth center with e3 pointing to the North Pole. The e1 axis points out through a point on the equator to some fixed distant star (Star 1), and then e2 is the third Cartesian axis which points out through a different poin t on the equator to Star 2. If we ignore the earth's orbiting around the sun, and the motion of the Orion spiral galactic arm containing the sun, and the motion of the Milky Way galactic center and so on, then Frame S is an inertial frame. (continued on next page) Section 4: Relationship between S and S' 34 Rotating Frame S' has its origin at some arbitrar y fixed point on the surface of the earth. For this system, the e'3 axis points "up", meaning in the r^ direction for Frame S spherical coordinates. The e'1 axis points to the east, and the e'2 axis points north. The earth rotates at some ω = ωe3 with ω > 0. Since the ω axis passes through the Frame S origin, this is a Special Case #1 application. F i g 4 . 9 Figure 4.9 and the discussion of this section are in the "non-swap" notation mentioned in at the start of the Summary section at the start of this document. In practice, one usually uses the "swap" notation S ↔S' for earth problems in order to avoid the appearance of primes in equations. This will be done in Appendix D concerning the Foucault pendulum. (h) The Flying Camera Platform Some Apparatus is located in Frame S instead of S' , and Frame S' is a "camera platform" which flies around in some complicated way and observes th e activity in Frame S. In this case, both ω(t) and b(t) would be under the command of the pilot of the camera platform. One would set this up as a Special Case #2 situation, so ω passes through the Frame S' origin and b• S is the velocity of the platform origin and b(t) is its location relative to Frame S. One would use th e "inverse problem" equations given below to get the primed quantities in terms of the unprimed ones. Section 5: Goal 35 5. The Goal of the next two sections The symbols appearing here are defined in Section 1 (h). An Observer in Frame S' measures various properties of a Particle in motion, r' v' a' L'(c') L•'(c') We want to know how these properties of the Particle appear in Frame S, r v a L(c) L•(c) and we want to know the various other v and a forms of Section 1 (h) in terms of the basic Frame S' objects listed above. Later in Section 13 we will want to know how to solve "the inverse problem" of finding the primed quantities if the unprimed ones are known. Section 6: Velocities 36 6. Determination of velocities The notations used here are described in Section 1 (h). There are four distinct velocities, and we want to express three of them in terms of the fourth which is the natural velocity in Frame S', (d r'/dt)S' = v'S' ≡ v' . We shall make frequent use of the Fig 1 relationship between r and r', r = r' + b ( 6 . 1 ) as well as the G Rule for vector b, as in (4.1), b• S = b• S' + ω x b . ( 6 . 2 a ) Inserting (6.1) as b = r - r' into (6.2a) gives identity b• S + ω x r' = b• S' + ω x r . ( 6 . 2 b ) (a) Velocity v S' Apply (d/dt) S' to (6.1) to get (6.3a), then use (6.2a) to get (6.3b) : vS' = v' + b• S' ( 6 . 3 a ) vS' = v' + b• S – ω x b ( 6 . 3 b ) (b) Velocity v ≡ vS Apply (d/dt) S to (6.1) to get ∂Sr = ∂Sr' + ∂Sb or v = v'S + b• S . ( 6 . 4 ) Now use the G Rule (2.1) for vector r' to get v'S = v' + ω x r' ( 6 . 5 ) Insert (6.5) into (6.4) to get the first line below. The second and third lines make use of (6.2a) and (6.2b) . v = v' + ω x r' + b• S ( 6 . 6 a ) v = v' + ω x r' + b• S' + ω x b ( 6 . 6 b ) v = v' + ω x r + b• S' ( 6 . 6 c ) Section 6: Velocities 37 (c) Velocity v' S Solve (6.4) for v'S, v'S = v – b• S ( 6 . 7 ) and then insert (6.6a) into (6.7 ) to get the first line below (the b• S terms cancel), v'S = v' + ω x r' ( 6 . 8 a ) v'S = v' + ω x r – ω x b ( 6 . 8 b ) v'S = v' + ω x r + b• S' - b• S ( 6 . 8 c ) The remaining two lines come from using (6.1) and (6.2b). (d) Velocity Summary v = v' + ω x r' + b• S = v' + ω x r + b• S' (6.6a,c) vS' = v' + b• S – ω x b = v' + b• S' (6.3b,a) v'S = v' + ω x r' (6.8a) (e) Velocities for Special Cases These cases were discussed above in Section 4 (d) and (e). For Special Case #1 , where the ω axis passes through the Frame S origin, in any equations above set b• S' = 0 b• S = ω x b ( 6 . 9 ) and then the section (d) summary becomes v = v' + ω x r Special Case #1 only (6.6a) vS' = v' Special Case #1 only (6.3b) v'S = v' + ω x r' g e n e r a l (6.8a) For Special Case #2 , where the ω axis passes through the Frame S' origin, b• S is a driving parameter, so we select just the b• S forms from the summary Section 6: Velocities 38 v = v' + ω x r' + b• S g e n e r a l (6.6a) vS' = v' + b• S – ω x b g e n e r a l (6.3b) v'S = v' + ω x r' g e n e r a l (6.8a) (f) Comments 1. Consider these two results from a bove (picked more or less at random) r = r' + b (6.1) v = v' + ω x r + b• S' (6.6c) Either equation can be "evaluated" in either Fr ame S or Frame S'. Evaluation in Frame S gives (r)i = (r')i + (b)i (v)i = (v')i + εijk(ω)j(r)k + (b• S')i while evaluation in Frame S' gives (r)'i = (r')'i + (b)'i (v)'i = (v')'i + εijk(ω)'j(r)'i + (b• S')'i . This is a situation where we fully expect to have (r') i ≠ (r)'i and (v') i ≠ (v)'i as mentioned in Section 1 (b), so the careful placement of primes is important. 2. Based on the equations above , it is clear that we have r' ≠ Rr v' ≠ Rv where R is the rotation appearing in (1.1) which relates our two frames, en = R e'n . Therefore, in general the pairs of vectors ( r,r') and ( v,v') are not "vectors under rotations" in the sense of (1.10). 3. On the other hand, the vectors ω and b appearing in these formulas are normal "vectors under rotations" in the sense of (1.10), since we just define b' and ω' by these equations, b' = R b ω' = Rω . ( 6 . 1 0 ) These equations just indicate that the vectors ω and b have different components when viewed from Frame S' versus when viewed from Frame S. For thes e vectors, according to Section 1 (c), we can use b'i and ω'i without the need for parentheses : b = biei = b'ie'i ω = ωiei = ω'ie'i ( 6 . 1 1 ) Section 7: Accelerations 39 7. Determination of accelerations The notations used here are described in Section 1 (h ). There are eight distinct accelerations of interest, and we could express seven of them in terms of the ei ghth which is the natural acceleration in Frame S', ( d a'/dt)S' = a'S' ≡ a' . To spare the reader, we shall only express the three accelerations a'S , a ≡ aS, and aS' in terms of a'. (a) Acceleration a' S The G Rule for v'S says ∂ Sv'S = ∂S'v'S + ω x v'S or a'S = a'S'S + ω x v'S . ( 7 . 1 ) Notice the unusual cross derivative a'S'S which involves both S and S'. This is one those cross accelerations appearing in (1.33). To comput e this, we must go back to the G Rule for r', v'S = v' + ω x r' (6.8a) Apply ∂ S' ≡ (d/dt)S' to both sides to get ∂S'v'S = ∂S'v' + ∂S'(ω x r') = ∂S'v' + ω• x r' + ω x (∂S'r') or a'S'S = a' + ω• x r' + ω x v' ( 7 . 2 ) where we used (2.10) that (d ω/dt)S = (dω/dt)S' ≡ ω• . We can now install (7.2) into (7.1) to get a'S = [a' + ω• x r' + ω x v'] + ω x v'S ( 7 . 3 ) Now replace v'S in the last term using the G Rule for r' [ (6.8a) a few lines above ] a'S = [a' + ω• x r' + ω x v'] + ω x [v' + ω x r' ] or a 'S = a' + ω• x r' + 2 ω x v' + ω x (ω x r' ) . ( 7 . 4 ) The famous "Coriolis factor of 2" has now appeared and will be trivially transferred into aS in the next section. It is useful to review the steps above to see where this factor of 2 comes from : Section 7: Accelerations 40 1. Write the G Rule for v'S a'S = a'S'S + ω x v'S 2. Write the G Rule for r' v'S = v' + ω x r' 3. Insert 2 into 1 a'S = a'S'S + ω x v' + ω x (ω x r') // 1st ω x v' term 4. Apply ∂S' to 2 to get a'S'S = a' + ω• x r' + ω x v' // 2nd ω x v' term, 5. Install 4 into 3: a'S = [a' + ω• x r' + ω x v'] + ω x v' + ω x (ω x r') and now we have two ω x v' terms and only natural Frame S' objects r', v' and a'. (b) Acceleration a ≡ aS Start with (6.4) which is ∂S applied to r = r' + b , v = v'S + b• S (6.4) Apply ∂S again to get a = a'S + b•• S ( 7 . 5 ) Then insert (7.4) for a'S into (7.5) to get the same result as (7.4) with b•• S tacked on, a = a' + ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S ( 7 . 6 a ) S S' Euler Coriolis centripetal frame We have attached a name to each contribution to a and will discuss these terms below. Since we really want all primed objects on the right side, we can anticip ate the result (7.11) derived in section (e) below, b•• S = b•• S' + ω• x b + 2ω x b• S' + ω x (ω x b) (7.11) to get this alternate form for a , a = a' + ω• x r' + 2 ω x v' + ω x (ω x r') + [b•• S' + ω• x b + 2ω x b• S' + ω x (ω x b) ] = a' + ω• x r + 2 ω x v' + ω x (ω x r) + 2ω x b• S' + b•• S' ( 7 . 6 b ) where we think here of r as just a shorthand for b + r' to reduce the number of terms. Section 7: Accelerations 41 (c) Acceleration a S' Start with (6.3a) which is ∂S' applied to r = r' + b, vS' = v' + b• S' (6.3a) Apply ∂S' again to get ∂S'vS' = ∂S'v' + b•• S' or aS' = a' + b•• S' ( 7 . 7 ) (d) Acceleration Summary a = a' + ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S (7.6a) a 'S = a' + ω• x r' + 2 ω x v' + ω x (ω x r' ) (7.4) aS' = a' + b•• S' (7.7) (e) Relation between b•• S and b•• S' Write the G Rule for b• S' then solve it for b•• S' ∂Sb• S' = b•• S' + ω x b• S' b•• S' = ∂Sb• S' – ω x b• S' . ( 7 . 8 ) Now apply ∂ S to (6.2a) then solve for ∂Sb• S', b•• S = ∂Sb• S' + ∂S (ω x b) ∂Sb• S' = b•• S – ∂S (ω x b) . ( 7 . 9 ) Insert (7.9) into (7.8) to get the first line be low, then use (6.2a) to get the second line, b•• S' = [ b•• S – ∂S (ω x b)] – ω x b• S' = b•• S – ∂S (ω x b) – ω x [b• S – ω x b] = b•• S – ω• x b – 2ω x b• S + ω x (ω x b) ( 7 . 1 0 ) The inversion of this equation may be found by using (6.2a), b• S = b• S'+ ω x b, Section 7: Accelerations 42 b•• S' = b•• S – ω• x b – 2ω x [b• S' + ω x b]+ ω x (ω x b) = b•• S – ω• x b – 2ω x b• S' – ω x (ω x b) so then b•• S = b•• S' + ω• x b + 2ω x b• S' + ω x (ω x b) . ( 7 . 1 1 ) In a Special Case #1 problem we have b• S' ≡ 0 so that b•• S = ω• x b + ω x (ω x b) Special Case #1 (7.12) Section 8: Fictitious Forces 43 8. The Fictitious Forces (a) Development of the Fictitious Forces We start with (7.6a) which says a = a' + ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S (7.6a) S S' Euler Coriolis centripetal frame Newton's law in inertial Frame S says ( m = mass of the Particle) F = ma ( 8 . 1 ) with a given as above in (7.6a), so that, reordering the 5 terms, F = ma = mb•• S + m a' + mω x (ω x r') + 2m ω x v' + mω• x r' . (8.2) Now suppose we imagine an "effective" version of Newton's Law that works in rotating Frame S', F'eff = ma' . ( 8 . 3 ) Solving (8.2) for m a' tells us that (second line uses (8.1)) m a' = F'eff = F – m b•• S – mω x (ω x r') – 2m ω x v' – mω• x r' (8.4a) m a' = F'eff = m a – m b•• S – mω x (ω x r') – 2m ω x v' – mω• x r' (8.4b) We can write the second equality in (8.4a) as F'eff = F + F'fict w h e r e ( 8 . 5 ) F'fict = – m b•• S – mω x (ω x r') – 2m ω x v' – mω• x r' (8.6) frame centrifugal Coriolis Euler Here F'fict represents "fictitious" forces ("pseudo" forces) that mysteriously have to be added to "real forces" F to make our bogus (8.3) "Newton's Law" F'eff = ma' be valid in Frame S'. If in some problem the force m b•• S can be neglected compared to all other forces, we can write F = ma ≈ ma' + mω x (ω x r') + 2m ω x v' + mω• x r' ( 8 . 2 ) approx m a' = F'eff ≈ F – mω x (ω x r') – 2m ω x v' – mω• x r' ( 8 . 4 a ) approx m a' = F'eff ≈ ma – mω x (ω x r') – 2m ω x v' – mω• x r' ( 8 . 4 b ) approx Section 8: Fictitious Forces 44 F'eff = F + F'fict (8.5) F'fict ≈ – mω x (ω x r') – 2m ω x v' – mω• x r' ( 8 . 6 ) approx centrifugal Coriolis Euler As we shall see in section (d), this list of approxima te equations is not too relevant for "earth problems", but we write the above list mainly for our comp arison with Marion and Goldstein given below. (b) Interpretation of the Centrifugal and Euler Fictitious Forces Comment : Most books properly focus on the Coriolis term and neglect the other two terms with a casual comment that the centrifugal term is the usual term one expects for a problem involving an object on the rotating earth. Since these books have r ↔ r' , one sees the term ω x (ω x r) and vaguely associates this with the obvious rotation of a Particle on the earth's surface about the central axis of the earth. This is of course a wrong association, since r' in (8.6) is a local vector in Frame S' having nothing to do with the long vector r to the center of the earth (see Fig 4.9). So here we seek an interpretation of ω x (ω x r') where r' is the short vector to the Frame S' origin. Consider our general Fig 4.2 picture from above, where ω points directly at the viewer, Fig 8.1 Suppose in the above picture v' = 0. Then (8.6) becomes F'fict = – m b•• S – mω x (ω x r') – mω• x r' . frame centrifugal Euler The – m b•• S fictitious force arises from the acceleration of th e origin of Frame S' relative to the origin of Frame S and needs no further comment. This term is non-vanishing in the discussion below. We now consider the centrifugal and Euler forces at the same time. As usual, all rotations are "instantaneous" since the rotation axis and vector ω may be changing. Section 8: Fictitious Forces 45 Since v' = 0, as seen from Frame S' the vector r' shown above is fixed and so is our Particle. Vector r' is "soldered" to the e'n basis vectors. In Frame S, both ends of the vector r' are moving so it is not quite obvious what the vector is doing. To clarify the situa tion, consider this simplified view extracted from the above drawing (below right). Each end of the vector r' is rotating about the ω rotation axis. The two ends of r' rotate on different circles in different planes, but at the same angular frequency ω. Fig 8.2 Here the red circle perhaps lies above the plane of paper while the green one lies in the plane of paper, so that r1 lies in the plane of paper but r2 does not. Regardless, we know that the following conical motion equations apply (as in (1.23) which says (d a/dt)S = ω x a for rotation in Frame S) , (d r1/dt)S = ω x r1 / / r1 + r' = r2 => r' = r2 – r1 (d r2/dt)S = ω x r2 . ( 8 . 7 ) These equations are just the G rule (2.1) applied to vectors r1 and r2, since r1 and r2 are fixed in Frame S' ∂S'r1 = ∂S'r2 = 0 . Subtracting the second equation from the first and using r' = r2 – r1 tells us that (d r'/dt)S = ω x r' so we can then apply our generic cone picture to r' as well : F i g 8 . 3 ( d r'/dt)S = ω x r' = v'S . ( 8 . 8 ) Section 8: Fictitious Forces 46 Since ∂S'r'= 0, (8.8) is just the G Rule for vector r', so that would be a more direct way to obtain this result, but hopefully the previous picture of rotating r' is useful. This cone picture is what we get if we maintain the Frame S motion of vector r' in Fig 8.1 or 8.2, but we translate r' so its tail lies fixed on the ω rotation axis. Now apply ∂S to (8.8) to get (d2r'/dt2)S = ∂S(ω x r') = ω x (dr'/dt)S + ω• x r' or a'S = ω x v'S + ω• x r' = ω x (ω x r') + ω• x r' . (8.9) Suppose in the disk at the top of the cone we define temporary polar coordinates r, θ in the obvious manner. Then we have ω x r' = ω r' sinψ θ^ = ω r'T θ^ so ω x (ω x r') = ω r'T ω x θ^ = - ω2r'T r^ // centripetal acceleration (8.10) This is then recognized as the usual - ω2R centripetal (center seeking) acceleration for motion around a circle of radius R = r' T. Meanwhile, for the special case that ω• and ω point in the same direction we have ω• x r' = ω• r' sinψ θ^ = ω• r'T θ^ // Euler acceleration (8.11) which is the expected result, say, for a static ant at R = r' T on an accelerating turntable. Thus we have "interpreted" the centripetal and Euler acceleration contributions as promised. Since r' and therefore our Particle are fixed in Frame S', and since the Particle ne vertheless feels both these accelerations, it ascribes to these forces a fictitious nature. If one stands on a carpet that is being accelerated ac to the right, one feels there is a force -m ac shoving him or her to the left, an example of a fic titious force. Thus, given our two fictitious accelerations above, we multiply by mass m and add a minus sign to get the fictitious forces, F'fict = – mω x (ω x r') – mω• x r' + frame + Coriolis centrifugal Euler Anyone who as ridden on an accelerating merry-go-round is familiar with both the centrifugal and Euler forces. When ω• is not in the same direction as ω, we still have equation (8.8) and its (d/dt) S derivative (8.9) so the Euler acceleration is ω• x r'. In this case, we can draw a versi on of the cone picture above with ω replaced by ω• and some different cone angle φ , as shown on the right below. The Euler acceleration is thus tangential to the circle (red arrow) which forms the top of the cone in this picture. Section 8: Fictitious Forces 47 F i g 8 . 4 Notice that the vector r' is in exactly the same location in both th ese pictures. In terms of the cone picture on the left, the red Euler acceleration arrow is at some inscrutable angle relative to the cone. (c) Interpretations of the Coriolis Fictitious Force Qualitative Arm-Waving Interpretation of the Coriolis Force The Coriolis fictitious term is always the main topic of any textbook or web page which deals with motion in rotating frames, so we won't have much to say about it other than to give a popular qualitative explanation of the direction of the effect. We did show very carefully how the factor of 2 arises in the derivation of the term which is F'cor = -2m ω x v', and indeed, the expression itself was derived in full. The careful reader will notice a certain amount of "free play" in the workings of what follows. Consider the pictures below where we launch four co lored projectiles horizontally from a launch platform that is screwed to a frictionless turntable surface (perhaps the projectiles are hockey pucks). Fixed Frame S and rotating Frame S' have a common origin at the spindle. The launching is done in rotating Frame S' and the projectiles are sent off in the four directions of the compass at equal speeds V. These velocities are represented by the four black arrows in the right side picture below. The colored arrows on the left show the initial Frame S velocities of these projectiles. In Frame S the initial v's are not the same size because the turntable adds an upward tangential amount vt to each (v t = aω ). Since Frame S is an inertial frame, we can regard the colored arrows on the left as also representing the straight-line trajectories of the projectiles in Frame S. So, each projectile is launched with the same initial adder vt in Frame S and, being in free flight, maintains that vt during its flight. Notice that three of the projectiles move into to a region of larger radius, while the orange one heads to a smaller radius region. When a projectile moves to a larger radius, the particles of the turntable move faster CCW than the projectile's vt causing a velocity differential between the turntable and the projectile. We want now to examine this differential in the four cases. The short black arrows on the left show the motion of the turntable particles relative to the projectile, as will now be reviewed. (continued on next page) Section 8: Fictitious Forces 48 F i g 8 . 5 For the black projectile in mid flight, the turntable particles under the projectile are moving to the northwest relative to the projectile, so the projectile is seen by the turntable particles to be drifting to the right. Hence the curved black trajector y path on the right of Fig 8.5. On the left below is a crude strobe picture where a turntable particle's path in Frame S is shown in red and the arrows are then transferred to the right with a common tail to show what projectile motion the turntable particle sees in its rest frame. For the blue projectile in mid flight, the turntable partic les under the projectile are moving to the north relative to the projectile, so the projectile is seen to be drifting south. Hence the curved blue trajectory path on the right of Fig 8.5. The right strobe picture above shows this effect. For the red projectile in mid flight, the turntable particles under the projectile are moving to the northeast relative to the projectile, so the projectile is seen to be drifting to the left. Hence the curved red trajectory path on the right. Section 8: Fictitious Forces 49 For the orange projectile in mid flight, the turntable partic les under the projectile are moving to the south relative to the projectile (these particles are at a smaller radius and move more slowly than v t), so the projectile is seen to be drifting to the north. Hen ce the curved orange trajectory path on the right. Viewed from the direction of launch in Frame S', all four trajectories drift "to the right". This is in agreement with the right hand rule applied to our expression F'cor = -2m ω x v' = +2m v' x ω. What is not particularly obvious from the above qualitative discussion is that the | F'cor| is exactly the same for all four projectiles, and indeed for a projectile launched in any direction. Comments: 1. If the turntable were going CW instead of CCW, the drift directions would all be reversed, both by the qualitative argument, and by the F'cor expression. Projectiles would drift to the left instead of to the right. 2. One can think of Fig 8.5 as a view of the earth fro m the North Pole. In this case, the vectors do not lie in the plane of paper, but qualitatively the conclusion is the same: projectiles drift to the right in the northern hemisphere. A view from the South Pole woul d then show drift to the left in the southern hemisphere since ω is reversed. 3. The colored trajectories on the right in Fig 8.5, wh en applied to air masses moving into a region of Low pressure, look like this Fig 8.6 and explain why lower pressure regions are CCW cycl onic in the northern hemisphere. Since lows often drift to the east in the western US, warm Mexican air is felt prior to the low's arrival, and cool Canadian air is felt afterwards. Superposition Interpretation of the Coriolis Force Recall now the fictitious forces seen by the projectiles in Fig 8.5, F'fict = – m b•• S – mω x (ω x r') – 2m ω x v' – mω• x r' . (8.6) frame centrifugal Coriolis Euler Since the Frame S and Frame S' origins align, b = 0 and b•• S = 0 . If we assume ω = constant, and express the centrifugal term in a simpler form, then the projectiles are controlled by Section 8: Fictitious Forces 50 F'fict = mω2r' – 2m ω x v' . (8.6)' centrifugal Coriolis One can think of this as the superposition of two problems. The centrifugal term alone accelerates the projectiles radially outward in proportion to their distan ces from the turntable center, so the effect of this term is different for the four projectiles as they progr ess in flight. The Coriolis term alone causes each projectile to deflect to its right ( ω > 0) along a path that is part of a circle as we now show. Recall the bogus Newton's Law F'fict = m a' from (8.3) where a' = (d v'/dt)S'. If F'fict = – 2m ω x v' alone, then we have (d v'/dt)S' = Ω x v' where Ω = (-2ω) . According to (1.23) and Fig 1.3 vector v' must rotate on a cone whose axis is Ω. For the turntable situation, however, v' is always in the plane of the turntable, so that cone must be flat, so vector v' goes in a circle at rate Ω. The trajectory r'(t) is then also circular so the Corio lis deflection is part of a circle. Here is some Maple code illustrating this fact for the blue projectile where v'(0) = V x^', ω = +1, a = 1,V = 1 : The projectile is deflected "to the right" in this case since ω > 0. Section 8: Fictitious Forces 51 The actual deflection of the four projectiles is th en a superposition of the centrifugal and Coriolis motions and is therefore not perfectly circular. We sh all solve this problem exactly in Section 15 (e) and plot the all four projectile trajectories. (d) Special Case #1 Problems Recall from (8.4a) that F'eff = F – mb•• S – mω x (ω x r') – 2m ω x v' – mω• x r' (8.4a) frame centrifugal Coriolis Euler If the rotation axis passes through the center of Frame S, we know from (7.12) that b•• S = ω• x b + ω x (ω x b) Special Case #1 (7.12) so that, using r = r' + b (6.1) in the third line below, F'eff = F – m[ω• x b + ω x (ω x b)] – mω x (ω x r') – 2m ω x v' – mω• x r' = F – m ω x (ω x [b +r' ] ) – 2m ω x v' – mω• x [b + r'] = F – mω x (ω x r) – 2m ω x v' – mω• x r Special Case #1 (8.12) Problems involving the motion of objects on or near the earth's surface, or of objects in orbit around the earth, fall into Special Case #1. In the first problem cl ass, Frame S' can be defined as shown in Fig 4.9. Comment: Notice that the centrifugal and Euler terms appear ing in specal case (8.12) do in fact involve the "long" vector r going from the Particle to the center of the earth, whereas in general equation (8.4a) and in the comment at the start of section (b) these terms contain r' which is the "short" vector. (e) Problems on the surface of the earth Let F0 = mg0 where go = -g0r^ is a vector pointing to the center of the earth, and g 0 = GME/RE2. Then for problems involving motions of objects near the surface of the earth, one has these real forces, F = mg0 + possible other real forces Possible other real forces might include air friction, wind, the action of magnetic fields on charged particles, etc. For the earth ω• ~ 0.5 msec/day ~ 10-8 sec-2 for seasonal variations and much less for short term variations. Even for r' ~ 1 km, we can neglect the Euler term ω• x r' ~ 10-5 ~ 10-6 g, so (8.12) says F'eff = (m g0 + possible other real forces) – m ω x (ω x r) – 2m ω x v' . (8.13) Section 8: Fictitious Forces 52 [Aside : As shown later in Section 8 (g), the tidal force is 10-7 g, so one neglects terms at one's peril.] Carrying out a static experiment ( v' = 0) to measure the g vector at some location on the earth (no other forces in this experiment), one finds from (8.13), F'eff = m g0 – mω x (ω x r) r = REr^ ≡ mg , ( 8 . 1 4 ) where g is then the local gravity vector (which does not quite po int to earth center). In terms of this g, one then has F'eff = (m g + possible other real forces) – 2m ω x v' ( 8 . 1 5 ) so only the Coriolis fictitious force is left -- the centrifugal term has been absorbed into m g. By how much do g0 and g differ? We can write g - g0 = - ω x (ω x r) = ω2r cosθ ρ^ r = R E ( 8 . 1 6 ) where θ is latitude measured from the equator and ρ^ is the usual cylindrical unit vector pointing away from the rotation axis of the earth at our point on the surface. So we see the direction of the difference to be ρ^ for any θ. The magnitude is roughly ω = 7.27 x 10-5 sec-1 r ≈ 6.37 x 10 6 ω2r cosθ = (7.27)2(6.37) 10-4 = 344 x 10-4 cosθ ~ 3 x 10-2 m/sec2 cosθ ~ (3/1000)g 0 cosθ so the difference is small but not zero. Presumably the local surface of the earth is perpendicular to g and not g0, and one would certainly expect this to be true for a quiet ocean surface. In the "swap" notation mentioned at the start of the Summary, equations appearing above become: Feff = (m g0 + possible other real forces) – m ω x (ω x r') – 2m ω x v . (8.13) s Carrying out a static experiment ( v = 0) to measure the g vector at some location on the earth (no other forces in this experiment), one finds from (8.13) s, Feff = m g0 – mω x (ω x r') r' = REr^' ≡ mg , ( 8 . 1 4 ) s Section 8: Fictitious Forces 53 where g is the local gravity vector (which does not quite poi nt to earth center). In terms of this g, one then has Feff = (m g + possible other real forces) – 2m ω x v ( 8 . 1 5 ) s so only the Coriolis fictitious force is left -- the centrifugal term has been absorbed into m g. g - g0 = - ω x (ω x r') = ω2r' cosθ' ρ^' r' = R E ( 8 . 1 6 ) s (f) Tethered satellites and Tidal Forces Consider a pair of radially aligned tethered masses rotating at constant ω0 in orbit around the center of the earth. We borrow a picture from page 120 of the Tethers in Space Handbook[12], (continued on next page) Section 8: Fictitious Forces 54 Fig 8.7 One can show that such a system is stable due to a restoring torque and so the line between the masses points to the center of the earth as the satellite orbits . This restoring force plus damping over time is what caused the slightly distorted moon to present its same face to the earth as it orbits. We assume the masses are equal, M 1 = M2 = m, refer to ω0 as ω, and ignore the difference between the center of gravity and the center of mass since this is meant to be a relatively short tether. Treating the entire system as a single object, the balance of centri fugal and gravitational forces results in the usual relation between ω and r0 which is ( M is the mass of the earth) ω 2r0 = GM/r 02. ( 8 . 1 7 ) Since our system is assumed to be "in orbit", ω and r 0 are related in this way. Our rotating frame of reference S' is taken to be a frame in which the tether system is entirely at rest as it orbits around the earth. In Frame S', each mass has v' = 0 so there is no Coriolis term in the fictitious force set. Each mass experiences two "real" forces (gravity and te ther tension) and one "fictitious" force – m ω x (ω x r) as in (8.12), Section 8: Fictitious Forces 55 – mω x (ω x r) = +mω2r r^ // centri- fugal force Therefore for the upper mass we can write (8.12) as F'eff,1 = F – mω x (ω x r1) = - (mMG/r 12) r^ -Tr^ + mω2r1 r^ = [ - m M G / r 12 + m ω2r1 - T] r^ = [ f(r 1) - T] r^ ( 8 . 1 8 ) where f(r) ≡ -mMG/r2 + mω2r . // f '(r) = 2 mMG/r3 + mω2 (8.19) Note that f(r 0) = 0 according to (8.17). Our bogus Newton's Law (8.3) when applied to the upper mass says F'eff,1 = m a'1 and since that mass is at rest in Frame S', it must be that F'eff,1 = 0. Therefore T = f(r 1) . ( 8 . 2 0 ) For the lower mass, the equations are the same as above, but T → -T so one gets T = -f(r 2). Setting r 1 = r0 + Δr in (8.20) and (8.19), T = f(r 0 + Δr) = -mMG/ (r 0+Δr)2 + mω2(r0+Δr) = -(mMG/r 02) (1 + Δ r/ r0)-2 + mω2(r0+Δr) ≈ -(mMG/r 02) (1 - 2 Δ r/ r0) + mω2(r0+Δr) // (1+x)n ~ 1 + nx for small x = - m ω 2r0 (1 - 2 Δ r/ r0) + mω2(r0+Δr) // using (8.17) = 3 m ω 2(Δr) = 3 ( m M G / r 03)(Δr) If ρ represents an arbitrary displacement away from r 0, so r = r 0 + ρ, then part of what is shown just above is this : f(r 0 + ρ) = 3mω2ρ ( 8 . 2 1 ) which looks like this near ρ= 0 Section 8: Fictitious Forces 56 Fig 8.8 This represents the force on any untethered Particle that might be present in Frame S' located a radial distance ρ from r0. A particle at r > r 0 is pushed up in Frame S', while a particle at r < r 0 is pushed down. Again, this force in Frame S' is due to the combin ation of gravitational and centrifugal forces, one force real and the other fictitious. Another way to view the above calculation is this, T = [f(r 0 + Δr) - f(r0)] + f(r0) = f ' ( r 0) Δr + f(r0) = f ' ( r 0) Δr = ( 2 m M G / r 03+mω2) Δr = ( 2 m ω2 + mω2) Δr = 3 m ω 2 Δr // as in Ref [12] p 123 where Δr = L and ω = ω0 so the tension in the tether due to tidal force is equal to Δ r times the derivative of f(r) evaluated at r = r 0, T = Δ r f '(r 0) = Δ r 3mω2 = 3 Δr (mGM/r 03) . (8.22) The tidal force acting up the upper mass is T pushing up, and the tidal force acting on the lower mass is T pulling down, all in Frame S'. One might then write tidal force per unit mass = ± 3 Δr (GM/r 03) // tidal acceleration (8.23) Notice that 2/3rds of the tidal force arises from the gravitational gradient at the satellite while 1/3 arises from the fact that the satellite keep s facing the earth and is thus rotating once per orbit, causing Frame S' to rotate once per orbit. Comments: 1. One may regard tension T an example of a "tidal force" which tends to "rip apart" objects in orbit around a central force. In our example, the tidal force is T = f '(r 0) Δr = 3 (mMG/r 03) Δr. For objects in orbit around the earth, this is a sma ll or moderate force, but for objects orbiting massive black holes, the force is strong enough to rip ap art all known materials, a pr ocess called "spaghettification". Section 8: Fictitious Forces 57 3. According to (8.17), an untethered water droplet on the surface of the upper mass will migrate to the upper extremity of that mass, while a water droplet on the surface of the lower mass will migrate to the lower extremity of that mass. A crude intuition would seem to say that the ea rth ought to pull both water drops to the lower extremity of each mass, but that is not what happens. One must get into the rotating Frame S' to see what happens. This is essentially why the usual tides on the earth "bulge" on the side facing the moon and on the side facing away from the moon. The sun also has its smaller effect. This subject is considered in the next section. 3. The tidal forces are felt in non-inertial Frame S' as just discussed. If one incorrectly omits the fictitious centrifugal force in the above analysis, the factor 3 beco mes a factor 2, and this is how things are reported in many locations on the web. Interestingly, this very week wiki contributors are arguing about this very issue: http://en.wikipedia.org/wiki/Talk%3ATidal_force . The Swedish wiki page has a 3, the English has a 2 (as of 8/10/12). (g) Tides on the earth The basic picture In general, the orbit pattern of a binary system has this planar appearance, where each object traverses its own ellipse http://abyss.uoregon.edu/~js/ ast222/lectures/lec05.html , Fig 8.9 In this section, however, we restrict our interest to a special case where each object traces out a circular path, not an elliptical one. The picture is this, (continued on next page) Section 8: Fictitious Forces 58 F i g 8 . 1 0 Each object is assumed to be a spherically symmetric mass distribution and can thus be treated as a point mass at its center for gravitational purposes. An iner tial Frame S has its origin at the center-of-mass point, and the binary system rotates in the plane of paper at angular frequency Ω about this Frame S origin. Distance R can be found from the usual center-of-mass equation (viewed from Frame S), 0 = [M2Rr^ - M1(r12-R) r^]/(M1+M2) which reports out the obvious fact that R = r 12 [M1/(M1+ M2) ] . ( 8 . 2 4 ) We collect here some information on the sun, earth and moon : MS = 1.99 x 1030 kg R S = 696,000 km ME = 5.97 x 1024 kg R E = 6371 km (8.25) MM = 7.35 x 1022kg R M = 1737 km T M = 27.3 days r S-E = 1.50 x 108 km // average of aphelion and perihelion and perigee e = .016 rM-E = 386,000 km // average of apogee and perigee tilt = 1.45o e = .05 from which we can compute 1 --- 2 sun-earth R'/R 1 = .000647 moon-earth R/R 2 = 0 . 7 3 7 ( 8 . 2 6 ) So for the sun-earth system, the center of mass is ba sically at the center of the sun, while for the moon- earth system, the center of mass lies at a point 3/4 the radius of the earth from the center. We could redraw our figure for these two cases, but the ki nematics does not change, so we won't bother. Frame S and Frame S' Frame S as we have noted is a fixed inertial frame whos e origin is at the binary system center of mass which is also the point about whic h each object rotates in a circle. Section 8: Fictitious Forces 59 As object 2 rotates in its orbit, we shall assume it maintains its orientation relative to the stars. So at a time later than that shown above, the situation is this F i g 8 . 1 1 Frame S' is glued to object 2 and is sort of a "fra me on gimbals" relative to Frame S which is fixed and never changes. [ Alcohol stoves in boat cabin s are sometimes mounted on such gimbals.] If the above picture represented the moon-earth picture, the moon on the left would in fact be as the drawing suggests, since it keeps its same side facing the earth. We don't care about this issue for object 1 since its only role is to produce a gravitational field at object 2. To apply Fig 8.11 to the moon-earth system, we mu st temporarily turn off the rotation of the earth about its axis which, incidentally, is perp endicular to the plane of paper (modulo 1.45 o), North Pole facing the viewer. Later we will turn the rotation b ack on and the earth will then rotate CCW with a rotation vector ω pointing out of the plane of paper. How this tidal model fits in How exactly does the above specified problem fit into our general framework of rotating frames? It is a Special Case #2 problem of Section 4 (e) with ω = 0 and with the two sets of axes always aligned. One fictitious force in Frame S' Recall now equation (8.4a) where the left equality is the "bogus" Newton's Law in Frame S', F is the total "real force" in Frame S', and then we have a list of four fictitious forces in Frame S', m a' = F'eff = F – m b•• S – mω x (ω x r') – 2m ω x v' – mω• x r' (8.4a) frame centrifugal Coriolis Euler Section 8: Fictitious Forces 60 In our application we are going to consider points in Frame S' (that is, points on the non-rotating earth) which are at rest on or in the earth, so v' = 0. We have noted that ω = 0 and of course ω• = 0, so the above becomes m a' = F'eff = F – m b•• S (8.4a)' frame where only the "frame" fictitious for ce has survived. Remember that, although Frame S' is not a rotating frame in the sense that ω= 0 (its axes do not rotate), it is a rotating frame in the sense that its origin rotates around the origin of inertial Frame S. It is clear from Fig 8.11 that (since R is a constant) b = Rr^ d r^/dt = Ωθ^ d θ^/dt = - Ωr^ b• S = R d r^/dt = RΩθ^ b•• S = RΩ dθ^/dt = - RΩ2r^ . ( 8 . 2 7 ) Therefore (8.4a)' becomes m a' = F'eff = F + m RΩ2r^ (8.4a)' For any Particle at rest in Frame S' (and thus at rest in/on the non- rotating earth), we have a' = 0 so 0 = F + m RΩ2r^ . For a Particle in or on the earth, the real forces are F = Fg1 + Fg2 + Fe where Fg1 = the gravitational force due to object 1 Fg2 = the gravitational force due to object 2 (the earth) Fe = any non-gravitational force Below, Fe will be the force of the earth pushing out on a Particle resting on its surface. Thus we have 0 = Fg1 + Fg2 + Fe + m RΩ2r^ or Fe = - ( Fg1 + Fg2 + m RΩ2r^) ( 8 . 2 8 ) Section 8: Fictitious Forces 61 Digression: The relation between r 12 and Ω If we were to replace the earth with a point mass M 2 at its center, nothing would change in our orbiting picture. This point mass does a circular orbit around the binary center of mass with radius R and angular frequency Ω. The usual rule for circular motion of a point particle says that the gravitational force balances the centrifugal force, so M1M2G/r122 = M2Ω2R or M 1G/r122 = Ω2R . ( 8 . 2 9 ) Now suppose we replace the original earth with anothe r earth with a spherical cavity in the center which contains a point particle of mass m. Then we replace this new earth with a point mass M 2'. So we now have a point mass m and a point mass M 2' on top of each other, and each mass is going in the circular orbit just described. There is no reason for mass m to do something other than go in the circular orbit of radius R at Ω about the center of mass. Therefore, if we consider a Particle of mass m located in a cavity in the center of the earth, this particle just floats in the cavity (not touching the sides) and is stationary in Frame S'. The non- gravitational force of the earth on this Particle is then Fe = 0. The gravitational force Fg2 is 0 as well since the Particle is at the exact center of the earth . Equation (8.28) then becomes, for this particle, 0 = - ( Fg1 + m RΩ2r^) or mM 1G/r122 = m RΩ2 or M 1G/r122 = Ω2R which is the same as (8.29) above. All the extra word s above were to reinforce the idea that a Particle at the center of the earth really feels no forces at all from the earth. It feels Fg1 and it feels the fictitious force m b•• S = - mRΩ2r^ and these forces exactly cancel. We can combine (8.24) with (8.29) to get M 1G/r122 = Ω2 r12 [M1/(M1+ M2)] or (M 1+ M2)G/r123 = Ω2 (8.30) and this is the relationship between r 12 and Ω for given masses M 1 and M2. It is analogous to the relation between r 0 and ω given in (8.17) for the tethered satellite system. End of digression. Tidal Force at an arbitrary point on the earth Now consider a particle of mass m at some arbitrar y location C on the surface of the earth. We define angles θ and β as shown, where β is typically very small, Section 8: Fictitious Forces 62 F i g 8 . 1 2 Here we show a brand new r^ and θ^ which have nothing to do with t hose used in Fig 8.11. Vector d points to point C from the center of object 1 while vector d0 links the two object centers, so d 0 = r12. Then (8.28) becomes Fe = - [ Fg1 + Fg2 + m RΩ2d^0 ] ( 8 . 3 1 ) = - [ (-M 1mG/d2) d^ + Fg2 + m RΩ2d^0 ] From (8.29) we replace R Ω2 by M1G/r122 to get Fe = - [ (-M 1mG/d2) d^ + Fg2 + m M1G/r122d^0 ] = - [ Fg2 + m M1G (d^/d2 – d^0/r122)] = - Fg2 – m M1G (d^/d2 – d^0/d02) d 0 = r12 ( 8 . 3 2 ) Normally one thinks of Fe = - Fg2, meaning the force of the earth up on an object resting on its surface is equal and opposite to the force of gravity pulling down on the object, so the total force Fe+Fg2 = 0. However, we see here that due to the orbiting with object 1, there is an extra force which is called the tidal force, so Fe = - Fg2 + Ftid ( 8 . 3 3 ) Ftid ≡ – m M 1G (d^/d2 – d^0/d02) . ( 8 . 3 4 ) It is the fact that object 1's gravitational field vari es slightly (in direction and magnitude) at different points on object 2 which results in the tidal force. Equation (8.34) appears on p 332 Taylor[1] as equation (9.12) and in Butikov[13] as equation (2). Comment: If the rotating moon-earth system were replaced by a static system in which the earth and moon were held apart by a very long, stiff (1020 N) rod, would the tidal force be the same as shown in (8.34)? Or would the water bulge only on the side of the earth facing the moon? Since the latter seems likely, one concludes that it is not just the non-uniformity of the gravitational field that causes the double- Section 8: Fictitious Forces 63 bulge tide, it is this non-uniformity in combination wi th the balance provided by the rotation which causes there to be zero force on a particle at the center of the earth. Evaluation of the Tidal Force at Four Locations. We shall now evaluate this tidal force at the four points of the compass in Fig 8.12. We use r 12 here instead of d 0. At point A we have d^ = d^0 and d = (r 12-R2), so Ftid(A) = – m M 1G [1/(r12-R2)2- 1/r122] d^0 ( 8 . 3 5 ) But if r12 >> R2 we have 1/(r 12-R2)2 = (r12-R2)-2 = r12-2(1 - R2/r12)-2 ≈ (1/r12)2 (1 + 2R 2/r12) so Ftid(A) = – m M 1G [(1/r12)2 + 2R2/r123 - 1/r122] d^0 = – m M 1G [2R2/r123] d^0 = - 2m(M 1G/r122) (R2/r12) d^0 ( 8 . 3 6 ) which points to the left. Similarly, Ftid(B) = – m M 1G [1/(r12+R2)2- 1/r122] d^0 – m M1G [(1/r12)2 - 2R2/r123 - 1/r122] d^0 = + m M1G [2R2/r123] d^0 = + 2m(M 1G/r122) (R2/r12) d^0 ( 8 . 3 7 ) which points to the right. At the top when θ = π/2 we have d ≈ r12 to first order, so then Ftid(top) = – m M 1G (d^/d2 – d^0/r122) = – m (M 1G/r122) (d^ – d^0) Drawing a thin triangle with edges d^ and d^0 shows that ( d^ – d^0) ≈ sinβ r^ = (R2/r12) r^ // for point at the top, θ = π/2 (8.38) and therefore Ftid(top) = – m (M 1G/r122) (R2/r12) r^ ( 8 . 3 9 ) Section 8: Fictitious Forces 64 which points down. For a point at the bottom, θ = -π/2, we still have (8.38) but of course now r^ points down. So Ftid(bot) = – m (M 1G/r122) (R2/r12) r^ ( 8 . 4 0 ) which points up. Here is a summary of these four results: Ftid(A) = – 2m(M 1G/r122) (R2/r12) d^0 // points to the left (8.36) Ftid(B) = 2m(M 1G/r122) (R2/r12) d^0 // points to the right (8.37) Ftid(top) = – m(M 1G/r122) (R2/r12) r^ // points down (8.39) Ftid(bot) = – m(M 1G/r122) (R2/r12) r^ // points up (8.40) We can now draw the famous picture, where the side arrows are twice as long as the top and bottom ones, and where we have added four more arrows for the in-between points. The blue shows the shape of the water surface on a water-covered earth , and the bulges point toward and away from object 1 which is off to the left, Fig 8.13 The four arrows at NE, NW, SE and SW are not drawn precisely, but show that the tidal forces there drive water currents which result in the bulges and depre ssions. In the steady state these currents stop and the surface of the water is tilted against these tidal forces. The tidal force acceleration is very weak compar ed to the local gravitational force on the earth. For the lunar tidal case, using the A and B tidal force magnitude, so basically the tidal force is 10-7 the size of g. It is rather amazing what such a small force can do when it is differentially applied to a lot of water. Section 8: Fictitious Forces 65 Equation of the water surface. From (8.34) one can obtain a general expression for Ftid(θ) for any point C on the earth. By writing this force as the gradient of a potential, and by arguing that the surface of the water should be an equipotential surface, one obtains[13] an equation for the blue surface, R(θ) = R 2 + a cos(2 θ) , ( 8 . 4 1 ) where the difference between high and low tide (here at A/B versus at top/bot) is given by H = 2a = (3/2)R 2 (M1/M2)(R2/r12)3 . ( 8 . 4 2 ) Inserting the numbers given earlier, one gets (km) which says Hsolar_tide = 24 cm = 0.8 feet Hlunar_tide = 53 cm = 1.8 feet . (8.43) A non-inlander will recognize these as reasonable ball park values for ocean tides, lending much credence to the model at hand. Rotation turned back on We now turn the rotation of the earth back on (we turn ed if off earlier). This rotation is very close to perpendicular to the plane of paper in our draw ings above. At any latitude, an outward-pointing centrifugal force of equal magnitude is added all around the earth, and one argues that this has no effect on the differential tidal force pattern. To the extent the world has an all-water surface and the interface between earth and water is frictionless, one conclu des that the blue surface stays put while the earth rotates under it, thus putting high tides nominally 12 hours apart. But the moon moves with a 27.3 day period in the same direction the earth rotates, so when 12 hours has passed, the moon has moved ahead 12/27.3 = 0.44 hours = 26.4 minutes, so one has to wa it another 26 minutes for the next lunar high tide, so the time between high tides is about 12 hours 26 minutes. This causes the time of high tide to move relative to a wall clock in any location, which is why we have tide tables and tide clocks. Roughly the solar tides have half the influence of the lunar ones as shown above. They add and cancel depending on the position of the sun and moon. This nice picture of D.J. Jeffery shows the extremal situations (spring ≠ season Spring) Section 8: Fictitious Forces 66 Fig 8.14 So the maximal spring tides are about 2 weeks apart and the same is true for the intervening minimal neap tides. Many adjustments to the above toy model are requi red to explain the real tides on the earth. Water does not move around instantly, there is drag of the earth on the water, there are land masses and resonances, lake water has nowhere to go, and so on. For example, a resonance at the Bay of Fundy can causes a 50 foot high/low tide difference. A good discussion of the above tidal model is given in Taylor's textbook [1] p 330-336. A more detailed discussion is presented in the ex cellent (and downloadable) paper by Butikov[13]. Both sources are very readable. Hypothetical moon-facing earth Consider some parallel-universe earth which presents its same face to the moon at all times. In this situation Frame S', still glued to the earth, becomes a non-inertial frame whose origin and axes rotate together at Ω ( b soldered to axes of Frame S'). This is then a Special Case #1 problem driven by a different F'eff (8.12) where one must include a centrifugal fictitious force . (continued on next page) Section 8: Fictitious Forces 67 Particles on this earth's surface nearest the moon have a small centripetal acceleration, but those on the far side of the earth have a much larger value, and it turns out this effect swamps the effect of the non- uniform gravity of the moon at the earth. One finds that f tidal (B)/m = [ ω2(R+R2) – GM1/(r12+R2)2] > 0, pushes to the right on Particle B ftidal (A)/m = [– ω2(R-R2) + GM1/(r12-R2)2] > 0, pushes to the left on Particle A ftidal (center)/m = [– ω2(R) + GM 1/(r12)2 ] = 0 => ω2R = GM 1/(r12)2 (8.44) Rewrite the first line this way (adding and subtracting the same quantity) ftidal (B) = m [ { ω2(R+R2) – ω2(R)} + {GM 1/(r12)2 – GM1/(r12+R2)2)}] = [ m { ω2R2 } + m {GM 1[1/(r12)2–1/(r12+R2)2)} ] = [ f cent + f grav ] (8.45) where f cent registers the contribution of the centripetal effect and f grav that of the gravitational gradient. Then fcent fgrav = (r12+R2)2 R(2r12+R2) . (8.46) For 1 = earth and 2 = tethered satellite, R 2 is the satellite diameter ≈ 0 and R ≈ r12 so fcent fgrav ≈ (r12)2 r12(2r12) = 1/2 // tethered satellite (8.47) and this is what we found in (8.23) , the centrifugal effect is half the gravitational gradient effect. For 1 = moon and 2 = earth, the ratio is dramatically different f cent fgrav = (r12+R2)2 R(2r12+R2) = 42.13 // moon-facing earth (8.48) Section 8: Fictitious Forces 68 and the centrifugal component is the dominant effect in determining the tides. Using r 12>> R2 in (8.44), ftidal (A or B)/m = 2(GM 1/r122)[ (R2/r12) + (R2/2R) ] // moon-facing earth f tidal (A or B)/m = 2(GM 1/r122)[ (R2/r12) ] // real earth (8.37) Since (R 2/r12) = .0165 and (R 2/2R) = 0.679 we find this ratio for the points A and B : tidal force (moon-facing earth)/ tidal force (real earth) = (.0165 + .679)/(.0165) = 42.11 Exercise for the Reader. What is the pattern of tides on a moon-facing earth? What is the maximum high/low tidal difference? Is it 42 times larger than on the real earth? One has to do a careful reading of Butikov's paper[13] to answer these questions. This problem would apply to tides on the moon if it were suddenly covered with water. Section 9: Marion 69 9. Comparison with Marion (1970), Thornton & Marion (2003) and Taylor (2005) In this Section and the next we wish to compar e our notation for rotating-frame kinematics and non- inertial-frame physics to the notation of two groups of well-known and well-read textbook authors. What symbols do they use to denote the two frames of referenc e and the various positions, velocities and accelerations? Comparison between Marion and T&M notation and our "non-swap" notation Marion[2] and Thornton & Marion[3] (T&M) both swap the primes on the frames relative to us, S ↔ S', which then includes r ↔ r'. The following notations are used ( us → Marion/T&M ) r' → r v → vf v' → vr b → R b• S → R• f = V a → af a'→ ar b•• S → R•• f (9.1) where subscript r means "rotating frame" and f means "fixed frame". Thus, Marion's and T&M's version of (8.2) reads ( ω• = 0 in Marion but is retained in T&M) F = ma = mb•• S + m a' + mω x (ω x r') + 2m ω x v' + mω• x r' (8.2) F = maf = mR•• f + m ar + mω x (ω x r) + 2m ω x vr + mω• x r // Marion p 344 (11.17) / / T & M p 3 9 2 ( 10.23 ) Note that for Marion r is a vector to the Particle from the rotating frame origin. Marion's version of our (8.2)approx is then F = ma ≈ ma' + mω x (ω x r') + 2m ω x v' + mω• x r' (8.2) approx F = maf ≈ mar + mω x (ω x r) + 2m ω x vr + mω• x r // Marion p 344 (11.18) and his version of (8.4b) approx is m a' = F'eff ≈ ma – mω x (ω x r') – 2m ω x v' – mω• x r' (8.4b) approx m ar = Feff ≈ maf – mω x (ω x r) – 2m ω x vr – mω• x r // Marion p 344 (11.19) Meanwhile, translation of our (8.4a) is done this way m a' = F'eff = F - m b•• S – mω x (ω x r') – 2m ω x v' – mω• x r' (8.4a) m ar = Feff = F - m R•• f – mω x (ω x r) – 2m ω x vr – mω• x r // T&M p 392 ( 10.25 ) Finally, our velocity equation (6.6a) translat es, according to rules (9.1), as follows, Section 9: Marion 70 v = v' + ω x r' + b• S (6.6a) vf = vr + ω x r + V // Marion p 344 (11.12) / / T & M p 3 9 2 ( 10.17 ) Comparison between Taylor notation and our "non-swap notation" These are the translation rules from us to Taylor[1] : S,S' → S0, S r,r' → r0, r ( 9 . 2 ) so he ends up with vector r being the natural position vector in the rotating frame, the same as Marion and Goldstein in the next section. Comparison between Marion and T&M notation and our "swap" notation Recall that in our swap notation, Frame S is the rotating frame and Frame S' is the inertial frame. We put primes on forces in inertial frame S' whereas Marion and T&M do not. True Newton's Law in Inertial Frame S': F' = ma' = mb•• S' + m a + mω x (ω x r) + 2m ω x v + mω• x r (8.2)s F = m af = mR•• f + m ar + mω x (ω x r) + 2m ω x vr + mω• x r // Marion p 344 (11.17) / / T & M p 3 9 2 ( 10.23 ) F' = ma' ≈ ma + mω x (ω x r) + 2m ω x v + mω• x r (8.2) approx,s F = m af ≈ mar + mω x (ω x r) + 2m ω x vr + mω• x r // Marion p 344 (11.18) Bogus Newton's Law in non-inertial Frame S: m a = Feff ≈ ma' – mω x (ω x r) – 2m ω x v – mω• x r (8.4b) approx,s m ar = Feff ≈ maf – mω x (ω x r) – 2m ω x vr – mω• x r // Marion p 344 (11.19) m a = Feff = F' - m b•• S' – mω x (ω x r) – 2m ω x v – mω• x r (8.4a)s m ar = Feff = F - m R•• f – mω x (ω x r) – 2m ω x vr – mω• x r // T&M p 392 ( 10.25 ) Velocity relation: v' = v + ω x r + b• S' (6.6a)s vf = vr + ω x r + V // Marion p 344 (11.12) Section 10: Goldstein 71 10. Comparison with Goldstein (1950) and Goldstein, Poole and Safko (2001) Goldstein is a bit of a conundrum and requires careful decoding. GPS refers to Goldstein, Poole and Safko[5]. (a) The meaning of r Goldstein [4] also has S↔ S' including r↔r' relative to our "non-swap" notation. We know this because he says on page 135 that his r is a vector "from the origin of the te rrestrial system to the given particle". Earlier he says "terrestrial measurem ents are usually made with respect to a coordinate system fixed in the earth, which therefore rotates uniformly with a constant angular velocity ω relative to the inertial system". Presumably "fixed in the earth" means "fixed on the surface of the earth ". Therefore surely the vector he calls r is the one we call r'. This is consiste nt with a general S ↔ S' swap and agrees with Marion's use of vector r, but mainly it is consistent with Goldstein' s own equations as we shall see below. (b) The meaning of Goldstein's a s and ar (and of v s and vr) Recall (7.4) from above a 'S = a' + ω• x r' + 2 ω x v' + ω x (ω x r' ) (7.4) Goldstein states the following equation (he has ω• = 0 but we include the term anyway) as = ar + ω• x r + 2 ω x vr + ω x (ω x r) // Goldstein p 135 (4-105) // GPS p 175 (4.89) His subscript r means rotating (same as Marion), while subscript s means space (Marion's fixed system). Comparing our (7.4) to the Goldstein equation above tells us that G us r r' vs v'S // added to this list since consistent with the as line following as a'S vr v' ar a' Goldstein uses the name vr just the way Marion does. However, for Marion vf = v af = a so we must conclude that vf ≠ vs and af ≠ as. The only comment Goldstein gives (p 135) is that " vs and vr are the velocities of the particle relative to the spac e and rotating set of axes respectively." As we have seen in Section 1 (h), there are several kinds of "velocity" so this does not quite nail it down. Since Section 10: Goldstein 72 Goldstein is thinking of doing things in terms of a position vector from the "terrestrial frame", it is not unreasonable to think that Goldstein U s vs = (d r/dt)space → (d r'/dt)S = v'S that is vs = v'S vr = (d r/dt)rot → (d r'/dt)S' = v'S; that is vr = v'S' in agreement with the small table a bove. So we conclude that these ar e the correct Goldstein translation rules ( us → Goldstein/GPS ) r' → r v' S → vs v'S' → vr a'S → as a'S'→ ar ( 1 0 . 1 ) In terms of the discussion in Section 1 (h), Goldstein has chosen for his vs and as not to use the "natural" velocity and acceleration v and a shown in (1.32) and (1.33). Let's test out rules (10.1). Consider our (6.8a) and its Goldstein translation by (10.1) on the second line, v'S = v' + ω x r' (6.8a) vs = vr + ω x r // Goldstein p 135 (4-104) // GPS p 175 (4.88) So this is another piece of evidence confirming our interpretation. Notice that (6.8a) is just the G Rule for the vector r', and that is how Goldstein motivates the equation (but with his r). (c) A hidden approximation is located In his discussion on page 135 (1950) Goldstein says nothing at all about any approximations, although he does have in mind the specific earth system. On page 135 he states "the equation of motion" in an equation with no number as F = mas // Goldstein page 135, no number // GPS p 175, no number According to our translation rules, this says that F = ma'S . But the correct Newton's Law is F = ma (8.1) and according to our (7.5), a = a'S + b•• S , (7.5) Newton's Law really says Section 10: Goldstein 73 F = ma'S + m b•• S = m as + m b•• S . // Goldstein implied We conclude that in writing F = m as, Goldstein has made the approximation that b•• S can be neglected. This is the same assumption Marion makes explic itly. So we interpret Goldstein's unnumbered equation as F = m as + m b•• S ≈ mas . ( 1 0 . 2 ) His remaining two equations can be obtai ned as follows. We go back to (8.4a) approx and translate it using the rules (10.1), m a' = F'eff ≈ F – mω x (ω x r') – 2m ω x v' – mω• x r' ( 8 . 4 a ) approx m ar = Feff = F – mω x (ω x r) – 2m ω x vr – mω• x r // Goldstein p 135 (4-106) // GPS p 175 (4.90) Next, combine (8.5) and (8.6) approx to get the first line, then translate for the 2nd line, F'eff = F – mω x (ω x r') – 2m ω x v' – mω• x r' (8.6) approx + (8.5) Feff = F – mω x (ω x r) – 2m ω x vr – mω• x r // Goldstein p 135 (4-107) // GPS p 175 (4.91) Section 11: Angular Momentum 74 11. Angular Momentum and Fictitious To rques; the Reynolds Transport Theorem (a) Introduction Nomenclature is an issue for this subject, a nd here is a vague partial table of usage: "physics" continuum mechanics r x p angular momentum L moment of momentum (moment of p) r x F torque N or τ moment of force (moment of F), moment ( M or m) r⊥ = rsinθ moment arm moment arm Σi ri x Fi with ΣiFi= 0 a sum of torques a couple, a torque, a pure moment The moment arm r ⊥ is the component of r which is perpendicular to F (or p) as in the drawings below. We shall use the "physics" terminology, so : A Particle located at position r and having linear momentum p is said to have angular momentum L = r x p about the origin, in reference to the origin, or with respect to the origin. A Particle located at position r which is acted upon by a force F is said to experience a torque N = r x F about the origin, in reference to the origin, or with respect to the origin. In other words, the tail of vector r is at the origin of the coordinate system and L and N as above are both shown with respect to that point, as in the picture on the left below. Note that a Particle could refer to an actual point particle, or to a small piece of a rigid body, or to a small chunk of a fluid or an elastic solid. Sometimes we want to use L and N with respect to some other reference point, call it c, which is not the origin of the coordinate system. This is shown on the right where the origin of the picture on the left has been translated slightly down and to the right, Fig 11.1 The angular momentum and torque with respect to point c are given by L(c) = (r-c) x p L(0) = r x p N(c) = (r-c) x F N(0) = r x F Section 11: Angular Momentum 75 We therefore introduce a label " c" to indicate the point of reference for an L or an N. If the reference point is the origin, then we write things as shown on the right above. In the work below, a certain amount of complexity is introduced by allowing c ≠ 0, but the intention is to "do the general case". This then brings up the significance of the last line in the little notation table above, and suggests the benefits of dealing w ith "a couple" when possible. Consider: Theorem: If the sum of a set of forces acting on an object is 0, then the sum of the torques associated with those forces (acting on that same object) is independent of the point c chosen as the reference point for all the torques. proof: N(c) = Σi(ri-c) x Fi = Σi rix Fi - c x (ΣiFi) = Σi rix Fi - 0 = N(0) . Example: Imagine a cylindrical steel bar in a state of to rsional strain due to e qual and opposite torques applied to the ends of the bar through small gra bber chucks, one at each end (no gravity). So N1 = -N2 = N and each torque is twisting the ba r counterclockwise as seen looking at each end. The effect of a chuck on the bar can be represented as a continuous sum of tangential forces acting on the thin band of surface of the bar under the chuck, which forces add up to zero (think pairwise). Therefore, since the total force of a chuck on the bar is zero, the torque of a chuck on the bar is independent of reference point. Since the same is true for each end, one can pick some arbitrary point c (such as c = 0) and reference both torques to that point, and then add them "l egally" to conclude that the total torque on the bar is 0. The bar thus shows no angular acceleration. Fig 11.2 In this example, each chuck represents a couple or pure moment acting on the bar. Section 11: Angular Momentum 76 (b) Expression of L(c) and L•(c) in terms of Frame S' objects We replicate the picture presented in Section 1 (h), adding two new points c and c' : Fig 11.3 Again mass m = 1 so momentum p = mv = v. For arbitrary reference points c and c' one has from (1.36), L(c) = ( r-c) x v L•(c) = ( r-c) x a – c•S x v L'(c') = (r'-c') x v' L•'(c') = (r'-c') x a' – c•'S' x v' (1.36) (11.1) The reference points c and c' might be moving. We know from Sections 6 and 7 how r,v,a and r',v',a' are related, r = r' + b (6.1) v = v' + ω x r' + b• S (6.6a) a = a' + ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S (7.6a) (11.2) Part of the goal of Section 5 is to express L(c) and L•(c) in terms of Frame S' quantities. In the following all algebra is shown to provide an easily traceable pa th since there won't be any result verifications: L(c) = ( r-c) x v = ( r' -c + b) x v = (r' -c) x v + b x v = ( r' - c' - c + c') x (v' + v - v' ) + b x v = (r' - c') x v' + (r' - c') (v - v' ) + ( c'- c) x v + b x v Section 11: Angular Momentum 77 = L'(c') + ( r' - c') (ω x r' + b• S) + ( c'- c + b ) x (v' + ω x r' + b• S) = L'(c') + ( r' - c') (ω x r' + b• S) + ( c'- c + b ) x (ω x r' + b• S) + (c'- c + b ) x v' = L'(c') + ( r' - c' + c' - c + b ) (ω x r' + b• S) + ( c'- c + b ) x v' = L'(c') + ( r' - c + b ) (ω x r' + b• S) + ( c'- c + b ) x v' Next: L•(c) = (r-c) x a – c•S x v = (r' - c' - c + c' + b) x (a' + a - a' )– c•S x v = ( r' - c' - c + c') x (a' + a - a' ) + b x a – c•S x v = (r' - c') x a' + (r' - c') x (a - a' ) + (c'- c) x a + b x a – c•S x v + c•'S' x v – c•'S' x v = (r' - c') x a' – c•'S' x v' + (r' - c') x (a - a' ) + (c'- c + b ) x a – c•S x v + c•'S' x v' = L•'(c') + ( r' - c') x (a - a' ) + (c'- c + b ) x a – c•S x v + c•'S' x v' = L•'(c') + ( r' - c') x [ ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S] + ( c'- c + b ) x [a' + ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S] – c•S x v + c•'S' x v' = L•'(c') + ( r' - c') x [ ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S] + ( c'- c + b ) x a' + ( c'- c + b ) x [ ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S] – c•S x v + c•'S' x v' = L•'(c') + (c'- c + b ) x a' + ( c'- c + b + r' - c' ) x [ ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S] – c•S x v + c•'S' x v' = L•'(c') + (c'- c + b ) x a' – c•S x [v' + ω x r' + b• S] + c•'S' x v' + ( r' - c + b ) x [ ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S] These results may now be summarized: Section 11: Angular Momentum 78 L(c) = L'(c') + ( r' - c + b ) (ω x r' + b• S) + ( c'- c + b ) x v' (11.3) L•(c) = L•'(c') + (c'- c + b ) x a' – c•S x [v' + ω x r' + b• S] + c•'S' x v' + ( r' - c + b ) x [ ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S] . (11.4) Equations (11.3) and (11.4) express L(c) and L•'(c') entirely in terms of Frame S' objects, for the general case where angular momentum reference points c and c' are arbitrarily selected. Equation (11.4) can be rewritten as L•'(c') – L•(c) = – ( c'- c + b ) x a' + c•S x [v' + ω x r' + b• S] – c•'S' x v' – ( r' - c + b ) x [ ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S] (11.5) (c) Fictitious Torques and Newton's Ro tational Law in a non-inertial frame In analogy with Newton's Law F = (d p/dt)S, Newton's Rotational Law in inertial Frame S is given by, N(c) = (d L(c)/dt)S = L•(c) S = L•(c) // true Newton's Rot Law in Frame S (11.6) where L(c) is the angular momentum of our Particle in Frame S relative to reference point c, and N(c) is some externally applied torque about that same reference point acting on the Particle. In Frame S' we want to find some effe ctive ("bogus") Newton's Rotational Law, N'(c') eff = L•'(c') // bogus Newton's Rot Law in Frame S' (11.7) N'(c') eff = N(c) + N'(c') fict // defines N'(c')fict (11.8) where N'(c') fict is the fictitious torque that mysteriously appears in non-inertial Frame S', so then N(c) + N'(c') fict = L•'(c') . ( 1 1 . 9 ) We can then apply this bogus Newton's Rotational Law in non-inertial Frame S' as long as we include the fictitious torques N'(c') fict along with the real torques N(c) which are just those present in inertial Frame S. This is in complete analogy with the use of fictitious forces as reviewed in Section 8. Subtracting (11.6) from (11.8) gives, N'(c') fict = L•'(c') - L•(c) , ( 1 1 . 1 0 ) and using (11.5) , Section 11: Angular Momentum 79 N'(c') fict = – ( c'- c + b ) x m a' + c•S x [mv' + mω x r' + m b• S] – c•'S' x mv' – ( r' - c + b ) x [ mω• x r' + 2mω x v' + mω x (ω x r') + m b•• S] (11.11) where we have quietly reinstalled the mass m. Recalling now the fictitious force from (8.6), F'fict = – m b•• S – mω x (ω x r') – 2m ω x v' – mω• x r' (8.6) (11.12) frame centrifugal Coriolis Euler the fictitious torque can be written as N'(c') fict = – ( c'- c + b ) x m a' + c•S x [mv' + mω x r' + m b• S] – c•'S' x mv' + ( r' - c + b ) x F'fict ( 1 1 . 1 3 ) As noted earlier, a common situation is to assume c ≡ 0 and c' ≡ 0 so that N'(0) fict = – b x ma' + ( r' + b ) x F'fict // c = c' = 0 (11.14) If in addition the origins of frames S and S' coincide, then b = 0 and the result is simply N'(0) fict = r' x F'fict / / c = c' = b = 0 (11.15) (d) Application: Fictitious Torques in Fluid Dynamics The object of interest is a blob of fluid contained in a moving volume V m. The boundary S m of this volume V m moves and changes shape such that every point on S m moves at a velocity which matches the local fluid flow velocity v(r,t). As a result, no particles of fluid either enter or leave the blob volume V m as it moves. One implication is that the mass M of the blob V m remains constant. This blob, of some fixed mass M, is our "object of mechanical interest" (later called "the system"). At time t, we imagine that V m sheds a snake skin V c which then remains frozen in time. Then V m(t) aligns with V c at time t and probably at no other time. Whereas V m moves, V c is fixed. V m is called a "material volume" since it flows with the material, while V c is called a "control volum e". In general, all volume integrals except those being differentiated in time are expressed as integrals over Vc. Here is Newton's Rotational Law N = L• (11.6) for the this blob object of mass M in inertial Frame S, N(0) = ∫Sc r x t dS + ∫Vc r x ρB dV = (d/dt) S [ ∫Vm r x ρv dV ] . // (7.9.1) (11.16) This equation appears in Lai[14] as equation (7.9.1). Here t is a possible external "surface traction" (force per area) acting on the blob's surface S c, B is some possible "body force" per unit mass acting on the blob's interior (perhaps gravity g), and ρ is the mass density of the fluid. Notice that ∫Vm r x ρv dV is an integral of d L = r x dp over the blob, where d p = dm v and dm = ρdV, so this integral is L(0) blob referenced to the point c = 0. Section 11: Angular Momentum 80 Frame S' is some rotating frame whose orig in is aligned with that of Frame S, so b = 0, and the angular momentum reference point in Frame S' is chosen as c' = 0. The integrals for N(0) can be evaluated in any frame one likes, and evaluating them in rotating Frame S' gives N(0) = ∫Sc' r' x t dS' + ∫Vc' r' x ρB dV' (11.17) Here the integration point r' runs over surface S c' in the first integral, and over volume V c' in the second. The body force B and the surface traction t are unchanged but are now expressed in terms of r'. What does equation (11.16) look like in non-inertial Frame S' ? According to (11.8) it is this: N(0) + N'(0) fict = L•'(0) = (d/dt) S'L'(0) (11.13) which using (11.17) may be written as ( ∫Sc' r' x t dS' + ∫Vc' r' x ρB dV' ) + N'(0) fict = (d/dt ) S' [ ∫Vm' r' x ρv' dV'] . (11.18) Here everything is computed in rotating Frame S', but t and B are the same as in Frame S since they are not affected by the fact that the frame S' is rotating. Also, ρ' = ρ since this is mass per volume and the differential volume element is not affected by a rotation. The control volume V c' and its boundary S c' are fixed in Frame S'. On the right, V m' aligns with V c' at time instant t, and ∫Vm' r' x ρ'v' dV' = L'(0) blob . ( 1 1 . 1 9 ) The question remains: what is the fictitious torque N'(0) fict appearing in (11.18) ? For a particle of mass dm' at location r' in the blob the contribution is (terms reordered on second line) d N'(0) fict = r' x dF'fict = r' x [– b•• S – ω x (ω x r') – 2 ω x v' – ω• x r'] dm' = r' x [– b•• S – ω• x r' – ω x (ω x r') – 2 ω x v'] dm' . (11.20) When this is integrated over the blob, one finds N'(0) fict = ∫Vc'r' x [– b•• S – ω• x r' – ω x (ω x r') – 2 ω x v'] dm' // (7.9.9) (11.21) = – ( ∫Vc'r' dm') x b•• S – ∫Vc'r' x(ω• x r'] dm' – ∫Vc'r' x [ω x (ω x r')]dm' - 2 ∫Vc'r' x (ω x v')dm' frame Euler centrifugal Coriolis This expression appears in Lai as p 431 (7.9.9). Section 11: Angular Momentum 81 Equation (11.18) with (11.21) is applied on Lai pp 431-432 to a conventional rotating sprinkler. The sprinkler is at translational rest and its horizontal watering tube of length 2r 0 rotates at ω . The control volume V c' is the interior of this rotating watering tube (angled ends are very short), so V c' is fixed in rotating Frame S'. The solution to the problem is shown to be ω = -(Q/A)sin θ/r0 where A is the area of the orifice on each end of the watering tube, Q is the vol ume of water flow delivered to the sprinkler, and θ is the angle of each tube-end opening viewed from above. (e) Application: Fictitious Forces in Fluid Dynamics A similar equation applies for the ficitious forces (rather than torques) in this same fluid dynamics example. Perhaps this should have appeared in S ection 8, but the groundwork has been laid here. The corresponding equations are F = dp/dt or F = (∫Sc t dS + ∫VcρB dV) = (d/dt) S [ ∫Vm r x ρv dV ] (11.22) and F + F'fict = (d/dt ) S' [ p' ] or ( ∫Sc t dS + ∫Vc ρB dV ) + F'fict = (d/dt) S' [ ∫Vm' ρv' dV'] , (11.23) where, again using (11.12) integrated over the blob with dm' = ρdV', F'fict = – b•• S ∫V' dm' – ω x (ω x ∫Vc'r' dm' ) – 2 ω x ∫Vc' v' dm' – ω• x ∫Vc'r' dm' . ( 1 1 . 2 4 ) Setting M ≡ ∫V'dm' = total mass of the blob, and combining the last two equations while reordering terms, one gets (d/dt) S' [ ∫Vm' ρv' dV'] = ( ∫Sc t dS + ∫Vc ρB dV ) – [ M b•• S + 2 ω x ∫Vc' v' dm' + ω• x ∫Vc'r' dm' + ω x (ω x ∫Vc'r' dm' ) // (7.7.14) (11.25) which appears as equation (7.7.1 4) on p 429 of Lai which uses a0 = b•• S and m = M. Section 11: Angular Momentum 82 Here is a translation table relating our nota tion to that of Lai (figure on page 428) Lai u s F1 S f i x e d f r a m e F2 S' rotating frame (moving frame) r r position in fixed frame x r' position in rotating frame (d r/dt)F1 = vF1 (d r/dt)S = vS = v velocity in fixed frame (d x/dt)F2 = vF2 (d r'/dt)S' = v'S' = v' velocity in rotating frame R0 b vector linking frame origins r = R 0 + x r = b + r' (D/Dt)F1 = (D/Dt) (d/dt) S derivative in fixed frame (a0) F1 = a0 b•• S In Lai equations (7.9.1) through (7.9.8) symbol v means vF1 which is our v. In Lai equation (7.9.9) showing the fictitious torque, symbol v means vF2 which is our v' . (f) Comments on the Reynolds Transport Theorem Although a bit off our path, it seems useful to tie this topic in with the previous section. 1. The operation ∂ /∂t = differs from the operation d/dt when appl ied to an "Eulerian" function of space and time, in which case d/dt is called a material deriva tive and is written D/Dt in fluid dynamics notation, df( r,t)/dt = ∂f/∂t + ∇ f • dr/dt = ∂ f/∂t + v • (∇f) ≡ Df(r,t)/Dt . In an Eulerian function, the position coordinate r is the current position of a Pa rticle of fluid as one would expect. (In a Lagrangian function, the position argument is the position at which a Particle started out at some earlier time t 0. ) In general, any property of a fluid f( r,t) (such as temperature or density or velocity) varies with r, so the v • (∇f) term does not in general vanish. 2. The right side of equation (11.16) or (11.22) sh ows the total time derivative of an integral over a material volume V m, which integral represents a mechanical prope rty of our blob object of interest. It is always possible to replace such a time derivativ e with a set of control volume and control surface integrals using a rather elegant theorem known as the Reynolds Transport Theorem (1903) , (d/dt) [ ∫Vm T dV ] = ∫Vc (∂T/∂t) dV + ∫Sc T(v•n) dS = ∫Vc [(dT/dt)+ T div v] dV (11.26) where T = T( r,t) is any reasonable function. For example, T could be a scalar like ρ, or a component of a vector like r x ρv in (11.22), or a component of any tensor T ijk... . This theorem appears as (7.4.1) and (7.4.2) in Lai page 418 and a proof is given on the next page. [ n is a unit normal to the surface ] Notice that each term has the units of T times volume/sec. Section 11: Angular Momentum 83 If T = ρ , the left expression is dM/dt = 0 and the far right integral being 0 for any V c requires that (dρ/dt) + ρ div v = 0 which is a form of the continuity equation ∂ρ/∂t + div(ρ v) in which ρ is mass density and J = ρv is the mass-current density. 3. Although we write V c = Vm(t) at time t, it is understood that V c is independent of time -- it is that shed snake skin referred to above. Therefore, one regards ( ∂Vc/∂t) = (dV c/dt) = 0, and then in (11.26) we can write ∫Vc (∂T(r,t)/∂t) dV = (∂/∂t) [∫Vc T(r,t) dV ] = (d/dt) [ ∫Vc T(r,t) dV ] (11.27) where in the last step we use the fact that the integral is a function only of time, since r is integrated out. So The Reynolds Transport Theore m (11.26) can be written this way (d/dt) [∫Vm TdV] = (d/dt) [ ∫Vc TdV ] + ∫Sc T(v•n) dS = ∫Vc [(dT/dt)+ T div v] dV (11.28) 4. Writing T = ρb where b is some extensive blob property per unit mass, (11.28) becomes (d/dt) [∫Vm b ρdV] = (d/dt) [ ∫Vc b ρdV ] + ∫Sc bρ(v•n) dS = ∫Vc [(d(ρb)/dt)+ (ρb) div v] dV . (11.29) In this case, one can regard ∫Vm b ρdV = ∫Vm b dm as the "total amount of b" in the moving fluid blob. This moving blob which recall maintains all its partic les is sometimes called "the system", and the total amount of b in the system might be called B sys. Then (11.29) can be written as (dB sys/dt) = (dB CV/dt) + ∫CS bρ(v•n) dS = ∫CV [(d(ρb)/dt)+ (ρb) div v] dV (11.30) where CV (or C.V.) is a traditional notation for V c, the control volume, and CS is S c, the control surface. For example, here is a typical web appearance of the Reynolds Transport Theorem in the form of the left equality in (11.30) and (11.29), which points out another common nota tion: V with a horizontal bar ( V ¯¯) refers to volume, to distinguish it from V without a slash which refers to velocity. We solved this problem by using lower case v for velocity. When the bar is short, one gets V ¯ which looks a bit like an upside down A, and in fact the logic "for all" symbol ∀ is sometimes used. Section 11: Angular Momentum 84 5. Conceivably, the vague similarity between the left equation in (11.22) and the G Rule (2.1) might be the reason some people refer to the G Rule as a tr ansport theorem. This does seem far fetched. 6. Applying the left equality of (11.28) to T = r x ρv gives, in Frame S, (d/dt) S [ ∫Vm r x ρv dV ] = (d/dt) S [ ∫Vc r x ρv dV ] + ∫Sc r x ρv (v•n) dS , (11.31) so that (11.16) may be written N(0) = ( ∫Sc r x t dS + ∫Vc r x ρB dV ) = (d/dt) [ ∫Vc r x ρv dV ] + ∫Sc (r x ρv) (v•n) dS . // (7.9.8) (11.32) This says that the total torque on a fluid blob eq uals the rate of change of the angular momentum contained in the frozen control volume V c plus the rate of outflow of angular momentum from that volume. This equation appears as (7.9.8) in Lai p 431. When working in a rotating frame, we have to add to the left side of (11.32) the fictitious torques stated in (11.21) and Lai states as (7.9.9). Here th en are a few quotes from Lai, which uses the continuum mechanics terminology as shown in the ta ble at the start of this Section : --------------- Section 11: Angular Momentum 85 The equation (7.9.8) and its italicized interpretation express the familiar law of conservation of angular momentum. In Chapter 7 Lai has similar sections for conservation of mass, energy, and linear momentum, and a final section on the inequality of entropy, each of these being a "principle". Each section uses the Reynolds Transport Theorem to replace its D/Dt [ ∫Vm ...] object, and each section ends up with an equation like (7.9.8) with an italicized interpretation. Section 12: Forward Problem Summary 86 12. Summary of the Forward Problem Solution (a) Summary of the Forward Problem equations (non-swap notation) We now summarize the results of Sections 6, 7, 8 and 11. The first set of equations below is valid regardless of whether either of these frames is inerti al (they could both be non-inertial). The second set of equations involving fictitious forces assumes that Fram e S is inertial (and therefore Frame S' is not). Fig 12.1 (non-swap) Definitions and Equations r, v, a position, natural velocity and natural acceleration in Frame S r', v', a' position, natural velocity and natural acceleration in Frame S' ω angular velocity of Frame S' relative to Frame S b vector directed from origin of Frame S to origin of Frame S' r = b + r' (6.1) v = v' + ω x r' + b• S (6.6a) v = v' + ω x r + b• S' (6.6c) a = a' + ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S (7.6a) S S' Euler Coriolis centripetal frame a = a' + ω• x r + 2 ω x v' + ω x (ω x r) + 2ω x b• S' + b•• S' (7.6b) L(c) = L'(c') + ( r' - c + b ) (ω x r' + b• S) + ( c'- c + b ) x v' (11.3) L•(c) = L•'(c') + (c'- c + b ) x a' – c•S x [v' + ω x r' + b• S] + c•'S' x v' + ( r' - c + b ) x [ ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S] (11.4) Section 12: Forward Problem Summary 87 Fictitious Forces (Section 8) For using fictitious forces we have (Frame S is inertial) F = ma // true Newton's Law in inertial Frame S (8.1) F'eff = ma' // fake Newton's Law in rotating Frame S' (8.3) F'eff = F + F'fict w h e r e , (8.5) For the general case, the fictitious forces can be expressed as F'fict = – m b•• S – mω x (ω x r') – 2m ω x v' – mω• x r' (8.6) frame centrifugal Coriolis Euler For Special Case # 1 problems ( ω axis passes through Frame S origin), we have F'fict = – mω x (ω x r) – 2m ω x v' – mω• x r Special Case #1 (8.12) centrifugal Coriolis Euler Fictitious Torques (Section 11) N'(c') fict = – ( c'- c + b ) x m a' + c•S x [mv' + mω x r' + m b• S] – c•'S' x mv' – ( r' - c + b ) x [ mω• x r' + 2mω x v' + mω x (ω x r') + m b•• S] (11.11) where the second line is just ( r' - c + b ) x F'fict from (8.6). Note : The "swap" which relates swap notation to non-swap notation is simply that all primed objects (things like S, en, r, v, a, c, F, N ) are interchanged with their non-primed counterparts. This is just a set of name changes. The vectors b or ω stay the same. So, the picture and equations in section (b) are the same as those of section (a) apart from this swap of primes. Section 12: Forward Problem Summary 88 (b) Summary of the Forward Problem equations (swap notation) We now restate the above equations in S ↔S' swapped notation. The first se t of equations below is valid regardless of whether either of these frames is inerti al (they could both be non-inertial). The second set of equations involving fictitious forces assumes that Fram e S' is inertial (and therefore Frame S is not). Fig 12.2 (swap) Definitions and Equations r', v', a' position, natural velocity and natural acceleration in Frame S' r, v, a position, natural velocity and natural acceleration in Frame S ω angular velocity of Frame S relative to Frame S' b vector directed from origin of Frame S' to origin of Frame S r' = b + r (6.1)s v' = v + ω x r + b• S' (6.6a)s v' = v + ω x r' + b• S (6.6c)s a' = a + ω• x r + 2 ω x v + ω x (ω x r) + b•• S' (7.6a)s S' S Euler Coriolis centripetal frame a' = a + ω• x r' + 2 ω x v + ω x (ω x r') + 2ω x b• S + b•• S (7.6b)s L'(c') = L(c) + ( r - c' + b ) (ω x r + b• S') + ( c- c' + b ) x v (11.3)s L•'(c') = L•(c) + (c- c' + b ) x a – c•'S' x [v + ω x r + b• S'] + c•S x v + ( r - c' + b ) x [ ω• x r + 2 ω x v + ω x (ω x r) + b•• S'] (11.4)s Section 12: Forward Problem Summary 89 Fictitious Forces (Section 8) For using fictitious forces we ha ve (Frame S' is inertial) F' = ma' // true Newton's Law in inertial Frame S' (8.1)s Feff = ma // fake Newton's Law in rotating Frame S (8.3)s Feff = F' + Ffict (8.5)s For the general case, the fictitious forces can be expressed as Ffict = – m b•• S' – mω x (ω x r) – 2m ω x v – mω• x r (8.6)s frame centrifugal Coriolis Euler For Special Case # 1 problems ( ω axis passes through Frame S' origin), we have Ffict = – mω x (ω x r') – 2m ω x v – mω• x r' Special Case #1 (8.12)s centrifugal Coriolis Euler Fictitious Torques (Section 11) N(c) fict = – ( c- c' + b ) x m a + c•'S' x [mv + mω x r + m b• S'] – c•S x mv – ( r - c' + b ) x [ mω• x r + 2mω x v + mω x (ω x r) + m b•• S'] (11.11)s where the second line is just ( r - c' + b ) x Ffict from (8.6) s. Note : The "swap" which relates swap notation to non-swap notation is simply that all primed objects (things like S, en, r, v, a, c, F, N ) are interchanged with their non-primed counterparts. This is just a set of name changes. The vectors b or ω stay the same. So, the picture and equations in section (b) are the same as those of section (a) apart from this swap of primes. Section 13: The Inverse Problem 90 13. The Inverse Problem Consider these two problems which concern the exact same physical situation (non-swap notation): Forward problem: given: r', v', a', L'(c'), L•'(c') find: r, v, a, L(c), L•(c) // summarized in Section 12 (a) Inverse problem: given: r, v, a, L(c), L•(c) find: r', v', a', L'(c'), L•'(c') // to be summarized in (c) below We shall first compute the inverse equations by brute force, then at the end show how they can be obtained by a set of simple swap rules. (a) Brute Force Method Looking at the Section 12 (a) summary, equation (6.1) is easily inverted r = b + r' => r' = r - b ( 1 3 . 1 ) Similarly for (6.6a), where the third line below uses identity (6.2a), v = v' + ω x r' + b• S (6.6a) v' = v – ω x r' – b• S ( 1 3 . 2 a ) v' = v – ω x r – b• S' ( 1 3 . 2 b ) Equation (7.6a) requires a bit more effort to invert. We first solve (7.6a ) for a' a = a' + ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S (7.6a) a' = a – ω• x r' – 2 ω x v' – ω x (ω x r') – b•• S (13.3a) Replace v' using (13.2a), a' = a – ω• x r' – 2 ω x [v – ω x r' – b• S] – ω x (ω x r') – b•• S = a – ω• x r' – 2 ω x v + 2 ω x (ω x r') + 2 ω x b• S – ω x (ω x r') – b•• S = a – ω• x r' – 2 ω x v + ω x (ω x r') + 2 ω x b• S – b•• S (13.3b) Section 13: The Inverse Problem 91 With r' = r – b we can regard the RHS of (13.3b) as being expressed entirely in terms of Frame S objects. Now, by first shuffling terms in (7.10), b•• S' = b•• S – ω• x b – 2ω x b• S + ω x (ω x b) = > (7.10) 2 ω x b• S – b•• S = – ω• x b + ω x (ω x b) – b•• S' we can replace the last two terms in (13.3b) to get a' = a – ω• x r' – 2 ω x v + ω x (ω x r') – ω• x b + ω x (ω x b) – b•• S' = a – ω• x r – 2 ω x v + ω x (ω x r) – b•• S' (13.3c) Inversion of the L(c) and L•(c) can also be done by this brute force method, but we spare the reader and instead quote the results later after es tablishing the "swap rules method". Summary of the inverse problem results : r' = r - b (13.1) v' = v – ω x r – b• S' (13.2b) v' = v – ω x r' – b• S (13.2a) a' = a – ω• x r – 2 ω x v + ω x (ω x r) – b•• S' (13.3c) a' = a – ω• x r' – 2 ω x v + ω x (ω x r') + 2 ω x b• S – b•• S (13.3b) (b) Swap Rules Method Without any justification yet, let's postulate that we can obtain our inverse problem equations directly from the forward problem equations (and vice versa) using this set of swap rules r ↔ r' b ↔ – b ω ↔ – ω L(c) ↔ L'(c') (13.6) v ↔ v' b• S ↔ – b• S' L•(c) ↔ L•'(c') a ↔ a' b•• S ↔ – b•• S' Later in section (e) we will justify this set of rules. Since the inverse equations computed by brute force are sitting just above, let's apply these swap rules to them and see what we get: r = r' + b (13.1)swapped v = v' + ω x r' + b• S (13.2c)swapped Section 13: The Inverse Problem 92 v = v' + ω x r + b• S' (13.2a)swapped a = a' + ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S (13.3c)swapped a = a' + ω• x r + 2 ω x v' + ω x (ω x r) + 2 ω x b• S' + b•• S ' (13.3b)swapped And now we directly quote the summary from Section 12 (a) above r = b + r' (6.1) v = v' + ω x r' + b• S (6.6a) v = v' + ω x r + b• S' (6.6c) a = a' + ω• x r' + 2 ω x v' + ω x (ω x r') + b•• S (7.6a) a = a' + ω• x r + 2 ω x v' + ω x (ω x r) + 2ω x b• S' + b•• S' (7.6b) Since the last two sets of equations are identical, we have shown that the swap rules presented above do indeed convert either set of equations into the other, forward problem equations ← swap rules → inverse problem equations Section 13: The Inverse Problem 93 (c) Summary of the Inverse Problem Equations (non-swap notation) The term "non-swap" notation in the title of this subsection just refers to the labeling of the picture below. It has nothing to do with the Swap Rules shown in (13.6). The equations below are the inverse problem equations corresponding to the forward problem equations given in Section 12 (a). Fig 13.1 (non-swap) r', v', a' position, natural velocity and natural acceleration in Frame S' r, v, a position, natural velocity and natural acceleration in Frame S ω angular velocity of Frame S' relative to Frame S b vector directed from origin of Frame S to origin of Frame S' r' = r - b (13.1) v' = v – ω x r – b• S' (13.2b) v' = v – ω x r' – b• S (13.2a) a' = a – ω• x r – 2 ω x v + ω x (ω x r) – b•• S' (13.3c) a' = a – ω• x r' – 2 ω x v + ω x (ω x r') + 2 ω x b• S – b•• S (13.3b) L'(c') = L(c) + ( r - c' – b ) (–ω x r – b• S') + ( c- c' – b ) x v L•'(c') = L•(c) + (c- c' – b ) x a – c•'S' x [v – ω x r – b• S'] + c•S x v + ( r - c' – b ) x [ –ω• x r – 2 ω x v + ω x (ω x r) – b•• S'] (13.7) These (inverse problem, non-swap notation) equations are related to the (forward problem, swap notation) equations of Section 12 (b) by ω ↔ –ω and b ↔ –b. This fact serves as a check on the first equations above, and is used to obtain the L equations from those in Section 12 (b). Section 13: The Inverse Problem 94 (d) Summary of the Inverse Proble m Equations (swap notation) The term "swap" notation in the title of this subsection just refers to the labeling of the picture below. It has nothing to do with the Swap Rules shown in ( 13.6). The equations below are the inverse problem equations corresponding to the forward problem equations given in Section 12 (b). Fig 13.2 (swap) r, v, a position, natural velocity and natural acceleration in Frame S r', v', a' position, natural velocity and natural acceleration in Frame S' ω angular velocity of Frame S relative to Frame S' b vector directed from origin of Frame S' to origin of Frame S r = r' - b (13.1)s v = v' – ω x r' – b• S (13.2b)s v = v' – ω x r – b• S' (13.2a)s a = a' – ω• x r' – 2 ω x v' + ω x (ω x r') – b•• S (13.3c)s a = a' – ω• x r – 2 ω x v' + ω x (ω x r) + 2 ω x b• S' – b•• S' (13.3b)s L(c) = L'(c') + ( r' - c – b ) (–ω x r' – b• S) + ( c'- c – b ) x v' L•(c) = L•'(c') + (c'- c – b ) x a' – c•S x [v' – ω x r' – b• S] + c•'S' x v' + ( r' - c – b ) x [ – ω• x r' – 2 ω x v' + ω x (ω x r') – b•• S] (13.8) These (inverse problem, swap notation) equations are related to the (forward problem, non-swap notation) equations of Section 12 (a) by ω ↔ –ω and b ↔ –b. This fact serves as a check on the first equations above, and is used to obtain the L equations from those in Section 12 (a). Section 13: The Inverse Problem 95 (e) Why the Swap Rules (13.6) Work We shall do a series of transformations on our general rotation picture Fig 4.2, Fig 13.3 The above picture shows the situation with Fr ame S' doing instantaneous rotation about the ω rotation axis, and Frame S is fixed. In order to stop Frame S' from rotating, we must instantaneously rotate the above picture (3D space) at rate - ω about the rotation axis. Doing this gives Fig 13.4 Frame S, which used to be fixed, is now doing instantaneous rotation at - ω about the same axis about which Frame S' used to be rotating. Next we do two things at once: We first flip the b arrow changing b to -b, then we cosmetically just rotate the above picture 180 degrees. This gives, Fig 13.5 Section 13: The Inverse Problem 96 Next, we do a global S ↔S' swap on everything (for example, ∂S ↔ ∂S', r↔r' , e'n↔ en, etc) and at the same time we rotate the text so things are more readable, Fig 13.6 Since objects like R ω(t) and vωpart(t) don't appear in our equation sets, we just ignore them. As a final step, change the color of the two frames, AND make the change ω → -ω Fig 13.7 which we can them compare to the original forward picture Fig 13.3 Section 13: The Inverse Problem 97 Apart from the fact that the two frames are oriented differently and the Particle is in a different position and the rotation radius and rotation axis are different, these two pictures are kinematically identical. In other words, any equation we de rive in terms of variables r, r', b, ω, etc for the last two pictures will be the same, an example being r = r' + b. We got from one picture to the other by doing these ch anges, which are seen to be the same as (13.6), b→ -b S↔S' (and all that entails) ω→ -ω (13.9) Since the swap rules take the physical kinematic pictur e back to itself, the same swap rules acting on any valid equation derived from either of these equivalent pictures produces an equation which is also valid. In other words, the swap rules embody a symmetry of both the picture and the equations. This then is why the "swap rules" (13.6) convert between the forward problem equation set and the inverse problem equation set. Section 14: Curvilinear Coordinates 98 14. Rotating Frames in Curvilinear Coordinates The solution equations to our Forward Problem are su mmarized in Section 12 (a) and (b) above, and those to the Inverse Problem are summarized in Section 13 (c ) and (d). All equations are stated in bolded vector notation. Such equations may be proj ected onto (dotted with) any complete set of basis vectors, such as the r^, θ^, φ^ used in spherical coordinates. Every orthogonal curvilinear coordinate system has such a set of orthonormal unit basis vectors which we shall call e^i, orthonormality meaning e^i • e^j = δi,j. In general, curvilinear basis vectors like e^i= r^, θ^, φ^ are different at different points in space, so one can think of them as e^i(r). It is appropriate then to use them as basis vectors for a vector field V(r) or for a vector associated with a discrete Particle located at position r such as the velocity or acceleration of that Particle. We might want to use one curvilinear system of coordinates ξi with basis unit vectors e^i for Frame S, and an entirely different system ξ'i with basis unit vectors e^'i for Frame S'. We might, for example, have ξi be spherical coordinates and ξ'i be toroidal coordinates. He re then is the situation, Cartesian coords and basis vectors Curvilinear coords and basis vectors Frame S r i ei ξi e^i Frame S' (r') i e'i ( ξ')i e^'i (14.1) ei• ej = e'i• e'j = e^i • e^j = e^'i • e^'j = δi,j // orthonormality of all bases (14.2) There must exist some matrix R( ξ) such that e^i(r) = R(ξ) ei for any given curvilinear system. Using the theorem of (1.1) and (1.2) we can write this us eful information regarding the basis vectors : e^i = R(ξ) ei => ei = R(ξ)ije^j or e^i = [R(ξ)]-1 ij ej e^'i = R'(ξ') e'i => e'i = R'(ξ ')ije^'j or e^'i = [R'(ξ ')]-1 ij e'j (14.3) Example of an R( ξ) matrix. In spherical coordinates with ordering 1,2,3 = r, θ,φ, where θ is the polar angle and φ the azimuth, the matrix R( ξ) is given by (note that R-1 = RT), R(ξ) = ⎝⎜⎛ ⎠⎟⎞ cosφsinθ cosφcosθ -sinφ sinφ sinθ sinφcosθ cosφ cosθ -sinθ 0 [R( ξ)]-1 = ⎝⎜⎛ ⎠⎟⎞ cosφsinθ sinφsinθ cosθ cosφcosθ sinφ cosθ -sinθ -sinφ cosφ 0 (14.4) as shown in Appendix A at the end of this document. We can then use (14.3) that e^i = [R(ξ) ]-1 ij ej to write ⎝⎜⎜⎛ ⎠⎟⎟⎞e^1 e^2 e^3 = ⎝⎜⎜⎛ ⎠⎟⎟⎞ r^ θ^ φ^ = ⎝⎜⎛ ⎠⎟⎞ cosφsinθ sinφsinθ cosθ cosφcosθ sinφ cosθ -sinθ -sinφ cosφ 0 ⎝⎜⎜⎛ ⎠⎟⎟⎞ x^ y^ z^ = [R( ξ) ]-1 ⎝⎜⎜⎛ ⎠⎟⎟⎞ x^ y^ z^ = [R( ξ) ]-1 ⎝⎜⎜⎛ ⎠⎟⎟⎞ e1 e2 e3 (14.5) or Section 14: Curvilinear Coordinates 99 r^ = cosφsinθ x^ + sinφsinθ y^ + cosθ z^ θ^ = cosφcosθ x^ + sinφcosθ y^ – sinθ z^ φ^ = –sinφ x^ + cosφ y^ ( 1 4 . 6 ) Expansions and naming. If V is an arbitrary vector, we then have these four expansions of interest : V = Viei V i = V • ei V = (V)'i e'i (V)' i = V • e'i V = (V)i e^i ( V)i = V • e^i V = (V)'i e^'i ( V)'i = V • ei ( 1 4 . 7 ) where we use italics to denote curvilinear vector co mponents. It is common practice, once a curvilinear system is selected, to make these replace ments so the italics are no longer needed, ( V)i → Vξi ( V)'i → Vξi' ( 1 4 . 8 ) In cylindrical coordinates r, θ,z and r',θ',z' this would mean, for example, ( V)1 → Vr ( V)'1 → Vr' ( V)2 → Vθ ( V)'1 → Vθ' ( V)3 → Vz ( V)'2 → Vz' ( 1 4 . 9 ) Equation Example . Consider now this equation taken from the Section 12 (a) summary, v = v' + ω x r + b• S' (6.6c) (14.10) We can view such an equation in any of our four bases as just discussed above, (v)i = (v')i + εijk(ω)j(r)k + (b• S')i components in basis ei (v)'i = (v')'i + εijk(ω)'j(r)'k + (b• S')'i components in basis e'i ( v)i = ( v')i + εijk(ω)j(r)k + ( b• S')i components in basis e^i ( v)'i = (v')'i + εijk(ω)'j(r)'k + (b• S')'i components in basis e^'i (14.11) For example, in r, θ,z cylindrical coordinates if we have ω = ω z^, then (ω)j = δj3ω , so in the third line above we get εijk(ω)j(r)k = εijk ω δj3 (r)k = ω εi3k(r)k = - ω εik3(r)k so that line becomes ( v)i = (v')i - ω εik3(r)k + (b• S')i components in basis e^i Section 14: Curvilinear Coordinates 100 or ( v)1 = (v')1 - ω ε123(r)2 + (b• S')1 ( v)2 = (v')2 - ω ε213(r)1 + (b• S')2 ( v)3 = (v')3 - ω ε3k3(r)k + (b• S')3 = ( v')3 + (b• S')3 . (14.12) This then translates into (since r = rr^ + zz^ = rrr^ + rzz^ and rθ = 0) vr = v'r - ω rθ + (b• S')r = v' r + (b• S')r vθ = v'θ + ω rr + (b• S')θ = v' θ + ω r + ( b• S')θ vz = v'z + (b• S')z ( 1 4 . 1 3 ) For any Special Case #1 problem (see Section 4 (d) ) one has b• S' = 0 and the above equations become extremely simple vr = v'r vθ = v'θ + ω r vz = v'z ( 1 4 . 1 4 ) Section 15: Ant on Turntable 101 15. Ant on Turntable Problems (a) Kinematics common to all Ant Problems Consider a turntable occupied by an ant as shown in this drawing. Here Frame S is a fixed frame with origin at the turntable center, while Frame S' gl ued to the turntable surface is a rotating frame. Fig 15.1 When φ = 0, red Frame S' lies directly under black Frame S and the axes "line up". For any angle φ one has b = -b e'2. Since the rotation axis goes through the origin of Frame S, the turntable problems fall into special case #1 of Section 4 (d). Basis vectors e3 = e'3 point to the viewer as does the ω vector for ω>0. The relation between the three angles θ, θ' and φ is complicated and can be indirectly obtained by writing the laws of sines and cosines for the triangle shown. We show all the angles, but none of this geometric detail will be needed below. Another reasonable way to "instrument" the turntable would have been to place Frame S' to the right of Frame S with axes lining up when φ = 0 with φ defined in a more conventional manner. In this case b = +b e'1. This path was not taken because it cl utters up quadrant one where we want to draw things. // picture not used. Section 15: Ant on Turntable 102 In the first two Problems considered below, an ant executes some crawling motion on the turntable as described by certain r', v', and a' in Frame S'. Our task in each problem is to use our Section 12 summary results to compute r, v, and a as seen in Frame S and to plot some trajectories r(t). In the third problem, the ant becomes a flying ant doing a straight-line fly-by at constant velocity in Frame S just over the turntable surface, which fly-by is described by some r, v, and a. This is an example of the Inverse Problem discussed in Sec tion 13 and our goal here is to compute r', v', and a' in Frame S' using the equations provided in Section 13 (c). Since we want to make Cartesian plots of certain results, we choose Cartesian coordinates for Frame S. The ant's crawling motions we have in mind are most easily expressed in cylindrical coordinates, so we choose cylindrical (basically polar) coordinates for Fram e S'. Therefore, in the notation of Section 14, r i = x,y,z for Frame S basis vectors ei = x^, y^, z^ ξ'i = r',θ',z' for Frame S' basis vectors e^'i = r^' , θ^' , z^' . (15.1) What do we know about all the basis vectors? From the picture one sees that, for the Cartesian unit vectors, e'i = Rz(φ) ei for example e'1 = Rz(φ) e1 (15.2) where φ is the angle describing the orientation of Frame S' relative to Frame S at time t. Meanwhile, the cylindrical unit vectors can be expresse d in terms of the Cartesian ones as follows (just stare at the picture) e^'i = Rz(θ') e'i or r^' = Rz(θ') e'1 (15.3) θ^' = Rz(θ') e'2 z^' = Rz(θ') e'3 // = e'3 . Equations (15.2) and (15.3) can be combined to give e^'i = Rz(θ') e'i = Rz(θ') [Rz(φ) ei] = Rz(θ'+φ) ei . ( 1 5 . 4 ) At this point, it is useful to recall the theorem of (1.1) and (1.2) which says, ei = R e'i ⇔ ei = ( R-1)ij e'j (1.1)+(1.2) Application to (15.2) and (15.4) first with R = Rz(-φ) and then with R = Rz(-θ'-φ) gives Section 15: Ant on Turntable 103 ei = Rz(-φ) e'i ⇔ ei = [Rz(φ)]ij e'j (15.2a) ei = Rz(–θ'– φ) e^'i ⇔ ei = [Rz(θ' + φ)]ij e^'j (15.4a) Since we know that the matrix which does an active R z(ψ) rotation of a vector is given by Rz(ψ) = ⎝⎜⎛ ⎠⎟⎞ cosψ -sinψ 0 sinψ cosψ 0 0 0 1 , we can invert the right equation in (15.4a) to get ⎝⎜⎜⎛ ⎠⎟⎟⎞e^'1 e^'2 e^'3 = Rz(-θ' - φ) ⎝⎜⎜⎛ ⎠⎟⎟⎞ e1 e2 e3 = ⎝⎜⎛ ⎠⎟⎞ cos(θ '+φ) sin(θ'+φ) 0 -sin(θ'+φ) cos(θ '+φ) 0 0 0 1 ⎝⎜⎜⎛ ⎠⎟⎟⎞ e1 e2 e3 or ⎝⎜⎜⎛ ⎠⎟⎟⎞r^' θ^' z^' = ⎝⎜⎛ ⎠⎟⎞ cos(θ '+φ) sin(θ'+φ) 0 -sin(θ'+φ) cos(θ '+φ) 0 0 0 1 ⎝⎜⎜⎛ ⎠⎟⎟⎞ x^ y^ z^ which says r^' = cos(θ'+φ) x^ + sin(θ'+φ) y^ θ^' = - sin(θ'+φ) x^ + cos(θ '+φ) y^ z^' = z^. ( 1 5 . 5 ) Similarly we can invert the right equation in (15.2a) to get ⎝⎜⎜⎛ ⎠⎟⎟⎞ e'1 e'2 e'3 = Rz(-φ) ⎝⎜⎜⎛ ⎠⎟⎟⎞ e1 e2 e3 = ⎝⎜⎛ ⎠⎟⎞ cosφ sinφ 0 -sinφ cosφ 0 0 0 1 ⎝⎜⎜⎛ ⎠⎟⎟⎞ e1 e2 e3 so x^' = cosφ x^ + sinφ y^ y^' = -sinφ x^ + cosφ y^ // e'2 = - sinφ e1 + cosφ e2 z^' = z^ ( 1 5 . 6 ) Relation between Frame S and Frame S' Assume at time t = 0 we have φ = φ0 in Fig 15.1. If the rotation follows some angular velocity profile ω = ω(t), and since ω = dφ/dt, we have dφ/dt = ω(t) => φ(t) = φ0 + ∫0 t ω(τ)dτ . (15.7) Section 15: Ant on Turntable 104 For simplicity, we shall assume constant ω in which case we have φ(t) = φ0 + ωt . ( 1 5 . 8 ) Motion of vector b From the picture and from (15.6) we have, b(t) = -b e'2 = -b [- sin φ x^ + cosφ y^] = bsinφ x^ – b cosφ y^ . (15.9) Section 15: Ant on Turntable 105 (b) Problem 1: Ant crawls at constant speed V to the Origin of Frame S' Fig 15.2 Ant's Motion in Frame S'. Assume the ant starts at some (r' 0,θ'0) at t = 0 and crawls with this velocity toward the S' origin, v' = -V r^' . ( 1 5 . 1 0 ) We can integrate this within Frame S' (where r^' is fixed) to get r'(t) = r'0 -Vt r^' r'0 = r'0r^' = (r'0)xx^ + (r'0)yy^ = x'0 x^ + y'0 y^ (15.11) The magnitude of r'(t) is given by r' = r'0 - V t ( 1 5 . 1 2 ) and we shall only be interested in tim es small enough so r' > 0. The angle θ' never changes, so θ' = θ'0 . ( 1 5 . 1 3 ) Finally, since V = constant, the acceleration is a' = 0 . ( 1 5 . 1 4 ) Thus, in line with our Forward Problem statement, these are the given quantities in Frame S' , r' = r'0 – Vt r^' v' = –V r^' a' = 0 . ( 1 5 . 1 5 ) Section 15: Ant on Turntable 106 Our goal is to compute r, v and a as seen in Frame S. Using (15.5) for r^', we can write (15.10) for v' in another way which will be used below, v' = –Vcos( θ'+φ) x^ – Vsin(θ'+φ) y^ ( 1 5 . 1 6 ) Trajectory r(t) of the ant in Frame S Above we found that b(t) = bsin φ x^ – b cosφ y^ (15.9) r^' = cos(θ'+φ) x^ + sin(θ'+φ) y^ (15.5) which tells us r' = r' r^' = r'cos(θ' + φ) x^ + r'sin(θ' + φ) y^ . From our Section 12 summary (or just from looking at the picture) we have r = b + r' (6.1) Therefore from (15.9) and (15.5) (first line) we can write r(t) = ( bsin φ x^ – b cosφ y^ ) + r' (cos(θ'+φ) x^ + sin(θ'+φ) y^ ) = [ b s i n φ + r'cos(θ '+φ)] x^ + [– b cos φ + r'sin(θ'+φ)] y^ . Since r' = (r'0 - Vt) (15.12) and φ = φ(t) (15.8) as found by integrating ω(t), we get r(t) = [ bsin φ + (r'0 - Vt)cos( θ'+φ)] x^ + [ –b cos φ + (r'0 - Vt) sin( θ'+φ)] y^ or r(t) = x x^ + y y^ w h e r e ( 1 5 . 1 7 ) x = bsinφ + (r'0 – Vt)cos( θ'+φ) y = – bcos φ + (r'0 – Vt)sin( θ'+φ) . This r(t) then is the trajectory of the ant in Frame S. Velocity v(t) of the ant in Frame S Since the turntable falls into our Special Case #1 of Section 4 (d) ( ω through origin of Frame S), we know that b• S' = 0 (vector b is soldered to the Frame S' unit vectors). From the summary in Section 12, we select (6.6c) Section 15: Ant on Turntable 107 v = v' + ω x r + b• S' (6.6c) which then says, setting b• S' = 0, v = v' + ω x r . ( 1 5 . 1 8 ) From (15.16) we have [ θ' = θ'0 everywhere says (15.13) ] v' = –Vcos( θ'+φ) x^ – Vsin(θ'+φ) y^ (15.16) ω x r = [ωz^] x [x x^ + y y^ ] = ωxy^ – ωyx^ (15.19) Therefore (15.18) says v = [ –Vcos( θ'+φ) x^ – Vsin(θ'+φ) y^] + ωxy^ – ωyx^ = [–V cos(θ '+φ) – ω y ] x^ + [–V sin(θ '+φ) + ω x] y^ or v = vx x^ + vy y^ w h e r e ( 1 5 . 2 0 ) v x = –Vcos( θ'+φ) – ω y vy = –Vsin( θ'+φ) + ω x where x,y are given in (15.17). We can go ahead and insert x and y to get – ωy = -ω[– bcosφ + (r' 0 – Vt)sin( θ'+φ)] = ω bcosφ – ω(r'0 – Vt)sin( θ'+φ) ω x = ω[ bsinφ + (r' 0 – Vt)cos( θ'+φ)] = ωbsinφ + ω(r'0 – Vt)cos( θ'+φ) so v x = –Vcos(θ '+φ) + ωbcosφ – ω(r'0 – Vt)sin( θ'+φ) vy = –Vsin( θ'+φ) + ωbsinφ + ω(r'0 – Vt)cos( θ'+φ) . (15.21) Acceleration a(t) of the ant in Frame S From the summary in Section 12 we start with a = a' + ω• x r + 2 ω x v' + ω x (ω x r) + 2ω x b• S' + b•• S' (7.6b) but in this Special Case #1 problem we have b• S' = 0 and b•• S' = 0 so a = a' + ω• x r + 2 ω x v' + ω x (ω x r) . (15.22) Section 15: Ant on Turntable 108 We shall ponder the terms one at a time. As noted in (15.14), a' = 0. Our turntable is restricted to have ω• = ω• z^ so, similar to (15.19) above, we find ω• x r = ω•xy^ – ω•yx^ . ( 1 5 . 2 3 ) Next, we install (15.16) for v' to get ω x v' = [ωz^] x [–Vcos( θ'+φ) x^ – Vsin(θ'+φ) y^] = -ωV cos(θ'+φ) y^ + ωV sin(θ '+φ) x^ = ωVsin(θ '+φ) x^ – ωVcos(θ'+φ) y^ . (15.24) With (15.19) the last term of (15.22) becomes ω x (ω x r) = [ωz^] x [ωxy^ – ωyx^] = -ω2xx^ – ω2yy^ // = - ω2 r, centripetal accel. (15.25) Combining all the terms then gives a = a' + ω• x r + 2 ω x v' + ω x (ω x r) = 0 + (ω•xy^ – ω•yx^) + 2ωVsin(θ '+φ) x^ - 2ωVcos(θ'+φ) y^ -ω2xx^ – ω2yy^ = [ – ω•y + 2ωVsin(θ '+φ) – ω2x] x^ + [ω•x – 2ω Vcos(θ'+φ) – ω2y]y^ or a = ax x^ + ay y^ w h e r e ( 1 5 . 2 6 ) a x = – ω•y + 2ωVsin(θ '+φ) – ω2x a y = ω•x – 2ω Vcos(θ'+φ) – ω2y where x,y are given by (15.17). Summary of the Solution to Problem 1 r(t) = x x^ + y y^ w h e r e (15.17) x = bsinφ + (r'0 – Vt)cos( θ'+φ) y = – bcos φ + (r'0 – Vt)sin( θ'+φ) Section 15: Ant on Turntable 109 v = vx x^ + vy y^ w h e r e (15.20) v x = – Vcos( θ'+φ) – ω y vy = – Vsin( θ'+φ) + ωx a = ax x^ + ay y^ w h e r e (15.26) a x = – ω•y + 2ωVsin(θ '+φ) – ω2x a y = ω•x – 2ω Vcos(θ'+φ) – ω2y and φ (t) = φ0 + ∫0 t ω(τ)dτ = φ0 + ωt for constant ω (15.8) The x and y in equations (15.20) and (15.26) are given by (15.17), and θ' = θ'0 by (15.13). Selected Plots We set φ0 = 0 so Frame S' starts directly below Frame S and is aligned with it, so then φ = ωt. We set θ'0 = θ' = 0 so ant approaches the Frame S' origin along the e'1 axis. With these assumptions (15.17) becomes r(t) = x x^ + y y^ w h e r e (15.27) x = bsin( ωt) + (r'0 – Vt)cos( ωt) y = – bcos( ωt) + (r'0 – Vt)sin( ωt) , Each plot is finite because the trip is ove r when the ant reaches the S' origin at t max = r'0/V. We set b = 0.5, r' 0 = 1, V = 0.1. The ant therefore starts 1/2 unit down and 1 unit to the right. Here are trajectory plots for various values of ω ω = 1/2 ω = 1 ω = 3 F i g 1 5 . 3 Section 15: Ant on Turntable 110 All plots start at the same place and spiral in. The trajectory ends when the ant reaches the S' origin. The middle plot was generated by the following Maple code : If we set b = 0, we get these more traditional pl ots ( Frame S and Frame S' origins coincide ) ω = 1/2 ω = 1 ω = 3 F i g 1 5 . 4 Next we plot the velocity v from (15.20) only for the middle ω = 1 case above on the right below, with the corresponding trajectory plot r on the left: Fig 15.5 ω = 1 plot of r(t) ω = 1 plot of v(t) Section 15: Ant on Turntable 111 For seven different (but unknown) times, we draw the ve locity vector on the right and then transfer it to where we think it ought to go on the trajectory plot on the left. Things at least seem reasonable. A proper visual check would require a program to automate the above process. Next we plot the acceleration a on the right below using (15.26), again for ω = 1 , with the corresponding trajectory plot r on the left: F i g 1 5 . 6 For the same seven (still unknown) times plus one more, we draw the acceleration vector on the right and transfer it to where we think it ought to go on the left. Again, this is just a sa nity check to make sure things seem reasonable. Exercise for the Reader: From (15.10) we have v' = -V r^' so that v ' r = v' • r^ = -V r^' • r^ = -V cos(θ'-θ+φ) according to Fig 15.1, where v' r is the radial component of the ant velocity v' in cylindrical coordinates. On the other hand, the radial component of v is given by v r = r^ • v = r^ • [vx x^ + vy y^] = vxr^ • x^ + vyr^ • y^ = vx cosθ + vysinθ where v x = –Vcos(θ '+φ) + ωbcosφ – ω(r'0 – Vt)sin( θ'+φ) v y = –Vsin( θ'+φ) + ωbsinφ + ω(r'0 – Vt)cos( θ'+φ) . (15.21) Looking at the above expressions for v' r and vr, it seems unlikely that they could be equal since v r involves terms linear in time t and is a function of ω, b, and r' 0, whereas v' r does not seem to involve Section 15: Ant on Turntable 112 these terms and parameters at all. Yet equation (14.14), which applie s to any Special Case #1 problem like Problem 1, claims v r = v'r . The Exercise is to show that in fact v r = v'r. Hint: sin(π/2 - φ + θ)/ r' = sin( θ'+φ-θ)/b. Some results to be used in the next problem. In the case that b = 0, ω• = 0, φ0 = 0 and θ'0 = θ = 0 ( which applies to the last triplet of trajectory plots shown above) we can summarize our results as follows: r(t) = x x^ + y y^ w h e r e (15.17) x = (r' 0 – Vt)cos( ωt) y = (r' 0 – Vt)sin( ωt) v = vx x^ + vy y^ w h e r e (15.20) v x = –Vcos(ω t) – ω(r'0 – Vt)sin( ωt) v y = –Vsin( ωt) + ω(r'0 – Vt)cos( ωt ) (15.21) a = ax x^ + ay y^ w h e r e (15.26) a x = + 2ωVsin(ωt) – ω2 (r'0 – Vt)cos( ωt) a y = – 2ωVcos(ωt) – ω2 (r'0 – Vt)sin( ωt) Section 15: Ant on Turntable 113 (c) Problem 2: Ant spirals in at constant V and Ω to the Origin of Frame S' Ant's Motion in Frame S' In order to challenge our formalism a bit, the ant now crawls on the turntable in a more complicated manner. The ant in Frame S' starts at r'0 = r'0 x^' and crawls in a spiral path toward the S' origin. This spiral path is the output of Problem 1 with the Problem 1 parameters set to b = 0, ω• = 0, φ0 = 0 and θ '0 = 0. The ant moves at constant radial speed V toward the S' origin while at th e same time rotating at constant Ω about that origin. In order to find r', v' and a' for this problem, we merely adjust the results stated at the end of the previous section by taking ω → Ω and priming appropriate objects. r'(t) =(r')' x x^' + (r')'y y^' / / = ( r ' ) ' ie'i w h e r e (15.29a) (r')' x = (r'0 – Vt)cos( Ωt) // = (r')' 1 (r')' y = (r'0 – Vt)sin( Ωt) v' = (v')'x x^' + (v')'y y^' w h e r e ( 1 5 . 3 0 a ) ( v ' ) ' x = –Vcos(Ω t) – Ω (r'0 – Vt)sin( Ωt) // = (v')' 1 ( v ' ) ' y = –Vsin(Ω t) + Ω (r'0 – Vt)cos( Ωt) a ' = (a')'x x^' + (a')'y y^' w h e r e ( 1 5 . 3 1 a ) ( a ' ) ' x = 2Ω Vsin(Ω t) – Ω2(r'0 – Vt)cos( Ωt) // = (a')' 1 ( a ' ) ' y = – 2ΩVcos(Ωt) – Ω2(r'0 – Vt)sin( Ωt) Note: In the above equations we could have us ed these "natural" Frame S' designations (r')'1 = r'1 = x' (v')' 1 = v'1 = v'x (a')' 1 = a'1 = a'x (r')'2 = r'2 = y' (v')' 2 = v'2 = v'y (a')' 2 = a'2 = a'y but we stuck with the full bore notation. The main reason is that in the "b" equations below, there is no "natural" notation for the objects they contain. In the above "a" equations we next use (15.6) to replace x^' and y^' x^' = cosφ x^ + sinφ y^ y^' = -sinφ x^ + cosφ y^ (15.6) because we want to have Frame S unit vectors. The results are, Section 15: Ant on Turntable 114 r'(t) = (r') x x^ + (r')y y^ / / = ( r ' ) iei w h e r e (15.29b) (r') x = (r'0 – Vt)cos( φ + Ωt) // = (r') 1 (r')' y = (r'0 – Vt)sin( φ + Ωt) v' = (v')x x^ + (v')y y^ w h e r e ( 1 5 . 3 0 b ) ( v ' ) x = –Vcos(φ + Ωt) – Ω (r'0 – Vt)sin( φ + Ωt) // = (v') 1 ( v ' ) y = –Vsin( φ + Ωt) + Ω (r'0 – Vt)cos( φ + Ωt) a ' = (a')x x^ + (a')y y^ w h e r e ( 1 5 . 3 1 b ) ( a ' ) x = 2Ω Vsin(φ + Ωt) – Ω2(r'0 – Vt)cos( φ + Ωt) // = (a') 1 ( a ' ) y = – 2ΩVcos(φ + Ωt) – Ω2(r'0 – Vt)sin( φ + Ωt) Comments: 1. Much algebra is involved in obtaining these "b" equation versions from the "a" equations, involving the usual identities such as sin( Ωt) cosφ + cos(Ωt) sinφ = sin(φ + Ω t). After doing all this, one sees that the "b" results can be obtained from the "a" re sults simply by making the replacement Ωt → φ + Ωt in all the trig functions. Since e'i = Rz(φ) ei as in (15.2), the effect of changing bases adds a phase φ to all trig arguments. 2. The reader is encouraged to take note of the careful placement of primes on components in all six equation sets above. Trajectory r(t) of the ant in Frame S According to (15.29b), r'(t) = (r'0 – Vt) [ cos( φ + Ωt) x^ + sin(φ + Ωt) y^ ] . (15.32) Using these previous facts, r = b + r' (6.1) b(t) = bsin φ x^ – b cosφ y^ (15.9) we obtain r(t) = x x^ + y y^ w h e r e ( 1 5 . 3 3 ) x = bsinφ + ( r'0 – Vt)cos( φ + Ωt) y = – bcos φ + (r'0 – Vt)sin( φ + Ωt) . Section 15: Ant on Turntable 115 The Ω = 0 limit of this result agrees with the θ' = 0 limit of (15.17), the Problem 1 trajectory. Velocity v(t) of the ant in Frame S We start with two equations used in Problem 1, v = v' + ω x r (15.18) ω x r = [ωz^] x [x x^ + y y^ ] = ωxy^ – ωyx^ (15.19) Then using v' from (15.30b) in (15.18) just above we get v = vx x^ + vy y^ w h e r e ( 1 5 . 3 4 ) v x = –Vcos(φ + Ωt) – Ω (r'0 – Vt)sin( φ + Ωt) – ωy v y = –Vsin( φ + Ωt) + Ω (r'0 – Vt)cos( φ + Ωt) + ω x Inserting (15.33) for x and y then gives v x = –Vcos(φ + Ωt) – Ω (r'0 – Vt)sin( φ + Ωt) – ω[– bcosφ + (r'0 – Vt)sin( φ + Ωt)] v y = –Vsin( φ + Ωt) + Ω (r'0 – Vt)cos( φ + Ωt) + ω [bsinφ + ( r'0 – Vt)cos( φ + Ωt)] or v x = –Vcos(φ + Ωt) – (ω + Ω) (r'0 – Vt)sin( φ + Ωt) + ωbcosφ v y = –Vsin( φ + Ωt) + (ω + Ω) (r'0 – Vt)cos( φ + Ωt) + ωbsinφ (15.34a) The Ω = 0 limit of these last equations gives the θ' = 0 limit of (15.21). Acceleration a(t) of the ant in Frame S We start again with (15.22) a = a' + ω• x r + 2 ω x v' + ω x (ω x r) (15.22) The first term is of course given by (15.31b) a ' = (a')x x^ + (a')y y^ w h e r e (15.31b) ( a ' ) x = 2Ω Vsin(φ + Ωt) – Ω2(r'0 – Vt)cos( φ + Ωt) // = (a') 1 ( a ' ) y = – 2ΩVcos(φ + Ωt) – Ω2(r'0 – Vt)sin( φ + Ωt) The 2nd and 4th terms we can obtain by quoting these results from the previous problem Section 15: Ant on Turntable 116 ω• x r = ω•xy^ – ω•yx^ . (15.23) ω x (ω x r) = [ωz^] x [ωxy^ – ωyx^] = -ω2xx^ – ω2yy^ // = - ω2 r, centripetal accel. (15.25) The third term involves ω x v' = [ωz^] x [(v')x x^ + (v')y y^] = ω(v')x y^ – ω (v')y x^ Adding these terms we get a = ax x^ + ay y^ w h e r e ( 1 5 . 3 5 ) ax = 2Ω Vsin(φ + Ωt) – Ω2(r'0 – Vt)cos( φ + Ωt) – ω•y – ω2x – 2ω (v')y ay = – 2ΩVcos(φ + Ωt) – Ω2(r'0 – Vt)sin( φ + Ωt) + ω•x – ω2y + 2ω(v')x where x = bsinφ + ( r'0 – Vt)cos( φ + Ωt ) (15.33) y = – bcos φ + (r'0 – Vt)sin( φ + Ωt) and (v') x = –Vcos(φ + Ωt) – Ω (r'0 – Vt)sin( φ + Ωt) (v')y = –Vsin( φ + Ωt) + Ω (r'0 – Vt)cos( φ + Ωt ) (15.30b) The result is admittedly a bit complicated, but the point is that we were able to obtain the result using our Section 12 summary equations without too much effort. [ See "The Hard Way" in section (e) below. We have not dealt with any differential equations in obtaining the above results. ] Trajectory Plots We set φ0 = 0 so Frame S' starts directly below Frame S and aligned with it, and then φ = ωt. Equation (15.33) then reads r(t) = x x^ + y y^ w h e r e ( 1 5 . 3 6 ) x = bsin( ωt) + ( r'0 – Vt)cos( ωt + Ω t) y = – bcos( ωt) + (r'0 – Vt)sin( ωt + Ω t) . Again, each plot is finite because the trip is over when the ant reaches the S' origin at t max = r'0/V. The blue circles have radius b (origin of Frame S'), the green have radius b+r' 0, the ant always starts at (r' 0,-b). Section 15: Ant on Turntable 117 b = 3, r'0 = 2, V = 0.4, ω = 1, and : Ω = 6 Ω = 10 Ω = 20 F i g 1 5 . 7 These trajectories should seem quite reasonable to the reader, knowing what that ant is up to. The middle plot was created using this Maple code, When ω and Ω have opposite sign, things can look quite different, Ω = -2 Ω = -3 Ω = -3.6 F i g 1 5 . 8 Finally, here are some trajectories with V = 0, Section 15: Ant on Turntable 118 r'0 = 0.7, b = 3, V = 0, ω = 1 and : Ω = 3.5 Ω = -7 Ω = 25.1 F i g 1 5 . 9 Using the parameters of the third plot, if one were to space 10,000 ants evenly on the turntable, and have each one carry a grain of sand on its back, one woul d have constructed a ra ndom orbital sander. The closure of the plots occurs whenever Ω/ω is a ratio of integers, but that could take many revolutions if those integers are large. Section 15: Ant on Turntable 119 (d) Problem 3: Inverse Problem: Ant flies in Frame S at constant velocity V A flying ant starting at position r0 flies just above the turntable surf ace in Frame S in a straight line at constant velocity V and at angle θ relative to the x axis. First state r,v,a and then compute r',v',a' and plot the trajectory r' of the particle in Frame S'. Use the same Frame S / Frame S' setup as in the previous problems. We use these notations interchangeably: e'1 = x^' , e'2 = y^', e'3 = z^' Ant's Motion in Frame S The flying ant starts at location r0 and has velocity V = Vn^ with V constant, so v = Vn^ r = Vt n^ + r0 a = 0 . ( 1 5 . 3 7 ) As noted, the ant flies on a line which has angle θ relative to the e1 axis, so n^ = Rz(θ) e1 . ( 1 5 . 3 8 ) This angle θ is defined in the usual sense: it is counterclockwise from the positive x axis. Trajectory r'(t) of the ant in Frame S' First, we need to write n^ in Frame S' basis vectors. Recall (15.2) which says e'i = Rz(φ) ei for example e'1 = Rz(φ) e1 . (15.2) Therefore n^ = Rz(θ) e1 = Rz(θ) Rz(-φ) e'1 = Rz(θ-φ) e'1 . (15.39) Second, how does the point r0 in Frame S appear in Frame S' ? Using (15.2) just above gives r0 = (r0)i ei = (r0)i Rz(-φ)e'i . (15.40) Third, from (15.9) (or just looking at the drawing) we know that b = -b e'2 . (15.9) Now for the trajectory: Section 15: Ant on Turntable 120 r' = r - b / / Section 13 (c) Inverse Problem equations = (Vt n^ + r0 ) + b e'2 // from (15.37) and (15.9) = Vt R z(θ-φ) e'1 + (r0)i Rz(-φ)e'i + b e'2 // from (15.39) and (15.40) so r' = Vt R z(θ-φ) e'1 + Rz(-φ) [(r0)i e'i] + b e'2 (15.41) We now use the following notations (these are all "natural" components in sense of Section 1 (h) ) (r0)1 = x0 (r')' 1 = x' (r0)2 = y0 (r')'2 = y' In Frame S', e'1 = (1,0,0), so we write (15.41) in matrix notation in Frame S' as follows : ⎝⎜⎛ ⎠⎟⎞ x' y' z' = Vt ⎝⎜⎛ ⎠⎟⎞ cos(θ -φ) -sin(θ-φ) 0 sin(θ-φ) cos(θ -φ) 0 0 0 1 ⎝⎜⎛ ⎠⎟⎞ 1 0 0 + ⎝⎜⎛ ⎠⎟⎞ cosφ sinφ 0 -sinφ cosφ 0 0 0 1 ⎝⎜⎜⎛ ⎠⎟⎟⎞ x0 y0 0 + b ⎝⎜⎛ ⎠⎟⎞ 0 1 0 or x' = Vt cos( θ-φ) + x0cosφ + y0sinφ y' = Vt sin( θ-φ) – x0sinφ + y0cosφ + b z' = 0 so the conclusion is this : r'(t) = x' x^' + y' y^' w h e r e ( 1 5 . 4 2 ) x ' = V t c o s ( θ-φ) + x0cosφ + y0sinφ y ' = V t s i n ( θ-φ) – x0sinφ + y0cosφ + b where φ = φ0 + ωt This then is the trajectory of the flying ant as seen in Frame S'. Trajectory r'(t) of the ant in Frame S': Alternate Method Since we are going to have a discrepancy with Thornton and Marion below, it seems healthy to confirm (15.42) by an alternate derivation that does not make use of the matrix notation used above. We start as before, r' = r - b = (Vt n^ + r0 ) + b e'2 r' = trajectory of ant in Frame S' Using the theorem (1.1) + (1.2) we find that n^ = Rz(θ-φ) e'1 = Rz(φ-θ)11 e'1 + Rz(φ-θ)12 e'2 = cos(φ-θ) e'1 - sin(φ-θ) e'2 Section 15: Ant on Turntable 121 r0 = (r0)i ei = (r0)i Rz(-φ)e'i = x0 Rz(-φ)e'1 + y0 Rz(-φ)e'2 = x 0 { Rz(φ)11 e'1 + Rz(φ)12 e'2 } + y0 { Rz(φ)21 e'1 + Rz(φ)22 e'2 } = x 0 { cos(φ ) e'1 – sin(φ) e'2 } + y0 {sin(φ) e'1 + cos(φ ) e'2 } = [ x 0 cos(φ ) + y0 sin(φ)] e'1 + [– x0 sin(φ) + y0 cos(φ )] e'2 and therefore r' = Vt n^ + r0 + b e'2 = Vt [cos( φ-θ) e'1 - sin(φ-θ) e'2] + [x0 cos(φ ) + y0 sin(φ)] e'1 + [- x0 sin(φ) + y0 cos(φ )] e'2 + b e'2 = [Vt cos( φ-θ) + x 0 cos(φ ) + y0 sin(φ) ]e'1 + [- Vt sin( φ-θ) - x0 sin(φ) + y0 cos(φ ) + b] e'2 = [Vt cos( θ-φ) + x0 cos(φ ) + y0 sin(φ) ]e'1 + [ Vt sin( θ-φ) - x0 sin(φ) + y0 cos(φ ) + b] e'2 and this does agree with (15.42). Velocity v'(t) of the ant in Frame S' From the Inverse Problem equati ons in Section 13 (c) we have v' = v – ω x r – b• S' (13.2b) Since this is a special case #1 problem, we have b• S' = 0 and then v' = v – ω x r = v – ω x (r'+b) = v – ω x r' – ω x b // from (6.1) that r' = r - b = V Rz(θ-φ) x^' – ω x [ x' x^' + y' y^'] – ω x [ - b y^'] // (15.37) v, (15.39) n^ and (15.9) b = V Rz(θ-φ) x^' –ωx' y^' + ω y' x^' – ωb x^' // ω = ω z^' Using the following notations, ( v')'1 = v'x' ( v')'2 = v'y' the above equation in matrix notation in Frame S' is Section 15: Ant on Turntable 122 ⎝⎜⎜⎛ ⎠⎟⎟⎞ v'x' v'y' v'z' = V ⎝⎜⎛ ⎠⎟⎞ cos(θ -φ) -sin(θ-φ) 0 sin(θ-φ) cos(θ -φ) 0 0 0 1 ⎝⎜⎛ ⎠⎟⎞ 1 0 0 + ⎝⎜⎛ ⎠⎟⎞ ωy'-ωb -ωx' 0 or v'x' = V cos(θ-φ) + ω (y'-b) v'y' = V sin(θ-φ) - ωx' v'z' = 0 Then using (15.42) for x' and y' we get, v'(t) = v'x' x^' + v'y' y^' w h e r e ( 1 5 . 4 3 ) v ' x' = V cos(θ-φ) + ω [Vt sin(θ-φ) – x0sinφ + y0cosφ] v ' y' = V sin(θ-φ) – ω [Vt cos(θ-φ) + x0cosφ + y0sinφ] where φ = φ0 + ωt Acceleration a'(t) of the ant in Frame S' From the Inverse Problem equati ons in section 13 (c) we have a' = a – ω• x r – 2 ω x v + ω x (ω x r) – b•• S' (13.3c) Setting b•• S'= 0 for our special case #1 problem, and using (15.37) for r, v and a (a = 0) we get a' = – ω• x [Vt n^ + r0] – 2 ω x [Vn^] + ω x (ω x [Vt n^ + r0]) We shall stop here, but the calculation can be continued in a manner similar to that for r' and v'. Trajectory Plots Recall (15.42) from above r'(t) = x' x^' + y' y^' w h e r e (15.42) x ' = V t c o s ( θ-φ) + x0cosφ + y0sinφ y ' = V t s i n ( θ-φ) – x0sinφ + y0cosφ + b where φ = φ0 + ωt For plotting purposes, we set φ0 = 0 so φ = ωt. Since b merely offsets plots vertically by amount b, we lose no interest by setting b = 0, causing the Fr ame S and Frame S' origins to coincide. Then x ' = V t c o s ( θ-ωt) + x0cos(ωt) + y0sin(ωt) y ' = V t s i n ( θ-ωt) – x0sin(ωt) + y0cos(ωt) (15.44) Section 15: Ant on Turntable 123 In all plots below we set ω = 1. In the first three plots the flying ant starts out at r0 = (-1/2,0) and flies north so θ = π/2. We superpose a green circle of radius R = 1 and take note of the time T it takes for the ant to reach the circle. The Maple code used for the left plot is this Here then are plots for three decreasing values of V. As the ant flies more slowly, the turntable turns more radians before the ant reaches a distan ce R = 1 from the turntable center. V = .85 , T = 1.03 V = 0.3, T = 2.9 V = .061, T = 14 F i g 1 5 . 1 0 These plots may be compared to those appearing in T&M on page 395 F i g 1 5 . 1 1 Section 15: Ant on Turntable 124 Their plotting method is to compute the fictitious force acceleration a' = – 2 ω x v + ω x (ω x r) and then to numerically integrate a' twice to get v' and then r' which is then plotted [ Again, see "The Hard Way" in section (e) below.] Although our plots ar e close to theirs in appearance, our numbers for V and T differ significantly from theirs. Here are the three plots our code generates using the numbers specified in the T&M images above, V = 1.5 , T = 0.86 V = 0.8, T = 2.9 V = 0.45, T = 17.3 F i g 1 5 . 1 2 (continued on next page) Section 15: Ant on Turntable 125 For the next three plots, the flyi ng ant starts in the same place r0 = (-1/2,0) but flies southeast so θ = -π/4 . Interestingly, we see that it is possible for the ant to execute a loop, a cusp, or a bump soon after taking flight. We first show blowups of these three effects, then the full plots: F i g 1 5 . 1 3 V = 0.42, T = 3.1 V = 0.35, T = 3.7 V = 0.31, T = 4.2 F i g 1 5 . 1 4 The left pair of plots may be compared to two other plots appearing in T&M on page 395 Fig 15.15 Again the plots are similar, but the numbers ar e different (but in the same ball park). Section 15: Ant on Turntable 126 Using (15.43) we plot the velocity that goes with the second trajectory shown in the first triplet above, and at least things seem reasonable: r(t) for V = 0.3, T = 2.9 v(t) for V = 0.3, T = 2.9 Fig 15.16 Finally, we move the starting position to (-1 ,-1) and have the ant fly northeast so θ = π/4. This path takes him over the origin of Frame S (and Frame S'), so we expect to see the Frame S' trajectory touch the origin at one point along the trajectory (e xcept in the left plot where V = 0) V = 0, T = 5 V = 0.11, T = 25 V = 0.2, T = 15 F i g 1 5 . 1 7 Since the turntable is rotating counterclockwise at ω=1, these trajectories run clockwise at all times. When V = 0, the apparent motion of the static fly is ci rcular in Frame S'. In the middle plot we see that the ant spirals in, reaches the origin, the spirals out. In the right plot he does the same thing, but more quickly. In the 1960's some excellent frames-of-reference movies were pr oduced. One of them involves a frictionless puck moving on a smooth table mounted to a large wooden frame which rotates. Two affable "doctors" are rotating on that frame with the table. Do ctor #1 on the left launches the puck, but Doctor #2 has nothing to do since the puck just returns to Doctor #1. Section 15: Ant on Turntable 127 We show two possible Frame S' paths for a puck launched from (x 0, y0) = (-1,0) and ω = 1. V = 0.6, T = 3.2, θ = 0 Fig 15.18 V = 0.2, T = 5, θ = π/4 http://www.youtube.com/watch?v=3ug23VTMies Section 15: Ant on Turntable 128 (e) The Projectile Problem of Section 8 (c) It will be recalled that in Section 8 (c), as a demonstration of the Coriolis force, four projectiles are fired horizontally in four directions as in Figure 8.5. Si nce each projectile is like one of our flying ants, we already have a complete solution to this problem wh ich we shall plot below. But first, it is very enlightening to approach this problem "the hard way" and then to appreciate the power of the equations which directly relate particle pr operties in Frame S and Frame S'. The Hard Way It was noted near the end of Section 8 (c) that the projectiles (or our flying ant) experience the following fictitious forces F'fict = mω2r' – 2m ω x v' . (8.6)' centrifugal Coriolis Using bogus Newton's Law (8.3) that F'eff = ma' the above equation can be written as (d v'/dt)S' = ω2r' – 2ω x v' . ( 1 5 . 4 5 ) Since ω is a constant, and working in Fram e S', we differentiate once to get (d2v'/dt2)S' = ω2 (dr'/dt)S' – 2ω x (dv'/dt)S' . In the abbreviated notation of Section 1 (h) this says v••' +2ω x v•' - ω2v' = 0 . (15.46) Now for the rest of this section, we drop all primes just to reduce clutter. Then the above becomes v•• +2ω x v• - ω2v = 0 . (15.47) We then write v = vxx^ + vyy^ + vzz^ v• = v•xx^ + v•yy^ + v•zz^ v•• = v••xx^ + v••yy^ + v••zz^ ω x v• = [ω z^] x [v•xx^ + v•yy^ + v•zz^] = ωv•xy^ - ωv•yx^ . Inserting these expansions into (15. 46) and isolating the coefficients of the three unit vectors, we get Section 15: Ant on Turntable 129 v••x - 2ωv•y - ω2vx = 0 v••y + 2 ωv•x - ω2vy v••z - ω2vz = 0 . (15.48) The third equation has obvious solutions, one of which is v z = 0 which is what applies to our turntable problems. That leaves the first two equations, v••x - 2ωv•y - ω2vx = 0 v••y + 2ωv•x - ω2vy = 0 (15.49) This is a system of two coupled, second-order, linear ODE's with constant coefficients. It takes some amount of work to solve such an equation and we will start down that path. Apply a Laplace Transform, [ s2Vx(s) - s vx (0) - v•x (0) ] - 2 ω[ s Vy(s) - vy(0) ] - ω2 Vx(s) = 0 [ s2Vy(s) - s vy (0) - v•y (0) ] + 2 ω[ s Vx(s) - vx(0) ] - ω2 Vy(s) = 0 (s 2-ω2)Vx(s) – 2ωs Vy(s) = s v x (0) + v•x (0) – 2ω vy(0) // get V x and Vy on the left (s2-ω2)Vy(s) + 2ωs Vx(s) = s v y (0) + v•y (0) + 2ω vx(0) ⎝⎛ ⎠⎞s2-ω2 -2ωs 2ωs s2-ω2 ⎝⎛ ⎠⎞Vx(s) Vy(s) = ⎝⎜⎛ ⎠⎟⎞s vx (0) + v•x (0) – 2ω vy(0) s vy (0) + v•y (0) + 2ω vx(0) // write as matrix equation ⎝⎛ ⎠⎞Vx(s) Vy(s) = ⎝⎛ ⎠⎞s2-ω2 2ωs -2ωs s2-ω2 ⎝⎜⎛ ⎠⎟⎞s vx (0) + v•x (0) – 2ω vy(0) s vy (0) + v•y (0) + 2ω vx(0) / (s2+ω2)2 // Maple assists Vx(s) = { (s2-ω2) [s vx (0) + v•x (0) – 2ω vy(0)] +2ωs [s vy (0) + v•y (0) – 2ω vx(0)] }/(s2+ω2)2 Vy(s) = { -2 ωs [s vx (0) + v•x (0) – 2ω vy(0)] + (s2-ω2) [s vy (0) + v•y (0) – 2ω vx(0)] }/(s2+ω2)2 One can then look up the inverse Laplace transforms of all these functions, s3/(s2+ω2)2 c o s ( ωt) - (1/2)ωt sin(ωt) s2/(s2+ω2)2 [ s i n ( ωt) + atcos( ωt)]/2ω s/(s2+ω2)2 t sin(ωt)/2ω 1/(s2+ω2)2 [sin(ωt) - atcos( ωt)]/2ω3 and the problem is solved including the initial conditions. But, we don't have to solve this coupled system of differen tial equations because we already know the solution, and we didn't have to even look at a differential equation to find it! The solution is (15.43) which we quote Section 15: Ant on Turntable 130 v'(t) = v'x' x^' + v'y' y^' w h e r e (15.43) v ' x' = V cos(θ-φ) + ω [Vt sin(θ-φ) – x0sinφ + y0cosφ] v ' y' = V sin(θ-φ) – ω [Vt cos(θ-φ) + x0cosφ + y0sinφ] where φ = φ0 + ωt Changing to our no-primes de-c luttered notation this says v(t) = vx x^ + vy y^ w h e r e (15.43)swap v x = V cos(θ-φ) + ω [Vt sin(θ-φ) – x0sinφ + y0cosφ] v y = V sin(θ-φ) – ω [Vt cos(θ-φ) + x0cosφ + y0sinφ] where φ = φ0 + ωt We shall now use Maple to verify that these functions solve the coupled equations (15.49): Sometimes, for a given problem in rotational dynamics , there is an easy way and a hard way to solve the problem. Another example of a hard way was the numeric integration mentioned after Fig 15.11. Section 15: Ant on Turntable 131 The Four Projectiles Recall Fig 8.5 which shows the deflecting projectiles on the right. Our trajectories are given by (15.44) where the Frame S and Frame S' origins coincide at the spindle and have aligned axes at time t = 0, x = V t c o s ( θ-ωt) + x 0cos(ωt) + y0sin(ωt) y = Vt sin( θ-ωt) – x0sin(ωt) + y0cos(ωt) . (15.44) The four projectiles start at (x 0,y0) = (a,0) so things simplify a bit more, x ( t ) = V t c o s ( θ-ωt) + acos( ωt) y ( t ) = V t s i n ( θ-ωt) – asin( ωt ) . (15.44)' These are very simple expressions indeed, consid ering the coupled differential equations above. Recall that in Frame S (where our angle θ is defined as the flying ant's angle), the blue and orange projectiles have vertical velocity adder v t = ωa. Therefore, for these projectiles we have to add Δθ = tan-1(vt/V) = tan-1(ωa / V ) , ( 1 5 . 5 0 ) so here are the four projectile launch angles in Frame S, θ blue = Δθ θblack = π/2 θorange = π - Δθ θred = -π /2 . (15.51) It remains only to have Maple plot the projectile trajector ies with these angles installed. First, here is the code, Section 15: Ant on Turntable 132 Here are some plots. The first four have the same parameters, just varying durations. The notion of the deflections being roughly circular (end of Section 8 (c)) is not too bad for our chosen parameters. V = 5, tmax = 0.2 V = 5, tmax = 0.5 V = 5, tmax = 1.0 Section 15: Ant on Turntable 133 V = 5, tmax = 4 V = 0.7, tmax = 0.2 V = 0.7, tmax = 1.5 The plots look very different if the launch velocity is on the order of the adder velocity v t which is the case for the last two plots. Note that the black projec tile starts out backwards and the orange projectile has the kind of kink we have seen in earlier plots. All six plots have v t = 1. Appendix A: Spherical Coordinates 134 Appendix A: Derivation of R( ξ) for Spherical Coordinates Here we derive equations (14.4) thro ugh (14.6). First, just for referen ce, here are the three active rotation matrices used below : R x(θ) = ⎝⎜⎛ ⎠⎟⎞ 1 0 0 0 cosθ -sinθ 0 sinθ cosθ Ry(θ) = ⎝⎜⎛ ⎠⎟⎞ cosθ 0 sinθ 0 1 0 -sinθ 0 cosθ Rz(θ) = ⎝⎜⎛ ⎠⎟⎞ cosθ -sinθ 0 sinθ cosθ 0 0 0 1 (A.1) These are called "active" si nce they rotate a vector forward (counter clockwise) relative to fixed axes by amount θ according to the right hand rule when the thumb is aligned with the axis in question. From the usual picture of spherical coordinates, F i g A . 1 one can see by staring hard enough that r^ = Rz(φ) Ry(θ) z^ = Rz^ R ≡ Rz(φ) Ry(θ) θ^ = Rz(φ) Ry(θ) x^ = Rx^ φ^ = Rz(φ) Ry(θ) y^ = Ry^ ( A . 2 ) which we rewrite as e^1 = R e3 e^2 = R e1 e^3 = R e2 . ( A . 3 ) We can repair the ordering of the basis vectors en on the right using R 2 = (z^,x^,y^) as follows e3 = R2 e1 ⎝⎜⎛ ⎠⎟⎞ 0 0 1 = ⎝⎜⎛ ⎠⎟⎞ 0 1 0 0 0 1 1 0 0 ⎝⎜⎛ ⎠⎟⎞ 1 0 0 R 2 = ⎝⎜⎛ ⎠⎟⎞ 0 1 0 0 0 1 1 0 0 Appendix A: Spherical Coordinates 135 e1 = R2 e2 ⎝⎜⎛ ⎠⎟⎞ 1 0 0 = ⎝⎜⎛ ⎠⎟⎞ 0 1 0 0 0 1 1 0 0 ⎝⎜⎛ ⎠⎟⎞ 0 1 0 e2 = R2 e3 ⎝⎜⎛ ⎠⎟⎞ 0 1 0 = ⎝⎜⎛ ⎠⎟⎞ 0 1 0 0 0 1 1 0 0 ⎝⎜⎛ ⎠⎟⎞ 0 0 1 ( A . 4 ) Maple tells us that R 2-1 = R2T and det(R 2) = 1, confirming that R 2 is a rotation. So we then have e^1 = R R2 e1 e^2 = R R2 e2 e^3 = R R2 e3 ( A . 5 ) or e^i = R(ξ) ei. ( A . 6 ) Recalling (14.3), e^i = R(ξ) ei => ei = R(ξ)ije^j or e^i = [R(ξ)]-1 ij ej e^'i = R'(ξ') e'i => e'i = R'(ξ ')ije^'j or e^'i = [R'(ξ ')]-1 ij e'j (14.3) we have therefore found the sought-after matrix R( ξ) appearing in the top left of (14.3). R(ξ) = R R2 . ( A . 7 ) Specific evaluation gives R = Rz(φ) Ry(θ) = ⎝⎜⎛ ⎠⎟⎞ cosφ -sinφ 0 sinφ cosφ 0 0 0 1 ⎝⎜⎛ ⎠⎟⎞ cosθ 0 sinθ 0 1 0 -sinθ 0 cosθ = ⎝⎜⎛ ⎠⎟⎞ cosφcosθ -sinφ cosφsinθ sinφ sinθ cosφ sinφsinθ -sinθ 0 cos θ (A8) and then R(ξ) = R R2 = ⎝⎜⎛ ⎠⎟⎞ cosφcosθ -sinφ cosφsinθ sinφ sinθ cosφ sinφsinθ -sinθ 0 cos θ ⎝⎜⎛ ⎠⎟⎞ 0 1 0 0 0 1 1 0 0 = ⎝⎜⎛ ⎠⎟⎞ cosφsinθ cosφcosθ -sinφ sinφ sinθ sinφcosθ cosφ cosθ -sinθ 0 (A.9) from which we find [R( ξ)]-1 = [R(ξ)]T = ⎝⎜⎛ ⎠⎟⎞ cosφsinθ sinφsinθ cosθ cosφcosθ sinφ cosθ -sinθ -sinφ cosφ 0 . ( A . 1 0 ) From the top right equation of (14.3) (quoted just above) we can write e^i = [R(ξ) ]-1 ij ej = [R(ξ) ]-1 i1 e1 + [R(ξ) ]-1 i2 e2 + [R(ξ) ]-1 i3 e3 (A.11) Appendix A: Spherical Coordinates 136 which can be written in this matrix notation where the column vectors contain vectors as elements, ⎝⎜⎜⎛ ⎠⎟⎟⎞e^1 e^2 e^3 = ⎝⎜⎛ ⎠⎟⎞ cosφsinθ sinφsinθ cosθ cosφcosθ sinφ cosθ -sinθ -sinφ cosφ 0 ⎝⎜⎜⎛ ⎠⎟⎟⎞ e1 e2 e3 = [R(ξ)]-1 ⎝⎜⎜⎛ ⎠⎟⎟⎞ e1 e2 e3 (A.12a) or ⎝⎜⎜⎛ ⎠⎟⎟⎞ r^ θ^ φ^ = ⎝⎜⎛ ⎠⎟⎞ cosφsinθ sinφsinθ cosθ cosφcosθ sinφ cosθ -sinθ -sinφ cosφ 0 ⎝⎜⎜⎛ ⎠⎟⎟⎞ x^ y^ z^ = [R( ξ)]-1 ⎝⎜⎜⎛ ⎠⎟⎟⎞ x^ y^ z^ (A.12b) or r^ = cosφsinθ x^ + sinφsinθ y^ + cosθ z^ θ^ = cosφcosθ x^ + sinφcosθ y^ - sinθ z^ φ^ = -sinφ x^ + cosφ y^ ( A . 1 2 c ) which are the well known expressions for the spherical unit vectors in terms of the Cartesian ones. The inverse of the last three equations can be obtai ned in the following manner (matrix from (A.9)) ⎝⎜⎜⎛ ⎠⎟⎟⎞ e1 e2 e3 = [R(ξ)] ⎝⎜⎜⎛ ⎠⎟⎟⎞e^1 e^2 e^3 = ⎝⎜⎛ ⎠⎟⎞ cosφsinθ cosφcosθ -sinφ sinφ sinθ sinφcosθ cosφ cosθ -sinθ 0 ⎝⎜⎜⎛ ⎠⎟⎟⎞e^1 e^2 e^3 (A.13a) or ⎝⎜⎜⎛ ⎠⎟⎟⎞ x^ y^ z^ = [R(ξ)] ⎝⎜⎜⎛ ⎠⎟⎟⎞ r^ θ^ φ^ = ⎝⎜⎛ ⎠⎟⎞ cosφsinθ cosφcosθ -sinφ sinφ sinθ sinφcosθ cosφ cosθ -sinθ 0 ⎝⎜⎜⎛ ⎠⎟⎟⎞ r^ θ^ φ^ (A.13b) or x^ = cosφsinθ r^ + cosφcosθ θ^ - sinφ φ^ y^ = sinφsinθ r^ + sinφ cosθ θ^ + cosφ φ^ z^ = cosθ r^ - sinθ θ^ (A.13c) Another useful result is obtained by dotting (A.11) into basis vector ek e^i• ek = [R(ξ) ]-1 ij ej• ek = [R(ξ) ]-1 ij δj,k = [R(ξ) ]-1 ik and therefore we get this matrix of "direction cosines", ⎝⎜⎜⎛ ⎠⎟⎟⎞ r^•x^ r^•y^ r^•z^ θ^•x^ θ^•y^ θ^•z^ φ^•x^ φ^•y^ φ^•z^ = ⎝⎜⎛ ⎠⎟⎞ cosφsinθ sinφsinθ cosθ cosφcosθ sinφ cosθ -sinθ -sinφ cosφ 0 = [R(ξ) ]-1 (A.14) This collection of dot products is also appa rent from (A.13c) upon visual inspection. Finally, the following results can be obtained by differentiating the equations of (A.12c) and then using (A.13c) to replace the Cartesian unit vectors with the spherical ones : Appendix A: Spherical Coordinates 137 d r^/dr = 0 d r^/dθ = θ^ d r^/dφ = sinθ φ^ dθ^/dr = 0 d θ^/dθ = - r^ d θ^/dφ = cosθ φ^ dφ^/dr = 0 d φ^/dθ = 0 d φ^/dφ = -sinθ r^ -cosθ θ^ (A.15) These results can also be obtained by a very careful inspection of Fig A.1 above. Comment: In the notation of Ref. [6], for an arbitrary curvilinear coordinate system the derivatives of the tangent base vectors (called en in Ref [6]) are determined by the "affine connection" Γ' according to ∂'jen = Γ 'i jn ei . ( A . 1 6 ) The curvilinear unit basis vectors e^n are related to the tangent base vectors by en = h'ne^n, where the h' n are the so-called scale factors. The derivatives of the e^n are then given by ∂' je^n = (1/h'n) [h'i Γ 'i jn – (∂'jh'n)δn,i] e^i . ( A . 1 7 ) In the notion of the present paper, we might write the above as ∂ e^n/∂ξj = (1/hn) [hi Γ i jn – (∂hn/∂ξj)δn,i] e^i . ( A . 1 8 ) The affine connection is related to the curvilinear metric tensor according to Γd ab = (1/2) gdc [ ∂agbc + ∂bgca – ∂cgab] . ( A . 1 9 ) For spherical coordinates, one has (using r, θ,φ = 1,2,3 where θ = polar, φ = azimuth) hr = 1 h θ = r h φ = rsinθ // scale factors er = r^ e θ = r θ^ e φ = rsinθ φ^ // tangent base vectors e^r = r^ e ^θ = θ^ e ^φ = φ^ // curvilinear unit basis vectors gab = ⎝⎜⎜⎛ ⎠⎟⎟⎞ 1 0 0 0 r2 0 0 0 r2sin2θ gab = invserse(g ab) // metric tensors (A.20) Only 9 of the 27 elements of the affine connection Γd ab are non-zero : Γ 1 22 = -r Γ 2 12 = Γ 2 21 = 1/r // notation example: Γ 1 22 = Γr θθ Γ 1 33 = -r sin2θ Γ 3 13 = Γ 3 31 = 1/r Γ 2 33 = -cosθsinθ Γ 3 23 = Γ 3 32 = cotθ ( A . 2 1 ) Using (A.17), (A.19) and (A.20), Maple confirms the results shown in (A.15). Appendix B: Relation to Ref [6] 138 Appendix B: Relation to Notation used in Tensor Analysis Ref [6] Our document "Tensor Analysis and Curvilinear Coordinates"[6] presents a systematic notation for dealing with arbitrary transformations between two spaces called x-space and x'-space. In the context of the present paper, there are two applications of this transformation theory. Application 1: x-space is the Cartesian space of Frame S, and x'-space is the Cartesian space of Frame S'. In this application, both x-space a nd x'-space are Cartesian spaces with metric tensors equal to the unit matrix. This means that raising or lowering a tensor index is "free" so we would just use lower indices. That is to say, contravariant and covariant indices are the same, so T abcd = Ta bcd = Tabcd and so on. The transformation between the spaces, x' = F(x), is simply a rotation. Using the notation of Section 1 (b) this means that (x)' i = Rij(x)j where R-1 = RT and det(R) = 1. For example, applied to our two position vectors r and r' this says (r)' i = Rij(r)j (r')'i = Rij(r')j and (r)' i ≠ (r')i unless it happens that b = 0 in the relation r = r' + b. Any generic vector a has this same transformation rule (a)' i = Rij(a)j and we say that " a transforms as a vector with respect to rotation R". So in Application 1, the notation of [6] exactly matches the notation of the present document. Application 2: Here, x-space is the space of Frame S w ith Cartesian coordinates, and x'-space is also the space of Frame S but with some curvilinear coordina tes. In the notation of [6] x-space has unit basis vectors un while the curvilinear-coordinate unit vectors are called e^n. These e^n are the normalized "tangent base vectors" and they exist in x-space along with the un. Then Cartesian coordinates are x i = (x,y,z) whereas the curvilinear coordina tes are (for spherical coordinates) x' i = (r,θ,φ). The Cartesian unit vectors are un = x^, y^, z^ while the curvilinear ones are e^n = r^, θ^, φ^ . In the present document we have everywhere referred to the un as en, and in Section 14 we have referred to the e^n as e^n. In this Application 2, the x-space metric tensor is the identity matrix, but the x'-space metric tensor g' ij differs from the unit matrix and is specific to one's choice of curvilinear coordinates. Application 3: Same as Application 2 but applied to Frame S' instead of Frame S. It should be clear for Applications 2 and 3 the notation of [6] is completely incompatible with the work of this document. The reason is that the prime symbol is overloaded. In [6] the prime symbol is used to distinguish curvilinear coordinates from Cartesian c oordinates, whereas in the present document the prime symbol is used to distinguish Frame S' from Frame S. One could perhaps rescue the compatibility by using a double prime " for curvilinear coordinates in Frame S, and triple prime ''' or some other marking for curvilinear coordinates in Frame S'. Another alternative would be to ch ange labeling on the two frames of reference. In the rest of this Appendix, we consider this possibility. Taylor [1] labels his frames S 0 and S instead of S and S' so that is one possibility, but then every object in Frame S 0 must have a 0 label attached to it somewhere. Appendix B: Relation to Ref [6] 139 Here we consider the implications of calling the frames A and B instead of S and S' and then using the exact notation of [6]. this doc this doc rewritten using Frame A and Frame B and notation of [6] S → A Frame A S' → B Frame B ∂S → ∂A time derivative in Frame A ∂S' → ∂B time derivative in Frame B (d a/dt)S = (da/dt)S' + ω x a → (d a/dt)A = (da/dt)B + ω x a G Rule (2.1) ∂Sa = ∂S'a + ω x a → ∂Aa = ∂Ba + ω x a So far things look pretty reasonable. We continue : en → (uAn) Cartesian basis vectors in Frame A e'n → (uBn) Cartesian basis vectors in Frame B r → xA Position vector in Frame A r' → xB Position vector in Frame B ξ → x'A curvilinear coordinates used in Frame A ξ' → x'B curvilinear coordinates used in Frame B vS → ( vA)A ≡ vA natural // velocities as in (1.32) vS' → ( vA)B v'S → ( vB)A v'S' → ( vB)B ≡ vB natural aSS' → ( aA)AB // some accelerations as in (1.33) a'SS' → ( aB)AB a'SS ≡ a'S → ( aB)AA ≡ (aB)A aSS ≡ aS ≡ a → ( aA)AA ≡ (aA)A ≡ aA natural a'S'S' ≡ a'S' ≡ a' → ( aB)BB ≡ (aB)B ≡ aB natural This are still not too bad. But now consider how components must be annotated, ( r)i → ( xA)Ai ( r)'i → ( xA)Bi ( r')i → ( xB)Ai ( r')'i → ( xB)Bi (ξ)i → ( x'A)Ai (ξ)'i → ( x'A)Bi Appendix B: Relation to Ref [6] 140 (ξ')i → ( x'B)Ai (ξ')'i → ( x'B)Bi The letter A or B before the index i tells whether this is a vector component in Frame A or in Frame B. We quietly handled that issue in this document with prime or no prime, but now it comes out into the open! The components of the basis v ectors are especially interesting, ( en)i → (uAn)Ai // Cartesian unit vectors ( en)'i → (uAn)Bi ( en')i → (uBn)Bi ( en')'i → (uBn)Bi ( e^n)i → (e^An)Ai // curvilinear unit vectors = normalized tangent base vectors ( e^n)'i → (e^An)Bi ( e^n')i → (e^Bn)Bi ( e^n')'i → (e^Bn)Bi Symbol count increases even more if one tries polite labeling such as ( en)i → (u(A) n)(A)i // 5 symbols → 11 symbols The conclusion is that "it could be done this way". Using the prime notation, we were able to tone down the appearance of the notation considerably. The reader will surely agree that using the A/B notation would have made this document much harder to comp rehend, and that is why we did not use it and thus why we gave up on using the exact notation used in [6] for our many objects. On the other hand, Application 1 is just fine , and we shall use it in the next Appendix. Appendix C: Rank-n G Rule 141 Appendix C: The G Rule for a Tensor of Rank n. Tensors and their properties are discussed in great deta il in Ref [6]. In this section we continue to use these shorthand operator notations, ∂ S = (d/dt) S ∂S' = (d/dt) S' . So far we know all about the G Rule for tens ors of rank 0 and 1 (scalar and vector), ∂ SA = ∂S'A // A is a scalar (see Section 1 (i) ) ∂ SA = ∂S'A + ω x A // A is a vector ( see Section 2 and (2.1)) What happens for tensors of rank 2 or more? We sha ll consider a rank 3 tensor and it will be clear how things generalize to any rank. The reader is referred to Appendix E of [6] which discusses the direct product notation used for the expansion of tensors in x-space. Here we shall use similar expansions in x'-space, where we are using Application 1 of Appendix B just above. As noted ther e, we can take all indices to be lower indices. In our Section 2 proof of the vector G Rule, we stated a series of obvious "facts" without proof and in a few lines these facts led to the vect or G Rule. Since the direct product notation is likely to be less familiar to the reader than simple multipli cation, we shall spend more time here deriving the corresponding "facts" as a series of "lemmas" . Lemma 1: (d[ A⊗B]/dt)S = (d A/dt)S ⊗ B + A ⊗ (dB/dt)S S (C.1) ( d [ A⊗B]/dt)S' = (d A/dt)S' ⊗ B + A ⊗ (dB/dt)S' S' This is a Leibniz product rule that is perhaps not totally obvious. The object A⊗B here is a rank-2 tensor created from two vectors (outer product) and its elements are [ A⊗B]ab = AaBb. ( C . 2 ) We shall prove the first line and then proof of the second proceeds just replacing S → S'. Proof: The first step of the proof says [(d[ A⊗B]/dt)S]ab = [(d[ A⊗B]ab/dt)S] . ( C . 3 ) The idea here is that same Commutation Theorem of Section 1 (j) applied in a tensor context. The time derivative is in Frame S and the tensor components are in Frame S, so the operations "take a time derivative" and "take a tensor component" commute. This is true just as in the vector case because the Cartesian basis vectors ei don't change in time. Here is the expansion for tensor A⊗B (implied sum on a and b) on the Cartesian basis vectors en (these vectors are called un in Ref. [6]; the en of Ref. [6] are something different. ) Appendix C: Rank-n G Rule 142 A⊗B = [A⊗B]ab ea ⊗ eb ( C . 4 ) and ea ⊗ eb is constant in time. It follows that (d/dt) S A⊗B = { (d/dt) S [A⊗B]ab } ea ⊗ eb . Staring at this expansion, it must be that [ (d/dt) S A⊗B ]ab = { (d/dt) S [A⊗B]ab } which is (C.3). We continue the proof of Lemma 1 by looking at th e ab component of the left hand side of (C.1) [ (d[ A⊗B]/dt)S]ab = [(d[ A⊗B]ab/dt)S] // from (C.3) = [(d[(A aBb)/dt)S] // from (C.2) = (dA a/dt) Bb + Aa(dBb/dt) // Leibniz product rule for scalar functions = [(d A/dt)S]a Bb + Aa[(dB/dt)S]b // from (2.17) used twice = [ (d A/dt)S ⊗ B]ab + [A ⊗ (dB/dt)S]ab //definition of the direct product (C.2) We have shown that [(d[ A⊗B]/dt)S]ab = [ (d A/dt)S ⊗ B]ab + [A ⊗ (dB/dt)S]ab Since this equation is true for every ab component of a rank-2 tensor, it is true as a tensor equation , (d[ A⊗B]/dt)S = (d A/dt)S ⊗ B + A ⊗ (dB/dt)S QED Lemma 1 The following extension of Lemma 1 is easy to prove in the same manner: Lemma 2: (C.5) (d[A⊗B⊗C]/dt)S = (d A/dt)S ⊗ B ⊗ C + A ⊗ (dB/dt)S ⊗ C + A ⊗ B ⊗ (dC/dt)S S (d[A⊗B⊗C]/dt)S' = (d A/dt)S'⊗ B ⊗ C + A ⊗ (dB/dt)S'⊗ C + A ⊗ B ⊗ (dC/dt)S' S' Next, we can throw in a scalar function u to get another easy-to-prove lemma Lemma 3: ( C . 6 ) (d[uA⊗B⊗C]/dt)S = (du/dt) A ⊗ B ⊗ C + u (d A/dt)S ⊗ B ⊗ C + u A ⊗ (dB/dt)S ⊗ C + u A ⊗ B ⊗ (dC/dt)S (d[u A⊗B⊗C]/dt)S' = (du/dt) A ⊗ B ⊗ C + u (d A/dt)S' ⊗ B ⊗ C + u A ⊗ (dB/dt)S' ⊗ C + u A ⊗ B ⊗ (dC/dt)S' Appendix C: Rank-n G Rule 143 Derivation of the G Rule for a Tensor of Rank 3 Expand the rank-3 tensor A in Frame S' (see Ref. [6] A pp E (b), but we are expanding here in x'-space), A = A' ijk (e'i⊗e'j⊗e'k) . ( C . 7 ) where there is an implied sum on the three repeated i ndices i,j,k. A particular component abc of the above expansion looks like this Aabc = A'ijk (e'i⊗e'j⊗e'k)abc where ( e'i⊗e'j⊗e'k)abc = ( e'i)a(e'j)b(e'k)c . (C.8) Differentiate tensor A in Frame S, (dA/dt) S = (d[A' ijk (e'i⊗e'j⊗e'k)]/dt)S . Apply Lemma 3 with u = A' ijk , A = e'i, B = e'j and C = e'k to get (dA/dt) S = (dA' ijk/dt) e'i ⊗ e'j ⊗ e'k + A ' ijk (de'i/dt)S ⊗ e'j ⊗ e'k + A'ijke'i ⊗ (de'j/dt)S ⊗ e'k + A'ijk e'i ⊗ e'j ⊗ (de'k dt)S . Now use (1.25) that (d e'n/dt)S = ω x e'n in three places, so (dA/dt) S = (dA' ijk/dt) e'i ⊗ e'j ⊗ e'k ( C . 9 ) + A ' ijk [ω x e'i] ⊗ e'j ⊗ e'k + A'ijk e'i ⊗ [ω x e'j] ⊗ e'k + A'ijk e'i ⊗ e'j ⊗ [ω x e'k] . Start over and this time apply ∂S' to A and use the S' version of Lemma 3 to get (dA/dt) S' = (dA' ijk/dt) e'i ⊗ e'j ⊗ e'k + A ' ijk (de'i/dt)S' ⊗ e'j ⊗ e'k + A'ijke'i ⊗ (de'j/dt)S' ⊗ e'k + A'ijk e'i ⊗ e'j ⊗ (de'k dt)S' Now use (1.26) that (d e'n/dt)S' = 0 three times and the last terms all go away so that (dA/dt) S' = (dA' ijk/dt) e'i ⊗ e'j ⊗ e'k . ( C . 1 0 ) Replace the first term on the RHS of (C.9) by (C.10) to get (dA/dt) S = (dA/dt) S' + ( C . 1 1 ) + A' ijk [ω x e'i] ⊗ e'j ⊗ e'k + A'ijk e'i ⊗ [ω x e'j] ⊗ e'k + A'ijk e'i ⊗ e'j ⊗ [ω x e'k] . Appendix C: Rank-n G Rule 144 This is starting to look like a Tensor G Rule. In the v ector case we were able to move the coefficients (a') i in and obtain a simple ω x a second term, but now the coefficients A' ijk are linked to all the three basis vectors in the direct product, so that simple move is not possible. Now consider the abc component of first term on the second line of (C.11) [A' ijk [ω x e'i] ⊗ e'j ⊗ e'k]abc = A' ijk[ω x e'i]a(e'j)b(e'k)c = A' ijk εarsωr (e'i)s(e'j)b(e'k)c = A'ijk εarsωr (e'i ⊗ e'j ⊗ e'k)sbc = εarsωr { A'ijk(e'i ⊗ e'j ⊗ e'k)sbc } = εarsωr {Asbc } ( C . 1 2 ) Next, consider the second term: [A'ijk e'i ⊗ [ω x e'j] ⊗ e'k]abc = A' ijk(e'i)a [ω x e'j]b (e'k)c = A' ijk(e'i)a εbrs ωr(e'j)s (e'k)c = ε brs ωr A'ijk(e'i)a (e'j)s (e'k)c = ε brs ωr Aasc ( C . 1 3 ) Similarly, the third term gives A' ijk e'i ⊗ e'j ⊗ [ω x e'k] = εcrs ωr Aabs ( C . 1 4 ) Here then is the rank-3 G Rule written out in for component abc, [(dA/dt) S]abc = [(dA/dt) S']abc + εarsωrAsbc + εbrs ωr Aasc + εcrs ωr Aabs (C.15) Suppose we now define some rank-3 "correction tensors" as follows A (1) abc = εars ωr Asbc A(2) abc = εbrs ωr Aasc Appendix C: Rank-n G Rule 145 A(3) abc = εcrs ωr Aabs ( C . 1 6 ) Then (C.15) reads [(dA/dt) S]abc = [(dA/dt) S']abc + A(1) abc + A(2) abc + A(3) abc and then we may remove the component labels to get our final G Rule for a rank-3 tensor (dA/dt) S = (dA/dt) S' + A(1) + A(2) + A(3) . ( C . 1 7 ) This then is the G Rule for a rank-3 tensor stated as a tensor equation. G Rule for a Tensors of Other rank The pattern for any rank should be clear based on the above work. Here we write the G rule in component form for tensors of rank 4,3,2,1 and 0 (∂SA)abcd = (∂S'A)abcd + εarsωrAsbcd + εbrsωrAascd + εcrsωrAabsd + εdrsωrAabcs 4 (∂ SA)abc = (∂S'A)abc + εarsωrAsbc + εbrsωrAasc + εcrsωrAabs 3 (∂ SA)ab = (∂S'A)ab + εarsωrAsb + εbrsωrAas 2 ( ∂SA)a = (∂S'A)a + εarsωrAs 1 (∂SA) = (∂S'A ) 0 Here then is the general rank-n rule, where x stands for the n th letter of the alphabet, (∂ SA)abc...x = (∂S'A)abc...x + εarsωrAsbc...x + εbrsωrAasc...x + ..... + εxrsωrAabc...s (C.18) The correction tensors are defined in this general case as A(1) abc...x = εarsωrAsbc...x A(2) abc...x = εbrs ωr Aasc...x ... A (n) abc...x = εxrs ωr Aabc...s ( C . 1 9 ) and then the rank-n G rule may be written as ∂ SA = ∂S'A + A(1) + A(2) + .... + A(n) . ( C . 2 0 ) so there are then n correction tensors that account for the change of reference frame. Appendix C: Rank-n G Rule 146 G Rule for a Tensors of Rank 2 Since this is an important case, we just write out the details, (∂ SA)ab = (∂S'A)ab + εarsωrAsb + εbrsωrAas ∂ SA = ∂S'A + A(1) + A(2) A (1) ab = εarsωrAsb A(2) ab = εbrsωrAas . ( C . 2 1 ) This would be appropriate for a tensor A ab like the strain and stress tensors of continuum mechanics. G Rule for a Tensors of Rank 1 We certainly hope to recover the result of Section 2. From the list above ( ∂ SA)a = (∂S'A)a + εarsωrAs 1 A (1) a = εarsωrAs = [ω x A]a (∂ SA)a = (∂S'A)a + A(1) a (∂SA) = (∂S'A) + A(1) (∂SA) = (∂S'A) + ω x A ( C . 2 2 ) which is (2.1), so all is well that ends well. Appendix D: Foucault Pendulum 147 Appendix D: The Foucault Pendulum This subject is usually treated in the small angle lim it in Cartesian coordinates (see Refs 1-3). Applying Newton's Law F = m a including the Coriolis force one quickly ob tains a pair of coupled ODE's which in our notation would be x•• – 2ωcosβ y• + Ω2x = 0 ω = rotation rate of the earth, β = polar angle from North Pole y•• + 2ωcosβ x• + Ω2y = 0 Ω = g/l = pendulum swing rate Setting η = x + iy the complex solution is found to be η(t) = A e-i(ωcosβ)t cos(Ω t) which indicates that the pendulum precesses at an azimuthal rate of ωcosβ, so problem solved. The treatment below does not assume small angle swinging of the pendulum and is carried out in curvilinear (spherical) coordinates for both Frame S a nd Frame S', though only Frame S is significant. The pendulum is thus treated as a full-blown "spheri cal pendulum" which is perturbed by the rotation of the earth. It is just an exercise in using some of the machinery presented earlier in this document. (a) Drawings, Notation, and Coordinates Fig. 4.9 showed a typical earth problem kinematic si tuation in the "non-swap" notation where Frame S' is the rotating frame. Here, we choose instead to use the "swap" notation where Frame S is the rotating frame, since this eliminates the need for scores of prime symbols which would otherwise clutter the equations. So now Frame S' is at the center of the earth and is an inertial frame, and Frame S is on the surface of the earth and is a non-inertial frame. This use of primes is then in accordance with the Goldstein and Marion references di scussed in Sections 9 and 10. In addition to this S ↔S' swap, we make a few other changes compared to Fig 4.9. First, we select the basis vectors en differently. Since we are going to be dealing with a spherical pendulum, we would like the angle between the pendulum string and local vertical to be the polar angle of a spherical coordinate system for Frame S. This means that we want the z^ = e3 axis associated with this spherical system to be pointed toward the center of th e earth, rather than pointing "up". This then suggests that we take x^ = e1 as pointing "north", and y^ = e2 as pointing "east" and then the resulting vectors en form a right-handed coordinate system. Second, we place the origin of Frame S at a height l above the surface of the earth, where l is the length of the spherical pendulum's string. Then the length of vector b is b = R e + l, where R e is the radius of the earth. The Frame S origin is then at the pendulum pivot point. The new kinematic picture is then, Appendix D: Foucault Pendulum 148 Fig D.1 The next step is to use spherical curvilinear coordinates in both Frames S and S'. For Frame S', with origin at the center of the earth and fixed relative to distant stars, we select spherical coordinates, so r' = (r',θ',φ'). We shall assume that the origin of Frame S is located at b = (b, β, α) where β is the polar angle measured down from the North Pole (colatitude, range 0 to π), α is the origin's azimuth (longitude), and b = R e+l where R e is the radius of the earth and l is the length of the pendulum string (picture coming soon). Parameters α and b will play no role in what follows. For Frame S, with origin distance l above the surface of the earth (red, shown in the northern hemisphere), we select anothe r set of spherical coordinates r = (r,θ,φ) as will be described momentarily. Note that ω = ω e'3 with ω > 0 since the earth rotates counterclockwise as viewed from above the North Pole, causing the sun to rise in the east. Th e same earth, viewed looking upward from beneath the South Pole, appears to rotate clockwis e (and the sun still rises in the east). The Cartesian unit basis vectors en of Frame S can be expressed in te rms of the Frame S' spherical unit basis vectors r^', θ^', φ^' evaluated at the position r' = b = (b, β, α) as follows, e1 = -θ^' = "north" = x^ e2 = φ^' = "east" = y^ e3 = - r^' = "down" = z^ According to the picture above, ω = ωe'3 can be expanded on these Frame S basis vectors, ω = - ωcosβ e3 + ωsinβ e1 . ( D . 1 ) Appendix D: Foucault Pendulum 149 As noted, the origin of Frame S is located distance l above the surface of the earth. If we position ourselves at this origin and gaze dow n onto the earth's surface we see what is shown on the left below. A side view is presented on the right, and a 3D view below: Fig D.2 The meaning of the Frame S spherical coordinates r, θ,φ should be clear. These are the standard coordinates one would use to study a spherical pe ndulum in the absence of the Coriolis force. The Cartesian basis vectors en for Frame S are related to the cu rvilinear ones for Frame S as follows (see (A.13c)), e1 = x^ = cosφsinθ r^ + cosφcosθ θ^ - sinφ φ^ e2 = y^ = sinφsinθ r^ + sinφcosθ θ^ + cosφ φ^ e3 = z^ = cosθ r^ - sinθ θ^ (D.2) Appendix D: Foucault Pendulum 150 (b) Qualitative Solution On each swing the pendulum veers a little "to the right " in the northern hemisphere due to the Coriolis fictitious force -2m ω x v, so the problem is to compute the time for a full 360 degree rotation. Here we show the first four swings of the pendulum, F i g D . 3 The net effect is that the plane of the swinging pendulum precesses clockwise. The amount of veering shown in the drawing is highly exaggerated since we know that when the pendulum is located at the North Pole the period will be one sidereal day ( ≈ 23 hours 56 minutes). If each swing takes 10 seconds, that would be about 24*3600/10 = 8,640 swings for a full revolution, so each swing would show only 360/8640 ≈ .04 degrees of precession. Away from the North Pole we know the precession rate will be even slower, at the equator it will be infinite, and in the southern hemisphere the pendulum will precess in the opposite direction. These qualitative facts may be deduced from the direction and magnitude of the Coriolis force as discussed in Section 8 (c). (c) The Equations of Motion for a Foucault Pendulum In our "swap" notation context, the bogus Newton's law for non-inertial Frame S is, Feff = ma . (8.3)s (D.3) The effective force Feff consists of real forces and fictitious fo rces, and at the end of Section 8 (e) we showed that, for surface of the earth problems (which are Special Case #1), and in the "swap" notation, Feff = (m g + possible other real forces) – 2m ω x v , (8.15) s where force m g already incorporates the effect of the fictitious centrifugal force. In the spherical Foucault pendulum problem, we have "possible other real forces" = T, the tension of the massless pendulum string pulling on the pendulum of mass m. Thus, Feff = m g + T – 2m ω x v . (D.4) Appendix D: Foucault Pendulum 151 Although g does not point to the exact center of th e earth, we shall assume that it does, so g = gz^. The directional error in making this assumption is on th e order of .003 radians (see below (8.16)) which is insignificant in our analysis of the Foucault pendulum . The error may be even less than this when one considers that the surface of the earth is probably perpendicular to g and not g0, but we don't want to get involved with such fine details. Using g = gz^ in (D.4) and using the latter in (D.3) we find m a = mg z^ + T – 2m ω x v . ( D . 5 ) which is our vector "equation of motion" for the pendulum . Our task now is to evaluate the terms in (D.5) and then to balance the components on both sides to come up with three scalar equations of motion. The ω vector (D.1) can be expanded, using (D.2) for e3 and e1, ω = - ωcosβ e3 + ωsinβ e1 = - ωcosβ[cosθ r^ - sinθ θ^] + ωsinβ[cosφsinθ r^ + cosφcosθ θ^ - sinφ φ^] = ω(-cosβcosθ + sinβcosφsinθ) r^ + ω(cosβsinθ + sinβcosφcosθ ) θ^ + ω(-sinβ sinφ) φ^ ( D . 6 ) The string tension vector may be written as T = - T r^ . ( D . 7 ) It remains to find expressions for v and a expanded on the spherical unit vectors. Using the equations stated in (A.15), one can easily show that the time de rivatives of the Frame S basis vectors are given by (dr^/dt)S = r^• = θ• θ^ + sinθ φ• φ^ (dθ^/dt)S = θ^• = - θ• r^ + cosθ φ• φ^ (dφ^/dt)S = φ^• = - sinθ φ• r^ - cosθ φ• θ^ . ( D . 8 ) Then (D.8) can be used to show that r = l r^ v = r• = l r^• = l [θ• θ^ + sinθ φ• φ^] a = v• = l(- θ•2- sin2θ φ•2) r^ + l(θ•• - sinθcosθ φ•2) θ^ + l( 2cosθ θ• φ• + sinθ φ••) φ^ (D.9) so we now have a viable v and a to use in (D.5). The Coriolis cross product can now be computed, ω x v = [ω(-cosβ cosθ + sinβcosφsinθ) r^ + ω(cosβ sinθ + sinβ cosφcosθ ) θ^ + ω(-sinβ sinφ) φ^] x [l [θ• θ^ + sinθ φ• φ^] Appendix D: Foucault Pendulum 152 or ω x v /(ωl) = (-cos βcosθ + sinβcosφsinθ) r^ x [θ• θ^ + sinθ φ• φ^] + ( cosβsinθ + sinβ cosφcosθ ) θ^ x [θ• θ^ + sinθ φ• φ^] + (-sin βsinφ) φ^ x [θ• θ^ + sinθ φ• φ^] = (-cosβcosθ + sinβcosφsinθ) [θ• φ^ - sinθ φ• θ^] + ( cosβsinθ + sinβcosφcosθ ) [sinθ φ• r^] + (-sin β sinφ) [- θ• r^] = [ (cosβsinθ + sinβcosφcosθ )sinθ φ• + sinβ sinφ θ• ] r^ – [ (-cosβcosθ + sinβcosφsinθ)sinθ φ•] θ^ + [ (-cosβcosθ + sinβcosφsinθ) θ• ] φ^ . ( D . 1 0 ) We can now assemble the pieces from (D.2), (D.10) and (D.9) to write the equation of motion (D.5) divided by m, a = g z^ + T/m – 2 ω x v , (D.5) as l(- θ•2- sin2θ φ•2) r^ + l(θ•• - sinθcosθ φ•2) θ^ + l( 2cosθ θ• φ• + sinθ φ••) φ^ = g ( c o s θ r^ - sinθ θ^) - (T/m) r^ – 2ω l [(cosβsinθ + sinβcosφcosθ )sinθ φ• + sinβ sinφ θ• ] r^ + 2 ωl [(-cosβcosθ + sinβcosφsinθ)sinθ φ•] θ^ – 2ω l [(-cosβcosθ + sinβcosφsinθ) θ• ] φ^ Matching components gives these three equations of motion for the spherical pendulum on the rotating earth (the unit vectors on the right are just reminders of the origin of the equations) l(- θ•2- sin2θ φ•2) = gcosθ – (T/m) – 2ω l [(cosβsinθ + sinβcosφcosθ )sinθ φ• + sinβsinφ θ• ] r^ l(θ•• - sinθcosθ φ•2) = - g sin θ + 2ωl [(-cosβcosθ + sinβcosφsinθ)sinθ φ•] θ^ l( 2cosθ θ• φ• + sinθ φ••) = – 2ωl [(-cosβcosθ + sinβ cosφsinθ) θ• ] φ^ which we can simplify slightly to get θ•2 + sin2θ φ•2 = -(g/ l)cosθ + T/(ml) + 2ω [(cosβsinθ + sinβcosφcosθ )sinθ φ• + sinβsinφ θ• ] θ•• - sinθcosθ φ•2 = - (g/ l) sinθ + 2ω [(-cosβcosθ + sinβcosφsinθ)sinθ φ•] 2cosθ θ• φ• + sinθ φ•• = – 2ω [(-cosβcosθ + sinβcosφsinθ) θ• ] . (D.11) Appendix D: Foucault Pendulum 153 These are the equations for a spherical pendulum oper ating on the rotating earth with no approximations other than the modest ones that g does not vary over the small distance l and that g = gz^. (d) The Spherical Pendulum We now digress for a subsection on the spherical pe ndulum, then in the next subsection we resume discussion on the use of such a pendulum in its "Foucault pendulum" mode. The equations of motion If we momentarily turn off the rotation of the earth by setting ω = 0, equations (D.11) become θ•2 + sin2θ φ•2 = -(g/ l)cosθ + T/(ml) r^ θ•• - sinθcosθ φ•2 = - (g/ l)sinθ θ^ 2cosθ θ• φ• + sinθ φ•• = 0 φ^ ( D . 1 2 ) These are the equations of motion for a spherical pendulum in the presence of a uniform gravitational field of strength g. It is useful to know something a bout the solution of these equations before we turn the earth's rotation back on. Operationally, in the sense of a numerical solution, one can regard the last two equations of (D.12) as a pair of coupled non-linear ODE's for functions θ(t) and φ (t) subject to initial conditions θ 0, φ0, θ• 0 and φ•0. Once these equations are solved (physically we know a unique solution must exist), the first equation may be used to determine T(t), the string tension. The last two equations are usually obtained as the Euler-Lagrange or Hamilton's equations in a Lagrangian or Hamiltonian formulation of the problem. When ω ≠ 0, such an approach requires obtaining an expression for L or H which includes the effect of the fictitious forces, something we shall not attempt since we already have the equations of motion in (D.11). L z as constant of the motion The last equation in (D.12) may be written in this form d/dt ( sin 2θ φ• ) = 0 ( D . 1 3 ) which says that sin2θ φ• must be a "constant of the motion". To understand the meaning of this constant, we first compute the torque about the pivot point due to the gravitational force on the mass m, τ = r x mg = r x mg z^ = mg l r^ x [cosθ r^ - sinθ θ^] = -mgl sinθ φ^ . (D.14) Since this torque lies in a plane normal to the z axis, we may conclude that the Cartesian torque component τz = 0. The angular version of Newton's Law says τ = dL/dt , and therefore we expect that the quantity L z will be a constant of the motion. Direct calculation shows that Appendix D: Foucault Pendulum 154 Lz = L • z^ = m ( r x v) • z^ = m ( z^ x r) • v = m lsinθ φ^ • (l [θ• θ^ + sinθ φ• φ^]) = m l2sin2θ φ• ( D . 1 5 ) where we have made use of (D.2) for z^ and (D.9) for v. Thus, we see that our third equation of motion in (D.12), rewritten as in (D.13), is just the statement that dL z/dt = 0. In the Lagrangian formulation one finds that L z is one of the canonical momenta which is constant because φ is a cyclic coordinate, meaning it does not appear in the Lagrangian. In terms of the spherical unit vectors, one finds that the vector angular momentum of the pendulum mass is given by L = m r x v = ml2 [θ• φ^ - sinθ φ• θ^] ( D . 1 6 ) and then application of τ = dL/dt with τ as in (D.14) and unit-vector ch ange rates as in (D.8) simply reproduces the last two equati ons of motion in (D.12). So we conclude that h ≡ L z/(ml2) = sin2θ φ• ( D . 1 7 ) is a constant of the motion of the spherical pendulum. E as constant of the motion Another constant of the motion is the total energy E which may be regarded as E = T + V = kinetic energy + potential energy, E = (1/2)mv 2 - mg lcosθ = (1/2) m l2(θ•2+ sin2θφ•2) – mg lcosθ (D.18) where v 2 = l2(θ•2+ sin2θ φ•2) according to (D.9) for v. We have set the zero of potential energy at the pendulum pivot point which is the origin of Frame S. By rescaling, we can take this constant of the motion to be E = θ•2/2 + sin2θφ•2/2 – (g/ l)cosθ E = m l2E (D.19) Using (D.17) to eliminate φ• we get E = θ•2/2 + (h2/2sin2θ) – (g/ l)cosθ or E = θ•2/2 + Ve(θ) where V e(θ) ≡ (h2/2sin2θ) – (g/ l)cosθ (D.20) Appendix D: Foucault Pendulum 155 Closed form solution to the spherical pendulum problem (outline) Equation (D.20) is a first order non-linear ODE for θ(t) which we know how to solve: θ• = (2 E - 2Ve(θ) )1/2 => d θ = (2 E - 2Ve(θ) )1/2dt => dt = (2 E - 2Ve(θ) )-1/2 dθ => t( θ) = ∫θ0 θ dθ' 1 2E - (h2/sin2θ') + (2g/ l)cosθ' ( D . 2 1 ) Letting z' = cos θ', so dz' = - 1-z'2 dθ', this integral can be written as t(θ) = ∫z z0 dz' 1 2E [1-z'2] - h2 – (2g/ l)z'[1-z'2] // z = cosθ , z0 = cosθ0 = ∫z z0 dz' 1 (2g/l) [ z'3 - (El/g) z'2 - z' + ( l/g) (E- h2/2 ) ] = l/(2g) ∫z z0 dx 1 (x-a)(x-b)(x-c) where a,b,c are the roots of the cubic equation x3 - (El/g) x2 - x + ( l/g) (E-h2/2 ) = 0. The dimensionless integral appearing on the last line can be evaluated in closed form using this indefinite integral, where EllipticF is the incomplete elliptic integral of the first kind, EllipticF(sin( φ),k) = ∫0 sin(φ) dt 1 (1-t2)(1-k2t2) = F(φ,k) = F(φ |m) = F( φ\α) = sn-1(sinφ,k) where k = sin α , m = k2 and sn-1 is the inverse Jacobi sn function. Therefore, in principle we have a closed form result for t( θ) which can then be inverted to obtain a solution for θ(t). Then from (D.17) we get Appendix D: Foucault Pendulum 156 φ• = h/sin2(θ(t)) => φ(t) = φ0 + h ∫0 t dt' /sin2(θ(t')) (D.22) and the problem of the spherical pendulum is completely solved in closed form. The nature of the general solution Differentiation of (D.20) tells us that ( E is a constant), 0 = θ•θ•• + Ve'(θ) θ• // V e'(θ) ≡ dVe(θ)/dθ s o t h a t θ•• = – V e'(θ) . ( D . 2 3 ) Now recall (D.20), which one regards as kinetic plus potential energy for an imagined particle, E = θ•2/2 + Ve(θ) where V e(θ) ≡ (h2/2sin2θ) – (g/ l)cosθ . (D.20) The effective potential V e(θ) has the following shape (plotted here for h2/2 = .3 and (g/ l) = 1) Fig D.4 Looking at this curve and at (D.23), one sees that acceleration θ•• is always directed away from the turning points θmin and θmax so the solution θ(t) oscillates in some manner between these two turning point angles. At each turning point the θ kinetic energy is zero, θ• = 0. So, the motion of the pendulum is constrained on the spherical surface r = l between two horizontal circles of angles θmin and θmax and hits both these angles once per "oscillation". Meanwhile, from (D.22) the action in the φ dimension of the problem is controlled by Appendix D: Foucault Pendulum 157 φ• = h/sin2(θ(t)) => φ(t) = φ0 + h ∫0 t dt' /sin2(θ(t')) (D.22) so as θ(t) does the oscillation just discussed between θmin and θmax, φ(t) increases as shown in its own complicated functional manner. Since h is an arbitrary constant of the motion, it seems pretty clear that the angular rotation rate in the φ direction is "decorrelated" from that in the θ direction. If, for example, one randomly launches a spherical pendulum in a m odest thin elliptical orbit (small h), that orbit precesses fairly quickly about the vertical axis because φ• and θ• are not related in any simple way. A perturbation analysis shows that such a thin elliptical orbit processes in the direction of the elliptical motion (try it with a string and weight). This prece ssion of course has nothing to do with the rotation of the earth since the spherical pendulum being discussed has nothing to do with the rotating earth, it is just a mass on a string in a uniform g field. The lack of correlation between φ• and θ• exists whether or not the angle θ is small during the motion, so even for small angle motion there is precession of the orbit. Conclusion: In order to use a spherical pendulum as a "F oucault" pendulum (to be discussed below), one must launch the spherical pendulum with a sufficiently small value of h (~ L z) so that the precession rate φ• = h/sin2(θ(t)) is much smaller than the precession rate induced by the rotation of the earth. In theory, perhaps by using the "burned string" launch method, one can have h = 0 so φ• = 0 exactly and then the spherical pendulum becomes a plane pendulum moving in the plane φ = φ0. Comment: A quick tour of web animations of the sphe rical pendulum shows the amazing complexity of the possible motions. If the string is replaced with a massless stiff rod, over the top motions are included. Some examples (search youtube if these are dead links) http://www.youtube.com/watch?v=6hCLkTENfSA . http://www.youtube.com/watch?v=VS1dU5HpfOM&feature=relmfu The spherical pendulum for small θ is still complicated unless h is very small Setting sinθ = θ and cosθ = 1, the equations of motion (D.12) become θ•2 + θ2 φ•2 = -(g/ l) + T/(ml) r^ θ•• - θ φ•2 = - (g/ l) θ θ^ 2 θ• φ• + θ φ•• = 0 φ^ ( D . 2 4 ) Since in general φ•2 is not small relative to (g/ l), one cannot trivially solve the second equation to find simple harmonic motion for θ. If one assumes that φ•2 << (g/ l) ( meaning very small h) and then neglects the φ•2 term in the second equation, one obtains θ(t) = θ0 cos(Ωt) where Ω = g/l which is the usual angular frequency for a small-angle plane pendulum. Appendix D: Foucault Pendulum 158 The Conical Motion solution The spherical pendulum has an obvious simple solution where θ = θ0 = constant, so the string motion traces out a cone. In this case the equations of motion (D.12) become sin2θ0 φ•2 = -(g/ l)cosθ0 + T/(ml) r^ cosθ0 φ•2 = (g/ l) θ^ φ•• = 0 φ^ ( D . 2 5 ) The second equation says ωφ ≡ φ• = (g/l)secθ0 . Since this is a constant, the third equation is satisfied as well, and then the first says T = mg sec θ0. In the small angle limit for θ0, ωφ slows down to its smallest possible value ωφ ≡ g/l = Ω which is the frequency of a small a ngle plane pendulum. Conversely, as we try to achieve θ0 → π/2, secθ0→ ∞ and both ωφ and tension T become infinite, which seems pretty reasonable. This solution can of course be obtained by elementary methods as well. (e) The Foucault Pendulum The equations of motion for the spherical pendulum on the rotating earth were stated in (D.11), θ•2 + sin2θ φ•2 = -(g/ l)cosθ + T/(ml) + 2ω [(cosβsinθ + sinβcosφcosθ )sinθ φ• + sinβsinφ θ• ] θ•• - sinθcosθ φ•2 = - (g/ l) sinθ + 2ω [(-cosβcosθ + sinβcosφsinθ)sinθ φ•] 2cosθ θ• φ• + sinθ φ•• = – 2ω [(-cosβcosθ + sinβcosφsinθ) θ• ] . (D.11) Recall that the first equation serves onl y to determine string tension T when θ(t) and φ(t) are known, so we ignore this equation for the time being. We launch the pendulum as a "plane pendulum" with φ•(t=0) = φ•0 = 0, but right away on the first half-swi ng the Coriolis deflection generates a small φ• ≠ 0. It is then assumed that φ• remains small enough that we may neglect it in the second equation. In the third equation, we neglect φ•• which we expect to be smaller than φ•. We will check these assumptions after the fact. The equations of motion then become, θ•• = - (g/ l) sinθ φ• = ω (cosβ - sinβcosφtanθ) ( D . 2 6 ) At this point, we have two options, both of which involve approximations. Option 1. (arm waving) We imagine that the pendulum is launched from θ0 which is not a small angle, so that θ(t) is not a small angle. The first equation in (D .26) is decoupled and is the usual equation which describes a large-swing plane pendulum. The exact solution θ(t) can be expressed in terms of the Jacobi sn function, Appendix D: Foucault Pendulum 159 s i n ( θ/2) = sin(θ0/2) sn(Ω t; k=sin(θ0/2)) Ω = g/l . The second equation in (D.26) is not decoupled, since both θ and φ appear, but we then make the following wobbly argument. The pendulum follows some path as suggested in Fig D.3 which winds around the z^ axis so that angle φ(t) monotonically increases in some non-linear but oscillatory manner. We conjecture that the long term average (many swings) of cos φ is therefore 0. Going even further out on this limb, we might conjecture that the long term time average of the product cos φ tanθ also vanishes as well. This would take some effort to study, so it is just an arm-waving conjecture which is the basis of Option 1. Then one finds that <φ•> = ω (cosβ - sinβ <cosφ tanθ >) = ω cosβ so the effective version of (D.26) is this θ•• + (g/ l) sinθ = 0 <φ•> = ω cosβ ( D . 2 7 ) which says that the Foucault pendulum precesses on average at ωcosβ even if it has a large swing angle. Option 2. Here we are on firmer ground by assuming that θ0 and therefore θ(t) are small angles. In this case, setting sin θ = tanθ = θ and cosθ = 1, (D.26) becomes θ•• = - (g/ l)θ φ• = ω (cosβ - sinβcosφ θ ) ( D . 2 8 ) Unless we are extremely close to the equator of the earth where cosβ = 0, the second term in parentheses is much smaller than the first, and we then have θ•• + (g/ l)θ = 0 φ• = ω cosβ ( D . 2 9 ) The solution of the first equation is θ(t) = θ0cos(Ωt) where Ω = g/l , the usual frequency of the small angle plane pendulum. The second equation then gives the precession rate of the Foucault pendulum. This is the main result of this Appendix. If the pendulum is located at the North Pole, since the earth rotates counterclockwise when viewed from above the North Pole, we expect the Foucault pendulum to rotate clockwise in non-inertial Frame S. Equation (D.29) in this case says φ• = ω. Recall that ω > 0 for the earth in Fig D.1 so φ• > 0. According to the left side of Fig D.2, φ• > 0 does in fact imply clockwise rotation. If the pendulum is located at the South Pole, si nce the earth rotates clockwise when viewed from beneath the South Pole, we expect the Foucault pe ndulum to rotate counterclockwise in non-inertial Frame S, so we expect φ• < 0. This is the case since cos( π) = -1. In terms of the period of the precession, φ• = ω cosβ may be written as (ignoring direction) Appendix D: Foucault Pendulum 160 (2π/Tprec) = (2π/Tsday) |cosβ| = (2π/Tsday) |sin(θLAT)| => T prec = Tsday/ |sin(θLAT) | ( D . 3 0 ) and this is the fundamental Foucault precession result. The sidereal day (rotation relative to the stars) is 23.93447 hours. The Foucault pendulum at the Pantheon in Paris should have this precession period : T prec = 23.9344696/ sin(48.846285°) = 31.787731 hours = 31 hours 47.26 minutes http://www.thegpscoordinates.com/france/paris/pantheon/ // latitude Swing Period = 2 π/Ω = 2π/ g/l ≈ 16.4 sec l = 67 m Justification of assumptions In the second of equations (D.11) we neglected both φ• terms. Was this justified? | sinθcosθ φ•2| ≈ θ φ•2 ≈ θω2 cosβ ~ θ ω2 |– 2ω [(-cosβcosθ + sinβcosφsinθ)sinθ φ•] | ≈ |2ω cosβ θ ω (cosβ)| ~ θ ω2 Both these terms are far smalle r than the non-neglected term | (g/ l) sinθ | ~ Ω2θ since ω2 << Ω2. For a typical Foucault pendulum Ω = 2π/T Ω ω = 2π/Tday Tday2 >> TΩ2 ? (24*3600)2 >> (16.4)2 ? // Pantheon 7.46 x 109 >> 269 yes References 161 References Web addresses do change, but a search on th e titles below should reveal new locations. [1] J.R. Taylor, Classical Mechanics ( University Science Books, Mill Valley, CA, 2005) [2] J.B. Marion, Classical Dynamics of Particles and Systems, 2nd Ed. (Academic Press, New York, 1970). [3] S.T. Thornton and J.B. Marion [T&M], Classical Dynamics of Particles and Systems, 5th Ed ., (Thomson-Brooks/Cole, Belmont, CA, 2003). This textbook carries on the legacy of the founding author of the first two editions 1965 and 1970 (Jerry B. Marion 1929-1981). [4] H. Goldstein, Classical Mechanics (Addison-Wesley, Boston, 1950). [5] H. Goldstein, C. Poole, J. Safko [GPS], Classical Mechanics, 3rd Ed. (Addison-Wesley, Boston, 2001). Herbert Goldstein (1922-2005) was the sole author of the first two editions 1950 and 1980. [6] P. Lucht, Tensor Analysis and Curvilinear Coordinates (http://user.xmission.com/~rimrock/ , 2012) This document is segmented into two PDF file s, the second containing a set of Appendices. [7] G-G Coriolis, "Sur les équations du mouvement relatif des systèmes de corps". J. De l'Ecole royale polytechnique 15: 144–154 (1835). This and many other hist orical papers may be found at this link: http://www.aos.princeton.edu/WWWPUBLIC/gkv/history/general.html [8] M.J. Crowe, A History of Vector Analysis ( Dover Books, Mineola, NY, 2011) [9] M.J. Crowe, talk related to his book A History of Vector Analysis . www.math.ucdavis.edu/~temple/.../Crowe_History-of-Vectors.pdf . [10] E.B. Wilson (notes of J.W. Gibbs), Vector Analysis (Dover, New York, 1960). This book may be downloaded from Google books. [11] R.E. Hunt, Lecture Notes for the Mathematical Tripos (Cambridge University, 2007), Chapter 7 on Rotating frames, see http://www.damtp.cam.ac.uk/user/reh10/lectures/ . [12] M.L. Cosmo and E.C. Lorenzini, Tethers in Space Handbook, 3rd Ed . (Smithsonian, 1997). Available at www.tethers.com/papers/tethersinspace.pdf . [13] E. I. Butikov, "A dynamical picture of the ocean tides" (2002), http://faculty.ifmo.ru/butikov/Oceanic_Tides.pdf . [14] W.M. Lai, D. Rubin and E. Krempl, Introduction to Continuum Mechanics, 4th Ed. (Butterworth- Heinemann/Elsevier, Amsterdam, 2010) . This book has had the same th ree authors since its first edition in 1974, and it is with apologies to the last two authors that we reference the book just as Lai, which seems more comprehensible than LRK.