Ledoux's Variational Principle

All of the discussion in this chapter will build upon our derivation elsewhere of the,

LAWE: Linear Adiabatic Wave (or Radial Pulsation) Equation

<math>~ \frac{d^2x}{dr_0^2} + \biggl[\frac{4}{r_0} - \biggl(\frac{g_0 \rho_0}{P_0}\biggr) \biggr] \frac{dx}{dr_0} + \biggl(\frac{\rho_0}{\gamma_\mathrm{g} P_0} \biggr)\biggl[\omega^2 + (4 - 3\gamma_\mathrm{g})\frac{g_0}{r_0} \biggr] x = 0 </math>

We will draw heavily from the papers published by Ledoux & Pekeris (1941) and by S. Chandrasekhar (1964), as well as from pp. 458-474 of the review by P. Ledoux & Th. Walraven (1958) in explaining how the variational principle can be used to identify the eigenvector of the fundamental mode of radial oscillation in spherically symmetric configurations. In an associated "Ramblings" appendix, we provide various derivations that support this chapter's relatively abbreviated presentation.

Ledoux and Pekeris (1941)

Historically, by the 1940s, the LAWE was a relatively familiar one to astrophysicists. For example, the opening paragraph of a 1941 paper by Ledoux & Pekeris (1941, ApJ, 94, 124), reads:

Paragraph extracted from P. Ledoux & C. L. Pekeris (1941)

"Radial Pulsations of Stars"

ApJ, vol. 94, pp. 124-135 © American Astronomical Society

If we divide their equation (1) through by <math>~Xr = \Gamma_1 P r</math> and recognize that,

<math> \frac{dX}{dr} = \frac{dX}{dm}\frac{dm}{dr} = - \Gamma_1 g_0 \rho \, , </math>

we obtain,

<math> \frac{d^2\xi}{dr^2} + \biggl[ \frac{4}{r} - \frac{g_0 \rho}{P} \biggr] \frac{d\xi}{dr} +\frac{\rho}{\Gamma_1 P} \biggl[ \sigma^2 + (4 - 3\Gamma_1) \frac{g_0}{r} \biggr] \xi = 0 \, . </math>

Clearly, this 2^nd-order, ordinary differential equation is the same as our derived LAWE, but with a more general definition of the adiabatic exponent that allows consideration of a situation where the total pressure is a sum of both gas and radiation pressure.

Multiplying this last equation through by <math>~\Gamma_1 P r^4</math>, and recognizing that,

<math>~(r^4 \Gamma_1 P)\frac{d^2\xi}{dr^2} </math>

<math>~ \frac{d}{dr}\biggl[ r^4 \Gamma_1 P ~\frac{d\xi}{dr} \biggr] - \frac{d\xi}{dr} \cdot \frac{d}{dr} \biggl[ r^4 \Gamma_1 P\biggr] </math>

we can write,

<math>~0</math>	<math>~=</math>	<math>~ \frac{d}{dr}\biggl[ r^4 \Gamma_1 P ~\frac{d\xi}{dr} \biggr] - \frac{d\xi}{dr} \cdot \frac{d}{dr} \biggl[ r^4 \Gamma_1 P\biggr] + ( \Gamma_1 P r^4 ) \biggl[ \frac{4}{r} - \frac{g_0 \rho}{P} \biggr] \frac{d\xi}{dr} +\rho \biggl[ \sigma^2 r^4 + (4 - 3\Gamma_1) g_0 r^3\biggr] \xi </math>
	<math>~=</math>	<math>~ \frac{d}{dr}\biggl[ r^4 \Gamma_1 P ~\frac{d\xi}{dr} \biggr] - \biggl[4r^3\Gamma_1 P + \Gamma_1 r^4 \frac{dP}{dr} \biggr] \frac{d\xi}{dr} + \biggl[ 4 r^3\Gamma_1 P + \Gamma_1 r^4 \frac{dP}{dr}\biggr] \frac{d\xi}{dr} +\biggl[ \sigma^2 \rho r^4 - (4 - 3\Gamma_1) r^3 \frac{dP}{dr} \biggr] \xi </math>
(checked for n = 5) ==>	<math>~=</math>	<math>~ \frac{d}{dr}\biggl[ r^4 \Gamma_1 P ~\frac{d\xi}{dr} \biggr] +\biggl[ \sigma^2 \rho r^4 + (3\Gamma_1 - 4) r^3 \frac{dP}{dr} \biggr] \xi </math>
	<math>~=</math>	<math>~ \frac{d}{dr}\biggl[ \Gamma_1 P r^4 ~\frac{d\xi}{dr} \biggr] +\biggl[ \sigma^2 r^4 \rho + 4 Gm (r ) r \rho + 3\Gamma_1 r^3 \frac{dP}{dr} \biggr] \xi \, . </math>

Assuming that <math>~\Gamma_1</math> is uniform throughout the configuration, this last expression is the same as equation (3) of Ledoux & Pekeris (1941), while the next-to-last expression is identical to equation (58.1) of Ledoux & Walraven (1958).

Stability Based on Variational Principle

Here we derive the Lagrangian directly from the governing LAWE. We begin with the next-to-last derived form of the LAWE that appears above in our review of the paper by Ledoux & Pekeris (1941) and, following the guidance provided at the top of p. 666 of S. Chandrasekhar (1964, ApJ, 139, 664), we multiply the LAWE through by the fractional displacement, <math>~\xi</math>. This gives, what we will henceforth refer to as, the,

Foundational Variational Relation
<math>~\sigma^2 \rho r^4 \xi^2</math>	<math>~=</math>	<math>~ -\xi \cdot \frac{d}{dr}\biggl[ r^4 \Gamma_1 P ~\frac{d\xi}{dr} \biggr] - (3\Gamma_1 - 4) r^3 \xi^2 \biggl( \frac{dP}{dr} \biggr) \, . </math>

Chandrasekhar's Approach

Next, in an effort to adopt the notation used by Chandrasekhar (1964), we make the substitution, <math>~\xi \rightarrow \psi/r^3</math>, and regroup terms to obtain,

<math>~\frac{\sigma^2 \rho \psi^2}{r^2}</math>	<math>~=</math>	<math>~ - \biggl( \frac{\psi}{r^3}\biggr) \frac{d}{dr}\biggl[ r^4 \Gamma_1 P ~\frac{d}{dr} \biggl( \frac{\psi}{r^3} \biggr) \biggr] - (3\Gamma_1 - 4) \biggl( \frac{\psi^2}{r^3} \biggr) \biggl( \frac{dP}{dr} \biggr) </math>
	<math>~=</math>	<math>~ - \biggl( \frac{\psi}{r^3}\biggr) \frac{d}{dr}\biggl[ r \Gamma_1 P ~\frac{d\psi}{dr} -3 \Gamma_1 P \psi ~\biggr] - (3\Gamma_1 - 4) \biggl( \frac{\psi^2}{r^3} \biggr) \biggl( \frac{dP}{dr} \biggr) </math>
	<math>~=</math>	<math>~ (4-3\Gamma_1 ) \biggl( \frac{\psi^2}{r^3} \biggr) \biggl( \frac{dP}{dr} \biggr) - \biggl( \frac{\psi}{r^3}\biggr) \frac{d}{dr}\biggl[ r \Gamma_1 P ~\frac{d\psi}{dr} \biggr] + 3 \Gamma_1 \biggl( \frac{\psi^2}{r^3}\biggr) \frac{dP}{dr} +3 \Gamma_1 P \biggl( \frac{\psi}{r^3}\biggr) \frac{d\psi}{dr} </math>
	<math>~=</math>	<math>~ 4\biggl( \frac{\psi^2}{r^3} \biggr) \biggl( \frac{dP}{dr} \biggr) +3 \Gamma_1 P \biggl( \frac{\psi}{r^3}\biggr) \frac{d\psi}{dr} - \biggl\{ \frac{d}{dr}\biggl[ r \Gamma_1 P \biggl( \frac{\psi}{r^3}\biggr) \frac{d\psi}{dr}\biggr] -r\Gamma_1 P ~\frac{d\psi}{dr} \cdot \frac{d}{dr}\biggl( \frac{\psi}{r^3}\biggr) \biggr\} </math>
	<math>~=</math>	<math>~ 4\biggl( \frac{\psi^2}{r^3} \biggr) \biggl( \frac{dP}{dr} \biggr) +3 \Gamma_1 P \biggl( \frac{\psi}{r^3}\biggr) \frac{d\psi}{dr} + \frac{\Gamma_1 P}{r^2} \biggl[\frac{d\psi}{dr} \biggr]^2 - \biggl[\frac{3\Gamma_1 P\psi}{r^3}\biggr]\frac{d\psi}{dr} - \frac{d}{dr}\biggl[\frac{\Gamma_1 P \psi}{r^2} \biggl( \frac{d\psi}{dr} \biggr) \biggr] </math>
	<math>~=</math>	<math>~ 4\biggl( \frac{\psi^2}{r^3} \biggr) \biggl( \frac{dP}{dr} \biggr) + \frac{\Gamma_1 P}{r^2} \biggl[\frac{d\psi}{dr} \biggr]^2 - \frac{d}{dr}\biggl[ \frac{\Gamma_1 P \psi}{r^2} \biggl( \frac{d\psi}{dr} \biggr) \biggr] \, . </math>

Let's check to see whether the terms in the RHS of this last expression sum to zero when we plug in the appropriate functions for the marginally unstable, n = 5 configuration. In particular (replacing <math>~\xi</math> with <math>~x</math>, and setting <math>~r = a_5\xi</math>), we start with knowing,

<math>~\theta_5 = \biggl(\frac{3+\xi^2}{3}\biggr)^{-1 / 2}</math>;	<math>~\frac{d\theta_5}{d\xi} = - \frac{\xi}{3}\biggl(\frac{3+\xi^2}{3}\biggr)^{-3 / 2}</math>;
<math>~x = \biggl(\frac{3\cdot 5 - \xi^2}{3\cdot 5} \biggr)</math>;	<math>~\frac{dx}{d\xi} = -\frac{2\xi}{3\cdot 5}</math>;
<math>~\psi = a_5^3 \xi^3 x</math>;	<math>~ \frac{d\psi}{d\xi} = a_5^3 \biggl[ 3\xi^2 x + \xi^3 \biggl(\frac{dx}{d\xi}\biggr)\biggr] = \frac{a_5^3 \xi^2}{3}\biggl( 3^2 - \xi^2 \biggr) \, . </math>

