27.09.2014 Views

Notes on Relativity and Cosmology - Physics Department, UCSB

Notes on Relativity and Cosmology - Physics Department, UCSB

Notes on Relativity and Cosmology - Physics Department, UCSB

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

7.3. THE EQUIVALENCE PRINCIPLE 179<br />

To underst<strong>and</strong> Einstein’s answer, let’s c<strong>on</strong>sider a tiny box of spacetime from<br />

our diagram above.<br />

cε<br />

ε<br />

This accelerati<strong>on</strong> was<br />

matched to g<br />

For simplicity, c<strong>on</strong>sider a ‘square’ box of height ǫ <strong>and</strong> width cǫ. This square<br />

should c<strong>on</strong>tain the event at which we matched the “gravitati<strong>on</strong>al field g” to the<br />

accelerati<strong>on</strong> of the rocket.<br />

In this c<strong>on</strong>text, Einstein’s proposal was that<br />

Errors in dimensi<strong>on</strong>less quantities like angles, v/c, <strong>and</strong> boost parameters<br />

should be proporti<strong>on</strong>al to ǫ 2 .<br />

Let us motivate this proposal through the idea that the equivalence principle<br />

should work “as well as it possibly can.” Suppose for example that the gravitati<strong>on</strong>al<br />

field is really c<strong>on</strong>stant, meaning that static observers at any positi<strong>on</strong><br />

measure the same gravitati<strong>on</strong>al field g. We then have the following issue: when<br />

we match this gravitati<strong>on</strong>al field to an accelerating rocket in flat spacetime, do<br />

we choose a rocket with α top = g or <strong>on</strong>e with α bottom = g? Recall that any rigid<br />

rocket will have a different accelerati<strong>on</strong> at the top than it does at the bottom.<br />

So, what we mean by saying that the equivalence principle should work ‘as well<br />

as it possibly can’ is that it should predict any quantity that does not depend<br />

<strong>on</strong> whether we match α = g at the top or at the bottom, but it will not directly<br />

predict any quantity that would depend <strong>on</strong> this choice.<br />

To see how this translates to the ǫ 2 criteri<strong>on</strong> above, let us c<strong>on</strong>sider a slightly<br />

simpler setting where we have <strong>on</strong>ly two freely falling observers. Again, we<br />

will study such observers inside a small box of spacetime of dimensi<strong>on</strong>s δx = cǫ,<br />

δt = ǫ. Let’s assume that they are located <strong>on</strong> opposite sides of the box, separated<br />

by a distance δx.<br />

In general, we have seen that two freely falling observers will accelerate relative<br />

to each other. Let us write a Taylor’s series expansi<strong>on</strong> for this relative<br />

accelerati<strong>on</strong> a as a functi<strong>on</strong> of the separati<strong>on</strong> δx. In general, we have<br />

a(δx) = a 0 + a 1 δx + O(δx 2 ). (7.3)<br />

But, we know that this accelerati<strong>on</strong> vanishes in the limit δx → 0 where the two<br />

observers have zero separati<strong>on</strong>. As a result, a 0 = 0 <strong>and</strong> for small δx we have<br />

the approximati<strong>on</strong> a ≈ a 1 δx.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!