1 Introduction
Solar flares are the most energetic phenomena observed in the Sun. They are thought to be powered by magnetic reconnection, in the course of which magnetic energy is converted to other forms of energy (Treumann & Baumjohann Reference Treumann and Baumjohann2013), in particular to accelerated electrons propagating as beams. These electron beams can generate electromagnetic waves in a wide range of wavelengths. For example, while precipitating to the solar chromosphere, energetic electrons can cause X-ray emissions. On the other hand, outward-escaping electrons emit radio waves along their way (Reid & Ratcliffe Reference Reid and Ratcliffe2014; Melrose Reference Melrose2017). Among electromagnetic waves, non-thermal coherent radio emissions are very characteristic. Their brightness temperature can exceed the equivalent thermal (blackbody) radiation temperature by orders of magnitude. In contrast to incoherent radiation, non-thermal electromagnetic waves are generated by collective plasma processes. Since corresponding solar radio emissions are inherently linked to plasma processes, in the regions where solar flares take place they can be used as remote diagnostic tools to better understand the physics of solar eruptions and the magnetic reconnection processes behind. In particular, solar flares are associated with the so-called type III solar radio bursts (SRBs), which are believed to be caused by electron beam instabilities (see e.g. Reid & Ratcliffe (Reference Reid and Ratcliffe2014) and references therein). The source of free energy for such emissions can be found in the electron velocity distribution functions (EVDFs). In order to understand the solar radio emissions, it is therefore of critical importance to analyse the wave emission properties of electron beams due to EVDFs caused by magnetic reconnection.
Type III SRBs are characterized by their spectral structure of fundamental and harmonic wave modes. Radio observations reveal that solar flares emit radio waves not only at the local plasma frequency
$\omega _{\textrm {pe}}$ at the source region, but also at their first and even higher harmonic wave modes
$n\omega _{\textrm {pe}}, n=2,3,\ldots$ (Smerd Reference Smerd1976; Reiner, Stone & Fainberg Reference Reiner, Stone and Fainberg1992). This implies that they could be caused by wave–wave interactions (see e.g. Reid & Ratcliffe (Reference Reid and Ratcliffe2014) and Melrose (Reference Melrose2017) and references therein). Indeed, the most widely accepted mechanism of SRBs is the plasma emission mechanism, which relies on wave–wave coupling of plasma waves induced by electron beam instabilities (see e.g. Ginzburg & Zhelezniakov Reference Ginzburg and Zhelezniakov1958; Melrose Reference Melrose1970a,Reference Melroseb). The electron beams firstly generate Langmuir waves via a bump-on-tail instability due to a positive gradient in the EVDF parallel to the magnetic field direction:
$v_{\parallel }\cdot \partial f/\partial v_{\parallel }>0$. The resulting Langmuir (
$L$) wave intensities usually exceed the level of thermal excitations by orders of magnitude. In the course of a multistage process these beam-generated Langmuir waves can interact with ion acoustic (
$S$) waves, another normal wave mode of the plasma, and electromagnetic waves (
$T$) could be generated by their interaction according to, for example, Ginzburg & Zhelezniakov (Reference Ginzburg and Zhelezniakov1958) and Melrose (Reference Melrose1970a,Reference Melroseb). These electromagnetic waves can finally escape the plasma and be observed remotely, provided their frequency is higher than the (cutoff) local plasma frequency.
Waves generated by the plasma emission mechanism do not depend on the strength of the magnetic field at their source region. However, some features of type III SRBs, e.g. O mode polarized waves, depend on the strength of the coronal magnetic field in the source region of the emission. In fact, magnetic fields allow wave generation due to the interaction of waves with the cyclotron motion of particles, in particular of electrons. Based on a wave–particle interaction, an alternative cyclotron-resonance-related mechanism named electron cyclotron maser emission (ECME) was proposed (see e.g. Twiss (Reference Twiss1958), Wu & Lee (Reference Wu and Lee1979) and Treumann (Reference Treumann2006) and references therein). The cyclotron resonance condition is given by
$\omega -k v_{\parallel }=n\varOmega _{\textrm {ce}}/\gamma$, where
$\varOmega _{\textrm {ce}}$ is the electron cyclotron frequency and
$\gamma$ is the relativistic Lorentz factor. Such resonances are possible in the solar corona despite the coronal conditions in which the electrons are only mildly relativistic. For ECME, a positive gradient in the EVDF is needed in the direction perpendicular to the magnetic field,
$\partial f/\partial v_{\perp }>0$, e.g. in loss-cone (Benáček & Karlický Reference Benáček and Karlický2017), ring (Pritchett Reference Pritchett1984; Lee, Omura & Lee Reference Lee, Omura and Lee2011), horseshoe (Bingham & Cairns Reference Bingham and Cairns2000; Melrose & Wheatland Reference Melrose and Wheatland2016), cup-like (Büchner & Kuska Reference Büchner and Kuska1996) or shell-shaped distribution functions. The corresponding ‘inverted’ population in the velocity space led to the early authors calling this cyclotron-resonance-related mechanism a ‘maser’ mechanism. The characteristic frequencies of ECME are generally at
$\varOmega _{\textrm {ce}}$ and at their harmonics
$n\varOmega _{\textrm {ce}}$ (
$n>1$). This mechanism also requires the condition
$\varOmega _{\textrm {ce}}>\omega _{\textrm {pe}}$ for the resulting waves to escape from the plasma. This frequency condition is actually the opposite of the one typical in the solar corona. It implies a sufficiently low plasma density (
$\omega _{\textrm {pe}}\propto \sqrt {n_e}$, with
$n_e$ the electron plasma density) in regions of strong magnetic fields (
$\varOmega _{\textrm {ce}}\propto B$, with
$B$ the background magnetic field strength). However, this condition can be met in density cavities (i.e. regions of locally depleted plasma) in the solar corona, e.g. in regions associated with hard-X-ray bursts during solar flares (Regnier Reference Regnier2015; Melrose & Wheatland Reference Melrose and Wheatland2016). Observations by Regnier (Reference Regnier2015) and Morosan et al. (Reference Morosan, Zucca, Bloomfield and Gallagher2016) have confirmed the condition
$\varOmega _{\textrm {ce}}>\omega _{\textrm {pe}}$ for ECME in the solar corona by a method combining magnetic field extrapolation techniques and hydrodynamic models. In addition, numerical simulations have demonstrated that density cavities form along one pair of the separatrices of guide-field magnetic reconnection (Pritchett & Coroniti Reference Pritchett and Coroniti2004; Ricci et al. Reference Ricci, Brackbill, Daughton and Lapenta2004; Muñoz & Büchner Reference Muñoz and Büchner2016). It has recently been theoretically proposed that the electron cyclotron maser instability (ECMI) can be operative in those separatrix regions of magnetic reconnection (Treumann & Baumjohann Reference Treumann and Baumjohann2017).
In order to understand the different aspects of plasma emission and ECME, a number of studies have already been carried out (see e.g. Melrose (Reference Melrose2017) and Zhou et al. (Reference Zhou, Muñoz, Büchner and Liu2020) and references therein). Those studies usually focused on EVDFs with positive gradients either in the parallel direction (for plasma emission) or in the perpendicular direction (for ECME) to the magnetic field. More complicated EVDFs providing both kinds of free energy are, however, expected to be formed by magnetic reconnection. So we consider a simple distribution function model, namely a ring-beam distribution, that can provide free energy for both instabilities. Note that an important observational distinction between both instabilities is that the plasma emission favours O mode emission (Melrose Reference Melrose2017; Melrose, Dulk & Smerd Reference Melrose, Dulk and Smerd1978), while the electron cyclotron emission strongly prefers the X mode (Ellis Reference Ellis1962; Melrose Reference Melrose2017).
Ring-beam distribution functions can be formed through a variety of mechanisms. They can be generated due to magnetic gradient drifts, e.g. when plasma jets (beams) cross a tangential discontinuity in the magnetic field (Voitcu & Echim Reference Voitcu and Echim2018). Such a scenario applies when steep magnetic gradients are formed as in collisionless shocks and by magnetic reconnection at kinetic scales. Magnetic gradient drifts can redistribute the parallel beam particle energy into the perpendicular direction (Zhou et al. Reference Zhou, Büchner, Bárta, Gan and Liu2015), thus forming ring-beam and gyro-phase restricted EVDFs (Voitcu & Echim Reference Voitcu and Echim2012) as well as crescent-shaped EVDFs (Voitcu & Echim Reference Voitcu and Echim2018). Ring distributions have been indeed found in particle-in-cell (PIC) simulations of magnetic reconnection (Bessho et al. Reference Bessho, Chen, Shuster and Wang2014; Shuster et al. Reference Shuster, Chen, Daughton, Lee, Lee, Bessho, Torbert, Li and Argall2014) and in quasi-perpendicular shocks (Tokar et al. Reference Tokar, Aldrich, Forslund and Quest1986). In the latter case they were formed via surfatron and shock acceleration (Bingham et al. Reference Bingham, Kellett, Cairns, Tonge and Mendonca2003). Magnetic reconnection in strong magnetic fields has also been proposed to be able to generate perpendicular gradients in the EVDFs along the separatrix regions (Treumann & Baumjohann Reference Treumann and Baumjohann2017). A linear stability analysis of ring-beam distributions was carried out, for example, by Vandas & Hellinger (Reference Vandas and Hellinger2015). The nonlinear evolution of the wave excitation due to ring-beam distribution functions was investigated in detail by Zhou et al. (Reference Zhou, Muñoz, Büchner and Liu2020) among others. Those authors derived the properties of waves generated by ring-beam distribution functions in the solar coronal plasma, like the polarization of escaping waves.
In solar flares, related electron beams formed by magnetic reconnection were reported to take place in regions of strong turbulence and corresponding density fluctuations both at large scales (e.g. compressible magnetosonic magnetohydrodynamic wave turbulence) and at (sub-ion) kinetic scales (Drake et al. Reference Drake, Swisdak, Cattell, Shay, Rogers and Zeiler2003; Muñoz & Büchner Reference Muñoz and Büchner2018). This turbulence and its associated density fluctuations will influence the radio waves by modifying, for example, the local plasma frequency and thus the escape condition for electromagnetic waves, the wave–particle resonance condition of cyclotron resonances and Landau damping, possibly even enhancing the unstable growth of plasma waves (Wu et al. Reference Wu, Wang, Wu and Lee2012), and providing additional channels for wave generation via the mode conversion process (Kim, Cairns & Robinson Reference Kim, Cairns and Robinson2007). Mode conversion from Langmuir waves to escaping electromagnetic waves due to random density irregularities is particularly important as it was found in quasi-linear and test particle investigations (Cairns & Willes Reference Cairns and Willes2005; Krafft, Volokitin & Krasnoselskikh Reference Krafft, Volokitin and Krasnoselskikh2015; Volokitin & Krafft Reference Volokitin and Krafft2018; Krasnoselskikh, Voshchepynets & Maksimovic Reference Krasnoselskikh, Voshchepynets and Maksimovic2019; Krafft & Volokitin Reference Krafft and Volokitin2020). Another proposed conversion process from electrostatic to electromagnetic waves is the antenna emission process, according to which Langmuir waves can become trapped in localized density wells, where they can be converted to electromagnetic radiation (Malaspina, Cairns & Ergun Reference Malaspina, Cairns and Ergun2012). Radio emission due to electron beams by magnetic reconnection was simulated utilizing PIC codes (Sakai, Kitamoto & Saito Reference Sakai, Kitamoto and Saito2005). The PIC code simulations of localized beams for laboratory experiment conditions demonstrated that electromagnetic waves can be generated very efficiently at the first harmonic of the plasma frequency by an antenna mechanism due to wave coupling with ion acoustic waves (Annenkov, Timofeev & Volchok Reference Annenkov, Timofeev and Volchok2019).
There is a second consequence expected to be due to solar-flare-related magnetic reconnection – the formation of density inhomogeneities (Pritchett & Coroniti Reference Pritchett and Coroniti2004; Ricci et al. Reference Ricci, Brackbill, Daughton and Lapenta2004; Muñoz & Büchner Reference Muñoz and Büchner2016). In order to simplify both theoretical and numerical calculations, previous investigations of plasma emission and ECME were carried out for a homogeneous coronal plasma background in the source regions. Despite the fact that density inhomogeneities are perhaps a very common situation in the source region of solar flares, it has not yet been clarified by a first-principle kinetic approach how density gradients affect the resulting radio emission. Previous studies of density gradient effects on electron radio emissions focused on large-scale inhomogeneities. For example, Tsiklauri (Reference Tsiklauri2011), Pechhacker & Tsiklauri (Reference Pechhacker and Tsiklauri2012) and Schmitz & Tsiklauri (Reference Schmitz and Tsiklauri2013) studied, via one-dimensional PIC simulations, wave emission by electron beams with density gradient scales inspired by inhomogeneities measured at solar wind length scales. However, the influence of small-scale density gradients on the properties of radio emission due to plasma emission and ECME mechanisms by electron beams is still poorly understood. The effects of random density inhomogeneities on wave emission have just recently started to be investigated by a fully kinetic model for solar wind conditions (Thurgood & Tsiklauri Reference Thurgood and Tsiklauri2016).
In order to find out how small-scale density inhomogeneities affect beam-related radio emissions generated in the solar corona, we have now extended the analysis of beam instabilities causing radio emissions to the consideration of the consequences of density gradients at sub-ion (kinetic) scales. Further, we note that previous studies of electron-beam-related radio emissions focused on the parameter regime
$\varOmega _{\textrm {ce}}<\omega _{\textrm {pe}}$, where electron cyclotron waves cannot efficiently escape (e.g. Tsiklauri Reference Tsiklauri2011; Pechhacker & Tsiklauri Reference Pechhacker and Tsiklauri2012; Schmitz & Tsiklauri Reference Schmitz and Tsiklauri2013). In our study, we instead focus on the opposite parameter regime
$\varOmega _{\textrm {ce}}>\omega _{\textrm {pe}}$, as in density cavities generated by magnetic reconnection, in which escaping waves can be directly generated.
The standard plasma emission mechanism (three-wave interaction mediated by ion sound waves) predicts the generation of waves at the fundamental plasma frequency. Proposed already more than half a century ago, it has recently been unambiguously confirmed by kinetic numerical simulations (Thurgood & Tsiklauri Reference Thurgood and Tsiklauri2015; Henri et al. Reference Henri, Sgattoni, Briand, Amiranoff and Riconda2019). However, higher-order harmonic waves were also observed in SRBs (Takakura & Yousef Reference Takakura and Yousef1974; Reiner & MacDowall Reference Reiner and MacDowall2019). Various theories were developed to explain them (Gaelzer, Ziebell & Yoon Reference Gaelzer, Ziebell and Yoon2002; Yoon et al. Reference Yoon, Gaelzer, Umeda, Omura and Matsumoto2003; Yoon, Yi & Ryu Reference Yoon, Yi and Ryu2005; Yi, Yoon & Ryu Reference Yi, Yoon and Ryu2007; Rhee et al. Reference Rhee, Ryu, Woo, Kaang, Yi and Yoon2009). While harmonics of Langmuir waves were claimed to be found in some numerical experiments (e.g. Rhee et al. Reference Rhee, Ryu, Woo, Kaang, Yi and Yoon2009), other numerical studies of wave generation failed to find conclusive evidence for the generation of harmonics due to the standard plasma emission mechanism (Ganse et al. Reference Ganse, Kilian, Vainio and Spanier2012; Zhou et al. Reference Zhou, Muñoz, Büchner and Liu2020). Fully kinetic PIC simulations of plasma emission leading to the generation of higher-order harmonic(s) of the plasma frequency waves are very rare. This is attributed to the numerical difficulties and the sensitive dependence on plasma parameters like the beam density and its drift speed.
Using our fully kinetic PIC simulations, we now have found that waves at the harmonics of the local plasma frequency (
$n\omega _{\textrm {pe}}$,
$n=1,2,\ldots$) can be generated by electron beams and their properties depend on the background density gradients. Those harmonics are due to the nonlinear interaction of beam-generated Langmuir waves with adjacent lower-order harmonics, i.e.
$L+L_n\to L_{n+1}$.
Note that our study focuses on a local generation mechanism of type III SRBs due to magnetic reconnection generating superthermal electrons in solar flares. While some aspects of this process have already been investigated previously (Wu et al. Reference Wu, Chen, Zhao and Tang2014; Treumann & Baumjohann Reference Treumann and Baumjohann2017; Zhou et al. Reference Zhou, Muñoz, Büchner and Liu2020), we analysed here the generation mechanisms of fundamental Langmuir and electron cyclotron waves as well as their harmonics when the electron beams propagate through small-scale density gradients in the ambient plasma. We show that density inhomogeneities fundamentally change the properties of the resulting waves. For a direct comparison with type III SRBs observations, the mechanism studied here will have to be combined with a global model to also take into account the wave propagation and electron transport effects in the solar corona and in the solar wind (see e.g. Li, Cairns & Robinson Reference Li, Cairns and Robinson2009; Reid & Kontar Reference Reid and Kontar2018). Because of the short time scales that we investigated, our results are best suited for short-duration and high-frequency type III SRBs, like radio spikes (see e.g. Fleishman & Mel'nikov (Reference Fleishman and Mel'nikov1998) and references therein). The paper is organized as follows: our numerical model and simulation set-up as well as the chosen parameters are presented in § 2, the results of our simulations of fundamental and harmonics of Langmuir and electron cyclotron waves are presented in § 3 and our conclusions are summarized in § 4. Convergence tests are discussed in the Appendix.
2 Numerical model
Our investigations utilized the fully kinetic PIC code ACRONYM (Kilian, Burkart & Spanier Reference Kilian, Burkart and Spanier2012) in its 2.5-dimensional version. This means a two-dimensional mesh grid in space is used while the full three-dimensional particle motion is taken into account. The code numerically solves the Vlasov equation and thus it is appropriate for modelling the collisionless plasmas of the solar corona.
We studied the radio emission caused by electron beams as they might have been accelerated in solar flares in a two-dimensional simulation box located in the
$x$–
$y$ plane (see figure 1). This simulation domain represents part of the separatrix region of magnetic reconnection, and it extends along the direction of the local solar magnetic field
$\boldsymbol {B}_0$. The background magnetic field is assumed to be constant throughout the box, and the direction of the magnetic field defines the
$x$ direction of the simulation box, i.e.
$\boldsymbol {B_0}=B_0\boldsymbol {e}_x$ (see figure 1). From here on we refer to the
$x$ direction as the parallel direction.
Schematic of the simulation box (red rectangle) in the separatrix region of magnetic reconnection in solar flares. The box extends along the direction of the local solar magnetic field
$\boldsymbol {B}_0$.

