Sticky islands in stochastic webs and anomalous chaotic cross-field particle transport by E B electron drift instability
Abstract
The electron drift instability, present in many plasma devices, is an important agent in cross-field particle transport. In presence of a resulting low frequency electrostatic wave, the motion of a charged particle becomes chaotic and generates a stochastic web in phase space. We define a scaling exponent to characterise transport in phase space and we show that the transport is anomalous, of super-diffusive type. Given the values of the model parameters, the trajectories stick to different kinds of islands in phase space, and their different sticking time power-law statistics generate successive regimes of the super-diffusive transport.
Keywords : Stochastic web, ExB drift instability, Hall thruster, super-diffusive transport
PACS :
05.45.-a Nonlinear dynamics and chaos
52.20.Dq Particle orbits
52.25.Fi Transport properties
52.75.Di Ion and plasma propulsion
05.45.Pq Numerical simulations of chaotic systems
I Introduction
The formation of stochastic web structures and the chaotic transport of charged particles in presence of electrostatic waves and magnetic field have been investigated for several decades zaslavsky91 ; chernikov87 ; vasilev91 ; balescu05 ; bouchara15 ; chen01 ; benkadda96 . In purely chaotic situations where a central limit theorem is valid, the transport process is like a discrete time random walk, and the variance grows linearly with time vkampen92 ; balescu97 ; oeksendal03 . But in the case of mixed phase space where both chaotic and regular trajectories coexist, the transport processes are not so clear Chirikov91 ; Bunimovich15 ; Lozej18 . Usually, trajectories spend more time near the border of the regular region. This type of dynamics can sometimes be modeled using continuous time random walks (CTRW), where the number of jumps within a time interval , and the displacement in each jump are taken from two mutually independent probability densities, and these two probability densities fully specify the probability distribution describing the random walk Balescu:r ; Mendez:v . Transport in such systems can be linked with Lévy flight type processes shlesinger95 ; Negrete:d ; Solomon:t . In presence of a magnetic field, due to the interaction with electrostatic waves, the dynamics of the charged particles become chaotic and, for certain parameter values, they form stochastic webs where chaotic sticky islands, inside which trajectories show regular features, coexist with a chaotic “sea” between islands. Large scale transport is possible through this chaotic domain Boozer94 ; zaslavsky07 ; contopoulos10 .
These web structures exhibit different shapes which depend on the wave vectors and amplitudes of the electrostatic waves, and on the frequency ratios of electrostatic waves frequencies to the electron cyclotron frequency karney78 . The study of particle transport in these web structures helps to understand the anomalous collisionless transport mechanism in magnetized plasmas. In most previous studies, the formation of stochastic webs and the associated transport were investigated for high wave frequency (). Moreover, the perpendicular diffusion coefficient in that limit is calculated by invoking the linear time dependence of the variance karney79 . However, deviations from the linear time dependence of variance are frequently observed in case of mixed phase space.
Here, we consider the collisionless transport mechanism of electrons due to the electron drift instability. In magnetized Hall plasmas kaganovich20 , the electron drift, plasma density, temperature, magnetic field gradients and ion flow are the sources of the drift instabilities or electron cyclotron drift instability mikhailovskii92 . This instability is observed in many magnetized plasma devices like magnetrons for material processing abolmasov12 , magnetic filters boeuf12 , Penning gauges ellison12 , linear magnetized plasma devices dedicated to study cross-field plasma instabilities matsukuma03 , Hall thrusters for space propulsion and many fusion devices. In Hall thrusters and other devices, this drift instability plays a dominant role in anomalous particle transport. In most of these devices, the electrostatic modes generated by drift instability have very small frequencies compared to the electron cyclotron frequency (). Therefore, the resonance condition with the cyclotron harmonics, , is not satisfied.
In previous works, the chaotic dynamics of test particle (electron) near the anode region in Hall thrusters due to inhomogeneities in magnetic field, and its effect on ionization efficiency and anomalous electron transport, were reported even in the absence of waves Marini:S ; Skovoroda:A . In our recent work mandal19a , we present the anomalous transport of electrons due to wave-particle interaction in Hall thruster using a three-dimensional test particle model, even in a uniform magnetic field. But in three space dimensions, the dynamics in the presence of waves is very complicated.
In this paper, we focus on the consequence of the drift instability. We discuss the formation of chaotic web structures and characterize the associated transport properties using a reduced two-degrees-of-freedom Hamiltonian which helps to simplify the original dynamics complexity. In real thrusters, due to the presence of wall boundaries, particles can reflect from the boundary, a process which may destroy the web formation. We find that, in presence of a single background electrostatic wave along with the uniform, static electric and magnetic fields, the trajectories generate web structures, and that, due to the presence of sticky islands, particle transport is super-diffusive. Then we analyse the sticking time statistics by observing a power-law decay of particle presence in each of the sticky sets. Therefore, this work complements our previous findings with a new understanding of the particle transport, which can be applicable in other systems having mixed phase space.
Section II presents the model and its two descriptions (respectively time-dependent and time-independent). Sec. III indicates the numerical method used to integrate the evolution equations. Sec. IV discusses the chaotic web structures generated by the dynamics, Sec. V analyses the transport in these structures, and Sec. VI discusses the effect of sticking to invariant islands on transport. We conclude in Sec. VII.
II Reduced Hamiltonian dynamics and the elementary model
II.1 Fields acting on an electron
We consider a Cartesian coordinate system for the numerical modelling, with -direction along the magnetic field , -direction as drift direction and -direction along the constant electric field (see fig. 1 of mandal19a ).
In Hall thruster geometry, unstable low frequency () electrostatic waves are generated due to drift instability. A 3D dispersion relation of this instability for Hall thruster has been derived by Cavalier et al. cavalier13 . The most unstable mode boeuf18 is given by and , where and are the electron Debye length and ion plasma frequency respectively. Its propagation angle deviates by from the -direction near the thruster exit plane. Hence, the wave vector along the -direction is small (), and the electric field along the -direction is dominated by the stronger constant axial electric field . Therefore, for simplicity, we remove here the -variation of the electric field.
For this first investigation, we consider only the fastest growing mode. The total electric field acting on the particle is
(1) |
with the local phase , where the wave vector and the wave angular frequency follow the dispersion relation of the electron drift instability cavalier13 and . The origin of time is such that for , . The position , velocity , time and the potential are normalized with Debye length , thermal velocity , inverse electron plasma frequency and , respectively. We choose the amplitude equal to the saturation potential boeuf18 at the exit plane of the thruster . We consider a single mode with (.
Earlier studies of Hall thruster cavalier13 reported that the comb-like unstable modes found in axial-azimuthal plane get smoothed out as one increases the wave vector parallel to the magnetic field ; for large values (), the dispersion relation tends to follow an asymptotic curve corresponding to a modified ion acoustic instability. At small values, the real part of the frequency given by the dispersion function oscillates about this asymptotic curve and crosses this asymptotic curve at each resonance (and also one time between each resonance), as can be seen in figure 2 of ref. cavalier13 , while the growth rate depends strongly on at that point. As our model is not self-consistent, so that the amplitude of the wave is fixed according to experimental measurements in Hall thrustertsikata10 , we only use the real part of the frequency of the unstable mode. The mode considered is the one having the largest growth rate and corresponds to one of the resonances. So the real part of the frequency at that point is correctly given by the approximated dispersion relation boeuf18 , even though the value of chosen here is too small to ensure a smoothed dispersion relation.
From here on, we write for . In normalized units, the cyclotron frequency , , and the drift velocity . Therefore, the -component of the mode phase velocity is small ().
As a result, in the Lorentz equation of motion of a particle with mass and charge
(2) |
the electric field has a constant part along -direction and a slowly time varying part in plane. Eq. (2) can be written componentwise, using Eq. (1), as
(3) | |||||
(4) | |||||
(5) |
where and are the amplitude of the - and -components of electric field, respectively. Eq. (5) can be integrated:
(6) |
where is a constant of integration, and are the particle’s initial -component velocity and position along -direction, respectively. Substituting in Eq. (4), and recalling the drift velocity , we reduce the equation of motion of the particle to a system of two equations,
(7) |
II.2 Time-dependent Hamiltonian
System (7) derives from the Hamiltonian
(8) | |||||
where is a constant. By means of the generating function
(9) |
we change to new variables in a frame moving with a constant velocity along the -direction (which we call a “drifted frame” for figures),
(10) |
Using these new coordinates (10), the new Hamiltonian (after removing terms irrelevant to the motion) and the equations of motion read
(11) |
with and where is constant.
The dimensionless equations of motion are obtained using the dimensionless variables , , . Introducing the new notation , and , we obtain the dimensionless equations
(12) |
In this paper, we solve Eqs (12) numerically using a second order symplectic scheme. The dynamics involves two degrees of freedom with a time-periodic dynamics (with period , so that the effective phase space is 5-dimensional. The coordinate admits periodic boundary condition (with period ), whereas runs over the real line.
The dynamics depends on three parameters, , and . For , is ballistic and is a harmonic oscillator, in agreement with the well-known solutions for particle motion in stationary, uniform fields and .
Note that, in Hall thrusters, is radial and is axial, so that the drift is azimuthal. The coordinates and are thus defined on circles, while and are actually bounded by the inner and outer cylindrical chamber walls. The origin for and are determined by the initial conditions and the phase convention for the electrostatic mode, respectively.
II.3 Time-independent Hamiltonian
A time-independent Hamiltonian can be derived by means of a Galileo transformation along with velocity . With the generating function and change of variables
(13) |
the Hamiltonian (up to terms irrelevant to the motion) and the equations of motion can be written as
(14) |
Setting , and , the equations of motion (14) reduce to
(15) |
Eq. (15) is solved numerically for various parameters and initial conditions.
This dynamics depends on two parameters only, and . It involves two degrees of freedom, with the coordinate obeying periodic boundary condition (with period ), whereas runs over the real line. As the dynamics is autonomous, it preserves the “energy” . Therefore, trajectories stay on smooth 3-dimensional surfaces, and they may be visualised by means of 2-dimensional Poincaré sections.
While coordinates and are related with the Hall thruster chamber, coordinates simplify further the dynamics, provided one does not worry about boundary conditions. Therefore, we use both the time-independent and the time-dependent representations in the following discussions.
For , viz. in absence of electrostatic wave, the dynamics is integrable. Its dimensionless actions are the linear momentum with angle the position periodic with period in agreement with the boundary condition, and the gyration energy (divided by the cyclotron frequency, which is 1) with angle the gyrophase in the plane. In presence of the electrostatic wave, for small , these actions generate two adiabatic invariants. For also small, the actions evolve on different time scales (in terms of the dimensionless ), namely for the oscillations of and for the nearly-ballistic motion of .
III Numerical method
Because the right hand sides of Eqs (12) and (15) depend on space, the infinitesimal generators for both velocity and position equations do not commute, and one uses a time-splitting numerical integration scheme. Since the dynamics is Hamiltonian and we are interested in long-time evolution, we choose a symplectic scheme, which guarantees preservation of the hamiltonian structure exactly and ensures over very long time the conservation of a hamiltonian close to the original one Benettin99 ; Hairer03 .
The positions are advanced with the map , and the velocities are advanced in the form and . As a result, we use a second-order symmetric leapfrog scheme, which evolves (15) as the map
(16) |
(17) |
We evolve Eqs (12) similarly, with evaluated at midstep .
IV Stochastic web structure
The values of in a Hall thruster device for the fastest growing mode () are , and . As is not small, the gyration action is definitely not conserved, as will be seen in the phase space plots. However, so that the ballistic action is almost conserved over times . Moreover, , so that which also ensures conservation of the action for long time. We checked that setting with all other parameter kept constant gives similar phase space plots as . For higher values like , the action is not conserved over long times, which changes the phase space structure.
Here we first focus on transport for web structures with three-fold rotational symmetry () as in the Hall thruster geometry, and its harmonic the six-fold rotational symmetry () with respect to gyration variables . By “rotational symmetry” we mean that, if one rotates the -space web structure by angle around the origin, then it generates an identical phase space structure. To assess the importance of having an integer value for the forcing frequency , we also consider the non-resonant value . For the time-independent description, the initial velocity plays a similar role, and we also contrast the integer values and with the rational value .


For small values , the dynamics generate a spiral stochastic web vasilev91 in the three-dimension space (). Moreover, for , the dynamics is nearly integrable and the chaoticity vanishes. In the section cut by a plane , the web is a system of concentric circles and of straight lines passing through the co-ordinate origin in the () plane. The cells of the web form concentric “belts” around the coordinate origin. These trajectories are called “web trajectories”, due to their special structural shape. Birkhoff’s theorem ensures that, for small, nonzero and , the Poincaré map has O type (elliptic) fixed points and X type (hyperbolic) ones ; regular trajectories are organized in islands around the O points, while chaotic ones wander through the heteroclinic and homoclinic tangles associated with the stable and unstable manifolds of the X points ElEs03 .
Fig. 1 presents the web network for different initial particle positions, for , and . Due to small value, the Hamiltonian is nearly integrable and KAM theory applies. When varies, as a result of detuning from longitudinal cyclotron resonance (), the separatrix network and, consequently, the stochastic web rotate about the coordinate origin with angular velocity . But the shape and area of the shells remain constant, and a particle that is executing rapid rotation inside a cell sufficiently far from the separatrix of the averaged motion will never intersect the stochastic web and will move regularly.
For high values of or , varies rapidly and the chaotic tangle network also rotates rapidly compared to the case with slowly varying . This precludes the presence of islands in the phase space for long time evolution. Fig. 2 presents the rotation of a regular web trajectory due to the high value.
In our simulations, we evolve the dynamics of 1024 particles having initial Gaussian velocity distribution with unit standard deviation along the -direction and covariance . Along the -direction, we consider a very small standard deviation , and choose the square of wave vector ratio . We first consider the time-dependent dynamics in Sec. IV.1, then the time-independent cases in Sec. IV.2.
IV.1 Time-dependent Hamiltonian
For the time-dependent Hamiltonian, the dynamics depends on . Parameter expresses the ratio of bounce frequency to cyclotron frequency, expresses the ratio of the parallel and perpendicular components of the wave electric field, and is the normalized frequency of the electrostatic wave in the drifted frame.
A large value of or causes the dynamics detuning from the longitudinal resonance condition, , where is an integer. Therefore, the orbits in the web structure drift more rapidly away from their initial action values, covering the entire phase space inside the web and destroying islands. In our present simulation, and which induces a slow drift of the trajectory.
We evolve Eqs (12) numerically for three different sets of parameters , and , respectively. The frequency of the electrostatic mode is very small with respect to . In the drifted frame, one has , and the chaoticity criterion derived by Karney karney78 must hold. For all three sets of parameters, this stochasticity criterion is indeed satisfied.



We first plot the stroboscopic Poincaré section in the plane of a single particle trajectory at times , where . The parameter determines the radius of the stochastic web. The value of determines the shape of the web structure. For integer , we observe a web structure with -fold rotational symmetry (Figs 3 and 4). For parameters with non-integer , the dynamics generates a Halloween mask-like, deformed three-fold web structure (Fig. 5).
Along , the dynamics Eq. (12) has two time scales, one associated with the electrostatic wave (with period in the drifting frame) and the other associated with a simple harmonic oscillator with period . Therefore, an integer value of causes resonance between these two time scales and one can eliminate the time dependence by taking the Poincaré section at a regular time interval, , to generate the stochastic web structures in the Poincaré section plot. The reduced frequency will determine the shape of the web structure.
For fixed values of , and , any initial condition , within the chaotic domain of the stochastic web, generates a similar web structure, and the particles with initial conditions outside the web structure and well inside the sticky islands (regions with no points in the web structures) generate regular trajectories.


IV.2 Time-independent Hamiltonian
In the time-independent Hamiltonian, and the dynamics depends on only. In this case, for any initial condition within the chaotic domain of the stochastic web, the shape of the web structure depends on the initial values. For different values, the trajectory lies on different energy surfaces constant. Thus, particles with different initial conditions generate different web structures. Since in this study, the motion along the direction is almost ballistic, . Therefore, we can generate Poincaré section plots by taking sections at , where is an integer.
Figs. 6 and 7 display the stroboscopic plot of the time-independent dynamics Eq. (15) with and two different initial velocities along the direction, and respectively. For integer values of as in Fig. 6, the dynamics generates web structures similar to those generated in the Poincaré section plot for the cases of time-dependent dynamics (12) with same integer values of . Fig. 7 presents the stroboscopic plot of a particle with , which corresponds to a higher-order resonance () : for fractional values of , the stroboscopic plot generates different structures, because each of the different initial conditions lies on a different energy () surface. Therefore, the web structures in the time-independent dynamics highly depend on the initial conditions of the particle.
V Transport properties
To characterise the transport properties, we consider a simple observable. Previous studies leoncini08 ; bouchara15 for time-dependent one-degree-of-freedom Hamiltonian systems focused on the norm of velocity in phase space, where are canonical co-ordinates. Here, we consider the arc length of the trajectory in position space only, or, in dimensionless variables of Eqs (12),
(18) |
Numerically, we consider the global average speed along the trajectory of a typical particle
(19) |
where is the timestep index, with coordinate increments
(20) | |||||
(21) |
In eq. (19), the discretized form of the integral (18) is used.


When conditions are met so that we can apply the central limit theorem, the distribution of quantity
gives a normal distribution function with mean and variance , where and is defined below. The difference between the quantity and is the rescaling by in . The variance of the distribution of shrinks with rate as increases. Since the area under the distribution function is constant (equal to unity), the height of the distribution increases with rate as the variance shrinks. We define as the sampling density of the distribution of ’s. Therefore, good ergodic properties of the dynamics (12) would include the convergence of towards a Dirac distribution for , in which case the support of the limit is the time average of the ’s,
(22) |
and, almost surely with respect to the initial condition (viz. index ),
(23) |
In the present case, what is understood by ergodic properties is that, when considering initial conditions in the chaotic sea, they will almost surely give rise to the same natural ergodic measure, meaning that they equally sample all the accessible chaotic domain of phase space when the dynamics evolve for sufficiently long time.

One method to assess the convergence of is to look at how fast its maximum value diverges towards with . In order to characterize this speed, one can typically expect that a scaling applies to increments in (19), so that one may expect
(24) |
where the exponent characterises the nature of the transport. If increments in (19) are quite independent and a central limit theorem applies, transport is diffusive and . For it is sub-diffusive, and for it is super-diffusive.
Indeed, instead of considering the global average quantity (speed) , one may consider the arc length in order to characterise the transport. Here, when we can apply the central limit theorem, one expects the variance of the distribution of ’s to grow like . One can also calculate different moments of the distribution of ’s and extract the characteristic exponent from
(25) |
The second order exponent may be related bouchara15 to the variance of the displacement in space, . For a chaotic system of diffusive type, , while for an anomalous transport.
Moreover, the area under the distribution function is constant, which implies that the variance grows faster in presence of fat tails than in the diffusive case. Therefore, implies super-diffusive transport and implies sub-diffusive transport. The exponent associated with of the speed distribution is different from this which is associated with the moment of the position-displacement distribution, but in the same spirit and due to the fact that normalized distributions have constant area, the existence of fat tails will imply that the maximum will not grow so fast, and thus for indicates super-diffusive transport, whereas indicates sub-diffusive transport. Both the scaling parameter and characterise the diffusion property, and one may derive leoncini08 a relation between them.
The non-diffusive aspect of transport implies that the usual central limit theorem does not apply. However, the motion of trajectories in the chaotic web does lose correlations, and each trajectory typically generates a similar picture of the web. Thus, one can still view a trajectory as a sequence of pieces which are essentially mutually independent, but with duration in time and extent in space which do not meet the finite variance assumption necessary for the gaussian central limit. In other words, the successive pieces generate a process obeying a scaling law, viz. it is infinitely divisible, and their (properly rescaled) sum has a Lévy distribution characterized by the scaling exponent balescu97 ; zaslavsky07 .
V.1 Time-dependent Hamiltonian
In Figs. 8 and 9, we plot the distribution of
(26) |
for two different web structures, with and , respectively. One can calculate the arc length for a time-independent dynamics also, but in the time-dependent dynamics, the parameter is important in Hall thrusters. It expresses the frequency of the electrostatic modes generated by the instability, in a frame which moves with the drift velocity along the direction. As our study is motivated by the anomalous chaotic transport in Hall thruster devices, we choose the time-dependent dynamics for characterising the transport for and .
To characterize the transport, we consider two different stochastic webs corresponding to values and for parameters . We evolve the equations of motion (12) for 1024 particles with all initial conditions inside the chaotic domain, we calculate the arc length for each particle trajectory for a long time evolution () using a timestep value in simulation, and we generate the distribution of the global average speed.
We plot the distribution at different times in Figs. 8 and 9 for both cases. To avoid nonphysical peaks in the distribution of , the length of the time sequence should be sufficiently long for the dynamics to reach a saturation state, i.e. for the Poincaré section of each particle’s trajectory to sample the whole phase space reach of the web. Here, we construct the distribution functions at times .
In the plot, the strong sharp peaks are associated with the stickiness phenomenon, by which a trajectory may remain for a long time close to the regular islands. The number of sharp peaks depends on the number of resonance generating sticky islands within the web structures, which we further discuss in the next section. We obtain more peaks for (Fig. 9) than for (Fig. 8). In the figure, , where is the average time between two successive Poincaré sections. The relative magnitude of these sharp peaks decreases as , because the contribution from the chaotic domain becomes large compared to the contribution from the sticky regular trajectories as we consider a longer time evolution.
In both Figs. 8 and 9, the distribution after time (yellow line) has almost zero relative strength of the sharp peaks, compared to the height of the smoother distribution. Stickiness generates a memory effect and Lévy flights leoncini04 . In absence of these sticky trajectories, the transport is purely diffusive and the exponent takes the value . In the presence of these sticky trajectories, the transport will be anomalous.
To measure , we find the value of from the local maximum of the central smooth flat peak location which corresponds to the bulk and particles evolving in the chaotic domain, and not the sticky domains. In Fig. 10, we plot the time evolution of for both cases and . From the curve fitting, we obtain two different values and for the case (magenta dashed line and data dots), and and for (black). Both values of in both cases are below . Thus, the diffusion is anomalous and super-diffusive.
After a longer time evolution, most of the particles spend more time exploring the chaotic region of the stochastic web and sampling the ergodic measure. It appears that the contribution from the sticky islands “decreases” in comparison with the contribution from the chaotic domain, and that the “diffusion” rate increases at longer time (). Note however that, even for large times, the exponent being smaller than 1/2 implies that the average speed fluctuations do not approach a Gaussian distribution, hence they do not obey the central limit theorem over this time scale, and transport is superdiffusive.
V.2 Time-independent Hamiltonian
Similarly, we analyse transport for a stochastic web structure generated from the time-independent Hamiltonian with the corresponding arc length
(27) |
Transport in web with simple rational parameter: The trajectories of 1024 particles are computed numerically up to time with time step . All particles are initially randomly distributed in plane within and . Their initial velocities along the -direction are drawn from a Gaussian distribution with unit standard deviation. Along the -direction, we consider three different values , and (simple rational) in order to analyse the transport in three different web structures generated from the time-independent Hamiltonian (15). For all three cases, we consider and .



Figs. 11, 12 and 13 present the distribution of the average speed at different times for all three cases. Similarly to the time-dependent cases, sharp peaks in the distribution of average speed appear due to the presence of the sticky islands, and the number of sharp peaks is larger for the web structures with six-fold rotational symmetry, , than for the three-fold rotational symmetry, . In the case , as seen in Fig. 7, the number and area of sticky islands are smaller than for . Therefore, the height in the smooth part of the distribution, due to the chaotic domain, is larger for .

To estimate the exponent values from Eq. (24), we plot in Fig. 14 the time evolution of for all three cases. For (magenta) and (black), the plots are similar to the time-dependent cases. From the curve fitting, we obtain two different values of in two different regimes of the plots, and . In both cases, the transport is anomalous of super-diffusive type. The values for the shorter time span () are very close to the values that are recovered for the time-dependent dynamics.
For fractional values of , the number and area of the sticky islands are smaller than for the other two cases. Most of the region within the stochastic webs is part of the chaotic domain, therefore the height of the distribution increases at a higher rate than in the other two cases, as we increase the value of . For , we find higher exponent values, . At short time, the relative contribution from sticky trajectories is significantly large, which reduces the exponent value to ; in contrast, for longer time , the contribution from the chaotic region dominates over the contribution from sticky islands, and sharp peaks almost disappear, which increases the exponent value to , so that the transport becomes closer to a diffusive type.


Transport in Halloween mask like web: For (further away from a simple rational) and , we also draw 1024 initial conditions in the chaotic part of the domain defined by , a Gaussian random number with expectation 0 and standard deviation 1, and outside the islands (typically, ). With these parameters and initial conditions, the same analysis applies, as seen from the peaks in the distribution in Fig. 15 and from the slopes in Fig. 16. In the next section, we discuss this change of exponent values more quantitatively.
VI Effect of sticky island on anomalous transport: change of
In this section, we will attempt to quantify the impact of a sticky set on the transport, recalling that must be 0.5 when the central limit theorem can be applied, whereas it is anomalous if . The superdiffusive or subdiffusive nature of transport is measured by the weight of the tails in the distributions : (i) if there are fat tails (compared to the diffusive bulk of the distribution), the maximum of the distribution will grow slower than power and we expect superdiffusion, while (ii) if there are thinner tails, the maximum of the distribution will grow faster than power and we expect subdiffusion. The presence of the sharp peaks in the distribution of , Figs 8, 9, 11, 12, 13 and 15, increases the effective weight of the tail of the distribution, which makes exponent .

Each of the sharp peaks is related to the presence of sticky islands in the phase space. Thus, one can select the portions of trajectories contributing to each peak and locate them in the Poincaré map. Specifically, given a trajectory (with initial condition labeled ) over a long time span , and a sticking time , we fix a delay , and consider the arc lengths of the portion of over , for for some large , where is the maximum value of the time evolution, . For a moderate value of (say, ), this method generates time sequences of length which we analyse. Indeed we generate the distribution functions using the same technique. Therefore, is any time when the distribution function is generated. The minimum value of and should be such that the dynamics become sufficiently ergodic within that time, i.e. it covers the entire chaotic domain of the phase space. Since we plot in scale, we choose the values . The maximum value of is determined by the relation , such that the total number of data points for each distribution , which constructs a smooth distribution function at any time .
In particular, we extract the points () associated with each that generates a sharp peak in the distribution and we plot their Poincaré section in the plane, which generates the particular sticky set. This is done in Fig. 17 for the web structures with three-fold symmetry for the trajectories with sticking duration such that . There are three peaks, at , at and at , in Fig. 11, each with a finite width. For each peak, we identify the trajectories contributing to the peak, and plot their Poincaré section, whereby the sticky regions emerge. In Fig. 17, the sticky regions denoted by blue, red and black dots are associated with the peaks , and , respectively.
In Fig. 13, the distribution of average speed for the web with six-fold symmetry has seven peaks, namely at , at , at , at , at , at and at . In a similar way, we locate the sticky region in the phase space for each of these peaks for the same duration , such that . In Fig. 18, the blue, red, green, magenta, cyan, yellow and black dots identify the sticky regions associated with the peaks to , respectively. Thus, all peaks in the distribution plots are associated with different sticky sets. In Fig. 19, we similarly identify the sticky sets associated with the peaks for the stochastic web with Halloween mask like structure of Eq. (15) for , and .


Sticky sets are special in the dynamics, because they influence transport in the chaotic domain. Therefore, they are not islands in which the trajectory remains forever : their trajectories leave them to wander further through the chaotic domain. This implies that a group of trajectories initially in the sticky set will leak into the main chaotic sea – but slowly enough for their stickiness to show up. Geometrically, sticky regions correspond to tangles bordering islands. If the initial condition of a particle is well inside an island, the dynamics of the particle will be essentially regular : it never exits from the islands chain and generates a sharp peak in the distribution which never becomes empty with time. Those regular trajectories do no contribute to the anomalous transport. We exclude all the regular trajectories to remove those peaks by considering all the initial condition inside the chaotic domain.
Each sticky set leaks into the main chaotic domain at its own rate, which we discuss below. However, because our dynamics is hamiltonian, we also know from the Poincaré recurrence theorem that any trajectory will, after a sufficiently long but finite time, return to a state arbitrarily close to its initial state. Therefore, the leakage from a sticky set is a transient process and, in general, the trajectories having left such a set behave afterwards like any other trajectory of the chaotic domain. It will almost surely return, at a later time, close to its initial state, but the statistics of this Poincaré recurrence time and its sensitivity to the initial data are another issue, which we do not discuss.
To understand the influence of stickiness on anomalous transport, we now consider the web structure with three-fold symmetry, and investigate the change of each peak for increasing evolution time . This analysis makes it possible to see the time evolution of the particles trapped in the corresponding islands. From the distribution of average speed, one can count the number of data points that contribute to each specific peak at different times . Then one estimates how long the particles are sticking to each specific island, by monitoring the change of area localized under each of those peaks as a function of . Therefore, this area yields the weight of sticking to that particular island, until at least , which can be written as
(28) |
where is the index for each peak, is the area under the peak at time , and the statistics are gathered from a “very long” run . Under an ergodic assumption leoncini04 ; Meziani:b2012 , this weight would enable one to estimate the probability that a trajectory would stick to island for at least the duration . For large sticking time, a self-similar behaviour in the small scales in phase space near the island will be associated with a power law decay with an exponent ,
(29) |
where we consider and replace with . This integration is valid only for .
In order to analyze the sticking-times statistics, we count the number of data points sticking to each island and plot them in logarithmic scale versus the duration. One way to do is by integrating the distribution along the axis, at the particular sharp peak location. But when we locate, in the () Poincaré section, the dots associated with the sharp peaks, we found some dots actually situated within the main chaotic domain, and moreover the sticky sets overlap with each other on this one-variable () axis. Therefore, to find the actual value associated with the sticky sets only, one should count the dots situated only near the chaotic tangle bordering the island. Each sticky set leaks with time and mixes into the more regular chaotic domain.
So, we define the border of the web network by an invariant surface with dimensionless radius , which is associated with the gyration action. The number density within each sticky set decreases rapidly away from the surface = constant. Therefore, to count the dots belonging only to the sticky sets, we denote the maximum and minimum value of by and respectively for each peak. We consider three different annular domains in phase space, one for each peak, using the radius . In the section plane, is associated with the annulus with inner radius and outer radius ; similarly, with and , and with and . From the data set associated with each peak, we identify those points which satisfy . We perform this counting for all the values to obtain , we plot vs. , and read the exponent from the slope according to Eq. (29). During the counting process, one should keep in mind that the length of analysed data set should be constant for all the time .

Fig. 20 presents these results. The time evolutions of , and are presented by blue, red and black dot respectively. Among all three peaks, is the strongest peak in the distribution. Initially, the exponents in Eq. (29) for all three peaks have very small values , namely , and . For , the exponent value for the strongest peak increases to . The cross-over of the second strongest peak occurs for , when the exponent value changes to , which still implies . For the weakest peak , the exponent changes to when . Since the exponent value for the strongest peak changes when , the strength of this peak starts to decrease (leak) faster, which helps to increase the maximum of the average distribution at a faster rate. Therefore, the value of the transport exponent , from Eq. (24), increases after , which is also observed in Fig. 14.

VII Conclusions
In this paper, we discuss the transport due to electrostatic waves generated by the electron drift instability. The original time-dependent 3-degrees-of-freedom problem is reduced to a 2-degrees-of-freedom time-dependent model and a 2-degrees-of-freedom autonomous model. Due to the wave-particle interaction, the dynamics become chaotic, and trajectories form stochastic web structures with different shape for different parameters, which we investigated for both the time-dependent and time-independent descriptions.
Along with each web structure, there occur sticky islands where the trajectory spends more time compared to the purely chaotic domain, which affects the diffusion rate mandal19a . We use a scaling exponent for characterising the particle transport, and find that the transport is anomalous, of super-diffusive type. The presence of sticky islands generates sharp peaks in the distribution of average speed (a phase space observable) which increases the effective weight of the tail in the distribution. Considering the Poincaré recurrence theorem and Kac’ lemma for the sticky sets, we estimate a power law decay for the probability that a trajectory would stick to an island. With increasing duration of the time evolution, sticky sets start to become empty and they decay with a higher exponent value. This change in the exponent values also affects the transport-coefficient exponent values.
In real Hall thrusters, the instability generates many unstable modes, with different frequencies and wavevectors. In this case, even for small amplitude waves, the dynamics cannot be reduced to a time-independent 2-degrees-of-freedom model. However, each wave will typically bear its own dimensionless parameters , with small values for and . Therefore, the several-wave dynamics will exhibit resonance overlap between the structures generated by these individual waves, resulting in smaller islands (if any survive ElsEsc91 ; ElsEsc93 ; Neishtadt19 ) and more regular transport mandal19a . In case of presence of harmonics modes, different types of web structures (mixed phase space) are formed in the phase space vasilev91 , which therefore will generate super-diffusive transport.
Beside the effect of several waves, three issues must also be considered. First, the thruster chamber is a cylinder, where the intensity of the radial magnetic field decreases for larger radius (here ) and the azimuthal coordinate (here ) is periodic. Second, electrons do not stay forever in the chamber, which implies that tools of transient chaos Tel15 will be relevant. Third, the electrons charge and current generate electromagnetic fields, so that the system needs a self-consistent many-body description.
Acknowledgements
This work is part of IFCPRA project 5204-3. We acknowledge the financial support from CEFIPRA/IFCPRA. The Centre de Calcul Intensif d’Aix-Marseille is acknowledged for granting access to its high performance computing resources. We are grateful to Professors Dominique Escande and Abhijit Sen for many fruitful discussions, and to anonymous reviewers for their comments.
References
- (1) G. M. Zaslavsky, Chaos 1, 1 (1991), doi:10.1063/1.165811.
- (2) A. A. Chernikov, M. Ya. Natenzon, B. A. Petrovichev, R. Z. Sagdeev and G. M. Zaslavsky, Phys. Lett. A 122, 39 (1987), doi:10.1016/0375-9601(87)90772-9.
- (3) A. A. Vasil’ev and G. M. Zaslavsky, Sov. Phys. JETP 72, 826 (1991).
- (4) S. Benkadda, A. Sen and D. R. Shklyar, Chaos 6, 451 (1996), doi:10.1063/1.166187.
- (5) L. Chen, Z. Lin and R. White, Phys. Plasmas 8, 4713 (2001), doi:10.1063/1.1406939.
- (6) R. Balescu, Aspects of anomalous transport in plasmas, IoP Publishing (Bristol, 2005).
- (7) L. Bouchara, O. Ourrad, S. Vaienti and X. Leoncini, Chaos, Solitons and Fractals 78, 277 (2015), doi:10.1016/j.chaos.2015.08.007.
- (8) N. G. van Kampen, Stochastic processes in physics and chemistry, Elsevier (Amsterdam, 1992).
- (9) R. Balescu, Statistical dynamics – Matter out of equilibrium, Imperial College Press (London, 1997), doi:10.1142/p036.
- (10) B. Øksendal, Stochastic differential equations, 6th ed., Springer (Berlin, 2003).
- (11) B. V. Chirikov, Chaos, Solitons and Fractals 1, 79 (1991), doi:10.1016/0960-0779(91)90057-G.
- (12) L. A. Bunimovich and L. V. Vela-Arevalo, Chaos 25, 097614 (2015), doi:10.1063/1.4916330.
- (13) Č. Lozej and M. Robnik, Phys. Rev. E 98, 022220 (2018), doi:10.1103/PhysRevE.98.022220.
- (14) R. Balescu, Phys. Rev. E 51, 4807 (1995), doi:10.1103/PhysRevE.51.4807.
- (15) V. Méndez, D. Campos and F. Bartumeus, Stochastic Foundations in Movement Ecology – Anomalous Diffusion, Front Propagation and Random Searches, ch. 4, pp. 113-148. Springer (Heidelberg, 2014), doi:10.1007/978-3-642-39010-4_4.
- (16) M. F. Shlesinger, G. M. Zaslavsky and U. Frisch (eds), Lévy flights and related topics in physics (Nice, 27-30 June, 1994), Springer (Berlin, 1995).
- (17) D. del-Castillo-Negrete, Phys. Fluid, 10, 576 (1998), doi:10.1063/1.869585.
- (18) T. H. Solomon, E. R. Weeks and H. L. Swinney, Physica D 76, 70 (1994), doi:10.1016/0167-2789(94)90251-8.
- (19) A.H. Boozer, Phys. Lett. 185, 423 (1994), doi:10.1016/0375-9601(94)90178-3.
- (20) G. M. Zaslavsky, The physics of chaos in hamiltonian systems, 2nd ed., Imperial College Press (London, 2007).
- (21) G. Contopoulos and M. Harsoula, Int. J. Bif. Chaos 20, 2005–2043 (2010), doi:10.1142/S0218127410026915.
- (22) C. F. F. Karney, Phys. Fluids 21, 1584 (1978), doi:10.1063/1.862406.
- (23) C. F. F. Karney, Phys. Fluids 22, 2188 (1979), doi:10.1063/1.862512.
- (24) I. D. Kaganovich et al., arxiv.org/abs/2007.09194.
- (25) A. B. Mikhailovskii, Electromagnetic instabilities in an inhomogeneous plasma, transl. E. W. Laing, Institute of Physics Publishing (Bristol, 1992).
- (26) S. N. Abolmasov, Plasma Sources Sci. Technol. 21, 035006 (2012), doi:10.1088/0963-0252/21/3/035006.
- (27) J. P. Boeuf, J. Clauster, B. Chaudhury and G. Fubiani, Phys. Plasmas 19, 113510 (2012), doi:10.1063/1.4768804.
- (28) C. L. Ellison, Y. Raitses and N. J. Fisch, Phys. Plasmas 19, 013503 (2012), doi:10.1063/1.3671920.
- (29) M. Matsukuma, Th. Pierre, A. Escarguel, D. Guyomarc’h, G. Leclert, F. Brochard, E. Gravier and Y. Kawai, Phys. Lett. A 314, 163 (2003), doi:10.1016/S0375-9601(03)00865-X.
- (30) S. Marini and R. Pakter, Phys. Plasmas 24, 053507 (2017), doi:10.1063/1.4982685.
- (31) A. A. Skovoroda, E. A. Sorokina, and O. I. Podturova, Plasma Phys. Rep. 45, 941 (2019). doi:10.1134/S1063780X19100064.
- (32) D. Mandal, Y. Elskens, N. Lemoine and F. Doveil, Phys. Plasmas 27, 032301 (2020), doi:10.1063/1.5134148.
- (33) J. Cavalier, N. Lemoine, G. Bonhomme, S. Tsikata, C. Honoré and D. Grésillon, Phys. Plasmas 20, 082107 (2013), doi:10.1063/1.4817743.
- (34) J. P. Boeuf and L. Garrigues, Phys. Plasmas 25, 061204 (2018), doi:10.1063/1.5017033.
- (35) S. Tsikata, C. Honoré, N. Lemoine and D. M. Grésillon, Phys. Plasmas 17, 112110 (2010), doi:10.1063/1.3499350.
- (36) G. Benettin and F. Fassò, Appl. Numer. Math 29, 73 (1999).
- (37) E. Hairer, Ch. Lubich and G. Wanner, Acta Numerica 12, 399 (2003), doi:10.1017/S0962492902000144.
- (38) Y. Elskens and D. Escande, Microscopic dynamics of plasmas and chaos, IoP Publishing (Bristol, 2003).
- (39) X. Leoncini, C. Chandre and O. Ourrad, Comptes Rendus Mécanique 336, 530 (2008), doi:10.1016/j.crme.2008.02.006.
- (40) X. Leoncini, L. Kuznetsov and G. M. Zaslavsky, Chaos, Solitons and Fractals 19, 259 (2004), doi:10.1016/S0960-0779(03)00040-7.
- (41) B. Meziani, O. Ourrad and X. Leoncini, pp. 58-66 in X. Leoncini and M. Leonetti (eds), Chaos, Complexity and Transport, World Scientific (Singapore, 2012), doi:10.1142/9789814405645_0006.
- (42) Y. Elskens and D.F. Escande, Nonlinearity 4, 615 (1991), doi:10.1088/0951-7715/4/3/002.
- (43) Y. Elskens and D.F. Escande, Physica D 62, 66 (1993), doi:10.1016/0167-2789(93)90272-3.
- (44) A. Neishtadt, Nonlinearity 32, R53 (2019), doi:10.1088/1361-6544/ab2a2c.
- (45) T. Tél, Chaos 25, 097619 (2015), doi:10.1063/1.4917287.