User:Tohline/SSC/Perspective Reconciliation
From VisTrailsWiki
Contents 
Reconciling Eulerian versus Lagrangian Perspectives
 Tiled Menu  Tables of Content  Banner Video  Tohline Home Page  
Adopting the Perturbation Notation^{†} of P. Ledoux & Th. Walraven (1958)  

Eulerian  Lagrangian  



^{†}See especially the following clarifying comments from, respectively, §43 (p. 432) and §55 (p. 452) of Ledoux & Walraven (1958):

Introduction
Eulerian Approach
In a related discussion, we have shown that, from a standard Eulerian perspective, the perturbation and linearization of the principal governing equations leads to an equation of continuity (EOC), equation of motion (EOM), and Poisson equation of the form,









The standard Eulerian approach to combining these expressions is to take the timederivative of the EOC, take the divergence of the EOM (and combine with the Poisson equation), then add the two to obtain,



After defining the fractional Eulerian density variation as,
this becomes what we have referred to elsewhere as the Eulerian Wave Equation.
Lagrangian Approach
In another related discussion, we have shown that, from a standard Lagrangian perspective, the perturbation and linearization of the principal governing equations leads to an equation of continuity (EOC), and equation of motion (EOM) already combined with the Poisson equation of the form,






The standard Lagranian approach to combining these expressions is to take the radialderivative of the EOC, then substitute the EOC's expression for as well as its radial derivative into the EOM to obtain,



which, after rearrangement of terms, gives what we have referred to elsewhere as the Adiabatic Wave (or Radial Pulsation) Equation.
Rosseland's Approach
Rosseland's approach is to take the total timederivative of the EOM — even before linearizing any of the governing equations — then combine it strategically with the EOC and (integrated) Poisson equation to obtain,






By recognizing that in the initial equilibrium state and, therefore, that after perturbing the system, is a "small quantity," this equation is already linearized because every term contains one factor of . Actually, as indicated, the last term on the righthandside can be dropped because it is of order .
Approach by Ledoux and Walraven
Note: It also might prove valuable to look at the arguments presented in §2.6 of Ledoux's Chapter 10, pp. 499574 of Stellar Structure (1965)
P. Ledoux & Th. Walraven (1958) discuss linearization of the principal governing equations and stellar pulsation primarily from an Eulerian perspective. Focusing on §57 (pp. 455  458) of their Handbuch der Physik article — which falls under the major heading, "Radial oscillations of a gaseous sphere under its own gravitation" — we note, first that they use to denote the radial displacement and use primes to identify all Eulerian perturbations. Then, in separating out the spatial and time dependences, they use the notation (see their equation 57.14),















According to their derivations, the linearized equation of continuity (EOC), equation of motion (EOM), and Poisson equation — see, repectively, their equations 57.15, 57.16 (with nonadiabatic effects set to zero), and 57.21 — are,









Next, with the aim of writing each of the three terms on the righthandside of the EOM in terms of the displacement, , Ledoux and Walraven do the following: (1) By combining the EOC with the Poisson equation they obtain the perturbation in the gravitational acceleration, namely (see their equation 57.22),






(2) The pressure fluctuation is obtained by using the adiabatic form of the 1^{st} law of thermodynamics to relate to , replacing the Lagrangian time derivatives with their Eulerian counterparts, then using the linearized EOC to provide an expression for the density fluctuation in terms of the radial displacement. Specifically (see their equations 56.15 and 57.19 with nonadiabatic terms set to zero),















With these substitutions, the linearized EOM (tentatively) takes the form,



























This matches equation (57.23) of Ledoux & Walraven, if all nonadiabatic terms are set to zero.
Separate Analyses of Homogeneous Sphere
In an accompanying discussion, we have reviewed T. E. Sterne's (1937, MNRAS, 97, 582) study of radial pulsation modes in the homogeneous sphere. He solved the eigenvalue problem as defined by theand, hence, as established via a Lagrangian formulation of the problem. The eigenvectors and eigenvalues that Sterne derived for the first two or three radial modes have also appeared — usually in the context of separate, rederivations — in other publications: See, for example, §38.2 (pp. 402403) of [KW94].
After finishing that review, we became aware that a separate study of radial pulsation modes in the homogeneous sphere has been published by S. Rosseland (1969) In his book titled, The Pulsation Theory of Variable Stars (see, specifically his § 3.2, beginning on p. 27). Rosseland solved an eigenvalue problem as defined by the relation,



