SSC/Structure/BiPolytropes/AnalyzeStepFunction
More Careful Examination of Step Function Behavior
The ideas that are captured in this chapter have arisen as an extension of our accompanying "renormalization" of the Analytic51 bipolytrope.
Discontinuous Density Distribution
Expectations
From among the set of governing relations that apply to spherically symmetric configurations, we focus, first, on the combined,
Euler + Poisson Equations
At the interface between the core and envelope of an equilibrium bipolytrope, both the core and the envelope must satisfy the relation,
|
|
|
|
Now, the quantity on the right-hand side of this expression must be the same at the interface, when viewed either from the perspective of the core or from the perspective of the envelope. Therefore, at the interface, the equilibrium configuration must obey the relation,
|
|
|
|
Now, if we set at the interface, then,
|
|
|
|
Check Behavior
In step 4 of our accompanying analysis, we find that from the perspective of the core,
|
|
|
|
and, |
|
|
|
Hence, at the interface,
|
|
|
|
|
|
|
|
While, in step 8 of that analysis, we find from the perspective of the envelope,
|
|
|
|
and, |
|
|
|
Hence, at the interface,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Gratifyingly, we find as expected that,
|
|
|
|
Discrete LAWE for Bipolytrope
Summary Set of Nonlinear Governing Relations
In summary, the following three one-dimensional 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
March from the Center, Outward
Establish Fidelity of Finite-Difference Model
We know the analytic structure of the equilibrium configuration. Let's choose a Lagrangian grid that is labeled by and the corresponding enclosed mass, , where the center of the spherical bipolytrope is labeled by while each subsequent grid "line" is labeled . We will identify the mean density of each mass shell by the expression,
|
|
|
|
The pressure can be determined from knowledge of the density via knowledge of the (fixed) specific entropy, namely,
|
|
|
|
These two expressions, effectively, originate from the continuity equation and the adiabatic form of the first law of thermodynamics, respectively. They are relations that allow the determination of the mass density and the pressure, given fixed mass shells but varying mass-shell radial locations.
STEP 1: From the analytically known equilibrium structure of the bipolytrope, create a table that documents how the radial location of each mass shell, , varies with the enclosed mass, .
STEP 2: Determine how varies with radial shell location, using the above continuity-equation relation. (Plot versus obtained in this discrete manner — see the red-dotted curve in the following figure — then also plot how varies with according to the analytic equilibrium structure — see the dark-blue-dotted curve; the plotted curves should be nearly, but not exactly, the same.)
STEP 3A: Given , determine how varies with radial shell location, using the above 1st Law relation. (Plot the pressure, as determined in this discrete manner, versus — see the light-green-dotted curve in the following figure — then also plot how varies with according to the analytic equilibrium structure — see the purple-dotted curve; the plotted curves should be nearly, but not exactly, the same.)
STEP 3B: Determine (and plot) how varies with .
Now, what can we learn from the "Euler + Poisson Equation"? Well, for the equilibrium state, we should find that,
|
|
|
|
STEP 4: Show how varies with , according to this analytic prescription, and compare it against the pressure gradient behavior obtained in STEP 3. Do they match?
Guessing Eigenvector
Step 5
STEP 5: Guess the eigenvector, , remembering that a reasonably good trial eigenfunction for the core is one that has a "parabolic dependence on the radius," namely,
|
|
|
|
where, |
|
|
|
This means,
|
|
|
|
|
|
|
|
|
Finite-Difference Representation of
Once a "guess" for the fractional displacement vector, has been specified, we recognize that the perturbed location of each radial shell is given by the expression,
|
| Parabolic Displacement Function w/ | ||||||||||||
| Shell | Analytic | FD | ||||||||||
| 0 | 0.000000 | 0.000000 | 1.000000 | 0.000000 | 1.000000 | + 0.003000 | --- | --- | --- | 1.000000 | 0.000000 | |
| ½ | --- | --- | --- | --- | --- | --- | 0.995868 | 0.003004 | 0.998860 | 1.000000 | 0.000000 | |
| 1 | 0.001039 | 0.062922 | 0.999447 | 0.062859 | 0.993123 | 0.002997 | --- | --- | --- | 0.991754 | 5.275715 | 0.262476 |
| 1½ | --- | --- | --- | --- | --- | --- | 0.981896 | 0.002999 | 0.984840 | 1.000000 | 0.000000 | |
| 2 | 0.008211 | 0.125843 | 0.997789 | 0.125718 | 0.972886 | 0.002989 | --- | --- | --- | 0.967552 | 2.605474 | 0.518508 |
| 2½ | --- | --- | --- | --- | --- | --- | 0.955465 | 0.002988 | 0.958319 | 1.000000 | 0.000000 | |
| 3 | 0.027155 | 0.188765 | 0.995025 | 0.188577 | 0.940420 | 0.002975 | --- | --- | --- | 0.928937 | 1.701968 | 0.762083 |
| 3½ | --- | --- | --- | --- | --- | --- | 0.917695 | 0.002971 | 0.920421 | 1.000000 | 0.000000 | |
| 4 | 0.062586 | 0.251686 | 0.991155 | 0.251437 | 0.897462 | 0.002956 | --- | --- | --- | 0.878252 | 1.241164 | 0.988001 |
| ⋮ | ||||||||||||
| 95 | 6.769823 | 5.977546 | - 3.988996 | 6.001390 | 0.0002917 | - 0.021945 | --- | --- | --- | 0.000057 | 0.000422 | 0.189466 |
| 95½ | --- | --- | --- | --- | --- | --- | 0.0002844 | - 0.021852 | 0.0002782 | 1.000000 | 0.000000 | |
| 96 | 6.777942 | 6.040467 | - 4.094580 | 6.065200 | 0.0002773 | - 0.022473 | --- | --- | --- | 0.000054 | 0.000405 | 0.185762 |
| 96½ | --- | --- | --- | --- | --- | --- | 0.002705 | - 0.022366 | 0.0002644 | 1.000000 | 0.000000 | |
| 97 | 6.785828 | 6.103389 | - 4.201270 | 6.129031 | 0.0002638 | - 0.023006 | --- | --- | --- | 0.000051 | 0.000389 | 0.182163 |
| 97½ | --- | --- | --- | --- | --- | --- | 0.0002574 | - 0.022884 | 0.0002515 | 1.000000 | 0.000000 | |
| 98 | 6.793488 | 6.166310 | - 4.309066 | 6.192881 | 0.0002511 | - 0.023545 | --- | --- | --- | 0.000048 | 0.000374 | 0.178666 |
| 98½ | --- | --- | --- | --- | --- | --- | 0.0002450 | - 0.023408 | 0.0002393 | 1.000000 | 0.000000 | |
| 99 | 6.800930 | 6.229232 | - 4.417967 | 6.256752 | 0.0002391 | - 0.024090 | --- | --- | --- | 0.000045 | 0.000359 | 0.175267 |

