SSC/Structure/BiPolytropes/Analytic51Renormalize: Difference between revisions
| Line 2,094: | Line 2,094: | ||
</tr> | </tr> | ||
</table> | </table> | ||
as [[#Review_of_Trial_Analytic_Eigenfunction|reviewed immediately above]]. | as [[#Review_of_Trial_Analytic_Eigenfunction|reviewed immediately above]]. This should be compared with the finite-difference representation of the logarithmic derivative, namely, | ||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>+\frac{\Delta\ln x}{\Delta\ln \xi} \biggr|_\mathrm{surface}</math> | |||
</td> | |||
<td align="center"> | |||
<math>\approx</math> | |||
</td> | |||
<td align="left"> | |||
<math>\frac{\xi_\mathrm{max}}{x_N} \biggl[ \frac{x_{N+1}-x_{N-1}}{2\Delta_\xi} \biggr] \, .</math> | |||
</td> | |||
</tr> | |||
</table> | |||
<font color="red">CAUTION!</font> Because, for each ''guess'' of <math>\sigma_c^2</math>, the eigenfunction climbs (or plummets) rapidly as we approach the surface, in practice we evaluated the finite-difference representation of the logarithmic derivative at a zone location that is a bit inside of the actual surface; for example, when we divided the equilibrium configuration into <math>N = 100</math> grid zones, we evaluated the "surface" derivative at zone number 97. | |||
Here are some results … | |||
<table border="1" align="center" cellpadding="5"> | |||
<tr> | |||
<td align="center">Mode</td> | |||
<td align="center"><math>\sigma_c^2</math></td> | |||
<td align="center">Neg. Slope<br><math>1 - (\sigma_c^2\pi^2/12)</math></td> | |||
</tr> | |||
<tr> | |||
<td align="center">Fundamental</td> | |||
<td align="center">2.2405295</td> | |||
<td align="center">3.1287618</td> | |||
</tr> | |||
<tr> | |||
<td align="center">1<sup>st</sup> Overtone</td> | |||
<td align="center">6.340767</td> | |||
<td align="center">-32.06757</td> | |||
</tr> | |||
</table> | |||
=====Pressure-Truncated n = 1 Polytrope===== | =====Pressure-Truncated n = 1 Polytrope===== | ||
Revision as of 00:10, 29 May 2022
BiPolytrope with and
This chapter very closely parallels our original analytic derivation — see also, 📚 P. P. Eggleton, J. Faulkner, & R. C. Cannon (1998, MNRAS, Vol. 298, issue 3, pp. 831 - 834) — of the structure of bipolytropes in which the core has an polytropic index and the envelope has an polytropic index. Our primary objective, here, is to renormalize the principal set of variables, replacing the central density with the configuration's total mass, so that the mass is held fixed along each model sequence.
From Table 1 of our original analytic derivation, we see that,
where,
Steps 2 & 3
Based on the discussion presented elsewhere of the structure of an isolated polytrope, the core of this bipolytrope will have the following properties:
The first zero of the function and, hence, the surface of the corresponding isolated polytrope is located at . Hence, the interface between the core and the envelope can be positioned anywhere within the range, .
Step 4: Throughout the core ()
|
Specify: and |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Specify: and |
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
|
New Normalization
|
After applying this new normalization, we have throughout the core,
|
|
||
|
|
||
|
|
||
|
|
Step 8: Throughout the envelope ()
Given (from above) that,
we have throughout the envelope,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adopting the new normalization then gives,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Behavior of Central Density Along Equilibrium Sequence
Each equilibrium sequence will be defined as a sequence of models having the same jump in the mean-molecular weight, . Along a given sequence, we vary the location of the core/envelope interface, . Our desire is to analyze the behavior of the central density, while holding the total mass fixed, as the location of the interface is varied.
The central density is given by the expression,
|
|
where,
In order to evaluate for a given specification of the interface location, , we need to know that,
Keep in mind, as well, that,
Model Pairings
Here we work in the context of the B-KB74 conjecture. We will stick with the sequence corresponding to , and continue to examine the model pairings (B1 and B2) associated with the degenerate model (A) at . Specifically …
Selected Pairings along the Sequence |
||||
|---|---|---|---|---|
| Pairing | ||||
| A | ||||
| B1 | ||||
| B2 | ||||
| Envelope | |||||
| B1 | B2 | ||||
| 0.3372001 | 0.1703455 | 0.015464 | 0.1743134 | 0.0151654 | +0.00487 |
| 0.35 | 0.3073375 | 0.0279002 | 0.309463 | 0.0269236 | +0.00891 |
| 0.40 | 0.5753765 | 0.0522328 | 0.576515 | 0.0501574 | +0.01013 |
| 0.45 | 0.748189 | 0.0679208 | 0.749101 | 0.0651726 | +0.01032 |
| 0.50 | 0.8885645 | 0.0806641 | 0.8893695 | 0.0773761 | +0.01040 |
| 0.55 | 1.0122575 | 0.091893 | 1.012999 | 0.088132 | +0.01045 |
| 0.60 | 1.126297 | 0.1022455 | 1.1269968 | 0.0980499 | +0.01047 |
| 0.65 | 1.2347644 | 0.1120922 | 1.2354345 | 0.1074841 | +0.01049 |
| 0.70 | 1.3405518 | 0.1216956 | 1.3411998 | 0.1166858 | +0.01051 |
| 0.75 | 1.4461523 | 0.131282 | 1.4467833 | 0.1258716 | +0.01052 |
| 0.80 | 1.5542198 | 0.1410924 | 1.5548378 | 0.1352725 | +0.01053 |
| 0.85 | 1.6683004 | 0.1514487 | 1.668908 | 0.1451967 | +0.01054 |
| 0.90 | 1.794487 | 0.1629039 | 1.7950862 | 0.1561743 | +0.01055 |
| 0.95 | 1.94764 | 0.1768072 | 1.9482325 | 0.1694982 | +0.01055 |
| 1.00 | 2.2820704 | 0.2071669 | 2.282658 | 0.1985936 | +0.01056 |
Attempt at Constructing Analytic Eigenfunction Expression
Background
In our accompanying discussion of eigenvectors associated with the radial oscillation of pressure-truncated polytropes, we derived the following,
| Exact Solution to the Polytropic LAWE | ||
|
|
and |
|
Drawing on the definition of for n = 5 polytropes, as given in an accompanying chapter, we deduce that,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
And, given that for n = 1 polytropes,
we also find,
|
|
|
|
|
|
|
|
|
|
|
|
Core
Allowing for an overall leading scale factor, , a viable displacement function for the core of our bipolytropic configuration is,
|
|
|
|
Throughout the core, the corresponding Lagrangian radial coordinate, , is given by the expression,
|
|
For "model A" the range is,
|
SLOPE: What is the slope of the function, , at the interface?
where, for "model A," we have set and . Note as well that,
|
Envelope
As we have demonstrated in a separate structure discussion, the radial profile of the envelope of our bipolytropic configuration is governed by the modified sinc-function,
|
|
|
|
|
|
|
|
where, for "model A," and .
Again allowing for an overall leading scale factor, , a viable displacement function for the envelope of our bipolytropic configuration is,
|
|
|
|
|
|
|
|
|
|
|
|
Throughout the envelope, the corresponding Lagrangian radial coordinate is,
|
|
|
|
For "model A" the range is,
|
SLOPE: As we have detailed elsewhere, the slope of the function, , is related to the slope of at the interface via the expression,
In our case, and . Hence, from the point of view of the envelope displacement function, at the interface,
Now, at the interface of any bipolytrope, the ratio should have the same numerical value whether it is viewed from the point of view of the core or the envelope. Given that, for our particular "model A",
we should expect the slope of the envelope's displacement function at the interface to be,
|
Trial Displacement Function
The blue curve in the following figure results from plotting versus after setting the leading coefficient, . The red-dotted curve results from plotting versus after setting the leading coefficient, , and .
ASSESSMENT:
- Our analytically specified displacement function, , appears to be an excellent match to the displacement function obtained throughout the core by implementing the B-KB74 conjecture.
- At first glance, the plot of appears to provide a reasonably good fit to the approximate displacement function that we have obtained throughout the envelope by implementing the B-KB74 conjecture. But, in reality, there are two fatal flaws:
- We have presented the behavior of our analytically specified envelope displacement function only up to the radial coordinate, . Between this point and the surface, — where the argument of the cotangent, — the analytic function dives steeply to negative infinity. This violently departs from the behavior derived via the B-KB74 conjecture.
- While our analytically specified displacement function, , satisfies the "n = 1" polytropic LAWE, this satisfaction is destroyed by adding to the displacement function.
Let's examine the slope of the displacement function at the interface. From the perspective of the core, our analytic prescription for the displacement function matches the K-BK74-derived displacement function very well. An analytic evaluation of the slope at the inferface — as derived above — gives,
.
The black-dashed line segment that appears in the following figure has this slope and goes through the point of intersection; it appears to be tangent to the analytic displacement function, as expected. Alternatively, the orange-dashed line segment that appears in this same figure, also goes through the point of intersection, but it has a slope that matches our expectation for the envelope's displacement function; that is, it has a slope as derived of,
.
This orange-dashed line segment does not appear to lie tangent to the K-BK74-derived displacement function for the envelope.
Numerical Integration Through Envelope
In an effort to numerically determine the eigenfunction of the envelope, we will follow the procedure described in an accompanying stability analysis of pressure-truncated polytropes to integrate the envelope from the core/envelope interface to the surface. In a closely related chapter titled, Radial Oscillations of n = 1 Polytropic Spheres, we have tried to find analytic expressions for the eigenvector of marginally unstable configurations.
Setup
Continuous Form of LAWE
We begin by writing our generic version of the polytropic LAWE,
then focus on the case — setting and — the relevant LAWE becomes,
|
|
where, in the broadest context,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
For the LAWE we therefore have,
|
|
||
|
|
Multiplying through by , we can write,
|
|
Discrete Form of LAWE
In order to integrate this 2nd-order ODE numerically, we will build from the more general expression for polytropes used in our separate development of a finite-difference scheme, namely,
|
|
|
|
Making the notation substitutions, , we have instead,
|
|
|
|
Now, adopting the finite-difference expressions,
|
|
|
and, |
|
|
|
|
the discrete form of the LAWE becomes,
|
|
|
|
When applied specifically to an , polytropic configuration, we should insert the following specific expressions:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
EXAMPLE: , , ; evaluated over range, .
|
Pressure-Truncated n = 1 Polytrope
In the case of an isolated, pressure-truncated polytrope, we must set ; in addition, it is customary to set . The relevant LAWE is, then,
|
|
Review of Trial Analytic Eigenfunction
This is the same 2nd-order ODE that we derived in a separate discussion; there it was accompanied by the surface boundary condition,
|
|
= |
|
|
|
= |
|
From, for example, a separate succinct demonstration, we appreciate that if the displacement function is assumed to be,
|
|
|
|
|
… that is,
in which case,
and,
Hence,
|
the LAWE reduces to …
| LAWE |
|
ASSESSMENT:
- If we set , the right-hand-side of this expression goes to zero — and, hence, the LAWE is satisfied — for any chosen truncation radius in the range, . (We have not included the isolated polytrope because blows up at its surface, .)
-
At the surface, , the slope of this trial eigenfunction is,
By contrast, as stated above, the eigenvalue problem will be properly solved only if the surface slope is,
= = = These two slopes do not appear to be the same, for any allowed choice of . We conclude, therefore, that no model along the sequence of pressure-truncated polytropes is marginally unstable.
Determining Discrete Representation of Eigenfunction
Let's numerically integrate the discrete form of the LAWE over the radial coordinate range, . Following our discussion of the more general polytropic case, we will kickstart integration from the center, outward, via the expression,
|
|
|
|
where, |
|
|
|
Here, we will restrict our investigation to the case where , in which case, , , and
|
|
|
|
Isolated n = 1 Polytrope
If we integrate all the way out to the natural, zero-pressure surface of our polytrope, then and — as derived in our discussion of the equilibrium structure of n = 1 polytropes — . In line with our discussion of Schwarzschild's model of oscillations in polytropes, we therefore expect the boundary condition at the surface of our configurations to be given by the expression,
|
|
||
|
|
as reviewed immediately above. This should be compared with the finite-difference representation of the logarithmic derivative, namely,
|
|
|
|
CAUTION! Because, for each guess of , the eigenfunction climbs (or plummets) rapidly as we approach the surface, in practice we evaluated the finite-difference representation of the logarithmic derivative at a zone location that is a bit inside of the actual surface; for example, when we divided the equilibrium configuration into grid zones, we evaluated the "surface" derivative at zone number 97.
Here are some results …
| Mode | Neg. Slope |
|
| Fundamental | 2.2405295 | 3.1287618 |
| 1st Overtone | 6.340767 | -32.06757 |
Pressure-Truncated n = 1 Polytrope
Drawing from an accompanying discussion, if the polytropic configuration is truncated by the pressure, , of a hot, tenuous external medium, then the solution to the LAWE is subject to the outer boundary condition,
|
|
|
at . |
Bipolytropic Envelope
For the envelope of a bipolytrope, the relevant LAWE is,
| LAWE |
|
|
|
|
||
|
|
Three terms in this expression blow up at the surface, where and, hence, . We can improve the behavior of this LAWE expression by assuming that the eigenfunction is of the form,
|
|
in which case,
|
and, |
||
|
|
This gives,
| LAWE |
|
|
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
Try m = 1 and m = 2
If we set , there are still terms in the LAWE expression that blow up at the surface, where and, hence, . Instead, let's try :
|
|
||
|
|
||
|
|
which, at the surface , reduces to …
|
|
Hence, this LAWE will be satisfied for any function, , that goes to zero at the surface.
Try m = 3
Setting , we obtain,
|
|
||
|
|
||
|
|
which trivially reduces to zero at the surface because, . For all other relevant radial positions in the envelope, , we can divide through by to obtain,
|
|
Boundary Condition
In addition, there is a (boundary condition) constraint on the slope of the eigenfunction at the surface. So, let's examine …
|
|
||
|
|
Now, from above, we appreciate that when ,
|
|
||
|
|
It therefore appears as though we should adopt the function relation,
|
|
|
|
Let's now examine "model A" from above, for which, and . If we set , this LAWE becomes,
|
|
|
Appendices: | VisTrailsEquations | VisTrailsVariables | References | Ramblings | VisTrailsImages | myphys.lsu | ADS | |



