## How does GR handle metric transition for a spherical mass shell?

This is really a continuation from another thread but will start here from scratch. Consider the case of a static thin spherical mass shell - outer radius rb, inner radius ra, and (rb-ra)/ra<< 1, and with gravitational radius rs<< r(shell). According to majority opinion at least, in GR the exterior spacetime for any r >= rb is that given by SM (Schwarzschild metric) as expressed by the SC's (Schwarzschild coordinates) http://en.wikipedia.org/wiki/Schwarz...zschild_metric. In the empty interior region r=< ra, a flat MM (Minkowski metric) applies. Owing probably to it's purely scalar nature, there seems little controversy as to the temporal component transition, as expressed as frequency redshift scale factor Sf = f'/f (f' the gravitationally depressed value as seen 'at infinity'). In terms of the potential V = (1-rs/r)1/2, with rs = 2GMc-2, one simply has Sf = V, which for any r=< ra has it's r parameter value 'frozen' at r = ra. There is a smooth transition from rb to ra that depends simply on V only. So far, so broadly reasonable.

What of the spatial metric components? In terms of corresponding scale factors Sr, St that operate on the radial and tangent spatial components respectively, it is readily found from the SC's that Sr = V, St = 1, everywhere in the exterior SM region. Sr = V is physically reasonable and identical to frequency redshift factor Sf here. Whether according to GR Sf and Sr diverge for some reason in the transition to the interior MM region is not clear to me, but that would be 'interesting'.
An apparently consensus view that St dives relatively steeply from St = 1 at r = rb, to some scaled fraction of V at r=< ra. [A previous attempt here at PF at the shell transition problem found something different; an invariant St = 1 for all r, but an Sr that jumped back from V to 1 in going from rb to ra. That gave flat interior spatial metric with unity scale factors Sr, St (i.e. 'at infinity' values) but a redshift factor Sf = V]. Seems though the consensus view is for an equally depressed Sr, St in the interior MM region, the exact value of Sr, St, and Sf relative to V is unclear from recent entries on that matter, where parameters A, B, were used as equivalent to Sf, (Sr, St) respectively.

