User:Tohline/SSC/Perturbations
From VisTrailsWiki
Spherically Symmetric Configurations (Stability — Part II)
 Tiled Menu  Tables of Content  Banner Video  Tohline Home Page  
Suppose we now want to study the stability of one of the spherically symmetric, equilibrium structures that have been derived elsewhere. The identified set of simplified, timedependent governing equations will tell us how the configuration will respond to an applied radial (i.e., spherically symmetric) perturbation that pushes the configuration slightly away from its initial equilibrium state.
Very useful reviews of this topic include:
 A book titled, The Pulsation Theory of Variable Stars, by S. Rosseland, 1969 (New York: Dover Publications, Inc.) … first published at the Clarendon Press, Oxford, in 1949.
 An Annual Reviews article titled, Pulsation Theory by Christy (1965) and Cox (1967)
Assembling the Key Relations
Governing Equations
After combining the Euler equation with the Poisson equation in essentially the manner outlined by the "structural solution strategy" we have called Technique 1, the relevant set of timedependent governing equations is:
Equation of Continuity
Euler + Poisson Equations
Adiabatic Form of the
First Law of Thermodynamics
where,
,
and, as before, the mass enclosed inside radius r is,
.
Consistent Lagrangian Formulation
The (Lagrangian) time derivatives in these equations define how a given physical parameter — for example, , , or — should vary with time in a (Lagrangian) fluid element that is not fixed in space but, rather, is moving along with the flow. However, the radial derivatives describe the spatial variation of various physical parameters as measured at fixed locations in space; that is, as written, the radial derivatives do not track conditions as viewed by a (Lagrangian) fluid element that is moving along with the flow because the position r of each (Lagrangian) fluid element is itself changing with time. A proper Lagrangian representation of the spatial derivatives can be formulated in the case of onedimensional, spherically symmetric flows by using (or, equivalently, ) instead of as the independent variable. Making the substitution,
in the first two equations above gives, respectively,
and,
Supplemental Relations
As has been discussed elsewhere, in any analysis of timedependent flows, the principal governing equations must be supplemented by adopting an equation of state for the gas and by specifying initial conditions. Here, initial conditions will be given by the structural properties — for example, and — of one of our derived, spherically symmetric equilibrium structures — for example, a uniformdensity sphere or an polytrope. We will adopt an ideal gas equation of state and, specifically, the relation,
.
As a result, the adiabatic form of the 1^{st} law of thermodynamics can be written as,
Summary Set of Nonlinear Governing Relations
In summary, the following three onedimensional ODEs define the physical relationship between the three dependent variables , , and , each of which should be expressible as a function of the two independent (Lagrangian) variables, and :
Equation of Continuity
,
Euler + Poisson Equations
Adiabatic Form of the
First Law of Thermodynamics
The Eigenvalue Problem
Here we adopt a notation and presentation very similar to what can be found in §38 of [KW94]. In particular, we will use rather than the more cumbersome to tag each (Lagrangian) mass shell, both initially and at all later times. As is customary in perturbation studies throughout the field of physics, we will assume that the pressure , density , and radial position of each mass shell at any time can be written in the form,









where the subscript "1" denotes the variation of any variable away from its initial value (subscript 0) as drawn from the derived structure of the selected initial equilibrium model. These expressions encompass the hypothesis that, when perturbations away from the initial equilibrium state are sufficiently small — that is, , , and all — the perturbation can be treated as a product of functions that are separable in and , and that in general the timedependent component can be represented by an exponential with an imaginary argument. The task is to solve a linearized version of the coupled set of key relations for the "eigenfunctions" , , and associated with various characteristic "eigenfrequencies" of the underlying equilibrium model.
Linearizing the Key Equations
Adiabatic form of the First Law of Thermodynamics
Plugging the perturbed expressions for and into the adiabatic form of the First Law of Thermodynamics, we obtain,






