-
Machine Learning Methods for Autonomous Ordinary Differential Equations
Authors:
Maxime Bouchereau,
Philippe Chartier,
Mohammed Lemou,
Florian Méhats
Abstract:
Ordinary Differential Equations are generally too complex to be solved analytically. Approximations thereof can be obtained by general purpose numerical methods. However, even though accurate schemes have been developed, they remain computationally expensive: In this paper, we resort to the theory of modified equations in order to obtain ''on the fly'' cheap numerical approximations. The recipe co…
▽ More
Ordinary Differential Equations are generally too complex to be solved analytically. Approximations thereof can be obtained by general purpose numerical methods. However, even though accurate schemes have been developed, they remain computationally expensive: In this paper, we resort to the theory of modified equations in order to obtain ''on the fly'' cheap numerical approximations. The recipe consists in approximating, prior to that, the modified field associated to the modified equation by neural networks. Elementary convergence results are then established and the efficiency of the technique is demonstrated on experiments.
△ Less
Submitted 18 April, 2023;
originally announced April 2023.
-
Uniformly accurate schemes for drift--oscillatory stochastic differential equations
Authors:
Ibrahim Almuslimani,
Philippe Chartier,
Mohammed Lemou,
Florian Méhats
Abstract:
In this work, we adapt the {\em micro-macro} methodology to stochastic differential equations for the purpose of numerically solving oscillatory evolution equations. The models we consider are addressed in a wide spectrum of regimes where oscillations may be slow or fast. We show that through an ad-hoc transformation (the micro-macro decomposition), it is possible to retain the usual orders of con…
▽ More
In this work, we adapt the {\em micro-macro} methodology to stochastic differential equations for the purpose of numerically solving oscillatory evolution equations. The models we consider are addressed in a wide spectrum of regimes where oscillations may be slow or fast. We show that through an ad-hoc transformation (the micro-macro decomposition), it is possible to retain the usual orders of convergence of Euler-Maruyama method, that is to say, uniform weak order one and uniform strong order one half. We also show that the same orders of uniform accuracy can be achieved by a simple integral scheme. The advantage of the micro-macro scheme is that, in contrast to the integral scheme, it can be generalized to higher order methods.
△ Less
Submitted 15 July, 2022; v1 submitted 16 August, 2021;
originally announced August 2021.
-
Symplectic Learning for Hamiltonian Neural Networks
Authors:
Marco David,
Florian Méhats
Abstract:
Machine learning methods are widely used in the natural sciences to model and predict physical systems from observation data. Yet, they are often used as poorly understood "black boxes," disregarding existing mathematical structure and invariants of the problem. Recently, the proposal of Hamiltonian Neural Networks (HNNs) took a first step towards a unified "gray box" approach, using physical insi…
▽ More
Machine learning methods are widely used in the natural sciences to model and predict physical systems from observation data. Yet, they are often used as poorly understood "black boxes," disregarding existing mathematical structure and invariants of the problem. Recently, the proposal of Hamiltonian Neural Networks (HNNs) took a first step towards a unified "gray box" approach, using physical insight to improve performance for Hamiltonian systems. In this paper, we explore a significantly improved training method for HNNs, exploiting the symplectic structure of Hamiltonian systems with a different loss function. This frees the loss from an artificial lower bound. We mathematically guarantee the existence of an exact Hamiltonian function which the HNN can learn. This allows us to prove and numerically analyze the errors made by HNNs which, in turn, renders them fully explainable. Finally, we present a novel post-training correction to obtain the true Hamiltonian only from discretized observation data, up to an arbitrary order.
△ Less
Submitted 23 October, 2023; v1 submitted 22 June, 2021;
originally announced June 2021.
-
Uniformly accurate methods for three dimensional Vlasov equations under strong magnetic field with varying direction
Authors:
Philippe Chartier,
Nicolas Crouseilles,
Mohammed Lemou,
Florian Mehats,
Xiaofei Zhao
Abstract:
In this paper, we consider the three dimensional Vlasov equation with an inhomogeneous, varying direction, strong magnetic field. Whenever the magnetic field has constant intensity, the oscillations generated by the stiff term are periodic. The homogenized model is then derived and several state-of-the-art multiscale methods, in combination with the Particle-In-Cell discretisation, are proposed fo…
▽ More
In this paper, we consider the three dimensional Vlasov equation with an inhomogeneous, varying direction, strong magnetic field. Whenever the magnetic field has constant intensity, the oscillations generated by the stiff term are periodic. The homogenized model is then derived and several state-of-the-art multiscale methods, in combination with the Particle-In-Cell discretisation, are proposed for solving the Vlasov-Poisson equation. Their accuracy as much as their computational cost remain essentially independent of the strength of the magnetic field. The proposed schemes thus allow large computational steps, while the full gyro-motion can be restored by a linear interpolation in time. In the linear case, extensions are introduced for general magnetic field (varying intensity and direction). Eventually, numerical experiments are exposed to illustrate the efficiency of the methods and some long-term simulations are presented.
△ Less
Submitted 10 July, 2019;
originally announced July 2019.
-
Nonlinear instability of inhomogeneous steady states solutions to the HMF Model
Authors:
Mohammed Lemou,
Ana Maria Luz,
Florian Méhats
Abstract:
In this work we prove the nonlinear instability of inhomogeneous steady states solutions to the Hamiltonian Mean Field (HMF) model. We first study the linear instability of this model under a simple criterion by adapting the techniques developed in [19]. In a second part, we extend to the inhomogeneous case some techniques developed in [14, 17, 18] and prove a nonlinear instability result under th…
▽ More
In this work we prove the nonlinear instability of inhomogeneous steady states solutions to the Hamiltonian Mean Field (HMF) model. We first study the linear instability of this model under a simple criterion by adapting the techniques developed in [19]. In a second part, we extend to the inhomogeneous case some techniques developed in [14, 17, 18] and prove a nonlinear instability result under the same criterion.
△ Less
Submitted 1 April, 2019; v1 submitted 26 February, 2019;
originally announced February 2019.
-
Highly-oscillatory problems with time-dependent vanishing frequency
Authors:
Philippe Chartier,
Mohammed Lemou,
Florian Méhats,
Gilles Vilmart
Abstract:
In the analysis of highly-oscillatory evolution problems, it is commonly assumed that a single frequency is present and that it is either constant or, at least, bounded from below by a strictly positive constant uniformly in time. Allowing for the possibility that the frequency actually depends on time and vanishes at some instants introduces additional difficulties from both the asymptotic analys…
▽ More
In the analysis of highly-oscillatory evolution problems, it is commonly assumed that a single frequency is present and that it is either constant or, at least, bounded from below by a strictly positive constant uniformly in time. Allowing for the possibility that the frequency actually depends on time and vanishes at some instants introduces additional difficulties from both the asymptotic analysis and numerical simulation points of view. This work is a first step towards the resolution of these difficulties. In particular, we show that it is still possible in this situation to infer the asymptotic behaviour of the solution at the price of more intricate computations and we derive a second order uniformly accurate numerical method.
△ Less
Submitted 20 July, 2018;
originally announced July 2018.
-
Uniformly accurate methods for Vlasov equations with non-homogeneous strong magnetic field
Authors:
Philippe Chartier,
Nicolas Crouseilles,
Mohammed Lemou,
Florian Mehats,
Xiaofei Zhao
Abstract:
In this paper, we consider the numerical solution of highly-oscillatory Vlasov and Vlasov-Poisson equations with non-homogeneous magnetic field. Designed in the spirit of recent uniformly accurate methods, our schemes remain insensitive to the stiffness of the problem, in terms of both accuracy and computational cost. The specific difficulty (and the resulting novelty of our approach) stems from t…
▽ More
In this paper, we consider the numerical solution of highly-oscillatory Vlasov and Vlasov-Poisson equations with non-homogeneous magnetic field. Designed in the spirit of recent uniformly accurate methods, our schemes remain insensitive to the stiffness of the problem, in terms of both accuracy and computational cost. The specific difficulty (and the resulting novelty of our approach) stems from the presence of a non-periodic oscillation, which necessitates a careful ad-hoc reformulation of the equations. Our results are illustrated numerically on several examples.
△ Less
Submitted 8 February, 2018;
originally announced February 2018.
-
A new class of uniformly accurate numerical schemes for highly oscillatory evolution equations
Authors:
Philippe Chartier,
Mohammed Lemou,
Florian Méhats,
Gilles Vilmart
Abstract:
We introduce a new methodology to design uniformly accurate methods for oscillatory evolution equations. The targeted models are envisaged in a wide spectrum of regimes, from non-stiff to highly-oscillatory. Thanks to an averaging transformation, the stiffness of the problem is softened, allowing for standard schemes to retain their usual orders of convergence. Overall, high-order numerical approx…
▽ More
We introduce a new methodology to design uniformly accurate methods for oscillatory evolution equations. The targeted models are envisaged in a wide spectrum of regimes, from non-stiff to highly-oscillatory. Thanks to an averaging transformation, the stiffness of the problem is softened, allowing for standard schemes to retain their usual orders of convergence. Overall, high-order numerical approximations are obtained with errors and at a cost independent of the regime.
△ Less
Submitted 10 January, 2019; v1 submitted 18 December, 2017;
originally announced December 2017.
-
Stable Ground States for the HMF Poisson Model
Authors:
Marine Fontaine,
Mohammed Lemou,
Florian Méhats
Abstract:
In this paper we prove the nonlinear orbital stability of a large class of steady states solutions to the Hamiltonian Mean Field (HMF) system with a Poisson interaction potential. These steady states are obtained as minimizers of an energy functional under one, two or infinitely many constraints. The singularity of the Poisson potential prevents from a direct run of the general strategy in [20, 16…
▽ More
In this paper we prove the nonlinear orbital stability of a large class of steady states solutions to the Hamiltonian Mean Field (HMF) system with a Poisson interaction potential. These steady states are obtained as minimizers of an energy functional under one, two or infinitely many constraints. The singularity of the Poisson potential prevents from a direct run of the general strategy in [20, 16] which was based on generalized rearrangement techniques, and which has been recently extended to the case of the usual (smooth) cosine potential [17]. Our strategy is rather based on variational techniques. However, due to the boundedness of the space domain, our variational problems do not enjoy the usual scaling invariances which are, in general, very important in the analysis of variational problems. To replace these scaling arguments, we introduce new transformations which, although specific to our context, remain somehow in the same spirit of rearrangements tools introduced in the references above. In particular, these transformations allow for the incorporation of an arbitrary number of constraints, and yield a stability result for a large class of steady states.
△ Less
Submitted 11 September, 2017; v1 submitted 7 September, 2017;
originally announced September 2017.
-
Averaging of nonlinear Schrödinger equations with strong magnetic confinement
Authors:
Rupert L. Frank,
Florian Méhats,
Christof Sparber
Abstract:
We consider the dynamics of nonlinear Schrödinger equations with strong constant magnetic fields. In an asymptotic scaling limit the system exhibits a purely magnetic confinement, based on the spectral properties of the Landau Hamiltonian. Using an averaging technique we derive an associated effective description via an averaged model of nonlinear Schrödinger type. In a special case this also yiel…
▽ More
We consider the dynamics of nonlinear Schrödinger equations with strong constant magnetic fields. In an asymptotic scaling limit the system exhibits a purely magnetic confinement, based on the spectral properties of the Landau Hamiltonian. Using an averaging technique we derive an associated effective description via an averaged model of nonlinear Schrödinger type. In a special case this also yields a derivation of the LLL equation.
△ Less
Submitted 15 December, 2018; v1 submitted 4 November, 2016;
originally announced November 2016.
-
Uniformly accurate time-splitting methods for the semiclassical Schrödinger equation Part 1 : Construction of the schemes and simulations
Authors:
Philippe Chartier,
Loïc Le Treust,
Florian Méhats
Abstract:
This article is devoted to the construction of new numerical methods for the semiclassical Schrödinger equation. A phase-amplitude reformulation of the equation is described where the Planck constant epsilon is not a singular parameter. This allows to build splitting schemes whose accuracy is spectral in space, of up to fourth order in time, and independent of epsilon before the caustics. The s…
▽ More
This article is devoted to the construction of new numerical methods for the semiclassical Schrödinger equation. A phase-amplitude reformulation of the equation is described where the Planck constant epsilon is not a singular parameter. This allows to build splitting schemes whose accuracy is spectral in space, of up to fourth order in time, and independent of epsilon before the caustics. The second-order method additionally preserves the L^2-norm of the solution just as the exact flow does. In this first part of the paper, we introduce the basic splitting scheme in the nonlinear case, reveal our strategy for constructing higher-order methods, and illustrate their properties with simulations. In the second part, we shall prove a uniform convergence result for the first-order splitting scheme applied to the linear Schrödinger equation with a potential.
△ Less
Submitted 11 May, 2016;
originally announced May 2016.
-
Uniformly accurate numerical schemes for the nonlinear Dirac equation in the nonrelativistic limit regime
Authors:
Mohammed Lemou,
Florian Méhats,
Xiaofei Zhao
Abstract:
We apply the two-scale formulation approach to propose uniformly accurate (UA) schemes for solving the nonlinear Dirac equation in the nonrelativistic limit regime. The nonlinear Dirac equation involves two small scales $\varepsilon$ and $\varepsilon^2$ with $\varepsilon\to0$ in the nonrelativistic limit regime. The small parameter causes high oscillations in time which brings severe numerical bur…
▽ More
We apply the two-scale formulation approach to propose uniformly accurate (UA) schemes for solving the nonlinear Dirac equation in the nonrelativistic limit regime. The nonlinear Dirac equation involves two small scales $\varepsilon$ and $\varepsilon^2$ with $\varepsilon\to0$ in the nonrelativistic limit regime. The small parameter causes high oscillations in time which brings severe numerical burden for classical numerical methods. We transform our original problem as a two-scale formulation and present a general strategy to tackle a class of highly oscillatory problems involving the two small scales $\varepsilon$ and $\varepsilon^2$. Suitable initial data for the two-scale formulation is derived to bound the time derivatives of the augmented solution. Numerical schemes with uniform (with respect to $\varepsilon\in (0,1]$) spectral accuracy in space and uniform first order or second order accuracy in time are proposed. Numerical experiments are done to confirm the UA property.
△ Less
Submitted 17 December, 2016; v1 submitted 9 May, 2016;
originally announced May 2016.
-
A kinetic model for the transport of electrons in a graphene layer
Authors:
Clotilde Fermanian Kammerer,
Florian Méhats
Abstract:
In this article, we propose a new numerical model for computation of the transport of electrons in a graphene device. The underlying quantum model for graphene is a massless Dirac equation, whose eigenvalues display a conical singularity responsible for non adiabatic transitions between the two modes. We first derive a kinetic model which takes the form of two Boltzmann equations coupled by a coll…
▽ More
In this article, we propose a new numerical model for computation of the transport of electrons in a graphene device. The underlying quantum model for graphene is a massless Dirac equation, whose eigenvalues display a conical singularity responsible for non adiabatic transitions between the two modes. We first derive a kinetic model which takes the form of two Boltzmann equations coupled by a collision operator modeling the non-adiabatic transitions. This collision term includes a Landau-Zener transfer term and a jump operator whose presence is essential in order to ensure a good energy conservation during the transitions. We propose an algorithmic realization of the semi-group solving the kinetic model, by a particle method. We give analytic justification of the model and propose a series of numerical experiments studying the influences of the various sources of errors between the quantum and the kinetic models.
△ Less
Submitted 9 May, 2016;
originally announced May 2016.
-
Uniformly accurate time-splitting methods for the semiclassical linear Schr{ö}dinger equation
Authors:
Philippe Chartier,
Loïc Le Treust,
Florian Méhats
Abstract:
This article is devoted to the construction of numerical methods which remain insensitive to the smallness of the semiclassical parameter for the linear Schr{ö}dinger equation in the semiclassical limit. We specifically analyse the convergence behavior of the first-order splitting. Our main result is a proof of uniform accuracy. We illustrate the properties of our methods with simulations.
This article is devoted to the construction of numerical methods which remain insensitive to the smallness of the semiclassical parameter for the linear Schr{ö}dinger equation in the semiclassical limit. We specifically analyse the convergence behavior of the first-order splitting. Our main result is a proof of uniform accuracy. We illustrate the properties of our methods with simulations.
△ Less
Submitted 12 October, 2018; v1 submitted 19 January, 2016;
originally announced January 2016.
-
The quantum Liouville-BGK equation and the moment problem
Authors:
Florian Méhats,
Olivier Pinaud
Abstract:
This work is devoted to the analysis of the quantum Liouville-BGK equation. This equation arises in the work of Degond and Ringhofer on the derivation of quantum hydrodynamical models from first principles. Their theory consists in transposing to the quantum setting the closure strategy by entropy minimization used for kinetic equations. The starting point is the quantum Liouville-BGK equation, wh…
▽ More
This work is devoted to the analysis of the quantum Liouville-BGK equation. This equation arises in the work of Degond and Ringhofer on the derivation of quantum hydrodynamical models from first principles. Their theory consists in transposing to the quantum setting the closure strategy by entropy minimization used for kinetic equations. The starting point is the quantum Liouville-BGK equation, where the collision term is defined via a so-called quantum local equilibrium, defined as a minimizer of the quantum free energy under a local density constraint. We then address three related problems: we prove new results about the regularity of these quantum equilibria; we prove that the quantum Liouville-BGK equation admits a classical solution; and we investigate the long-time behavior of the solutions. The core of the proofs is based on a fine analysis of the properties of the minimizers of the free energy.
△ Less
Submitted 4 December, 2015;
originally announced December 2015.
-
Nonlinear stability criteria for the HMF Model
Authors:
Mohammed Lemou,
Ana Maria Luz,
Florian Mehats
Abstract:
We study the nonlinear stability of a large class of inhomogeneous steady state solutions to the Hamiltonian Mean Field (HMF) model. Under a simple criterion, we prove the nonlinear stability of steady states which are decreasing functions of the microscopic energy. To achieve this task, we extend to this context the strategy based on generalized rearrangement techniques which was developed recent…
▽ More
We study the nonlinear stability of a large class of inhomogeneous steady state solutions to the Hamiltonian Mean Field (HMF) model. Under a simple criterion, we prove the nonlinear stability of steady states which are decreasing functions of the microscopic energy. To achieve this task, we extend to this context the strategy based on generalized rearrangement techniques which was developed recently for the gravitational Vlasov-Poisson equation. Explicit stability inequalities are established and our analysis is able to treat non compactly supported steady states to HMF, which are physically relevant in this context but induces additional difficulties, compared to the Vlasov-Poisson system.
△ Less
Submitted 29 September, 2015;
originally announced September 2015.
-
Dimension reduction for rotating Bose-Einstein condensates with anisotropic confinement
Authors:
Florian Mehats,
Christof Sparber
Abstract:
We consider the three-dimensional time-dependent Gross-Pitaevskii equation arising in the description of rotating Bose-Einstein condensates and study the corresponding scaling limit of strongly anisotropic confinement potentials. The resulting effective equations in one or two spatial dimensions, respectively, are rigorously obtained as special cases of an averaged three dimensional limit model. I…
▽ More
We consider the three-dimensional time-dependent Gross-Pitaevskii equation arising in the description of rotating Bose-Einstein condensates and study the corresponding scaling limit of strongly anisotropic confinement potentials. The resulting effective equations in one or two spatial dimensions, respectively, are rigorously obtained as special cases of an averaged three dimensional limit model. In the particular case where the rotation axis is not parallel to the strongly confining direction the resulting limiting model(s) include a negative, and thus, purely repulsive quadratic potential, which is not present in the original equation and which can be seen as an effective centrifugal force counteracting the confinement.
△ Less
Submitted 10 July, 2015;
originally announced July 2015.
-
Dimension reduction for dipolar Bose-Einstein condensates in the strong interaction regime
Authors:
Weizhu Bao,
Loïc Le Treust,
Florian Méhats
Abstract:
We study dimension reduction for the three-dimensional Gross-Pitaevskii equation with a long-range and anisotropic dipole-dipole interaction modeling dipolar Bose-Einstein condensation in a strong interaction regime. The cases of disk shaped condensates (confinement from dimension three to dimension two) and cigar shaped condensates (confinement to dimension one) are analyzed. In both cases, the a…
▽ More
We study dimension reduction for the three-dimensional Gross-Pitaevskii equation with a long-range and anisotropic dipole-dipole interaction modeling dipolar Bose-Einstein condensation in a strong interaction regime. The cases of disk shaped condensates (confinement from dimension three to dimension two) and cigar shaped condensates (confinement to dimension one) are analyzed. In both cases, the analysis combines averaging tools and semiclassical techniques. Asymptotic models are derived, with rates of convergence in terms of two small dimensionless parameters characterizing the strength of the confinement and the strength of the interaction between atoms.
△ Less
Submitted 9 January, 2015;
originally announced January 2015.
-
Strong confinement limit for the nonlinear Schrödinger equation constrained on a curve
Authors:
Florian Méhats,
Nicolas Raymond
Abstract:
This paper is devoted to the cubic nonlinear Schrödinger equation in a two dimensional waveguide with shrinking cross section of order $ε$. For a Cauchy data living essentially on the first mode of the transverse Laplacian, we provide a tensorial approximation of the solution $ψ^ε$ in the limit $ε\to 0$, with an estimate of the approximation error, and derive a limiting nonlinear Schrödinger equat…
▽ More
This paper is devoted to the cubic nonlinear Schrödinger equation in a two dimensional waveguide with shrinking cross section of order $ε$. For a Cauchy data living essentially on the first mode of the transverse Laplacian, we provide a tensorial approximation of the solution $ψ^ε$ in the limit $ε\to 0$, with an estimate of the approximation error, and derive a limiting nonlinear Schrödinger equation in dimension one. If the Cauchy data $ψ^ε_0$ has a uniformly bounded energy, then it is a bounded sequence in $H^1$ and we show that the approximation is of order $\mathcal O(\sqrtε)$. If we assume that $ψ^ε_0$ is bounded in the graph norm of the Hamiltonian, then it is a bounded sequence in $H^2$ and we show that the approximation error is of order $\mathcal O(ε)$.
△ Less
Submitted 2 December, 2014;
originally announced December 2014.
-
The fermionic King model
Authors:
Pierre-Henri Chavanis,
Mohammed Lemou,
Florian Méhats
Abstract:
We study the fermionic King model which may provide a relevant model of dark matter halos. The exclusion constraint can be due to quantum mechanics (for fermions such as massive neutrinos) or to Lynden-Bell's statistics (for collisionless systems undergoing violent relaxation). This model has a finite mass. Furthermore, a statistical equilibrium state exists for all accessible values of energy. Dw…
▽ More
We study the fermionic King model which may provide a relevant model of dark matter halos. The exclusion constraint can be due to quantum mechanics (for fermions such as massive neutrinos) or to Lynden-Bell's statistics (for collisionless systems undergoing violent relaxation). This model has a finite mass. Furthermore, a statistical equilibrium state exists for all accessible values of energy. Dwarf and intermediate size halos are degenerate quantum objects stabilized against gravitational collapse by the Pauli exclusion principle. Large halos at sufficiently high energies are in a gaseous phase where quantum effects are negligible. They are stabilized by thermal motion. Below a critical energy they undergo gravitational collapse (gravothermal catastrophe). This may lead to the formation of a central black hole that does not affect the structure of the halo. This may also lead to the formation of a compact degenerate object surrounded by a hot massive atmosphere extending at large distances. We argue that large dark matter halos should not contain a degenerate nucleus (fermion ball) because these nucleus-halo structures are thermodynamically unstable. We compare the rotation curves of the classical King model to observations of large dark matter halos (Burkert profile). Because of collisions and evaporation, the central density increases while the slope of the halo density profile decreases until an instability takes place. We find that the observations are compatible with a King profile at, or close to, the point of marginal stability in the microcanonical ensemble. At that point, the King profile can be fitted by the modified Hubble profile that has a flat core and a halo in which the density decreases as $r^{-3}$. This is qualitatively similar to the Burkert profile.
△ Less
Submitted 22 November, 2014;
originally announced November 2014.
-
Models of dark matter halos based on statistical mechanics: II. The fermionic King model
Authors:
Pierre-Henri Chavanis,
Mohammed Lemou,
Florian Méhats
Abstract:
We discuss the nature of phase transitions in the fermionic King model which describes tidally truncated quantum self-gravitating systems. This distribution function takes into account the escape of high energy particles and has a finite mass. On the other hand, the Pauli exclusion principle puts an upper bound on the phase space density of the system and stabilizes it against gravitational collap…
▽ More
We discuss the nature of phase transitions in the fermionic King model which describes tidally truncated quantum self-gravitating systems. This distribution function takes into account the escape of high energy particles and has a finite mass. On the other hand, the Pauli exclusion principle puts an upper bound on the phase space density of the system and stabilizes it against gravitational collapse. As a result, there exists a statistical equilibrium state for any accessible values of energy and temperature. We plot the caloric curves and investigate the nature of phase transitions as a function of the degeneracy parameter in both microcanonical and canonical ensembles. We consider stable and metastable states and emphasize the importance of the latter for systems with long-range interactions. Phase transitions can take place between a "gaseous" phase unaffected by quantum mechanics and a "condensed" phase dominated by quantum mechanics. The phase diagram exhibits two critical points, one in each ensemble, beyond which the phase transitions disappear. There also exist a region of negative specific heats and a situation of ensemble inequivalence for sufficiently large systems. We apply the fermionic King model to the case of dark matter halos made of massive neutrinos. The gaseous phase describes large halos and the condensed phase describes dwarf halos. Partially degenerate configurations describe intermediate size halos. We argue that large dark matter halos cannot harbor a fermion ball because these nucleus-halo configurations are thermodynamically unstable (saddle points of entropy). Large dark matter halos may rather contain a central black hole resulting from a dynamical instability of relativistic origin occurring during the gravothermal catastrophe.
△ Less
Submitted 27 September, 2014;
originally announced September 2014.
-
Models of dark matter halos based on statistical mechanics: I. The classical King model
Authors:
Pierre-Henri Chavanis,
Mohammed Lemou,
Florian Méhats
Abstract:
We consider the possibility that dark matter halos are described by the Fermi-Dirac distribution at finite temperature. This is the case if dark matter is a self-gravitating quantum gas made of massive neutrinos at statistical equilibrium. This is also the case if dark matter can be treated as a self-gravitating collisionless gas experiencing Lynden-Bell's type of violent relaxation. In order to a…
▽ More
We consider the possibility that dark matter halos are described by the Fermi-Dirac distribution at finite temperature. This is the case if dark matter is a self-gravitating quantum gas made of massive neutrinos at statistical equilibrium. This is also the case if dark matter can be treated as a self-gravitating collisionless gas experiencing Lynden-Bell's type of violent relaxation. In order to avoid the infinite mass problem and carry out a rigorous stability analysis, we consider the fermionic King model. In this paper, we study the non-degenerate limit leading to the classical King model. This model was initially introduced to describe globular clusters. We propose to apply it also to large dark matter halos where quantum effects are negligible. We determine the caloric curve and study the thermodynamical stability of the different configurations. Equilibrium states exist only above a critical energy $E_c$ in the microcanonical ensemble and only above a critical temperature $T_c$ in the canonical ensemble. For $E<E_c$, the system undergoes a gravothermal catastrophe and, for $T<T_c$, it undergoes an isothermal collapse. We compute the profiles of density, circular velocity, and velocity dispersion. We compare the prediction of the classical King model to the observations of large dark matter halos. Because of collisions and evaporation, the central density increases while the slope of the halo density profile decreases until an instability takes place. We show that large dark matter halos are relatively well-described by the King model at, or close to, the point of marginal microcanonical stability. At that point, the King model generates a density profile that can be approximated by the modified Hubble profile. This profile has a flat core and decreases as $r^{-3}$ at large distances, like the observational Burkert profile. Less steep halos are unstable.
△ Less
Submitted 27 September, 2014;
originally announced September 2014.
-
Dimension reduction for anisotropic Bose-Einstein condensates in the strong interaction regime
Authors:
Weizhu Bao,
Loic Le Treust,
Florian Mehats
Abstract:
We study the problem of dimension reduction for the three dimensional Gross-Pitaevskii equation (GPE) describing a Bose-Einstein condensate confined in a strongly anisotropic harmonic trap. Since the gas is assumed to be in a strong interaction regime, we have to analyze two combined singular limits: a semi-classical limit in the transport direction and the strong partial confinement limit in the…
▽ More
We study the problem of dimension reduction for the three dimensional Gross-Pitaevskii equation (GPE) describing a Bose-Einstein condensate confined in a strongly anisotropic harmonic trap. Since the gas is assumed to be in a strong interaction regime, we have to analyze two combined singular limits: a semi-classical limit in the transport direction and the strong partial confinement limit in the transversal direction. We prove that both limits commute together and we provide convergence rates. The by-products of this work are approximated models in reduced dimension for the GPE, with a priori estimates of the approximation errors.
△ Less
Submitted 12 March, 2014;
originally announced March 2014.
-
On the controllability of quantum transport in an electronic nanostructure
Authors:
Florian Méhats,
Yannick Privat,
Mario Sigalotti
Abstract:
We investigate the controllability of quantum electrons trapped in a two-dimensional device, typically a MOS field-effect transistor. The problem is modeled by the Schrödinger equation in a bounded domain coupled to the Poisson equation for the electrical potential. The controller acts on the system through the boundary condition on the potential, on a part of the boundary modeling the gate. We pr…
▽ More
We investigate the controllability of quantum electrons trapped in a two-dimensional device, typically a MOS field-effect transistor. The problem is modeled by the Schrödinger equation in a bounded domain coupled to the Poisson equation for the electrical potential. The controller acts on the system through the boundary condition on the potential, on a part of the boundary modeling the gate. We prove that, generically with respect to the shape of the domain and boundary conditions on the gate, the device is controllable. We also consider control properties of a more realistic nonlinear version of the device, taking into account the self-consistent electrostatic Poisson potential.
△ Less
Submitted 1 October, 2013;
originally announced October 2013.
-
Analysis of models for quantum transport of electrons in graphene layers
Authors:
Raymond El Hajj,
Florian Méhats
Abstract:
We present and analyze two mathematical models for the self consistent quantum transport of electrons in a graphene layer. We treat two situations. First, when the particles can move in all the plane $\RR^2$, the model takes the form of a system of massless Dirac equations coupled together by a selfconsistent potential, which is the trace in the plane of the graphene of the 3D Poisson potential as…
▽ More
We present and analyze two mathematical models for the self consistent quantum transport of electrons in a graphene layer. We treat two situations. First, when the particles can move in all the plane $\RR^2$, the model takes the form of a system of massless Dirac equations coupled together by a selfconsistent potential, which is the trace in the plane of the graphene of the 3D Poisson potential associated to surface densities. In this case, we prove local in time existence and uniqueness of a solution in $H^s(\RR^2)$, for $s > 3/8$ which includes in particular the energy space $H^{1/2}(\RR^2)$. The main tools that enable to reach $s\in (3/8,1/2)$ are the dispersive Strichartz estimates that we generalized here for mixed quantum states. Second, we consider a situation where the particles are constrained in a regular bounded domain $Ω$. In order to take into account Dirichlet boundary conditions which are not compatible with the Dirac Hamiltonian $H_{0}$, we propose a different model built on a modified Hamiltonian displaying the same energy band diagram as $H_{0}$ near the Dirac points. The well-posedness of the system in this case is proved in $H^s_{A}$, the domain of the fractional order Dirichlet Laplacian operator, for $1/2\leq s<5/2$.
△ Less
Submitted 25 October, 2013; v1 submitted 6 August, 2013;
originally announced August 2013.
-
Solving highly-oscillatory NLS with SAM: numerical efficiency and geometric properties
Authors:
Philippe Chartier,
Norbert J. Mauser,
Florian Méhats,
Yong Zhang
Abstract:
In this paper, we present the Stroboscopic Averaging Method (SAM), recently introduced in [7,8,10,12], which aims at numerically solving highly-oscillatory differential equations. More specifically, we first apply SAM to the Schrödinger equation on the 1-dimensional torus and on the real line with harmonic potential, with the aim of assessing its efficiency: as compared to the well-established sta…
▽ More
In this paper, we present the Stroboscopic Averaging Method (SAM), recently introduced in [7,8,10,12], which aims at numerically solving highly-oscillatory differential equations. More specifically, we first apply SAM to the Schrödinger equation on the 1-dimensional torus and on the real line with harmonic potential, with the aim of assessing its efficiency: as compared to the well-established standard splitting schemes, the stiffer the problem is, the larger the speed-up grows (up to a factor 100 in our tests). The geometric properties of SAM are also explored: on very long time intervals, symmetric implementations of the method show a very good preservation of the mass invariant and of the energy. In a second series of experiments on 2-dimensional equations, we demonstrate the ability of SAM to capture qualitatively the long-time evolution of the solution (without spurring high oscillations).
△ Less
Submitted 6 August, 2013;
originally announced August 2013.
-
Uniformly accurate numerical schemes for highly oscillatory Klein-Gordon and nonlinear Schrödinger equations
Authors:
Philippe Chartier,
Nicolas Crouseilles,
Mohammed Lemou,
Florian Méhats
Abstract:
This work is devoted to the numerical simulation of nonlinear Schrödinger and Klein-Gordon equations. We present a general strategy to construct numerical schemes which are uniformly accurate with respect to the oscillation frequency. This is a stronger feature than the usual so called "Asymptotic preserving" property, the last being also satisfied by our scheme in the highly oscillatory limit. Ou…
▽ More
This work is devoted to the numerical simulation of nonlinear Schrödinger and Klein-Gordon equations. We present a general strategy to construct numerical schemes which are uniformly accurate with respect to the oscillation frequency. This is a stronger feature than the usual so called "Asymptotic preserving" property, the last being also satisfied by our scheme in the highly oscillatory limit. Our strategy enables to simulate the oscillatory problem without using any mesh or time step refinement, and the orders of our schemes are preserved uniformly in all regimes. In other words, since our numerical method is not based on the derivation and the simulation of asymptotic models, it works in the regime where the solution does not oscillate rapidly, in the highly oscillatory limit regime, and in the intermediate regime with the same order of accuracy. In the same spirit as in [5], the method is based on two main ingredients. First, we embed our problem in a suitable "two-scal" reformulation with the introduction of an additional variable. Then a link is made with classical strategies based on Chapman-Enskog expansions in kinetic theory despite the dispersive context of the targeted equations, allowing to separate the fast time scale from the slow one. Uniformly accurate (UA) schemes are eventually derived from this new formulation and their properties and performances are assessed both theoretically and numerically.
△ Less
Submitted 2 August, 2013;
originally announced August 2013.
-
An asymptotic preserving scheme based on a new formulation for NLS in the semiclassical limit
Authors:
Christophe Besse,
Rémi Carles,
Florian Méhats
Abstract:
We consider the semiclassical limit for the nonlinear Schrodinger equation. We introduce a phase/amplitude representation given by a system similar to the hydrodynamical formulation, whose novelty consists in including some asymptotically vanishing viscosity. We prove that the system is always locally well-posed in a class of Sobolev spaces, and globally well-posed for a fixed positive Planck cons…
▽ More
We consider the semiclassical limit for the nonlinear Schrodinger equation. We introduce a phase/amplitude representation given by a system similar to the hydrodynamical formulation, whose novelty consists in including some asymptotically vanishing viscosity. We prove that the system is always locally well-posed in a class of Sobolev spaces, and globally well-posed for a fixed positive Planck constant in the one-dimensional case. We propose a second order numerical scheme which is asymptotic preserving. Before singularities appear in the limiting Euler equation, we recover the quadratic physical observables as well as the wave function with mesh size and time step independent of the Planck constant. This approach is also well suited to the linear Schrodinger equation.
△ Less
Submitted 14 November, 2012;
originally announced November 2012.
-
Asymptotic preserving schemes for highly oscillatory kinetic equation
Authors:
Nicolas Crouseilles,
Mohammed Lemou,
Florian Méhats
Abstract:
This work is devoted to the numerical simulation of a Vlasov-Poisson model describing a charged particle beam under the action of a rapidly oscillating external electric field. We construct an Asymptotic Preserving numerical scheme for this kinetic equation in the highly oscillatory limit. This scheme enables to simulate the problem without using any time step refinement technique. Moreover, since…
▽ More
This work is devoted to the numerical simulation of a Vlasov-Poisson model describing a charged particle beam under the action of a rapidly oscillating external electric field. We construct an Asymptotic Preserving numerical scheme for this kinetic equation in the highly oscillatory limit. This scheme enables to simulate the problem without using any time step refinement technique. Moreover, since our numerical method is not based on the derivation of the simulation of asymptotic models, it works in the regime where the solution does not oscillate rapidly, and in the highly oscillatory regime as well. Our method is based on a "double-scale" reformulation of the initial equation, with the introduction of an additional periodic variable.
△ Less
Submitted 17 October, 2012;
originally announced October 2012.
-
Micro-macro schemes for kinetic equations including boundary layers
Authors:
Mohammed Lemou,
Florian Méhats
Abstract:
We introduce a new micro-macro decomposition of collisional kinetic equations in the specific case of the diffusion limit, which naturally incorporates the incoming boundary conditions. The idea is to write the distribution function $f$ in all its domain as the sum of an equilibrium adapted to the boundary (which is not the usual equilibrium associated with $f$) and a remaining kinetic part. This…
▽ More
We introduce a new micro-macro decomposition of collisional kinetic equations in the specific case of the diffusion limit, which naturally incorporates the incoming boundary conditions. The idea is to write the distribution function $f$ in all its domain as the sum of an equilibrium adapted to the boundary (which is not the usual equilibrium associated with $f$) and a remaining kinetic part. This equilibrium is defined such that its incoming velocity moments coincide with the incoming velocity moments of the distribution function. A consequence of this strategy is that no artificial boundary condition is needed in the micro-macro models and the exact boundary condition on $f$ is naturally transposed to the macro part of the model. This method provides an 'Asymptotic preserving' numerical scheme which generates a very good approximation of the space boundary values at the diffusive limit, without any mesh refinement in the boundary layers. Our numerical results are in very good agreement with the exact so-called Chandrasekhar value, which is explicitely known in some simple cases.
△ Less
Submitted 9 February, 2012;
originally announced February 2012.
-
A boundary matching micro/macro decomposition for kinetic equations
Authors:
Mohammed Lemou,
Florian Méhats
Abstract:
We introduce a new micro/macro decomposition of collisional kinetic equations which naturally incorporates the exact space boundary conditions. The idea is to write the distribution fonction $f$ in all its domain as the sum of a Maxwellian adapted to the boundary (which is not the usual Maxwellian associated with $f$) and a reminder kinetic part. This Maxwellian is defined such that its 'incoming'…
▽ More
We introduce a new micro/macro decomposition of collisional kinetic equations which naturally incorporates the exact space boundary conditions. The idea is to write the distribution fonction $f$ in all its domain as the sum of a Maxwellian adapted to the boundary (which is not the usual Maxwellian associated with $f$) and a reminder kinetic part. This Maxwellian is defined such that its 'incoming' velocity moments coincide with the 'incoming' velocity moments of the distribution function. Important consequences of this strategy are the following. i) No artificial boundary condition is needed in the micro/macro models and the exact boundary condition on $f$ is naturally transposed to the macro part of the model. ii) It provides a new class of the so-called 'Asymptotic preserving' (AP) numerical schemes: such schemes are consistent with the original kinetic equation for all fixed positive value of the Knudsen number $\eps$, and if $\eps \to 0 $ with fixed numerical parameters then these schemes degenerate into consistent numerical schemes for the various corresponding asymptotic fluid or diffusive models. Here, the strategy provides AP schemes not only inside the physical domain but also in the space boundary layers. We provide a numerical test in the case of a diffusion limit of the one-group transport equation, and show that our AP scheme recovers the boundary layer and a good approximation of the theoretical boundary value, which is usually computed from to the so-called Chandrasekhar function.
△ Less
Submitted 21 February, 2011; v1 submitted 14 December, 2010;
originally announced December 2010.
-
The Schrödinger-Poisson system on the sphere
Authors:
Patrick Gérard,
Florian Méhats
Abstract:
We study the Schrödinger-Poisson system on the unit sphere $\SS^2$ of $\RR^3$, modeling the quantum transport of charged particles confined on a sphere by an external potential. Our first results concern the Cauchy problem for this system. We prove that this problem is regularly well-posed on every $H^s(\SS ^2)$ with $s>0$, and not uniformly well-posed on $L^2(\SS ^2)$. The proof of well-posedness…
▽ More
We study the Schrödinger-Poisson system on the unit sphere $\SS^2$ of $\RR^3$, modeling the quantum transport of charged particles confined on a sphere by an external potential. Our first results concern the Cauchy problem for this system. We prove that this problem is regularly well-posed on every $H^s(\SS ^2)$ with $s>0$, and not uniformly well-posed on $L^2(\SS ^2)$. The proof of well-posedness relies on multilinear Strichartz estimates, the proof of ill-posedness relies on the construction of a counterexample which concentrates exponentially on a closed geodesic. In a second part of the paper, we prove that this model can be obtained as the limit of the three dimensional Schrödinger-Poisson system, singularly perturbed by an external potential that confines the particles in the vicinity of the sphere.
△ Less
Submitted 4 November, 2010;
originally announced November 2010.
-
Orbital stability of spherical galactic models
Authors:
Mohammed Lemou,
Florian Mehats,
Pierre Raphael
Abstract:
We consider the three dimensional gravitational Vlasov Poisson system which is a canonical model in astrophysics to describe the dynamics of galactic clusters. A well known conjecture is the stability of spherical models which are nonincreasing radially symmetric steady states solutions. This conjecture was proved at the linear level by several authors in the continuation of the breakthrough work…
▽ More
We consider the three dimensional gravitational Vlasov Poisson system which is a canonical model in astrophysics to describe the dynamics of galactic clusters. A well known conjecture is the stability of spherical models which are nonincreasing radially symmetric steady states solutions. This conjecture was proved at the linear level by several authors in the continuation of the breakthrough work by Antonov in 1961. In a previous work (arXiv:0904.2443), we derived the stability of anisotropic models under {\it spherically symmetric perturbations} using fundamental monotonicity properties of the Hamiltonian under suitable generalized symmetric rearrangements first observed in the physics litterature. In this work, we show how this approach combined with a {\it new generalized} Antonov type coercivity property implies the orbital stability of spherical models under general perturbations.
△ Less
Submitted 23 July, 2010;
originally announced July 2010.
-
Stable ground states and self-similar blow-up solutions for the gravitational Vlasov-Manev system
Authors:
Mohammed Lemou,
Florian Méhats,
Cyril Rigault
Abstract:
In this work, we study the orbital stability of steady states and the existence of blow-up self-similar solutions to the so-called Vlasov-Manev (VM) system. This system is a kinetic model which has a similar Vlasov structure as the classical Vlasov-Poisson system, but is coupled to a potential in $-1/r- 1/r^2$ (Manev potential) instead of the usual gravitational potential in $-1/r$, and in particu…
▽ More
In this work, we study the orbital stability of steady states and the existence of blow-up self-similar solutions to the so-called Vlasov-Manev (VM) system. This system is a kinetic model which has a similar Vlasov structure as the classical Vlasov-Poisson system, but is coupled to a potential in $-1/r- 1/r^2$ (Manev potential) instead of the usual gravitational potential in $-1/r$, and in particular the potential field does not satisfy a Poisson equation but a fractional-Laplacian equation. We first prove the orbital stability of the ground states type solutions which are constructed as minimizers of the Hamiltonian, following the classical strategy: compactness of the minimizing sequences and the rigidity of the flow. However, in driving this analysis, there are two mathematical obstacles: the first one is related to the possible blow-up of solutions to the VM system, which we overcome by imposing a sub-critical condition on the constraints of the variational problem. The second difficulty (and the most important) is related to the nature of the Euler-Lagrange equations (fractional-Laplacian equations) to which classical results for the Poisson equation do not extend. We overcome this difficulty by proving the uniqueness of the minimizer under equimeasurabilty constraints, using only the regularity of the potential and not the fractional-Laplacian Euler-Lagrange equations itself. In the second part of this work, we prove the existence of exact self-similar blow-up solutions to the Vlasov-Manev equation, with initial data arbitrarily close to ground states. This construction is based on a suitable variational problem with equimeasurability constraint.
△ Less
Submitted 14 November, 2012; v1 submitted 1 June, 2010;
originally announced June 2010.
-
An inverse problem in quantum statistical physics
Authors:
Florian Méhats,
Olivier Pinaud
Abstract:
We address the following inverse problem in quantum statistical physics: does the quantum free energy (von Neumann entropy + kinetic energy) admit a unique minimizer among the density operators having a given local density $n(x)$? We give a positive answer to that question, in dimension one. This enables to define rigourously the notion of local quantum equilibrium, or quantum Maxwellian, which is…
▽ More
We address the following inverse problem in quantum statistical physics: does the quantum free energy (von Neumann entropy + kinetic energy) admit a unique minimizer among the density operators having a given local density $n(x)$? We give a positive answer to that question, in dimension one. This enables to define rigourously the notion of local quantum equilibrium, or quantum Maxwellian, which is at the basis of recently derived quantum hydrodynamic models and quantum drift-diffusion models. We also characterize this unique minimizer, which takes the form of a global thermodynamic equilibrium (canonical ensemble) with a quantum chemical potential.
△ Less
Submitted 28 May, 2010; v1 submitted 7 February, 2010;
originally announced February 2010.
-
A new variational approach to the stability of gravitational systems
Authors:
Mohammed Lemou,
Florian Mehats,
Pierre Raphael
Abstract:
We consider the three dimensional gravitational Vlasov Poisson system which describes the mechanical state of a stellar system subject to its own gravity. A well-known conjecture in astrophysics is that the steady state solutions which are nonincreasing functions of their microscopic energy are nonlinearly stable by the flow. This was proved at the linear level by several authors based on the pi…
▽ More
We consider the three dimensional gravitational Vlasov Poisson system which describes the mechanical state of a stellar system subject to its own gravity. A well-known conjecture in astrophysics is that the steady state solutions which are nonincreasing functions of their microscopic energy are nonlinearly stable by the flow. This was proved at the linear level by several authors based on the pioneering work by Antonov in 1961. Since then, standard variational techniques based on concentration compactness methods as introduced by P.-L. Lions in 1983 have led to the nonlinear stability of subclasses of stationary solutions of ground state type.
In this paper, inspired by pioneering works from the physics litterature (Lynden-Bell 94, Wiechen-Ziegler-Schindler MNRAS 88, Aly MNRAS 89), we use the monotonicity of the Hamiltonian under generalized symmetric rearrangement transformations to prove that non increasing steady solutions are local minimizer of the Hamiltonian under equimeasurable constraints, and extract compactness from suitable minimizing sequences. This implies the nonlinear stability of nonincreasing anisotropic steady states under radially symmetric perturbations.
△ Less
Submitted 5 March, 2010; v1 submitted 16 April, 2009;
originally announced April 2009.
-
An effective mass theorem for the bidimensional electron gas in a strong magnetic field
Authors:
Fanny Delebecque-Fendt,
Florian Mehats
Abstract:
We study the limiting behavior of a singularly perturbed Schrödinger-Poisson system describing a 3-dimensional electron gas strongly confined in the vicinity of a plane $(x,y)$ and subject to a strong uniform magnetic field in the plane of the gas. The coupled effects of the confinement and of the magnetic field induce fast oscillations in time that need to be averaged out. We obtain at the limi…
▽ More
We study the limiting behavior of a singularly perturbed Schrödinger-Poisson system describing a 3-dimensional electron gas strongly confined in the vicinity of a plane $(x,y)$ and subject to a strong uniform magnetic field in the plane of the gas. The coupled effects of the confinement and of the magnetic field induce fast oscillations in time that need to be averaged out. We obtain at the limit a system of 2-dimensional Schrödinger equations in the plane $(x,y)$, coupled through an effective selfconsistent electrical potential. In the direction perpendicular to the magnetic field, the electron mass is modified by the field, as the result of an averaging of the cyclotron motion. The main tools of the analysis are the adaptation of the second order long-time averaging theory of ODEs to our PDEs context, and the use of a Sobolev scale adapted to the confinement operator.
△ Less
Submitted 27 April, 2009; v1 submitted 5 February, 2009;
originally announced February 2009.
-
Stable ground states for the relativistic gravitational Vlasov-Poisson system
Authors:
Mohammed Lemou,
Florian Mehats,
Pierre Raphael
Abstract:
We consider the three dimensional gravitational Vlasov-Poisson (GVP) system in both classical and relativistic cases. The classical problem is subcritical in the natural energy space and the stability of a large class of ground states has been derived by various authors. The relativistic problem is critical and displays finite time blow up solutions. Using standard concentration compactness tech…
▽ More
We consider the three dimensional gravitational Vlasov-Poisson (GVP) system in both classical and relativistic cases. The classical problem is subcritical in the natural energy space and the stability of a large class of ground states has been derived by various authors. The relativistic problem is critical and displays finite time blow up solutions. Using standard concentration compactness techniques, we however show that the breaking of the scaling symmetry allows the existence of stable relativistic ground states. A new feature in our analysis which applies both to the classical and relativistic problem is that the orbital stability of the ground states does not rely as usual on an argument of uniqueness of suitable minimizers --which is mostly unknown-- but on strong rigidity properties of the transport flow, and this extends the class of minimizers for which orbital stability is now proved.
△ Less
Submitted 5 February, 2009;
originally announced February 2009.
