Certain Aspects of the Gravitational Field of a Disk

Show more

1. Introduction

Although many astronomical objects, such as stars, planets, and certain galaxies, are spherical, or nearly spherical, in shape, many others are disk-like. Examples of the latter are bar spiral galaxies (such as the Milky Way), the rings of Saturn, viewed as disks with a large central hole, and protoplanetary disks, consisting of dense gas and dust surrounding a newly formed star that add mass to the star [1] . Thus, the gravitational fields of such structures have been studied, and we hope that the work presented here on various aspects of the gravitational fields of uniform disks, albeit a geometric simplification, will augment previous work and be of general interest as a problem in physics.

Certain Previous Work (Lass and Blitzer)

Two examples of previous work on the gravitational field of an infinitely thin disk are by Lass and Blitzer [2] and Krough, Ng, & Snyder [3] , both published in the early 1980s. Neither presented specific graphic examples of their mathematical results, which would have made them more concrete for the reader. We will do so here, but only for the paper by Lass and Blitzer. Other augmentations of the paper by Lass and Blitzer will also presented.

With reference to Figure 1, the following is their expression for the gravitational potential, V(r, z), for r < a.

$\begin{array}{c}V\left(r,z\right)=2\sigma G[\text{\pi}\left|z\right|-\sqrt{{z}^{2}+{\left(a+r\right)}^{2}}E\left(k\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-\left[\left({a}^{2}-{r}^{2}\right)/\sqrt{{z}^{2}+{\left(a+r\right)}^{2}}\right]K\left(k\right)\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}-\left[\left(\left(a-r\right)/\left(a+r\right)\right){z}^{2}/\sqrt{{z}^{2}+{\left(a+r\right)}^{2}}\right]\Pi \left(n,k\right)].\end{array}$ (1)

For r > a, the first term,
$\text{\pi}\left|z\right|$ , is eliminated because there is no surface mass beyond r = a. Thus, the z-component of the field at z = 0 is zero there, while it is not zero for z < a, where there is surface mass. Regarding the meaning of the symbols not noted in Figure 1, σ is the mass per unit area of the disk; G is Newton’s gravitational constant, and K(k), E(k), and Π(n, k) are the complete elliptic integrals of the first, second, and third kind, respectively. The parameters k and n are defined such that
${k}^{2}=4ar/\left[{z}^{2}+{\left(a+r\right)}^{2}\right]$ and
$n=4ar/{\left(a+r\right)}^{2}$ . We note that at z = 0, k^{2} = n. As to the complete elliptic integrals, they have the following integral representations, as stated in [4] ,

Figure 1. Basic geometry; uniform circular gravitational disk of radius a. P(x_{o}, y_{o}, z) is the field point and (x, y) is the position of a mass point on the disk surface. The y-axis can be considered r because of the azimuthal symmetry of the disk.

$\begin{array}{l}K\left(k\right)={\displaystyle {\int}_{0}^{1}\frac{\text{d}t}{\sqrt{\left(1-{t}^{2}\right)\left(1-{k}^{2}{t}^{2}\right)}}};\\ E\left(K\right)={\displaystyle {\int}_{0}^{1}\frac{\text{d}t\sqrt{1-{k}^{2}t}}{\sqrt{1-{t}^{2}}}};\\ \Pi \left(n,k\right)={\displaystyle {\int}_{0}^{1}\frac{\text{d}t}{\left(1-n{t}^{2}\right)\sqrt{\left(1-{t}^{2}\right)\left(1-{k}^{2}{t}^{2}\right)}}};\end{array}$ (2)

Although it is of no consequence, we should be aware of a slight difference in notation between [2] and [4] What [4] refers to as n is called n^{2} in [2] . Since [4] is a more modern publication, we shall adhere to its convention and define 4ar/(a + r)^{2} as n.

To obtain the force in the radial direction, F_{r}, we calculate ?∂V(r, z)/∂r, which involves the sums of the derivatives of the three products of functions in Equation (1). When that is done, the force within the plane of the disk (where z = 0) can be expressed as:

$\begin{array}{l}{F}_{r}\left(z=0\right)/2G\sigma \\ =-\left[\frac{1+{r}_{a}^{2}}{{r}_{a}\left(1+{r}_{a}\right)}\right]K\left(k\right)+\left[\frac{\left(1+{r}_{a}\right)\left(2+{r}_{a}\right)}{2{r}_{a}}\right]E\left(k\right)-\left[\frac{{\left(1-{r}_{a}\right)}^{2}}{2\left(1+{r}_{a}\right)}\right]\Pi \left(n,k\right)\end{array}$ (3)

In this equation, r_{a} ≡ r/a, is a relative coordinate. If z ≠ 0, then z_{a} ≡ z/a, would also be used in the equation for F_{r}(z ≠ 0)/2Gσ. Since the product rule for derivatives is used in deriving Equation (3), one might wonder why no derivatives of the elliptic integrals appear in it. This apparent anomaly exists because the derivatives of all three elliptic integrals can be expressed in terms of the elliptic integrals themselves, as shown in [4] .

The scaled radial field in the plane of the disk is plotted in Figure 2, for 0 ≤ r_{a} ≤ 1. The elliptic integrals were evaluated numerically with the help of “Keisan Online Calculator” [5] . The field is negative because it is directed in the negative r-direction. For comparison, the scaled radial field for a solid sphere of radius “a” is shown in Figure 3. The two fields are qualitatively similar, but the field for a sphere increases linearly in r_{a} for r_{a} ≤ 1 and is finite for r_{a} = 1. That is not true for the field of the disk, a two-dimensional object, for which the field behavior is curved for r_{a} < 1 and diverges to negative infinity at r_{a} = 1, as suggested by the arrow pointing straight down at that point in Figure 2. The behavior of the curve near r_{a} = 1 is logarithmic, and is caused by K(k) in that region. The logarithmic behavior of K(k) for 0.8 ≤ r_{a} ≤ 1.2 is shown in Figure 4, although that graph is a specific numerical evaluation, as opposed to an analytic proof. However, an analytic proof is presented in “Mathematics Stack Exchange” [7] for elliptic integrals. The logarithmic divergence at r_{a} = 1 is reasonable when one considers the divergence at a point mass (of zero dimension) to be (1/r^{2}) and at a line mass of any length to be a more gradual (1/r) (one-dimensional). In this case, we are dealing with the edge of a two-dimensional mass distribution and expect an even more gradual divergence, which the logarithmic divergence is.

Figure 2. Radial gravitational field derived from [2] . Downward arrow indicates logarithmic divergence to negative infinity exactly at r_{a} = 1, caused by the complete elliptic integral of the first kind at k = 1, K(1).

Figure 3. Gravitational field of a solid sphere.

Figure 4. Linear-Ln plot of K(k) from 0.8 ≤ r_{a} ≤ 1.2. The shape of the curve indicates that K(k) varies logarithmically with |1 − r_{a}| near r_{a} = 1 and diverges at that point.

In addition, a view of the complete elliptic integral of the third kind in [5] , when both arguments are near unity, suggests a divergence of Π(n, k) in that region. Indeed, it does diverge, but with what behavior? The graph in Figure 5,

Figure 5. n-Ln plot of Π(n, k) vs (1 − r_{a})^{2} for 0.8 ≤ r_{a} ≤ 1.2, showing that the logarithms of these two functions are linearly related with a slope of −1. This relationship demonstrates that Π(n, k) varies as 1/[(1 − r_{a})^{2}] in this region near r_{a} = 1.

obtained in the same way as that for K(k), demonstrates that Π(n, k) diverges as 1/(1 − r_{a})^{2}. However, its coefficient in Equation (3) contains (1 − r_{a})^{2}. Thus, the final term in Equation (3) is finite at r_{a} = 1, as is the second term because of the normal behavior of E(k) over the entire range of k. Therefore, the behavior of the field at r_{a} = 1 is due do solely to K(k) there.

Certain Current Work

In this section, we examine two other methods of calculating the same radial field as above. These are the use of “standard” numerical integration and Legendre Polynomials.

2. Numerical Integration

Figure 6 is relevant to the use of numerical integration.