I wish to focus on the question of physical justification for St diving from unity to some fraction of V. Given that an invariant St = 1 for all r >= rb (SM regime) stipulates complete independence on V or any combination of it's spatial derivatives ∂V/∂r, ∂2V/∂r2, etc. In the shell wall region, where shrinkage of St apparently occurs, there is owing to a nonzero stress-energy tensor T a different relative weighting of V and all it's derivatives to that applying for r => rb, but otherwise, only the weighting factors are different. What permits variance of St in one case, but not the other? An answer was that in the shell wall where T is nonzero, the Einstein tensor G (http://en.wikipedia.org/wiki/Einstein_tensor) operates and this is the explanation.

That seems unsatisfying, and should be justifiable at a basic, 'bare kernel' level. By that is meant identify the 'primitives' from which everything in G can be derived, and show what particular combo leads to a physically justifiable variance of St, applying nowhere but the shell wall region. So what are the 'primitives'. I would say just V and it's spatial derivatives, which owing to the spherical symmetry, are of themselves purely radial vector quantities (but obviously not all their combinations as per div, curl etc).

One caveat here is to nail down the relevant source of V - taken simply as total mass M exterior to rb. Has been pointed out that for a stable shell there must be pressure p present in addition to just rest matter density ρ, ie T = ρ + p, = T00 + T11+T22+T33. My assumption is that for a mechanically stable thin shell of normal material, ρ >>> p, and so to a very good approximation, just use ρ. If one feels the p terms should be included regardless, then I would further suggest they will act here just as a tiny addition to ρ. That is, the contribution of T11 for instance in some element of stressed matter introduces no 'directionality' per se to the potential, yes?

Can't think of any physical quantity - relevant to this case anyway - that could not be expressed as some function of the above primitives. But recall, all these primitives exist in the region exterior to rb, where St is strictly = 1!. Only remotely relevant quantity I can think of that *may* be zero in the exterior region but obviously nonzero in the wall region is the three divergence nabla2V. And that could account for a varying St? Can't imagine how. So something real, real special has to be pulled out of the hat imo. So special I consider it impossible, but open to be shown otherwise. Seems to me the anomaly is intractable in GR and a cure requires a theory where isotropic contraction of spatial and temporal components apply. Then and only then the transition issue naturally resolves. But that's my opinion. So, any GR pro willing to give this a go, let's get on with the show!
 PhysOrg.com science news on PhysOrg.com >> Galaxies fed by funnels of fuel>> The better to see you with: Scientists build record-setting metamaterial flat lens>> Google eyes emerging markets networks

Mentor
Don't know if you saw this in the other thread:
 Quote by Q-reeus Issue now, following #241, is to nail down just what property/operation of ET actually yields tangential contraction.
The tangential pressure components of the stress energy tensor. There is no tangential pressure in the vacuum region, there is in the matter region.

Here is a arxiv paper you may like. It uses an analytical model for the shells, so it is not the usual "step function" you would normally consider, but it describes things like the radial and transverse pressures:
http://arxiv.org/abs/0911.4822

## How does GR handle metric transition for a spherical mass shell?

Thanks for the links but need some expert translation here. I get that extrinsic curvature jumps across a thin boundary proportional to the boundary 'surface' stress-energy density (link 2 - the others are highly technical). Now specifically how does the extrinsic curvature relate to tangent metric factor St for shell case? There should surely be a relatively simple function in ρ and r; St(rho,r) = f(rho,r) which can/must be decomposable into just V and derivatives thereof. Maybe it's there in those links, but if so someone has to point to just where. If not, I'm still inclined to think maths divorced from physics - "It's all about imposing enough boundary conditions, old chap".

 Quote by DaleSpam Don't know if you saw this in the other thread:The tangential pressure components of the stress energy tensor. There is no tangential pressure in the vacuum region, there is in the matter region. Here is a arxiv paper you may like. It uses an analytical model for the shells, so it is not the usual "step function" you would normally consider, but it describes things like the radial and transverse pressures: http://arxiv.org/abs/0911.4822
Sorry but I missed it! While the link is interesting, I get that the models are about highly compressible matter shells where pressure is mostly not an appreciable source of T itself and the complexity derives from the highly non-uniform matter density profiles. Maybe some cases there imply 'extreme' pressures, but either way, it's just an addition to rho surely given static conditions. At any rate for my shell scenario, as mentioned there, a typical self-supporting shell of say metal will always have rho many orders of magnitude in excess of any p contributions (anti-matter bomb vs firecracker). So it still gets back to explaining the case of just a shell of uniform matter density as only source of T and G - stress is not worth stressing over.

Blog Entries: 9
Recognitions:
Gold Member
 Quote by Q-reeus At any rate for my shell scenario, as mentioned there, a typical self-supporting shell of say metal will always have rho many orders of magnitude in excess of any p contributions (anti-matter bomb vs firecracker).
I don't think you can make this assumption in general; I think it will only hold if the potential at the inner surface of the shell is close to 0 (where 0 is the potential at infinity)--equivalently, the radius of the shell (inner or outer) is much greater than 2M, where M is the total mass of the shell (as measured by an observer far away from it). If the shell radius is not very large compared to M (meaning the potential within the shell is significantly less than 0, or equivalently the t-t and r-r metric coefficients are significantly different from 1), then the state of the matter in the shell will be much more like white dwarf or neutron star material than like ordinary metal, and the pressure in the material will have to be comparable to its energy density or the shell will not be stable. (Also, as I mentioned in the previous thread where this topic was discussed, the pressure will have to be negative--a tension--in some portion of the shell or it will fall in on itself.)

 Quote by PeterDonis I don't think you can make this assumption in general; I think it will only hold if the potential at the inner surface of the shell is close to 0 (where 0 is the potential at infinity)--equivalently, the radius of the shell (inner or outer) is much greater than 2M, where M is the total mass of the shell (as measured by an observer far away from it).
Yes that's the condition I was talking about in specifying in #1 that rs/r << 1. The aim is to avoid 'strong gravity' complications and as much as possible all the fierce math that goes with that. A bare minimum scenario that draws out the relevant factors.
 ...(Also, as I mentioned in the previous thread where this topic was discussed, the pressure will have to be negative--a tension--in some portion of the shell or it will fall in on itself.)
I felt like commenting on that over there, but here's the chance. This seems strange. I can only see positive biaxial tangent stress. So you are saying there is need of a radial tensile component?

Blog Entries: 9
Recognitions:
Gold Member
 Quote by Q-reeus Yes that's the condition I was talking about in specifying in #1 that rs/r << 1. The aim is to avoid 'strong gravity' complications and as much as possible all the fierce math that goes with that. A bare minimum scenario that draws out the relevant factors.
Ok, understood. Basically, we're assuming that the spherical shell can hold itself together and be made of "normal" materials for which the energy density is much larger than any stress component. The corrections to the metric coefficients will all be small, but as long as those corrections are still large compared to the ratio of pressure to energy density, which seems reasonable, we should be fine.

(Quick back of the envelope calculation to verify that it's reasonable: metric coefficient correction for the Earth is of order 10^-6, the ratio of r to M. For a typical material like steel, pressure components are of order 10^9 in SI units--gigapascals--and energy density is of order 10^20 in SI units--one kilogram per cubic meter is 9 x 10^16, water is 1000 kg/m^3, and steel is several times the density of water. So the ratio of pressure to energy density in a typical structural material is of order 10^-11, five orders of magnitude smaller than the metric correction for r a million times M. Looks like we're OK.)

 Quote by Q-reeus I felt like commenting on that over there, but here's the chance. This seems strange. I can only see positive biaxial tangent stress. So you are saying there is need of a radial tensile component?
No, I'm saying there has to be a tangential hoop stress, which will be a tension, not a pressure, so it will be a negative quantity in the stress-energy tensor. See here:

http://en.wikipedia.org/wiki/Cylinder_stresses

This talks about cylinders, not spheres, but the general idea is the same for spheres, including the sign of the stress. The Wiki page isn't very careful about signs, but the convention for the stress-energy tensor is clear: pressure (compressive stress) is positive and tension (tensile stress--stretching) is negative.

Blog Entries: 9
Recognitions:
Gold Member
 Quote by Q-reeus An apparently consensus view that St dives relatively steeply from St = 1 at r = rb, to some scaled fraction of V at r=< ra. [A previous attempt here at PF at the shell transition problem found something different; an invariant St = 1 for all r, but an Sr that jumped back from V to 1 in going from rb to ra. That gave flat interior spatial metric with unity scale factors Sr, St (i.e. 'at infinity' values) but a redshift factor Sf = V]. Seems though the consensus view is for an equally depressed Sr, St in the interior MM region, the exact value of Sr, St, and Sf relative to V is unclear from recent entries on that matter, where parameters A, B, were used as equivalent to Sf, (Sr, St) respectively.
Since I contributed to the "apparent consensus" in the other thread, I would like to post here after thinking this over some more. One key thing that I don't think I captured correctly in the other thread is that statements like "St dives relatively steeply from St = 1 at r = rb, to some scaled fraction of V at r=< ra" are (at least I believe they are) coordinate-dependent. So I think it is helpful to start by first describing as much as we can independently of any coordinates, entirely in terms of "physical" quantities that are coordinate-invariant. I will do that here for the description I gave in the other thread of how the "packing" of objects between two spheres close together varies as we descend through the three "regions" of this scenario: the exterior vacuum region (EV), the non-vacuum "shell" region (NV), and the interior vacuum region (IV).

Start somewhere in the EV, well above the outer surface of the shell, but still far enough from "infinity" that the metric differs significantly from the Minkowski metric. Take two concentric 2-spheres, both centered exactly on the "shell" (but much larger), one with physical area A, the other with slightly larger physical area A + dA. By "physical area" I mean the area measured by covering the 2-sphere with very small identical objects and counting the objects (and by "identical objects" I mean that if you bring any two of them to the same location they will be exactly the same shape and size).

Pack the volume between these two spheres with the same identical little objects (which we take to be exactly spherical so they have the same dimension in all directions). Euclidean geometry would lead us to predict that the volume dV between the two spheres that we will find from this packing is given by:

$$dV = \frac{1}{4} \sqrt{\frac{A}{\pi}} dA$$

However, when we actually do the packing, we will find the physical volume dV between the two spheres is *larger* than this, by some factor K; and K will get *larger* as we descend in region EV, getting closer to the outer surface of region NV. Finally, at the outer surface of region NV, K will have reached some value K_o > 1.

As we continue to descend through NV, we find the opposite effect now taking place; the factor K begins to get smaller, and when we reach the inner surface of NV, we find that it is now 1, the same value it has at "infinity". In other words, K_i = 1.

Once we are inside region IV, the K factor does not change; spacetime is flat. So since K is 1 at the inner surface of NV, it is 1 throughout IV. If we take any pair of spheres centered in IV, with areas A and A + dA, the volume between them, as shown by packing with identical little objects, will be exactly as given by the above formula.

I should also include what happens to the "rate of time flow" as we descend through the three regions. (This "rate of time flow" would be observable as gravitational redshift/blueshift, so substitute that in wherever I say "time flow" if that makes it easier to see what I mean.) In region EV, time flow, relative to its rate "at infinity", is slowed by the same factor K that volume between two spheres is increased from its Euclidean value. So at the outer surface of NV, time flow, relative to infinity, is multiplied by a factor J_o = 1 / K_o. However, as we descend through region NV, time flow continues to slow, so when we reach the inner surface of NV, time flow relative to infinity is multiplied by a factor J_i < J_o. Therefore, we can see that J_i is *not* equal to 1 / K_i; the relationship between J and K that held in region EV no longer holds in region NV. And since the rate of time flow is the same throughout NV, the relationship between J and K that held in EV doesn't hold in IV either.

I won't comment at this point on how any of the above relates to the descriptions in terms of coordinate systems; I'll save that for another post. But I think the above summarizes the physical observations that would apply in the scenario.

Mentor
 Quote by Q-reeus Maybe some cases there imply 'extreme' pressures, but either way, it's just an addition to rho surely given static conditions. At any rate for my shell scenario, as mentioned there, a typical self-supporting shell of say metal will always have rho many orders of magnitude in excess of any p contributions (anti-matter bomb vs firecracker). So it still gets back to explaining the case of just a shell of uniform matter density as only source of T and G - stress is not worth stressing over.
I think this is incorrect. The stress should be exactly the right magnitude to cause the change in the metric you are interested in. If it is a thin massive shell it will be very high and if it is a thick low-density shell then it will be lower. The density will clearly be larger, but that doesn't mean that the lateral stresses are negligible, particularly since they affect different components of the stress-energy tensor and it is precisely these different components that are causing your concern.

I feel like you are deliberately ignoring a clear physical source of the effect you are interested in for no reason other than your a-priori assumption that it cannot possibly be large enough.

 Quote by PeterDonis So the ratio of pressure to energy density in a typical structural material is of order 10^-11, five orders of magnitude smaller than the metric correction for r a million times M. Looks like we're OK.)
Check!
 No, I'm saying there has to be a tangential hoop stress, which will be a tension, not a pressure, so it will be a negative quantity in the stress-energy tensor. See here: http://en.wikipedia.org/wiki/Cylinder_stresses This talks about cylinders, not spheres, but the general idea is the same for spheres, including the sign of the stress. The Wiki page isn't very careful about signs, but the convention for the stress-energy tensor is clear: pressure (compressive stress) is positive and tension (tensile stress--stretching) is negative.
Still not getting that (a side issue in our context, but still). Substitute air-filled balloon for the shell, and internal gas pressure (outward acting) and there one must have tangential hoop tension for stability. But with only inwardly acting self-gravity acting on the shell, hoop stresses must be positive to avoid collapse, surely? The link you gave points out that in the thick wall case, shear stresses owing to gradient of hoop stress as function of radius can matter, but not important for the thin wall case. I just dug this link up: http://arxiv.org/abs/gr-qc/0505040 p11-12 may be of use.

 Quote by DaleSpam I think this is incorrect. The stress should be exactly the right magnitude to cause the change in the metric you are interested in. If it is a thin massive shell it will be very high and if it is a thick low-density shell then it will be lower. The density will clearly be larger, but that doesn't mean that the lateral stresses are negligible, particularly since they affect different components of the stress-energy tensor and it is precisely these different components that are causing your concern. I feel like you are deliberately ignoring a clear physical source of the effect you are interested in for no reason other than your a-priori assumption that it cannot possibly be large enough.
No. I think the assessment in #8 settles it nicely. In the #1 scenario, pressure is piddling - the matter is with the effect of matter. If you want, I can pin it down to the shell = a standard 'toy globe' sitting on a typical professor of GR's shelf. Work out the relative contributions there!

 Quote by PeterDonis ...However, when we actually do the packing, we will find the physical volume dV between the two spheres is *larger* than this, by some factor K; and K will get *larger* as we descend in region EV, getting closer to the outer surface of region NV. Finally, at the outer surface of region NV, K will have reached some value K_o > 1...
Sure but is that any more than an alternate way of saying Sr varies as Sr = V (in my notation the -ve sign for V is absent), whereas St is an invariant 1, for all r=< rb? I'm failing to see the need to work only in relative areas and volumes. There must surely be some definite, unambiguos meaning to r here. Gets back I suppose to that other thread where I asked for what a distant observer will see through a telescope - a distorted or undistorted test sphere. A sensibly and physically real Sr implies oblate spheroid will be observed.
 As we continue to descend through NV, we find the opposite effect now taking place; the factor K begins to get smaller, and when we reach the inner surface of NV, we find that it is now 1, the same value it has at "infinity". In other words, K_i = 1.
We have reached the flat MM interior, fine.
 In region EV, time flow, relative to its rate "at infinity", is slowed by the same factor K that volume between two spheres is increased from its Euclidean value. So at the outer surface of NV, time flow, relative to infinity, is multiplied by a factor J_o = 1 / K_o. However, as we descend through region NV, time flow continues to slow, so when we reach the inner surface of NV, time flow relative to infinity is multiplied by a factor J_i < J_o. Therefore, we can see that J_i is *not* equal to 1 / K_i; the relationship between J and K that held in region EV no longer holds in region NV. And since the rate of time flow is the same throughout NV, the relationship between J and K that held in EV doesn't hold in IV either.
Understand perfectly what you are saying here, but for the moment I have to treat it as just assertion as to relative evolution of K and J. I will be convinced when it can be shown operation of the 'primitives' V and and any combination of derivatives of V, lead to this explicitly. Must be going!

Mentor
 Quote by Q-reeus No. I think the assessment in #8 settles it nicely. In the #1 scenario, pressure is piddling - the matter is with the effect of matter. If you want, I can pin it down to the shell = a standard 'toy globe' sitting on a typical professor of GR's shelf. Work out the relative contributions there!
Figures 2 and 3 of the paper I cited above show less than 1 order of magnitude difference. In any case, the fact that the t-t component of the stress energy tensor is large is completely irrelevant if you are interested in the r-r, theta-theta, or phi-phi components of the curvature.

Blog Entries: 9
Recognitions:
Gold Member
 Quote by Q-reeus Sure but is that any more than an alternate way of saying Sr varies as Sr = V (in my notation the -ve sign for V is absent), whereas St is an invariant 1, for all r=< rb? I'm failing to see the need to work only in relative areas and volumes. There must surely be some definite, unambiguos meaning to r here.
There is a definite meaning to "radial distance", yes: in principle, we could line up our tiny measuring objects from some given sphere with area A, all the way to the center of the whole scenario, and count them. The radial distance measured this way, if we start from a sphere in one of the regions where K > 1 (EV or NV), will be larger than the area A divided by 4 pi. However, the exact relationship between the two will be complicated, because it has to take into account how K varies from the sphere with area A all the way to the center of the scenario. It's simpler to state things in terms of the differential area and volume as I did because those quantities are "local", at least in terms of radial movement (and since we're assuming spherical symmetry and time independence, everything can vary only as a function of radial movement), so K can be assumed constant for any given pair of spheres with areas A and A + dA.

