Stochastic Lagrangian dynamics for charged flows in the E-F …wtang/files/TM13.pdf · to...

12
Stochastic Lagrangian dynamics for charged flows in the E-F regions of ionosphere Wenbo Tang and Alex Mahalov Citation: Phys. Plasmas 20, 032305 (2013); doi: 10.1063/1.4794735 View online: http://dx.doi.org/10.1063/1.4794735 View Table of Contents: http://pop.aip.org/resource/1/PHPAEN/v20/i3 Published by the American Institute of Physics. Related Articles A design approach for improving the performance of single-grid planar retarding potential analyzers Phys. Plasmas 18, 012905 (2011) Auroral hot-ion dynamo model with finite gyroradii Phys. Plasmas 13, 072901 (2006) Conversion of trapped upper hybrid oscillations and Z mode at a plasma density irregularity Phys. Plasmas 10, 2509 (2003) Parallel electric fields in the upward current region of the aurora: Numerical solutions Phys. Plasmas 9, 3695 (2002) Ground-based observations and plasma instabilities in auroral substorms Phys. Plasmas 8, 1104 (2001) Additional information on Phys. Plasmas Journal Homepage: http://pop.aip.org/ Journal Information: http://pop.aip.org/about/about_the_journal Top downloads: http://pop.aip.org/features/most_downloaded Information for Authors: http://pop.aip.org/authors

Transcript of Stochastic Lagrangian dynamics for charged flows in the E-F …wtang/files/TM13.pdf · to...

Page 1: Stochastic Lagrangian dynamics for charged flows in the E-F …wtang/files/TM13.pdf · to homogenize ion density. In the stochastic differential equation (SDE) set up, this coefficient,

Stochastic Lagrangian dynamics for charged flows in the E-F regions ofionosphereWenbo Tang and Alex Mahalov Citation: Phys. Plasmas 20, 032305 (2013); doi: 10.1063/1.4794735 View online: http://dx.doi.org/10.1063/1.4794735 View Table of Contents: http://pop.aip.org/resource/1/PHPAEN/v20/i3 Published by the American Institute of Physics. Related ArticlesA design approach for improving the performance of single-grid planar retarding potential analyzers Phys. Plasmas 18, 012905 (2011) Auroral hot-ion dynamo model with finite gyroradii Phys. Plasmas 13, 072901 (2006) Conversion of trapped upper hybrid oscillations and Z mode at a plasma density irregularity Phys. Plasmas 10, 2509 (2003) Parallel electric fields in the upward current region of the aurora: Numerical solutions Phys. Plasmas 9, 3695 (2002) Ground-based observations and plasma instabilities in auroral substorms Phys. Plasmas 8, 1104 (2001) Additional information on Phys. PlasmasJournal Homepage: http://pop.aip.org/ Journal Information: http://pop.aip.org/about/about_the_journal Top downloads: http://pop.aip.org/features/most_downloaded Information for Authors: http://pop.aip.org/authors

Page 2: Stochastic Lagrangian dynamics for charged flows in the E-F …wtang/files/TM13.pdf · to homogenize ion density. In the stochastic differential equation (SDE) set up, this coefficient,

Stochastic Lagrangian dynamics for charged flows in the E-F regionsof ionosphere

Wenbo Tanga) and Alex Mahalovb)

School of Mathematical and Statistical Sciences, Arizona State University, Tempe, Arizona 85287, USA

(Received 25 October 2012; accepted 20 February 2013; published online 13 March 2013)

We develop a three-dimensional numerical model for the E-F region ionosphere and study the

Lagrangian dynamics for plasma flows in this region. Our interest rests on the charge-neutral

interactions and the statistics associated with stochastic Lagrangian motion. In particular, we examine

the organizing mixing patterns for plasma flows due to polarized gravity wave excitations in the

neutral field, using Lagrangian coherent structures (LCS). LCS objectively depict the flow topology—

the extracted attractors indicate generation of ionospheric density gradients, due to accumulation of

plasma. Using Lagrangian measures such as the finite-time Lyapunov exponents, we locate the

Lagrangian skeletons for mixing in plasma, hence where charged fronts are expected to appear. With

polarized neutral wind, we find that the corresponding plasma velocity is also polarized. Moreover, the

polarized velocity alone, coupled with stochastic Lagrangian motion, may give rise to polarized

density fronts in plasma. Statistics of these trajectories indicate high level of non-Gaussianity. This

includes clear signatures of variance, skewness, and kurtosis of displacements taking polarized

structures aligned with the gravity waves, and being anisotropic. VC 2013 American Institute ofPhysics. [http://dx.doi.org/10.1063/1.4794735]

I. INTRODUCTION

The properties of the terrestrial ionosphere, in response to

dynamical processes of the ambient environment, are of great

interest for space physics and telecommunication. Because of

the presence of the ionosphere, electromagnetic waves can

reflect and transmit over long distances. Among these proper-

ties, structures of the density of plasma flows are very impor-

tant. They include estimates of the mean density of plasma at

different altitudes, as well as the variabilities of density fluctu-

ations. One challenging region for such estimates is in the

lower ionospheric altitudes, which is too low for orbiters and

too high for radiosondes to take direct measurements.

In recent years, computer simulations of the earth’s

ionosphere have become a prevailing tool to obtain proper-

ties of plasma flows in the ionosphere, especially at low alti-

tudes. One particular process of interest is the interaction

between neutral and plasma flows due to collision. At low

altitudes, ion- and electron-neutral collisions can be signifi-

cant because of the large density of neutral particles. This

process becomes significantly weaker at higher altitudes,

where neutral density drops below plasma density. Some of

the computer simulation studies primarily focus on the role

of neutral winds on the generation of field aligned irregular-

ities (FAIs) driven by charge-neutral collisions.1–4 These

studies are motivated by middle and upper atmosphere Radar

observations on ion density disturbances in mid-latitude

ionosphere.5 The density disturbances are usually found

above 100 km altitude in the post-sunset period during the

summer time. They are in the form of quasi-periodic echos

and can extend up to 130 km in altitude, with periods of

2–15 min. A possible explanation for these echos is the colli-

sion between plasma and polarized neutral wind fields (iner-

tial gravity waves, hereinafter referred to as IGWs).6,7 The

aforementioned deterministic simulations do support these

theoretical work on the generation mechanisms.

However, the environment is inherently stochastic, and

random motions of charged particles (ion) in addition to the

deterministic mean must be accounted for with statistical meas-

ures. One quantity of our interest is the variability of the

Lagrangian motion of plasma—from the flow trajectories, we

can obtain the flow topology, using Lagrangian coherent struc-

tures (LCS).8–11 LCS is a recently developed mathematical tool

to identify the skeletons of nonlinear chaotic mixing processes.

Roughly speaking, attractors (repellers) in LCS correspond to

convergences (divergences) in flow, indicating generation of

fronts (troughs). We favor a Lagrangian approach, as they

provide objective description of the flow topology.12 With

LCS from ion velocity, we can obtain the mixing template for

plasma density.

Consider the ion random motion driven by ambipolar diffu-

sion. In deterministic dynamics for the mean, this coefficient acts

to homogenize ion density. In the stochastic differential equation

(SDE) set up, this coefficient, manifesting itself in the SDE as a

vector Wiener process, drives individual realizations of the

motion for ion trajectories. This results in interesting statistics on

the transport patterns, henceforth the shape of density fronts, for

plasma. As such, the random motion is considered to be driven

by ambipolar diffusion. In particular, we focus on the stochastic

Lagrangian motion of plasma, whose mean drift are based on

resolved deterministic velocity, plus two forms of stochastic

forcing, to be explained later. Statistics associated with these ran-

dom motions of the plasma flow are obtained from Monte-Carlo

simulations. We follow prior numerical simulation studies1,3 and

use a polarized neutral wind field to drive mean ion motion.

a)[email protected])[email protected].