Then,

<math>~\mathrm{RHS}</math>	<math>~=</math>	<math>~ 4\biggl[ \frac{a_5^6 \xi^6 x^2}{a_5^3 \xi^3} \biggr] \frac{P_c}{a_5} \cdot \frac{d\theta^6}{d\xi} + P_c \biggl(\frac{n+1}{n}\biggr) \frac{\theta^6}{a_5^4 \xi^2} \biggl\{ \frac{d\psi}{d\xi} \biggr\}^2 - \frac{P_c}{a_5} \cdot \frac{d}{d\xi}\biggl\{ \biggl(\frac{n+1}{n}\biggr) \frac{\theta^6 a_5^3 \xi^3 x}{a_5^3 \xi^2} \biggl( \frac{d\psi}{d\xi} \biggr) \biggr\} </math>
<math>~\Rightarrow ~~~ \frac{\mathrm{RHS}}{P_c a_5^2}</math>	<math>~=</math>	<math>~ 4\biggl[ \xi^3 x^2 \biggr] \frac{d\theta^6}{d\xi} + \biggl(\frac{n+1}{n}\biggr) \frac{\theta^6}{ \xi^2} \biggl\{ \frac{\xi^2}{3}\biggl( 3^2 - \xi^2 \biggr) \biggr\}^2 - \frac{d}{d\xi}\biggl\{ \biggl(\frac{n+1}{n}\biggr) \frac{\theta^6 \xi^3 x}{ \xi^2} \biggl[ \frac{\xi^2}{3}\biggl( 3^2 - \xi^2 \biggr)\biggr] \biggr\} </math>
	<math>~=</math>	<math>~ 2^3\cdot 3 \xi^3 x^2 \biggl(\frac{3+\xi^2}{3}\biggr)^{-5 / 2} \biggl[- \frac{\xi}{3}\biggl(\frac{3+\xi^2}{3}\biggr)^{-3 / 2} \biggr] + \biggl(\frac{n+1}{n}\biggr) \biggl(\frac{\xi}{3}\biggr)^2 \biggl(\frac{3+\xi^2}{3}\biggr)^{-3} ( 3^2 - \xi^2 )^2 </math>
		<math>~ - \frac{d}{d\xi}\biggl\{ \biggl(\frac{n+1}{n}\biggr)\biggl(\frac{3+\xi^2}{3}\biggr)^{-3} \frac{\xi^3 x}{ 3} ( 3^2 - \xi^2) \biggr\} </math>
	<math>~=</math>	<math>~ - 2^3 \cdot 3^4 ~\xi^4 x^2 \biggl(\frac{1}{3+\xi^2}\biggr)^{4} + \biggl(\frac{2\cdot 3^2}{5}\biggr) \xi^2 \biggl[ \frac{( 3^2 - \xi^2 )^2}{(3+\xi^2)^3} \biggr] - \biggl(\frac{2\cdot 3^3}{5}\biggr)\frac{d}{d\xi}\biggl\{ \xi^3 x \biggl[ \frac{( 3^2 - \xi^2)}{(3+\xi^2)^3} \biggr] \biggr\} </math>
<math>~\Rightarrow ~~~ \frac{5 (3+\xi^2)^4 [\mathrm{RHS} ]}{ 2\cdot 3^2 P_c a_5^2}</math>	<math>~=</math>	<math>~ - 2^2 \cdot 3^2 \cdot 5~\xi^4 x^2 + \xi^2 (3+\xi^2) ( 3^2 - \xi^2 )^2 </math>
		<math>~ - 3(3+\xi^2)^4 \biggl\{ \xi^3 \biggl[ \frac{( 3^2 - \xi^2)}{(3+\xi^2)^3} \biggr] \frac{dx}{d\xi} + 3\xi^2 x \biggl[ \frac{( 3^2 - \xi^2)}{(3+\xi^2)^3} \biggr] + \xi^3 x \biggl[ \frac{ -2\xi }{(3+\xi^2)^3} \biggr] -2\cdot 3 \xi^4 x \biggl[ \frac{( 3^2 - \xi^2)}{(3+\xi^2)^4} \biggr] \biggr\} </math>
	<math>~=</math>	<math>~ \xi^2 (3+\xi^2) ( 3^2 - \xi^2 )^2 - 2^2 \cdot 3^2 \cdot 5~\xi^4 x^2 - 3\xi^3 ( 3^2 - \xi^2) (3+\xi^2) \biggl[ - \frac{2\xi}{ 3\cdot 5} \biggr] </math>
		<math>~ - 3 \xi^2\biggl\{ 3 ( 3^2 - \xi^2) (3+\xi^2) -2 \xi^2 (3+\xi^2) -2\cdot 3 \xi^2 ( 3^2 - \xi^2) \biggr\} x </math>
<math>~\Rightarrow ~~~ \frac{5^2 (3+\xi^2)^4 [\mathrm{RHS} ]}{ 2\cdot 3^2 ~\xi^2 P_c a_5^2}</math>	<math>~=</math>	<math>~ 5 (3+\xi^2) ( 3^2 - \xi^2 )^2 - 2^2~\xi^2 (15-\xi^2)^2 + 2 \xi^2 ( 3^2 - \xi^2) (3+\xi^2) </math>
		<math>~ + \biggl[ 2 \xi^2 (3+\xi^2) + 2\cdot 3 \xi^2 ( 3^2 - \xi^2) - 3 ( 3^2 - \xi^2) (3+\xi^2) \biggr] (15-\xi^2) </math>
	<math>~=</math>	<math>~ (3\cdot 5 + 5\xi^2) ( 3^4 - 2\cdot 3^2\xi^2 + \xi^4) - 2^2~\xi^2 (3^2\cdot 5^2 - 2\cdot 3\cdot 5 \xi^2 + \xi^4) + 2 \xi^2 ( 3^3 + 2\cdot 3\xi^2 -\xi^4) </math>
		<math>~ + \biggl[ 2\cdot 3 \xi^2 + 2\xi^4 + 2\cdot 3^3 \xi^2 - 2\cdot 3 \xi^4 - 3(3^3 + 2\cdot 3\xi^2 -\xi^4) \biggr] (15-\xi^2) </math>

Coefficients of various powers of <math>~\xi</math>:

<math>~\xi^0:</math>		<math>~3^5\cdot 5 -3^5\cdot 5 = 0</math>
<math>~\xi^2:</math>		<math>~-2\cdot 3^3\cdot 5 + 3^4\cdot 5 -2^2 \cdot 3^2 \cdot 5^2 +2\cdot 3^3 + 2\cdot 3^2\cdot 5 + 2\cdot 3^4\cdot 5 - 2\cdot 3^3\cdot 5 + 3^4</math>
		<math>~= 3^2\cdot 5[-2\cdot 3 + 3^2 + 2 + 2\cdot 3^2 - 2\cdot 3] + 3^2[ 2\cdot 3 + 3^2 - 2^2 \cdot 5^2 ] = 3^2\cdot 5[17 ] - 3^2[5\cdot 17 ] = 0</math>
<math>~\xi^4:</math>		<math>~3\cdot 5 -2\cdot 3^2\cdot 5 +2^3\cdot 3\cdot 5 + 2^2\cdot 3 + 2\cdot 3 \cdot 5 - 2\cdot 3^2\cdot 5 - 2\cdot 3 -2\cdot 3^3 + 2\cdot 3^2 + 3^2\cdot 5</math>
		<math>~= 3\cdot 5[1 -2\cdot 3 +2^3 + 2 - 2\cdot 3 + 3] + 2\cdot 3[2 - 1 - 3^2 + 3] = 2\cdot 3\cdot 5 - 2\cdot 3\cdot 5 = 0 </math>
<math>~\xi^6:</math>		<math>~5 - 2^2 -2 -2 +2\cdot 3 -3 = 0</math>

Multiplying through by <math>~dr</math>, and integrating over the volume gives,

<math>~\int_0^R (\sigma^2 \rho \psi^2)\frac{dr}{r^2}</math>

<math>~ \int_0^R \biggl[ \Gamma_1 P \biggl(\frac{d\psi}{dr} \biggr)^2 + \frac{4\psi^2}{r} \biggl( \frac{dP}{dr} \biggr) \biggr]\frac{dr}{r^2} - \biggl[\frac{\Gamma_1 P \psi}{r^2} \biggl( \frac{d\psi}{dr} \biggr) \biggr]_0^R \, , </math>

which is identical to equation (49) of Chandrasekhar (1964), if the last term — the difference of the central and surface boundary conditions — is set to zero.

Note that if we shift from the variable, <math>~\psi</math>, back to the fractional displacement function, <math>~\xi</math>, the last term in this expression may be written as,

<math>~\frac{\Gamma_1 P \psi}{r^2} \biggl( \frac{d\psi}{dr} \biggr)</math>	<math>~=</math>	<math>~ \Gamma_1 P r \xi \frac{d}{dr} \biggl[r^3 \xi\biggr] </math>
	<math>~=</math>	<math>~ \Gamma_1 P r \xi \biggl[3r^2 \xi + r^3 \frac{d\xi}{dr}\biggr] </math>
	<math>~=</math>	<math>~ \Gamma_1 P r^3 \xi^2 \biggl[3 + \frac{d\ln\xi}{d\ln r}\biggr] \, . </math>

So, as is pointed out by Ledoux & Walraven (1958) in connection with their equation (57.31), setting this expression to zero at the surface of the configuration is equivalent to setting the variation of the pressure to zero at the surface. Quite generally, this can be accomplished by demanding that,

<math>~\frac{d\ln\xi}{d\ln r}\biggr|_\mathrm{surface} = -3 \, .</math>

(An accompanying chapter provides a broader discussion of this and other astrophysically reasonable boundary conditions that are associated with solutions to the LAWE.)

Ledoux & Walraven Approach

Returning to the above Foundational Variational Relation, we can also write,