We considered an electron–proton plasma with a realistic proton-to-electron mass ratio
$m_p/m_e=1836$. The plasma consists of a background and an electron beam population streaming at a given drift speed (which is described in more detail below). The initial electron plasma frequency is set to be
$\omega _{\textrm {pe}}=5.0\times 10^9\ \textrm {rad}\,\textrm {s}^{-1}$, which corresponds to an electron number density of
$n_0=7.9\times 10^9\ \textrm {cm}^{-3}$, typical for the solar corona (Aschwanden Reference Aschwanden2006). The ratio of the electron cyclotron frequency
$\varOmega _{\textrm {ce}}$ to the electron plasma frequency
$\omega _{\textrm {pe}}$ is
$\varOmega _{\textrm {ce}}/\omega _{\textrm {pe}}=4$, corresponding to a magnetic field
$B_0=1137\ \textrm {G}$. In such an environment the ECME instability could generate radio waves. Even though this frequency ratio is not common for the solar coronal plasma, it applies to cavity ducts in which the density is lower than that in the surrounding coronal plasma (Morosan et al. Reference Morosan, Zucca, Bloomfield and Gallagher2016; Zhou et al. Reference Zhou, Muñoz, Büchner and Liu2020). The thermal speed of the background electron plasma is
$v_{\textrm {the}}=0.025 c$, which corresponds to a coronal plasma temperature
$T_{\textrm {bg}}=3.7\times 10^{6}\ \textrm {K}$ and results in a Debye length of
$\lambda _D=0.15\ \textrm {cm}$.
The size of the simulation box is
$(L_x,L_y)=(N_x,N_y)\times \Delta x$ along the
$x$ and
$y$ directions, respectively. We set the grid cell size to be
$\Delta x=2\lambda _D$ and the number of grid points is
$N_x=4096, N_y=512$. Periodic boundary conditions are applied in both directions of the simulation box. In order to satisfy the Courant–Friedrichs–Lewy condition, we imposed the condition
$c\Delta t/\Delta x=1/2<1/\sqrt {3}$, thus
$\Delta t=0.025 \omega _{\textrm {pe}}^{-1}$. Based on a sampling period of
$5\Delta t$, our simulations allow obtaining frequencies up to
$\omega =24 \omega _{\textrm {pe}}$ or
$\omega =6 \varOmega _{\textrm {ce}}$ in the frequency domain. The dispersion relation analysis (to be presented later) is always based on a time window which allows a frequency resolution of
$\Delta \omega =0.047 \omega _{\textrm {pe}}$ or
$\Delta \omega =0.012 \varOmega _{\textrm {ce}}$. The size of the simulation box allows a wavevector resolution of
$\Delta k_x=0.03 \omega _{\textrm {pe}}/c$ and
$\Delta k_y=0.25 \omega _{\textrm {pe}}/c$. In order to reduce the level of numerical noise, we use a second-order shape function for the macro-particles on the grid. The implemented relativistic Boris pusher is relativistically corrected for moderate Lorentz factors (
$\gamma \ll 1000$), i.e. for the whole parameter range of interest here.
As a rule, the number of macro-particles per cell in PIC code simulations has to be sufficiently large to avoid numerical noise. For the background plasma we choose
$N_{\textrm {bg}}=950$ macro-particles per cell and for the electron beam
$N_{\textrm {bm}}=50$ macro-particles per cell. The corresponding total numbers of macro-particles used in our simulations are listed in table 1. In our simulations, the beam-to-background density ratio is hence about
$N_{\textrm {bm}}/N_{\textrm {bg}}=1/19$ (or
$5.2\,\%$). This choice results from a compromise between the very dilute beams observed in astrophysical plasma systems as in the solar corona and the computational cost of PIC simulations, which increases considerably the more dilute the beams are. The reason is that denser beams cause a faster relaxation of the distribution function and thus they allow investigation of the instability growth within shorter (computational) time scales. As a result, typical values higher than
$1\,\%$ of the beam-to-background density ratio are usually used for beam plasma PIC code simulations (see e.g. Thurgood & Tsiklauri Reference Thurgood and Tsiklauri2015; Reid & Kontar Reference Reid and Kontar2018; Zhou et al. Reference Zhou, Muñoz, Büchner and Liu2020). In our case it is especially critical to choose an even higher value for two other reasons. First, the ECMI develops in cavities, where the (background) density is significantly lower than that in the surroundings. This leads to an even higher beam-to-background density ratio in cavities than elsewhere. This was, perhaps, the reason why most of the previous studies of the ECMI were carried out with beam-to-background density ratios of the order of
$5\,\%$ or even higher (see e.g. Pritchett Reference Pritchett1984; Lee et al. Reference Lee, Omura and Lee2011; Zhou et al. Reference Zhou, Muñoz, Büchner and Liu2020). Second, different from most previous studies where an extended and homogeneous beam is pushed to repeatedly travel many times throughout the simulation domain because of the periodic boundary conditions, we allow only one pass of the localized beam through the simulation domain along the parallel, inhomogeneous direction (see details later). Therefore, the beam needs to be relaxed to some degree during such a passage, and within the corresponding short time period, for our investigations of plasma wave emission as a consequence of beam plasma instabilities. This in turn requires a high beam-to-background density ratio.
Number of macro-particles of beam electrons and of all particles (electrons and protons) used in the simulations.

