Volume 2012, Issue 1 957185
Research Article
Open Access

On a Quasi-Neutral Approximation to the Incompressible Euler Equations

Jianwei Yang

Corresponding Author

Jianwei Yang

College of Mathematics and Information Science, North China University of Water Resources and Electric Power, Zhengzhou 450011, China ncwu.edu.cn

Search for more papers by this author
Zhitao Zhuang

Zhitao Zhuang

College of Mathematics and Information Science, North China University of Water Resources and Electric Power, Zhengzhou 450011, China ncwu.edu.cn

Search for more papers by this author
First published: 06 June 2012
Citations: 2
Academic Editor: Roberto Natalini

Abstract

We rigorously justify a singular Euler-Poisson approximation of the incompressible Euler equations in the quasi-neutral regime for plasma physics. Using the modulated energy estimates, the rate convergence of Euler-Poisson systems to the incompressible Euler equations is obtained.

1. Introduction

In this paper, we shall consider the following hydrodynamic system:
()
for x𝒯3 and t > 0, subject to the initial conditions
()
for x𝒯3. In the above equations, 𝒯3 is 3-dimensional torus and λ > 0 is small parameter. Here nλ, uλ, ϕλ denote the electron density, electron velocity, and the electrostatic potential, respectively.

System (1.1) is a model of a collisionless plasma where the ions are supposed to be at rest and create a neutralizing background field. Then the motion of the electrons can be described by using either the kinetic formalism or the hydrodynamic equations of conservation of mass and momentum as we do here. The self-induced electric field is the gradient of a potential that depends on the electron’s density nλ through the linear Poisson equation Δϕλ = (nλ − 1)/λ.

To solve uniquely the Poisson equation, we add the condition . Passing to the limit when λ goes to zero, it is easy to see, at least at a very formal level, that (nλ, uλ, ϕλ) tends to (nI, uI, ϕI), where nI = 1 and
()
In other words, uI is a solution of the incompressible Euler equations. The aim of this paper is to give a rigorous justification to this formal computation. We shall prove the following result.

Theorem 1.1. Let uI be a solution of the incompressible Euler equations (1.3) such that uI ∈ ([0, T], Hs+3(𝒯3)) and for s > 5/2. Assume that the initial value is such that

()
Then, there exist λ0 and CT such that for 0 < λλ0 there is a solution (nλ, uλ)∈([0, T], Hs+1(𝒯3)) of (1.1) satisfying
()
for any 0 ≤ tT.

Concerning the quasi-neutral limit, there are some results for various specific models. In particular, this limit has been performed for the Vlasov-Poisson system [1, 2], for the drift-diffusion equations and the quantum drift-diffusion equations [3, 4], for the one-dimensional and isothermal Euler-Poisson system [5], for the multidimensional Euler-Poisson equations [6, 7], for the bipolar Euler-Poisson system [8, 9], for the Vlasov-Maxwell system [10], and for Euler-Maxwell equations [11]. We refer to [1215] and references therein for more recent contributions.

The main focus in the present note is on the use of the modulated energy techniques for studying incompressible fluids. We will mostly restrict ourselves to the case of well-prepared initial data. Our result gives a more general rate of convergence in strong Hs norm of the solution of the singular system towards a smooth solution of the incompressible Euler equation. We noticed that the quasi-neutral limit with pressure is treated in [5, 6]. But the techniques used there do not apply here.

It should be pointed that the model that we considered is a collisionless plasma while the model in [6, 7] includes the pressure. Our proof is based on the modulated energy estimates and the curl-div decomposition of the gradient while the proof in [6, 7] is based on formal asymptotic expansions and iterative methods. Meanwhile, the model that we considered in this paper is a different scaling from that of [16]. Furthermore, our convergence result is different from the convergence result in [16].

2. Proof of Theorem 1.1

First, let us set
()
Then, we know the vector (n, u, ϕ) solves the system
()
where . In fact, from (1.3), we get ΔϕI = ∇uI : ∇uI.
As in [16], we make the following change of unknowns:
()
By using the last equation in (2.2), we get the following system:
()
This last system can be written as a singular perturbation of a symmetrizable hyperbolic system:
()
where (u + uI) j denotes the ith component of (u + uI) and where
()

Now, let us set and for |α | ≤ s with s > d/2,
()
It is easy to know that system (2.5) is a hyperbolic system. Consequently, for λ > 0 fixed, we have a result of local existence and uniqueness of strong solutions in C([0, T], Hs), see [17]. This allows us to define Tλ as the largest time such that
()
where Mλ which is such that Mλ → 0 when λ goes to zero will be chosen carefully later. To achieve the proof of Theorem 1.1, and in particular inequality (1.5), it is sufficient to establish that TλT, which will be proved by showing that in (2.8) the equality cannot be reached for Tλ < T thanks to a good choice of Mλ.
Before performing the energy estimate, we apply the operator for α3 with |α | ≤ s to (2.5), to obtain
()
where
()

Along the proof, we shall denote by C a number independent of λ, which actually may change from line to line, and by C(·) a nondecreasing function. Moreover (·, ·) and ∥·∥ stand for the usual L2 scalar product and norm, ∥·∥s is the usual Hs Sobolev norm, and ∥·∥s, is the usual Ws, norm.

Now, we proceed to perform the energy estimates for (2.9) in a classical way by taking the scalar product of system (2.9) with . Then, we have
()
Let us start the estimate of each term in the above equation. For 1, since is symmetric and div uI = 0, by Cauchy-Schwartz’s inequality and Sobolev’s lemma, we have that
()
Next, since is skew-symmetric, we have that
()
For 3, by a direct calculation, one gets
()
Here, we have used the basic Moser-type calculus inequalities [18].
To give the estimate of the term 4, we split it in two terms. Specifically, we can deduce that
()
Here, we have used the curl-div decomposition inequality
()
For 5, we have that
()
To estimate the last term, that is, 5, by using basic Moser-type calculus inequalities and Sobolev’s lemma, we have
()
Now, we collect all the previous estimates (2.12)–(2.18) and we sum over α to find
()
By using (2.8), we get with Mλ ≪ 1 that
()
Hence, by the Gronwall inequality, we get that
()

Consequently, if we choose Mλ = (Ms(λ) + Ctλ) 1/2, we see that we cannot reach equality in (2.8) for Tλ < T. This proves that Tλ > T and that (2.21) is valid on [0, T].

Acknowledgment

The authors acknowledge partial support from the Research Initiation Project for High-Level Talents (no. 40118) of North China University of Water Resources and Electric Power.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.