Mixed diffusive-convective relaxation of a broad beam of energetic particles in cold plasma

We revisit the applications of quasi-linear theory as a paradigmatic model for weak plasma turbulence and the associated bump-on-tail problem. The work, presented here, is built around the idea that large-amplitude or strongly shaped beams do not relax through diffusion only and that there exists an intermediate time scale where the relaxations are convective (ballistic-like). We cast this novel idea in the rigorous form of a self-consistent nonlinear dynamical model, which generalizes the classic equations of the quasi-linear theory to"broad"beams with internal structure. We also present numerical simulation results of the relaxation of a broad beam of energetic particles in cold plasma. These generally demonstrate the mixed diffusive-convective features of supra-thermal particle transport; and essentially depend on nonlinear wave-particle interactions and phase-space structures. Taking into account modes of the stable linear spectrum is crucial for the self-consistent evolution of the distribution function and the fluctuation intensity spectrum.


Introduction
The relaxation of supra-thermal particle beams in plasmas is a problem of fundamental significance. Dating back to the 1960s, it provides a paradigm for the quasi-linear theory of weak plasma turbulence [1,2], which finds applications in a wide field ranging from astrophysics and cosmical geo-physics [3,4] to fusion plasma [4,5]. Its original important promotion is due to Bernstein, Greene and Kruskal (BGK), whose seminal work in Ref. [6] has come to be known as the classic "bump-on-tail" (BoT) problem. Specific implications concern Landau damping [7,8] and nonlinear behavior of the beam-plasma instability driven by wave-particle interactions [5,9,10] (see also [11][12][13][14][15][16]). The "perturbation theory of strong plasma turbulence", originally proposed by Dupree [17] and illuminating resonance broadening by fluctuation induced stochastic particle motion also ought to be mentioned for its importance and crucial implications in plasma research.
The fluctuation spectrum of AEs, EP driven modes and drift Alfvén waves in fusion plasmas covers disparate spatiotemporal scales and can have both "broad" features, such as those of typical plasma turbulence, as well as an almost "coherent" ("narrow") nearly periodic component [24,33]. A line-broadened quasi-linear approach has been proposed in Refs. [36,37] for computing EP transport by means of a diffusion equation, which could address not only overlapping resonant Alfvénic fluctuations but also the broadening of the resonant spectrum for isolated instabilities in the case of multiple AEs. This model has been extended and compared with experimental observations [38] and with numerical solutions of the BoT paradigm [39]. In general, however, understanding the complex features of EP transport in fusion plasmas requires going beyond the local description of fluctuation induced fluxes and extending the diffusive transport paradigm [24,33]. Accounting for modes of the linear stable spectrum is also crucial [40,41]. Thus, posing these issues for the BoT problem becomes an interesting and relevant research topic, in the light of its possible implications as paradigm for Alfvénic fluctuation-induced supra-thermal particle transport in fusion plasmas near marginal stability. In particular, a relevant question to pose is assessing the changing behavior of EP transport when properties of the fluctuation spectrum are modified from "narrow" (nearly periodic or coherent) to "broad" (turbulent). This is the main focus of the present work. Non-diffusive processes could also be of interest in various other areas of research. For example in the energy extraction from plasmas (see, e.g., [42,43] and references therein for a recent discussion of the energy extraction problem); and in the light power absorption by plasmas [44,45], where meso-scale convective (coherent) phenomena may generate relevant effects.
The issues addressed in the present work clearly have common aspects with important and well-known results of the vast BoT literature. More precisely, we deal with resonant wave-coupling mediated by resonant particles, which is summarized and explained in the review work by Laval and Pesme [46]. For sufficiently strong nonlinearity, such that resonance broadening dominates over the linear growth rate, renormalization of the propagator yields to wave-coupling terms that are of the same order of quasi-linear diffusion and must be taken into account, as explained by the turbulent trapping model (TTM) [47]. In general, phase-space structures and, thereby, nonlinear wave-particle interactions are known to be important, e.g., in enhancing velocity space diffusion due to longitudinal plasma turbulence [48][49][50]. Most of existing literature deals with "broad" turbulent fluctuation spectra. In this work, meanwhile, we address the role of nonlinearity in supra-thermal particle transport by a fluctuation spectrum that is not necessarily "broad". We revisit the implications of the classic BoT problem and demonstrate the occurrence of relaxation dynamics of the convective type on intermediate (meso-) time scales (other than the familiar asymptotic velocity-space diffusion and the formation of the plateau [1,2,5]). Our results elucidate the crucial role played by the wave-particle nonlinear interaction in determining transport in phase space both on meso-and asymptotic time scales.
The paper is organized as follows. First, we touch on the classic BoT problem in brief (Sec. 2), with a particular attention to the causes and origins of stochastic behavior of the resonant particles. In Sec. 3, we formulate a mixed convection-diffusion model of velocity space transport, which extends the familiar quasi-linear diffusion to relaxation processes in the presence of many overlapping resonances. We discuss similarities and differences of our approach with the well-established theoretical framework of the classic BoT problem, including its aforementioned subtleties connected with a sufficiently strong nonlinearity. Mathematically, the model in Sec. 3 relies on the formalism of the Klein-Kramers equation with force-field (if external or effective self-organized) and incorporates the various exclusions from pure diffusive style models. Numerical simulation results are collected in Sec. 4, where one also finds a Hamiltonian formulation of the BoT problem based on Ref. [51]. There, four different cases are presented and discussed, changing the strength of the nonlinearity parameter and the width of the fluctuation spectrum. It is shown numerically that convective relaxation takes place on meso-scales for strong nonlinearity and a sufficiently broad spectrum, in contrast to the narrow spectrum case, dominated by coherent structures. Convective relaxation is also found to occur for small nonlinearity parameter as a result of a self-consistent evolution of the fluctuation spectrum on the same time scales of particle transport. We support these findings with a simplified theory model. Finally, Sec. 5 is devoted to summary and conclusions.

