Universal Gravity without Shell Theorem

  • #1
physics4all
4
1
TL;DR Summary
I wondered what would happen if one tried to calculate Newtonian Gravity between two bodies but in many-to-many style (like all atoms to all atoms), i.e. completely ignoring
Newton’s Shell theorem. Did not find anything online about anybody trying that.
So, I tried it myself and got curious results
I couldn't get Latex text to render. Sorry if text looks unreadable...

Thus, for two perfect spheres with radiuses r and s, densities Pr and Ps, which are positioned in space at distance d between their respective centers, expression for Universal Gravity I got looks this way
(1) F = G*Px*Py*π^2*Gg
Where Gg is a function of r,s and d and looks like this:
(2) ((4*d^3*s*r+44*d*s*r^3+44*d*s^3*r)+(ln(d+s+r)+ln(d+s-r)-ln(d-s+r)-ln(d-s-r))*(-20*d^2*r^3+20*s^2*r^3-4*r^5)+(ln(d+s+r)-ln(d+s-r)+ln(d-s+r)-ln(d-s-r))*(-20*d^2*s^3-4*s^5+20*s^3*r^2)+(ln(d+s+r)-ln(d+s-r)-ln(d-s+r)+ln(d-s-r))*(d^5-10*d^3*s^2-10*d^3*r^2-15*d*s^4-15*d*r^4+30*d*s^2*r^2))/(30*d)
Took many steps to find the integral. Probably need to post somewhere separately…

Took me some time to find a precise enough calculator for natural logs. As expected, once plugging in numbers for all planets in Solar system, plus spheres Cavendish used in his experiment, Gg is always equal to
(3) (16/9)*s^3*r^3/d^2
Plugging into (3) into (1) results in standard looking
(4) F = G*M*m/d^2
Indeed, using Taylor series to model each natural log, and simplifying (2), yields a very dominant (3) with extra ignorable branches which get smaller and smaller with every Taylor iteration.

However, interesting is what happens when d is so big comparing to s and r, that it can be considered . Lets refactor logs as following:
(5) (ln(d+s+r)+ln(d+s-r)-ln(d-s+r)-ln(d-s-r)) =
= ln(d^2+s^2-r^2+2ds) - ln(d^2+s^2-r^2-2ds) =
= ln(d^2+s^2-r^2+2ds) - ln(d^2+s^2-r^2-2ds) + ln(d^2+s^2-r^2) - ln(d^2+s^2-r^2) =
= ln((d^2+s^2-r^2+2ds)/(d^2+s^2-r^2)) - ln((d^2+s^2-r^2-2ds)/(d^2+s^2-r^2)) =
= ln(1 + 2ds/(d^2+s^2-r^2)) - ln(1 - 2ds/(d^2+s^2-r^2))

Now, applying limit

(6.1)lim d->∞ ( ln(1 + 2ds/(d^2+s^2-r^2)) - ln(1 - 2ds/(d^2+s^2-r^2)) ) =
= ln(e^(2ds/(d^2+s^2-r^2))) - ln(e^(-2ds/(d^2+s^2-r^2))) = 4ds/(d^2+s^2-r^2)
The same transformations for other log expressions
(6.2)lim d->∞ (ln(d+s+r)-ln(d+s-r)+ln(d-s+r)-ln(d-s-r)) = 4dr/(d^2-s^2+r^2)
(6.3) lim d->∞ ln(d+s+r)-ln(d+s-r)-ln(d-s+r)+ln(d-s-r)) = 4sr/(d^2-s^2-r^2)

doing the same transformations to other logs and plugging everything into (1) and simplifying, produces
(7) ( 160*d*s^3*r^3/(d^2 +s^2 -r^2)
+160*d*s^3*r^3/(d^2 -s^2 +r^2)
-48*d*s^3*r^3/(d^2 -s^2 -r^2)
+96*d*s*r^5/(d^2 -s^2 -r^2)
-96*d*s*r^5/(d^2 +s^2 -r^2)
+96*d*s^5*r/(d^2 -s^2 -r^2)
-96*d*s^5*r/(d^2 -s^2 +r^2) ) /(30d)

Which is roughly
(8) 272*s^3*r^3/(30*d^2)

(8) is 5.1 times bigger than (3), making Gravitational pull 5+ times stronger at a very long distance, even though still very small. So matter seems 5 times heavier and orbital velocity is higher than expected. Pretty much the same ratio of necessary Dark matter that is needed.

