Open access peer-reviewed chapter

Phase Space Dynamics of Relativistic Particles

Written By

Hai Lin

Submitted: 17 April 2017 Reviewed: 13 September 2017 Published: 20 December 2017

DOI: 10.5772/intechopen.70957

From the Edited Volume

Accelerator Physics - Radiation Safety and Applications

Edited by Ishaq Ahmad and Maaza Malek

Chapter metrics overview

1,548 Chapter Downloads

View Full Metrics


By analyzing bottleneck of numerical study on six-dimensional (6D) phase space dynamics of electron beam, we present a universal and practical scheme of exactly simulating the 3D dynamics through available computer group condition. In this scheme, the exact 6D phase space dynamics is warranted by exact solutions of 3D self-consistent fields of electron beam.


  • Vlasov-Maxwell system
  • electron beam
  • phase space dynamics
  • microscopic distribution function
  • self-consistent fields

1. Introduction

The dynamics of electron beam in various man-made apparatus is a kernel content of accelerator/beam physics [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11]. Such a beam can be described by well-known Vlasov-Maxwell (V-M) equations [1, 2, 3, 12, 13, 14]. Because usually the number of realistic particles (each has a mass me and a charge e) in an electron beam is at astronomical figure level, it is really a huge challenge to calculate realistic 3D dynamics of such a beam even through the most advanced computer groups available currently.

This can be well illustrated by following rough estimation. An electron needs to be described by six real-valued variables (for its three position components and three velocity components), and each real-valued variable will cost ~24 byte storage mount. For a realistic beam with a total charge at pC level, the number of realistic particles it contains will be about 10−12 + 19/1.6~6.3 × 107 and hence corresponds to 1.5 GB storage mount. If numerical experiment is conducted through a single-CPU computer, according to the most advanced personal computer currently available, 1.5 GB can be contained in the memory which is commercially available at 4 GB level. Thus, if all data can be stored in the memory, time-consuming data exchange between the memory, a high-speed storage medium, and the disk, a low-speed storage medium, can be avoided and the time cost of updating these data per round will be determined by the time cycle of CPU, which is at ns level. Because updating a real-valued variable will spend several cycles (and hence tens ns), the time cost for updating 1.5 GB data recording 6.3 × 107 real-valued variables will be at minute level (if not taking into account the time cost for updating fields information). Because the time step is chosen to be sufficiently small even for explicit difference scheme, usually at least updating hundreds of times is needed for obtaining a snapshot of the beam at a specified time point. This implies at least hour-level time cost through the above-described most advanced computer condition currently. Of course, the larger the total charge is, the more the time cost is (if the data for the beam is still able to be contained in a memory).

Above discussion has clearly revealed that only for low-charge beam, the numerical experiment, which is based on explicit difference scheme, can be conducted on a single-CPU computer. Therefore, for more general cases with high-charge beam, people have to resort to computer group and parallel code. In such a situation, if data are not exchanged between high-speed memory and low-speed disk, the bottleneck of the experiment is not the time cycle of a CPU but that of the main board which might be several folds of that of the CPU and affect the dispatch of data bus responsible for data dispatch among CPUs. Sufficient CPUs can offset the effect of the time cycle of the main board. But the fact that the larger the total charge is, the more the time cost is still exists. Thus, for nC-level beam and stricter implicit-difference-scheme of updating fields, CPUs’ number in thousand levels is still unable to do as one would wish.

The contradiction between feasible computers’ condition and large amount of data describing realistic beams often force researchers to make some compromises. Merging N > 1 realistic particles (each is of a mass me and a charge e) into a macroparticle (of a mass Nme and a charge Ne) is a common compromise. Merging can cause less data mount for describing a beam and hence can speed up numerical experiment. Therefore, it is broadly adopted in popular scheme of simulating particle dynamics, such as particle-in-cell (PIC) simulation [15, 16].