The classic "bump-on-tail" problem and the Brownian random-walk paradigm
We will assume that the reader is familiar with the classic BoT problem [6] of a distribution function that excites electrostatic waves. The basic insight is that the velocity space gradient drives (damps) the instabilities via the Cherenkov resonance v = v res = ω k j /k j with the plasma species (customarily associated with the energetic electrons). Here v is the particle velocity and ω k j and k j are respectively the frequency and the wave-vector of the resonant mode. Instability occurs when the gradient is positive (∂ f /∂v > 0) and is damped when it is negative (∂ f /∂v < 0). The latter phenomenon is known as the Landau damping and in many ways is the inversion of the BoT problem (by "velocity distribution" we mean the probability density, f = f (v, t), of finding a particle at time t with a velocity value between v and v + dv regardless of its position in real space).
In the quasi-linear theory [1,2,5] of weak plasma turbulence, one assumes that the electron distribution function contains a small "bump" in the parameter range of large energies (much larger than the characteristic thermal energy) and that the dispersion of the electron velocities is also large compared with the thermal velocity. The bump being small implies that the level of the excited electrostatic noises is so low that the different unstable modes do not interact, hence one neglects any nonlinearities in the wave-field. Then the only nonlinearity one indeed takes into account is the feedback effect of the waves onto the averaged velocity distribution function (hence the name of this theory: quasi-linear). The linear instability growth rate, which is frequency and wave-vector dependent, is given by where ω p is the unperturbed Langmuir frequency (i.e., ω p ≡ 4πn p e 2 /m e , with n p the thermal plasma density; and m e and e denoting the mass and charge of electrons, respectively) and the gradient in the velocity space is taken at the Cherenkov resonance exactly. The large velocity dispersion within the bump is at the basis of another important assumption of the quasi-linear theory, namely, that the number of the excited modes is so large that their phases are represented by the random functions. Then the kicks received by the plasma particles via the resonant interactions with the waves will be also random in the limit t → ∞ (here t is the time). It is generally believed that this quasi-linear effect of the many excited waves onto the plasma is contained in a Brownian random walk of the energetic particles toward the thermal core and the formation of a characteristic "plateau" (∂ f /∂v = 0) in the equilibrium velocity distribution function [1,2].
The conclusion that the transport in the velocity space is diffusive or Brownian random walk-like is however not at all trivial and should be addressed. It occurs as a consequence of the idea that the resonant particles are not caught by one single resonance on time scales longer than a certain characteristic time (thought as the typical bouncing time in the potential well of the wave). Instead these particles will hop in a random fashion between the many overlapping resonances, hence their motion is statistical, rather than deterministic. This statistical approach to the particle random motion in the velocity space is well documented in books and reviews (e.g. Ref. [3,4] and [52,53] due to the Novosibirsk school of nonlinear science).
Consider the exact equations of motion of a charged particle in the potential electric field of a wave packetẍ whereẋ = v is the particle velocity, and E k j is the Fourier amplitude of a mode with wave-vector k j . The electric field is assumed to be "small" in the sense of quasi-linear theory; and here it is represented as the sum of a large number of Fourier harmonics with frequencies ω k j and wave-vectors k j . Hence, it is shown, following Zaslavsky [3], that barely trapped particles − those staying close to separatrices in phase space (x,ẋ) − may occasionally become detrapped by jumping onto an open trajectory. These phenomena of occasional trapping-detrapping occur because the integrals of the motion are essentially destroyed by the perturbation E(x, t) within a small layer surrounding the separatrix (known as the ergodic layer) [3,4]. For not too small perturbations, the width of the ergodic layer with respect to frequency is of the order of The diffusion behavior occurs, when the width ∆ω k j exceeds by a large margin the distance between the resonances δω k j (for a statistically significant number of k's), implying that the resonances strongly overlap within a certain interval of wave-vectors k j . This is usually quantified by saying that the Chirikov parameter is large [54], i.e., One sees that the Chirikov parameter S ∝ |E k j | being much larger than 1 implies that the level of the excited electrostatic waves in turn cannot be as small as one likes. It might not be taken for granted that this level just lies within the assumptions of the quasi-linear theory discussed above, even though we know by experience that the conflict does not normally occur in the classic BoT setting.

Revising the classic "bump-on-tail" problem: Diffusion-convection model
We are now in position to revisit the implication of velocity space diffusion as a paradigmatic model of the beam relaxation in cold plasma. The main idea here is that large-amplitude or strongly shaped beams do not relax through diffusion only and that there exists an intermediate time scale where the relaxations are "convective" (ballistic-like). We cast this idea in the form of a self-consistent nonlinear dynamical model, i.e., mixed diffusion-convection model, which aims at generalizing the classic equations of the quasi-linear theory to "broad" (warm) beams with internal structure.
We shall assume for simplicity, without loss of generality, that the density of the beam particles is small compared with the density of the background plasma and we neglect, accordingly, the possible perturbations to quasi-neutrality (and the associated ambipolar electric field) due to the beam injection.
Next, we consider a "broad" beam as composed of a large number of overlapping single cold beams, each having a characteristic nonlinear width ∆v NL , and the spacing between the beams represented by ∆v SEP . The value of ∆v NL is determined by the kinematics of nonlinear resonance broadening in the coupled system of electrostatic waves and beam-plasma particles (e.g., Refs. [4,55]). The behavior crucially depends upon the value of the nonlinearity parameter Here, ∆v NL can be estimated as ∆v NL ∼ (∆ω 2 k /k)τ s , with τ s = 1/(k∆v) the "autocorrelation time", that is the time for particles to be scattered by randomization with respect to wave phases. Note that the nonlinearity parameters in Eqs. (4) and (5) are connected as K ≃ S/Q ≡ S 2 /∆ℓ, with ∆ℓ = (L/2π)∆k being a measure of the fluctuation spectrum width (∆k), L the macroscopic system size, and We also note that another nonlinearity parameter R = (γ k τ nl ) −3 (with τ nl = (k 2 D QL ) −1/3 [17,54] and D QL denoting the quasi-linear diffusion coefficient) can be introduced for measuring the strength of wave-coupling effects [46,47], and could also be expressed, here, as R ∼ 2πS(∆ω k /γ k ) 3 (cf. also Sec. 4.2). For large R (and S), Laval and Pesme derived the TTM model for a "broad" turbulent spectrum (∆ℓ ≫ 1) [47], and demonstrated that growth rate and diffusion coefficient are expected to be increased with respect to the quasi-linear estimate. These results are typically meant to describe the condition K ≪ 1, where the propagator renormalization yields the corresponding correction to D QL [46]. The behavior changes if K 1. In this parameter range, the beams strongly overlap as a consequence of the strong nonlinearity. The main effect the overlap between the beams has on the instability growth rate is amplification of the number density of the resonant particles. Summing across all overlapping beams (and dropping the j-index in this whole Section for the sake of simplicity), we have, instead of Eq.(1), where ∆ f is calculated in vicinity of the resonant velocity v res = ω k /k within the velocity spread ∆v NL . Eq. (7) suggests that the instability growth rate in the broad-beam problem is incremented by as compared to the classic BoT problem, with respect to the growth rate γ k . A priori, one may expect that the amplification ∆ f is proportional to the local number density, hence to the velocity distribution itself; that is, ∆ f ≃ χ f , where the coefficient χ quantifies the coupling properties among the beams. Following Refs. [56,57], we write this coefficient as the Boltzmann factor The implication is that ∆ f is limited to the transition probabilities of resonance particles on a grid, with the spacing ∆v SEP , and the effective "temperature" of nonlinear interaction ∆v NL . Using the K parameter, we write χ = exp[−1/K], which interpolates between the classic BoT problem (K ≪ 1; χ ≃ 0) and the regime of strong nonlinearity of interest here (K 1; χ ≃ 1). Here, as in the classic BoT problem, we include the twists and controversies summarized by Laval and Pesme in their review [46]. We also note in passing that the functional dependence in the χ value is non-perturbative in that it goes as exponential of −1/K and not as 1/K, this being a small parameter of the model. Given that the Chirikov parameter is large, i.e., that the condition in Eq.(4) holds, the relaxation current in velocity space J k (i.e., the flux of the energetic particles in the direction of the thermal core) will be proportional to the instability growth rate Γ k . We have J k = −ζΓ k , where ζ is a numerical normalization parameter and will be obtained below. The minus sign indicates that the flux goes against the v axis. With the aid of Eq.(7) one obtains Note that the resonance part of J k , i.e., the first term on the right-hand-side of Eq.(10), has the sense of Fick's second law in velocity space (the Fick paradigm infers that internal fluxes are driven by point-wise gradients with local coefficients: diffusivities and conductivities. Models which are based on such assumptions are referred to as local transport models). The continuity of the flux-function implies Combining with Eq.(10), one is led to a Fokker-Planck equation where we have denoted for simplicity Λ v = ζ(πω 3 p /2k 2 n p ). Clearly, the first term on the right-hand-side of Eq.(12) represents the well-known quasi-linear diffusion in the limit t → +∞. In a basic theory of weak plasma turbulence one writes the quasi-linear diffusion coefficient as [5] Comparing with Eq. (12), and remembering the expression of Λ v , one arrives at from which the ζ value can be inferred via an asymptotic matching procedure. At this point, no free parameters have remained in the Fokker-Planck model in Eq. (12). In the discussion above, we have implicitly assumed that the distribution function f = f (v, t) does not involve any coordinate dependence in real space. Nor have we included the polarization response of the background plasma to the beam injection (this is because the density of the beam particles has been assumed to be very small from the outset: much smaller than the background plasma density). These and other exclusions, such as for instance the possible presence of external fields, can be addressed in a usual way for statistical physics of complex systems [58] by upgrading the Fokker-Planck model in Eq. (12) to a transport model of the Klein-Kramers type, i.e., The Klein-Kramers equation [58][59][60][61] determines the dynamical evolution of the bivariate probability density f = f (x, v, t) of finding a passive test particle with a velocity value between v and v + dv at time t in position x. In the above m is the particle mass, e is the electric charge (negative for the electrons), and V(x) is electrostatic potential, corresponding to the potential force field F(x) = −edV(x)/dx. One sees that the potential field naturally contributes to convection, however, the sign of this contribution relies on the sign of edV(x)/dx. The resulting change of the probability density due to convection is therefore sum of two terms, these being the influence convection term due to F(x), on the one hand, and an internally induced convection term generated self-consistently through the intrinsic wave-particle nonlinearities, on the other hand. It is noted that the internally induced convection may both enhance (if edV(x)/dx > 0) or suppress (if edV(x)/dx < 0) the potential force term. This paves the way for a competition between the two terms, and to some kind of interference between them, which may be both constructive (for edV(x)/dx > 0) or destructive (for edV(x)/dx < 0). These interference phenomena will be discussed elsewhere.
It is worth noting that the Klein-Kramers equation in Eq. (15) is written for a fully "collisionless" plasma. This being relaxed, Eq. (15) (and its Fokker-Planck reduction in Eq. (12)) should be supplemented by collisional drag term and moreover by the entropy-based Laplacian term caused by these collisions. The closure of the Klein-Kramers equation (15) is obtained through which generalizes the well-known quasi-linear equation [5] for spectral energy density in that it uses the amplified increment Γ k in place of γ k . Here, v g = ∂ω k /∂k is group velocity. Note that the instability growth rate on the right-hand-side of Eq.(16) steps in with the well-known front factor 2.
Eqs. (15) and (16) represent the basic system of dynamical equations for our model. These equations describe the beam relaxation and the evolution of the wave spectrum as coupled processes and extend via the Γ k value the known equations of weak plasma turbulence to the case of a broad spectrum with K 1. This result is qualitatively similar to that of the TTM theory [47], which, as noted above and summarized in Ref. [46], predicts that growth rate and diffusion coefficient are increased with respect to the quasi-linear estimate for sufficiently strong nonlinearity parameter R. The novelty of the present approach is the prediction of a convective relaxation term for K 1, recovering the classic BoT problem and theory for a sufficiently broad turbulent fluctuation spectrum (K ≪ 1).

Towards multi-scale dynamics: Comparing the relaxation times
An essentially new element of our model is the case of "convective relaxation" − contained in the last term on the right-hand-side of Eq. (15). Indeed the convection term enters on an equal footing with the classic diffusion term via the generalization of the instability growth rate in Eq. (7). The characteristic relaxation time in the convection domain is easily seen to be given by where ∆v b is the broad (i.e., warm) beam width in velocity space. This should be compared with the characteristic relaxation time via the quasi-linear diffusion, which we assess as τ diff ≃ ∆v 2 b /Λ v . In general, we can assume ∆v b ≫ ∆v NL , suggesting that the convective relaxation is a meso-scale process. We interpret this result as follows.

Mixed diffusive-convective behavior and the asymptotic character of the diffusion
For K 1 (i.e., χ ≃ 1, strong-overlap limit), the relaxation dynamics are completely dominated by the nonlinear amplification of the instabilities via the share in the resonance particle population. The coupling processes among the beams are such as to increase the density of the resonant particles where the second derivative of the distribution function is positive, i.e., ∂ 2 f /∂v 2 > 0, and, via the conservation of the total number of the particles, act to decrease, at the same time, the resonant density where the second derivative is negative (∂ 2 f /∂v 2 < 0). This generates an unstable propagating front in velocity space directed to the thermal core of the distribution function comprising the beams. Moreover the front is self-reinforcing: its strength, i.e., the density pedestal, initially grows with time as more resonance particles are trapped in it. The process is analogous to a snow avalanche or self-amplifying chain reaction (The idea that the avalanching dynamics occur via an amplification of instabilities in the parameter range of large nonlinearity is indeed very general and have been discussed for "strong" electrostatic turbulence in Refs. [62,63]).
As more and more resonant particles are caught by the propagating front, the local number density on its left edge continues to increase, and so does the velocity gradient, which emits the waves. These emissions have feedback on the transport process in velocity space favoring entropy based diffusion through the ∂ f /∂v term. The velocity diffusion, in its turn, will try to wash out the eventual singularities, and to pose a smoother relaxation dynamics, which is quasi-linear-like. That will be a mixed regime, i.e., convective (transferring the resonant particles from inside the bump on tail onto its left edge) competing with the diffusion. The competition will stop as soon as the majority of the beam particles have been deposited on the front, from which they diffuse away via the random walks. It is in this sense that we say the convective relaxations occur on intermediate (i.e., meso-) scales. These are dictated by the velocity span of the beam and in the time domain by the duration of the amplification processes. The asymptotic (t → +∞) relaxation process will be always diffusive quasi-linear (with the caveats discussed in the previous section [46]).
One sees that the relaxation process acquires multi-scale features in the broad-beam problem. It begins initially as a convective process, with time scale in Eq.(17), followed by an asymptotic diffusion process on very long time scales. Note that the convective relaxation occurs despite the condition that the Chirikov parameter is large, i.e., S ≫ 1, and is attributed to the fact that the nonlinearity of the interaction, contained in the ordering K 1, is also large in its turn, giving rise to a Fokker-Planck generalization of the velocity-space diffusion equation. We should stress that by "generalizing" the quasi-linear theory we mean, in fact, the inclusion of the meso-scale relaxation of the convective type (via the coupling term in the respective Klein-Kramers equation), without touching on the asymptotic, diffusive behavior and the formation of the plateau (cf. discussion at the end of the previous section). The meso-scale nature of convective relaxation is also reflected by the condition on the width of the fluctuation spectrum K 1.

Boltzmann's H-theorem and the entropy growth rates
Although obvious, it should be emphasized that the Chirikov parameter being much larger than 1 implies that the dynamics are random (chaotic-like) on micro-, respectively, wave-particle interactions, scales. It is convenient to characterize this implication of the chaotic dynamics in terms of Boltzmann's H-theorem and assess the corresponding entropy growth rates through respectively the diffusion and the convective relaxation processes.
For weakly interacting classical systems, the entropy S = S(t) is related to the probability density function through We shall assume for simplicity, without lacking generality, that the distribution function f represents solely the beam particles, so it is identically zero outside the bump region. So we differentiate the functional dependence in S(t) over the time, then substitute the time derivative ∂ f (t, v)/∂t with the sum of the diffusion and the convection terms using the Fokker-Planck equation (12), and integrate by parts over the velocity variable under the assumption that the velocity gradients vanish on both sides of the integration domain. Making use of the resonance condition, after a simple algebra one obtains d dt One sees that the time derivative of the entropy is always non-negative, i.e., dS/dt 0, and is moreover restricted to the relaxation process of the diffusive type, as it should. Indeed the convective relaxation does not as a matter of fact contribute to the entropy growth rate and in this case can be considered adiabatic.

Numerical simulations of broad beam relaxation in cold plasma
In this Section, in support of the theoretical framework introduced above, we discuss numerical simulation results of the mixed diffusive-convective relaxation of a tenuous broad beam of energetic particles, whose density n B is much smaller than that of the 1D background plasma (n p ), which is considered as a cold linear dielectric medium. In particular, we adopt the Hamiltonian formulation of the problem described in Ref. [51], where the broad supra-thermal particle beam is discretized as superposition of n ≫ 1 cold beams self-consistently evolving in the presence of m n modes nearly degenerate with Langmuir waves, i.e., with frequency ω k j ≃ ω p for j = 1, ..., m. This ensures that the dielectric function of the cold background plasma is nearly vanishing and allows casting the Poisson equation for each plasma oscillation into the form of a simple evolution equation, while particles trajectories are solved from the equations of motion (2) [9].
In the following, we first briefly summarize the Hamiltonian formulation of the broad beam relaxation in cold plasma derived in Ref. [51] (Sec.4.1). Then, we discuss the dimensionless parameters that are used to characterize the different nonlinear dynamic regimes (Sec.4.2), which will be studied numerically with four different set-ups of initial conditions (Sec.4.3). Numerical simulation results are then presented and discussed, adopting also a test particle transport analysis to illustrate the mixed diffusive-convective nature of beam relaxation (Sec.4.4). Finally, we discuss a simple toy-model of diffusion-convection relaxation to illustrate the important role played by the self-consistent evolution of fluctuation intensity on the same time scale of beam transport (Sec.4.5).

The multi beam approach: BoT Hamiltonian formulation
This model is described in Ref. [51], which we refer to for details and discussion of its relationship to the vast literature on Hamiltonian formulation of the BoT problem. The model consists in the description of n cold beams evolving in a self-consistent way with m n modes with ω k j ≃ ω p . Among the waves, we choose n modes which are resonantly driven by the beams (linearly unstable), i.e., k α = ω p /v α (where v α are the initial beam velocities and α = 1, ..., n) and m − n linearly stable ones. The nonlinear evolution of this system, as shown in Ref. [51], is equivalent to a broad beam and m Langmuir waves for properly chosen initial conditions [64]. More specifically, the n cold beams can be considered as an initial discretization of the broad beam, when particles are conveniently distributed.
The dynamics of beam electrons is described by the Newton's law, while Poisson's equation gives the the self-consistent mode evolution. The 1D cold plasma equilibrium is taken as a periodic slab of length L, and the position along the x direction for each beam is labeled by x α . Following Ref. [9], we assume that single beams consist of N α particles located at x αi (i.e., x 1i , x 2i , ..., x ni ; i = 1, ..., N α ), so that σ α n B is the particle density of the "α"-beam, with σ α = N α /N and N = N 1 + .. + N n the total particle number. For the sake of convenience, beam particle positions are represented as x αi =vt + ξ αi (t), withv = (v 1 + .. + v n )/n the initial average beam speed. Meanwhile, the Langmuir wave scalar potential ϕ(x, t) is expressed in terms of the Fourier components ϕ j (k j , t) (with j = 1, ..., m), yielding the corresponding electric fields E k j (k j , t) = −ik j ϕ j (k j , t), consistent with Eq.(2). Finally, consistent with Ref. [9], the following scaled variables are introduced: ℓ j = (2π/L) −1 k j ,ξ αi = 2πξ αi /L,η = (n B /2n p ) 1/3 , τ = tω pη , φ j = (ϕ j ek 2 j )/(mη 2 ω 2 p ), β j = k jv /ω p − 1 /η. Noting that the plasma dielectric constant, ǫ p (ω k ), is nearly vanishing, and adopting time scale separation between τ evolution and ω −1 p [9], Noting Eqs. (2) and (20), the system of equation governing the interaction between m Langmuir modes and n beams finally reads as [51] where the prime denotes the derivative with respect to τ. Momentum and energy conservation properties of Eqs. (21) are discussed in Ref. [51].
In the simulations, each beam has an initial velocity expressed as v α = Θ α v 1 ; and we getv = Θv 1 /n, with Θ = Θ 1 + ... + Θ n . As we assume that the first n modes are resonantly driven by the beams (k α = ω p /v α ), one obtains Θ α = ℓ 1 /ℓ α . The initial conditions for the beam nonlinear shiftsξ αi are given random for each beam between 0 and 2π, while the initial velocities areξ ′ αi (0) = (Θ α − Θ/n)/(ℓ 1η ). Furthermore, the resonance mismatch terms read β j=1,...,m = (Θℓ j /nℓ 1 − 1)/η. Finally, we note that the broad beam distribution function can be described by a suitable choice of the n beam partial densities σ α . In the following, we solve Eqs.(21) using a Runge-Kutta (fourth order) algorithm and N = 10 5 total particles. For the considered time scales and for an integration step h = 0.01, both the total energy and momentum (for the explicit expressions, see [51]) are conserved with relative fluctuations of about 1.4 × 10 −5 .

Characterization of the nonlinear dynamic regime
Numerical simulations, discussed here, illustrate different nonlinear dynamic behaviors, which can be characterized introducing proper dimensionless parameters (as already discussed). In particular, we can introduce the Chirikov parameter [54] that characterizes the resonance overlap of the fluctuation spectrum as in Eq. (4). For each of the n cold beams, we can evaluate the corresponding Chirikov parameter S α for the initial conditions discussed in the previous subsection and consistent with Eq. (4). Assuming ℓ α+1 = ℓ α + 1 ≫ 1, we get the following scaled expression of the Chirikov parameters S α ≃ ℓ αη |φ sat α | .
As already stated in the previous Section, for S α < 1, the beams can be treated as independent, while resonance overlap occurs for S α > 1. These two different situations correspond to different transport processes in the velocity space. The case with S α 1 was studied in Ref. [51] with the multi beam approach adopted here. In the present work, we focus on the S α > 1 case, when many resonances are overlapping. Our aim, in fact, is to assess the different role of diffusion and convection in the relaxation of a broad beam, interacting with multiple Langmuir fluctuations in a cold background plasma. In particular, one of the main goals of our numerical simulations, presented below, is to clarify how linear stable modes affect particle transport in the BoT problem and how it depends on the Chirikov parameter and width of the fluctuation spectrum.
As already discussed in Secs. 2 and 3, we remind that large Chirikov parameter, intuitively, corresponds to diffusive beam relaxation in velocity space [48,49] and to the typical condition of applicability of quasi-linear theory [1,2], with the twists and subtleties discussed in the review paper by Laval and Pesme [46]. However, such a case also requires the fluctuation spectrum be sufficiently broad; i.e., characterized by a sufficiently large ∆k/k, with ∆k = |k m − k 1 | andk = ω p /v the resonant wave-vector at the initial average beam velocity. This is because the characteristic autocorrelation time must be sufficiently short compared to the characteristic time τ nl = (k 2 D QL ) −1/3 (cf. Section 3). Here, we have introduced the notation ∆v = |ω p (1/k 1 − 1/k m )| for the spectral width in the velocity space.
Using quasi-linear theory [1,2], we can estimate the quasi-linear diffusion time, τ NL diff , that, by means of Eq. (13), can be cast as Here, we have denoted by S a characteristic value of S α from Eq.(22) (typically referred to the central beam); and ∆ω k the characteristic wave-particle trapping frequency, estimated from Eq.  (13) and (17) as The characteristic parameter Q (cf. Section 3) can be written as whose reciprocal physically represents the fraction of a trapping time over which a particle is accelerated by any of the fluctuating fields; and we see that larger S corresponds to smaller Q for fixed ∆ℓ. Note that for quasi-linear theory to be valid [46]. Furthermore, and the ratio of characteristic time scales is τ NL diff /τ NL conv ∼ χQ 2 . Here, we note that if Q is not sufficiently large, the nonlinear behavior may be significantly coherent as consequence of phase space structures. In fact, even when resonances are significantly overlapped (S ≫ 1), a sufficiently large ∆ℓ, i.e., a sufficiently broad spectrum, is needed to prevent the characteristic nonlinear shift in particle velocity from covering a significant fraction of the whole fluctuation spectrum. In other words, for Q ≃ 1, the spectrum behaves as "quasi-periodic" even for S ≫ 1; and wave particle trapping becomes a relevant process. Meanwhile, characteristic time scales of convective and diffusive relaxation of the particle beam become comparable. In the following, we will discuss four different cases with varying combinations of Q and S, illustrating the mixed diffusive-convective relaxation of a broad beam.

Numerical simulation results
We report, here, numerical simulation results with n = 50 beams for 4 distinct cases, which differ for the number of modes m and for the magnitude of the relevant Chirikov parameters: (i) S ≃ 2 and m = n = 50 (only resonant modes); (ii) S ≃ 2 and m = 120 (50 resonant modes and 70 linearly stable modes); (iii) S ≃ 15 and m = n = 50; (iv) S ≃ 15 and m = 120. The initial values of the modes are set with random phases ψ j and with random amplitude of O(10 −2 ) for the resonant (linearly unstable) n modes, while the random amplitude of non-resonant (linearly stable) modes is of O(10 −3 ). The initial densities of the beams, i.e., the σ α values (α = 1, ..., n), are assumed Gaussian distributed in the velocity space as depicted in FIG.1 (left-hand panel), where we also plot the initial phase space for the cases (i), (

ii) (central panel) and (iii), (vi) (right-hand panel).
Let us now discuss the underling motivation for the choice of the selected numerical studies. Cases (i), (ii) are chosen to illustrate, as a result, the diffusive as well as convective character of a broad beam under the effect of a broad fluctuation spectrum and weak nonlinearity on the temporal meso-scale. In fact, case (i) has Q ≃ 30; thus, we expect that the addition of non-resonant modes in case (ii) may change the beam relaxation quantitatively but not qualitatively. Meanwhile, cases (iii), (iv) are selected to show the effect of strong nonlinearity and the possible crucial qualitative effect of including the stable part of the fluctuation spectrum. More precisely, Q ≃ 3.6 in case (iii) and, thus, significant coherent behavior can be expected; while in case (iv), the inclusion of stable modes more than doubles the spectrum width, restoring the time asymptotic diffusive behavior. Finally, we note that only case (iv) is characterized by K 1 and a broad spectrum. In fact, for cases (i), (ii), (iii), we have K ≃ 0.07, 0.03, 4.5, respectively, but in case (iii) the spectrum is narrow. Thus, only case (iv) is suitable for comparison to the analysis in Sec.3. Indeed, for these parameters, we show that the convection contribution to the particle dynamics becomes comparable to diffusion.
Let us now analyze separately these 4 distinct cases, discussing their features and the different underlying physics processes. In the following, times are expressed in (ηω p ) −1 units.

Case (i): S ≃ 2 and 376 ℓ res 425
In this case, the mode evolution and the corresponding particle velocity distribution function, for sufficiently large time, are consistent with the quasi-linear model prediction. In the left panel of FIG.2, we can observe the saturation of each spectral component, while the other two panels show the intensity spectrum at different times; with a peak structure shifting towards large ℓ, consistent with total energy conservation. This suggests, at least in the initial phase of the evolution, the  particles interacting with multiple modes with random phases. It is also worth observing how the coarse-grained features of this distribution function are consistent with the results obtained in [64]. Moreover, in that work, the energy spectrum is shown to have irregularities associated with significant jumps in the particle velocities, characterized by Gaussian distribution. Similar irregularities can also be observed in our energy spectrum and, therefore, we can conclude that they do not depend on the morphology of the initial fields phase (in [64], the initial phases are not taken as random).
In this case, we get the following estimations: τ s = 0.5/(2π) ≃ 0.08, τ NL diff ≃ 113, Q ≃ 30 and . This is consistent with the broad character of the considered spectrum and condition (27) is properly satisfied. Thus, we can conclude that case (i), time asymptotically, can be described by the well known quasi-linear approximation.

Case (ii):
S ≃ 2 and 366 < ℓ < 376 ℓ res 425 < ℓ < 485 In this case (Q ≃ 60, K = 0.03), which is the same as case (i) but with linear stable modes included, we see in FIG.4 how the fluctuation spectrum is effectively broadened and the behavior of the saturated modes is significantly different from that of isolated resonant modes. A significant convection (drag) in velocity space is associated with the energy transfer from fast particles to the initially linear stable modes.
The presence of well-marked peaks in the intensity spectrum is  limited to a maximum ℓ-value, beyond which energy transfer to new modes is almost suppressed and the saturation level of the excited modes is decreasing. The reason for such behavior is due to a progressive decrease of resonant particle population. The velocity distribution function (see FIG.5) behaves similarly to the previous case, with density flattening followed by a uniform plateau formation. However, with respect to case (i), the velocity broadening of the distribution function is more extended as a consequence of stable modes. This case, when the Chirikov parameter is significantly greater then one and without the inclusion of linear stable modes, is characterized by Q ≃ 3.6 and K = 4.5 (τ s = 4.5/(2π) ≃ 0.72, τ B ≃ 16). The spectrum, thus, is not broad and it is expected that the quasi-linear paradigm is not appropriate in this case. In fact, in FIG.6 we can observe a morphology of mode saturation typical of isolated resonances and the intensity spectrum is characterized by a single dominant peak, which is progressively shifted up to the largest ℓ-value in the simulation domain. Such behavior of the fluctuation spectrum is clearly reflected by the velocity distribution function in FIG.7: after initial density flattening, the particle distribution function shows coherent behavior related to structures due to wave-particle trapping. In this scenario, a uniform plateau is never formed and the asymptotic evolution resembles that of an isolated resonance more than the typical morphology of the quasi-linear paradigm. The explanation for such behavior, again, is due to the fact that we  are not dealing, in the present case, with a broad spectrum. In fact, the ratio between the Chirikov parameter and the number of overlapping resonances is of order unity. Thus, a given particle feels the effect of many modes acting as a nearly periodic spectrum. Furthermore, considering the contribution of all particles near a given resonance condition, modes instantaneously transferring their energy to particles are damped, while those receiving energy are amplified. Thus, there exists a mechanism able to create and enforce wave-particle phase synchronization. This is the reason why, in this case, the formation of a plateau in the velocity distribution function is suppressed. 4.3.4. Case (iv): S ≃ 15 and 466 < ℓ < 476 ℓ res 525 < ℓ < 585 The conjecture described for case (iii) is clearly confirmed in this case, in which the ratio between the Chirikov parameter and the number of resonant beams is still of order unity, but now the presence of linearly stable modes is included in the evolution. As main effect, see FIG.8, a broadening of the intensity spectrum is clearly observable and, overall, the plateau in the particle distribution function is restored at sufficiently large times (see FIG.9). Indeed, the linearly stable modes, once excited by the nonlinear velocity spread (due to both convective and diffusive transport), reproduce a broad spectrum, significantly enhancing the effective Q value in the system (Q ≃ 7.9). We note that, in the present case, K ≃ 1.9 and, since we are now dealing with a broad spectrum, this regime is the most appropriate to be compared with the analysis presented in Sec.3. This analysis illuminates the relevance that linear stable modes have in determining the evolution of intensity spectrum and particle distribution function.

Test particle transport
To illustrate the mixed diffusive-convective character of the broad beam relaxation process, we have carried out test particle transport analyses of the simulation results discussed in the previous section. In particular, we analyze the time behavior of velocity fluctuations. For a given simulation, we extract the self-consistent potential fields and we monitor the evolution of a set of test particles (1000) evolving under the influence of those fields. The tracers are initialized to represent one single cold beam, among those of which the broad beam initially consists. For a single initial condition (i.e., by setting all the test-particle initial velocities equal toξ ′ αi (0)), we plot the mean square path as function of time: where the average ... is taken over the tracers. When δξ ′ 2 α shows a linear behavior in τ, we can speak of diffusive transport. This analysis is, in general, non trivial, because δξ ′ 2 is characterized by α , i.e., of diffusive transport, is clearly recognizable at least for intermediate times. It is worth noting that the presence of linear stable modes (case (ii)) does not significantly affect the diffusion process since the corresponding coefficients are very close in the two cases. In this respect, it is interesting to compare the present study with the analysis in Ref. [50], where it is shown that the self-consistency of the model is broken when the plateau is sufficiently broad. Such a study demonstrates that the ratio between the obtained diffusion coefficient to the quasi-linear one can take a wide range of values. However, this ratio tends to unity when the random phase approximation is assumed. This is consistent with our findings in FIG.10, showing a slight decreased diffusion coefficient for the broader fluctuation spectrum case, including non-resonant modes. In order to demonstrate convection in the velocity space in addition to diffusion, in FIG.11 we plot the quantities δξ ′2 33 (blue line) and ξ ′ 33 −ξ ′ 33 (0) (red line) for the same set of tracers considered above (left panel refers to case (i), while right panel to case (ii)). The two processes are of the same order of magnitude; and we stress how convection is enhanced in the presence of linear stable modes. This can be interpreted as a more efficient drag in the velocity space due to the positive power exchange between linear stable modes and particles. In other words, particles can decrease their energy by exciting new modes and, thus, explore (on average) a wider velocity range. Let us now repeat this analysis for cases (iii) and (iv), corresponding to a "nearly periodic" spectrum in the presence or absence of linear stable modes, respectively. For these cases, we consider tracers representing beam α = 50, because it is the directly influenced by the stable spectrum. We see in FIG.12 how the case (iii) (left-hand panel) does not suggest a diffusive process. This is clearly due to the coherent structures even in the late time evolution of the system, which introduce a strong dependence of transport on velocity and time. As soon as linear stable modes are accounted for (case (iv), right-hand panel), an almost linear behavior of δξ ′2 50 is recovered in the early evolution of the system (10 τ 20). The physics underling these two cases is better elucidated when analyzing the  left-hand panel), the existence of a significant number of trapped tracers strongly reduces the transport processes in the velocity space. The latter is instead restored to the order of magnitude of δξ ′2 50 when stable mode are accounted for. Consistent with the analysis of the previous subsection, all these considerations suggest that the stable part of the spectrum is crucial for diffusion and convection phenomena. Finally, we stress how the restored convection can be regarded to some extent as a prediction of the model discussed in Sec.3, since this case fulfills all the required assumptions (i.e., a broad spectrum and K 1).