1070-664X/2013/20(3)/032305/11/$30.00 VC 2013 American Institute of Physics20, 032305-1

PHYSICS OF PLASMAS 20, 032305 (2013)

Page 3: Stochastic Lagrangian dynamics for charged flows in the E-F …wtang/files/TM13.pdf · to homogenize ion density. In the stochastic differential equation (SDE) set up, this coefficient,

Because the deterministic mean motion is nonlinear,

the statistics associated with the motion of plasma could be

highly non-Gaussian. In a previous study on neutral wind,

non-Gaussian statistics were observed for stochastic

Lagrangian trajectories in polarized velocity fields in an

IGW.13 We will explore in this study what similarities and

differences in statistics can be obtained for plasma.

This paper is organized as follows. In Sec. II, we discuss

the mathematical formulation and numerical set up for the

problem. In Sec. III, we show numerical results of various

deterministic fields and subsequent stochastic Lagrangian

studies. In Sec. IV, we discuss the implications of our results

and draw conclusions. The actual equations handled by nu-

merical methods, in their expanded versions, are given in the

Appendix.

II. BACKGROUND

A. Mathematical formulation and numerical details

Consider the mid-latitude ionosphere E and F regions,

where plasma density starts from �80 km altitude and extends

towards 1000 km in the exosphere. In these regions, tempera-

ture varies between 300 K and 1200 K, and the number density

for plasma varies between 102 and 106 cm�3. We assume

quasi-neutrality due to the scale of phenomenon of ionosphere

disturbances (of order kilometers) much larger than the Debye

length scale in the atmosphere (of order millimeters). For sim-

plicity, the momentum equations for charged species (ion and

electron) are taken as in balanced states. Important parameters

are the Boltzmann constant kB ¼ 1:381� 10�23m2 kgs�2 K�2,

the elementary charge e ¼ 1:602� 10�19C, mass of molecular

ion (only Oþ is considered) Mi ¼ 2:657� 10�26 kg, mass

of molecular electron Me ¼ 9:109� 10�31 kg, gravitational

acceleration g ¼ 9:81 ms�2. The magnetic field is assumed to

be 4:6� 10�5 T with a dip angle of I ¼ 45�.Motivated by observational results, we are interested in

mesoscale structures which are important for practical appli-

cations, yet too small to be resolved in global ionospheric

models. Because of the observations and subsequent devel-

opments of the theory and simulations of polarized field

aligned irregularities in the low altitude ionosphere, we focus

on such regions with our special interest on the statistical

properties. In the atmosphere, mesoscale structures are typi-

cally on the orders of 100 km, corresponding to IGW length

scales.

Using a horizontal length scale L¼ 220 km, velocity scale

V0 ¼ 15 ms�1, temperature scale T0 ¼ 1000 K, electrostatic

potential scale /0 ¼ 1 V and density scale N0 ¼ 1� 106cm�3,

the non-dimensional system of equations are

0 ¼ �k0B$ðnTiÞ

n� /0$/þ vi � Bþ qiðuN � viÞ þ g0; (1)

0 ¼ �k0B$ðnTeÞ

nþ /0$/� ve � Bþ qeðuN � veÞ; (2)

@n

@tþ $ � ðvinÞ ¼ P0p� L0n; (3)

0 ¼ $ � ½enðvi � veÞ�: (4)

In terms of dimensionless parameters, k0B ¼ kBT0=LB0V0e¼ 5:6768� 10�4 is the Boltzmann constant, /0 ¼ /0=LV0B0

¼ 6:5876� 10�3 the electrostatic potential, qiðeÞ ¼ MiðeÞ�iðeÞ=eB0 the normalized collision frequencies, g0 ¼ Mig=eV0B0 ¼ 2:3576� 10�3 the gravity constant, P0 ¼ N0V0=L ¼ 68:182 the reference production rate, and L0 ¼ V0=L¼ 6:8182� 10�5 the reference loss rate. Note that the for-

mulation of the loss term is the same as Yokoyama et al.14

since we are concerned with recombination rate for Oþ for

both E-F regions, instead of E-region alone, as simulated in

Yokoyama3 where a quadratic term was used for the domi-

nant ion species Feþ. Equations (1) and (2) are the ion and

electron momentum equations, respectively. The first terms

on the right hand side of these equations are the ion and

electron pressure. The second terms correspond to motion

induced by the electric field, given as the electrostatic

potential �$/. The third terms are drift due to magnetic

field, and the fourth terms are due to charge-neutral colli-

sion. In addition, gravitational force is considered for ion.

Equation (3) is the transport equation for plasma density.

Equation (4) is a simplified form of the Maxwell’s equa-

tions when the plasma is quasi-neutral and the magnetic

field remains constant.

We choose a horizontal length scale of 44 km for the

IGW. Our simulation domain is 44 km� 44 km in the hori-

zontal directions and between 80 km and 440 km in the

vertical. As a result, we capture the altitudes of the E region

and part of the F region where plasma density is at its

maximum.

The initial profiles for plasma density and temperature

are obtained from the IRI2007 model,15 for a case on 25

June 1991 at 20:00 LT, at 35� N; 136�W in geographic lati-

tude and longitudes. This case corresponds to the field-

aligned irregularities in the midlatitude E-region observed in

Yamamoto et al.5 For ion and electron collision frequency,

we use Kelley.16 For the production rates, we generate a pro-

file such that the observed ion density remains at equilibrium

when IGW forcing is absent; for recombination rates, we use

the formula in Huang.1 These profiles, in their respective

dimensional units, are shown in Fig. 1.

Figure 1(a) shows the plasma temperature. The black

solid curve denotes the ion temperature Ti, and the red

dashed curve denotes the electron temperature Te. Figure

1(b) shows the initial plasma density in log scale. In particu-

lar, we can see an E-layer centered around 100 km altitude.

Figure 1(c) shows the normalized collision frequencies qiðeÞ.Figure 1(d) shows the production (black solid curve) and

recombination rates (red dashed curve).

The mechanism of preferential generation of polarized

