Naked Science Forum

Non Life Sciences => Physics, Astronomy & Cosmology => Topic started by: Eternal Student on 13/10/2023 16:23:45

Title: Which bit of the Shell theorem is not working?
Post by: Eternal Student on 13/10/2023 16:23:45
Hi.

    I'll assume you're familiar with the Shell theorem.    https://en.wikipedia.org/wiki/Shell_theorem

    Now supppose you're considering a simple model of star formation in the early universe.   We'll have a perfectly uniform distribution of Hydrogen gas spread out over space  AND  we'll also assume that space is infinite.   [NOTE:  It is not necessary or guaranteed that the universe is or was infinite,  that doesn't matter, for this hypothetical situation we are having an infinite space].    For a star to form, some hydrogen has to clump together under gravity and form an overdense region of Hydgrogen.

     We can choose to put an origin somewhere and draw a sphere of radius r around that.   Now, consider a particle of Hydrogen on the boundary (surface) of that sphere.   By the shell theorem, we can see that the Hydrogen particle is attracted to the origin by gravity.  We also see that we can ignore the attraction to anything outside that sphere of radius r.   Why?   We can draw hollow shells of radius R > r and the shell theorem tells us that since the Hydrogen particle is inside those spheres, it expereinces no net force due to those larger shells.   All of space is just a collection of hollow spheres of radius R > r    plus the solid sphere of radius r,   so we have considered all of space.     So there is just a net force toward the origin and we can even calculate this if we wish.        F =   GMm / r2       with m = Hydrogen particle mass,     M is the Mass contained in the sphere of radius r, so M = 4/3.ρ.π.r3   for some density ρ which we assume to be uniform across space atleast until some movement of Hydrogen particles to one place does start to happen.

   Now, of course, the puzzling thing is that we chose to put the origin somewhere and we could just as easily have put the origin somewhere else.   Measure the distance from the new origin to the same Hydrogen particle, that is your new value of little r you will use.  We could repeat the argument with the shell theorem (the particle is on the surface of a sphere of radius new r from the new origin etc.)  We obtain the resut that the same Hydrogen particle is no longer being pulled toward the old origin, it is only being pulled toward the new origin location we have now selected.
    Obviously, the Hydrogen particle cannot have a net force in TWO different directions.   It can't be accelerated  ---> that way and also   <---- that way  and also   /  this way,   \ this way  and every other way you can imagine.

    Which thing went wrong?   Which bit of the shell theorem broke down and why?

Best Wishes.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Bored chemist on 13/10/2023 16:27:28
Which bit of the shell theorem broke down and why?
The assumption of homogeneity
Because stuff is made of atoms and molecules.
Title: Re: Which bit of the Shell theorem is not working?
Post by: alancalverd on 13/10/2023 16:50:51
BC beat me to it by 30 minutes (I was asleep in the garden).
Title: Re: Which bit of the Shell theorem is not working?
Post by: Halc on 13/10/2023 16:52:23
I disagree with the prior answers. The space is homogeneous for the purpose of this connundrum. Going down to the particle level is never part of the shell theorem, which technically fails since no collection of discreet masses can be spherically symmetric.