Although merging can speed up the numerical experiment, it is at the cost of the reliability of the experiment. Let us analyze what will happen when N = 2. If there are l realistic particles in a beam, describing the beam will need 6l functions: {xi (t), yi (t), zi (t), dtxi (t), dtyi (t), dtzi (t)} and 1 =  < i =  < l. Usually, the merging is based on the following principle: at t = 0, each realistic particle merges the nearest neighbor particle. Thus, no matter how large the difference between the initial velocities of any two merged particles, denoted as dtx, y, z 2k (t = 0) − dtx, y, z 2k + 1(t = 0), is, dtx, y, z 2k  − dtx, y, z 2k + 1 is always taken as 0 or the 2kth realistic particle is always bound with the 2k + 1th one (their relative motion is ignored completely). This is a distorted description. The 2kth realistic particle and the 2k + 1th one, if they have the same initial positions x, y, z 2k (t = 0) = x, y, z 2k + 1(t = 0), tend to move to different destinations at the next time point 0 + Δt (where Δt is the time step), because of their different initial velocities dtx, y, z 2k (t = 0) and dtx, y, z 2k + 1(t = 0). Namely, actual picture should be described as follows: at every time point t, a macroparticle will break into N equal pieces having their own destinations at t + Δt, rather than globally move into a destination at t + Δt or being equivalently expressed as: each macroparticle at t is a gathering of N equal pieces from different sources at t − Δt. Because of the distorted description, we briefly summarize the merging as the rigid-macroparticle approximation which refers to a macroparticle having a fixed mass Nme and a fixed charge Ne.

The direct result of the rigid-macroparticle approximation is that the charge density profile n of the beam at next time point t + Δt is distorted, and hence the self-consistent electric field E (meeting ∇ · E = ne) is inexact. If the dynamics calculation cannot be satisfactory even over a short time scale down to the time step Δt, it is hopeless to expect calculation over longer time scale which is multifold of Δt to be reliable.

Actually, even if computer condition is sufficiently advanced to directly calculate realistic particles, Newton equations (NEs) and Maxwell equations (MEs), complicated mathematical relation between E and B, which is represented by

t E + × B = μ 0 j , E1

leads to considerable difficulty in setting up difference scheme of each NE

d tt r i t = e m e E r i t t + d t r i t × B r i t t . E2

This is because that at any time t, although E can be known from all particles’ information at t, B cannot. Due to the term ∂ tE in Eq. (1), the information of B at t have dependence on all particles’ information at t + Δt. This implies that the NE is a complicated differential equation of ri (t), and its difference scheme is difficult to be established. Namely, each difference version of Newton equation involves indeed all particles’ coordinates at t + Δt, i.e., {ri (t + Δt); 1 =  < i =  < N}. Thus, N difference versions form a linear equation set of {ri (t + Δt); 1 =  < i =  < N} whose solutions involve inevitably a N × N matrix. The larger N is, the more hopeless exact solution is.

Clearly, an exact or reliable dynamics calculation on any V-M system needs more in-depth exploring its universal properties, which can be favorable to avoid above-mentioned contradictions. In the following paragraph, we reveal some universal properties of the V-M system. Based on these universal properties, we establish a universal and practical scheme of exact dynamics calculation of any V-M system.


2. Universal properties of Vlasov-Maxwell system

It is well known that Vlasov equation (VE) L ̂ f = 0 , where the operator is L ̂ = t + υ · L F υ · p and LFυ  = e[E(r, t) + υ × B(r, t)] represents the Lorentz force and p(υ) = υΓ(υ) and Γ υ = 1 1 υ · υ correspond to the conservation law of total particle number ∫ fd 3 rd 3 υ = cons tan t. We should notice an important fact: if a beam is a particle number conserved system, its any portion or subsystem is not always also particle number conserved. For an unconserved subsystem, its distribution function g does not meet the VE. An unconserved subsystem means there are always realistic particles leaving it. A macroparticle is analogous to such an unconserved subsystem because it will break into equal pieces having different destinations at next time point t + Δt. Namely, there are always pieces leaving the macroparticle.

According to Maxwell equations (MEs), (E, B) couples with (M 0, M 1), where Mi  =  ∫ υifd 3 υ, and formally decouples with all M i >  = 2. According to open fluid equations set υ i > = 0 L ̂ f d 3 υ = 0 0 = < i < , each equation υ i L ̂ f d 3 υ = 0 reflects a universal relation among ∂ tMi , ∇M i + 1 and at least M i − 1. This seems that exact solutions of all higher order moments M i >  = 2 are necessary for that of (E, B). On the other hand, because p(υ) and Γ(υ) are nonlinear functions of υ and hence − ∫ υiLFυ  · ∂ pfd 3 υ, a term in the equation υ i > = 1 L ̂ f d 3 υ = 0 , is dependent on moments Mm from m = i to m = ∞, each equation υ i > = 1 L ̂ f d 3 υ = 0 will imply a relation among moments Mm from m = i to m = ∞, and thus all equations υ i L ̂ f d 3 υ = 0 from i = 1 to i = ∞ will mean a ∞ × ∞ matrix describing the relation among all moments Mm from m = 1 to m = ∞. Clearly, obtaining exact solutions of (E, B) from such an open equation set υ i > = 0 L ̂ f d 3 υ = 0 0 = < i < is impossible and, as discussed below, also unnecessary.