The gravitational field, V(r_{o}), will be first calculated and then F_{r}(r_{o}) will be calculated from −∂V/∂r_{o}, as above. Now,

$\begin{array}{c}V\left({r}_{o}\right)=-2G\sigma [{\displaystyle {\int}_{0}^{a}\text{d}y}{\displaystyle {\int}_{0}^{\sqrt{{a}^{2}-{y}^{2}}}\frac{\text{d}x}{\sqrt{{\left({r}_{o}-y\right)}^{2}+{x}^{2}}}}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+{\displaystyle {\int}_{0}^{a}\text{d}y}{\displaystyle {\int}_{0}^{\sqrt{{a}^{2}-{y}^{2}}}\frac{\text{d}x}{\sqrt{{\left({r}_{o}+y\right)}^{2}+{x}^{2}}}}]\end{array}$ (4)

The first term represents the contribution from the right half of the disk in Figure 6, while the second represents the contribution from the left half of the disk. After calculating −∂V/∂r and performing a variety of tedious algebraic manipulations, we obtain, using the relative coordinates r_{a} and y_{a}, the expression for the radial component of the force, F(r_{a}):

$\begin{array}{l}F\left({r}_{a}<1\right)=2G\sigma [{\displaystyle {\int}_{0}^{1}\frac{\text{d}{y}_{a}\left({r}_{a}-{y}_{a}\right)}{\left(\sqrt{1-{y}_{a}^{2}}+\sqrt{1+{r}_{a}^{2}-2{y}_{a}{r}_{a}}\right)\sqrt{1+{r}_{a}^{2}-2{y}_{a}{r}_{a}}}}\\ +{\displaystyle {\int}_{0}^{1}\frac{\text{d}{y}_{a}\left({r}_{a}+{y}_{a}\right)}{\left(\sqrt{1-{y}_{a}^{2}}+\sqrt{1+{r}_{a}^{2}+2{y}_{a}{r}_{a}}\right)\sqrt{1+{r}_{a}^{2}+2{y}_{a}{r}_{a}}}}+\text{ln}\left(\left(1-{r}_{a}\right)/\left(1+{r}_{a}\right)\right)]\end{array}$ (5)

Figure 6. The geometry needed for the use of numerical integration, as a method of calculating the radial force in the plane of the disk. In this case, the field point coordinate is within the disk (y_{o} < a), but it could be beyond the disk (y_{o} > a).

For r_{a} > 1, the expression for the force is the same, except that (1 − r_{a}) within the logarithm is replaced by (r_{a} − 1). We note that the logarithmic divergence appears explicitly in the expression for the force at r_{a} = 1, as opposed to the expression in Equation (3). The “standard” numerical integration is used to calculate numerical value of the two integrals in Equation (5) over the range of r_{a}. This procedure is available online in [6] . In Figure 7 are three curves representing the radial force. Two of them indicate that Equations (3) and (5) produce indistinguishable results, as they should. The third, based on a particular sum of Legendre polynomials, produces agreement with the other two methods, except near r_{a} = 1, which we shall now examine.

3. Legendre Polynomials

Figure 8 shows the azimuthally symmetric disk geometry needed for the use of Legendre polynomials of varying degree l, P_{l}(cosθ). The gravitational potential, V(r, θ), is expressed, for this geometry, as:

$V\left(r,\theta \right)={\displaystyle {\sum}_{0}^{\infty}{A}_{l}{r}^{l}{P}_{l}\left(\mathrm{cos}\theta \right)}\text{\hspace{0.05em}}\text{\hspace{0.05em}};\text{\hspace{0.17em}}\text{\hspace{0.17em}}r<a$ (6a)

$V\left(r,\theta \right)={\displaystyle {\sum}_{0}^{\infty}{B}_{l}{r}^{-\left(l+1\right)}{P}_{l}\left(\mathrm{cos}\theta \right)}\text{\hspace{0.05em}}\text{\hspace{0.05em}};\text{\hspace{0.17em}}\text{\hspace{0.17em}}r>a$ (6b)

In the case of other azimuthally symmetric geometries, such as the annular region between a disk and a ring, the potential could be expressed as the sum of these two equations. These expressions are standard for solutions of Laplace’s Equation with azimuthal symmetry and can be found in any textbook on the subject.