Now, orbital velocity based on (1) I believe would be (need to remove density of orbiting body and its density)
(9) V = sqrt(G*Py*π*Gg*d/((4/3)π*r^3))
Lets take derivative of (Gg*d/((4/3)π*r^3)) from above:
(10)
((5*d^4+(-30*s^2-30*r^2)*d^2-15*s^4+30*r^2*s^2-15*r^4)*ln(((d-s-r)*(d+s+r))/((d-s+r)*(d+s-r)))-40*s^3*d*ln(((d-s+r)*(d+s+r))/((d-s-r)*(d+s-r)))-40*r^3*d*ln(((d+s-r)*(d+s+r))/((d-s-r)*(d-s+r)))+20*r*s*d^2+60*r*s^3+60*r^3*s)/(4*sqrt(10)*r^(3/2)*sqrt((d^5-10*s^2*d^3-10*r^2*d^3-15*s^4*d+30*r^2*s^2*d-15*r^4*d)*ln(((d-s-r)*(d+s+r))/((d-s+r)*(d+s-r)))+(-20*s^3*d^2-4*s^5+20*r^2*s^3)*ln(((d-s+r)*(d+s+r))/((d-s-r)*(d+s-r)))+(-20*r^3*d^2+20*r^3*s^2-4*r^5)*ln(((d+s-r)*(d+s+r))/((d-s-r)*(d-s+r)))+4*r*s*d^3+44*r*s^3*d+44*r^3*s*d))

Using Taylor series, produces exactly the same negative acceleration as 1/sqrt(d) would do (plus some small ignorable branches):
(11) -0.6*sqrt(s^3)/d*sqrt(d)
However, using the same log transformations (5), at very large distance d, acceleration flips to positive and becomes a very small
(12) +5*sqrt(s^3)/(3d*sqrt(d))
In other words, at very large distances, Gravitational pull becomes more efficient and makes a smaller body to rotate around a much bigger body with pretty much constant velocity.
Granted, Universal Gravity is largely abandoned in favor of General Relativity, but still interesting.

P.S. After I wrote this text,, an idea came to see what happens at distances very close to a massive body, i.e. d~(s+r). Turns out in this case (1) is bigger than (4) too. Exactly as Einstein predicted. Another coincidence…
 
  • Sad
Likes Motore and PeroK
Physics news on Phys.org
  • #2
You can simplify the first expression analytically and it's done by students all over the world as part of their coursework. It produces the expected result. If your approximation produces 5 times the result of the exact calculation then you must have made a calculation error in your approximation. It's that simple.

You took a needlessly complicated approach to the whole problem, so I don't know where the error was introduced.
 
  • Like
Likes Vanadium 50 and PeroK
  • #3
This is exactly what I did. 6 iterations of Taylor series for natural logs is enough to confirm this long expression converges on form (3) as expected.
Then I noticed at distances d very super large comparing to both s and r, all 3 log combinations begin to grow as power of e with ultimate limit at 5 times greater than (3).
I tried to build a custom calculator based on __float128. Whatever log implementation C++’s stl got, shows exponential growth for Milky Way starting somewhere in vicinity of kilo parsecs. Beyond that even float128 cannot handle. So I decided to ask here…
 
  • #4
The lesson here is that if your work is needlessly messy and complicated, you are more likely to make mistakes. So don't do that.
 
  • Like
Likes pinball1970
  • #5
Not to be rude… this is not the lesson. At least not until an error is pointed out. If my log transformations in 6.1-6.3 correct, would not take more then 15 mins to simplify. Or even plug in some numbers straight up and do simple math to confirm.
Just don’t know personally anybody good in math to ask for a favor and check:(
I understand though, not seeing entire chain of simplifications does not help. I tried to post everything, but then text becomes many pages long…
 
Last edited:
  • #6
Um...yes it is.

Fitst, a theorem is a theorem.

If you want people to help find your error, you need to be clear and methodical. For example, LaTex. You probably have a 50-50 chance that the person who spots your mistake first will be you.

If someone told you they were trying to multiply two 5 digit numbers but kept getting the wrong answer when using Roman Numerals, what would you tell them?
 
  • #7
physics4all said:
Not to be rude… this is not the lesson. At least not until an error is pointed out.
That's a lot of work to little purpose. Finding errors is hard.
 
  • Like
Likes Vanadium 50
  • #8
Vanadium50 makes good point that putting this in LaTex would certainly facilitate others (not to mention yourself) reviewing your work. LaTex is de reguer on PF.
 
  • #9
Well, fair is fair… will work on it.
 
  • Like
Likes berkeman
Back
Top