Another open set {Di , 0 =  < i < ∞}, where D i = M i M 0 M 1 M 0 i M 0 , can be defined naturally through the M-set. Clearly, D 0 = 0 and D 1 = 0 automatically exist. Each equation υ i L ̂ f d 3 υ = 0 can be expressed through the D-set

A i t D i + B i + 1 D i + 1 + m > = i C m D m = 1 , E3

and coefficients Ai , Bi , Ci are known functionals of (E, B, M 0, M 1). Starting from the i = 1 case, we can formally obtain an expression of D 2 in all terms D i >  = 3 and then substitute it into the i = 2 case and formally obtain an expression of D 3 in all terms D i >  = 4, etc. Finally, we will find that all D i >  = 2 are determined by D and all coefficients Ai , Bi , Ci . Namely, the open equation set υ i L ̂ f d 3 υ = 0 1 = < i < does not lead to a substantial constraint on (E, B, M 0, M 1).

According to MEs, (E, B) depends on (M 0, M 1) and is independent of the D-set. Therefore, the exact solutions of the D-set are not a necessary condition for those of (E, B). The open equation set υ i L ̂ f d 3 υ = 0 1 = < i < is only responsible for relations among those Di and cannot have an effect on (E, B, M 0, M 1).

Two universal properties of any V-M system are favorable to achieve exact dynamics calculation. One is that the f of any V-M always has a thermal spread [18], or in stricter mathematical language, functions in a general form ɡ(r, t)∗δ(υ − u(r, t)), where ɡ and u are two functions of (r, t) and δ is Dirac function, cannot meet the VE or L ̂ ɡ r t δ υ u r t 0 . The other is that the open set {Mi , 0 =  < i < ∞} has a closed subset {M 0, M 1}, which meets a closed equation set. Detailed proof of the second universal property is presented below.

Due to the first universal property, the whole system can be viewed as a superposition of a cold subsystem denoted by F f = δ υ d 3 υ f d 3 υ f δ υ d 3 υ f d 3 υ d 3 υ , where δ is Dirac function, and a thermal subsystem denoted by f − F(f). The cold subsystem inherits a part of each moment ∫ υif(r, υ, t)d 3 υ, so does the thermal subsystem. Namely, the cold subsystem has its own self-consistent field (EF , BF ), where ∇ · EF ~ ∫ F(r, υ, t)d 3 υ and ∇ × BF ~ ∫ υF(r, υ, t)d 3 υ. Likewise, the thermal subsystem has its own self-consistent field (E f − F , B f − F ), where E = EF  + E f − F and B = BF  + B f − F . (EF , BF ) plays a role of external fields to the thermal subsystem and so does (E f − F , B f − F ) to the cold subsystem. In particular, two subsystems have a common fluid velocity: u = υF r υ t d 3 υ F r υ t d 3 υ = υ f F r υ t d 3 υ υ f F r υ t d 3 υ = υf r υ t d 3 υ υf r υ t d 3 υ . Because F has a known dependence on υ, its higher order moments ∫ υ i > 1 Fd 3 υ are of simple forms u i > 1 ∗ ∫ [fδ(υ − u)]d 3 υ. The thermal subsystem inherits the thermal spread of f and hence all off-center moments, the dependence of f − F on υ is still unknown, and its higher-order moments ∫ υ i > 1[f − F]d 3 υ still obey a set of equations in infinite number. The equations of these higher-order moments ∫ υ i > 1 Fd 3 υ in infinite number are found, as proven later, to be equivalent to an equation of u = υF r υ t d 3 υ F r υ t d 3 υ .

Detailed strict proof has been made elsewhere [17, 18] (see the appendix of Ref. [17]).