We'll have a perfectly uniform distribution of Hydrogen gas spread out over space  AND  we'll also assume that space is infinite.[NOTE:  It is not necessary or guaranteed that the universe is or was infinite,  that doesn't matter, for this hypothetical situation we are having an infinite space].    For a star to form, some hydrogen has to clump together under gravity and form an overdense region of Hydgrogen.
Which kind of departs from your premise of a perfectly uniform distribution. Yes, anomalies form early on and escalate into more dense regions. It is a stretch to suppose that they are spherically symmetrical anomolies.

Quote
We can choose to put an origin somewhere and draw a sphere of radius r around that.   Now, consider a particle of Hydrogen on the boundary (surface) of that sphere.   By the shell theorem, we can see that the Hydrogen particle is attracted to the origin by gravity.
Sure, but it is alto attracted in all other directions equally since there is a similar sphere at which it is on the edge, in any direction. The particle doesn't accelerate since the net force is zero. Your application of the theorem is obviously invalid, and your logic stands up, so the theorem cannot apply to an unbounded uniform distribution of mass since it doesn't satisfy the definition of a spherical distribution.
It is the selection of the origin that is the invalid step. That origin needs to be put at the center of mass of the universe, and an infinite universe doesn't have one.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Bored chemist on 13/10/2023 17:09:53
Now, consider a particle of Hydrogen
The space is homogeneous for the purpose of this connundrum
Pick one.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Halc on 13/10/2023 17:33:37
Now, consider a particle of Hydrogen
The space is homogeneous for the purpose of this connundrum
Pick one.
The particle is the test mass being attracted to the homogeneous everything-else by a net force of zero. It doesn't even need a specific mass since it is the coordinate acceleration at its location that we're after, the gradient of the gravitational field there.
Title: Re: Which bit of the Shell theorem is not working?
Post by: alancalverd on 13/10/2023 17:40:42
But by definition is isn't locally homgeneous. All the particles are moving at random, so the particle density at any point will vary over time from less than the mean to more than the mean, and if Dloc > Dmean you can get gravitational agglomeration.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Eternal Student on 13/10/2023 17:56:03
Hi.

   Yes, you could try and explain why a real world situation wouldn't be like the situation in the model.
   We could counter those arguments by suggesting we have photons instead of Hydrogen particles.   So, wind the universe back a bit further, there is just infinite space and a uniform density of e-m radiation in it.   Now photons don't occupy a definite location or have particulate properties exactly like Hydrogen would.   However, they do have energy and so they do gravitate (act as a source of gravity).
     It's a bit debateable in that we would need GR to determine this gravity and it may not be that we obtain something like the  1/r2  we have for Newtonian gravity.   We do need a 1/r2 relationship for the shell theorem to hold.
      None-the-less, I'm just going to hold my ground.   This is a hypothetical situation, we assume that there is something that is adequately described by a uniform density through space, ρ, it is not necessarily particulate so that we can only have  "some here, none next to it, some here here etc."  - there is precisely   ρdV   of it  in any volume element dV.   None-the-less a volume  dV  of it will be assumed to experience a change of momentum and move as directed by Newton  with mass, m = ρdV.   (Just to get ahead and address some of the issues raised later..... the distribution may not continue to be uniform at some later time > initial time, i.e. if some clumping of the Hydrogen does happen.   We only need to consider the initial action on a test particle given the assumed uniform initial distribution of mass across an infinite space.    After all, if there is no initial attraction of the particle to one place, then the situation does not change at  initial time + δt.   Even if you want to assign every particle some random initial velocity, there's no force on any particle at initial time, so it's velocity does not change and the density remains uniform if particles do move randomly..... So  the picture at time = initial time + δt is identical to the picture at  time = initial time).
   
The space is homogeneous for the purpose of this connundrum.
    Thank you @Halc  ,  that is the essence of it.   This is a hypothetical situation and there is no need to tarnish it by suggesting the real world isn't as perfect as the model.

I'm still reading the later replies but need some time to do some things.

Best Wishes.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Halc on 13/10/2023 19:00:23
Yes, you could try and explain why a real world situation wouldn't be like the situation in the model.
Well, at some point you have to explain how matter started to clump rather than remain perfectly homogeneous. For that, you have to go back to the earliest epochs (long before there were protons and such) when there was fantastic energy density, and then apply quantum fluctuations to the situation. Lacking a unified field theory, this is all still pretty speculative. One also has to go about explaining the annoying matter/antimatter imbalance.

Quote
We do need a 1/r2 relationship for the shell theorem to hold.
that's right, and 1/r2 doesn't hold up for extreme cases (like near neutron stars and such). But the shell theorem is totally inapplicable here, and by the simplest symmetry, there should be zero net forces on anything except due to those local variances which come only out of quantum theory, so GR isn't going to be a huge help over just doing this the Newtonian way.

I'm not sure if this topic is about the applicability of the shell theorem to an infinite homogeneous mass distribution (answer: not applicable), or if it is about how matter started to clump (need a different model to guide us) early in the game.

Quote
We only need to consider the initial action on a test particle given the assumed uniform initial distribution of mass across an infinite space.
This suggests the former of the two.

Quote
Even if you want to assign every particle some random initial velocity, there's no force on any particle at initial time, so it's velocity does not change and the density remains uniform if particles do move randomly.
Except in an expanding metric, any initial velocity drops off almost instantly, so in pretty much no time, nothing has any velocity except due to local accelerations from local interactions. Kinetic energy is not conserved under non-inertial metrics, which includes expanding metrics.
So essentially, the entire universe is full of stationary 'stuff' (at least once 'stuff' starts to form). OK, radiation continues at light speed, but its energy similarly drops off really quickly, so a photon, if it manages to get anywhere in an opaque universe, will in short order increase its wavelength.

Quote
So the picture at time = initial time + δt is identical to the picture at  time = initial time).
Heck no. The density went way down over that time, but sans local fluctuations, the place is still nice and uniform energy density and there should be no net 'forces' acting on anything.

Quote
This is a hypothetical situation and there is no need to tarnish it by suggesting the real world isn't as perfect as the model.
Well, it is those imperfections that eventually brought about galaxies and such. Without them, the universe would be a permanent gray paste. That's why I asked if this topic was about the actual homogeneous case, or if it was about how the clumping starts.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Halc on 13/10/2023 19:41:50
Sorry for all the posts, but thought about this some more, and want to avoid stating things that sound unconditional.

We can choose to put an origin somewhere and draw a sphere of radius r around that.   Now, consider a particle of Hydrogen on the boundary (surface) of that sphere.   By the shell theorem, we can see that the Hydrogen particle is attracted to the origin by gravity.  We also see that we can ignore the attraction to anything outside that sphere of radius r.
Back to the OP argument, since one can 'frame' my rebuttal in a way that refutes my rebuttal.

I think that under Newtonian law, the sort of logic that you spelled out above is valid in an inertial (as opposed to expanding) frame, and that our test particle does indeed acceleration towards any arbitrary origin that you select. Hence, lacking any recession rate of that arbitrarily selected origin, all that homogeneous matter will collapse in due time.  This is barring wrenches in the works like dark energy which isn't compatible with Newton's theories anyway.

So how does switching from Newton to GR affect that? Well, the shell theorem certainly has trouble under GR. Under GR, there is no possibility of a uniform gravitational field, and yet the shell theorem can show that an off-center spherical hollow in an otherwise solid homogeneous spherical mass will (like an infinite sheet of mass) produce a uniform gravitational field. Since GR doesn't allow this, the shell theorem doesn't work in general, and only approximates a solution for low mass densities.