electric field (south-west propagation preferred than north-

east propagation) has been explained in detail in Yokoyama

et al.4 The main reason is the angle between the wave vec-

tor and the magnetic field line. For midlatitude northern

hemisphere, southwest propagation of IGW leads to non-

orthogonal intersection with the magnetic field line, hence

more amenable to generation of polarized electric fields. As

such, for the neutral perturbation, we assume an idealized

IGW with phase speed towards the South. Specifically, the

IGW takes the form (in non-dimensional terms)

032305-2 W. Tang and A. Mahalov Phys. Plasmas 20, 032305 (2013)

Page 4: Stochastic Lagrangian dynamics for charged flows in the E-F …wtang/files/TM13.pdf · to homogenize ion density. In the stochastic differential equation (SDE) set up, this coefficient,

u ¼ uz þ UðyÞ sin /; v ¼ �UðyÞ cos /;

w ¼ um þ UðyÞ cos /; (5)

where x; z are the non-dimensional coordinates in the zonal

and meridional directions, y is the vertical coordinate, u; v;ware the non-dimensional velocities in the zonal, vertical,

and meridional directions, /ðtÞ ¼ 2pð�5z� 10y� 25tÞ the

phase, and uz; um are horizontal drift velocities. In this study,

we consider uz ¼ um ¼ 0. We assume that IGW only propa-

gates through the E region. The neutral velocity magnitude

U(y) is taken to be 1 at the bottom y¼ 0 and damps exponen-

tially as UðyÞ ¼ �e�4y. These choices lead to horizontal

wave length of 44 km, vertical wave length of 22 km, wave

period of about 10 min, and a vertical scale length of 55 km,

starting from 15 ms�1 at 80 km.

Because the momentum equations are linear, the ion and

electron velocities can be determined analytically from Eqs.

(1) to (2), given in Eqs. (A1) and (A2), which can then be

substituted into Eq. (4) to implicitly determine the electro-

static potential (Eq. (A3)). Details of these equations are

given in the Appendix, Eqs. (A1)–(A5).

We adopt a direct numerical simulation suite18 for our

problem when solving for the density evolution equation

(A4). The numerical package uses pseudo-spectral method to

deal with periodic boundary conditions, which makes the

horizontal boundary conditions easy to handle and horizontal

derivatives highly accurate for our problem. Inside this pack-

age, the vertical direction is chosen to be y, for convenient

data structure optimized for handling spectral derivatives on

the two horizontal directions. We thus adopt this coordinate

system as discussed around Eq. (5). For the boundary condi-

tions on the electrostatic potential, we require / ¼ 0 at the

top and equi-potential along the magnetic field line at the

bottom. The density is set to maintain diffusive equilibrium

at the top and no flux at the bottom.

For the electrostatic potential equation (4), note that

over the range of altitudes between 80 km and 440 km, the

scale separation in ion and electron collision frequencies,

compounded with the density scale separation, contribute to

numerical coefficients over 10 orders of magnitude, which

makes the Poisson’s equation very stiff to solve. In order to

suppress the scale separation coming from these terms, we

solve this equation by scaling up at each altitude with

qeðyÞ=ninitðyÞ, where ninitðyÞ is the initial density profile. The

resulting equation is solved using the bi-conjugate gradient

discussed in Sliejpen and Fokkema.17 Note that our Eulerian

model is essentially the same as those developed in prior

numerical studies.1–4 The novelty of this paper rests on the

subsequent Lagrangian analyses which brings new insight in

the mixing process for plasma in the ionosphere.

B. Lagrangian coherent structures

LCS are distinguished material lines/surfaces that

attract/repel local trajectories at the maximal rates.19,20

Recently, it has become conventional that the finite-time

Lyapunov exponents (FTLEs) be used to extract LCS. Based

on local dynamics of trajectories, FTLE offers an objective

description of how nearby trajectories stretch with the back-

ground flow. As a result, local material lines that repel

nearby trajectories the most are identified. Reciprocally,

attractors are found as local maximizers of FTLE when tra-

jectories are integrated in backward-time. In the first devel-

opment of the theory, FTLE fields do not distinguish large

stretching from shear.8 This difficulty has been resolved in

recent developments.9,10

The computation of FTLE is relatively well known now,

henceforth we only briefly outline the methodology. We

compute the plasma displacements starting from initial con-

dition ðx0; t0Þ using the ion velocities. Denoting the trajec-

tory xðt; x0; t0Þ, we define the Cauchy-Green strain tensor

field as

Mtt0ðx0Þ �

@xðt; x0; t0Þ@x0

� �T @xðt; x0; t0Þ@x0

� �;

where ½@x=@x0�T is the transpose of the deformation gradient

tensor @x=@x0. The FTLE field, FTLEtt0ðx0Þ, is then defined

as the scalar field that associates with each initial position x0

the maximal rate of stretching

FTLEtt0ðx0Þ ¼

1

2jt� t0jln kmaxðMÞ;

with kmaxðMÞ denoting the maximum eigenvalue of M.

Because the FTLE field measures the largest separation

among nearby trajectories, in forward time, highlighters of

FTLE indicate repellers and in backward time, highlighters

of FTLE indicate attractors. It is the backward-time FTLE

FIG. 1. Initial profiles in dimensional

units. (a) Plasma temperature. Black solid

curve: ion temperature. Red dashed curve:

electron temperature. (b) Ion density.

(c) Normalized collision frequency. Black

solid curve: ion. Red dashed curve: elec-

tron. (d) Reaction parameters. Black solid

curve: production rate, coordinate at bot-

tom of figure. Red dashed curve: recombi-

nation rate, coordinate at top of figure.

Vertical axes are the same in all panels.

032305-3 W. Tang and A. Mahalov Phys. Plasmas 20, 032305 (2013)

Page 5: Stochastic Lagrangian dynamics for charged flows in the E-F …wtang/files/TM13.pdf · to homogenize ion density. In the stochastic differential equation (SDE) set up, this coefficient,

that is of our most interest as they indicate regions prone to

the development of plasma fronts.

III. NUMERICAL RESULTS

A. Initialization at equilibrium

Without IGW and in equilibrium state, Eqs. (A3) and

(A4) reduce to

k0Bðsin2 Iþq2eÞ

qeð1þq2eÞðnTeÞy�

k0Bðsin2 Iþq2i Þ

qið1þq2i ÞðnTiÞy�

g0ðsin2 Iþq2i Þ

qið1þq2i Þ

n

¼/0ðsin2 Iþq2i Þ

qið1þq2i Þ

n/yþ/0ðsin2 Iþq2

eÞqeð1þq2

eÞn/y; (6)

L0n� P0p ¼ g0ðsin2 I þ q2i Þ

qið1þ q2i Þ

n

� �y

þ /0ðsin2 I þ q2i Þ

qið1þ q2i Þ

n/y

� �y

þ k0Bðsin2 I þ q2i Þ

qið1þ q2i ÞðnTiÞy