(see his equation 2.23 on p. 20, with the adiabatic condition being enforced by setting the righthandside equal to zero), where,
Rosseland derived this expression in an earlier section of his book via an Eulerian formulation of the problem. Realizing that, for a spherically symmetric system,
as is demonstrated in and accompanying discussion, this relation can be rewritten in the more familiar form of a 2^{nd}order ODE, namely,



Here we will repeat the setup and solution of both eigenvalue problems in an effort to reconcile differences. As we have explained elsewhere, an equilibrium, homogeneous, selfgravitating sphere has the following structural properties:
where,
and
and the characteristic gravitational acceleration is defined as,
In addition, it will be useful to recognize that the square of the characteristic time for dynamical oscillations in spherically symmetric configurations (SSC) is,
Lagrangian Reformulation
Quite generally, we can rewrite the Lagrangianformulated wave equation as,
Note that we are convinced that this expression is errorfree because, for example, when the structural properties of an equilibrium, polytrope are plugged into it, as is demonstrated in an accompanying discussion, we obtain exactly the same 2^{nd}order ODE as published by Murphy & Fiedler (1985). For an homogeneous sphere, in particular, this expression can be rewritten as follows.






where,
This expression precisely matches equation (2) of Sterne (1937).
Drawing from Sterne's presentation, the following table details the eigenfunctions for the four lowest radial modes that satisfy this wave equation.
Eulerian Reformulation
Using the same characteristic time scale and gravitational acceleration, we can similarly rewrite the Eulerianformulated expression as,



Note that we are convinced that this expression is errorfree because, for example, when the structural properties of an equilibrium, "linear stellar model" are plugged into it, we obtain exactly the same 2^{nd}order ODE as published by R. Stothers & J. A. Frogel (1967, ApJ, 148, 305) — see their equation (2). For an homogeneous sphere, in particular, this expression can be rewritten as follows.












Drawing from Rosseland's presentation (see his p. 29), the following table details the eigenfunctions for the three lowest radial modes that satisfy this wave equation; a virtually identical summary can be found in §6.5 (see especially Figure 6.1 on p. 140) of [ST83].
Rosseland's (1964) Eigenfunctions for Homogeneous Sphere
Figure in the rightmost column extracted from p. 29 of Rosseland (1964)
"The Pulsation Theory of Variable Stars" (New York: Dover Publications, Inc.) 


Mode  Eigenvector  Square of Eigenfrequency:  
As Published  Rewritten  
Reconciliation by Rosseland
Rosseland (1969) points out that these two different formulations can be reconciled by adopting the following dependent coordinate substitution (see his equation 3.11):
This means that the derivatives that appear in the above Lagrangian formulation should be replaced by the expressions,
and,
Doing this, we have,









which, indeed, matches the expression derived via Rosseland's Eulerian formulation.
Rosseland's Derivation of the Wave Equation
Here we step through a derivation of the wave equation as has been presented by S. Rosseland (1969) in chapter 2 of his book titled, The Pulsation Theory of Variable Stars (see, especially his §§ 2.1 & 2.2, pp. 1520), dropping all terms that account for nonadiabatic effects.
We begin with the set of principal governing equations that provides the foundation for practically all of our discussions in this H_Book, namely, the
Equation of Continuity

Euler Equation

Adiabatic Form of the
First Law of Thermodynamics
.
Poisson Equation