GR of course also doesn't allow a uniform distribution of mass in an inertial frame, so any treatment using such a frame is wrong right out of the gate.
Title: Re: Which bit of the Shell theorem is not working?
Post by: alancalverd on 13/10/2023 22:04:59
We'll have a perfectly uniform distribution of Hydrogen gas spread out over space  AND  we'll also assume that space is infinite.   [NOTE:  It is not necessary or guaranteed that the universe is or was infinite,  that doesn't matter, for this hypothetical situation we are having an infinite space].    For a star to form, some hydrogen has to clump together under gravity and form an overdense region of Hydgrogen.
Eppur si muove (Galileo)
Title: Re: Which bit of the Shell theorem is not working?
Post by: Eternal Student on 14/10/2023 00:44:17
Hi.

    There is a lot of new replies and it may be easier to take them in a different order to the time at which they appeared.

I'm not sure if this topic is about the applicability of the shell theorem to an infinite homogeneous mass distribution (answer: not applicable), or if it is about how matter started to clump (need a different model to guide us) early in the game.

    I was primarily thiking about the first thing:   The applicability of the shell theorem to an infinite expanse of space with a homogenous mass distribution.
    I have kept the second thing:   How or why matter clumped in the early universe in the background.   I've mentioned it just so that the problem isn't immediately classified as purely abstract or theoretical with no application.    Anyway, I've no objection to discussing the Cosmological issue and probably would have done so eventually.   However, you ( @Halc ) have probably already said enough on that.

   We seem to be in reasonable agreement about how the universe may have actually evolved and can dispense with @alancalverd 's statement   "epuur si muove".
    It is quite likely that there were always some density differences in the universe.   This could be as minor as quantum fluctations exactly as you stated.    Starting with just small density differences in different places and running simulations of gravity and Newtonian mechanics (N body simulations) we can get larger structures (like stars, solar systems, galaxies and, of course, voids in between those things) to form.   
    If the universe had been perfectly smooth or homogeneous at some early time, then it seems / is conjectured that Astronomical structures of the type we know would never have formed.

   Anyway, that's the current Cosmological ideas.   That's why it seemed worth taking a moment to really ask why an infinite expanse of homogenous material wouldn't start to form over-dense regions somewhere.   Hence the OP.

      What's under this spoiler is just another statement of the OP, you can skip it.  I know this post is too long.
Spoiler: show
   Suppose we have an infinite space with an initially uniform density of material, ρ, everywhere.   Consider a test particle located somewhere in that space,  at position  x  .   What force would that test particle experience?

   We can answer that by using symmetry:    There can't be a net force in direction  --->   because there is nothing special or different about the direction  --->  rather than any other direction.   So there must be 0 net force, that's the only way you can have it.   That obtains the usual or expected outcome then,  a bit of Hydrogen in this space is never pulled anywhere and no clumping at a point should ever happen.   If the Hydrogen was at rest initially  (which as you correctly point out for an expanding universe is actually a very reasonable assumption as the scale factor increases) then it just sits there and stays at rest for ever more.
    However, applying the shell theorem (as it was done in the OP) can get a different answer.   The Hydrogen can be shown to have a net force in the direction of the origin.   The origin can also be wherever you want.   This is seemingly a bit of a contradiction, so you've got to ask -   what bit of the shell theorem, or assumption went wrong?


    Now I can address some of the earlier points you ( @Halc ) raised about the Shell theorem.....

You can also skip this spoiler.
Spoiler: show

 
Sure, but it is alto attracted in all other directions equally since there is a similar sphere at which it is on the edge, in any direction. The particle doesn't accelerate since the net force is zero.
    You seem to agree that the shell theorem would show a non-zero net force exists in some direction.   You also seem to agree that direction is arbitrary.    The last sentence doesn't need to follow though.     You don't apply the Shell theorem with all possible origins and then sum all predicted net forces to obtain the actual real and very final net force.    You just apply the shell theorem once and provided you have included all of space (and hence all matter) in the outer shell(s), then you are done, you have the final net force on the test particle.    So the conclusion is not that there is no net force, it's that there is a net force but it seems to be in any arbitrary direction.   Worse that that, even it's magnitude is arbitrary  (just move the origin further away but in the same direction,   the inner sphere grows ~ r3 in volume and hence in mass,  while the gravitational force from it falls off only as ~1/r2,   making the total force vary ~ r  = the distance from our test particle to the origin).


   You (Halc) sometimes make arguments that the space isn't suitably spherically symmetric....
...the theorem cannot apply to an unbounded uniform distribution of mass since it doesn't satisfy the definition of a spherical distribution.
     For an infinite space with uniform density everything is spherically symmetric about every point in that space.
Pick a point in the space and consider what exists at some distance L from it and at an angle  θ.    Now compare that with what exists at the same distance L but in the direction at an angle Φ.    All that exists in the space is the stuff we have stipulated will have a constant density, ρ, everywhere.   There are no points in space where a lack of spherical symmetry is exhibited.

    The only part I can't dismiss is that the shell theorem may not apply to a shell that is unbounded.   However, it is used in Astronomy often and assumed to apply across (all of) space which isn't precluded from being unbounded.   Example, trajectories of stars in a galaxy can be estimated by considering only that mass which is in a spherical region interior to that star etc.

   Anyway, just to be clear, what you're suggesting is the following:
A particle in the interior of a shell experiences no force due to gravity from the material of that shell.   That holds for shells of some finite thickness (assuming the usual things like spherical symmetry).   However, when that shell is so thick that it's of unbounded extent, the result may not hold, the particle might experience a force.

    I've not seen any statement of the shell theorem that specifically limits you to an outer shell of finite size.   Just to check, let's derive the Shell theorem from first principles (the quick way) and check that we really didn't care about how thick the outer shell may be.
    We'll take Gauss' law as our starting point because that's quicker than going with Newton's original formulation of gravity.
    {Recall that LaTeX is not working, sorry}    So just assume I've done something similar to this Wikipedia section:
https://en.wikipedia.org/wiki/Shell_theorem#Derivation_using_Gauss's_law
    Notice that the only assumption we required was that the mass distribution is spherically symmetric about the centre of our inner sphere of radius r.    The thickness of the outer shell was irrelevant because that mass was never enclosed by our surface and never contributed any net flux in the flux integral over that surface.  We never needed to know anything about the outer shell material, it wasn't (for example) assumed to have density -->0 as  the radius ---> infinity or something like that.   All we needed is that the assumption of spherical symmetry is satisfied so that we could make the argument that  g ,  the gravitational field at the surface of the inner sphere, couldn't have been to the left or right, it had to be radially orientated  and also due to this symmetry it's magnitude depends only on r = |r|  and not on the angle θ.

Obviously this is too long and I'm signing off.

Best Wishes.
Title: Re: Which bit of the Shell theorem is not working?
Post by: alancalverd on 14/10/2023 07:44:46
This seems to come down to the question of whether an infinite homogeneous medium can be considered spherically symmetric. Not "from the inside" because of course there is no "outside" if it is infinite.

Rather than wander off into the barren land of philosophy, we can say that anywhere close to our origin is indeed spherically symmetric because it is homogeneous, and anywhere further away becomes increasingly less significant as we increase r, so as r → ∞  the effect of regions > r cannot become less symmetric. 
Title: Re: Which bit of the Shell theorem is not working?
Post by: Eternal Student on 14/10/2023 20:21:21
Hi.

    I've just been Google-ing for more answers.

   Much the same question was asked here:

https://physics.stackexchange.com/questions/490829/ambiguity-in-applying-newtons-shell-theorem-in-an-infinite-homogeneous-universe

On the positive side, the original post in that website has identified much the same issues.  It has a nice diagram and the basic situation is described clearly.

On the negative side,  I don't especially agree with the highest ranked answer.   Their response pivots around the inability to identify a unique gravitational potential function, Φ, in such a space.    However, it seems possible to derive the shell theorem using the form of Gauss's law for gravitation which never involved defining or worrying about whether a gravitational potential function exists or would be unique  (see earlier post here, which linked to a Wikipedia proof).
   Briefly,  where a potential function Φ(x) exists then we have   g (x) =  ∇Φ    but there is no reason why a well defined gravitational field g can't exist throughout space even if a suitable potential function Φ could not be found.    Gauss' law is not    ρ =  -∇2 Φ   as stated in the stack-exchange reply.     Gauss' law is  (well I don't have the ability to use LaTeX for mathematical notation) - the statement that a flux integral involving only g is equal to a volume integral of the mass density enclosed   (or the differential form of that if you prefer).   Where you do have a suitable potential function it's trivial to show that the stack exchange version of Gauss' law is equivalent to the version I have stated.   However, defining or constructing a potential function is a side-route that you do not need to take, there is no demand for a well defined potential function to exist, Gauss' law as stated (a volume integral = a flux integral) never required it.
    The other answers vary in quality and relevance.   There is one about some history and how major figures like Newton may also have noticed this problem that the shell theorem produces in this situation.