We initialized the beam plasma by prescribing a particle distribution function
$f(\boldsymbol {x},\boldsymbol {v})$ in the phase space
$\boldsymbol {x}\times \boldsymbol {v}$. We refer to a ‘homogeneous’ background plasma if
$\boldsymbol {\nabla }_{\boldsymbol {x}} f_{\textrm {bg}}=0$ (constant density) and to an ‘inhomogeneous’ background plasma if
$\boldsymbol {\nabla }_{\boldsymbol {x}} f_{\textrm {bg}}\neq 0$ (inhomogeneous density). Here the subscript ‘bg’ denotes the background plasma and the subscript ‘bm’ indicates the beam plasma. We denote the beam as ‘global’ if it is distributed over the whole simulation box (e.g. Lee et al. Reference Lee, Omura and Lee2011) or ‘localized’ if it is limited in space along the
$x$ or
$y$ direction of the simulation box (see e.g. Sakai et al. Reference Sakai, Kitamoto and Saito2005; Tsiklauri Reference Tsiklauri2011). We always initialize the background plasma in thermal equilibrium, i.e. by a Maxwellian distribution function in the momentum space. As for the beam, we call it a Maxwellian beam if its particles obey a Maxwellian distribution function (see figure 2
$a0$), or a ring beam if the particles follow a ring distribution function (see figure 2
$b0$) in the momentum space. Note that both distribution functions offer a parallel source of free energy, i.e.
$v_{\parallel }\cdot \partial f(v_{\parallel })/\partial v_{\parallel }>0$ in
$f(v_{\parallel })$ (see figures 2
$a1$ and 2
$b1$), but only the ring distribution function can offer a perpendicular source of free energy, i.e.
$\partial (f(v_{\perp })/2{\rm \pi} v_{\perp })/\partial v_{\perp }>0$ in
$f(v_{\perp })/2{\rm \pi} v_{\perp }$ (see figure 2
$b2$). The latter is required for the ECME mechanism.
Electron distribution of Maxwellian/ring-beam plasma system in the velocity space. (
$a0$,
$b0$) Electron distribution of Maxwellian/ring-beam (coral dots) and background plasma (magenta dots) in the three-dimensional velocity space. Parallel/perpendicular EVDF of Maxwellian-beam (
$a1$,
$a2$) and ring-beam (
$b1$,
$b2$) plasma systems. The dashed curves are obtained by the normalized (2.1) and (2.5) in parallel/perpendicular direction, respectively. The coloured dots indicate one-dimensional histograms of electrons in the parallel/perpendicular velocity space. (
$a3$,
$b3$) Two-dimensional EVDF of Maxwellian/ring-beam plasma system in the
$v_{\perp 1}$–
$\ v_{\perp 2}$ plane, respectively.

From here on we use the term ‘momentum’ for the momentum per unit mass, which is equivalent to the relativistic velocity in its four-vector form, i.e.
$p_{\parallel }=v_{\parallel }$,
$p_{\perp }=v_{\perp }$. Hence, in the following the velocity components
$v_{\parallel }$ and
$v_{\perp }$ are in fact mean momenta. As a result the Lorentz factor is
$\gamma =\sqrt {1+(v_{\parallel }^2+v_{\perp }^2)/c^2}$, which corresponds to a particle kinetic energy
$E_k=(\gamma -1)m_ec^2$.
In the phase space
$(x,y)\times (v_{\parallel },v_{\perp })$, the particle distribution function of the background plasma is expressed as follows:
where
\begin{gather} n_{\textrm{bg}}(x)=n_{0,\textrm{bg}}\left[\eta^{{-}1}+(1-\eta^{{-}1})\left(\frac{x}{L_0}-1\right)^2\right], \end{gather}
\begin{gather}f_{{\parallel}}\left(v_{{\parallel}};v_{\textrm{the}}\right)=\frac{1}{\sqrt{2{\rm \pi} v_{\textrm{the}}^2}}\exp\left(-\frac{v_{{\parallel}}^2}{2v_{\textrm{the}}^2}\right), \end{gather}
Here
$n_{0,\textrm {bg}}=N_{\textrm {bg}}(M/\Delta V)=n_0$ is the background number density at
$x=0$,
$N_{\textrm {bg}}$ is the number of macro-particles per cell of the background plasma (
$=950$),
$M$ is the ratio of physical to numerical particles,
$\Delta V$ is the cell volume and
$v_{\textrm {the}}$ is the thermal speed of the background electrons.
In order to describe a simple density gradient, but at the same time allowing periodic boundary conditions, we use a parabolic density profile (i.e. (2.2)) for the background plasma. We set
$L_0=L_x/2$, and thus the parabolic profile is symmetric in the
$x$ direction. The density gradient
$\eta =n_{\max }/n_{\min }$, the ratio of maximum to minimum particle number density, describes a density drop from the edge to the centre of the simulation box. The maximum density is
$n_{\max }=n_{0}$ at
$x=0$ while the minimum density is reached at the centre, i.e.
$n_{\min }=n_{\textrm {bg}}(x=L_0)=\eta ^{-1}n_{0}$. A density profile with
$\eta >1$ represents an inhomogeneous background plasma, while
$\eta = 1$ corresponds to the limit case of constant (homogeneous) background density. We used the following values of density gradients in our simulations:
$\eta =1, 5, 50, 200$. The corresponding density profiles are shown in figure 3(a).
$(a)$ Parabolic profile of the normalized background plasma density
$n_{\textrm {bg}}(x)/n_{0,\textrm {bg}}$ along the
$x$ direction for the homogeneous (
$\eta =1$) and inhomogeneous (
$\eta >1$) background plasma.
$(b)$ Distribution of the normalized electron density of the localized beam
$n_{\textrm {bm}}(x,y)/n_{0,\textrm {bm}}$ in the
$x$–
$y$ plane with overlaid contour lines.

We localized the electron beam in the phase space by the following distribution function:
where
\begin{gather}f_{{\parallel}}(v_{{\parallel}};u_{d\parallel},v_{\textrm{th}\parallel})=\frac{1}{\sqrt{2{\rm \pi} v_{\textrm{th}\parallel}^2}}\exp\left[-\frac{\left(v_{{\parallel}}-u_{d\parallel}\right)^2}{2v_{\textrm{th}\parallel}^2}\right], \end{gather}
\begin{gather}f_{{\perp}}(v_{{\perp}};u_{d\perp},v_{\textrm{th}\perp})=\frac{1}{C_{{\perp}}}v_{{\perp}} \cdot \exp\left[-\frac{\left(v_{{\perp}}-u_{d\perp}\right)^2}{2v_{\textrm{th}\perp}^2}\right]. \end{gather}
Here the normalization factor
$C_{\perp }$ is
where
$n_{0,\textrm {bm}}=N_{\textrm {bm}}(M/\Delta V)$ is the beam number density at
$x=L_1,y=L_2$ and
$N_{\textrm {bm}}$ is the number of macro-particles per cell of the beam (
$=50$). Also,
$L_1$ and
$L_2$ determine the initial location of the beam and
$\sigma _1$ and
$\sigma _2$ are the characteristic widths of the localized beam in
$x$ and
$y$ directions, respectively. In our simulations, we set
$L_1=150\Delta x,\ L_2=L_y/2=256\Delta x$,
$\sigma _1=\sigma _2=100\Delta x$ and
$n=4$ (see figure 3
$b$). Parameters
$v_{\textrm {th}\parallel }$ and
$v_{\textrm {th}\perp }$ are the thermal speeds (momenta) of the beam electrons along the parallel and perpendicular directions, respectively. In our simulations they are equal, i.e.
$v_{\textrm {th}\parallel }=v_{\textrm {th}\perp }=v_{\textrm {th},\textrm {bm}}$.
Drift velocities of electron beams were deduced from observations of type III radio bursts as summarized in Reid & Ratcliffe (Reference Reid and Ratcliffe2014) and Reid & Kontar (Reference Reid and Kontar2018). They were found to be either non-relativistic,
$0.2c\text {--}0.5c$ (Wild, Sheridan & Neylan Reference Wild, Sheridan and Neylan1959; Alvarez & Haddock Reference Alvarez and Haddock1973), or mildly relativistic,
$>0.6c$ (Poquerusse Reference Poquerusse1994; Klassen, Karlicky & Mann Reference Klassen, Karlicky and Mann2003). For our simulations with either a Maxwellian beam or a ring beam, the initial parallel drift speed is
$u_{d\parallel }=0.45 c$. While the Maxwellian beam has
$u_{d\perp }=0$, the ring-beam simulations have additionally a perpendicular beam drift speed of
$u_{d\perp }=0.55 c$. These drift velocities correspond to a kinetic energy of
$E_k=49.36\ \textrm {keV}$ (
$\gamma =1.096$) for the Maxwellian beam and
$E_k=115.89\ \textrm {keV}$ (
$\gamma =1.23$) for the ring beam. The thermal speed of the beam electrons is
$v_{\textrm {th},\textrm {bm}}=0.03 c$, which corresponds to a temperature of
$T_{\textrm {bm}}=5.3\times 10^{6}\ \textrm {K}$.
In order to study the influence of the density inhomogeneities of the background plasma on the excitation of plasma instabilities and thus the generation of electromagnetic (radio) waves, we perform eight simulation runs with different parameter configurations. These parameter sets are summarized in table 2. Note that we mainly vary the background density gradient. These parameter sets were chosen to allow both bump-on-tail instability and ECMI, and for a comparative analysis of the resulting waves.
Some parameters of our eight simulation runs. Density gradient
$\eta =n_{\max }/n_{\min }$, thermal speed of background electrons
$v_{\textrm {the}}$, thermal speed of beam electrons
$v_{\textrm {th},\textrm {bm}}$, drift speeds of electron beam
$u_{d\parallel }$,
$u_{d\perp }$.

One of our main analysis tools for wave mode diagnostics is the linear wave dispersion theory. We compare the power spectral density (PSD) derived from electromagnetic fields with the predicted analytical dispersion relation(s). The PSD associated with a given wave mode is evaluated by assuming a Gaussian power distribution along its dispersion curve or surface in the Fourier space (e.g. Wilczek & Narita Reference Wilczek and Narita2012; Comişel et al. Reference Comişel, Verscharen, Narita and Motschmann2013). For example, for the wave mode with dispersion relation
$\omega _{c}(k_{\parallel },k_{\perp })$ in the Fourier space
$(k_{\parallel },k_{\perp },\omega )$, the associated PSD is calculated in the following way:
where
$E_i$ (
$i=1,2,3$) are the components of the electric field in the Fourier domain. Here
$\sigma$ characterizes the frequency broadening of power about the dispersion surface (or curve) of a given wave mode, which is due to thermal effect. We obtained these dispersion surfaces by solving the linear dispersion relation
$\omega _{c}(k_{\parallel },k_{\perp })$ for cold plasmas (Stix Reference Stix1992). In this way one finds the dispersion surfaces (or curves) in the Fourier space
$(k_{\parallel },k_{\perp },\omega )$ of R-X, L-O, Z and whistler modes. We found all those predicted wave modes in our simulations: whistler and Z modes in figure 4
$(a1)$; L-O and Z modes in figure 4
$(a2)$; and R-X and L-O modes in figure 4
$(a3)$. Based on (2.10), PSDs of associated wave modes are extracted from the total PSD separately, e.g. PSDs of whistler and Z modes in figure 4
$(b1)$, L-O and Z modes in figure 4
$(b2)$ and R-X and L-O modes in figure 4
$(b3)$. The PSDs of Langmuir waves and electron cyclotron waves are extracted in a similar way.
(
$a1$–
$a3$) The PSDs in the
$k_{\parallel }$–
$k_{\perp }$ plane for Run1 (
$\eta =1$, Maxwellian beam) in the time interval
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$ at
$\omega =0.1 \omega _{\textrm {pe}}, 0.8 \omega _{\textrm {pe}}$ and
$1.1 \omega _{\textrm {pe}}$, respectively. (
$b1$–
$b3$) Extracted PSDs of whistler, Z, L-O and R-X modes. The PSDs are evaluated as
$\log _{10}|E_{y}(k_{\parallel },k_{\perp },\omega )/B_0|^2$ and
$\log _{10}|E_{cy}(k_{\parallel },k_{\perp },\omega )/B_0|^2$ separately, with
$B_0$ the initial background magnetic field strength.

