--- abstract: 'Stability of spatially inhomogeneous solutions to the Vlasov equation is investigated for the Hamiltonian mean-field model to provide the spectral stability criterion and the formal stability criterion in the form of necessary and sufficient conditions. These criteria determine stability of spatially inhomogeneous solutions whose stability has not been decided correctly by using a less refined formal stability criterion. It is shown that some of such solutions can be found in a family of stationary solutions to the Vlasov equation, which is parametrized with macroscopic quantities and has a two-phase coexistence region in the parameter space.' author: - Shun Ogawa title: 'Spectral and formal stability criteria of spatially inhomogeneous stationary solutions to the Vlasov equation for the Hamiltonian mean-field model' --- Introduction {#sec:intro} ============ The macroscopic behavior of many-body systems depends on whether the interaction is of long-range or short-range. For many-body systems with short-range interaction, the thermodynamic observables such as entropy and magnetization are additive and extensive but not so for those with long-range interaction. The additivity and the extensivity of observables are assumed to hold in the equilibrium statistical mechanics and thermodynamics. Macroscopic behaviors of many-body systems with long-range interaction are quite different from those with short-range one @AC09 [@LNP-2002; @FB10; @JSM-topic]. The long-range interaction system is likely to be trapped in quasi-stationary states (QSSs), and accordingly a very long time is needed to reach the thermal equilibrium state. The duration of those QSSs increases according to the system size, and diverges if one takes the thermodynamic limit @JBST [@YYY04; @JB06; @AT11; @PdB11; @PHC10; @PHC12]. It is a widely accepted understanding that the equilibration is brought about by the finite size effect. A way to analyze a Hamiltonian system with long-range interaction is to use the Vlasov equation or collisionless Boltzmann equation @JBST [@LPEL], which can be derived by taking the limit of $N\rightarrow \infty$, where $N$ is the number of elements @BH77 [@RLD; @HS]. The QSSs are supposed to be associated with stable stationary solutions to the Vlasov equation @JBST [@AC09]. Finding a stability criterion for stationary solutions to the Vlasov equation is the first step to investigate QSSs, since such a criterion makes it possible to decide whether a stationary solution can be a QSS or not. The stability of solutions to the Vlasov equation has been investigated in @JBST [@Penrose; @VAA; @DDH85; @HEK90; @HEK91; @SI93; @YYY04; @JB06; @CD09; @AC10; @ML12]. There are several concepts of stability such as the spectral stability, the linear stability, the formal stability, and the nonlinear stability @DDH85. The interest of this paper centers on the spectral stability and the formal stability, but the linear stability and the nonlinear stability are not touched upon. The formal @DDH85 [@YYY04] and spectral @Penrose [@CD09; @SI93] stability criteria for spatially homogeneous solutions have been well known already. Meanwhile, the stability of spatially inhomogeneous solutions has been investigated in the astrophysics @VAA [@JBST; @HEK90; @HEK91] since around a half century ago. The stability for the spherical galaxy is rigorously investigated recently @ML12. Antonov's variational principle @JBST [@VAA] particularly gives a necessary and sufficient condition for stability of some stationary solution by considering stability against not all perturbations but only accessible perturbations called phase preserving perturbations @HEK91. The restriction for the perturbations comes from the fact that the Vlasov equation has an infinite number of invariants. We note that the stability of given stationary state cannot be determined by using the stability criterion given in a statement of Antonov's variational principle @JBST practically. In the context of statistical physics for QSSs, the stability of spatially inhomogeneous solutions to the Vlasov equation has been studied, say, by Campa and Chavanis @AC10. They set up criteria for formal stability both in the most refined form and in less refined forms, by using the fact that accessible perturbations conserve all Casimir invariants at linear order. We call the most refined formal stability, simply, the formal stability in this paper. Their formal stability criterion in the most refined form requires one to take into account an infinite number of Casimir invariants and to detect an infinite number of associated Lagrangian multipliers in order to determine the stability of spatially inhomogeneous stationary solutions. Their formal stability criterion is hence hard to use. In contrast with this, the canonical formal stability criterion which is one of the less refined formal stability criteria is of practical use. Using the canonical formal stability criterion, one can check stability of a stationary state against a perturbation which keeps the normalization condition but may break the energy conservation and other Casimir invariant conditions. Though the criterion for canonical formal stability is stated as a necessary and sufficient condition, it is just a sufficient condition for the formal stability. It is to be expected that a criterion for the formal stability is found out in the form of necessary and sufficient condition without reference to an infinite number of quantities such as Lagrangian multipliers. This article deals with the Hamiltonian mean-field (HMF) model @JM82 [@MA] with the anticipation stated above. The HMF model is a simple toy model which shows typical long-range features. For instance, the HMF model has been used for investigating the nonequilibrium phase transitions @PHC06 [@AA07; @FS11; @SO11], the core-halo structure @RP11, the creation of small traveling clusters @JB09, the construction of traveling clusters @YYY11, and a relaxation process with long-range interactions @YYY04 [@JB06]. Moreover, the HMF model allows one to perform theoretical study on dynamics near spatially inhomogeneous stationary solutions to the Vlasov equation by the use of the dispersion function which can be explicitly written out for the HMF model. For instance, the dynamics of a perturbation around the spatially inhomogeneous stationary solution @BOY10 and the algebraic damping to a QSS @BOY11 have been investigated theoretically and numerically by using the HMF model. Further, the linear response to the external field is studied in an explicit form @SO12 for a spatially inhomogeneous QSS. In those studies, the stability of the spatially inhomogeneous solutions have been assumed to hold, and then it is worthwhile to give an explicit form of necessary and sufficient condition for the stability of the spatially inhomogeneous stationary solutions. The aim of this article is to find spectral and formal stability criteria for spatially inhomogeneous stationary solutions. The spectral stability criterion is derived by means of the dispersion relation. The formal stability criterion is obtained by using the same idea as exhibited in @AC10. The criterion we are to find by using the angle-action variables is free from an infinite number of Lagrangian multipliers, and is stated in the form of a necessary and sufficient condition, which allows us to look into the stability of spatially inhomogeneous solutions in an accessible manner. This article is organized as follows. Section \[sec:stability\] contains a brief review of the two kinds of stabilities of a fixed point of a dynamical system. The nonlinear and linearized Vlasov equations for the HMF model are introduced in Sec. \[sec:LVE\]. The spectral stability criterion for spatially homogeneous solutions to the Vlasov equation is given in Sec. \[sec:hom\] in a rather simple method than that already known. By using the same method, the spectral stability criterion for spatially inhomogeneous solutions is obtained in Sec. \[subsec:inhom-spec\]. The formal stability criterion for spatially inhomogeneous solutions is derived in Sec. \[subsec:inhom-formal\]. In Sec. \[subsec:water-bag\], we look into stability of a spatially inhomogeneous water-bag distribution by using the obtained criterion. Section \[sec:example\] gives an example which shows that the present stability criterion is of great use. It is shown that there is a family of stationary solutions whose stability cannot be judged correctly by using the canonical formal stability criterion but can be done by the criterion given in this article. Section \[sec:conclusion\] is devoted to a summary and a discussion for generalization. Spectral stability and formal Stability {#sec:stability} ======================================= We start with a brief review of definitions of spectral stability and formal stability, following Holm et al. @DDH85. Let $X$ be a normed space. Suppose that a dynamical system is given by the equation, $$\label{eq:dyn-sys} \frac{dx}{dt} = f(x),\quad x \in X.$$ Let $x_\ast$ be a fixed point of this system, $f(x_\ast) = 0$. Then, the linearized equation around $x_\ast$ is expressed as $$\label{eq:lin-sys} \frac{d \xi}{dt} = Df(x_\ast) [\xi],$$ where $Df(x_\ast)$ is a linear operator derived from $f$ at $x_\ast$. The spectral stability and the formal stability of the fixed point $x_\ast$ are defined as follows: - The fixed point $x_\ast$ is said to be <span>*spectrally stable*</span>, if the linear operator $Df(x_\ast)$ has no spectrum with positive real part. In addition, if the linear operator $Df(x_\ast)$ has an eigenvalue with vanishing real part, $x_\ast$ is called <span>*neutrally spectrally stable*</span>. The fixed point $x_\ast$ is said to be spectrally unstable when there exists a spectrum with positive real part. - The fixed point $x_\ast$ is said to be <span>*formally stable*</span>, if a conserved functional $\mathcal{F}[x]$ takes a critical value at $x = x_\ast$ and further the second variation of $\mathcal{F}$ at $x_\ast$ is negative (or positive) definite. The fixed point $x_\ast$ is said to be neutrally formally stable if the second variation of $\mathcal{F}$ at $x_\ast$ is negative (resp. positive) semi-definite but not negative (resp. positive) definite. Further, the fixed point $x_\ast$ said to be formally unstable if the second variation of $\mathcal{F}$ at $x_\ast$ is not negative (or positive) semi-definite. We note that the formal stability can be defined for $x^\ast$ which is a critical point of $\mathcal{F}$ under some constraints coming from invariants of the dynamical system in question. If the dynamical system in question is infinite dimensional, the fixed point $x_\ast$ is occasionally called a stationary state. We note that the definition of neutral spectral stability is different from the original one in @DDH85. The detail of our footing for stability analysis is exhibited in Appendix \[sec:neutral\]. According to @DDH85, the neutrally spectrally stable solution is spectrally stable, but the neutrally formally stable solution is not formally stable. Vlasov equation for Hamiltonian mean-field model {#sec:LVE} ================================================ The Hamiltonian mean-field (HMF) model @MA [@JM82] for $N$ unit mass particles on the unit circle $S^1$ has the Hamiltonian given by $$\label{eq:HMF} \begin{split} &H_N = \sum_{i=1}^N \frac{p_i^2}{2} + \frac{1}{2N}\sum_{i,j=1}^N\left(1 - \cos(q_i - q_j)\right),\\ &p_i \in \mathbb{R}, \quad q_i \in [-\pi,\pi), \quad i=1,2,\cdots N. \end{split}$$ In the limit of $N$ tending to infinity, the time evolution of the HMF model can be described in terms of a single-body distribution $f$ on the $\mu$-space which coincides with $S^1 \times \mathbb{R}$. The single-body distribution $f$ is known to evolve according to the Vlasov equation, $$\label{eq:vla} \frac{\partial f}{\partial t} + \{\mathcal{H}[f], f \} = 0,$$ where $\mathcal{H}[f]$ is the effective single-body Hamiltonian defined to be $$\label{eq:vla2} \begin{split} &\mathcal{H}[f] = \frac{p^2}{2} + \mathcal{V}[f](q,t) , \\ &\mathcal{V}[f]= -\int_{-\pi}^{\pi} dq' \cos(q-q')\int_{-\infty}^{\infty} f(q',p',t)~dp',\\ &p \in \mathbb{R},\quad q \in [-\pi, \pi), \end{split}$$ and where $\{a,b\}$ is the Poisson bracket given by $$\label{eq:PB} \{a,b\} = \frac{\partial a}{\partial p}\frac{\partial b}{\partial q} -\frac{\partial a}{\partial q}\frac{\partial b}{\partial p}.$$ By averaging the distribution $f$ in the $x$- and $y$-directions, the order parameter $\vec{M}[f] = \left(M_x[f], M_y[f]\right)^T$ is defined to be $$\begin{split} M_x[f](t) &= \iint_\mu \cos q~f(q,p,t)~dq dp,\\ M_y[f](t) &= \iint_\mu \sin q~f(q,p,t)~dq dp, \end{split}$$ where the symbol $\mu$ denotes the whole $\mu$-space, $S^1 \times \mathbb{R}$. In the Vlasov dynamics, a functional $$\label{eq:en-cas0} \mathcal{Q}[f]\equiv \iint_\mu Q\left(f(q, p, t)\right) ~dq dp$$ is conserved for any function $Q$, and such a functional is called a Casimir invariant. Let $f_0$ denote a stationary solution to the Vlasov equation. Then a small perturbation $f_1$ around $f_0$ is shown to obey, in some timescale, the linearized Vlasov equation $$\label{eq:lin} \begin{split} \frac{\partial f_1}{\partial t} =& \hat{\mathcal{L}} f_1, \\ \hat{\mathcal{L}}f_1 := &- \{\mathcal{H}[f_0], f_1\} - \{\mathcal{V}[f_1] , f_0\}. \end{split}$$ This equation can be analyzed by means of the Fourier-Laplace transformation. For the sake of physical interpretation, we define the Laplace transform of a function $g(t)$ to be $$\tilde{g}(\omega) = \int_0^\infty g(t)e^{i\omega t} dt, \quad {\rm Im} \omega > 0.$$ Through the Fourier series expansion with respect to $q$ and the Laplace transformation with respect to $t$, Eq. is brought into the dispersion relation $D(\omega) = 0$ @LDL [@LPEL]. The explicit form of the dispersion relations for spatially homogeneous stationary states and for spatially inhomogeneous stationary states will be exhibited in Sec. \[sec:hom\] and in Sec. \[sec:inhom\], respectively. We call $D(\omega)$ a dispersion function, which is said to be a dielectric function in the context of the plasmas physics. A root $\omega$ of this dispersion relation with positive imaginary part is in one-to-one correspondence with the eigenvalue $-i\omega$ of the linear operator $\hat{\mathcal{L}}$. The detail of this fact is reviewed in Appendix \[sec:app1\]. It then follows that the stationary solution $f_0$ is spectrally unstable if the dispersion relation $D(\omega) = 0$ has a root in the upper half $\omega$-plane. Though the domain of the dispersion function $D(\omega)$ is the upper half $\omega$-plane, it can be analytically continued to the lower half $\omega$-plane @LDL [@LPEL]. The root of the dispersion relation on the lower half plane causes the exponential damping of the order parameter for the small perturbation $\vec{M}[f_1] = \left(M_x[f_1], M_y[f_1] \right)^T$, which is called the Landau damping @LDL [@LPEL; @SHS92]. Such a root is not an eigenvalue, but is called a resonance pole, a Landau pole, or a fake eigenvalue. We remark on embedded eigenvalues of the linear operator $\hat{\mathcal{L}}$ on the imaginary axis. The linear operator $\hat{\mathcal{L}}$ may have continuous spectra lying on the imaginary axis @JDC89. An "eigenvalue" with zero real part is occasionally embedded in continuous spectra and such an "eigenvalue" is called an embedded eigenvalue. Let a stationary solution $f_0$ be spatially inhomogenous, i.e., $\left| \vec{M}[f_0] \right|\neq 0$. Owing to the rotational symmetry of the HMF model, there must be a mode $f_1^0$ associated with the zero embedded eigenvalue of the linearized Vlasov operator. The direction of a perturbation $\vec{M}[f_1^0]$ is perpendicular to the direction of the order parameter $\vec{M}[f_0]$. This fact is consistent with the fact that the order parameter changes its direction, keeping its radius, in the presence of an infinitesimal external field which is perpendicular to the order parameter @SO12. When the nonequilibrium phase transition @PHC06 [@AA07; @FS11; @SO11] is of interest, the phases are defined by the modulus of the order parameter, and hence the direction of the order parameter is not questioned. At present, we mainly focus on the stability against the perturbation parallel to the order parameter $\vec{M}[f_0]$. Stability criterion for spatially homogeneous stationary solution {#sec:hom} ================================================================= As long as the linear operator $\hat{\mathcal{L}}$ defined in is concerned, the spectral stability condition for a stationary solution $f_0$ to the Vlasov equation can be compactly stated; if there is no eigenvalue of $\hat{\mathcal{L}}$, the stationary solution $f_0$ is said to be spectrally stable. Since the spectrum of $\hat{\mathcal{L}}$ consist of eigenvalues on $\mathbb{C}\setminus i\mathbb{R}$, continuous spectra on the imaginary axis, and the embedded eigenvalue on the imaginary axis @JDC89, only the eigenvalues are able to contribute to the spectral instability. On account of this fact, the spectral stability criterion is stated as follows: \[prop1\] Let $f_0(p)$ be a spatially homogeneous stationary solution to the Vlasov equation, which is assumed to be smooth, even, and unimodal, and further the derivative $f_0'(p)$ of which is assumed to have the support $\mathbb{R}$. Then the stationary solution $f_0$ is spectrally stable, if and only if $f_0$ satisfies the inequality $$\label{eq:hom-crit} \mathcal{I}[f_0] = 1 + \pi \int_{-\infty}^{\infty} \frac{f_0'(p)}{p}~dp \geq 0.$$ We note that $f_0'(p)/p$ has no singurality for all $p \in \mathbb{R}$ on account of the assumption that $f_0$ is smooth and even. Though the inequality can be derived by using the Nyquist's method @CD09 [@SI93; @Penrose], we introduce a method other than the Nyquist's method to prove this proposition. For a spatially homogeneous stationary solution $f_0(p)$, the dispersion relation $D(\omega) = 0$ with ${\rm Im} \omega > 0$ is put in the form @AC09 $$\label{eq:disp-hom} D(\omega) = 1 + \pi \int_{-\infty}^{\infty} \frac{f_0'(p)}{p - \omega}~dp = 0, \quad {\rm Im} \omega>0.$$ The dispersion function is continued to $\omega = 0$ from the upper half $\omega$-plane, by taking the limit $D(0) = \lim_{\epsilon \to 0+} D(i\epsilon)$. Noting that $f_0'(p)/ p$ has no singularity, we obtain $D(0) = \mathcal{I}[f_0]$, since the integrand in has no singularity when $\omega = 0$. We put $\omega \in \mathbb{C}$ in the form $\omega = \omega_{\rm r} + i \omega_{\rm i}$ with $\omega_{\rm r} \in \mathbb{R}$ and $\omega_{\rm i} > 0$. When the dispersion relation is satisfied by some $\omega$ with ${\rm Im} \omega > 0$, the imaginary part of $D(\omega)$ is zero, so that one has $$\label{eq:hom-disp-im} \begin{split} \mathrm{Im} D(\omega) &= \pi \omega_{\rm i} \int_{-\infty}^{\infty} \frac{f_0'(p)}{(p-\omega_{\rm r})^2 + \omega_{\rm i}^2} dp\\ &= 4\pi \omega_{\rm i} \omega_{\rm r} \int_0^{\infty} \frac{pf_0'(p)~dp}{\left((p-\omega_{\rm r})^2 + \omega_{\rm i}^2 \right)\left((p+\omega_{\rm r})^2 + \omega_{\rm i}^2 \right)} \\ &= 0. \end{split}$$ Since $f_0(p)$ is an even unimodal function, $p f_0'(p) < 0$ for all $p> 0$. The integral in is to be negative value, and implies that $\omega_{\rm r} = 0$, since $\omega_{\rm i} > 0$. Conversely, if $\omega_{\rm r} = 0$, the equality ${\rm Im} D(\omega) = 0$ holds true. The condition $\omega_{\rm r} = 0$ is then equivalent to the condition $\eqref{eq:hom-disp-im}$. Now, on account of the fact $p f_0'(p)$ is negative for all $p \neq 0$, and the dispersion function satisfies the inequality $$\label{eq:hom-disp-re} D(i\omega_{\rm i}) = 1 + \pi \int_{-\infty}^{\infty} \frac{p f_0'(p)}{p^2 + \omega_{\rm i}^2} dp \geq \mathcal{I}[f_0],$$ for all $\omega_{\rm i} \geq 0$, where the equality is satisfied if and only if $\omega_{\rm i} = 0$. This is because $D(i \omega_{\rm i})$ becomes $\mathcal{I}[f_0]$ for $\omega_{\rm i} = 0$ and because $D(i\omega_{\rm i})$ is a continuous and strictly increasing function with respect to $\omega_{\rm i}$. It then follows that if $D(\omega) = 0$ with $\omega = i \omega_{\rm i}$, or equivalently, if $\hat{\mathcal{L}}$ has an eigenvalue $-i \omega$ with ${\rm Im} \omega > 0$, then $\mathcal{I}[f_0] < 0$. Conversely, if the inequality $\mathcal{I}[f_0] < 0$ is satisfied, there exists a positive $\omega_{\rm i}$ such that $D(i\omega_{\rm i}) = 0$. In fact, $D(i \omega_{\rm i})$ is strictly increasing in $\omega_{\rm i}$ with $D(0) = \mathcal{I}[f_0]$ and $D(i \omega_{\rm i}) \rightarrow 1$ as $\omega_i \rightarrow \infty$. This means that $\hat{\mathcal{L}}$ has an unstable eigenvalue if and only if $\mathcal{I}[f_0] < 0$. Thus we have proved the spectral stability criterion . In comparison with the spectral stability criterion , the formal stability criterion @YYY04 is given by $$\label{eq:hom-for} \mathcal{I}[f_0] > 0.$$ This inequality means that $f_0$ is spectrally stable but not neutrally spectrally stable. This is because if $D(0) =\mathcal{I}[f_0]= 0$, the linear operator $\hat{\mathcal{L}}$ has an embedded eigenvalue $0$, and hence $f_0$ is neutrally spectrally stable. Stability criteria for spatially inhomogeneous stationary solution {#sec:inhom} ================================================================== In this section, we will give necessary and sufficient conditions for the spectral stability and for the most refined formal stability of spatially inhomogeneous stationary solutions to the Vlasov equation. We call the most refined formal stability, simply, the formal stability as we have already mentioned in the introduction. A spectral stability criterion for spatially inhomogeneous solutions can be given in an explicit form by performing the same procedure as that adopted in the last section. Furthermore, the formal stability criterion can be worked out if all the Casimir invariants are taken into account. For spatially inhomogeneous stationary solutions, Campa and Chavanis @AC10 have given the formal stability criterion. However, no one has these criteria explicitly, since one needs to detect values of an infinite number of Lagrangian multipliers. We can avoid a puzzle to detect an infinite number of Lagrangian multipliers if we use the angle-action coordinates in stability analysis. We denote the single-body energy by $$\label{e:1bodyE} \mathcal{E}(q,p) = p^2/2 - M_0 \cos q,$$ where on account of the rotational symmetry of the HMF model, the order parameter has been set $\vec{M}_0 = (M_0, 0)$ with $$M_0 = \iint_\mu \cos q~f_0(q,p)~dq dp.$$ Angle-action coordinates for HMF model -------------------------------------- Before analyzing the stability of spatially inhomogeneous stationary solutions, we review the angle-action coordinates $(\theta, J)$ for the HMF model. The detail of constructing the angle-action coordinates can be found in @BOY10. To construct a bijective mapping of $(q,p)$ to $(\theta, J)$, we divide the $\mu$-space into three regions, $U_1, U_2$, and $U_3$, which are defined, respectively, as $$\begin{split} U_1 &= \left\{(q,p)~|~\mathcal{E}(q,p) > M_0,p>0\right\},\\ U_2 &= \left\{(q,p)~|~|\mathcal{E}(q,p)| < M_0\right\},\\ U_3 &= \left\{(q,p)~|~\mathcal{E}(q,p) > M_0,p<0\right\}. \end{split}$$ According to this division of the $\mu$-space, we prepare the sets $V_1, V_2$, and $V_3$ defined to be $$\begin{split} V_1 &= \left\{(\theta_1,J_1)~|~\theta_1\in [-\pi,\pi), J_1>4\sqrt{M_0}/\pi\right\},\\ V_2 &= \left\{(\theta_2,J_2)~|~\theta_2\in [-\pi,\pi), 0<J_2<8\sqrt{M_0}/\pi\right\},\\ V_3 &= \left\{(\theta_3,J_3)~|~\theta_3\in [-\pi,\pi), J_3>4\sqrt{M_0}/\pi\right\}, \end{split}$$ respectively. Then, the maps $(q,p)\mapsto (\theta_i, J_i): U_i \rightarrow V_i$, for $i = 1, 2, 3, $ are bijective. We illustrate the angle-action variables in three regions $U_1$, $U_2$, and $U_3$ in Fig. \[fig:action-angle\]. Since we are interested in integration over the $\mu$-space, we do not have to mention more on the boundaries of $U_i$. ![ We illustrate the angle-action variables in regions $U_i$ ($i=1, 2, 3)$ in the $\mu$ space. The broken curve is a separatrix. The region $U_2$ is the gray region surrounded by the septaratix. The solid curves in each regions are tragectries of the dynamics induced by the effective single-body Hamiltonian $\mathcal{H}[f_0](q,p) = p^2/2 - M_0 \cos q$ . <span data-label="fig:action-angle"></span>](fig-action-angle.eps){width="8.5cm"} According to these bijections, a function $g$ whose arguments are the angle-action variables $(\theta, J)$ is denoted by $$\label{eq:g} g(\theta,J) = \begin{cases} g_1(\theta_1, J_1),\quad (\theta, J) \in V_1,\\ g_2(\theta_2, J_2),\quad (\theta, J) \in V_2,\\ g_3(\theta_3, J_3),\quad (\theta, J) \in V_3, \end{cases}$$ respectively. We will omit the subscript $i$ if no confusion arises. For notational simplicity, we denote the integral of the function over the whole $\mu$-space by the left-hand side of the following equation $$\label{eq:intg} \iint_\mu g(\theta, J)~ d\theta dJ \equiv \sum_{i=1,2,3}\iint_{V_i} g_i(\theta_i, J_i)~d\theta_i dJ_i .$$ In a similar manner, the integration of a function $f(J)$ is put in the form, $$\label{eq:intf} \begin{split} \int_L f(J)~dJ &\equiv \int_{4\sqrt{M_0}/\pi}^\infty f_1(J_1)~dJ_1\\ +&\int_0^{8\sqrt{M_0}/\pi} f_2(J_2)~dJ_2 +\int_{4\sqrt{M_0}/\pi}^\infty f_3(J_3)~dJ_3. \end{split}$$ In the later part of this article, the monotonicity of a function $f(J)$ with respect to $J$ means the monotonicity of functions $f_i(J_i)$ with respect to $J_i$ for each $i =1, 2, 3, $ respectively. Spectral stability criterion {#subsec:inhom-spec} ---------------------------- We derive a necessary and sufficient condition for a spatially inhomogeneous stationary solution $f_0$ to the Vlasov equation to be spectrally stable, which is stated as follows: \[prop2\] Let $f_0$ be a spatially inhomogeneous stationary solution to the Vlasov equation, which is assumed to depend on the action $J$ only through the single-body energy $\mathcal{E}(J)$ in such a manner that $$\label{eq:stationary-solution} f_0 (q,p)= \tilde{f}_0\left(J(q,p)\right) = \hat{f}_0\left(\mathcal{E}(q,p)\right).$$ Further, $\tilde{f}_0\left(J\right)$ and $\hat{f}_0\left(\mathcal{E}\right)$ are assumed to be strictly decreasing with respect to $J$ and $\mathcal{E}$, respectively. A further assumption is that $d\hat{f}_0\left(\mathcal{E}\right)/d\mathcal{E}$ is continuous with respect to $\mathcal{E}$. Such a stationary solution $f_0(q,p)$ is spectrally stable, if and only if $$\label{eq:inhom-crit} \begin{split} \mathcal{I}[f_0] =& 1 + \int_{-\pi}^{\pi} dq \cos^2 q \int_{-\infty}^{\infty} \frac{1}{p}\frac{\partial f_0}{\partial p}(q,p)~dp \\ &- 2\pi \int_L \frac{{\tilde{f}_0}'(J)}{\Omega(J)} |C^0(J)|^2 dJ\geq 0, \end{split}$$ where $(\theta,J)$ are the angle-action coordinates and $\Omega(J) \equiv d\mathcal{E}(J)/dJ$, and where $C^n(J)$ is defined by $$\label{eq:cn} C^n(J) \equiv \frac{1}{2\pi}\int_{-\pi}^{\pi} \cos q(\theta, J) e^{-in \theta} d\theta, \quad n \in \mathbb{Z}.$$ Before proving Prop. \[prop2\], we note that all distributions such as are stationary solutions to the Vlasov equation. The monotonicity of $f_0$ in $J$ is satisfied for stationary solutions which are obtained as solutions to a variational equation associated with an optimization problem such as the maximization of the entropy or the minimization of the free energy. Then the assumption imposed on $f_0$ in Prop. \[prop2\] is not too restrictive, and has some physical relevance. We note also that $\tilde{f}_0'(J)/ \Omega(J)$ is finite for all $J$ since $d\hat{f}_0\left(\mathcal{E}\right)/d\mathcal{E}$ has no singularity. The proof of Prop. \[prop2\] can be performed in a similar manner to that applied to Prop. \[prop1\], though the $f_0$ is spatially inhomogeneous in the present proof. We divide the stability analysis into two, one of which deals with stability against the perturbation in the direction parallel to the order parameter $\vec{M}_0 = (M_0, 0)^T$ and the other with stability against the perturbation in the direction perpendicular to $\vec{M}_0$. We first analyze the stability against the perturbation in the direction parallel to the order parameter $\vec{M}_0 = \left(M_0, 0\right)^T$. The dispersion function in this case is put in the form $$\label{eq:inhom-disp} D_x(\omega) = 1 + 2\pi \sum_{m \in \mathbb{Z}} \int_L \frac{m {\tilde{f}_0}'(J)}{m\Omega(J) - \omega}|C^m(J)|^2 dJ, \quad {\rm Im \omega > 0},$$ and the dispersion relation is given by $D_x(\omega) = 0$ @BOY10. When ${\rm Im} \omega > 0$, the term of $m = 0$ in vanishes and Eq. is arranged as $$\label{eq:inhom-disp2} D_x(\omega) = 1 + 2\pi \sum_{m \in \mathbb{Z}\setminus \{0\}} \int_L \frac{{\tilde{f}_0}'(J)}{\Omega(J) - \omega/m}|C^m(J)|^2 dJ, \quad {\rm Im \omega > 0}.$$ We here note that $D_x(0)$ is defined as $D_x(0) = \lim_{\epsilon \to 0+} D_x(i\epsilon)$, and $$\label{eq:aaD0} D_x(0) =1 + 2\pi \sum_{m\neq 0} \int_L \dfrac{\tilde{f}_0'(J)}{\Omega(J)} |C^m(J)|^2 dJ,$$ since the integrand in it has no singularity. If there exists $\omega$ such that $D_x(\omega) = 0$ with ${\rm Im} \omega > 0$, then one has ${\rm Im} D_x(\omega) = 0$, which is written out as $$\label{inhom-disp-im} \begin{split} \mathrm{Im}D_x(\omega) &= \sum_{m \in \mathbb{Z} \setminus\{0\}} \frac{2\pi}{m} \omega_{\rm i} \int_{L} \frac{|C^m(J)|^2 \Omega(J) \tilde{f}_0'(J)} {(\Omega(J) - \omega_{\rm r}/m)^2 + (\omega_{\rm i}/m)^2}dJ \\ &= \sum_{m \in \mathbb{N}} \left[ \frac{2\pi}{m} \omega_{\rm i} \int_{L} \frac{|C^m(J)|^2 \Omega(J) \tilde{f}_0'(J)} {(\Omega(J) - \omega_{\rm r}/m)^2 + (\omega_{\rm i}/m)^2}dJ -\frac{2\pi}{m} \omega_{\rm i} \int_{L} \frac{|C^{-m}(J)|^2 \Omega(J) \tilde{f}_0'(J)} {(\Omega(J) + \omega_{\rm r}/m)^2 + (\omega_{\rm i}/m)^2}dJ \right] \\ &= \sum_{m\in \mathbb{N}} \frac{8\pi}{m} \omega_{\rm r} \omega_{\rm i} \int_L \frac{|C^m(J)|^2 \Omega(J) \tilde{f}_0'(J)} {\left\{(\Omega(J) - \omega_{\rm r}/m)^2 + (\omega_{\rm i}/m)^2\right\} \left\{(\Omega(J) + \omega_{\rm r}/m)^2 + (\omega_{\rm i}/m)^2\right\}}dJ = 0, \end{split}$$ where we have used the fact $C^m(J) = C^{-m}(J)^\ast$ which is derived from . Since $|C^m(J)|^2 > 0$ for some $m \in \mathbb{N}$, and $\Omega(J) > 0$ and $\tilde{f}_0'(J) < 0$ for all $J$, the integrals in give negative values. Then yields $\omega_{\rm r} = 0$, since $\omega_{\rm i} > 0$. We thus have shown that if $\omega = \omega_{\rm r} + i \omega_{\rm i}$ with $\omega_{\rm i} > 0$ is a root of $D_x(\omega) = 0$ then $\omega_{\rm r} = 0$. On account of $\omega_{\rm r} = 0$, the dispersion relation reduces to $$\label{inhom-disp-re} \begin{split} D_x(i \omega_{\rm i}) &= 1 + 4\pi\sum_{m\in \mathbb{N}} \int_L \frac{\Omega(J)\tilde{f}_0'(J)} {\Omega(J)^2 + (\omega_{\rm i}/m)^2} |C^m(J)|^2 dJ\\ &= 0. \end{split}$$ The function $D_x(i \omega_{\rm i})$ is a strictly increasing continuous function of $\omega_{\rm i}$, and converges to 1, $D_x(i \omega_{\rm i}) \rightarrow 1$, as $\omega_{\rm i} \rightarrow \infty$. This implies that if $D_x(0) < 0$, there is a positive number $\omega_{\rm i} > 0$ such that $D_x(i\omega_{\rm i}) = 0$. Put another way, if $D_x(0) < 0$, there is an $\omega$ such that $D_x(\omega) = 0$, ${\rm Im} \omega > 0$. The converse is also shown by taking the contraposition of that there is no root $\omega$ of $D(\omega)$ with ${\rm Im} \omega > 0$ if $D_x(0) \geq 0$. We hence conclude that there is no unstable eigenvalue for the perturbation whose direction is parallel to the order parameter $\vec{M}_0 = (M_0, 0)^T$, if and only if $D_x(0) \geq 0$. If $D_x(0) = 0$, the operator $\hat{\mathcal{L}}$ has an embedded eigenvalue $0$, so that $f_0$ is neutrally spectrally stable. To derive the spectral stability criterion , we have only to prove the relation, $D_x(0) = \mathcal{I}[f_0]$, which can be done by performing the same procedure as that carried out in Appendix C of @SO12. According to Appendix B of @BOY10, the function $\cos q$ is expressed as $$\label{eq:cosk} \cos q\left(\theta, J(k)\right) = \begin{cases} \vspace{5mm} \displaystyle 1 - 2k^2 {\mathrm{sn}}^2\left(\frac{2K(k)}{\pi} \theta, k\right), &\quad k< 1, \\ \displaystyle 1- 2 {\mathrm{sn}}^2 \left(\frac{K(1/k)}{\pi} \theta, \frac{1}{k} \right),&\quad k>1, \end{cases}$$ where $K(k)$ is the complete elliptic integral of the first kind @MAIS72, and where $k$ is defined as $$\label{eq:k-def} k \equiv \sqrt{\frac{\mathcal{E}(J) + M_0}{2M_0}}.$$ Owing to the periodicity of the Jacobian elliptic functions @MAIS72, the function $\cos q(\theta, J)$ is $2\pi$-periodic with respect to $\theta$. Then, from Parseval's equality, we obtain $$\label{eq:Parseval} \begin{split} 2\pi \sum_{m \neq 0} |C^m(J)|^2 &= \int_{-\pi}^\pi \cos^2 q(\theta, J) ~d\theta - 2\pi |C^0(J)|^2. \end{split}$$ By using this equation, we rewrite the second terms in the right-hand side of as $$\label{eq:intDx0} \int_L dJ \dfrac{\tilde{f}_0'(J)}{\Omega(J)} \int_{-\pi}^{\pi} \cos^2 q(\theta, J) ~d\theta - 2 \pi \int_L \dfrac{\tilde{f}_0'(J)}{\Omega(J)} |C^0(J)|^2~dJ.$$ Keeping in mind the fact that the stationary solution $f_0$ to the Vlasov equation depends on the action $J$ only through a single-body energy $\mathcal{E}$, we arrange the first term of as $$\label{eq:int1Dx0} \begin{split} &\int_L dJ \dfrac{\tilde{f}_0'(J)}{\Omega(J)} \int_{-\pi}^{\pi} \cos^2 q(\theta, J) d\theta \\ & = \int_{L} dJ \int_{-\pi}^{\pi} \dfrac{d \hat{f}_0}{d\mathcal{E}} (\mathcal{E}(J)) \cos^{2}q(\theta, J) ~d\theta\\ & = \iint_\mu \dfrac{d \hat{f}_0}{d\mathcal{E}} (\mathcal{E}(J)) \cos^2 q(\theta, J) ~d\theta dJ\\ & = \iint_{\mu} \dfrac{1}{p} \dfrac{\partial f_0}{\partial p} (q,p)\cos^2 q ~ dq dp. \end{split}$$ In the course of analysis, we have used the fact that the transformation $(\theta, J) \mapsto (q,p)$ is canonical. We note that $d \hat{f}_0/d\mathcal{E}$ is assumed to be continuous in $J$, and hence the integration with respect to $J$ is taken along on the real $J$-axis. Then, by using and , the second equality in is derived. Equations , , and are put together to show the relation $D_x(0) = \mathcal{I}[f_0]$. So far we have investigated the stability against perturbations in the direction parallel to the order parameter $\vec{M}_0 = (M_0, 0)^T$. We proceed to look into the stability against a perturbation in the direction perpendicular to the order parameter $\vec{M}_0$. The dispersion relation corresponding to the direction perpendicular to the order parameter $\vec{M}_0$ is expressed as $$\label{eq:inhom-disp-perp} \begin{split} D_y(\omega) &= 1 + 2\pi \sum_{m \in \mathbb{Z}} \int_L \frac{m {\tilde{f}_0}'(J)}{m\Omega(J) - \omega}|S^m(J)|^2 dJ =0, \end{split}$$ for ${\rm Im} \omega > 0$, where $$S^m(J) \equiv \frac{1}{2\pi}\int_{-\pi}^{\pi} \sin q(\theta, J) e^{-im\theta} d\theta.$$ We note that $S^0(J) = 0$. In fact, $\sin q (\theta, J)$ is expressed as $$\label{eq:sink} \begin{split} &\sin q\left(\theta, J(k)\right) = \begin{cases} \vspace{5mm} \displaystyle 2k {\mathrm{sn}}\left(\frac{2K(k)}{\pi} \theta, k\right) {\mathrm{dn}}\left(\frac{2K(k)}{\pi} \theta, k\right), & k< 1, \\ \displaystyle 2 {\mathrm{sn}}\left(\frac{K(1/k)}{\pi} \theta, \frac{1}{k} \right) {\mathrm{cn}}\left(\frac{K(1/k)}{\pi} \theta, \frac{1}{k} \right),& k>1, \end{cases} \end{split}$$ it is odd with respect to $\theta$ for all $J$ @MAIS72, so that one has $S^0(J) = 0$. Following the same procedure as that for proving the relation $D_x(0) = \mathcal{I}[f_0]$ and taking into account the relation $S^0(J) = 0$, we obtain $$D_y(0) = 1 + \iint_\mu \frac{1}{p} \dfrac{\partial f_0}{\partial p}(q,p) \sin^2q ~ dqdp .$$ If $D_y(0) \geq 0$, there is no eigenmode which brings about the instability in a direction perpendicular to the order parameter $\vec{M}_0$. Actually, the equality, $D_y(0)= 0$, is satisfied for any stationary solution subject to the assumptions in Prop. \[prop2\] with , which is proved as follows @AC10; $$\label{eq:Dy00} \begin{split} &\iint_\mu \frac{1}{p} \dfrac{\partial f_0}{\partial p}(q,p) \sin^2q ~ dqdp\\ &= \iint_\mu \frac{d \hat{f}_0}{d\mathcal{E}} \left(\mathcal{E}(q,p) \right) \sin^2 q ~ dqdp\\ &= \frac{1}{M_0}\iint_\mu \frac{\partial f_0}{\partial q}(q,p) \sin q ~dqdp \\ &= -\frac{1}{M_0} \iint f_0(q, p) \cos q~dq dp= -1. \end{split}$$ Since $D_x(0) = \mathcal{I}[f_0]$ and $D_y(0) = 0$, we have obtained the spectral stability criterion for the spatially inhomogeneous solutions to the Vlasov equation. It is to be remarked that any spectrally stable solution which are spatially inhomogeneous are neutrally spectrally stable, since there is an embedded eigenvalue 0 which comes from $D_y(0)=0$. To compute $D_x(0)$ or the right-hand side of , we should express $C^0(J)$ in terms of known functions. On using the explicit expression of $\Omega(J)$ and $C^0(J)$ given respectively in Appendix B of @BOY10 and Appendix C of @SO12, $D_x(0)$ is described explicitly as $$\label{eq:Dx0} \begin{split} &D_x(0) = 1 + \iint_{\mu} \frac{1}{p} \frac{\partial f_0}{\partial p} (q, p) \cos^2q~ dqdp \\ &- \frac{4}{\sqrt{M_0}} \int_0^1 K(k) \left[\frac{2 E(k)}{K(k)}-1\right]^2 \bar{f}_0'(k)~dk \\ &- \frac{4}{\sqrt{M_0}} \int_1^\infty \frac{K(1/k)}{k} \left[\frac{2k^2 E(1/k)}{K(1/k)}+1-2k^2\right]^2 \bar{f}_0'(k)~dk, \end{split}$$ where $\bar{f}_0\left(k\right) \equiv \tilde{f}_0\left(J(k)\right)$, and where $E(k)$ is the complete elliptic integral of the second kind @MAIS72. Stationary states realized as critical points of some invariant functionals {#subsec:opt} --------------------------------------------------------------------------- We will give a necessary and sufficient condition of the formal stability of a stationary state. To look into the formal stability, we introduce invariant functionals. The Vlasov dynamics satisfies the normalization condition, $$\label{eq:normalization} \mathcal{N}[f] \equiv \iint_\mu f (q,p)~dq dp = 1,$$ the momentum conservation law, $$\label{eq:momentum} \mathcal{P}[f] \equiv \iint_\mu p f(q,p)~dqdp = 0,$$ and the energy conservation law, $$\label{eq:energy} \mathcal{U}[f] \equiv \iint_\mu \frac{p^2}{2} f(q,p)~dq dp - \frac{1}{2} \left(M_x[f]^2 + M_y[f]^2 \right) = U,$$ where $U$ is a fixed value. The Vlasov dynamics additionally has an infinite number of Casimir invariants denoted by $$\label{eq:cas-func} \mathcal{S}[f] = \iint_\mu s\left(f(q,p) \right)~dq dp.$$ We here assume that $s$ is a strictly concave and twice differentiable function defined for the non-negative real numbers. We will look into the formal stability of the stationary solution realized as the critical point of under constraints , , and . A critical point $\tilde{f}_0(J)$ is a solution to the variational equation $$\label{eq:vareq} \delta \mathcal{F} = \delta (\mathcal{S} - \beta \mathcal{U}- \alpha \mathcal{N}) = 0,$$ which is written out as $$\label{eq:solvar} s'\left(\tilde{f}_0(J)\right) = \beta \mathcal{E}(J) + \alpha,$$ where $\alpha$ and $\beta$ are Lagrangian multipliers. Since $s(x)$ is a strictly concave differentiable function defined on $x \geq 0$, its derivative $s'(x)$ is strictly decreasing on $x \geq 0$, and the inverse function $\left(s'\right)^{-1}(y)$ exists and is strictly decreasing on the range of the function $s'$. We are then allowed to put the solution $\tilde{f}_0(J)$ to the variational equation in the form $$\label{eq:solsolvar} \hat{f}_0(\mathcal{E}) = \tilde{f}_0\left(J\left(\mathcal{E}\right)\right) = \left(s'\right)^{-1}\left(\beta \mathcal{E}+ \alpha\right).$$ The parameter $\beta$ is positive @AC10. To see this, we assume that $\beta$ were not positive. (i) When $\beta < 0$, from , the function $\hat{f}_0\left(\mathcal{E}\right)$ is strictly increasing with respect to $\mathcal{E}$, so that the function $\tilde{f}_0\left(J\right)$ is strictly increasing with respect to $J$. (ii) When $\beta = 0$, $\hat{f}_0(\mathcal{E})$ is a constant for the whole $\mathcal{E}$, so that $\tilde{f}_0(J)$ is a constant for the whole $J$. In these cases, the integral $\int_L \tilde{f}_0(J)~dJ$ diverges, and hence $\tilde{f}_0(J)$ cannot be a probabilistic density function. Hence, parameter $\beta$ must be positive. In the case $\beta > 0$, $\tilde{f}_0(J)$ can be a probabilistic density function. Since $\beta$ is shown to be positive, and since $s$ is strictly concave, a solution to the variational equation is a stationary solution to the Vlasov equation satisfying $d \hat{f}_0/ d\mathcal{E} < 0$ and $d \tilde{f}_0/ d J < 0$. Formal stability criterion in the most refined form {#subsec:inhom-formal} --------------------------------------------------- In this section, we look into the most refined formal stability of the spatially inhomogeneous stationary solution $f_0$ which is a critical point of the functional under the constraint conditions , , and . To start with, we note that $C^n(J) = C^{-n}(J)$. In fact, from ${\mathrm{sn}}(u, k) = -{\mathrm{sn}}(-u, k)$ @MAIS72 and , one has that $\cos q(\theta, J)$ is even with respect to $\theta$, so that $C^n(J)$ is shown to be real from the definition and $C^n(J) = C^{-n}(J)$, and further $|C^n(J)|^2 = C^n(J)^2$ . We derive the formal stability criterion for spatially inhomogeneous solutions on the basis of the following claim. \[claim1\] A solution $\tilde{f}_0(J)$ to the variational equation is formally stable, if and only if the second-order variation of the functional $\mathcal{F} = \mathcal{S}-\beta \mathcal{U}-\alpha \mathcal{N}$ is negative definite at $\tilde{f}_0$ under the constraint of the Casimir invariants. That is, $\delta^2 \mathcal{F}\left[f_0\right][\delta f, \delta f] < 0$ for any non-zero variation $\delta f$ leaving invariant the functional of the form up to first order for any function $Q$. To investigate the condition $\delta^2 \mathcal{F}\left[f_0\right][\delta f, \delta f] <0$, we start by putting the function $\gamma$ as $$\label{eq:gammaJ} \gamma(J) = \frac{\beta}{s'' \left(\tilde{f}_0(J)\right) } = \frac{\tilde{f}_0'(J)}{\Omega(J)} = \dfrac{d \hat{f}_0}{d\mathcal{E}}\left(\mathcal{E}(J)\right).$$ Then the second-order variation of $\mathcal{F}$ is described as $$\label{eq:second-var} \begin{split} \delta^2\mathcal{F}\left[\tilde{f}_0\right]\left[\delta \tilde{f}, \delta \tilde{f}\right] &= \iint_\mu \frac{\beta}{\gamma(J)} \delta \tilde{f}(\theta, J)^2 ~d\theta dJ \\ &+ \beta \left[ \iint_\mu \cos q(\theta,J) ~\delta \tilde{f}(\theta, J)~d\theta dJ \right]^2\\ &+ \beta \left[ \iint_\mu \sin q(\theta,J) ~\delta \tilde{f}(\theta, J)~d\theta dJ \right]^2. \end{split}$$ On account of the constraints of the Casimir invariants up to first order, the perturbation should satisfy the constraint $$\label{eq:en-cas-pert} \begin{split} \mathcal{Q}[f_0 + \delta f] - \mathcal{Q}[f_0] &= \iint_\mu \mathcal{Q}'\left(f_0(q,p) \right) \delta f (q, p) ~dqdp \\ &= \int_L dJ~Q'\left(\tilde{f}_0(J)\right) \int_{-\pi}^{\pi} \delta \tilde{f}(\theta, J) ~d\theta \\ &= 0. \end{split}$$ Since $Q$ is chosen arbitrarily, we can look on $Q' \left(\tilde{f}_0(J)\right)$ as a function of $J$ (or $\mathcal{E}(J)$) chosen arbitrarily. We are then allowed to restrict perturbations to those satisfying $$\label{eq:en-cas-equi} \int_{-\pi}^{\pi} \delta \tilde{f}(\theta, J) ~d \theta = 0, \quad \forall J.$$ We now divide the perturbation $\delta \tilde{f} (\theta, J)$ into even and odd parts with respect to $\theta$, $$\label{eq:odd-even} \delta \tilde{f}(\theta, J) = \delta_{\rm e} \tilde{f}(\theta, J) + \delta_{\rm o} \tilde{f}(\theta, J),$$ where $$\begin{split} \delta_{\rm e}\tilde{f}(\theta, J)&= \frac{1}{2} \left( \delta \tilde{f}(\theta, J)+\delta \tilde{f}(-\theta, J) \right), \\ \delta_{\rm o}\tilde{f}(\theta, J)&= \frac{1}{2} \left( \delta \tilde{f}(\theta, J)-\delta \tilde{f}(-\theta, J) \right). \end{split}$$ When $\delta \tilde{f}$ in the functional is replaced by , the functional is arranged as $$\label{eq:second-var2} \begin{split} \delta^2\mathcal{F}\left[\tilde{f}_0\right] &\left[\delta \tilde{f}, \delta \tilde{f}\right] = \iint_\mu \frac{\beta}{\gamma(J)} \delta_{\rm e} \tilde{f}(\theta, J)^2 ~d\theta dJ \\ &+ \beta \left[ \iint_\mu \cos q(\theta,J) ~\delta_{\rm e} \tilde{f}(\theta, J)~d\theta dJ \right]^2\\ &+ \iint_\mu \frac{\beta}{\gamma(J)} \delta_{\rm o} \tilde{f}(\theta, J)^2 ~d\theta dJ\\ &+ \beta \left[ \iint_\mu \sin q(\theta,J) ~\delta_{\rm o} \tilde{f}(\theta, J)~d\theta dJ \right]^2\\ &=\delta^2\mathcal{F}\left[\tilde{f}_0\right] \left[\delta_{\rm e} \tilde{f}, \delta_{\rm e} \tilde{f}\right]+ \delta^2\mathcal{F}\left[\tilde{f}_0\right] \left[\delta_{\rm o} \tilde{f}, \delta_{\rm o} \tilde{f}\right], \end{split}$$ where we have used the fact that $$\label{eq:mxomye} M_x\left[\delta_{\rm o} \tilde{f}\right] = 0, \quad M_y\left[\delta_{\rm e} \tilde{f}\right] = 0,$$ which come from the fact that $\cos q(\theta, J)$ (resp. $\sin q(\theta, J)$) is even (resp. odd) with respect to $\theta$ on account of (resp. $\eqref{eq:sink}$). Equation means that $\delta_{\rm e} \tilde{f}$ and $\delta_{\rm o}\tilde{f}$ are not coupled in . As for the second term in the right-hand side of the last equality in , we recall that spatially inhomogeneous stationary solutions are already known to be neutrally formally stable against a perturbation $\delta_{\rm o} \tilde{f}$ whose direction is perpendicular to the direction of the order parameter $\vec{M}_0$, as is shown in @AC10. This fact is consistent with the fact that the order parameter may rotate if an arbitrarily small external field is turned on perpendicularly to the order parameter @SO12. We do not take into account this rotation as long as we treat a formal stability of the stationary solution $f_0$, as we mentioned in Sec. \[sec:LVE\]. On account of , we are now left with the analysis of, $\delta^2\mathcal{F}\left[\tilde{f}_0\right] \left[\delta_{\rm e} \tilde{f}, \delta_{\rm e} \tilde{f}\right]$, the integrals in for the even part $\delta_{\rm e} \tilde{f}$ whose direction is parallel to the order parameter $\vec{M}_0$. In what follows, we prove the proposition: \[prop-f-stab\] Let $f_0$ be a solution to the variational equation . The inequality $$\label{eq:f-stab} \mathcal{I}[f_0] = D_x(0) > 0$$ is equivalent to the condition $$\delta^2 \mathcal{F}\left[\tilde{f}_0\right] \left[\delta_{\rm e} \tilde{f}, \delta_{\rm e} \tilde{f}\right] < 0$$ for any $\delta_{\rm e} \tilde{f} \neq 0$ under the constraint . Therefore, the inequality is a necessary and sufficient condition for the formal stability of $\tilde{f}_0$. In the situation stated so far, the second order variation is put in the form $$\label{eq:second-var-e} \begin{split} \delta^2\mathcal{F}\left[\tilde{f}_0\right] \left[\delta_{\rm e} \tilde{f}, \delta_{\rm e} \tilde{f}\right]&= \iint_\mu \frac{\beta}{\gamma(J)} \delta_{\rm e} \tilde{f}(\theta, J)^2 ~d\theta dJ \\ + &\beta \left[ \iint_\mu \cos q(\theta,J) \delta_{\rm e} \tilde{f}(\theta, J)~d\theta dJ \right]^2. \end{split}$$ We first show that a non-zero $\delta_{\rm e} \tilde{f}$ satisfying $M_x\left[\delta_{\rm e} \tilde{f}\right] = 0$ does not bring about the formal instability. Indeed, becomes $$\delta^2\mathcal{F}\left[\tilde{f}_0\right] \left[\delta_{\rm e} \tilde{f}, \delta_{\rm e} \tilde{f}\right]= \iint_\mu \frac{\beta}{\gamma(J)} \delta_{\rm e} \tilde{f}(\theta, J)^2 ~d\theta dJ,$$ and is negative since $\gamma(J) < 0$ and $\beta > 0$, as was mentioned in Sec. \[subsec:opt\]. We proceed to perform the stability analysis with the constraint condition $$\label{eq:const-m} M_x\left[\delta_{\rm e} \tilde{f}\right] =\iint_\mu \cos q(\theta, J) \delta_{\rm e} \tilde{f}(\theta, J)~d\theta dJ =1 .$$ We note that the value of $M_x\left[\delta_{\rm e}\tilde{f}\right]$ can be chosen arbitrary, because this value changes only the scaling of and does not change the sign of . We expand the perturbation $\delta_{\rm e} \tilde{f}$ into the Fourier series in $\theta$, $$\label{eq:even-f} \begin{split} \delta_{\rm e}\tilde{f}(\theta, J) = \sum_{n\neq 0} \hat{f}^{\rm e}_n(J) e^{i n \theta}, \quad \hat{f}^{\rm e}_n (J) &= \hat{f}^{\rm e}_{-n}(J). \end{split}$$ We note that the 0-th Fourier mode vanishes thanks to the constraint condition . Substituting into , we obtain the functional in $\left\{\hat{f}^{\rm e}_n\right\}_{n \neq 0}$ $$\label{eq:functional-G} \begin{split} \mathcal{G}_{\rm e}\left[\left\{\hat{f}^{\rm e}_n\right\}_{n \neq 0}\right] &\equiv \frac{1}{2\pi} \delta^2\mathcal{F}\left[\tilde{f}_0\right] \left[\delta_{\rm e} \tilde{f},\delta_{\rm e} \tilde{f}\right] \\ &= \sum_{n \neq 0} \int_L \frac{\beta}{\gamma(J)} \hat{f}^{\rm e}_n(J)^2 ~dJ + 2 \pi \beta \left(\sum_{m\neq 0} \int_L C^m(J') \hat{f}^{\rm e}_m (J')~dJ' \right)^2 . \end{split}$$ We look for a critical point of $\mathcal{G}_{\rm e}$ under the constraint which is rewritten in terms of $\left\{\hat{f}^{\rm e}_n\right\}_{n \neq 0}$ as $$\label{eq:const-c} \mathcal{M}_x\left[\left\{\hat{f}^{\rm e}_m\right\}_{m \neq 0}\right] \equiv 2\pi\sum_{m \neq 0}\int_L C^m(J) \hat{f}^{\rm e}_m (J)~dJ = 1.$$ The functional $\mathcal{G}_{\rm e}\left[\left\{\hat{f}^{\rm e}_m\right\}_{m \neq 0}\right]$ takes a critical value under the constraint condition if $$\label{eq:critical-eq} \delta_n \mathcal{G}_{\rm e}\left[\left\{\hat{f}^{\rm e}_m\right\}_{m \neq 0}\right] - \eta\delta_n \mathcal{M}_x\left[\left\{\hat{f}^{\rm e}_m\right\}_{m \neq 0}\right] = 0, \quad n \in \mathbb{Z} \setminus \{0\},$$ where $\eta$ is a Lagrangian multiplier, and $\delta_n \mathcal{G}_{\rm e}$ is defined by $$\begin{split} \delta_n \mathcal{G}_{\rm e}\left[\left\{\hat{f}^{\rm e}_m\right\}_{m \neq 0}\right] &\equiv \mathcal{G}_{\rm e}\left[\left\{\hat{f}^{\rm e}_m + \delta \hat{f}^{\rm e}_n \delta_{mn}\right\}_{m \neq 0}\right] - \mathcal{G}_{\rm e}\left[\left\{\hat{f}^{\rm e}_m\right\}_{m \neq 0}\right] \\ &= 2\beta \int_L \delta \hat{f}^{\rm e}_n(J) \left[ \frac{\hat{f}^{\rm e}_n (J)}{\gamma(J)} + 2 \pi C^n(J) \left( \sum_{m \neq 0} \int_L C^m(J') \hat{f}^{\rm e}_m(J')~dJ'\right) \right]~dJ, \end{split}$$ where $\delta_{mn}$ is the Kronecker delta. Hence, Eq. results in $$\label{eq:hatf} \begin{split} \hat{f}^{\rm e}_n(J) &= - \left(2 \pi \sum_{m \neq 0} \int_L C^m(J') \hat{f}_m^{\rm e}(J')~dJ'\right)C^n(J) \gamma(J) +\frac{\pi\eta}{\beta} C^n(J) \gamma(J) = - \xi C^n(J)\gamma(J), \end{split}$$ for all $n \in \mathbb{Z}\setminus\{0\}$, where we have used and put $\xi \equiv 1 - \pi \eta/\beta$. Substituting into , we obtain the value of $\xi$ as $$\xi = \frac{-1}{\displaystyle 2\pi \sum_{m \neq 0} \int_L C^m(J)^2 \gamma(J)~dJ}.$$ A non-vanishing critical point $\left\{\hat{f}^{\rm e, m}_n\right\}_{n \in \mathbb{Z} \setminus \{0\}}$ is therefore given by $$\label{eq:nvc} \hat{f}^{\rm e, m}_n(J) = \frac{C^n(J) \gamma(J)}{\displaystyle 2\pi \sum_{m \neq 0} \int_L C^m(J')^2 \gamma(J')~dJ'}, \quad n \in \mathbb{Z} \setminus \{0\}.$$ Substituting into , we obtain $$\label{eq:gmax} \begin{split} \mathcal{G}_{\rm e}\left[\left\{\hat{f}^{\rm e, m}_n\right\}_{n \neq 0}\right] =& \frac{\beta}{\displaystyle 4\pi^2\sum_{m \neq 0} \int_L C^m(J)^2\gamma(J) ~dJ} + \frac{\beta}{2\pi} \\ =& \frac{\beta}{\displaystyle 4\pi^2 \sum_{m \neq 0} \int_L C^m(J)^2 \gamma(J) ~dJ} \times\left[ 1 + 2\pi \sum_{l \neq 0} \int_L \frac{\tilde{f}_0'(J)}{\Omega(J)} C^l(J)^2~dJ \right], \end{split}$$ where we have used . Since $\gamma(J) < 0$, and since $C^n(J) \neq 0$ for some $J$ and $n\in \mathbb{Z} \setminus \{0\}$, we have $$\label{eq:ineq-up} \begin{split} \sum_{m\neq 0} \int_L C^m(J)^2 \gamma(J)~ dJ < 0 . \end{split}$$ It then follows, from along with and the positivity of $\beta$ which has been shown at the end of Sec. \[subsec:opt\], that the quadratic form is negative definite if and only if the inequality $$D_x(0) = 1 + 2\pi \sum_{l \neq 0} \int_L \frac{\tilde{f}_0'(J)}{\Omega(J)} C^l(J)^2~dJ > 0$$ is satisfied. We hence conclude that the inequality is a necessary and sufficient condition for formal stability. Once the criterion is obtained, we no longer have to seek an infinite number of Lagrangian multipliers to get the most refined formal stability criterion given in @AC10. The formal stability criterion is stronger than the condition that $\tilde{f}_0(J)$ is spectrally stable in the sense that the equality in is not allowed. We have shown that the stability of $f_0$ is determined by the sign of $\mathcal{I}[f_0] = D_x(0)$. Further the value of the positive $\mathcal{I}[f_0]$ is thought to express a strength of stability of $f_0$ since the zero-field isolated-susceptibility $\chi$ is derived as $$\label{eq:chi0} \chi = \frac{1-D_x(0)}{D_x(0)} = \frac{1-\mathcal{I}\left[f_0\right]}{\mathcal{I}\left[f_0 \right]},$$ with the linear response theory based on the Vlasov equation @SO12. Equation implies that stability of a stationary state $f_0$ becomes stronger as $\mathcal{I}[f_0]$ becomes larger, since $\mathcal{I}[f_0] = D_x(0) \leq 1$. The last inequality is derived as follows. As we mentioned in Sec. \[subsec:inhom-spec\], the function $D_x (i \omega_{\rm i})$ is strictly increasing and continuous with respect to $\omega_{\rm i} \geq 0$, and $D_x (i\omega_{\rm i}) \to 1$, as $\omega_{\rm i} \to \infty$. Observation of the criteria {#subsec:water-bag} --------------------------- Let us observe what kinds of stationary states are likely to be stable through the stability analysis for a family of the stationary water-bag distributions @BOY10, $$\label{eq:wb} \begin{split} f_{\rm wb}(q,p) &= \eta_0 \Theta\left(\mathcal{E}^\ast - \mathcal{E}(q,p) \right), \\ \mathcal{E}(q,p) &= \frac{p^2}{2} - M_0 \cos q, \end{split}$$ where $\Theta$ is the Heaviside step function. Though the water-bag distributions do not satisfy assumptions in Prop. \[prop2\], they make it possible to observe the stability visually. Let us put $k^\ast = \sqrt{(\mathcal{E}^\ast + M_0)/(2M_0)}$. For each fixed $M_0$, the two parameters $\eta_0$ and $\mathcal{E}^\ast$ are determined by the normalization condition $$\label{eq:n-wb} \begin{split} 1 &= \iint_\mu f_{\rm wb}(q,p) ~dqdp \\ &= \begin{cases} 16 \eta_0 \sqrt{M_0} \left(E(k^\ast)-(1-{k^\ast}^2) K(k^\ast) \right), \quad& k^\ast < 1,\\ 16 \eta_0 \sqrt{M_0} k^\ast E(1/k^\ast), & k^\ast > 1, \end{cases} \end{split}$$ and the self-consistent equation, $$\label{eq:sc-wb} \begin{split} M_0 &= \iint_{\mu} \cos q f_{\rm wb}(q,p) ~dqdp\\ &= \begin{cases} \displaystyle 1- \frac{2}{3} \frac{(2-{k^\ast}^2)E(k^\ast) - (2-2{k^\ast}^2) K(k^\ast)}{E(k^\ast) - (1-{k^\ast}^2)K(k^\ast)}, \, &k^\ast < 1,\\ \displaystyle \frac{2{k^\ast}^2-1}{3} - \frac{2{k^\ast}^2-2}{3} \frac{K(1/k^\ast)}{E(1/k^\ast)}, \, &k^\ast > 1. \end{cases} \end{split}$$ For the water-bag distribution , we are able to compute $\mathcal{I}\left[f_{\rm wb}\right]$ explicitly by using equations $$\label{eq:dp-de} \begin{split} \frac{1}{p} \frac{\partial f_{\rm wb}}{\partial p}(q,p) &= \frac{d \hat{f}_{\rm wb}}{d \mathcal{E}} \left(\mathcal{E}(q,p) \right) = -\eta_0 \delta\left(\mathcal{E}^\ast- \mathcal{E}(q,p)\right), \end{split}$$ and $$\label{eq:dk-de} \begin{split} \frac{d \bar{f}_0}{d k}(k) &= 4 M_0 k \frac{d \hat{f}_0}{d \mathcal{E}} \left(\mathcal{E}(k) \right) = -4 M_0 k \eta_0 \delta\left(\mathcal{E}^\ast- \mathcal{E}(k)\right), \end{split}$$ and by using Eq. . Then $\mathcal{I}\left[ f_{\rm wb}\right]$ is written as $$\label{eq:Iwb} \begin{split} \mathcal{I}\left[f_{\rm wb}\right] =& \begin{cases} \displaystyle 1 + \frac{\left(8{k^\ast}^2 -4\right) E(k^\ast) + \left(1-4{k^\ast}^2\right)K(k^\ast)} {12M_0\left[E(k^\ast) -\left(1-{k^\ast}^2\right)K(k^\ast)\right]} + \frac{\left(2E(k^\ast)-K(k^\ast)\right)^2} {4M_0K(k^\ast) \left[ E(k^\ast) - (1-{k^\ast}^2) K(k^\ast)\right]}, ~ &k^\ast < 1, \\ \displaystyle 1+ \frac{(8{k^\ast}^4-4{k^\ast}^2) E(1/k^\ast)-(8 {k^\ast}^4 - 8{k^\ast}^2 + 3)K(1/k^\ast)} {12 M_0 {k^\ast}^2 E(1/k^\ast)} + \frac{\left(2{k^\ast}^2 E(1/k^\ast) + (1-2{k^\ast}^2) K(1/k^\ast)\right)^2} {4 M_0 k^\ast K(1/k^\ast) E(1/k^\ast)} ,~& k^\ast > 1. \end{cases} \end{split}$$ Since $\mathcal{E}^\ast$ and $k^\ast$ is determined by $M_0$, then $\mathcal{I} \left[f_{\rm wb} \right]$ in can be looked on as a function of $M_0$ and it is plotted in Fig. \[fig-example\]. According to this graph, the water-bag $f_{\rm wb}$ is formally (resp. spectrally) stable when $M_0 > M_0^{\rm c} \simeq 0.369942$ (resp. when $M_0 \geq M_0^{\rm c}$). The critical value $M_0^{\rm c}\simeq 0.369942$ is obtained by solving the self-consistent equation and $\mathcal{I}\left[f_{\rm wb}\right] = 0$ simultaneously, and it is close to the estimation $M_0^{\rm c} \simeq 0.37$ in @BOY10. The water-bag distribution with large $M_0$ tends to be stable, and the stability of it tends to be strong, since $\mathcal{I}\left[f_{\rm wb}\right]$ is monotonically increasing with respect to $M_0$, when $M_0 > M_0^{\rm s} \simeq 0.33$. We illustrate it in Fig. \[fig-illust\]. The water-bag distributions illustrated in panels (a) or (b) are unstable, and one illustrated in panel (c) is stable. ![ Plot of $\mathcal{I}\left[f_{\rm wb}\right]$ as a function of $M_0$: $\mathcal{I}\left[f_{\rm wb} \right]>0$ for $M_0 > M_0^{\rm c}$. The critical value $M_0^{\rm c} \simeq 0.369942$. The edge of the water-bag $\mathcal{E}(q,p) = \mathcal{E}^\ast$ coincides with the separatrix when $M_0 = M_0^{\rm s} \simeq 0.33$. <span data-label="fig-example"></span>](fig-example-simple.eps "fig:"){width="8.5cm"}\ ![ Gray rectangles are $\mu$-spaces for each $M_0$. The curves in $\mu$-spaces are iso-$\mathcal{E}$ lines, and the broken curves are separatrices. On the dark gray region in each $\mu$-space, the water-bag distribution takes non-zero value, $\eta_0$. <span data-label="fig-illust"></span>](fig-illust.eps){width="8.0cm"} Comparison with the Canonical formal stability {#sec:example} ============================================== Let us compare the formal stability criterion , $\mathcal{I}[f_0] = D_x(0) >0$, with *the canonical formal stability* criterion given in @AC10. We start with a brief review of the canonical formal stability. The canonical formal stability ------------------------------ \[@AC10\] A solution $f_0$ to the variational equation is called canonically formally stable against any perturbation $\delta_{\rm e} f$ whose direction is parallel to the order parameter $\vec{M}_0 = (M_0, 0)^T$, if and only if the second order variation of the functional $\mathcal{F} = \mathcal{S}- \beta \mathcal{E} -\alpha \mathcal{N}$ at $f_0$, $\delta^2 \mathcal{F}[f_0]$, subject to the normalization condition is negative definite, i.e., $$\label{eq:second-var-c} \delta^2 \mathcal{F}[f_0] \left[\delta_{\rm e} f, \delta_{\rm e} f\right] < 0,$$ for all $\delta_{\rm e} f \neq 0$ satisfying $$\iint_\mu \delta_{\rm e} f (q,p)~ dq dp = 0.$$ In particular, for the HMF model, the spatially inhomogeneous solution $f_0(q,p)$ is canonically formally stable if and only if $$\label{eq:CFS} \begin{split} \mathcal{I}_{\rm C}[f_0] \equiv& 1 + \int_{-\pi}^{\pi} dq \cos^2 q \int_{-\infty}^{\infty} \frac{1}{p} \frac{\partial f_0}{\partial p}(q,p)~ dp \\ & - \frac{\displaystyle \left(\int_{-\pi}^{\pi} dq \cos q \int_{-\infty}^{\infty} \frac{1}{p} \frac{\partial f_0}{\partial p}(q,p)~ dp \right)^2} {\displaystyle \int_{-\pi}^{\pi} dq \int_{-\infty}^{\infty} \frac{1}{p} \frac{\partial f_0}{\partial p}(q,p)~ dp} > 0. \end{split}$$ Satisfying the inequality is sufficient but not necessary for the formal stability. We will show the existence of stationary solutions $f_0$ which are not canonically formally stable, but formally stable in the most refined sense. Example: Family of distributions having metastable states --------------------------------------------------------- In this subsection, we prove the following proposition: \[prop5\] Let $D$ be a subset of $\mathbb{R}^n$. Assume that a family of smooth stationary solutions $ \mathcal{X} = \{f_0(q, p; M_0, \lambda)~|~\lambda\in D \}$, which are parametrized with the order parameter $M_0 = M_x[f_0]$ and a set of macroscopic quantities $\lambda=(\lambda_1, \lambda_2, \cdots, \lambda_n) \in D$, such that there exists $f_0^{\rm b}(q,p) = f_0(q, p; M_0^{\rm b}, \lambda^{\rm b}) \in \mathcal{X}$ satisfying $\mathcal{I}\left[f_0^{\rm b}\right]= 0$ and $M\left[f_0^{\rm b}\right] > 0$. Moreover, assume that both $\mathcal{I}[f_0](M_0, \lambda)$ and $\mathcal{I}_{\rm C}[f_0](M_0, \lambda)$ depend on $M_0$ and $\lambda$ continuously. Then, there are stationary solutions $f_0 \in \mathcal{X}$ which do not satisfy the canonical formal stability criterion, $\mathcal{I}_{\rm C}[f_0](M_0, \lambda)> 0$ , but do satisfy the formal stability criterion, $\mathcal{I}[f_0](M_0, \lambda) =D_x(0) > 0$ . If the system has a first order phase transition and a two-phase coexistence region in a parameter space $(M_0, \lambda)$, then we can take a family $\mathcal{X}$ of stationary solutions satisfying assumptions in Prop. \[prop5\]. An example of such a family $\mathcal{X}$ is known
{'source': 'arXiv_out/1301'}