Because we are seeking solutions that will be satisfied throughout the configuration — that is, for all mass shells — the expression inside the curly brackets must be zero. Hence,
Also, because we are only examining deviations from the initial equilibrium state in which and are both , then the third term on the lefthandside of this equation, which contains a product of these two small quantities, must be much smaller than the first two terms. As is standard in perturbation theory throughout physics, for our stability analysis, we will drop this "quadradic" term and keep only terms that are linear in the small quantities. This leads to the following algebraic relationship between and :
Continuity Equation
Adopting the same approach, we will now "linearize" each term in the continuity equation:















In the last step of this last expression we have made use of the fact that, in the initial, unperturbed equilibrium model, . Combining all of these terms and linearizing the combined expression further, the linearized continuity equation becomes,









or,
where, to obtain this last expression, we have switched back from differentiation with respect to to differentiation with respect to .
Euler + Poisson Equations
Finally, linearizing each term in the combined "Euler + Poisson" equation gives:









Hence, the combined linearized relation is,
where, in order to obtain this last expression we have made use of the fact that, in the unperturbed equilibrium configuration,
Switching back from differentiation with respect to to differentiation with respect to , the "Euler + Poisson" combined linearized relation can alternatively be written as,
Summary Set of Linearized Equations
In summary, the following three linearized equations describe the physical relationship between the three dimensionless perturbation amplitudes , and , for various characteristic eigenfrequencies, :
Linearized Linearized Linearized 
It is customary to combine these three relations to obtain a single, secondorder ODE in terms of the fractional displacement, as follows. Using the third expression to replace by in the first expression, then differentiating the first expression with respect to generates,






Similarly, replacing by in the second expression, then using the first expression to eliminate gives,






Finally, then, combining these two expressions gives the desired 2^{nd}order ODE, which we will henceforth refer to as the,
After deriving this equation in his review article titled, Pulsating Stars (see related information, below),
Cox (1974) offers the following immediate observation: If the motion following a perturbation were homolgous — that is, if were constant in space — then the terms involving the first and second derivatives of would vanish. These terms therefore arise solely from differential expansion or compression of the configuration's layers. For the idealized case of homologous oscillations, the governing linearized equation becomes,
The physical interpretation of this relation is that stable oscillatory motion is possible only for Otherwise, for "the motion will be aperiodic on a time scale which is seen to be of the general order of magnitude of the … freefall time … [and] this behaviour corresponds to dynamical instability …"
Boundary Conditions
Two boundary conditions must accompany the derived, 2^{nd}order ODE. It is customary to establish one of these conditions at the center of the spherically symmetric configuration, and the other at the surface.
Inner Boundary
In order for the solution to be physically reasonable, the eigenfunction, , must be "regular" at the center of the configuration. This demand will be met if the function's first derivative goes to zero at the center, that is, if,
at
Outer Boundary
Set the Surface Pressure Fluctuation to Zero
Using the above "Linearized Adiabatic Form of the First Law of Thermodynamics" to replace the fractional density variation, , in favor of the fractional pressure variation, in the above "Linearized Equation of Continuity", gives,



Ledoux & Pekeris (1941; see additional discussion below) suggest that an adequate outer boundary condition is provided by setting the fractional pressure fluctuation, , to zero at the surface. Leaning on this justderived relation, therefore, they recommend (see their equation 4) imposing the following surface boundary constraint on the fractional radial variation, :


at 
Ensure FiniteAmplitude Fluctuations
Here we follow the discussion provided by J. P. Cox (1967); specifically, the relevant discussion begins in the middle of p. 21, in association with Cox's equation (3.7). Text drawn directly from J. P. Cox (1967) is presented here in green.
At the surface of our oscillating, spherically symmetric configuration we must require, in general, that all relative pulsation variables … be finite. The specific surface condition can be obtained most generally from the above derived,
Linearized Euler + Poisson Equations
Multiplying through by and remembering that
this relation assumes the form of equation (3.7) in J. P. Cox (1967), namely,