In order to verify that our simulations can correctly reproduce the desired physical instabilities and thus wave emission, we carried out convergence tests by enhancing the grid resolution and the number of macro-particles per cell as discussed in the Appendix. In the following section we discuss our physical results.
3 Results
Our study aims only at investigating the first generation stage of a chain of processes that finally leads to the observed radio emissions. The processes here analysed, therefore, take place at short time scales no more than approximately
$200 \omega _{\textrm {pe}}^{-1}$. At this time the beams have not yet fully relaxed but they still emit waves. Figure 5
$(a)$ shows that for Run6 the beam is still moving near
$x = 1024 \Delta x$ and far from reaching the centre of the simulation box (
$x = 2048 \Delta x$) at
$t=200 \omega _{\textrm {pe}}^{-1}$. Figure 5(
$b$–
$d$) shows the spatial structure of three components of electric field
$E_i\ (i=x,y,z)$ at
$t=200 \omega _{\textrm {pe}}^{-1}$. From them we find that waves, propagating ahead the beam, already crossed the centre of the simulation box, but they are not reflected back, yet. Other simulations exhibit similar phenomena. This allows the conclusion that we can practically neglect wave reflections and mode conversion effects. Those processes might take place after the beam moves beyond the centre and into the right-hand half of the simulation domain, in which region the density increases since we for technical reasons set up a parabolic density profile according to (2.2).
$(a)$ Phase-space plot of the electron beam in the
$x$–
$v_{x}$ plane. (
$b$–
$d$) Spatial distribution of the electric fields
$E_i/B_0$ (
$i=x,y,z$) in the
$x$–
$y$ plane. All panels show results for Run6 at
$t=200 \omega _{\textrm {pe}}^{-1}$.

According to the previous discussion, it is expected to observe enhanced Langmuir waves in all the simulations with Maxwellian beam and ring beam, because their distribution functions offer a parallel source of free energy (positive parallel gradients in their EVDFs). This can cause beam plasma (or bump-on-tail) instabilities (see figure 2
$a1$,
$b1$). For electron cyclotron waves, the situation is different. Even though the Maxwellian beam is unable to offer a source of free energy (positive gradient in the perpendicular EVDF; see figure 2
$a2$) that causes ECMIs, electron cyclotron waves are actually observed due to electron cyclotron resonances (ECRs). On the other hand, for the ring beam, besides electron cyclotron waves caused by ECRs, electron cyclotron waves produced by ECMIs are observed because a perpendicular source of free energy for the ECME is available (see figure 2
$b2$).
In the following we first discuss the energy transfer from the kinetic energy of the electron beam into other forms of energy of both plasma and electromagnetic fields (and thus of radio waves). Then we present our results regarding fundamental and harmonics of Langmuir waves and electron cyclotron waves. And finally we show a Doppler frequency shift phenomena happening in the ECR region.
3.1 Conversion of kinetic energy
Before discussing the generation of Langmuir and electron cyclotron waves, let us consider the temporal variation of the kinetic energy of the beam electrons (see figure 6
$a1$–
$a3$) and of the background electrons (see figure 6
$b1$–
$b3$). Here the total kinetic energy is calculated as
$\mathcal {E}_t=\frac {1}{2}m_e\overline {v^2}\cdot N_e\cdot M$, the bulk flow kinetic energy as
$\mathcal {E}_b=\frac {1}{2}m_e\bar {v}^2\cdot N_e\cdot M$ and the electron thermal energy (heat) as
$\mathcal {E}_{\textrm {th}}=\mathcal {E}_t-\mathcal {E}_b$. The averages are over all the particles, e.g.
$\bar {v}=(\sum _i v_i)/N_e$, where
$v_i=\sqrt {v_{ix}^2 + v_{iy}^2 + v_{iz}^2}$ is the speed of the
$i$th particle. Here
$N_e$ is the number of macro-electrons of the beam or background plasma and
$M$ is the ratio of physical to numerical particles as defined before. The total electric field energy is calculated as
$\mathcal {E}_{E}=1/(8{\rm \pi} )\cdot \sum _{i=1}^{N_x} \sum _{j=1}^{N_y} E_{ij}^2\Delta V$, where
$\Delta V=\Delta x\cdot \Delta x$ is the cell area (or ‘volume’) for a two-dimensional simulation. The total magnetic energy is calculated in a similar fashion by replacing electric field
$E$ with magnetic field
$B$.
Temporal energy variations for all simulations. (
$a1$–
$a3$) Variation of total kinetic energy, bulk flow energy and thermal energy of beam electrons, respectively. (
$b1$–
$b3$) The same for background electrons. (
$c1$–
$c3$) Variations of the total kinetic energy, electric energy and magnetic energy of the beam–plasma system. All the energy variations are normalized by the initial bulk flow kinetic energy of the electron beam
$\mathcal {E}_0$ of Run1.

In order to compare the electron energy gain or loss, we evaluate the normalized variation of each kind of energy as
$\Delta \mathcal {E}(t)/\mathcal {E}_0=(\mathcal {E}(t)-\mathcal {E}(t=0))/\mathcal {E}_0$. All energy variations are normalized by the corresponding initial bulk flow kinetic energy of the electron beam
$\mathcal {E}_0=\frac {1}{2}m_eu_{d\parallel }^2\cdot N_{e,\textrm {bm}}\cdot M$. Since the number of macro-electrons of the beam in all PIC code simulations is unchanged, and the electron beams are initialized with the same parallel drift speed
$u_{d\parallel }$, as a result, the initial energy
$\mathcal {E}_0$ is the same for all simulations. Figure 6(
$c1$–
$c3$) also shows evolutions of the total kinetic energy and the electric and magnetic energy fluctuations of beam–plasma systems. The results displayed in figure 6 show that:
(i) most of the bulk flow kinetic energy of the beam electrons is transferred into thermal energy of the background electrons while only a small part of it is converted into electric field energy;
(ii) the background electrons are heated while their bulk kinetic energy remains nearly zero; and
(iii) the electric energy increases at the expense of the bulk flow kinetic energy of the beam electrons.
Comparing the energy variations obtained for different parameter regimes displayed in figure 6, we found that the density gradient of the background plasma significantly influences the energy conversion process for both Maxwellian and ring beams: the larger the density gradient
$\eta$, the more efficiently is the kinetic energy converted into other forms of energy. Comparing energy variations for different cases with the same density gradient
$\eta$, e.g. Run1 and Run2, or Run3 and Run4, or Run5 and Run6, we found that when
$\eta \le 50$ the energy conversion of the Maxwellian-beam case is more efficient than that of the ring-beam case. When
$\eta > 50$, however, the energy conversion in ring-beam cases is more efficient than that in Maxwellian-beam cases, e.g. Run7 and Run8.
3.2 Langmuir waves
Our simulations revealed the generation of electrostatic Langmuir waves as well as of electromagnetic electron cyclotron waves. Let us first discuss the formation of Langmuir waves and their consequences for possible radio wave emissions.
Langmuir waves are generated by the bump-on-tail instabilities for both Maxwellian- beam (Runs 1, 3, 5, 7) and ring-beam (Runs 2, 4, 6, 8) cases. The results of our simulations show that the bump-on-tail EVDFs of Maxwellian- and ring-beam plasma systems with the same density gradient have nearly the same influence on the generation of Langmuir waves. In this part, only results associated with Maxwellian beams are discussed in detail, because the same results also hold for the ring-beam cases.
How do the electron populations relax in the parallel velocity space? Figure 7 depicts the temporal evolution of the bump-on-tail EVDF
$f(v_{\parallel })$ of Maxwellian beam plasma cases (i.e. Runs 1, 3, 5, 7) with increasing density gradients (i.e.
$\eta =1, 5, 50, 200$) at
$t=0, 100, 200$ and
$275 \omega _{\textrm {pe}}^{-1}$, respectively. Since the beam density is much smaller than the background density, we normalize the one-dimensional EVDFs of background and beam independently in order to visualize them in the same plot. Note that
$t=275 \omega _{\textrm {pe}}^{-1}$ is beyond the maximum time
$t=200 \omega _{\textrm {pe}}^{-1}$ of the duration in which we analysed plasma waves.
Temporal evolution of the parallel EVDF for Runs 1, 3, 5, 7 at time
$t=0$,
$100\omega _{\textrm {pe}}^{-1}$,
$200\omega _{\textrm {pe}}^{-1}$ and
$275 \omega _{\textrm {pe}}^{-1}$. The background (centred at
$v_{\parallel }=0$) and beam (centred at
$u_{d\parallel }$) EVDFs are probability density functions but independently normalized for visualization purposes, so that their respective integrations in the whole
$v_{\parallel }$ space yield 1.

The beam of Run7 (red curves in figure 7), for example, is relaxing to form a characteristic plateau between
$t=100 \omega _{\textrm {pe}}^{-1}$ and
$200 \omega _{\textrm {pe}}^{-1}$, while the plateau is already formed around
$t=200\text {--}275 \omega _{\textrm {pe}}^{-1}$. As the density gradient of background plasma increases (from Run1 to Run 7), this beam relaxation process occurs faster. This behaviour is correlated to the more efficient transfer of the bulk flow kinetic energy of the electron beam into energy of plasma waves (see figure 6). Note that the beam EVDF has not yet fully relaxed in each simulation while harmonics of Langmuir waves are generated even at earlier stages of the beam relaxation (see figure 8). This means that the free energy released from the electron beam causes beam–plasma instabilities, thus generating Langmuir waves and their harmonics from the very beginning of the beam relaxation. For example, figure 8 shows that harmonics of Langmuir waves are generated between
$t=100 \omega _{\textrm {pe}}^{-1}$ and
$164 \omega _{\textrm {pe}}^{-1}$.
Illustration of fundamental (F) and harmonics (H) of Langmuir wave (LW) modes. The PSDs in the
$k_{\parallel }$–
$\omega$ plane for Runs 1, 3, 5, 7 (Maxwellian beam) during
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$ are displayed. The PSD is evaluated as
$\log _{10}|E_{\iota }/B_0|^2$. Dispersion relation curves of beam mode (red dashed line), fundamental (blue dashed curve) and harmonics (magenta dashed curves) of Langmuir waves are overlaid.