Figure 7. Geometry for the application of the Legendre polynomials to the disk problem, where “a” and “r” are simply lengths and θ is the angle with respect to the normal to the disk.

Figure 8. Gravitational field vs. distance from center, using the three different calculational methods identified in the legend. All three agree very well, except very near r_{a} = 1, where the logarithmic divergence occurs and the use of Legendre polynomials falls short.

Since P_{l}(1) = 1 for all l, we first determine V(r, θ) on-axis, where θ = 0, as in Figure 8, and expand the potential in powers of (r/a) for r < a, and in powers of (a/r) for r > a. We then multiply each term in either series by P_{l}(cosθ) and sum over the chosen number of products in the resultant series. In our case, where the potential is in the plane of the disk, θ = π/2, and all terms involve even l = 2n. As stated in [8] , another website for “Mathematics Stack Exchange”,
${P}_{2n}\left(\mathrm{cos}\theta \right)={P}_{2n}\left(0\right)={\left(-1\right)}^{n}\left(2n\right)!/{2}^{2n}{\left(n!\right)}^{2}$ . All odd terms, P_{2n+1}(0), are zero. The on-axis potential, V(r, 0) is:

$V\left(r,0\right)=-\left(2G\sigma \right)\text{\pi}\left[\sqrt{{r}^{2}+{a}^{2}}-r\right]$ (7)

For r < a, one factors out the a-term under the square root, which allows for the expansion of the potential in powers of (r/a). Factoring out the r-term allows for the expansion in powers of (a/r). After performing the expansions out to a respectable six terms (the chosen number), making use of the expressions for P_{2n}(0), and calculating the derivative −∂V/∂r, we obtain the following for F_{r}:(using the relative coordinate r_{a})

$\begin{array}{l}{F}_{r}=-\left(2G\sigma \right)\text{\pi}[0.5{r}_{a}+0.1875{r}_{a}^{3}+\left(0.1171\cdots \right){r}_{a}^{5}+\left(0.0854\cdots \right){r}_{a}^{7}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}+\left(0.06729\cdots \right){r}_{a}^{9}+\left(0.0555\cdots \right){r}_{a}^{11}];\text{\hspace{0.17em}}\text{\hspace{0.17em}}{r}_{a}<1\end{array}$ (8a)

$\begin{array}{l}{F}_{r}=-\left(2G\sigma \right)\text{\pi}[\frac{0.5}{{r}_{a}^{2}}+\frac{0.1875}{{r}_{a}^{4}}+\frac{\left(0.1171\cdots \right)}{{r}_{a}^{6}}+\frac{\left(0.0854\cdots \right)}{{r}_{a}^{8}}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+\frac{\left(0.06729\cdots \right)}{{r}_{a}^{10}}+\frac{\left(0.0593\cdots \right)}{{r}_{a}^{12}}];\text{\hspace{0.17em}}\text{\hspace{0.17em}}{r}_{a}>1\end{array}$ (8b)

Although it is difficult to resolve details, Figure 8 shows how well the use of Legendre polynomials agrees with the other two methods, except near r_{a} = 1. An expanded view of this region is shown in Figure 9, where we can see the disagreement developing between 0.8 < r_{a} < 1.2. As the curve of F_{r} vs r_{a} grows steeper in its approach, from either direction, to the logarithmic divergence at r_{a} = 1, more terms in the Legendre expansion are needed to accurately describe it. An even more respectable eight terms in the expansion would shrink the range of disagreement to 0.9 < r_{a} < 1.1. As a motivation for their paper, Lass and Blitzer [2] make a general comment concerning the inconveniently large number of terms required for an accurate Legendre expansion, but no specifics are given.

4. Z-Dependence of the Radial Field and the Field in the Z-Direction

So far, we have only looked at the radial field in the plane of the disk, but what about the radial field at different values of z_{a} and the vertical field at different values of r_{a}? Both of these fields can be readily calculated using the “standard” numerical integration, as in Equation (4), but with the inclusion of z_{o} in the expression for distance, as in Equation (9). The potential gradient, −∂V/∂r, is then calculated.