� �y

: (7)

Eliminating /0n/y from Eq. (6) and after some manipula-

tions, one obtains

�P0p ¼ g0s1s2

s1 þ s2

n

� �y

þ k0Bs1s2

s1 þ s2

ðnTsÞy� �

y

� L0n; (8)

where

s1 ¼sin2I þ q2

i

qið1þ q2i Þ; s2 ¼

sin2I þ q2e

qeð1þ q2eÞ;

and Ts ¼ Ti þ Te is the sum of ion and electron temperature.

Given a desired initial density profile n, such as the observed

density profile from IRI2007, one can find the production

rate to maintain the observed density profile at equilibrium.

Alternatively, if the production rate p is specified, one can

use it to generate equilibrium density n. Once Eq. (8) is

solved, one can use it to solve for / based on /0n/y in

Eq. (6), as the equilibrium electrostatic potential profile. Our

production and loss rates are stronger than those used in

Yokoyama,4 but the derived production rate is consistent

with Huang,2 which is near their maximum production rate

of 300 cm�3 s�1.

To further reduce the problem, turn off production and

loss, Eqs. (6) and (7), become

k0BðnTeÞy ¼ /0n/y; ng0 þ n/0/y þ k0BðnTiÞy ¼ 0; (9)

which leads to the equation for diffusive equilibrium24

@k0BnTs

@yþ g0n ¼ 0: (10)

B. Deterministic dynamics

We perturbed the neutral wind by IGW. The undulation of

IGW and density-temperature stratification of plasma immedi-

ately set up a current density divergence, shown in Fig. 2(a) at

t¼ 0. Here, the divergence is shown scaled up by qe=ninit. The

solved electrostatic potential is shown in Fig. 2(b). As seen, the

undulation is dominant at the bottom near the E layer, where

plasma-neutral collision is the highest and IGW is strong. Eight

horizontal wave periods are shown to place the horizontal and

vertical coordinates in scale.

For the time-evolution of density, we employ explicit

Runge-Kutta-Wray method already implemented in DIABLO.18

The time integration is carried out with nonlinear advection and

production terms explicit, yet diffusion and loss terms fully

implicit. This helps on the numerical stability of the code. We

also set an automated selection of the time step based on the

Courant condition.

We show time-evolution of ion density, velocity, and

electrostatic potential in the simulation, in Figs. 3 and 4. In

these two figures, the left panel (a) shows the dimensionless

ion density in log scale, so the density perturbation is visible

under strong vertical stratification. To be precise, the quan-

tity being plotted is log10ðnÞ, where again, n is the dimen-

sionless ion density. The red region between 110 km and

130 km altitudes corresponds to the E region, where the

dimensional ion density is on the order of 103 � 104cm�3.

As seen, the polarized neutral wind has driven the E region

to take polarized structures as well. The black iso-contours

of density help to visualize the density perturbations. Panels

(b)-(d) show the zonal, vertical, and meridional velocity in

dimensional units, respectively. The zonal velocity signifi-

cantly damps at around 130 km, whereas the vertical and me-

ridional velocities keep mapped to high altitudes, since they

FIG. 2. (a) Current density divergence scaled

by qi=ninit. (b) The resulting electrostatic

potential. Eight wave periods are shown. y is

the vertical coordinate (altitude), and z is the

meridional direction.

032305-4 W. Tang and A. Mahalov Phys. Plasmas 20, 032305 (2013)

Page 6: Stochastic Lagrangian dynamics for charged flows in the E-F …wtang/files/TM13.pdf · to homogenize ion density. In the stochastic differential equation (SDE) set up, this coefficient,

are in the same plane as the magnetic field. The right panel

(e) shows electrostatic potential, where structures are pre-

dominantly at the bottom. The electric field between 90 km

and 130 km are plotted as well, showing similar polarization

structure. Fig. 3 shows the field values a quarter wave period,

whereas Fig. 4 shows those at three quarters of a wave

period.

These results corroborate with those discussed in

Yokoyama,3 where the electric fields are at lower altitudes

around sharp density gradients for a Southward propagating

IGW, yet plasma velocity propagates higher. (cf. Fig. 5 in

their paper.) Our results of density perturbation and electro-

static potential at the E region do not look as significant as

the case presented in Yokoyama,3 because in the observed

profile, the vertical density stratification in our case is very

strong above the E region (as compared to 0) and the E

region itself is not as significant (on the order of 103 cm�3 as

compared to 105 cm�3).

C. Stochastic Lagrangian dynamics

With the time history of the plasma velocity, we can per-

form Lagrangian analyses on the density to study the formation

of charged fronts. Specifically, we consider the formation of

LCS under random perturbation. As mentioned before, these ran-

dom perturbations are due to ambipolar ion diffusion, which is

inhomogeneous and anisotropic in the direction orthogonal to the

magnetic field. We use the Stratonovich formulation of the SDE,

which is more suitable for such an inhomogeneous diffusion

coefficient. When the anisotropy is only considered diagonal,

dx ¼ viðx; tÞdtþffiffiffiffiffiffiffiffiffiffiffiffi2DðxÞ

p� dWðtÞ; (11)

FIG. 3. (a) Normalized density in log

scale. (b) Zonal velocity. (c) Vertical

velocity. (d) Meridional velocity.

(e) Electrostatic potential. (b)–(e) are

in dimensional units. Snapshot is at

t¼T/4, a quarter wave period.

FIG. 4. (a) Normalized density in log

scale. (b) Zonal velocity. (c) Vertical

velocity. (d) Meridional velocity.

(e) Electrostatic potential. (b)–(e) are

in dimensional units. Snapshot is at

t¼ 3 T/4, three quarters of a wave

period.

FIG. 5. Trajectory comparison for initial conditions of plasma parcels released at x¼ 1 km, z¼ 19 km and y between 80 and 220 km. The dots denote the end

position of trajectories after integration for a wave period. (a) Deterministic. The three red dots denote trajectories started at y ¼ 100; 160, and 220 km, respec-

tively. (b) Random case 1 with diagonal diffusivity. The three red layers denote trajectories started at y ¼ 100; 160, and 220 km, respectively. (c) Random case

2 with field aligned diffusivity. The three red layers denote trajectories started at y ¼ 100; 160, and 220 km, respectively. Note that the z scale is much larger

than the x scale, thus the spread is more in z as compared to in x.

032305-5 W. Tang and A. Mahalov Phys. Plasmas 20, 032305 (2013)

Page 7: Stochastic Lagrangian dynamics for charged flows in the E-F …wtang/files/TM13.pdf · to homogenize ion density. In the stochastic differential equation (SDE) set up, this coefficient,

where D is the spatially inhomogeneous and diagonally aniso-

tropic ambipolar diffusion coefficient, and WðtÞ a vector

Wiener process. The mean trajectories can be solved by either

Monte-Carlo methods or by Fokker-Planck equations.21,22 We

nevertheless prefer the use of Monte-Carlo here since the ion

