User:Tohline/Appendix/Ramblings/PPTori
From VisTrailsWiki
Contents

Stability Analyses of PP Tori
[Comment by J. E. Tohline on 24 May 2016] This chapter contains a set of technical notes and accompanying discussion that I put together several months ago as I was trying to gain a foundational understanding of the results of a large study of instabilities in selfgravitating tori published by the Imamura & Hadley collaboration. I have come to appreciate that some of the logic and interpretation of published results that are presented, below, has serious flaws. Therefore, anyone reading this should be quite cautious in deciding what subsections provide useful insight. I have written a separate chapter titled, "Characteristics of Unstable Eigenvectors in SelfGravitating Tori," that contains a much more trustworthy analysis of this very interesting problem.
Material that appears after this sign is under development and therefore may contain incorrect mathematical equations and/or physical misinterpretations.  Go Home  
 Tiled Menu  Tables of Content  Banner Video  Tohline Home Page  
As has been summarized in an accompanying chapter — also see our related detailed notes — we have been trying to understand why unstable nonaxisymmetric eigenvectors have the shapes that they do in rotating toroidal configurations. For any azimuthal mode, , we are referring both to the radial dependence of the distortion amplitude, , and the radial dependence of the phase function, — the latter is what the Imamura and Hadley collaboration refer to as a "constant phase locus." Some old videos showing the development over time of various selfgravitating "constant phase loci" can be found here; these videos supplement the published work of Woodward, Tohline & Hachisu (1994).
Here, we focus specifically on instabilities that arise in socalled (nonselfgravitating) PapaloizouPringle tori and will draw heavily from three publications:
 Papaloizou & Pringle (1987), MNRAS, 225, 267 (aka PPIII) — The dynamical stability of differentially rotating discs. III.
 Blaes (1985), MNRAS, 216, 553 (aka Blaes85) — Oscillations of slender tori.
 Goldreich & Narayan (1985), MNRAS, 213, 7 (aka GGN86) — Nonaxisymmetric instability in thin discs.
PP III
Figure 2 extracted without modification from p. 274 of J. C. B. Papaloizou & J. E. Pringle (1987)
"The Dynamical Stability of Differentially Rotating Discs. III"
MNRAS, vol. 225, pp. 267283 © The Royal Astronomical Society 
Blaes (1985)
Equilibrium Configuration
In our separate discussion of PP84, we showed that the equilibrium structure of a PPtorus is defined by the enthalpy distribution,
Normalizing this expression by the enthalpy at the "center" — i.e., at the pressure maximum — of the torus which, as we have already shown, is
gives,
Now, in our review of Kojima's (1986) work, we showed that the square of the Mach number at the "center" of the torus is,









where, in obtaining this last expression we have related the adiabatic exponent to the polytropic index via the relation, . Instead of specifying the system's Mach number, Blaes (1985) defines the dimensionless parameter,



Implementing this parameter swap, the equilibrium expression becomes,
or,



Looking at Figure 1 of Blaes85 — see also the coordinate definitions given in his equation (2.1) — I conclude that,
and
Hence,









This matches equation (2.2) of Blaes85, if we acknowledge that Blaes uses — instead of the parameter notation, , found in our discussion of equilibrium polytropic configurations — to denote the normalized enthalpy; that is,
This expression for the enthalpy throughout a PapaloizouPringle torus is valid for tori of arbitrary thickness . When considering only slim tori, Blaes (1985) points out that this expression can be written in terms of the following power series in (see his equation 1.3):



Blaes then adopts a related parameter that is constant on isobaric surfaces, namely,
which is unity at the surface of the torus and which goes to zero at the crosssectional center of the torus. Notice that tracks the "radial" coordinate that measures the distance from the center of the torus; in particular, keeping only the leadingorder term in , there is a simple linear relationship between and , namely,



Cubic Equation Solution
For later use, let's invert the cubic relation to obtain a more broadly applicable function. Because we are only interested in radial profiles in the equatorial plane — that is, only for the values of or — the relation to be inverted is,






Table 1: Example Parameter Values determined by iterative solution for  
Inner solution [Superior sign in cubic eq.]  Outer solution [Inferior sign in cubic eq.]  
0.25  0.03375  0.244112  1.14647  0.256675  0.84600 
1.0  0.54  0.91909  1.55145  1.1378  0.31732 
^{†}Here, has been determined via a bruteforce, iterative technique. 
Following Wolfram's discussion of the cubic formula, we should view this expression as a specific case of the general formula,
in which case, as is detailed in equations (54)  (56) of Wolfram's discussion of the cubic formula, the three roots of any cubic equation are:









where,















Outer [inferior sign] Solution
Focusing, first, on the inferior sign convention, which corresponds to the "outer" solution , we see that the coefficients that lead to our specific cubic equation are:









Applying Wolfram's definitions of the and parameters to our particular problem gives,