But the radial distance, as I've defined it above, is *not* necessarily the same as the radial coordinate r. You can define r to always be the same as the radial distance, but that may not be the easiest definition to work with. More on that in a future post when I talk about coordinates.

 Quote by Q-reeus Gets back I suppose to that other thread where I asked for what a distant observer will see through a telescope - a distorted or undistorted test sphere. A sensibly and physically real Sr implies oblate spheroid will be observed.
This is a more complicated question as well because it requires you to evaluate the path of the light rays from the object to the distant observer, and the "scaling factor" and time dilation factor will change through the intervening spacetime. It may well be that you are correct that the anisotropy I described (more volume between spheres A and A + dA than Euclidean geometry would lead you to expect) will be seen by a distant observer as a test sphere appearing distorted, but it's not as straightforward a question as you seem to think it is.

 Quote by Q-reeus Understand perfectly what you are saying here, but for the moment I have to treat it as just assertion as to relative evolution of K and J. I will be convinced when it can be shown operation of the 'primitives' V and and any combination of derivatives of V, lead to this explicitly.
But my whole point is that K and J are the "primitives". K and J are coordinate-independent; they can be directly measured in terms of local observations (K is how much the volume between two spheres with area A and A + dA exceeds the Euclidean value, and J is the observed gravitational redshift/blueshift factor at a given sphere with area A). If by "V" you mean what you have been calling the "potential", the coordinate-independent definition of that would be made in terms of J, the "gravitational redshift" factor, via the usual definition:

$$J = 1 + 2 \phi$$

where $\phi$ is the potential in units where c = 1, and with the usual convention that the potential is zero at "infinity" and negative in a bound system such as this one. But this potential is not what is directly observed; that's J.

Blog Entries: 9
Recognitions:
Gold Member
 Quote by PeterDonis But the radial distance, as I've defined it above, is *not* necessarily the same as the radial coordinate r. You can define r to always be the same as the radial distance, but that may not be the easiest definition to work with. More on that in a future post when I talk about coordinates.
Ok, now for the "future post" to talk some about coordinates. First, the easy stuff: the spacetime is static, spherically symmetric, and asymptotically flat, so we can easily define angular coordinates $\theta$, $\phi$ in the usual manner, and a time coordinate $t$ that corresponds to the asymptotic Minkowski time coordinate "at infinity". The metric will then be independent of $t$, and the only dependence on the angular coordinates will be the $r^{2} sin^{2} \theta d\phi^{2}$ term in the tangential part, which won't be an issue in this problem (and in fact I'll be writing the tangential part as $d\Omega^{2}$ to make clear that there's nothing to see there). So basically the only coordinate where there is anything interesting to figure out is the radial coordinate.

The most familiar radial coordinate for these types of scenarios is the Schwarzschild radial coordinate, which I'll label $r$; it is defined by