$\begin{array}{c}V\left({r}_{o},{z}_{o}\right)=-2G\sigma [{\displaystyle {\int}_{0}^{a}\text{d}y}{\displaystyle {\int}_{0}^{\sqrt{{a}^{2}-{y}^{2}}}\frac{\text{d}x}{\sqrt{{\left({r}_{o}-y\right)}^{2}+{z}_{o}^{2}+{x}^{2}}}}\\ \text{\hspace{0.17em}}\text{\hspace{0.17em}}+{\displaystyle {\int}_{0}^{a}\text{d}y}{\displaystyle {\int}_{0}^{\sqrt{{a}^{2}-{y}^{2}}}\frac{\text{d}x}{\sqrt{{\left({r}_{o}+y\right)}^{2}+{z}_{o}^{2}+{x}^{2}}}}]\end{array}$ (9)

Figure 9. An expanded version of Figure 8, demonstrating more clearly where the use of Legendre polynomials deviates from Lass and Blitzer and numerical integration.

Figure 10 shows the first of these results for z_{a} = 0, 0.2, and 0.4. The basic shapes are the same for all three curves, but there is no logarithmic divergence for values of z_{a} > 0 because there is no edge to the mass distribution at those levels. As with the first curve, these two curves do peak at r_{a} = 1 because at that point, all of the mass exerts a force in the same direction; there is no cancellation in the radial direction. Although that is also true for r_{a} > 1, the distance to r_{a} has increased to all of the mass points on the disk.

Figure 11 shows the field in the z-direction, F_{z} (=−∂V/∂z), for various values of r_{a}, both less than and greater than 1. For all r_{a} < 1, F_{z} = −2πσG at z = 0. This

Figure 10. Radial gravitational field at three values of z_{a}, using “standard” numerical integration.

Figure 11. Gravitational field in z-direction for solid disk for various values of r_{a} out to 4. Three are for r_{a} < 1 and two for r_{a} > 1. Note that the first three peak at r_{a} = 0 and the remaining are zero at r_{a} = 0.

result follows from the Gaussian formulation of the law of gravitation, ÑF = −4πGρ, where F is the gravitational field and ρ is the mass density at each point. Using a Gaussian pillbox, as in electrostatics, that straddles the surface mass density of the disk, along with the integral form of Gauss’ law, leads to the result. All mass points on the disk, other than the one in question, only contribute to the field parallel to the surface of the disk at z = 0.

We note that F_{z} = 0 for all r_{a} > 1and z = 0, where there is no surface mass (σ = 0). We could also note that by planar anti-symmetry, the field above the disk points in the negative z-direction, while that below points in the positive z-direction. Since there is no discontinuity in the field for r_{a} > 1 and z_{a} = 0, what else could the field be for those values of r_{a} and z_{a}? Apropos of these comments, Figure 12 illustrates the F_{z} in the plane of a disk with a hole in it. Within the entire area of hole and the region beyond the disk, F_{z} = 0 in the plane of the disk.

This is definitely not true for the radial field, as we now discuss in the case of a solid disk containing a hole of half of its area and centered within it. The radial field can readily be obtained from linear superposition by subtracting the field of a smaller disk, identical in size and position of the hole, from that of the solid disk. Figure 13 shows the fields of the two disks, while Figure 14 shows the result of the subtraction. The counter-intuitive result is that radial field within the hole is in the positive radial direction and increases to the edge of the hole, where the logarithmic divergence occurs. It continues in that direction, with reduced magnitude, into bulk of the remaining mass of the original disk, until r_{a} ≈ 0.81. At that point, the field becomes negative and stays that way for all r_{a} > 0.81, eventually approaching zero for large r_{a}.

By comparison, Figure 15 shows the gravitational field, F_{s}, of a sphere of mass density ρ, radius a, and a central hole of half the volume of the sphere. Because of its spherical symmetry, this is a simple problem, also solved with linear superposition, whose solution is:

Figure 12. F_{z} (gravitational field in z-direction) as a function of radius of a disk of radius “a” with a hole of radius “b”. In the plane of the disk.

Figure 13. The radial field from the two disks. The smaller disk is the size of the hole that will be created by subtraction.