<math>~\sigma^2 \rho r^4 \xi^2</math>	<math>~=</math>	<math>~ -\xi \cdot \frac{d}{dr}\biggl[ r^4 \Gamma_1 P ~\frac{d\xi}{dr} \biggr] - (3\Gamma_1 - 4) r^3 \xi^2 \biggl( \frac{dP}{dr} \biggr) </math>
	<math>~=</math>	<math>~ r^4 \Gamma_1 P \biggl(\frac{d\xi}{dr}\biggr)^2 - (3\Gamma_1 - 4) r^3 \xi^2 \biggl( \frac{dP}{dr} \biggr) - \frac{d}{dr}\biggr[r^4 \Gamma_1 P\xi \biggl(\frac{d\xi}{dr}\biggr) \biggr] </math>
<math>~\Rightarrow ~~~ \int_0^R\sigma^2 \rho r^4 \xi^2 dr</math>	<math>~=</math>	<math>~ \int_0^R r^4 \Gamma_1 P \biggl(\frac{d\xi}{dr}\biggr)^2 dr - \int_0^R (3\Gamma_1 - 4) r^3 \xi^2 \biggl( \frac{dP}{dr} \biggr) dr - \biggr[r^4 \Gamma_1 P\xi \biggl(\frac{d\xi}{dr}\biggr) \biggr]_0^R </math>

If the last term (boundary conditions) is set to zero, then we may also write,

<math>~\sigma^2 </math>

<math>~ \frac{\int_0^R r^4 \Gamma_1 P \bigl(\frac{d\xi}{dr}\bigr)^2 dr - \int_0^R (3\Gamma_1 - 4) r^3 \xi^2 \bigl( \frac{dP}{dr} \bigr) dr}{\int_0^R \rho r^4 \xi^2 dr} \, . </math>

This means that, if the radial profile of the pressure and the density is known throughout a spherically symmetric, equilibrium configuration, and if, furthermore, the eigenfunction, <math>~\xi(r)</math>, of a radial oscillation mode is specified precisely, then this expression will give the (square of the) eigenfrequency of that oscillation mode.

By using formal variational principle techniques to derive this same expression, Ledoux & Walraven (1958) are able to offer a broader interpretation, which is encapsulated by their equation (59.10), viz.,

<math>~\sigma_0^2 </math>

<math>~\mathrm{min}~ \frac{\int_0^R r^4 \Gamma_1 P \bigl(\frac{d\xi}{dr}\bigr)^2 dr - \int_0^R (3\Gamma_1 - 4) r^3 \xi^2 \bigl( \frac{dP}{dr} \bigr) dr}{\int_0^R \rho r^4 \xi^2 dr} \, . </math>

This means that, if the exact radial eigenfunction, <math>~\xi(r)</math>, is not known, various approximate eigenfunctions can be tried. The trial eigenfunction that minimizes the righthand-side of this expression will give the (square of the) eigenfrequency of the fundamental mode of oscillation (subscript zero). Furthermore, via an evaluation of this righthand-side expression, any reasonable trial eigenfunction — for example, <math>~\xi</math> = constant — can provide an upper limit to <math>~\sigma_0^2</math>.

Ledoux & Pekeris Approach

Here we follow the lead of Ledoux & Pekeris (1941). Returning to the integral expression just derived in our discussion of the Ledoux & Walraven approach, and multiplying through by <math>~4\pi</math>, we have,

<math>~\int_0^R 4\pi \sigma^2 \rho r^4 \xi^2 dr</math>

<math>~ \int_0^R 4\pi r^4 \Gamma_1 P \biggl(\frac{d\xi}{dr}\biggr)^2 dr - \int_0^R (3\Gamma_1 - 4) 4\pi r^3 \xi^2 \biggl( \frac{dP}{dr} \biggr) dr - \biggr[4\pi r^3 \Gamma_1 P\xi^2 \biggl(\frac{d\ln \xi}{d\ln r}\biggr) \biggr]_0^R \, . </math>

If we acknowledge that:

at the center of the configuration, <math>~r^3 = 0</math>;
as above, the boundary condition at the surface is <math>~P = P_e</math> while <math>~(d\ln \xi/d\ln r) = -3</math>;
the differential mass element is, <math>~dm = 4\pi r^2 \rho dr</math> and the corresponding differential volume element is, <math>~dV = 4\pi r^2 dr</math>; and
a statement of detailed force balance is, <math>~dP/dr = - Gm\rho/r^2</math>,

this integral relation becomes,

<math>~ \sigma^2 \int_0^R r^2 \xi^2 dm</math>

<math>~ \Gamma_1 \int_0^R \biggl[ r \biggl(\frac{d\xi}{dr}\biggr)\biggr]^2 P dV + (3\Gamma_1 - 4) \int_0^R \xi^2 \biggl( \frac{Gm}{r} \biggr) dm - \biggr[\Gamma_1 \xi_\mathrm{surface}^2 (3P_e V) \biggl(-3\biggr) \biggr] \, . </math>

Now, as we have discussed separately — see, also, p. 64, Equation (12) of [C67] — the gravitational potential energy of the unperturbed configuration is given by the integral,

<math>~W_\mathrm{grav}</math>

<math>~ - \int_0^{M} \biggl( \frac{Gm}{r_0} \biggr) dm \, ;</math>

for adiabatic systems, the internal energy is,

<math> U_\mathrm{int} = \frac{1}{(\Gamma_1-1)} \int_0^R P_0 dV

\, ;</math>

and — see the text at the top of p. 126 of Ledoux & Pekeris (1941) — the moment of inertia of the configuration about its center is,

<math> I = \int_0^M r_0^2 dm

\, .</math>

(Note that, defined in this way, <math>~I</math> is the same as what we have referred to elsewhere as the scalar moment of inertia, which is obtained by taking the trace of the moment of inertia tensor, <math>~I_{ij}</math>.) After inserting these expressions, we have what will henceforth be referred to as the,

Variational Principle's Governing Integral Relation
<math>~ \sigma^2 \int_0^R \xi^2 dI</math>	<math>~=</math>	<math>~ \Gamma_1 (\Gamma_1 - 1) \int_0^R \xi^2 \biggl[ \frac{d\ln\xi}{d\ln r}\biggr]^2 dU_\mathrm{int} - (3\Gamma_1 - 4) \int_0^R \xi^2 dW_\mathrm{grav} + 3^2 \Gamma_1 P_e V \xi_\mathrm{surface}^2 \, . </math>

Free-Energy Analysis

If we assume the simplest approximation for the fundamental-mode eigenfunction, namely, <math>~\xi = \xi_0</math> = constant — that is, homologous expansion/contraction — then this last integral expression gives,

<math>~ \sigma^2 I</math>

<math>~ (4 - 3\Gamma_1) W_\mathrm{grav} + 3^2 \Gamma_1 P_e V \, . </math>

Contrast this result with the following free-energy analysis:

<math>~\mathfrak{G}</math>

<math>~W_\mathrm{grav} + U_\mathrm{int} + P_eV \, ,</math>

where, in terms of the configuration's (generally non-equilibrium) dimensionless radius, <math>~\chi \equiv R/R_0</math>,

<math>~W_\mathrm{grav}</math>	<math>~=</math>	<math>~-a\chi^{-1}</math>
<math>~U_\mathrm{int}</math>	<math>~=</math>	<math>~b\chi^{3-3\Gamma_1}</math>
<math>~V</math>	<math>~=</math>	<math>~\frac{4\pi}{3} \chi^3 \, .</math>

Then,

<math>~\frac{\partial \mathfrak{G}}{\partial \chi}</math>	<math>~=</math>	<math>~+a \chi^{-2} + 3(1-\Gamma_1) b \chi^{2-3\Gamma_1} + 4\pi P_e \chi^{2} </math>
	<math>~=</math>	<math>~\chi^{-1} \biggl[- W_\mathrm{grav} + 3(1-\Gamma_1) U_\mathrm{int} + 3 P_e V \biggr] \, ,</math>

and,

<math>~\frac{\partial^2 \mathfrak{G}}{\partial \chi^2}</math>	<math>~=</math>	<math>~-2a \chi^{-3} + 3(1-\Gamma_1)(2-3\Gamma_1) b \chi^{1-3\Gamma_1} + 8\pi P_e \chi </math>
	<math>~=</math>	<math>~\chi^{-2} \biggl[ 2W_\mathrm{grav} + 3(1-\Gamma_1)(2-3\Gamma_1) U_\mathrm{int}+ 6 P_e V \biggr] \, .</math>

The equilibrium condition occurs when <math>~\partial \mathfrak{G}/\partial \chi = 0</math>, that is, when,

<math>~3(1-\Gamma_1) U_\mathrm{int}</math>

<math>~W_\mathrm{grav} - 3 P_e V \, ,</math>

in which case,

<math>~\chi^2 \cdot \frac{\partial^2 \mathfrak{G}}{\partial \chi^2}</math>	<math>~=</math>	<math>~2W_\mathrm{grav} + (2-3\Gamma_1) (W_\mathrm{grav} - 3P_eV) + 6 P_e V </math>
	<math>~=</math>	<math>~(4-3\Gamma_1)W_\mathrm{grav} + 3^2 \Gamma_1 P_e V \, .</math>

Fantastic! The righthand-side of this "free-energy-based" expression exactly matches the righthand-side of the above expression that has been derived from the variational principle, assuming homologous expansion/contraction (i.e., <math>~\xi</math> = constant). In this case, we can make the direct association,

<math>~\sigma^2 I = \chi^2 \cdot \frac{\partial^2 \mathfrak{G}}{\partial \chi^2} \, .</math>

This also make sense in that the equilibrium configuration should be stable if <math>~\tfrac{\partial^2 \mathfrak{G}}{\partial \chi^2} > 0</math> — in which case, <math>~\sigma^2</math> is positive; whereas the equilibrium configuration should be unstable if <math>~\tfrac{\partial^2 \mathfrak{G}}{\partial \chi^2} < 0</math> — in which case, <math>~\sigma^2</math> is negative.

Related, Exploratory Ideas

Logarithmic Derivatives

Returning to our above discussion of the Ledoux & Walraven approach, we appreciate that the differential relation governing the Variational Principle is,

