APPENDIX : MATHEMATICAL PROOFS


 
  1. The consistency of Newton's laws with an elliptical orbit. In cylindrical coordinates, assume some orbit r(theta) with time t a free parameter. For a central force, L = mr2dtheta/dt = constant. Hence L dt = mr2 dtheta, d/dt = (L/mr2)d/dtheta, and specifically dr/dt = (L/mr2)dr/dtheta = - (L/m)du/dtheta where u = 1/r . Then the equation of motion m d2r/dt2 - mr(dtheta/dt) 2 = -k/r2 is transformed to d2u/dtheta2 + u = km/L2. With y = u - km/L2, y = constant x cos(theta - thetao), and u = 1/r = mk/L2 [1+constant x (L2/mk)cos(theta - thetao)], the equation for an ellipse.

  2. Kepler's third law (for the two-body problem). We start with the total energy of the system, E = 1/2 mu v2 - GMmu/r, where M = m1+m2, mu =m1 m2,/M, and L = murv with v = v1+v2, the velocities evaluated in the center-of-mass system. From the geometry of the ellipse, with a and p standing for aphelion and perihelion, rp=a(1-e), ra =a(1+e), rp/ra = (1-e)/(1+e) = va/vp. If E is now expressed once in terms of parameters at aphelion, once perihelion, then one obtains vp2 =(GM/a)(1+e)/(1-e), and L = muvprp =mu[GMa(1-e2)]1/2, and finally E = -Gm1m2,/2a. Since the area swept out is dA/dt = 1/2 r2dtheta/dt, we have also L = 2Amu/P = 2pia2 (1-e2)1/2mu/P. The two forms of L yield P2 =4pi2a3/GM. The energy equation becomes 1/2 muv2 = Gm1m2 (1/r - 1/2a).

  3. Gravity within a spherical system.


    1. The local gravity can be derived quite elegantly in terms of the differential equation div gradphi = -4pirho where phi is the gravitational potential and rho the mass density. Assuming spherical symmetry makes gradphi into a radial vector. Integration of both sides over a spherical volume out to radius r yields integraldiv grad phi dV = integralgradphi dot dA = 4pir2gradphi = -4piGintegralrhodV, or gradphi = - GmM(r)/r2.

    2. The local gravity can be derived on a lower mathematical level by adding up all the gravitational forces (one needs only the components toward the center) acting on a particle of mass m at distance r from a thin ring of some mass dM that resides at an arbitrary distance r' < r from the center. (All parts of the ring are equidistant from the particle.) When one adds the effect of all the rings contributing to a shell at r', of mass dM(r'), the force becomes GmdM(r')/r2 The gravity from that shell is the same as if its mass were at the center. Then it is easy to add the effect of all shells at r' < r, GmM(r)/r2. If the limits of integration are handled carefully for shells at r' > r, indeed they turn out not to contribute.

  4. The Virial Theorem. The proof for any system of self-gravitating particles is based on evaluating dQ/dt, with the definition Q = sumpidotri = 1/2 dI/dt, where the sum is over all particles and I is the moment of inertia. The differentiation of rileads to 2K. The differentiation of pileads to sumdpi/dt dot ri = sumFidotri = sumsumFijdotri = 1/2 sumsum(Fij-Fji)dotri = 1/2 sumsumFij (r i-rj) where sumsum is a sum over all pairs of stars i and j except i = j, Fij = -Fji has been used where the factor 1/2 appears, and the indices i and j have been interchanged in the last step. With the gravitational force between particles F ij proportional to (ri-rj)/| ri-rj|3, the quantity to be summed turns into a scalar quantity which is the total gravitational energy. The end result is d2I/dt2 = OMEGA +2K. In equilibrium, OMEGA = -2K.