Best Wishes.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Halc on 14/10/2023 21:47:53
Obviously this is too long
I tend to do that as well, but I'll try to break up my reply, which is slow in coming since I've been kinda busy.

Dealing with your first spoiler:
Quote
Suppose we have an infinite space with an initially uniform density of material, ρ, everywhere.   Consider a test particle located somewhere in that space,  at position  x  .   What force would that test particle experience?
First of all, the sorts of forces you describe cannot be 'experienced', which is why an accelerometer reads zero despite its coordinate acceleration in orbit, and it is very much coordinate acceleration you're after here, not proper, which happens due to something usually contacting you on one side and deforming you. So the acceleration of the particle seems coordinate system dependent, thus the question of if it is really accelerating towards that arbitrary CoM you defined, or the stuff at that origin is accelerating towards the particle, is an abstract question, not a physical one.

Also, in your initial homogeneous state, is everything stationary in some inertial frame, or is it expanding?

Quote
If the Hydrogen was at rest initially  (which as you correctly point out for an expanding universe is actually a very reasonable assumption as the scale factor increases) then it just sits there and stays at rest for ever more.
Well, it's a hot universe at first under great pressure, meaning particles are not stationary, and they do experience force as they bump into each other. It should all cancel out, but not perfectly, and the anomalies, especially early on in such close quarters, introduce variations in local mass density, which, via gravity, tends to amplify the variations as gravity wells begin to form. In short, the homogeneous state is in sort of an unstable equilibrium.

Quote
However, applying the shell theorem (as it was done in the OP) can get a different answer.   The Hydrogen can be shown to have a net force in the direction of the origin.
That's a coordinate effect, as stated above. Coordinate acceleration is coordinate system dependent, and can be zero in some, such as the coordinate system putting the origin at the particle in question.  Yes, stuff will be attracted to each other. The expansion (if there is any) should slow measurably. If all is stationary, I think collapse occurs, even in Newtonian physics.

Keep in mind me not being an authority on this and I, like you, and just trying to world this out.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Halc on 14/10/2023 22:13:25
Dealing with 2nd spoiler:
Sure, but it is alto attracted in all other directions equally since there is a similar sphere at which it is on the edge, in any direction. The particle doesn't accelerate since the net force is zero.
More and more, I think my reply there doesn't hold water. I'm willing to say it is spherically symmetric. The inability to find a center of mass, or to identify a gravitational gradient (not a frame dependent thing) seems a better way to disqualify the applicability of the shell theorem in this Newtonian analysis. The particle doesn't accelerate since there's no downhill (a region of lower potential) available to it.
That said, the stuff does attract its neighbors and if initially all stationary, I think the density goes up over time. That very much does lower the gravitational potential, so everything (and not just some preferred thing) is going down hill.

You seem to agree that the shell theorem would show a non-zero net force exists in some direction.   You also seem to agree that direction is arbitrary.    The last sentence doesn't need to follow though.     You don't apply the Shell theorem with all possible origins and then sum all predicted net forces to obtain the actual real and very final net force.
Selecting an origin is a coordinate thing. You can't select more than one at a time, so adding up the forces from different frames doesn't work.

Quote
Worse that that, even it's magnitude is arbitrary  (just move the origin further away but in the same direction,   the inner sphere grows ~ r3 in volume and hence in mass,  while the gravitational force from it falls off only as ~1/r2,   making the total force vary ~ r  = the distance from our test particle to the origin).
Just so, which is why distant star are receding (and have greater acceleration) than the nearby ones.

Quote
You sometimes make arguments that the space isn't suitably spherically symmetric
I'm backing away from that.
Quote
All that exists in the space is the stuff we have stipulated will have a constant density, ρ, everywhere.   There are no points in space where a lack of spherical symmetry is exhibited.
Backing away because that's a pretty good counter to my comment.

I can similarly use the shell theorem to demonstrate that all clocks are infinitely dilated, and thus effectively stopped relative to 'the rate at which time actually goes', like that phrase means anything. I've brought that argument up elsewhere, and was punted out the door with a reply about Killing fields that I didn't understand. Takeaway is that I need to know GR better before asking questions like that.  ;D

Quote
Example, trajectories of stars in a galaxy can be estimated by considering only that mass which is in a spherical region interior to that star etc.
This is incorrect since a galaxy isn't spherically symmetric. With a disk, a particle is attracted to rings of material outside its radius as well as the material inside. So it all needs to be considered. Kudos to the guys that work out where all the mass needs to be to get the velocity curves we see. It's a lot of calculus to do.

