QUANTUM MODELS FOR SEMICONDUCTORS AND NONLINEAR DIFFUSION EQUATIONS OF FOURTH ORDER MARIA PIA GUALDANI The modern computer and telecommunication industry relies heavily on the use of semiconductor devices. The reason for the rapid development and success in the semiconductor technology is due to the ongoing miniaturization of these devices. The microelectronics industry produces very miniaturized components with small characteristic length scale, like tunneling diodes, which have a length of only a few nanometers. In such components, quantum phenomena become no longer negligible, even sometimes predominant, and the physical phenomena have to be described by quantum mechanics equations. Depending on the device structure, the transport of particles can be very different, due to several physical phenomena, like drift, diffusion, scattering, and quantum effects. An appropriate way to describe a large number of particles flowing through a device is a kinetic or fluid-dynamic type description. On the other hand, electrons are in a semiconductor crystal quantum object, for which a wave-like description using the Sch rodinger equation seems to be necessary. Therefore, there are several mathematical models which are able to describe particular phenomena in particular devices. Usually quantum effects can be described by microscopic models, like Schrödinger-Poisson or Wigner-Poisson system. The motion of semi-classical particles in semiconductors is described most accurately by the Boltzmann equation, the basic equation of kinetic theory of semiconductors. The equation takes into account the microscopic mechanism of carrier transport. Generally, for microscopic equations, the complexity of the collision term, together with the high number of independent variables, requires numerical simulations a lot of computation power. Moreover, as semiconductor devices are modeled in bounded domain and the natural physical setting of microscopic models is based on an unbounded 2000 Mathematics Subject Classification. 35K30, 35K35, 35B40. Key words and phrases. Fourth-order parabolic equation, fourth-order elliptic equation, existence and uniqueness of nonnegative solutions, entropy entropy production method, exponential decay in time. 143
144 WOMEN IN MATHEMATICS: MAY 18 20, 2006 position domain, it s difficult to find for them appropriate boundary conditions. Recently, macroscopic quantum equations have been developed and used in quantum devices simulations. These macroscopic models are referred to as fluid-dynamical models. To this class of equations belong the quantum drift diffusion (QDD) model and the quantum hydrodynamic (QHD) model. There are advantages of a macroscopic description: first, better tractability from the numerical point of view; second, easier for macroscopic variables to find relevant boundary conditions. Working on the analytical and numerical study of the above mentioned macroscopic models, I already showed well-posedness of a stationary QHD model and of the transient QDD in case of zero temperature and zero electric field in one space dimension and gave some numerical examples. The main goals of my current research are: (i) global existence in time of the QDD model, (ii) global existence in time of the QHD model including specific diffusion effects due to particle scattering, (iii) numerical approximation for the QHD model. Macroscopic models are derived from kinetic equations via several methods. Since 1927, it is well known that there exists a fluid-dynamical formulation of the Schrödinger equation. By separating the real and the complex part of that equation, the electron density, the current density, and the electrostatic potential satisfy (formally) the pressureless quantum hydrodynamic model. If we consider a statistical mixture of particles, the computation of the averaged quantities leads to closure problems, which appear in the passage from kinetic to fluid-dynamic equations. In the literature, several closure conditions have been proposed, such as approximation near the thermal equilibrium or entropy minimization. Concerning the quantum description of electrons-phonons interactions, some collision model has been derived. For example, Caldeira and Legget [6] derived a Wigner-Fokker-Planck equation in the large temperature limit (1) t w + p x w Θ[V ]w = Q(w), t > 0, (x, p) R 2d, where w(x, p, t) is the Wigner function, (x, p) are the position-momentum variables, t is the time, Θ[V ] is a pseudo-differential operator applied to the electrostatic potential V, and the collision operator has the following form (2) Q(w) = α p w + 1 τ div p(pw) + βdiv x ( p w) + ν x w, with α, β, τ, and ν positive constants.
THE LEGACY OF LADYZHENSKAYA AND OLEINIK 145 Applying a moment method for this equation and using as closure condition an expansion of the thermal equilibrium Wigner distribution function, similar to that in [12], the resulting system is termed as viscous QHD model (3) (4) ( J J t J + div n t n + divj = ν n, ) n V + T n ε2 2 n λ 2 V = n C(x), ( ) n = ν J J n τ, where n(x, t) is the particle density, J(x, t) is the current density, and V (x, t) is the electrostatic potential. The function C(x) describes the concentration of fixed background charges. The physical constants are the (scaled) Planck constant ε, the Debye length λ, the (scaled) temperature T, the positive constant ν called viscosity, and the (scaled) momentum relaxation time τ. The symbol J J denotes the tensor with components J i J k. The quantum term can be interpreted either as an internal self-potential, the so-called Bohm potential, n/ n, or as a non-diagonal pressure tensor, ( ) log n. The relaxation term J/τ models interactions of the electrons with the phonons of the semiconductor crystal lattice. For vanishing scaled Planck constant ε = 0 the above equation is equal to the classical Euler momentum equation for charged particles. Recently, another method [8] has been used in order to derive model (3)- (4) in case ν = 0. This new approach starts from the scaled Wigner equation (1) with a collision operator of BGK type, i.e., (5) Q(w) = 1 (M[w] w), τ where M[w] is the so-called quantum Maxwellian, defined as the minimizer of the quantum entropy, subject to the constraint that its moments are given. This method leads to an inviscid quantum hydrodynamic model (ν = 0 in (3)-(4)). Concerning the mathematical analysis of the inviscid QHD (ν = 0), many results are available ([20], [11], [18], [19]). The main difficulties in the analysis of systems like (3)-(4) are the mathematical treatment of the third order quantum term and the proof of positivity for the particle density. Generally, the maximum principle is not available for higher order differential equations and in this case other methods are required. For the stationary case, it has been shown that there exists a weak solution in one and more space dimensions, with several choices of boundary conditions, if a subsonic-type condition for the current density, similar to the classical subsonic flow, is satisfied. Moreover, for special boundary conditions, it is proved that the model does not possess a weak solution if the current density is large enough. In [15], we prove the existence of a stationary solution for (3)-(4), with ν > 0, in one space dimension with Dirichlet-Neumann boundary conditions
146 WOMEN IN MATHEMATICS: MAY 18 20, 2006 under a weakly supersonic condition flows. Indeed, the viscous terms regularize the model in such a way that classical solutions also exist in the transonic region, but a limitation on the effective current density is still needed. The long-time asymptotics of (3)-(4) have been studied in [16]. In order to prove exponential convergence to the (unique) thermal equilibrium state as the time tends to infinity, the existence of global in time solutions has been required, but not proved. The rigorous proof of this part is one objective of my research. Recently, from the collisional Wigner equation (1) with collision operator (2), through diffusion limit, the Quantum Drift Diffusion model has been formally derived [7]: ( ) t n + divj = 0, J + T n n V ε2 n (6) 2 n = 0. n The mathematical analysis and the numerical understanding in this model are now in a rather advanced state. The stationary problem has been solved in [3] and the thermal equilibrium problem in [27], and a generalized Gummel iteration for an efficient numerical treatment has been developed in [26]. Concerning the transient case, only partial results are known. The crucial problem in the analysis comes from the fourth-order nature of the system. In order to understand better the influence of the fourth order term, we studied a simplified model: setting vanishing temperature and zero electric fields in (6), the system can be rewritten as a fourth-order parabolic equation for the particle density. In one space dimension, assuming smooth nonvacuum solutions, the Bohm potential differential operator (n (( n) xx / n) x ) x can be equivalently rewritten as (n(log n) xx ) xx. The nonlinear fourth order parabolic problem (7) t n + (n(log n) xx ) xx = 0, n(0, x) = n I (x), arises also as a scaling limit in the study of interface fluctuations in a certain spin system (see [9]). The analytical result has been presented in [22] for a boundary value problem with homogeneous Dirichlet and Neumann boundary conditions n(0, t) = n(1, t) = 1, n x (0, t) = n x (1, t) = 0. This kind of boundary condition follows from a physical consideration, such as charge neutrality at the boundary contacts. However, these assumptions may not hold for ultra-small semiconductor devices. In particular, the homogeneous Neumann boundary conditions may be questionable in very small devices (see [25]). Therefore, in [17], the problem is with more general nonhomogeneous boundary conditions (8) n(0, t) = n 0, n(1, t) = n 1, n x (0, t) = w 0, n x (1, t) = w 1, is analyzed, where n 0, n 1 > 0, and w 0, w 1 R. Problem (7) has been studied in [10], also with periodic boundary conditions.
THE LEGACY OF LADYZHENSKAYA AND OLEINIK 147 Recently, the Cauchy problem (7) has been solved [14] for any space dimension. The proof makes use of mass transportation techniques: the solution is computed solving a minimization problem (in the Wasserstein metric) over some appropriate space. The main advantage is that this method circumvents the problem of non-negativity or positivity for the density function. In fact, as the solution is the minimum of such energy functional over all nonnegative functions with the same L 1 -norm as the function n I, it is automatically nonnegative. We recall that this method is not useful in the case of Dirichlet-Neumann boundary conditions; in fact, these conditions do not imply conservation of mass, which is the basic property in mass transportation techniques. References [1] I. Babuška, The finite element method with penalty, Math. Comp. 27 (1973), 221 228. [2] I. Babuška and M. Zlámal, Nonconforming elements in the finite element method with penalty, SIAM J. Numer. Anal. 10 (1973), 863 875. [3] N. Ben Abdallah and A. Unterreiter, On the stationary quantum drift diffusion model, Z. Angew. Math. Phys. 49 (1998), no. 2, 251 275. [4] P. M. Bleher, J. L. Lebowitz, and E. R. Speer, Existence and positivity of solutions of a fourth-order nonlinear PDE describing interface fluctuations, Comm. Pure Appl. Math. 47 (1994), no. 7, 923 942. [5] M. J. Cáceres, J. A. Carrillo, and G. Toscani, Long-time behavior for a nonlinear fourth order parabolic equation, Trans. Amer. Math. Soc. 357 (2005), no. 3, 1161 1175. (electronic) [6] A. O. Caldeira and A. J. Leggett, Path integral approach to quantum Brownian motion, Phys. A 121 (1983), no. 3, 587 616. [7] P. Degond, F. Méhats, and C. Ringhofer, Quantum energy-transport and driftdiffusion models, J. Stat. Phys. 118 (2005), no. 3-4, 625 665. [8] P. Degond and C. Ringhofer, Quantum moment hydrodynamics and the entropy principle, J. Statist. Phys. 112 (2003), no. 3-4, 587 628. [9] B. Derrida, J. L. Lebowitz, E. R. Speer, and H. Spohn, Fluctuations of a stationary nonequilibrium interface, Phys. Rev. Lett. 67 (1991), no. 2, 165 168. [10] J. Dolbeault, I. Gentil, and A. Jüngel, A nonlinear fourth-order parabolic equation and related logarithmic Sobolev inequalities. Preprint. Available at www.ceremade. dauphine.fr/preprints/cmd/2004-36.pdf. [11] I. M. Gamba and A. Jüngel, Positive solutions to singular second and third order differential equations for quantum fluids, Arch. Ration. Mech. Anal. 156 (2001), no. 3, 183 203. [12] C. L. Gardner, The quantum hydrodynamic model for semiconductor devices, SIAM J. Appl. Math. 54 (1994), no. 2, 409 427. [13] I. Gasser, P. A. Markowich, D. Schmidt, and A. Unterreiter, Macroscopic theory of charged quantum fluids, in Mathematical Problems in Semiconductor Physics. Ed. P. Marcati. Rome: Pitman; Harlow: Longman, 1995. 42 75. [14] U. Gianazza, G. Savaré, and G. Toscani, A fourth-order nonlinear PDE as gradient flow of the Fisher information in Wasserstein spaces. Preprint, Università di Pavia, Italy.
148 WOMEN IN MATHEMATICS: MAY 18 20, 2006 [15] M. P. Gualdani and A. Jüngel, Analysis of the viscous quantum hydrodynamic equations for semiconductors, European J. Appl. Math. 15 (2004), no. 5, 577 595. [16] M. Gualdani, A. Jüngel, and G. Toscani, Exponential decay in time of solutions of the viscous quantum hydrodynamic equations, Appl. Math. Lett. 16 (2003), no. 8, 1273 1278. [17], A nonlinear fourth-order parabolic equation with non-homogeneous boundary conditions, SIAM J. Math. Anal. 37 (2006), no. 6, 1761 1779. (electronic) [18] M. T. Gyi and A. Jüngel, A quantum regularization of the one-dimensional hydrodynamic model for semiconductors, Adv. Differential Equations 5 (2000), no. 4-6, 773 800. [19] J. W. Jerome and B. Zhang, On a steady-state quantum hydrodynamic model for semiconductors, Nonlinear Anal. 26 (1996), no. 4, 845 856. [20] A. Jüngel, A steady-state quantumeuler-poisson system for potential flows, Comm. Math. Phys. 194 (1998), no. 2, 463 479. [21] A. Jüngel and D. Matthes, A derivation of the isothermal quantum hydrodynamic equations using entropy minimization, Z. Angew. Math. Mech. 85 (2005), no. 11, 806 814. [22] A. Jüngel and R. Pinnau, Global nonnegative solutions of a nonlinear fourth-oder parabolic equation for quantum systems, SIAM J. Math. Anal. 32 (2000), no. 4, 760-777. (electronic) [23] A. Jüngel and S. Tang, Numerical approximation of the viscous quantum hydrodynamic model for semiconductors, Appl. Numer. Math. 56 (2006), no. 7, 899 915. [24] A. Jüngel and G. Toscani, Exponential time decay of solutions to a nonlinear fourthorder parabolic equation, Z. Angew. Math. Phys. 54 (2003), no. 3, 377 386. [25] R. Pinnau, A note on boundary conditions for quantum hydrodynamic equations, Appl. Math. Lett. 12 (1999), no. 5, 77-82. [26] R. Pinnau and A. Unterreiter, The stationary current-voltage characteristics of the quantum drift-diffusion model, SIAM J. Numer. Anal. 37 (1999), no. 1, 211 245. (electronic) [27] A. Unterreiter, The thermal equilibrium solution of a generic bipolar quantum hydrodynamic model, Comm. Math. Phys. 188 (1997), no. 1, 69 88. ICES; The University of Texas at Austin; 1 University Station C0200; Austin, TX 78712 USA E-mail address: gualdani@ices.utexas.edu