velocity field is more complicated than the idealized IGW

discussed before, hence it is more costly to solve for the

Fokker-Planck equations of the evolution of small concen-

trated probabilities at all initial locations.

We use the Euler-Heun method to solve Eq. (11).23

Specifically, we iterate the sample path by

xnþ1 ¼ xn þ ½ð1� hÞviðtn; xnÞ þ hviðtnþ1; xnÞ�Dt

þ 1

2

h ffiffiffiffiffiffiffiffiffiffiffiffiffiffi2DðxnÞ

ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi2Dðxn Þ

q iDWn; (12)

where h 2 ½0; 1� is a parameter chosen to be 1/2, xn ¼ xn

þviðtn; xnÞDt a deterministic predictor, and xn ¼ xn

þffiffiffiffiffiffiffiffiffiffiffiffiffiffi2DðxnÞ

pDWn a stochastic predictor.

Two forms of diffusivity are considered. Both of them

are introduced here for easy comparison. Observe that in Eq.

(A5), the last row related to ion pressure (in the original

form) can be expressed as follows:

$ � ½D$ðnTiÞ� ¼ $ �

k0BqiTi

1þ q2i

k0B cos ITi

1þ q2i

k0B sin ITi

1þ q2i

�k0B cos ITi

1þ q2i

k0Bð sin2 I þ q2i ÞTi

qið1þ q2i Þ

�k0B cos I sin ITi

qið1þ q2i Þ

�k0B sin ITi

1þ q2i

�k0B cos I sin ITi

qið1þ q2i Þ

k0Bð cos2 I þ q2i ÞTi

qið1þ q2i Þ

0BBBBBBBB@

1CCCCCCCCA

nx

ny

nz

0B@

1CAþ

k0B cos I

1þ q2i

Tiyn

k0Bð sin2 I þ q2i Þ

qið1þ q2i Þ

Tiyn

�k0B cos I sin I

qið1þ q2i Þ

Tiyn

0BBBBBBBB@

1CCCCCCCCA

2666666664

3777777775: (13)

Divergence of the last vector is part of drift for n, and

the diffusion is characterized by the diffusion tensor given as

the 3� 3 matrix in Eq. (13). We further simplify the diffu-

sion matrix by expanding the divergence and noting that the

nxy and nxz terms cancel (cf. Eq. (A5) after all the cancella-

tions). This leads to the diffusion matrix to take the form

k0BqiTi

1þ q2i

0 0

0k0Bð sin2 I þ q2

i ÞTi

qið1þ q2i Þ

�k0B cos I sin ITi

qið1þ q2i Þ

0�k0B cos I sin ITi

qið1þ q2i Þ

k0Bð cos2 I þ q2i ÞTi

qið1þ q2i Þ

0BBBBBBB@

1CCCCCCCA:

The first form of diffusion (hereinafter referred to as the

“diagonal diffusion case”) is based on the diagonal terms in

the diffusion tensor, hence D ¼ ½k0BqiTi=ð1þ q2i Þ; k0Bð sin 2I

þq2i ÞTi=qið1þ q2

i Þ;k0Bðcos 2Iþ q2i ÞTi=qið1þ q2

i Þ�T. Note that

when qi 1, this coefficient converges to k0BTi=qi. In this

form of diffusion, we have assumed that the inhomogeneity

is only in the vertical direction and anisotropy is mainly in x,

since I ¼ 45� and the vertical and meridional diffusivities are

the same. This form of diffusion does not fully capture the

anisotropy aligned with the magnetic field, yet it provides

some insights on the random process in much simpler form.

The second form of diffusion (hereinafter referred to as the

“field-aligned diffusion case”) considers the anisotropy align-

ment along the field line. Because of the symmetry in the simpli-

fied diffusion matrix, we can diagonalize diffusion by a simple

rotation of 45�. The resulting diagonal diffusivity, in zonal, Bkand B? directions, are given by D ¼ ½k0BqiTi=ð1þ q2

i Þ; k0BTi=qi;k0BqiTi=ð1þ q2

i Þ�T. In practice, W is generated diagonally based

on D, and then rotated to align with the magnetic field.

In both forms of stochasticity, 2000 realizations are

computed at each spatial initial condition. The ambipolar

diffusion is scale dependent and becomes very large at high

altitudes, because it is inversely proportional to the colli-

sion frequency, which is very small there. We also only

focus on the bottom of the domain for Lagrangian analyses.

Due to limited randomness at the bottom of the domain,

plasma motion is quite similar to deterministic ones, yet

plasma trajectories at higher altitudes have more spreading.

A comparison of realizations of these trajectories are shown

in Fig. 5.

In Fig. 5(a), deterministic trajectories are released at

x¼ 1 km, z¼ 19 km and y between 80 and 220 km, at 1 km

intervals. The end positions of these trajectories after inte-

gration of one wave period are shown. As reference, the

three red dots denote those positions for trajectories ini-

tially released at y ¼ 100; 160, and 220 km, respectively. In

Fig. 5(b), we show the end positions of all stochastic real-

izations at the same release points. The stochasticity is sub-

ject to the first form, with diagonal diffusivity from the

diffusion tensor. The three red layers are end positions of

realizations released at the same locations of the three red

dots in the deterministic case. Note that the length scale in zis much larger than the scale in x, indicating that the spread

is more in the zonal direction than the meridional direction.

In Fig. 5(c), we show stochastic trajectories based on the

field aligned diffusivity. The three red layers are again ref-

erenced to show how stochastic trajectories spread. In this

case, the Bk and B? anisotropy can be clearly seen, as the

red cluster of points get more aligned in a predominant

direction. Note also the variability in diffusion at the bot-

tom and the top in the two stochastic cases. At the bottom,

when diffusivity is small, the cluster of trajectories is very

032305-6 W. Tang and A. Mahalov Phys. Plasmas 20, 032305 (2013)

Page 8: Stochastic Lagrangian dynamics for charged flows in the E-F …wtang/files/TM13.pdf · to homogenize ion density. In the stochastic differential equation (SDE) set up, this coefficient,

compact. At the top, because of the decrease in qi, and the

increase in D, the cluster spreads much wider.

Based on random trajectories, one could obtain statistics of

the position process at every single initial condition. Such a

plot reveals the variability that a scalar experiences as it traver-

ses through the domain. The first four integer moments of the

position process are shown in Figs. 6 and 7. In both figures, the

top, center, and bottom rows show the statistics in x, z, and ydirections, respectively. The first column on the left shows the

mean displacements in dimensional units, of a vertical layer of

initial conditions located at a constant x¼ 1 km plane. They

indicate how far the average trajectory is from their initial con-

ditions. As seen, polarized mean displacement fields are present

for both cases, in all three directions. The integration time is a

wave period, and the variability in displacements vary on the

order of 1 km. Note especially that there is a biased drift in both

the meridional z direction and vertical y direction, indicating

the net effect of ion velocity on plasma motion. Similar biased