Note that a full beam relaxation, in particular for a small relative density gradient, would require a much larger simulation box. This would be computationally very demanding. In more precise terms, let us consider the relative gradient
$G=(n_{\max }-n_{\min })/(L_x/2)=n_{\max }(1-\eta ^{-1})/(L_x/2)$, where
$L_x$ is the simulation box size along the
$x$ direction, so that the denominator is the distance between the location of the maximum density at the left-hand boundary and the minimum density at the centre of the simulation box. Note that the quantity
$\eta =n_{\max }/n_{\min }$ in the numerator is the density gradient defined before. In general, in order to keep
$G$ constant, a larger simulation domain
$L_x$ would require a larger
$\eta$. However, in order to avoid numerical artefacts, like numerical heating and strong electric field fluctuations due to charge separation, the minimum number of particles per cell
$N_{\textrm {bg}}\cdot \eta ^{-1}$ should not be smaller than approximately 5–10 particles per cell, assuming a constant macro-factor or weight (ratio of physical to numerical particles) for each macro-particle. This situation could be partially avoided by using a variable macro-factor so that regions with low physical density can be represented by more numerical particles, but we do not utilize such a feature in the present simulations. On the other hand, in our simulations the maximum number of particles per cell is constrained to be smaller than 1000 due to computational reasons. Thus the upper bound of our density gradient is
$\eta \le N_{\textrm {bg}}/5\approx 200$. Therefore, if we want to have the same gradient
$G$ but we are constrained by an upper bound on
$\eta$, we can only choose a maximum simulation domain size
$L_x$ for the given
$\eta$. A larger simulation domain size
$L_x$ for a given
$\eta$ would imply a smaller gradient
$G$.
In the following we will only concentrate on the electric field
$\boldsymbol {E}$. We refer to
$E_{\iota }$,
$E_{\tau }$ and
$E$ as the longitudinal, transverse and total electric field in Fourier space, i.e.
\begin{equation} \left. \begin{gathered} E_{\iota}=E_x,\\ E_{\tau}=\sqrt{E_y^2+E_z^2},\\ E=\sqrt{E_x^2+E_y^2+E_z^2}. \end{gathered} \right\} \end{equation}The PSD of each electric field component is simply evaluated by squaring each of those components and normalizing appropriately.
For a time window spanning
$64 \omega _{\textrm {pe}}^{-1}$, the variation of the local plasma frequency along the beam trajectory can be neglected. This implies that the the effective plasma frequency can be treated as a constant when performing the fast Fourier transform on the electromagnetic fields. Figure 8 shows the resulting PSD derived from longitudinal electric field
$E_{\iota }$ for Runs 1, 3, 5 and 7 (Maxwellian beams) in the
$(k_{\parallel },\omega )$ domain during
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$ as well as the corresponding analytical dispersion curves of fundamental Langmuir waves and up to their sixth harmonic. A PSD enhancement along these dispersion relation curves indicates that those harmonics of Langmuir waves are indeed generated.
The dispersion relation of the fundamental Langmuir waves
$L$ can be expressed by the following expression:
where
$\omega _{\textrm {loc}}$ is the effective local plasma frequency, which is dependent on the location of the electron beam as it propagates through the background plasma, and
$v_{\textrm {the}}$ is the electron thermal speed of background plasma. Note that in a homogeneous background plasma the local plasma frequency remains constant, i.e.
$\omega _{\textrm {loc}}=\omega _{\textrm {pe}}$, and then (3.2) becomes the standard Bohm–Gross dispersion relation of fundamental Langmuir waves (Yoon et al. Reference Yoon, Gaelzer, Umeda, Omura and Matsumoto2003; Melrose Reference Melrose2017).
For the higher harmonic of Langmuir waves, we generalized (3.2) to the dispersion relation in the following form:
Here
$L_n (n\ge 2)$ denotes the
$n$th harmonic of Langmuir waves. This is just an empirical relation that fits well with harmonics of the Langmuir waves in our simulations.
In order to compare our formula (3.3) with previous works, we can take its long-wavelength limit, i.e.
$\omega _{\textrm {loc}}^2\gg 3v_{\textrm {the}}^2k^2$, so that
This is similar to but not the same as previously reported results (e.g. Yoon Reference Yoon2000; Gaelzer et al. Reference Gaelzer, Ziebell and Yoon2002; Yoon et al. Reference Yoon, Gaelzer, Umeda, Omura and Matsumoto2003). For the second harmonic (
$n=2$), (3.3) as well as (3.4) are equivalent to (34) of Yoon (Reference Yoon2000), while for higher harmonics of Langmuir waves, i.e.
$n>2$, (3.3) and (3.4) are more accurate due to a factor
$1/n$ in their second term within the parentheses on the right-hand side of (3.4) (comparing also to (18) in Yoon et al. (Reference Yoon, Gaelzer, Umeda, Omura and Matsumoto2003)). This discrepancy with previous theoretical works is an indication of a different physical process causing those harmonic waves in our simulations. A theoretical investigation of the dispersion relation of harmonics of Langmuir waves based on kinetic theory is needed but beyond the scope of this study. Note that (3.4) is still valid for
$\omega _{\textrm {loc}}^2\approx 3v_{\textrm {the}}^2k^2$, as confirmed by our simulations.
As the electron beam propagates through the background plasma, the local plasma frequency changes due to the density gradient. Table 3 shows an algorithm to estimate the effective local plasma frequency
$\omega _{\textrm {loc}}$ based on the power spectrum derived from the longitudinal electric field
$E_{\iota }$. Once the effective local plasma frequency is determined, the dispersion relation can be solved for the harmonics of Langmuir waves by using (3.3).
Algorithm to determine the effective local plasma frequency
$\omega _{\textrm {loc}}$.

Figure 8 shows that the steeper the background density gradient (larger
$\eta$), the greater the number of Langmuir harmonics that appear. For Run1 (
$\eta =1$; see figure 8
$a1$) only three harmonics are generated, while for Run5 (
$\eta =50$; see figure 8
$b1$) at least six harmonics are generated. As figure 8 shows, the wavenumber
$k_{\parallel }$ of the power spectrum peak of each harmonic mode also increases with the harmonic order
$n$.
In order to quantitatively analyse the frequencies of harmonic Langmuir waves, we calculate the power spectrum in the frequency domain by integrating the PSD of the electrostatic (longitudinal) electric field over
$k_{\parallel }$, i.e.
Figure 9 shows the power spectra
$\mathcal {P}(\omega )$ of all simulations during the time period
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$. We conclude that:
(i) For beam–plasma systems with the same background density gradient
$\eta$, we observe practically the same power spectra, in particular at the characteristic frequencies of Langmuir waves and their harmonics. This is because we initialized both Maxwellian and ring beams with the same parallel drift speed
$u_{d\parallel }$ and thus the same bump-on-tail EVDF.(ii) For beam–plasma systems with different background density gradients, as density gradients
$\eta$ increase, the characteristic frequencies of fundamental and harmonics of Langmuir waves shift to lower frequencies. This is because for larger density gradients
$\eta$, the effective local plasma frequency at a beam location becomes smaller.(iii) As
$\eta$ increases, more harmonics of Langmuir waves are generated. For example, for Maxwellian-beam plasma system Run1 (
$\eta =1:F, H_2, H_3$; see figure 9
$a$), Run3 (
$\eta =5:F, H_2, \ldots , H_6$; see figure 9
$b$), Run5 and Run7 (
$\eta =50$ and
$200: F, H_2, \ldots , H_7$; see figure 9
$c$,
$d$).(iv) The local maximum power of each harmonic of Langmuir waves significantly decreases as the harmonic number
$n$ increases in each beam–plasma system.(v) Nearly no difference is found between the power spectra of the beam–plasma systems with
$\eta =50$ and
$\eta =200$ (i.e. Runs 5, 6, 7, 8; see figure 9
$c$,
$d$). This means that when
$\eta \ge 50$, background density gradients affect the Langmuir waves to nearly the same extent. Figure 9 shows that characteristic frequencies of the third harmonic of Run5 and Run6 (see figure 9
$c$) and of Run7 and Run8 (see figure 9
$d$) slightly deviate from each other. This might be due to the frequency resolution
$\Delta \omega$ of the fast Fourier transform. Such deviation is expected to disappear when performing fast Fourier transform on a longer time series allowing a higher frequency resolution.
Power spectrum
$\mathcal {P}(\omega )$ derived from longitudinal electric field
$E_{\iota }$ for all simulations in
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$. The vertical dashed lines denote characteristic frequencies of the fundamental and harmonics of Langmuir waves. The unit of the spectrum is
$\textrm {statV}^2~\textrm {cm}^{-2}~\textrm {s}$. Here ‘M’ indicates a Maxwellian beam, while ‘R’ denotes a ring beam.

The characteristic frequencies and wavenumbers of fundamental and harmonics of Langmuir waves in our simulations satisfy the wave–wave conditions, also known as beat or Manley–Rowe conditions (see e.g. (1) in Melrose Reference Melrose2017). Indeed, by virtue of the dispersion relation (3.4), one can prove the beat condition of the frequencies
$\omega _{L_{n-1}}+\omega _{L} \approx \omega _{L_n}$, where
$n$ is the harmonic number. The wavenumber of each harmonic of Langmuir waves also satisfies the corresponding beat condition
$k_{n}=nk_{1}$, where
$k_n$ corresponds to the
$k_{\parallel }$ location of the PSD peak along the dispersion relation curve of the
$n$th harmonic of Langmuir waves. The method to determine such
$k_n$ will be explained below. This provides evidence that the most likely generation mechanism of harmonics of Langmuir waves in our simulations is the coalescence of beam-generated (fundamental) Langmuir waves
$L$ and adjacent Langmuir harmonic
$L_{n-1}$, which leads to the
$n$th harmonic of Langmuir waves, i.e.
Here
$n\ge 2$. In particular, if
$n=2$, (3.6) indicates that the second harmonic of Langmuir waves is caused by a coalescence of beam-generated Langmuir waves
$L$. This mechanism was already predicted by previous theoretical studies (see e.g. Yoon et al. Reference Yoon, Gaelzer, Umeda, Omura and Matsumoto2003; Yi et al. Reference Yi, Yoon and Ryu2007; Rhee et al. Reference Rhee, Ryu, Woo, Kaang, Yi and Yoon2009). It is important to emphasize that the specific harmonic wave dispersion relation of those previous works is different from ours (see (3.3)), probably because the underlying physical processes are not exactly the same. Nevertheless, the harmonics of Langmuir waves observed in our simulations also satisfy the coalescence process (3.6).
To analyse the characteristic wavenumbers
$k_n$ (
$n=1,2,3,\ldots$) of harmonics of Langmuir waves, we calculate the power distribution
$\mathcal {P}_i(k_{\parallel })$ of each harmonic based on (2.10) after appropriately ruling out the influence of the beam mode:
Here dispersion relation
$\omega _{L_i}$ is determined by (3.3). Then
$k_n$ of each Langmuir wave harmonic is determined by the wavenumber
$k_{\parallel }$ of the local maximum of
$\mathcal {P}(k_{\parallel })$.
Note that this characteristic wavenumber
$k_n$ is time-dependent. Figure 10 shows the temporal evolution of the PSD of longitudinal electric field
$E_{\iota }$ of Run5 (
$\eta =50$) at time periods
$0\text {--}64, 50\text {--}114, 100\text {--}164, 150\text {--}214 \omega _{\textrm {pe}}^{-1}$. As time evolves, the
$k_{\parallel }$ location of the PSD peak along its dispersion relation curve of each Langmuir harmonic moves to a higher-wavenumber region.
The PSD in the
$k_{\parallel }$–
$\omega$ plane for Run5 (
$\eta =50$, Maxwellian beam) in four consecutive time periods
$t=0\text {--}64, 50\text {--}114, 100\text {--}164, 150\text {--}214 \omega _{\textrm {pe}}^{-1}$. The PSD is evaluated by
$\log _{10}|E_{\iota }/B_0|^2$. Dispersion relation curves of beam mode (red dashed lines), fundamental (blue dashed curves) and harmonics (magenta dashed curves) of Langmuir waves are overlaid.