Figure 14. Gravitational field in the hole, in the remaining mass of the disk, and somewhat beyond the mass of the disk.

Figure 15. Gravitational field of a sphere with a central hole that removes half the mass of the solid sphere. The diagonal dotted line shows the slight deviation from linearity for r_{a} < 1.

${F}_{s}=\left(\frac{4\text{\pi}}{3}\right)Ga\rho \left[{r}_{a}-\frac{1}{2{r}_{a}^{2}}\right];\text{\hspace{0.17em}}\text{\hspace{0.17em}}{0.5}^{1/3}\le {r}_{a}\le 1$ (10a)

${F}_{s}=\left(\frac{\text{2\pi}}{3}\right)\frac{\left[Ga\rho \right]}{{r}_{a}^{2}};\text{\hspace{0.17em}}\text{\hspace{0.17em}}{r}_{a}\ge 1$ (10b)

F_{s} = 0 within the hole, where 0 ≤ r_{a} ≤ 0.5^{1/3}.

5. Disk of Non-Zero Thickness

Until now, we have concentrated on a disk of zero thickness. In this section, we consider the radial gravitational field of a uniform disk of non-zero thickness T equal to a maximum of one tenth of its fixed radius “a”. Two different situations are considered, as shown in Figure 16. In situation A, the field point X is fixed at the lowest corner, while the relative thickness of the disk can change from 0 to T_{a} = 0.1. The field at X is determined as a function of the relative thickness, Z_{a} (≤T_{a}). In situation B, the relative thickness is a constant T_{a}, but the field point X moves from the lower corner along the outer surface of the disk to the top corner. The field at X is determined as a function of its relative position, z_{a}. There are two contributions to the field in situation B: the section of the disk above z_{a} and the one below. For a disk of constant radius with respect to height, these contributions will have already been determined in situation A.

These contributions are determined by breaking up the disk into thin slices and considering each slice to be a disk of zero thickness, having a vertical separation from point X. The contribution from a given slice is calculated as in Equation (9) and taking its radial gradient at r_{a} = 1. The total contribution is obtained by integrating the individual contributions over the relative thickness, Z_{a}. Figure 17 illustrates the geometry.

Figure 18 shows the contribution to the field at X as a function of z_{a}. The function is obviously linear in ln(z_{a}) over the range of consideration. The curve would deviate significantly from linearity for much larger z_{a} because the

Figure 16. Basic geometry for the gravitational field of a disk of maximum relative thickness T_{a}, radius a, and constant density ρ. In A, the field point X is fixed at the lower corner, with the thickness of the disk varying along relative coordinate z_{a} from 0 to T_{a}. In B, the thickness of the disk is fixed at T_{a} and the position of X varies from 0 to T_{a}.

Figure 17. Vertical cross-section of the disk, showing relevant characteristics.

Figure 18. The contribution to the radial field at X from a slice at z_{a}.

contribution must asymptotically approach zero for very thick disks. Calling the function F(z_{a}),

$F\left({z}_{a}\right)=-\mathrm{ln}\left({z}_{a}\right)+0.0869$ (11)

To obtain the total contribution at X for situation A, these contributions must be summed from 0 to Z_{a}. Thus, the total contribution over that thickness is:

${\int}_{0}^{{Z}_{a}}F\left({Z}_{a}\right)\text{d}{Z}_{a}}=-{Z}_{a}\mathrm{ln}\left({Z}_{a}\right)+1.0869{Z}_{a$ (12)

Aside from a scale factor, this equation is plotted in Figure 19 as A. Graph B is obtained by adding the contributions from the entire regions above and below X, as obtained from A. The symmetry about z_{a} = 0.05 is obvious, as are values at the end points, both of which receive contributions from the entire disk.

6. Properties of Circular Orbits in the Plane of a Disk

The properties of these circular orbits considered are the orbital period as a function of their radius measured from the center of the disk and the mass of the disk. The disk is assumed to be an approximate representation of the Milky Way with the same mass and diameter. The estimated diameter of the Milky Way is 10^{5} ly [9] , among others, and the estimated mass is 1.4 × 10^{42} kg [10] . Since the mean thickness of the Milky Way is estimated to be only about (1 - 2) × 10^{3} ly [9] , it will be ignored. In addition, the stability of such orbits with respect to radial perturbations and perturbations perpendicular to the plane of the disk are considered.

Figure 19. The radial gravitational field at point X for A and B.

Finding the period of the orbit is a simple problem in orbital mechanics. Assuming the radial field, F(R), beyond the disk is as in Figure 2, but including 2Gσ, then

$F\left(R\right)=\frac{{V}^{2}}{R},$ (13)

where V and R are the orbital speed and radius, respectively. The period T is

$T=\frac{2\text{\pi}R}{V}=2\text{\pi}\sqrt{R/F}$ (14)

Figure 20 shows the orbital period in billions of years plotted against the orbital radius in light years, up to 5 × 10^{5} ly. Galaxies that are less than this distance from the Milky Way are listed in [11] , but no information allowing for a comparison to Figure 20, if any exists, has been found by this author. It is of some interest, however, to determine at what orbital radius the orbital period deviates negligibly from that of a point mass of the same mass as the disk. A simple calculation shows that the radius is about 75 × 10^{3} ly, or 1.5 galactic radii, which suggests a rapid march toward the asymptotic limit (but not as rapid as in the case of a sphere!). The result for a disk was arrived at by noting that the period of the orbit of radius R around a point mass is, coincidentally, proportional to R^{1.5}. Thus, if Figure 20 were displayed on a log-log plot, its behavior would become essentially linear starting at about 1.5 galactic radii. Figure 21 is such a plot showing the transition to linearity, with a slope of about 1.5, as indicated by the accompanying (eyeballed) dashed line.

Regarding orbital stability perpendicular to the plane of the disk, we can see in Figure 11 that the force in the positive z-direction for radii beyond the disk is negative. By anti-symmetry, the opposite is also true. Thus, the force out of the plane of the disk is always restorative and, therefore, maintains vertical stability

Figure 20. Orbital period of a satellite galaxy around the Milky Way, assuming a circular orbit in the plane of the Milky Way. Assumed radius and mass of Milky Way = 50,000 ly and 6 × 10^{42} kg, respectively.

Figure 21. Log-log version of Figure 20, showing the distance at which the disk effectively behaves as a point mass, as indicated by the dashed line.

(i.e., a vertical oscillation about the plane of the disk). One could imagine a horizontal orbit half way between two identical disks, but such an orbit would be vertically unstable, since a perturbation toward either disk would only create a growing force imbalance toward that disk. This is particularly true for r_{a} < 1, where the magnitude of the negative force is monotonically decreasing with z_{a}. The orbiting object would eventually collide with the disk. This trend would not necessarily hold for r_{a} > 1, such as r_{a} = 1.1, where the magnitude of the negative force increases with z_{a} for 0 ≤ z_{a} ≤ 0.3.

Radial stability of a circular orbit is discussed in [12] , which is a physics lecture. It occurs within the context of a coordinate system rotating with the orbiting particle, and thus includes the fictitious outward centrifugal force along with the real inward gravitational force. These two forces balance in the absence of a radial perturbation, thereby maintaining the orbital radius constant. In the presence of a perturbation, the author derives the condition for which an outward perturbation in the radius will induce a negative radial force, and vice versa, thereby causing an oscillation about the equilibrium radius. The condition for stability is:

$\frac{3}{\rho}+\frac{{g}^{\prime}\left(\rho \right)}{g\left(\rho \right)}>0$ (15)

where ρ is the radius of the unperturbed circle, g(ρ) is the negative of the gravitational force, and g'(ρ) is its derivative at ρ. Figure 22 is a plot of the above expression, called “stability condition”, for the field of a thin disk, as in Figure 7. Since extreme accuracy was not required for the current purpose of displaying the range of stability, the derivative was approximated by differences between successive calculated points. We see that radial stability occurs only for r_{a} ≳ 1.15. If the field behaved according to an inverse-square law, as outside a sphere, stability would occur for all values of r_{a}.

7. The Escape Velocity of the Earth from the Milky Way

In this section, we shall calculate the escape velocity from the disk-approximation of the Milky Way based solely on the gravitational attraction to an escaping object as a function of its location within the galaxy. The object’s orbital motion, or

Figure 22. Stability condition for a particle in orbit around a disk and in the plane of the disk.

other motion, within the galaxy, which influences the escape velocity, is not considered. As is well known, the escape velocity or, more properly, the escape speed, v_{esc}, is computed by equating the object’s initial kinetic energy to the negative of its initial potential energy. Thus,

${v}_{esc}=\sqrt{2V\left({r}_{a}\right)}$ (16)

where V(r_{a}) is the potential energy, as in Equation(4), using a relative coordinate. This expression gives the escape velocity as a function of position within the disk. Figure 23 is a graph of the computed escape velocity vs the radial position of the object. Since our solar system is ≈26,000 ly [9] from the center of the Milky Way, r_{a} for it ≈ 0.5, where its computed escape velocity from Equation (16) is 684 km/sec. A reported value is ≈550 km/sec [9] . The 24% discrepancy could be considered fortuitously small, in view of the uncertainties of the various estimates in the literature and the use of the disk approximation in this paper.

8. Summary

In this paper, we have presented certain aspects of the gravitational characteristics of the disk geometry, including an ideally thin disk, a disk of finite thickness, and a thin disk in the form of a ring, though not thin walled. This geometry has been less studied than that of a sphere, which, because of its higher degree of symmetry, is simpler to analyze. Aside from its interest simply as a physics problem, certain astronomical objects, such as the Milky Way and protoplanetary disks, are disk-like in shape. In that regard, we have also presented calculations of the circular orbits in the plane of the Milky Way, approximated as a disk, concerning their orbital period and orbital stability. The escape velocity of an object, particularly at the position of the solar system, has been similarly calculated.

Figure 23. Escape velocity from Milky Way, assuming that the galactic radius = 50,000 ly, the galactic mass = 1.42 × 10^{42} kg, and the position of the solar system ≈ 0.5 galactic radii from the center. Reported escape velocity = 550 km/sec. The effect of the orbital velocity of the sun around the galactic center is not included.

Acknowledgements

The author thanks W. F. Filter, retired Sandia National Laboratories physicist, for reviewing the draft of this paper and making many valuable suggestions for its improvement.

References

[1] https://en.wikipedia.org/wiki/Protoplanetary_disk

[2] Lass, H. and Blitzer, L. (1983) The Gravitational Potential Due to Uniform Disks and Rings. Celestial Mechanics, 30, 225-228.

http://adsbit.harvard.edu//full/1983CeMec..30..225L/0000225.000.html

https://doi.org/10.1007/BF01232189

[3] Krough, F.T., Ng, E.W. and Snyder, W.V. (1982) The Gravitational Field of a Disk. Celestial Mechanics, 26, 395-405.

http://adsbit.harvard.edu//full/1982CeMec..26..395K/0000395.000.html

https://doi.org/10.1007/BF01230419

[4] “Elliptic Integral” in Wikipedia.

https://en.wikipedia.org/wiki/Elliptic_integral

[5] Keisan Online Calculator.

https://keisan.casio.com/exec/system/1180573451

[6] Integral Calculator.

https://www.integral-calculator.com

[7] Mathematics Stack Exchange.

https://math.stackexchange.com/questions/1111135/asymptotic-expansion-of-the-complete-elliptic-integral-of-the-first-kind/2737375

[8] Mathematics Stack Exchange.

https://math.stackexchange.com/questions/1805794/prove-p-2n0-1n-frac2n22nn2-of-legendre-polynomials

[9] “Milky Way” in Wikipedia.

https://en.wikipedia.org/wiki/Milky_Way

[10] “Measuring the Milky Way: One Massive Problem, One New Solution”.

https://phys.org/news/2016-05-milky-massive-problem-solution.html

[11] “List of Nearest Galaxies” in Wikipedia.

https://en.wikipedia.org/wiki/Listofnearestgalaxies

[12] Dzierba, A.R. Circular Orbits and Their Stability: A Physics Lecture.

http://www.dzre.com/alex/P441/lectures/lec_22.pdf