A toy-model of diffusion-convection relaxation
Theoretical analyses of Secs. 2 and 3, and numerical simulation results of Sec.4 show that, when S > 1, the relaxation of a broad beam in cold plasma can be due to both diffusion and convection processes. The value of Q, meanwhile, controlled by the width of the fluctuation spectrum, can determine whether coherent periodic behaviors are to be expected, as reflection of wave-particle trapping in a "narrow" (nearly periodic) spectrum. As the nonlinearity parameter K ≃ S/Q ≃ S 2 /∆ℓ, from Eqs. (4) and (5), one may conclude that the convective relaxation discussed in Secs. 2 and 3 is relatively unimportant in case (i) and/or (ii), where K < 1. Here, we show that, even in this "standard" weak-turbulence limit, significant non-diffusive behavior can be expected, consistent with our numerical simulation results. In order to illustrate this, we derive a toy-model of diffusion-convection under the assumption that the spectrum be sufficiently broad, i.e., that Q ≫ 1 as well as S > 1 (the case (i) and/or (ii) previously treated).
The goal is to capture the self-consistent evolution of fluctuation spectrum and beam distribution function. Thus, the first model equation should render Eq.(1), that is the destabilization of Langmuir waves by the beam particles; while the second one must reflect the nonlinear beam relaxation due to "weak" turbulence as described in Eq. (13). Thus, we can write where the dimensionless function E is connected with the fluctuation intensity and G 0 with the k = 0 Fourier component of the beam distribution function, f 0 . This model can be properly derived from the Vlasov-Poisson system, as represented in the Fourier space under the assumptions above.
In particular, it can be derived from the Dupree's quasilinear equations including trapping [17] in the limit of vanishing broadening with respect to the variation of f 0 and the fluctuation intensity spectrum, i.e., R ∼ 2πS(∆ω k /γ k ) 3 ≪ 1 (cf. Sec. 3). By inspection of Eq.(30) and comparison with Eqs.(1) and (13), it is possible to show where we recall that m is the number of modes in the Langmuir fluctuation spectrum andl the reference (central) mode number. By direct substitution, it is readily verified that Eqs. (30) admit the solution Here,Ḡ 0 (ξ ′ ) represents the initial beam distribution function and the source of instability.
To illustrate the ability of Eqs. (30) to capture essential features of the broad beam relaxation for Q ≫ 1 as well as S > 1, we solve Eq.(34) numerically and compare E (ξ ′ , τ) and G 0 (ξ ′ , τ), obtained from Eq. (33), with the numerical simulation results for case (i) discussed in FIG.2 and FIG.3. The initial conditions forḠ 0 (ξ ′ ) are given in order to properly represent the Gaussian distribution of the simulation (see FIG.1) and, for convenience, we also assign a Gaussian E (ξ ′ , 0) profile resembling the initial mode amplitude. The behavior of E (red line) and G 0 (blue filled line) for different time steps is shown in FIG.14, well reproducing both the early stages of evolution and the plateau formation at later τ.
Note that E (ξ ′ , τ) represents the intensity spectrum evolution discussed in Sec. 4.3 and plays the role of an "effective diffusion coefficient". In this respect, we can compare, for fixed times, the behavior of E with the normalized spectrum evaluated from the right-hand side of Eq.(31) and the numerical simulation results for |φ(k, τ)|. This is shown in FIG.15 for τ = 50, comparing the numerical solution of Eq.(34) and the value of E from Eq.(31) evaluated with numerical simulation results for the fluctuation spectrum of case (i). On can easily see that there is a good agreement between numerical simulation results and the toy-model proposed here. One interesting implication of Eq.(30) is to illustrate how non-diffusive behavior may arise in such a system, and how this is a consequence of the self-consistent evolution of fluctuation intensity on the same time scale of particle transport; that is, of the well-known "conservation relation between the particle distribution function and the spectral density generated by the instability" (cf., e.g., p. 152 of A. Hasegawa's book [65]). The crucial role of fastest growing modes was already pointed out is Sec. 3, since such fluctuations play a key role in the nonlinear evolution. Fastest growing modes are resonant near an inflection point of G 0 , in the neighborhood of which Eqs. (30) can be cast as After sufficiently long time that the inflection point of G 0 has evolved to a region where the initial beam distributionḠ 0 (ξ ′ ) is sufficiently small, Eq.(35) can be cast as the inviscid Burgers equation [66]. This has the formal solution G 0 = G 0 Ξ(ξ ′ , τ) , with Ξ(ξ ′ , τ) obtained from and it is known to generate a propagating shock solution, which is visible in the plateau formation at lower speed in the rightmost panel of FIG.14. It is also worthwhile noting that, away from theḠ 0 (ξ ′ ) localization region, Eq. (34) for E ≡ exp W reduces to the heat equation with exponential nonlinearity [67] ∂ τ W = ∂ξ′Ḡ 0 + ∂ξ′ e W ∂ξ′ W .

Summary and Conclusions
In this work, we have considered an extension of the familiar quasi-linear diffusion to relaxation processes involving "broad" (composed of many individual singular) beams of supra-thermal particles in one-dimensional cold plasma, and studied the consequences upon the corresponding generalized kinetic model. For the case of large overlap (large nonlinearity) parameter, we showed a direct generalization employing the convective degree of freedom. The convection process, which we discuss, is induced internally through the intrinsic wave-particle nonlinearities and competes with apparently similar processes due to external force feedback to the velocity distribution. The resulting kinetic model accounting for these generalizations relies on the Klein-Kramers equation for bivariate probability density function and includes the quasi-linear diffusion through the usual entropy-based operators.
We argued that convective relaxations in the beam-plasma system may occur on intermediate (meso-) time scales and represent kind of "violent" relaxation phase. This phase completed, the relaxation process proves to be diffusive quasi-linear and in the long run (t → +∞) leads to the formation of the familiar "plateau" [1,2,5] in the velocity distribution. Mathematically, the relaxation problem for a broad beam is described by a self-consistent system of coupled nonlinear differential equations, Eqs. (15) and (16), which generalize their quasi-linear relatives by directly taking into account the amplification of the resonance domain through the nonlinear interaction and the communication among the beams. Our analysis is complementary to that of Laval and Pesme in Ref. [46], since we consider modifying the convective rather than the diffusion term. Our analysis also applies in a different parameter range; i.e., a regime where the fluctuation spectrum is not arbitrarily broad, in order to allow for non-perturbative beam-coupling.
In our numerical studies, we adopt the Hamiltonian formulation of the problem described in Ref. [51], where the broad supra-thermal particle beam is discretized as superposition of n ≫ 1 cold beams self-consistently evolving in the presence of m n modes nearly degenerate with Langmuir waves. Essential element of this analysis is the crucial role played by wave-particle nonlinearity in determining the non-diffusive feature of supra-thermal particle transport, which self-consistently evolves with the fluctuation intensity spectrum. Thus, parameters other than Chirikov play important roles, such as the ratio of wave-particle trapping time to the autocorrelation time (which is related with the ratio of wave-number spectrum width to the Chirikov parameter), and the nonlinearity parameter, straightforwardly related to the former two.
We performed direct computer simulations of the relaxation dynamics in different regimes, i.e., different values of parameters. In this respect, we highlight two cases, namely (i) and (iii), characterized by respectively "broad" and "nearly periodic" ("narrow") fluctuation spectrum consisting of linearly unstable modes only; and two corresponding cases, these being (ii) and (iv), in which the modes of the linear stable spectrum have been accounted for as well. These simulations have elucidated the crucial role played by the linear stable spectrum for transport phenomena through the diffusive and the convective relaxation dynamics.
Numerical simulation results for the "narrow" spectrum exhibit the coherent behavior of spectrum intensity and particle distribution function typical of persistent phase space structures due to wave particle trapping, which suppress convective transport. The plateau in the particle distribution function, in this case, is not formed, unless modes of the linear stable spectrum are accounted for, which not only enhance diffusion but convection as well, because of enhanced de-trapping rate and drag in velocity space.
Numerical simulation results for the "broad" spectrum cases, meanwhile, show that a plateau in the distribution function is always formed time asymptotically. Controlling the wave-number spectrum width by including or not the modes of the linear stable spectrum yields behaviors of the diffusion coefficient that are consistent with earlier analyses by Escande et al. [48][49][50]. Further to this, convective transport on temporal and velocity meso-scales is observed even for small nonlinearity parameter. This persistent mixed diffusion-convection relaxation is due to the self-consistent evolution of fluctuation intensity on the same time scale of particle transport, as expected and as demonstrated by an analytical toy-model, whose solution is in good qualitative and quantitative agreement with numerical simulations. This toy-model provides a valuable tool, allowing the identification of respective roles of convection and diffusion in the velocity space relaxation; in particular, elucidating how convection processes are not negligible during the relaxation of a bump-on-tail initial profile, especially during the meso-time-scales.
In conclusion, the present study provides understanding and insights into the mixed diffusion-convection relaxation of a broad beam in a cold one-dimensional plasma in the presence of weak Langmuir turbulence of varying spectrum width. In particular, crucial roles are played by wave-particle nonlinearity and the self-consistent evolution of particle distribution function with the fluctuation intensity spectrum. These results are of general interest as well as practical importance, in the light of their possible implications as paradigm for Alfvénic fluctuation-induced supra-thermal particle transport in fusion plasmas near marginal stability.