Travelling Waves in HallMHD and the IonAcoustic Shock Structure
Abstract
HallMHD is a mixed hyperbolicparabolic partial differential equation that describes the dynamics of an ideal two fluid plasma with massless electrons. We study the only shock wave family that exists in this system (the other discontinuities being contact discontinuities and not shocks). We study planar travelling wave solutions and we find solutions with discontinuities in the hydrodynamic variables, which arise due to the presence of real characteristics in HallMHD. We introduce a small viscosity into the equations and use the method of matched asymptotic expansions to show that solutions with a discontinuity satisfying the RankineHugoniot conditions and also an entropy condition have continuous shock structures. The lowest order inner equations reduce to the compressible NavierStokes equations, plus an equation which implies the constancy of the magnetic field inside the shock structure. We are able to show that the current is discontinuous across the shock, even as the magnetic field is continuous, and that the lowest order outer equations, which are the equations for travelling waves in inviscid HallMHD, are exactly integrable. We show that the inner and outer solutions match, which allows us to construct a family of uniformly valid continuous composite solutions that become discontinuous when the diffusivity vanishes.
I Introduction
Ideal magnetohydrodynamics (MHD) is one of the most important models that describes a plasma and is a common starting point for theoretical descriptions of plasma phenomena. As plasma physics has developed, phenomena that are beyond the reach of MHD have seen increased attention. This trend has accelerated in recent years, and a number of extendedMHD theories have become important topics of research. Hallmagnetohydrodynamics (HallMHD) is an extendedMHD model in between twofluid theory and MHD. HallMHD describes the behavior of a plasma at length scales comparable with the ion skindepth and time scales comparable to the ioncyclotron frequency, but is simpler than twofluid theory because it has fewer variables. HallMHD has helped researchers progress towards the solution of a number of difficult problems, particularly magnetic reconnection in plasmas with very low resistivity. Spontaneous reconnection leads to violent phenomena: solar flares in the corona, magnetic substorms in magnetospheric plasmas, and sawtooth oscillations in tokamaks. These effects are too strong and rapid to be explained using resistiveMHD, and in each of these cases HallMHD has shown promiseBhattMaWang (); WangBhattMa (). HallMHD has been used as an enhanced description of other phenomena that involve small length scales, for instance the dissipative range of turbulenceMahajanKrishnan () and ballooning modesHameiriHallWaves (). The Hall effect enables the rapid penetration of a magnetic field into a plasma inside plasma opening switches, which are crucial components of pulsed plasma devices, radiation sources, and charged particle beamsHallPOS (). Hall effect based thrusters provide high efficiency propulsion to spacecraft and satellitesHallThrusters (). Further development of HallMHD is motivated both by a desire to understand difficult physical problems and to develop new technologies.
HallMHD is a conservative twofluid system in which the electron fluid has no inertia. Ions and electrons in a plasma begin to decouple due to the gyromotion of the ions, on length scales comparable to the ionskin depth. This gives rise to the Hall effect, which is the generation of an electric field proportional to (where is the current density and is the magnetic field) and which is included along with the electron pressure gradient in the generalized Ohm’s law. These terms are a singular perturbation of MHD, giving rise to second order derivatives of the magnetic field and electron pressure. Unlike MHD, HallMHD is a mixed hyperbolicparabolic system (also referred to as parabolicdegenerateTataronisRosenau ()). The parabolicity comes from the presence of dispersive terms, and waves in HallMHD exhibit both hyperbolic and dispersive propertiesHameiriHallWaves ().
Here we develop the theory of a onedimensional shock wave in HallMHD, for the particular case of isothermal electrons. Nonlinear hyperbolic systems can form shocks, and MHD is an example of such a system; it has a rich family of shock waves and it was one of the first systems for which there was a detailed study of shocksAnderson (); Smoller (). The appearance of shock waves in MHD foreshadowed their importance in plasma physics. HallMHD is different due to effects of dispersion, which may alter shock formation and complicate the use of the standard methods for studying shock waves in hyperbolic systems. Because HallMHD is a mixed hyperbolicparabolic system, it is sensible to expect these standard methods to be useful for finding shocks associated with the real characteristics, which is the course taken here. There have been some previous works on shock waves in HallMHD. This work differs from these studies mostly because it looks at the vanishing viscosity limit of viscous solutions, though we also use a more general equation of state. Previous work dealt only with polytropic ions and zero electron pressure. In that case, jump conditions for shocks were written down by LeonardLeonard () in 1966 and later by Tataronis and RosenauTataronisRosenau () and Lee and WuLeeWuHall (). Shocks with a rotational discontinuity in the magnetic field have been shown to form in axisymmetric geometries, leading to KMC (Kingsep, Mokhov, Chukbar) wavesKMC (); Degond (); DreherRubanGrauer (), which have been observed in plasma opening switchesHallPOS (). In the nonplanar case, using the full set of HallMHD equations, more general jump conditions, which apply to more than just the ionacoustic characteristic family, were developed by HameiriHameiriHall (), which was the motivation for this project.
The planar shock problem in HallMHD is a special case of the more general problem of finding planar shock waves in mixed hyperbolicparabolic systems. The simplest and perhaps first known example of a mixed hyperbolicparabolic system with shocks is the compressible Euler equation augmented with nonzero heat conductivity. It was first shown by RayleighRayleigh () that the presence of heat conduction alone is insufficient to guarantee smoothness of solutions to the equations. The exposition in GilbargGilbarg () contains a rigorous treatment of this case and a proof of the existence of shock structures for discontinuous solutions of that model that satisfy an entropy condition. A framework for the general problem was developed by GermainGermainEnglish () in the context of subshocks, which occur when there are multiple dissipative mechanisms with order of magnitude differences between their strength.
By assuming that the magnetic field is continuous we are able to recover the jump conditions for the ionacoustic shock (called such because it is associated with a characteristic family that propagates at the sound speed in the plasma) from the general conditions in HameiriHameiriHall (). The jump conditions include those of an ideal gas, but there is also a jump in the derivative of the magnetic field across the shock. Therefore the shock waves are an analog of the shock waves that develop in the compressible Euler equations of fluid dynamics, but with an additional condition involving the current, and are associated with characteristics that propagate information at the sound speed of the plasma. We study the shock structure using the viscosity methodSmoller (), which involves adding viscosity to the equations and calculating a family of onedimensional travelling wave solutions, parametrized by the viscosity, that become discontinuous in the limit that the viscosity vanishes. In one spatial dimension plus time ( coordinates), travelling waves depend only on a single variable , which reduces the problem of calculating shock structures to a finite degreeoffreedom dynamical systems problem. Because the inviscid equations are second order, the shock structures are of a different type than shock structures in MHD and other hyperbolic systems. The states on opposite sides of the shock are not stationary points of the travelling wave system, which means that generalized solutions of the inviscid system are nonconstant away from the shock, which is different from what is usually seen in the hyperbolic case, and also necessary due to the fact that HallMHD is a mixed hyperbolicparabolic system.
In the next section we will introduce the equations of HallMHD and describe their basic mathematical properties. We will then add small viscosity and heat conductivity and reduce the resulting equations to ordinary differential equations (ODEs) for onedimensional travelling waves. We will note that the viscous terms are a singular perturbation, and use the method of matched asymptotic expansions to derive inner and outer equations, the inner equations describing the behavior of the dynamical variables within a shock. We will show that the values of the inner solution at , in the coordinates describing the shock structure, must satisfy the jump conditions for the ionacoustic shock, and that for any pair of states that satisfy these jump conditions and an entropy condition, there is an asymptotic solution that depends on the diffusivity that has the appropriate discontinuity in the limit of vanishing diffusivity. We will show that the inner and outer solutions match, from which we will conclude that the ionacoustic shocks in HallMHD have shock structures.
Ii HallMHD Equations
HallMHD is a system of secondorder quasilinear partialdifferential equations, which we give below:
(1a)  
(1b)  
(1c)  
(1d)  
(1e)  
(1f)  
(1g) 
The density is , the ion velocity is , the total pressure is the sum of the pressures of the electrons and ions respectively, and the magnetic field is . The ion masstocharge ratio is , which expresses the magnitude of the Hall effect and which will not be assumed to be small in this paper. We assume that the ions are adiabatic, which implies the constancy of the specific ion entropy (which means entropy per unit mass) along streamlines, Eq 1d. The internal energy is the sum of the internal energy of the ion and electron fluids, .
The electron pressure gradient term makes HallMHD an explicitly twofluid theory, and an additional equation of state for the electron fluid is necessary to close the set of equations. In this paper we choose isothermal electrons, , where the electron temperature is a constant throughout the fluid and is a constant proportional to Boltzmann’s constant. The internal energy of the isothermal electrons is given by , where is some constant reference value for .
(2) 
Ohm’s law, Eq. 1e, is different than in MHD due to the appearance of and . The current and electron pressure terms do not appear in MHD. On length scales comparable with the ion skindepth the ion gyromotion causes a difference in the motion of electrons and ions, and the Hall current term becomes comparable to the macroscopic velocity . HallMHD is an extension of MHD to these length scales; it captures some of the two fluid effects that MHD cannot. In the rest of the paper, we use Eq. 1e to write the electric field in terms of the other dynamical variables.
ii.1 OneDimensional HallMHD equations
We assume that all dynamical variables are functions only of the coordinate . We denote the decomposition of vectors into parallel and perpendicular directions with respect to planes of constant by . We also introduce the matrix , such that and . Then the equations of HallMHD reduce to:
(3a)  
(3b)  
(3c)  
(3d)  
(3e)  
(3f) 
Note that the last term in Eq. 2 disappears in onedimension due to the vanishing of on account of onedimensionality. We have the choice of using Eq. 3e or Eq. 3f; the two are not independent, and the important difference is that Eq. 3e is in conservation form and valid across discontinuities while Eq. 3f is not valid there.
ii.2 Characteristics and Jump Conditions
The HallMHD equations have two families of real characteristics with finite propagation speedTataronisRosenau (), one associated with a contact discontinuity and propagating at velocity , and the other associated with the ionacoustic wave and propagating at velocity , where is the sound speed of the fluid, which has contributions from both the ion and electron pressure so that can be written . The ionacoustic characteristic is a direct analog of the sound wave in the Euler equation, suggesting that nonlinear steepening can lead to the formation of shocks.
The equations of HallMHD can be written in integral form as a system of conservation laws; the equations represent the conservation of mass, momentum, magnetic flux, and energy. There is no dissipation and the ion entropy is simply advected in regions where the dynamical variables are continuous. We consider possibly discontinuous solutions of the system of conservation laws under the assumption that , but not necessarily its derivatives, are continuous. These assumptions isolate the ionacoustic discontinuityTataronisRosenau (). In a reference frame where measures velocity relative to the shock front, which moves at constant velocity in the lab frame (so that ), we define the mass flux (which we assume to be nonzero). These assumptions yield the RankineHugoniot conditions:
(4a)  
(4b)  
(4c)  
(4d)  
(4e)  
(4f)  
(4g) 
Here the symbol stands for the difference between the limits from the right and left of a function with at worst a jump discontinuity at , the shock’s location. Eq. 4a to 4c and 4e are the equations for the classical hydrodynamic shock that occurs in the compressible Euler equation. Eq. 4d gives the discontinuity in in terms of the hydrodynamic variables, and by assumption the magnetic field remains continuous across the shock. Eq. 4e is derived from the integral of Eq. 3e, which on its own would produce:
(5) 
Using the other equations we can eliminate the dependence on so that only the relative velocity appears, recovering Eq. 4e. Later we show that when a small viscous term is included, there is a travelling wave solution that converges to a discontinuous function satisfying the chosen jump conditions for each possible jump that satisfies the entropy condition . Jump condition Eq. 4f holds for a general HallMHD discontinuityHameiriHall (), and one of the advantages of considering the electron fluid isothermal is that there is no need to assure that this condition holds.
Iii HallMHD Travelling Waves
A piecewise continuous function that solves the equations of HallMHD wherever it is continuous, and which satisfies the RankineHugoniot conditions, in one dimension Eqs. 4a to 4g across any of its discontinuities, is called a generalized solution of HallMHD. The differential equations of HallMHD, Eq. 3a to 3e augmented with the RankineHugoniot conditions, are insufficient to guarantee a unique solution of the equations. One way to determine a unique, physically correct, solution is to incorporate the physics that happens inside the shock layer. The goal of this is to derive an entropy condition, which restricts the set of allowable discontinuities. One method for deriving an entropy condition is the viscosity method. The viscosity method involves the introduction of small dissipative terms in the equations (in fluid mechanics models these often involve the viscosity) and consideration of the limits of solutions as the viscosity coefficients are decreased to zero. We add viscosity and heat conductivity to regularize HallMHD and to generate smooth shock structures and search for travelling wave solutions, reducing the partial differential equations into ordinary differential equations. The purpose of the viscosity method is to show that some discontinuous solutions to the inviscid problem are the limits of smooth solutions of the viscous equations. It is generally impossible to prove this for systems of equations, but for the special case of travelling wave solutions it is often feasible because the equations become ordinary differential equationsSmoller (). Travelling waves are solutions that depend on a single variable , to be referred to as from now on, and represent steady profiles travelling in the direction with velocity . We use this ansatz on equations 3a to 3e, redefining as . To make the system viscous we add to the right hand side of Eq. 3b and to equation 3e. Here the kinematic viscosity and heat conductivity are constants. Because all of the equations remain in divergence form after the addition of the viscous terms, we integrate each of them once, using the equations of magnetic flux to simplify the energy equation. The equations for travelling waves that result from this procedure are:
(6a)  
(6b)  
(6c)  
(6d) 
Without loss of generality, in the rest of this paper, it will be assumed that:
(7) 
The choice of viscous terms can impact the types of shocks that have structure. For hyperbolic PDEs shock structures correspond to families of travelling waves, each of which is a heteroclinic orbit that connects constant states (equlibrium points) of the travelling wave equations. The stationary points represent the state of the solution on opposite sides of the shock. The theory of these equations has been developed extensively and there are powerful topological methods for proving the existence of heteroclinic orbitsSmoller (). These methods have successfully led to the solution of the shock structure problem in idealmagnetohydrodynamicsSmoller (); ConleySmoller ().
The shock structure problem in HallMHD differs from that of a hyperbolic conservation law because the states on the opposite side of the shock are not stationary points. Despite this, it could be possible to treat the HallMHD shock structure problem by analyzing the above equation, it would be necessary to look for families of travelling wave solutions that become discontinuous as the viscosity and heat conductivity vanish. The disadvantage of this is that great effort will be expended on the global behavior of solutions to the system of travelling waves when the behavior we are trying to observe is local. Instead we will use the method of matched asymptotic expansions to calculate travelling waves, an approach which will isolate the local behavior that is responsible for the shock structures.
The travelling wave problem is a singular perturbation problem since the small parameter multiplies the highest order terms in the equations. When this parameter is equal to zero the order changes and fewer boundary conditions are required to determine the solution. These types of problems exhibit boundary layers and inner layers, which correspond to shocks. When the gradients of the dynamical variables are , the diffusive terms in Eqs. 6b and 6d are , so that to lowest order solutions of these equations mirror the behavior of the correspond inviscid solutions. On the other hand, in a region where there are steep gradients of the dynamical variables, the and terms can be balanced by the derivative of and , which will be proportional to (we will assume ). In such a region and will undergo a large change, but the magnetic field will remain nearly constant, reflecting the predictions of the jump conditions written down in the previous section. The rest of the paper will illustrate this heuristic picture in detail.
The system Eq. 6a through 6d has two nontrivial distinguished limits, one represented by the variable , and the other represented by the variable , with or remaining finite as . We distinguish between inner and outer solutions by appending a subscript, represents an outer solution and represents an inner solution. From here on out we will refer to the ion temperature with the variable , so that the subscript stands for the inner solution only. The variable is constant in both the inner and outer solutions due to Eq. 3d. The outer equations are defined by the outer variable , and are the system 6a to 6d, but written in terms of an outer solution:
(8a)  
(8b)  
(8c) 
The inner equations differ by a factor in the derivatives:
(9a)  
(9b)  
(9c) 
The viscosity is a small parameter, and we will look for a solution in the form of an asymptotic series in . In order to facilitate this we will make the assumption that , where and is constant.
Iv Solution of the Outer Equations to Lowest Order
We expand the outer solution in an asymptotic series in of the form (where is just being used to illustrate the general form of the series for each dynamical variable). Each equation becomes a series in powers of , all orders of which must obey the equations. The lowest order equations in this hierarchy are the set of equations for travelling waves in inviscid HallMHD:
(10a)  
(10b)  
(10c) 
All the integration constants, including , are taken to be independent of the diffusivity . Eq. 10a to 10c form a system of differentialalgebraic equations. We solve this system by first solving the algebraic equations, Eqs. 10a and 10b, to find an expression for the hydrodynamic variables in terms of , i.e. and , and second using these expressions to close Eq. 10c for the magnetic field . Eqs. 10a and 10b have been studied extensively in the development of the theory of shock waves in compressible fluids as determining a shock’s jump conditions. Under rather general conditions, for a given set of constants , , , , and , and values of the magnetic field , there are up to two solutions for the and . One condition that guarantees this property is that the functions , , , and , which define the thermodynamic properties of the plasma, satisfy the assumptions defining a Weyl fluidWeyl (). These are:



The pressure can take arbitrarily high values.

The thermodynamic state of the fluid is uniquely specified by and , and the points representing possible states of the fluid form a convex region in the plane.
A Weyl fluid must also satisfy the fundamental thermodynamic relation
(11) 
This class of fluids was introduced by Weyl as a general class of fluids for which shock waves of the type typically observed in gas dynamics arise. More commonly encountered types of fluids, such as ideal gasses or polytropic gasses, are special cases of Weyl fluids.
Let us assume that the ion fluid is a Weyl fluid, that the equation of state of the ion fluid, leads to the satisfaction of the above conditions. Under this assumption we verify that the plasma, with its full equation of state, is also a Weyl Fluid. The internal energy of the plasma is the sum of the internal energy of the ions and electrons:
(12) 
satisfies Eq. 11:
(13) 
which satisfies Eq. 11 under the definition: . The entropy is equal to the ion entropy, . Because the ion fluid is a Weyl fluid, , which means , which implies . Furthermore, implies . Combined with the fact that this implies that . The third condition is clearly satisfied as grows without bound when goes to zero. The combination of the third condition (the fact that can become arbitrarily high) and the fourth condition allow us to conclude that the set of allowable thermodynamic states for the ion fluid have the form for convex and . Therefore the allowable thermodynamic states of the full plasma have the form , , which is a convex set due to the fact that is a convex function. Therefore the last condition is verified and the plasma satisfies the assumptions defining a Weyl Fluid.
Under the assumptions that the fluid is a Weyl fluid, the system comprised of Eqs. 10a and 10b has been well studiedCourant (), and the properties of the solutions depend on the manner in which the problem is specified. If we specify the integration constants and the magnetic field , then there are either , , or solutions that correspond to physically realizable values of , , and . We characterize these solutions by Mach number , where , which is possible. If the solution is a plus solution, written , if the solution is a minus solution, written . The functions have as domain a subset of , consisting of all values of for which there is a supersonic solution of Eq. 10a and Eq. 10b. The functions have as domain a subset , which consists of all values of for which there is a subsonic solution of Eq. 10a and Eq. 10b.
If instead of specifying the fluxes in Eqs. 10a to 10c , , , , and the magnetic field we specify the magnetic field , the flux , the values of the hydrodynamic variables , , and , whether the flow is supersonic or subsonic, and the normal velocity of the other solution then there is another state with the same values of the constants and magnetic field, but on the opposite branch of solutions, so that if the original state was supersonic the second one would be subsonic and viceversa. This is related to the specific shock structure problem that we will be intersted in studying: it means that if we specify the state ahead of the shock there will be a state behind the shock that satisfies the RankineHugoniot conditions.
The full set of differential algebraic equations reduce to the differential equations Eq. 10c defined on and , using the solutions to Eqs. 10a and 10b to close the equations, i.e. on we write:
(14) 
and correspond to surfaces in the full phase space of the system, which are defined as and .
Due to the abscence of viscosity and heat conductivity in Eq. 10a to Eq. 10c, the zeroth order entropy is a constant to along the trajectory of the outer equations . The mass flux, momentum flux, and energy flux are each constant on the set , but the entropy is not. Therefore the system of equations is integrable, and the orbits are the level sets of on and . The orbits may be closed curves, but singular behavior arises when , which occurs when . The points on are also called impasse pointsDAETravel (); DAEAnalysis (). There are a number of different types of impasse points, the simplest of which are called either accessible or inaccessible simple singular points. These points are the points on where is not tangent to a level set of and which are not equilibrium points. Whether a simple singular point is accessible or inaccessible is determined by the direction of flow along the orbit through that point. At each inaccessible point of there are two solutions emerging, one going to and one to , and at each accessible point there are two solutions, one coming from and one from , that reach and cannot be continued. The fact the solutions passing through a given simple singular point from and have the same behavior at is due to the fact that the right hand side of Eq. 10c is a continuous function of all of the dynamical variables, a fact which forces the vector fields on and to point in the same direction near . The singular behavior of solutions at is typical of systems of differential algebraic equations, and it has been observed in the similar context of resistive HallMHDHallDAE (); HallIntermediate (). Almost every impasse point is of one of those two types, as there are only a finite set of equilibria of the outer equations (which have no particular reason to occur on ) and because in general the set is not a level set of , so that generically the level sets of will cross it. Orbits near these singular points are plotted in Figure 2. Because there will be both accessible and inaccessible singular points on there will generally be at least two points where orbits are tangent to . In general there will be orbits on both or that are tangent to these points, which means that it is possible to transition between on and on these special orbits. Two examples of such orbits are shown in Fig. 3. This singular behavior also implies that continuous travelling wave solutions of HallMHD can only change from subsonic to supersonic or viceversa at special points; solutions that begin on or remain there or reach . The behavior of trajectories near an equilibrium point that is embedded in is more complicated, in resistive HallMHD it is possible for solutions to cross between and at these pointsHallDAE (). Figure 1 shows level sets of the entropy on and for an example of the outer equations.
Given an initial value of , the choice of an initial value of the magnetic field and a branch, supersonic or subsonic, specifies a solution, which is unique and whose orbit is the level set of passing through as long as the initial is in or . An example solution for the special case of polytropic ions (which means that , where is a positive function), and computed using the fourthorder RungeKutta method with a spatial step of , is plotted in Figs. 4 and 5.
V Solution of the Inner Equations to Lowest Order
The dynamical variables have steep gradients in the inner region, where it is assumed that the characteristic length scale is , so that the length scale with respect to is . We expand the inner solution in an asymptotic series in , which takes the general form . Each equation becomes a series in powers of , each of which must be satsified. The lowest order equations in this hierarchy, which are derived from Eqs. 9a and 9c, are:
(15a)  
(15b)  
(15c) 
Eq. 15b implies that is a constant function of . The magnetic field does not change to lowest order in the inner layer.
Eqs. 15a and 15c reduce to the compressible NavierStokes equations of fluid dynamics, for the hydrodynamic variables. As such, the tangential components of velocity satisfy:
(16) 
The solution is:
(17) 
where and are constants. We must pick or will diverge at either or . Therefore is constant.
The remaining system of two equations has been wellstudiedGilbarg (), as it is the equation for viscous shock structures in the compressible Euler equation. There are up to two stationary points (independent of ) with physical values of the hydrodynamic variables, which are solutions of the algebraic system:
(18a)  
(18b) 
These two solutions are presumably the limiting states of the inner solution as .
We assume that we are in the case where there are two stationary points. If that is the case, one of the stationary points has and is written , and the other has and is written . The point is an unstable node and the point is a saddleGilbarg (); Weyl (). GilbargGilbarg () proved that there a unique heteroclinic orbit that connects the node at to the saddle at . Furthermore the rate of convergence to each saddle point is exponential in . This heteroclinic orbit is the inner solution that we are interested in, so we define the inner solution so that the hydrodynamic part is the heteroclinic orbit constructed by Gilbarg. We provide in figure 6 a plot of the direction field of the dynamical system corresponding to Eqs. 15a and 15c, including a plot of the heteroclinic connection between the two stationary points that corresponds to the desired inner solution. This solution was computed using a Chebyshev spectral method combined with Newton iterations, using the boundary condition that the solution be on the stable manifold of the saddle at and a phase condition that half of the change in the dynamical variables across the interval occurs at the point .
Unlike in the outer equations, the entropy is not a constant in the inner layer. The value of at the stationary point is always greater than the value of at . Therefore , which reflects the fact that the entropy increases across the inner layer.
Vi Asymptotic Matching of the Outer and Inner Solutions
Consider a pair of states of the fluid which satisfy the RankineHugoniot conditions Eqs. 4a through 4g, and denote the state by and the state by . Each state determines a unique continuous solution of the nondiffusive () equations, and we can form an inviscid solution that contains a shock that satisfies the RankineHugoniot conditions at the point , which we take without loss of generality to be , by forming piecewise solution equal to one of the continuous solutions when and the other when . The points and are stationary points of the inner equations, Eq. 18a and Eq. 18b. By the results of Section V, there is an inner solution whose limit at is the state and whose limit at is the state .
The equations for the stationary points of the inner equations, Eqs. 18a and 18b are the same as the algebraic equations that define the hydrodynamic variables in terms of the magnetic field in the outer equations, Eq. 8a and Eq. 8b. Therefore the stationary points of the inner equations lie on and . Therefore the supersonic outer solution will match with the supersonic stationary point at and and the subsonic outer solution at will match with the subsonic stationary point at .
We can also check the value of the current of the inner and outer solution at and . For the outer solution, the current , which is from Eq. 10c. In the inner region, the th order current is related to the derivative st order magnetic field with respect to , . The first order magnetic field is completely determined by the th order solution, however, the formula for which is . Therefore the equality of the outer and inner hydrodynamic variables also implies the equality of the outer and inner current.
We can form a uniformly valid composite solution by adding the inner and outer solutions and subtracting the matching part. Let the supersonic branch outer solution be written , the subsonic branch outer solution be written , and the inner solution be written . Let be the Heaviside function. Then the following composite solution is a uniformly valid solution:
(19a)  
(19b)  
(19c) 
In the limit that goes to zero, this solution becomes a discontinuous travelling wave by virtue of the exponential convergence of the inner solution to a step function (in the variable ). Across the discontinuity of the limiting solutions the values of the dynamical variables are equal to the value of the inner solution at .
(20a)  
(20b)  
(20c)  
(20d)  
(20e) 
Eqs. 20a and 20d, which are the jump conditions for the hydrodynamic variables, are seen from substituting the limiting values and of the outer equation into Eqs. 18a and 18b and subtracting the resulting expressions. Eq. 20e comes from the constancy of the magnetic field in the inner solution, expressed by 15b.
To see Eq. 20c, we substitute and into Eq. 10c and subtract the two expressions, substituting . Another way to see that this relation holds would be to consider the next highest order equation for magnetic flux conservation in the inner region, which would give an expression for in terms of the th order inner variables.
Therefore, for each discontinuous travelling wave solution of the HallMHD equations (with ) that also satisfies the above jump conditions and the entropy condition , there is a continuous composite viscous solution that realizes this discontinuity in the limit that . Therefore we conclude that the ionacoustic shock wave has structure. In Figs. 7 through 8 we plot an example of a uniformly valid solution, computed under the assumption that the ion fluid is polytropic, demonstrating the sharp transition between oscillations near and .
Vii Conclusions
We analyzed a family of solutions to the RankineHugoniot equations in HallMHD. For any pair of states of the dynamical variables that satisfy these relations, we constructed a family of travelling wave solutions parametrized by the viscosity that converge to a piecewise continuous function with a discontinuity connecting the chosen pair of states. These solutions were constructed by the method of matched asymptotic expansions, combining an inner and outer solution that matched in an overlap region. The outer equations were a set of differential algebraic equations. Continuous solutions lay on a set of solutions of the algebraic part of the equations, either on a set with supersonic flow or on a set with subsonic flow. The orbits were level sets of the entropy.
The inner equations were the compressible NavierStokes equations, which had two stationary points, one supersonic and one subsonic. All inner solutions had constant values of the magnetic field. There was a single solution connecting the supersonic stationary point to the subsonic. Each side of the inner solution match to a continuous outer solution, either supersonic or subsonic. The values on either side of the inner solution satisfy the RankineHugoniot conditions and the entropy condition. In the limit of vanishing diffusivity the combined solution becomes discontinuous. From this we conclude that the ionacoustic shocks have structure.
Shock waves and similar phenomenon are important in plasma physics because they are commonly occurring and because they arise in some of the most important problems. The theory of shock waves for HallMHD is interesting and important because of the equations are of a mixed type, they have the character or both hyperbolic and dispersive systems. This work continues the development of the theory of shock waves in HMHD that was by the development jump conditions for general shocks and the contact discontinuity that was begun by HameiriHameiriHall (). Here we showed that the ionacoustic shock has structure. The other shocks require more than one dimension, and the elucidation of the shock structure in those cases will be a topic of future work. We also intend to present a much more detailed solution, involving higher order terms in in a future manuscript.
This work is just part of a larger program to develop a better theoretical framework for HallMHD. This model is becoming increasingly important because of its role in the possible solution of some of the major problems of plasma physics, and because of its technological applications. The Hall effect might explain the growth rate and triggering of spontaneous reconnection in magnetospheric and tokamak plasmas, and also has applications to plasma switches and plasma thrusters. Further development of the mathematical basis of this model is warranted.
Acknowledgements.
The authors gratefully acknowledge a number of discussions with Prof. Harold Weitzner. This work was supported by the US Department of Energy under grant no. DEFG0286ER53223.References
 (1) M. Acheritogaray, P. Degond, A. Frouvelle, and JG. Liu. Kinetic formulation and global existence for the hallmagnetohydrodynamics system. arXiv:1108.3722, 2011.
 (2) John Anderson. Shock Waves in Magnetohydrodynamics. M.I.T. Press, 1963.
 (3) A. Bhattacharjee, Z.M. Ma, and Xiaogang Wang. Recent developments in collisionless reconnection theory: Applications to laboratory and space plasmas. Phys. Plasmas, 8(5), 2001.
 (4) B. Cassany and P. Grua. Analysis of the operating regimes in microsecondconductiontime plasma opening switches. J. Appl. Phys., 78, 1995.
 (5) C. Conley and J. Smoller. On the structure of magnetohydrodynamic shock waves. Comm. Pure Appl. Math., 28, 1974.
 (6) J. Dreher, V. Ruban, and R. Grauer. Axisymmetric flows in hallmhd: A tendency towards finitetime singularity formation. Phys. Scr., 72(6), 2005.
 (7) P. Germain. Shock waves, jump relations, and structure. Adv. Appl. Mech., 12, 1972.
 (8) D. Gilbarg. The existence and limit behavior of the onedimensional shock layer. Am. J. Math., 73(2), 1951.
 (9) E. Hameiri. Shock conditions and the static contact discontinuity, including its stability, in the hallmagnetohydrodynamics model. Phys. Plasmas, 20, 02212 , 2013.
 (10) Eliezer Hameiri, Akihiro Ishizawa, and Akio Ishida. Waves in the hallmagnetohydrodynamics model. Phys. of Plasmas, 12(7), 2005.
 (11) L. N. Hau and B. U. O. Sonnerup. The structure of resistivedispersive intermediate shocks. J. Geophys. Res., 95(A11), 1990.
 (12) V. Krishnan and S.M. Mahajan. Magnetic fluctuations and hall magnetohydrodynamic turbulence in the solar wind. J. Geophys. Res., 119, 2004.
 (13) L. C. Lee and B. H. Wu. Existence of gasdynamic subshocks in hall magnetohydrodynamics. Geophys. Res. Lett., 28(6), 2001.
 (14) B.P. Leonard. Hall currents in magnetohydrodynamic shock waves. Phys. Fluids, 9(5), 1966.
 (15) Wieslaw Marszalek. Fold points and singularities in hall mhd differentialalgebraic equations. IEEE Trans. Plasma Sci., 37(1), 2009.
 (16) Lord Rayleigh. Aerial plane waves of finite amplitude. Proc. Royal Soc. London Ser. A, 84(570), 1910.
 (17) P. Rosenau, J.A. Tataronis, and G. Conn. Elements of magnetohydrodynamics with the hall current. part 1. nonlinear phenomena. J. Plasma Physics, 21(3), 1979.
 (18) R. Sagdeev, editor. Nonlinear Skin Phenomena in Plasma, 1984.
 (19) Joel Smoller. Shock Waves and ReactionDiffusion Equations. SpringerVerlag, 1994.
 (20) Xiaogang Wang, A. Bhattacharjee, and Z.M. Ma. Scaling of collisionless forced reconnection. Phys. Rev. Lett., 87(26), 2001.
 (21) H. Weyl. Shock waves in arbitrary fluids. Comm. Pure Appl. Math., 2:103–122, 1949.
 (22) V. V. Zhurin, H. R. Kaufman, and R. S. Robinson. Physics of closed drift thrusters. Plasma Sources Sci. Technol, 8(1), 1999.
 (23) S. L. Campbell and W. Marszalek. DAEs arising from travelling wave solutions of PDEs. J. Comp. Appl. Math., 82(12), 1997.
 (24) P. Rabier and R. Rheinbolt. Theoretical and Numerical Analysis of DifferentialAlgebraic Equations. Handbook of Numerical Analysis, Volume VIII. P.G. Ciarlet and J.L. Lions, editors. Elsevier, 2002.
 (25) R. Courant and K.O. Friedrichs. Supersonic Flow and Shock Waves. Wiley. 1948,