Non-linear Weibel-type Soliton Modes
Discussion is given of non-linear soliton behavior including coupling between electrostatic and electromagnetic potentials for non-relativistic, weakly relativistic, and fully relativistic plasmas. For plasma distribution functions that are independent of the canonical momenta perpendicular to the soliton spatial structure direction there are, in fact, no soliton behaviors allowed because transverse currents are zero. Dependence on the transverse canonical momenta is necessary. When such is the case, it is shown that the presence or absence of a soliton is intimately connected to the functional form assumed for the particle distribution functions. Except for simple situations, the coupled non-linear equations for the electrostatic and electromagnetic potentials would seem to require numerical solution procedures. Examples are given to illustrate all of these points for non-relativistic, weakly relativistic, and fully relativistic plasmas.
pacs:52.25.Dg — 52.27.Ep — 52.27.Ny — 52.65.Ff — 94.20.ws
Keywords relativistic plasmas, transverse waves, solitons
Since its discovery in 1959, the Weibel instability (Weibel, 1959; Fried, 1959) has been, and continues to be, a subject of intense research. Part of this focus is due to the fact that the Weibel instability excites aperiodic fluctuations, i. e., purely growing waves that do not propagate out of the system. Therefore, the Weibel instability has been considered to be responsible for the creation of seed magnetic fields in the early universe (Schlickeiser and Shukla, 2003; Sakai et al., 2004; Schlickeiser, 2005), which act as a progenitor to the large-scale magnetic field that we observe today in all (spiral) galaxies (Beck et al., 1996). Likewise, Weibel fluctuations can provide the necessary dissipation of bulk velocity that leads to the formation of shock waves (Tautz and Lerche, 2006b). In highly relativistic jets that occur during events such as GRBs (Gamma-Ray Bursts) or in extreme objects such as AGNs (Active Galactic Nuclei), plasma instabilities (Schlickeiser et al., 2002) and particularly the Weibel instability are, thus, ultimately responsible for the radiation observed at Earth.
Weibel modes and their asssociated non-linear structures (Bychenkov et al., 2003) also play a role in the radiative cooling of relativistic particles in blazar and gamma-ray burst sources (Schlickeiser and Lerche, 2007). Furthermore, Weibel modes can also be excited in quantum plasmas (Haas, 2008; Haas and Lazar, 2008), thus generalizing the classical Weibel instability equation; here, a connection has been made to (dark) soliton waves (Shukla and Eliasson, 2006). It is also worth noticing that there exist experimental verifications of Weibel (Wei et al., 2001/02) and soliton (Borghesi et al., 2002) modes in laser plasmas, thus emphasizing the broad applicability of the underlying mechanism, which converts the free energy from anisotropic distributions into magnetic field energy. In analytical studies, such soliton modes have been used to create magnetic turbulence (Kingsep and Sudan, 1973; Weibel and Chen, 1977).
The underlying analytical investigation of the non-linear aspects of the classic Weibel instability made use of the fact that the classic Weibel instability excites only transverse, electromagnetic fluctuations (Schaefer-Rolffs and Lerche, 2006). For asymmetric distributions, it was shown that the range of unstable wavenumbers is reduced to one single unstable wave mode, which reminds one of solitary structures that are based on single wavenumbers, too. For the case of transverse electromagnetic modes, it was shown that, depending on the exact form of the distribution function, spatially limited structures are produced (solitons).
From the radiation pattern of particles scattered in soliton modes (Schaefer-Rolffs et al., 2009), it is known that there are many similarities to synchrotron radiation. Motivated by the fact that the energy output of the particles is mostly referred to as synchrotron radiation and inverse Compton scattering, it is a necessity to take into account other radiation processes, also because synchrotron radiation requires the presence of a background magnetic field. Until now, the origin and themechanism for such a field have been discussed intensely (Medvedev and Loeb, 1999; Medvedev, 2007; Medvedev et al., 2007). The train of thoughts is the following: (i) in reality, particle velocity distributions should almost always be somewhat asymmetric; (ii) in this case, unstable plasma modes are monochromatic, as has been demonstrated analytically (Tautz et al., 2006); (iii) such isolated structures can lead to soliton modes as has been shown for purely electromagnetic Weibel modes (Schaefer-Rolffs and Lerche, 2006); (iv) in relativistic outflows such as for GRBs and AGN jets, all kinds of plasma instabilities are expected to arise. Hence, it is most important to discuss the radiation pattern for such scenarios that is generated by particles being scattered in such magnetic structures. In principle, the method of obtaining the differential frequency spectrum is similar to that for synchrotron radiation (Schaefer-Rolffs et al., 2009). The basic difference is that for synchrotron radiation the magnetic field is considered to be constant and the electron moves in circles perpendicular to the magnetic field, while in the case of the soliton the electrons move mostly linearly and are deflected via the Lorentz force. Thus, the radiation is not produced by acceleration through a constant background field but, instead, is caused by an interaction of the electrons with highly varying magnetic and electric fields.
Inspired by the procedure shown in Schaefer-Rolffs and Lerche (2006), a number of subsequent, more detailed, investigations revealed the exotic properties of the (linear) Weibel instability that are unfolded in the case of totally asymmetric distribution functions (Tautz et al., 2006; Tautz and Lerche, 2006a; Tautz et al., 2007; Tautz and Lerche, 2007a). For such distributions, the electrostatic and electromagnetic wave modes are coupled, and it was shown that any unstable Weibel mode must be isolated, i. e., restricted to a single discrete wavenumber. Specific examples for the distribution function illustrated that isolated Weibel modes are excited. Even if one allows for a small real part of the frequency, the isolated Weibel modes persist (Tautz and Lerche, 2007b). Such weakly propagating unstable modes are important for oblique wave propagation, because for such cases the growth rate of unstable waves is maximal (Bret et al., 2004, 2005). It is then appropriate to ask how non-linear soliton modes are influenced when one includes the coupling between electrostatic and electromagnetic potentials. The purpose of this paper is to explore that question.
The paper is organized as follows. In Sec. 2, the Vlasov equation is transformed and the non-linear wave equations are derived. In Sec. 3, the non-relativistic soliton behavior is derived and examples are given for two basic types of distribution functions. In Sec. 4, the weakly and the fully relativistic behaviors are derived, which requires approximations as regards the transformation of the volume element in momentum space. Furthermore, in Secs. 3 and 4, solutions are derived for two limiting cases regarding the relative values of the electrostatic and vector potentials. In Sec. 5, the results are summarized and discussed. Detailed explanations of the integral transformations in the cases of non-relativistic and relativistic plasmas are given in A and B, respectively.
2 The Relativistic Vlasov Equation
Throughout the derivation of the non-linear wave equation and the instability conditions, the vector potential, , and the scalar potential, , will be used, with
For a soliton wave, observed to be moving at a constant velocity , the easiest way to handle the non-linear equations is to transform to a reference frame moving with the soliton so that, in such a reference frame, the potentials and are functions solely of the spatial coordinate, , and are independent of time. The electric and magnetic fields are then given by
where primes denote differentiation with respect to . The Vlasov equation can then be expressed as111While our notation differs from that used in classical relativistic mechanics, it is traditional to the field of plasma physics.
The characteristics of Eq. (1bc) with respect to the and coordinates are given through (compare with Schaefer-Rolffs and Lerche, 2006). For the solution of the characteristic equations introduce through
Then, Eq. (1bc) simplifies considerably, because are constants and thus the partial differentiations of the distribution function with respect to and vanish, yielding
with and where
It is instructive to first consider the non-relativistic limit [set in Eq. (1be)] because this limit allows exact solution of the Vlasov equation for arbitrary , and . The non-linear coupling of the electrostatic and electromagnetic potentials in the Maxwell equations can then be investigated simply in the weak coupling limit, where “weak” will be defined later.
Thereafter one can consider the relativistic particle behavior where, as will be shown, coupling of the electrostatic and electromagnetic potentials is considerably more involved, although the basic procedure from the non-relativistic situation can be used, mutatis mutandis.
3 The Non-Relativistic Limit
In the case where one deals solely with non-relativistic particles one can set in Eq. (1be). Then one has
Set in Eq. (1bg) to obtain
Eq. (1bh) provides the general exact solution by direct substitution.222Consider Eq. (1bh) in the form . Following the theory of linear partial differential equations, set as a new variable. Then , which has the general solution . With , this is precisely as given.
Consider then Maxwell’s equations in the limit of non-relativistic particles. For a plasma with different constituents—denoted by the index with, e. g., for electrons and for protons—one has
In terms of , and the Maxwell equations take the form (see A)
with , and , where
Solution of the coupled electrostatic potential, Eq. (1bjka), and the electromagnetic potential, Eq. (1bjkb), depends sensitively on the assignment prescribed for the particle distribution function . Note that if is a function solely of and not of explicitly, then . Then only is eligible for a soliton structure. To illustrate this point more closely, consider two cases, where takes on the functional forms
with , , and constants.
and in the case of Eq. (1bjkmb)
with . Note that as Eqs. (1bjkmnoa) and (1bjkmnob) reduce to Eqs. (1bjkmna) and (1bjkmnb), respectively, as required. The determination of a soliton structure in both cases can then be readily given for different plasma conditions.
For instance an electron-positron plasma with identical plasma characteristics (i. e., the same for both species) allows one to write Eq. (1bjkmna) in the form
which integrates once directly to yield
With one has
Set the constant to a negative value, i. e., (a positive constant would automatically keep growing and so cannot represent a soliton), yielding
Then if exceeds it does so thereafter for all coordinates and so does not represent a soliton. If is less than then Eq. (1bjkmnos) is not valid because it would yield negative. (For negative , the argument can be reversed.) Hence the only solution is a spatially unbounded potential which does not correspond to a soliton.
Such is in the line with the small amplitude limit that provides a dispersion relation of the form which, for , indicates and so represents spatially unbounded growing or decaying modes. Such unbounded structures do not represent soliton modes and so are to be discarded. The only solution left for Eq. (1bjkmnoq) is then .
so that for the electron-positron plasma one again has everywhere and so no electrostatic soliton is available. Here, “common” means that the factor does not depend on summation over species and so can be brought outside the summation. Thus is the only acceptable solution of Eq. (1bjkmnoa). Equation (1bjkmnob) takes on the generic form
with and . Then either or one of the components or is zero. Consider that . Then
which integrates once to provide
Let have an extremum on . Then write Eq. (1bjkmnov) in the form
so that on . Eq. (1bjkmnow) shows that has the structure given in Fig. 1 with the two solutions only just touching on but not crossing because
representing both a background magnetic field together with a soliton pulse superposed. The absolute value, , is illustrated in Fig. 2. Although Eq. (1bjkmnow) is not analytically resolvable, the structure of the solution is indeed seen by considering turning points and roots.
The point, then, is that exact non-linear solutions to the coupled Maxwell-Vlasov equations can be arranged to provide a rich variety of structural behaviors depending on the specific choices made for the distribution functions for the particles. In order that there be an electrostatic soliton component in Eq. (1bjka) and (1bjkb) one requires that the precise symmetry invoked between electrons and positrons be broken. Such a break can be arranged in one of two ways: either one chooses different distribution functions for the positive and negative charged components or one chooses different particle masses for the positive ions with respect to the negatively charged particles.
While it was shown that one class of solution is that when one of the components (with ) is zero, that does not rule out other classes of solution where is non-zero. In addition one cannot provide a general statemenet on the field direction relative to the background field because each choice of distribution function must be investigated for its effects on the non-linear system. It also by no means follows that a plasma with no background field cannot posses solitons of electrostatic or electromagnetic or coupled properties—again, each distribution function chosen for each species provides its own properties- which was part of the aim of the special illustrations chosen.
|where is the ion number density and|
Note that one class of solutions is when and when such is the case Eq. (1bjkmnoxa) has the structural form
Eq. (1bjkmnoxy) integrates once immediately to yield
where is a constant. Consider now in detail the structure of Eq. (1bjkmnoxz). Write where one has
with . Further simplification occurs when one sets and when one has
Note that , the constant of integration, appears through the relationship between and . Only for specific ranges of can one expect to obtain a soliton behavior as we now show. On , Eq. (1bjkmnoxab) yields
so that two branching structures exist. If a soliton is to exist then it is necessary that somewhere, implying a value such that
Solutions to Eq. (1bjkmnoxac) exist only when and, under that condition, there are two positive values of , namely, and , where without loss of generality. Now Eq. (1bjkmnoxab) requires everywhere. One therefore has to distinguish three cases:
In one has so that Eq. (1bjkmnoxab) cannot be satisfied. Hence the potential regimes for solitons are either or .
For one has so that no bounded structure is possible.
Equally for one has the same argument with the added problem that grows indefinitely in . Thus no electrostatic soliton is possible.
The point of this illustration is that the non-linear equation describing potential solitons is completely changed from that for an electron-positron plasma. The electron-positron plasma illustrated earlier has no turning points for the electrostatic potential taken on its own and so there are no soliton structures. In the case of the ion-electron plasma the corresponding field equation admits of two turning points and the analysis of the field equation in each domain has to be undertaken. It is this fact that the example has been used to illustrate. Every choice of distribution function must be investigated anew for the turning points and the corresponding analysis, i. e., the above case-by-case investigation, has to be undertaken in each regime.
If one chooses not to have one of the components (with ) then the electrostatic and electromagnetic components mix, representing a hybrid soliton. The point to make is that it is the symmetry breaking (for different distribution functions or the different masses of the charged particle species) that permits different types of soliton patterns, and that has been the purpose of the examples given here.
4 The Relativistic Behavior
In the situation where one cannot set to unity, a considerably more complex behavior arises but, at the same time, one has the transverse particle velocities limited to unlike in the non-relativistic situation where the corresponding limits are set as . This fundamental difference in behavior alters radically the soliton character.
Here one has
The characteristic is given through
which has the basic structure
The relativistic form of the characteristic equation is not analytically tractable in general. However, in the case of interest where the influence of an electrostatic (electromagnetic) potential on an electromagnetic (electrostatic) soliton is sought one has either or . In these two situations it is possible to derive approximate characteristics. Also, in the weakly relativistic limit where one can write with only first order in terms being held in Eq. (1bjkmnoxag), it is possible to perform a complete analytic investigation, thereby illuminating the transition between non-relativistic and relativistic limits. Consider this case first.
4.1 Weakly Relativistic Behavior
Consider Eq. (1bjkmnoxah) with and considered small, i. e., . Then to first order in one has
with the solution
where is a constant: the characteristic constant. Here, for one has
|and for , likewise,|
Then, by re-arranging the equation for , i. e.,
an expression is provided for in terms of the characteristics and .
The distribution function is an arbitrary function of its arguments. Now if were to be taken as a function of only and not of separately then, because is then a function of as is , it follows that transverse currents
are identically zero, because the integrand is odd. Hence it is necessary and sufficient that be a function of its arguments and and/or in order to have spontaneous symmetry breaking and so a transverse current.
Clearly, just as for the non-relativistic situation, different choices made for determine the allowable soliton spatial structures. Even with the same choice of functional behavior in distribution functions for the non-relativistic and weakly relativistic situations one has different soliton structures. Consider, for example, the case of infinitely massive ions and mobile electrons with the electron distribution function being taken as
Now in the weakly relativistic limit one can write the characteristic constant, , as
thereby expressing in terms of the characteristics, i. e, as defined in Eq. (1bjkmnoxak).
Now consider the transverse current integral
Using , one can then write, in the weakly relativistic limit,
With being expressed in terms of and through Eq. (1bjkmnoxalap) the integral over can be performed immediately yielding
The double integral over and can be done in closed form so that one can write
Even in this seemingly simple extension of the non-relativistic results to the weakly relativistic situation one is challenged by an exceedingly non-linear set of equations for the field components. How many solutions the equations admit, how the elctrostatic and electromagnetic components are coupled, and how the solution(s) structure depends on the various parameters remain analytically intractable but are likely best addressed by using numerical procedures.
The point being illustrated here is that, despite the characteristics being available in closed analytic form, the non-linear complexities of the current distribution as functions of the electrostatic and electromagnetic potentials are less than inviting. And for each choice of distribution function similarly complex results obtain. It would seem that only numerical procedures can help.
4.2 Fully relativistic behavior
Because the characteristic Eq. (1bjkmnoxag) is not solvable analytically in general, two limiting cases will be considered in what follows.
4.2.1 The case
Here write the characteristic equation as
In the integral on the right-hand side set, on evaluating ,
to lowest order. Then
and is a function solely of , , and .
4.2.2 The case
In the integration on the right-hand side set , (i. e., solve for by neglecting the integral itself) to obtain
to lowest order, which defines the characteristic to order as required. Then is a function solely of , , and—in contrast to Sec. 4.2.1—of . Because is large, a direct dependence on is the most useful choice in this case.333Because is an arbitrary (but positive) function of its arguments one can choose many different functional forms to illuminate particular points, which is what is done throughout the paper.
Note that the characteristic Eq. (1bjkmnoxag) is symmetric in so that if the distribution function is not explicitly dependent on but only on the constant arising from the characteristic Eq. (1bjkmnoxag), then by symmetry arguments. Thus, just as for the non-relativistic limit: only when the distribution function depends explicitly on and/or , in addition to the constant arising from the characteristic equation is there the possibility of a self-consistent electromagnetic soliton because of the asymmetry of the current integrals with respect to . However, the functional form of such solitons (and also the modifications brought about by coupling of the electrostatic and electromagnetic fields) is considerably different than their non-relativistic counterparts due to the relativistic limitation that particle speeds must be less than .
To illustrate this basic point consider again an electron-positron plasma in which the two distribution functions are identical. To make the comparison as close as possible between the relativistic and non-relativistic situations consider the electron and positron distribution functions [as functions of , and , the characteristic from Eq. (1bjkmnoxalaqbb)] to be given by
with , and constants.
Then consider the current integral
While the general relativistic equation is solvable analytically only in the non-relativistic and weakly relativistic situations, it has the property that it depends only on the combination . Thus the characteristic constant for the equation (say, ) is also a function solely of .
Hence, for distribution functions that are functions in the form it follows that if is chosen to be a function solely of and not of then all transverse current components are precisely zero. Under such conditions there are no electromagnetic soliton solutions. This aspect has already been seen in the non-relativistic (Sec. 3) and weakly relativistic (Sec. 4.1) cases, and is now of general validity. Thus must be a function of and/or as well as in order to obtain an electromagnetic soliton. Despite the fact one cannot solve the characteristic equation in closed form for a fully relativistic plasma as shown in B, one can obtain accurate approximate solutions when the electrostatic field is either small or large compared to the Lorentz force per unit charge. In both cases it is then possible to express in terms of the characteristic constant, as also detailed in B.
The existence and structure of any solitons (electromagnetic and/or electrostatic) then depends on the choices made for the particle distribution functions, as also exhibited in detail for the non-relativistic and weakly relativistic solutions.
5 Summary and Discussion
While the linear Weibel instability has been thoroughly investigated, regrettably the same cannot be said of the non-linear behavior including the coupling of electromagnetic and electrostatic effects. The exploration of the non-linear aspects given here has uncovered a variety of effects that are germane to future investigation for both non-relativistic and relativistic plasmas. While in both the non-relativistic and the relativistic case, the classical constants of motion are total energy and generalized momentum, the problem is to obtain a closed form expression for (or, in the notation used here, ) in terms of these constants. Because of the coupled effects of the magnetic fields and the electrostatic fields such appears not to be an easily tractible problem as shown in text.
It has been shown previously that Weibel isolated modes (which, subsequently, can develop soliton modes) are retained in analytical calculations even if one allows for “classic” extended unstable wavenumber ranges. Because such structures develop only in asymmetric plasmas, they serve as an indicator for the asymmetry of the particle distribution function. Therefore, because precisely symmetric plasmas are difficult to achieve in nature, isolated Weibel modes will be ubiquitous, as shown recently (Tautz and Lerche, 2007b). Furthermore, even if the unstable wave modes are allowed to have a “weak” propagating component, the isolated Weibel modes are still generated. Hence, soliton structures should always be taken into consideration when investigating: (i) instabilities in (relativistic) plasmas in general; (ii) non-linear behavior of the resulting unstable modes; (iii) particle radiation patterns due to scattering in such modes.
Perhaps the most significant theme is that the occurrence of a non-linear Weibel-like soliton requires that the distribution functions be dependent on all three of the characteristic constants. Without such a dependence (and in particular with no explicit dependence on characteristic constants perpendicular to the spatial variation direction of the soliton) then there is no electromagnetic current and so no soliton. This point was demonstrated for non-relativistic, weakly relativistic, and fully relativistic plasma situations.
Even then, the functional behavior of the distribution functions on the three characteristic variables was shown, by explicit examples, to play a fundamental role in determining the structure of the non-linear equations for the coupled electromagnetic and electrostatic fields. Cases were given where no soliton was possible, where solitons existed only for decoupled electromagnetic field with no electrostatic component, and where changes in the distribution functions altered the non-linear field equations so markedly that each situation had to be considered anew. The characteristic constants could be written down in closed form for the non-relativistic and weakly relativistic situations, and the constants could be approximated in the fully relativistic plasma situation for weak electrostatic (electromagnetic) effects on an electromagnetic (electrostatic) field.
Nevertheless the complexity of the resulting non-linear field equations is daunting. Except for simple situations it has so far not proven possible to solve such non-linear equations in either particular cases or the general case for chosen distribution functions. One suspects that only numerical procedures will allow deeper insight into the classes of functional behavior for distribution functions that allow solitons, for the spatial structure of such solitons, and for the relative contributions of the electrostatic and electromagnetic fields to any such solitons. Future work should attempt to investigate the modifications of the radiation pattern due to particle scattering in such soliton structures. In doing so, the question can be explored if and to what extent the radiation spectrum in relativistic outflows deviates from pure synchrotron radiation.
Appendix A Non-Relativistic Integral Transformations
Transformation of the non-relativistic charge and current density integrals proceeds as follows. In terms of the variables
where and . The volume element is written in terms of using a conventional Jacobian procedure, yielding
Then, by taking into account that according to the definition Eq. (1bjkmnoxalaqbf), is symmetric in and that hence one has two integration regimes for the integration range , one obtains
By defining , this integral can be expressed as
Likewise, the current integral from Eq. (1bjkmnoxalaqbi) takes on the form
Appendix B Relativistic Integral Transformations
As for the nonrelativistic situation, transformations in the relativistic situation rely upon the connection between the momentum variables and the canonical variables , and . A simple Jacobian transformation shows that
where one has
From the derivative of Eq. (1bjkmnoxalaqbp) with respect to one obtains