Quote
Anyway, just to be clear, what you're suggesting is the following:
A particle in the interior of a shell experiences no force due to gravity from the material of that shell.   That holds for shells of some finite thickness (assuming the usual things like spherical symmetry).   However, when that shell is so thick that it's of unbounded extent, the result may not hold, the particle might experience a force.
I cannot say I suggest this, at least not anymore. Like I said, there are reason the shell theorem doesn't apply, but this logic seems faulty.
Yes, our particle is attracted to an arbitrary 'origin' placed anywhere you like. That doesn't imply an objective force in a direction, only a coordinate frame dependent force. And as you've worked out, the greater the distance to the selected origin, the greater the coordinate acceleration towards it.

Hope this helps. Great topic, since it's rare to get one that gets me thinking.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Halc on 14/10/2023 22:22:28
Much the same question was asked [on stack exchange]
Cheat! The fun was in working it out ourselves.

Still, time to do that I guess. I have great respect for stack exchange in such matters.

Quote
n the negative side,  I don't especially agree with the highest ranked answer.   Their response pivots around the inability to identify a unique gravitational potential function, Φ, in such a space.
That sounds really strong to me. Gravitational potential is not frame dependent, and thus seems to be flat everywhere in this universe, hence no vector (direction) to any physical force.
The stack exchange question is even posed in the framework of Newtonian physics.

I'm taking more time to grok the rest about Gauss' law and all.

Quote
The other answers vary in quality and relevance.   There is one about some history and how major figures like Newton may also have noticed this problem that the shell theorem produces in this situation.
That would be quite relevant to this discussion, especially given the way the question was framed.
Title: Re: Which bit of the Shell theorem is not working?
Post by: alancalverd on 15/10/2023 11:19:35
there is no reason why a well defined gravitational field g can't exist throughout space

There is no reason why fairies should not exist, but in the absence of the Mother of All Fairies, they can't. And in the absence of a density gradient, you can't have a gravitational field because there is nowhere for the vectors to go.

∇anything is meaningless, ergo no field, in an infinite homogeneous medium.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Eternal Student on 16/10/2023 01:12:41
Hi.

There is no reason why fairies should not exist,..... (etc.)....

    I'm fairly sure that Newton imagined gravity as a force that a unit mass experiences when it is put somewhere.    So to put that into modern terminology, he would assume the existance of a vector field, g(x) that exists throughout space.
    There can be vector fields for which no potential function exists.   We had a discussion (maybe 6 months+ ago) about some fluid flows in fluid dynamics.   There you can have a perfectly well defined vector field for the flow but it just turns out that the flow is rotational (has non-zero curl) which you could describe another way - you can say the field is non-conservative.    Specifically, there is no scalar field you could find such that the flow would be the gradient of that potential.
    I don't recall Newton ever saying that gravity was the gradient of a potential.   It is just the force that a unit mass would experience when it is put somewhere.   Don't get me wrong, in typical situations there will be a potential you can identify but we've got to try and go from the most elementary definitions of gravity.   It is a force on a unit mass not a gradient in some potential.

   Unlike fairies, we can write down a perfectly well defined vector field throughout space which has non-zero curl.  The vector field for what is called forced vortex flow is one such example.   That would give you a vector defined everywhere (and uniquely, there is one vector at any one point), which could describe a force that a unit mass experiences at that point.   However, since it has non-zero curl, there would be no potential function you could associate with it. 

 - - - - - - - - - - - - - - - - -