Because we are considering only spherically symmetric configurations, we will implement operators that reflect structural variations only in the radial coordinate. Specifically, following a parallel discussion of the principal governing equations that are appropriate for spherically symmetric configurations, we have the,
Equation of Continuity
Euler Equation
Adiabatic Form of the
First Law of Thermodynamics
Poisson Equation
Step 1:
Following Rosseland, we adopt as a supplemental relation what we have referred to elsewhere as,
Form B
of the Ideal Gas Equation of State,
where, for our purposes, we assume that is independent of space and time. Plugging the function, , that is defined by this equation of state into the adiabatic form of the 1^{st} law of thermodynamics leads to the relations (see, respectively, Rosseland's equations 2.8 and 2.9),



and,



where and are independent of time. We note for later use that, when the equation of continuity — as written in its original vectoroperator form — is combined with this last differential form of the 1^{st} law of thermodynamics, we can write,



Step 2:
As we have shown in a separate discussion of how to construct equilibrium, spherically symmetric configurations, the Poisson equation can be integrated once to give an expression for the gravitational acceleration (see, also, Rosseland's equation 2.16) of the form,



As is quite customary in this field of research, Rosseland substitutes for the radial gradient of the gravitational potential in the Euler equation — that is, he writes,



(see his equation 2.14 with nonadiabatic terms set to zero) — and, in so doing, considers that the Poisson equation has been solved. This reduces the number of governing equations (as well as the number of unknown structural variables) to three. Then Rosseland proceeds to point out that, when the radial pulsation of a spherically symmetric configuration is viewed from a Lagrangian perspective — that is, while riding along with a fluid element — the mass enclosed inside the radial position of each fluid element, , does not change with time. Hence, the Lagrangian timederivative of the gravitational acceleration is (see Rosseland's equation 2.17),



Step 3:
Next, Rosseland takes the Lagrangian timederivative of the Euler equation, which gives (see Rosseland's equation 2.15 with nonadiabatic terms set to zero),









But, from the Euler equation, itself, we can write,



Hence,






Step 4:
Finally, Rosseland sets out to swap the order of the time and spacederivatives in the term,
But, whereas the partial time derivative commutes with the partial radial derivative, the total time derivative does not commute with the spatial derivative. Generically, however, for any scalar variable, , we can swap between total and partial time derivatives via the operator relation,
Hence, if is replaced by , we can write,
while, if is replaced by , we have,






where, in making this last step, we have swapped the order of the partial derivatives in the first term on the righthand side. Combining these two relations and incorporating the form of Euler's equation that was highlighted in step #3 gives,






Inserting this into the equation found at the end of step #3, then inserting the expression for derived in step #1 gives,






This matches Rosseland's equation (2.18) with the nonadiabatic terms set to zero.
Material that appears after this point in our presentation is under development and therefore
may contain incorrect mathematical equations and/or physical misinterpretations.
 Go Home 
Linearizing the Key Relations
Continuity Equation  

Lagrangian Perspective  Eulerian Perspective  



Spherically Symmetric Initial Configurations & Purely Radial Perturbations  



In an interval of time, , a fluid element initially at position moves to position, . [For later reference, note that can be a function of as well as of .] On the righthand side of the expression, the radial coordinate will be handled as follows: From the Lagrangian perspective, , while from the Eulerian perspective, we want to stay at the original coordinate location, so . From both perspectives, Riding with the fluid element (Lagrangian perspective), , while at a fixed coordinate location (Eulerian perspective), . Finally, in maintaining a Lagrangian perspective, we will need to ensure that the same element of mass is being tracked as we "ride along" with the fluid element to its new position. For radial perturbations associated with a spherically symmetric configuration, this means that the differential mass in each spherical shell, , must remain constant; that is,





Note: The last term that appears on the righthand side of the two expressions appears to be different. But if, as we are assuming here, has no explicit time dependence but may be considered to be a function of the radial coordinate, , then the two terms are the same. This is because, quite generically for any scalar function , the total timederivative (Lagrangian perspective) differs from the partial timederivative (Eulerian perspective) via the expression, . In our case, , so . 

… and …




See Also
 Especially in the context of our above review of the approach presented by P. Ledoux & Th. Walraven (1958), it also might prove valuable to look at the arguments presented in §2.6 of Ledoux's Chapter 10, pp. 499574 of Stellar Structure (1965)
 D. LyndenBell & J. P. Ostriker (1967), MNRAS, 136, 293: On the stability of differentially rotating bodies — this article not only develops a variational principle from both an Eulerian and Lagrangian perspective, it also develops an antispiral theorem that might be relevant in the context of Cases' compressible analog of Riemann ellipsoids.
© 2014  2021 by Joel E. Tohline 