Here, for convenience of readers, we briefly present the kernel of strict proof. For simplicity of symbols, we denote L ̂ + υ · u υ F as Ω and F as n 0 δ(υ − u), where n 0 ≡  ∫ [fδ(υ − u)]d 3 υ <  ∫ fd 3 υ = M 0. From the definition of F, there is always u = υF d 3 υ F d 3 υ . Because of strict mathematical formulas ∫ dυδ(υ − u)d 3 υ = 0, ∫ [υ − u]∗δ(υ − u)d 3 υ = 0, ∫ [υ − u]∗[υ · ∇ + (υ · ∇u)∂ υ ]δ(υ − u)d 3 υ = 0, and ∫ [υ − u]∗W(r, υ, t)∗dυδ(υ − u)d 3 υ =  ∫ [υ − u]∗W(r, υ, t)∣ υ = u dυδ(υ − u)d 3 υ, where W(r, υ, t) is the arbitrary function, the definition of Ω can be directly written as

Ω=[ t +u· ] n 0 δ( υu ) n 0 [ t u+( L F υ p υ ) | υ=u ] δ ={ Ω d 3 υ }δ{ [ υu ]Ω d 3 υ } δ , E4

which has a strict solution Ω = 0. Therefore, there is a theorem: For any V-M system, its F(f) meets Ω = 0. Namely, L ̂ f = 0 means Ω = 0.

Due to 0 =  ∫ υ 0Ωd 3 υ, ∫ υ 1Ωd 3 υ = 0 will be be equivalent to [17, 18]

t p u + e E + u × B = 0 . E5

For equations in infinite number 0 =  ∫ υ i >  = 2Ωd 3 υ, the Dirac function dependence of F on υ makes all these equations indeed to be equivalent to a same equation, Eq. (5). This can be easily verified by simple algebra.

Few authors use Eq. (5) to calculate (E, B) in plasmas [17, 18, 19, 20, 21, 22]. As previously pointed out, the equation υ L ̂ f d 3 υ = 0 reflects a relation among all D i >  = 2. To determine these D i >  = 2, the whole set υ i > = 0 L ̂ f d 3 υ = 0 0 = < i < is required.

The whole system is described by

L ̂ f = 0 ; E6a
t E = · E Ze N i υf d 3 υ f d 3 υ + × B ; · B = 0 E6b
× E = t B . E6c

Likewise, the cold subsystem by

L ̂ + υ · u υ F = 0 ; E7a
t E = · E Ze N i υF d 3 υ F d 3 υ + × B ; · B = 0 E7b
× E = t B , E7c

and the thermal subsystem by

L ̂ f F υ · u υ F = 0 ; E8a
t E = · E Ze N i υ f F d 3 υ f F d 3 υ + × B ; · B = 0 E8b
× E = t B . E8c

Two universal properties imply a universal scheme of exact dynamics calculation of any V-M system. That is, the VE L ̂ f = 0 implies Ω = 0, which implies {∫ υi Ωd 3 υ = 0, 0 =  < i < ∞}, which implies a relation between υ 1 F d 3 υ υ 0 F d 3 υ and (E, B), which is also a relation between υ 1 f d 3 υ υ 0 f d 3 υ and (E, B). On the other hand, with the help of the CE υ 0 L ̂ f d 3 υ = 0 , the open equation subset υ i L ̂ f d 3 υ = 0 1 = < i < will be equivalent to a ∞ × ∞ matrix equation which gives exact expressions of all higher order off-center moments D i >  = 2 in terms of (E, B, M 0, M 1). After obtaining exact solutions of (E, B, M 0, M 1) from Eq. (2) and MEs, all D i >  = 2 can be known through υ i L ̂ f d 3 υ = 0 1 = < i < .

This universal scheme gets rid of inevitable shortcomings of other methods. For example, well-known PIC simulation is to introduce macroparticle representation of initial distribution function and to calculate coupled evolution of these macroparticles and E and B. As analyzed above, such a macroparticle is unrealistic because it approximates that all contained realistic particles always stay in it and completely ignore the fact that realistic particles can leave it. Moreover, because the coupled evolution is calculated in an alternatively updating manner, this makes calculated E and B to be dependent of the grainness parameter which reflects how many realistic particles are contained in a macroparticle and hence are not exact solutions of E and B. Thus, even if f can be expressed through those macroparticles’ positions and velocities, inexact solutions of E and B make such an expression of f to be inexact.

Therefore, even though advanced computer group is applied to PIC simulation, its abovementioned inherent shortcoming cannot warrant more advanced computer condition corresponding to Exacter solutions of f (because E and B are inexact solutions). Namely, advanced computer condition does not get reasonable usage. In contrast, if the phase space dynamics is conducted according to above-described manner based on six-equation set, the power of the advanced computer condition can be fully utilized to get higher resolution of exact solutions of f (because E and B are exact solutions).