<math>~\sigma^2 \rho r^4 \xi^2</math>	<math>~=</math>	<math>~ r^4 \Gamma_1 P \biggl(\frac{d\xi}{dr}\biggr)^2 - (3\Gamma_1 - 4) r^3 \xi^2 \biggl( \frac{dP}{dr} \biggr) - \frac{d}{dr}\biggr[r^4 \Gamma_1 P\xi \biggl(\frac{d\xi}{dr}\biggr) \biggr] </math>
<math>~\Rightarrow ~~~ \frac{d}{dr}\biggr[r^3 \Gamma_1 P\xi^2 \biggl(\frac{d\ln\xi}{d\ln r}\biggr) \biggr] </math>	<math>~=</math>	<math>~ r^4 \Gamma_1 P \biggl(\frac{d\xi}{dr}\biggr)^2 - (3\Gamma_1 - 4) r^3 \xi^2 \biggl( \frac{dP}{dr} \biggr) - \sigma^2 \rho r^4 \xi^2 </math>
	<math>~=</math>	<math>~\xi^2 \biggl\{ r^2 \Gamma_1 P \biggl(\frac{d\ln\xi}{d\ln r}\biggr)^2 - (3\Gamma_1 - 4) r^3 \biggl( \frac{dP}{dr} \biggr) - \sigma^2 \rho r^4 \biggr\} </math>
	<math>~=</math>	<math>~(r \xi)^2 P \biggl\{ \Gamma_1 \biggl(\frac{d\ln\xi}{d\ln r}\biggr)^2 - (3\Gamma_1 - 4) \biggl( \frac{d\ln P}{d\ln r} \biggr) - \frac{\sigma^2 \rho r^2}{P} \biggr\} </math>
	<math>~=</math>	<math>~\Gamma_1 (r \xi)^2 P \biggl\{ \biggl(\frac{d\ln\xi}{d\ln r}\biggr)^2 - \alpha \biggl( \frac{d\ln P}{d\ln r} \biggr) - \frac{\sigma^2 \rho r^2}{\Gamma_1 P} \biggr\} \, , </math>

where,

<math>~\alpha \equiv \biggl(3 - \frac{4}{\Gamma_1}\biggr) \, .</math>

Pressure-Truncated Polytropes

Let's start with the integral expression derived in our discussion of the Ledoux & Walraven approach; insert the variable, <math>~x</math>, in place of <math>~\xi</math>; and adopt the boundary conditions,

<math>~r = 0</math> at the center,

along with

<math>~P = P_e~</math>, and <math>\frac{d\ln x}{d\ln r} = -3</math> at the surface (r = R).

That is, let's start with,

<math>~\int_0^R \sigma^2 \rho r^4 x^2 dr</math>

<math>~ \int_0^R r^4 \Gamma_1 P \biggl(\frac{dx}{dr}\biggr)^2 dr - \int_0^R (3\Gamma_1 - 4) r^3 x^2 \biggl( \frac{dP}{dr} \biggr) dr

+3\Gamma_1 P_e R^3 x_\mathrm{surface}^2 \, .

</math>

Via Generalized Normalization

Next, we'll divide through by the normalization energy, as defined in an accompanying discussion,

<math>~E_\mathrm{norm} = P_\mathrm{norm}R_\mathrm{norm}^3 = \frac{GM_\mathrm{tot}^2}{R_\mathrm{norm}} \, ,</math>

thereby making the integral relation dimensionless:

<math>~ 0 </math>	<math>~=</math>	<math>~ - \biggl[\frac{R_\mathrm{norm}}{GM_\mathrm{tot}^2} \biggr] \int_0^R \sigma^2 \rho r^4 x^2 dr +\biggl[\frac{1}{P_\mathrm{norm}R_\mathrm{norm}^3} \biggr] \int_0^R r^4 \Gamma_1 P \biggl(\frac{dx}{dr}\biggr)^2 dr - \biggl[\frac{1}{P_\mathrm{norm}R_\mathrm{norm}^3} \biggr] \int_0^R (3\Gamma_1 - 4) r^3 x^2 \biggl( \frac{dP}{dr} \biggr) dr + \biggl[\frac{P_e R^3 }{P_\mathrm{norm}R_\mathrm{norm}^3} \biggr] 3\Gamma_1 x_\mathrm{surface}^2 </math>
	<math>~=</math>	<math>~ - \biggl[\frac{R_\mathrm{norm} R^5 \rho_c^2}{M_\mathrm{tot}^2} \biggr] \int_0^R x^2 \biggl( \frac{\sigma^2}{G\rho_c}\biggr) \biggl( \frac{\rho}{\rho_c} \biggr) \biggl(\frac{r}{R}\biggr)^4 \frac{dr}{R} + \biggl[\frac{P_c R^3}{P_\mathrm{norm}R_\mathrm{norm}^3 } \biggr] \int_0^R \biggl( \frac{r}{R}\biggr)^4 \Gamma_1\biggl(\frac{ P }{P_c} \biggr) \biggl[ \frac{dx}{d(r/R)}\biggr]^2 \frac{dr}{R} </math>
		<math>~ - \biggl[\frac{P_c R^3}{P_\mathrm{norm}R_\mathrm{norm}^3} \biggr] \int_0^R (3\Gamma_1 - 4) \biggl( \frac{r}{R} \biggr)^3 x^2 \biggl[ \frac{d(P/P_c)}{d(r/R)} \biggr] \frac{dr}{R} + \biggl[\frac{P_e R^3 }{P_\mathrm{norm}R_\mathrm{norm}^3} \biggr] 3\Gamma_1 x_\mathrm{surface}^2 </math>
	<math>~=</math>	<math>~ - \biggl[ \frac{M}{M_\mathrm{tot}}\biggr]^2 \biggl[\biggl( \frac{3}{4\pi} \biggr) \frac{\rho_c}{\bar\rho} \biggr]^2 \chi^{-1} \int_0^R x^2 \biggl( \frac{\sigma^2}{G\rho_c}\biggr) \biggl( \frac{\rho}{\rho_c} \biggr) \biggl(\frac{r}{R}\biggr)^4 \frac{dr}{R} + \biggl[\frac{P_e }{P_\mathrm{norm}} \biggr] 3\Gamma_1 \chi^3 x_\mathrm{surface}^2 </math>
		<math>~ + \biggl[\frac{P_c}{P_\mathrm{norm} } \biggr] \chi^3 \int_0^R \biggl\{ \biggl( \frac{r}{R}\biggr)^4 \Gamma_1\biggl(\frac{ P }{P_c} \biggr) \biggl[ \frac{dx}{d(r/R)}\biggr]^2 - (3\Gamma_1 - 4) \biggl( \frac{r}{R} \biggr)^3 x^2 \biggl[ \frac{d(P/P_c)}{d(r/R)} \biggr] \biggr\}\frac{dr}{R} \, , </math>

where,

<math>~\chi \equiv \frac{R}{R_\mathrm{norm}} \, .</math>

Note that we will ultimately insert the relation,

<math>~\frac{P_c}{P_\mathrm{norm}} = \biggl[\biggl( \frac{3}{4\pi}\biggr) \frac{\rho_c}{\bar\rho} \biggl( \frac{M}{M_\mathrm{tot}}\biggr)\biggr]^{\Gamma_1} \biggl( \frac{R}{R_\mathrm{norm}}\biggr)^{-3\Gamma_1} \, .</math>

But, for the time being, dividing through by <math>~[P_c/P_\mathrm{norm}]\chi^3</math> gives,

<math>~0</math>	<math>~=</math>	<math>~ - \biggl[\frac{P_c}{P_\mathrm{norm} } \biggr]^{-1} \biggl[ \frac{M}{M_\mathrm{tot}}\biggr]^2 \biggl[\biggl( \frac{3}{4\pi} \biggr) \frac{\rho_c}{\bar\rho} \biggr]^2 \chi^{-4} \int_0^R x^2 \biggl( \frac{\sigma^2}{G\rho_c}\biggr) \biggl( \frac{\rho}{\rho_c} \biggr) \biggl(\frac{r}{R}\biggr)^4 \frac{dr}{R} </math>
		<math>~ + \biggl[\frac{P_e }{P_c} \biggr] 3\Gamma_1 x_\mathrm{surface}^2 + \int_0^R \biggl\{ \biggl( \frac{r}{R}\biggr)^4 \Gamma_1\biggl(\frac{ P }{P_c} \biggr) \biggl[ \frac{dx}{d(r/R)}\biggr]^2 - (3\Gamma_1 - 4) \biggl( \frac{r}{R} \biggr)^3 x^2 \biggl[ \frac{d(P/P_c)}{d(r/R)} \biggr] \biggr\}\frac{dr}{R} \, , </math>

Now let's focus on the second line of this integral energy relation, evaluating it for pressure-truncated polytropic configurations, in which case, <math>~\Gamma_1 \rightarrow (n+1)/n</math>,

<math>~\frac{r}{R} \rightarrow \frac{\xi}{\tilde\xi}</math>

and

<math>~ \frac{P}{P_c} \rightarrow \theta^{n+1} \, . </math>

We have,