Hence, from the linearized continuity equation,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The solid black curve in the figure shown here, on the right, displays this analytically specified density perturbation, , for the case .
|
Finite-Difference Representation of
Our finite-difference representation of the mass-density at each radial shell in the equilibrium configuration (subscript "0") is,
After perturbing the radial location of each shell — that is, after setting — the resulting finite-difference representation of the perturbed mass density of each shell is given by the expression,
(Note that we retain a subscript "0" on the mass, , because it serves as our Lagrangian identifier for each shell.) The fractional density perturbation at each discrete shell is, then,
The red dots in the above "density perturbation" figure display how varies with mass shell when is specified by the parabolic dependence on radius. The dots lie virtually on top of the solid black curve in this figure, indicating that our finite-difference representation of the perturbed mass density matches well the analytically specified perturbed mass density. |
And, from linearized entropy conservation,
|
|
|
|
|
|
|
|
|
|
|
|
Now, from below we find that,
|
|
||
|
|
||
|
|
||
|
|
Hence, the linearized Euler + Poisson Equations expression gives,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Exactly! |
Step 6
STEP 6: Given that when a proper solution has been obtained,
|
|
|
|
at each radial shell we can determine what the value of would be as a result of our guess by rewriting the
Euler + Poisson Equations
to read,
|
|
|
|
|
Euler + Poisson Equations
|
After introducing a perturbation, we find that …
|
RHS |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This "RHS" expression must be paired with …
|
LHS |
|
|
The term inside the curly braces on the RHS is easy to evaluate inside our finite-difference scheme. For our example parabolic displacement function, we expect this term to give,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
For comparison, note that this expression is identical to the expression for , namely,
|
|
||
|
|
Step 7
STEP 7: Alternatively, from our summary set of linearized equations, we expect …
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Step 8
STEP 8: Finally, we should guess a new eigenvector (then guess again, and again, and again …) until settles down to have the same value at all radial locations.
Try Again, With Detailed Example
Model Amodel2
Under the "AModel2FD" tab of an Excel spreadsheet titled, "qAndNuMaxAug21", we have constructed a discrete model of the core of a bipolytrope that has the following properties:
| Model A | |
| 0.31 | |
| 0.337217 | |
| 0.0755023 | |
| Core Properties (at interface) | |
| 9.0149598 | |
| 0.1886798 | |
| -0.0201845 | |
| 6.8009303 | |
| 6.2292317 | |
We have divided this model into 100 equally spaced radial zones (center and surface included), that is, each with the following radial-shell thickness: , and . Analytic expressions providing the physical properties of our bipolytropes at each radial shell have been drawn from an accompanying chapter — for example …
|
|
||
|
|
||
|
|
||
|
|
We note as well that, in equilibrium,
|
|
Hence, in equilibrium we have,
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
and,
|
|
||
|
|
and,
|
|
||
|
|
The following table provides a sample of variable values in the central region (shells 0 - 4) and near the interface (shells 95 - 99) of the equilibrium configuration.
| Analytically Determined Physical Properties at Various Radial Shells | |||||||
| Shell | |||||||
| 0 | 0.000000 | 0.000000 | 0.000000 | 1.000000 | 1.000000 | 0.000000 | |
| 1 | 0.091060 | 0.001039 | 0.062922 | 0.993123 | 0.991754 | 5.275715 | 0.262476 |
| 2 | 0.182120 | 0.008211 | 0.125843 | 0.972886 | 0.967552 | 2.605474 | 0.518508 |
| 3 | 0.273181 | 0.027155 | 0.188765 | 0.940420 | 0.928937 | 1.701968 | 0.762083 |
| 4 | 0.364241 | 0.062586 | 0.251686 | 0.897462 | 0.878252 | 1.241164 | 0.988001 |
| ⋮ | |||||||
| 95 | 8.650719 | 6.769823 | 5.977546 | 0.000292 | 0.000057 | 0.000422 | 0.189466 |
| 96 | 8.741779 | 6.777942 | 6.040467 | 0.000277 | 0.000054 | 0.000405 | 0.185762 |
| 97 | 8.832839 | 6.785828 | 6.103389 | 0.000264 | 0.000051 | 0.000389 | 0.182163 |
| 98 | 8.923900 | 6.793488 | 6.166310 | 0.000251 | 0.000048 | 0.000374 | 0.178666 |
| 99 | 9.014960 | 6.800930 | 6.229232 | 0.000239 | 0.000045 | 0.000359 | 0.175267 |
This last expression is precisely the same (in magnitude, but opposite in sign) as the expression that we have presented for . If we therefore return to STEP 6, we appreciate that the right-hand side of the "eigenvector" expression,
|
|
|
|
goes to zero at every radial shell if the configuration is in equilibrium.
|
ASIDE: Next, we will focus on building a discrete, finite-difference representation of each equilibrium model, as well as of this "eigenvector" expression. In doing so, we will immediately find that the two terms on the right-hand-side do not exactly sum to zero, even for an equilibrium configuration. We should nevertheless try to construct a finite-difference representation for which the two terms cancel to a relatively high degree of precision. We have considered rewriting this "eigenvector" expression in the form,
because this form isolates the Lagrangian mass, , which is time-invariant. But as the numbers in the third column of the above table illustrate, the terms on the right-hand-side vary by several orders of magnitude as we move from shell 1 to shell 100. If it is written instead in the form that we have initially suggested, namely,
then, as is illustrated by the numbers in the last column of the table and by the following figure, the terms on the right-hand-side vary by no more than one order of magnitude as we move from the center to the surface of the configuration. This choice should facilitate cancellation to a higher degree of precision in our finite-difference-based model. |
Even Simpler Core
STEP 0: We construct a finite-difference representation of the initial (unperturbed) equilibrium configuration by dividing the model into 99 radial zones that are equally spaced in . The initial radial coordinate of each zone and the corresponding initial enclosed mass are given, respectively, by the expressions …
|
|
|
|
and, |
|
|
|
The mass, , will serve as our Lagrangian coordinate; that is, we will perturb the model by modifying the radial location of each shell while fixing the enclosed mass.
STEP 1: Guess the eigenvector, , remembering that a reasonably good trial eigenfunction for the core is one that has a "parabolic dependence on the radius," namely,
|
|
|
|
where, |
|
|
|
This means,
|
|
|
|
|
|
|
|
Once a "guess" for the fractional displacement vector, has been specified, we recognize that the perturbed location of each radial shell is given by the expression,
|
|
|
|
STEP 2: Our finite-difference representation of the mass-density at each radial shell in the equilibrium configuration (subscript "0") is,
|
|
|
|
After perturbing the radial location of each shell — that is, after setting — the resulting finite-difference representation of the perturbed mass density of each shell is given by the expression,
|
|
|
|
(Note that we retain a subscript "0" on the mass, , because it serves as our Lagrangian identifier for each shell.)
STEP 3: The pressure can be determined in the equilibrium configuration (subscript "0") and after the perturbation from knowledge of the density and the chosen adiabatic index, , via knowledge of the (fixed) specific entropy, namely,
|
|
|
|
and, |
|
|
|
The pressure perturbation can therefore be obtained from the simple difference,
|
|
|
|