drift in the y, z directions is also observed in deterministic dy-

namics (not shown). The second column shows the standard

deviation in dimensional units. Standard deviation increases

with height in all directions, because of the decrease in collision

frequency. In both cases, the polarization structure in standard

deviation is most visible in the vertical direction in the bottom

row. The third column shows the skewness. This measure high-

lights the asymmetry of the probability density associated with

a scalar. For a perfect Gaussian process, the skewness would be

0. As seen, in panel (a3) of both figures, the skewness is around

0, indicating that the process in x is Gaussian. In panel (c3) of

both figures, polarized structure is seen for the skewness in

the vertical y direction, yet in panel (b3), for the diagonal diffu-

sion case Fig. 6, skewness is around 0 with a weak polarized

FIG. 6. Statistics of displacements sub-

ject to diagonal diffusivity. Row a: first

four moments in the x-direction. Row b:

first four moments in the z-direction.

Row c: first four moments in the y-direc-

tion. First column: mean displacement,

in km. Second column: standard devia-

tion, in km. Third column: skewness.

Fourth column: Kurtosis.

FIG. 7. Statistics of displacements

subject to field aligned diffusivity. Row

a: first four moments in the x-direction.

Row b: first four moments in the z-direc-

tion. Row c: first four moments in the

y-direction. First column: mean dis-

placement, in km. Second column:

standard deviation, in km. Third column:

skewness. Fourth column: Kurtosis.

032305-7 W. Tang and A. Mahalov Phys. Plasmas 20, 032305 (2013)

Page 9: Stochastic Lagrangian dynamics for charged flows in the E-F …wtang/files/TM13.pdf · to homogenize ion density. In the stochastic differential equation (SDE) set up, this coefficient,

structure, whereas for the field aligned diffusion case Fig. 7,

skewness is non trivial and polarized at higher altitudes. This

is due to the anisotropy introduced in the y–z direction. In

the first case, the diagonal diffusivities are the same, hence

diffusion is isotropic as far as the y–z plane is concerned. In

the second case, the diffusivities aligned with Bk and B? dif-

fer significantly at higher altitudes, hence bringing in the ani-

sotropy. At the bottom of the domain when the normalized

collision frequency is large, the diffusion coefficients con-

verge to the isotropic ambipolar diffusion coefficient, hence

we do not see as much polarized structures there for skew-

ness. Finally, the right column shows the kurtosis. For a per-

fect Gaussian process, the kurtosis is 3. In both cases, the

kurtosis in x is 3. Larger than 3 kurtosis can be found above

120 km and take polarized structures in the y direction, yet

for kurtosis in z, it is almost 3 for diagonal diffusion case,

and there is a weak signature of larger than 3 kurtosis at high

altitude for the field aligned diffusion case. If kurtosis is

greater than 3, the probability density structures are more

peaked, yet it is more flat with kurtosis less than 3. From

both Figs. 6 and 7, we find polarized structures of nonzero

skewness, and larger than 3 kurtosis. This indicates that in

those regions, there is higher probability for stochastic trajec-

tories to stay near the mean. The variance plotted in dimen-

sional units, on the other hand, reveals that the spread of

trajectories are not very far from the mean, which in addition

suggests that the mean dynamics is quite important here, at

least at finite time over one wave period.

We consider the Lagrangian integration time to be one

wave period, since for Lagrangian analyses in finite time,

the best integration time is chosen to be at an intermediate

time scale.8 To further confirm the importance of mean dy-

namics for our particular case at this time scale, we gener-

ate 106 realizations of stochastic trajectories at y¼ 220 km,

the highest altitude of our stochastic simulations, where

ambipolar diffusion is the strongest, for a single initial con-

dition. The initial condition is chosen where nontrivial

skewness and kurtosis in y are found. For this initial condi-

tion, we integrate trajectories over one wave period. We

generate the probability density function (pdf) by counting

the number of trajectories in each grid cell, and compare

the highest density regions and the mean trajectory. This is

done for both stochastic cases, shown in Fig. 8. In Fig. 8(a),

we show the pdf for displacement in all three directions for

the diagonal diffusion case, whereas in Fig. 8(b), we show

those for the field aligned diffusion case. In both panels, the

blue solid curves are the pdf for x displacement, the black

dashed curves are the pdf for z displacement, and the red

dash-dotted curves are the pdf for y displacement. The hori-

zontal coordinate of the colored crosses mark the mean dis-

placements. Their vertical coordinates are chosen so that

the locations can be easily compared to the pdf peaks. As

seen, the x pdf is Gaussian, whereas there are some slight

asymmetry in the y and z pdf’s. As a result, the mean dis-

placement locations for y and z do not match precisely to

the peaks. However, they stay fairly close to the peaks, fur-

ther suggesting that the mean dynamics do still play impor-

tant roles in our particular problem. As the integration time

for stochastic trajectories increases (not shown), we find

that the skewness and kurtosis continue to grow, highlight-

ing more non-Gaussianity. However, they are less relevant

to the LCS studies.

Using the mean trajectories, we generate attracting

Lagrangian coherent structures based on the finite-time

Lyapunov exponents. The results are shown in Fig. 9. In Fig.

9(a), the deterministic attractors are revealed. The LCS take

polarized structures. At the bottom of the domain, the attrac-

tors are at the strongest, in the sense that they attract nearby

trajectories the most. Because of the significant damping in

ion velocity above 140 km, the attracting structures become

very weak. As a comparison, we show those attractors for

both forms of randomness in Figs. 9(b) and 9(c). The diagonal

diffusion case is seen in Fig. 9(b), and the field-aligned case is

in Fig. 9(c). For both cases, the well formed LCS are seen

below 120 km. In this region, stochasticity is very weak, and

so the mean dynamics behave strongly similar to deterministic

dynamics. Henceforth, the structures are quite similar to the

deterministic structures. However, further up, beyond 120 km,

the advection speed is weak as compared to the randomness

induced by diffusion. Henceforth, the image becomes signifi-

cantly fuzzy, and no predominant structures are found.

Finally, to show what the density field would look like

subject to random motion, we create a bin for number count

of particles inside each box of domain, and plot particle

FIG. 8. Probability density function com-

pared to the mean trajectory. The initial

condition is chosen at x¼ 0 km, y¼ 43 km,

and z¼ 220 km, where nontrivial skewness

and kurtosis are present. (a) Diagonal dif-

fusion. (b) Field aligned diffusion. The

blue solid curve is the pdf for x displace-

ment. The black dashed curve is the pdf

for z displacement, and the red dash-dotted

curve is the pdf for y displacement. The

three crosses correspond to the mean value

for x, y, and z, respectively. Their vertical

coordinates are chosen so the location and

the peak density are easily comparable.

032305-8 W. Tang and A. Mahalov Phys. Plasmas 20, 032305 (2013)

Page 10: Stochastic Lagrangian dynamics for charged flows in the E-F …wtang/files/TM13.pdf · to homogenize ion density. In the stochastic differential equation (SDE) set up, this coefficient,

