Home / Math and Physics Files / Physics / Mechanics / new frames doc / Unresolved Frames Doc Folders / Hard Questions
Notation Tests 2_25_17
DOCX · 25.3 KB
Open DOCX file
A Word document of Phil's self-questioning notes dated 2.25.17 with additions on 2.26.17. It works through what p' = Rp and v = v' + ω x r mean in passive versus active views, using Dirac notation for I' = RIR^-1 and L = IΩ. It compares the frames and tensor documents, argues that R acts as a mixed-basis matrix element, and leaves the rigid-body L = Iω frame question open.
AI-written summary; may contain errors.
Extracted text (machine-read; may contain errors)
Notation Tests 2_25_17 PhL 2.25.17
Scenario 1
In Frame S we have p = mv for a particle.
In Frame S' we have p' = mv' for that same particle.
Both frames are inertial, they are not rotating frames, just static frames.
Frames are Special Case #4 with co-sited origins.
What is the meaning of this equation: p' = Rp ?
In the passive view, there is only one true vector p and you observe it from two frames. When you write the above equation, you really mean this
(p)'i = Rijpj or in vector notation (p)' = Rp
This equation tells you the components of p in the Frame S'.
You could define a new vector p' ≡ Rp in Frame S, and then it happens that the components of this vector in Frame S are the same as the components of p in Frame S', since
(p)'i = (p')i
I guess when I write p' = Rp , I have to think of p' as an actively rotated vector in Frame S. And so when I write p' = mv' I am thinking of two actively rotated vectors in Frame S.
Fact: When you even talk about the equation p' = mv' , you are taking the active view and these are new vectors within Frame S which are obtained by p' = Rp and v' = Rv .
ok to here
Question: How does the above discussion relate to the frames doc Special Case #1 equation
v = v' + ω x r Special Case #1 only (6.6a) ?
First of all, this latter equation assumes that the two frames are not static but are rotating relative to each other at ω. It we take the limit that they become static, then this equation says
v = v'
You see the danger! So here for two static frames I say v = v' but above I say for two static frames that v' = Rv. This does seem paradoxical! How shall I "splain" the distinction here?
Answer 1: If we take ONLY the passive view in the static frames case, there is only one vector v and you can obtain its components in either frame (v)i or (v)'i. There exists no vector v'. The equation
v = v' + ω x r is entirely in the passive view and each v is "natural". If you turn off ω, there is only one vector v. The meaning of the symbols is different in v = v' + ω x r and v' = Rv but the symbols look exactly the same! In the passive view, there is no equation of the form p' = mv'.
Note added 2.26.17 In our frame application where we have equations like v = v' + ω x r and r = r' + b. the prime symbol is used to indicate the "natural" time derivative like v' and we have separated origins so each needs a vector name. Thus we have already "used up" the prime symbol as a notation tool. Therefore, we are not allowed to simply define vectors r' ≡ Rr and v' ≡ Rv in as needed in the Active View program. The symbols r' and v' are already used !!!!!! However, in the Passive View we are still OK if we write things like (r)' = Rr and (r')' = Rr' and (v)' = Rv and (v')' = Rv' for vectors r,r',v,v' . It would be wrong to write r' ≡ Rr !!!!! So we NEED the notation like (r)' = Rr if we want to express the component sum idea in "vector notation" AND be compatible with our other prime meaning.
ok to here
Scenario 2
In Frames doc I have en = Re'n which is the back-rotated basis vector deal that we always use when we are taking the passive view!
(en)i = [Re'n]i = Rij (e'n)j Frame S components
(en)'i = [Re'n]'i = R'ij (e'n)'j Frame S' components // note prime on R'ij (1.1.33)
This en = Re'n has the general form a = Tb which I mention in frames doc as a notation that needs to be clarified with the Dirac notation. Note that L = IΩ has just this form. So in Dirac I guess we could say
|L> = I |Ω> = |ei><ei| I |ej><ej| Ω> = Iij (Ω)j |ej>
Close to get
Lk = <ek |L> = Iij (Ω)j <ek|ej> = Iij (Ω)jδik = Ikj (Ω)j
or
L = IΩ
So this seems to have a pretty clean Dirac meaning. Here I am thinking of a particle which has some angular velocity vector Ω and some inertia tensor I.
In the pure passive view with static frame S and S' there is only one vector L and only one Ω. You could study the components of L = IΩ in either frame. To do this study, you would write
(L)i = [IΩ]i = IijΩj Frame S // L = IΩ
(L)'i = [IΩ]'i = I'ijΩ'j Frame S' // (L)' = I'Ω'
and this would have a Dirac form that makes sense. I think I' = RIR-1 if en = Re'n .
Note added 2.26.17: above I am just getting warmed up to address the rigid body equations mystery!
ok to here
Question: I seem to have no problem with the meaning of I' = RIR-1 in the passive view. Why do I have such a problem with the rank-1 rule v' = Rv ? Since there exists no vector v' in the passive picture, what are you trying to say? I guess it is that idea that it is (v)' = Rv which matches I' = RIR-1 . In Dirac,
<ei| v> = vi = < Re'n| v> = ???
My answer to this question is this is as follows:
I' = RIR-1 <e'm | I |e'n> = <e'm |ei><ei| I |ej><ej|e'n> = RmiIij Rnj
(v)' = Rv // this is just a shorthand notation for what is below, has no Dirac not.
(v)'i = [Rv]i = Rijvj <e'i| v > = <ei| Rv> = <ei| R |ej><ej|v> = Rijvj
You could wedge this into Dirac by saying <ei|(v)' > = <e'i|v > so then |(v)' > = |Rv> . Not sure this is worth doing. Perhaps it is just fine.
ok to here
Question: In tensor doc and wedge doc I say V'n = Rnm Vm . Does this mean that these docs are all in the active view only? Or does this equation really mean (V)'n = Rnm Vm and there is only one V ?
Answer 2.26.17: We cannot use Active View if V' already has some other meaning like v' does in frames doc. We stick then to the Passive View and the equation is (V)' = RV or (V)'n = Rnm Vm . I deal with this question at the end of Question 1 v3.
ok to here
Question: How do you relate x-space and x'-space of tensor doc to Frame S and Frame S' of frames doc?
Answer 2.26.17: This is fully addressed in Question 1 v3 with a slightly unexpected answer, see there.
ok to here
Question: How do en and e'n in frames doc relate to basis vectors in tensor doc?
I have avoided facing up to these questions in order to get frames doc done. In tensor doc I have
V'a = RabVb rank 1 tensor
M'ab = Raa' Rbb' Ma'b' rank 2 tensor
Things are on a uniform footing in each rank. But I seem to have a non-uniform footing in frames doc,.
Question: In frames doc, the idea of V' = RV works only if b = 0. Is there some restriction implied in tensor doc analogous to b = 0 without which you would not have V'a = RabVb ?
Answer 2.26.17: This is fully addressed in Question 1 v3, see there.
ok to here
Each of these questions could be a week of work to answer. (well, not really it turns out).
Question: All these questions are being motivated by my not understanding L = Iω in terms of frame doc. If L is Frame S, how can I be diagonal? This equation has the same confusion as V' = RV .
pending
Question: In frames doc Section 1 I treat R as if it were a tensor. But in tensor doc I make a big point about R NOT being a tensor, having one foot in each world. How does this all resolve?
Answer 2.26.17: Concerning the "one foot in each world" comment, I already have this in frames doc
Rnm = <e'n|em> = <R-1en|em> = <RTen|em> = <en | R |em>
and there you explicitly see one foot in each world. The R matrix is the matrix element of the unity operator in a mixed basis! I have just added a nice comment to this effect and have showed how one could use a mixed tensor for any tensor but notation is messy.
So I think in light if these comments, it is completely OK to treat R just as any other T in the Dirac space.
ok to here, only one "nasty question" remains unanswered: (see Question 2 docs)
Question Set (repeat). We have L = I ω .
Is this equation "in a frame"? Is this the Frame S equation and there is a Frame S' equation that reads L' = I' ω' like F = ma and F' = ma' ?
For the case that Frame S' is the body frame, it seems that L' = 0 for the rigid body or any particle of it, since the body is at rest in this body frame. Then L' = I' ω' would read 0 = I' ω'. What does that mean? In one sense ω' = 0 in Frame S' since nothing is moving, but in another sense, Frame S' is moving relative to Frame S at some ω' and perhaps ω' = -ω.
If L = I ω is a Frame S equation with Frame S being "the table on which the top is spinning" then how can you say I is diagonal? I think of the principle axes being the body Frame S' axes, maybe that is wrong.
Maybe L = I ω is not an equation that lives within a frame?