Linear regression analysis of the characteristic wavenumbers
$k_n$ of Langmuir modes is carried out at different time stages. Figure 11 shows the results of Runs 3, 4, 5, 6 during three consecutive time periods
$t = 50\text {--}114, 100\text {--}164, 150\text {--}214 \omega _{\textrm {pe}}^{-1}$. We find that not only does the characteristic wavenumber of the (fundamental) Langmuir mode increase as the harmonic number increases, but also that of each Langmuir harmonic slightly increases over time. The latter is already confirmed in figure 10. It always agrees very well with the beat conditions of the wavenumber
$k_n=nk_1$ and thus supports (3.6).
Linear regression analysis of characteristic wavenumbers of harmonics of Langmuir waves for Runs 3, 4, 5 and 6 in three consecutive time periods
$50\text {--}114 \omega _{\textrm {pe}}^{-1}$ (red dots),
$100\text {--}164 \omega _{\textrm {pe}}^{-1}$ (blue squares) and
$150\text {--}214 \omega _{\textrm {pe}}^{-1}$ (magenta triangles). The horizontal axis denotes the harmonic number
$n$.

We also find evidence of waves near
$k_{\parallel }\to 0$ in our simulations, i.e. for long wavelengths. Waves with
$k_{\parallel }=0$ cannot of course take place in a numerical simulation with a finite-size simulation box, but it is nonetheless interesting to analyse the behaviour of the spectral power for those small
$k$ wavenumbers. Figure 12 shows the power distribution of the fundamental Langmuir wave mode calculated by (3.7) for RunA, Run1 and Run3 at different time windows. Here RunA was carried out as a convergence test, where no electron beam is present (for details, see the Appendix). The power
$\mathcal {P}(k_{\parallel })$ of the fundamental Langmuir mode for long wavelengths (
$k_{\parallel }\to 0$) of Run1 (with beam,
$\eta =1$) is several orders of magnitude larger than that of RunA (without beam), which is comparable to the noise level (see figure 12
$a$). The power of the fundamental Langmuir mode of Run1 is consistently larger than the noise level of RunA for all time intervals. It shows a well-defined local maximum in the long-wavelength limit (see figure 12
$b$). However, Run3 (with beam,
$\eta =5$) has a clearly defined local maximum near
$k_{\parallel }\to 0$ only during the initial time period (i.e.
$0\text {--}64 \omega _{\textrm {pe}}^{-1}$). Indeed, figure 12
$(c)$ shows that density inhomogeneities of background plasma inhibit these long-wavelength waves. The wavevector
$k_F$ in figure 12 is the characteristic wavenumber of the beam-generated Langmuir mode, being determined by the location where the dispersion relation curves of the beam mode and of the fundamental Langmuir mode meet. In our simulations,
$k_F\approx 2.18 \omega _{\textrm {pe}}/c$. The power distribution
$\mathcal {P}(k_{\parallel })$ at
$k_F$ is similar for both Run1 and Run3. The peaks of these power enhancements move slightly to larger
$k_{\parallel }$ over time.
Power distribution
$\mathcal {P}(k_{\parallel })$ (in unit of
$\textrm {statV}^2\cdot\textrm {cm}^{-1}$) of fundamental Langmuir mode for Runs A, 1 and 3 in different time windows
$t=0\text {--}64, 50\text {--}114, 100\text {--}164, 150\text {--}214 \omega _{\textrm {pe}}^{-1}$. Here
$k_F=2.18 \omega _{\textrm {pe}}/c$ (denoted by the vertical dashed line) is the characteristic wavenumber of the beam-generated Langmuir mode.

The enhancement of spectral power in that long-wavelength region may be due to waves with a wavenumber equal to or smaller than (i.e. unresolved) the spectral resolution, which is
$k_{\parallel }=2{\rm \pi} /L_x=0.03 d_e^{-1}$. Another source for waves in this region can be due to the non-zero initial net current carried by the electron beam, causing a standing wave oscillating at the plasma frequency (i.e. plasma oscillations). This is in turn a direct consequence of the displacement current in Ampere's law and the periodic boundary conditions. Although it could be possible to suppress this initial net current by subtracting it at each time step of the simulation, the physical consequences of such a procedure are even more unclear in our plasma system with a localized beam.
3.3 Electron cyclotron waves
The EVDF of a ring beam can offer a perpendicular source of free energy (positive gradient in the perpendicular EVDF). This can cause ECMIs and generate electron cyclotron waves via the ECME mechanism. Simulation Runs 2, 4, 6, 8 address the nonlinear evolution of localized ring beams propagating in background plasmas with varying density gradients
$\eta$. Figure 13 depicts the perpendicular EVDF for Runs 2, 4, 6, 8 at three different moments of time
$t=0, 150$ and
$275 \omega _{\textrm {pe}}^{-1}$ (see figure 13
$a1$–
$a3$). Results show that as time evolves the electron beams relax, i.e. the positive gradients in these perpendicular EVDFs are reduced, with the consequent transfer of kinetic energy to plasma heating and wave energy. This relaxation occurs faster as the background density gradient becomes steeper (e.g. compare green curves for
$\eta =1$ with the red curves for
$\eta =200$), indicating a more efficient energy transfer. Figure 13(
$b1$–
$b3$) shows the time evolution of the two-dimensional EVDF in the
$v_{\perp 1}$–
$v_{\perp 2}$ plane for Run6 (
$\eta = 50$). The two-dimensional EVDFs clearly show the characteristic broadening of the ring beam over time, although still far from its complete relaxation. A considerable part of the free energy of the ring beams is transferred to growing plasma waves.
(
$a1$–
$a3$) Temporal evolution of perpendicular EVDF for Runs 2, 4, 6, 8 (ring beam) at time:
$t=0, 150, 275 \omega _{\textrm {pe}}^{-1}$, respectively. (
$b1$–
$b3$) Normalized two-dimensional beam EVDF in the
$v_{\perp 1}$–
$v_{\perp 2}$ plane for Run6 at the same three moments of time.

Figure 14 depicts the PSD of the transverse electric field in the (
$\omega , k_{\perp }$) domain during
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$ for simulation Runs 1 and 2 (
$\eta =1$) and 5 and 6 (
$\eta =200$). Note that Runs 1 and 5 are carried out with a Maxwellian beam and Runs 2 and 6 with a ring beam, so that we can compare the effect of perpendicular sources of free energy (positive gradients in the EVDFs). Figure 14 shows that fundamental and harmonics of electron cyclotron waves due to ECRs are observed in all the simulations (e.g. Runs 1, 2, 5, 6; see red dashed lines in figure 14). On the other hand, fundamental and harmonics of electron cyclotron waves due to ECMIs are only observed in simulations with a ring beam (e.g. Runs 2, 6; see blue dashed lines in figure 14
$b1$,
$b2$). The dispersion relations of various electron cyclotron waves are discussed below. Results show that those waves, including high-order harmonics, are already generated at the early stage of the instability growth (e.g.
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$) and well before the relaxation of the velocity gradient in perpendicular EVDF starts (see figure 13). By comparing results between Runs 1 and 5 and between Runs 2 and 6, we notice that the background density gradients practically have no influence on the generation of electron cyclotron waves.
Illustration of fundamental (F) and harmonics (H) of electron cyclotron wave (ECW) modes. The PSD in the
$k_{\perp }$–
$\omega$ plane for Runs 1, 2, 5, 6 in the time window
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$ are displayed. The PSD is evaluated by
$\log _{10}|E_{\tau }/B_0|^2$. Dispersion relation curves of fundamental and harmonics of electron cyclotron waves due to ECRs (denoted by red dashed lines) and ECMIs (denoted by blue dashed lines), X (green dashed curve) and Z (magenta dashed curve) modes are overlaid.

As mentioned above, two mechanisms contribute to the generation of the fundamental and harmonics of electron cyclotron waves. The first one is due to the ECRs at
$\omega =n\varOmega _{\textrm {ce}}\ (n=1,2,3,\ldots )$ (see red dashed lines in figure 14) and the other is attributed to the ECMIs caused by the ring beam (see blue dashed lines in figure 14
$b1$,
$b2$). We discuss now their corresponding dispersion relations.
The dispersion relation of the well-known electron cyclotron Bernstein modes is expressed in the following form (see e.g. Melrose Reference Melrose1986):
\begin{equation} 1-\frac{2\omega_{\textrm{pe}}^2}{\lambda_e}\textrm{e}^{-\lambda_e}\sum_{n=1}^{\infty}\frac{n^2\textrm{I}_n(\lambda_e)}{\omega^2-n^2\varOmega_{\textrm{ce}}^2}=0, \end{equation}
where
$\textrm {I}_n(\lambda )$ is the modified Bessel function of the first kind with argument
$\lambda _e=k^2v_{\textrm {the}}^2/\varOmega _{\textrm {ce}}^2$ and
$v_{\textrm {the}}$ is the electron thermal speed of the background plasma. In the limit
$\lambda _e\ll 1$,
$\textrm {e}^{-\lambda _e}\rightarrow 1$ and the asymptotic expression of the modified Bessel function
$\textrm {I}_n(\lambda )$ becomes
$\textrm {I}_n(\lambda _e)\approx ({1}/{n!})({\lambda _e}/{2})^n$. Using this approximation of
$\textrm {I}_n(\lambda _e)$ in (3.8) we can get approximate solutions for the frequency
$\omega \approx \sqrt {\omega _{\textrm {pe}}^2+\varOmega _{\textrm {ce}}^2}$,
$2\varOmega _{\textrm {ce}}$,
$3\varOmega _{\textrm {ce}},\ldots$ While in the opposite limit of
$\lambda _e\gg 1$, the modified Bessel function
$\textrm {I}_n(\lambda )$ can be approximated as
$\textrm {e}^{-\lambda _e}\textrm {I}_n(\lambda _e)\approx ({1}/{\sqrt {2{\rm \pi} \lambda _e}})\textrm {e}^{-n^2/2\lambda _e}$. By solving (3.8) for the frequency with this approximated expression, we get solutions for the harmonics of the electron cyclotron frequency as
$\omega =n\varOmega _{\textrm {ce}}$,
$n=1,2,3,\ldots$
The dispersion relation of electron cyclotron wave modes by ECMIs is obtained by a small modification related to relativistic effects in (3.8), yielding
\begin{equation} 1-\frac{2\omega_{\textrm{pe}}^2}{\lambda_e^2\gamma_{{\perp}}^2}\textrm{e}^{-\lambda_e^2\gamma_{{\perp}}^2}\sum_{n=1}^{\infty}\frac{n^2\textrm{I}_n(\lambda_e^2\gamma_{{\perp}}^2)}{\omega^2-n^2\varOmega_{\textrm{ce}}^2/\gamma_{{\perp}}^2}=0. \end{equation}
The reason is that those electron cyclotron wave modes are associated with velocity gradient in the perpendicular EVDF of the ring beam. Relativistic effects related to the perpendicular drift speed of the beam are essential for this maser mechanism (Melrose Reference Melrose2017). Specifically, the difference between the standard (3.8) and the electron cyclotron maser counterpart (3.9) has to do with the the perpendicular Lorentz factor
$\gamma _{\perp }$ derived from the perpendicular drift speed of the ring beam, i.e.
Accordingly, the electron cyclotron frequency term
$\varOmega _{\textrm {ce}}$ in (3.8) has to be replaced by
$\varOmega _{\textrm {ce}}/\gamma _{\perp }$, consequently, to get (3.9). The consequence of this difference is a downward shift of the resonance frequencies, i.e. the ECMI-related dispersion curves (see blue dashed lines in figure 14
$b1$,
$b2$) are located always below the ECR-related dispersion curves (see red dashed lines in figure 14
$b1$,
$b2$).
Note that a numerical aliasing effect appears in the form of line-like PSD enhancements in figure 14(
$a1$,
$a2$) between frequencies
$\omega =3\varOmega _{\textrm {ce}}$ and
$4 \varOmega _{\textrm {ce}}$, between
$4\varOmega _{\textrm {ce}}$ and
$5 \varOmega _{\textrm {ce}}$ as well as between
$5\varOmega _{\textrm {ce}}$ and
$6 \varOmega _{\textrm {ce}}$. This is an artefact due to our maximum sampling frequency of
$2{\rm \pi} \varOmega _{\textrm {ce}}$. Hence, for any wave mode with wave frequency above this frequency, i.e.
$\omega >2{\rm \pi} \varOmega _{\textrm {ce}}\approx 6 \varOmega _{\textrm {ce}}$, a folding to lower-frequency region (i.e. in which
$\omega < 2{\rm \pi} \varOmega _{\textrm {ce}}$) takes place. We also notice that in the large-wavevector regime (e.g.
$k_{\perp }>4.5 \omega _{\textrm {ce}}/c$) the analytical dispersion relation curve of X mode deviates corresponding enhancement in PSD slightly for each simulation (see figure 14). The deviations between analytical dispersion relation curves and simulation results, in particular in the larger wavevector and frequency regime, are inherent in numerical simulations due to the usage of finite grid cell size and finite time step.
To compare the characteristic frequencies of electron cyclotron wave modes due to the different mechanisms mentioned above, we calculated the power spectrum by integrating the PSD of the transverse electric field over perpendicular wavevector
$k_{\perp }$ in the
$(\omega ,k_{\perp })$ domain, i.e.
Figure 15 shows the resulting power spectra for all eight simulations in the time window
$100\text {--}164 \omega _{\textrm {pe}}^{-1}$. The numbered peaks indicate the harmonics of electron cyclotron wave modes. The blue/red squares correspond to harmonics of electron cyclotron waves due to ECRs while red circles indicate harmonics due to the ECMIs. For electron cyclotron waves caused by ECRs, the power spectra generated by Maxwellian beam and by ring beam are practically the same at the characteristic frequencies of these wave modes. While for electron cyclotron waves produced by ECMIs, the power spectra generated by the ring beam significantly exceed those generated by the Maxwellian beam at their respective frequencies. Figure 15 further confirms that the density inhomogeneities of the background plasma have no influence on the generation of electron cyclotron waves.
Power spectrum derived from transverse electric field
$E_{\tau }$ for all simulations during
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$. The coloured squares denote harmonics of electron cyclotron mode due to ECRs and coloured circles indicate those due to ECMIs. Other labels and notations are used in the same way as in figure 9.

