User:Tohline/SSC/Stability/BiPolytrope0 0Old
From VisTrailsWiki
Contents 
Radial Oscillations of a ZeroZero Bipolytrope
This is a chapter that summarizes an accompanying, detailed derivation. A newer version of this chapter, that takes into account a corrected interface matching condition provided by P. Ledoux & Th. Walraven (1958) is provided here.
 Tiled Menu  Tables of Content  Banner Video  Tohline Home Page  
In a separate chapter on astrophysical interesting equilibrium structures, we have derived analytical expressions that define the equilibrium properties of bipolytropic configurations having , that is, bipolytropes in which both the core and the envelope are uniform in density, but the densities in the two regions are different from one another. Letting be the radius and be the total mass of the bipolytrope, these configurations are fully defined once any two of the following three key parameters have been specified: The envelopetocore density ratio, ; the radial location of the envelope/core interface, ; and, the fractional mass that is contained within the core, . These three parameters are related to one another via the expression,



Equilibrium configurations can be constructed that have a wide range of parameter values; specifically,
and,
(We recognize from buoyancy arguments that any configuration in which the envelope density is larger than the core density will be RayleighTaylor unstable, so we restrict our astrophysical discussion to structures for which .)
By employing the linear stability analysis techniques described in an accompanying chapter, we should, in principle, be able to identify a wide range of eigenvectors — that is, radial eigenfunctions and accompanying eigenfrequencies — that are associated with adiabatic radial oscillation modes in any one of these equilibrium, bipolytropic configurations. Using numerical techniques, Murphy & Fiedler (1985), for example, have carried out such an analysis of bipolytropic structures having . A pair of linear adiabatic wave equations (LAWEs) must be solved — one tuned to accommodate the properties of the core and another tuned to accommodate the properties of the envelope — then the pair of eigenfunctions must be matched smoothly at the radial location of the interface; the identified core and envelopeeigenfrequencies must simultaneously match.
After identifying the precise form of the LAWEs that apply to the case of bipolytropes, we discovered that, for a restricted range of key parameters, the pair of equations can both be solved analytically.
Two Separate LAWEs
In an accompanying discussion, we derived the socalled,
For both regions of the bipolytrope, we define the dimensionless (Lagrangian) radial coordinate,
So, the interface is, by definition, located at ; and, the surface is necessarily at . As the material in the bipolytrope's core (envelope) is compressed/decompressed during a radial oscillation, we will assume that heating/cooling occurs in a manner prescribed by an adiabat of index ; in general, . For convenience, we will also adopt the frequently used shorthand "alpha" notation,
and
The Core's LAWE
After adopting, for convenience, the function notation,



we have deduced that, for the core, the LAWE may be written in the form,



where,
and
Not surprisingly, this is identical in form to the eigenvalue problem that was first presented — and solved analytically — by Sterne (1937) in connection with his examination of radial oscillations in isolated uniformdensity spheres. As is demonstrated below, for the core of our zerozero bipolytrope, we can in principle adopt any one of the polynomial eigenfunctions and corresponding eigenfrequencies derived by Sterne.
The Envelope's LAWE
Subsequently, we also have deduced that, for the envelope, the governing LAWE becomes,



where,












We have been unable to demonstrate that this governing equation can be solved analytically for arbitrary pairs of the key model parameters, and . But, if we choose parameter value pairs that satisfy the constraint,
and,
WRONG! The expression that relates to should read,

then the LAWE that is relevant to the envelope simplifies. Specifically, it takes the form,






Shortly after deriving this last expression, we realized that one possible solution is a simple powerlaw eigenfunction of the form,
where the (constant) exponent is one of the roots of the quadratic equation,
This powerlaw eigenfunction must be paired with the associated, dimensionless eigenfrequency parameter,






Next, we noticed the strong similarities between the mathematical properties of this eigenvalue problem and the one that was studied by C. Prasad (1948, MNRAS, 108, 414416) in connection with, what we now recognize to be, a closely related problem. Drawing heavily from Prasad's analysis, we discovered an infinite number of eigenfunctions (each, a truncated polynomial expression) and associated eigenfrequencies that satisfy this governing envelope LAWE. The eigenvectors associated with the lowest few modes are tabulated, below.
Eigenvector
Core Segment
Mode 
Core Eigenfunction 
Core Eigenfrequency










