George Howard Darwin (1845–1912) was the fifth child of the British naturalist Charles Darwin. After graduating from Trinity College, Cambridge in 1868, Darwin studied law for six years, before returning to Cambridge, and publishing work in geophysics. In 1879, Darwin was elected fellow of the Royal Society, and became its president in 1900. In 1883, he was appointed Professor of Astronomy and Experimental Physics at Cambridge, succeeding James Challis. He was elected corresponding member of the Paris Academy of Sciences on 23 December, 1907, in the geography and navigation section (Académie des sciences 1979).
Darwin’s contribution to cosmogony is original in that he put various hypotheses to the test of actual calculations, in contrast to the purely qualitative arguments usually employed in the field.11See Kopal (1971); Barrow-Green (1997, 193).
The surviving Poincaré-Darwin correspondence is limited in scope, but substantial in one of its chosen subjects. The earliest letters concern the preparation of a volume in honor of George G. Stokes, and honors awarded Poincaré by the Royal Astronomical Society and the Royal Society, along with the classification of periodic orbits. The core topic of the Poincaré-Darwin correspondence, beginning with a letter from Darwin on 28 May, 1901 (§ 3-15-11) is the stability of the pear-shaped figure of equilibrium of a rotating fluid mass. The exchange generated much correspondence over the next 12 months, of which thirty-four letters have been preserved and are published here, including eighteen letters from Poincaré and sixteen from Darwin.
In what follows we provide some background information on the mathematical problem and on the notation introduced by Poincaré, Darwin and others.
Equilibrium figures of rotating masses of liquid up to 1885
The historical development of the theory of equilibrium figures of rotation is described in detail by Todhunter (1873), Oppenheim (1922), Chandrasekhar (1969), Lützen (1984), and Lichtenstein (1987). The present account concerns only the case of a homogeneous fluid and ellipsoidal figures of equilibrium, neglecting heterogeneous fluids, rigid kernels and annular figures.
The study of equilibrium figures began with Newton’s investigation of the figure of the earth (Principia, Book III, propositions XVIII-XX). Generalizing Newton’s results to the case when the ellipticity caused by the rotation is large, Colin Maclaurin (1742) obtained a series of new equilibrium figures having the shape of oblate spheroids. For a long time, it was believed that these were the only possible equilibrium figures, and Lagrange attempted to prove this assertion in his Mécanique analytique (1811). However, Jacobi (1834) showed through an analysis of Lagrange’s argument that there is an additional series of equilibrium figures consisting of ellipsoids with three unequal axes (the shortest axis being the axis of rotation). Jacobi’s student C. O. Meyer (1842) showed that the Jacobi series bifurcates (as Poincaré later would say) from the Maclaurin series for an eccentricity of . Partly motivated by Jacobi’s result which he and other French mathematicians interpreted as a challenge, Liouville began to work on the topic around the same time; in particular, he developed a certain kind of function, introduced by Lamé in a different context, into a powerful tool for the investigation of equilibrium figures. Liouville also stressed (as Laplace had pointed out in the Mécanique Céleste livre 3, § 21) that the angular momentum and not the angular velocity is the relevant parameter for series of equilibrium figures. However, since angular velocity decreases monotonously in the case of the Jacobi series, it is reasonably taken as a parameter in this case.
The main tool used by Poincaré and Darwin in their investigations of figures of equilibrium of rotating fluids are ellipsoidal harmonic functions (or ellipsoidal harmonics, for short), also known as Lamé functions. The expressions for all relevant physical magnitudes are developed in series of these functions. This approach was developed by Lamé and Liouville, in analogy to the theory of spherical harmonics introduced around the end of the eighteenth century by Legendre, Laplace and others. We will follow the systematic presentation of Hobson (1931), although Darwin most likely relied on the presentation of spherical harmonics in Appendix B of Thomson and Tait’s Treatise (1879a, 171–218).
A harmonic function of three variables is a solution of Laplace’s equation
which is the basic equation of classical potential theory. Solutions of this equation appropriate for spaces with boundaries of various forms (eg., spheres, spheroids, and ellipsoids) are often sought after. This is done by transforming the equation into a form in which the independent variables are the parameters , , of three orthogonal sets of surfaces. The values of , , at any point may be regarded as curvilinear coordinates at that point. Normal solutions to Laplace’s equation are then sought, i.e., solutions in the form
where denotes a function of only, of only, and of only.
In Cartesian coordinates, the triply orthogonal set of surfaces consists of the planes parallel to the coordinate planes, where , , are , , , respectively. We will consider the case of spherical harmonics, a case which in itself is only of minor importance for the correspondence but gives the non-expert reader a good general idea of how the conceptually more complicated ellipsoidal harmonic functions are used.
In this case, , , are , , respectively, the polar coordinates of a point in 3-space, and the triply orthogonal set of surfaces consists of concentric spheres (), coaxial cones (), and planes through the axis (). It is easily shown (eg., by Hobson 1931, 10) that the normal solutions of Laplace’s equation, transformed in these coordinates, are of the form
Here, is a solution to the following equation
where , and are arbitrary constants (usually positive integers). Note that in the expression , is an upper index, no exponent. This notation is standard in the theories of spherical and ellipsoidal harmonics.
A special case of particular interest is where ; the resulting equation is called Legendre’s equation. The complete solution of this equation is
where and are arbitrary constants, a polynomial of degree (called Legendre’s polynomial), and another function of a certain type.
can be expressed as
for even and in a similar fashion (involving a factor ) for odd. Now we construct the surface of revolution with polar equation
this surface will cut the sphere in the points for which vanishes. These points lie, according to the above expression for , upon circles whose planes are perpendicular to the axis. This system of circles on the sphere is called the system of nodal lines of the function . Since these lines divide the spherical surface into zones, is called a zonal harmonic. The function is called a solid zonal harmonic of degree ; the function is called a surface zonal harmonic (Hobson 1931, 20).
(and similarly for ). The functions are tesseral surface harmonics when and sectorial surface harmonics when . The geometric motivation for this terminology is similar to that of the zonal harmonic: the surface of a sphere is divided into tesseræ (i.e., spherical squares) or sectors (Hobson 1931, 94). Every continuous function can be developed into a series with respect to these functions.
The case of ellipsoidal harmonics is in many respects analogous to that of spherical harmonics. Here, the triply orthogonal set of surfaces consists of confocal ellipsoids, one-sheeted hyperboloids, and two-sheeted hyperboloids. The parameters (usually called ellipsoidal or more simply elliptic coordinates) are the three roots , , of the equation22While Poincaré uses this form of the equation in the Acta paper (Poincaré 1885a), he switched to the following form in his paper on the stability of the pear-shaped figure (Poincaré 1902b): with .
By choosing a value of , we select a particular ellipsoid from a series of confocal ellipsoids, and a subsequent choice of , determines a particular point on the surface of the selected ellipsoid. In the theory of ellipsoidal harmonics, the role of Legendre’s equation is played by Lamé’s equation (Poincaré 1885a, 302):
For an appropriate number, there exist particular solutions which are polynomials in (one of them playing the role of the in the spherical case above), or such polynomials multiplied by one, two or three of the factors , , , where is the total degree of . Replacing by or , one obtains functions or , respectively. The functions are then normal solutions to Laplace’s equation in elliptic coordinates.
There is another type of solutions to Lamé’s equation, namely functions , corresponding to a given and defined as
(these functions correspond roughly to the spherical functions discussed above). Lamé introduced his functions in the context of a problem of heat conduction, but it was Liouville who applied them first in the context of equilibrium figures and found several important properties of these functions. First of all, let
further, let , be two points of the ellipsoid, their distance, and a surface element having as its center. Write , , for the functions of , corresponding to the functions , , of , . Then
where the integral extends to all surface elements of the ellipsoid. Another important property is the following orthogonality relation: given four Lamé functions , , , , we have
where is defined as before. Perhaps the most important property, however, is that an arbitrary function of , can be developed into a series of the form
where the are constant coefficients.
The precise relation between Lamé functions and the spherical harmonics discussed before will become clearer below in connection with Darwin’s work on ellipsoidal harmonics. Note that the terminology of zonal, tesseral and sectorial harmonic was taken over to the ellipsoidal case in the English literature.
In the second edition of their Treatise on Natural Philosophy, Thomson and Tait inserted a paragraph absent from the first edition, containing a stimulating list of open problems and intuitive conjectures about equilibrium figures of rotating masses of liquid and their stability. Of particular interest to us is their assertion that Jacobi ellipsoids cease to be stable beyond a certain angular momentum. This led them to remark:
We have a most interesting gap between the unstable Jacobian ellipsoid when too slender for stability, and the case of smallest moment of momentum consistent with stability in two equal detached portions. The consideration of how to fill up this gap with intermediate figures, is a most attractive question, towards answering which we at present offer no contribution. (Thomson & Tait 1879b, § 778”(i))
This passage suggested to Poincaré to consider the possibility of pear-shaped figures of equilibrium. He published a long paper in Acta mathematica which resolved several of the open questions mentioned by Thomson and Tait, and supplied complete proofs of some of their claims.33Poincaré 1885a. Poincaré announced some of the results contained in this paper, in particular the existence of new figures of equilibrium which are non-ellipsoidal and pear-shaped, in two short notes in the Comptes rendus (Poincaré 1885b, 1885c).
Poincaré’s paper made good use of Lamé functions, and outlined new concepts and methods: stability coefficients, linear series of equilibrium figures, points of bifurcation of such series, and the principle of exchange of stabilities at such a point of bifurcation. These conceptual ideas were motivated in part by his parallel work on the three body problem; in both cases, he used a result from Analysis situs: the Kronecker index (Poincaré 1885a, 268).
The basic idea is the following (Poincaré 1885a, 261ff): suppose that the position of the system is defined by quantities and that there is what Poincaré calls a force function (a potential) (where is a parameter), such that we have equilibrium in case
This system of equations has a certain number of roots varying continuously with . The necessary and sufficient condition that a given root belongs to more than one linear series is that the Hessian of , i.e., the discriminant of the quadratic form
changes its sign. In his proof, he uses a result by Kronecker (Kronecker 1869a, 1869b; Poincaré 1885a, 268). He calls such a form of equilibrium a bifurcation form, or limit form if the equilibrium equations become imaginary (and thus one of the series “disappears”) after the point of intersection. For instance, the MacLaurin ellipsoids form a linear series which admits of a point of bifurcation (where the series of Jacobi ellipsoids starts; see below). In his correspondence with Poincaré, Darwin (1886) calculated the numerical values corresponding to this point of bifurcation; see Georges Howard Darwin to Henri Poincaré.
From his study of the function , Poincaré drew information not only about bifurcations, but about stability as well. The first step in this direction was to bring into the following form (which is always possible with quadratic forms):
where is a linear function of the . is then equivalent to for some . Now, Poincaré wrote that the equilibrium is stable if and only if is maximum, i.e., if and only if is negative definite. This is the case if and only if all the are negative. Consequently, he called the coefficients of stability. His study of the stability of various figures of equilibrium, especially of his newly discovered pear-shaped figures (see below), relied on the study of the sign of the coefficients of stability.
A central tool of Poincaré’s analysis of stability is what he calls the principle of exchange of stabilities. Let the coordinate system be such that a bifurcation occurs in the origin, so that the expressions are the stability coefficients, and is the critical parameter. Now, Poincaré keeps fixed in and eliminates the other variables with the aid of the equilibrium equations (assuming the Hessian of as a function of is not zero, or equivalently, that is the only stability coefficient that vanishes). According to Schwarzschild (1898, 41), this restriction poses no difficulty in practice.
Poincaré wrote as a function of the two variables and . The equilibrium equation defines a curve in the -plane with a double point (in agreement with the assumption that is zero for a value of , hence that there occurs a bifurcation). Accordingly, Poincaré was able to express as a function of in two different ways, say
Next he expressed as a function of the two variables and as well and then, using , , as a two-branch function of . Thus he was able to study what happens to the sign of the coefficients of stability on each branch when the parameter changes the sign. In particular, he found that if there is stability on one linear series and instability on another before a point of bifurcation, will be unstable and stable afterwards. This he calls the principle of exchange of stabilities.
We can express this in a more intuitive, geometrical manner, following Poincaré’s own presentation (Poincaré 1902a, 167ff).44For a similar, but more detailed approach, see Schwarzschild (1898). Let be expressed as , and recall that there will be stability if . Poincaré wrote that the curve divides the -plane in two regions, one in which is positive, and one in which it is negative. If the positive region is situated below the curve, will be negative. If two curves arrive at a point of bifurcation, one stable (having the positive region above), the other unstable (having the positive region below), the situation will be exchanged after the passage through the point of bifurcation.
There is another way of expressing the stability condition, by studying the energy of the system. In this approach, there are two types of stability: that destroyed by friction, or ordinary stability, and that unaffected by friction, or secular stability. Following Poincaré (1902b, 333), let denote the potential energy of the fluid mass, the angular velocity, the moment of inertia, and the angular momentum. For stability, either the expression
is a minimum, being given, or the expression
is a minimum, being given. For Poincaré, the first condition is necessary and sufficient for secular stability (with an assumption about friction). For an isolated mass, the first condition is sufficient, while the second condition is necessary and sufficient. In a similar fashion, Darwin (1902b, 315) distinguished between the first condition, applied in the static case, and the second condition, for the non-static system. In the correspondence with Poincaré, condition (9) is used (Darwin à Poincaré - 1901-08-03, Poincaré à Darwin - 1901-09), while Liapunov employed condition (10); see (Liapunov à Poincaré - 1886-12-01).
Poincaré assumed to be a holomorphic function, and noted that the position of the systems under consideration is typically not defined by a finite number of quantities, although generalization to an infinite number of variables is at hand 1885a, 276). According to Schwarzschild (1898, 18), this transition is possible using Lamé functions.
Let us look closer at how Poincaré employs Lamé functions in the study of the Jacobi series. Note first that Poincaré uses two different notations for the functions, a systematic one and an ad hoc one. The systematic notation (Poincaré 1885a, 308) is .55However, as Darwin points out (Darwin à Poincaré - 1901-10-22), on occasion Poincaré writes for . Here, is 1, 2, 3, or 4, according to whether is a polynomial, involves the factor , the factor , or both; is the total degree (hence corresponds to in our presentation of spherical harmonics above), and is consequently called the degree of the function; the order of the function, , corresponds to our above in the sense that reduces to
for , where is a constant and is the operator .
The alternative notation involves indexing the various as they arrive. For example (Poincaré 1885a, 317):
Let denote the force resulting from gravitation and centrifugal force in a point of the surface of an ellipsoid in equilibrium. Then, since the fluid is supposed to be in equilibrium, the direction of is always perpendicular to the surface. Poincaré gave the expression of at the pole (where the centrifugal force is zero) in elliptic coordinates and, using the quantity (see equation 5), obtained
this expression being valid for every point of the surface of the ellipsoid. He then developed the normal displacement into a series of the form
which is possible since Poincaré showed that is a function of only, hence can be considered as constant on the surface. By using this and Liouville’s theorems about Lamé functions discussed above in an evaluation of the energy of the system, he arrived at the following formula for the total potential energy :
where is the potential energy of the ellipsoid, a surface element, and the degree of the Lamé function . The form of the deformed surface is then determined by the , which play the role of the in (8). Thus, the coefficients of the in the above sum are the stability coefficients, and their vanishing is equivalent to the following fundamental equation:
Why is the latter equation responsible for bifurcations? By developing into a series of Lamé functions the part of the potential of the deformed body due to the perturbing forces, and denoting by the coefficients, Poincaré showed that the (determining the figure) emerge from the equations
unless the final factor on the left hand side is zero. Thus for a solution of equation (14), the form of the deformed surface is no longer uniquely determined, and there is bifurcation (Poincaré 1885a, 321).
Poincaré then sought functions for which this is actually the case. One obvious solution is , corresponding to an infinitesimal movement of translation of the ellipsoid which does not alter the state of equilibrium. He found other functions , and called the function (of degree 2) for which the Jacobi series bifurcates from the MacLaurin series (Poincaré 1885a, 335) such that:
In order for a Jacobi ellipsoid to be an ellipsoid of bifurcation, a second stability coefficient has to cancel out, which leads to the two equations (Poincaré 1885a, 341):
Poincaré shows that the only satisfying these equations are the , the zonal harmonics of degree , for (Poincaré 1885a, 343).66The exact expression of is Note that the notation for Lamé functions is slightly inconsistent throughout the Acta paper: Poincaré writes this function on p. 343, but it is clear from the fact that the function is a polynomial in of degree that he should have written it in agreement with the earlier definition. Compare also Darwin to Poincaré (Darwin à Poincaré - 1901-10-22). The coefficient of stability corresponding to this case is called . By considering the equation (where is the normal displacement for and thus a function involving and ), Poincaré obtained the lines of intersection of the ellipsoid with the deformed figure corresponding to , and provided a rough sketch (reproduced in Darwin à Poincaré - 1901-05-28) showing a pear-shaped figure. Similarly, the coefficients for will give rise to other bifurcating series composed of figures with constrictions. In a popular presentation, Poincaré (1892) provided sketches of some of these figures, and an intuitive interpretation of the harmonic functions involved as oscillations giving rise to normal displacements.
With the discovery of the pear-shaped figure of equilibrium, Poincaré thought he had closed the gap discussed by Thomson & Tait (1879b). But what about the stability of the new figures? Poincaré thought it admissible to apply the principle of exchange of stabilities in this case. This principle applies, for instance, at the point of bifurcation of the MacLaurin series: the MacLaurin ellipsoids cease to be stable at this point, and the Jacobi ellipsoids are stable from this point on. Poincaré held the situation to be similar at the first point of bifurcation of the Jacobi series, where the series of pear-shaped figures begins (he showed in his paper that the Jacobi ellipsoids actually cease to be stable at the point of bifurcation leading to the series of pear-shaped figures, thus proving Thomson and Tait’s assertion, mentioned above).
Over the next decade, Poincaré added no further insight but affirmed the stability of the pear-shaped figures, while Karl Schwarzschild’s doctoral thesis (1898) held the argument of exchange of stability to be fallacious in the case of the series of pear-shaped figures. Schwarzschild thus reopened the question of the stability of this series.
Darwin’s work on equilibrium figures prior to 1901
Darwin became interested in figures of equilibrium very early in his career. His interest was motivated by problems of cosmogony and geophysics.77The roots of Darwin’s geophysical research in his father’s evolutionary theory, and his uncomfortable role as an intermediary between his father and Lord Kelvin are discussed by Kushner (1993). In July 1881, while reflecting on the rapid motion of a Martian satellite, Darwin wondered if the earliest form of a satellite might not be annular (Darwin 1881, 534). Some years later he presented two papers, one on the Jacobi ellipsoid (Darwin 1886), and another in which he investigated pear-shaped figures of equilibrium (Darwin 1887). These papers were written independently of Poincaré’s Acta paper (Poincaré 1885a). Like Poincaré, Darwin was motivated by Thomson’s discussion of the “most interesting gap” (Darwin 1887, 420). However, unlike Poincaré who had found pear-shaped figures by investigating the series of Jacobian ellipsoids for decreasing angular velocity, Darwin took the configuration of two separated spherical bodies as his point of departure, and studied the further development of the equilibrium figure “backwards in time”, so to say, in agreement with his motivation from cosmogony. In this paper, he confined himself to the use of spherical harmonic analysis.
Also important for understanding the Poincaré-Darwin exchange is Darwin’s approach to the theory of ellipsoidal harmonic functions. He sought to develop this theory in a form more appropriate for numerical calculations (Darwin 1901, 462). His major innovations in this respect were a new approach to elliptic coordinates, and the introduction of a particular notation for the functions, analogous to the notation used in the spherical case, and deviating from Poincaré’s notation. Darwin’s elliptic coordinates are defined with respect to the three roots , , of the cubic in
Darwin then writes
where and are given by the three axes of the fundamental ellipsoid of reference88In his paper on the stability of the pear-shaped figure, Darwin (1903a) considers as an ellipsoid of reference for a certain value of the critical Jacobian ellipsoid enclosing the whole pear; compare, for instance, Darwin to Poincaré, 21.06.1901 (Darwin à Poincaré - 1901-06-21 ). In a loose sense, Darwin’s fundamental ellipsoid of reference figures in the construction of the coordinates, as explained by Darwin in the case of spheroidal coordinates. In this case , and can reasonably be thought of as the radial, latitudinal, and longitudinal coordinates, respectively. In the general case, the geometry involved is more difficult, but Darwin affirms that the above interpretation of the coordinates is still acceptable (Darwin 1901, 549).
Then , and are the coordinates of a point. As Darwin observed, this presentation is less symmetric than Lamé’s, and instead of Lamé’s equation (3) and corresponding equations in the coordinates , (in the sense of Lamé), Darwin had to consider three differential equations the third of which differs from the two other in the same manner as the equation for differs from the equations for , (Darwin 1901, 467). Of course, a product of three functions, each of which is a solution of one of the three equations will be a normal solution of Laplace’s equation in Darwin’s coordinates. The functions in and in are related to the spherical and functions discussed above, while the functions in involve a cosine or sine of a multiple of .
As announced, Darwin’s notation for these functions is analogous to the notations of the spherical harmonics. Note, however, that he writes where we wrote above, and correspondingly for the functions; thus, is the complete degree of Legendre’s polynomial, and the order of derivation. Darwin observes that contrary to the spherical case, there are two types of functions, divisible or not by the following factor:
( being defined similarly). The indivisible functions are written , and the divisible ones . There are also two types of functions of , expressed as and (or and , according to whether they involve a cosine or a sine of ).99These functions are related to the spherical harmonics in that the functions of the type can be developed in a certain manner into a sum of ordinary functions, while the functions of the type can be so developed only up to the factor . The precise form of the function to be taken in the normal solution depends on the evenness or oddness of and of and on whether a cosine or a sine of is involved; thus, Darwin has to distinguish eight cases (four of which involve a function and the other four a function).
The functions relate to the functions much like the functions relate to the functions in Poincaré’s notation of Lamé functions (see equation 4 above).1010The precise relation of Darwin’s and Poincaré’s notation was explained by Darwin in his letter to Poincaré of 22.10.1901 (Darwin à Poincaré - 1901-10-22 ) in the case of functions and in a note to Poincaré’s paper (Poincaré 1902b) in the case of functions. Since functions fall into two classes, the same is true for functions (which are written or ), and we have
Darwin determined these functions rigorously for , , 1, 2, and gave approximate formulæ for the higher functions (Darwin 1902a, 488); in his subsequent paper concerned with the determination of the limiting stability of the Jacobi series, he added rigorous determinations of the functions for , , 1, 2 which are crucial for this purpose, being the third zonal harmonic (Darwin 1902b, 307ff).
Darwin provided the formulæ of the normal displacement, the surface density, and the internal and external potentials for a given surface harmonic (Darwin 1901, 505).1111The expression for a normal displacement of an element of the ellipsoid for the third zonal harmonic was given in Darwin’s letter to Poincaré of 28.05.1901 (Darwin à Poincaré - 1901-05-28). The stability coefficients are (Darwin 1902b, 320)
Darwin explained (p. 514) that in order to develop an arbitrary function of , in a series of ellipsoidal harmonics it is necessary to know the integrals over the surface of the ellipsoid of the squares of surface harmonics multiplied by the perpendicular on the tangent plane. He provided a table (p. 548) collecting these integrals showing, once again, his interest in numerical results.
Poincaré’s and Darwin’s strategies for proving stability
The correspondence shows that it was Darwin and not Poincaré who started their joint attack of the question of the stability of the pear-shaped figure. From the outset, the goal of providing a new setting for the theory of ellipsoidal harmonic functions was geared towards obtaining exact numerical results with respect to this figure (Darwin 1901, 462). As a early achievement of this program, he obtained good numerical data about the critical Jacobi ellipsoid — a victory he shared with Poincaré on 28.05.1901 (Darwin à Poincaré - 1901-05-28 ).
In the same letter, Darwin expressed doubts about Schwarzschild’s objection against Poincaré’s stability argument for the pear-shaped figure. Poincaré did not harbor such doubts, and in reply, sketched a program designed to decide the stability question, and which formed the basis of their exchange and the related papers (Poincaré à Darwin - 1901-05-29). The pursuit of the project required more precise numerical data concerning the physical magnitudes, and the shape of the figures. Poincaré hoped that Darwin’s new tools might afford the means to acquire this data, and Darwin presented a strategy for their calculation.
Poincaré promised Darwin that he would work on the problem (Poincaré à Darwin - 1901-06 ); he communicated his result in the form of a long letter (later supplemented by an equally long commentary) in which he presented his strategy (Poincaré à Darwin - 1901-09, Poincaré à Darwin - 1901-08).
The determination of deformations of an equilibrium figure yielding new equilibrium figures involves studying the behavior under deformation of terms entering the equilibrium condition (the energy and the moment of inertia ). The normal displacement is developed in a harmonic series (see equation 12 above), and the coefficients of the development determine the shape of the new figure. Poincaré expressed these coefficients as and later in the Acta paper, but wrote them as in the new paper; we follow the latter convention. The terms and are developed in a series with respect to powers of the , which reveals the influence that the variables determining the shape of the new figure have on and . This is not only important for equilibrium but for stability as well, since and enter into the stability condition.
The determination of the figure that Poincaré provided in the Acta paper is correct to the first order (Poincaré 1885a, 347); and higher powers were neglected. Obtaining a higher-order approximation has an effect in terms of harmonic functions, as Darwin observed:
The pear-shaped figure is a deformation of the critical Jacobian ellipsoid, and to the first order of small quantities it is expressed by the third zonal harmonic with respect to the longest axis of the ellipsoid. In the higher approximation a number of other harmonic terms will arise, and the coefficients of these new terms will be of the second order of small quantities. (Darwin 1903a, 253)
What this means is that while the harmonic series for in the first order reduces to a single term (the coefficient corresponding to alone are retained), other terms must be considered for a higher-order approximation. Poincaré tried to determine the coefficients of the in the development of and up to the second order, and found he had to calculate infinitely many elliptic integrals (Poincaré à Darwin - 1901-09).
The stability question
Despite his efforts, Poincaré was unable to either prove or disprove the stability of the pear-shaped figure (Poincaré 1902b). He provided the inequality that was satisfied in case of stability but did not pursue a numerical evaluation. After evoking the possibility if evaluating the integrals involved with Weierstrass-Schwarz theory of elliptic functions, Poincaré concluded:
La détermination de chacune des intégrales ne présente [… ] aucune difficulté, et le calcul serait en somme facile si ces intégrales n’étaient en nombre infini. (Poincaré 1902b, 368)
He further identified two terms that depend on infinitely many integrals, denoted and , both of which he had mentioned in his exchange with Darwin.1212See Poincaré to Darwin (Poincaré à Darwin - 1901-09). The first term is expressed as in the letter, while denotes the problematic portion of . Poincaré then took up the difference of the two problematic terms, and observed:
Heureusement il ne s’agit pas de calculer la valeur exacte de cette quantité, mais de reconnaître si elle satisfait à une certaine inégalité. (Poincaré 1902b, 369)
The problem remains quite difficult. After some pages of preliminary calculations, Poincaré ends his memoir with the following remark:
Si donc il y a instabilité, c’est-à-dire si l’inégalité précédente n’a pas lieu, il suffira pour le constater de calculer un nombre fini de termes du premier membre. Si au contraire il y a stabilité, on ne pourra s’en assurer qu’en calculant la somme des termes positifs du premier membre qui sont en nombre infini, ou en évaluant une limite supérieure de cette somme.
Did Darwin attempt to carry out this program? In his next paper on the stability of the pear-shaped figure, Darwin explained his motivation as follows:
At the end of [my previous paper] it was stated that the stability of the figure could not be proved definitely without approximation of a higher order of accuracy. After some correspondence with M. Poincaré during the course of my work, I made an attempt to carry out this further approximation, but found that the expression for a certain portion of the energy entirely foiled me. Meanwhile he had turned his attention to the subject, and he has shown [… ] by a method of the greatest ingenuity and skill how the problem may be solved. He has not, however, pursued the arduous task of converting his analytical results into numbers, so that he left the question of the stability of the pear still unanswered.
M. Poincaré was so kind as to allow me to detain his manuscript on its way to the Royal Society for two or three days, and I devoted that time almost entirely to understanding the method of his attack on the key of the position – namely, the method of double layers [… ]. (Darwin 1903a, 252)
Darwin was certainly aware of the necessity of calculating infinitely many terms:
Let denote any surface harmonic, so that is the same thing as or . The third zonal harmonic deformation will then be or , where is of the first order of small quantities. On account of the symmetry of the figure, the new terms cannot involve the sine functions or , and moreover, the rank must necessarily be even.
Suppose that the new terms are expressed by for all values of from 1 to infinity, and with equal to , , , … , or . Then all the ’s are of order , excepting which is zero. (Darwin 1903a, 253)
Darwin commented on his calculations in a letter to Schwarzschild of June 1, 1902, where he announced his intention to give a talk on the question at the astronomers’ meeting of August 1902 in Göttingen:
I have just completed the proof of the stability in question — not, I regret to say, a rigorous algebraic proof but one which renders the result practically certain. I have determined the coefficients of 8 new harmonic terms of the second order of small quantities in the expression for the pear. In order that there may be stability the sum of the squares of those coefficients each multiplied by a certain quantity must be less than a certain other quantity. Taking 8 harmonics it is decisively less, and the coefficients of the higher harmonics contribute very little to the sum in question. It seems practically impossible that the 8th, 10th, 12th etc. harmonics should present large coefficients in the expression for the pear — on the contrary the evidence shows the coefficients to diminish rapidly as far as the 6th harmonic. Hence I consider the stability assured.
It remains for me to compute the deformation represented by these terms & so to obtain a better figure. This is no small task but I expect to have done it long before the meeting. (Darwin to Schwarzschild, 01.06.1902, Cod. Ms. K. Schwarzschild Briefe 154, Niedersächsische Staats- und Universitätsbibliothek Göttingen)
Darwin believed he could determine the stability question without calculating the infinite number of terms relevant to the problem according to Poincaré.1313Darwin (1903b, 312) advances a similar argument. Even so, he was quite aware that his considerations fell short of a rigorous proof, and that Liapunov had found the pear-shaped figure to be unstable in 1905.
Part of the motivation for studying pear-shaped figures of equilibrium stemmed from their potential application in the cosmological realm. Poincaré observed that the theory of equilibrium figures of a homogeneous rotating mass of fluid does not directly apply to problems of cosmogony, but both he and Darwin saw a future for their work in this domain.1414On the possible role of pear-shaped figures of equilibrium in understanding the formation of binary stars, see Myers to Poincaré (Myers à Poincaré - 1901-09-24 ) and Poincaré to Darwin (Poincaré à Darwin - 1901-05-29). Darwin expressed as much in the conclusion to his second paper:
Notwithstanding the caveat which M. Poincaré enters as to the dangers of applying these results to heterogeneous masses and to cosmogony, I cannot restrain myself from joining him in seeing in this almost life-like process a counterpart to at least one form of the birth of double stars, planets, and satellites. (Darwin 1903b, 314)
- Index biographique de l’Académie des sciences, 1666 à 1978. Gauthier-Villars, Paris.
- Poincaré and the Three Body Problem. AMS/LMS, Providence.
- Ellipsoidal Figures of Equilibrium. Yale University Press, New Haven.
- Leçons sur la théorie générale des surfaces et les applications géométriques du Calcul infinitésimal, 4 vols.. Gauthier-Villars, Paris.
- On the tidal friction of a planet attended by several satellites and on the evolution of the solar system. Philosophical Transactions of the Royal Society of London 172, pp. 491–535. External Links: .
- On Jacobi’s figure of equilibrium for a rotating mass of fluid. Proceedings of the Royal Society of London 41, pp. 319–336. External Links:
- The pear-shaped figure of equilibrium of a rotating mass of liquid. Proceedings of the Royal Society of London 69, pp. 147–148. External Links: .
- Ellipsoidal harmonic analysis. Philosophical Transactions of the Royal Society A 197, pp. 461–557.
- On the pear-shaped figure of equilibrium of a rotating mass of liquid. Philosophical Transactions of the Royal Society A 198, pp. 301–331.
- The approximate determination of the form of Maclaurin’s spheroid. Transactions of the American Mathematical Society 4 (2), pp. 113–133.
- The stability of the pear-shaped figure of equilibrium. Philosophical Transactions of the Royal Society A 200, pp. 251–314.
- The Theory of Spherical and Ellipsoidal Harmonics. Cambridge University Press, Cambridge.
- Über die Figur des Gleichgewichts. Annalen der Physik und Chemie 33, pp. 229–238. External Links:
- Darwin, George Howard. In Dictionary of Scientific Biography, Volume 3, C. C. Gillispie (Ed.), pp. 582–584.
- Ueber Systeme von Funktionen mehrerer Variabeln (erster Abhandlung). Monatsberichte der Königlichen Preussische Akademie des Wissenschaften zu Berlin, pp. 159–193.
- Ueber Systeme von Funktionen mehrerer Variabeln (zweite Abhandlung). Monatsberichte der Königlichen Preussische Akademie des Wissenschaften zu Berlin, pp. 688–698.
- Sir George Darwin and a British school of geophysics. Osiris 8, pp. 196–223. External Links: .
- Mécanique analytique, Volume 1. 2e edition, Courcier, Paris. External Links: .
- Astronomie und Mathematik in ihrer Wechselwirkung; Mathematische Probleme in der Theorie der Figur der Himmelskörper. In Leipziger Mathematische Antrittsvorlesungen: Auswahl aus den Jahren 1869–1922, H. Beckert and W. Purkert (Eds.), pp. 146–185.
- Joseph Liouville’s work on the figures of equilibrium of a rotating mass of fluid. Archive for History of Exact Sciences 30, pp. 113–166.
- A Treatise of Fluxions. T.W. & T. Ruddiman, Edinburgh. External Links: .
- De æquilibrii formis Ellipsoidicis. Journal für die reine und angewandte Mathematik 24, pp. 44–59.
- Die Theorie der Gleichgewichtsfiguren der Himmelskörper. In Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen, Bd. 6, Astronomie, Teil 2B, S. Oppenheim and W. Dyck (Eds.), pp. 1–79.
- Sur l’équilibre d’une masse fluide animée d’un mouvement de rotation. Acta mathematica 7 (1), pp. 259–380. External Links: .
- Sur l’équilibre d’une masse fluide animée d’un mouvement de rotation. Comptes rendus hebdomadaires de l’Académie des sciences de Paris 100 (16), pp. 1068–1070. External Links:
- Sur l’équilibre d’une masse fluide animée d’un mouvement de rotation. Comptes rendus hebdomadaires de l’Académie des sciences de Paris 101 (4), pp. 307–309. External Links: .
- Les formes d’équilibre d’une masse fluide en rotation. Revue générale des sciences pures et appliquées 3 (23), pp. 809–815. External Links: .
- Figures d’équilibre d’une masse fluide. C. Naud, Paris. External Links: .
- Sur la stabilité de l’équilibre des figures piriformes affectées par une masse fluide en rotation. Philosophical Transactions of the Royal Society A 198, pp. 333–373. External Links:
- Die Poincaré’sche Theorie des Gleichgewichts einer homogenen rotierenden Flüssigkeitsmasse. Neue Annalen der königlichen Sternwarte in Bogenhausen bei München 3, pp. 231–299. External Links: .
- Treatise on Natural Philosophy, Volume 1, Part 1. 2e edition, Cambridge University Press, Cambridge. External Links: .
- Treatise on Natural Philosophy. 2e edition, Cambridge University Press, Cambridge. External Links: .
- A History of the Mathematical Theories of Attraction and the Figure of Earth, from the Time of Newton to that of Laplace. Macmillan, London. External Links: .