3.4 Doppler frequency shift
Figure 16 shows the PSD of transverse electric field
$E_{\tau }$ for the simulations with homogeneous background plasma (i.e. Runs 1 and 2,
$\eta =1$; see figure 16
$a1{,}b1$) as well as with inhomogeneous background plasma (i.e. Runs 5 and 6,
$\eta =50$; see figure 16
$a2{,}b2$). As shown in figure 16, electron thermal fluctuations develop near the electron cyclotron frequency inside triangular regions delimited by black dashed lines, which are given by
For small
$|k|\leq 5 \omega _{\textrm {pe}}/c$, the Z mode (indicated by a red dashed curve in figure 16) does not enter the triangular regions. In the short-wavelength regime
$|k|>5 \omega _{\textrm {pe}}/c$, the Z mode asymptotically approaches the electron cyclotron frequency
$\varOmega _{\textrm {ce}}=4 \omega _{\textrm {pe}}$ and enters into the triangular regions, becoming heavily damped.
The PSD in the
$k_{\parallel }$–
$\omega$ plane for Runs 1, 2, 5, 6 in the time interval
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$. The PSD is evaluated as
$\log _{10}|E_{\tau }/B_0|^2$. The dispersion relation curves of the R (magenta dashed curve), L (green dashed curve) and Z (red dashed curve) modes as well as those predicted by (3.13) (blue solid curve) and (3.14) (blue dashed line) are overlaid.

For the simulations with a ring beam, Runs 2 and 6, a significant enhancement of power near the Doppler-shifted ECR region is observed (see figure 16
$b1{,}b2$). This region with enhanced power crosses the Z and L wave modes near frequencies
$\omega \approx 2\text {--}3 \omega _{\textrm {pe}}$ at
$k_{\parallel }\approx -4 \omega _{\textrm {pe}}/c$, and crosses the L and R wave modes above the ECR frequencies for
$\omega \approx 4\text {--}6 \omega _{\textrm {pe}}$ at
$k_{\parallel }\approx 4 \omega _{\textrm {pe}}/c$. These PSD enhancements can be fitted by an empirical expression (see blue solid curves denoted by ‘Doppler frequency shift’ in figure 16
$b1{,}b2$):
In the long-wavelength limit, i.e. for
$k_{\parallel }\to 0$, the fitting (3.13) reveals another linear expression (see blue dashed oblique lines denoted by ‘Doppler frequency shift (linear)’ in figure 16
$b1{,}b2$):
The fittings (3.13) and (3.14) indicate that the power enhancements are attributed to a Doppler frequency shift of waves at the electron cyclotron frequency associated with the beam drift speed.
Figure 17 shows the power spectra of the R, L and Z wave modes. These power spectra are calculated from the transverse electric field according to (3.11) in the time window
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$. Results show that, for the ring-beam cases (i.e. Runs 2, 4, 6, 8; see dashed curves in figure 17), the power of the R mode wave is enhanced mainly in the frequency range
$\omega =4\text {--}6 \varOmega _{\textrm {ce}}$, while the L mode is enhanced for both
$2\text {--}3 \varOmega _{\textrm {ce}}$ and
$4\text {--}6 \varOmega _{\textrm {ce}}$. The Z wave mode is enhanced mainly for
$2\text {--}3 \varOmega _{\textrm {ce}}$. The density inhomogeneities also influence the power spectra of wave modes. With an increase of the density gradient
$\eta$, the power of the R mode decreases from approximately
$10^{-1}$ to
$10^{-6}$ in the frequency range
$\omega =4\text {--}6 \varOmega _{\textrm {ce}}$. The same happens to the power of the Z mode: its power decreases from approximately
$10^{-1}$ to
$10^{-2}$ in the frequency range
$\omega =2\text {--}3 \varOmega _{\textrm {ce}}$ as the density gradient increases. The L mode shows the opposite behaviour: its power increases from approximately
$10^{-6}$ to
$10^{-3}$ for
$\omega =2\text {--}3 \varOmega _{\textrm {ce}}$ and from approximately
$10^{-6}$ to
$10^{-1}$ in the range
$\omega =4\text {--}6 \varOmega _{\textrm {ce}}$ as the density gradient increases.
Power spectrum (in unit of
$\textrm {statV}^2\cdot\textrm {cm}^{-2} \cdot \textrm {s}$) of R
$(a)$, L
$(b)$ and Z
$(c)$ modes for all simulations in
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$.

4 Conclusions
By utilizing fully kinetic PIC code simulations, we investigated the influence of perpendicular and parallel gradients in the EVDFs of localized electron beams. Such distribution functions, as well as density inhomogeneities (cavities), are presumably formed by magnetic reconnection in solar flares. The influence of density inhomogeneities on the wave generation is investigated. The electron beams under investigation generate unstable plasma waves via wave–wave and wave–particle (electron cyclotron maser) interactions. Those plasma waves could lead to electromagnetic radio emission.
We found the following effects of density inhomogeneities along the path of propagating electron beams on radio emissions:
(i) In density cavities with low density and strong magnetic field, high-order harmonic Langmuir waves are generated by bump-on-tail EVDF parallel to the magnetic field direction in velocity space. The stronger the density gradients are, the higher the harmonics that are generated. To the best of our knowledge, this effect has not been observed before. In combination with a model of electron transport and wave propagation (see e.g. Li et al. Reference Li, Cairns and Robinson2009), this effect of density inhomogeneities would be able to explain the observed harmonics of Langmuir waves in SRBs.
(ii) The stronger the density gradients are, the more efficient is the energy conversion from the beam EVDF into plasma heat and energy of electromagnetic waves. The free energy is related to the parallel and perpendicular gradients in the beam EVDF.
(iii) Density gradients along the propagation path of electron beams cause a downward shift of the characteristic frequencies of the Langmuir waves and their harmonics. This effect is attributed to the variation of the local plasma frequency along the path of the electron beam through the inhomogeneous ambient plasma.
(iv) Perpendicular velocity gradients in the beam EVDF cause a significant Doppler frequency shift near the ECR region due to relativistic effects.
The generation of waves at the harmonics of the plasma frequency is associated with wave–wave coupling referred to as the plasma emission mechanism. The generation of waves at harmonics of the electron cyclotron frequency is associated with ECRs and with the electron cyclotron maser mechanism.
Based on our results, the generation of harmonics of Langmuir waves can be understood in the following way: any
$n$th harmonic Langmuir wave mode
$L_n$ is generated by an interaction of adjacent harmonic mode
$L_{n-1}$ with the beam-generated (fundamental) Langmuir wave mode
$L$, i.e.
$L_{n-1}+L\to L_n$. We obtained a semi-empirical expression for the dispersion relation of higher harmonics of Langmuir waves generated in density inhomogeneities along the path of the beam propagation.
Note that our results deal only with the initial stage of wave generation and beam propagation at electron time scales. During this initial interval the wave–wave interaction depending on ion acoustic (
$S$) waves does not yet start, since those waves develop only at longer (ion) time scales. That is incompatible with the computational restrictions due to our chosen parameters, since such a simulation would require a much larger simulation box. This restriction of our results is due to the goal of investigating the role of inhomogeneities through which mildly relativistic and spatially localized beams quickly propagate. For a direct comparison with observations, the initial wave generation mechanism studied here needs to be combined with a global (large-scale) model of wave propagation and electron transport in the solar corona and in the solar wind (see e.g. Li et al. Reference Li, Cairns and Robinson2009; Reid & Kontar Reference Reid and Kontar2018). Our findings are, nevertheless, relevant for understanding the kinetic physics of the generation of plasma waves by pure bump-on-tail and ring-beam EVDFs in inhomogeneous plasmas.
The other caveat of our studies, as well as most other studies dealing with ECMIs, is the problem of explaining how these radio waves escape from the low-density regions (density cavities), where the condition
$\varOmega _{\textrm {ce}}>\omega _{\textrm {pe}}$ holds. In our model, those regions are assumed to be along the the separatrices of guide-field magnetic reconnection. Outside the cavities the plasma density is higher and the frequency ratio
$\varOmega _{\textrm {ce}}/\omega _{\textrm {pe}}$ turns into the opposite (
${<}1$), which inhibits the further propagation of electromagnetic waves trapped inside the cavities. There are several possible solutions to this escape problem of radio waves. This could be appropriate mode conversion processes (Treumann & Baumjohann Reference Treumann and Baumjohann2017) or the existence of solar coronal flux tubes. According to them, the cutoff frequency (i.e. the local plasma frequency) outside the flux tube equals the wave frequency, and the radio waves therefore can escape (Wu et al. Reference Wu, Wang, Yoon, Zheng and Wang2002, Reference Wu, Chen, Zhao and Tang2014).
Acknowledgements
We gratefully acknowledge the developers of the ACRONYM code, the Verein zur Förderung kinetischer Plasmasimulationen eV and the financial support of the German Science Foundation (DFG), projects MU-4255/1-1 and BU 777/15-1. We also acknowledge the Sino-German collaboration made possible thanks to the project with NSFC grant 11761131007. We also gratefully acknowledge the possibility of using the computing resources of the Max Planck Computing and Data Facility (MPCDF, formerly known as RZG) at Garching and of the Max-Planck-Institute for Solar System Research at Göttingen as well as of the Technical University Berlin, Germany. We also thank the referees for their comments and suggestions that allowed us to improve the presentation of our results.
Editor Thierry Passot thanks the referees for their advice in evaluating this article.
Declaration of interests
The authors report no conflict of interest.
Appendix. Results of convergence tests
We verified that our model and the chosen numerical parameters are able to reproduce the physical processes described in this work without introducing numerical artefacts. To this end, we varied the grid resolution and the number of macro-particles per cell.
The numerical set-up of the convergence test simulations can be summarized in comparison with Run1 as follows:
(i) RunA, without the beam, only the background plasma, i.e.
$N_{\textrm {bg}}=950$ (number of background macro-particles per cell) and
$N_{\textrm {bm}}=0$ (number of beam macro-particles per cell).(ii) RunB, with better grid resolution. It has doubled the number of grid points along each direction, i.e.
$N_x\times N_y = 8192\times 1024$, and the same physical size so that the grid cell size is half of that of Run1 (i.e.
$\Delta x=\lambda _{D}$ instead of
$\Delta x=2\lambda _{D}$). In addition, the number of macro-particles per cell is half of that of Run1, i.e.
$N_{\textrm {bg}}=475, N_{\textrm {bm}}=25$.(iii) RunC, with double the number of macro-particles per cell, i.e.
$N_{\textrm {bg}}=1900, N_{\textrm {bm}}=100$.
Details of the differences between the set-up of Run1 and these convergence tests are presented in table 4.
Input parameters of the additional simulations aiming at testing the numerical convergence. Here
$N_{\textrm {bg}}$ and
$N_{\textrm {bm}}$ are the number of macro-particles per cell of background and beam plasma,
$N_x$ and
$N_y$ are the number of grid cells of the two-dimensional simulation box and
$\Delta x$ is the grid cell size.

