User:Tohline/Appendix/Ramblings/NumericallyDeterminedEigenvectors
From VisTrailsWiki
Contents 
Numerically Determined Eigenvectors of a ZeroZero Bipolytrope
Here we build on the analytic foundation summarized in an accompanying chapter and attempt to numerically construct a variety of eigenvectors that describe radial oscillations of bipolytropes for which, .
 Tiled Menu  Tables of Content  Banner Video  Tohline Home Page  
Setup
We'll begin with the linearadiabatic wave equations that describe oscillations of the core and envelope, separately. We also will immediately restrict our investigation to configurations for which,
and,
For the core we have,



where,
and
And, for the envelope we have,



where,



Initial Focus
Properties of 21Analytic Solution
Figure 1 

Same analytic, eigenfunction as here, but renormalized to unity at the center; numerical label provides value of . 
Evidently, one analytic solution with quantum numbers, , shown again here on the right, is available for a zerozero bipolytrope that has the following properties:















This means, as well, that,












In the envelope, the analytically defined eigenfunction is given by the expression,



where,






and in the core, it is,



More succinctly we have,



and,



where,
Demonstrate Core Solution
This means that,



and,



Therefore, the LAWE for the core becomes,


















Q.E.D.
Demonstrate Envelope Solution
Given that,



we deduce that,



and,






Therefore, the LAWE for the envelope becomes,






Now, the first of these subexpressions gives,
























And the subexpression inside the second set of curly braces gives,







































But these two subexpressions cancel precisely, which means that our eigenfunction satisfies the LAWE! Q.E.D.
Boundary Conditions
Notice that for this particular eigenfunction solution, the value and first radial derivative at the center of the configuration is,



and,



And, at the surface the value and first radial derivative are,






where,
and,















FiniteDifference Representation
General Approach
Working with the Taylor series expansion, we can write,



and letting , we have,



and,



Subtracting the second of these two expressions from the first gives,






while, adding the two expressions together gives,



Integrating Outward Through the Core
From the LAWE for the core, we have,



So, putting these last three expressions together gives an approximate relation between and the previous two values of the function, and , namely,












Now, at the very center of the configuration, , we expect the function, , to be symmetric; that is, we expect . So for this case alone, we have,









For all other coordinate locations, , in the range, , we will use the general expression, namely,



Keep in mind that, when we move across the interface at , we want both the value of the function, , and its first derivative, , to be the same as viewed from both the envelope and the core. In a numerical integration algorithm, it will be very straightforward to set the value of the eigenfunction at the interface. In order to properly handle the first derivative, I propose that we extend the core solution and evaluate the eigenfunction at one zone beyond the interface, and identify the values of the eigenfunction that straddles the interface as,
and .
Then define the slope of the eigenfunction at the interface by the expression,
Slope at the Interface  

Integrating Outward Through the Envelope
From the LAWE for the envelope, we have,



Inserting the same finitedifference expressions for the first and second derivatives, we therefore have,









Now, at the interface (only), we need to relate to in such a way that the slope gives the proper value at the interface. Specifically, we need to set,



where, takes the value that was determined for the core. Hence, at the interface , the first step into the envelope is special and demands that,









and, setting, 


Varying the Oscillation Frequency
Approach
First, we fix , , and ; in the example, here (as above) we choose: . For this example, we will also retain the constraint, , in which case,



Next, we pick various values of the (square of the) dimensionless oscillation frequency, , and, in order to ensure that the dimensional frequency in the envelope matches the dimensional frequency of the core, from each value we set,






For the finitedifference algorithm, we divide the core — radial coordinate range, — into N_{core} zones, and the envelope — radial coordinate range, — into N_{env} zones. This means that the spacing between successive radial zones in the core and envelope is, respectively,

and 

Starting at the center of the configuration , where we arbitrarily set the value of the eigenfunction to , the value of the eigenfunction at the first grid point away from the center is,



Thereafter — moving out toward and just beyond the interface location , the radial coordinate of each successive grid point is , and the numerically determined value of the eigenfunction at each successive grid point is,



Then, at the interface, which is associated with , we define the reference slope as,



Next, we move outward into the envelope, using the integer index, , to label successive radial grid locations . Letting the value of the eigenfunction at the interface be represented by , at the first grid location outside the interface , the value of the eigenfunction is,



Thereafter, moving outward through the envelope to the surface, the value of the eigenfunction at each successive grid location is,



TEST: We tested this finitedifference algorithm on a grid of resolution, , by first setting . The resulting, numerically constructed eigenfunction matched to high accuracy the analytically generated eigenfunction shown, above, as Figure 1; see also, the middle image in the top panel of Figure 2. Representative values of the numerically determined eigenfunction, at various discrete grid locations are provided in Table 1, along with the numerically determined value of the slope at the interface, . At each grid location, the associated value of the dimensionless radius, , may be obtained by simply multiplying each tabulated value of by the parameter, .
Table 1: 