density in Fig. 10. Fig. 10(a) shows the number density after

one wave cycle for the diagonal diffusion case, and Fig.

10(b) shows those for the field-aligned diffusion case. Note

that this density is initiated with 1000 realizations uniformly

spaced in each cell of 1 km� 1 km� 1 km, hence effectively

it represents uniform density. After one wave cycle, the num-

ber density for the stochastic cases becomes aligned with the

polarized velocity fields at the bottom, and in agreement

with the attractors revealed above. The increase in number

density is due to nonlinear attractors in the charged flow dy-

namical system, which accumulate nearby trajectories of

plasma parcels. Above 120 km, diffusion is strong, and for

both cases the density field from stochastic trajectories

appears to be quite random, consistent with the randomness

in the stochastic attractors.

IV. DISCUSSIONS AND CONCLUSIONS

We studied the statistical properties of the motion of

plasma flows in the ionosphere by first formulating a 3D nu-

merical solver for charged flows in the regions of interest.

The analyses is primarily based on stochastic Lagrangian

motion of plasma particles via solutions to stochastic ordi-

nary differential equations, whose randomness is anisotropic,

inhomogeneous, and dependent on the ion-neutral collision

frequency, as well as the magnetic field line.

Based on the Eulerian simulation of ion velocity, we

find that polarized electric field develops due to excitation of

polarized neutral gravity waves. Accordingly, the ion veloc-

ity field is also polarized. This nonlinear motion gives rise to

non-Gaussian statistics associated with particle displace-

ment. In particular, in the vertical direction, we observe that

the structures for standard deviation, skewness, and kurtosis

are highly polarized, for both cases of isotropic and aniso-

tropic randomness. The meridional displacement sees more

polarization effects with anisotropic diffusion. The

Lagrangian coherent structures, in terms of attracting struc-

tures reflected by backward-time FTLE fields, acquire polar-

ization effects both in deterministic and stochastic flows.

Due to low diffusion below 120 km, the stochastic LCS

behave similarly as the deterministic LCS, yet higher up, sto-

chasticity makes the FTLE field more random.

It is important to note that even though we have

obtained statistics based on ion flow driven by nonlinear neu-

tral motion, the mean background flow is set to be quiescent.

It is important for neutral shear at the E layer to set up the

high density E region during night time. Such effects are not

studied here. In addition, the background neutral flow is

taken to be idealized gravity wave. It will be interesting to

see how stochastic Lagrangian motion of ion flow would

form coherent structures due to a breakdown of the neutral

wind fields. This will be done by actual simulation of the

Navier-Stokes equations of the neutral field, and subse-

quently using those fields to drive ion motion. Such studies

are currently underway.

ACKNOWLEDGMENTS

The authors are partially supported by the Grant No.

AFOSR FA9550-11-1-0220.

FIG. 10. Number density of stochastic realization

at end of one wave period. (a) The diagonal diffu-

sion case. (b) The field-aligned diffusion case.

FIG. 9. (a) Deterministic attractors. (b)

Stochastic attractors for the diagonal dif-

fusion case. (c) Stochastic attractors for

the field-aligned case.

032305-9 W. Tang and A. Mahalov Phys. Plasmas 20, 032305 (2013)

Page 11: Stochastic Lagrangian dynamics for charged flows in the E-F …wtang/files/TM13.pdf · to homogenize ion density. In the stochastic differential equation (SDE) set up, this coefficient,

APPENDIX: EXPANDED EQUATIONS

Here, we include various expanded versions of the equations that are solved numerically. First, substituting Eqs. (1) and

(2) into Eq. (4), the ion/electron velocities are

vix

viy

viz

0@

1A ¼

q2i

1þ q2i

cos Iqi

1þ q2i

sin Iqi

1þ q2i

� cos Iqi

1þ q2i

sin2 I þ q2i

1þ q2i

� cos I sin I

1þ q2i

� sin Iqi

1þ q2i

� cos I sin I

1þ q2i

cos2 I þ q2i

1þ q2i

266666664

377777775

un1 �k0Bqin

@nTi

@x� /0

qi

@/@x

un2 �k0Bqin

@nTi

@y� /0

qi

@/@y� g0

qi

un3 �k0Bqin

@nTi

@z� /0

qi

@/@z

0BBBBBBB@

1CCCCCCCA; (A1)

vex

vey

vez

0@

1A ¼

q2e

1þ q2e

� cos Iqe

1þ q2e

� sin Iqe

1þ q2e

cos Iqe

1þ q2e

sin2 I þ q2e

1þ q2e

� cos I sin I

1þ q2e

sin Iqe

1þ q2e

� cos I sin I

1þ q2e

cos2 I þ q2e

1þ q2e

266666664

377777775

un1 �k0Bqen

@nTe

@xþ /0

qe

@/@x

un2 �k0Bqen

@nTe

@yþ /0

qe

@/@y

un3 �k0Bqen

@nTe

@zþ /0

qe

@/@z

0BBBBBBB@

1CCCCCCCA; (A2)

where we have assumed that the magnetic field vector is in the y–z plane.

Plugging in the expressions (A1) and (A2) into the last equation of (4), we can solve for the electrostatic potential. The

expanded version of this equation is

1

1þq2i

q2i ðnun1Þ�k0Bqi

@

@xðnTiÞþ cosI qinun2�k0B

@

@yðnTiÞ�g0n

� �þsinI qinun3�k0B

@

@zðnTiÞ

� ���x

��

þ 1

1þq2i

�cosI qinun1�k0B@

@xðnTiÞ

� �þðq2

i þ sin2IÞ nun2�k0Bqi

@

@yðnTiÞ�

g0n

qi

� ��sinIcosI nun3�

k0Bqi

@

@zðnTiÞ

� ���y

"(

þ 1

1þq2i

�sinI qinun1�k0B@

@xðnTiÞ

� �� sinI cosI nun2�

k0Bqi

@

@yðnTiÞ�

g0n

qi

� �þðq2

i þ cos2 IÞ nun3�k0Bqi

@

@zðnTiÞ

� ���z

��

� 1

1þq2e

q2eðnun1Þ�k0Bqe

@

@xðnTeÞ� cosI qenun2�k0B

@

@yðnTeÞ

� ��sinI qenun3�k0B

@

@zðnTeÞ

� ���x

��

� 1

1þq2e

cosI qenun1�k0B@

@xðnTeÞ

� �þðq2

eþ sin2 IÞ nun2�k0Bqe

@

@yðnTeÞ

� ��sinI cosI nun3�

k0Bqe

@

@zðnTeÞ

� ���y

"(

� 1

1þq2e

sinI qenun1�k0B@

@xðnTeÞ

� �� sinIcosI nun2�

k0Bqe

@

@yðnTeÞ

� �þðq2

eþ cos2 IÞ nun3�k0Bqe

@

@zðnTeÞ

� ���z