ACRONYM is a standard momentum-conserving PIC code, so the energy is not conserved exactly, but to a very good extent. In figure 18 we estimated the difference in energy conservation by displaying the time evolution of the total kinetic energy, total beam kinetic energy and electric field energy of the standard Run1 and the new simulations RunA, RunB and RunC. The definitions of all those energies are given in § 3.1. Note that the total kinetic energy includes both bulk flow kinetic energy as well as thermal energy (i.e. according to the notation of § 3.1,
$\mathcal {E}_t=\mathcal {E}_{\textrm {th}}+\mathcal {E}_b$). The magnetic energy is not shown since its variations are negligible compared to all other energy components. The total kinetic energy of the beam electrons
$\mathcal {E}_{k,\textrm {bm}}$ is zero for RunA since there is no beam at all. Figure 18 shows that each individual energy component is very well consistent with those of the standard Run1 and with each other. We can clearly see that, during the time period on which we concentrate, i.e.
$t=0\text {--}200 \omega _{\textrm {pe}}^{-1}$, the loss of total kinetic energy of the beam–plasma system (mostly from the beam electrons) is mainly converted into electric energy. The maximum relative change of the total energy
$\Delta \mathcal {E}/\mathcal {E}_0$ (not shown here since it is very close to zero within the range of the vertical axis) is approximately
$0.07\,\%$ for the Run1 at the end of the considered time period. The new runs with a larger number of macro-particles per cell and/or grid resolution feature an even smaller change of the total energy: no more than half of that of Run1. So the total energy is relatively well conserved and not very sensitive to variation in those numerical parameters.
Comparison of the temporal evolution of different energy components for the different convergence tests RunA, RunB and RunC and the standard Run1.
$(a)$ Total kinetic energy of the electron beam
$\mathcal {E}_{k,\textrm {bm}}$,
$(b)$ electric field energy
$\mathcal {E}_{E}$ and
$(c)$ energy variation of the total kinetic energy of the beam–plasma system
$\mathcal {E}_{k}(t)-\mathcal {E}_{k,\textrm {bm}}(t=0)$. All quantities are normalized by the initial total kinetic energy
$\mathcal {E}_0=\mathcal {E}_{k,\textrm {bm}}(t=0)$ for Run1.

We also compare the effects of increasing the number of macro-particles per cell and spatial resolution on the PSD of electric field fluctuations.
Figure 19 shows the PSD of the longitudinal electric field in the
$(k_{\parallel },\omega )$ domain, in which Langmuir waves are expected to be observed, at the time interval
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$. For RunA where there is no electron beam (thus with a zero beam-to-background density ratio), only electrostatic Langmuir waves are observed (see figure 19
$a2$), while for all other cases where the beam is present, fundamental Langmuir waves and up to the third harmonic of Langmuir waves above the noise level are observed (see figure 19
$a1{,}b1{,}b2$). We also utilized RunA on the main text of our paper to evaluate the numerical noise level of the power spectra of the different wave modes. Figure 20 shows a comparison of the PSD of transverse electric field in the
$(k_{\perp },\omega )$ domain, in which electron cyclotron waves caused by ECME are expected to be observed, at the same period. However, only electron cyclotron waves caused by ECRs, X and Z modes are observed for all simulations because there are no perpendicular sources of free energy to cause ECME for the Maxwellian beams. We refer to these wave modes generated in RunA (with only background plasma) as background plasma wave modes, e.g. those wave modes shown in figures 19
$(a2)$ and 20
$(a2)$.
The PSD in the
$k_{\parallel }$–
$\omega$ plane for Runs 1, A, B and C in the time period
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$. The PSD is evaluated as
$\log _{10}|E_{\iota }/B_0|^2$. Dispersion relation curves of the beam mode (red dashed line), fundamental (F, denoted by blue dashed curve) and harmonics (H, denoted by magenta dashed curves) of Langmuir wave (LW) modes are overlaid.

The PSD in the
$k_{\perp }$–
$\omega$ plane for Runs 1, A, B and C in the time period
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$. The PSD is evaluated by
$\log _{10}|E_{\tau }/B_0|^2$. Dispersion relation curves of fundamental (F) and harmonics (H) of electron cyclotron wave (ECW) modes due to ECRs (denoted by red dashed lines), X (green dashed curve) and Z (magenta dashed curve) modes are overlaid.

By comparing results of Run1 and RunA shown in both figures 19 and 20, we find that the beam does not significantly distort these background plasma wave modes. We have arguments to suppose that this distortion should be small. The main argument is that the beam is localized in space to a very small region of the simulation domain, so it does not affect the background plasma modes that much in comparison with the more typical case of a non-localized homogeneous beam in the whole simulation domain. The relatively high beam density indeed contributes towards a larger deviation, but the overall effect is still relatively small. The second argument is that our results indicate that any deviation between the normal plasma modes due to the beam should be near the grid resolution, which is
$\Delta \omega =0.047 \omega _{\textrm {pe}}$ and
$\Delta k=0.03 \omega _{\textrm {pe}}/c$. A more accurate estimation for the deviations of the normal plasma modes due to the presence of the beam should be based on a numerical solution of the linearized Vlasov equation via, for example, a linear Vlasov dispersion solver, at least to provide an upper bound for the case of a homogeneous beam, but this is beyond the scope of our study.
By comparing results of RunB in both figures 19 and 20 we can now assess the influence of the spatial resolution on wave modes. Note that RunB does not only feature a grid cell size half of that of Run1, but also a time step half of that of Run1 in order to satisfy the Courant–Friedrichs–Lewy condition to the same precision. As a result, RunB is eight times more computationally expensive per particle than Run1 because it has four times the number of cells and twice the number of time steps. We notice that in the large-wavevector regime the analytical dispersion relation curve of X mode slightly deviates the corresponding PSD enhancement for each simulation (compare the top-right region in figure 20
$a1{,}b1$). As mentioned in the main text (see § 3.3), this numerical effect has to do with the fact that any numerically obtained dispersion relation curve differs from the corresponding analytical (continuous) dispersion relation curve due to the use of a finite grid cell size and finite time step. Because a smaller grid cell size and time step are used in RunB, the analytical dispersion relation curve of the X mode fits the numerically obtained X mode curve better than in the other simulations with lower resolution. We find that there is not a significant visual difference in the PSD of the longitudinal electric field in the
$(k_{\parallel },\omega )$ domain and that of the transverse electric field in the
$(k_{\perp },\omega )$ domain between RunB and Run1.
Similarly, by comparing results of RunC in figures 19 and 20 we see that the numerically obtained dispersion curves barely change by using double the number of macro-particles per cell.
The previous comparison was rather visual and qualitative. In order to address to what extent the wave modes are actually modified between the various convergence runs, we quantitatively measured this difference by using the integrated spectral power for simulations. Figure 21 shows the integrated spectral power
$\mathcal {P}(\omega )$ according to (3.5) of the parallel electric field corresponding to figure 19 at the time periods
$t=50\text {--}114 \omega _{\textrm {pe}}^{-1}$ and
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$. The local maxima of those curves indicate the characteristic frequencies at the maximum spectral power of beam-generated Langmuir waves and their harmonics (i.e.
$\omega =\omega _{\textrm {pe}},2\omega _{\textrm {pe}},3\omega _{\textrm {pe}}$). In general, figure 21 shows that the integrated spectral power curves of Run1, RunB and RunC almost overlap with each other. The curve corresponding to RunA (see magenta curve in figure 21
$a{,}b$), where there is no electron beam, is significantly lower than the other curves with the beam.
Power spectra
$\mathcal {P}(\omega )$ corresponding to figure 19 of the convergence simulations RunA, RunB and RunC and the standard Run1 during the time periods
$(a)$
$t=50\text {--}114 \omega _{\textrm {pe}}^{-1}$ and
$(b)$
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$.

We proceeded to quantify the relative difference between those curves by calculating
$\Delta \mathcal {E}_i=(\mathcal {E}_i-\mathcal {E}_1)/\mathcal {E}_1$, where
$\mathcal {E}_i$ is the total power density defined as
$\mathcal {E}_i=\int \mathcal {P}_i(\omega )\,\textrm {d}\omega$ (
$i=1$, B, C). For the time period
$t=50\text {--}114 \omega _{\textrm {pe}}^{-1}$, the relative difference of cases B (
$\Delta \mathcal {E}_B$) and C (
$\Delta \mathcal {E}_C$) with respect to the standard Run1 amounts to
$5.6\,\%$ and
$3.2\,\%$, respectively. While for the time period
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$, this difference is equal to
$4.8\,\%$ and
$3.1\,\%$ for runs B and C, respectively.
In order to compare how different is the spectral power at specific frequencies, we calculated the relative difference
$\Delta \mathcal {P}_i(\omega _{\textrm {pe}})=(\mathcal {P}_i(\omega _{\textrm {pe}})-\mathcal {P}_1(\omega _{\textrm {pe}}))/\mathcal {P}_1$ (
$i=\textrm {B}$, C). Note that this calculation is performed for the first spectral power peak
$\omega _{\textrm {pe}}$ corresponding to the fundamental Langmuir mode. This calculation reveals that for the time period
$t=50\text {--}114 \omega _{\textrm {pe}}^{-1}$, the relative difference of cases B and C with respect to the standard Run1 amounts to
$5.1\,\%$ and
$2.0\,\%$, respectively. While for the time period
$t=100\text {--}164 \omega _{\textrm {pe}}^{-1}$, this difference is equal to
$4.4\,\%$ and
$2.3\,\%$ for runs B and C, respectively.
We can thus conclude that the spectral power varies by a maximum factor of
$5\,\%\text {--}6\,\%$ by improving either the grid resolution or the number of particles per cell. This means that there are variations in the waves generated in simulations with improved resolution, but they are rather small. In general, the original values of the spatial and time resolution, as well as the number of macro-particles per cell (as those in Run1) are sufficient to resolve the fundamental and harmonics of waves to the level required for our study.























































































































































