Positivity preserving DG schemes for a Boltzmann - Poisson model of electrons in semiconductors in curvilinear momentum coordinates José A. Morales E., Irene M. Gamba, Eirik Endeve 3, Cory Hauck 3 arxiv:7.03949v math.na] 0 Nov 07 TU Wien - Institute for Analysis and Scientific Computing The University of Texas at Austin - Institute for Computational Engineering and Sciences & Department of Mathematics 3 Oak Ridge National Lab - Computational and Applied Mathematics Group Abstract The work presented in this paper is related to the development of positivity preserving Discontinuous Galerkin DG methods for Boltzmann - Poisson BP computational models of electronic transport in semiconductors. We pose the Boltzmann Equation for electron transport in curvilinear coordinates for the momentum. We consider the D diode problem with azimuthal symmetry, which is a 3D plus time problem. We choose for this problem the spherical coordinate system p p,µ = cosθ,ϕ, slightly different to the choice in previous DG solversfor BP, because its DG formulation gives simpler integrals involving just piecewise polynomial functions for both transport and collision terms. Applying the strategy of Zhang & Shu, ], ], Cheng, Gamba, Proft, 3], and Endeve et al. 4], we treat the collision operator as a source term, and find convex combinations of the transport and collision terms which guarantee the positivity of the cell average of our numerical probability density function at the next time step. The positivity of the numerical solution to the pdf in the whole domain is guaranteed by applying the limiters in ], ] that preserve the cell average but modify the slope of the piecewise linear solutions in order to make the function non - negative. In addition of the proofs of positivity preservation in the DG scheme, we prove the stability of the semi-discrete DG scheme under an entropy norm, using the dissipative properties of our collisional operator given by its entropy inequalities. The entropy inequality we use depends on an exponential of the Hamiltonian rather than the Maxwellian associated just to the kinetic energy. Introduction: Boltzmann Equation with Momentum in Curvilinear Coordinates We can write the Boltzmann - Poisson model for electron transport in semiconductors for a more general set of collision operators as the system in the x, p position-momentum phase space for electrons t f x f p ε p f q x V = Qf = S p pf d p f S p p d p p p ] x ǫ x V x,t = q N x f x, p,td p, E x,t = x V x,t p The momentum variable is p = h k, k is the crystal momentum wave vector, ε p is the conduction energy band for electrons in the semiconductor, f x, p, t is the probability density function pdf in the phase space for electrons in the conduction band, v p = p ε p is the quantum mechanical electron group velocity, q is the positive electric charge, V x, t is the electric potential we assume that the only force over the electrons is the self-consistent electric field, and that it
is given by the negative gradient of the electric potential, ǫ is the permittivity for the material, N x is the fixed doping background in the semiconductor material, and S p p is the scattering kernel that defines the gain and loss operators, whose difference give the collision integral Qf. For many collision mechanisms in semiconductors, the scattering kernel S p p depends on the difference ε p ε p, as in collision operators of the form δε p ε p l hw p for electron - phonon collisions. This form is related to energy conservation equations such as Planck s law, in which the jump in energy from one state to another is balanced with the energy of a phonon. The mathematical consequence of this is that we can obtain much simpler expressions for the integration of the collision operator if we express the momentum in curvilinear coordinates that involve the energy ε p as one of the variables 5], 6], 7], 8]. The other two momentum coordinates could be either an orthogonal system in the level set of energies, orthogonal to the energy gradient itself, or angular coordinates which are known to be orthogonal to the energy in the limit of low energies close to a local conduction band minimum, such as µ,ϕ. This gives both physical and mathematical motivations to pose the Boltzmann Equation for semiconductors in curvilinear coordinates for the momentum kk,k,k 3, to later on choose the particular case of curvilinear coordinates such as ε,µ,ϕ. We will assume in the rest of this chapter that our system of curvilinear coordinates for the momentum is orthogonal, as in the case ε,µ,ϕ in which ε p is a monotone increasing function, so this set of coordinates is equivalent to the representation in spherical coordinates for the momentum. The Boltzmann Equation for semiconductors or more general forms of linear collisional plasma modelswritteninorthogonalcurvilinearcoordinates pp,p,p 3 forthemomentum p = p x,p y,p z is Jf x V ê p t Jf x Jf vq p h Jf x V ê p Jf x V ê p3 p p3 h h 3 ] = Cf, 3 Cf = JQf = J S p pj f dp dp dp 3 Jf S p p J dp dp dp 3 4 p p with h j = p, p j j =,,3, p h h h 3 = J = p,p,p 3 the jacobian of the transformation, J = p p,p,p, and ê j the unitary vectors associated to each curvilinear coordinate p j at the point 3 p,p,p 3. We notice that we have expressed the Boltzmann Eq. in divergence form with respect to the momentum curvilinear coordinates. We can write it even more compactly in the form t Jf x Jf v p 3 j= pj Jf q xv x,t ê pj h j = Cf, 5 If J 0, we can interpret Jf x,p,p,p 3,t as a probability density function in the phase space x,p,p,p 3 This Boltzmann Eq. is a more general form for orthogonal curvilinear coordinates, from which our previous spherical coordinate systems from Chapter 3 and Chapter 4 can be derived. For the one in Chapter 3, the orthogonal curvilinear system is r,µ,ϕ, with r k. The one in Chapter 4 is w,µ,ϕ, with w ε. assuming a Kane band energy ε. Dx-Dp Diode Symmetric Problem As we have mentioned, for the case of a D silicon diode, the main collision mechanisms are electron-phonon scatterings S p p = c j δε p ε pj hω, c = n ph K, c = n ph K, 6
with ω the phonon frequency, assumed constant, and n ph = n ph ω the phonon density. K, c 0 are constants. If we assume that the energy band just depends on the momentum norm, εp, p = p, and that the initial condition for the pdf has azimuthal symmetry, f t=0 = f 0 x,p,µ,t, ϕ f = 0, p = pµ, µ cosϕ, µ sinϕ, then the dimensionality of the problem is reduced to 3Dtime, D in x, D in p,µ, and the BP system for fx,p,µ,t, Vx,t is written in spherical coordinates pp,µ,ϕ for the momentum as p p fµ t f x f p εµ p µf µ ] q x Vx,t = Qf, 7 p x V = q ǫ Nx π pmax 0 fp dpdµ, ], V0 = 0, VL = V 0. 8 We have assumed that the permittivity ǫ is constant. The Poisson BVP above can be easily solved andan analytic integral solution is easily obtained for Vx,t and Ex,t = x Vx,t, which later can be projected in the adequate space for the numerical method. For this problem we only need to concern about the Boltzmann Equation, since given the electron density we know the solution for the potential and electric field. The collision operator, in this case, has the form Qf = π fx,p,µ,t c j dµ fx,pε,µ p ε dp dε ε =εpj hωχεpj hω c j p ε dp dε ε =εp j hωχεp j hω where χε is if ε 0,ε max ] and 0 if ε / 0,ε max ], with ε max = εp max. The domain of the BP problem is x 0,L], p 0,p max ], µ,], t > 0. Moreover, since εp, then p ε = dpˆp. dε dε We assume that dp > 0 is well behaved enough such that pε is a monotonic function for which dp dε = dε dp exists. The collision frequency is where νεp = c j 4πχεp j hω p ε dp dε = ε =εp j hω is the density of states with energy εp j hω. c j nεp j hω 9 nεp j hω = δε p ε pj hωd p 0 p 3 DG for Boltzmann-Poisson Dx-Dp Problem 3. Weak Form of the Transformed Boltzmann Eq. Since for fx,p,µ, gx,p,µ we have that x p fgd pdx = π x p,µ fgp dpdµdx 3
we define the inner product of two functions f and g in the x,p,µ space as f,g X K = fgp dpdµdx where X 0,L] and K 0,p max ],]. The Boltzmann Equation for our problem can be written in weak form as p p fµ t f,g x f p εµ, g p µf µ ] q x Vx,t,g p where = X K. More specifically, we have that t g = 0 X K = Qf,g, 3 = t f gp dpdµdx x f p εµgp dpdµdx p p fµq x Vx,tgdpdµdx µ f µ q x Vx,tgpdpdµdx Qfgp dpdµdx 3. DG-FEM Formulation for the Transformed Boltzmann Eq. in the x, p, µ domain We will use the following mesh in the domain where = X i K k,m = x i,x i ] p k,p k ] µ m,µ m ] 4 x i ± = x i±/, p k ± = p k±/, µ m ± = µ m±/. 5 We define the following notation for the internal product in our problem using the above mentioned mesh: fgp dpdµdx = f,g 6 The semi-discrete DG Formulation for our Transformed Boltzmann Equation in curvilinear coordinates is: Find f h V k h such that g h V k h and t f h g h p dpdµdx p εpf h µ x g h p dpdµdx ± p qex,tf h µ p g h dµdx ± µ f h qex,t µ g h pdpdµdx ± = km im ik p ε f h µ xi± g h x i± p dpdµ p k ± q Ef h µ pk± g h p k± dµdx µ m± qêf h µm± g h µ m± pdpdx Qf h g h p dpdµdx. The Numerical Flux used is the Upwind Rule. Therefore we have that 4
f h µ xi± = qeµf h pk± = qef h µm± = µ µ µ µ f h x i± f h x i± qeµ qeµ qeµ qeµ f h p k± qe qe qe qe f h µ m± f h µ m± f h p k± Using the notation in the paper of Eindeve, Hauck, Xing, Mezzacappa 4], the semi-discrete DG formulation is written as: Find f h V k h such that g h V k h and t f h g h p dpdµdx H x f h x g h p dpdµdx ± x km p H p f h p g h dµdx ± p k ± p im µ H µ f h µ g h pdpdµdx ± µ m± µ ik = Qf h g h p dpdµdx, where we have defined the terms p εp > 0: H x p,µ = µ p εp, H p t,x,µ = qex,tµ, H µ x,t = qex,t, H x f xi± = p ε f h µ xi±, x H x f h xi± g h x i± p dpdµ H p f h pk± g h p k± dµdx H µ f h µm± g h µ m± pdpdx km = r k,r k ] µ m,µ m ] = x km, H p f pk± = qef h µ pk±, p im = x i,x i ] µ m,µ m ] = p im, H µ f µm± = qêf h µm±, µ ik = x i,x i ] r k,r k ] = µ ik, The weak form of the collisional operator in the DG scheme is, specifically Qf h g h p dpdµdx = Gf h νεpf h ] g h p dpdµdx = ] π c j χεpj hω dµ f h x,pε,µ p ε dp ε g h p dpdµdx dε =εpj hω 4π f h x,p,µ,t c j χεp j hω p ] ε dp ε g h p dpdµdx 7 dε =εp j hω The cell average of f h in is f = f h p dpdµdx p dpdµdx = f h dv, 8 where, for our particular curvilinear coordinates, spherical: = dv, dv = τ 3 z d, z,z,z 3 = z = x,p,µ, τ = γλ, γ =, λ = p 9 d= 5
The time evolution of the cell average in the DG scheme is given by t f = p k p im x km µ m π Hx f h xi p dpdµ x km Hp f h pk dµdx p k µ ik 4π f h x,p,µ,t p im Hx f h xi p dpdµ Hp f h pk dµdx Hµ f h µm pdpdx µ m c j χεpj hω µ ik ] Hµ f h µm pdpdx ] dµ f h x,pε,µ p ε dp ε p dpdµdx dε =εpj hω c j χεp j hω p ] ε dp ε p dpdµdx dε =εp j hω Regarding the time discretization, we will apply a TVD RK-DG scheme. These schemes are convex combinations of Euler methods. We consider therefore the time evolution of the cell average in the DG scheme using Forward Euler: t f f n f n / tn f n = f n tn p k p im x km µ m π Hx f h xi p dpdµ x km Hp f h pk dµdx p k µ ik 4π f h x,p,µ,t or, more briefly p im Hx f h xi p dpdµ Hp f h pk dµdx Hµ f h µm pdpdx µ m c j χεpj hω µ ik ] Hµ f h µm pdpdx ] dµ f h x,pε,µ p ε dp ε p dpdµdx dε =εpj hω c j χεp j hω p ] ε dp ε p dpdµdx tn dε =εp j hω f n = f n Γ T Γ C 0 where the transport and collision terms for the cell average time evolution are defined as Γ T = tn x km p k p im µ m Hx f h xi p dpdµ x km Hp f h pk dµdx p k µ ik p im Hx f h xi p dpdµ Hp f h pk dµdx Hµ f h µm pdpdx µ m µ ik ] Hµ f h µm pdpdx 6
Γ C = π 4π f h x,p,µ,t c j χεpj hω ] dµ f h x,pε,µ p ε dp ε p dpdµdx dε =εpj hω c j χεp j hω p ] ε dp ε p dpdµdx tn dε =εp j hω 3.3 Positivity Preservation in DG Scheme for BP We use the strategy of Zhang & Shu in ], ], for conservation laws, Eindeve, Hauck, Xing, Mezzacappa 4] for conservative phase space advection in curvilinear coordinates, and Cheng, Gamba, Proft for Vlasov-Boltzmann with a linear non-degenerate collisional forms 3] to preserve the positivity of our probability density function in our DG scheme treating the collision term as a source, this being possible as our collisional form is mass preserving. We will use a convex combination parameter 0, ] f n = f n Γ T } {{ } I f n Γ C } {{ } II and we will find conditions such that I and II are positive, to guarantee the positivity of the cell average of our numerical probability density function for the next time step. The positivity of the numerical solution to the pdf in the whole domain can be guaranteed just by applying the limiters in ], ] that preserve the cell average but modify the slope of the piecewise linear solutions in order to make the function non - negative. Regarding I, the conditions for its positivity are derived below. I = f n Γ T = tn p k p im x km µ m f h p dpdµdx Hx f h xi p dpdµ Hp f h pk dµdx p k µ ik p im x km Hx f h xi p dpdµ Hp f h pk dµdx Hµ f h µm pdpdx µ m µ ik ] Hµ f h µm pdpdx We will split the cell average using 3 convex parameters s l 0, l =,,3 s.t. s s s 3 =. We have then I = tn p k s s s 3 f h p dpdµdx p im Hx f h xi p dpdµ Hp f h pk dµdx p k x km µ m µ ik x km p im Hx f h xi p dpdµ Hp f h pk dµdx Hµ f h µm pdpdx µ m µ ik ] Hµ f h µm pdpdx 7
= = xi s f h p x i xkm dpdµdx tn Hx f h xi p dpdµ x km x km pk s f h p p k pim dpdµdx p tn k Hp f h pk dµdx p k p im p im µm s 3 f h p dpdµdx µ m µ ik tn µ m Hµ f h µm pdpdx µ m µ ik µ ik { xi s f h p dx tn x km x i Hx f h xi p H x f h xi p } dpdµ { pk s f h p dp tn p k p im p k H p f h pk p } k H p f h pk dµdx { µm s 3 f h p dµ tn µ m µ ik ] Hµ f h µm pdpdx Hx f h xi p dpdµ Hp f h pk dµdx µ m Hµ f h µm p µ m Hµ f h µm p] } ] dpdx All the functions to be integrated are polynomials inside a given interval, rectangle or element. Therefore, we can integrate them exactly using a quadrature rule of enough degree, which could be either the usual Gaussian quadrature or the Gauss-Lobatto, which involves the end-points of the interval. We use Gauss-Lobatto quadratures for the integrals of f h p over intervals, so that the values at the endpoints can balance the flux terms of boundary integrals, obtaining then CFL conditions. 8
I = = = p im µ ik x km p im µ ik x km { { s s N ˆr= N ˆq= ŵˆq f h xˆq p x i tn ŵˆr f h pˆr p ˆr p k tn p k Hx f h xi p H x f h xi p dpdµ H p f h pk p } k H p f h pk dµdx N s 3 ŵŝf h µŝ p µ m tn ŝ= N s x i ŵ f h x i ŵ N f h x i ŵˆq f h xˆq tn ˆq= N {s ŵ f h p k p k ŵ Nf h p k p k ŵˆr f h pˆr p ˆr p k tn {s 3 p k tn N s x i x km s p k p im tn s p k µ m Hµ f h µm p µ m Hµ f h µm p] } ] dpdx ˆr= H p f h pk p } k H p f h pk dµdx ŵ f h µ m ŵ N f h µ m µ m ˆq= N ŝ= ŵŝf h µŝ p µ m } H µ f h µm µ m H µ f h µm ]p Hx f h xi ] dpdx H x f h xi ŵˆq f h xˆq ŵ f h xi ŵ N f h xi tn s x Hx f h xi i { N ŵ f h p k p k ŵ Nf h p k p k p k s 3 p µ m µ ik tn s 3 p µ m ˆr= H p f h pk p } k H p f h pk dµdx { N ŵ f h µ m ŵ N f h µ m µ m ŝ= ŵˆr f h pˆr p ˆr ŵŝf h µŝ ] } ] H µ f h µm µ m H µ f h µm dpdx p dpdµ H x f h xi p dpdµ We reorganize the terms involving the endpoints, which are in parenthesis. So I = N ˆq= s x i x km ŵˆq f h xˆq p dpdµ {ŵ f h xi tn s x Hx f h xi ŵ N f h xi tn i s x Hx f h xi i { N s p k ŵˆr f h pˆr p ˆr p im ˆr= Hp f h pk p k ŵ N f h pk tn s p Hp f h pk }dµdx k p k ŵ f h p k tn s p k { N dxdpp s 3 µ m ŵŝf h µŝ µ ik ŝ= ŵ f h µ m tn µ m s 3 p µ Hµ f h µm m ŵ N f h µ m tn µ m s 3 p µ m }] Hµ f h µm 9
To guarantee the positivity of I, assuming that the terms f h xˆq, f h pˆr, f h µŝ are positive at time t n, we only need that the terms in parenthesis related to interval endpoints are positive. Since ŵ = ŵ N for Gauss-Lobatto Quadrature, we want the non-negativity of the terms 0 0 0 ŵ N f h xi± tn s x Hx f h xi± i ŵ N f h pk± tn s p Hp f h pk± k ŵ N f h µ m± tn µ m± s 3 p µ Hµ f h µm± m We remember that we have used the following notation for the numerical flux terms, given by the upwind rule H x f xi± H p f pk± H µ f µm± ] µ µ µ µ = p ε f h µ xi± = p ε f h x i± f h xi± ] = qef Ex,tµ Ex,tµ Ex,tµ Ex,tµ h µ pk± = q f h p k± f h pk± ] Ex,t Ex,t Ex,t Ex,t = qêf h µm± = q f h µ m± f h µm± We have assumed that the positivity of the pdf evaluated at Gauss-Lobatto points, which include endpoints, so we know f h x i±, f h p k±, f h µ m± are positive. The worst case scenario for positivity is having negative flux terms. In that case, 0 ŵ N f h x i± tn p ε µ f h x s x i± = f h x i± ŵ N tn p ε µ i s x i 0 ŵ N f h p k± tn s p k q Ex,tµ f h p k± = f h p k± 0 ŵ N f h µ m± tn µ m± s 3 p µ m q Ex,t f h µ m± = f h µ m± We need then for the worst case scenario that ŵ N tn q Ex,tµ s p k ŵ N tn µ m± s 3 p µ m q Ex,t or equivalently, ŵ N ŵ N t n p ε µ s x i t n q Ex,tµ s p k ŵ N tn µ m± s 3 p µ m q Ex,t, ŵ N s x i p ε µ t n ŵ N s p k ŵ N t n q Ex, tµ s 3 µ m p q Ex,t µ m± t n 0
Therefore the CFL conditions imposed to satisfy the positivity of the transport term I are s ŵ N x i maxˆr p εpˆr max ± µ m± t n s ŵ N p k qmaxˆq Exˆq,t max ± µ m± t n s 3 ŵ N µ m p k qmaxˆq Exˆq,t max ± µ m± t n. Regarding II, there are several ways to guarantee its positivity. One possible way to guarantee its positive is given below, by separating the gain and the loss part, combining the cell average with the loss term and deriving a CFL condition related to the collision frequency, and imposing a positivity condition on the points where the gain term is evaluated, which differs for inelastic scatterings from the previous Gauss-Lobatto points because of the addition or subtraction of the phononenergy hω. We would need an additional set of points in which to impose positivity in order to guarantee positivity of II as a whole, since
II = f n Γ C = f n π 4π f h x,p,µ,t π tn f h dv 4π tn π tn c j f h x,p,µ,t c j χεpj hω ] dµ f h x,pε,µ p ε dp ε p dpdµdx dε =εpj hω c j χεp j hω p ] ε dp ε p dpdµdx dε =εp j hω }{{} =νp>0, since pε>0, c j >0, χ 0 c j χεpj hω f h 4π tn t n = ] dµ f h x,pε,µ p ε dp ε p dpdµdx dε =εpj hω c j χεp j hω p ] ε dp ε p dpdµdx = dε =εp j hω ] dµ f h x,pε,µ p ε dp ε χεpj hωp dpdµdx dε =εpj hω c j χεp j hω p ] ε dp ε p dpdµdx = dε =εp j hω π t n j c ] w s,r,q f h x s,p εp r j hω,µ q p ε dp dε χε {εp r j hω} p r s,r,q }{{} >0 if f h x s,p εp rj hω,µ q >0. Additional set of points for positivity f h x,p,µ,t 4π tn c j χεp j hω p ] ε dp ε dε =εp j hω }{{} >0 max GQp c j χεp j hω where the notation for the measure of the elements is p ε dp dε ] ε =εp j hω > t p dpdµdx = x i p k µ m. 3 Another possible way to guarantee positivity for II is by considering the collision term as a whole. The difference between the gain minus the loss integrals will give us a smaller source term overall, and therefore a more relaxed CFL condition for t n. We have that
II = f n Γ C = f h dv tn Qf h dv = V π c j χεpj hω 4π f h x,p,µ,t π tn f h t n f h dv dµ f h x,pε,µ p ε dp ] ε p dpdµdx dε =εpj hω c j χεp j hω p ] ε dp ε p dpdµdx dε =εp j hω }{{} =νp>0, since pε>0, c j >0, χ 0 t n = ] c j χεpj hω dµ f h x,pε,µ p ε dp ε p dpdµdx dε =εpj hω c j χεp j hω p ] ε dp ε p dpdµdx dε =εp j hω f h dv = π ] f h dv, c j dµ f h x,pε,µ p ε dp ε ] dε χε f h νp p dpdµdx =εpj hω } {{ } Qf h νp = 4π c j p ε dp ε ] dε χε = νεp. =εp j hω We will treat then the cell average of the collision term, the gain minus loss term, as a whole, considering it a source term, and we will apply the same techniques for positivity preserving DG schemes for transport equations with source terms. We have then that II = f n Γ C = = Qf h = π νp = 4π f h dv tn Qf h dv = ] f h p dpdµdx tn Qf h p dpdµdx, c j dµ f h x,pε,µ p ε dp dε χε f h νp, ε =εpj hω c j p ε dp ε ] dε χε = νεp. 4 =εp j hω We want II to be positive. If the collision operator part was negative, we choose the time step t n such that II is positive on total. We will get this way our CFL condition in order to guarantee the positivity of II. We want that II = II = q,r,s ] f h x,p,µ,t tn Qf hx,p,µ,t p dpdµdx 0 ] w q w r w s f h x q,p r,µ s,t tn Qf hx q,p r,µ s,t p r 0 3
If 0 > Qf h for any of the points x q,p r,µ s at time t = t n, then choose t n such that 0 f h x q,p r,µ s,t tn Qf hx q,p r,µ s,t 0 f h x q,p r,µ s,t tn Qf h x q,p r,µ s,t t n f hx q,p r,µ s,t Qf h x q,p r,µ s,t Our CFL condition in this case would be then t n min Qf h x q,p r,µ s,t n <0 { fh x q,p r,µ s,t n } Qf h x q,p r,µ s,t n 5 The minimum for the CFL condition is taken over the subset of Gaussian Quadrature points x q,p r,µ s inside the cell whichever the chosen quadrature rule was over which Qf h x q,p r,µ s,t n < 0. This subset of points might be different for each time t n then. We have figured out the respective CFL conditions for the transport and collision parts. Finally, we only need to choose the optimal parameter that gives us the most relaxed CFL condition for t n n such that positivity is preserved for the cell average at the next time, f. The positivity of the whole numerical solution to the pdf, not just its cell average, can be guaranteed by applying the limiters in ], ], which preserve the cell average but modify the slope of the piecewise linear solutions in order to make the function non - negative in case it was negative before. 4 Stability of the scheme under an entropy norm We can prove the stability of the scheme under the entropy norm related to the interior product f h g h e H p dpdµdx, 6 inspired in the strategy of Cheng, Gamba, Proft 3]. This estimates are possible due to the dissipative property of the linear collisional operator applied to the curvilinear representation of the momentum, with the entropy norm related to the function e Hx,p,t = expεp qvx,t Assuming periodic boundary conditions in all directions for simplicity of the stability proof, we look for f h Vh k such that g h Vh k and t f h g h e H p dpdµdx 7 p εpf h µ x g h e H p dpdµdx ± p ε f h µ xi± g h e H x i± p dpdµ p qex,tf h µ p g h e H dµdx ± µ f h qex,t µ g h e H pdpdµdx ± = km im ik p k ± q Ef h µ pk± g h e H p k± dµdx µ m± qêf h µm± g h e H µ m± pdpdx Qf h g h e H p dpdµdx, 4
where we are including as a factor the inverse of a Maxwellian along the characteristic flow generated by the Hamiltonian transport field p εp,q x Vx,t e Hx,p,t = expεp qvx,t = e qvx,t e εp, 8 which is an exponential of the Hamiltonian energy, assuming the energy is measured in K B T units. We include this modified inverse Maxwellian factor because we can use some entropy inequalities related to the collision operator. Our collision operator satisfies the dissipative property Qfgd p = S p pe εp f p p e εp f e εp g gd p d p 9 which can be also expressed as multiplying and dividing by e qvx,t Qfgd p = f S p pe H f p p e H e H g gd p d p 30 Therefore, if we choose a monotone increasing function gf/e H, namely g = f/e H = fe H, we have an equivalent dissipative property but now with the exponential of the full Hamiltonian p Qf f e Hd p = p S p pe H f f e H e H d p d p 0 3 So we have found the dissipative entropy inequality Qffe H p dpdµdϕ = Qf f p p e Hd p 0. 3 As a consequence of this entropy inequality we obtain the following stability theorem of the scheme under an entropy norm. Theorem 4. Stability undertheentropy norm f h g h e H p dpdµdx: Consider the semi-discrete solution f h to the DG formulation in 7 for the BP system in momentum curvilinear coordinates. We have then that 0 h t f h e f Hx,p,t p dpdµdx = t fh ehx,p,t p dpdµdx. 33 Proof Choosing g h = f h in 7, and considering the union of all the cells, which gives us the whole domain = x p,µ for integration, we have 0 Qf h f h e H p dpdµdx = t f h f h e H p dpdµdx p εpf h µ x f h e H p dpdµdx p ε f h µf h e H p dpdµ x p qef h µ p f h e H dµdx p qef h µf h e H dµdx µ f h qe µ f h e H pdpdµdx p µ µ qêf hf h e H pdpdx We can express this in the more compact form 0 t f h f h e H p dpdµdx f h β f h e H dpdµdx f h β ˆnf h e H dσ 34 5
defining the transport vector β with the properties β = p µ p εp, qep µ, qep µ, 35 β = x,p,µ β = 0, pqeµ,µqe, β = pqeµpqeµ = 0, β H = p µ p εp, qep µ, qep µ qe, p ε,0 = 0, µ H = 0. We integrate by parts again the transport integrals, obtaining that f h β f h e H dpdµdx = f h βf h e H dpdµdx = β f h f h e H dpdµdx but since we have then f h β ˆnf h e H dσ f h β ˆnf h e H dσ β f h e H = β e H f h β f h e H H = e H β f h 36 f h β f h e H dpdµdx = f h f h e β H dpdµdx = We can express our entropy inequality then as 0 t f h f h e H p dpdµdx f h β ˆnf h e H dσ f h β ˆnf h e H dσ. 37 f h β ˆnf h e H dσ, 38 remembering that we are integrating over the whole domain by considering the union of all the cells defining our mesh. We distinguish between the boundaries of cells for which β ˆn 0 and the ones for which β ˆn 0, defining uniquely the boundaries. Remembering that the upwind flux rule is such that ˆf h = f h, we have that the value of the solution inside the cells close to boundaries for which β ˆn 0 is f h, and for boundaries β ˆn 0 the value of the solution inside the cell close to that boundary is f h. We have then that 0 t f h f h e H p dpdµdx 0 t f h f h e H p dpdµdx f h β ˆn f h eh dσ β ˆn 0 f h β ˆnf h e H dσ f h β ˆnf he H dσ f h β ˆn f h eh dσ f h β ˆn f h eh dσ β ˆn 0 β ˆn 0 f h β ˆn f h eh dσ, β ˆn 0 and using a notation e h for the boundaries that allows redundancy, balanced then by a factor of /, we have 0 t f h f h e H p dpdµdx f h β ˆn f h eh dσ f h β ˆn f h eh dσ e h e h f h β ˆn f h eh dσ f h β ˆn f h eh dσ e h e h 0 t f h f h e H p dpdµdx f h β ˆn f h eh dσ e h f h β ˆn f h eh dσ f h β ˆn f h eh dσ e h e h 0 t f h f h e H p dpdµdx f 4 h f h β ˆn eh dσ f h f h β ˆn eh dσ f h f h β ˆn eh dσ e h e h e h 0 t f h f h e H p dpdµdx f 4 h f h β ˆn e H dσ. 39 e h 6
Since the second term is non-negative, we conclude therefore that 0 h t f h e f Hx,p,t p dpdµdx = t fh ehx,p,t p dpdµdx, 40 and in this sense is that the numerical solution has stability with respect to the considered entropy norm. As a remark, we obtain the corollary Corollary 4. Stability under the entropy norm for a time independent Hamiltonian: If V = Vx, so t H = 0, the stability under our entropy norm gives us that for t 0 f h L t = f e H p h x,p,µ,tehx,p p dpdµdx f h L 0. 4 e H p Proof The corollary follows from the fact that, since t H = q t V = 0, we have 0 t fh ehx,p p dpdµdx = d fh dt x,p,µ,tehx,p p dpdµdx. 4 Since the entropy norm is a decreasing function of time, our result follows immediately. 5 Conclusions The work presented here relates to the development of positivity preserving DG schemes for BP semiconductor models. Due to the physics of energy transitions given by Planck s law, and to reduce the dimension of the associated collision operator, given its mathematical form, we pose the Boltzmann Equation for electron transport in curvilinear coordinates for the momentum. This is a more general form that includes the two other BP models used in the previous lines of research as particular cases. We consider the D diode problem with azimuthal symmetry assumptions, which give us a 3D plus time problem. We choose for this problem the spherical coordinate system pp, µ, ϕ, slightly different to the previous choices, because its DG formulation gives simpler integrals involving just piecewise polynomial functions for both transport and collision terms. Using the strategy in ], ], 3] we treat the collision operator as a source term, and find convex combinations of the transport and collision terms which guarantee the propagation of positivity of the cell average of our numerical probability density function at the next time step. The positivity of the numerical solution to the pdf in the whole domain can be guaranteed just by applying the limiters in], ] that preserve the cell average but modify the slope of the piecewise linear solutions in order to make the function non - negative. We have been able to prove as well the stability of the semi-discrete DG scheme formulated under an entropy norm, assuming periodic boundary conditions for simplicity. For the simpler case of a time dependent Hamiltonian, the decay of the entropy norm of the numerical solution over time follows as a corollary. This highlights the importance of the dissipative properties of our collisional operator given by its entropy inequalities. In this case, the entropy norm depends on the full time dependent Hamiltonian rather than just the Maxwellian associated solely to the kinetic energy. References ] X. Zhang and C.-W. Shu, Positivity-preserving high order discontinuous Galerkin schemes for compressible Euler equations with source terms, J. Comput. Phys., 30 0 38-48. ] X. Zhang and C.-W. Shu, On positivity-preserving high order discontinuous Galerkin schemes for compressible Euler equations on rectangular meshes, J. Comput. Phys., 9 00 898-8934. 7
3] Y. Cheng, I. M. Gamba and J. Proft, Positivity-preserving discontinuous Galerkin schemes for linear Vlasov-Boltzmann transport equations, Mathematics of Computation, 8 0 53-90. 4] Eirik Endeve, Cory Hauck, Yulong Xing, Anthony Mezzacappa, Bound-preserving discontinuous Galerkin methods for conservative phase space advection in curvilinear coordinates, Journal of Computational Physics, 05. 5] A. Majorana and R. Pidatella, A finite difference scheme solving the Boltzmann Poisson system for semiconductor devices, Journal of Computational Physics, 74 00 649-668. 6] J.A. Carrillo, I.M. Gamba, A. Majorana and C.-W. Shu, A WENO-solver for the transients of Boltzmann-Poisson system for semiconductor devices. Performance and comparisons with Monte Carlo methods, Journal of Computational Physics, 84 003 498-55. 7] J.A. Carrillo, I.M. Gamba, A. Majorana and C.-W. Shu, D semiconductor device simulations by WENO-Boltzmann schemes: efficiency, boundary conditions and comparison to Monte Carlo methods, Journal of Computational Physics, 4 006 55-80. 8] Y. Cheng, I. M. Gamba, A. Majorana and C.-W. Shu A discontinuous Galerkin solver for Boltzmann-Poisson systems in nano-devices, Computer Methods in Applied Mechanics and Engineering, 98 009 330-350. 8