Defining the parameter,



we therefore have,















ASIDE: The cube root of an imaginary number …
where,
and,
Now, according to this online resource, the three roots of are, which, for our specific problem gives,
where the subscript on refers to the in our original expression for .

In our particular case, after associating , we can write,


















Similarly, we can write,


















Focusing specifically on the "j=0" root, and setting , we therefore have,
























Table 1: Analytically Evaluated Roots determined for  
Inner solution [Superior sign in cubic eq.]  Outer solution [Inferior sign in cubic eq.]  
0.25  0.03375  4.98744  0.24411  0.25667  4.98744  0.24411  0.25667 
1.0  0.54  4.78128  0.91909  1.1378  4.78128  0.91909  1.1378 
CONFIRMATION: In all cases,  CONFIRMATION: In all cases, 
Inner [superior sign] Solution
Next, examing the superior sign convention, which corresponds to the "inner" solution , we see that the coefficients that lead to our specific cubic equation are:









Following the same set of steps that were followed in determining the "outer" solution, here we find: remains the same; has the same magnitude, but changes sign; and, hence, remains the same. We therefore have,






which leads to the following expressions for the three "inner" roots:









Analytically Prescribed Eigenvector
Our Notation
As is explicitly defined in Figure 1 of our accompanying detailed notes, we have chosen to represent the spatial structure of an eigenfunction in the equatorialplane of toroidallike configurations via the expression,



In general, we should assume that the function that delineates the radial dependence of the eigenfunction has both a real and an imaginary component, that is, we should assume that,



in which case the square of the modulus of the function is,



We can rewrite this complex function in the form,



if the angle, is defined such that,

and 




Hence, the spatial structure of the eigenfunction can be rewritten as,



From this representation we can see that, at each radial location, , the phase angle(s) at which the fractional perturbation exhibits its maximum amplitude, , is identified by setting the exponent of the exponential to zero. That is,



An equatorialplane plot of should produce the "constant phase locus" referenced, for example, in recent papers from the Imamura & Hadley collaboration.
General Formulation
From my initial focused reading of the analysis presented by Blaes (1985), I conclude that, in the infinitely slender torus case, unstable modes in PP tori exhibit eigenvectors of the form,



where we have written the perturbation amplitude in a manner that conforms with the notation that we have used in Figure 1 of a related, but more general discussion. As is summarized in §1.3 of Blaes (1985), for "thick" (but, actually, still quite thin) tori, "exactly one exponentially growing mode exists for each value of the azimuthal wavenumber ," and its complex amplitude takes the following form (see his equation 1.10):



Aside from an arbitrary leading scale factor, we should therefore find that the amplitude (modulus) of the enthalpy perturbation is,



and the associated phase function is,



Now, keeping in mind that, for the time being, we are only interested in examining the shape of the unstable eigenvector in the equatorial plane of the torus, we can set,
Hence, we have,












Also, keeping in mind that, because of the factor, the sign on the imaginary term flips its sign when switching from the "inner" region to the "outer" region of the torus,



over 
inner region of the torus; 

while  



over 
outer region of torus. 
Incompressible Slim Tori
If we specifically consider geometrically slim, incompressible tori — that is, if we set the polytropic index, — to lowest order the eigenfunction derived by Blaes (1985) takes the form,



Check Validity of Blaes85 Eigenvector
Step 1
Equation (2.6) of Blaes85 states that,



This means that,



and,






Furthermore,



and,



Step 2
Equation (4.14) of Blaes85 states that,



and equation (4.13) of Blaes85 states that,


















Through a separate whiteboard derivation I have obtained …  

Note that, differentiating the lefthandside with respect to either coordinate or gives,






Given that has both real and imaginary parts, presumably,






For later reference, let's take the relevant partial derivatives of the function, . Adopting the shorthand notation,
we have,












Through a separate whiteboard derivation I have obtained …  

























Through a separate whiteboard derivation I have obtained …  

























Through a separate whiteboard derivation I have obtained …  














































Through a separate whiteboard derivation I have obtained …  

Step 3
From our accompanying discussion of the Blaes85 derivation, we expect the following equality to hold (see his equations 4.1 and 4.2):



where,












Immediately evaluating the righthandside (RHS) of the equality, we have,









And the similarly modified LHS is:


















Now multiply both sides by …
We have,















And,
























Step 4
Let's divide both sides by and swap a couple of terms between the sides in order to group, on the right, terms with no explicit mention of .






























Through a separate whiteboard derivation I have obtained …  
 
 

And,






























Through a separate whiteboard derivation I have obtained …  

The remaining question is, does — at least to lowest order(s) in — after the Blaes85 expression for the eigenfunction, (and its derivatives), is inserted into the LHS expression?
Step 5
Now let's evaluate the LHS terms, keeping only leadingorders in before plugging derivatives of into each term. For example,
























Next,















Through a separate whiteboard derivation I have obtained …  