��

¼ 1

1þq2i

qi/

0n/xþ cosI/0n/yþ sinI/0n/z

þ 1

1þq2e

�qe/

0n/x� cosI/0n/y� sinI/0n/z

��x

þ 1

1þq2i

�cosI/0n/xþq2

i þ sin2 I

qi

/0n/y�sinI cosI

qi

/0n/z

� �þ 1

1þq2e

cosI/0n/xþq2

eþ sin2 I

qe

/0n/y�sinI cosI

qe

/0n/z

� �)y

8<:þ 1

1þq2i

�sinI/0n/x�sinIcosI

qi

/0n/yþq2

i þ cos2 I

qi

/0n/z

� �þ 1

1þq2e

sinI/0n/x�sinI cosI

qe

/0n/yþq2

eþ cos2 I

qe

/0n/z

� ��z

:

�(A3)

The left hand side of the equal sign of Eq. (A3) corresponds

to the divergence of charged currents that forces the electric

potential to balance on the right hand side.

Finally, we show the expanded equation for the evolu-

tion of ion density. Substituting the velocity expressions into

Eq. (3), one obtains

032305-10 W. Tang and A. Mahalov Phys. Plasmas 20, 032305 (2013)

Page 12: Stochastic Lagrangian dynamics for charged flows in the E-F …wtang/files/TM13.pdf · to homogenize ion density. In the stochastic differential equation (SDE) set up, this coefficient,

@n

@t� Pþ Ln ¼ �$ � ðnviÞ; (A4)

where the transport term is (after rearranging and consider-

ing qi; Ti are only functions of y)

$ � ðnviÞ ¼�/0qi

1þq2i

ðn/xÞxþ/0 cos I

1þq2i

n/x

� �y

þ/0 sin I

1þq2i

ðn/xÞz�/0 cos I

1þq2i

ðn/yÞx�/0ð sin 2Iþq2

i Þqið1þq2

i Þn/y

� �y

þ/0 sin I cos I

qið1þq2i Þðn/yÞz�

/0 sin I

1þq2i

ðn/zÞxþ/0 sin I cos I

qið1þq2i Þ

n/z

� �y

�/0ðcos 2 Iþq2i Þ

qið1þq2i Þðn/zÞzþ

q2i

1þq2i

ðnun1Þx

� qi cos I

1þq2i

nun1

� �y

�qi sin I

1þq2i

ðnun1Þzþqi cos I

1þq2i

ðnun2Þx�sin 2Iþq2

i

1þq2i

nun2

� �y

� sin I cos I

1þq2i

ðnun2Þzþqi sin I

1þq2i

ðnun3Þx

� sin Icos I

1þq2i

nun3

� �y

þ cos 2 Iþq2i

1þq2i

ðnun3Þz�g0 cos I

1þq2i

nx�g0ð sin 2 Iþq2

i Þqið1þq2

i Þn

� �y

� g0 sin I cos I

qið1þq2i Þ

nz�k0BqiTi

1þq2i

nxx

� k0Bðsin 2 Iþq2i Þ

qið1þq2i ÞðnTiÞy

� �y

� k0Bðcos 2 Iþq2i ÞTi

qið1þq2i Þ

nzzþk0B cos I

1þq2i

� �y

Tinxþk0B sin I cos ITi

qið1þq2i Þ

nz

� �y

þ k0B sin I cos I

qið1þq2i Þ

� �ðnTiÞyz:

(A5)

The first two rows on the right hand side of Eq. (A5) are due to

the electric field; rows 3 and 4 (except for the last term) are

due to ion-neutral collision and gravity; the last term in row 4

and the entire row 5 are due to inhomogeneous diffusion of

ion. Rows 1-4 (except for the last term) are dealt with using

explicit numerical methods, whereas the diffusion terms are

advanced implicitly.

1C. Huang and M. Kelley, J. Geophys. Res. 101(A11), 24533, doi:10.1029/

96JA02327 (1996).2C. Huang, G. J. Sofko, and M. Kelley, J. Geophys. Res. 103(A4), 6977,

doi:10.1029/97JA03176 (1998).3T. Yokoyama, M. Yamamoto, and S. Fukao, J. Geophys. Res. 108(A2),

1054, doi:10.1029/2002JA009513 (2003).4T. Yokoyama, T. Horinouchi, M. Yamamoto, and S. Fukao, J. Geophys.

Res. 109, A12307, doi:10.1029/2004JA010508 (2004).5M. Yamamoto, S. Fukao, R. F. Woodman, T. Ogawa, T. Tsuda, and S.

Kato, J. Geophys. Res. 96, 15943, doi:10.1029/91JA01321 (1991).6R. F. Woodman, M. Yamamoto, and S. Fukao, Geophys. Res. Lett. 18,

1197, doi:10.1029/91GL01159 (1991).7R. T. Tsunoda, S. Fukao, and M. Yamamoto, Radio Sci. 29, 349,

doi:10.1029/93RS01511 (1994).8G. Haller, Physica D 149, 248 (2001).9G. Haller, Physica D 240, 574 (2011).

10G. Haller and F. J. Beron-Vera, Physica D 241, 1680 (2012).11S. C. Shadden, F. Lekien, and J. E. Marsden, Physica D 212(3-4), 271

(2005).12G. Haller, J. Fluid Mech. 525, 1 (2005).13W. Tang, J. Taylor, and A. Mahalov, Phys. Fluids 22, 126601 (2010).14T. Yokoyama, Y. Otsuka, T. Ogawa, M. Yamamoto, and D. L.

Hysell, Geophys. Res. Lett. 35, L03101, doi:10.1029/2007GL032496

(2008).15D. Bilitza and B. Reinisch, J. Adv. Space Res. 42(4), 599 (2008).16M. Kelley, The Earth’s Ionosphere, Plasma Physics & Electrodynamics

(International Geophysics), 2nd ed. (Academic Press, 2009), Vol. 96, pp.

556.17G. L. G. Sliejpen and D. R. Fokkema, Electron. Trans. Numer. Anal. 1, 11

(1993).18T. Bewley, “Numerical simulations of the stratified oceanic bottom bound-

ary layer,” Ph.D. thesis (University of California, San Diego, 2008),

p. 229.19G. Haller, Chaos 10, 99 (2000).20G. Haller and G. Yuan, Physica D 147, 352 (2000).21B. Øksendal, Stochastic Differential Equations: An Introduction with

Applications, 6th ed. (Springer-Verlag, 2010).22J. P. Crimaldi, J. R. Cadwell, and J. B. Weiss, Phys. Fluids 20, 073605

(2008).23H. Gilsing and T. Shardlow, J. Comput. Appl. Math. 205, 1002 (2007).24R. W. Schunk and A. F. Nagy, Ionospheres: Physics, Plasma Physics, and

Chemistry (Cambridge University Press, 2000), 554 pp.

032305-11 W. Tang and A. Mahalov Phys. Plasmas 20, 032305 (2013)