The good news    (It's fairly good news for me and at least non-harmfull to everyone else).
     I think I've think I've found something that I'm prepared to accept as being where the Shell theorem breaks down.
I still think the proof of the shell theorem outlined in post #11 is solid.   Starting from Gauss' law for gravity you get the shell theorem and you don't need to know anything about a scalar potential or most other things.   So the problem ( I think) is before that - just getting to Gauss' law.
    There still isn't any LaTeX so we're not having any mathematical notation.  So all I can do is point to some webpage.    Anyway, let us assume that Newton described gravity with    F =  GMm/r2    and   not that Gauss' law is the description for gravity.    So we need to get Gauss' law for gravity from Newton's law.
    This section in Wikipedia presents an outline proof for this:    https://en.wikipedia.org/wiki/Gauss%27s_law_for_gravity#Deriving_Gauss's_law_from_Newton's_law
      Note that near the top of their boxed section they express  g   as a volume integral.    The integrand has size that varies  ~ 1/r2    and that is not sufficient to ensure a volume integral over an inifinite volume would converge.   1/r3 would do it,  1/r2 will not.    So that integral only converges when the density term ρ(r) can keep the integrand under control  (e.g.  if   ρ --> 0   like  1/r,  that would be just fine).
     In our situation, we have a constant density and hence the gravitational field g is undefined by this method.   The rest of the proof is then basically worthless,  you can't (for example) do the next line and find the divergence of an undefined thing.     Overall you just do not have the ability to assume Gauss' law for gravity would hold in this infinite homogeneous space.
    There are a few other methods for obtaining Gauss' law from Newton's law but the few I've glanced all run into problems.

    Anyway, that would mean that the paraphrased version of  @Halc 's comments that first appeared in  post#11 may be correct.

   Anyway, just to be clear, what you're suggesting is the following:
A particle in the interior of a shell experiences no force due to gravity from the material of that shell.   That holds for shells of some finite thickness (assuming the usual things like spherical symmetry).   However, when that shell is so thick that it's of unbounded extent, the result may not hold.

Best Wishes.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Petrochemicals on 16/10/2023 07:06:41
Has my post been deleted, and Paul's?

Being as you have reached a solution, if you could clarify a bit about she'll theory. If an object within a shell has no gravitational  effect on any object within it, surely that is from the point of view of the outside Observer? One would assume that the shell would indeed have gravitational attraction, if the she'll where 100, 000km thick and 10 million in diameter?
Title: Re: Which bit of the Shell theorem is not working?
Post by: Eternal Student on 16/10/2023 07:30:37
Hi again,
That   (how Newton considered the problem) would be quite relevant to this discussion, especially given the way the question was framed.

   If you are interested here's some details:

    The University of Pittsburgh seem to have taken a copy of an article writen by John Norton.   I was going to assume that website is safe enough.   This does seem to have all the people that were mentioned by the Historian on the Stack Exchange site.
https://sites.pitt.edu/~jdnorton/papers/cosmological-woes-HGR4.pdf

    I've only spent 20 minutes glancing over it so far - but it has been interesting reading.

1.   It does relate to the issues discussed in this forum post.   The Newtonian cosmological model under consideration is precisely that of an infinite space with a uniform mass distribution.

2.    The first person credited with challenging Newton's laws on this issue  is Seeliger   circa. 1895.   Issac Newton was dead by then, of course.   It seems that others had noticed the problem before then and had directly challenged Newton but the response from Newton is somewhat dissapointing (see later).

3.    There are some very easy to understand methods of showing that Newton's statements about gravity will not be useable in this sort of space.    Their page numbers are 272 ~ 274.    The author divides a sphere up in such a nice way that they can reduce everything to just an infinite sum       A - A + A - A + A - .... (an infinite alternating sum of +/- a finite number A).    As I'm sure you know, such a sum is non convergent, you can re-arrange the order in which you add and subtract the terms to end up with anything     (infinity, non-zero but finite, zero ... whatever you want).    Seeliger was extremely thorough and apparently spent many pages challenging Newton's law of gravity in this sort of universe   For example, he also demonstrated that Newton's formulation of gravity would put undefined or infinite tidal forces on every part of space.    It was only this level of rigour that was thought to have finally made it impossible for the pro-Newton camp to continue ignoring the problem any longer.

4.   The most immediate obstacle to Newton's laws for gravity is the very notion that the force of gravity on an object could or should be the resultant sum of forces from all masses in the universe.    In an infinite space with uniform mass distribution, that sum does not converge.   

5.   So what was Newton's own response when these sorts of problems were brought to his attenntion while he was alive?    It seems that for the most part, he just denied that the problem(s) existed.    There are a few letters between  Newton and Bentley (a bishop who was interested in Cosmology and how consistent with Christianity it might be) and in those letters there seems to be some recognition of problems handling infinities.   By and large it was considered as a mathematical oddity and not something that should really need to influence the physics (or Christianity for that matter).   Newton was a sufficiently recognised force that when he denied the problem existed, the problem just did not exist.

Best Wishes.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Eternal Student on 16/10/2023 07:58:30
Hi.

Has my post been deleted, and Paul's?
   I don't know.

If an object within a shell has no gravitational  effect on any object within it, surely that is from the point of view of the outside Observer? One would assume that the shell would indeed have gravitational attraction, if the she'll where 100, 000km thick and 10 million in diameter?
    There may be some minor errors in the English in that question.   I think I know what you're asking.
Wikipedia gives a short definition or explanation of the shell theorem:

1.         A spherically symmetric body affects external objects gravitationally as though all of its mass were concentrated at a point at its center.

2.   If the body is a spherically symmetric shell (i.e., a hollow ball), no net gravitational force is exerted by the shell on any object inside, regardless of the object's location within the shell.

 - - - - - - - - - -

   So the shell is made of some material and that material does gravitate - it attracts other stuff to it.    When you're outside that shell it behaves exactly as you would expect .   You would have a force of attraction identical to the force of attraction you would have if you imagine all of the shell was just squahed down into one really small ball and placed at the centre position of that shell.
    It's only when you're inside the hollow shell where it may seem you get an unexpected result.   You are still attracted to each part of that shell.   If you happen to be at the centre of the shell then you are equally attracted in all directions and there is no net force, as you may expect.    However, even when you move away from that centre and toward one piece of the shell,  you still feel no net force of attraction in any direction.   Provided you stay inside the shell, you find no net force acts on you.
    There are many articles and YT videos that provide explanation in varying levels of detail and sophistication.   The simplest explanation is merely suggestive or hand-wavy:     When you move toward one piece of the shell,   the distance between you and that piece decreases,   so by Newton's law the force of attraction to that piece (the bit infront of you) should increase.   That does happen.   However,   since you have moved off-centre, there is now a bit more of the shell behind you rather than infront of you.   That tends to increase the attraction to the direction behind you.   It just so happens that both things happen in the right proportion and the net (or total) force stays at 0.
      The acceleration can be determined in various ways,  you could use any inertial reference frame you want   OR   you can just identify that acceleration more directly by giving the person insde the shell an accellerometer.    To get the right result with an accelerometer in the real world you'd need a really, really big shell and a person who is actually floating in outer space so that they weren't experincing any forces other than the gravitational attraction of the shell.

Best Wishes.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Petrochemicals on 16/10/2023 08:53:24
I see, so it is gravitational potential within the shell, the "net gravitational force?? The spherically symmetrical shell being uniform in density.
Title: Re: Which bit of the Shell theorem is not working?
Post by: alancalverd on 16/10/2023 09:02:09
I don't recall Newton ever saying that gravity was the gradient of a potential.   It is just the force that a unit mass would experience when it is put somewhere.
No. It is (and always has been) an attractive force between masses. The vector has magnitude GMm/r2 and direction toward the barycenter of the masses. In the absence of a barycenter it has no direction.

If you insert an arbitrary point mass in an infinite homogeneous medium, the barycenter is the point mass itself! 
Title: Re: Which bit of the Shell theorem is not working?
Post by: Halc on 16/10/2023 15:41:39
I don't recall Newton ever saying that gravity was the gradient of a potential.
Being mostly unfamiliar with what Newton actually says, I cannot contest that. Can you think of a case (with finite mass) where it isn't so? I mean, with infinite mass, potential is pretty much undefined at all. There are perhaps relative differences in potential, but no meaningful displacement from 'zero'.

Quote
It is just the force that a unit mass would experience when it is put somewhere.
Force per unit mass is acceleration, so it would be an acceleration field.

   Anyway, just to be clear, what you're suggesting is the following:
A particle in the interior of a shell experiences no force due to gravity from the material of that shell.   That holds for shells of some finite thickness (assuming the usual things like spherical symmetry).   However, when that shell is so thick that it's of unbounded extent, the result may not hold.
Didn't see this before, but it makes sense. Using the bad rubber sheet analogy, an infinite sheet covered with a unform layer of marbles is in unstable equilibrium. Take one marble away (the equivalent of our hollow infinite-thick shell), then all the marbles near the vacancy move away from it, being 'repelled' by gravity as it were. This is seen in cosmology: there is the Dipole repeller and the lesser know Cold Spot repeller ,both regios of low mass density from which all nearby objects accelerate away. This acceleration from a hole presumably counters the acceleration towards the CoM of the arbitrary sphere you defined in the OP.
The acceleration from the hole is real, seen in action, and is a good illustration of one's inability to treat the rest of uniform mass space using the shell theorem.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Eternal Student on 16/10/2023 16:11:54
Hi.

yes @alancalverd I can see what you're saying in the first part.
The second part is just optimism or blind faith where the mathematics fails.
If you insert an arbitrary point mass in an infinite homogeneous medium, the barycenter is the point mass itself!
    The Barycentre is the position R   so that  the  product   MR     =      the sum ∑miri.

The R.H.S.  is a non-convergent sum.   The L.H.S. is an undefined product since M = the sum of masses = ∑mi is also a non-convergent sum.

Best Wishes.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Petrochemicals on 16/10/2023 16:14:15
Another thought, if by a homogenous shell gravity is nil and void within it, does this give rise to ponderances of gravitational control and even anti gravittational understanding? If by some thought one could equate the exterior of the earth to  a sphere interior through some mechanism or device should I float at my level?
Title: Re: Which bit of the Shell theorem is not working?
Post by: Halc on 16/10/2023 16:14:58
I see, so it is gravitational potential within the shell, the "net gravitational force?? The spherically symmetrical shell being uniform in density.
Force and potential are not the same thing, having different units. Inside the shell, the scalar potential is the same everywhere, but lower than it is outside the shell. The force vector inside the shell is zero, and greater than zero (pointing towards the shell) outside of it.


The [force] vector has magnitude GMm/r2 and direction toward the barycenter of the masses. In the absence of a barycenter it has no direction.
This only works for simple two-body systems. I can easily set up some orbiting masses where the acceleration of the test particle is away from the barycenter of the system, or in any other direction I like. The moon for instance (in say an otherwise empty Sun/Earth/moon system) rarely accelerates directly towards either Earth or Sun, and on occasion it accelerates directly away from Earth. If the moon was closer to Earth (as it was long ago), it would be capable of at some point accelerating away from the Barycenter of the system.
Title: Re: Which bit of the Shell theorem is not working?
Post by: alancalverd on 16/10/2023 18:27:17
Depends on how you define the system! There is always an earthwards vector component and a sunwards component acting on the moon. I suspect the sum points more or less (depending on the position of the other planets) towards the barycenter of the 3 bodies.

In a simple 2-body orbiting system the acceleration is always towards the barycenter, otherwise you wouldn't have an orbit.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Eternal Student on 16/10/2023 20:47:09
Hi.

Force per unit mass is acceleration, so it would be an acceleration field.
    Yes....   people do blur the distinction between force and acceleration.
The template or "poster boy" for a force field is the Electric field.    We understand that   E(at position x)  is the force per unit charge at position x and call that the field strength at x.

We take a similar approach with gravity.    "The charge" is now "the mass", so it's a bit unfortunate that the force per unit charge just turns out to be the force per unit mass which is an acceleration.   I suppose it's fortunate rather than unfortunate - you choose.

   As I'm sure you know, the entire concept of gravity as a force and therefore as something which exists as a field of force throughout space is a Newtonian (not GR) concept.

Can you think of a case (with finite mass) where it (gravity being the gradient of a potential function) isn't so?
     No, not without spreading the mass out so thinly that there is none of it in any finite volume.
     It's the spatial spread of the mass that is most of the problem in our example (an ininfite homegenous space).    You could imagine that you have a finite total mass of  100 Kg in the entire universe and just spread that out over an infinite space.  That gives you a density of  ?   0 ?   Not sensible or sensibly different from a universe which just had 0 mass in it, unless we put all the 100 Kg  in some finite radius,  say 100 Km of the origin and have all the rest of space empty. There are other distributions we could have (like density falling of as 1/r3) but no sensible way of having a uniform density throughout the infinite space with a total mass that would still be finite.

    I think it's actually easier to see why you always would obtain a suitable potential function (in sensible situations) and then just look at what goes wrong in unusual situations.   I'm also at risk of repeating much of what has been said before but just in different ways.  I don't think anyone wants to read pages of repetitious stuff and I've already had several goes at writing it and I can't do it in less than a page.   So we'll only outline the thing.
     You can find a potential function for just one mass    (it's    -GM/r,  see any textbook).     So you can find a suitable potential for two masses just by adding up two individual potentials.    ∇(A+B) = ∇A + ∇B    so the function which is the sum of the individual potentials will be suitable as the potential for the gravity arising from the two masses.   (This is simply because Newton did state the gravitational force on our test object is equal to the vector sum of the force caused by each individual mass,   the sum on the RHS  ∇A + ∇B  is precisely that vector sum and so the potential function A+B is precisely what you want, it's a function whose gradient is precisely that force).
   You can keep doing this (just adding up individual potentials), so in the general case, you can always identify a suitable potential function for any finite number of masses.    The fun stops when you have an infinite collection of masses.   You desperately want   ∇(infinite sum of functions) =   infinite sum of  ∇(each function) but you just don't have it.   Summing an infinite collection of terms is not something you can do but you can do something good enough and re-write the expression you wanted where you understand that each infinite sum was just shorthand for the limit of an infinite sum.    It turns out that the expression you want to hold, will hold provided those limits do actually exist. 
   So, you will have the relationship you want when the mass distribution through space falls off fast enough as you move away from the test particle.   So in those situations, all is good, you would always be able to find a suitable potential function.
    So the only examples where there may NOT be a potential function would have to be when the density does not fall fast enough.   In those situations the total mass in the universe ~   over space    ρ  d(Volume)   ---> ∞.
   So we will find no examples for you involving only finite mass in the universe  (or indeed only a finite number of masses), sorry.   Well, not just using Newtonian mechanics anyway.   Using GR the entire concept of gravitational potential energy is ill defined anyway but still of some interest to think about.

Best Wishes.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Eternal Student on 17/10/2023 00:18:02
Hi.

This is seen in cosmology: there is the Dipole repeller and the lesser know Cold Spot repeller...... (etc.)
    That bit will be on my mind for quite a while.    Yes, there are some stars (and things) in a region that is mostly like a hollow empty shell and they aren't doing as the hollow shell theorem would suggest, they seemingly are experiencing an acceleration.   Thanks for mentioning it, it's a nice concrete example where the criteria of the hollow shell theorem are almost met but the usual result is not.

- - - - - - - - -

Another thought ... does this give rise to ponderances of gravitational control and even anti gravittational understanding?
   Not usually while I'm awake.   You do already have some control over gravity, move two things apart and you have reduced the force of gravity between them.
   Indeed you can use the hollow shell theorem and planet earth in some fashion similar to that you asked about.   Drill a tunnel in toward the centre of the earth.   The further in you go, the lower the force of gravity will be on you.   If you could also scoop the centre bit of the earth out then you would have a nice little region where you can float about and  experience Zero-G.

Best Wishes.

Title: Re: Which bit of the Shell theorem is not working?
Post by: Halc on 18/10/2023 01:44:15
You can keep doing this (just adding up individual potentials), so in the general case, you can always identify a suitable potential function for any finite number of masses. 
I sort of did something like this when I wondered about gravitational potential being negative. How negative? I liked to measure potential in km. It can also be expressed as a speed.
Due to Earth, 6400 km at 1g, Maybe 100k km due to sun. Maybe 15 million km due to the galaxy. OK, so we expend enough energy to climb 15 billion meters at 1g, putting us in intergalactic space. Are we at zero yet?  Hell no. Now we start playing games.
Define a shell around us, a million light years thick, starting nearby and working outward. Each shell has mass in it contributing to the depth of our gravitational potential.
A shell nearby contributes X (km). A shell of similar thickness, twice as far away (so 4x the area) masses 4x as much, but being twice as far away, contributes only 2x the potential of the nearby shell. In other words, the amount each shell contributes to our gravitational depth goes up in proportion to the distance, so more distant galaxies contribute more than do the nearby ones because there's so many more of them. So the depth here is -X -2X -3X -4X ... which certainly doesn't converge on any number. Even if they were all just -1X it would still put us at unbounded depth.

The exercise is apparently invalid, but it is also utterly meaningless to suggest express our potential in absolute terms where zero is potential at the place that is infinitely far away from any mass, and clocks there run at full speed. If time is something that flows, the actual time (undilated by gravity) runs infinitely faster than does what any physical clock measures (all presuming that clocks measure the flow of time, which of course they don't).
The absurdity of trying to express this is one of my pieces of evidence against models with flowing time.
Title: Re: Which bit of the Shell theorem is not working?
Post by: Eternal Student on 19/10/2023 21:46:06
Hi.

   Yes I can see what you're saying @Halc .
I'm deeply sympathetic.   I don't suppose that will help.

Let's try and be a bit more useful.    You seem to be trying to do the impossible, so don't.
You discuss time dilation and gravitational potential.   Most of the results we have for that would tend to come from using the Schwarzschild metric in GR.    Around a massive spherical body, the Schwarzschild metric is a fair approximation of what you have and how spacetime behaves.    For that solution of the EFE (Einstein Field equations), the co-ordinate time is exactly as you have stated.   It is the rate at which clocks progress when you are infinitely far from the mass.
    After that you are generalising the result and imagining that time would always run more slowly in a region of lower potential than some other region you are comparing against.   It might, it does seem reasonable but we do not have the Schwarzschild solution applying across all of space.   We know the universe is not a vacuum around one spherical mass.

   Indeed there is a completely different metric that is often used when discussing the Universe,  the Robertson-Walker metric.    That is obtained as a solution to the EFE under a very different set of assumptions.   In particular the universe is not a vacuum, it's actually too much unlike any vacuum.  Nowhere is less dense than anywhere else,  the universe is filled homogeneously with whatever cosmological fluids you have chosen to have (matter, radiation, dark energy  etc.)    With the Robertson-Walker metric, time dilation does not happen when you move from one gravitational potential to another because   (i)  gravitational potential is ill defined anyway,   (ii) nowhere is any different to anywhere else, there is no place of different potential.    That is not to say that time-dilation isn't an effect you can observe at all, you certainly can.   Special relativity is automatic in the machinery of GR, so movement will cause time dilation.
    The time co-ordinate in the Robertson-Walker metric is not and does not need to be related to how time may flow when you are infinitely far away from all mass.   Indeed it turns out that there are lots of places in a FRW universe where time flows at the same rate as the time co-ordinate.   Provided a clock is co-moving with the expansion of the universe then it will progress at a rate identical to the time co-ordinate.
    The passage of co-ordinate time is not abstract, it is something that a real clock can measure.  There is no requirement to be in some special place, for example to be in a place with the lowest gravitational potential, or infinitely far from all mass.   For the Robertson-Walker metric, the co-ordinate time is not that.   

     There is a natural tendancy to blend the two metrics together and assume that our real universe will have properties of both,  with more of one in some places (close to a body the Schwarzschild metric prevails) than other places.
None-the-less it is an error to assume that the co-ordinate time used in the Schwarzschild metric is precisely the same as the co-ordinate time in the FRW metric,   or that either of these is precisely the same as the underlying co-ordinate time that our real universe with its real metric would use.   
   
The absurdity of trying to express this is one of my pieces of evidence against models with flowing time.
    Maybe a clock infintely far from all mass would progress infinitely faster than all real clocks in the universe.   That doesn't need to matter and it doesn't demonstrate the absurdity of time as something that flows.   The underlying co-ordinate time of the real universe and its real metric is probably not the thing that such a hypothetical clock in this hypothetical place is presumed to show.

Best Wishes.