Core  Envelope  



0  0.00  1.000000  0  1.00  0.057649  
1  0.02  0.997885  1  1.0092393  0.076955  
2  0.04  0.997182  2  1.0184785  0.095792  
49  0.98  0.015811  49  1.452724  0.466484  
50  1.00  0.057649  50  1.461963  0.535957  
Results
Motivated by Analytic21
Continuing with our analysis of the equilibrium model that is defined by the parameters, , we have used the abovedescribed numerical algorithm, to construct 26 different eigenfunctions that simultaneously satisfy the LAWE of the core and the LAWE of the envelope for 26 different values of in the range, . The curve traced by a sequence of small circular markers (red = core; green = envelope) in the bottom panel of Figure 2 displays each of these numerically constructed eigenfunctions in succession — in order of decreasing values of — in the form of a looped animation sequence. Also displayed in each frame of the animation, for reference, is the relevant value of , as well as an unchanging, smooth, thin red/green curve that traces the analytically derived eigenfunction shown in Figure 1, for which .
Three frames from the animation sequence have been displayed sidebyside in the top panel of Figure 2. This image montage is presented, in part, to illustrate the degree to which our numerically generated eigenfunction matches the analytically generated eigenfunction in the specific case for which we have been able to obtain an analytic solution to the combined/matched, core/envelope LAWEs.
Motivated by Analytic22
We have also numerically constructed an eigenfunction that matches our accompanying analytic Illustration22. In Figure 3, the numerically derived solution has been plotted on top of the analytically derived solution.
Motivated by Analytic31
We have also numerically constructed an eigenfunction that matches our accompanying analytic Illustration31. In Figure 4, the numerically derived solution has been plotted on top of the analytically derived solution.
Unconstrained LAWEs
Here we use the most general expressions for the pair of governing LAWEs; that is, we will not force . Drawing from our most general summary discussion, the LAWE for the core is,



where,
and
and,



Hence, we may also write the core's LAWE as,



and we should be able to numerically integrate from the center, outward through the core, exactly as described above.
Separately, the LAWE for the envelope is,



where,












After defining the new parameter,
this LAWE for the envelope may be written as,



Inserting the same finitedifference expressions for the first and second derivatives, we therefore have,









Now, at the interface (only), we need to relate to in such a way that the slope gives the proper value at the interface. Specifically, we need to set,



where, takes the value that was determined for the core. Hence, at the interface , the first step into the envelope is special and demands that,






and, setting, 


Discussion
Conclusions
Initially, I was surprised to find that, by employing our abovedescribed numerical algorithm, we were able to solve the combined/matched LAWEs for a continuum set — rather than a discrete set — of dimensionless oscillation frequencies, . After all, I have been taught to believe that radial oscillation modes are obtained by solving an eigenvalue problem. After a bit of thought, I recognized that the continuum set of solutions has been obtained in the absence of a specified surface boundary condition. I suspect that the continuum of solutions can only be relevant to a real astrophysical problem after a physically meaningful surface boundary condition has been imposed; for example, a specification of the slope of the eigenfunction at the equilibrium configuration's surface. This should naturally reduce the continuum set to a discrete set of eigenvectors.
Watching the animation sequence reveals, for example, that as the value of is reduced, the number of nodes inside the configuration is reduced, in a predictable, quantized fashion. At the same time — between each drop in the integer number of nodes — the slope of the eigenfunction at the surface varies between large positive, and large negative values. Hence, we should be able to find a matched solution whose slope at the surface also matches any reasonably specified boundary condition.
Additional Possibilities
 We should be able to numerically identify a wide range of quantized radial modes of oscillation by specifying a physically reasonable surface slope then, for each successive quantum node count, tuning the choice of until the desired slope has been encountered.
 It seems unlikely that any of our analytically derived eigenfunctions will happen to satisfy the specified boundary condition. The analytic functions have nevertheless proven to be useful in the sense that they provide a terrific check for the computational algorithm that, then, can be used to identify physically meaningful solutions numerically.
 Tie this new (numerical) technique into the associated discussion of the relationship between stability determinations via LAWEs and global freeenergy considerations.
 The Figure 2 animation displays numerically determined solutions, , to the combined/matching LAWEs only for nonnegative values of ; these should be relevant only to stable radial oscillations. We should also see what can be learned from solutions associated with negative values of , which may be relevant to unstable radial modes of oscillation.
© 2014  2021 by Joel E. Tohline 