Second line of relation	<math>~=</math>	<math>~ \biggl[\frac{P_e }{P_c} \biggr] 3\Gamma_1 x_\mathrm{surface}^2 + \int_0^R \biggl\{ \biggl( \frac{r}{R}\biggr)^4 \Gamma_1\biggl(\frac{ P }{P_c} \biggr) \biggl[ \frac{dx}{d(r/R)}\biggr]^2 - (3\Gamma_1 - 4) \biggl( \frac{r}{R} \biggr)^3 x^2 \biggl[ \frac{d(P/P_c)}{d(r/R)} \biggr] \biggr\}\frac{dr}{R} </math>
	<math>~=</math>	<math>~ \biggl[\frac{P_e }{P_c} \biggr] \biggl[ \frac{3( n+1)}{n} \biggr] x_\mathrm{surface}^2 + \int_0^{\tilde\xi} \biggl\{ \biggl( \frac{\xi}{\tilde\xi}\biggr)^4 \biggl(\frac{n+1}{n}\biggr) \theta^{n+1} \biggl[ \frac{dx}{d\xi}\biggr]^2 {\tilde\xi}^2 - \biggl(\frac{3-n}{n}\biggr) \biggl( \frac{\xi}{\tilde\xi} \biggr)^3 x^2 \biggl[ \frac{d\theta^{n+1}}{d\xi} \biggr] \tilde\xi \biggr\}\frac{d\xi}{\tilde\xi} </math>
	<math>~=</math>	<math>~ \biggl[\frac{P_e }{P_c} \biggr] \biggl[ \frac{3( n+1)}{n} \biggr] x_\mathrm{surface}^2 + \frac{1}{n {\tilde\xi}^3}\int_0^{\tilde\xi} \biggl\{ (n+1) \xi^4 \theta^{n+1} \biggl[ \frac{dx}{d\xi}\biggr]^2 - (3-n) \xi^3 x^2 \biggl[ \frac{d\theta^{n+1}}{d\xi} \biggr] \biggr\}d\xi </math>
	<math>~=</math>	<math>~ \biggl[\frac{P_e }{P_c} \biggr] \biggl[ \frac{3( n+1)}{n} \biggr] x_\mathrm{surface}^2 + \frac{1}{n {\tilde\xi}^3}\int_0^{\tilde\xi} \biggl\{ (n+1) \xi^4 \theta^{n+1} \biggl[ \frac{dx}{d\xi}\biggr]^2 - (n+1) (3-n) \xi^3 x^2 \theta^n \theta^' \biggr\}d\xi </math>
	<math>~=</math>	<math>~ \biggl[\frac{P_e }{P_c} \biggr] \biggl[ \frac{3( n+1)}{n} \biggr] x_\mathrm{surface}^2 + \frac{(n+1)}{n {\tilde\xi}^3}\int_0^{\tilde\xi} \biggl(\frac{3}{2n}\biggr)^2\frac{\xi}{\theta^n} \biggl\{ \xi \theta \biggl[ \biggl( \frac{2n}{3}\biggr)\xi \theta^n \cdot \frac{dx}{d\xi}\biggr]^2 - (3-n) \biggl[ \biggl( \frac{2n}{3}\biggr) \xi \theta^n x\biggr]^2 \theta^' \biggr\}d\xi \, . </math>

Now, let's examine how these terms combine if we guess the analytically defined eigenfunction that applies to marginally unstable, pressure-truncated polytropic configurations, namely,

<math>~x</math>	<math>~=</math>	<math>~\frac{3(n-1)}{2n}\biggl[1 + \biggl(\frac{n-3}{n-1}\biggr) \frac{\theta^'}{\xi \theta^{n} } \biggr] </math>
<math>~\Rightarrow ~~~ \biggl( \frac{2n}{3}\biggr) \xi \theta^n x</math>	<math>~=</math>	<math>~\biggl[(n-1)\xi \theta^n + (n-3) \theta^' \biggr] </math>
<math>~\Rightarrow ~~~ \frac{dx}{d\xi}</math>	<math>~=</math>	<math>~\biggl[\frac{3(n-3)}{2n}\biggr] \biggl\{ \frac{\theta^{}}{\xi \theta^{n}} - \frac{\theta^'}{\xi^2 \theta^{n}} - \frac{n(\theta^')^2}{\xi \theta^{(n+1)}} \biggr\} </math>
	<math>~=</math>	<math>~- \biggl[\frac{3(n-3)}{2n}\biggr] \frac{1 }{\xi \theta^{n}} \biggl[ \theta^n + \frac{3\theta^'}{\xi} + \frac{n(\theta^')^2}{\theta} \biggr] </math>
<math>~\Rightarrow ~~~ \biggl( \frac{2n}{3}\biggr) \xi \theta^n\frac{dx}{d\xi}</math>	<math>~=</math>	<math>~(3-n) \biggl[ \theta^n + \frac{3\theta^'}{\xi} + \frac{n(\theta^')^2}{\theta} \biggr] \, . </math>

Hence,

Second line of relation	<math>~=</math>	<math>~ {\tilde\theta}^{n+1} \biggl[ \frac{3( n+1)}{n} \biggr] \biggl\{ \frac{3(n-1)}{2n}\biggl[1 + \biggl(\frac{n-3}{n-1}\biggr) \frac{ {\tilde\theta}^'}{\tilde\xi {\tilde\theta}^{n} } \biggr] \biggr\}^2 </math>
		<math>~ + \frac{3^2 (n+1)(3-n)}{2^2n^3 {\tilde\xi}^3}\int_0^{\tilde\xi} \frac{\xi}{\theta^n} \biggl\{ \xi \theta (3-n)\biggl[ \theta^n + \frac{3\theta^'}{\xi} + \frac{n(\theta^')^2}{\theta} \biggr]^2 - \biggl[(n-1)\xi \theta^n + (n-3) \theta^' \biggr]^2 \theta^' \biggr\}d\xi </math>
	<math>~=</math>	<math>~ \frac{1}{{\tilde\xi}^2 {\tilde\theta}^{n+1}} \biggl[ \frac{3^3( n+1)}{2^2n^3} \biggr] \biggl[(n-1) \tilde\xi {\tilde\theta}^{n+1} + (n-3) \tilde\theta {\tilde\theta}^' \biggr]^2 </math>
		<math>~ + \frac{3^2 (n+1)(3-n)}{2^2n^3 {\tilde\xi}^3} \int_0^{\tilde\xi} \frac{1}{\theta^{n+1}} \biggl\{ (3-n)\biggl[ \xi \theta^{n+1} + 3\theta \theta^' + n\xi (\theta^')^2 \biggr]^2 - \biggl[(n-1)\xi \theta^n + (n-3) \theta^' \biggr]^2 \xi \theta \theta^' \biggr\}d\xi </math>
	<math>~=</math>	<math>~ \frac{1}{{\tilde\xi}^2 {\tilde\theta}^{n+1}} \biggl[ \frac{3^3( n+1)}{2^2n^3} \biggr] \biggl[(n-1) \tilde\xi {\tilde\theta}^{n+1} + (n-3) \tilde\theta {\tilde\theta}^' \biggr]^2 </math>
		<math>~ + \frac{3^2 (n+1)(3-n)^2}{2^2n^3 {\tilde\xi}^3} \int_0^{\tilde\xi} \frac{1}{\theta^{n+1}} \biggl\{ \biggl[ \xi \theta^{n+1} + 3\theta \theta^' + n\xi (\theta^')^2 \biggr]^2 + \frac{1}{(n-3)} \biggl[(n-1)\xi \theta^n + (n-3) \theta^' \biggr]^2 \xi \theta \theta^' \biggr\}d\xi </math>

Note that, in this derivation, we have inserted the expressions:

<math>~ \biggl[ \xi \theta^{n+1} + 3\theta \theta^' + n\xi (\theta^')^2 \biggr]\biggl[ \xi \theta^{n+1} + 3\theta \theta^' + n\xi (\theta^')^2 \biggr] = \xi^2 \theta^{2(n+1)} + 6\xi \theta^{n+2}\theta^' + 2n\xi^2 \theta^{n+1} (\theta^')^2 + 6n\xi\theta (\theta^')^3 + n^2 \xi^2 (\theta^')^4 </math>

<math>~ \frac{1}{(n-3)} \biggl[(n-1)\xi \theta^n + (n-3) \theta^' \biggr]^2 \xi\theta (\theta^')= \biggl[ \frac{(n-1)^2}{(n-3)}\biggr] \xi^3 \theta^{2n+1}(\theta^') + 2(n-1)\xi^2 \theta^{n+1} (\theta^' )^2 + (n-3) \xi\theta (\theta^')^3 </math>

Directly to n = 5 Polytropic Configurations

<math>~\int_0^R \sigma^2 \rho r^4 x^2 dr</math>	<math>~=</math>	<math>~ \int_0^R r^4 \Gamma_1 P \biggl(\frac{dx}{dr}\biggr)^2 dr - \int_0^R (3\Gamma_1 - 4) r^3 x^2 \biggl( \frac{dP}{dr} \biggr) dr +3\Gamma_1 P_e R^3 x_\mathrm{surface}^2 </math>
<math>~\Rightarrow ~~~ \frac{1}{R^3 P_c}\int_0^R \sigma^2 \rho r^4 x^2 dr</math>	<math>~=</math>	<math>~ \int_0^R \biggl(\frac{r}{R}\biggr)^4 \biggl(\frac{n+1}{n}\biggr) \biggl(\frac{P}{P_c}\biggr) \biggl[\frac{dx}{d(r/R)}\biggr]^2 \frac{dr}{R} - \int_0^R \biggl[3\biggl(\frac{n+1}{n}\biggr) - 4\biggr] \biggl(\frac{r}{R}\biggr)^3 x^2 \biggl[ \frac{d(P/P_c)}{d(r/R)} \biggr] \frac{dr}{R} +3\biggl(\frac{n+1}{n}\biggr) \biggl( \frac{P_e}{P_c}\biggr) x_\mathrm{surface}^2 </math>
	<math>~=</math>	<math>~ \int_0^{\tilde\xi} \frac{6}{5} \biggl(\frac{\xi}{\tilde\xi}\biggr)^4 \theta^6 \biggl[\frac{dx}{d(\xi/\tilde\xi)}\biggr]^2 \frac{d\xi}{\tilde\xi} - \int_0^{\tilde\xi} \biggl( - \frac{2}{5}\biggr) \biggl(\frac{\xi}{\tilde\xi}\biggr)^3 x^2 \biggl[ \frac{d\theta^{6}}{d(\xi/\tilde\xi)} \biggr] \frac{d\xi}{\tilde\xi} +\biggl(\frac{18}{5}\biggr) {\tilde\theta}^6 x_\mathrm{surface}^2 </math>
	<math>~=</math>	<math>~ \frac{1}{ {\tilde\xi}^3} \int_0^{\tilde\xi} \biggl( \frac{6}{5}\biggr) \xi^4 \theta^6 \biggl[\frac{dx}{d\xi}\biggr]^2 d\xi + \frac{1}{ {\tilde\xi}^3} \int_0^{\tilde\xi} \biggl(\frac{2}{5}\biggr) \xi^3 x^2 \biggl[ \frac{d\theta^{6}}{d\xi} \biggr] d\xi +\biggl(\frac{18}{5}\biggr) {\tilde\theta}^6 x_\mathrm{surface}^2 </math>
<math>~\Rightarrow ~~~ \frac{5 {\tilde\xi}^3 }{2R^3 P_c}\int_0^R \sigma^2 \rho r^4 x^2 dr</math>	<math>~=</math>	<math>~ \int_0^{\tilde\xi} 3\xi^4 \theta^6 \biggl[ - \frac{2\xi}{15} \biggr]^2 d\xi + \int_0^{\tilde\xi} 6\xi^3 \biggl[\frac{15-\xi^2}{15}\biggr]^2 \theta^5\biggl[ \frac{d\theta}{d\xi} \biggr] d\xi +9 {\tilde\xi}^3 {\tilde\theta}^6 \biggl[\frac{15- {\tilde\xi}^2}{15}\biggr]^2 </math>
	<math>~=</math>	<math>~ \biggl(\frac{ 2^2}{3\cdot 5^2 } \biggr) \int_0^{\tilde\xi} \xi^6 \biggl( \frac{3}{3+\xi^2}\biggr)^3 d\xi + \biggl(\frac{ 2}{3\cdot 5^2 } \biggr) \int_0^{\tilde\xi} \xi^3 \biggl[15-\xi^2\biggr]^2 \biggl( \frac{3}{3+\xi^2}\biggr)^{4} \biggl[- \frac{\xi}{3}\biggr] d\xi + \biggl( \frac{1}{5^2} \biggr) {\tilde\xi}^3 \biggl( \frac{3}{3+ {\tilde\xi}^2}\biggr)^3 \biggl[15- {\tilde\xi}^2\biggr]^2 </math>
	<math>~=</math>	<math>~ \biggl(\frac{ 2^2\cdot 3^2}{5^2 } \biggr) \int_0^{\tilde\xi} \biggl[ \frac{\xi^6 }{(3+\xi^2)^3}\biggr] d\xi ~~- ~~ \biggl(\frac{ 2\cdot 3^2}{5^2 } \biggr) \int_0^{\tilde\xi} \biggl[ \frac{\xi^4 (15-\xi^2)^2}{(3+\xi^2)^4}\biggr] d\xi ~~ + ~~ \biggl( \frac{3^3}{5^2} \biggr) \biggl[ \frac{{\tilde\xi}^3(15- {\tilde\xi}^2)^2}{(3+ {\tilde\xi}^2)^3}\biggr] </math>
<math>~\Rightarrow ~~~ \frac{5^3 {\tilde\xi}^3 }{2\cdot 3^2R^3 P_c}\int_0^R \sigma^2 \rho r^4 x^2 dr</math>	<math>~=</math>	<math>~ \int_0^{\tilde\xi} \biggl[ \frac{4\xi^6(3+\xi^2)-2\xi^4 (15-\xi^2)^2}{(3+\xi^2)^4}\biggr] d\xi ~ + ~ 3 \biggl[ \frac{{\tilde\xi}^3(15- {\tilde\xi}^2)^2}{(3+ {\tilde\xi}^2)^3}\biggr] </math>
	<math>~=</math>	<math>~ \int_0^{\tilde\xi} \biggl\{ \frac{2\xi^4 [6\xi^2 + 2\xi^4 -15^2 + 30\xi^2 - \xi^4] }{(3+\xi^2)^4}\biggr\} d\xi ~ + ~ 3 \biggl[ \frac{{\tilde\xi}^3(15- {\tilde\xi}^2)^2}{(3+ {\tilde\xi}^2)^3}\biggr] </math>
	<math>~=</math>	<math>~ \int_0^{\tilde\xi} \biggl\{ \frac{2\xi^4 [\xi^4 + 36\xi^2 -15^2 ] }{(3+\xi^2)^4}\biggr\} d\xi ~ + ~ 3 \biggl[ \frac{{\tilde\xi}^3(15- {\tilde\xi}^2)^2}{(3+ {\tilde\xi}^2)^3}\biggr] </math>
	<math>~=</math>	<math>~ \biggl[ \frac{2\xi^5(\xi^2-15)}{(\xi^2+3)^3} \biggr]_0^{\tilde\xi} ~ + ~ 3 \biggl[ \frac{{\tilde\xi}^3(15- {\tilde\xi}^2)^2}{(3+ {\tilde\xi}^2)^3}\biggr] </math>
	<math>~=</math>	<math>~ \biggl[ \frac{2{\tilde\xi}^5({\tilde\xi}^2-15)}{({\tilde\xi}^2+3)^3} \biggr] ~ + ~ 3 \biggl[ \frac{{\tilde\xi}^3(15- {\tilde\xi}^2)^2}{(3+ {\tilde\xi}^2)^3}\biggr] </math>
	<math>~=</math>	<math>~ \frac{2{\tilde\xi}^5({\tilde\xi}^2-15) + 3{\tilde\xi}^3(15- {\tilde\xi}^2)^2}{({\tilde\xi}^2+3)^3} = \frac{5{\tilde\xi}^7 - 120{\tilde\xi}^5 + 3^3\cdot 5^2{\tilde\xi}^3 }{({\tilde\xi}^2+3)^3} \, , </math>

which equals zero if <math>~\tilde\xi = 3</math>. Hooray!!

For All Polytropic Indexes

Generalized Governing Integral Relation

Given that the derivation just completed works for the special case of n = 5, let's generalize it to all polytropic indexes

<math>~\int_0^R \sigma^2 \rho r^4 x^2 dr</math>	<math>~=</math>	<math>~ \int_0^R r^4 \Gamma_1 P \biggl(\frac{dx}{dr}\biggr)^2 dr - \int_0^R (3\Gamma_1 - 4) r^3 x^2 \biggl( \frac{dP}{dr} \biggr) dr +3\Gamma_1 P_e R^3 x_\mathrm{surface}^2 </math>
<math>~\Rightarrow ~~~ \frac{R^5 \rho_c}{R^3 P_c}\int_0^R \sigma^2 \biggl( \frac{\rho}{\rho_c}\biggr) \biggl(\frac{r}{R}\biggr)^4 x^2 \frac{dr}{R}</math>	<math>~=</math>	<math>~ \int_0^R \biggl(\frac{r}{R}\biggr)^4 \biggl(\frac{n+1}{n}\biggr) \biggl(\frac{P}{P_c}\biggr) \biggl[\frac{dx}{d(r/R)}\biggr]^2 \frac{dr}{R} - \int_0^R \biggl[3\biggl(\frac{n+1}{n}\biggr) - 4\biggr] \biggl(\frac{r}{R}\biggr)^3 x^2 \biggl[ \frac{d(P/P_c)}{d(r/R)} \biggr] \frac{dr}{R} +3\biggl(\frac{n+1}{n}\biggr) \biggl( \frac{P_e}{P_c}\biggr) x_\mathrm{surface}^2 </math>
<math>~\Rightarrow ~~~ \frac{R^2 \rho_c}{P_c} \int_0^{\tilde\xi} \sigma^2 \theta^n \biggl(\frac{\xi}{\tilde\xi}\biggr)^4 x^2 \frac{d\xi}{\tilde\xi}</math>	<math>~=</math>	<math>~ \int_0^{\tilde\xi} \biggl(\frac{\xi}Template:\tilde\xi\biggr)^4 \biggl(\frac{n+1}{n}\biggr) \theta^{n+1} \biggl[\frac{dx}{d(\xi/\tilde\xi)}\biggr]^2 \frac{d\xi}{\tilde\xi} ~+ \int_0^{\tilde\xi} \biggl(\frac{n-3}{n}\biggr) \biggl(\frac{\xi}{\tilde\xi}\biggr)^3 x^2 \biggl[ \frac{d\theta^{n+1}}{d(\xi/\tilde\xi)} \biggr] \frac{d\xi}{\tilde\xi} ~+~3\biggl(\frac{n+1}{n}\biggr) {\tilde\theta}^{n+1} x_\mathrm{surface}^2 </math>
<math>~\Rightarrow ~~~ \frac{n R^2\rho_c}{(n+1){\tilde\xi}^2 P_c}\int_0^{\tilde\xi} \sigma^2 \theta^n \xi^4 x^2 d\xi</math>	<math>~=</math>	<math>~ \int_0^{\tilde\xi} \xi^4 \theta^{n+1} \biggl[\frac{dx}{d\xi}\biggr]^2 d\xi ~+ \int_0^{\tilde\xi} (n-3) \xi^3 \theta^n x^2 \biggl[ \frac{d\theta}{d\xi} \biggr] d\xi ~+~3 {\tilde\xi}^3 {\tilde\theta}^{n+1} x_\mathrm{surface}^2 </math>
<math>~\Rightarrow ~~~ \frac{n R^2 G \rho_c^2}{(n+1){\tilde\xi}^2 P_c}\int_0^{\tilde\xi} \biggl( \frac{\sigma^2}{G\rho_c}\biggr) \theta^n \xi^4 x^2 d\xi</math>	<math>~=</math>	<math>~ \int_0^{\tilde\xi} \xi^2 \theta^{n+1} x^2 \biggl[\frac{\xi}{x} \cdot \frac{dx}{d\xi}\biggr]^2 d\xi ~+ \int_0^{\tilde\xi} (n-3) \xi^2 \theta^{n+1} x^2 \biggl[\frac{\xi}{\theta}\cdot \frac{d\theta}{d\xi} \biggr] d\xi ~+~3 {\tilde\xi}^3 {\tilde\theta}^{n+1} x_\mathrm{surface}^2 </math>
	<math>~=</math>	<math>~ 3 {\tilde\xi}^3 {\tilde\theta}^{n+1} x_\mathrm{surface}^2 + \int_0^{\tilde\xi} \xi^2 \theta^{n+1} x^2 \biggl\{ \biggl[\frac{\xi}{x} \cdot \frac{dx}{d\xi}\biggr]^2 + (n-3) \biggl[\frac{\xi}{\theta}\cdot \frac{d\theta}{d\xi} \biggr] \biggr\} d\xi </math>

For additional clarification, let's rewrite the leading coefficient on the lefthand-side of this expression.

LHS	<math>~=</math>	<math>~\frac{n R^2 G \rho_c^2}{(n+1){\tilde\xi}^2 P_c}\int_0^{\tilde\xi} \biggl( \frac{\sigma^2}{G\rho_c}\biggr) \theta^n \xi^4 x^2 d\xi</math>
	<math>~=</math>	<math>~\biggl[ \frac{n}{(n+1)} \biggr] \biggl[ \frac{G R_\mathrm{norm}^2}{P_\mathrm{norm}} \biggr] \biggl(\frac{R}{R_\mathrm{norm}^2}\biggr) \biggl( \frac{\rho_c}{ {\bar\rho}}\biggr)^2 \biggl[ \frac{3M}{4\pi R^3}\biggr]^2 \biggl(\frac{P_\mathrm{norm}}{P_e} \biggr) \biggl(\frac{P_e}{P_c} \biggr) \biggl[ \frac{1}{{\tilde\xi}^2} \biggr] \int_0^{\tilde\xi} \biggl( \frac{\sigma^2}{G\rho_c}\biggr) \theta^n \xi^4 x^2 d\xi</math>
	<math>~=</math>	<math>~\biggl[ \frac{n}{(n+1)} \biggr] \biggl[ \frac{G M_\mathrm{tot}^2}{P_\mathrm{norm}R_\mathrm{norm}^4} \biggr] \biggl(\frac{R_\mathrm{norm}}{R}\biggr)^4 \biggl( \frac{\rho_c}{ {\bar\rho}}\biggr)^2 \biggl[ \biggl(\frac{3}{4\pi}\biggr)\frac{M}{M_\mathrm{tot}}\biggr]^2 \biggl(\frac{P_\mathrm{norm}}{P_e} \biggr) \biggl(\frac{P_e}{P_c} \biggr) \biggl[ \frac{1}{{\tilde\xi}^2} \biggr] \int_0^{\tilde\xi} \biggl( \frac{\sigma^2}{G\rho_c}\biggr) \theta^n \xi^4 x^2 d\xi</math>
	<math>~=</math>	<math>~\biggl[ \frac{n}{(n+1)} \biggr] \biggl(\frac{P_\mathrm{norm}}{P_e} \biggr) \biggl(\frac{R_\mathrm{norm}}{R}\biggr)^4 \biggl( - \frac{\tilde\xi}{3 {\tilde\theta}^'}\biggr)^2 \biggl[ \biggl(\frac{3}{4\pi}\biggr)\frac{M}{M_\mathrm{tot}}\biggr]^2 \biggl[ \frac{{\tilde\theta}^{n+1}}{{\tilde\xi}^2} \biggr] \int_0^{\tilde\xi} \biggl( \frac{\sigma^2}{G\rho_c}\biggr) \theta^n \xi^4 x^2 d\xi</math>

Now, from an accompanying discussion, we know that, in equilibrium,

<math> ~\frac{R_\mathrm{eq}}{R_\mathrm{norm}} </math>	<math>~=~</math>	<math>~ \biggl[(n+1)^{-n} ( 4\pi )\biggr]^{1/(n-3)} \biggl[\frac{M}{M_\mathrm{tot}} \biggr]^{(n-1)/(n-3)} \tilde\xi ( -\tilde\xi^2 \tilde\theta' )^{(1-n)/(n-3)} \, , </math>
<math> ~\frac{P_e}{P_\mathrm{norm}} </math>	<math>~=~</math>	<math>~ \biggl[(n+1)^{3} ( 4\pi )^{-1} \biggr]^{(n+1)/(n-3)}\biggl[\frac{M}{M_\mathrm{tot}} \biggr]^{-2(n+1)/(n-3)} \tilde\theta_n^{n+1}( -\tilde\xi^2 \tilde\theta' )^{2(n+1)/(n-3)} \, , </math>

Hence,

<math> ~\biggl( \frac{P_e}{P_\mathrm{norm}} \biggr) \biggl( \frac{R_\mathrm{eq}}{R_\mathrm{norm}} \biggr)^4 </math>	<math>~=~</math>	<math>~ \biggl\{ \biggl[(n+1)^{3} ( 4\pi )^{-1} \biggr]^{(n+1)}\biggl[\frac{M}{M_\mathrm{tot}} \biggr]^{-2(n+1)} \tilde\theta_n^{(n+1)(n-3)}( -\tilde\xi^2 \tilde\theta' )^{2(n+1)} \biggr\}^{1/(n-3)} </math>
		<math>~\times \biggl\{\biggl[(n+1)^{-n} ( 4\pi )\biggr] \biggl[\frac{M}{M_\mathrm{tot}} \biggr]^{(n-1)} \tilde\xi^{(n-3)} ( -\tilde\xi^2 \tilde\theta' )^{(1-n)} \biggr\}^{4/(n-3)} </math>
	<math>~=~</math>	<math>~ \tilde\xi^{4} \tilde\theta_n^{(n+1)} \biggl\{ (n+1)^{3(n+1)} ( 4\pi )^{(-n-1)} \biggl[\frac{M}{M_\mathrm{tot}} \biggr]^{-2n-2} ( -\tilde\xi^2 \tilde\theta' )^{2n+2} (n+1)^{-4n} ( 4\pi )^4 \biggl[\frac{M}{M_\mathrm{tot}} \biggr]^{(4n-4)} ( -\tilde\xi^2 \tilde\theta' )^{(4-4n)} \biggr\}^{1/(n-3)} </math>
	<math>~=~</math>	<math>~ \tilde\xi^{4} \tilde\theta_n^{(n+1)} \biggl\{ (n+1)^{(3-n)} ( 4\pi )^{(3-n)} \biggl[\frac{M}{M_\mathrm{tot}} \biggr]^{2(n-3)} ( -\tilde\xi^2 \tilde\theta' )^{2(3-n)} \biggr\}^{1/(n-3)} </math>
	<math>~=~</math>	<math>~ (n+1)^{-1} ( 4\pi )^{(-1)} \biggl[\frac{M}{M_\mathrm{tot}} \biggr]^{2} \tilde\xi^{4} \tilde\theta_n^{(n+1)}( -\tilde\xi^2 \tilde\theta' )^{-2} \, . </math>

This means that, in equilibrium,

LHS	<math>~=</math>	<math>~\biggl[ \frac{n}{(n+1)} \biggr] \biggl\{ (n+1) ( 4\pi ) \tilde\xi^{-4} \tilde\theta_n^{-(n+1)}( -\tilde\xi^2 \tilde\theta' )^{2} \biggr\} \biggl( - \frac{\tilde\xi}{3 {\tilde\theta}^'}\biggr)^2 \biggl(\frac{3}{4\pi}\biggr)^2 \biggl[ \frac{{\tilde\theta}^{n+1}}{{\tilde\xi}^2} \biggr] \int_0^{\tilde\xi} \biggl( \frac{\sigma^2}{G\rho_c}\biggr) \theta^n \xi^4 x^2 d\xi</math>
	<math>~=</math>	<math>~ \int_0^{\tilde\xi} \biggl( \frac{n \sigma^2}{4\pi G\rho_c}\biggr) \theta^n \xi^4 x^2 d\xi \, .</math>

In summary, then, we have,

<math>~\int_0^{\tilde\xi} \biggl( \frac{n \sigma^2}{4\pi G\rho_c}\biggr) \theta^n \xi^4 x^2 d\xi</math>

<math>~ 3 {\tilde\xi}^3 {\tilde\theta}^{n+1} x_\mathrm{surface}^2 + \int_0^{\tilde\xi} \xi^2 \theta^{n+1} x^2 \biggl\{ \biggl[\frac{\xi}{x} \cdot \frac{dx}{d\xi}\biggr]^2 + (n-3) \biggl[\frac{\xi}{\theta}\cdot \frac{d\theta}{d\xi} \biggr] \biggr\} d\xi \, . </math>

Perhaps this looks better if the terms are rearranged to give,

<math>~ 3 {\tilde\xi}^3 {\tilde\theta}^{n+1} x_\mathrm{surface}^2 </math>

<math>~ \int_0^{\tilde\xi} \xi^2\theta^{n+1} x^2 \biggl\{ \biggl( \frac{n \sigma^2}{4\pi G\rho_c}\biggr) \frac{\xi^2}{\theta} - \biggl[ \biggl( \frac{d\ln x}{d\ln \xi}\biggr)^2 + (n-3) \biggl( \frac{d\ln\theta}{d\ln\xi} \biggr) \biggr] \biggr\} d\xi \, . </math>

Plug in Known Marginally Unstable Solution

As has been summarized in an accompanying discussion, we have found that, for marginally unstable pressure-truncated polytropic configurations, the eigenvector associated with the fundamental mode of radial oscillation is prescribed analytically by the following eigenfrequency-eigenfunction pair:

<math>~\sigma_c^2 = 0</math>

and

<math>~x = \frac{3(n-1)}{2n}\biggl[1 + \biggl(\frac{n-3}{n-1}\biggr) \biggl( \frac{1}{\xi \theta^{n}}\biggr) \frac{d\theta}{d\xi}\biggr] \, .</math>

This means that,

<math>~\biggl[ \frac{2n}{3(n-1)} \biggr] \frac{dx}{d\xi}</math>	<math>~=</math>	<math>~ \biggl(\frac{n-3}{n-1}\biggr) \frac{d}{d\xi}\biggl( \frac{\theta^'}{\xi \theta^{n}}\biggr) </math>
	<math>~=</math>	<math>~ \biggl(\frac{n-3}{n-1}\biggr) \biggl[ \frac{\theta^{}}{\xi \theta^{n}} - \frac{\theta^'}{\xi^2 \theta^{n}} - \frac{n (\theta^')^2}{\xi \theta^{n+1}} \biggr] </math>
	<math>~=</math>	<math>~ \biggl(\frac{n-3}{n-1}\biggr) \biggl[ - \frac{1}{\xi \theta^{n}} \biggl( \theta^n + \frac{2\theta^'}{\xi} \biggr) - \frac{\theta^'}{\xi^2 \theta^{n}} - \frac{n (\theta^')^2}{\xi \theta^{n+1}} \biggr] </math>
	<math>~=</math>	<math>~ \biggl(\frac{3-n}{n-1}\biggr) \biggl[ \frac{1}{\xi } + \frac{3\theta^'}{\xi^2 \theta^{n}} + \frac{n (\theta^')^2}{\xi \theta^{n+1}} \biggr] \, . </math>

Hence, also,

<math>~\frac{d\ln x}{d\ln \xi} = \frac{\xi}{x} \cdot \frac{dx}{d\xi}</math>	<math>~=</math>	<math>~ \biggl(\frac{3-n}{n-1}\biggr) \biggl[1 + \frac{3\theta^'}{\xi \theta^{n}} + \frac{n (\theta^')^2}{\theta^{n+1}} \biggr] \biggl[1 + \biggl(\frac{n-3}{n-1}\biggr) \biggl( \frac{\theta^'}{\xi \theta^{n}}\biggr) \biggr]^{-1} </math>
	<math>~=</math>	<math>~ \biggl(\frac{3-n}{n-1}\biggr) \biggl(\frac{n-3}{n-1}\biggr)^{-1} \biggl[1 + \frac{3\theta^'}{\xi \theta^{n}} + \frac{n (\theta^')^2}{\theta^{n+1}} \biggr] \biggl[\biggl(\frac{n-1}{n-3}\biggr) + \biggl( \frac{\theta^'}{\xi \theta^{n}}\biggr) \biggr]^{-1} </math>
	<math>~=</math>	<math>~ - \biggl[1 + \frac{3\theta^'}{\xi \theta^{n}} + \frac{n (\theta^')^2}{\theta^{n+1}} \biggr] \biggl[\biggl(\frac{n-1}{n-3}\biggr) + \biggl( \frac{\theta^'}{\xi \theta^{n}}\biggr) \biggr]^{-1} \, . </math>

Rather, let's try:

<math>~ \xi^2 x^2 \biggl[ \biggl( \frac{d\ln x}{d\ln \xi}\biggr)^2 + (n-3) \biggl( \frac{d\ln\theta}{d\ln\xi} \biggr) \biggr] </math>	<math>~=</math>	<math>~ x^2 \xi^2 \biggl( \frac{\xi}{x}\cdot \frac{dx}{d\xi}\biggr)^2 + (n-3) x^2 \xi^2 \biggl( \frac{\xi}{\theta} \cdot \frac{d\theta}{d\xi} \biggr) </math>
	<math>~=</math>	<math>~ \xi^4 \biggl\{ \frac{dx}{d\xi}\biggr\}^2 + (n-3) \biggl[ \frac{\xi^3 \theta^'}{\theta} \biggr] x^2 </math>
	<math>~=</math>	<math>~ \xi^4 \biggl\{ \frac{3(n-1)}{2n}\biggl(\frac{3-n}{n-1}\biggr) \biggl[ \frac{1}{\xi } + \frac{3\theta^'}{\xi^2 \theta^{n}} + \frac{n (\theta^')^2}{\xi \theta^{n+1}} \biggr]\biggr\}^2 + (n-3) \biggl[ \frac{\xi^3 \theta^'}{\theta} \biggr] \biggl\{ \frac{3(n-1)}{2n}\biggl[1 + \biggl(\frac{n-3}{n-1}\biggr) \biggl( \frac{\theta^'}{\xi \theta^{n}}\biggr) \biggr] \biggr\}^2 </math>
	<math>~=</math>	<math>~\xi^2 (n-3) \biggl[ \frac{3}{2n} \biggr]^2\biggl\{ (n-3) \biggl[ 1 + \frac{3\theta^'}{\xi \theta^{n}} + \frac{n (\theta^')^2}{\theta^{n+1}}\biggr]^2 +\xi \biggl( \frac{ \theta^'}{\theta} \biggr) \biggl[(n-1) + (n-3)\biggl( \frac{\theta^'}{\xi \theta^{n}}\biggr) \biggr]^2 \biggr\} </math>

Hence, after setting <math>~\sigma^2 = 0</math>, the above rearranged integral relation becomes,

<math>~ - \frac{2^2 n^2}{3(n-3)} \biggl[ {\tilde\xi}^3 {\tilde\theta}^{n+1} x_\mathrm{surface}^2 \biggr] </math>

<math>~ \int_0^{\tilde\xi} \xi^2 \theta^{n+1} \biggl\{ (n-3) \biggl[ 1 + \frac{3\theta^'}{\xi \theta^{n}} + \frac{n (\theta^')^2}{\theta^{n+1}}\biggr]^2 +\xi \biggl( \frac{ \theta^'}{\theta} \biggr) \biggl[(n-1) + (n-3)\biggl( \frac{\theta^'}{\xi \theta^{n}}\biggr) \biggr]^2 \biggr\} d\xi </math>

Let's check to see whether the terms in this last expression balance out when we plug in the functions that are appropriate for the marginally unstable, n = 5 configuration, namely,

<math>~\theta_5 = \biggl(\frac{3+\xi^2}{3}\biggr)^{-1 / 2}</math>,

and

<math>~\frac{d\theta_5}{d\xi} = - \frac{\xi}{3}\biggl(\frac{3+\xi^2}{3}\biggr)^{-3 / 2}</math>.

RHS Term 1	<math>~=</math>	<math>~ (n-3) \int_0^{\tilde\xi} \xi^2 \theta^{n+1} \biggl[ 1 + \frac{3\theta^'}{\xi \theta^{n}} + \frac{n (\theta^')^2}{\theta^{n+1}}\biggr]^2 d\xi </math>
	<math>~=</math>	<math>~ 2 \int_0^{\tilde\xi} \xi^2 \biggl[ \biggl(\frac{3+\xi^2}{3}\biggr)^{-1 / 2} \biggr]^{6} \biggl\{ 1 - \biggl[ \xi \biggl(\frac{3+\xi^2}{3}\biggr)^{-3 / 2} \biggr]\frac{1}{\xi }\biggl(\frac{3+\xi^2}{3}\biggr)^{5 / 2} +5 \biggl[ \frac{\xi^2}{3^2}\biggl(\frac{3+\xi^2}{3}\biggr)^{-3} \biggr] \biggl[ \biggl(\frac{3+\xi^2}{3}\biggr)^{3} \biggr] \biggr\}^2 d\xi </math>
	<math>~=</math>	<math>~ 2 \int_0^{\tilde\xi} \frac{3^3 \xi^2}{(3+\xi^2)^3} \biggl\{ 1 - \biggl(\frac{3+\xi^2}{3}\biggr) + \frac{5\xi^2}{3^2} \biggr\}^2 d\xi </math>
	<math>~=</math>	<math>~ \frac{2^3}{3} \int_0^{\tilde\xi} \frac{\xi^6 ~d\xi}{(3+\xi^2)^3} </math>
	<math>~=</math>	<math>~ \frac{2^3}{3} \biggl[ \frac{27\xi}{8(3+\xi^2)} - \frac{9\xi}{4(3+\xi^2)^2} + \xi - \biggl(\frac{3^{3/2}\cdot 5}{2^3} \biggr)\tan^{-1}\biggl(\frac{\xi}{3^{1 / 2}}\biggr) \biggr]_0^{3} = \frac{2^3}{3} \biggl[ \frac{3^5}{2^6} - \frac{3^{1 / 2}\cdot 5\pi}{2^3} \biggr] \, . </math>
RHS Term 2	<math>~=</math>	<math>~ \int_0^{\tilde\xi} \xi^3 \theta^{n} \theta^' \biggl[(n-1) + (n-3)\biggl( \frac{\theta^'}{\xi \theta^{n}}\biggr) \biggr]^2 d\xi </math>
	<math>~=</math>	<math>~ - \int_0^{\tilde\xi} \xi^3 \biggl(\frac{3+\xi^2}{3}\biggr)^{-5 / 2} \frac{\xi}{3}\biggl(\frac{3+\xi^2}{3}\biggr)^{-3 / 2} \biggl\{ 4 - 2\frac{1}{3}\biggl(\frac{3+\xi^2}{3}\biggr)^{-3 / 2}\biggl(\frac{3+\xi^2}{3}\biggr)^{5/2} \biggr\}^2 d\xi </math>
	<math>~=</math>	<math>~ - \frac{1}{3}\int_0^{\tilde\xi} \biggl(\frac{3\xi}{3+\xi^2}\biggr)^{4} \biggl\{ 4 - \frac{2}{3}\biggl(\frac{3+\xi^2}{3}\biggr) \biggr\}^2 d\xi </math>
	<math>~=</math>	<math>~ - \frac{2^3}{3}\int_0^{\tilde\xi} \frac{1}{2} \biggl(\frac{\xi}{3+\xi^2}\biggr)^{4} \biggl\{ 15-\xi^2 \biggr\}^2 d\xi </math>
	<math>~=</math>	<math>~ -\frac{2^3}{3} \biggl[ \frac{123\xi}{8(3+\xi^2)} - \frac{243\xi}{4(3+\xi^2)^2} + \frac{162\xi}{2(3+\xi^2)^3} + \frac{\xi}{2} - \biggl(\frac{3^{3/2}\cdot 5}{2^3} \biggr)\tan^{-1}\biggl(\frac{\xi}{3^{1 / 2}}\biggr) \biggr]_0^{3} </math>
	<math>~=</math>	<math>~ \frac{2^3}{3} \cdot \frac{5}{2^5} \biggl[ 2^2\cdot 3^{1 / 2} \pi - 3^3\biggr] = -\frac{2^3}{3} \biggl[ \frac{3^3\cdot 5}{2^5} - \frac{3^{1 / 2} \cdot 5\pi}{2^3} \bigg] \, . </math>
<math>~\Rightarrow ~~~</math> RHS Total	<math>~=</math>	<math>~ \frac{2^3}{3} \biggl[ \frac{3^5}{2^6} - \frac{3^3\cdot 5}{2^5} \biggr] = \frac{3^2}{2^3} \biggl[ 3^2 - 2\cdot 5 \biggr] = - \frac{3^2}{2^3} \, . </math>
LHS	<math>~=</math>	<math>~ - \frac{2^2 n^2}{3(n-3)} \biggl[ {\tilde\xi}^3 {\tilde\theta}^{n+1} x_\mathrm{surface}^2 \biggr] </math>
	<math>~=</math>	<math>~ - \frac{2^2 5^2}{2\cdot 3} \biggl[ 3^3 \biggl(\frac{3}{3+3^2}\biggr)^{3} \frac{2^2}{5^2} \biggr] = - \frac{2^3 }{3} \biggl[\biggl(\frac{3}{2^2}\biggr)^{3} \biggr] = - \frac{3^2 }{2^3} \, . </math>

Hence, the LHS = RHS. Hooray!

User:Tohline/SSC/VariationalPrinciple

Contents