$$A = 4 \pi r^{2}$$

for a 2-sphere with physical area A. In terms of this radial coordinate, the metric must take the form:

$$ds^{2} = - J(r) dt^{2} + K(r) dr^{2} + r^{2} d\Omega^{2}$$

where J and K are the gravitational redshift and "packing excess" coefficients I defined in my previous post, which must be functions of r only because of what we said above about the other coordinates. Two things are immediately evident:

(1) For this definition of the radial coordinate, the coefficient in front of the tangential part of the metric *must* be $r^{2}$, and nothing else, because we *defined* r that way (so the area of the sphere at r is $4 \pi r^{2}$). (Btw, this observation also shows why K in the metric above *has* to be the "packing excess" coefficient I defined in my previous post.)

(2) In region IV (interior vacuum), K = 1, so the spatial part of the metric with this radial coordinate is exactly in the Minkowski form. The only difference, in terms of this radial coordinate, between IV and the asymptotically flat region "at infinity" is the coefficient J, the gravitational redshift or "time dilation" factor.

However, there is another way to define the radial coordinate, the "isotropic" way; the idea here is that we want the relationship between the radial coordinate and actual physical distance to be the same in all directions (as it obviously is not for the Schwarzschild r coordinate). We'll call this isotropic radial coordinate $R$, and the metric in terms of it looks like this:

$$ds^{2} = - J(R) dt^{2} + L(R) \left( dR^{2} + R^{2} d\Omega^{2} \right)$$

I've put a different coefficient, L(R), in front of the spatial part because now, as you can see, it multiplies *all* of the spatial metric, instead of just the radial part. So the area of a sphere at R is

$$A = 4 \pi R^{2} L$$

What does the function L(R) look like? We can stipulate without loss of generality that it must go to 1 at infinity, so that R and r become the same there. We also expect L to get larger as we go deeper into region EV, closer to the outer surface of region NV. But what about in regions NV and IV? I'm still working on that, so I'll follow up with another post.

Blog Entries: 9
Recognitions:
Gold Member
 Quote by Q-reeus No. I think the assessment in #8 settles it nicely. In the #1 scenario, pressure is piddling - the matter is with the effect of matter. If you want, I can pin it down to the shell = a standard 'toy globe' sitting on a typical professor of GR's shelf. Work out the relative contributions there!
Actually, since I posted the assessment in #8, I owe you a mea culpa, Q-reeus; after thinking this over and thinking about DaleSpam's comment, I think my assessment in #8 was incorrect, because I was comparing apples and oranges. The Earth is not a hollow sphere made of steel. The case you just gave in the above quote is a much better test case, and as we'll see, it does *not* support the claim that pressure is negligible.