3. Universal properties of Newton-Maxwell system

Eq. (5) can also be derived from Newton-Maxwell (N-M) system, which contains N relativistic Newton equations (RNEs) and four MEs. Actually, for a group of electrons {ri , dtri }, we can always define two fields (in Lagrangian expression) [19]:

u r i t t j d t r j δ r i t r j t j δ r i t r j t , E9
RV r i t t j d t r j d t r i δ r i t r j t j δ r i t r j t , E10

which are fluid velocity field and relative velocity field, respectively. Especially, there is always a formula

d t r i u r i t t RV r i t t , E11

where ≡ means the formula is automatically valid for any ri (t). If applying ∇ ri (t) to this automatically valid formula, we will obtain another automatically valid formula:

r i t u r i t t RV r i t t r i t d t r i d t r i t r i d t 1 0 . E12

Because N electrons are described by four MEs and N RNEs, this automatically valid formula enables each RNE to be written as

0= d t p( d t r i )+eE( r i ( t ),t )+e d t r i ×B( r i ( t ),t )= d t p( u( r i ( t ),t )RV( r i ( t ),t ) ) +eE( r i ( t ),t )+e[ u( r i ( t ),t )RV( r i ( t ),t ) ]×B( r i ( t ),t )= t p(u( r i ( t ),t ) RV( r i ( t ),t ))+ d t r i × r i ( t ) p[ u( r i ( t ),t )RV( r i ( t ),t ) ]+eE( r i ( t ),t ) +e[ u( r i ( t ),t )RV( r i ( t ),t ) ]×B( r i ( t ),t )= t p( u( r i ( t ),t )RV( r i ( t ),t ) ) +eE( r i ( t ),t )+e[ u( r i ( t ),t )RV( r i ( t ),t ) ]×B( r i ( t ),t ), E13

where p var = var 1 va r var is relativistic momentum, because no matter what the relative field is, the RNE of every electron is always valid. Thus, the condition for the RNE being valid under arbitrary value of the RV field, of course including a common value RV = 0, is that the following equation is valid:

0 = t p u r i t t + eE r i t t + e u r i t t × B r i t t . E14

Its Euler expression reads

0 = t p u r t + eE r t + e u r t × B r t , E15