Also, from above,






Through a separate whiteboard derivation I have obtained …  

Taken together, then, we have,













































Let's further simplify:






























Step 6
Hence, to lowest order we want to compare the following two expressions:





























































































Examples
Evaluate various expressions using the parameter set:



1.375000000 



0.083984375 



+ 0.167968750 



8.031189202 



1.515625000 



36.23373732 



2.388335684 



(1) × 15.36617018 



8.125000000 



30.76957507 



4.269531250 







(1) × 5.773638858 







0.931640625 







13.86780926 






9.248046874 







139.7753772 
Step 7
Let's begin by slightly redefining the LHS and RHS collections of terms.















Next Lowest Order
Let's begin with the RHS (Case B).



























where,

Hence,















This should be compared to,






Now, from above, we can write,















Also,


















Finally,


















Inserting these three approximate expressions into the LHS_4 ensemble gives,



























Assessment
The good news is that the real part of the expression exactly matches the real part of the expression. But the imaginary differ by a factor of 2. So, let's repeat the steps leading to the imaginary parts.
Case B:


































































Goldreich, Goodman and Narayan (1986)
Unperturbed Slim Torus Structure
Goldreich, Goodman & Narayan (1986, MNRAS, 221, 339) — hereafter, GGN86 — also used analytic techniques to analyze the properties of unstable, nonaxisymmetric eigenmodes in PapaloizouPringle tori. They restricted their discussion to only the slimmest tori, so overlap between the GGN86 and Blaes85 work is easiest to recognize if we begin with the enthalpy distribution prescribed for a "slim torus" by Blaes (1985), as discussed above, namely,



[Note: Here we have replaced the variable name, , as used in Blaes85, with the variable name, , in order (1) to emphasize that the variable represents a dimensionless radial coordinate, and (2) to avoid conflict with the GGN86 variable, , which is a Cartesian coordinate with the standard dimension of length.]
Now, from our above discussion of equilibrium PP tori and recognizing that the Keplerian angular frequency at the location of the enthalpy maximum is,
we can set,



Hence, for the slimmest tori — that is, keeping only the lowest order term in — the enthalpy distribution becomes,






Following GGN86, the surface of the torus — where the enthalpy drops to zero — occurs at . Hence, we recognize that,
and we can rewrite the expression for the unperturbed enthalpy distribution as,



This expression exactly matches equation (2.13) of GGN86 — which, is,



once it is appreciated that, in moving from the Blaes85 discussion to the GGN86 discussion, , and it is recognized that Blaes85 restricted his investigation to tori that have uniform specific angular momentum .
Additional Notation
From equation (5.16) of GGN86 we obtain "the lowest order [complex] expression for the [perturbed] velocity potential," namely,



Working on the imaginary part of this expression to put it in the terminology of Blaes85, we find,









which exactly matches as derived by Blaes85 and summarized above. Similarly,












This exactly matches as derived by Blaes85 and summarized above. This is in line with the following statement that appears in the acknowledgement section of GGN86: "We note that Omar Blaes … [has] independently derived many of the results reported in this paper."
Summary Comparison
For slim, incompressible tori with uniform specific angular momentum, Blaes85 gives, to lowest order:



By comparison, from GGN86 we obtain:



To within an additive constant, these two functions are identical. The resulting amplitude function is (to within an overall scale factor and to within an arbitrary additive constant),









and the associate phase function is,



See Also
 Imamura & Hadley collaboration:
 Paper I: K. Hadley & J. N. Imamura (2011, Astrophysics and Space Science, 334, 126), "Nonaxisymmetric instabilities in selfgravitating disks. I. Toroids" — In this paper, Hadley & Imamura perform linear stability analyses on fully selfgravitating toroids; that is, there is no central pointlike stellar object and, hence, .
 Paper II: K. Z. Hadley, P. Fernandez, J. N. Imamura, E. Keever, R. Tumblin, & W. Dumas (2014, Astrophysics and Space Science, 353, 191222), "Nonaxisymmetric instabilities in selfgravitating disks. II. Linear and quasilinear analyses" — In this paper, the Imamura & Hadley collaboration performs "an extensive study of nonaxisymmetric global instabilities in thick, selfgravitating stardisk systems creating a large catalog of star/disk systems … for star masses of and inner to outer edge aspect ratios of ."
 Paper III: K. Z. Hadley, W. Dumas, J. N. Imamura, E. Keever, & R. Tumblin (2015, Astrophysics and Space Science, 359, article id. 10, 23 pp.), "Nonaxisymmetric instabilities in selfgravitating disks. III. Angular momentum transport" — In this paper, the Imamura & Hadley collaboration carries out nonlinear simulations of nonaxisymmetric instabilities found in selfgravitating star/disk systems and compares these results with the linear and quasilinear modeling results presented in Papers I and II.
© 2014  2020 by Joel E. Tohline 