I did say in #8 that the key factor is not whether pressure is small compared to energy density, but whether the ratio of pressure to energy density is small compared to the "correction factor" in the metric coefficients. So let's estimate those numbers for a "toy globe". Let's suppose our "toy globe" is a spherical shell made of steel; its total radius is 1 meter, and the shell is 0.1 meter thick (with a hollow interior). We'll assume that the stress components inside the shell are of the same order as atmospheric pressure, or about 10^5 pascals. (They may actually be somewhat larger, but we'll use the lower bound since that will make the pressure/energy density ratio as small as possible.) The mass density of steel is about 8000 kg/m^3.

Energy density of the shell = 8000 kg/m^3 x c^2 = 7 x 10^19 J/m^3

Ratio of pressure to energy density = about 10^-15

Volume of the shell = 4/3 pi x (1^3 - 0.9^3) = about 1 m^3 (how convenient!).

Mass of the shell = 8000 kg

Correction to metric coefficient at shell surface = 2GM / c^2 r
= (2 x 6.67 x 10^-11 x 8000) / (9 x 10^16 x 1) = about 10^-23

So I was wrong in post #8; for a typical object made of ordinary materials, the pressure is *not* negligible; the pressure/energy density ratio is many orders of magnitude *larger* than the correction to the metric coefficients for the object. So there is plenty of "room" for the spatial parts of the stress-energy tensor inside the object to "correct" the metric to flat from the outside to the inside of the shell. I should note, though, that even the above computation is not really "correct", in that I haven't actually tried to compute any components of the field equation; I've just done a quick order of magnitude estimate of the same quantities I estimated in post #8, to show that the relationship I talked about there doesn't hold for an ordinary object.