Envelope Segment
Mode 
Envelope Eigenfunction 
Envelope Eigenfrequency













Piecing Together
Here we illustrate how the two segments of the eigenfunction can be successfully pieced together for the specific case of .
STEP 1: Choose a value of the adiabatic exponent for the envelope, . Then, the values of both and are known as well; actually, because it is the root of a quadratic equation, can, in general, take on one of a pair of values. We will elaborate on this further, below.
STEP 2: Acknowledging that the value of has yet to be determined, fix the value of the leading, overall scaling coefficient, , such that^{†} at the interface, that is, at . For the case of , this means that, throughout the envelope, the eigenfunction is,



where, the values of the newly introduced coefficients,






are also both known.
Wrong expression for  
STEP 3: Recognizing that this segment of the eigenfunction will only satisfy the envelope's LAWE if we restrict our discussion to equilibrium models for which , we must insert this same restriction on into the core's eigenfunction. At the same time, we should fix the value of the leading, overall scaling coefficient, , such that^{†} at the interface . For the case of , this means that, throughout the core, the eigenfunction is,

STEP 3: Recognizing that this segment of the eigenfunction will only satisfy the envelope's LAWE if we restrict our discussion to equilibrium models for which , we must insert this same restriction on into the core's eigenfunction. At the same time, we should fix the value of the leading, overall scaling coefficient, , such that^{†} at the interface . For the case of , this means that, throughout the core, the eigenfunction is,



STEP 4: Now we need to ensure that the first derivative with respect to the radial coordinate, , of both eigenfunction segments match at the interface . Making the notation substitution, , the mathematical relation that accomplishes this is,















Or we have, equivalently,



where,
























Wrong expressions for quadratic equation coefficients, based on previous, wrong expression for  

The physically relevant (real) root of this quartic equation in — see our accompanying detailed presentation — gives us the specific value of the dimensionless interface location, , for which both the values and the first derivatives of the two eigenfunction segments match at the interface. As is shown by the plot displayed in the righthand panel of Figure 1, we have found different values of for each choice (STEP 1) of (or, equivalently, choice of ). In this plot we have purposely flipped the horizontal axis so that the extreme left represents an incompressible envelope, while the extreme right represents an isothermal envelope.
Figure 1  



(plus):  
:  
:  
:  
:  
:  
:  
:  
(minus):  
:  
:  
:  
:  
:  
:  
: 
STEP 5: Finally, for each choice of — or, alternatively, — the physically relevant value of the core's adiabatic exponent is set by demanding that the dimensional eigenfrequencies of the envelope and core precisely match. That is, we demand that,
Figure 2 

From above, we know that, for the core,
whereas, for the envelope,
By demanding that these frequencies be identical, we conclude that,



Figure 2 shows how the required value of varies with the choice of ; here, both axes have been flipped in order to run from incompressible at the left/bottom, to isothermal at the right/top. For the lower portion of the curve (red circular markers), the parameter, , is taken to be the "plus" root of its defining quadratic equation; the "minus" root defines along the upper portion of the curve (purple circular markers). The diagonal dashedblack line identifies where ; in models below and to the right of this line, the envelope is more compressible than is the core, whereas in models above and to the left of this line, the core is more compressible than the envelope.
The eigenfrequency that corresponds to the specific eigenfunction that is displayed in upperleft quadrant of Figure 1 is identified by the black circular marker in Figure 2; as is indicated by the row of numbers on the left in Figure 1, this model has,
The yellow circular marker in Figure 2 identifies the model whose analytically prescribed, eigenfunction is displayed in the lowerleft quadrant of Figure 1; it has,
Examining Alignment with Surface Boundary Condition
Expectation
As we have reviewed in an accompanying discussion, one astrophysically reasonable surface boundary condition provides a mathematical relationship between the logarithmic derivative of the eigenfunction with respect to the radius, in terms of the eigenfrequency as follows:















Now, according to our abovedescribed envelope segment of the eigenfunction, we established the analytic prescription,



in which case the desired surface boundary condition is,









That is, we expect to find the following,

Analytic2
Continuing, from above, a discussion specifically of the case, , the analytically specified envelope eigenfunction is,



where, the values of the newly introduced coefficients,






in which case,






Hence, at the surface , we find,















It is gratifying — although, somewhat surprising (to me!) — to find that this precisely matches the abovedefined, desired boundary condition for the case of .
Duh!
After also checking conformance with the expected boundary condition in the case of analytic eigenfunctions having and, separately (not shown), for numerically generated eigenfunctions having a wide range of oscillation frequencies, it dawned on us that the "desired" surface boundary condition may actually be a natural outcome of the envelope's LAWE.By constraining our discussion to models for which and , the envelope's LAWE is,



At the surface , the coefficient of the second derivative term goes to zero, in which case the LAWE reduces in form to,






And this is precisely the condition that derives from the astrophysically reasonable boundary condition that we have discussed separately and that has been reviewed, above.
Broader Analysis
Let's, then, examine the behavior of the envelope's LAWE at the surface in the most general case — that is, when not constrained to . First, we note that,












Hence, at the surface quite generally, the coefficient of the second derivative is,









And, at the surface quite generally, the coefficient of the first derivative is,









Hence, at the surface quite generally, the envelope's LAWE becomes,















where,
Notice that in the special case for which we have been able to identify analytically specifiable eigenvectors, namely, when
this surface boundary condition simplifies to the expected expression,



Under what condition — other than when — does the general expression generate the expected expression? We need,















But, given that,



we see that the expected boundary condition will result only for , that is, only for, . This is what we have been noticing as we have played with numerically generated eigenvectors: When integrating from the center of the zerozero bipolytrope, to its surface, the naturally resulting (first) derivative of the eigenfunction at the surface of the configuration matches the expected surface boundary condition …
 for all values of , when , that is, when ;
 only for in all other configurations, that is, for all .
What do we make of this?
Five Mode Summary
Model  Analytic 


Analytic21  2  1  0.684  1.194  1.846  0.547  0.390  0.35  +0.833  5.15  1.18  1.324  2.542  +0.761  28.9116 
Analytic22  2  2  0.887  1.799  1.022  0.799  0.583  +0.776  0.914  1.25  46  1.146  1.444  0.878  34.9155 
Analytic31  3  1  0.406  1.180  1.009  0.378  0.118  0.390  0.964  5.56  111  1.194  3.568  0.180  12.1770 
Analytic32  3  2  0.812  2.327  4.216  0.690  0.517  +1.281  +2.051  0.754  0.311  1.232  1.813  +9.654  169.0733 
Determined from Numerical Integration by Enforcing Boundary Condition (B.C.) 

Model  B.C.: 
B.C.: 
B.C.: 
B.C.: 
B.C.: 

Analytic21  0.76017962  +9.881793  +28.9116  +56.32919   
Analytic22  4.890477  +5.5864115  +34.91550  +83.09678   
Broad Application
Here's one key lesson that can be drawn from our analytically specified oscillation modes. As has been documented above, the quantum number, , associated with the eigenvector of the core is related to the oscillation frequency,



via the expression,






Also, as documented above, the quantum number, , associated with the eigenvector of the envelope is related to the oscillation frequency via the expression,













Case A
Consider, first, the astrophysical system in which . Given that, in general, , we therefore will be considering the system in which, . For this system, we should be able to analytically specify eigenvectors having the properties specified in the following table.
Analytically Specifiable Eigenvectors for which 




1  0.26034953  n/a  
1.52 (n/a)  (n/a)  
2  0.10636430  0.28186540  
0.24400066  0.64660175  
3  0.05809795  0.15395957  
0.10216916  0.27074827 
Related Discussions
 Searching for Additional, Analytically Specified Eigenvectors of ZeroZero Bipolytropes
 Numerically Determined Eigenvectors
© 2014  2019 by Joel E. Tohline 