where, as is highlighted by Cox in association with his equation (2.42'),
is the (equilibrium) pressure scale height of the configuration. (Note that, the pressure scale height is often represented by the variable, , instead of .)
Since at the photosphere for most stars (and if is assumed to vanish at the surface), a reasonable surface boundary condition would be to force the terms inside the square brackets on the righthand side of this expression to sum to zero, that is, for the pressure fluctuation to obey the relation,





at 
This boundary condition prevents from having a large (or infinite) value at and also requires that be finite at even if here. This is the surface boundary condition specified in two key review articles on this subject — one by R. F. Christy (1965; see discussion below) and another, almost a decade later, by J. P. Cox (1974; see additional discussion below).
Christy (1965) and Cox (1967) also point out that, by calling upon the above "Linearized Adiabatic Form of the First Law of Thermodynamics" to replace the fractional pressure variation, , in favor of the fractional density variation, ; then using the above "Linearized Equation of Continuity" to replace in favor of the fractional radial displacement, , the same boundary condition may be written as,








at 
which, as Cox (1967) summarizes (see following his equation 3.9), gives the logarithmic slope of the relative pulsation amplitude at in terms of and the dimensionless frequency and assures that both and are finite at . This is the boundary condition conventionally used in connection with the adiabatic wave equation.
Ignore Atmospheric Inertia
Here we echo the discussion presented in §38.1 of [KW94], where an alternative boundary condition at the surface of our spherically symmetric, oscillating configuration is recommended; text drawn verbatim from this reference is shown here in green. We simplify the atmosphere by assuming its mass to be comprised in a thin layer at , which follows the changing during the oscillations and provides the outer boundary condition at each moment by its weight. This amounts to ignoring the inertia of this very thin, nearly massless layer and is accomplished, in practice, by setting to zero the second timederivative on the lefthand side of the above "Euler + Poisson Equation". Hence, the pressure, , at the base of the outermost (atmospheric) layer of the oscillating configuration is described, at all times, by,









Appreciating that and are the only timevarying quantities in this expression, perturbing then linearizing the expression gives (at ),








at 
This is identical to the boundary condition presented as equation (38.12) in [KW94]. Combining this condition with the above "linearized adiabatic form of the first law of thermodynamics" allows us to write, as well,


at 
and, in combination with the above "linearized continuity equation", to also conclude that,





at 
This matches the boundary condition, as presented in equation (38.13) of [KW94].
Implications
First Case: If the surface pressure fluctuation is set to zero, we have just deduced that, at the surface of the configuration,
This implies that,












It is customary to normalize the radial eigenfunction, , in such a way that it goes to unity at the surface. Therefore, in order to satisfy this "first case" boundary condition, at the surface of the oscillating configuration, the eigenfunction must display the behavior,
Second Case: If, instead, we insist that the first derivative of the surface pressure fluctuation be zero, then, as we have just deduced,


at 
But, rearranging terms in the full linear adiabatic wave equation, we see that, throughout the entire structure (including the surface),



Since, according to the "second case" surface boundary condition, the term inside the square brackets on the lefthand side of this expression must be zero at the surface, it must also be true that the term inside the square brackets on the righthand side is zero. That is, the "second case" boundary condition will be satisfied if,


at 











at 
Again, given that it is customary to normalize the radial eigenfunction, , such that it goes to unity at the surface, the eigenfunction must display the behavior,
at the surface of the oscillating configuration in order to satisfy this "second case" boundary condition.
Third Case: If we follow the lead of [KW94] and choose to establish a surface boundary condition that effectively ignores the inertia of the configuration's atmosphere, then, as we have just determined,


at 
As in the "first case" discussed above, this constraint leads to a powerlaw behavior at the surface. Specifically, this "third case" boundary condition — along with the convention that at the surface — demands an eigenfunction whose behavior at the surface is,
What Makes This an Eigenvalue Problem?
Our own study of radial oscillations in spherically symmetric, selfgravitating fluids has fostered the following appreciation. Generally, with knowledge only of the boundary condition at the center of the configuration and an associated powerseries expansion that provides a description of the displacement function, x(r_{0}), near the center — see, for example, the expansion that is appropriate for polytropic or for isothermal spheres — the LAWE can be straightforwardly integrated (numerically) from the center, outward to (or at least very near to) the surface for practically any specified value of the (square of the) oscillation frequency, . As a result, integration from the center, outward, can very naturally generate a continuous spectrum of displacement functions, if the integration is unconstrained by specification of an outer boundary condition. This is illustrated, for example, by Figure 2 in our discussion of oscillating n = 3 polytropes. Typically, at low frequencies, the displacement function exhibits no, or only a few, radial nodes; but the number of radial nodes that reside within the volume of the configuration steadily grows as the specified frequency increases.
The continuous spectrum is transformed into a discrete spectrum of oscillation modes when the outward integration is forced to generate a displacement function whose behavior at the configuration's surface matches a specific surface boundary condition. For example, as described above, if the aim is to ensure that there are no pressure fluctuations at the surface throughout an oscillation, then the only physically relevant displacement functions are the ones whose logarithmic radial derivative at the surface is negative three. And each of these relevant displacement functions — now, an eigenfunction — will be associated with a discrete value the oscillation frequency — the associated eigenfrequency. Understanding this interplay between a derived solution to the LAWE and the imposed boundary condition helps clarify why this is an eigenvalue problem.
Classic Papers that Derive & Use this Relation
Eddington (1926)
To our knowledge, a derivation of this governing 2ndorder ODE was first presented by A. S. Eddington (1926) in a book titled, The Internal Constitution of the Stars. (This entire book has been digitally scanned and is now available online.) The derived expression, which appears on p. 188 as equation (127.6) of Eddington's book, is presented in the following, framed image.
Pulsation equation extracted^{†} from p. 188 of A. S. Eddington (1926) "The Internal Constitution of the Stars"(Cambridge: Cambridge University Press) 

^{†}Mathematical expressions have been displayed here, as a single digital image, with a layout that is modified from the original publication. 
The similarity between Eddington's expression and the governing 2ndorder ODE that we have derived is immediately apparent. Specifically, simply after inserting Eddington's definition of his composite variable, , and making the substitutions,
and
Eddington's pulsation equation becomes,



which exactly matches our derived governing relation.
Ledoux and Pekeris (1941)
Historically, by the 1940s, the expression just derived was a relatively familiar one to astrophysicists. For example, the opening paragraph of a 1941 paper by Ledoux & Pekeris (1941, ApJ, 94, 124), reads:
Paragraph extracted from P. Ledoux & C. L. Pekeris (1941)
"Radial Pulsations of Stars"
ApJ, vol. 94, pp. 124135 © American Astronomical Society 
If we divide their equation (1) through by and recognize that,
we obtain,
This is clearly the same 2^{nd}order, ordinary differential equation as the one we have derived, but with a more general definition of the adiabatic exponent that allows consideration of a situation where the total pressure is a sum of both gas and radiation pressure.
Schwarzschild (1941)
In the same volume of The Astrophysical Journal, Schwarzschild (1941) published work on "Overtone Pulsations for the Standard [Stellar] Model." The following excerpt has been drawn from the first page of this article.
Paragraph extracted from M. Schwarzschild (1941)
"Overtone Pulsations for the Standard Model"
ApJ, vol. 94, pp. 245  252 © American Astronomical Society 
^{3}A. S. Eddington (1930), The Internal Constitution of the Stars, pp. 188 and 192. 
The similarity between Schwarzschild's "pulsation equation" and the governing 2ndorder ODE that we have derived is immediately apparent; for example, the eigenfrequency, , is the same in both,
and
But the two equations are not exactly the same. To show this, we begin by comparing the last term on the lefthandside in both expressions and presume that Schwarzschild's is related to the state variables in our equation as,
Restricting the discussion to only polytropic equations of state — that is, — we can write,



which means that,



where the last step results from recalling that, by our definition above, the unperturbed gravitational acceleration is,
Hence, when considering polytropic configurations, the following substitutions are appropriate between the two equations:
and
Making these substitutions into Schwarzschild's pulsation equation gives,

Appreciating that, in Schwarzschild's expression, , we see that our expression matches his if and only if . This is, indeed, precisely the "standard model" that Schwarzschild was considering.
In a separate chapter that discusses the radial oscillations of n =3 polytropes, we provide a much more indepth review of this published investigation by Schwarzshild.
Review Article by Christy (1966)
In the review by R. F. Christy (1966) titled, Pulsation Theory, this key 2^{nd}order ODE appears as equation (5) in the form shown by the following boxedin (slightly edited) excerpt:
Pulsation Equation extracted^{†} from R. F. Christy (1966)
"Pulsation Theory"
Annual Review of Astronomy & Astrophysics^{®}, vol. 4, pp. 353  392 © Annual Reviews 

^{†}Mathematical expressions displayed here, as a single digital image, with presentation order & layout modified from the original publication.
^{®}Copyright 2015 Annual Reviews. All rights reserved. The Annual Reviews logo, and other Annual Reviews products referenced herein are either registered trademarks or trademarks of Annual Reviews. All other marks are the property of their respective owner and/or licensor. 
Correspondence with our derived equation becomes clear by appreciating that Christy's and that,
hence,
Making these substitutions and multiplying Christy's equation through by gives,



Review Article by Cox (1974)
In an excellent review of "Pulsating Stars", J. P. Cox (1974, Reports on Progress in Physics, 37, 563) presents a full derivation of, what he refers to as, the adiabatic wave equation. It appears as equation (5.34) in the form displayed in the following boxedin image:
Adiabatic Wave Equation extracted^{†} from J. P. Cox (1974)
"Pulsating Stars"
Reports on Progress in Physics, vol. 37, pp. 563  698 © IOP Publishing 

^{†}Equation displayed here, as a single digital image, exactly as it appears in the original publication. 
Recognizing the correspondence with our derived expression requires, first, switching the independent variable from to via the relation identified, above, namely,



to obtain,









Then, using the definition of , also as provided above, to facilitate the substitution,
gives,



which, apart from the adoption of different variable names, exactly matches our derived expression.
Bonnor (1957)
In a paper titled, "Jeans' Formula for Gravitational Instability," Bonnor (1957, MNRAS, 117, 104) carried out a linear perturbation analysis, preferring to examine the development of Eulerian fluctuations in the matter density rather than the development of Lagrangian position displacements. Here we show the relationship between his approach to a perturbation analysis and the one that we have focused on, above.
Linearized Equations on a Static Background
First, we examine how Bonnor's (1957) linearized Euler equation (2.7) was derived from the nonlinear Euler equation, numbered (2.1) in his paper.
Bonnor's (1957, MNRAS, 117, 104) Derivation 


Original nonlinear Euler Equation 

Linearized Euler Equation 
As has been made clear in our introductory discussions, the
Eulerian Representation
of the Euler Equation,
can be counted among the principal set of equations that govern the dynamics of selfgravitating fluids. Accepting that he uses the boldface variable instead of to represent the fluid velocity, we see that the lefthand side of Bonnor's equation (2.1) exactly matches the lefthand side of the Euler equation, as we have presented it. The term on the righthand side of Bonnor's equation (2.1) that involves a gradient in the gas pressure also matches ours. What remains is to recognize that, in Bonnor's paper,



This is confirmed by Bonnor's equation (2.6), which presents another one of our identified set of principal governing equations, namely the
in terms of the vector, , specifically,



As we have done in our development of the eigenvalue problem, Bonnor (1957) began the process of linearizing the Euler equation by writing each physical variable in terms of its initial, unperturbed value (denoted by subscript "0") plus a "small quantity." For example, he wrote,





… and we, furthermore, will write … and 






[For future reference, notice that the perturbation variable names that we introduced for density and pressure — see above — are different from the ones used by Bonner. They are related via the expressions, and .] He also initially assumed, as have we, that the unperturbed system is in hydrostatic balance, so,






Notice that — confusion notwithstanding — Bonnor did not affix a subscript to the variable being used to represent the velocity perturbation, at least not initially. So, after setting , the generic velocity vector, , on the lefthand side of his equation (2.1) becomes the small in magnitude velocity perturbation, , on the lefthand side of his equation (2.7); and, in his equation (2.7), the term disappears altogether because it involves the product of two quantities that are both small in magnitude. Although details of the derivation are not presented in Bonnor's (1957) paper, it is reasonable to assume that he took the following steps in linearizing the righthand side of equation (2.1):
RHS of equation (2.1) 














As is shown in the following framed image, if the discussion is restricted only to fluctuations in the radial coordinate direction of a spherically symmetric configuration, in which case , this expression exactly matches the righthand side of the linearized Euler equation, derived and presented as equation (12) by James H. Jeans in 1902 (Philosophical Transactions of the royal Society of London. Series A, 199, 1).
Linearized Euler Equation as Derived and Presented by Jeans (1902) 


The correspondence between the righthandsides of equation (12) from Jeans (1902) and our derived expression [using Bonnor's (1957) variable notation] is clear after accepting the following variable mappings: The lefthand side of equation (12) from Jeans (1902) also matches the lefthand side of Bonnor's (1957) linearized Euler equation, although this may not be immediately apparent because the variable "u" has been assigned different meanings in the two publications. In Bonnor's paper, is the perturbed velocity in the radialcoordinate direction; while, in the paper by Jeans, is the radial displacement itself. Hence, 
Now, in order to morph this last expression into the expression found on the righthand side of Bonnor's equation (2.7), as reprinted above, we need to draw upon the result obtained, above, from linearizing the adiabatic form of the First Law of Thermodynamics. After shifting to Bonnor's variable notation (as clarified in earlier remarks), the relevant result is,
In addition, we appreciate that,
Hence (see also Bonnor's equation 3.7),
which allows us to write the righthand side of the linearized Euler equation as,
RHS of equation (2.1) 


But, given the adopted barotropic equation of state, we can also write,
in which case,
RHS of equation (2.1) 








This precisely matches the righthand side of the linearized Euler equation derived and presented as equation (2.7) by Bonnor — see the reprinted equation, above.
Reconciliation
It is instructive to explicitly demonstrate that the linearized "Euler + Poisson" equation that we derived and highlighted in our brief summary subsection, above, namely,

conveys the same physics as Bonnor's (1957) linearized Euler equation when applied to a spherically symmetric system, namely,



Step #1: We recognize that, after linearization, . So, drawing on our earlier detailed handling of the "Euler + Poisson" equations, we can make the replacement,



Step #2: As we have already recognized, swapping between our perturbation notation and Bonnor's leads to the replacement,



Hence,












where we have, again, used the relationship,



Step #3: Implementing these first two substitutions, Bonnor's linearized Euler equation becomes,






Step #4: In order to map Bonnor's to our perturbation notation, we back up to expressions for the gravitational acceleration, as a whole, which establish that, for spherically symmetric systems,






Dimensionless Expression
Let's write this governing, 2ndorder ODE and the key physical variables as dimensionless expressions. First, multiply through by and define the dimensionless radius as,
to obtain,
Now normalize to and to to obtain,
The characteristic time for dynamical oscillations in spherically symmetric configurations (SSC) appears to be,
and the characteristic gravitational acceleration appears to be,
So we can write,
This is the governing relation that we will use to analyze the stability against radial pulsations of spherically symmetric, selfgravitating configurations.
Complementary Approach
Looking back at the set of three, coupled, linearized equations — but using to denote the density fluctuation, rather than , in order to avoid confusion with the differentiation operators,
Linearized Linearized Linearized 
let's combine them into a 2^{nd}order ODE that governs the eigenfunction of the density perturbation, , rather than of the radial displacement, . We begin by using the second equation to obtain an expression for :



From this, we determine that,









Next, we substitute this expression for into the first equation — gradually replacing with , as well — and carry out the differentiation:






See Also
 The History of Radial Stellar Pulsation Theory by A. Gautschy (2003)
 Part I of Spherically Symmetric Configurations: Simplified Governing Equations
 Wave Equation
 Sound Waves and Gravitational Instability — class notes provided online by David H. Weinberg (The Ohio State University)
© 2014  2020 by Joel E. Tohline 