STEP 4: If, in the context of our above discussion of the perturbed "Euler + Poisson Equations", we set LHS = RHS, we obtain,
|
|
|
|
|
|
|
|
|
|
|
|
So for a specified value of the square of the oscillation frequency, — same value for all shells — the strategy should be to (a) guess ; (b) evaluate the right-hand-side of this last expression; (c) if the RHS does not equal the "guessed" eigenvector, , then you need to guess a new eigenvector; (d) repeat!
In the figure shown here on the right, the black curve displays the variation with mass, , of the (parabolic-shaped) displacement function, , that served as our initial "guess;" while the red dots show how the right-hand side of this last expression varies with for the case, . They lie almost exactly on top of one another, as hoped/expected.
Transition
In transitioning from the core to the envelope, all of the above (green) STEPS will remain the same except for the 1st Law's treatment of the pressure. Following along the lines of our Ramblings idea exchange with Patrick Motl, the mass-density is generically related to the pressure via the expression,
|
|
|
|
|
|
|
|
|
|
|
|
Given that, in polytropic configurations for which we make the association, , the pressure is related to the density via the expression, , we appreciate that,
|
|
|
|
Core
For the core, we set . Hence,
|
|
|
|
Normalizing the pressure and the density as we have in a closely related discussion of the structure of bipolytropes, we have throughout the core,
|
|
|
|
Now, in this normalized expression we see that the polytropic constant for the core is, . This means that the specific entropy of all the fluid in the core is given by the expression,
|
|
|
|
|
|
|
|
Envelope
For the envelope, we set . Hence,
|
|
|
|
Adopting the same pressure and density normalizations as used in the core, we have throughout the envelope,
|
|
|
|
Now, at the interface of the equilibrium model, we know that,
|
|
|
|
Hence, throughout the envelope,
|
|
|
|
in which case we find,
|
|
|
|
|
|
|
|
STEP 3 Clarification
It is critically important to appreciate that the manner in which the pressure is determined at discrete locations in our finite-difference model must be different in the envelope and the core.
|
Core: |
|
|
|
Core: |
|
|
See Also
|
Appendices: | VisTrailsEquations | VisTrailsVariables | References | Ramblings | VisTrailsImages | myphys.lsu | ADS | |