which is just Eq. (5). This motion equation of u(r, t) and four MEs form a closed five-equation set. No matter how large N is, it merely means more RV-field fluid elements being calculated. Finer description of the RV field will lead to Exacter information on thermal distribution, but the RV-field has no contribution to the electric current and hence E and B. Thus, the exact solutions of the N + 4 equation set (N RNEs and four MEs) can be obtained from an N + 5 equation set (N equations of RV(ri (t), t) and a closed five-equation set of (u, E, B). Examples of electron density profile based on this closed five-equation set have been presented elsewhere [17, 18, 19, 20].


4. Examples of exact solution of phase space distribution

From Eq. (5) and MEs, we can find that W ≡ ∂ tp(u) + ZNir/3 and u × B meeting a same equation [17, 18]. Further strict analysis reveals that this will lead to a self-consistent equation of u [17, 18]:

tt p + t · p p 1 + p 2 + × × p = uZ N i + POT E16

where Z is ionic charge, Ni is ionic density, and POT is a constant vector determined by initial conditions. After solving u(r, t) from this equation, B(r, t) will be known from a formula ∂ tp + ZNir/3 =  − λ[u × B] [17, 18], where λ ≠ 1 is a constant, and then E(r, t) from E = ∂ tp + u × B [17, 18].

Here, we give some typical exact solutions of the distribution of f over the υ-space [17, 19, 20, 21]. If f is an exact solution of the VE, any monovariable function of f, or ɡ(f), is also an exact solution. Because Eq. (5) and MEs can have exact solutions of (E, B) in running-wave form, E = E r 1 η ct and B = B r 1 η ct , we should note a relation between E and B, E = 1 η c × B + Φ r 1 η ct , which arises from ∇ × E =  − ∂ tB. Here, Φ r 1 η ct is a scalar function but cannot be simply taken as electrostatic (ES) potential (because 1 η c × B also has divergence or · 1 η c × B = 1 η c · × B 0 ). In this case, the VE can be further written as

0 = t + υ · E + υ × B · p υ f = t E · p υ f + υ · B × p υ f = t + 1 η c × B · p υ f + υ · B × p υ f Φ · p υ f = t + 1 η c · B × p υ f + υ · B × p υ f Φ · p υ f = υ 1 η c · B × p υ f Φ · p υ f . E17

It is easy to verify that any function of p + E r 1 η ct dt will meet

0=[ t E· p( υ ) ]ɡ( p+ E( r 1 η ct )dt ) =[ 1 η c·+ 1 η c·B× p( υ ) ]ɡ= 1 η c·[ B× p( υ ) ]ɡ, E18

where we have used the property t E r 1 η ct dt = 1 η c · E r 1 η ct dt . Thus, if ∇Φ ≡ 0, any mono-variable function of p + E r 1 η ct dt , or ɡ p + E r 1 η ct dt , will be an exact solution of the VE.

On the other hand, for more general ∇Φ, we can find that any monovariable function of 1 + p 2 c 2 1 η c · p + Φ or ɡ 1 + p 2 c 2 1 η c · p + Φ , is an exact solution of the VE. According to Eq. (14), p 1 + p 2 c 2 1 η c · p will contribute a vector parallel to υ 1 η c and hence make the operator υ 1 η c · B × p υ has zero contribution.

Therefore, for running-wave form, E = E r 1 η ct and B = B r 1 η ct , the phase space distribution, if ∇Φ ≡ 0, can be described by a positive-valued function of p + E r 1 η ct dt , for example, exp p + E r 1 η ct dt 2 , sin 2 exp p + E r 1 η ct dt 2 , etc. We can further pick out reasonable solutions according to the running-wave form of u:

u = p 1 + p 2 ɡ p + E r 1 η ct dt d 3 p ɡ p + E r 1 η ct dt d 3 p . E19

Likewise, same procedure exists for more general ∇Φ and ɡ 1 + p 2 c 2 1 η c · p + Φ .

Actually, a set of macroscopic functions (E, B, u) can have multiple microscopic solutions of the VE. Therefore, usually we know the distribution of f over the υ-space from the initial condition f(r, p, t = 0). From the function dependence of f(r, p, t = 0) on p, we can obtain the function dependence of ɡ on 1 + p 2 c 2 1 η c · p and hence determine detailed function form of ɡ.

Detailed procedure of determining the function form of ɡ is described as follows [9, 11]: we can seek for special space position R in which E R 0 = 1 η c × B R 0 , or ∇Φ(r, 0)| r = R  = 0, exists. The initial distribution at R, i.e., f(R, p, t = 0), is thus a monovariable function p. At the same time, two expressions are equivalent, and hence there is f(R, p, t = 0) = ɡ(K + Φ(R, 0)) = ɡ(K), where K = 1 + p 2 c 2 1 η c · p and Φ(R, 0) = 0 (if ∇Φ(r, 0)| r = R  = 0). Because of certain relations between p and K, once the expansion coefficient ci in f(R, p, t = 0) = ∑ i  ‍ cipi is known, the expansion coefficient di in ɡ(K) = ∑ i  ‍ diKi are also easy to be calculated.

Clearly, BGK modes [23] are analytic exact solutions of the VE in B ≡ 0 case:

0 = t E r 1 η ct · p υ f + υ · f , E20

whose solutions are monovariable functions of ϕ r 1 η ct + 1 + p 2 1 η c · p , where ϕ is scalar potential and E =  − ∇ϕ. Moreover, there is a similar procedure of determining function form of ɡ.

We should note that K is a nonlinear function of υ and the maximum value of K or K max is reached at υ = 1 η c . Thus, even if ɡ is a Dirac function of K + Φ, ɡ cannot be a Dirac function of υ, i.e., ɡ~δ(υ − u(r, t)). The nonlinear function relation between K and υ determines that ɡ is at least a summation of two Dirac components: ɡ = f 1(r, t)δ(υ − u 1(r, t)) + f 2(r, t)δ(υ − u 2(r, t)) + …. This agrees with previous conclusion that functions of a general form F 1(r, t)δ(υ − F 2(r, t)) cannot meet the VE.

We should also note that, because of nonlinear function relation between ɡ and K + Φ, the maximum of ɡ, or ɡ max, is usually reached at K + Φ ≠ K max + Φ. Namely, if ɡ max is reached at K = K ɡmax, this K ɡmax usually corresponds to two values of υ. In contrast, K max merely corresponds to a value of υ. Thus, the contour plot of ɡ in the phase space will take on complicated structures, such as hole, island, etc. [17, 19].


5. Summary

By analyzing the bottleneck of numerical study the 6D phase space dynamics of a V-M system, we present, based on two universal properties, a universal and practical scheme of exact dynamics calculation of any V-M system. Our scheme is to harness, to the largest extent, available computer group condition to obtain as exact as possible solution. It gets rid of some inherent factors (of other methods), which yield incorrect physical results.


  1. 1. Humpheries S. Charged Particle Beams. New York: Dover Pubs Inc; 2013
  2. 2. Chaw AW. Physics of Beam Collective Effects in High Energy Accelerators. New York: Wiley; 1993
  3. 3. Barnard JJ, Lund SM. Intense Beam Physics. New York: McGraw-Hill; 1995
  4. 4. Moller SP. ELISA, and electrostatic storage ring for atomic physics. Nuclear Instruments and Methods in Physics Research Section A. 1997;394:281
  5. 5. Tanabe T, et al. An electrostatic storage ring for atomic and molecular science. Nuclear Instruments and Methods in Physics Research Section A. 2002;482:595
  6. 6. Andersen LH, Heber O, Zajfman D. Physics with electrostatic rings and traps. Journal of Physics B. 2004;37:R57
  7. 7. Tessler DR, et al. Passive Electrostatic Recycling Spectrometer of Desk-Top Size for Charged Particles of Low Kinetic Energy. Physical Review Letters. 2007;99:253201
  8. 8. Spanjers TL, et al. Evidences for isochronous behavior in electron and ion storage for a low energy electrostatic storage ring. Nuclear Instruments and Methods in Physics Research Section A. 2014;736:118
  9. 9. Maier R, et al. The high-energy storage ring (HESR). In: Proceedings of the 24th Particle Accelerator Conference in Washington, DC, 2011. p. 2104
  10. 10. Davidson RC, Chan HW, Chen CP, Lund S. Equilibrium and stability properties of intense non-neutral electron flow. Equilibrium and stability properties of intense non-neutral electron flow. Reviews of Modern Physics. 1991;63:341
  11. 11. Chao AW, Pitthan R, Tajima T, Yeremian D. Physical Review Special Topics—Accelerators and Beams. 2003;6. DOI: 024201
  12. 12. Vlasov A. On the Kinetic Theory of an Assembly of Particles with Collective Interaction. Journal of Physics (USSR). 1945;25:10
  13. 13. Krall NA, Trivelpiece AW. Principles of Plasma Physics. New York: McGraw-Hill; 1977
  14. 14. Kalman G. Nonlinear oscillations and nonstationary flow in a zero temperature plasma: Part I. Initial and boundary value problems. Annals of Physics 1960;10:1; Bertrand P, Feix MR. Non linear electron plasma oscillation: the water bag model. Physics Letters A 1968;28:68
  15. 15. Dawson JM. Particle simulation of plasmas. Reviews of Modern Physics. 1983;55:403
  16. 16. Birdsall CK, Langdon AB. Plasma Physics via Computer Simulation. New York: Taylor & Francis Group; 2004
  17. 17. Lin H, Liu CP, Wang C, Shen BF. Macroscopic and Microscopic Structure of Electromagnetic Wakefield. The Open Plasma Physics Journal. 2014;7(1)
  18. 18. Lin H, Liu CP, Wang C, Shen BF. Miniaturization of electron storage device. Europhysics Letters. 2015;111:62001
  19. 19. Lin H. Non-Akhiezer-Polovin Model on Plasma Electrostatic Wave and Electron Beam. The Open Plasma Physics Journal. 2015;8(23)
  20. 20. Lin H, Shen BF, Xu ZZ. Phase space coherent structure of charged particles system. Physics of Plasmas. 2011;18:062107
  21. 21. Lin H. Exact solutions of macroscopic self-consistent electromagnetic fields and microscopic distribution of Vlasov-Maxwell system. e-print 1402.7072
  22. 22. Katsouleas TC. Physical mechanisms in the plasma wake-field accelerator. Physical Review A. 1986;33:2056
  23. 23. Bernstein IB, Greene JM, Kruskal MD. Exact Nonlinear Plasma Oscillations. Physical Review. 1957;108:546

Written By

Hai Lin

Submitted: 17 April 2017 Reviewed: 13 September 2017 Published: 20 December 2017