Wave Solutions of the Vlasov-Poisson Equation and Evolution of Cosmological Structures ()
1. Introduction
The emergence and evolution of large-scale low-dimensional structures (such as the long-known void walls and filaments in Laniakea-type superclusters, as well as recently discovered megascale arc objects) are the subject of close study not only from the point of view of observers recording the time spectrum of their states (in the Earth’s reference frame), but also represents an extremely effective testing ground for testing the modeling of various variants of inhomogeneous modifications of the Friedmann concept of the expansion of the Universe. It is obvious that at present it is impossible to state with complete certainty that we know for sure all the mechanisms of formation and realization of a high degree of coherence of the majority of large-scale structures. In addition to the approach that studies the formation of caustic features in the macromotions of matter at the early stages after de Sitter inflation, mechanisms characteristic of later times are currently being studied, such as, for example, self-assembly due to fluctuations in a preferred direction in a system of gravitating particles, or the formation of a large structure as a local (possibly multiply connected) topological object possessing the property of a “state of relative equilibrium” with extrema of certain (entropy, free energy) thermodynamic potentials; both approaches turn out to be internally deeply connected, although separated by the scale of scales.
Plasma theory has a well-developed and effective mathematical apparatus for analyzing wave motions of various types, suitable for adaptation for gravitational systems. Using it together with the methods of the theory of kinetic equations with a self-consistent field allows us to identify not entirely obvious properties of the solutions of these equations (such as collisionless attenuation), which can help us discover new physical phenomena or explain the nature of obscure observable phenomena.
The above-mentioned formalism has been successfully applied in astrophysics before, although in a rather limited set of problems. Here, among others, we should mention the works of D. Lynden-Bell [1] [2] (they considered the method of applying Landau damping for small perturbations of equilibrium in spherical star clusters and drew an analogy with the Bernstein-Greene-Kruskal waves in plasma theory), P. Vandervoort [3] (for the problem of stationary oscillations of galaxies, the van Kampen wave method in “action-angle” coordinates was proposed and implemented, and the possibility of applying the theory of BGK waves in the model approximation to the study of the properties of the mentioned problem was investigated), V.L. and E.V. Polyachenko [4] [5] (stability of many astrophysical problems in various geometries was studied; it turns out that in the unstable regime, the Landau-damped waves can be represented as a superposition of van Kampen modes plus a discrete damped mode in dynamically stable spherical stellar systems), W.C. Saslaw [6] (the main approaches to modeling clusters of astrophysical objects of various scales were analyzed, including the use of the kinetic approach taking into account collisionless damping of oscillations of limited amplitude), P.L. Palmer [7] (a theory of stability of star clusters and galaxies was constructed based on the theory of eigenfunctions of the perturbed part of the gravitational potential operator, which is equivalent to taking into account Landau damping); specially, it is necessary to highlight the works [8] [9], where the authors directly point to the possibility of using van Kampen wave methods for large-scale movements of clusters and galaxies.
In this paper, an attempt is made to describe large-scale structures using non-dissipation solutions of the Vlasov–Poisson equations of the van Kampen wave type. The periodicity of the waves should be violated when taking into account the repulsive forces due to the inclusion of a cosmological term in the considerations, since in this case our system is locally close to weakly inhomogeneous (for a long-range order—significantly inhomogeneous), which is associated with the inclusion in the analysis of the behavior of a many-particle megasystem of the influence of the cosmological term, which is included in the modified Poisson equation as a source of antigravity [10]. The possibility of introducing Bernstein-Greene-Kruskal waves as structural units of cosmological systems as an alternative to van Kampen waves is considered. For substantially inhomogeneous systems, the possibility of a smooth transition from the integral accounting of the field of gravitational disturbances to the normal mode method is substantiated.
The structure of the article is as follows: in paragraph 2, the system of Vlasov–Poisson equations for gravitationally interacting particles (with taking into account the action of the cosmological term), and also makes a basic assumption (“energy substitution”) about the form of the potential, corresponding to the basic unperturbed distribution function, which is a solution to the Vlasov equation; paragraph 3 establishes the possibility liearization of the Vlasov–Poisson system in a self-gravitating system of particles and the construction of an explicit form of normal modes is carried out for a kinetic equation taking the form of an integral Fredholm equation of the third kind; paragraph 4 discusses the methodology the second type of solution (Bernstein) of the linearized Vlasov equation, obtained by energy substitution, as well as the possibility of generalizing the formalism of van Kampen normal modes to the weakly inhomogeneous case of particle density was demonstrated; paragraph 5 is a conclusion that describes the main results of the work.
2. Linearization of Vlasov-Poisson Equations with Cosmological Term
We will consider the set of
cosmological objects (“particles” with masses
), interacting with each other gravitationally. The system of Vlasov–Poisson equations for describing its dynamics may be represented as
(1)
(2)
where
is the distribution function of gravitationally interacting particles,
is a normalization factor for particle density,
is the gravitational constant. The system of particles is situated in large domain of configurational space
(
). The nonlinear Poisson Equation (2) takes the form of an inhomogeneous Liouville-Gelfand equation [11] with local temperature [12].
The third term on the right hand side of the kinetic Equation (1) may be represented as
(3)
(4)
where:
(Newtonian interaction kernel),
is an operator term that takes into account the influence of the boundary conditions (we will take into account the influence of this term by setting the appropriate boundary conditions). Classical Newtonian potential
increases monotonically on the interval
(
), while the generalized (including a cosmological term) Newton interparticle gravity potential
, increases on the interval
and decreases on the interval
, where
.
We’ll consider the nonstationary case of dynamics:
. For a non-stationary system of equations for the evolution of a cosmological system of particles in the self-consistent approximation (1)-(2), the main role is played by the formulation of the initial problem for the Vlasov equation; in this case, the complete problem for the kinetic equation with a self-consistent gravitational field becomes mixed. In this case, direct derivation of solutions and their study by analytical methods are difficult. In the present work, we restrict ourselves to studying the properties of solutions of the linearized version of the Vlasov–Poisson system for gravity (including both gravity and antigravity for particles cosmological system). We will rely, in particular, on the results of the works [13] [14], in which the validity of using the “energy substitution” in the Vlasov-Poisson equation for systems of particles with a periodic density distribution was established.
The linearization of the Vlasov equation is quite non-trivial, since its result depends significantly on the type of gravitational field (and this type, due to the self-consistency of the problem, depends on the distribution function of particles in the system). From a physical point of view, it is natural to single out a stationary homogeneous solution when the distribution function does not depend on the coordinates
or, in a more general case,
,
,
).
For a certain class of (much broader) problems, it becomes necessary to consider a more general type of linearization—near the equilibrium Maxwell–Boltzmann solution of the stationary Vlasov–Poisson system in the form
, including the (2-particle) potential of this introduced force:
(for a fixed instant of the current time); the dual solution of the Poisson equation
and the gravitational field strength are expressed through solutions of the Volterra equations of the second kind (and therefore classical dispersion relations for the Vlasov equations cannot be obtained).
Equation (2) for gravitational potential can be written as
(5)
The last equation can be rewritten in the form
(6)
Solutions of the equation
(
) in the 3-dimensional case are radially symmetric (
in the accordance with the Gi-Nidas-Nirenberg theorem [11]) and are unstable with respect to the pre-exponential parameter: their existence and number depend on the value of the parameter
. According to [15], the solution of the standard Dirichlet problem for it has a structure that can be described as follows. Let
(if the boundary value problem is considered on the reduced interval
); then there exists
such that: 1) for
, there is a unique solution (
); 2) for
, there are no solutions; 3) for
, there is a countable infinity of solutions (
,
,
); 4) for
, there is a finite number of solutions (
,
,
). Since it is possible to uniquely (for fixed parameters
) compare the values of the function
with the values of the parameter
, it can be stated that with an increase in the modulus of the radius vector
, three regions of solutions to the Equation (6) arise: the region of uniqueness of solutions
, the region of multivalued solutions
, the region of absence of solutions
.
Let us consider the linearization of the Equation (5) in the neighborhood of the solution
analytic solution with which
) can be associated by representing the solution (5) as
(
by the chosen norm, and, correspondingly,
). We obtain the linear Poisson equation
(7)
Obviously, in the neighborhood of m.
the last equation is simplified, since the gravitational field of a point with equivalent total mass and cosmological repulsion allow us to set
; thus, the equation for the potential perturbation in the above neighborhood
takes the form (
):
(8)
The linearization of the Vlasov equation itself is performed (in the simplest case under consideration) in the neighborhood of the equilibrium function
or, in a more general case,
with several maxima, which is realized, for example, in the case of codirectional particle beams (for a more general linearization we have:
(9)
where the perturbation
is related to the Poisson Equation (7) with an exponential dependence of the parameter on the spatial variable). Eliminating quadratic by
terms gives us
(10)
Note that further construction of solutions to the system of Vlasov-Poisson equations will be carried out near the equilibrium
(the formalism proposed by the author does not reveal any significant difference with “multi-peak” distributions that depend only on speed; Apparently, nontrivial conclusions for multibeam systems in a self-gravitating medium will be associated with local the emergence of Landau damping, but this issue is beyond the scope of this work). Weakly inhomogeneous distribution
will be discussed in paragraph 4.
Next, we will consider the methodology for studying the linear system of Vlasov-Poisson equations using the “normal modes” and the use of the transition to the space of distributions, which will allow us to study analogs of the attenuation of Landau waves and longitudinal van Kampen density waves for a system of gravitating particles.
3. Linearized Vlasov Equation and Van Kampen Modes and
Wave Motion for a Self-Consistent Gravitational Potential
Let us consider the invariant properties (independent of solutions) of the linearized Vlasov-Poisson system of Equations (8)-(9), first for the case of the gravitational field strength corresponding to a local neighborhood of the extremum of the self-consistent potential, taking into account the action of the cosmological term:
(11)
We represent
via the van Kampen ansatz or “normal modes” [16]-[18]:
(plane waves are eigenfunctions of the Laplacian from the left-hand side of the Poisson Equation (8)). We will be interested in solutions–perturbations of the system of Equations (8)-(9) in the form of longitudinal waves, therefore we choose in the velocity space axes parallel (
) and perpendicular (
) to the wave vector
; then the longitudinal component of the velocity is
(where
), the transverse component, respectively:
. In this case, we can introduce distribution functions that depend only on one component of the velocity:
.
Let us rewrite the Equation (9) for these modes, freeing ourselves from the transverse velocity components (and discarding the tilde sign over
):
(12)
We divide both sides of the last equation by
and integrate with respect to the variable
. The integral
(an unimportant constant) cancels out, and we obtain a dispersion relation that is invariant with respect to the form of the solution of the kinetic equation:
(13)
If we do not consider the longitudinal velocity as distinguished, then the general form of the dispersion law has the form:
(normal modes will correspond to the case
).
We will be interested in the possibility of obtaining a solution of the Vlasov–Poisson equations that is stable in time and associated with the simplest cosmological structures (low dimensionality). It can be obtained using normal modes in the form
(14)
where
is some (admissible) function (which corresponds to certain Cauchy data for the kinetic equation for the perturbation
). If the initial condition is represented as
, then, obviously, equation (14) is reduced to the form
, and the variable
here acquires the meaning of a parameter.
For what follows, we return to Equation (12) and consider a non-obvious consequence of taking the integral of
over the transverse velocities and dividing both parts by
. The result here must take into account the possibility of the equation solutions going into the space of generalized functions: as is known, for the functional equation
(defined on the interval
of the real axis) and the point
, the solution must be interpreted as a distribution. This distribution can be written in the following form:
(where the Cauchy principal value in the form of a distribution is defined by the relation
), and
is “the strength of the concentration” of the Dirac function at the point
determined from additional conditions imposed on the generalized function
.
Thus, Equation (12), rewritten as
(15)
after dividing both sides of Equation (15) by
should be written in the sense of distributions:
(16)
in this case, from the normalization condition in (15), the intensity value
is determined by the condition of its agreement with the formula (16):
.
Let’s substitute into the equation
the value
from (16):
(17)
(
is still a parameter). Here is the Hilbert transform, which is related to the Fourier transform of the function
:
, where
,
(symbols
are used to denote the functions
and their decompositions).
The last equation can be rewritten as follows:
(18)
The terms on the left-hand side are analytic and have no singularities in the upper (
) and lower (
) parts of the complex
–plane (
), respectively, and also asymptotically tend to zero in their half-plane. The decomposition of
into two functions with such properties is unique, and therefore
. Therefore, if there is a solution (17), then it must coincide with
,
(the condition for this is
, which is true, in particular, for the Maxwellian distribution). Considering on the half-plane
a holomorphic and asymptotically close to unity function
, we can extend it to the half-plane
:
. Now we can write out the final form of the solution of the initial value problem with the general solution (14):
(19)
For the initial function of the form
(
) the density of particles in the disturbance wave is:
In this case, since
is defined through negative frequencies, and
is holomorphic in the lower half-plane and is bounded by unity at infinity, then the integral of
tends to zero as
. Therefore, .
Assuming that
can be continued analytically into the strip
, and there exists a quantity
(
,
), we can shift the integration path
on the left-hand side of the expression for
parallel to the real axis down, below the point
:
,
. The contribution to the integral from this pole can be obtained by the residue theorem:
. Since
, the described density wave will be damped with a real damping coefficient
(
—the wave decay time), that is, in the lower region of the complex plane, Landau damping [19] [20] is observed. To determine
and
, we use the expansion of the function
in the neighborhood of the point
:
. Thus, isolating the real part of the equation (
), we determine the condition on the phase velocity
:
; isolating the condition on the imaginary part, we obtain:
.
Thus, we obtain a complete description for the density waves of self-gravitating particles moving in one direction—provided that the potential perturbations in the neighborhood of its macroextremum point (for the equilibrium function
, coinciding with or being a direct generalization of the Maxwellian) obey the linearized Poisson equation. Van Kampen waves admit a more general form of the ansatz, when normal modes have a more universal form than plane waves; we will demonstrate its application to the system of gravitating particles under consideration (this is essential for the 2-dimensional geometry of a system with rotation).
Consider the “conjugate” problem to (15) in the following form:
(20)
where normal modes are introduced by the relation
. If the real eigenvalues
are not zeros of the function
, then the eigenfunctions corresponding to them take the form
; further, we should consider the cases when: 1)
are zeros of the function
, but not
; 2)
are the zeros of the functions
and
; 3)
are the complex zeros of
. Finally, we obtain
The amplitude of the modes is obtained as the sum over the discrete and continuous spectra of the singularities of the functions
and
.
Thus, van Kampen waves in the linear approximation for the Poisson equation, with initial conditions that depend only on the particle velocities, can serve as a basis for the quasi-local approximation near the extremum point of the self-consistent potential. In the formulation of the problem of the evolution of cosmological structures, such an approach is applicable for the initial stages of the process of their formation, when the gravitational interaction does not yet have a significant effect on the topological properties of the selected system of particles. It seems interesting to estimate the change the sizes of protostructures during the transition to the phase of gravitational interaction dominance from the point of view of the absence of solutions to Equation (6), since this would lead to the protostructures to a quasi-Jeans type decay (caused by the presence of an additional term, including the cosmological term, in the Liouville-Gelfand equation).
4. Van Kampen Waves in the Case of Non-Uniform Structure of the Initial Field and Its strength. Solutions of the Vlasov Equation of the Bernstein Wave Type
In addition to van Kampen waves, the Vlasov-Poisson system of equations has wave solutions of a very general type, which can also be associated with cosmological structures. We are talking about one-dimensional Bernstein-Green-Kruskal (BGK) waves [21] [22]. For the simplest 1-dimensional case, the Vlasov equation in coordinates
(
is the energy of a particle in a gravitational field):
(21)
(the second term on the right-hand side corresponds to the repulsive potential, as before). At equilibrium
,
; if we set
,
, then the linearized Vlasov equation takes the form:
(22)
(the repulsive potential is absent in the equation for perturbations, since its effect is present in the basic macropotential
). We will seek a solution to the equation in the form
:
(23)
where
. If we exclude
from the last two equations, we obtain an equation of the form
(24)
If
, then the last equation coincides with the eigenvalue equations obtained in the van Kampen method. Therefore, following the previously considered method, we select the (“normal”) mode with a fixed wave number
and the corresponding frequency
(they are related via the dispersion relation (24)):
(25)
This equation can be solved by expanding in powers of the parameter
:
, where
. Putting
, we obtain in the zeroth approximation two types of eigenmodes, discrete and continuous:
(the criterion for discreteness of the quantities
are the conditions
, or the condition
. If
, the functions
should be considered in the class of distributions, since
(in this case
indicates the asymptotic stability of the complete solution). In a similar way, one can obtain
.
The main result after constructing the appropriate number of terms in the series for
is the establishment of the density function of the solution of the BGK equations [23] [24]. This expression can be used for comparative calculations of the macroparameters of cosmological objects.
As can be seen from the form of the Equation (24), the initial condition is also taken in the form of a (generalized) Maxwell function, and the methodology of further research makes significant use of this. To what extent is it legitimate in general to use
in the role of the Cauchy conditions for the Vlasov equation for cosmological systems (for the linearized case—accordingly,
)? In accordance with the structure of the Equation (10), the formal substitution of normal modes (of the form
, in the simplest case
) into this equation at
will lead to the appearance of a bilinear dependence on the spatial and temporal variables, which indicates a non-local form of interaction of carrier waves, which should be described by an integral relation, which excludes the presence of a local differential dispersion formula. Apparently, the most direct way to study the properties of the linear Vlasov equation for an inhomogeneous field and initial conditions lies through finding the explicit form of the force interaction term (for
).
In this case, there are obviously problems when substituting into the equation decomposition solutions of a priori form with independent modulation by coordinates of the extended phase space. Following [20], we assume that the characteristics of the linear (complete) Vlasov equation coincide with the phase trajectories of the dynamic Hamiltonian system
,
, since one should consider the additional term
on the left-hand side of Equation (11) (the spatial changes in the potential of the “main” gravitational field of the system are taken into account);
satisfies Equation (5) (or (6), if after obtaining the solution we pass from the dependent variable
to
). The solution of this dynamic system with initial conditions
,
is as follows:
,
(
). The first integral of the dynamic system:
(which corresponds to the conservation of energy along the trajectories of the Vlasov equation in the spatially inhomogeneous case, and this is why the term
was introduced). For the function
, through the shift along the trajectories from the initial point, we have the Volterra equation of the
nd kind:
(26)
and, after substituting this expression into the Poisson equation
, we have an explicit form for the force term (
when linearized):
(27)
where we use notation
. In accordance with the definition in formula (6 of the potential value
we obtain for the motion in a non-uniform field of a system of gravitating particles the influence of two integrand factors at once:
. This is due to the fact that both
and
contain the full Liouville-Gel’fand potential. This significantly complicates the consideration of the question of the uniqueness of the solution, since the values of the potential
in these factors may lie in different regions
from item 2 (apparently, in order to establish the uniqueness of the solution, the behavior of the function
should be considered). In addition, the question arises of the physical manifestation of the multivaluedness of solutions to the Vlasov–Poisson equation in the region
: since the norms of the solutions
with the same pre-exponential factor differ by finite values, the standard definition of bifurcation of solutions is inapplicable, and smooth solutions of the Vlasov equation corresponding to the minimal norm of the solution must collapse; however, “destruction of the solution” can be expressed in an increase in its norm (for example, due to an increase in the density of particles), which can be a time-dependent process. Consequently, in addition to the wave form of motion, in the simplest case considered in p. 3 using the example of van Kampen waves, there may be processes of local “thickening” over time in a certain region of space (antinodes of a longitudinal wave, in particular) of matter, associated with the transition in the region of multivalued solutions of the Liouville-Gelfand equation to a new norm of its solution.
We point out that the left-hand side of the Vlasov-Poisson equation with an additional term
as
tends can be assumed to be extremely close to the “classical” left-hand side of the linearized Equation (11), however, the right-hand side of the kinetic equation, containing the second term of the right-hand side of the Volterra Equation (26), will retain an unchanged form (
), and this part depends only slightly on the function
. Consequently, we can formally consider the representation of the solution in the form of a normal mode of the above-considered “ansatz” type, divide both parts by
(taking into account the occurrence of the term in the form of a distribution), and repeat all the operations of p. 3. In this regard, van Kampen waves can also be used for the spatially–(weakly)inhomogeneous case. Let us demonstrate this by turning to the one-dimensional case (corresponding to the previously considered longitudinal waves) for the sake of clarity of the calculations. We integrate both parts (27) over the interval
, rearrange the order of integration and make a change of variables
,
in the second term of the right-hand side. Since
,
, this term will take the form of a flow through the surface:
. The boundary
is the image of the line
on the plane
with a shift in time
along the phase trajectories of the dynamic system of the system
,
(in our case, a small value). We will assume that the boundary
is analytically defined by the relation
(
). Then the second term under study will take the form
. Therefore, the right-hand side of (27) has the form:
(28)
(the tilde sign over the variable
is omitted below). If we substitute into the Vlasov equation with this right-hand side (and formal annulment or replacement of the quantity
by an approximating term) the normal mode of the van Kampen type
, then the left-hand side will take the form
, and the right-hand side:
. It should be noted that this operation was allowed to us by the special structure of the Vlasov equation, since the gravitational field strength here is a function closed on itself (a solution to the integral equation). Dividing both parts of the resulting equation by
leads to the need to take into account an additional term, considered as a distribution (exit to the space of generalized functions):
where
—normalization function (
).
The solution of the initial value problem
can be represented as an expansion in special solutions
:
; accordingly, the Cauchy condition
. To determine the coefficients of
, we obtain a singular integral equation:
His solution looks like:
Thus, we have obtained a method for applying van Kampen waves to a formally weakly inhomogeneous system of particles (the gravitational field strength of the complete system changes slowly). Some explanations are required here, which are related to the presence of a cosmological term in the Liouville-Gel’fand equation. The function
is defined through the relation (28) and contains the factor
. Recall that in the second term on the right-hand side (28) there is a “general potential”
, which is a solution to the nonlinear Poisson Equation (5), in which the influence of antigravity is taken into account (the term with the cosmological term):
. Further, the quantity
is defined as
, where, in turn, the pre-exponential factor
, i.e. it also depends significantly on the cosmological term. Thus, the influence of the Λ–term on the dynamics of particles in the system under consideration is critical, and is the most important factor that requires modification of standard approaches such as van Kampen waves and Landau damping (as a consequence of the expansion of Landau modes in van Kampen waves).
5. Conclusion
The application of plasma theory concepts, including Landau damping, van Kampen and Case waves, and the normal mode method, to describe phenomena and processes in astrophysical conditions are of considerable interest both in terms of searching for manifestations of known physical aspects of plasma oscillations, resonances, and nonlinear interactions of waves by observation, and for identifying new patterns in known experimental material—the interpretation of observations may well be not entirely legitimate, obscured by statistical noise. Therefore, the development and application of approaches in cosmology for which a powerful mathematical apparatus has already been developed has enormous practical meaning. In this paper, a method for applying wave processes in plasma associated with invariant properties of the linearized Vlasov-Poisson equation is proposed and implemented. It is established that for gravitational interaction, including antigravity (due to the inclusion of the cosmological term in the considerations), the structures arising in the process of wave motion have very nontrivial dynamic properties associated with solutions of the Liouville-Gelfand equation. Motion in a quasi-homogeneous gravitational field is very similar in terms of description methods to an electromagnetic field in plasma, however, when taking into account the inhomogeneity of the initial field and small gravitational perturbations, the situation changes fundamentally. Direct analogues of van Kampen waves can be constructed only locally, in the case of an extremum of global interaction in a system of separated masses (this is due to the fact that in the vicinity of the extremum of the global field the potential is close to a constant value, which means the absence of external and self-consistent forces; due to this, the distribution function should be Maxellian equilibrium, which strictly corresponds the applicability limit of the unmodified normal mode method).